composite number?
False
Let v(z) = -z**2 + 12*z. Let k be v(12). Suppose -2*x + 12 = -k*x. Is x a prime number?
False
Let p(w) = -w**3 - 3*w**2 - w + 1. Let h be p(-3). Is 1758/h*(-14)/(-21) a prime number?
True
Let b(k) = -k**2 - 5*k. Let v be b(-5). Suppose -5*p + 527 + 508 = 5*w, p + 813 = 4*w. Suppose d - 3*a - w = v, 4*a + 37 = -2*d + 475. Is d prime?
False
Suppose -9*k + w = -8*k - 5921, 3*k = -2*w + 17773. Is k a prime number?
True
Let z(r) = -7*r**3 - 2*r**2 + 2*r. Let c be z(-4). Suppose -c = -m + 332. Suppose -5*a + 5*x + 1946 = 71, -m = -2*a - 3*x. Is a a composite number?
False
Let u(w) = 8*w - 71. Let i be u(7). Let o(a) = -2 + 10*a**2 + 24 + 7*a**2 + a**3 + 17*a. Is o(i) composite?
True
Suppose 56*q = 46*q + 200190. Is q prime?
False
Let o be (34 - 3/(-3)) + 0. Suppose 0*l - 5*l = -20. Let a = l + o. Is a composite?
True
Let k = -13 + 18. Suppose k*b + 5*u + 2310 = 915, u + 835 = -3*b. Let v = -79 - b. Is v composite?
False
Let n = -414 + 235. Let w be (-64)/(-28) + 4/(-14). Is n/2*(0 - w) composite?
False
Let p(b) = -4*b - 2. Let f be p(-1). Suppose f*o + 0 = 4. Suppose -o*s + 10 = -8. Is s a prime number?
False
Let n be ((-60)/9)/((-4)/18). Let i = n + 53. Is i a composite number?
False
Suppose 14*u - 12*u = 252. Let s be u/(-33) + (-2)/11. Is (s/16)/((-1)/196) composite?
True
Let v be (1 - -5)*(-6)/(-12). Suppose 3*k - 228 = -v*h, 5*h = 2*k - 222 + 35. Suppose q + 10 = 4*l + k, q + 5*l = 98. Is q a composite number?
False
Let i(a) = 30*a + 81. Let g(x) = -3*x - 8. Let p(u) = -21*g(u) - 2*i(u). Let o be p(-3). Let m(s) = 14*s**2 - 2*s - 1. Is m(o) prime?
True
Suppose 0 = 6*i - 3*i - 6. Suppose -1124 - 1750 = -i*q. Is q composite?
True
Suppose 0 = q + 4*q + 5*b - 140, 0 = 5*q - b - 170. Suppose 6*w - 1755 = -q. Is w prime?
False
Suppose -3*n = -4*k - 35569, 4*n - 6*k = -9*k + 47467. Is n composite?
False
Is 5 - 1332/10*2610/(-27) prime?
False
Let k be (2 + 1)*(-129)/(-9). Let x = k + -24. Let a = 16 + x. Is a a prime number?
False
Let w(b) = 2*b**2 + 36*b - 57. Is w(-25) prime?
True
Suppose 188816 = -19*i + 35*i. Is i composite?
False
Let x be (-15)/(-3) + -7 - 1023. Let d = 236 - x. Is d composite?
True
Let i be 4/(-10) - (-8)/(-5). Let d be i - (-3 - 0) - 332. Let b = 642 + d. Is b a prime number?
True
Let f = -23 - -26. Suppose 3*i + 9453 = 4*g, -2*i = -0*g + f*g + 6285. Is i/(-5) - 16/40 a prime number?
False
Suppose -23*u - 8 = -24*u. Let y(p) = 7*p**3 - 7*p**2 + 2*p + 14. Is y(u) a composite number?
True
Suppose 2*z = 8*z + 2610. Let n = 854 + z. Is n prime?
True
Let k = -11 + 144. Suppose 0 = -y + p - k - 33, 0 = 2*p + 4. Let m = y + 245. Is m a prime number?
False
Let q(o) = o - 223. Let v(d) = -223. Let p(c) = -5*q(c) + 4*v(c). Is p(0) composite?
False
Suppose -6*a + 3 = 27. Is 1/a + (-1013)/(-4) prime?
False
Let f(u) = 3*u - 6. Suppose 0 = -5*y + 20. Let t be f(y). Is 302 + t/(-1) + 3 composite?
True
Suppose -6*m = -5*m. Suppose 14 = 4*q - 5*o, -3*q + 2*o + 7 = -m*q. Is (394 - q)*(-13)/(-39) prime?
True
Let p(f) = -226*f + 1. Let t(l) = l. Let v(r) = -p(r) - 4*t(r). Let d = 143 - 139. Is v(d) composite?
False
Is (24/(-16) - -2)/((-1)/(-3898)) composite?
False
Let w(q) = -31*q**3 - 4*q**2 + 21*q + 147. Is w(-8) a prime number?
False
Suppose -2*d - 3*n = 21 + 16, d - 5*n + 25 = 0. Is (d/(-4) - -2283) + 5 prime?
True
Suppose 807 = -3*f - 126. Let n = f - -454. Is n prime?
False
Let z = -10 + 18. Suppose -3*b = -3*t - 5 - 1, 5*t + z = 4*b. Suppose 55 = 2*d - b*a - 15, 0 = 5*d + 5*a - 195. Is d prime?
True
Suppose -5*f + 7 + 0 = 2*i, -4*i + 2*f = 22. Let j be (16/i + 5)*3. Suppose j*g - 3*d = 5*g - 830, -2*g - 4*d + 834 = 0. Is g prime?
True
Suppose -3210 + 715 = -c. Is c a prime number?
False
Let p(m) = -m**3 + 9*m**2 - 6*m - 16. Let y be p(7). Is (-1)/5 - (-32688)/y - 2 a composite number?
True
Let n(i) = 4596*i + 145. Is n(6) a prime number?
False
Let w(t) = -t**2 + 2*t. Let b be w(-2). Let y(x) = x. Let m(r) = -r**2 + 13*r - 3. Let f(z) = -m(z) + 5*y(z). Is f(b) a composite number?
False
Suppose j - 4*u = 5281, j + 15798 = 4*j + 3*u. Is j prime?
False
Suppose u - 7608 = 10745. Is u a composite number?
False
Let j(p) = -3*p**3 + 1 + 1 + 2*p + 0*p. Let z be j(-2). Suppose 22 = x - 2*d, x - 4*d - z = d. Is x composite?
True
Suppose -4*i + 4 - 1 = k, -4*i = -5*k - 9. Suppose 7 = n + 2*h, -5*n + 4*h + 6 + i = 0. Suppose n*f = 5*o + 1427, -f - 4*o + 21 = -466. Is f prime?
True
Suppose 3*t - 7 = 4*w + 31, 5*w = -4*t + 61. Let v = -12 + t. Suppose -2*o = -5*f - 125, -v*o + 3*f - 5 = -124. Is o prime?
False
Let f(d) = 2*d**2 + 8*d + 9133. Is f(0) a composite number?
False
Let b be ((-340)/80)/(1/(-4)). Suppose b*d + 53 = 18*d. Is d a composite number?
False
Let o = 76 + -30. Let x be (3 + -5)*-1*o. Is x/(-2 + 2 - -2) a prime number?
False
Suppose 7*m - 10*m + 1026 = 0. Let d = 831 - m. Is d a composite number?
True
Suppose -3*r + 7459 = 4*v - 2948, -2601 = -v - r. Suppose 0 = 5*z + 2*w - 1779 - v, 0 = 5*z + w - 4384. Is z a prime number?
True
Let u(h) = -26*h - 3. Let s be u(20). Let x = s + 1466. Is x prime?
False
Suppose -29*t + 2599 = -6*t. Is t prime?
True
Is 0 + 10/6 - 41062560/(-990) composite?
False
Let j = -110 - -112. Is (7618/39)/(j/3) a prime number?
True
Suppose -93 - 193 = f. Let s = f + 755. Suppose u + s = 2*u. Is u composite?
True
Suppose -3*d + 6 = -6. Let o be d - (-9)/((-18)/(-728)). Suppose -j = -5*f + 414, -4*f + o = -2*j + 38. Is f prime?
True
Suppose -3*f + 3*p + 14233 = -9866, p = 5*f - 40173. Is f a composite number?
True
Suppose -4*a = -3*p - 5, -4*p + 0*p - 7 = -5*a. Let j(l) = -50*l**2 + l + 1. Let x be j(a). Let w = x + 141. Is w prime?
False
Is ((-64199)/(-3) + 6)/(4/12) a prime number?
True
Let h = 24547 + -4886. Is h a prime number?
True
Is 1284381/377 + (-2)/(-13) a composite number?
False
Let i be 64890/24 - 3/4. Is (-3)/(-45)*6 - i/(-5) composite?
False
Let h = 34 - 21. Let u = h + -36. Is -10*u/(-4)*-2 composite?
True
Let p(x) = -2104*x + 7. Is p(-1) a prime number?
True
Suppose -r + v + 3 = 0, 5*v = 2*r + r - 9. Suppose -3*f = -3*z - 39, 42 = r*f - z + 11. Is 2/f + (-1425)/(-27) a prime number?
True
Suppose -6*a + 38870 = 7988. Is a a composite number?
False
Suppose 0 = 71*u - 43*u - 28252. Is u a composite number?
False
Suppose 3*f - 3*z = 3, 3*z - 11 = -f - z. Suppose f*i - 245 = -4*v, v = 5*i - 0*v - 393. Is i composite?
False
Let h(r) = 13*r**2 + 15*r + 17. Let i be h(-9). Let a = 1726 - i. Is a a composite number?
True
Suppose 2*k = -3*b + 3*k + 226, -k + 154 = 2*b. Suppose 7*v - 3*v = -b. Is (1/1 + -2)*v a prime number?
True
Let x(n) = n**3 + n**2 + 8*n - 57. Is x(8) composite?
True
Suppose 5*f = -t + 3816, -f + 2*f - 762 = t. Is f prime?
False
Let v(i) = 4 + 4*i + 2 - 2 - 3. Let n be v(10). Suppose t = 274 - n. Is t a composite number?
False
Suppose -6*x - 16 = -2*x. Let g(l) = -l - 5. Let h be g(x). Let w(z) = -151*z - 2. Is w(h) a composite number?
False
Let y(i) = 4*i**2 - i - 2. Let f be y(-3). Let c = 39 - f. Suppose -k + c*u = -487, -2*k - u + 363 = -626. Is k prime?
False
Suppose -33*o = -27*o - 43314. Is o prime?
True
Let m(q) = -q - 1. Let r be m(-6). Suppose r*h = -3*n + 395, -5*h - 64 - 101 = -n. Is ((-12)/8)/((-6)/n) prime?
False
Let f = -51 - -47. Is 813 + -1 + 3 + f + -2 a prime number?
True
Let f = 28487 - 13096. Is f prime?
True
Suppose 2*s + 15 = 1. Let d(b) = b**3 + 8*b**2 + 7*b + 2. Let n be d(s). Suppose -185 = n*q - 7*q. Is q prime?
True
Suppose -5*u + 9 = -2*u. Suppose 0*r - 3*s = -r + 56, -u*s - 6 = 0. Is -3*3/3 + r composite?
False
Let w be 2/(-8) - 27/(-12). Let z be 3*(-1)/(12/(-20)). Is 1788/20 - w/z a prime number?
True
Suppose -d = d - 240. Let s = -316 + d. Is (-2 - -1)/(4/s) prime?
False
Let q(y) be the first derivative of 2*y**3/3 - y**2/2 - y - 5. Let z be q(4). Let c = z - 5. Is c prime?
False
Is (-3 - 56/(-42))/((-1)/20571) composite?
True
Is ((-12)/(-4))/(-4 - 12346/(-3086)) composite?
True
Let j(d) = d**2 - d - 2. Let q be j(6). Let h = 25 + q. Suppose -z + 2*p = -h, z - 53 = p - 2*p. Is z prime?
True
Let p = 13 + -13. Suppose 2*j + j - 699 = p. Suppose 0 = 4*i - b - 212, -j - 32 = -5*i + 4*b. Is i a composite number?
False
Let k(v) = -5*v**2 - 1. Let b be k(1). Let y(t) = t**3 + t**2 - t. Let a(r) = 7*r**3 + 10*r**2 - 3. Let c(l) = b*y(l) + a(