 71*n**2 - 1. Is z(6) a prime number?
True
Suppose -27965 - 33583 = -12*h. Is h composite?
True
Suppose 0 = 5*r - 3*l + l - 69, -4*l + 18 = 2*r. Suppose -236 = -4*j + 4*h, -2*j - 3*h = 2*j - 271. Let s = r + j. Is s a composite number?
True
Let f(n) = -n**3 + 2*n**2 + 3*n + 11. Let a = -14 + 20. Let x be f(a). Let v = -57 - x. Is v a composite number?
True
Let y = 14393 + 9252. Is y a prime number?
False
Let d = 6 + -1. Suppose 0 = -3*r - i + 354, 0 = -4*r + d*i - 3*i + 462. Suppose -7*p - r = -10*p. Is p a prime number?
False
Let i be 346/14 + 4/14. Suppose 2*n - 9 = i. Is (n + 174)/(1 - 0) a composite number?
False
Suppose s = 6*s. Suppose s = -3*c - 1170 - 486. Is (-3)/(-6) + c/(-16) a prime number?
False
Suppose -2*p - p - 6274 = -5*d, p = -3. Suppose 4*f - d = 3*f. Is f a prime number?
False
Let b = 50087 + -34182. Is b composite?
True
Let l(o) = o**3 - 6*o**2 - 2*o. Let m = -11 - -7. Let x(y) = y**3 - 6*y**2 - 2*y - 1. Let p(h) = m*l(h) + 3*x(h). Is p(-4) a composite number?
False
Let p(k) = -11 - 3*k**2 + 4*k**3 - 4*k + 8 - k + 17*k. Is p(8) a composite number?
False
Let v(r) = -r + 12. Let z be v(6). Let j be (-271)/(-3) - (-4)/z. Suppose t = -2*y + j, -y + 40 + 151 = 2*t. Is t a prime number?
True
Suppose 3*b + 4 = -5*j, -3*j + 2*j = -3*b + 8. Suppose b*v = -5*l + 73, 6*v - 3*v - 62 = 2*l. Let h = v - -19. Is h a composite number?
False
Let t be -3 + 22*(10 - 4). Suppose -c + h + 141 = 0, -c - 5*h + t = -0*c. Is c composite?
False
Let l(n) = 42*n**2 + n. Let i be l(-5). Suppose 3*p - 8*p + i = 0. Is p a composite number?
True
Let l = -336 - -1087. Is l a prime number?
True
Let y = 12 - 6. Suppose -d + 4*n - 208 = -5*d, y = -2*n. Is d composite?
True
Let p(q) = 155*q**2 + 17*q + 15. Is p(14) composite?
True
Suppose 0 = 3*l - 5*l - 2*t - 252, 0 = 4*l - 4*t + 536. Let b be (3 + l/4)*-2. Suppose i - b = -2*m, -2*m - 3*m - 177 = -3*i. Is i a composite number?
False
Let b(k) = 126*k + 20. Let j be b(6). Let s = j + 1427. Is s prime?
True
Let j(h) = -378*h + 79. Is j(-20) a prime number?
True
Let w(n) = 14*n**2 - 10*n + 31. Is w(7) prime?
True
Suppose -100 - 140 = 16*f. Let v(o) = -2*o**3 - 21*o**2 - 20*o + 2. Is v(f) composite?
True
Let a be (-9*8/(-42))/(4/14). Is ((-10724)/a)/(8/(-12)) a composite number?
True
Let o be (7 - 5)*(-10)/(-4). Suppose -720 = -o*k + 205. Is k prime?
False
Let x = -3 - -6. Suppose -2*z + 9 = -2*u + z, -3 = 2*u + x*z. Let p(o) = -254*o - 7. Is p(u) composite?
True
Is (170/(-20) + 9)/((-1)/(-32366)) prime?
True
Let b(r) = -r**3 - 18*r**2 + 33*r + 3. Is b(-21) prime?
False
Suppose x + 41 = 37. Is (2/x*-10)/(4/284) a composite number?
True
Suppose -66 = p + 301. Let v = p - 41. Let d = 571 + v. Is d a composite number?
False
Let c(q) = -q**3 - 8*q**2 - q + 5. Let t be c(-8). Let x = t - 9. Is (-1587)/(-6) + (-6)/x composite?
False
Suppose -c = -45*c + 842644. Is c a composite number?
True
Let m(i) be the third derivative of i**6/120 + 5*i**4/12 - 9*i**3/2 + 46*i**2. Is m(10) a composite number?
True
Suppose -c + y = -14985, -2*c - 3*y + 74909 = 3*c. Is c a prime number?
True
Let o = 486942 + -239251. Is o composite?
False
Suppose 83210 = 5*g - 5*m, -5*g = -0*g + 5*m - 83160. Is g a prime number?
False
Suppose 2*s - 208 = 40. Let g = s + 10. Is g prime?
False
Let q(f) = -1108*f - 25. Is q(-6) a composite number?
True
Let y(z) = z - 7. Let t be y(5). Let v(j) = -j**2 + j. Let h(x) = 12*x**3 - 5*x**2 - x - 1. Let o(g) = -h(g) + 3*v(g). Is o(t) a prime number?
True
Let u(z) = -z**3 - 9*z**2 + z + 8. Suppose -4*t = 5*s - 4*s + 5, 0 = 4*s + 3*t + 33. Let i be u(s). Let j(k) = 34*k**2 - 2*k - 1. Is j(i) prime?
False
Let w(t) = 1288*t**2 + t + 23. Is w(-4) a composite number?
False
Suppose -9 + 56 = 3*y - 2*o, 0 = 5*y - 2*o - 81. Let b = 21 - y. Suppose l - 301 = -n + 5*l, b*n - 4*l = 1168. Is n a composite number?
True
Suppose 0 = 5*y - 41 + 1. Suppose 5*z - 1643 = -y*s + 4*s, 5*z - 4*s - 1667 = 0. Is z composite?
False
Let a(v) = 13*v**2 - 3*v - 5. Suppose -2*j = -5*u + 38, -10 = 5*u + 3*j - 28. Is a(u) composite?
True
Suppose -194866 = -50*d + 58584. Is d composite?
True
Let y = 3 + -11. Let h = -5 - y. Suppose 0 = -6*l + h*l + 1542. Is l a composite number?
True
Suppose 4*w - 2190 = -w. Suppose -u + w = -359. Is u prime?
True
Suppose -20*g = -8*g - 6324. Is g prime?
False
Suppose 0 = 3*a + 464 - 2486. Suppose -2*k + 349 = b, -2*b + k + a = -k. Is b a composite number?
True
Suppose -4*o = -o. Let j(b) = b**3 - 2*b + 217. Let x be j(o). Suppose 2*f - h - 441 = 0, -f - 4*h = -2*f + x. Is f composite?
True
Suppose -9*o = -7*o + 30. Let c = 10 + o. Is (-3 - -55)*c/(-10) a prime number?
False
Suppose 3*j - 447 + 1302 = 0. Let k = -43 - j. Let r = k + -163. Is r a composite number?
False
Let i be ((-160)/(-12))/(-2)*-3. Suppose 236 = 3*x + 2*k - k, 4*k - i = 0. Is x a composite number?
True
Suppose 13*b - 813277 = -240588. Is b a prime number?
True
Suppose 5*z = -3*t + 8137, 5*t - 2940 - 10663 = 2*z. Is t composite?
False
Suppose m = -52 - 76. Let d = 125 - m. Is d a composite number?
True
Suppose -3*h + 2*k + 4 = 79, -5*h = 5*k + 125. Let r = h + 31. Suppose r*c - 3*c - v - 274 = 0, 0 = -c + v + 92. Is c composite?
True
Let s be 345/(-23)*(-2)/6. Suppose y + 0*q - 44 = 5*q, q + s = 0. Is y prime?
True
Let y be (2 + 3)/(1 + 0). Suppose -3*r = -5*n - 1092, 0*n + y*n = 0. Let b = 595 + r. Is b a prime number?
False
Let h(g) = -5 + 49*g + 18*g + 24*g + 117*g. Let a be h(5). Suppose a - 80 = 5*v. Is v a prime number?
True
Let n(a) be the first derivative of a**5/20 + a**4 + 7*a**3/6 + 11*a**2/2 + 3*a - 3. Let u(z) be the first derivative of n(z). Is u(-8) prime?
True
Suppose 27 = 5*i - 3*z - 5, -5*i = 5*z. Suppose -2*q = -i*q + 762. Suppose 4*j - q = j. Is j prime?
True
Is (-4562)/(20/(-12)*3 - -3) prime?
True
Let x = 16 - 10. Suppose 2 = 4*y - x. Suppose -y*k + 62 = 4*u, -5*k - 2*u = -3*u - 188. Is k composite?
False
Let k(u) = -14*u**2. Let f be k(1). Let b(y) = y**2 + 3*y - 5. Let x be b(f). Suppose 5*t - 2*g - 122 = 0, -4*g + x - 29 = 4*t. Is t prime?
False
Let t be (2 + -2)*(-2)/(-2). Suppose -g + 5*a + 49 = 0, t = -2*g - 3*a + 5 + 93. Let c = g - -20. Is c a prime number?
False
Let a(g) = -g**2 + 18*g - 27. Let b be a(15). Suppose 15*d + 1203 = b*d. Is d composite?
False
Suppose -15*y - 16 = -76. Let l be 371/(-2) + (-3)/(-6). Is 2/y*l*-2 a composite number?
True
Suppose -3*s = 4*j + 143, -s - 5*j = -0*j + 44. Let y = s - -136. Is y prime?
False
Suppose 0 = -232*x + 235*x - 139371. Is x composite?
False
Is (-5)/3 + (146608/(-33))/(-4) prime?
True
Let z be (-2 - (-4)/3)*-3. Suppose z*d + d + 3*y = 354, 3*d + 2*y = 355. Suppose 2*x - 3*w = d, 4*w = -2*x - 2*x + 288. Is x a composite number?
False
Let x be (4/(-3))/((-34)/(-51)) - -378. Suppose g = -x + 2393. Is g a prime number?
True
Let v = 84 + 39. Suppose 3*m + 0*m = -v. Let a = m - -202. Is a composite?
True
Suppose 3*k - 4*k = -4*v + 4, 3*k = -3*v + 18. Suppose 3*y - 3 = 0, -4*r - v*y = -358 - 88. Is r a prime number?
False
Let s be (-7539)/(-7) + (0 - 3). Suppose 3*j = -3*f - 2433, -s = 3*f - 2*j + 1359. Let x = f - -1188. Is x prime?
False
Suppose -2*j = 2*a + a, 4*j = -5*a + 2. Suppose 0 = 2*x - 525 + 81. Suppose -381 = -5*y - 4*r, -j*y = -r - 10 - x. Is y a composite number?
True
Let p(v) = 488*v**2 - 7*v + 4. Let y be p(3). Suppose -5*z + y - 1220 = 0. Is z prime?
True
Let h(u) = -u - 2. Let y be h(-3). Let w(o) = -198*o**3 + o. Let f be w(y). Let x = -100 - f. Is x a composite number?
False
Suppose 13*k - 9273 + 3176 = 0. Is k a prime number?
False
Let z(u) = 6 - 2 + u**2 + 0*u**2. Let o be z(6). Suppose -o - 5 = -3*a. Is a composite?
True
Let c be (-12)/(-15)*-3 + 10/25. Is (2606/4 + -3)/((-1)/c) composite?
False
Let n = 34 + -31. Is (-1)/n + (-58032)/(-27) a composite number?
True
Let r(b) = -2*b - 18. Let d be r(18). Is (-9)/d - 15514/(-12) a composite number?
True
Let d = 360 - 438. Suppose -3*z - 2*z = 545. Let l = d - z. Is l composite?
False
Is (-10)/(-2)*10073/(-8 + 15) a prime number?
False
Let v(w) = 0*w**2 + 1150*w - 1135*w + 167*w**2 + 1. Is v(-6) prime?
True
Suppose -71*s + 35195 = -66*s. Is s prime?
True
Let s(l) = -l**3 + 121. Let k(j) = -j**3 + 2*j**2 - 2*j - 1. Let v(f) = 2*f**3 - 4*f**2 + 4*f + 3. Let u(c) = 5*k(c) + 2*v(c). Let o be u(1). Is 