 Is c(8) prime?
True
Let f be (-117)/(-6) - ((-25)/10 + 4). Suppose f*y + 24 = 12*y. Is (y/64*-4)/((-7)/(-18844)) prime?
True
Let d(z) = -2296*z**3 - 36*z**2 - 16*z + 7. Is d(-5) prime?
False
Suppose 24*z - 25*z = -12361. Suppose -8*w - 49440 = -4*o - 3*w, 0 = o - w - z. Is o composite?
True
Let p = -226 - 219. Let y = 3355 + p. Suppose -5*q - 3*l + y = 2*l, -1158 = -2*q + 4*l. Is q a prime number?
False
Let u(c) = c**3 - 9*c**2 - c + 12. Let l be u(9). Suppose 0 = t + l*f, 5 = 2*t + 4*f + 11. Is (-660)/t + (-8)/(-12) prime?
False
Suppose t - 3 = -4*j, 5*j = 3*t + 26 - 1. Suppose -4*m - j*w + w = -331, 4*m - 2*w - 334 = 0. Is m composite?
False
Suppose -4*z + 12*z + s - 400877 = 0, -3*z + 150312 = -3*s. Is z composite?
True
Let m(x) = 2365*x**2 - 11*x - 5. Is m(-3) prime?
True
Suppose 3*q + 2486490 = 13*q - 4*q. Is q composite?
True
Let t(u) = -28*u + 12. Let i be t(-3). Let v = i - 89. Is (v/(-1))/(3/(-4215)*5) prime?
False
Let w(h) = 86 + h**2 - 5*h + 7*h + 20*h. Is w(-24) a prime number?
False
Suppose -3*r + 73864 = 4*r. Is (r/(-40))/((-2)/10) a prime number?
True
Let r(q) = -7661*q - 600. Is r(-9) prime?
False
Let m(h) = h**3 - 2*h**2 - 2*h + 2. Let g be m(0). Suppose g*o - 3*a - 3389 = 1053, 0 = 3*a - 12. Is o a prime number?
False
Suppose 0 = 148*r + 237*r + 112*r - 114487429. Is r prime?
True
Suppose -142*k - 2 = -143*k. Suppose -3*a - 21403 = -y - 87263, a + k*y = 21951. Is a a prime number?
False
Let d(o) = 41*o - 86. Let q be d(-14). Let r = 301 - -990. Let u = q + r. Is u composite?
False
Let m be (69/(-4))/((-115055)/28760 + 4). Is m*(4/14)/(4/7) prime?
False
Let g = -962 + 1732. Suppose 4*w + 4*c + 932 = 0, -928 = 4*w + 3*c + 2*c. Let m = w + g. Is m a prime number?
False
Let n = 182044 - 122997. Is n a prime number?
False
Let v(x) = 70*x + 11. Suppose 0 = -3*w + 5*f - 72, f - 2*f + 3 = 0. Let o be v(w). Is o/((-3)/(-6)*-2) a prime number?
True
Let s(b) = 10*b + 1141. Let p be s(0). Let m = p + 1042. Is m a prime number?
False
Let y = 214 + -202. Let z(u) = u**3 - 7*u**2 + 11*u + 17. Is z(y) prime?
False
Let k(o) = 63103*o - 830. Is k(1) prime?
True
Suppose -354824 = -4*u + 5*l, -728*l + 732*l + 88717 = u. Is u a prime number?
False
Suppose 8 = x - 10. Suppose -c = -5*c - 3*y + x, -4*c + 10 = -y. Suppose 0 = -5*l + c*z + z + 4915, 2*l = 3*z + 1966. Is l composite?
False
Suppose 4*w - 12 - 4 = -3*o, -5*o + 21 = w. Suppose 0 = -b + 3*j + 5 + 16, -29 = -o*b + j. Suppose b*i + 2*i = 48. Is i composite?
True
Let s(f) = 8*f**2 + 22*f - 89. Let i = -111 + 117. Is s(i) prime?
True
Suppose 7*n + 10 = 3. Let z be (0*(-1)/(-5))/n. Is 1901/(-1 + 3 + -1 + z) prime?
True
Suppose -5 = -3*n + 10. Suppose -5130 + 685 = -7*j. Suppose -n*d = 5*u - 1065, d - 2*d = 3*u - j. Is u prime?
True
Suppose 2*m - 4 = 0, 26 = 5*s + 5*m - 19. Suppose -u - s*l + 3069 = -2*l, 0 = -5*u + 4*l + 15403. Is u a composite number?
False
Let p(b) = 11854*b + 1875. Is p(9) a composite number?
True
Let w = 52704 - -228833. Is w prime?
False
Suppose -2*b + 4*a - 3514 = 0, b + 2*a = 3*b + 3514. Let j(o) = -48*o - 34. Let t be j(11). Let m = t - b. Is m composite?
True
Let k = -190 + 191. Is (57/(-19))/(k - 2128/2122) prime?
True
Let i = -529 + 533. Suppose -i*o + 4391 = -41157. Is o a composite number?
True
Suppose 4*y + 11*y - 270 = 0. Let j(u) = u**3 - 8*u**2 - 36*u - 13. Is j(y) a prime number?
True
Suppose -5*n + 36 = -23*n. Is (-6602)/n + 18/3 a composite number?
False
Suppose 27*m + 21147232 = -14*m + 73*m. Is m prime?
True
Let p = -40 - -47. Suppose -p*o = -10*o + 24. Suppose -o*z - 1099 + 3875 = 0. Is z a composite number?
False
Let k(s) = s + 13. Let v be k(-9). Suppose 4*o + i - 17 = 0, -3*o + 5*o + v*i - 26 = 0. Is (o - 1)*86/4 a composite number?
False
Suppose 5*l - 3*b + b + 91 = 0, 0 = 2*l - 5*b + 28. Let t = l + 40. Is (-2)/6 - (-17920)/t a composite number?
False
Is 8111091289/6601 - (-4)/(-82) prime?
False
Let d(k) = 115 + 7*k**2 + 21*k**2 - 9*k**2 - 318 + 6*k + 9*k. Is d(-22) a composite number?
False
Let b be (4 - 1)/(4 - 1)*5. Suppose -z + 1450 = b*c, -3*c = -4*c - 3. Is z composite?
True
Suppose -4*u - 4*u = -3*u. Suppose 2*n - 3*d + 2 = u, 4*n = 5*d - 0 - 4. Is (3/n - 444/(-3))/1 composite?
True
Let h be 48/(-60) + 366078/10. Is h/6 - 21/126 a composite number?
False
Let i be (-57)/399 + (2517654/(-14))/(-3). Let y = i - 33809. Is y prime?
False
Suppose k + 4*b = -27910 + 114461, 0 = 4*k - 5*b - 346099. Is k a prime number?
True
Let s(n) = 7561*n**2 + 345*n + 3035. Is s(-9) a composite number?
False
Suppose -6*r = -15*r + 45. Suppose -r*c + 4740 = -5*a, -5 = a - 6*a. Is c a prime number?
False
Suppose 4*m = -5*w + 3368, 2*m - 5*m = 2*w - 2519. Suppose m + 2111 = 4*s. Is s composite?
True
Let o(d) = 1557*d**3 - 13*d**2 - 23*d + 14. Is o(3) a composite number?
True
Suppose 0 = 17*n + 70*n - 641103. Is n a prime number?
True
Suppose -63*r + 7017878 + 11383855 = 0. Is r composite?
False
Suppose 0 = 5*p - c + 2, 2*c + 1 = 5*p + 5. Suppose 3*j = -p*j - 12. Is (-31545)/(-36) - 3/j a composite number?
False
Suppose 49*h - 27874332 = -10761312 + 15625889. Is h composite?
False
Let l(m) = 81*m**3 - m**2 - 9*m - 109. Is l(10) a prime number?
True
Let y be ((1 - 3) + 3)*19. Suppose -n - 1835 = -3*b, -1393 - 447 = -3*b - 4*n. Suppose b + y = u. Is u prime?
True
Let h = -11269 - -16431. Let y = -2584 + h. Is y a composite number?
True
Let w = 144 + -146. Is (4 - 29239/(-21)) + w/(-3) a prime number?
False
Is ((-25673430)/(-510))/(3/51) a prime number?
True
Suppose -q - x + 1961 = -3*q, -975 = q + 5*x. Let r = q + 2541. Is r composite?
True
Suppose -16*z - 5*x = -19*z + 257509, -171690 = -2*z - x. Is z a composite number?
False
Let r(p) = 57*p**2 - 231*p + 37. Is r(27) prime?
True
Let w be (-30)/(-40)*(2 - -2). Suppose -w*r + 3*b + 172 = -122, -b = 5*r - 484. Is r prime?
True
Let w(r) = 6*r + 52. Let t be w(-8). Is (((-179454)/(-12))/(-11))/((-2)/t) composite?
False
Let c = -38 + 42. Suppose -5*a = c*i + 36, 3*a - i = 2*i. Is (2 - (2 + 0)) + 305 + a prime?
False
Let n be (-8)/(-4)*1/1. Let a(q) = q + 5*q + q**n - 2*q - 1 - 6*q. Is a(10) a composite number?
False
Suppose 5*w + 2*i = -0*i + 228419, 3*w - 2*i = 137045. Is w a prime number?
False
Let l = -140355 - -349418. Is l prime?
True
Let z be -5 + (-1 - -5) - -3. Suppose 6660 = z*t + 2*t. Suppose 0*k + t = 2*s - 3*k, 5*s - 4152 = -3*k. Is s a prime number?
False
Suppose 38*q - 41*q = -3123. Let h = q - 202. Is h a composite number?
False
Suppose 37223350 = 321*k - 7622701 - 11253835. Is k prime?
False
Suppose 212645 = -4*f + 75*f. Is f composite?
True
Suppose -i - 1274826 = -4*q + 1890024, 0 = 4*q + 2*i - 3164856. Is q composite?
True
Let m = -9081 - -38074. Is m a composite number?
True
Suppose 2*p = 0, 0*a + 2*a + 2094 = -3*p. Let h(w) = -356*w + 12. Let y be h(-5). Let b = y + a. Is b a prime number?
False
Let c be (-20)/(-12)*(-18)/(-10). Suppose -c*r - 93467 = -4*o, -2*o - 3*r + 46741 = -2*r. Is o composite?
False
Suppose 310*q = -126*q + 190753924. Is q prime?
True
Let m be -3 - (0 - (-2 - 1) - 4). Let d be m/(-3) + (-44170)/(-30). Let a = d - 971. Is a a prime number?
False
Let b(f) = 1463*f + 9. Let q be b(4). Let n = q + -674. Suppose -4*p - j + n = p, -5*j = -10. Is p a prime number?
False
Let a be (2 - 7)*(-7 - -11). Let v(t) = -38*t**2 - 15*t - 30. Let h be v(a). Is ((-5)/2)/((35/h)/7) a composite number?
True
Let y(l) = 27*l**2 + 9*l + 4331. Is y(67) composite?
True
Let b(t) = 2014*t**2 + 233*t - 2376. Is b(11) prime?
False
Suppose -32 + 28 = -2*y, 2 = -k + 3*y. Suppose -k*v = -v + 2*x - 2367, 0 = -4*x + 12. Is v a prime number?
True
Suppose 5*v = -2*w + 38 - 526, 2*v + w = -196. Is 7/(-4) + (-252936)/v composite?
False
Suppose 3*t + 4*r + 10 = 0, -10 - 5 = -3*r. Let z(l) = 16*l**2 + 20*l - 19. Is z(t) a composite number?
False
Let s(y) = -971*y - 31. Is s(-8) prime?
False
Let v = 12756 + -6563. Suppose 7*t = 11664 + v. Is t a prime number?
True
Let s be (5/2 - 2)/(4/13808). Suppose s = -4*b + 8738. Is b composite?
False
Let y = -45 - -47. Suppose 6*j = 7*j - 4*l - 18397, -18421 = -j - y*l. Is j a composite number?
False
Let b(n) = n + 1. Let m be b(-7). Let x(r) = 57 - 3*r - r - 71. Is x(m) a composite number?
True
Let z(a) = a**3 + a**2 - 41*a - 6. Let q be z(6). Let c be -4 + (5 - q) + -4. Is 283