 Is q prime?
True
Let z(t) = -t**3 - 6*t**2 + 5*t - 8. Let j be z(-7). Suppose 2*s - 285 = -l + j*s, 2*l = -4*s + 546. Is l a prime number?
True
Let a(w) = -w**2 + w + 6. Let d be a(5). Let o be (-8)/(-28) + (-38)/d. Suppose o*k = -5*u + u + 715, 940 = 4*k + 2*u. Is k prime?
True
Let a = -7442 + 10785. Is a prime?
True
Suppose -6*n = 86 + 64. Is (-76330)/n - (-1 - 12/(-10)) a composite number?
True
Let u(f) = -f - 2*f**3 - 10 - 4*f + f**3 - 4*f + 5*f**2. Is u(-7) composite?
False
Let l be (-2)/(-9) + (-280)/(-36). Let f = l + 29. Is f a composite number?
False
Suppose 3*y = -2*u + 1, 5*u - 15 = -3*y + 8*y. Let d(n) = 59*n**2 + 3. Is d(u) a composite number?
False
Let z be 8/(1 - 0)*-44. Let k = -29 - z. Is k composite?
True
Suppose 0 = f - 2*a - 9, 3*f - 13 - 5 = -3*a. Suppose -2*t = -f*t, -h + t = -109. Is h a composite number?
False
Let w = 16119 + 233584. Is w a composite number?
False
Suppose -2*f + 30 = 4*f. Suppose -6*z + 4*u + 2587 = -z, z - 530 = f*u. Is z prime?
False
Let v(p) = 2*p**3 - 6*p**2 + 2*p + 13. Is v(4) prime?
True
Let t be ((-8)/(-10))/(16/40). Suppose 3*g + 5*h = 9, t*h + 1 = g - 2. Suppose g*z - 95 = -2*z. Is z a prime number?
True
Suppose 2*c + c = 6. Let h be 6 - (1 + c/1). Suppose 0 = 2*w + h*w - 695. Is w composite?
False
Let n = 6435 - 3184. Is n composite?
False
Suppose 3*o = 36077 - 7166. Is o a prime number?
False
Is 2/2 - (-6462 + 36/(-6)) a prime number?
True
Suppose l + 1293 = -0*l. Let x = -772 - l. Is x composite?
False
Let y = 40175 + -21720. Is y composite?
True
Let h(b) = b**2 + 5*b - 9. Let n be h(-7). Suppose 0 = -n*m - 6 + 26. Is (1 - 3)/(m/(-94)) a prime number?
True
Let i(u) = -4938*u - 283. Is i(-5) a composite number?
False
Suppose 25*d - 23*d - 2362 = 0. Is d a composite number?
False
Let c(b) = 2477*b + 13. Is c(2) a prime number?
True
Is 222/259 - 1221/(-21) composite?
False
Let x(q) = -q - 5. Let w be x(4). Let u = -13 - w. Is ((-2)/3)/(u/978) a prime number?
True
Suppose -16*g - 2*n = -12*g - 79662, 0 = 3*g + n - 59744. Is g composite?
False
Let s(d) = 317*d**3 - 3*d**2 + 11*d - 23. Is s(4) a prime number?
True
Is (70/(-15) - -4)*-2631 composite?
True
Is (-190799)/(-28) + (5 - 84/16) composite?
True
Let d = 225 - 220. Suppose -6 = -p - 1. Suppose -v = -d*z - 258, p*z = -3*v + 545 + 129. Is v a composite number?
False
Suppose -13 = 5*p + 12, -3*y - 2*p + 1538 = 0. Suppose 2*s = 4*h + 1420, -s - 2 = 2. Let c = h + y. Is c a composite number?
True
Suppose 0 = -0*l - 5*l - 20. Let g = 8 + l. Suppose 2*t = g*t - 402. Is t a prime number?
False
Is ((-6)/4 + 2)*(-381822)/(-21) a prime number?
True
Suppose -l + 3*p + p + 230 = 0, 5*l + 5*p = 1125. Suppose -3*d = -f - 2*d + 44, 5*f - l = 2*d. Suppose f + 142 = 4*g. Is g a composite number?
False
Suppose -5*y = -4*w + 327263, -4*w - 35*y = -30*y - 327273. Is w composite?
False
Let p(x) = -6 + x**2 + 7 - 5*x**3 + 2*x + 0*x. Let d be p(-1). Suppose d*q + 288 = 1223. Is q a composite number?
True
Let g(k) = -k**2 + k + 462. Suppose m - 2*m + 3*f + 6 = 0, 8 = 5*m - 4*f. Let y be g(m). Suppose 16 = -2*t + y. Is t composite?
False
Let r be (45/10)/((-1)/(-6)). Suppose 183 = x - d - r, -855 = -4*x + d. Is x a prime number?
False
Is 1 + (-10)/15 - (-97376)/3 composite?
True
Let y(v) = -14*v + 38*v**2 - 3*v**2 + 2 + 13*v. Is y(3) a composite number?
True
Suppose -m - 10 = -y + 3*m, -4*m - 6 = y. Let q be 1/1 - (-3 - y). Suppose q*p + 2*a - 128 = 2*p, -4*p - 3*a + 126 = 0. Is p composite?
True
Let s = 3 - 4. Let b(d) = -856*d + 2. Let h be b(s). Suppose 7*w = w + h. Is w composite?
True
Suppose 32006 = 3*d - 3025. Is d prime?
True
Let s(y) = -17*y**3 + 4*y**2 - 5*y + 3. Let t be s(-5). Suppose 0 = -6*o + 9*o - t. Is o composite?
False
Let g = -1132 - -3848. Suppose 4*x - g = -4*v, 3*x - 2037 = -0*x - 2*v. Is x composite?
True
Let g(l) = 1009*l**2 + 14*l - 27. Is g(8) a composite number?
False
Suppose -4*t - 2848 = -r + 2*r, 4*r + 3549 = -5*t. Let k = t + 1344. Is k composite?
False
Let o(p) = p + 9. Let l be o(-9). Suppose 8*t - 4*t = l. Suppose 2*x - 10 = -t*i - 5*i, 3*i + 6 = 0. Is x a composite number?
True
Suppose -3*p - 598 = -5*p. Let d = 688 - p. Is d a composite number?
False
Let o be (-3 + 6 - 7) + -7. Let i(f) = -f - 13. Let x be i(o). Is x*(652/(-8) + 0) a prime number?
True
Suppose -3*u + 10*u - 7679 = 0. Let h = 2171 - u. Suppose -153 + h = 3*i. Is i prime?
True
Let c = 69 - 46. Let f = c + -45. Let u = f - -60. Is u a prime number?
False
Is (-6)/(-2) + 24140/17 a composite number?
False
Let y(r) = -12*r + 14. Is y(-10) composite?
True
Let c = -12653 + 17986. Is c a composite number?
False
Suppose -3*k - 14 = 112. Let m = k + 129. Is m prime?
False
Suppose 5*i = -15, -6*i = 5*k - i. Suppose q + l - 854 = 4*l, 0 = k*q + 3*l - 2550. Is q a prime number?
False
Suppose -24 = c - 178. Let l = 675 - c. Is l composite?
False
Is ((-23389)/133)/(2/(-14)) a composite number?
False
Suppose 7228 = 4*l + 22*l. Is l composite?
True
Let r(c) = 29*c**2 + 189*c - 71. Is r(-69) prime?
False
Let j(z) = z**3 - 13*z**2 + 12*z + 3. Let r be j(12). Suppose -r*c = 3*w + 1167, 0 = -2*c - 2*w - 2*w - 770. Is c/(-5) + 12/30 prime?
True
Let k = 2 + 3. Let x be 19/(-2) + k/10. Let g(l) = -9*l + 13. Is g(x) a composite number?
True
Suppose 4*n - 2*j = 18, 3*j = n - 3 + 1. Suppose -z = 5*i - 666, 5*z - z = -n*i + 2619. Suppose -2*w - w = -z. Is w composite?
True
Let g = 5258 - -1127. Suppose y - g = -2*y - 2*o, -3*o = -4*y + 8519. Is y composite?
False
Let t be (-1)/2*(-10 - -10). Suppose t = -0*f - 2*f + 10. Suppose -f*v + 735 + 560 = 0. Is v prime?
False
Suppose -4*l + 3705 = b, -6*b + b - 3675 = -4*l. Suppose -2*p - 3*p = -l. Is p prime?
False
Let w(l) = -194*l + 317. Is w(-34) composite?
True
Suppose 5*r = y - 4911, -2*y + 10604 = 5*r + 842. Is y prime?
False
Suppose 0 = 3*p + d - 79154, 3*p + 6*d = -0*p + 79179. Is p a prime number?
False
Let h = -12018 + 18955. Is h a composite number?
True
Let g(y) = -y**3 + 9*y**2 - 8*y - 10. Let t be g(8). Is 2/t - 14058/(-15) a prime number?
True
Let j(d) = -d**3 - 6*d**2 + 7*d - 2. Let q be j(-7). Let u = q - -5. Suppose 0 = -2*y + x + 191, u*x + 281 = 3*y + 7*x. Is y composite?
True
Suppose 3*x + 32 = 5*z + 6, 3*x + 10 = z. Let f(j) = 10*j**3 + 5*j**2 - 3*j. Let t be f(z). Let b = -505 + t. Is b prime?
False
Suppose g = x + 3, -g + 5 = g - x. Suppose 0 = 4*h - 5*j - 1082, 4*j + 372 + 172 = g*h. Let r = h - 155. Is r a composite number?
False
Let j(h) = 457*h - 49. Is j(8) prime?
True
Let h(b) = b**2 - 2*b + 1553. Let i be (0/7)/(0 + -2). Is h(i) prime?
True
Suppose 5*c + 4 + 7 = -x, 0 = -5*x + c + 23. Let j(g) = 25*g**2 - g - 17. Is j(x) a prime number?
True
Let i(j) be the third derivative of -j**4/6 + j**3/3 + j**2. Let a be i(4). Let r = 47 + a. Is r composite?
True
Let g(w) = 13*w**3 + 10*w**2 - 6*w + 8. Let y be g(7). Let t be y/8 - (-30)/(-80). Suppose 2*d = -2*d - 3*m + 1256, 0 = 2*d - 2*m - t. Is d a composite number?
False
Let n = -6889 - -9790. Is n composite?
True
Let q(b) = 11*b**2 + 9*b - 67. Is q(-12) a prime number?
True
Suppose 4*m - 2*o + o - 1065 = 0, 3*o = -4*m + 1077. Let g(t) = t**3 - t**2 - 61. Let h be g(0). Let u = m + h. Is u a prime number?
False
Let h(o) = -o**3 - 6*o**2 - 6*o - 7. Let f be h(-5). Let q = f + 14. Is (-4)/16 + 231/q composite?
False
Suppose 23966 = 4*y - 11630. Is y a composite number?
True
Let d(q) = 6*q**2 - 16*q + 37. Suppose -5*i - 2*f = -0*f - 63, 0 = -4*i + 2*f + 36. Is d(i) composite?
False
Let z = 3472 + -989. Is z a composite number?
True
Suppose 0 = -5*r - 3*f + 14470, -5*r + 14500 = -4*f + f. Is r a composite number?
False
Is 6/(-4)*102940/(-30) a composite number?
False
Let x be (-3)/2*(-2)/3. Is (2231 - (-20)/4) + x prime?
True
Let l(w) = -w**3 + 9*w**2 + 2*w - 1. Let c be (-79)/4 - 6/24. Let v be (24/20)/((-6)/c). Is l(v) a prime number?
False
Suppose -4*g = -g + 15, l + 4*g + 20 = 0. Let u = 0 - l. Suppose u = -z + 3*z - 230. Is z a composite number?
True
Let d(a) = a**3 - 6*a**2 + 6*a - 2. Let t be d(5). Suppose 2*c + 4*o - 88 = c, t*o + 417 = 5*c. Suppose 531 = 3*r - c. Is r prime?
False
Suppose -19*m + 272800 + 105547 = 0. Is m a composite number?
False
Let o = 10057 + -5306. Is o a prime number?
True
Suppose 0 = -6*w - 542 + 2540. Suppose -2*z - d = -w - 934, -2*d = -10