7 = 2*b. Suppose q - 2 = -0. Suppose -b = -v - q*v. Is v composite?
True
Is (12/18)/(6/2367) prime?
True
Let y = -81 + 140. Is y a composite number?
False
Let n(o) = o**3 - 5*o**2 + o - 2. Let p be n(5). Let m be (-285)/(-3) - (-1 + 1). Suppose l - m = -p*z, -5*z + 100 = 4*l - 49. Is z a composite number?
True
Let k(a) = a**3 - 6*a**2 + 3*a + 7. Let t be k(5). Let v(h) = 7*h**2 + 2. Is v(t) composite?
True
Let q(b) = 3*b - 7. Let v be q(6). Suppose -v - 1 = -2*c. Suppose 0 = -5*t + 89 + c. Is t prime?
True
Let c be 30/5*(-13)/2. Let h = c + 166. Is h a composite number?
False
Let j = -70 + 123. Is j prime?
True
Let n(q) = 110*q - 2. Let j = 5 - 1. Let a be n(j). Suppose -g + 75 = 4*f, -5*g - 3*f = -4*f - a. Is g composite?
True
Suppose 2410 = 5*a + 5*r, 1431 = 3*a + 2*r - 4*r. Is a prime?
True
Let l = -5 - -10. Let j(d) be the first derivative of 4*d**2 + 3*d + 1. Is j(l) prime?
True
Is (6/8 + (-3)/(-12))*335 composite?
True
Suppose -3*q + 6 = 5*o, 0 = -5*o - 7*q + 2*q. Suppose 2 + 4 = -o*t. Let v = 0 - t. Is v composite?
False
Let a = 593 - 198. Is a a prime number?
False
Suppose -2371 = 5*v + c, -2*v + 3*v - 3*c = -487. Let u = v - -890. Suppose 5*j - 4*z = u, j + j - 3*z = 166. Is j composite?
False
Suppose 3*f - 195 = 72. Is f composite?
False
Let k(f) = f**3 + 2*f**2 - 5*f - 4. Let u be k(-3). Suppose 9 = -3*y, u*y + 34 = 2*m - 238. Is m composite?
True
Let r be (3/(-9))/((-1)/717). Let k = -30 + r. Is k a prime number?
False
Let d = 6 - 11. Let u be (2 - 1)/(d/(-265)). Let h = -22 + u. Is h a prime number?
True
Suppose 5*i - 2212 = i. Is i a composite number?
True
Let w(f) = -f + 9. Let r(h) = 1. Let y be (-4)/(-2) - 1 - 0. Let c(x) = y*w(x) - 4*r(x). Is c(-5) composite?
True
Let r(q) = -q**3 - 16*q**2 + 6*q - 2. Is r(-19) a prime number?
True
Is 14 + 481 - 2/1 a prime number?
False
Suppose -6*z + 10*z = 3940. Is z a prime number?
False
Is (-2)/((-2)/31)*1 a prime number?
True
Let v(q) = 4*q**2 - 9*q - 6. Is v(-5) composite?
False
Let c be (0 - (1 - 1)) + 1676. Suppose -c = -h - 3*h. Is h a composite number?
False
Let c be 54/(-8) + (-1)/4. Let h(y) = -y**3 - 11*y**2 - 8*y + 10. Let w be h(c). Is w/(-18) + (-2)/9 a prime number?
True
Let x = -6652 + 10853. Is x a prime number?
True
Let v = 4059 - 2006. Is v a prime number?
True
Let g(k) = -k**3 - 7*k**2 - 6*k + 1. Let y be g(-6). Let n(r) = 38*r**2 + 2*r - 1. Is n(y) a composite number?
True
Let f = -112 - -38. Let u = f + 141. Suppose m + u = 2*m. Is m a composite number?
False
Let i = -239 - -416. Let t be 1 + 1 + 0 + 1. Suppose 0*d = -t*d + i. Is d composite?
False
Let j(a) = -a**2 + 17*a + 2. Let x be j(17). Suppose 0 = x*y + 3*y + k - 833, y - 169 = -k. Is y composite?
True
Suppose -9 = -y - 3. Let n = -67 - -73. Is 296/n - 2/y a prime number?
False
Let q(i) = -35*i - 33. Is q(-10) a composite number?
False
Let b(y) = y**3 - 6*y**2 + 4*y + 3. Let v be b(5). Is ((-3)/(-2) + v)*-74 composite?
False
Let d = 24 - -47. Let b = d - 114. Is b/(-4) - 1/(-4) a prime number?
True
Let j be (-3)/(-6) + 3/2. Suppose -173 = -h - j*b, -2*h + 4*b = b - 346. Suppose 2*i - h = -3. Is i composite?
True
Let x be 1*2/4*-6. Let r(v) = 0 - 3*v**2 + 2*v - 2*v**3 - 2 + 2*v**2. Is r(x) a prime number?
True
Let z(p) = -237*p - 2. Is z(-3) a composite number?
False
Let m(q) = -4*q + 26*q**3 + 2 + 2 + 2*q - q**2 - 1. Is m(2) prime?
False
Let a = 69 + 154. Is a a composite number?
False
Let t = -8 - -8. Suppose -2*i + s + 162 = -3*s, 3*i - 5*s - 238 = t. Is i a prime number?
True
Suppose -5*v = -2*q + 3*q + 10, 4*v = -4*q - 24. Let l = v - 0. Is -2*(l + -2*1) composite?
True
Let q(k) = -3*k**3 + 6*k**2 - k - 7. Is q(-3) composite?
False
Let k(h) = -2*h - 3*h**3 + h**3 + h**3 + 8*h**2 - 7 + 0*h. Is k(6) prime?
True
Suppose 0 = b + 3*b + 12. Let h be (-1)/(-3) - (-262)/b. Let x = -50 - h. Is x prime?
True
Let s(r) be the third derivative of 3*r**4/8 - r**3/6 - r**2. Is s(4) prime?
False
Let p(w) = 9*w**2 - 1. Let d(r) = r + 3. Suppose -3*q = 5*n, -2*n + 4 = q + n. Let s be d(q). Is p(s) composite?
True
Let h(k) = 3*k**2 - 3*k - 3. Let o(v) = -5*v**2 + 5*v + 5. Let s(a) = 8*h(a) + 5*o(a). Let c be s(0). Suppose p - c = 52. Is p a prime number?
True
Is (-956)/(-6)*(-9)/(-6) composite?
False
Suppose -1046 = -5*m - 331. Is m prime?
False
Let k(b) = -b**2 - 6*b - 2. Let q be k(-5). Let f(w) = 6*w**3 - 3*w - 4. Is f(q) a composite number?
False
Suppose -4*l = -2*l - 10. Suppose -3*k - 4*a - 1 = -8*k, 2*k = -l*a - 26. Is (-1 - k) + 10 - 1 composite?
False
Let d(s) = -128*s + 29. Is d(-4) a prime number?
True
Suppose w + 4*l = 3*l - 952, -4*l = 0. Let v = -1392 - w. Let r = v + 651. Is r composite?
False
Is 1847 - (-5 - -5) - 0 a composite number?
False
Suppose 0*k - 5 = 5*k. Let x be k*(0/(-1) - 76). Suppose 2*f - 62 - x = 0. Is f a composite number?
True
Suppose t - 5*l - 811 = 0, l - 4*l = -6. Is t prime?
True
Suppose 0 = 4*t + 20, -2*s + 5*t = -s - 116. Suppose 21 = -2*z + s. Is z composite?
True
Let u = -5 - -11. Let b(n) be the third derivative of -n**5/60 + n**4/3 + n**3/2 + 5*n**2. Is b(u) a prime number?
False
Let o(b) be the second derivative of b**3/2 - 11*b**2/2 - 4*b. Is o(14) a prime number?
True
Let n(s) = 2*s. Let j(t) = -5*t. Let y(u) = 2*j(u) + 4*n(u). Let a = -4 + -1. Is y(a) composite?
True
Suppose 28315 = 4*b + b. Is b prime?
False
Is 1/2*(3 - -2515) prime?
True
Suppose -8*v + 124 = -4*v. Is v a prime number?
True
Suppose 4*r - 2*w = w - 519, -3*r - 405 = 3*w. Let z = 197 + r. Is 1*z - (-3 + 3) a prime number?
False
Let n(j) = j**3 - 10*j**2 - 9*j + 6. Let g be n(-7). Is (12/(-8))/(6/g) a composite number?
False
Suppose 0*w = -w. Suppose 0 = 5*l - 5*p - 40, 0 = l - 4*p - 2 - w. Is l composite?
True
Suppose 5*w - 13 = 7. Let t(q) = 5*q**2 - w + 4*q + 3 + 4 - q**3. Is t(5) a composite number?
False
Suppose -12 = -4*p - 2*i, -p + 4 - 1 = i. Suppose -2*d = 5*r - 6, p*r = -0*r + 5*d - 15. Is -1 - r - 60/(-1) a composite number?
False
Suppose -71*h = -73*h + 902. Is h prime?
False
Let i = 1422 - 545. Is i a composite number?
False
Let r = 75 + 190. Is r a composite number?
True
Is (-1)/(-4) + 12393/108 a composite number?
True
Suppose 5*o - 50 - 235 = 0. Is o a composite number?
True
Suppose 2*z + 316 = 6*z. Is z prime?
True
Let t be 8/(-12) + 3444/9. Suppose 3*d - 5*d + t = 0. Is d a composite number?
False
Let d be (-1252)/(-6) + 2/6. Let p = d + -122. Is p a composite number?
True
Suppose -v = 2*v - 129. Let m = -20 + v. Is m composite?
False
Let d = 115 - -86. Is d composite?
True
Suppose 0 = -2*h - 3*h - 345. Let n = 39 + h. Let z = n + 49. Is z composite?
False
Let c = 6 - 17. Let u = c + 15. Suppose -3*v + 0*o + 10 = -4*o, u*v = 3*o + 18. Is v a composite number?
True
Is -4*((-413)/(-4))/(-7) a prime number?
True
Let l = 6138 - 2867. Is l composite?
False
Suppose -u - l = 1, -5*u + 6 + 24 = -2*l. Suppose -m - 159 = -3*d - 2*m, 0 = -2*d - u*m + 106. Is d composite?
False
Let v = 189 + -62. Is v composite?
False
Let r = -2831 + 4394. Is r a prime number?
False
Suppose 2*f = -t + 3 + 3, -3*f = -3*t. Suppose k - 15 = -t*k. Suppose k*y = -2*w + 733, 0 = 5*y - 3*w - 322 - 391. Is y prime?
False
Suppose 5*d = -2*t + 60, 5*d - 60 = -0*t + t. Is 8/d + 1766/6 prime?
False
Suppose 0 = -3*o - o + 28. Let l = 10 - o. Suppose 0*a - 35 = -2*a - l*g, 0 = -3*a + 3*g + 15. Is a prime?
False
Suppose 3*q + 3 + 1 = -2*h, -5*q - 4*h - 8 = 0. Suppose q = 4*v - 3*v - 191. Is v a composite number?
False
Suppose -9 + 2 = -5*n + u, 2*u = -5*n + 16. Let b be ((-2)/4)/(n/(-8)). Suppose -2*q - 2*v - 6 = -5*q, 0 = q - v - b. Is q prime?
True
Let v = -64 - -231. Is v composite?
False
Let s = 7479 - 3443. Let d be s/14 + 6/(-21). Suppose -222 = -3*l - 3*x, -3*l + d = -2*x + 51. Is l a prime number?
False
Suppose 3*w - 31 = 2*v, -w = 2*v - 11 - 10. Suppose -w = -3*a + 2*a. Is a composite?
False
Suppose c = -3*x - 5 - 35, x - c + 12 = 0. Let j(m) = -11*m - 3. Let y be j(3). Let f = x - y. Is f prime?
True
Suppose 24 = 5*f - 1. Let q be (-248)/(-6) + 1/(-3). Suppose -2*d - 2*d = f*h - 45, 4*d - q = -h. Is d a composite number?
True
Let q(p) be the first derivative of p - 1/2*p**2 + 13/2*p**4 - 1/3*p**3 - 2. Is q(1) composite?
True
Suppose -m + 0*m + 63 = 0. Is 4/(-18) - (-12803)/m prime?
False
Let o(i) = -i**3 - 2*i**2 + 377. Is o