 - 0*p. Is p a composite number?
True
Suppose h = -0*h. Suppose h = 2*w - 2*q - 10, 0 = -0*w - 2*w + q + 10. Suppose 4*n = -2*v + 26, w*n - 44 = -4*v + n. Is v a prime number?
False
Let j be (27/(-12))/((-6)/160). Let h = 118 - j. Is h a prime number?
False
Suppose -4*u - 8 = 4*z, 5*u - 5 = -2*z - 18. Suppose f = z + 42. Suppose -2*d = -3*q - 91, 5*d + 2*q - 232 = f. Is d prime?
True
Let y = 9 + -8. Let j(v) = 1 - 9*v + 19*v + 24*v. Is j(y) prime?
False
Let w be 28 + (2 - (1 + 0)). Let v be (w/2)/((-1)/(-2)). Suppose z = -g + 9, 0 = 5*g - 2*z - z - v. Is g a prime number?
True
Let y(d) = d**3 + 15*d**2 - 6*d + 11. Let i be (-282)/24 - 1/4. Is y(i) prime?
False
Suppose -7 = -4*p + 17. Is (-2)/6 - (-464)/p prime?
False
Suppose -w + 2*w = 7. Is w + 1 + 0 + -1 a prime number?
True
Suppose 2*w - 8 = 0, -5*w + 1065 = -2*r - 441. Let v = r + 1384. Is v a composite number?
False
Let p be 1/3 - (-28)/6. Suppose -6*o + p*o - 1 = 0. Is o + 1 - (-14 - -3) composite?
False
Suppose 8*y - 13449 = -3865. Is y a prime number?
False
Let n be 4*(-1)/(-2)*-1. Let s = n + 4. Suppose -s*o + 65 = -0*v + v, -3*o = 2*v - 132. Is v a prime number?
False
Let g(c) be the third derivative of 0*c - 1/8*c**4 + 13/60*c**5 + 0 - 1/2*c**3 - 3*c**2. Is g(5) composite?
False
Let v(u) = -16*u**3 + 3*u**2 - 7*u - 13. Is v(-3) composite?
False
Let o(p) = 17*p**2 + 2*p - 3. Suppose t = -2*w - 1, 3*t + 11 - 3 = -w. Let c(h) = -h**2. Let n(i) = w*o(i) + c(i). Is n(2) prime?
False
Suppose d - 3*c + 0*c = -8, -3*c + 7 = -2*d. Is 0/d + -1 - -14 a composite number?
False
Let d = 6 - 6. Suppose 2*b - 71 + 9 = d. Is b a prime number?
True
Let x(h) = h**3 + 3*h**2 + 2*h + 2. Let d be x(-2). Is ((-134)/(-2))/(d - 1) prime?
True
Let f(k) = k**3 - 8*k**2 - 4*k + 12. Suppose 3*r = -0*c - c + 12, -2 = -2*r. Is f(c) composite?
True
Suppose -3*j + 9 + 3 = -3*h, 0 = -h - 4*j + 16. Suppose h = -4*k + 229 + 711. Is k prime?
False
Suppose -4*t + p = -9*t + 184, -5*p = -5*t + 190. Is t a prime number?
True
Suppose 0 = -19*u + 24*u - 1645. Is u prime?
False
Let c(l) = -141*l + 4. Is c(-7) composite?
False
Let c(z) = -152*z - 21. Is c(-7) a composite number?
True
Suppose 0 = -j - 5*c + 18, 4*j + 2*c - 15 = j. Suppose 0 = -r - 4*f - 1, j*r - f - 4*f - 14 = 0. Suppose r*v = -10 + 157. Is v composite?
True
Is 399 - -4 - 0/(-1) a composite number?
True
Suppose -2*u + 975 = 5*x, 3*u + 490 = 4*u + 5*x. Is u a composite number?
True
Let c = -46 + 88. Suppose -4*k + c = -162. Is k prime?
False
Let c(v) = 0*v**2 + v**2 - v**3 + 0*v**3 + 55. Is c(0) prime?
False
Let v(q) = 5*q**3 - 9*q**2 - 29*q - 12. Let z(m) = m**3 - 2*m**2 - 7*m - 3. Let i(x) = 2*v(x) - 9*z(x). Is i(4) a composite number?
True
Let u(i) = i - 12. Let a be u(11). Is 223/(a - (-8)/4) prime?
True
Let l be (-524)/(-10) - 10/25. Let b = -30 + l. Is b prime?
False
Is 1256/24 - 2/(-3) a prime number?
True
Let a = -155 + 224. Is a prime?
False
Let a(t) = 6*t - 1. Let w(r) = r. Let c(f) = -a(f) + 5*w(f). Is c(-9) a composite number?
True
Suppose -17*x = -20*x + 573. Is x a composite number?
False
Suppose -4*i + 9379 = 383. Is i prime?
False
Let w(j) = 13*j**2 + 2*j - 7. Let f be w(-6). Let q = -264 + f. Is q a prime number?
False
Let r(k) = 143*k - 4. Is r(7) a prime number?
True
Let x(z) = z**3 - 4*z**2 + 4*z. Let o be x(3). Suppose -o*a + 12 = a. Suppose -3*r + s = -7*r + 533, 0 = a*s - 3. Is r a prime number?
False
Suppose c + 4 = 5*c. Let f be (-1)/(c + -1 - 1). Is -89*(-3)/3*f a composite number?
False
Let k be (4/(-10))/(2/(-10)). Suppose 26 + 258 = k*x. Let y = x - 63. Is y composite?
False
Suppose 958 = -0*j + j - 5*l, j - l = 978. Is j composite?
False
Let o(r) = 19*r**2 - r. Let a be o(-1). Suppose -4*k + 4*s = -a, -16 = -2*k - s + 5*s. Suppose -4*w + k*w + 46 = 0. Is w composite?
False
Let n(q) = 3 + 0*q**2 - q**3 + 0*q**3 + 2*q - 2*q**2. Let s = 3 - 6. Is n(s) a composite number?
True
Is (-354)/4*(-252)/54 a prime number?
False
Let a(r) = r**2 + 4*r - 7. Let b be a(5). Suppose w = 3*p - p + b, 5*w - 4*p - 190 = 0. Is w a composite number?
True
Suppose -5*c = -v + 34, -3*c = 4*v - 0*c - 44. Is v a prime number?
False
Let a = -10 - -15. Suppose -268 = b - a*b. Is b prime?
True
Let t be 1/5 - (-1038)/10. Suppose -2*r + 54 = -k, -k = -4*r + t + 8. Suppose 216 = 5*q - r. Is q a composite number?
True
Suppose -h + m + 10 = -2*m, -3*h - 4*m = 35. Let l(q) = -2 - q + 1 + 3. Is l(h) composite?
False
Suppose 920 + 716 = s + f, s = -2*f + 1635. Is s composite?
False
Suppose 5*a + 7320 = 3*o, -2*o - 3*a + 664 = -4197. Is o a prime number?
False
Let u = 11 + -23. Let p be (3/(-6))/((-2)/u). Is (37/3)/((-1)/p) a prime number?
True
Let j(x) = -2*x**2 + 12*x + 9. Let u(n) = n**2 - 11*n - 8. Let a(i) = -2*j(i) - 3*u(i). Let k be a(-9). Suppose -g + 7 = -k. Is g a composite number?
False
Suppose 59 = -2*r - 889. Is r/(-12)*(1 - -1) a prime number?
True
Is 2/7 - 70842/(-42) a composite number?
True
Let y = 1303 - 386. Is y composite?
True
Suppose -16 = 5*x - 116. Let q = x + 171. Is q a prime number?
True
Let b(y) = -8*y - 45. Is b(-11) a prime number?
True
Suppose 5*t - 4*t = 3*u + 2, -5*u = -t + 10. Let l = t - -13. Suppose -148 = -l*n - n. Is n a prime number?
True
Suppose 4*q - 5 = 11. Is (-8)/12*(-282)/q a prime number?
True
Let d be -5 + 0/(-3) + 2. Let g(c) = c**3 + 2*c**2 - c. Let m be g(d). Is m/(3*2/(-9)) composite?
True
Suppose 4 + 24 = 2*j. Is 402/21 - 2/j prime?
True
Let p(v) = 15*v - 5. Is p(6) a composite number?
True
Let v(t) = -t**3 - 11*t**2 - 10*t - 9. Let m(r) = -r**2 + r - 1. Let h(x) = -m(x) + v(x). Let j be (-19)/2 - 1/(-2). Is h(j) a composite number?
True
Suppose -4*k - 2*p + p + 2712 = 0, -5*p = -4*k + 2736. Is k composite?
True
Suppose -f + 341 = -4*s, 4*s = -f - 0*s + 365. Is f prime?
True
Let p(t) be the third derivative of 25*t**4/24 - t**3/2 + 2*t**2. Let w be p(-7). Let d = -99 - w. Is d a composite number?
False
Let z(c) = c + 2. Let v(h) = -h**2 - 9*h - 2. Let w be v(-7). Is z(w) composite?
True
Let d(q) = 17*q**2 - 37*q + 13. Is d(-15) a prime number?
False
Suppose -2*y + 7 - 3 = 0. Is 9/(-18) - (-119)/y a composite number?
False
Suppose d - 5*d + 40 = 0. Is d a composite number?
True
Let a be (-2 - -4)/((-6)/(-69)). Let k(v) = v**2 + 6*v + 1. Let b be k(-5). Let u = b + a. Is u composite?
False
Let q(c) = c**3 - 8*c**2 - 6*c + 9. Let h be q(9). Let z = h - 22. Is z composite?
True
Let z(j) = -j**3 - 10*j**2 - 5*j - 15. Is z(-11) composite?
True
Suppose 0 = 2*p - 5*p + 15. Suppose -296 = -4*a - 4*b, -334 = -4*a + p*b + 7. Is a composite?
False
Let d(g) = 4*g**3 - 1. Let s be d(1). Is (824/12)/(1/s) prime?
False
Let q(j) = j**3 - 3*j**2 - 5*j + 6. Let o be q(4). Suppose g + 2 = -f - 3*f, -4*g + 10 = -o*f. Is (-2)/((-4)/294) - g prime?
False
Let c = 4 - 12. Suppose -2*w + 92 = 4*p - 0*p, 3*p + 4*w = 79. Let t = c + p. Is t prime?
True
Let o be 3 - ((-12)/10 + 3/15). Let r be (-1*(2 + -2))/(-2). Suppose r = -6*u + o*u + 158. Is u composite?
False
Let k(q) = q + 1. Let h(t) = 2*t**2 - 10*t + 1. Let m = 0 - -1. Let j(n) = m*k(n) + h(n). Is j(-7) a composite number?
False
Let v(y) = y**2 + 3*y - 1. Let u be v(-4). Is 186 - ((-4)/1 + u) a prime number?
False
Suppose -n - 7 = -3*u - 2*n, -u = -4*n + 15. Let k = u + 0. Suppose -x - k + 11 = 0. Is x a composite number?
True
Suppose -3*u = -20 + 2. Let a = u - 13. Is 2 + (3/3 - a) prime?
False
Suppose 0 = -2*u - 2*u + 8. Suppose 0 = u*i - 2*x - 14, 2*i + 2*x - 2 = 0. Suppose i = g + g. Is g a composite number?
False
Let l(r) = 6*r**3 - 2*r**2 + 2*r - 1. Let g be l(1). Let c = 10 - g. Suppose c*b - b = 56. Is b composite?
True
Suppose 3*m = 6*m - 2*h - 749, 0 = m + 2*h - 255. Is m prime?
True
Suppose -z - 5 = -2*z. Suppose -4*i + z = i. Suppose -2*h = -3 - i, h = r - 111. Is r a composite number?
False
Let l = 1 - 0. Let o(t) = 3*t - 1. Let w be o(l). Suppose -5*u + 32 = 3*y - w*y, 110 = 3*y + u. Is y a composite number?
False
Let w(q) = 3*q + 9. Is w(4) a composite number?
True
Is 10/(-15) - (-14)/3 prime?
False
Let n be 309 - (-2 + 5 + -2). Let h = -181 + n. Is h a prime number?
True
Let k(p) = 23 - 5*p + 52*p - 22. Let u be k(2). Suppose -4 = i, -2*i + u = 5*h - 7*i. Is h prime?
False
Suppose 3*w = -w + 1924. Is w composite?
True
Suppose o = -i - 3*o + 9, -2*o = -i + 3. Suppose 0*n