4922 = -37*u. Is u a prime number?
True
Let p be (-40)/10 + 8*1. Suppose -p*i + 3*f = -8 - 52, f = 4*i - 60. Is (1321/(-2) - -1)/(i/(-30)) composite?
False
Let t be (-16 - -17)*(6 + -1). Suppose -16436 = -4*q + 4*m - 0*m, -q + t*m = -4101. Is q prime?
True
Suppose 6*z = -2501 + 10145. Suppose 3739 = 3*n - z. Is n composite?
True
Suppose 4*u + 10 = -4*g + 6*u, 0 = 2*g - 5*u + 25. Suppose 5*i + 10 = g, 5*i + 20 = n - 0*i. Suppose -378 = n*x - 1948. Is x a composite number?
False
Suppose -7 = -2*r - 3. Suppose -b = -r*b + 71. Is b + -5 + (-1)/(-1) a composite number?
False
Let t(d) = 10877*d**2 + 312*d - 1233. Is t(4) a prime number?
True
Let j(o) = -o**3 + 18*o**2 + 61*o + 40. Let c be j(21). Is ((-85431)/c*80/(-60))/(-2) a composite number?
False
Suppose 0 = 27*g - 255474 - 78813. Let c = g - 7810. Is c a composite number?
True
Let b(h) = 6*h**2 - 37 - 23*h - 22*h - 68 + 5*h**2 + 5*h. Is b(-32) composite?
True
Let c(s) be the second derivative of 15*s**4 - 7*s**3/6 + 41*s**2/2 + s + 47. Is c(-8) a composite number?
False
Let t(f) = 41088*f + 1505. Is t(3) composite?
False
Let l(v) = -5*v + 2. Let c be l(-2). Let n be (-8)/c + 136/(-3). Let t = 173 + n. Is t prime?
True
Let w = 7241 + -6390. Is w a composite number?
True
Suppose 179*c = -42*c + 10585679. Is c composite?
True
Suppose -2*c + 7923 = -5803 - 13308. Is c composite?
True
Suppose 40*v - 11*v = 586931. Is v composite?
True
Let o(u) = -u**3 - 8*u**2 + 2*u + 10. Let d be o(14). Let f = -1545 - d. Is f a prime number?
True
Let d(o) = 21587*o**3 + 4*o**2 + 6*o - 10. Is d(1) composite?
False
Suppose 9946 = 4*g + 5*z, -6*g + 4934 = -4*g - 4*z. Is g a composite number?
True
Let a(d) = 1652*d**2 - 9*d - 74. Let n be a(-5). Suppose 21*b - n = -9288. Is b composite?
False
Let c be 1/(-3 - (-32)/12). Let d be 1232 + -4 - (1 - 4 - c). Let h = -831 + d. Is h composite?
False
Suppose 0 = -8*m + 13*m - 75. Suppose -m*p - 14552 = -208487. Is p composite?
True
Let u(q) = 15*q - 4*q**3 + 38 + 14*q**3 - 11*q**3 + 20*q**2 - 5*q. Is u(19) composite?
True
Let b be ((-30)/(-9) - 6)/(1/6). Is 65/1040 - 46191/b composite?
False
Let c = 9814 + -5263. Let f = -3142 + c. Is f a composite number?
False
Let b(a) = -2*a + 16. Let t be b(7). Let k(q) = -6*q - 2*q - 17 + 6*q**t + 14 - 18*q**3. Is k(-5) a composite number?
False
Is -2*8038/(-8)*(21 + 17 + -16) a prime number?
False
Let l = 204330 + 107473. Is l a composite number?
False
Is 19873 + (-1 - -2)/((-1)/2) prime?
False
Let m(z) = -1135*z - 7. Let f be m(-3). Suppose -2*i - 4*k + f = 0, 3*i + 5*k - 2821 = 2272. Is i a prime number?
False
Suppose 4*i + 0 = 2*a + 18, -2*a - 4 = -2*i. Suppose -2*b - 2*m = -1530, b - 4*m = i + 768. Is b composite?
True
Suppose -33*w = -35*w - 8, -2*u + 3*w = -28. Suppose u*z - 4*z + l - 42 = 0, 0 = 5*z - 2*l - 46. Is z a prime number?
False
Suppose -63 = -4*a + 4*k + 9, 5*a - 2*k = 78. Suppose 6*c - 34 = a. Suppose -c*b + 0*b + 36664 = 0. Is b a prime number?
True
Is (22/(-6))/((-113)/24217143) a prime number?
False
Suppose 22 + 20 = -3*b + 3*h, -b - h = 16. Is (-1 - b/6)/((-63)/(-1862742)) a prime number?
True
Let s(o) = -304*o**2 - 32*o + 4. Let y be s(11). Let p = -22029 - y. Is p composite?
True
Suppose -31*r + 307 = -65. Suppose -5*o - 3*i = -14074, -r*i - 11246 = -4*o - 10*i. Is o a prime number?
False
Let g be 1/(-3) - 143/(-33). Suppose 2*l = 4*h - 6, -3*h + 3 = 2*h - g*l. Let b(t) = 22*t**2 + 5*t - 2. Is b(h) prime?
True
Let u = 14026 + -7326. Suppose -3*x + 7127 + u = 0. Is x a composite number?
True
Suppose 0 = -8*j - 87200 - 93000. Is (-6)/4 - j/10 prime?
True
Suppose 0 = -m + 5*i + 189271, 0 = -8*m + 71*i - 70*i + 1514168. Is m a composite number?
False
Let w be (-6 + 11/2)*(-1 - 13). Suppose 15 = -3*y + w*t - 4*t, -4*y - 15 = t. Is (-5578)/y*(15 + -13) a prime number?
True
Suppose n + 2*l = 5, 2*n + 0*l = -2*l + 6. Let p(h) = -2*h**3 + 3*h - 2. Let s be p(n). Is (-6)/(s - 2) + 2817 prime?
True
Suppose 0 = 190*v - 345617894 + 38125173 - 231072729. Is v a composite number?
True
Suppose -5*p = -z - 5887, -3*z + 2*p + 5887 = -4*z. Let v = z - -17898. Is v a composite number?
False
Suppose 5102 - 28965 = -7*x. Let s = x + -2040. Is s composite?
True
Let k(t) be the second derivative of 27/2*t**2 + 11/6*t**3 + 0 + 7/12*t**4 - 14*t. Is k(-7) composite?
False
Suppose -5*a = 20215 + 470. Let b = 5969 + a. Suppose -b - 929 = -11*h. Is h composite?
False
Suppose 6*q + 417 = -81. Let j = -79 - q. Suppose -11867 = -j*z - 2295. Is z composite?
False
Let p(u) = -3*u**3 - 27*u**2 + 5*u + 132. Is p(-49) prime?
True
Is 495104/1 - ((-540)/(-12) + -50) a prime number?
True
Let m be (-170)/51*12/(-5). Suppose 7*b = 9*b - m, -10929 = -3*r + 3*b. Is r prime?
False
Let j(v) = -325*v + 40. Let m(p) = -324*p + 40. Let r(q) = -7*j(q) + 6*m(q). Is r(9) a composite number?
False
Suppose -4*n = 23 - 19. Let s(v) = 2*v + 8. Let z be s(n). Is 25944/4*4/z - -3 prime?
True
Is (48/(-32) + 2)/((-1)/(-440106)) composite?
True
Let j(u) = 13*u**2 - u + 2. Let h = 1 + 38. Let n = h - 38. Is j(n) a prime number?
False
Suppose 8*a + 153 = 169. Suppose -5*b + 29683 = 4*v, -12*v + 11866 = a*b - 8*v. Is b prime?
True
Let g be 16/40 + 15/25. Is (g/2)/((-6)/(-121596)) a prime number?
True
Let p(h) be the first derivative of h**5/20 - 25*h**4/24 - 61*h**3/6 - 2*h**2 + 1. Let l(v) be the second derivative of p(v). Is l(-18) prime?
True
Let x = -340 - -343. Suppose 4*f - 2*a = 31260, -4*f - x*a + 39097 = f. Is f a prime number?
True
Let b be (-9)/(-2)*(-4)/6. Let u be (-853)/b - ((-56)/21 - -3). Let i = u + -145. Is i prime?
True
Let i be 5335/22*((-64)/10)/4. Let w = 325 - i. Is w a composite number?
True
Let m be 5*4/(-10) + 5. Suppose m*f - 2211 = -4*k, -f - 3*k + 2208 = 2*f. Is f prime?
True
Let b(q) = 229*q**2 + 118*q - 246. Is b(-29) composite?
True
Let d(l) = -694*l**3 + l**2 - l - 2. Let f(y) = -y**2 + 8*y + 18. Let c(s) = -1. Let v(g) = 3*c(g) - f(g). Let h be v(10). Is d(h) a composite number?
True
Suppose 2*q - 28 = 4*k, -7 = 2*q + 4*k - 19. Suppose -2*r = q*r - 13188. Is r prime?
False
Let w(l) = -15*l + 217. Is w(-12) composite?
False
Let w be 130/4 + (-75)/30. Suppose -b = -5*l - 1151, 32*l - w*l = 0. Is b prime?
True
Suppose 2*f - f = 6. Let s(a) = 4*a - 22. Let o be s(f). Suppose o*z - 76 = 998. Is z a prime number?
False
Suppose -3*q = -4*h + 5, 8*h = -q + 3*h + 30. Suppose -5*w = -q*x - 58690, 0*w - 2*w - x + 23485 = 0. Is w a prime number?
False
Let w = 44 + -46. Let h(u) = 324*u**2 + u + 1. Let f be h(w). Suppose 5*n = -5*a + f, -4*n + 1020 = 2*a - 6*a. Is n prime?
True
Suppose 6*a - 11*a - 15 = 0. Let m be (58/4 + a)*106. Suppose -5*j = -5*h + 6090, -3*h + 2*j = -2*h - m. Is h a composite number?
False
Let d be (-1 - -2) + 9 + 27. Let j = 43 - d. Let u(g) = g**3 + 7*g**2 - g + 1. Is u(j) composite?
False
Suppose 2*q - 717 = u, 2907 = -5*u + q - 687. Let f = 1264 + u. Is f a prime number?
False
Let f(i) = i**2 - 9*i - 7. Let t(o) = -3*o**2 + 36*o + 28. Let c(y) = 9*f(y) + 2*t(y). Is c(8) composite?
False
Let q = 17 - 16. Let j be 1 + 0 - (q + 0 + -5). Suppose f + j*h = 1156, 5*f - 8299 = 4*h - 2548. Is f a prime number?
True
Suppose 3*y = -l - 3, 0 = -4*l + 8*l + 4*y - 4. Suppose 7*a - 28916 = l*a. Is a prime?
True
Let b = -30 - -19. Is (-3 + 2)*(b - 11046) a prime number?
True
Let d = -569 + 306. Let y = -38 - d. Suppose 0 = z - y - 152. Is z composite?
True
Let h = 136087 - 96353. Is h composite?
True
Suppose -5*l = 3*f + 6, 3*l = 4*f + 1 + 7. Let u(g) = -2*g**3 + 4*g**2 + 4*g - 2. Let s be u(-3). Suppose -3*q + 197 + s = l. Is q prime?
False
Let g(y) = y**3 + 2*y**2 + y + 15. Let n be g(0). Suppose -35*h = -n*h - 62540. Is h a composite number?
True
Suppose -3*i = -3*v - 347043, 5*i - 578401 = -50*v + 53*v. Is i prime?
True
Suppose -3*n + 1019403 = 3*d, -4*d - 674860 + 1694265 = 3*n. Is n a composite number?
False
Suppose -5*c + 209 = -3*a, 11*c + 51 = 12*c + 4*a. Let q = c + -35. Suppose q*v - 6*v = 1814. Is v prime?
True
Let t be 55/(-110)*(-1 + -11651). Suppose 0 = -13*a + 11*a + t. Is a prime?
False
Suppose 2*t - 4*i = 262214, 7*i + 262193 = 2*t + 10*i. Is t composite?
False
Let u = -22798 + 59477. Is u composite?
True
Suppose 5*l = -4*s + 402235, 0 = 5*l - 4*s - 0*s - 402275. Suppose -502*w = -493*w - l. Is w a composite number?
True
