composite number?
False
Suppose 39605 = 8*k - 14627. Is k composite?
False
Let t be (1*-1)/(7/(-28)). Is t/(-8)*1*-1226 composite?
False
Let t(v) = 111*v + 8. Let s be t(-15). Let l = -816 - s. Is l a prime number?
False
Let f(h) = 111*h + 1. Is f(8) a prime number?
False
Let d(w) = 13*w**2 + 7*w - 4. Let g be d(5). Suppose g = 10*m - 8574. Is m a prime number?
False
Let d(r) = -821*r - 3. Let k be d(-1). Is (80/(-32))/((-1)/k) a composite number?
True
Let k = 6503 - 1464. Is k a prime number?
True
Let t(r) = 73*r**2 - 2*r - 4. Let l be t(-2). Suppose 0 = 3*u + 1012 - l. Let x = -129 - u. Is x prime?
False
Let y = 1883 + 4226. Is y a prime number?
False
Let u be 3 + (-3)/(12/4). Suppose -5*r + 4*j + 2 = 0, 4*j + 5 = u*r - 3. Is 147 + (-3 - r)*2 a composite number?
True
Let j = 41 + -137. Let u = j + 225. Is u a composite number?
True
Let g(v) = -16*v. Let w be g(-2). Suppose 4*x - w = 2*u + 2*u, 4*x + 4*u - 8 = 0. Suppose -5*m = 0, r = 5*m - x + 79. Is r a composite number?
True
Suppose -4*h - 22 = -6. Is (212/(-4))/(h/12) composite?
True
Let k(d) = -122*d + 29. Let j(c) = -183*c + 44. Let u(h) = -5*j(h) + 8*k(h). Is u(-5) a composite number?
False
Suppose 0 = -3*p - 2*q + 6*q - 28, 24 = -p + 5*q. Let b = p - -10. Suppose -11*u = -b*u - 230. Is u composite?
True
Let s = 40 + -36. Suppose -5*y - 108 = -u, 0 = s*u + y + 235 - 604. Is u composite?
True
Let u be 12/(-6) - -109*(-1 + -3). Suppose 5*s - 20 = 5*y, 0*s = -5*y - s - 20. Is u/y*(-14)/(-3) a composite number?
True
Suppose 0 = -0*m + 2*m + 210. Let s be -21*(-4)/((-36)/m). Let z = s - -86. Is z prime?
True
Let q(k) = -18*k + 1. Let h(b) = -18*b - 1. Let u(y) = 5*h(y) - 6*q(y). Suppose 5*v - 30 = -5*m, m + 16 + 14 = 5*v. Is u(v) a composite number?
False
Let a = 126 - 121. Suppose 2*u - 1268 = -3*d, 3*u - 1691 = -a*d + d. Is d prime?
False
Let z(d) = -291*d - 22. Is z(-13) prime?
True
Let i(j) = 16*j**3 - 4*j**2 - j - 1. Let g be i(4). Let t be 7 + 5 + 4 + -8. Suppose -t*p = -3*p - g. Is p a prime number?
True
Suppose 2*f - 3*r - 2477 = 0, -5*r - 331 + 5252 = 4*f. Let z = -677 + f. Is z prime?
True
Let i = -35 + 34. Let w(z) = -59*z**3 + z**2 + 2*z + 1. Is w(i) a composite number?
False
Suppose 0 = -3*p - 0*m - 4*m - 18, 0 = -4*p - 3*m - 17. Let t(d) = -d**3 - 2*d**2 + 1. Let h be t(p). Is (-6 - h)*(-77)/7 prime?
False
Is ((-87)/(-12))/((-101)/(-20) + -5) a prime number?
False
Suppose -4*f + 21 = -q, -4*q - 2*f + f = 33. Suppose 2*a + 3 = -13. Is q/12 + (-302)/a a prime number?
True
Suppose 0 = -u + 3*x + 106912, u - 105356 - 1550 = x. Is u composite?
False
Let o(f) = -12*f**2 + 3*f. Let l(r) = r**2. Let c(m) = -12*m**2 + 4*m. Let k(x) = c(x) - 6*l(x). Let v(w) = -5*k(w) + 7*o(w). Is v(-5) a prime number?
False
Let u(t) = -3*t**3 + 86*t**2 - 15*t - 9. Is u(25) composite?
False
Let s(y) = -588*y**3 + 2*y**2 - 5*y - 9. Let q(z) = 294*z**3 - z**2 + 2*z + 4. Let o(r) = 7*q(r) + 3*s(r). Is o(1) composite?
False
Suppose 3*d = -2*s + 10051, -11*d - 20147 = -4*s - 8*d. Is s a prime number?
False
Suppose 5*k + t + 8360 = -4*t, 0 = -4*k - 3*t - 6688. Let i = k - -2929. Is i a prime number?
False
Is 2/(2/3) + (-2978008)/(-172) composite?
False
Let v = 163 - 157. Suppose -y - 4*h - 14851 = -v*y, -3*y + 8914 = h. Is y composite?
False
Let s(c) = 15*c**2 - 22*c - 30. Is s(-29) composite?
True
Let j(m) = -17*m. Suppose 0 = -o - 5*s + 7, -3*s - 2*s - 25 = 5*o. Let h be j(o). Suppose -u = -5*u + h. Is u a prime number?
False
Let g(b) = 8*b**2 + 2*b - 1. Let w be g(1). Suppose -7*h - 1346 = -w*h. Suppose -s = 180 - h. Is s a composite number?
True
Let c(o) = -o - 1. Let w be c(-5). Suppose -1267 = 3*j - w*j + 4*l, l = -2. Is j composite?
False
Suppose -986*z - 53427 = -989*z. Is z prime?
False
Let t(v) = 48*v**2 + v + 33. Is t(-12) composite?
True
Let n be 0/(3/(-3)) + -190. Let l = n - -41. Let b = l - -276. Is b a composite number?
False
Suppose t = -t + d + 13, -2*t = 5*d + 17. Suppose -t*p + 2*j + j + 1423 = 0, 2*p = 4*j + 714. Let k = p + -170. Is k a composite number?
True
Suppose 2*h = h + 28144. Let x = h - 94126. Is x/(-102) + 4/34 composite?
False
Let d(o) = 29*o**2 - 25*o + 7. Let k be d(6). Suppose 7*v - 6*v = k. Is v a composite number?
True
Let k(j) = j**2 - 7*j - 7. Let n be ((-8)/4 - -5)*8/(-3). Is k(n) a composite number?
False
Is 7/28*4*(-447565)/(-5) a prime number?
True
Let x be 4/(-3 + 4 + 1). Let t(d) = 74*d + 28*d**x + 2 - 1 - 72*d. Is t(3) a prime number?
False
Let l = 3 + 5. Let z(j) = 13*j - 8*j + 19*j - 1 + l*j. Is z(4) prime?
True
Let h(l) = -5*l - 3. Let y be (-5 - 1) + 3 - -1. Let f be h(y). Suppose -155 = -f*k + 2*k. Is k prime?
True
Let i(t) = 365*t**2 - 38*t - 10. Is i(-5) a composite number?
True
Let y = -5750 - -12292. Is y composite?
True
Let n = 760 - -2539. Is n composite?
False
Let q(k) = -k**3 + 48*k**2 - 53*k + 101. Is q(43) prime?
False
Let a(f) = -f**2 + 7*f - 1. Let v be a(6). Suppose v*k + 63 = 218. Let r = k + -12. Is r composite?
False
Let l(i) = 4*i + 17. Let n be l(-6). Let w be 58994/(-91) - 2/n. Let f = w + 1067. Is f composite?
False
Suppose 0 = -3*v + 4*v. Suppose -308 = -4*s - v*s. Is s prime?
False
Let r(o) = o**3 - 2*o**2 - 6*o. Let l be r(-7). Let v = 688 - l. Is v a prime number?
True
Suppose -9*i = -5*i - 28. Let w be (i - 7)/(-2 + 1). Suppose w = -3*k + 167 + 232. Is k a composite number?
True
Let b(k) = -k**3 - k**2 + 4*k + 3. Let u be b(-2). Let v be (-8 - -5)*(-2 - u). Suppose 0 = 3*c, -7*i = -v*i + c - 268. Is i prime?
True
Suppose -s - 10*s = -5489. Is s composite?
False
Let m = 3446 + -2428. Is m prime?
False
Let s = -26 - -24. Let o be (2/(-8))/(s/1208). Let z = o - -744. Is z composite?
True
Let n(g) be the third derivative of 2*g**4/3 - 3*g**3/2 - 19*g**2. Is n(17) prime?
True
Let d = 44577 - 25906. Is d prime?
True
Suppose 0 = 74*l - 72*l - 7586. Is l a composite number?
False
Let l = 76 - 74. Suppose 4*r + 3*z - l*z = 271, -r + 3*z + 58 = 0. Is r a prime number?
True
Suppose 4*y - 869 = 735. Is y prime?
True
Let m be 1/(-2) + (-15)/(-6). Suppose -3*x = k - 0*x - 704, 0 = -3*k - m*x + 2105. Is k prime?
True
Let a = -14 + 14. Suppose 2*y = 12 - 2, q - 2*y - 11 = a. Is q a composite number?
True
Suppose -17935 = -4*l - l. Is 4/1*l/68 prime?
True
Let a(w) = 463*w - 1. Let s(z) = -4*z - 10. Let u be s(-4). Is a(u) a composite number?
False
Suppose -5052 + 122948 = 8*n. Is n composite?
False
Suppose 7*r - 30568 = 2*r - 3*i, 6117 = r + 4*i. Is r prime?
True
Let w = 34 + -32. Let x be w/4 - (-9)/6. Suppose 0 = 6*v - 3*v + x*p - 1649, 4*p - 533 = -v. Is v a prime number?
False
Suppose -y = 4*i + 4*y, 5*i - 2*y = 0. Suppose -4*o + 5*s + 7312 - 2475 = 0, i = -5*o - s + 6068. Is o composite?
False
Suppose -5*f + 16345 = 5*h, 3*f - 2*f = 0. Let z = 4926 - h. Is z a prime number?
True
Let q(b) = b - 10. Let i be q(14). Suppose 0 = -i*x + 10*x - 8832. Suppose 876 = 4*t - x. Is t a prime number?
True
Suppose -4*p + 62 = -3*q + 1399, -4*p = -5*q + 2215. Is q a composite number?
False
Let c = 17519 - -28003. Is c/30 - (13/(-5) + 3) prime?
False
Let w be -1*3/(-6)*4. Let z be 3 - (w - (3 - -1)). Suppose z*y = 4*y + 19. Is y prime?
True
Suppose -321*t - 4767 = -324*t. Is t prime?
False
Let j = -2603 - -9381. Is (1/2)/(-1 + 6779/j) prime?
True
Let p(l) = l**3 + 5*l**2 - 5*l + 12. Let a be p(-6). Let v(b) be the first derivative of 41*b**2/2 + 5*b - 2. Is v(a) a prime number?
True
Suppose -25 = -5*f - 5. Suppose f*b - 20 + 2 = -2*c, 2*b + 3*c - 15 = 0. Suppose -b*s + 213 = -0*s. Is s composite?
False
Is 1 + (-2)/3 + (-376580)/(-30) composite?
False
Suppose 0 = 5*w + 2*d - 288735, w - 43287 - 14453 = d. Is w a prime number?
False
Let i(g) = g**2 - 10*g + 12. Let w be i(9). Suppose -1163 = -w*v + 598. Is v a prime number?
True
Suppose 5*o - 12 - 11 = 4*z, -2*o - z = -17. Suppose 3*a + o = 13. Suppose 5*g = -2*i + 164 + 520, a*g = 4*i - 1392. Is i a composite number?
False
Let w = -470 - -655. Is w composite?
True
Suppose 0 = -4*d - 3*x - 67, 5*d - 4*x + 55 = 10. Let t = 1426 - d. Is t a composite number?
False
Suppose -33*p + 6276 = -39*p. Let x = p + 2187. Is x prime?
False
Let c(t) = 106*t**2 + 16*t + 5. Is c(23) prime?
False
Let v(x) = -8*x + 40. Let w be v(5). Suppose w*g = g - 319. Is g prime?
False
Let i = 65516 + -24567. Is i a prime number?
True
Le