4*i + 2. Let u be q(4). Suppose -5*g + 5*a + 515 = -0*g, -u*a - 524 = -5*g. Suppose -p = -13 - g. Is p composite?
True
Suppose -3*c - c + 3*f = -514, -f = -4*c + 510. Is c a composite number?
False
Suppose 5*s - 2*v - 383 = 0, 304 = 4*s - v - 3*v. Is s a composite number?
True
Let a(z) = 5 - 9*z + 2*z**3 + 11*z**2 + z**3 - 4*z**3. Is a(10) prime?
False
Let s = -117 + 200. Is s a prime number?
True
Suppose -5*h + 1 = 11. Is 6/(-2) + (h - -444) a prime number?
True
Suppose -q - 3*q + 4012 = 0. Is q a prime number?
False
Let q(l) = 2*l**3 + 32*l**2 + 15*l - 14. Is q(-15) a prime number?
True
Is (-2)/3*(-1899)/6 a composite number?
False
Suppose 0 = 3*d - 3*q + 2*q - 752, -3*d - 3*q + 756 = 0. Is d prime?
True
Let y(g) = 3*g**3 + g**2 + 1. Let w be y(3). Let m = 52 + w. Is m composite?
True
Let m be (3 + -2 - 1) + -39. Let i(w) = w**3 - 9*w**2 + 7*w - 8. Let j be i(6). Let v = m - j. Is v a composite number?
True
Let b be (-2)/11 - 159/33. Let p(g) = -g**2 - 4*g + 7. Let r be p(b). Is (-679)/(-6) + r/(-12) prime?
True
Let k(d) = d**3 - 6*d**2 - 5*d - 1. Is k(7) a prime number?
True
Let v(h) = h**3 + 6*h**2 - h - 8. Let w be v(-6). Let u be -3 + (1 - 2 - w). Is u*3/6 + 52 prime?
False
Let d(g) = 34*g**2 + 3*g - 2. Let h be d(2). Suppose 0 = -4*k, -3*m + 3*k = m - h. Suppose -2*p + 3 + m = -2*u, 15 = -3*u. Is p a composite number?
True
Let t(k) = -1087*k - 10. Is t(-3) prime?
True
Suppose -5*v - 728 = -2*a, 6 = -5*v - 4. Is a a composite number?
False
Suppose 0 = -2*f - 0*f + 3386. Is f a prime number?
True
Suppose -3*f + 15 = 3. Suppose -f = -v - 1. Suppose t + 28 = 3*t + 3*d, -v*d = 0. Is t a composite number?
True
Let h = -22 - -9. Let t(g) = -23*g - 12. Is t(h) prime?
False
Suppose -4*v - 22 = 14. Let a(c) = -c**3 + 5*c**2 - 6*c + 2. Let b be a(4). Is 14*1/(b/v) a prime number?
False
Let t(p) = 13*p**2 - 4*p - 3. Let j(n) = -65*n**2 + 21*n + 15. Let a(k) = 2*j(k) + 11*t(k). Is a(-2) a prime number?
True
Let o = -50 + 228. Is o a prime number?
False
Is (3992/(-32))/((-2)/8) a prime number?
True
Let h = 142 - -125. Suppose 4*k - h = k. Is k a prime number?
True
Suppose 4*f + 236 = -60. Let x = f + 215. Suppose -4*u = -u + 3*l - x, 88 = 2*u + 5*l. Is u prime?
False
Let p = 3076 + -2159. Is p a composite number?
True
Let g = -4 - -4. Suppose g = 5*w + 4*m - 411, 0 = 3*w - 4*m - 246 + 25. Is w a prime number?
True
Suppose -3*p = 52 + 41. Let m = 46 - p. Is m composite?
True
Let o(l) be the third derivative of -l**6/720 + 23*l**5/40 + l**4/8 - 3*l**2. Let s(r) be the second derivative of o(r). Is s(0) prime?
False
Suppose a = -3*g, -5*g - 3 = 17. Let o = 180 + -175. Let w = a - o. Is w prime?
True
Suppose 369 = -u - 89. Is (-7)/(-35) - u/10 a composite number?
True
Let l(a) = 30*a + 1 - 5 + 3. Let b be l(2). Let i = b + -26. Is i a prime number?
False
Let m be 4/8*(-2 - -8). Is -2 - 9*(-87)/m a prime number?
False
Let m be (40/12)/((-4)/(-6)). Suppose -11 - 9 = m*h. Is -17*1/h*20 prime?
False
Let r = 3 + 0. Suppose -r*b - 251 = -4*b. Is b composite?
False
Suppose -5*n = -t + 49 + 154, 0 = 2*t + 2*n - 406. Is t prime?
False
Suppose 0 = -q + 5*n + 9536, -5*n = 4*q - 23871 - 14373. Is q/44 - 2/11 a prime number?
False
Let u = -3 + 8. Suppose -188 = a - u*a. Is a composite?
False
Let o(x) = -x**2 + 6*x - 5. Let u be o(4). Suppose -2*f + 92 = -130. Suppose u*a - f = -0*a. Is a prime?
True
Is 20/(-25) - 6469*2/(-10) prime?
False
Suppose -4*k + 52 = 164. Is 4/14 - 3548/k prime?
True
Suppose -4*w - 12 = 2*g - 2*w, 5*g + w + 10 = 0. Let c = -72 - -142. Is (c/(-15))/(g/3) prime?
False
Let j(l) = -l + 8. Let q be j(8). Suppose -5*i - 7 = -2*r, -i = -r - q*i + 8. Is r composite?
False
Let j(s) be the second derivative of 7*s**3/6 + 13*s**2/2 + 2*s. Is j(10) composite?
False
Let p = -51 - -28. Is -2 - p - (-6 + 4) a prime number?
True
Suppose 2*d = 3*d - j - 24, -5*d + 3*j = -112. Let b = d + -7. Is b prime?
True
Suppose 0 = 3*i - 8*i + 35. Let b(s) = -s**2 + 20*s + 2. Let u be b(20). Suppose u*k = i*k - 70. Is k composite?
True
Let h = 3 + -3. Suppose -z - z + 6 = h. Suppose 2*k + k + 2*n = 121, 3*n = z*k - 96. Is k a composite number?
False
Let a = 58 + -82. Suppose 165 = 4*t + 5*v, 6*v = -3*t + 3*v + 126. Let p = t - a. Is p a composite number?
True
Is ((-15188)/6)/(0 - (-4)/(-6)) prime?
True
Let m be 1 + 0 - (13 - 14). Suppose m*d = 612 + 226. Is d a prime number?
True
Suppose k = 2*k + 6. Let v be (76/(-6))/(2/k). Let t = -15 + v. Is t a prime number?
True
Let s(n) = n**3 + 5*n**2 - 8*n - 2. Let q be s(-6). Let g = -5 + q. Suppose -68 = -g*c - 2*i + 3*i, -c + 16 = i. Is c prime?
False
Suppose 3*n = 3 + 3. Suppose -8 = 2*g - n*b - 152, 0 = 3*b - 15. Is g composite?
True
Suppose 947 = 4*p + 3*b, p - 3*b - 2*b = 254. Is p prime?
True
Let g = 3 + -2. Let p be 4 + 0 + (g - 3). Suppose 4*f - 5*b - 48 = 0, p*f + 2*b = -2*f + 20. Is f composite?
False
Suppose -5*h + p + 20752 = 0, -4*h + 2*p - 7*p + 16619 = 0. Is h a composite number?
True
Let y(g) = -g + 11. Let f be y(9). Suppose -3*l - h + 6*h + 359 = 0, f*l - 5*h - 236 = 0. Is l prime?
False
Let v = 144 - 68. Let w = v + 101. Is w prime?
False
Let j = 3 - 3. Let r = 2 + j. Suppose 22 + 4 = r*g. Is g composite?
False
Let p(n) be the second derivative of 25*n**4/6 - n**3/6 + 4*n. Suppose 4*j = -3*s - 6 + 19, 4*j - 3*s = -5. Is p(j) composite?
True
Let w be (-5)/25 + (-4416)/(-5). Let d = -434 + w. Is d a composite number?
False
Suppose -2*h = 5*n - 0*n - 319, -5*n = 3*h - 476. Is h a composite number?
False
Suppose q + 8 = 3*q. Let g(d) be the second derivative of 7*d**3/6 + 3*d**2/2 - d. Is g(q) prime?
True
Let n be 0 + -2 + (23 - 2). Suppose i = n + 52. Is i prime?
True
Let m be (-2)/(-7) - 94/(-14). Suppose -9 = j + 4*c + m, j - 5*c = 29. Suppose 0 = 3*f - j*f + 77. Is f prime?
False
Let w be (4/8)/((-2)/20). Let s be (w - -2)/(3/(-2)). Suppose -11 = -s*j + 59. Is j a composite number?
True
Let m = 6 + 17. Is m prime?
True
Suppose -10 = -0*n - 5*n. Suppose 4*u - 160 = -4*x, n*x - 79 = 3*u - 14. Is x composite?
False
Suppose -7192 = -4*x - 4*s, 3*s = x + 7*s - 1795. Is x a composite number?
True
Is (-1171)/(-4) + 7/28 a prime number?
True
Let p(o) be the first derivative of 25*o**4/4 + o**3/3 - o**2/2 + o - 2. Let w be p(1). Suppose w = -j + 3*j. Is j a prime number?
True
Is (-1)/2 - (-23921)/38 composite?
True
Suppose -2*b + 3*k = -2267, 2*b + 3*k = 343 + 1942. Is b a composite number?
True
Suppose 5*f - 8 = 27. Let d be (-3)/((-3)/2) - -2. Let n = f - d. Is n a prime number?
True
Suppose 2*j = -l - l + 10, -j + 5*l - 1 = 0. Suppose b = j*b. Suppose 2*w + i - 118 = b, 0*w - 5*i + 59 = w. Is w composite?
False
Let j(x) = 2*x**3 - 5*x**2 - 4*x + 7. Let k(t) = -t**2. Let u(f) = j(f) + 5*k(f). Let i be u(8). Let s = i + -232. Is s a composite number?
False
Let n(o) = 20*o**2 + 3*o + 3. Let d = 7 - 7. Suppose d = 5*a - 4*b + 30, -a + 4*b = -6 + 28. Is n(a) a composite number?
True
Is (-2 - -3)/(3/339) prime?
True
Suppose 0 = 2*z + 1878 - 5808. Suppose h = 6*h - z. Is h a composite number?
True
Let z = 466 - 319. Suppose -4*x - h = x - 811, -x - 4*h + z = 0. Is x a composite number?
False
Let m(h) = -h - 244. Let t(b) = -6*b - 1220. Let a(g) = 11*m(g) - 2*t(g). Let k be a(0). Let f = k - -363. Is f a prime number?
False
Let w = -9 - -11. Is (127/w)/(13/26) a composite number?
False
Let z(d) = -41*d**3 - 8*d**2 + 14. Is z(-5) a composite number?
True
Let b(a) be the first derivative of 17*a**3 - a**2/2 - 1. Let w be b(1). Let o = w + -19. Is o composite?
False
Let x = -12 - -13. Let q(f) = 256*f**3 + f**2 - f + 1. Is q(x) a prime number?
True
Let m be 2 + -2 - 8/(-4). Suppose 0 = -m*f + f + 83. Is f prime?
True
Let w be (5 + 1)*(-6)/(-9). Let c(h) = h**3 - 3*h**2 - 2*h - 5. Let p be c(4). Suppose 2*s - 3*v - 85 = 2*v, w*s = p*v + 205. Is s a composite number?
True
Let a(y) be the first derivative of -y**4/4 - y**2/2 + 35*y + 4. Is a(0) a prime number?
False
Suppose -4*m = 3*z - 145, 0*z + 78 = 2*m - 4*z. Suppose 2*b = -3*b - 80. Let w = m + b. Is w prime?
False
Is (-131)/1*(-2)/2 prime?
True
Let a be 1 - (-7)/(-1 - -2). Let q(i) = 14*i - 6. Let s(x) = 13*x - 5. Let o(p) = 4*q(p) - 3*s(p). Is o(a) a prime number?
True
Let u(p) = 7*p + 0*p**2 - 7*p**2 - 7 + 14*p**2. Is u(-6) a composite number?
True
Is -42*3/(-12)*2