 p(w) prime?
True
Let h(p) = -59*p + 3. Let j(k) = -k**3 - 2*k**2 + 4*k - 1. Let l be ((-6)/(-4))/((-3)/6). Let m be j(l). Is h(m) a prime number?
True
Suppose r = -4, 4*d - 3*r = 4 - 0. Let w be -94*2/8*d. Suppose -2*c + c = -w. Is c a prime number?
True
Suppose -3*i - 12 = 3*a, 0 = 4*i - 7*i + 3*a + 18. Let z(l) = l**3 + l**2. Let v(j) = 60*j**3 - 8*j**2 + 2*j - 1. Let y(r) = v(r) + 6*z(r). Is y(i) prime?
False
Let g be (-442)/(-12) - (-9)/54. Suppose g = -2*v + 3*w + 524, v - 240 = -2*w. Let i = 405 - v. Is i a prime number?
True
Suppose -2*z + 8 = -6*z + 4*y, 5*z = -3*y - 18. Let l(w) = w**2 + 6. Let m be l(z). Is (-2)/6 - (-1730)/m prime?
False
Suppose -16*v - 111702 = -22*v. Is v prime?
True
Let h(b) = b**2 + 4*b + 3. Let v = 12 - 8. Suppose 0*k + v*k + 22 = u, 3*k + 9 = 0. Is h(u) a composite number?
True
Suppose 11*t = 33930 + 17891. Is t a composite number?
True
Let y(z) = 1902*z - 1. Let j(v) = 7609*v - 5. Let i(q) = 2*j(q) - 9*y(q). Let o be i(-1). Suppose -5*b + o + 346 = 0. Is b prime?
True
Let x(m) = m - 7. Let k be x(-8). Let h(v) = -11*v + 6. Let r be h(1). Is 373*r*3/k a prime number?
True
Suppose 16*s = 13*s + 5262. Is s a composite number?
True
Let y(f) = -19*f**3 - f. Let w be y(-1). Let r be (-13 - -33)/(2/w). Suppose 4*q + 4*h - r = 0, -3*q + 5*h - 144 = -6*q. Is q a prime number?
True
Suppose -9404 = -4*k + 240. Let m = -1722 + k. Is m a composite number?
True
Suppose i = 3*i + 3*x + 11, 3*x = -5*i - 5. Suppose i*c = 1355 + 2795. Suppose a + c = 6*a. Is a a prime number?
False
Let i = -17366 - -44295. Is i composite?
True
Is 43800/20 + (-1 - -6) composite?
True
Suppose 5*n + 3*x = 56782, -x + 45429 = 4*n - 2*x. Is n composite?
True
Let m = 12485 + 3242. Is m prime?
True
Let f be (-18)/(-4)*(-7 + 9). Is (1 + -258)/(f + -10) composite?
False
Let v = 9 - 11. Suppose -2*q + 4*d - 864 = -68, 0 = 5*q - 2*d + 1950. Is (q/10)/(v/10) prime?
False
Let d = -1196 - -1955. Suppose -3*n + 0*n + d = 0. Is n composite?
True
Let o(h) = -6*h**2 - 57*h - 2. Let n(x) = 2*x**2 + 19*x + 1. Let u(i) = 7*n(i) + 2*o(i). Let r(j) be the first derivative of u(j). Is r(9) a composite number?
True
Suppose -25 = -4*o - 0*c - c, -5*c = -5. Let p = -6 + o. Suppose -254 = -3*q + 5*n - 2, p = 4*n - 12. Is q a composite number?
False
Let q(y) = 300*y**3 + y**2 - 3*y + 1. Let f be q(2). Suppose 0 = -5*z + 4*z - 2*u + 471, f = 5*z - u. Is z composite?
False
Let z = 9 - 9. Suppose 0 = -z*a + 2*a. Suppose a = -2*s - 53 + 307. Is s prime?
True
Suppose 4*j + 4*a = 94302 + 119594, -20 = 4*a. Is j prime?
True
Suppose 154 = 2*p - 2*x, 2*p + x = -x + 170. Let h = p + -50. Is h prime?
True
Suppose -3382 - 6274 = -8*h. Is h prime?
False
Let q be 693/2 + (-1)/2. Suppose a - 213 = -4*w, 2*a - 3*w - 2*w = 374. Let u = q - a. Is u a composite number?
False
Suppose -14 = 5*c + 6. Let z(r) = 3*r**2 + 7*r + 6. Let t be z(c). Suppose -t = -g + 4*j + 157, -5*j - 990 = -5*g. Is g a composite number?
True
Let h be -1 - (-18)/30 - (-24)/10. Suppose 9 = o - 3*c + 2, -h*o = 2*c - 46. Is o a composite number?
False
Suppose 10*d - 9*d - 32 = 0. Suppose 4*l = -0*l + d. Let g = l + 363. Is g a composite number?
True
Suppose 4*i = -p + 19948, -4*i + 3*i - 5*p = -4987. Is i a prime number?
True
Suppose -8*p = -5*p - 534. Suppose 0*o + p = 2*o. Is o composite?
False
Let i be -1*(5 + 0) - -2. Let g(k) = -65*k + 2. Let b be g(i). Let r = b - 130. Is r composite?
False
Suppose 0 = 7*t - 4*t - 285. Let w = t + -48. Is w a composite number?
False
Let a(v) = 2*v - 7. Let d be a(5). Let c be -3 + 2 + 6 - d. Suppose -c*t = -92 - 26. Is t composite?
False
Suppose 69*v - 51*v - 147366 = 0. Is v a prime number?
False
Let s be (26/(-2))/((-301)/49 - -6). Suppose 0 = 2*z - 547 - s. Is z prime?
False
Suppose 0 = 3*k + k - 5*c - 68313, -5*k + 85386 = -c. Is k a composite number?
False
Suppose q - 8 = -3*i, 0 = i - 2*i - 2. Suppose 3*v = -4*x + 443, -x - 451 = -3*v + 3*x. Suppose q*c - v = 13*c. Is c composite?
False
Let f(h) = 102*h**2 - 14*h + 27. Is f(2) prime?
False
Suppose 1346 = h + 2*q - 6*q, 0 = -5*h + q + 6787. Let t = h + -696. Is t prime?
False
Let p = 990 + -361. Is p prime?
False
Suppose -190 = -3*g + g. Suppose -o + 2*z = -3 - 3, o = -5*z - 15. Suppose 5*m - g - 20 = o. Is m prime?
True
Suppose -3*w - u + 14164 = 0, -5*u - 14158 = -2*w - w. Is w prime?
True
Let a be 2/(8/(-10))*(-124)/5. Suppose -2*f - a = -180. Is f prime?
True
Let g be (3 + -1)/(2/3508). Suppose o - g = -3*o. Is o a prime number?
True
Suppose 0 = k - 2*v + v - 10713, -5*k = -3*v - 53557. Is k a composite number?
False
Let x be (-10)/15 + (-5912)/(-12). Suppose -m + x = 54. Suppose u + z = 215, -3*z - m = -2*u - 7*z. Is u a prime number?
True
Let u = 316 - 224. Suppose 5*z - 231 = -o, -327 = -5*z - 4*o - 93. Let w = u - z. Is w a composite number?
True
Let u = -1811 + 4920. Is u a composite number?
False
Suppose -114*f + 103*f + 30943 = 0. Is f a composite number?
True
Suppose -65796 = 8*k - 203692. Is k composite?
True
Let l(u) = -34*u**3 - 29*u**2 - 2*u + 4. Is l(-9) a prime number?
False
Suppose -4*m + 4*r + 872 = 0, 292 + 595 = 4*m - r. Is m a composite number?
False
Suppose 95*a - 92*a - 14663 = 4*g, -19544 = -4*a + 2*g. Is a a prime number?
False
Suppose 3*d - 3*o - 115930 = 103442, 2*d = 3*o + 146251. Is d composite?
False
Suppose 0 = -3*c + 20 - 5. Suppose -5*d + 0*l - l = -7, -3*d + c*l = 7. Let h = d - -52. Is h composite?
False
Let f(g) = -485*g + 23. Is f(-3) a prime number?
False
Let q(j) = -j**2 - j + 953. Let i = -26 - -26. Is q(i) prime?
True
Suppose 22 = j - 78. Suppose 4*w + 2*b = j, -3*b - 57 = -5*w + 2*w. Is w composite?
False
Suppose -92 = -3*j + 112. Is (-4)/(48/(-33))*j composite?
True
Let o = 287 + -29. Suppose m = -7 + 2, -m = 5*n + 15. Is n/(-4)*-2 + o a prime number?
True
Let i = 3 + 3. Let q be 6/(-2)*(-10)/i. Suppose q*h = 3*x + 370, -5*x - 309 = 3*h - 7*h. Is h a composite number?
False
Let z(o) = 188*o + 24. Let j be z(12). Let c = -1483 + j. Is c a prime number?
True
Let y(l) = 5*l + 19. Let f be y(-3). Suppose m = 2*a + 741, -a - 6 = -f. Is m composite?
True
Suppose 90615 = 19*d + 2*d. Is d prime?
False
Suppose -p - k + 2 = 0, 4*k - 8 = -4*p - k. Suppose 5*n + p = 4*b - 3, -16 = 3*n - 5*b. Suppose -n*c = -235 + 70. Is c composite?
True
Let a(k) = -272*k - 229. Is a(-14) prime?
False
Let m = -33 - -38. Suppose m*g - 566 = 389. Is g composite?
False
Suppose -6*h + 205 = -65. Suppose 0 = -0*j + 2*j + 4. Is 5709/h - j/15 prime?
True
Let a(p) be the first derivative of -p**2/2 - 7*p - 2. Let c be a(-12). Suppose -2*f - c*u + 678 = -3*u, 0 = 3*u. Is f prime?
False
Let p(m) = -8*m - 21. Let y(i) = 5*i + 19. Let f be y(-6). Is p(f) prime?
True
Suppose 0 = -g + 5*g + 4. Let j be g + 9 - 68/17. Suppose -3*i + 282 = 3*w, 3*i + 40 = -j*w + 322. Is i composite?
True
Suppose 5*b + 10 = 35. Suppose 5*o = -4*z + 2403, -b*z = -2*o - 0*o + 948. Is o composite?
False
Let y be 198/9*(-52 - -1). Let m be y/8*(2 + -6). Let z = 1004 - m. Is z prime?
True
Let m = 3964 + -2783. Let p be (220/176)/(2/8 - 0). Suppose -156 = p*f - m. Is f a prime number?
False
Let w = 6081 + -1019. Is w a composite number?
True
Let h(v) = 10*v**2 - 11*v + 76. Is h(-15) a composite number?
True
Suppose -5*s = -4*w - 6297, 2*s - 907 - 1625 = -5*w. Is s a composite number?
True
Let d = 2039 - 306. Is d a prime number?
True
Suppose u = 732 + 416. Suppose 4*p - u = -0*p. Is p a prime number?
False
Suppose -f + 8 = 3. Let s(a) = -118*a + 56. Let u be s(-6). Suppose -4*h + f*m = -u, -3*h = -m - m - 573. Is h prime?
True
Let u be 112/(-5) - (-48)/(-80). Suppose 0 = 5*n + 22 - 652. Let b = n - u. Is b a composite number?
False
Let a = -2313 - -3316. Is a prime?
False
Suppose -47773 = -71*x + 82228. Is x a prime number?
True
Suppose -10 = 8*k - 10*k. Suppose 0 = w - 3*w + 2*q + 8, -2*q - 12 = -3*w. Suppose k*x = -3*d + 167, -w*x = -9*x + 4*d + 139. Is x prime?
True
Is 24484*-6*4/(-96) composite?
False
Let s = 13067 - 336. Is s prime?
False
Is (20872/28)/(4/14) - -2 prime?
False
Suppose 0 = -149*r + 17522584 - 2412941. Is r a prime number?
False
Suppose 3*s - 6878 = -0*s - 2*b, 3*s + 3*b - 6873 = 0. Suppose -5*n - 5725 = -5*y, 0 = -4*y + 6*y - 4*n - s. Suppose -22*m + y = -20*m. Is m a composite number?
False
Let z = -68 - -136. Suppose 3*