9 + 7. Suppose 15 - 43 = -a*o. Is o a prime number?
True
Let i(o) = -o**2 + 7*o - 1. Let s be i(6). Suppose 100 = s*l - 0*l. Suppose u - 15 + 65 = 3*v, -5*u + l = 3*v. Is v a composite number?
True
Let t = 690 + -271. Is t a composite number?
False
Let x be (4/5)/((-2)/(-15)). Let n(d) = 12 - x - 2*d - 5 + 10*d**2. Is n(3) a prime number?
False
Suppose -5*v + 5*a = -0 + 5, 3*v + 3*a - 15 = 0. Suppose v + 11 = s. Suppose s = 4*h - 5*k + 1, -4*h - 2*k + 12 = 0. Is h a composite number?
False
Suppose 9*a = 6*a + 33. Let j = a + 8. Is j prime?
True
Is ((-2)/(-4))/(1/118) a composite number?
False
Suppose -3*o + 165 = -2*o. Suppose 0 = -4*b - b + o. Is b a prime number?
False
Suppose 0*f = -2*f + 74. Let q = -16 + f. Suppose 4*c = 31 + q. Is c composite?
False
Let v = 28 - 44. Suppose 2*t - 81 = 5*t. Let a = v - t. Is a composite?
False
Suppose 2*f + 853 = 3*f. Is f prime?
True
Suppose -2 - 28 = -5*r. Let k(o) = o**3 + 4*o**2 - 5*o + 3. Let p be k(-5). Suppose -d = -3*h + d + 12, -r = p*h + 4*d. Is h prime?
True
Let c(j) = 3*j - j**2 - j + 4*j**2 - 5*j**2 - j**3 - 1. Let l be c(-3). Suppose 2*b = -b, -4*h - l*b + 204 = 0. Is h a prime number?
False
Let y = -4 + 6. Is y/(30/29 - 1) a prime number?
False
Let z(j) = -6*j - 1. Let o be z(1). Let g(i) = -9*i - 4. Let d be g(o). Suppose -3*b = 5*s - 271 - d, -3*b = 2*s - 339. Is b composite?
True
Let t be (-2)/(-2) + 0 + 5. Suppose 3*i = -i + 12, 4*b - 2*i = -t. Is 0/4 - (b + -25) composite?
True
Let i(u) = -9*u**2 + 2*u. Let m be i(-3). Is (4 - 1) + (-1 - m) prime?
True
Let h(p) = -p**2 + 4*p + 6. Let k be h(6). Let b = k - -6. Suppose b*v = v - 19. Is v composite?
False
Let v(s) = -s + 825. Let x be v(0). Let y = x + -562. Is y a prime number?
True
Suppose -6*d + 15*d - 4329 = 0. Is d composite?
True
Suppose -3*d = -5*a - 484, 4*d + 4*a - 415 = 177. Suppose 5*q - 2*q - d = 0. Is q composite?
True
Suppose z = 2*g + g + 1967, -z + 1965 = -4*g. Is z composite?
False
Let p(j) = -j**2 + 529. Is p(0) prime?
False
Let m = 6 - 3. Is (-11)/(-12)*m*52 a prime number?
False
Let g(d) = -d**2 + 9*d - 1. Is g(4) prime?
True
Suppose 0 = -z - 0*z + 123. Is z composite?
True
Let h(i) = i**3 + 8*i**2 - 2*i - 10. Suppose 6*t - 2*t + 8 = 0, 4*r + 2*t - 4 = 0. Let x = -6 - r. Is h(x) composite?
True
Let o(p) = p**3 - 4*p**2 - p - 22. Is o(7) a prime number?
False
Let w = 11 + -6. Suppose -w*n + 4*i - 67 = 21, -5*n = -2*i + 94. Let u = n - -35. Is u a prime number?
False
Suppose -12*m + 1191 = -9*m. Is m a composite number?
False
Suppose 0*i + 3*i = 9. Suppose i*v = -0*v. Suppose -5*z = x + 5, 2*x + 0*x - 3*z - 42 = v. Is x composite?
True
Let r(t) = -121*t**2 - t + 1. Let n be r(2). Let i = 869 + n. Suppose 5*q = -2*v + 5*v + 648, 3*v = -3*q + i. Is q prime?
False
Suppose 0*p + 3*p = 429. Is p composite?
True
Suppose -l - 2 + 4 = 0. Suppose -l*s + 93 = -173. Is s prime?
False
Let y(u) = -u**2 - u + 2. Let g be y(0). Suppose -g*d + 139 = -101. Suppose -3*t - 3 = -6*t, 0 = 4*v - 4*t - d. Is v composite?
False
Suppose 4*i + 5*p + 2 - 7 = 0, 5*p = -3*i + 5. Suppose 324 = 2*f - x, -f + i*x = 2*x - 167. Is f a prime number?
True
Let k = 356 - 228. Suppose 2*g = z + 220, g = 2*z - 15 + k. Is g prime?
True
Suppose -19 = -0*t - 2*t + 3*f, -t + 5*f + 20 = 0. Suppose 7*q - t = 2*q. Is (10 - (1 - 1))/q a composite number?
True
Is 10737/12 + 4/16 a prime number?
False
Let p(w) = 2*w**3 + 1 - 3*w**2 + 3*w + w**3 - w**3. Is p(3) a composite number?
False
Let c(l) = -39*l + 4. Is c(-9) prime?
False
Suppose -5*i + 38 + 112 = 0. Suppose -2*t = 0, h - 6*h - i = 5*t. Is ((-21)/h*4)/2 prime?
True
Let l(m) = -10*m**3 + m**2 + m - 5. Is l(-4) prime?
True
Is 1637 - -4*(-2)/2 a prime number?
False
Let z(i) = -4*i**3 + 14*i**2 - 3*i + 3. Let a(d) = -d**3 + d**2 - 1. Let s(y) = -3*a(y) + z(y). Let x = -23 - -32. Is s(x) prime?
False
Suppose 0*b + 30 = -5*b. Is ((-921)/b)/(2/4) a prime number?
True
Suppose 5*k - w - 636 = 0, w - 636 + 129 = -4*k. Is k prime?
True
Let c be 6/3*-2*-1. Suppose -c*g + g = -141. Let y = 84 - g. Is y a composite number?
False
Let a(g) = -160*g + 23. Is a(-8) composite?
False
Let k(i) = 3*i**3 - 3*i**2 + 2*i + 5. Is k(6) composite?
False
Let m(z) = 56*z**2 + z - 1. Let u be m(1). Let h = u - 40. Suppose w + 104 - 36 = 5*k, w = -k + h. Is k composite?
True
Let o be 1 + -78 + 3/(-3). Is (10/(-6))/(2/o) a composite number?
True
Let w(z) be the second derivative of -z**3/6 - 3*z**2/2 - 3*z. Let d be w(-7). Suppose -d*x + 150 = 3*g - x, 4*x = 3*g - 157. Is g a prime number?
False
Let y = -6 + 12. Suppose -4*l = -y*l + 38. Is l a composite number?
False
Let h(z) be the second derivative of -7*z**3/3 + z. Let l be h(1). Is -4*(l/8 - 1) a prime number?
True
Let y be 872/6*12/8. Let l be (y/4)/(1/2). Let j = l + -18. Is j composite?
True
Let f(x) = 18*x**2 + 9*x - 8. Is f(-5) composite?
False
Let v = 78 + 361. Is v prime?
True
Is 30/(-75) - ((-8894)/5)/2 prime?
False
Let p = 6 + -6. Suppose p*w = -2*b - 2*w - 4, 5*w + 25 = 0. Suppose b*z - 111 = -0*z. Is z a prime number?
True
Suppose -6*c + 629 = -5*c. Is c composite?
True
Is 5*127 - (-6 + 6) composite?
True
Suppose -4*r = r. Suppose 4*t - 88 = s, 2*t - 6*t + 5*s + 88 = r. Is t a composite number?
True
Let n = -17 + 22. Suppose 59 = n*x - 36. Is x prime?
True
Let k be 15 + -15 - 2/(-1). Suppose -k*g - 23 + 129 = 0. Is g prime?
True
Suppose -3*d = -94 - 53. Is d prime?
False
Let y = -5 - -1. Let d(t) = -12*t + 5. Is d(y) a prime number?
True
Let k(w) = 405*w**2 - 2. Let g be k(-2). Suppose 5*h - g = -483. Let s = h + -138. Is s composite?
False
Let z be (-12)/(-7) + (-16)/(-56). Is z/6 + 2280/18 prime?
True
Suppose 0 = -3*q + q + 1598. Is q a composite number?
True
Let u(g) = g**3 - g + 54. Let p be u(0). Let w = p + 55. Is w a composite number?
False
Let q(c) = 12*c**2 - 4*c - 7. Let v(s) = -12*s**2 + 4*s + 8. Let z(b) = 3*q(b) + 2*v(b). Is z(-4) a composite number?
True
Let n(h) be the second derivative of h**4/12 + 5*h**3/3 - 5*h**2 + 4*h. Is n(9) a prime number?
False
Suppose 0 = -t - 56 + 210. Suppose 4*z = 2*q - t, -6*z = 2*q - 2*z - 114. Is q a composite number?
False
Let t(o) = 13*o + 2. Is t(8) composite?
True
Suppose -4*p = -5*p + 9. Suppose 0*i - 3*i - p = 0. Is 0 - ((i - -3) + -89) composite?
False
Let v be (0 - 2) + 0/(-1). Let d be (-11)/(-2) + 4/8. Is 6*8/d - v a prime number?
False
Let b(t) = -t**2 - 8*t - 10. Let n be b(-4). Let y(d) = -d**3 + 8*d**2 + 4*d + 7. Is y(n) a prime number?
True
Suppose y = -1 - 14. Let a = 3 + y. Is (56/a)/(2/(-21)) composite?
True
Is 1942/6 - (-6)/(-9) a composite number?
True
Suppose 4*a = 9*a - 3115. Is a composite?
True
Let x = 5 + -2. Suppose n - x*w + 330 = 4*n, 5*n = -2*w + 553. Is n composite?
True
Let m be (0 - 1)/((-3)/18). Let k(a) = 9*a + 4. Is k(m) a composite number?
True
Let n = 238 - 393. Let u = 132 - n. Is u prime?
False
Let o be -6*((-39)/9 - -3). Suppose 2*j = c - 83, 0 = 3*c - o*c - 5*j + 475. Is c prime?
False
Let b(x) = -x**2 + 5*x - 6. Let f be b(3). Let c be (0 + 1)/((-4)/(-8)). Is (f + 1)/(c/470) prime?
False
Suppose -4*u + 5*u + 87 = k, -k - 2*u + 93 = 0. Is k composite?
False
Suppose 0 = q - 1423 + 464. Is q a prime number?
False
Let p(u) = -u**3 + 5*u**2 + 8*u - 5. Let n be 2/(-2) + 8 + -1. Is p(n) prime?
True
Suppose 4*b = -b, -4*z - 8 = b. Is ((-50)/15)/(z/69) prime?
False
Let b be (-139)/1*6/(-2). Suppose -4*d + b = 121. Is d a prime number?
False
Suppose 5*t - 1436 = 3*t. Is t a prime number?
False
Suppose -4*g + 3*r = 8, 2*r = 5*g - 2*r + 11. Let c(k) = -g + 22*k**3 + 2 - k - 1. Is c(1) composite?
True
Let t(s) = s**3 - 10*s**2 + 2. Let f be t(10). Suppose -5*q - 157 + 972 = f*l, 5*q - 815 = l. Is q composite?
False
Let y be (2 - -2 - 2) + 247. Suppose -n - y = -4*n. Is n a composite number?
False
Suppose -5*x = -2*p - 15, -2*x = -5*p - 3*x + 30. Suppose 0 = p*f - 4*a - 6, 3*f - 14 = -4*a - 4. Suppose 4*u = 3*r - 175, -r = -f*r + u + 57. Is r prime?
True
Suppose 5 = 2*g - 5. Suppose -2*z + g*o = o + 10, 0 = z + 3*o - 5. Is (-1 + -4)/(z/2) prime?
False
Let b(p) = -p**3 - 8*p**2 - 16*p - 12. Is b(-7) prime?
False
Let z(b) = b + 0*b + 7 - 6*b - 3*b**2. Let f(o) = -8*o**2 - 16*o + 21. Let t(v) = -4*f(v) + 11*z(v). Is t(6) prime?
True
Suppose -g - 4*t + 8*t + 19 = 0, 3*g + 5*t + 11 = 0. Suppose 5*y - 8 =