 + 164. Is p prime?
False
Let w be (-2)/4*-4 + -2. Suppose -6*u + 65 = r - u, w = -3*r - u + 195. Is r composite?
True
Let j be 4/1 + 0 + -1. Suppose -4*y + 14 + 218 = x, y + j*x - 69 = 0. Is y composite?
True
Suppose -386 = 5*f - 1236. Let a = f - 108. Is a prime?
False
Suppose -3*i - 395 = -1967. Let s = i + -357. Is s prime?
True
Let h = -1159 - -1806. Is h a prime number?
True
Let q = 1078 + -635. Is q composite?
False
Let h(c) = 3*c - 5. Let t(g) = -2*g + 3. Let x(q) = 3*h(q) + 5*t(q). Let l be x(-6). Suppose -4*z + l*z = 138. Is z composite?
True
Let d = -1 + 3. Let f(s) = s**d + 7 - s + 9*s + s**2. Is f(-6) a prime number?
True
Is ((-44)/8)/((27/498)/(-9)) prime?
False
Is 14695/6 + 8/(-48) composite?
True
Suppose 4*f = -20, -5*j + 18 = -2*j - 3*f. Let c be (-5 - -6)*3/j. Suppose -4*h = -c*q + 385, -2*q + 3*h = -0*h - 256. Is q a composite number?
False
Suppose 172 - 446 = -p. Is p a composite number?
True
Let b = -200 + 139. Let g = 114 + b. Is g a composite number?
False
Let c(u) = u**3 - 4*u**2 + 2*u + 2. Let r be c(2). Let a(k) = -k**3 - k**2 + k. Let j be a(r). Suppose j*d - 82 - 27 = 3*x, 51 = d + 2*x. Is d a prime number?
True
Suppose 5 - 25 = -5*n. Suppose n*r + 5*k - 46 - 43 = 0, 4*r - 5*k = 79. Is r a prime number?
False
Let v(z) = -12*z**3 + 4*z**2 + 10*z + 11*z**3 + 1 + 12*z**2. Is v(16) prime?
False
Is (-1 + 11004/(-10))*(-4 - 1) prime?
True
Suppose 0 = -a - 3*a + 1324. Is a prime?
True
Suppose 0 = 2*p - 106 - 52. Is p a prime number?
True
Suppose -5*h = -6 - 29. Suppose 0*w - w = -2*a + 5, 5*a - 18 = -3*w. Is w/(2/(h*22)) composite?
True
Let f(l) = 250*l**2 - 12*l - 11. Is f(-1) composite?
False
Is (1 + 987 - -1) + -4 composite?
True
Let x(c) = 8*c + 3. Let u be x(8). Suppose -2*k + 3*k - 49 = 4*f, u = k + 5*f. Is k a composite number?
True
Is 12*(100/8 - 3) - 1 composite?
False
Suppose 0 = -4*k + 1125 + 551. Is k prime?
True
Let i(v) = 7*v**3 - 5*v**2 - 3*v - 1. Let y be ((-4)/8)/((-2)/4). Suppose -4*s - 20 = 0, -u - s = -0*u + y. Is i(u) composite?
True
Let p(a) = 3*a**2 + 2*a + 2. Let c be p(-2). Suppose -c - 8 = -3*d. Is -14*1/(d/(-9)) prime?
False
Let r be 3*(164/3 - 2). Suppose -f + 2*f - r = 0. Suppose a = -a + f. Is a prime?
True
Suppose 8 = 2*d - 0*d. Is (91/14)/(2/d) prime?
True
Let g(j) = -j**3 - 32*j**2 + 16*j - 59. Is g(-33) a composite number?
True
Let j be (-14)/(-56) - (-1)/(-4). Suppose j*q - q = 4*z - 193, -3*q + 515 = -4*z. Is q prime?
False
Let z(p) = 12*p - 10. Let m be z(7). Suppose -2*u + m = -5*a + 31, u = a + 26. Let g = -16 + u. Is g composite?
False
Let x(g) = 4*g**2 - 2*g + 1. Let d(m) = 2*m - 1. Let z be d(4). Suppose 3*y - 9 - z = 5*s, 5*y = -4*s + 2. Is x(y) a prime number?
True
Let z(y) = 2*y**2 + y - 1. Suppose -4*w + 3*w = -3*o + 8, 0 = -5*w + 20. Is z(o) prime?
False
Let s(t) = t**2 - 6*t + 5. Let h be s(6). Let m(c) = -86*c**2 + 4*c - 7. Let n be m(h). Is n/(-7) + 8/(-28) prime?
False
Let d = -3 + 7. Suppose d + 3 = n. Is n prime?
True
Let m(q) = -q + 8. Let d be m(5). Suppose 2*l = 4*b, b - 15 = d*l + 5. Is (-4)/l + 173/2 composite?
True
Let u(a) = a. Let n(d) = d**3 - 10*d**2 + 11*d - 6. Let l(q) = n(q) - u(q). Let j be l(9). Suppose -1 - 92 = -j*p. Is p a prime number?
True
Is (6/4)/(-1) - 5585/(-10) composite?
False
Let h = 496 + 151. Is h a composite number?
False
Suppose 2*w = -0*w + 382. Is w prime?
True
Let m be 2/(-2) - (-2 + -6). Let r be (-36*m)/((-3)/(-3)). Is 3 - r - 2/(-1) a composite number?
False
Suppose 3*v = -v. Suppose -3*r = -v*r - 15. Suppose r*j - 67 = -4*g - 12, 0 = -j + g + 11. Is j prime?
True
Suppose -18 = -2*j - 4*m, 4*j - 15 = -3*m + 21. Let r be 54/(-4)*(-42)/j. Suppose 0 = 3*v - 48 - r. Is v prime?
True
Suppose -m = 9*r - 5*r - 73, 5*m = 2*r + 255. Is m a composite number?
False
Suppose 2*c = -21 + 5. Let v = -6 - c. Suppose v*l = 4*l - 44. Is l a prime number?
False
Let b(l) = 3*l**2 - 3*l + 1. Suppose -3*k + 6 = 15. Is b(k) prime?
True
Let m(f) = -f**3 - 7*f**2 - 5*f + 5. Let h be m(-6). Let w be 0 + 8 + (-2 - -2). Let u = w + h. Is u prime?
True
Let b(m) = -m**3 - 5*m**2 + 8*m + 2. Let v = -14 - -8. Let w be b(v). Let p = 23 + w. Is p a composite number?
False
Suppose 0 = -0*w + 5*w - 635. Is w a prime number?
True
Let x = 0 - -3. Let s = 1 + x. Is 93/9 - s/(-6) a composite number?
False
Let c = -4 - -7. Suppose -3*w + 5*q + c = 0, -2 = -3*w - 2*q + 1. Suppose w = -4*k - 5*h, 6*h - 2*h = 3*k - 38. Is k a composite number?
True
Let n be 11/55 - (-28)/10. Suppose -5*g + 482 = n*v, g - 95 = -2*v - 0*v. Is g a prime number?
True
Suppose 7 = -f + 2*f. Suppose -10*y = -f*y - 1257. Is y composite?
False
Let u = 18 - 13. Suppose 0 = u*q - 5*n + n - 323, -2*n = 4*q - 274. Is q a composite number?
False
Suppose 0 = -l + 963 + 398. Is l composite?
False
Let y be (-10)/(-4)*48/30. Suppose 88 = -z + 2*b + 319, 3*z - y*b - 697 = 0. Is z a composite number?
True
Is -4 + 796 + 7 - 4/2 a composite number?
False
Let j = 1 - -3. Suppose -23 = -3*l + j. Is l a prime number?
False
Let x(j) be the second derivative of -3*j**3/2 + 7*j**2 - 3*j. Is x(-15) composite?
False
Let z(x) = -x**3 + 12*x**2 - 3*x - 8. Let w be z(11). Suppose 2*r = 2*v + 52, -5*r = -4*v - 63 - 68. Suppose -n - r + w = 0. Is n composite?
False
Suppose p + 2*p = 12. Let o = -1 + 2. Is (15/6 + o)*p a composite number?
True
Suppose 4*f + 7 = -2*p - 11, -5*f - p = 18. Let i = 1 + 2. Is 4*(f/4 + i) a prime number?
False
Is (-10)/(-15) - 3518/(-6) prime?
True
Is (7/21)/(2/114) a composite number?
False
Let p(v) = 1 - 2 - 3*v + 9*v**2 - 5*v. Let a be p(-6). Is a/4 + 7/28 a prime number?
False
Suppose 2*b = -2*y + 4, 4*b + 0*y + 2*y = 8. Suppose 4*l - 8 = b*l. Suppose 115 = l*d + d. Is d prime?
True
Suppose -5 = -3*g - 17. Is g/((-8)/470) + 2 a prime number?
False
Let l = 528 - 139. Is l composite?
False
Suppose 12 = 3*j - 30. Is j a composite number?
True
Let b = 16 - -68. Let r = b - 40. Is (r/(-10))/((-1)/5) composite?
True
Let u = -1573 - -2242. Is u a prime number?
False
Let r(a) = -3*a**3 - 2*a**2 - 2*a + 2. Is r(-3) a composite number?
False
Let m = 19 - -68. Let u(b) = -3*b + 8. Let c be u(-14). Let i = m - c. Is i prime?
True
Suppose 2*n = -v - 124, 0*n - n = 4*v + 531. Let j = -69 - v. Suppose l - j = -4*l. Is l a composite number?
False
Let t(l) = 7*l + 3. Let c(v) = 8*v + 3. Let s(r) = -6*c(r) + 7*t(r). Let y be s(-6). Let w(q) = q**2 + q - 3. Is w(y) prime?
True
Suppose 3 = 3*z - 3. Suppose -n = -z*u + 8, 3*n + 0*n = -5*u + 20. Suppose n = -6*t + 2*t + 84. Is t composite?
True
Let a(q) = 4*q**2 - 8*q - 19. Let f(h) = 2*h**2 - 4*h - 9. Let l(k) = -6*a(k) + 13*f(k). Is l(-5) prime?
True
Let t = 89 + -38. Is t a composite number?
True
Let j(r) = 65*r. Suppose -n = -p, -n = 2*p + 3*n. Suppose -3*u = -p*u - 3. Is j(u) prime?
False
Let o(l) = -l**3 + 4*l**2 - 2*l - 3. Let x be o(3). Suppose -3*k + k + 362 = x. Is k + (4 - 3) + 1 a prime number?
False
Let m(o) = o**3 + 8*o**2 + 9*o - 7. Is m(-6) a prime number?
True
Let d(r) = 7*r. Let k(w) = 5 - 5 + w + 7. Let c be k(-6). Is d(c) a prime number?
True
Suppose -4*r - 3720 = -17644. Is r a prime number?
False
Suppose -7*q + 3*q + 16 = 0. Suppose 21 + 7 = 4*j - q*s, 3*j - 22 = 2*s. Is 186/8 + (-2)/j composite?
False
Let i be 4/(-10)*(-7 - 3). Suppose j + 5*u = 187, -j = -i*j - 5*u + 561. Is j a composite number?
True
Let s be (-2)/(-9) + (-12)/54. Is (-1 + s)/((-4)/76) a composite number?
False
Let y = -3427 + 5556. Is y a composite number?
False
Let c be 34*(5 - 12/3). Let i = c + -15. Is i a composite number?
False
Let a = 6 - 2. Let h = -4 + a. Suppose 0 = 2*d + 5*z - 38, 2*d - 5*z - 38 = -h*d. Is d a composite number?
False
Let k be (-10)/25 + (-1077)/(-5). Suppose 4*h - 53 = k. Is h prime?
True
Suppose 103*b - 104*b = -1319. Is b a prime number?
True
Let l = 6 - -1. Suppose 0 = 5*h + 2*u - 343, l*u - 3*u - 341 = -5*h. Is h a prime number?
False
Suppose -2*p + p = -6. Let q(v) = 10*v**2 - 6*v + 7. Is q(p) a composite number?
False
Let v = 16 - -49. Let c = 228 - v. Is c composite?
False
Let l(f) = 4*f**2 + 1. Let i be l(-1). Suppose -4 = 2*y - 0*y, 2*v = -i*y - 6. Suppose -u + v*u = 19. Is u a composite number?
False
Suppose -k = -2*w - 2*w + 2678, 5*k = -3*w + 1997. Is w a composite number?
True
Let o(v) = v + 4. Let a be o(-4). Suppose f = -3*w + 2246