9, -v - 94 = -3*z. Is z a prime number?
True
Let a(y) = 3*y**2 - 6*y - 5. Let n be -1*(-1 + -1) + 16. Suppose 0 = 3*h + n. Is a(h) prime?
True
Suppose 1384 + 89 = 3*l. Is l a prime number?
True
Let d be (-4)/(-2)*3/2. Suppose -d*i + 296 + 183 = 4*q, -475 = -4*q + i. Is q composite?
True
Suppose -4*k + 20 = 4*o, -3*o - 13 = -2*k - 3. Let t(g) = -11*g - 1 - 2*g + o*g. Is t(-6) a prime number?
False
Let g(c) = -12*c**2 - c - 10. Let z(q) = 13*q**2 + 11. Let p(a) = -7*g(a) - 6*z(a). Let b be p(-6). Let o = b - 119. Is o composite?
False
Suppose 5*f = 8*f - 2037. Is f prime?
False
Suppose -2*z = 5*k + 569, -2*z - 566 = 6*k - 2*k. Is (-6)/(-27) + z/(-9) a composite number?
False
Suppose -2*a = 5*m + a - 2337, 3*m = -5*a + 1415. Let u = m - 242. Is u composite?
False
Let q(a) = -a**2 + 2*a + 2. Let i be q(2). Is (i/6)/(2/18) composite?
False
Suppose -9 = -3*o, -o = -3*m - m + 561. Is m composite?
True
Let k(s) = -2*s**3 + s**2 - 1. Let d be k(1). Let y be (7/(-2))/(1/(-10)). Let g = y - d. Is g composite?
False
Suppose 14*k - 28193 = 3*k. Is k a prime number?
False
Suppose -2*d - 2*j + 32 = 2*j, -3*d + 20 = -j. Is (-2)/8 + 3354/d a composite number?
False
Suppose -3*c - 2*c = 10. Let f be -2*(-2 - -1)/(-2). Is 132 + (f - (c - -2)) a prime number?
True
Let p(l) = l**3 - 4*l**2 + 4*l - 1. Suppose 3 = 4*c - 9. Let o be p(c). Suppose -o*x + 44 = -0*x. Is x a prime number?
False
Let n = 474 - 881. Let f = -250 - n. Is f prime?
True
Let j(q) = -2*q**3 + q**2 - q. Let k be j(1). Let w be -1*24/14*-7. Let a = k + w. Is a a composite number?
True
Let p(w) = -2*w - 1. Let u be p(-8). Suppose u + 18 = v. Is v prime?
False
Let j be 0 + 0 + 6/(-3). Let n be (j/4 - -1)*-16. Is (-1)/2 + (-188)/n a prime number?
True
Suppose -4*x + 7*y - 2*y + 407 = 0, 3*x - y = 319. Let n(f) = f**2 + 2*f + 2. Let w be n(-3). Suppose 0 = -w*z + x + 82. Is z composite?
True
Suppose -2*a + 182 = 5*m, -2*m - m + 112 = 4*a. Let s = m + 38. Suppose 0 = -y + s - 19. Is y prime?
False
Let f be 4/14 + (-1552)/(-56). Let v = 43 - f. Is v a prime number?
False
Let w(q) = q**2 + 5*q + 25. Is w(-11) a composite number?
True
Suppose -2 = -5*w + 8. Suppose -77 = w*b - 3*b. Is b composite?
True
Suppose 10*y - 820 = 5*y. Let r = y - 37. Is r prime?
True
Let r = 17 + -18. Is (-4)/2 - -95 - r a prime number?
False
Let u = 41 + 12. Is u prime?
True
Is (-6)/15 - (-3274)/10 a prime number?
False
Suppose -3*t + 15 = 2*t. Let m = t - 1. Is -10*(m - (-22)/(-4)) a prime number?
False
Let l(i) = 6*i**2 + 8*i - 1. Is l(3) a composite number?
True
Suppose 2*b = -4, 0 = c + 5*b - 2*b + 3. Suppose 382 = c*v - v. Is v a composite number?
False
Suppose 48 = -3*m + 108. Suppose 700 = 4*n - 2*n. Is 3/2 + n/m composite?
False
Let i = 310 - -141. Is i a composite number?
True
Let j = 1616 - -7. Is j prime?
False
Is 2/(-4) + 190597/22 composite?
False
Suppose d + 3*v - 4*v = 325, 5*d + 5*v - 1605 = 0. Let j = -132 + d. Is j a composite number?
False
Suppose 3*m = 5*m - 62. Is m prime?
True
Let c be 24/36 + (-11606)/(-6). Suppose 4*x - 4*y = 477 + 1483, 0 = -4*x - y + c. Is x a prime number?
False
Suppose -5*z + 3*t + 12 = 0, 0*z - 2*t = 2*z - 8. Suppose 2*m + 2*m + 2*s - 202 = 0, -z*m - 2*s = -149. Is m a composite number?
False
Let d = -7 + 13. Suppose 2 = 4*j - d. Suppose -j*x + 56 = 2*h, 5*x - 2*h - 161 = -0*h. Is x prime?
True
Let i(c) = -653*c**3 - c**2 + c + 2. Suppose -2*a - 1 = -a. Is i(a) a prime number?
True
Let f(i) = -3*i**2 - 2*i + 10. Let a be f(6). Let b = 163 + a. Is b prime?
True
Let w(q) = -q**2 + q. Let p(u) = -4*u**3 + 3*u**2 - 9*u - 1. Let l(a) = -p(a) - 4*w(a). Is l(8) a composite number?
False
Suppose -5*y = -3*j + 9, 0 = -3*j + y + 4 + 5. Suppose -2*c - j*z + 12 = -23, -5*c = 3*z - 74. Is c prime?
True
Suppose 6 = -2*l - 0*l. Let x(r) = -111*r**3 - 5*r + 1. Let m(w) = 221*w**3 + 11*w - 2. Let c(i) = l*m(i) - 7*x(i). Is c(1) prime?
False
Let m(p) = 15*p**2 - 7*p + 15. Is m(7) a prime number?
True
Let c(z) = -z**2 + z. Let b be c(-1). Is b + (0 - -3*2) composite?
True
Let i = -5 + 8. Suppose 2*w + 2*o = w + 29, 3*w - i*o = 60. Is w composite?
False
Suppose 9 = 5*o - 1. Suppose 97 = p - o*y, p - 2*y = -3*y + 82. Is p composite?
True
Let c = 22 + -19. Suppose c*g = -264 + 825. Is g a prime number?
False
Let m(o) be the second derivative of 25*o**3/6 + 7*o**2/2 + 45*o. Let j be ((-4)/(-10))/(1/15). Is m(j) prime?
True
Let t = -36 + -11. Let o = -259 - -159. Let d = t - o. Is d composite?
False
Let f(y) = y**3 - y**2 + 5*y - 4. Let i be f(3). Suppose 38 = n + h, -n + i = -h - h. Is n a composite number?
True
Let x(z) = z**3 + 7*z**2 - 9*z + 5. Let g be x(-8). Let l = -45 - -117. Suppose l = n - g. Is n a composite number?
True
Suppose 2*y = 78 + 1790. Is y prime?
False
Let g(n) = n + 15. Let s be g(-8). Suppose -s = -3*l + 8. Suppose x = -3*x - 2*f + 4, -f - 19 = -l*x. Is x a prime number?
True
Suppose -o = -3*o. Let i be (1 - -1) + 2 + o. Suppose 0*g + i*g = q - 34, -q = g - 19. Is q composite?
True
Is (-1)/(-5) + 6408/10 prime?
True
Let y(x) = 2*x**2 + 2. Let m be (-5)/(-2) + (-1)/2. Is y(m) a composite number?
True
Is -3 + (-1 - -167)*1 a prime number?
True
Let q(j) = 2*j**3 + j**2 + j**3 + 3 - 4 - 10*j**3. Is q(-1) a prime number?
True
Let l be 2/(-4) + 33/6. Let z(g) = 28*g + 9. Is z(l) a prime number?
True
Is -1 - (2/3 + (-138816)/54) a composite number?
True
Suppose -2*b = 10*b - 6780. Is b a composite number?
True
Suppose -3*b - 3*s + 1275 = 0, 0*b + 2*b + 5*s - 862 = 0. Let a = -236 + b. Is a composite?
True
Suppose -3*n + 199 + 272 = 0. Is n composite?
False
Let i = 133 - 71. Is i a prime number?
False
Let h = -23 - -33. Let t be 2/h - 32/10. Is 1/((t/(-35))/3) a prime number?
False
Suppose 2*r + 18*r = 46580. Is r composite?
True
Suppose 50 = z - 77. Is z a composite number?
False
Let k(z) = -4 + 3*z**2 + 11*z**2 - 4*z + 10*z**2. Let m be k(-3). Let y = m + -145. Is y a composite number?
False
Suppose -3*z + 4*z = 16. Suppose 4*q + 3*x = -967, q - 3*x + z = -207. Is (2/1)/((-4)/q) prime?
False
Suppose -18*b + 19*b - 13 = 0. Suppose -b*g = -10*g - 195. Is g a composite number?
True
Suppose 4*a = a. Suppose -3*o - 15 = -3, -3*m + 4*o + 571 = a. Is m composite?
True
Let n be 4/2*(-20)/(-8). Suppose -2*z = 3*i - n - 10, -3*z + 60 = -3*i. Is z a composite number?
True
Suppose -33 = y + 22. Let q = y - -132. Is q prime?
False
Suppose -4*v = -10 - 138. Let t = v + -13. Suppose -5*g + 51 + t = 0. Is g a composite number?
True
Let d be (-2)/(-2 - -1*4). Let n be ((-4)/6)/(d/(-6)). Is 2*2*(-7)/n a prime number?
True
Suppose 0 = -2*n - 6, 2*n = 5*s - 48497 + 2026. Is s a composite number?
False
Let a(q) = 9*q**2 - 22*q + 10. Is a(9) prime?
True
Suppose -3*b - x + 68 = -2*x, 0 = 5*b - 2*x - 114. Suppose -2*q = -4*q + b. Is q composite?
False
Let n(a) be the third derivative of 13*a**4/24 - a**3 - 4*a**2. Is n(5) a composite number?
False
Let r(w) be the first derivative of w**4/4 + 4*w**3 - 9*w**2 - 7*w - 6. Is r(-13) prime?
False
Suppose -2*d = -81 - 185. Let k = 58 + d. Is k a composite number?
False
Let v(g) = -10*g - 1. Let c(d) = -5*d. Let b(q) = 13*c(q) - 6*v(q). Let a(o) = 5*o - 5. Let z(y) = 6*a(y) + 7*b(y). Is z(-9) prime?
False
Let b = -24 + 35. Is b prime?
True
Suppose 0 = 2*y - 6*y + r - 672, 2*y = 3*r - 336. Let s = y + 563. Is s a prime number?
False
Let f(z) = -z + 2*z**2 - 1 - 4*z**2 + 10*z**2. Let i be f(-3). Suppose 2*s = -5*k + 185, -2*k - 3*s - s + i = 0. Is k a composite number?
False
Let v(h) = h**2 + 12*h - 13. Let c be v(-9). Let d = 203 + c. Is d prime?
True
Suppose 4*i - 5*o = 1931, i - 5*o - 973 = -i. Is i prime?
True
Let d be 16/(-24) + (-94)/(-6). Let l = 292 + d. Is l composite?
False
Let s(c) be the third derivative of c**6/120 + c**5/5 - c**4/24 - 5*c**3/6 + 2*c**2. Is s(-11) composite?
False
Suppose 0 = 3*p + 43 - 1. Is (-940)/p - 6/42 prime?
True
Suppose -4*g = 3*r - r - 886, 0 = 2*g - 4*r - 438. Is g prime?
False
Let p(c) = c**3 + 9*c**2 - c + 10. Let l(g) = g**3 - g**2 - 3*g - 3. Let o be l(-2). Is p(o) composite?
False
Let d(u) = u**3 + 3*u**2 + 3*u + 3. Let c be d(-2). Is ((-1)/c)/(6/(-4926)) a composite number?
False
Suppose -2*d + 4*j + 1248 + 998 = 0, -d + 1105 = 4*j. Is d prime?
True
Suppose 4*t = 4, -4*t = -2*v + 588 + 42. Is v a prime number?
True
Suppos