prime number?
True
Let w(z) = -171*z**3 - 5*z**2 - 7*z - 1. Is w(-2) prime?
True
Let s(o) = o**2 - 8*o + 24. Let b be s(6). Is (-4)/(-12) - (0 - 7568/b) a prime number?
True
Suppose 3*u + 11 = 3*m + 302, -97 = -u + 3*m. Suppose 64 + u = s. Is s a prime number?
False
Let s(h) = -h**3 - 4*h**2 - 2*h - 4. Let t be s(-4). Suppose -2*x = 10*j - 5*j - 28885, j - t*x - 5799 = 0. Is j prime?
True
Suppose -3*u + 102096 = 3*w, 2*u - 68049 = 12*w - 11*w. Is u a prime number?
False
Is (6 - 7)/((-46230)/(-11558) + -4) a prime number?
True
Suppose -13 = -5*h - c, 4*h + 2 - 1 = 3*c. Is (4882/4)/((-5)/h + 3) composite?
False
Suppose -5*c - 44 = -5*i - 114, -2*i = -5*c + 76. Is 4/c*0 + 1176 + -2 composite?
True
Let a(u) = -u**3 + u**2 + u - 3. Let h be a(-2). Suppose h*d - 6*d = 14. Is d a prime number?
False
Let n be ((-1)/2)/((-5)/(-10)). Let x = 5 + n. Suppose -3*c + 67 = x*o - 96, 47 = o + 2*c. Is o prime?
True
Suppose 4*v - 11 - 12 = -3*j, j + v = 7. Suppose f + 2*c - 80 = j*c, 328 = 4*f - 4*c. Is f composite?
False
Let r(l) = 125 + 164 - 51 + 151 - 2*l. Let m = -1 + 1. Is r(m) a prime number?
True
Suppose 51*s - 54*s + 1437 = 0. Is s a composite number?
False
Suppose 8*d = 3*d + 4*p - 11977, -2*d + 5*p = 4784. Let t = d + 3544. Is t a composite number?
True
Let c be 1962/5 - 4/10. Let d = -103 - -28. Let s = d + c. Is s a composite number?
False
Let v(t) = -t - 4. Let k be v(-6). Suppose -k*w + 2*o = -472, -609 - 335 = -4*w + 5*o. Suppose -3*f + 177 = -2*m, f + 3*m = -3*f + w. Is f a composite number?
False
Let s(l) = 695*l - 417. Let w(u) = u - 1. Let a(m) = s(m) - 417*w(m). Let n be a(3). Suppose -4*c + f = -n, -f + 0*f = 4*c - 838. Is c a prime number?
False
Suppose 909*f = 918*f - 27. Let j(m) = 70*m**2 - 5*m - 8. Let q(w) = -w**2 + w + 1. Let t(u) = j(u) + 4*q(u). Is t(f) composite?
False
Let s(j) = -108*j + 23. Let n be s(15). Let o = n + 3194. Is o a composite number?
False
Suppose -16*t = -1172 - 540. Suppose -145 = 3*s + 5*n, 14 + 1 = -3*n. Let b = t + s. Is b a composite number?
False
Suppose -177*r - 329917 = -184*r. Is r a prime number?
False
Is -3 + 8 + -7 + (8 - -1067) a prime number?
False
Let z(h) = 9*h**2 - 5*h + 5. Let o(t) = 34*t**2 - 4 + 8*t + 3*t - 32*t**2. Let n be o(-6). Is z(n) a prime number?
True
Suppose 3*k - 107636 = 53683. Is k a prime number?
True
Suppose -4*t = 741 + 1903. Let o = 1114 + t. Is o/12 + (-3)/(-12) a composite number?
True
Let v(o) = 26971*o + 10. Is v(1) prime?
True
Let p = -21037 - -30168. Is p prime?
False
Let m = 95 - 91. Suppose -3*i - 2694 = -5*y, -1466 = -4*y + m*i + 694. Is y prime?
False
Let g(v) = 1939*v + 284. Is g(5) a prime number?
False
Let w = 3 - 1. Suppose 4*b - 6 = -w. Is (b - -2 - -68)*2 a prime number?
False
Let z(w) = 26*w**3 - 3*w**2 - 2 - w**3 + w - 4*w. Let o be z(-2). Let y = 295 + o. Is y a prime number?
False
Let a(z) = 228*z + 17. Let u = -49 + 55. Is a(u) prime?
False
Suppose 0 = -m + c - 11, 4*m - 4*c = 5*m - 4. Let j(r) = -r**3 - 4*r**2 + 10*r + 4. Let a be j(m). Suppose -1047 = -3*x - a. Is x prime?
False
Suppose 71*y - 2649063 = -16*y. Is y composite?
False
Let t(r) = 6*r - 19*r - 26*r**2 + 12*r**2 + 13*r**2 + 15. Let n be t(-16). Is 13710/22 - (-6)/n a prime number?
False
Let h(t) = -21*t + 68. Let i be h(17). Let j = i - -920. Is j prime?
True
Suppose -4*n - 3*r + 10 = 0, 6*r - r - 6 = 4*n. Let d(v) = 2307*v + 1. Let j be d(n). Let x = j - 1571. Is x composite?
True
Is (3 - 30/(-6)) + 7361 composite?
False
Let t(b) = 90*b**2 - 13*b + 30. Is t(-7) prime?
False
Let h(q) = -2*q + 36. Let s be h(-9). Is ((-808)/6)/((-4)/s) + 1 prime?
False
Suppose -107*v = -98*v - 320643. Is v prime?
False
Let r(n) = 2*n**2 + 5*n - 58. Is r(25) prime?
False
Let s(a) = -5*a**3 + 3*a**2 + 3*a + 1. Let r be s(-1). Is ((-20)/6)/(r/(-11043)*3) a prime number?
False
Suppose 9 = -2*w - 27. Let n be 20/6*w/(-15). Suppose 534 = n*q - 1334. Is q a prime number?
True
Suppose 4*l = -5*d + 8597 + 5816, -l = 2*d - 3601. Is l a composite number?
False
Let c be (2 - 1)*(5 - 2). Suppose 0 = 2*q - c*q - 3. Is -633*(0 - (-1)/q) composite?
False
Suppose 0 = -2*w - w + 3*a + 7728, 5*w = a + 12892. Is w a prime number?
True
Let n(l) = -l**3 + 8*l**2 + l - 5. Let u be n(8). Suppose 1076 - 398 = -u*a. Let f = 375 + a. Is f a composite number?
False
Suppose 2*o - w + 6*w = 39023, 3*o = 4*w + 58500. Let k = o - 13307. Is k a prime number?
True
Let d = -37 + 35. Is (-6)/d + -2 + (-68)/(-1) a composite number?
True
Let g be 10640 + (7 + -1 - (-2)/(-1)). Suppose -15*m = -321 - g. Is m a composite number?
True
Let v(m) = -m**3 - 25*m**2 - 48*m - 33. Is v(-53) prime?
True
Let l be (-24)/7 + 24/56. Is 77 + 3/l + -2 composite?
True
Let s(w) = -101*w**3 + w + 1. Let o be s(-2). Suppose 787 = 2*z - o. Is z prime?
True
Let k(r) = 0*r - 3*r - 13 + 2*r + 3. Let h be k(-5). Let t(i) = -i**3 + i**2 + 8*i + 3. Is t(h) a composite number?
False
Let j(o) = 463*o**3 - 7*o**2 - 17*o + 21. Is j(4) a composite number?
False
Let h(x) be the second derivative of -5*x**3/6 - 23*x**2/2 - 12*x. Let v be h(-7). Suppose 8*j - v*j = -296. Is j composite?
True
Suppose -34 - 125 = -3*c. Let r = c - -182. Is r composite?
True
Suppose -78*u - 491448 = -102*u. Is u a prime number?
True
Let y be (-1 + -4)*(11 - 12). Suppose 0 = 4*v + d - 1566, y*v - 5*d = 2508 - 563. Is v prime?
False
Suppose 4*l - 3900 = 4424. Is l composite?
False
Let j = 1 - -1. Suppose -j*p + 0*p = -20. Is 1408/p - (-3)/15 prime?
False
Suppose 4*y = j - 14, 4*j + 1 + 3 = y. Is (877/j)/(3/(-6)) composite?
False
Let j(u) = -9*u**2 - 3*u + 5. Let o be j(-4). Let t = o + 249. Is t a composite number?
True
Suppose 151468 = 9*z + 34927. Is z prime?
False
Is 1/((-306688)/(-102224) + -5 + 2) a composite number?
False
Suppose -54*i - 520 = -58*i. Suppose 7*c = 2*c + i. Is c a prime number?
False
Suppose 0*m = -4*n - 3*m - 19, 5*n + 5*m = -25. Is ((-5013)/(-18))/((-2)/n) composite?
False
Let r(u) = u**3 - 38*u**2 - 13*u + 37. Is r(42) a prime number?
True
Let s(w) = -2339*w - 90. Is s(-19) prime?
True
Let n be -10*((-45)/(-10) - 4). Is -3 + (n - -2 - -239) prime?
True
Suppose 10 = 4*l - 2*r, -5*l = 3*r + 2*r - 5. Suppose -l*w = -2*z - 828, 4*w - 1665 = -2*z - 3*z. Is w a prime number?
False
Suppose -4*y + 97124 = 5*j, -24281 = -21*y + 20*y - 5*j. Is y a prime number?
True
Is 4/8*(-22 - -4588) prime?
False
Let f be 4/14 - (-5480)/28. Suppose -72*t + 76*t - 4*r - 24 = 0, 2*t - 6 = -r. Suppose -t*d = -136 - f. Is d a composite number?
False
Let j(c) = -c + 5. Let y be j(0). Suppose y*l - 225 = 5. Is (2 - 1)/(1/l) composite?
True
Let l = 2075 - 1122. Suppose l = -7*b + 8*b. Is b prime?
True
Suppose 3 = -3*y + 15. Suppose -2*f = -0*f + y. Is (-1437)/(-1 + f)*1 a prime number?
True
Suppose 3*l - 2*p = 91081, -l - 3*p + 30369 = -8*p. Is l composite?
True
Suppose 0*j + 1895 = 5*j + 2*h, j - 2*h - 367 = 0. Is j prime?
False
Suppose 0 = -4*c - 0*c - g - 161, 2*c + 3*g + 83 = 0. Let k = 291 + c. Is k a composite number?
False
Let h(y) = -1694*y - 697. Is h(-5) a prime number?
False
Suppose -v = -3*v + 1784. Suppose -3*d + v = -182. Is d prime?
False
Suppose -i = -3*o - 432, -2*o = -2*i - i + 1310. Is i/15*5 + 2 + 1 a prime number?
True
Let o(v) = -1 - 12*v - 3 - 7 + 7*v**3. Let b(i) = -13*i**3 + 24*i + 21. Let l(q) = -6*b(q) - 11*o(q). Is l(7) a composite number?
True
Let g(m) = -2192*m - 255. Is g(-11) composite?
False
Let k(d) = 3*d + 11. Let m(w) = 3*w + 11. Let q(z) = 5*k(z) - 6*m(z). Is q(-11) composite?
True
Suppose -5*j - 16140 = -o - 2*o, 3*o = -5*j + 16170. Suppose -4*c + c + o = 0. Suppose 5*g - c = 930. Is g a composite number?
True
Let o = -23 - -27. Suppose -o = m, m - 136 - 17 = -x. Is x composite?
False
Let z = -16 - -19. Suppose m - 33 = -z*d, -2*d - d + m = -33. Is d a composite number?
False
Let r(h) be the second derivative of 71*h**6/120 + 7*h**2/2 - 2*h. Let d(i) be the first derivative of r(i). Is d(1) composite?
False
Suppose 26231 + 60351 = 2*g. Is g composite?
False
Suppose 3*y + 2*y - 26 = 2*p, -31 = -4*y + 5*p. Suppose 4*h - 1419 = -h - 4*o, 2*h - 590 = y*o. Is h a prime number?
False
Suppose 5*s = 10, -6264 = -4*q - 5*s + s. Suppose -2*z - 180 = -a - q, -2*z - a + 1380 = 0. Is z prime?
True
Let q(k) = -k + 9. Let a be q(6). Suppose -p - 624 = -5*p. Is 1/((1 + a)/p) prime?
Fa