3 + 10*z**2 - 13*z + 11. Is p(-9) composite?
False
Let s = 6747 + -1366. Is s prime?
True
Let s = -6 + -1. Let t(l) = -75*l - 22. Is t(s) a prime number?
True
Let z(y) = -438*y - 409. Is z(-14) a composite number?
True
Suppose 271 = 2*k + 1109. Let f = 292 + k. Is f/(-3 + 6 - 4) prime?
True
Let g(v) be the third derivative of v**6/24 - v**5/12 + 5*v**4/24 - 2*v**3/3 - 21*v**2. Is g(5) composite?
False
Let q(l) = -21*l - 22. Suppose -3*r = -8 + 53. Is q(r) a composite number?
False
Suppose -3631 + 1399 = 9*v. Let y = v + 915. Is y a composite number?
True
Let q be 5/20 - (-31)/4. Let g = q - 6. Is g - (3 - 5 - 85) a composite number?
False
Let t(q) = -476*q - 5. Let l be t(-5). Suppose 0 = 4*u - 3*o - 71, 4*o - 7*o + 29 = u. Is 1/4 + l/u a prime number?
False
Let w = -3459 - -7868. Is w a prime number?
True
Let t(a) = 2*a**2 + 1. Let b(u) = -u**3 - 2*u**2 + u - 4. Let l be b(-3). Let i be t(l). Suppose -i = -x + 46. Is x a composite number?
True
Let p(j) = 2*j + 5. Let n be p(-9). Let v = n + 15. Suppose 271 = w + 4*z, 2*z = v*w - 3*z - 516. Is w a prime number?
True
Is (-2)/(-12) - (-10563)/18 prime?
True
Let g(p) = p**2 - 2*p. Let v be g(2). Suppose v*b = 3*b - 4*n + 6, -7 = -2*b - n. Is b*23*40/16 prime?
False
Let s = 33 - 33. Is (-1 + s)/((-2)/838) a composite number?
False
Suppose 0*i - 3*i + 9 = -j, 0 = -i - 3*j - 7. Suppose u - 5*l = -2*u + 401, -i*l + 119 = u. Is u a prime number?
True
Let c = 5 - -3. Suppose 0 = c*d - 3*d + 1400. Let r = d + 1443. Is r composite?
False
Suppose -o - 9 = -4*o. Suppose o*z + p - 17 = 0, 26 = z + 4*z + 4*p. Is (670/15)/(4/z) prime?
True
Let f be -2 + 5 - 1 - 1. Let m(u) = 214*u**3 + u**2. Let j be m(f). Let d = j - -42. Is d composite?
False
Suppose 0 = -14*r + 22029 + 31829. Is r a composite number?
False
Let r = 176 - 116. Let m(p) = -p + 5. Let z be m(7). Is 5828/r + z/15 a prime number?
True
Let j(f) = f**2 + 9*f + 2. Let p be j(-8). Let c(d) = d**3 + 6*d**2 + 4. Let n be c(p). Suppose n*a = 9*a - 515. Is a prime?
True
Let j be (3 - (-5)/(-2))*(-1 + 1). Suppose j = 3*a, 3*g - 2*a - 3447 = a. Is g a prime number?
False
Let g(r) = r**3 - 12*r**2 + 3*r + 2. Let i be g(12). Suppose -18 - i = -2*d + 4*j, 0 = 3*d - 2*j - 80. Is d composite?
True
Suppose -5498 = -f + 3*i, 4*f - 16529 = f + 2*i. Is f prime?
False
Suppose 19951 = 5*u + 3*i, 3*u - 4*i = 16904 - 4945. Is u prime?
True
Suppose -5 = -2*q + 9. Suppose n = q*n. Suppose 3*j = -4*d + 299, -4*j + n*j + 373 = 5*d. Is d a composite number?
True
Let p(t) = 2*t + 15679. Is p(0) a prime number?
True
Let t = 30 + -29. Is (-2)/4*t*(0 - 1574) a prime number?
True
Suppose -m + 680 - 7550 = -4*z, -2*m - 5155 = -3*z. Is z a prime number?
False
Let c = 146 + 252. Let h = c - 219. Is h a composite number?
False
Let k = 123 - 179. Let t = k - -135. Is t composite?
False
Let y be (-3)/2*40/(-15). Suppose 0 = y*n + n + 2125. Let z = -214 - n. Is z a composite number?
False
Let s(j) = 3505*j**2 + 16*j + 9. Is s(-2) a composite number?
False
Let n(l) = -258*l + 6*l**2 + 3 + 19 + 257*l. Is n(-7) composite?
True
Let q = 21711 - -17188. Is q a composite number?
True
Let p(m) = 0*m - 2 + 8*m - 7*m. Let o be p(2). Suppose 3*a + 480 = 5*h - 349, o = -h + 3*a + 161. Is h a prime number?
True
Is 3/1*1 + (-151816)/(-14) a composite number?
False
Let l(d) = -48*d - 3. Let q be l(2). Let u be q/(-36) - (-2)/8. Suppose 3*n = u*m + 1188, 3*n - 1187 = -0*n + 4*m. Is n a composite number?
False
Suppose 5*u = f - 18, -2*f + 1 = 5. Is -8 + (0/2 - u) - -351 a prime number?
True
Suppose 5*v = 2*t + 32436, 5*v - 3*v = -3*t + 12963. Let p = v - 2149. Is p composite?
False
Is (-350240)/(-64) + (-3)/2 a composite number?
False
Suppose -3*p + 10962 = -0*p. Suppose -5*g + 0*i - 3*i = -9103, 2*g - 2*i = p. Is g a composite number?
False
Let j(q) = 40*q - 6 + 3*q + 5 + 5. Suppose 0 = 5*f + 5*n, 0*f + 5*f + 4*n = 3. Is j(f) a composite number?
True
Let k be ((-3)/((-6)/8))/1 + -2. Suppose k*o = 3*y - 535, -3*o + 883 = 5*y - 2*o. Is y a prime number?
False
Let o(m) = -2*m**2 + 18*m - 20. Let k be o(8). Is (-879*3/(-36))/((-1)/k) composite?
False
Let c(r) = -r + 9. Let f be c(9). Suppose f = 3*x + 4 - 160. Suppose 2*y = 5*h - 159, 0*y + x = 2*h + 5*y. Is h a prime number?
True
Let q = 37679 - 19162. Is q prime?
True
Let r(b) be the first derivative of -398*b**2 + b - 2. Is r(-1) a composite number?
False
Let j = -548 + 969. Let b = -218 + j. Is b a composite number?
True
Let l be (9 - -133) + (-1 + 0)*1. Suppose l + 139 = 8*g. Is g a prime number?
False
Suppose -22*f + 4*l + 25061 = -19*f, 6*f - 2*l = 50146. Is f composite?
True
Suppose 4*s + 525 - 1365 = 0. Let j be (8/5)/((-2)/(-5)). Suppose -s + 974 = j*d. Is d prime?
True
Let f(p) = 6*p**2 + 7*p + 23. Suppose -q = -2*r - 23 + 5, 0 = -3*q - 6. Is f(r) composite?
True
Suppose -9060 - 31515 = -15*l. Is l a prime number?
False
Let h(a) = a + 16. Let b be h(14). Is 5/(-2)*(-1164)/b prime?
True
Suppose n = -n - 8. Let a(z) = 26*z**2 - 16*z - 9. Is a(n) prime?
False
Suppose -3*f = -8068 - 8801. Suppose 6*p = -1945 + f. Is p a composite number?
False
Suppose -4*t - 19094 = -2*x, 3*x = -3*t + 17799 + 10878. Suppose 0 = -a + 6*a + 10, 0 = -5*n + 5*a + x. Is n composite?
True
Let u(p) = -p - 1. Let t be u(-5). Let q = 21 + t. Is q a composite number?
True
Suppose -2*d - 5*z + 4485 = 3*d, -3*d - 4*z + 2687 = 0. Is d prime?
False
Let j(z) = -492*z - 1. Let i be j(-3). Suppose 3*s - 19 = 5*o - 3, 6 = -3*o. Suppose s*p - i = -3*p. Is p prime?
False
Suppose 305*u - 142056 = 281*u. Is u prime?
False
Let s be -1*(2 - (3 - -1)). Suppose 204 = 2*g - 4*c, 2*g - 5*c = -10*c + 195. Suppose 4*t + 3*o + s*o = 485, -t + 3*o = -g. Is t a composite number?
True
Suppose -d - 3*d = 2*g - 20, 0 = 5*d + 5*g - 35. Suppose 2*r - 689 - 1208 = -d*m, 2*m - 3*r = 1243. Is m a composite number?
True
Let g = 52 + 63. Is g composite?
True
Let t = -5848 - -9677. Is t a composite number?
True
Suppose 68*d + 53433 = 478229. Is d prime?
True
Let n = 9 + -2. Suppose -n*w + 105102 = 11*w. Is w a composite number?
False
Let u = 22123 + -9272. Is u prime?
False
Let q(f) = 2*f**2 - 12*f - 1. Let c = 17 - 8. Let a be q(c). Let x = a - -65. Is x prime?
False
Let w(u) = 6 - 1 - 2 - 4 - 7*u + 203*u**2. Is w(-3) composite?
False
Suppose 2*f - 4 = -2*f. Suppose -3*k - 2*h = -h - f, k + 3*h + 13 = 0. Suppose 4*q - 3*q = k. Is q prime?
True
Let i = -4 + 8. Suppose -i*g + 9*g = 5885. Is g a composite number?
True
Let z(k) = k**2. Let d be z(0). Suppose d = 5*y - 5*c - 1075, -y + 414 = y + 2*c. Is y a prime number?
True
Suppose -3*c = -2*u - 27488, -u = -2*c - 2*u + 18337. Is c a composite number?
True
Let k = 10 + -5. Suppose k*z - 844 = z. Is z a prime number?
True
Let j = -11 + 19. Suppose 7*x = j*x - 4151. Is x/35 + 4/10 prime?
False
Let o = -2478 - -5206. Suppose -2*a - 3*m + o = 0, -5*m + 6811 = 5*a - 2*m. Is a a composite number?
False
Suppose 6*r = 32*r - 3306914. Is r composite?
False
Let j(x) = 596*x**3 - x**2 - x. Let a be j(-2). Let w = a - -7475. Is w composite?
True
Let j(c) = 47*c + 1. Let h be -6*(5/(-3) + 2). Let v be (3/2*h)/(-1). Is j(v) a composite number?
True
Is ((-21597)/(-6) + 8/2)*2 prime?
True
Let j = 5 + -1. Suppose -132 = i + 4*w - 413, -j*i = -5*w - 1187. Is i prime?
True
Is 0 + 1 - 62868/(-4 + -9) a prime number?
False
Is 6044/16*(-2332)/(-11) composite?
True
Let y be (9/(-27))/((-1)/3). Suppose 2*f - 5 = -y. Suppose -235 = f*l - 7*l. Is l a prime number?
True
Let m(f) = 239*f**2 + 2*f + 1. Let z = -4 - -2. Is m(z) a composite number?
False
Let i = -54 - -54. Suppose -8*w + 2*w + 726 = i. Is w prime?
False
Suppose 4*v - 45836 = -24*v. Is v prime?
True
Suppose 22 = 4*b + 2. Suppose 1762 = b*c - 163. Let u = c + -254. Is u composite?
False
Let k = 2729 + -936. Is k a composite number?
True
Suppose 0 = 10*y - 15*y + 4*w + 107777, 2*y + 5*w - 43091 = 0. Is y composite?
True
Let r(o) = -1154*o**3 - 4*o - 5. Is r(-2) a composite number?
True
Let r be (-5232)/18 - (-2)/3. Let h = r - -477. Is h prime?
False
Let j = 9083 - 5620. Is j prime?
True
Is (-6)/2*174601/(-21) composite?
False
Let t = 64 + -62. Suppose -s - 3*s = -2*u + 20982, t*u = -4*s + 20998. Is u a prime number?
False
Suppose 162*j = 158*j + 10316. Is j prime?
True
Suppose -2*s + 1122 = s + m, 4*s = -m + 1496. Let l