z prime?
True
Let r = 158 + 209. Let k be -1*r + 0/1. Let c = -12 - k. Is c composite?
True
Let n = -4 - -7. Suppose n*r + 761 = 4*r. Is 1/(2/(-3 + r)) a composite number?
False
Suppose -3*y + 7 = 3*v + v, -y - 2*v = -1. Let r(z) = 2*z - 1. Let n be r(y). Suppose -n = k - 11. Is k a composite number?
False
Let b be ((-1)/(-2))/(1/6). Suppose 2*n - 29 = -3*n - b*r, -5*n + 2*r + 14 = 0. Suppose -109 - 1071 = -n*p. Is p a composite number?
True
Suppose -8*c = -5*c - 12. Suppose b - 918 = -0*r + 2*r, -930 = -b - c*r. Let k = b - 177. Is k composite?
True
Let s(p) = p**3 + 12*p**2 + 12*p + 8. Let t be s(-11). Let n be 80*(3/(-15) - t). Let h = 255 + n. Is h a composite number?
False
Suppose -42020 = -38*w + 18*w. Is w a prime number?
False
Let f be 42/8 + 16/(-64). Suppose 15 = -f*m + 360. Is m prime?
False
Let d = -53 + 57. Suppose 0 = -n - 3*v + 527, 0*n - 525 = -n - d*v. Is n a composite number?
True
Let j be 6828*-2*(-3)/12. Suppose 4*f = f + j. Let a = 1605 - f. Is a prime?
True
Suppose -3*j + 7017 + 9864 = 0. Is j a prime number?
False
Let l(g) = -g - 3. Let j be l(-6). Let t be -4 + 7 - j - -2. Suppose -20 = 4*i, -4*q + t*i + 322 + 44 = 0. Is q a composite number?
False
Let p(d) = d**3 + 15*d**2 - d - 8. Let v be p(-16). Let b = v - -471. Is b a prime number?
True
Let i(t) be the first derivative of t**4/2 + 10*t**3 + 10*t**2 + 7*t - 37. Is i(-14) composite?
True
Let g be (-342)/5 - 2/(-5). Let y = 183 - g. Is y prime?
True
Let i(m) = 178*m**2 + m + 19. Is i(-4) prime?
False
Let y be (-6)/(-4)*(-36)/(-27). Suppose 2*i - 4*b + 8 = 0, y*i + b = -b + 22. Is (-1)/((-3)/i) - -741 composite?
False
Let g(t) = 36461*t**2 - t + 1. Is g(-1) a prime number?
False
Let h = 2572 + -1605. Is h a composite number?
False
Let g = 76 - 77. Let v(r) be the third derivative of 2*r**5/15 + r**4/24 - r**2. Is v(g) prime?
True
Suppose -4*h = -3*y + 12, -20 = -2*h - 8*y + 3*y. Suppose h = 4*f - 4, -5*i = 2*f - 454 - 3. Is i a prime number?
False
Suppose 5 = 5*k - 10. Suppose 622 = -k*s + 127. Is (356/(-6))/(22/s) a prime number?
False
Suppose -5*w + 0 = -2*y + 4, -w - 3*y + 6 = 0. Suppose w = 4*r - r - 201. Is r prime?
True
Suppose -22*z + 45 = -13*z. Suppose -v - 5*o + 1954 = 0, -v + z*o + 663 + 1281 = 0. Is v composite?
False
Let w(z) = 3*z**3 - z**2 + 3*z + 13649. Is w(0) prime?
True
Suppose -v + 15 = 4*v. Let x be 14 - v/(9/12). Suppose 13*m = x*m + 1281. Is m composite?
True
Let q be 124714/3 + (-30)/90. Is (-4)/22 + q/11 composite?
False
Let d(z) = 0*z - z + 8 + 2. Let o be -11 - -8*2/4 - 5. Is d(o) a prime number?
False
Let i(h) = -1147*h**3 - 2*h**2 - h - 4. Let o be i(-2). Let p = o + -5529. Is p prime?
True
Suppose -w + 4*g - 12 = 0, -4*w - 5*g + 4*g = 31. Let b(c) = 96*c**2 + 11*c + 29. Is b(w) prime?
False
Let p = 11425 + -7314. Is p a composite number?
False
Let a(p) = 4*p**2 - 26*p + 11. Suppose 5*r = -y - 100, 17 = -3*r + r - 5*y. Let i = r - -39. Is a(i) a composite number?
False
Suppose 2*h = 0, -a = 2*h + h - 2147. Is a composite?
True
Let v = -38 + 43. Suppose 3*h + v*w - 3342 = 0, 3*w - 6 = w. Is h composite?
False
Let r(y) be the third derivative of y**6/120 - y**5/12 + y**4/6 - 13*y**3/6 + 6*y**2. Is r(5) a composite number?
False
Let l = -27 - -29. Suppose 0 = -8*k + l*k + 1380. Let h = 697 - k. Is h composite?
False
Let n = -20 - -28. Suppose n*f - 203 = 7*f. Is f prime?
False
Let h be (6/4)/((-5)/(-10)). Suppose -4*g - n + 16 = 0, -4*n + 9 - 2 = -h*g. Suppose y + 22 = 5*o + 8, 4*o + g*y = -4. Is o prime?
True
Let t(l) = -3*l**3 + 5*l**2 - 2*l - 7. Let k be t(4). Let x = k - -216. Is x a composite number?
False
Suppose 0 = -3*o + t + 746 + 6248, 0 = -2*o - 4*t + 4686. Is o a prime number?
True
Let o(y) = 8*y + 46. Let g be o(-5). Suppose -2*i - 1881 = -3*q - g*i, -4*q = 2*i - 2498. Is q composite?
True
Let k be (-4466)/70 + (-2)/10. Let f = k + 119. Is f composite?
True
Suppose 30*q - 24*q - 16956 = 0. Suppose -q = -10*l + 4*l. Is l prime?
False
Suppose -29*t + 1096 = -151. Is t a composite number?
False
Suppose x + 32 = 5*x. Suppose 8 = x*f - 24. Is (f - (1 + -1)) + 253 a prime number?
True
Suppose w - 137*v - 3239 = -133*v, -4*w + 3*v + 12956 = 0. Is w a prime number?
False
Let l = -1799 - -7501. Is l a composite number?
True
Suppose -2201 - 4418 = -v. Is v a composite number?
False
Suppose 10 - 2 = 2*n. Suppose m = -n*m - 3530. Let q = m - -1007. Is q prime?
False
Let t(d) = 2*d**2 - 8*d + 17. Suppose 3*n + 7 = 5*f - 0*n, -4*f + 5*n + 16 = 0. Let c be (3 - f) + 4 + 4. Is t(c) a composite number?
True
Let r(d) = -d**2 - 3*d + 79. Let b be r(0). Suppose -2*l + 3*l - b = 0. Is l prime?
True
Suppose -p + 2246 = 5*w, 2066 = 3*w - 5*p + 696. Suppose 3*l - w = 249. Is l a prime number?
True
Is 1 + 18376 - (20 + -26) composite?
True
Suppose -8*t + 12*t = 0. Let z be 4/(-2 + t)*-2. Suppose m - 2166 + 711 = -3*j, 5*j - 2425 = z*m. Is j prime?
False
Let b(d) = 188*d - 19. Let h = 4 + 0. Is b(h) a composite number?
False
Suppose 4*v = -552 + 2080. Let r(x) = 44*x**2 + x - 5. Let y be r(2). Let f = v - y. Is f composite?
True
Suppose 5*i + v - 3989 = 0, -2*v + 4 + 4 = 0. Is i a prime number?
True
Suppose -20*c = -42*c + 105226. Is c a prime number?
True
Suppose 0 = 3*a - 9 - 21. Suppose 2*l - a = -2*t, -4*l + 0*t = -4*t + 4. Suppose l*x - 50 = 88. Is x composite?
True
Let n = -13 - 7. Let o = 653 - n. Is o prime?
True
Suppose -49*u = -45*u. Suppose -2*q + 6 = -0*q, u = 2*z - q - 2563. Is z a composite number?
False
Suppose 11074 = 5*d - 12441. Is d a prime number?
True
Let d = 348 + 1013. Is d a prime number?
True
Let j(x) = -66*x + 1. Let g be j(3). Let f = 1230 + g. Suppose 3*d = f + 80. Is d prime?
False
Suppose 11657 = 5*j + 4*q, -3*j + 7150 = 3*q + 154. Is j a composite number?
True
Suppose 3*q + 2*q = 4*s - 31, -5*q = 2*s - 53. Let v = s - -23. Is v composite?
False
Let g = -482 + 253. Suppose -22*p = -23*p + 488. Let w = p + g. Is w composite?
True
Is (-10)/(-3)*16122/4 a composite number?
True
Is 783 + (1 - 7) + 4 a composite number?
True
Let l(a) = 615*a - 8. Let o be l(4). Suppose 6*x - 2 = o. Is x a composite number?
False
Suppose 5*i = 10*i + 15. Let p be (i - -2 - 4)*-1. Suppose 2*y - 99 = -4*k - p, -k = -y + 47. Is y prime?
True
Let y(m) = -2*m - 9. Let j be y(-9). Let h = j + -7. Suppose -5*x - 4*b = -341, -b + 71 - h = x. Is x a prime number?
False
Suppose -6*f + 2*f = -5*r, 2*f - 5*r = 0. Let i = f + 2. Let j(w) = 3*w**3 - 3*w**2 + 1. Is j(i) prime?
True
Let t(p) be the second derivative of p**6/45 + 13*p**5/120 - p**4/6 + 4*p**3/3 - 4*p. Let i(b) be the second derivative of t(b). Is i(-11) composite?
False
Suppose -1152*j + 1150*j + 4814 = 0. Is j composite?
True
Let g(z) = z**2 + 13*z - 4. Let l be g(-13). Let c = 7 + l. Suppose -3*k + 57 + 195 = -c*t, 0 = -2*t - 10. Is k a prime number?
True
Is ((-435534)/44)/((-6)/4) a prime number?
True
Suppose -5*g - 2989 = -2*o - o, 4*o + 5*g - 3962 = 0. Is o composite?
True
Suppose -2*q - 1 = -q. Let k = q - 1. Is 254*3/(8 + k) a composite number?
False
Let b(o) = -21 - 10*o + 5*o - 9*o. Is b(-7) composite?
True
Let t(p) = 7*p**3 - p**2 - 3*p - 3. Let c be t(-7). Let d = -1303 - c. Suppose 2*m = 3*u - d, u - 4*m = 16 + 377. Is u a prime number?
True
Let z = 451219 - 183602. Is z a prime number?
False
Suppose 4*d - 30 - 6 = 0. Let g(z) = -z**2 + 10*z + 1. Let k be g(d). Let x = k + 99. Is x a composite number?
False
Let b = 40 - 22. Suppose -2*y + b = -20. Is y a composite number?
False
Is 156/(-312) + (-2567)/(-2) composite?
False
Let t = -89358 - -151301. Is t prime?
False
Suppose -5*l + 35 = -4*z, -l - 5*z - 36 + 14 = 0. Suppose -130 = -l*v + 689. Suppose -h = -4*s - 90, -4*s = -2*h + v - 109. Is h composite?
True
Let g be 3 + (-3 - (-3 + 1)). Suppose 4*f + g = 18. Suppose 4*h = -f*t + 344, 3*h + t + 329 = 7*h. Is h a composite number?
False
Suppose 195996 = 21*q - 9*q. Is q composite?
False
Let l(d) = d**3 - 8*d**2 - 7*d - 15. Let b be l(9). Is 4/4*3765/b prime?
False
Suppose -5*o + 34 + 21 = 0. Suppose 3*s - o = n, -n + 4*n - 11 = -2*s. Is (49/s)/((-9)/(-36)) composite?
True
Suppose m + 115 = -4*m. Let b = -5 - m. Suppose -2*k = b - 86. Is k composite?
True
Let b(t) = 20*t + 14. Is b(13) prime?
False
Let b(i) = 4*i - 1. Let f = -14 - -20. Let q be b(f). Suppose r = 5*h + q, 4*r - 136 =