8 + -2*1 composite?
True
Suppose 97 = -0*b + b. Suppose -s + b = -138. Is s composite?
True
Let p(m) = 16*m**2 + 7*m - 12. Let z be (2 + -1)/((-2)/(-14)). Is p(z) composite?
False
Let h(s) = 23*s**3 + 2*s**2 - 1. Suppose -t - 12 = 3*t - 5*f, t + 3*f - 14 = 0. Suppose 0 = -t*r + 2*z, -3*r - 2*r - 2*z + 14 = 0. Is h(r) a prime number?
True
Let w = 94 - 59. Is w a composite number?
True
Let v = 22 - 27. Let t = 2 + 0. Let s = t - v. Is s a prime number?
True
Let v = -656 + 1069. Is v a composite number?
True
Let v(x) = x**3 - 17*x**2 + 19*x - 13. Is v(18) composite?
False
Let i(c) = c**3 - 8*c**2 - 8*c - 11. Let k = -24 + 36. Is i(k) a prime number?
False
Let v(r) = 7*r**2 - 16*r - 10. Is v(7) prime?
False
Let t be 38/14 - (-2)/7. Suppose t = i - 16. Is i a prime number?
True
Let g = -6 + 13. Let s(h) = 10*h - 3. Is s(g) composite?
False
Suppose -6*j = -3*j - 198. Is (-18)/12 + j/4 prime?
False
Suppose -10 = 5*z - 30. Suppose -2*o + 3*o = -z*u + 20, 2*u - o - 16 = 0. Suppose -4*w = -u*w + 166. Is w composite?
False
Let c(w) = -29*w**2 + 3*w - 3. Let a(k) = k**2 + 1. Let o be a(1). Let t be c(o). Let y = t + 168. Is y a composite number?
True
Suppose -4*j + j = 0. Suppose j = 4*b + 8. Let a(h) = -3*h**3 - h**2 + 3*h + 1. Is a(b) composite?
True
Is 3216/56 + (-8)/(-14) a prime number?
False
Let z be (0 - 0) + 4 + 0. Suppose 2*p + 68 = o, -5*o - z*p + 295 = p. Is o prime?
False
Suppose -r - 3*x + 637 = 0, 4*r = -3*x + 2034 + 496. Is r composite?
False
Suppose 5*o = 4*o + 33. Is o composite?
True
Let v(a) = -a. Let b be v(-4). Suppose 3*i - b*i = 0. Suppose i = 3*k - k - 254. Is k a composite number?
False
Let c be 47 + 2/4*-2. Suppose 0*s + 2*s - 4*t - c = 0, 3*s - 67 = 5*t. Is s a composite number?
False
Let v = 385 - 191. Is v a composite number?
True
Let k = 1369 + -673. Suppose -4*s + k = 116. Is s prime?
False
Let b = 42 - -455. Is b a prime number?
False
Let f(l) = 1139*l**2 + l + 1. Is f(1) a composite number?
True
Let c be 1 + 289 + 1/1. Let x be 3*(-2)/(18/c). Let g = x - -246. Is g a composite number?
False
Let a(f) = -4*f - 2. Let l be a(-1). Let n be (-1)/((1/(-1))/3). Suppose -n*x + 22 = -l*x. Is x composite?
True
Suppose -5*v + 7*k = 2*k - 110, -2*v - k + 32 = 0. Suppose -3*w = -0*w - v. Suppose -2*p = -w - 20. Is p prime?
True
Suppose 4*g - 2*s = 376 + 98, -118 = -g + s. Is g a prime number?
False
Let s(n) = -n + 4. Let t be s(4). Let l be (t - -3)/((-1)/(-17)). Suppose -3*z + 40 = -4*d - l, 2*z = 2*d + 58. Is z a prime number?
False
Let i be ((-2)/3)/((-6)/(-9)). Suppose -3*n + 23 = -5*x + x, 3*n - 9 = -3*x. Is ((-3)/x)/(i/(-2)) a composite number?
False
Let u = -36 - -101. Let k = u - -2. Is k composite?
False
Is (-6250)/(-8) - 6/24 a prime number?
False
Suppose -350 = 5*y + 2*t, y = 3*t + 2*t - 70. Suppose 5*b - 359 = -3*c - 44, 420 = 4*c + 5*b. Let q = c + y. Is q a composite number?
True
Suppose 3*w + 2 = 11. Suppose w*g - 9 = -c, c = -3*c + 5*g + 2. Is (c/(-2))/(3/(-12)) a composite number?
True
Let s(i) = -2*i. Let m be s(-1). Suppose -d + m*d = -2*y + 155, 3*d - 432 = 5*y. Is d a composite number?
False
Let a = 9 + -6. Suppose 2*u + 12 = a*w - 2, -3*w = u - 11. Is 60/4 + 0/u a composite number?
True
Let b(c) = -401*c. Suppose -2*f - 14 = 4*t, -t + f + 0 = -4. Is b(t) a prime number?
True
Suppose 3*x - 71 = 94. Is x composite?
True
Suppose n + 7 = b - 0*b, n + 10 = 2*b. Suppose -b*v + 6 = -2*v. Suppose v*f - 105 = f. Is f a prime number?
False
Suppose 14*t = 2*t + 55788. Is t prime?
True
Let p(c) = -c**2 - c - 7. Let v be p(5). Let o = -2 - v. Suppose 2*z - o = 203. Is z prime?
False
Let u(k) = 6*k**2 + 11*k + 11. Is u(-8) prime?
True
Suppose -2*z + 28 = -46. Is z a prime number?
True
Let w(h) = h**3 + 7*h**2 + 5*h - 3. Let b be w(-6). Suppose -j + 24 = -2*x + 99, -b*x + 90 = 3*j. Is x a composite number?
True
Suppose 0 = -d - d. Let f = 2 + d. Suppose 2*s - 212 = -f*s. Is s prime?
True
Is (203/(-2))/(13/(-26)) a prime number?
False
Is -5 + 185/35 - (-3141)/7 a prime number?
True
Let q = 214 - -889. Is q a composite number?
False
Suppose 15216 + 7050 = 6*b. Is b composite?
True
Let h = -4 - -11. Let z(f) = 22*f - 9. Is z(h) a prime number?
False
Let d(p) = p**2 - 2*p + 6. Let v(w) = w**3 + 9*w**2 + 13. Let m be v(-9). Is d(m) prime?
True
Let f be 49/(((-3)/(-12))/1). Let j = f - 117. Is j a prime number?
True
Let c = 897 - -1156. Is c composite?
False
Let p = 17 + -25. Is (-1323)/(-28) - (-2)/p a prime number?
True
Let l = 17 + -12. Suppose -l*n + 16 = 4*p, -5*n + n = -5*p - 21. Suppose n*h - 395 = -h. Is h prime?
True
Let u(f) = -16*f + 5. Is u(-3) prime?
True
Let k(u) = -u**3 + 3*u**2 + 6*u - 1. Let j be k(4). Let p = 112 + j. Is p a prime number?
False
Let m = 17 + -12. Suppose -781 = -m*a - 166. Is a a composite number?
True
Let z = 11 + -8. Suppose 2*d + t = -3*t + 118, -t = -z*d + 156. Is d a composite number?
False
Is (1775 - 1)*2/(-2 - -6) prime?
True
Suppose 2*a + 3*q = 785, 57 = a + 5*q - 325. Is a composite?
False
Let k(v) be the second derivative of v**4/12 + 2*v**3/3 + 7*v**2/2 - 2*v. Is k(-10) composite?
False
Let y(v) = 0 + 15*v + 0 + 1. Is y(2) a composite number?
False
Suppose 0 = 5*r + 4*m - 403, m + 2 = 4. Suppose 3*o = 2*o + r. Is o a composite number?
False
Let j = 11 + -5. Suppose j*o - 5*o - 77 = 0. Is o composite?
True
Suppose -876 - 1831 = -5*a - g, -2*a + 1072 = -5*g. Is a a prime number?
True
Let y(f) be the second derivative of 6*f**5/5 - f**2/2 - 2*f. Is y(1) a prime number?
True
Let c(l) = l**3 - l**2 + l - 2. Let n be c(0). Is ((-14)/4 - 0)*n a composite number?
False
Let f = 7 + -11. Let m(s) = -s**3 + 2*s**2 - 5*s - 1. Is m(f) a composite number?
True
Let m(g) = 8*g**2 - 4*g + 1. Is m(-4) a composite number?
True
Is (-78882)/(-54) - (-3)/(81/6) a composite number?
True
Let t = 505 + 132. Let z = 5 - 2. Suppose t - 154 = z*k. Is k prime?
False
Let j = 1 + 2. Suppose 0 = 2*g + j*g + 10. Is (-32)/(-1) - (-3 - g) composite?
True
Let u = 1 + 2. Suppose -y + 5 = -2*y, w = -4*y + u. Is w a composite number?
False
Let c = -36 + 351. Suppose 0*z = a + 2*z + 90, 4*a + c = z. Let q = a + 115. Is q prime?
False
Let y(k) = -k**3 + 14*k**2 + 22. Is y(14) a composite number?
True
Suppose -6*i - 47 = -7*i. Is i a prime number?
True
Is ((-5)/(-1))/(2*(-5)/(-2510)) a prime number?
False
Let t(i) = 5*i + 4 + i - i + 8*i**2 - 2. Is t(-3) a prime number?
True
Let w be 0/(1*2*-1). Let s(t) = -2*t**3 - 2*t - 103. Let c(d) = -3*d**3 - 3*d - 154. Let a(i) = -5*c(i) + 7*s(i). Is a(w) composite?
True
Let q be 4/(-1 - 6/(-2)). Suppose 0*j = -q*j + 172. Is j a composite number?
True
Is ((-4)/(16/11604))/(-3) a prime number?
True
Is (2 - 3 - 9/(-3)) + 291 a prime number?
True
Suppose 27 = 5*s + 5*p - 3, s + 4*p = 3. Suppose s = -5*x + 17. Suppose x*u - 120 = 118. Is u prime?
False
Let k = 11 - 11. Suppose s - 749 = -3*r + 5*s, k = 3*s - 3. Is r a prime number?
True
Let n be 30/(-45) + 4/(-3). Is 0/1 - n - -8 prime?
False
Suppose -3*k + 13 = 4*g, -2*k + 6*k - 9 = 3*g. Let m(y) = -y**3 - 6*y**2 - 2. Let p be m(-6). Is -67*p/(3 - g) a composite number?
False
Is (3 + -2)/(3/6459) a prime number?
True
Let c(r) = -922*r + 35. Is c(-6) a prime number?
False
Let a(w) = 2*w**2 + 3*w + 9. Is a(4) prime?
True
Suppose 5*d = d - 136. Let g = d - -99. Suppose a - g = -3*b, -35 = -b - 2*a + 5*a. Is b a prime number?
True
Let d(z) = -z**3 + 2*z**2 + z + 8. Let c be d(-6). Suppose -c = -j + 6*j. Let f = -27 - j. Is f prime?
True
Suppose -2*z + 3*s = -2*s - 16, -2*z + s = 0. Let a(d) = d**2 + 3*d + 2. Let t be a(z). Let q(y) = y**3 - y**2 - y + 34. Is q(t) a prime number?
False
Let m(p) = -p + 6. Let q be m(9). Let a = 34 - 24. Let c = a + q. Is c prime?
True
Let c be -2*(15/6 + -2). Let h = c + 1. Let n = h + 6. Is n composite?
True
Let d be 2/(2 + (-8)/5). Suppose -3*p = -d*h - 5*p + 21, -5*p = h + 5. Let f(k) = -k**3 + 5*k**2 + 4*k - 1. Is f(h) a composite number?
False
Let r(s) = -4*s + 1. Let u be r(4). Let j = 46 + u. Is j prime?
True
Let x(j) = 5*j**3 + j**2 + 7*j + 2. Is x(5) a prime number?
False
Suppose -2*y = y. Suppose y - 8 = -4*t. Let z = 5 + t. Is z a prime number?
True
Suppose 75 = -2*u + 7*u. Let x = u - -8. Is x prime?
True
Suppose s + 2*s = 4*r - 71, 3 = 2*r + 5*s. Let n be (r/4)/(2/76). Let t = n - 74. Is t a composit