846 + d. Is s composite?
True
Suppose 3 = -a - k, -3*k - 5 = 5*a + 20. Let x(i) = 60*i**2 - 5*i. Let q be x(a). Is (1/(-2))/((-20)/q) a composite number?
False
Let w(t) = t**2 + 14*t - 6. Let x(p) = 2*p**2 + 28*p - 12. Let i(c) = 5*w(c) - 2*x(c). Let z be 1/(3/((-66)/(-2))). Is i(z) composite?
False
Let y(q) = -q**2 - 6*q - 5. Let f be y(-7). Is 44*(53/4 + f/3) a composite number?
True
Let x(h) = 2143*h - 14. Is x(7) a prime number?
False
Let t(g) = 41*g**2 + 3*g + 2. Let m be t(-1). Suppose 511 = 3*w + m. Is w composite?
False
Let m(k) be the first derivative of k**3 + 27*k**2/2 - 7*k - 4. Is m(15) a composite number?
True
Let w = 5721 - 3898. Is w a prime number?
True
Let w be 7*(-2 - (-222)/21). Suppose 2*q - w = -q. Suppose p = -2*u + 22, -6*p + p - q = -3*u. Is u a prime number?
False
Suppose 120*r = 155*r - 177695. Is r composite?
False
Let v(d) = d**3 + 10*d**2 - 36*d - 233. Is v(-7) a composite number?
True
Let w be (10/6)/(18/54). Suppose t = w*p + 6*t - 3855, 3*t = -4*p + 3080. Is p a composite number?
True
Let u(c) = -c**3 + 6*c**2 - 2*c - 8. Let h be u(4). Is h/12*(-1356)/(-2) - -3 prime?
True
Let l(k) be the third derivative of k**6/60 - 2*k**5/15 + k**4/3 + 5*k**3/6 - 10*k**2. Let h be 3/(-2 + (-38)/(-16)). Is l(h) a composite number?
True
Let o = 17 - 15. Is 345 + (-3 + o - 3) composite?
True
Let v be (39/2)/((-1)/(-2)). Let w = v + -23. Suppose 12*c - w*c = -652. Is c prime?
True
Let w be 2/4*0/2. Suppose -2*q - 10 = -w, 0 = 3*z - q + 1843. Let s = 947 + z. Is s a prime number?
True
Let z(m) = 3*m**2 + 63*m + 22. Is z(-40) prime?
False
Suppose -5*j - 3150 = -x - 4*x, -2 = -2*x. Let t = j + 936. Is t prime?
True
Let t be (-24)/(-14) - (-12)/42. Suppose -639 = -5*m - 4*c, -2*c = t*m + m - 383. Is m a composite number?
False
Let i(t) = 4984*t - 967. Is i(9) composite?
False
Let m(c) = -2 + 3*c - 2*c + 11 + 2. Let s be m(-8). Suppose -j - 4*j + 78 = s*t, 0 = -3*j - 9. Is t a prime number?
True
Suppose 1 = 5*d + 3*k + 9, 2*k = 3*d + 1. Is -8*5/(-20) + (-213)/d a prime number?
False
Let f be (12/15)/(4/330). Suppose f = -2*o + 468. Is o a composite number?
True
Let l(t) = -t**3 - 10*t**2 + 2. Let f be l(-10). Let a be (-12)/(-3) - f*-7. Is 16/72 - (-1904)/a a composite number?
True
Let z = 456 - -2410. Is z a prime number?
False
Let b(p) = 2710*p**3 - 5*p**2 - 2*p + 5. Is b(2) a composite number?
False
Let s be (4 - (-20)/(-8)) + 22/4. Suppose 4*i = s*i - 237. Is i a composite number?
False
Let g(o) = -19*o - 9. Let s be g(10). Let t = s - -376. Suppose 3*c + 9 - t = -3*z, 3*z - 4*c - 147 = 0. Is z a prime number?
True
Suppose -26422 = -4*b - 4*r + 8194, b = 2*r + 8663. Is b composite?
True
Let z(b) = -1406*b - 943. Is z(-10) a composite number?
True
Suppose 5 = 4*h + v, h - 1 = 2*h + v. Suppose 4*m + 1329 = 7*m. Suppose -4*k - 3*i + m = 0, h*k - 5*i - 229 = -4*i. Is k a prime number?
True
Suppose -12217 - 13393 = -5*r - 5*k, 3*r = -4*k + 15365. Is r composite?
True
Let k(d) be the second derivative of d**4 - 1/20*d**5 - 5/2*d**2 + d + 0 + 0*d**3. Is k(8) a composite number?
False
Suppose -7 = -3*f + 8. Suppose -y - f*p + 2 = -3*p, 0 = p. Suppose y*o - r = 231, -2*o - 2*r + 0*r = -246. Is o composite?
True
Let z be (((-12)/2)/3)/(-1). Is 886 + (z - -1) + 0/2 a composite number?
True
Let h be 16060/(-30)*(-3)/(-4)*-2. Let j = -5 + 7. Suppose 2917 = 4*x + j*z - 239, 3*z = x - h. Is x prime?
False
Suppose -b = -2*c - 3*c - 15, 5*c + 10 = 0. Let o be (-2)/1 - (-5 + b). Is 130 - (4 - (o - -3)) a composite number?
False
Let u(k) = -1938*k**3 - k**2 - k - 1. Is u(-1) prime?
False
Let z(f) = 6822*f + 31. Is z(5) composite?
False
Let w(r) = 298*r**2 + 111*r + 685. Is w(-6) a composite number?
True
Suppose 14*i = -6*i + 195340. Is i a prime number?
True
Suppose 72 = 5*b - z, z - 54 = -3*b - 2*z. Let p(v) = -5 - b*v + 6*v - 3*v. Is p(-7) a composite number?
False
Let y be 97/(-9) - 12/54. Let r(j) be the first derivative of -47*j**2/2 - 12*j + 59. Is r(y) a composite number?
True
Let x(t) = -582*t + 5. Is x(-7) prime?
True
Let j = -36 + 134. Suppose 7*l - 721 + j = 0. Is l a composite number?
False
Suppose -2503 = -3*t + 509. Suppose -3*m = m - t. Is m composite?
False
Suppose 0 = 2*o + 3*p - 2555, o - 4*p - 1279 = -6*p. Suppose 0 = -4*x - o - 431. Let a = -299 - x. Is a prime?
True
Suppose 0 = 2*k - 7 - 3. Suppose 0 + 2 = 2*o, -k*h - 2*o + 17 = 0. Suppose h*z - 2596 = -z. Is z a prime number?
False
Let k be (-7 - 3)*(1/(-2) + 0). Suppose -6*n + k*n = -1082. Is n composite?
True
Suppose 0 = -10*d + 3523 + 42087. Is d a composite number?
False
Let l(y) = -y**3 - 7*y**2 - 6*y + 2. Let h be l(-6). Suppose h*w - 4 = 2. Let n = 40 + w. Is n prime?
True
Suppose -34*r = -32*r - 794. Let b = r + -134. Is b a prime number?
True
Suppose 35*x + 4*a = 39*x - 66476, x = 4*a + 16613. Is x a prime number?
False
Let o(l) = 10*l**2 - 4*l + 1. Let w(s) = 2*s**2 - 16*s - 8. Let k be w(8). Is o(k) a composite number?
False
Suppose -45 = 5*o - 10*o. Let y be (0 - (-4)/(-6))*o. Let q(r) = -r**2 - 7*r. Is q(y) a composite number?
True
Let t(y) = 2*y**2 + 2*y + 1. Let n be t(-1). Let z(a) = 3*a**3 - a**2 + a. Let l be z(1). Is l + 160 - (1 - n) a prime number?
True
Let h(p) = -p**3 + 7*p**2 + 7*p. Suppose 3*q + 2*q + 25 = 0, -3*q + 10 = -5*d. Is h(d) a composite number?
True
Let w(a) = 514*a + 163. Is w(24) composite?
True
Let h = -86 + 90. Is (-4182)/(-18) + (-1)/((-6)/h) a prime number?
True
Suppose 0 = 2*f + f - 12. Suppose 15 = f*u - 1. Let g = 91 + u. Is g composite?
True
Let o = 70733 + -36370. Is o a composite number?
True
Let x = -1114 - -2451. Is x a prime number?
False
Suppose x - 1375 = 12*p - 8*p, -3*x + 5*p = -4118. Is x a prime number?
False
Suppose 5*k - 76 = 369. Suppose -c = 5*a - 3*a - 89, -c = -5*a - k. Is c a composite number?
False
Suppose 0*g + 8 = 2*g. Suppose -g*a + 7 + 5 = 0. Suppose a*d - 1255 = -2*d. Is d prime?
True
Let d(s) = -s**2 - 2*s - 9. Let u be d(-20). Let h = 748 - u. Is h prime?
True
Suppose -3*n = 2*f - 1282 - 10043, 0 = -3*n - 5*f + 11316. Is n prime?
False
Let d = 23 + -18. Suppose 0 = -d*q + 40 - 230. Let n = 165 + q. Is n prime?
True
Suppose 10*h - 1 + 21 = 0. Is (-1708 - (h + 3))*-1 composite?
False
Let y = 13 - 10. Suppose 153 = -4*t + y*t. Let d = 280 + t. Is d a prime number?
True
Let i = -2 - -7. Suppose 1311 + 1529 = i*f. Let y = f + -357. Is y a prime number?
True
Let d be (-1 - -3)*((-97)/(-2) + 2). Let p = 246 - d. Is p a composite number?
True
Suppose -24075 = -o - 4*o. Let m = o - 1544. Is m a prime number?
True
Suppose 5*x + 4*q - 926 = 0, -5*q = 2*x + 6 - 390. Let g = -91 + x. Is g a composite number?
True
Suppose 0 = -24*m + 62767 + 47513. Suppose 0*v - 4*a - 20 = -2*v, -5*v - 3*a + 11 = 0. Suppose v*p + m = 9*p. Is p a prime number?
True
Let r(u) = u**3 + 15*u**2 - 32*u - 13. Is r(-15) a prime number?
True
Suppose 0 = 30*q - 32*q + 8. Is 3366/q + 4/(-8) composite?
True
Let v(s) = 15*s**2 - 3*s - 6. Let f be v(6). Suppose p + i = 5*i, 0 = 3*p - 3*i - 9. Suppose 512 = p*o - f. Is o a prime number?
True
Let u(j) = -j**2 + 17*j + 20. Let i be u(18). Let v(c) = 19*c**3 + 3*c**2 - 6*c + 5. Is v(i) prime?
True
Suppose -3*p = -5*y - 0*p + 65, 2*y + p - 37 = 0. Suppose -17066 = 2*d - y*d. Is d a prime number?
False
Suppose 82 = t - 109. Suppose -3*m + t - 597 = -b, 0 = -b + 2*m + 401. Is b a composite number?
True
Let h(q) be the third derivative of 1/2*q**3 - 1/12*q**4 + 0*q + 1/24*q**6 + 8*q**2 + 0 - 1/60*q**5. Is h(2) prime?
False
Suppose -3*i - 8 - 4 = 0, -36 = -4*b + 4*i. Let q be b/2 + 3/2. Suppose 3*r - q*r + 587 = 0. Is r a composite number?
False
Suppose -51073 - 65382 = -5*l. Is l a prime number?
True
Suppose -3*a + 2 = -4*q - 0*a, -3*q - 3 = -3*a. Is (2 - 6) + q + 332 composite?
True
Let d(b) = 37*b**2 - 5*b - 1. Let p be d(-2). Suppose g - 4*q - 41 = -7*q, 3*q = -5*g + p. Let x = g + 98. Is x a composite number?
False
Let u be ((-20)/(-12))/(2/(-6)). Is 1795 + 2 + 3 + u prime?
False
Let z(v) = -441*v**3 - v**2 - 7*v - 7. Let g(a) = -50*a**3 - 3*a - 3 + 7*a**3 - 83*a**3 - 95*a**3. Let y(j) = -5*g(j) + 2*z(j). Is y(1) a prime number?
True
Let f(m) = 326*m + 183. Is f(25) composite?
True
Let d be 12600/98*14/3. Let v = d - 1263. Is 1/((-1992)/v - 3) prime?
False
Suppose -2*s + 3*d - 4 = 0, 3*d - 3 = -4*s +