 a + 2. Let x be (-52)/(-9) - a/(-9). Suppose -5*y + x + 229 = 0. Is y prime?
True
Suppose z - 2*b = 2*z - 383, z - 4*b - 401 = 0. Is z composite?
False
Suppose 2*a = -2*a. Suppose a = -15*b + 11*b + 508. Is b composite?
False
Let r = 11 + -9. Suppose -x + 52 + 230 = 0. Is (r/4)/(3/x) a prime number?
True
Suppose 5*b - 3825 = 3580. Is b prime?
True
Let r(o) = 186*o**2 - 7*o - 12. Is r(-2) a composite number?
True
Let n(h) = 7*h**2 - 7*h - 1. Is n(7) prime?
True
Let v(b) = b**2 - 5*b + 6. Let c be -8*((-2)/4 + 0). Let w be v(c). Is 1*(4 - w) - -147 a prime number?
True
Let o(m) = -m**3 + 6*m**2 - 2*m + 4. Let u be 68/4 - (-1)/(-1). Let v be 44/u + 1/4. Is o(v) composite?
True
Let t = 1 - -2. Suppose 6 = x + 5*g - 11, 0 = t*x + g - 107. Is x composite?
False
Suppose b = -2*b + 6. Let s be 2 + 1/2*890. Suppose -b*a + s = a. Is a prime?
True
Suppose 4*t + 7 - 23 = 0. Let n(v) = v**3 + 9*v**2 - 2*v - 9. Let f be n(-6). Suppose -d = -3*d - 5*q + f, -4 = -t*q. Is d a composite number?
False
Let h(j) = j**2 + 1. Suppose -2*z + 0*z + 5*v + 18 = 0, -2 = z + 3*v. Let m = -1 + z. Is h(m) prime?
False
Let a(x) = 64*x - 5. Is a(10) a prime number?
False
Suppose -212 = -s - 0*s. Let d(a) = a**2 + 7*a + 7. Let j be d(-7). Suppose 3*g - j*g = -s. Is g a composite number?
False
Suppose -9*b + 7*b = -2252. Is b a composite number?
True
Let u be (-1)/((-268)/(-266) - 1). Let h = u + 332. Is h composite?
False
Let p(u) = -10*u - 7. Let c be p(-9). Is 1/(-2)*-2*c a prime number?
True
Suppose -2*u + 232 - 96 = 0. Suppose -a = -17 - u. Is a prime?
False
Let w(n) = -9*n**3 + 6*n**2 + 11*n - 7. Is w(-5) a composite number?
False
Suppose 2*r + l = -0*r + 28, 0 = 5*r - 4*l - 44. Suppose s - 2*m - 7 = -0*m, 4*m + r = 0. Is (-89)/2*(-2)/s a prime number?
True
Let p = 261 - 112. Is p a prime number?
True
Suppose -s - 10 = -6*s. Suppose -2*b + s*x - 241 = -5*b, 5*b - 5*x = 435. Let w = 117 - b. Is w prime?
False
Let n be 5/(-10) - 2/(-4). Let o(m) = -m**3 + m**2 - m + 59. Is o(n) composite?
False
Let w(m) = 21*m**2 - 2*m - 3. Let f(i) = i + 1. Let s be f(-3). Is w(s) prime?
False
Let g(o) = 1346*o - 27. Is g(4) prime?
False
Suppose 4*w - 3 - 5 = 0. Suppose -g - 77 = -w*g. Is g prime?
False
Let l(b) = b**2 - 4*b. Let w be l(3). Is (w + 4)*(-11)/(-1) a prime number?
True
Suppose -148 = -2*y + 56. Suppose -4*a = 0, 3*a - a = -2*s + y. Is s a prime number?
False
Let k(w) = 2*w**3 - 3*w**2 - 5*w - 6. Let o be k(5). Let z = o - 11. Is z a prime number?
False
Let a be (-6)/21 + 1474/14. Let t(w) = 5*w**2. Let q be t(1). Suppose -4*m - m - 4*p + a = 0, 0 = -m + q*p + 50. Is m a prime number?
False
Suppose -375 - 284 = -g. Is g a composite number?
False
Suppose 0 = 5*i - 118 - 7. Suppose -4*d + 4*g = -6*d + 28, g = -5*d + i. Suppose -d*s + 46 = -2*s + 2*o, -72 = -4*s + o. Is s composite?
False
Let x = -1453 - -2702. Is x a composite number?
False
Let f = 9 - 5. Suppose f*j - 10 = -2. Suppose 3*c = -j*c + 575. Is c composite?
True
Let u = 42 + -76. Suppose -2*v - 18 = -5*v. Is (v/4)/((-1)/u) a composite number?
True
Let s(b) be the second derivative of -3*b**5/10 - 2*b**2 + b. Is s(-3) a prime number?
False
Let m be 12 + 3 + -8 + 2. Suppose -475 = -m*q + 4*q. Is q a prime number?
False
Let l(s) = s**2 + 6*s + 5. Let y be l(-4). Let v = y + 2. Let g(t) = -24*t + 1. Is g(v) composite?
True
Let k = 6 - 3. Let w = k + 1. Suppose 0 = 7*x - 3*x - 4, -w*f + 2*x = -210. Is f a prime number?
True
Let k = 8 + -5. Suppose 3*z = 2*z + 23. Let j = k + z. Is j composite?
True
Let j(u) = u**2 + 7*u. Let g be j(5). Let o = g - -2. Is o a prime number?
False
Let n(q) = -q**3 + 8*q**2 - 8*q + 10. Let x be n(7). Suppose 5*a - 3 = -b - 0*a, -x*b - a - 5 = 0. Is 1/(1 + b) + 22 a composite number?
True
Let j(i) = -2*i**3 - 7*i**2 + i - 3. Is j(-8) composite?
True
Suppose 0 = 3*o - 628 + 127. Is o a composite number?
False
Suppose 26 = 5*f - 4. Suppose -3*q = -f*q + 39. Is q a composite number?
False
Let q = 35 - -71. Let p = -53 + q. Is p composite?
False
Suppose 3*u + 4*m = 121 - 2, 3*u + 5*m = 121. Is u prime?
True
Let u(w) = -w - 4. Let q be u(-9). Suppose -4*o = -q*t - 20, -6 = 2*t + 2*o - 4*o. Let r = t + 33. Is r composite?
True
Let d(i) = -i - 1. Let p be d(4). Let q be 1*p*(-1)/1. Suppose 4*y = -2*h + 18, -h - 3*y - 3 = -q*y. Is h prime?
True
Suppose -g = -6*c + 3*c - 5, 4*g = 4*c + 12. Suppose 17 = 3*v - t, -10 = -2*v - 0*v + g*t. Suppose 0 = q - v*q + 30. Is q a prime number?
False
Let m(w) = 11*w. Let r be m(-4). Let l = r + 79. Is l a composite number?
True
Suppose 0 = 5*j - 0*j - 2065. Is j composite?
True
Let b(x) = 7*x**2 - 3*x - 1. Let z be b(3). Suppose 0 = -3*p + 106 + z. Is p composite?
False
Let g(p) = 2*p**2 - 3*p**2 - 6 + 2 + 16*p + 2. Suppose 3*a = 50 - 11. Is g(a) a prime number?
True
Suppose -5*p + 4*d - 28 = 0, 2*p + 4*d = -p - 4. Let f be 6/(-4)*p/(-3). Is -2 - f*(-117)/(-6) a prime number?
True
Let j(g) = g**2 + 2*g + 2. Let a be j(-3). Let i(d) be the first derivative of -d**4/4 + 2*d**3 - d**2/2 + 5*d + 1. Is i(a) composite?
True
Suppose 2*w - 4*w - 76 = 0. Is (-4 + 3)*w/2 a prime number?
True
Let f(w) = -4*w - 1. Let d(i) = -i**3 - 8*i**2 - 6*i + 9. Let q be d(-7). Suppose 2*m + 0*m + 8 = -k, 2*k = q*m - 4. Is f(m) a prime number?
True
Let z(g) = -g**3 - 2*g**2 + 3*g + 2. Let l be z(-3). Suppose 0 = -u + 12 + l. Is u a prime number?
False
Let p(s) be the second derivative of 8*s**4/3 + 5*s**3/6 - 7*s**2/2 + 2*s. Is p(-6) prime?
False
Let t(v) = v**2 - 7*v + 8. Suppose 3*r - 11 - 7 = 0. Let z be t(r). Let a(l) = 7*l**3 - l**2 + l + 1. Is a(z) a composite number?
True
Suppose s + 18 = 2*s + 2*p, 3*s - 54 = 2*p. Is (-2 - 1)/(-3) + s a composite number?
False
Suppose 4*b + 22 = 5*o - 50, 3*b + 43 = o. Let k = b - -27. Let u = 47 - k. Is u a composite number?
True
Let r be 2/(-5) - 14/(-35). Suppose r*i + d - 23 = -2*i, -3*d - 9 = 0. Is i composite?
False
Suppose -3*g + 165 = 4*l - 9, -g + 58 = -l. Is g a prime number?
False
Let t = -5 + 11. Let a(d) = 14*d**2 - 5*d - 7. Is a(t) a composite number?
False
Suppose -50 = 2*a - 3*a. Suppose 0*m - a = 3*m + f, -4*m = -5*f + 35. Is 1 - (m - -1) - 1 composite?
True
Let s = -4 + 6. Suppose -4*m = -4*y - 644, 0*y - s*y = -4. Is m a composite number?
False
Suppose 3*n + 1 - 67 = 3*s, 5*n - 110 = -5*s. Let r = n + -15. Suppose r*m = 3*m + 820. Is m composite?
True
Let p be (2 - 1) + 0 + -13. Let t = 19 + p. Is t prime?
True
Suppose -t + 203 = -756. Is t a prime number?
False
Let k(u) = -2*u + 145. Is k(0) a prime number?
False
Let f = 752 - 517. Is f a prime number?
False
Suppose -534 = -4*s + s. Suppose -4*b = -3*b - s. Is b prime?
False
Let v(x) = -x**3 - 4*x**2 - 7*x - 5. Let k be -2 - (2 - 2) - 3. Is v(k) a composite number?
True
Let f(r) = r + 2. Let v be f(0). Suppose -27 = -v*d - d. Let c = 64 - d. Is c a prime number?
False
Let b be 5/(-2)*12/(-10). Let d(z) = -b*z + 9 - z**3 + 0 + 2*z. Is d(0) prime?
False
Let s(k) = 2*k + 2. Let n(h) = -2*h - 3. Let p(z) = -2*n(z) - 3*s(z). Let a be (-1)/(1/6*3). Is p(a) composite?
True
Is (-4908)/(-12) + -2*1 a prime number?
False
Let w(r) = r**3 - 9*r**2 - 10*r - 1. Let t be w(10). Let p be (t - 2) + 6 + 1. Suppose -i = 3, 0 = -p*m - 0*m + 5*i + 43. Is m composite?
False
Let m = -27 + 101. Is m prime?
False
Let l be 1/2 - 141/2. Let z(m) = m**3 - 7*m**2 - 10*m - 15. Let k be z(8). Let x = k - l. Is x a composite number?
True
Let c be 1/(-3) + 255/9. Suppose f = -f - c. Is 6/(-21) - 1334/f a prime number?
False
Is 4/6 + (-1118)/(-6) composite?
True
Let s = 48 - 489. Is (-1)/2 + s/(-14) composite?
False
Suppose -2*l + 5 = 75. Let h = 57 + l. Is h prime?
False
Let j be 6/(-14) - 6/(-14). Suppose -4*q + 3*d + 552 = 71, 5*d - 5 = j. Is q prime?
False
Suppose -2*g + 7*g + 680 = 0. Let v = -62 - g. Is v composite?
True
Suppose -3*t - 326 = -4*v + 163, 0 = 5*v - 4*t - 611. Is v prime?
False
Let s(i) = -468*i - 7. Is s(-3) composite?
True
Is 1*31 + (4 - 2) a prime number?
False
Suppose -2*x + 22 = 2*m, x + 2*m - 8 = -0*x. Let r be (-4)/14 - (-46)/x. Let p(h) = h**2 + 4*h. Is p(r) prime?
False
Let x be 4/(-10) + (-52)/20. Let u be x/(2 + -5)*5. Suppose 2*s = -2*h + 22, -3*h + u*s = -28 - 29. Is h composite?
True
Let d(u) = 3*u - 4. Let r = 8 - 5. Let l be d(r). Suppose -3*v + v + 2 = 0, l*j - 960 = -5