a prime number?
True
Let r be -398 + 0/1 - -1. Is (r/2)/(3/(-6)) composite?
False
Let z(j) = 8*j**2 - 10*j - 7. Is z(9) a composite number?
True
Let c(v) = -v**3 + 2*v**2 + v - 1. Let s be c(-3). Let o be 390/35*(9 - 2). Suppose -k = -s - o. Is k a composite number?
True
Let x be 7 - 6 - 164/(-2). Let l = -46 + x. Is l a composite number?
False
Let u(b) = -b**3 - 9*b**2 - 5*b - 35. Is u(-10) a composite number?
True
Suppose -2*v = -4*v + 62. Suppose -4*l = -2*l - 30. Let k = v + l. Is k a prime number?
False
Let t = -878 + 560. Is 3/2*t/(-9) composite?
False
Suppose 5*k - 12 = 2*k + s, 5*s = 2*k - 21. Suppose 4*p - 2*b = 24, -k*p - 2*b - 11 + 29 = 0. Is ((-2)/p)/((-2)/402) a prime number?
True
Let q(p) = -16*p + 22. Let x(i) = 5 - 4 + 10 - 8*i. Let y(m) = -3*q(m) + 5*x(m). Is y(8) prime?
True
Let a(p) = p**3 - 6*p**2 - 6*p - 2. Let i be (13 + 1)*(-4)/(-8). Let z be a(i). Suppose 2*o + 165 = z*o. Is o a composite number?
True
Let m(y) = -2*y - 34. Let x be m(18). Let c = 479 - 342. Let d = x + c. Is d composite?
False
Suppose 0*g = -4*g + 1004. Is g a composite number?
False
Let g(h) = 3*h + 4*h - h**3 + h - 2 + 8*h**2. Let y be g(6). Suppose -5*w + 0*q + 5*q + 165 = 0, 0 = -4*w - 3*q + y. Is w a composite number?
False
Suppose 0 = -3*c + 3*r + 4404, -2*r + 3*r = 3. Is c prime?
True
Suppose 5*u = 4*k + 37, -u - k + 2 = -0. Suppose -764 = -3*b + z, -b - u*z + 250 = -3*z. Is b a prime number?
False
Let g be (-26)/(-5)*10/(-1). Let p = 88 + g. Suppose -2*s - 60 = -5*s + 3*x, 2*x = -2*s + p. Is s prime?
True
Suppose -2*v + 5*t = -454, 386 = 2*v - 2*t - 80. Is v prime?
False
Let n be (-56)/(-21) + 1/3. Suppose -n*o + 1644 = o. Is o composite?
True
Let g be (-2 + 3/(-6))*2. Is g/2*(-796)/10 composite?
False
Let s = -271 - -3918. Is s a prime number?
False
Suppose -2*n + n - 11 = -t, 5*t - 31 = -n. Let l = t + -4. Suppose -l*a = -4*a + 19. Is a a composite number?
False
Let y(u) be the second derivative of u**4/4 + 7*u**3/6 - 2*u**2 + u. Let h be y(-8). Let c = h - 67. Is c prime?
False
Let n(w) = -w**3 - 6*w**2. Let t be n(-6). Suppose t = -3*l + l. Suppose -y - 19 - 16 = -5*i, l = 3*i - y - 23. Is i a composite number?
True
Let i(k) be the first derivative of -k**5/12 + k**4/6 - k**3/3 + 2. Let z(m) be the third derivative of i(m). Is z(-3) a prime number?
False
Suppose -5*o + 8019 - 2313 = 4*z, -o + 5*z = -1118. Let r = o - 669. Is r composite?
True
Is 18888/10 - (-1)/(-5)*-1 a composite number?
False
Let i = 132 + -51. Let t = 212 - i. Is t composite?
False
Suppose -m - 4 = -3*m. Suppose -6*t + m*t + 76 = 0. Is t a prime number?
True
Let m = -99 - -167. Suppose -3*y + m = -106. Is y a prime number?
False
Suppose 0 = v + 3*v + 12. Let z be -2 + 3 + -6 + v. Let d(a) = -10*a + 11. Is d(z) a prime number?
False
Let q(a) = -44*a - 17. Is q(-5) a prime number?
False
Is (166/3)/((-5)/45*-6) a composite number?
False
Suppose 3*y = f + 2*f + 6, -3*f = 2*y - 9. Is ((-502)/6)/(y/(-9)) a prime number?
True
Let p be (-2)/7 + 32/14. Suppose -p*i = -i - 119. Is i a prime number?
False
Let q(t) = -2*t - 3*t**3 + 3 - t + 5*t. Suppose 3*r - f + 3 = 0, -3*r = -0*r - 5*f - 9. Is q(r) prime?
True
Let k be ((-8)/14)/((-10)/35). Is (-37)/(k + 15/(-7)) prime?
False
Is (-1114)/(5*((-48)/20 + 2)) composite?
False
Let b be -90*4/(-9 + 1). Suppose -2*m + b = -65. Is m a composite number?
True
Suppose -1401 = j - 4*j. Is j a prime number?
True
Is 1 - 318*3/(-3) a composite number?
True
Suppose -2*r - 3*t = -t - 10, 0 = 2*r + 3*t - 15. Suppose r = u + u - 420. Suppose u = 3*j + 51. Is j a prime number?
True
Suppose -3*h - 1 = 2*v - 4*v, -5*h = -4*v + 5. Suppose 0*p + 5*p - 107 = t, -v*p - 2*t = -116. Is p prime?
False
Let z be (2 - 5) + (32 - -1). Suppose -3 = 3*v - z. Is v a prime number?
False
Let m be (132/9)/(-1)*-18. Let o = m + -18. Suppose -5*l = 81 - o. Is l a prime number?
False
Suppose z + 1173 = 6*z - 4*o, -3*z + 697 = o. Is z composite?
False
Let q(p) = p**3 - 10*p**2 - 11*p + 1. Let v be q(11). Let s(y) = -y**3 - y**2 + 2. Let i be s(0). Is v*50 - (-2)/i prime?
False
Suppose c - 2*b = b + 154, -5*c - 5*b + 830 = 0. Is c composite?
False
Suppose 24 = n + y - 52, 4*y + 288 = 4*n. Is n a composite number?
True
Let y = 17 - -20. Is y composite?
False
Let z(u) = -u + 12. Let d be z(10). Let m(t) = -2*t**2 - 1. Let o be m(d). Is -194*(o/(-6) + -2) a composite number?
False
Let t = -118 - -195. Is t composite?
True
Is (-5)/(2/2*3/(-69)) prime?
False
Suppose -4*f = -20, 4*u - 41 = -3*f - 2*f. Let x(t) = t**2 - 2*t - 4. Let a be x(u). Let g(n) = -n**3 + 5*n**2 - 3*n + 3. Is g(a) prime?
True
Suppose -6*l + 2085 = -l. Let j = l + -189. Let f = j - 163. Is f composite?
True
Let l(f) = -251*f + 4. Let j be l(-6). Let c = -2136 + j. Is c/(-18) - (-10)/45 a prime number?
False
Suppose d - 41 = -6. Is d a prime number?
False
Is (0 + 0)/(-1) - -119 composite?
True
Let z = -64 - -107. Let w = z + -89. Let k = -11 - w. Is k prime?
False
Let c be ((-14)/(-4) + -3)*-2. Is 1*(-278)/(2/c) a composite number?
False
Let l = 11 + -14. Is 62 + (0 - l)*-1 prime?
True
Suppose d - 16 - 6 = -3*u, -2*u + 2 = 0. Is d a prime number?
True
Let z = 1981 + -1160. Is z a prime number?
True
Suppose 0 = 2*k + h - 65, -4*k + h + 15 + 106 = 0. Is k a composite number?
False
Let b be 2 + (0 - (-4)/2). Suppose -l - 472 = -b*s, -4*s - 2*l = 3*l - 496. Is s composite?
True
Suppose -5*t - 4 - 6 = 0, -289 = -k - 5*t. Let p = 636 - k. Is p composite?
False
Let z(j) be the second derivative of 2*j**4/3 - j**3/3 - j**2 + 2*j. Is z(-2) a prime number?
False
Suppose -2*z - 3*p + 931 = -4*p, -1414 = -3*z - 2*p. Suppose 0 = -y + 5*y - 80. Is z/y + (-2)/5 a composite number?
False
Let n = 956 + -595. Is n composite?
True
Let v = 70 - 17. Is v composite?
False
Let h = 14 - 25. Let b = h - -25. Is b a prime number?
False
Let v(w) = 75*w**2 - 4*w. Let h be v(5). Suppose -5*o - 2*q = -q - h, 4*q = -3*o + 1113. Is o a composite number?
True
Let w be (-4)/18 - 202/(-18). Let k = -1 + 3. Let c = w + k. Is c composite?
False
Let f = 198 - 92. Suppose 257 = -0*g + 4*g + 5*i, 2*g = 2*i + f. Is g prime?
False
Let k = -14 - -7. Is 1*k*(-4 - -2) composite?
True
Is (-14)/(-1)*(-1203)/(-6) a composite number?
True
Suppose -5*w + 16 = -44. Suppose w = s - 26. Is s a prime number?
False
Suppose -x + 5*c - 2 - 4 = 0, 2*x = 2*c - 28. Let h be (x/20)/(1/5). Is (44/8)/((-2)/h) a prime number?
True
Suppose -7 = -2*c + c - n, 4*c + n - 28 = 0. Is 2/c + 2031/21 a composite number?
False
Let f(r) = -r**2 - 10*r - 10. Is f(-3) composite?
False
Let b be 10/(-25) - 36/10. Let i = b + 11. Suppose 4*m - 302 = 2*x, -3*m + i*m = -3*x + 317. Is m a composite number?
True
Let x(d) = 5*d - 5*d - 4 + 5*d + 8*d**2 + 0*d. Is x(3) a prime number?
True
Suppose -20 = -3*y - 8. Suppose -y = -2*c - 0. Is (-1150)/(-15) - c/(-6) a prime number?
False
Is -3 + 228 - (-4)/(-2) composite?
False
Is (-6)/4 - (-957)/6 a composite number?
True
Is ((-2047)/3)/((-1)/3) prime?
False
Let j(y) = -22*y**3 - 6*y**2 - 2*y - 5. Is j(-4) composite?
True
Let m(w) = -w + 3. Let o be 2/1 + (-1 - 10). Let u be m(o). Suppose j = -5 + u. Is j a prime number?
True
Let u(z) = 8*z**2 + 6*z - 2. Let r(i) = -2*i**2 - 1 + i + 5*i**2 - 2*i**2. Let a(t) = -r(t) + u(t). Is a(-4) prime?
False
Suppose -5*c + 3 = 13, -5*m - c + 48 = 0. Let w = 3 - m. Let v = w - -28. Is v a composite number?
True
Let s(f) = -70*f**2 + 1 - f**3 + 6*f + 74*f**2 - f**3. Is s(-4) composite?
True
Let w be 28/(-12) - 2/3. Let d(a) = 5*a + 9*a**2 - 1 - 2*a + 0. Is d(w) a composite number?
False
Let g = 1144 - 729. Is g a prime number?
False
Let w(g) = 3*g**3 - g**2 + 2*g - 2. Let n(d) = d**2 - d + 1. Let o(x) = 3*n(x) + w(x). Let p = 27 - 25. Is o(p) prime?
True
Suppose -2*h + 188 = -3*d + 5*d, 0 = d + 4. Suppose -3*j + 149 = b - 2*b, h = 2*j - b. Is j a composite number?
True
Suppose -4 = 4*y - 0, -5*c + 3*y = 12. Let q = c + 3. Suppose 3*t - 147 - 12 = q. Is t a composite number?
False
Let n = 5 - 2. Suppose -m = -4*m - n. Is m - -3 - (-30 + -1) prime?
False
Let c(f) = 260*f**2 + 5*f + 1. Let h be c(-2). Suppose 1720 = 3*j - h. Is j prime?
False
Let x be 4/10*(4 + 1). Suppose 2*j = -x*s + 54, 2 = -s - 2. Is j a composite number?
False
Suppose 3*i - 1834 = -4*x, i + 3*i - x - 2439 = 0. Suppose a = -a + i. Is a compo