-9))/(2/d) prime?
True
Let m(z) = 2*z**3 - 125*z**2 + 77*z + 197. Is m(65) a composite number?
True
Suppose 3*h - 67 = -10. Suppose 0 = 3*i - y + 44, -i + 3*y - h = 7*y. Let t = i + 34. Is t prime?
True
Let v be 2/(28/(-6)) - (-120)/35. Suppose -v*l + 2009 = g, -15*g + 10021 = -10*g + 3*l. Is g prime?
True
Suppose 26 = -r + 3*r. Let c = -9 + r. Suppose 0 = 5*u - c*f - 0*f - 203, -4*f - 164 = -4*u. Is u a composite number?
True
Suppose z = 3*t + 4*z + 1659, -5*t - 2*z - 2759 = 0. Let i = t - -922. Is i a composite number?
True
Suppose 5*h = 5*i + 9392 - 127, 5*h - 9265 = 2*i. Is h composite?
True
Let n = -9 - -9. Suppose n = 4*d - 5*b, -4*b = -4*d - 2*b. Suppose -2*o + 4*o - 254 = d. Is o a prime number?
True
Let g = 7 - 5. Let n be (-9)/(-45) + ((-1068)/20)/(-3). Suppose -g*o = 4, 0 = -3*c - o + n + 289. Is c composite?
False
Let b = -577 + 1076. Is b prime?
True
Suppose -3*f + 941 - 128 = 0. Suppose w - 36 = f. Is w a prime number?
True
Let l(y) be the third derivative of -y**4/12 - 2*y**3 - y**2. Let w be l(-10). Is (-597)/(-4) + (-2)/w a composite number?
False
Let f be 0 + (8 - -2)/(-5). Is 38/(-57) + (f - 3514/(-6)) composite?
True
Let p(o) = 1399*o**2 - 22*o - 100. Is p(-5) a prime number?
False
Let f = 3698 + 291. Is f composite?
False
Let g be 12384/60 - 3/(-5). Suppose d + 227 - 8 = a, 0 = a + 5*d - g. Is a a prime number?
False
Let p be 0 - (-21)/(-2)*-48. Let j be p - (8/2 - 6). Suppose -21*z = -19*z - j. Is z composite?
True
Let r be 21/(-14)*8/(-6). Suppose -r*s + 1135 + 655 = 0. Is s prime?
False
Suppose g = 3*g. Suppose g = -j - 3*j + 3352. Is ((-6)/4)/((-3)/j) a prime number?
True
Suppose 71 - 939 = -2*f. Let k = f + 405. Is k prime?
True
Suppose 2*o - k - 11150 = -609, -o - 3*k + 5288 = 0. Is o a composite number?
False
Let c = -421 - -978. Is c a prime number?
True
Let f(w) = -83*w + 5. Let m be f(-1). Let g = m - -9. Is g a prime number?
True
Let c(m) be the third derivative of -1/24*m**4 - 1/30*m**5 + 0*m + 0 + 4*m**2 + 1/2*m**3 - 1/120*m**6. Is c(-4) a prime number?
False
Let i(o) = 89*o + 241. Is i(8) prime?
True
Suppose 0 = 4*b, -4*l - 3*b = -7*l + 6. Suppose -2*r - l*r = 3*q - 9557, -3*r + 7169 = 2*q. Is r a composite number?
False
Let z be -4 - -1 - (-9 + 4). Suppose -5*y + 91 = 2*m, z*m - 7*m + 274 = -3*y. Is m prime?
True
Let o be ((-1)/(-3))/((-6)/144). Let x(d) = -d**3 - 5*d**2 - 9*d - 2. Is x(o) a composite number?
True
Let j(a) = 1267*a**2 - 40*a. Is j(1) prime?
False
Let x(y) = y**3 - 6*y**2 - 6*y + 7. Let v = 1 + -7. Let u = v - -14. Is x(u) prime?
False
Suppose 4*g + 219 = 3*p, 4*g = -p - 167 - 48. Let s be (0 - -1)*(-5 - g). Suppose -2*f + 93 = h, -4*f + s - 203 = -2*h. Is h prime?
False
Suppose 53*p - 39*p - 4438 = 0. Is p a composite number?
False
Suppose 0 = 3*u - 222 - 717. Let s = u - 114. Is s a composite number?
False
Suppose 10176 = 5*h - 1869. Let j = h + -1276. Is j prime?
False
Let c be (956/(-3))/((-8)/12). Let m = c - 63. Is m prime?
False
Let w = 1125 + -1884. Let c = -218 - w. Is c a prime number?
True
Suppose 4*f + 10 = 9*f. Is (19/2)/(f/4) a prime number?
True
Is (44248 - -1)/(2/16*8) prime?
True
Let b(k) = -694*k + 3. Is b(-1) a composite number?
True
Suppose -2*w - 1 = -11. Suppose -4*g = -2*a + 748, 5*a - g - 1898 = 2*g. Suppose -w*h + a = -3*h. Is h a prime number?
True
Let g = -16 - -23. Is 2595/6*(9 - g) composite?
True
Let h be 95056/56 - 1/(14/6). Let o = h - 948. Is o composite?
True
Suppose 21*a - 18*a + 47565 = 3*x, -5*a + 63438 = 4*x. Is x a composite number?
True
Let c(p) = -50*p + 12. Suppose -5*d - 2 = -42. Let j be c(d). Let x = -167 - j. Is x prime?
False
Suppose 0 = -4*k - 5*u - 21, 3*k + u + 3*u + 17 = 0. Is 4 + k + -3 + 75 a prime number?
False
Let o be (14 - -1)*(-11)/(-33). Suppose 0 = 4*s - 4*z - 2080, 0 = o*s + 2*z - 2281 - 326. Is s a composite number?
False
Let r = 161292 + -95742. Is (-2)/13 + 8/(208/r) a composite number?
False
Let j = -2058 - -4367. Is j prime?
True
Let o = 19900 - 13893. Is o a composite number?
False
Let l be 3 - (4 - (5 - 4)). Suppose -6*u + 5*u = -4*a + 455, 555 = 5*a - 4*u. Is (a + l/2)*1 a composite number?
True
Suppose 282082 + 232967 = 51*n. Is n prime?
True
Let w(g) = g**2 + 3*g + 5. Let d be w(-4). Let x = d + -47. Let p = x + 91. Is p a prime number?
True
Suppose n - 3*d = 15149, -n - 3*d + 15165 = -2*d. Is n composite?
False
Suppose 0 = -5*b + 2*m - 7*m + 585, -m = -2*b + 228. Suppose -3*v = -s + b, -4*s + 5*v = -s - 329. Is s prime?
True
Suppose -v + 495 = f, -v + 338 = -5*f - 163. Suppose -2*m + 5*r = -v, 2*r = 4*m - r - 1006. Let k = m + -98. Is k a composite number?
True
Let u be (2982/(-48) + (-9)/24)*10. Let d be (-2)/(-6) + 8/(-6). Is 4 + d - (u - 7) a prime number?
False
Let u be ((-15)/4 - -3)*8. Let z(q) = 5*q**2 + 9*q. Let i be z(u). Let y = 43 + i. Is y prime?
False
Suppose 2*q + 58 = -5*t, -3*t + 3*q + q = 14. Let z = 14 + t. Let m(k) = 37*k + 1. Is m(z) a composite number?
False
Let q = 226 - -201. Let w = q + -250. Is w prime?
False
Suppose -t + 789 = 2*n - 2802, 2*n + 4*t = 3594. Is n a composite number?
True
Let q(u) = u - 2. Let m be q(4). Let v be (5 + -2)*m/3. Is 3*v/(12/74) a prime number?
True
Let x = 1762 + -4245. Let i = -1738 - x. Is i a prime number?
False
Let r = -533 + -67. Let v = 1442 + r. Let c = v + -583. Is c prime?
False
Let a = 3 - -9. Suppose -a = 3*t, 3*d + d + 3*t = 100. Let g = d - -117. Is g prime?
False
Let d(k) = 2*k**2 - k - 118. Let j be d(-25). Let n be (-16)/12 + (-2)/3. Is (j/(-65))/(n/10) a prime number?
True
Suppose -27*c + 1613299 = 236758. Is c prime?
False
Let n(c) = 2446*c**2 - 2*c - 1. Is n(-1) composite?
False
Is 68/(-102) - (204170/(-6))/5 a prime number?
False
Let v(a) = -2*a - 7. Suppose 0 = -3*x - 4 + 10. Let q be -4 + x + -11 + 0. Is v(q) a composite number?
False
Suppose -7*k + 2*k + 21975 = 5*q, -2*k = 4*q - 8794. Is k composite?
True
Let w(l) = 4*l**2 - l**2 - 4*l**2 - 2*l**3 + 2*l + 0*l**2 - 4. Is w(-3) a prime number?
False
Let c = 47 + -23. Let y be 10/4*c/15. Suppose -d + 993 = y*o, -2*d + 4*d = 5*o + 1960. Is d a prime number?
False
Let b(q) = -516*q. Suppose -29*y + 26*y = 6. Let o be b(y). Suppose -5*f - 1152 = -4*g, o = 3*g - f + 157. Is g prime?
True
Let r = 39203 - 1588. Is r prime?
False
Let t(g) = 43*g**3 + 21*g**2 + 12*g + 12. Let p(r) = -11*r**3 - 5*r**2 - 3*r - 3. Let n(u) = 9*p(u) + 2*t(u). Is n(-4) composite?
True
Suppose 2*w - 883 = 5*t + 1037, -3*w + 2855 = 5*t. Is w prime?
False
Let f(u) = 6 + 1 + u + 0*u. Let j be f(-7). Suppose 2*i - 332 = -j*i + 2*b, 20 = -4*b. Is i a composite number?
True
Let o(j) = -7*j**3 - 5*j + 168. Let m(a) = -a**3 - a - 1. Let t(c) = 6*m(c) - o(c). Let x be t(0). Is x/9*(-51)/2 composite?
True
Let n(k) = -28*k**3 - k**2 - 3*k - 3. Suppose 4*s + 4*m + m = -32, -3*m = -3*s + 3. Is n(s) prime?
False
Suppose -6*y = -60243 - 12303. Is y a composite number?
True
Let v(g) = g**3 + 14*g**2 - 3*g - 3. Let y(m) = -m**3 + 7*m**2 - 7*m - 5. Suppose -4*k - i = -22, 5*k + 0 = 4*i + 38. Let a be y(k). Is v(a) a composite number?
True
Let b = 512 - -849. Is b composite?
False
Suppose 2*r = -r. Let k be 0/(r + -4 + 3). Suppose -t + 51 + 26 = k. Is t prime?
False
Suppose -15*a + 18*a = -37428. Let r = -7929 - a. Is r prime?
True
Let g(v) = -45*v + 61. Let t(s) = -9*s + 12. Let o(c) = -2*g(c) + 11*t(c). Let n(k) = -k**2 - 6*k - 9. Let q be n(-6). Is o(q) prime?
False
Let r(m) = m**3 + 7*m**2 + 5*m - 1. Let d be r(-5). Let w = 26 - d. Suppose -3*k + 253 = -w*k. Is k a prime number?
False
Let m(v) = 1193*v**2 + 27*v - 5. Is m(3) composite?
True
Let k = -15 + 17. Suppose k*d - 5*f + 5 = 0, f + 22 = -d + 6*d. Suppose -3657 = -5*x + 2*z, 5*x - 2*x = d*z + 2198. Is x composite?
True
Suppose 3*x + 1388 + 209 = -2*w, w + 811 = -4*x. Let k = -410 - w. Is k composite?
True
Suppose -3*h = -5*k + 20, 5*h = h - k + 4. Suppose h = 5*u - 3*u - 8. Suppose 0 = 5*t - 5*l - 1594 - 296, -3*t + 1099 = u*l. Is t composite?
False
Let k(g) be the first derivative of 69*g**2/2 + 3*g - 10. Is k(2) composite?
True
Let w(h) = h + 6. Let a(z) = -z**2 - 7*z - 6. Let k be a(-7). Let g be w(k). Suppose -4*d + d + 2391 = g. Is d a prime number?
True
Let t(q) = -680*q + 1. Is t(-2) a composite number?
False
Suppose 0 = 4*c + 2*j - 998, -5*c - j = -5*j - 1267. Is c prime?
Tr