x(q). Let g be 2/3 + 20/6. Is z(g) prime?
True
Suppose 105 = 5*y - 440. Suppose -y = -c + 82. Is c prime?
True
Suppose -n + 2*l - 3 = -0*l, n + 4*l - 15 = 0. Suppose -164 - 1 = -n*x. Is x a prime number?
False
Let c = -1586 - 1218. Is c/12*(-3 + 0) a composite number?
False
Let n(w) = -13*w**2 - 5*w + 28. Let i be n(-8). Suppose 0*g - 3*g = -6, 2878 = 2*h - 4*g. Let b = h + i. Is b composite?
True
Let q(h) = 42*h**2 + 3*h - 40. Is q(7) a composite number?
False
Suppose 3 = 3*d - k, 4*d - 6 = k + k. Suppose d = u - 5 - 332. Is u composite?
False
Is (-17298)/(4/(-2)) + 10 prime?
False
Let p(y) = 2298*y - 11. Is p(4) a composite number?
False
Let f(v) = 168*v. Let r be f(1). Suppose 16*t = 15*t - 101. Let p = r + t. Is p a prime number?
True
Suppose 16*h - 51624 - 113192 = 0. Is h prime?
True
Let f(t) = t + 20. Let g be f(-10). Suppose 5*w + 175 = g*w. Let b = w - -34. Is b prime?
False
Let h(b) = 12*b - 5*b + 16*b. Let l be 6 - (9 + -3 + -1). Is h(l) composite?
False
Let r = 123 + -128. Let x(j) = -749*j + 48. Is x(r) a prime number?
True
Let t = 102 + 1319. Let l = t + -834. Is l composite?
False
Is 6 + 22895 + (0 - 10) prime?
False
Suppose -13561 = -a - 1190. Is a a composite number?
True
Let s(r) be the second derivative of -r**3 + 7/6*r**4 + 3/2*r**2 - r + 0. Is s(4) prime?
False
Is (-4632)/(-3) - (-6 - 4)/5 composite?
True
Let o(t) = -16923*t + 131. Is o(-4) a composite number?
True
Suppose 12 = 7*b - 5*b. Let v be (b - 7) + 4 + 1. Suppose k - 2*u - 2*u - 475 = 0, -v*u + 499 = k. Is k a prime number?
True
Suppose -2*y = -5*k - 88502 + 2521, -3*k = -15. Is y composite?
False
Suppose 5*o = -0*o - 5*t + 4470, -5*o - 2*t = -4464. Suppose o = 3*z - 695. Is z a prime number?
False
Let o(r) = 6*r**3 - 4*r**2 - 19*r + 3. Is o(16) a prime number?
True
Let y = 901 - -2002. Is y a prime number?
True
Let r(u) = 197*u - 7. Let c be r(-5). Let l = 1513 + c. Is l a composite number?
False
Suppose -2*q - 3*l + 9 = 3*q, l = -2*q + 3. Is (-7434)/(q - 7) + 1 + -2 a composite number?
False
Let f = 1469 + 6272. Is f a composite number?
False
Let l(a) be the second derivative of 95*a**3/6 + 4*a**2 - 3*a. Let o be l(5). Let h = o + -325. Is h a composite number?
True
Suppose 4*w + 20 = 3*h, 4*w - 4*h = -0*w - 24. Is ((-2)/4)/(w/2092) composite?
False
Suppose 3*j - 27 = 3*s + 90, 4*j - 168 = -2*s. Suppose 0 = -2*a - a + 42. Suppose j = c - a. Is c composite?
True
Let g(n) = n**2 - 12*n - 3. Suppose -2*l + 48 = 2*l. Let d be g(l). Is 1/d - (-29628)/27 a prime number?
True
Let p = 5 - 5. Suppose 4*u = 3*n + 1261, 0 = -4*n - p - 12. Suppose 3*f - 398 = u. Is f a prime number?
False
Let z(h) = 10 - 1 + 1047*h - 1 + 0. Let v be z(4). Is -1*2*v/(-8) a composite number?
False
Let d(a) = -2*a**3 - 3*a**2 - 2*a + 3. Let s be d(3). Let w = 187 + s. Is w a composite number?
False
Let g be -4 - (-49 + 4)/5. Suppose 5*a - r - 13521 = -g*r, -4*a + 5*r = -10825. Is a prime?
False
Suppose 2*v + 415 = 125. Suppose 487 = -z + h, 0 = -4*h + h + 15. Let g = v - z. Is g prime?
True
Suppose 11 = 9*x - 61. Suppose 0 = -x*l + 6*l. Is 2*((-4595)/(-10) - l) prime?
True
Let y(c) = 20*c**2 - 4*c. Let q be y(8). Let j(h) = -h**3 - 9*h**2 - 2*h + 9. Let v be j(-9). Is q/v + 6/(-27) a composite number?
True
Let g(j) = j**3 + 21*j**2 - 24*j - 35. Is g(22) prime?
True
Let y(o) = -3646*o + 97. Is y(-22) a composite number?
False
Let n(j) = 109*j + 78*j + 12 + 81*j - 35. Is n(3) composite?
True
Let w(z) = -2*z - 5. Let x be w(-6). Suppose 0 = -2*d + x*d + 30. Is (-2390)/(-8) + d/8 prime?
False
Let c = -16487 + 28338. Is c a composite number?
True
Suppose -3*s + 8*s = 60. Let o(l) = 205*l - 1. Is o(s) a prime number?
True
Let l(i) = -i**3 - 9*i**2 - 9*i - 10. Let f be l(-8). Let v(g) = -204*g - 7. Is v(f) prime?
True
Is 28196/6 + 5/(-15) composite?
True
Is (0 - (-4 - -1))/(21/71701) prime?
True
Suppose 3*l = -1228 + 124. Let f = 63 - l. Let t = 726 - f. Is t prime?
False
Let c(x) = -x**2 + 9*x - 16. Let q be c(7). Let b be 6 - (-1 - (q + 0)). Suppose -3436 = -4*w - b*i - 414, -5*w = i - 3767. Is w a prime number?
False
Let r = 57011 + -32574. Is r composite?
True
Let y be -2*(1 - 2)*1. Suppose -2*l = g - 112 + 13, 0 = 3*g + y*l - 277. Is g prime?
True
Suppose p + 2*p = 5*f + 870, -5*p = -5*f - 1460. Suppose -33*y + 28*y = 4*q - 4, 4*q + 28 = 3*y. Suppose 0*l = 5*h + 4*l - p, -y*h + 195 = -5*l. Is h prime?
False
Let s = -296 - -531. Let y = -400 + 260. Let n = s + y. Is n a prime number?
False
Is (24/(-9) + 2)*491349/(-46) composite?
False
Suppose 361 = t - 5*x, -4*t + x = 4*x - 1467. Let m(n) = -8*n**2 - 2*n + 5. Let p be m(5). Let d = t + p. Is d a prime number?
False
Let o be (2 - 0) + -6 + -1644. Is -3*(o/12 + 1) a composite number?
False
Let s(c) = 2*c + 15. Let i be s(-6). Is 2/6 + 2036/i prime?
False
Let v = 12299 - -992. Is v prime?
True
Let a be 4/((-190)/(-64) + -3). Let y = a + 375. Is y prime?
False
Let q = -3840 - -10309. Suppose -q = -5*o - v, -2*o = v + 266 - 2856. Is o composite?
True
Suppose -4*g - k - k - 10 = 0, 5*g + 18 = 3*k. Let q be 30/(-2)*1/g. Suppose -c - q*r = -364, -c + 3*r - 1128 = -4*c. Is c composite?
False
Let b(g) = 60*g**2 - g + 2. Let s be b(3). Let f = s + -321. Is f a composite number?
True
Suppose -5*k = -0 + 20. Let l(s) = 5 - 52*s + 15*s - 4 + 0 - 18*s. Is l(k) a composite number?
True
Suppose 4*o = 1 - 17, -5*l = -4*o - 16. Suppose l = 5*h - 16*h + 539. Is h a prime number?
False
Let v = -7 - -20. Let g(t) = 11*t - 22. Is g(v) a composite number?
True
Let f(g) be the first derivative of g**4/12 + 5*g**3/6 + 3*g**2/2 - 3*g + 4. Let r(v) be the first derivative of f(v). Is r(-9) a prime number?
False
Let u(a) = 3*a**3 - 42*a**2 - 33*a - 17. Is u(18) composite?
True
Let w be 7 + (-1 + -1)*2. Suppose 2*a + s + w*s = 274, -3*s = a - 139. Is a a composite number?
True
Let i = 7 + -11. Suppose 951 - 336 = 5*c. Is (i - c)*(-1 - 0) a prime number?
True
Let y = -14182 - -26189. Is y a prime number?
True
Suppose -4*f + 297 = -3*x, 3*x - 181 = -2*f - 2*x. Suppose r - 133 - f = 0. Is r a prime number?
True
Let t be (66/(-12) + 5)*-1492. Suppose 4*v = 0, 0 = 2*l + 4*v - 2*v - t. Is l a prime number?
True
Let k = 6106 - 3016. Let g = k - 1729. Is g a composite number?
False
Is 1/(2 + 68838/(-34422)) a composite number?
False
Let u(y) = -y**3 - 4*y**2 + 3*y - 6. Let h be u(-5). Suppose -i - i + h = 0. Suppose 1268 = 2*p + i*p. Is p a composite number?
False
Let q(z) = z**2 + 415. Suppose 0 = -5*l + 9 + 1. Suppose g - 4*s = -l*g - 8, -5*g + 2*s - 4 = 0. Is q(g) a prime number?
False
Let a = 42851 - 20958. Is a prime?
True
Let l(n) = n**3 + 2*n**2 + 4*n + 2. Let u be l(-2). Let j be 500/6 + (-4)/u. Suppose j + 9 = f. Is f a prime number?
False
Suppose 4*g = 6*d - 3*d - 3, 3*g = 5*d - 16. Is (1/g*1)/(8/30216) prime?
True
Suppose 0 = -7*g + 209631 - 5532. Is g composite?
True
Suppose 111*q = 97*q + 2954. Is q a composite number?
False
Let s = 65824 + 14703. Is s prime?
True
Let b(h) = 39*h**2 + 38*h - 293. Is b(12) prime?
True
Let c = -24 + 27. Suppose s = -n + 385, -c*s - 839 = -5*n + 1102. Suppose n = 3*i + 3*d, 2*i - i - 5*d - 141 = 0. Is i composite?
False
Let t be -4 + 0 + 2 + 17. Let b(z) = 109*z - 46. Is b(t) prime?
False
Let j(h) = 444*h - 331. Is j(7) a prime number?
True
Let z(n) = -115*n - 10. Let l be z(-6). Let v = l - 383. Let p = v + 220. Is p a composite number?
True
Let i be (-5)/25 + 22/10. Suppose 5 = -3*q + i*l + 3, -10 = -q - 2*l. Suppose q*f + 3 = -1, 2*f = 3*p - 31. Is p composite?
True
Let o(j) = j**3 - 4*j**2 - 19*j - 12. Let u be o(14). Is (-15)/(-12)*(-4)/(-10)*u composite?
True
Let h(t) = -t**3 - 5*t**2 - 7*t - 2. Let g be h(-4). Suppose 8616 = g*u + 1306. Is u composite?
True
Suppose 0 = 4*t - d - 539, -2*d - 6 = 2*t - 288. Suppose 4*s - t = 48. Is s a prime number?
False
Suppose -203827 = 11*j - 24*j. Is j a composite number?
False
Let i(a) be the first derivative of -38*a**2 - 43*a + 19. Is i(-5) a prime number?
True
Let h = 6 - -10. Is (-6)/h - 7670/(-16) a prime number?
True
Let q(b) = 12*b**2 + 88*b + 143. Is q(-39) prime?
False
Let x = 10 - 8. Let p(i) = -1 - 4*i + 3*i + 56*i**2 - 15*i**2. Is p(x) a composite number?
True
Let h = -26 + 7. Suppose g - 1 = 2. Is (h - -16)/(g/(-79)) a composite number?
False
Let b be 3 + -6 - (3 - 10). Suppose