 - -61. Is h prime?
True
Suppose 5*p = -2*g + 1020 - 38, 4*g = 3*p + 1964. Is g a prime number?
True
Suppose 10 = 5*w, -5*j + 1028 - 93 = 5*w. Is j a composite number?
True
Suppose 2*z - 3*z = -2. Let w(l) = 31*l**2 + 3*l - 3. Is w(z) a prime number?
True
Let z(r) = r**3 - 4*r**2 - 7*r + 7. Let j be z(5). Let h = 5 + j. Suppose -91 = -5*x - h*y, -3*y - 99 = -5*x - y. Is x composite?
False
Is -82*14*(-3)/12 composite?
True
Let a = 9 - 6. Suppose q = -a*q - 88. Let d = q + 59. Is d a prime number?
True
Suppose 3*f = -2*a + 5*f + 324, f = 5*a - 814. Is a a composite number?
False
Suppose 0*z - 273 = -3*z. Is z prime?
False
Let h be ((-10)/(-4))/((-4)/(-8)). Suppose -1302 = h*a - 2*l, 3*l + 540 = -2*a - l. Is 6/4 + a/(-4) a prime number?
True
Suppose 3*m + 12 = 0, 0*r - 2*r - 3*m + 162 = 0. Is r composite?
True
Let w(r) = -3 - 2 + 1 + 0 - 126*r. Is w(-5) a prime number?
False
Suppose -4*k = -5*j - 9*k + 1990, 4*k = -3*j + 1191. Is j a prime number?
True
Suppose 3*w - 9 = 3. Suppose 0 = 2*r - 2*i + 14, 2*r + i - 7 = -w*i. Let u(v) = -v**3 - 2*v**2 + 5*v - 1. Is u(r) prime?
True
Let f(r) = 4*r**2 - 3*r - 10. Let n(o) = 6*o**2 - o. Let s be n(-1). Let k be f(s). Suppose 2*g - 185 - k = 2*u, -u + 356 = 2*g. Is g a prime number?
False
Let s be (-2)/(-2 - 16/(-12)). Let o(z) = z**3 + 4*z**2 - 2*z - 3. Let b be o(-4). Suppose -4*c + s*p - 7 = -b*c, 0 = -3*p. Is c prime?
True
Let c(i) = 4*i**3 + 5*i**2 - 2*i - 6. Let p(d) = -2*d**3 - 2*d**2 + d + 3. Let o(g) = -2*c(g) - 5*p(g). Is o(4) a composite number?
True
Let k(j) = -115*j. Let n(f) = f - 5. Let m be n(4). Is k(m) a composite number?
True
Let j(y) = -85*y**3 - y**2 - 2*y - 1. Is j(-1) a prime number?
False
Let s(w) = 710*w**2 - 6*w + 9. Is s(-4) composite?
False
Suppose -2*p - 5*o - 533 = 0, -6*o + 2*o = 2*p + 536. Let z = p + 485. Is z a composite number?
False
Let a be -2*446/4*-1. Suppose a = 4*q - 133. Is q a composite number?
False
Let w = 73 + -55. Suppose 2*o = -o - 15. Let s = w - o. Is s composite?
False
Let t(i) = i**3 + 8*i**2 + 6*i - 3. Let w be t(-7). Is (-470)/(-2) - (w + -2) composite?
False
Let l(w) = -160*w + 5. Is l(-11) a prime number?
False
Let k(b) be the third derivative of b**5/60 - b**4/6 + b**3/2 - 3*b**2. Let n be k(4). Suppose 0 = -n*q + 3*f + 555, -2*q - 2*q + 740 = f. Is q composite?
True
Is 18/4*(-222)/(-9) a composite number?
True
Let d be -74*(-3 + (-5)/(-2)). Is 4/(3 + -5) + d prime?
False
Let c(j) = 5*j**2 + j - 1. Let i be c(1). Let f = i + 32. Is f a composite number?
False
Let r(j) = -j**2 + 7*j + 2. Let m = 13 + -6. Let o be r(m). Suppose -5*y + o*y - 4*c + 29 = 0, -3*y = -3*c - 57. Is y composite?
True
Suppose -6*m = -2*m - 88. Is m prime?
False
Suppose -3*p = -0*p + 3*t - 888, -1500 = -5*p + 5*t. Suppose i = 3*i - p. Is i a composite number?
False
Let z(u) = 3*u**3 + 5*u**2 - u - 3. Let l be z(5). Let k = 218 - 561. Let p = l + k. Is p composite?
False
Let o = 20 + -14. Let r(k) = -4 - 2*k + o*k**2 + 3*k - 2*k**2. Is r(3) prime?
False
Is 1*(-2 - (-1017)/3) a composite number?
False
Let i = -4 + -55. Let u = 106 + i. Is u prime?
True
Is ((-1393)/(-21))/((-1)/(-3)) composite?
False
Suppose 4*v + 14 = -14. Let y = v + 9. Is 110/15*15/y a prime number?
False
Let x = -6 - -10. Let h = 13 + -6. Suppose -33 = x*p - h*p. Is p a composite number?
False
Let g = 10 - 6. Suppose -g*d - 34 = -5*d. Is d composite?
True
Let y(w) = -36*w**3 + 5*w**2 - 4*w + 4. Let z(h) = -36*h**3 + 4*h**2 - 3*h + 3. Let g(f) = -3*y(f) + 4*z(f). Is g(-1) prime?
True
Suppose 0 = 3*b - 8*b + 15. Suppose g = 3*g, -b*g = -2*l + 446. Is l a composite number?
False
Suppose k = 3*k - 2. Let w be -3 + 0 - -8 - k. Is (655/10)/(2/w) composite?
False
Let g = 24 + 177. Let z be ((-2)/1 - -2) + 2. Suppose z*m + m = g. Is m prime?
True
Let p be (3 + 24)*(2 - 1). Suppose 3*a - 6*a = -p. Is a prime?
False
Let j be 159/(-6*(-2)/8). Let n = j - 69. Is n prime?
True
Suppose 2*g = -3*g + 6685. Is g a composite number?
True
Let s(h) = h**2 - 11*h - 4. Is s(14) a prime number?
False
Let r be (55/2)/(2/4). Suppose 4*z = -m + r, -4*m + 220 = -0*m + 2*z. Suppose -t = -24 - m. Is t a prime number?
True
Let d(y) = 28*y - 17. Is d(12) composite?
True
Let w(v) = 5*v**2 + 4*v + 1. Let y(m) = m**2 - 8*m + 2. Let c be y(7). Is w(c) prime?
False
Let r(u) = 68*u - 1. Let p(m) = 23*m. Let y(q) = 7*p(q) - 2*r(q). Is y(5) composite?
False
Let u(j) = -j**3 - 5*j**2 + 4. Let z be u(-5). Suppose 4*b = z*v + 4184, 2071 = -0*b + 2*b + 5*v. Is b prime?
False
Let l be 0 - (1 - -2 - 4). Is (282/8)/(l/4) composite?
True
Let d = 70 - 17. Is d prime?
True
Let g = 50 - -77. Is g a composite number?
False
Let l be 31 - ((-6)/3 + 2). Suppose 2*h + 107 = 3*s, 0 = s + 3*h - 6*h - l. Is s composite?
False
Suppose -3*l + 46242 = 4*l. Is l/27*6/4 composite?
False
Let x = -459 + 1312. Is x prime?
True
Let j(i) = i + 37. Let n = -3 + 3. Suppose n*a - a = 0. Is j(a) a composite number?
False
Is (-288)/(-11) - 28/154 a composite number?
True
Let t = -3 - -5. Suppose 4*z - n - 105 = 0, 0 = -3*n - 1 - t. Is (-3)/(-6)*z + 1 a prime number?
False
Let g be 6*((-24)/(-9) - 2). Suppose g*r - 3 = -7. Is 2 - 3*r*11 a prime number?
False
Let x(p) = -123*p + 4. Is x(-1) a prime number?
True
Suppose -b + 5*s = 0, -b + 0*s = -2*s - 3. Let u(k) = 7*k**2 + 8*k - 12. Is u(b) a prime number?
False
Suppose 2*b - 5 = -13. Let x be (2/2)/(b/(-28)). Let q(z) = z**3 - 7*z**2 + 10. Is q(x) a prime number?
False
Let b be 39/(-26)*2/(-3). Let v(z) = 49*z**2 + 1 - z - 2*z**2 + 0. Is v(b) composite?
False
Suppose -x + v = 3*x - 108, 0 = -5*x + 5*v + 135. Let m = x + -8. Is m a prime number?
True
Suppose -57 = -7*w + 181. Is w prime?
False
Let o(m) = 10*m**3 - 7*m**2 - 6*m + 2. Is o(9) a prime number?
False
Let l = 19 + -12. Let m = l + -169. Is -3 - m - (1 - 3) a prime number?
False
Suppose 0 = 4*m - 3*m. Suppose -2*i - 5*l = -1383, 674 = i - m*l - l. Is i a composite number?
True
Suppose 0 = 4*c - 5*l + 4, 3*c = c + 2*l. Suppose -c*t + 55 = t. Is t prime?
True
Let f be (-1)/((-3)/6 - 0). Is ((-133)/14)/(f/(-12)) a prime number?
False
Suppose 5*h - 61 - 154 = 0. Suppose 0 = 5*j - l - 65, -4*j - 4*l = -3*l - h. Suppose 2*f = -u + 21, 0*u = -f - u + j. Is f prime?
False
Let p = 11 - 11. Suppose -a + 79 = -3*k, p*k = -k + 2. Is a a prime number?
False
Let t(l) = l**3 + 5*l**2 - 3*l - 2. Let j be t(-5). Let p(d) = 8*d. Let a be p(6). Let v = a - j. Is v a composite number?
True
Let h(a) = 162*a - 1. Let i be 1/(2 + -1 + 0). Is h(i) a composite number?
True
Let w = 2 + 0. Suppose w*l = -l - 12. Let z(b) = -b + 2. Is z(l) a prime number?
False
Let x(u) = 7*u**2 - u + 7. Is x(-6) composite?
True
Suppose -v = -o + 88, -5*v - 3*o + 162 - 618 = 0. Let b = v - -643. Is b prime?
False
Let h = 2 + -3. Let n be (h/4)/((-1)/4). Is (-635)/(-30) - n/6 a composite number?
True
Let t(p) = -p**3 + 4*p**2 + 25*p + 15. Is t(-10) composite?
True
Let m = 12 + -5. Let g = 9 - m. Suppose -5*z + 3*n - g*n + 52 = 0, -49 = -5*z + 2*n. Is z prime?
True
Suppose -5*b + 28 + 7 = 0. Suppose -4*c + 4*r = -c + 11, -b = 3*c - 5*r. Is (-822)/c - 2/6 a composite number?
True
Let z be -1*1 + (9 - -236). Suppose z = 2*t - 182. Is t composite?
True
Let k = -230 - 187. Let d = k + 618. Let v = d - 116. Is v a prime number?
False
Let d = 0 - -2. Let t(u) = 22*u. Let v be t(d). Suppose g - v = 45. Is g prime?
True
Let q(x) = 17*x**2 - x - 1. Is q(2) a prime number?
False
Suppose h - 3*h - 12 = 0. Let t be (16/h)/(2/(-57)). Suppose t = -3*a + 7*a. Is a composite?
False
Let a(q) = 3*q**2 + 20*q. Let t be a(-14). Let z = t + -129. Is z a composite number?
False
Let z(f) = 6*f**2 - 5*f - 2 - 5 + 0. Let a be z(5). Suppose -4*q = -2*q - a. Is q composite?
False
Is (-3)/(0 - -3)*-331 prime?
True
Let x(t) = -124*t - 1. Suppose 0 = 2*g - 3*u - 2, g + 9 = -4*u - 1. Is x(g) prime?
False
Suppose -5*t + 5*y = -35, -3*t - 2*y = -3*y - 11. Suppose -173 = a + t*u, -5*a = u + 4*u + 845. Let h = a + 251. Is h composite?
True
Let s(k) = k**2 + 3*k - 5. Let m(l) = -2*l + 8*l - 4*l - 12. Let i be m(9). Is s(i) a composite number?
True
Suppose 2*v - 10 + 134 = 0. Is 2*(v/(-4) - -3) composite?
False
Suppose -4*b - s - 16 = -40, 5*b - 2*s = 17. Suppose b*m - 3085 - 720 = 0. Is m a prime number?
True
Let v = -76 + -6. Let g = v - -209. Is g a 