 = -l, -4*a + 3*n + 151 = 0. Is a prime?
True
Suppose 5*v = 56 - 11. Is 3336/9 + 3/v a composite number?
True
Suppose 0 = -2*v, q - 492 = v + 119. Is q a composite number?
True
Let m(h) = 33*h**2 - 3*h - 13. Is m(9) a composite number?
False
Suppose 0 = 2*k - 29 - 41. Is k prime?
False
Let z be 1 + (3 + 0 - 3). Let b(s) = 148*s**2 + 1. Is b(z) a prime number?
True
Suppose -1334 = -0*a - 2*a. Is a a prime number?
False
Let k = 15 + 130. Is k prime?
False
Let c(w) = -2*w - 9. Let j be c(-7). Let f be 2/(-5) - 221/(-65). Suppose 154 = 2*o + f*h + 29, 186 = 3*o + j*h. Is o prime?
True
Is (53/(-2))/((-8)/16) a prime number?
True
Let c(s) = -s**3 + 13*s**2 + 13*s + 13. Is c(10) prime?
True
Suppose 114 = 4*j + 2*k - 52, 2*k + 6 = 0. Is j a composite number?
False
Let o(x) = -117*x + 1. Is o(-12) prime?
False
Let r = -10 - -159. Is r composite?
False
Suppose 5*c + 4 = -b, 4*c + 0*c + 5 = b. Let h(p) = 88*p**2 - p. Is h(c) a composite number?
False
Suppose -2*h + 7986 = -1688. Is h prime?
False
Let i = 1763 - -774. Is i a composite number?
True
Let m(k) = -k**3 - 4*k**2 - k + 1. Suppose -19 = 4*y + 5*l - 4, -2*l = -2*y - 12. Is m(y) prime?
True
Suppose 3*d = 6*d - 24. Let u be 136/(-2)*(-4)/d. Suppose 0 = 5*s - 31 - u. Is s prime?
True
Is (-1)/1 - (0 + -906) a composite number?
True
Suppose 2*b = 3*b + 5. Let c = 28 - 40. Let o = b - c. Is o composite?
False
Suppose -3 = 2*n - 3*n. Let j(k) = k**3 - 4*k**2 + 2*k. Let y be j(n). Is 2 - (345/y + -2) a prime number?
False
Suppose 0 = -m + 3*m - 322. Is m a prime number?
False
Let x(l) = 7*l**2 + l - 1. Suppose -d = 4 + 4. Let a = 6 + d. Is x(a) composite?
True
Let u = -2 - -1. Let n = u + 1. Suppose n = 3*x - 5*z - 100, 0 = x + 2*x + 4*z - 109. Is x a prime number?
False
Suppose -3320 = 5*l - 6*c + c, -5*l - 3312 = -c. Suppose 3 = 2*m - 15. Is l/(-18) + 2/m composite?
False
Suppose 5*r - 16 = -176. Suppose -3*m - 76 = 86. Let f = r - m. Is f prime?
False
Let k(r) = r**3 - r**2 + 5*r - 4. Let u be k(4). Is u + 2*12/8 a prime number?
True
Suppose 2*x - 3 = 5*x. Let q(n) = -210*n - 1. Is q(x) prime?
False
Suppose 9*z - 124 = 5*z. Is z a prime number?
True
Is 792/21 - 6/(-21) a composite number?
True
Let v(g) = -g**3 - 9*g**2 + 2*g. Let a be v(-9). Is 17 - 1 - a/6 prime?
True
Let z(u) be the third derivative of 67*u**5/60 - 3*u**2. Is z(1) a composite number?
False
Suppose -5*w - 1 + 11 = 0. Let z = 1 + w. Let n = 8 + z. Is n a composite number?
False
Suppose -2 = 4*u - 6. Suppose -27 = -2*x - u. Is x a composite number?
False
Suppose -5*l + 2*s = -2825, 0 = 5*l + 4*s - 8*s - 2825. Is l composite?
True
Let p(f) = f**3 + 7*f**2 + f + 6. Let r be p(-7). Let d be 145/10*(r + 3). Suppose -32 = -x - 5*s, 158 + d = 5*x - 2*s. Is x prime?
True
Suppose 16 = q - 19. Is q composite?
True
Suppose -4*h = -3375 - 437. Is h prime?
True
Let j = 20396 + -2901. Is j prime?
False
Let m be ((-8)/16)/(1/(-6)). Let x be (-8)/(-5)*(0 - -5). Let s = m + x. Is s composite?
False
Let p be 95/(-10)*2/1. Let l(f) = f**3 - 6*f**2 - 2*f - 2. Let i be l(7). Let v = p + i. Is v a composite number?
True
Let u(x) = x**3 - x**2 - 3*x + 1. Suppose -n + 84 = 5*c, -66 = -4*c + n + 3. Let i = c + -11. Is u(i) a composite number?
False
Let z = -1488 - -2969. Is z a composite number?
False
Let a(o) = 1642*o**2 - 3*o + 4. Is a(1) a composite number?
True
Let c be 0 - (-2 - 1) - 0. Suppose -c*d = -34 - 32. Is d a composite number?
True
Let o = -5 - -1. Let j(u) = -2*u**2 - 2*u - 1. Let b(g) = -g**2 - g - 1. Let y(q) = 5*b(q) - 3*j(q). Is y(o) a composite number?
True
Suppose -3*j - j - 99 = -q, -90 = -q - 5*j. Is q a composite number?
True
Let q be (-6)/3 - -1 - 1. Let v be 58 - ((0 - 0) + q). Suppose 3*n - v = 171. Is n prime?
False
Let c(z) = -z**3 - 2. Let w(n) = -n - 2. Let l be w(-4). Let o = 0 - l. Is c(o) a prime number?
False
Let c(q) = 4*q**3 + q - 1. Let y be c(1). Suppose y*h - 129 = 235. Is h a prime number?
False
Suppose 4*n + m - 867 = 4*m, 431 = 2*n - m. Suppose -n = -2*r - r. Is r a prime number?
True
Suppose 3*i - 12 = 3. Let j(s) = -s**3 - 6*s**2 + 5*s - 9. Let p be j(-7). Suppose i = 3*x - p*n, 3*x - n - 5 = 2*x. Is x prime?
False
Let p(s) = -s**2 - 19*s + 2. Let r be p(-13). Let m = r - -17. Is m a prime number?
True
Suppose -2*g - 4*r = -14, -4*r = 2*g + 2*g - 16. Suppose -3*j = 2*v - 81, 3*v + j - g - 124 = 0. Suppose -b = b - v. Is b prime?
False
Suppose -5*i + 22 - 7 = 0. Is i a prime number?
True
Is (-15265)/(-7) + 3 + (-57)/21 a prime number?
False
Suppose 2*s - 4 = -0. Suppose -s*l + 44 = -210. Is l composite?
False
Let r(d) = d**3 - 8*d**2 + 4. Let k be r(8). Suppose -61 = -g - k*l, 5 = -2*l - 5. Suppose 3*a - 24 = g. Is a a prime number?
False
Suppose w + 5*b = 132, 5 = -4*b + 3*b. Is w a prime number?
True
Suppose -254 = -2*t + t. Is t a prime number?
False
Suppose -3*i - i + 92 = 0. Let g = 420 + i. Is g a prime number?
True
Suppose -4*f = -d + 12, -2*d + f + 2 = -1. Let m(s) = -s**3 - s. Let c be m(d). Suppose 4*x = -8*w + 3*w + 10, c = 4*x. Is w a composite number?
False
Let f(a) = a**2 + a - 1. Let z(i) = i**2 - 8*i + 5. Let m be z(7). Let k be f(m). Is ((25 + k)*1)/2 composite?
False
Suppose t - 16 = 111. Is t a prime number?
True
Suppose -2*d + z + 4 = 0, -18 = -6*d + 2*d - 3*z. Let w(o) = -6*o**3 + 2*o**2 - 4*o**2 + 5 + 13*o**d - 3*o**2. Is w(4) a prime number?
True
Let g(a) = 1 - 8*a - 3 + 21*a + 5. Is g(4) composite?
True
Suppose 4 = -2*p + p, p + 191 = n. Is n a composite number?
True
Suppose 0 = -4*b + 6*b. Suppose b*f - f - 1 = 0. Is 2 - f*17/1 composite?
False
Let p(i) = -i**2 - 7*i - 3. Let r be (-8)/16*12*1. Let z be p(r). Suppose -z*f = -2*f - 191. Is f composite?
False
Let n(f) = 2*f + 19. Let l(k) = -k - 9. Let g(j) = 7*l(j) + 3*n(j). Let x be g(-6). Suppose 60 + x = 4*c. Is c a prime number?
False
Let a be (-4286)/8 - 7/28. Is (a/12)/(2/(-3)) a prime number?
True
Suppose 13*i - 1439 = 12*i. Is i prime?
True
Let n(a) = a**3 - 3*a**2 - 5*a - 1. Suppose -2*r + 84 = 4*x, -49 - 63 = -5*x + r. Suppose 4*m - 3*d + d = x, -5*d + 23 = 3*m. Is n(m) a composite number?
True
Suppose 0 = -2*f + 6*f. Let y be 0 + f + 0 + 2. Suppose -y*u - u + 489 = 0. Is u a composite number?
False
Let u = 388 + -261. Is u composite?
False
Let p(u) = -u - 3. Let f(d) = -d - 6. Suppose -i = i. Let h be f(i). Is p(h) a prime number?
True
Suppose 3*f + 2*w = 0, 2*w - 2 = 4*f + 12. Let u be (f - -2 - -1)*4. Suppose -r = 3*z - 67, -z = 2*z + u*r - 79. Is z prime?
False
Let b(r) be the second derivative of -r**5/20 + 3*r**4/4 - r**3 + 7*r**2/2 - 7*r. Is b(5) a composite number?
True
Let w(d) = d**2 + 2. Let f be w(-6). Suppose -4*y + f = -3*y. Is y a prime number?
False
Let u(r) = -2*r**3 - 3*r**2 + 2*r + 3. Let c be u(-5). Let d = c - 19. Is d prime?
True
Let w = 1071 - 307. Let a = -527 + w. Is a prime?
False
Let j be 5 - (1 - 1)/2. Suppose z - 6 = -f + 4*z, 0 = 2*f + j*z - 45. Is f prime?
False
Let t be (42/(-9))/((-2)/(-3)). Is (8 + t)*422/2 a prime number?
True
Let x = 9 + 4. Is x prime?
True
Let q = -8 - -10. Let b(h) = h**3 - 5*h**2 - h + 5. Let c be b(5). Suppose 0 = -c*x + q*x - 42. Is x prime?
False
Suppose -2*j + 55 = 3*j. Suppose -2*g = -7*g + 3*w + j, -g = -4*w - 9. Let x(n) = 54*n**3 - 2*n**2 + n. Is x(g) a composite number?
False
Is (0 - (-4)/(-8))*-674 a composite number?
False
Suppose 0 = 11*d - 9210 + 509. Is d a prime number?
False
Let i be 21 + 2/2 + 2. Let a = 15 - i. Is a/(-15) - 184/(-10) a composite number?
False
Suppose 0*x - 4*x - 6 = h, 0 = 5*h + 5*x - 15. Let s be (6/4)/((-24)/(-832)). Is (s/(-6))/(h/(-45)) a composite number?
True
Suppose -4*q + 15 = -q, 5*h + 2*q = 5055. Is h composite?
False
Let q be 1/3 + (-8)/(-3). Suppose -2*p = -3*g + 206, -2*g + 3*p + 146 = 6*p. Suppose g = q*j + 2*j. Is j a prime number?
False
Let k(r) = 2*r**2 - 10*r + 7. Is k(-6) prime?
True
Let v = -1200 - -2089. Is v a prime number?
False
Suppose 10*c - 8*c - 322 = 0. Is c a composite number?
True
Let g = -4 + 6. Suppose 0 = -v + g*v - 65. Is v composite?
True
Suppose 0 = 4*v - v + 5*f - 356, 0 = -2*v - f + 249. Is v a composite number?
False
Suppose 2 = -w, -v - v = 3*w - 2992. Is v prime?
True
Let y be 4/6*(-54)/(-9). Suppose -3 = -z + 3*m + y, -m - 7 = -z. Suppose 3*w - z*w + 236 = 0. Is w prime?
True
Let h = 1041 + -1752. 