 = -0*n. Is n a prime number?
True
Let h = -57 + 81. Suppose -y = -4*x + 9, 0*y = 4*y - x - h. Suppose -y*l + 8665 = -2*l. Is l composite?
False
Let o = -675 - -1039. Suppose -n = -t + 838, -2*n + 3346 = 3*t + t. Let k = t - o. Is k a prime number?
False
Is (-380698)/(-102)*3/1 prime?
True
Let u be (-2)/(-2) - (6 - 0). Let i(s) = -1 + 0*s + 5 + 1 - 2*s. Is i(u) a composite number?
True
Let g(d) = -64*d - 29. Is g(-10) composite?
True
Let i(g) = 11*g**3 - 7*g + 14*g**2 - 18 - 9*g + 23. Let b(w) = -5*w**3 - 7*w**2 + 8*w - 3. Let d(s) = -13*b(s) - 6*i(s). Is d(4) prime?
False
Let c = 374 - 241. Suppose 0 = f - 14 - 6. Suppose 5*v - f = 0, 3*j = 4*j - 4*v - c. Is j composite?
False
Suppose -2*n - 3*i = 1 - 4, -1 = -2*n - 5*i. Let p be -1*(-6 + 1 + n). Suppose r + 229 = 4*j, 0*j + p*r - 64 = -j. Is j prime?
False
Suppose -4*t + 0*t = 0. Suppose t = f + 66 + 25. Let o = f - -268. Is o prime?
False
Suppose -m = 2*s - 447, 0*m - 3*m + 2*s + 1341 = 0. Let x = -298 + m. Is x prime?
True
Suppose 30 = 5*x - 5*k, -4*k = 4*x + k - 69. Suppose 8*z + 12 = x*z. Suppose 2*s = 3*g + 61, z*s = 3*g - 1 + 108. Is s a prime number?
True
Let y be (0 + 75/(-10))*-2. Suppose y = -5*q + 30. Is q a prime number?
True
Let p = -9466 + 14397. Is p a prime number?
True
Let n be 2 + (-2)/(-2 + 0). Suppose -2*c + 26 - 5 = -n*q, 0 = 2*c + 3*q + 9. Suppose -d + 2*p + 153 = 0, -2*d - p = -c*p - 316. Is d prime?
True
Let h be (-1899)/27 + 4/(-6). Let w = h - -126. Let l = 148 - w. Is l a prime number?
False
Suppose 0 = k - 2, -2*v = 3*k - 2*k - 14. Let j = -20 + 17. Is (-9)/j*110/v composite?
True
Let x(u) = 2*u**2 + 4*u - 1. Let k be x(-2). Let c(r) = -222*r**2 + 3*r + 3. Let s be c(k). Let b = -65 - s. Is b a prime number?
True
Let g be (-24)/8*17/3. Let p be 2 - (-1)/(1/g). Is 213/p*(-1 - 4) a composite number?
False
Suppose -3*s - 12 = 0, -4*o + s - 12 = 3*s. Is o/(-3) + (-1)/(6/(-11908)) a prime number?
False
Suppose a - 5*o - 11608 = 0, 14*o = 9*o - 15. Is a a composite number?
False
Is (3 + 13/(-2))/(4/(-6472)) prime?
False
Let h(l) = 0*l**3 + 6 - 2*l**3 - 2*l + 5*l**2 + 3*l**3. Let u be h(-4). Is (-770)/(-8) - u/(-40) a prime number?
True
Let x = -51 - -53. Suppose 407 - 141 = x*m. Is m composite?
True
Let z = 19 + -54. Let a be (-2)/(-7) + 30565/z. Is a/12*40/(-15) a composite number?
True
Suppose -2*j = -3*o + 5215 + 3372, 5*j - 5 = 0. Is o composite?
True
Suppose 32*s - 73410 = 2*s. Is s composite?
False
Let a(d) = -10*d + 111. Is a(-10) prime?
True
Suppose -20 = 2*m - m. Let a be (-92)/m + (-6)/10. Suppose a*s = 9*s - 635. Is s a composite number?
False
Suppose 6*p + 6 = 4*p - 2*r, -7 = -p + r. Suppose p*v - 8*v = 0. Let n(k) = k**2 + 77. Is n(v) composite?
True
Let l(o) = -o**3 - 13*o**2 - 6*o - 4. Let h be l(-17). Let k = -347 + h. Is k a prime number?
True
Let c(l) = 10*l**2 - 73*l + 60. Is c(29) composite?
False
Let u be 0 - 10/(-4)*(-96)/(-80). Let b(f) = -2*f + 39*f - 8 + 122*f. Is b(u) prime?
False
Let i = -9 - -14. Suppose -24 = -i*l + 2*l. Suppose c - l*c + 539 = 0. Is c prime?
False
Let k(m) = -28*m + 11*m + 13*m - 40*m + 31. Is k(-14) a composite number?
False
Suppose a - 24 = -5*a. Suppose -3*l + k = -343, l + a*l - 4*k = 581. Is l prime?
True
Let z be -9 + 13 + 2/1. Let i(o) = 2*o**2 - 8. Let m be i(z). Suppose 0 = 2*g + 6, -313 = -c + 5*g + m. Is c a composite number?
True
Suppose 4*g - 2335 = -4*o + 1737, -o = -5*g + 5084. Let k = g + 742. Is k a composite number?
False
Let r(y) = -2 - 10 + 20*y - 22 + 3. Is r(6) a prime number?
True
Is (80139/4)/3 - 135/(-180) a prime number?
True
Suppose -4 = r - 12. Let m be (-5)/(10/r) + -4. Is (20/m + 3)*534 prime?
False
Let p(x) be the first derivative of -54*x**2 + 5*x - 42. Let l be (2 - 20/6)*3. Is p(l) a composite number?
True
Let u(n) = 460*n - 579. Is u(2) composite?
True
Suppose 3*b + 0*b = -39. Let z(c) = -c**3 - 14*c**2 - 16*c - 13. Is z(b) composite?
True
Suppose -16859 = -15*r + 34456. Is r a composite number?
True
Suppose 5*q + 41 = -4. Is (393/q)/((-3)/9) a composite number?
False
Let b be ((-48)/(-20))/(4/(-10)). Is 3004/b*9/(-6) a composite number?
False
Suppose -5*t = 2*r - 26, -t = 5*r - 0*t - 19. Suppose 0 = 2*b + 3*i + 13811, -6*b - 20739 = -r*b - 3*i. Is b/(-60) + 2/(-12) a prime number?
False
Suppose 3*d - 6 = 2*b, 0 = 7*d - 2*d + 5*b - 35. Suppose -3*t + 2*s = t - 602, 3*t - s - 453 = 0. Suppose -d*n + 8*n = t. Is n a composite number?
True
Is (0 - (-25260)/4) + 4 + 4 a prime number?
True
Let x be (-8)/(-6)*(-1)/2*-3. Suppose g + 4*g = n - 700, 0 = x*n + g - 1367. Is n composite?
True
Let a(x) = -x**3 + 8*x**2 - 7*x + 4. Let f be a(7). Suppose 409 = -f*s - 111. Let j = s - -449. Is j a composite number?
True
Suppose 3*w + 4228 - 14599 = 0. Is w composite?
False
Let b(h) = 4300*h**3 + 2*h**2 + 2*h - 1. Is b(1) composite?
True
Suppose m + 0 = 6. Let q(j) = j**2 - j + 1. Let w(h) = 4*h**2 + 8*h - 7. Let s(n) = 6*q(n) + w(n). Is s(m) composite?
True
Suppose -3*x + 11 = -f, 0 = 3*f + 9 + 6. Suppose -5*y + 23 = -x. Suppose 0 = y*o - 341 + 51. Is o a composite number?
True
Let i(t) = -t**2 + 16*t + 9. Let s be i(16). Suppose -2*v + 9 = -s. Is v prime?
False
Let j(u) = u**2 + 59*u + 223. Is j(51) prime?
False
Suppose 2*g - 3*d = -2*g + 3, 0 = 5*d + 5. Suppose g = 2*p - 342 - 80. Is p prime?
True
Let m(q) = 52*q - 9. Let t be m(4). Suppose -31 = 4*v - t. Suppose -4*r + v = c, 3*r - 5*c + 26 - 69 = 0. Is r prime?
True
Let g = 480 + -242. Suppose -2*l + g + 3180 = 0. Is l composite?
False
Suppose 20*u - 49290 = -10*u. Is u composite?
True
Let d(k) be the third derivative of 131*k**5/30 + 5*k**4/24 + 5*k**3/6 - 3*k**2. Is d(-2) composite?
True
Suppose 5*c - 375 - 39670 = 0. Is c prime?
True
Let k = 14196 - -8112. Is -3 - 3/((-9)/k) a composite number?
False
Is -2*7016/32*-26*1 a composite number?
True
Suppose -42 = -5*p + 2*m - 4*m, 4*m + 36 = 5*p. Is 422*((-12)/p)/(-3) prime?
True
Let o = 6 - -6. Suppose -o = -3*r - 0*r. Suppose 4*v - 761 = -z, 776 = r*v - 2*z - 2*z. Is v composite?
False
Suppose m + 422 = -5*s, -5*s + 4*m = -0*m + 412. Let b(w) = -11*w**2 + 3*w - 9. Let k be b(-5). Let p = s - k. Is p a composite number?
True
Let k(c) = -c - 1. Let d be k(-6). Is -3 + 8*d/(10/104) a composite number?
True
Suppose 63*f + 53253 = 5*w + 64*f, -4*f + 10643 = w. Is w a composite number?
False
Let r = -31581 + 51658. Is r prime?
False
Let p = -981 + 3110. Is p a composite number?
False
Let i(r) be the third derivative of -7*r**4/24 + r**3/6 + r**2. Suppose -2*c + 5*k = 9 + 30, -3 = -k. Is i(c) prime?
False
Suppose 2*i - 19 = 4*s - 1, -21 = 3*s - 3*i. Is 1/((-14664)/(-73020) + s/10) a prime number?
True
Let k(d) = -173*d**3 - 2*d**2 - 3*d - 7. Is k(-6) a composite number?
False
Let p = -634 - -2966. Suppose p = -2*k + 6*k. Is k prime?
False
Suppose -6*h = -14*h - 32. Is ((-1)/h)/((-10)/(-7240)) prime?
True
Is 14 - 17 - (0 - 8608) a prime number?
False
Let s = 15003 - 7936. Is s a prime number?
False
Let q be 3/(-2)*(-28)/21. Suppose 384 = 2*c - q*f, -c - 2*f - 766 = -5*c. Is c composite?
False
Suppose 3*b - 4*f = 3248, 3*f = -4*b - 0*b + 4364. Suppose -2*u - b = 5*w + 145, 2*w + 1230 = -2*u. Is (15/(-6) + 2)*u composite?
False
Suppose -3*u - d + 9552 = -1823, -4*d = 16. Suppose -23*z = -24*z + u. Is z prime?
True
Is (-46)/161 + 138114/14 prime?
False
Suppose -8283 + 3043 = 5*i. Let k = -71 + i. Is 1*(-3)/(9/k) a composite number?
False
Suppose 0 = -5*d + 339176 - 96991. Is d a composite number?
False
Let u be (-2)/(-3) - (-13)/3. Let i(n) = -2*n**2 + n - 8. Let y(o) = -3*o**2 + o - 15. Let r(l) = -7*i(l) + 4*y(l). Is r(u) composite?
False
Let s(z) = 0*z - 5 + 0 + z**2 - 10*z. Is s(-6) composite?
True
Let r(a) = -14638*a - 201. Is r(-5) prime?
False
Let r = 3161 + 384. Is r a composite number?
True
Suppose 3*p + 27 - 3 = 0. Let l = 15 + p. Is 10*l - (2 - 3) a composite number?
False
Is -2*(6/27 + 1083426/(-108)) a composite number?
False
Suppose -17 = -2*r - 3. Suppose 3*s + 16 = r*s. Suppose f + 2*d - 377 = -64, s*f - d - 1288 = 0. Is f a composite number?
True
Suppose 2*z + 20 = 2*g, -3*z + 4 = -g + 12. Let c be 3 - (-3)/(-3) - g. Is (5 + c)*(-13)/4 composite?
False
Suppose -2*a - 1 = -5. Suppose -2*b + 4*b = 4*s + 24, -5*s - 21 = a*b. Suppose -2*l + l - 1349 = -5*g, -b*g + 522 = 4*l. Is g a composite nu