 4 prime?
True
Let z = 14 - 11. Suppose -z*d = 3*d - 114. Is d a composite number?
False
Let x be (0*(-1 + 0))/1. Let r be 3 - (x + 1 + -1). Suppose 6*z - r*z - 609 = 0. Is z prime?
False
Let y = -14 + -213. Let n = 324 + y. Is n a composite number?
False
Suppose 0 = 2*q - 2*h + 6, 0 = -h - 4*h + 15. Let p = q - -9. Let f = 15 - p. Is f a composite number?
True
Suppose 5*p - 4*u = 23, -4*p + u - 3*u = -8. Let f be 0 + 3 - -2 - p. Let l(y) = 213*y + 1. Is l(f) prime?
False
Suppose -73*m + 72*m + 2779 = 0. Is m composite?
True
Let x(p) = p - 2. Let v be x(6). Suppose -4*d = 11 + 5, d = -2*a + 18. Let j = a - v. Is j prime?
True
Let d = 375 + -140. Is d composite?
True
Let i(y) = y + 8. Let m be i(-4). Suppose 0*h = 3*h - m*p + 6, 0 = -5*p + 15. Let w = h - -11. Is w composite?
False
Let t = 1418 + -927. Is t a composite number?
False
Let l(i) = -1 - 4*i + i**2 + 0 + 3*i. Let n be l(3). Suppose -5*j + 225 = -n*d, -3*j - 12 = 2*d - 167. Is j a composite number?
True
Suppose -5*p + 26 = 3*f, -5*p - 1 = -f - 19. Suppose -2*x - 330 = -4*n, 5*n + 3*x - p - 436 = 0. Is n prime?
False
Let x = -9 + 4. Is 7*x*(-1)/1 a composite number?
True
Suppose 4*c + 2637 = 13*c. Is c a prime number?
True
Let x = 3 - 1. Suppose 0 = 6*w - x*w - 2*z - 4, 4*w + 2 = -z. Is 3*(1 - w/2) a prime number?
True
Let y(r) = -r + 15. Suppose 4*u = 2*u + 2. Let q = -1 + u. Is y(q) a composite number?
True
Suppose 346 = 3*a - 3*v - 167, 5*a - 875 = -5*v. Suppose -5*l = -2*r - 3083, 5*r = -l + 312 + 310. Suppose -a + l = 4*f. Is f composite?
True
Let g(k) = -4*k**2 - 79*k - 73. Let m(n) = -n**2 - 20*n - 18. Let y(s) = 2*g(s) - 9*m(s). Is y(17) prime?
False
Let g be 1/(2 - 0)*8. Let x(r) = g*r - 7 - 3 + 1. Is x(8) a prime number?
True
Is (6/(-3))/1*(-214)/2 composite?
True
Suppose -2*d + 5*y = 1, 0 = -5*d + 4*y + 24 - 1. Suppose -4*t + q = -88, 4*t = 3*q - d*q + 68. Is t prime?
False
Suppose -1330 = -4*k + 330. Is k a composite number?
True
Suppose -4*b = -389 + 1. Is b prime?
True
Suppose -3*k + 4*k - 2 = 0. Is 1/(k - (-253)/(-127)) a composite number?
False
Let v(a) = 74*a**2. Let j be v(1). Suppose -j - 75 = -t. Is t a prime number?
True
Suppose -2*n - 3*m = -2094, -4*n + 3*m + 0*m = -4152. Is n a composite number?
True
Suppose 0 = -f - 2*x + 7*x + 23, 2*f - 5*x = 36. Suppose 32 + f = -3*c - 5*n, -2*c - 2*n - 26 = 0. Is -1*(-28)/c*-5 a composite number?
True
Suppose 2*x - x = 5, -r + x = 0. Let s = r + -5. Suppose s = 2*i - 4*i + 6. Is i prime?
True
Is 0 + (1 - (-88 + 2)) a composite number?
True
Suppose -3*l = -3*f + 78, 4*l + 35 = -2*f - 75. Let r = 49 + l. Is r prime?
False
Suppose 5*c = 6*c - 5*g - 397, -2*g + 1500 = 4*c. Is c composite?
True
Suppose 7*k = 9*k. Suppose k = -q - 4*m + m - 25, -4*m = 8. Is 3 - (-2)/(-2) - q prime?
False
Let i be -4*(2 - 17/(-2)). Is 38/14 + (-12)/i composite?
False
Is 2413/1 + ((-6)/2 - -1) a composite number?
False
Let x(k) = k - 1. Let n(j) = -j**3 - 5*j**2 - j + 4. Let c(q) = -n(q) - 4*x(q). Suppose 0*u = -3*m - u - 13, -5*m - 17 = 4*u. Is c(m) prime?
False
Let l = 3 + -2. Is l*(68 + -2 + 1) a prime number?
True
Suppose -2550 = 5*x + 5*t, t = -2 - 0. Is -2 + 1 - x - 4 prime?
True
Suppose -3*u - u = -12. Suppose 0 = u*x - x + 4*t - 170, 292 = 4*x - 4*t. Is x prime?
False
Let u(a) = 10*a**2 + 9*a + 9. Let h(g) = -21*g**2 - 19*g - 19. Let q(x) = 6*h(x) + 13*u(x). Is q(-6) a prime number?
False
Let g(b) be the second derivative of b**7/315 + b**6/240 - b**5/30 + b**4/6 + 2*b. Let i(y) be the third derivative of g(y). Is i(3) a composite number?
True
Let i = -58 - -40. Let s be (-32)/i - 2/(-9). Let q = s + 12. Is q composite?
True
Is (-13)/(-2*5/290) prime?
False
Suppose -p = -2*t - 771, 3*p - 5*t - 625 = 1683. Is p a composite number?
False
Suppose -5*w - 110 = -2*a, 5*a - w = -2*w + 329. Is a prime?
False
Suppose -7*w = -1586 - 563. Is w prime?
True
Let n(k) = k**2 + 8*k + 5. Suppose -t = 2*f + 18, f + 1 = 3*t - 1. Let r be n(f). Suppose -b - 2*b - 44 = -5*u, -5*u + r*b = -50. Is u prime?
True
Let z(v) = -v**3 + 2*v + 2. Let g be z(-2). Let n = g + 13. Suppose 91 = 2*o - n. Is o a composite number?
True
Suppose 3*q - 1918 = -2*i, 4753 = 5*i + 4*q - 7*q. Is i prime?
True
Let r = 63 - 167. Let z = r + 186. Let o = z + -29. Is o prime?
True
Is 4 + 15/(-5)*-9 composite?
False
Is (-3)/2 + 2 - (-595)/14 composite?
False
Let p(j) = 6*j**3 - 8*j**2 - 16*j + 7. Is p(7) a prime number?
False
Let r(u) = -2050*u + 1. Is r(-1) a prime number?
False
Is -2*(-3)/2 + 884 a composite number?
False
Suppose 0 = 5*o + 2*o - 322. Is o prime?
False
Let n(z) = -677*z**3 - 2*z**2 + 1. Let u be n(1). Let h = -85 - u. Is h composite?
False
Let w be 3/2*(-14000)/(-15). Suppose 4*o - w = -292. Is o prime?
True
Is 3/(-12)*389*-4 prime?
True
Let o = 6 - 1. Suppose 51 = 2*m + 5*g - 267, -5*m = -o*g - 725. Is m composite?
False
Let s(r) = r**2 + 4*r - 4. Let z be s(-4). Let c be 1 + 9 - (z + 5). Suppose 4*k + 455 = c*k. Is k prime?
False
Is 139 + (-2 - -3) + 5 prime?
False
Let x(u) = -u**2 + 2 + 4*u**2 - 2*u**2 - 1. Is x(-6) a prime number?
True
Suppose -4*b + u = -10001, 3*b + 4*u = 2*u + 7509. Is b prime?
False
Suppose 2*w + 10 = 4. Let k be w + -11 + 2 + -3. Let d = k - -92. Is d composite?
True
Let x(q) = 0*q + 0*q + 2 + 14*q**2 + 6*q**2. Is x(2) prime?
False
Let n = -560 + 969. Is n a composite number?
False
Suppose f + 87 - 700 = 0. Is f composite?
False
Suppose 596 = 7*f - 3*f. Is f prime?
True
Suppose -23 - 2 = -z. Is z composite?
True
Let b(m) = -40*m - 7. Is b(-10) composite?
True
Let r = -5 + 3. Is (196/(-1 - 1))/r composite?
True
Let x be 4/(2 + -4) + -1. Is 19/(0 + x/(-21)) a prime number?
False
Suppose 0*d - 5*d = 0. Suppose -j - 88 = -d*j. Let m = 157 + j. Is m a prime number?
False
Let y(d) = d**2 + 2*d - 1. Let j be y(-3). Let v = -17 - -17. Suppose -2*a - j*a + 388 = v. Is a composite?
False
Suppose a - 24 = 2*m, -3*m + 14 = -1. Is a a composite number?
True
Let l(i) = -2*i**3 + i**2 - 4*i - 1. Let u be l(4). Is -5 - -3 - (u - 0) a composite number?
False
Let j = 3098 - 2183. Suppose -3*d = 2*d - j. Suppose -5*h + d = 13. Is h a prime number?
False
Suppose -59 = 2*k + 51. Is 2/(-11) - 8975/k composite?
False
Suppose -3*h = 14 + 4. Let r be -2*92*3/h. Suppose -d - r = -5*d. Is d a prime number?
True
Suppose 2*m = 3 - 15. Let g be (158/(-10))/(m/30). Suppose -5*c + r = -0*r - g, 4*c + 4*r = 44. Is c a prime number?
False
Let x(n) = -n**3 - 8*n**2 - 9*n + 5. Is x(-10) composite?
True
Let l(v) = -v**3 - 3*v**2 - 7*v + 5. Let c be l(-6). Let h = c + -81. Is h a composite number?
True
Let o be ((-36)/10)/(6/(-20)). Let b be (-2)/(-13) + 1437/39. Let u = o + b. Is u a prime number?
False
Is 1/((-5)/(-2))*145 composite?
True
Let m = -3344 + 4830. Is m a prime number?
False
Let x = 591 - 286. Is x a prime number?
False
Let o = -1 + 40. Is o a prime number?
False
Let i(j) = 44*j - 2. Let q be i(4). Let x = 3 + q. Is x a composite number?
True
Let d(o) = 4 + o**2 + 4*o**2 - 5*o**2 + 6*o - o**2. Is d(3) composite?
False
Let j be ((-1)/3)/((-9)/(-297)). Let t(u) = u**2 + 3*u - 1. Is t(j) composite?
True
Let l = -13 - -18. Suppose l = -2*t + 15. Suppose -61 = -t*s + 264. Is s a prime number?
False
Let f(n) = n**2 - n + 3. Let b be f(0). Suppose -s - x + 7 = 0, 3*s + b*x + 3 = 6*s. Is 150/s - (-1)/(-2) a prime number?
True
Let q(a) = -a + 1. Let c be q(-6). Let o = 10 + -10. Suppose -r + 6 + c = o. Is r a composite number?
False
Let f be 765 - (3 - (3 - 1)). Suppose 3*l = -4*c + f, 2*l - 955 = -5*c - 2*l. Is c composite?
False
Suppose o + 90 = -o. Let n = -30 - o. Suppose -5*j = 3*y - 114, 3*y + n = 8*y. Is j composite?
True
Let b(g) = 36*g - 15. Is b(7) a prime number?
False
Let w(j) = -j**2 - 9*j - 9. Let p be w(-8). Let i = p - -36. Is i a composite number?
True
Suppose 0 = -4*d - c + 2040, 0*d + 3*d + 4*c = 1543. Is d prime?
True
Let q(r) be the first derivative of -11*r**2/2 + 5*r - 4. Let v be -5*(2 - 1) - -1. Is q(v) a composite number?
True
Let i(s) be the second derivative of 53*s**4/12 - s**3/3 - s**2 + 5*s. Is i(3) a prime number?
False
Let n = -9 + 9. Suppose n*o + o - 86 = 0. Is o prime?
False
Let r = -8 - -9. Let k be (76 - (-2)/(-2)) + r. Let q = -45 + k. Is q composite?
False
Let b(i) = 105*i + 2. Let g be b(2). Suppose 5*y - g = t, 4*t - 70 = 5*y - 288.