Is x prime?
True
Let f = -8 + 14. Let u be ((-6)/(-4))/(f/8). Suppose 3*i - 2*w = 175, 0 = 4*w - u + 22. Is i prime?
False
Suppose 12 = -0*l + 4*l, o = 3*l + 3133. Is o composite?
True
Suppose -2*r + 51 + 155 = -5*c, -r + 103 = 4*c. Is r prime?
True
Is (351/45)/(2/10) a prime number?
False
Suppose 0 = -z - z + 8. Suppose -37 = -4*q - 0*m + 3*m, -q + z*m - 7 = 0. Is q a prime number?
True
Let a = 59 + -69. Let y be ((-26)/(-4))/((-1)/(-8)). Let h = y - a. Is h a composite number?
True
Let c be (-9)/15 + (-54)/(-15). Suppose 2*y - 7*y + 79 = h, 2*h - c*y = 184. Is h a composite number?
False
Let y be (1 - -3)*(2 - 1). Suppose y*l - 4 = 8. Suppose -l*w = -8*w + 805. Is w a composite number?
True
Is (172/(-16) + 3)*-212 prime?
False
Suppose -2*q + 4*v = -1014, 3*v = -4*q - v + 1980. Is q a prime number?
True
Suppose -4*n = -2*x + 240 + 136, 5*x = -5*n + 865. Let v = x - 55. Is v a prime number?
False
Let f(a) = a**3 - 6*a**2 + a + 4. Suppose 5*l = 0, 9 = -3*p - 3*l - 9. Let y be (p/8)/(2/(-16)). Is f(y) a prime number?
False
Suppose -2*r + 4*b = -36, 2*r + 0*r - 2*b - 38 = 0. Suppose -3 = -2*d + l - 0, 7 = 3*d + l. Suppose t - i - 218 = -d*t, -5*i = -r. Is t a prime number?
False
Let j = -1 - -4. Suppose -d = j*w - 957, -3*w + 2*d + 957 = -2*d. Is w composite?
True
Let j = -37 + 15. Let q be (-1)/(-3) - 488/(-12). Let w = j + q. Is w a composite number?
False
Suppose 247 = 4*c - 109. Is c a composite number?
False
Let q(i) = i**2 + 3*i + 4. Let f be q(-3). Suppose f*r - 331 - 17 = 0. Is r composite?
True
Suppose -5*o + 2*w - 894 = -3999, 2*o + 4*w = 1266. Is o a composite number?
True
Is (178/6)/((-2)/(-6)) a composite number?
False
Suppose 41*w - 48*w = -6293. Is w a composite number?
True
Let g(t) = -17*t - 3. Suppose 0 = 4*h + 3 + 5. Is g(h) prime?
True
Let i be (-32)/(-2) + (0 - 0). Let g = i - -75. Is g composite?
True
Suppose -71 = -5*a - 3*w - 11, w - 36 = -3*a. Suppose -54 = -3*b - a. Is b a composite number?
True
Suppose 5*z + 5*m = 4*z - 127, 4*m + 236 = -2*z. Let j = z + 261. Is j prime?
True
Let f = -143 - -99. Let s be f - (0 + 0 - 0). Let x = 9 - s. Is x prime?
True
Let v = 425 + 602. Is v prime?
False
Let x(h) = h**3 - 2*h**2 + 8*h - 6. Let l be x(5). Let r = -58 + l. Is r a prime number?
False
Let r(i) = 99*i - 79. Is r(7) composite?
True
Suppose -5*r - 13 + 43 = 0. Suppose -l + r + 16 = 0. Is l a composite number?
True
Let o = 11 + -18. Let n(j) = -j**3 - 7*j**2 + 2. Let a be n(o). Suppose a*p - 16 = 4. Is p a composite number?
True
Let l = -26 - 102. Let t = -69 - l. Is t a composite number?
False
Suppose -2*z + 6 = 0, -z + 1058 = 4*q - 989. Is q a composite number?
True
Suppose 0 = u + 3*u + 48. Is (407/(-22))/(2/u) prime?
False
Suppose 772 = 2*o - 66. Is o a composite number?
False
Let a(f) = -34*f. Let d(k) = 33*k. Let m(z) = -4*a(z) - 3*d(z). Is m(7) a composite number?
True
Suppose -120 = w + w. Let a be (1 - w) + 0 + 1. Suppose -a = -2*g - 0*g. Is g a prime number?
True
Suppose 3*j = 7*j - 652. Is j a composite number?
False
Let q(r) = 7*r**2 + 1 - 3 - 8*r + 7 - r**2. Is q(5) a prime number?
False
Suppose -5*k = -17 + 2. Suppose -93 = -k*y + 36. Is y a composite number?
False
Let r be -1*(-1 - 0) + 6. Suppose 8*k + 7 = v + 4*k, -2*v + k = -r. Is (v - 2)*-1*-119 a prime number?
False
Let q(l) be the second derivative of l**4/12 + l**3/3 - l**2/2 - 3*l. Is q(-3) a composite number?
False
Suppose -26*h + 12*h = -5866. Is h a composite number?
False
Suppose 7*h + 349 - 2162 = 0. Is h a composite number?
True
Let t(m) = -m**3 - 10*m**2 - 10*m - 5. Let x be t(-9). Suppose -j - x*j + 2405 = 2*d, -j + 3*d + 464 = 0. Is j prime?
True
Let f(p) = -p**3 - 4*p**2 - 2*p + 4. Let g be f(-3). Is (-4)/(g/(-5)*2) composite?
True
Let l(v) be the first derivative of 3*v**4/4 - 3*v**2/2 + 5*v - 2. Is l(4) composite?
True
Suppose 0 = -2*s - 5*y + 1218, 4*s - y - 2*y - 2488 = 0. Is s composite?
False
Let j(k) = k**2 + 11*k - 23. Let c(d) = -2*d**2 - 22*d + 46. Let z(r) = 6*c(r) + 13*j(r). Is z(-17) a prime number?
True
Let b = 12 - 8. Suppose 3*m + 2*g = b*g + 697, -2*g + 478 = 2*m. Is m prime?
False
Let a(k) = k**3 + k**2 - k + 22. Suppose -3*y = -12 - 0. Let f = 4 - y. Is a(f) prime?
False
Is (-4)/20*(0 - 1115) a prime number?
True
Let o(l) be the first derivative of -23*l**2/2 - 4*l - 31. Let m be -2*1/4*6. Is o(m) a composite number?
True
Let y = -125 + 277. Suppose y = 4*n - 0. Suppose 0 = -2*g + n - 16. Is g a prime number?
True
Is 2346/8 - (-2)/(-8) a composite number?
False
Is 2/5 + 22292/20 prime?
False
Let f(j) = j**2 + 9*j + 12. Let o(s) = s**2 + 9*s + 13. Let h(v) = 6*f(v) - 5*o(v). Is h(-9) a prime number?
True
Suppose 53*w - 52*w = 409. Is w composite?
False
Suppose -3*n - 20 + 122 = 0. Is n a prime number?
False
Suppose 4*c - 3104 + 580 = 0. Is c a composite number?
False
Suppose -p + 3*c = 3*p + 88, 0 = -2*p + 4*c - 44. Let x = p + 80. Is x prime?
False
Let x = 146 + -104. Let z be 2/(-7) + 2490/x. Suppose 3*t + z = 2*d, -3*d = d - 2*t - 122. Is d prime?
True
Suppose 4*n = 2*z + 129 + 51, -66 = -2*n - 5*z. Is (-30)/(-20) - n/(-2) prime?
True
Let t = -33 + 84. Is t a composite number?
True
Let t be -7 + (-4 + -4)/(-4). Is 2364/15 - (-3)/t a prime number?
True
Suppose -d + 100 = 33. Is d composite?
False
Let p be (-3)/(-2)*8/6. Suppose 20 = 7*h - p*h. Suppose -h*m + 363 = -m. Is m a prime number?
False
Let q = 6259 - 2994. Is q prime?
False
Suppose 2*u - 2*z - 264 = -0*z, -3*u + 406 = -5*z. Is u prime?
True
Suppose -4*b + 43 = z, -z - 136 = -5*z - 4*b. Let g = z - -36. Is g a prime number?
True
Let a(q) = -q**2 - 4*q - 4. Let m be a(-5). Let u = m + -4. Is (u/(-3))/((-1)/(-3)) a composite number?
False
Let g = -1109 - -2362. Is g a prime number?
False
Suppose 0 = 3*v + 5*l - 4488, -v - l + 1992 = 498. Suppose -4*u + 4159 = v. Is u composite?
True
Suppose -101 - 686 = -p. Is p a composite number?
False
Let k = 218 + 130. Suppose -5*a = -307 - k. Is a prime?
True
Let z(t) = 18*t - 2. Let o be z(5). Is 20/8*o/10 a prime number?
False
Suppose 3*c = 1722 + 1053. Suppose 2*r + 3*r = c. Is r composite?
True
Let p(v) = -v**2 - 15*v - 19. Is p(-9) composite?
True
Suppose -u + 19 = u - 3*v, -5*u - 15 = 5*v. Suppose -u*p = 5*z - 209 - 492, 0 = -2*z - 5*p + 293. Is z a composite number?
False
Let b(w) = w**3 - 8*w**2 - 14*w + 14. Is b(11) a composite number?
False
Is ((-7)/3 - -2)/((-2)/7914) prime?
True
Suppose 2*i = 10, 0 = 5*l + 2*i - 4*i - 35. Let y(q) = -q**3 + 10*q**2 - 6*q + 7. Is y(l) a prime number?
False
Let z = 8 - 8. Suppose 0 = 2*s + 3*s - 5*q - 1050, -2*s - 2*q + 436 = z. Is s a composite number?
True
Suppose 145 = -4*j + 4*i - 99, -2*j = -4*i + 118. Let c = 91 - j. Is (-1 + 3)/(4/c) a prime number?
False
Suppose -3*k - 10 = 2*k. Is 502*((-7)/k + -3) prime?
True
Suppose s - 1652 = u, 0*s - 3*s - 3*u = -4986. Is s prime?
True
Suppose 3*n + 5*s + 1347 = 0, 0*s = 5*n + 2*s + 2226. Let t = n + 635. Is t a prime number?
True
Suppose 0 = 4*s - 5*c - 40, 3*c = s - 19 + 2. Suppose -2*f - 63 = -s*f. Is f composite?
True
Let v(p) = 340*p + 3. Is v(2) prime?
True
Let m = 15 + -1. Let w = 20 - m. Is w prime?
False
Suppose 812 = o + 3*h, 5*o - 4*h - 3965 = -0*h. Is o a composite number?
False
Let n(h) = -10*h**2 + 2*h - 1. Let f be n(1). Let p be (-7 - -2)*f/15. Suppose 0*x - 2*x + 138 = -4*l, -3*x + 252 = p*l. Is x a prime number?
True
Let i be (58/8)/(2/8). Suppose -i - 3 = 2*g. Let h = 23 + g. Is h a composite number?
False
Suppose 0*d + 4 = d. Suppose -m - 3*m = -d*f + 432, 0 = 5*f + 3*m - 580. Is f prime?
True
Suppose 11 = 4*q - 1. Is 20 + -6 + 4 - q prime?
False
Let t be (6/(-8))/(1/(-4)). Suppose 0*v - b - 1 = -2*v, t*b + 14 = -5*v. Let r(i) = -48*i**3 + 2*i + 1. Is r(v) composite?
False
Let j(c) = -21*c - 14. Is j(-5) a composite number?
True
Let v(r) be the second derivative of -r**5/20 + r**4/4 - r**2 - 3*r. Let b be v(2). Suppose b*j = 4*p + 498, -4*j + 2*p + 1020 = -0*j. Is j a prime number?
True
Suppose -5*g - 120 = -8*g. Suppose -5*j = -g - 35. Is j a prime number?
False
Is (-258)/(-4)*(-4)/(-6) composite?
False
Let x(o) = o**3 - 2*o**2 - o - 2. Let z be x(3). Suppose -7*k + 5*k + 6 = 0. Is (-11)/z*(-84)/k prime?
False
Suppose -3*t - 4*u + 38 = 0, -3*t + 4*u = 2*t - 10. Suppose -5*b + 45 = 5*x, -t*b + 2*b = 2*x - 24. Is x a 