h**2 + 4*h - 1. Let y be r(2). Is (3 + b)/(y/9) composite?
True
Is (30751/21)/((-3)/(-9)) a prime number?
False
Let y(r) = -r**3 - 12*r**2 - 8*r + 10. Let d be y(-11). Is 2*(-1)/2 - d a prime number?
False
Let x(m) = m**2 + m + 8. Let v be x(0). Let r(a) = -a**2 + 9*a + 9. Let k be r(v). Let z = 96 - k. Is z composite?
False
Suppose -3*l - 3465 = -6*l. Suppose -5*r - g - 4*g = -l, r = 3*g + 211. Is r prime?
False
Let z(c) = -3*c - 12. Let q be z(-5). Is (-15 - -49) + q*1 prime?
True
Suppose 36*j + 35*j - 8143487 = 0. Is j prime?
False
Let v be (5/10)/(2/52). Let k = v - -54. Is k a composite number?
False
Let g be ((-2)/(-5))/2 - (-493)/85. Suppose 2*v - 2 = -4. Is ((-1191)/g)/(v/2) composite?
False
Let m be (-28)/(-35)*(-15)/6. Is (21940/(-10))/(m*1) a composite number?
False
Let s = -595 - -1271. Suppose 2*l - s = 102. Is l a prime number?
True
Suppose 4*w - 88 = -28. Suppose 3*p + 4*n + 6 = 0, 5*n + w - 4 = -2*p. Suppose p*v - 445 = -3*v. Is v prime?
True
Let o = -403 - -3300. Is o prime?
True
Let a = 242 + -86. Let w be 6/(-21) + a/7. Let b = w + -16. Is b prime?
False
Let s be ((-22)/33 - 10/(-6))*-178. Let i be (-1)/(-2) + 1218/4. Let v = i + s. Is v a prime number?
True
Let f = 13 - 2. Let w(v) = 6*v**2 - 5*v - 13. Let h be w(f). Suppose -h = -z - z. Is z a prime number?
False
Suppose w + w - 4 = 0. Suppose w*u = 3 + 11. Is 2/(-7) - (-1843)/u a prime number?
True
Suppose -v + 2*t + 3259 = 0, 13008 = 4*v - t - 0*t. Is v a prime number?
True
Let m = 13 + -13. Suppose -2*k - 185 = -a, m = -2*k - 3*k + 15. Is a a prime number?
True
Let u(v) = 8*v**2 - 4*v + 10. Suppose 0 = -2*p + 3*s + 19, -s - 6 = -p + 2. Let q be u(p). Suppose -5*n + q = -405. Is n a prime number?
False
Let g be (11/33)/((-2)/12). Is (10 - -96)*(-1)/g a prime number?
True
Suppose -52 = -5*d - 12. Suppose 5*j - 4*o = -9*o + 50, 0 = -4*o + d. Is j/12 - 193/(-3) a composite number?
True
Let m(t) = 295*t - 2. Let f(a) = -a**3 + a**2 + 1. Let c(h) = -4*h**3 + 2*h**2 - h + 3. Let g(i) = -2*c(i) + 7*f(i). Let j be g(-2). Is m(j) a prime number?
True
Suppose 245*l - 1404 = 239*l. Suppose -3*s = -1 - 2. Is 1/(s + l/(-237)) a composite number?
False
Let v = 23 - 15. Let h be (1899/(-18))/((-2)/v). Let o = 369 + h. Is o a composite number?
True
Suppose 2 = -c - 3, -d = -5*c - 703. Suppose -6*x + d = -0*x. Is x a prime number?
True
Let w(g) = -g**2 + 9*g - 1. Let o be w(9). Let b be o/((-1188)/(-596) + -2). Suppose -3*s + b = -448. Is s composite?
False
Suppose -117*s - 71038 = -139*s. Is s composite?
False
Suppose 0 = -3*d - 2*d + 5. Suppose -p + 5 = t, -p - d = -4*t - 6. Suppose -3*o + o + 434 = t. Is o a prime number?
False
Suppose 2*i - 69 = -53. Suppose -i*n + 3*n = -1055. Is n a prime number?
True
Suppose 3*m - 105 = 6198. Is m prime?
False
Let y(h) = -h**2 - 15*h - 8. Let g be y(-14). Let v(f) = 3*f**3 - 3*f**2 - 11*f + 15. Let o be v(g). Is 3*10*o/18 a composite number?
True
Suppose 5*c = 4*j - 32, 2*j + 11 = -j - 5*c. Suppose -j*h = -12 - 45. Is h prime?
True
Let l be 5593/(-63) + (-2)/9. Let q = 540 + l. Is q a composite number?
True
Let q = 671 - -770. Is q a composite number?
True
Let d(p) = -p + 2. Suppose -q + 6*q = 3*b, b + 5*q = 0. Let i be d(b). Suppose i*y = -3*u + 91, 3*y + 34 = 5*u - 4*u. Is u a prime number?
True
Let s be 3*((-4)/(-6) + 0). Let x(w) = -14 - s*w - 22*w + 1. Is x(-9) a prime number?
False
Let b(d) = -d**3 - 11*d**2 - 10*d + 3. Let u be b(-8). Let n = -68 - u. Suppose 2*j + j = -2*k + n, 4*j = k - 26. Is k prime?
False
Let u = 2 + 0. Suppose -u*b - 6 + 48 = 0. Is -3 + 7/(b/780) prime?
True
Suppose -2*r = 5*s - 18482, 2*s + r + 2*r = 7395. Let v = -1465 + s. Is v composite?
True
Let p(z) = -7*z**3 + 14*z**2 + 65*z + 7. Is p(-5) a composite number?
False
Let p = 11802 + -8308. Is p a composite number?
True
Let r be (233*6)/(-7 + 9). Suppose 3*l - 88 - 965 = 3*p, -2*l + r = -3*p. Suppose a = -2*a + l. Is a a prime number?
False
Let i = -17 - -21. Suppose 0 = -q + d + 481, -i*q + 0*d - d = -1924. Is q prime?
False
Suppose 5*y - 2*m - 14491 = 0, 3*y - 9842 = 2*m - 1145. Is y a prime number?
True
Suppose 18*x - 17444 - 78820 = 0. Let k be ((-2)/4*0)/(-1). Suppose 3*f + f - x = k. Is f prime?
False
Let x(i) = -2*i**3 + 9*i**2 + i + 11. Suppose -5*d = -8*d - 24. Is x(d) composite?
True
Let j = -16119 + 23360. Is j a prime number?
False
Let t = 72 + 86. Let y = 93 + t. Is y composite?
False
Suppose -129*d + 126*d + 12 = 0. Suppose -2*s + 3*s = -5*h + 9447, h = -d*s + 1897. Is h composite?
False
Let q(s) = 355*s**2 + 2*s - 6. Is q(-5) prime?
False
Suppose -4*x - 2*y = -2*x - 4, 3*x = -4*y + 8. Let p be ((-22)/(-3) - x)*-9. Is p/(-3) - (5 + -2) prime?
True
Let i(k) = -k**2 - 9*k - 10. Let h be i(-7). Suppose 3*x = 4*d + 4, 5*d - d + h = -4*x. Suppose 4*t = 3*q + 496, -520 = -4*t - x*q - 3*q. Is t a prime number?
True
Suppose 78*d - 189184 = 855782. Is d prime?
True
Suppose -1964 = -10*a + 12076. Let i = 1175 + a. Is i composite?
False
Let z = -1865 + 3187. Suppose 4*u - t - 1325 = -2*t, 0 = 4*u - 2*t - z. Is u a composite number?
False
Let f = 10 - 8. Suppose -f*m + 7*m + 5*c = 180, 4*m - 4*c - 104 = 0. Suppose -s - 5*j + 20 = -m, 5*j = 25. Is s a prime number?
False
Suppose -7*v - 38 - 4 = 0. Is (-316)/(-6) + (-2)/v a composite number?
False
Suppose -9*v - 820 = -154. Is ((-37)/v)/(0 + 1/46) a prime number?
True
Let d be (-59)/(-5) + 3/15. Suppose 0 = 3*u - 5*u - d. Is ((-940)/15)/(4/u) composite?
True
Let i(z) = 22*z**3 + 3*z**2 - 12*z + 2. Suppose 0 = -5*f + 3*x, 5*f + 4*x - 35 = -0*x. Is i(f) a composite number?
False
Suppose 5*i = -0*i + 5. Is (1/i - 158)*-1 a prime number?
True
Let d be 4 + (31 - -3)*-1. Is (-2466)/d - (-8)/10 a composite number?
False
Suppose 2*w - w + 5376 = s, -3*s - 3*w + 16158 = 0. Is s a composite number?
False
Let y(w) = 249*w - 65. Is y(8) a prime number?
False
Let g(j) = -2747*j - 308. Is g(-11) a composite number?
True
Let x(b) = -4*b + 8. Let o be x(2). Suppose o = 7*a - 4*a - 5769. Is a prime?
False
Let i be 6260/10 - (-1 - -2). Let x = i + -244. Is x composite?
True
Suppose 3*k + 10 = 3*f + 1, 5*k = -4*f + 30. Let u(p) = -8*p - 19. Let g(y) = 23*y + 55. Let o(n) = 4*g(n) + 11*u(n). Is o(f) a composite number?
False
Let g(v) = v**3 + 9*v**2 + 9*v + 8. Let h be g(-8). Is (-5 + h)/(-10)*382 a composite number?
False
Let i be (-27)/(-6)*6/9. Suppose 1030 = y + y + 4*w, 2510 = 5*y - i*w. Is y prime?
False
Let g be ((-35)/(-20))/((-2)/(-40)). Let i be -6*(g/(-10) + 3). Suppose 3*l = i*r + 5*l - 2027, 5*l = 20. Is r a prime number?
True
Let q(c) be the first derivative of 26*c**3/3 - 9*c - 17. Is q(4) prime?
False
Suppose -208*x + 62 = -206*x. Is x a prime number?
True
Let w(m) = 144*m**3 - m**2 + m - 1. Suppose 2*j + 2 = -f - 2, -20 = -f + 4*j. Suppose -f = -3*k - 1. Is w(k) a prime number?
False
Let y(m) = 5*m**2 - 28*m - 2. Let f = -50 - -43. Is y(f) a composite number?
False
Let x be ((-384)/10)/(6/(-160)). Suppose -5*u + 1146 = -x. Suppose -8*j - u = -10*j. Is j a prime number?
False
Let i = 1309 + 162. Is i a composite number?
False
Suppose 11*l = 25*l - 108794. Is l a prime number?
False
Suppose 2*v = h - 37427 - 46026, h - 83450 = 3*v. Is h prime?
True
Let c(n) = n - 12. Let m be c(7). Let s be -1 + (-5)/(m/1701). Let k = 2579 - s. Is k a composite number?
True
Suppose -3*p + p = 3*o - 34, -14 = -2*o + 3*p. Suppose 5*z = 2*b + 43 - o, -5*b = 3*z + 5. Suppose -23 = z*w - 118. Is w prime?
True
Let w(l) = -l**2 + 6*l + 5. Let z be w(6). Suppose 0 = 3*j + m - 290, 2*j - 189 = -0*j - z*m. Is j composite?
False
Let w = 2 - 1. Let f be ((-96)/40)/(w/(-40)). Suppose -2*h = -0*h + 3*u - f, -h = -2*u - 55. Is h a composite number?
True
Let g(x) = 4*x**3 + 9*x**2 - 21*x - 61. Let t(n) = n**3 + 2*n**2 - 5*n - 15. Let v(m) = 2*g(m) - 9*t(m). Is v(-6) prime?
True
Let v be 2/(1 - -7 - 4 - 3). Suppose 4*o = -2*m + 378, -3*m = -v*o - 3*o - 578. Is m a composite number?
False
Let c = 58 + -54. Suppose -2*g - 4*q + 177 + 49 = 0, -4*g = -c*q - 500. Is g composite?
True
Let g(d) = -5*d**2 + 6*d - 6. Suppose -3 = -4*l + 33. Let m be g(l). Let h = -166 - m. Is h prime?
True
Let j = 10559 + -7104. Is j a prime number?
False
Let q(b) be the second derivative of b**4/6 - b**3/3 - b**2/2 - 11*b - 7. Let v(n) = 2*n**2 + 2*n - 1. Let h be v(1). Is