80 = 0. Is z a prime number?
True
Let j = 18 - -1. Let s = -4 + j. Is s composite?
True
Suppose 0 = 2*l - 7*l + 15. Suppose -l*j = -j + 8. Is (-2852)/(-12) - j/(-6) a composite number?
True
Suppose 0 = -4*k - 631 - 1325. Let l = k - -1606. Is l composite?
False
Is (-74)/(-8)*-4*11*-1 a prime number?
False
Let o be -13 + ((-3)/1 - -1). Let q be 0 - 3/(9/o). Suppose 23 = q*x - 7. Is x composite?
True
Let d(q) = q + 18. Let a be d(-11). Let v = 8 + a. Is v a prime number?
False
Let l be -1*(3 - -1)/(-1). Suppose 0 = -d + 3*g - 5, 3*d + l*g = 6*g - 1. Is (6 + (-1 - -2))/d prime?
True
Let w = -6 + 2. Let z(f) = -f**3 - 4*f**2 - 1. Let p be z(w). Let b = 68 + p. Is b composite?
False
Let f(m) = -3*m + 3. Let y(z) = -13*z + 11. Let k(x) = 9*f(x) - 2*y(x). Let c be k(5). Suppose 2*i + 198 - 728 = c. Is i prime?
False
Is 404 + (0 - -3) + 0 composite?
True
Suppose 5*a - 13 = 27. Suppose 5*r = 7 + a. Suppose 0 = r*o - 84 - 75. Is o prime?
True
Let z(q) = -105*q - 3. Let l(o) = 35*o + 1. Let b(u) = -8*l(u) - 3*z(u). Let p be b(1). Let m = -21 + p. Is m prime?
False
Let d = 24 + -55. Let y = d + 21. Let s = 17 + y. Is s composite?
False
Let r(y) = 51*y + 5. Is r(4) a prime number?
False
Suppose 4*r + 2*p = 570, 2*p - 358 = 5*r - 1093. Is r composite?
True
Let a = 1 + 147. Suppose -407 = -5*m + a. Suppose -5*t - m + 676 = -3*z, 452 = 4*t + 3*z. Is t a prime number?
True
Let y(d) = -36*d**2 + 2*d + 1. Let a be y(-1). Let p(z) = z**3 + 8*z**2 + 7*z + 2. Let k be p(-7). Is (4 - k)/((-2)/a) a composite number?
False
Let t(c) = -4*c - 1. Let y(s) = s**2 + 10*s - 14. Let z be y(-11). Is t(z) a prime number?
True
Let z = 48 + -20. Suppose -5*a + v = -v - 27, 5*a = 3*v + z. Suppose 149 - 564 = -a*s. Is s composite?
False
Let a(p) = 2*p**3 - 8*p**2 + 7*p. Suppose -3*h + 33 = 3*r, -2*r + 50 = 2*r - 2*h. Let x = -7 + r. Is a(x) composite?
True
Let q = 4 + 0. Suppose 9*j + 20 = q*j. Let f(u) = u**3 + 6*u**2 + 4*u + 5. Is f(j) a prime number?
False
Suppose -2*u - 3*u - 10 = 0. Let n(q) = q**2 + 2*q + 2. Let r be n(u). Suppose -166 = -4*w - r*k, -2*w + 4*k + 12 = -46. Is w a composite number?
True
Let x be ((-7)/(-21))/((-1)/(-15)). Suppose 3*b - 58 = -2*n, -x*n - 5*b + 201 = 66. Is n a prime number?
True
Let i(x) = -x**3 - 5*x**2 + 5*x - 8. Let q be i(-6). Let p be q + (-1)/1 + 3. Suppose p = r + 2*r - 111. Is r a prime number?
True
Suppose -3*y - g = g - 1405, -4*y - 5*g + 1864 = 0. Is y a prime number?
False
Is 756/15 + 4 - 3/(-5) prime?
False
Suppose -2*u = u - d - 7, 4*u + 4*d - 36 = 0. Suppose 4*b - u*s = 16, -5 + 1 = -b - s. Suppose a + b*a = 175. Is a prime?
False
Let a be 4/(-16) - 1837/(-4). Suppose -4*h + a = -121. Is h prime?
False
Let o(n) = n**2 + 91. Let p = -10 - 0. Let d = 10 + p. Is o(d) prime?
False
Is (-1507)/(-3 - -1 - 1 - -2) a prime number?
False
Is -346*(19/(-2) - -4) prime?
False
Let x(a) = -a**3 + 18*a**2 - 18*a - 15. Is x(8) a prime number?
False
Let l(a) = -a**2 + 35. Let n(v) = v**3 + 8*v**2. Let m be n(-8). Let d be l(m). Suppose d = -0*x + x. Is x prime?
False
Let n = 8 - 14. Let r be (5 + n)/(1/23). Let h = -16 - r. Is h prime?
True
Suppose -2*s - 3*m = -21, 4 = -s + 3*m + 1. Let w(v) = -v + 5 - s*v - 3*v. Is w(-5) prime?
False
Let v be 9/2 - 2/4. Suppose -o = v*i + 3 + 12, 0 = -2*o - 2*i - 6. Is 4 - 7 - (o + -18) prime?
False
Let n(y) = -1307*y. Let z be n(-2). Is 4/(-18) + z/18 a prime number?
False
Let x = -3 - -5. Suppose x*y = 4*y - 156. Suppose c + c - y = 0. Is c prime?
False
Let d(x) = -27*x**2 - 2*x - 3. Let w be d(6). Let m be 1/3 - w/9. Suppose y + y = m. Is y prime?
False
Suppose -2*w = w - 6. Suppose -s = n + 16, -s - 5*n = w*s + 52. Is (-766)/s - (-8)/28 a prime number?
False
Is 2 - -14*59/2 prime?
False
Let p be (52 - (-1 - -1)) + 1. Let j = p + -22. Is j a prime number?
True
Let j be 22/8 - (-2)/8. Suppose -s + j*s = 674. Is s prime?
True
Let a = 144 - 10. Is a a composite number?
True
Suppose 2 - 12 = -2*j. Let w = j - 5. Suppose -268 = -w*r - 4*r. Is r a prime number?
True
Let p(n) = 18*n**2 + 2*n - 7. Suppose -4 = 2*r + 2. Is p(r) a composite number?
False
Let l(m) = -631*m**3 - m**2 + 1. Is l(-1) composite?
False
Is (-1)/(4/16408*-2) composite?
True
Suppose -2*l = -2*y - 0*y - 42, 5*l = y + 33. Let r = y + 55. Is r composite?
False
Let a be ((-4)/1)/(6/(-381)). Suppose -2*i + i + a = 0. Suppose 5*v = k + 277, 5*k - 24 = 4*v - i. Is v prime?
False
Let w(s) = -15*s**2 - 9*s - 5. Let u(c) = 14*c**2 + 8*c + 4. Let d(m) = 6*u(m) + 5*w(m). Is d(3) prime?
True
Suppose -2*t + 9 = 2*t + n, 2*t + 23 = 5*n. Suppose 4*q + t = 3*q. Is ((3 + -40)*1)/q a composite number?
False
Let g = 13 + -11. Is (2 + -1)/(g/402) a prime number?
False
Suppose -3*l + 3*s = 9, 3*l + 3 = -s + 2*s. Suppose l = -3*i + 2*i. Suppose i = -r + 4 + 3. Is r prime?
True
Let b(c) be the first derivative of -25*c**2/2 - 6*c - 1. Is b(-5) composite?
True
Let x = 396 + -227. Is x prime?
False
Suppose -3*i + 28 = 2*p - p, -2 = i. Is 1 - (p/(-2) - 1) a prime number?
True
Suppose 0 = 5*v - 630 + 65. Is v prime?
True
Suppose -3*w - 2*i = 2990, -2*w - 1992 = 4*i - 3*i. Is 2 + w*(-1)/2 a composite number?
False
Let f(n) = 45*n**2 - 15*n + 11. Is f(6) a prime number?
False
Suppose -5*z - 4*a = -3*a - 535, 2*a + 202 = 2*z. Let o(m) = -m - 1. Let x be o(-5). Suppose x*b - 42 = z. Is b composite?
False
Let d(j) = j**2 - 6*j + 6. Let q be d(6). Is 7/14*37*q a composite number?
True
Suppose 6*o = 2*o. Suppose -2*n = -2*p - o*n + 68, 5*n = -5*p + 180. Is p composite?
True
Let k(m) = -m**3 - 5*m**2 - 6*m - 5. Let j be k(-4). Is ((-3)/j)/(2/(-106)) prime?
True
Let t be ((-3)/3 - 4)*-1. Suppose -t*p = -10*p + 55. Is 405/p + (-6)/(-33) prime?
True
Let b(m) be the first derivative of m**2 - 5*m - 2. Let u be b(4). Is (-18)/(-1*u) - 0 composite?
True
Let c(w) be the second derivative of 0 + 2/3*w**3 - 1/6*w**4 + w - w**2 + 3/10*w**5. Is c(2) a prime number?
False
Suppose z + s = 4*s + 127, -3*s + 97 = z. Let b = z - 78. Is b composite?
True
Let w = 605 - 394. Is w a composite number?
False
Suppose -5*m + 5*k - 1 = 4, -3*m - k = 23. Let p(q) = -9*q - 7. Is p(m) a prime number?
True
Suppose -4*l = -4*a + 24, a - 6 = 4*l + 9. Let g(t) = 6*t**3 - 3*t**2 - 4*t + 4. Is g(a) a prime number?
True
Let t(g) = 7*g - 1. Let f = 18 - 10. Is t(f) prime?
False
Suppose -4*f + 18 = -14. Let z(k) = -3 + 4*k + 5*k + k. Is z(f) a composite number?
True
Suppose 4*q - 2*k = 2*q, 5*k - 8 = q. Suppose 0 = -5*h + 2*z + q*z - 419, 3*z + 163 = -2*h. Let b = h - -120. Is b composite?
False
Let f(y) = y + 2. Let j be f(0). Suppose -4*q + 319 = j*p - 5*q, -4*p - q + 647 = 0. Is p composite?
True
Suppose 0*c + 4*c + 2*n = 1010, -9 = 3*n. Is c prime?
False
Let m(r) = -r**3 - 10*r**2 - 10*r. Is m(-9) composite?
True
Is (0 - 2)/4*-1070 composite?
True
Let y be 1 + (3*10 - 0). Suppose -k + 2*p = -13, y + 13 = 3*k - 5*p. Is k a prime number?
True
Let d(j) = 2*j**2 - 15*j - 18. Let m(h) = 3*h**2 - 29*h - 36. Let s(a) = 5*d(a) - 3*m(a). Is s(-13) prime?
True
Let b be ((1/(-1))/2)/((-3)/(-12)). Let h(n) be the second derivative of -9*n**3 + n**2/2 + n. Is h(b) a composite number?
False
Let g(m) = -2*m**2 + 11*m + 2*m**2 - m**2 - 5 + 2*m**2. Is g(-12) composite?
False
Suppose -2*v = 5*c - 1447, 4*c = -3*v - c + 2168. Is v a composite number?
True
Suppose 4*v = -0*v + 80. Suppose -x - x = -v. Is x prime?
False
Let t = -9 - -6. Let c be 15 - t*3/(-9). Is 51/(c/4 + -2) a prime number?
False
Let r be (-2)/(-12) - (-119)/42. Let u = 7 + 3. Suppose r + u = b. Is b a prime number?
True
Let l(c) be the third derivative of 21*c**6/20 + c**4/24 - 4*c**2. Let a(z) = -z**2 + 3*z - 1. Let s be a(2). Is l(s) a prime number?
True
Let u(y) = y**3 + 2*y**2 + 3*y + 1. Let m be u(-2). Let c be (-1 + 7)/(m/30). Let b = c + 69. Is b a prime number?
False
Let l(c) = -4*c + 3. Let y be l(6). Let r = y - -60. Is r a composite number?
True
Let c be (-3 - -2)*(-807 - -1). Let l = -418 + c. Suppose -l - 96 = -4*f. Is f prime?
False
Suppose 0 = -m + 41 - 0. Let g = 232 - m. Is g prime?
True
Suppose -2*f = -8, 0*r + f = -2*r + 506. Is r a prime number?
True
Let y(k) = k**3 + 10*k**2 - 13*k - 1. Let s = -22 + 11. Is y(s) a prime number?
False
Suppose -3 + 5 = -h. Let z(a) be the first derivative of -15*a**4/4 - a**3/3 - 3*a**2/2 - 3*a + 8. Is z(h)