 = w*m, -5*x + 91 = -m + 3*m. Is x a prime number?
True
Suppose 36647 = 4*z + 9*z. Is z a prime number?
True
Let i(p) = p + 2. Let r be i(2). Suppose 2*z - r*z + 70 = 0. Is z a prime number?
False
Suppose 2*r + 0*r - 56 = 0. Suppose -w + r + 81 = 3*g, 4*w = -3*g + 103. Is g composite?
False
Let i = -35 - -63. Let n = i + -46. Let b = n - -55. Is b a prime number?
True
Let l(n) = 12*n + 5. Is l(5) a composite number?
True
Suppose -3*n = 2*n + 75. Is (-1722)/n + (-2)/(-10) prime?
False
Suppose 0 = 2*r - 3*g - g - 4098, r + 5*g - 2063 = 0. Is r composite?
False
Suppose 3*x - 262 = -5*o, 5*x - 2*o - 227 = 2*x. Is x prime?
True
Suppose -k = -2 - 2. Suppose 13 = k*b + 5. Is 61/4 - b/8 prime?
False
Suppose -c - 556 = -5*c. Is c a composite number?
False
Let r(o) = o + 10. Let v be r(-7). Suppose -d + 9 = -v*b, -4*b - 2 = -4*d + 10. Is b + 82 - (0 - 0) a prime number?
True
Let w be (2/(-6))/((-4)/24). Suppose 3*a + w = -m, 5*a - m = 3*m + 8. Suppose a*f + 85 = f. Is f a prime number?
False
Let j = 3 + -1. Let n be -1 + j + (-1 - 465). Is n/2*(-2)/3 a prime number?
False
Suppose c + m + 2 = 0, 3*c - 4*m - 15 = -0*m. Suppose 0 = -2*y - c + 13. Suppose -3*f = -3*o + 150, y = -f + 3*f. Is o prime?
True
Suppose 5*o = 2*b + 6, 2*o - 6*o + b + 6 = 0. Suppose m = -o*m + 447. Is m a composite number?
False
Let j = 151 + 40. Is j prime?
True
Suppose o = 5*l + 78, 4*o = -l + 249 - 21. Suppose 182 = 4*j + q + o, 5*q = -j + 31. Is j prime?
True
Let r(j) be the third derivative of j**5/5 + j**4/12 + j**3/6 + 2*j**2. Is r(-1) a composite number?
False
Let c = -2 - -3. Let i(z) = 42*z**2 + z. Let u be i(c). Let p = u - 8. Is p prime?
False
Let y = 12 + -2. Suppose q - 69 = y. Is q composite?
False
Let i(q) = -q**2 + 3. Let l be i(0). Suppose l*p - 5*v = 790, 1046 = 4*p - 2*v - v. Suppose 0 = 4*s - 2*z - p, -4*s + 4*z + 118 = -2*s. Is s prime?
True
Let k = 2981 + 5510. Is k a composite number?
True
Let b = -1197 - -2012. Is b a composite number?
True
Let u = -43 - -27. Is ((-6)/7)/(u/56) composite?
False
Let z(t) = -5*t + 2. Is z(-7) a prime number?
True
Suppose -3*k = 8*k - 2629. Is k prime?
True
Suppose l + 4*l + 4*g - 845 = 0, -3*l + 3*g = -507. Suppose -l = -4*k - a - 9, 5*k = -4*a + 211. Is k a composite number?
True
Suppose -9*o - 14253 = -41244. Is o composite?
False
Let p(x) = 3*x**2 + 4*x - 5. Is p(6) a composite number?
False
Let w(m) = -4*m - 1. Let z be w(-3). Let a = 2 + z. Is a prime?
True
Suppose c - 2 = 132. Is c prime?
False
Suppose 0*u + u = 0. Suppose 4*h - 71 = -j, 4*h + 3*j + 31 - 92 = u. Is h a prime number?
True
Let d(h) = -3*h**2. Let i be d(2). Let x be i/78 + 3982/26. Let r = 264 - x. Is r a composite number?
True
Suppose -5*l + 6 = -2*l. Suppose -4*c - 260 = -4*q, l*q - c - 135 = -5. Is q a prime number?
False
Let q(u) = -10*u**3 - u**2 + 2*u + 1. Let f be q(2). Let r = 37 - 79. Let l = r - f. Is l composite?
False
Let u(x) = 157*x**2 + 4*x - 5. Is u(2) a composite number?
False
Suppose -4*p - 5*l = -1619 - 3653, -3*p + 3*l = -3981. Suppose -2*n + p - 437 = 0. Is n a composite number?
False
Suppose 0 = c + 1 - 4. Suppose q = -c*q + 100. Is (q + -2)/(2/2) a prime number?
True
Let m be 4/(-18) - (-94)/18. Suppose 0 = -5*g + 5*k + m, 2*g + 3*k + 3 = g. Let n(i) = -i**2 + i + 87. Is n(g) prime?
False
Is (2 - -1)*(-356)/(-12) prime?
True
Let u be 314/3 + (-5)/(-15). Let b = 13 + u. Suppose 43 - b = -5*l. Is l a prime number?
False
Let o(n) = 4*n**3 + 1 - 9*n**3 - 3*n**2 + 7*n + 6*n**3 - 4. Is o(5) prime?
False
Suppose 2*l = 8 - 2. Let x be 7/l - (-6)/(-18). Suppose -x*b + 83 + 183 = 0. Is b composite?
True
Let l = 2 + -1. Let v be ((-5)/1)/(0 - l). Suppose 5*q - 41 - 84 = -5*g, 4*q - 104 = -v*g. Is q a prime number?
False
Let y = -112 + 78. Is y/(0 - 6/15) prime?
False
Let h(w) = 3*w**3 + 4*w**2 - w + 2. Let y be h(3). Suppose -2*j = 5*r + 21 - y, 5*r = -5*j + 95. Is r composite?
False
Let t be 597*((-15)/(-9) - -1). Suppose 0 = 2*d - 3*l + 1588, 0*l = 2*d - 2*l + t. Let o = -385 - d. Is o composite?
True
Suppose -a = -18 - 1. Is a a composite number?
False
Let y = 25 + -22. Let n(j) = 28*j**2 + 2*j - 1. Is n(y) composite?
False
Is ((-30)/(-9))/((-7)/(1092/(-8))) a prime number?
False
Suppose -2*a = -5*w + 2*w + 9, 5*a + 3*w = 9. Suppose a = -3*i - 3*r + 44 + 28, i - 5*r = 30. Is i a composite number?
True
Let n(a) = 1 + 2*a**2 + 4 + 2*a + 2. Let d = -2 - -8. Is n(d) composite?
True
Let j(p) = 7 + p + 28*p**2 - 1 - 2. Is j(-3) prime?
False
Let n = 3 - 3. Suppose 4*j - 4*d - 22 = -j, n = -2*j - 2*d + 16. Is j composite?
True
Let i = 20 - 18. Suppose -899 = -4*d - l - 133, -i*d + 374 = -4*l. Is d composite?
False
Let u be (6/4)/((-12)/(-56)). Let t = -4 + u. Suppose t*r - r = 370. Is r a composite number?
True
Let l be -3*(4/6)/1. Is (-1614)/(-10) + l/5 composite?
True
Let f(o) = o + 59. Is f(0) composite?
False
Suppose 4*f + 18 = 6*f + 2*u, -2*f + 15 = u. Is (f - -1113)*1/3 a prime number?
True
Suppose 3*a = -0*a + 555. Is a a composite number?
True
Let y = -52 - -939. Is y prime?
True
Let a = -1111 - -2104. Is a a prime number?
False
Let u be (9/(-12))/((-1)/4). Suppose -146 = u*a - 431. Is a composite?
True
Let o(a) = -52*a - 7. Let m(w) = -155*w - 20. Let k(n) = 4*m(n) - 11*o(n). Is k(-3) a prime number?
False
Let q = 79 - 55. Let r(x) = 2*x + 1. Let o be r(2). Suppose -o*d - q = -194. Is d composite?
True
Let j(w) = w**2 - w + 1. Let l(x) = -5*x**2 + 11*x - 3. Let g(r) = 6*j(r) + l(r). Let h be g(-5). Suppose -7*c + 220 = -h*c. Is c a prime number?
False
Suppose 3*y + 0*y - m = 161, 4*m = y - 61. Is y composite?
False
Let k = 1 - 2. Let g be (1 + 1 - k) + -21. Let c = 15 - g. Is c composite?
True
Suppose 0 = -5*x - a + 49, 0 = 4*x + 2*a - 33 - 11. Let j = 114 + -44. Let c = j + x. Is c prime?
True
Suppose 0 = -10*j + 2730 + 2060. Is j composite?
False
Let p = 334 + -228. Let k = p - 57. Suppose -w + k = 3*i, 0 = -0*i + 5*i. Is w a composite number?
True
Suppose -z - 6 = 4*o, z - 5*o + 51 = -z. Is (-4076)/(-36) + 4/z prime?
True
Suppose 6*n = 3*n - 9, 0 = -5*v + 2*n + 26. Let k(r) = 484*r**2 - 2*r - 1. Let m be k(-1). Suppose -f - v*f = -m. Is f prime?
True
Let x = 36 + 73. Is x composite?
False
Let r(d) = -d**3 + 14*d**2 - 6*d - 9. Is r(10) a composite number?
False
Let g be -3*(0 + 2 + -3). Suppose 12 = 4*n - 0*n. Suppose -3*u = g*k, -n*k + 2*u - 3*u = -6. Is k composite?
False
Is (-673)/(-2) + -2 - (-12)/(-24) a prime number?
False
Let b = -4 + 5. Let k(i) = -b - 1 - 4*i + 0*i. Is k(-2) a prime number?
False
Suppose -5*q + q + 444 = 0. Let l be (-1)/(2 + q/(-57)). Let b = 64 - l. Is b a prime number?
True
Suppose -i - 3*u + 7 = 0, -4*i - 2 = -3*u - 0. Suppose 3*j = i + 5. Suppose r + 0*r - 48 = -j*g, 4*g + 5*r - 90 = 0. Is g composite?
True
Let m(v) = 16*v - 7. Let b(r) = -r - 1. Let f(p) = -3*b(p) + m(p). Is f(5) a prime number?
False
Let a(s) = 3*s**2 - 2*s + 1. Let d be a(-4). Suppose -3*x = -0*r + 4*r - 163, -x - 4*r = -d. Is x a prime number?
True
Let s(n) = -11*n - 1. Let i be s(-2). Let t = i - 14. Is t prime?
True
Let x = -3415 - -6688. Is x a prime number?
False
Let m(v) = 8*v**2 - 4*v - 4. Let h be m(-3). Let b be 3*(-33)/6*-2. Let u = b + h. Is u prime?
True
Let u(x) = 9*x - 1. Let f be u(3). Suppose 6*w = 3*w - 5*s - 25, -3*s = 4*w + f. Let o = 5 - w. Is o a prime number?
False
Suppose -5*u - 3*v - 23 = 12, 5*u + 2*v + 30 = 0. Let d(y) = -y**3 - 4*y**2 + y + 2. Let s be d(u). Is 20/(-12)*(-13 + s) a composite number?
True
Suppose 0*u - 296 = -2*u. Suppose 0 = 7*f - 3*f - u. Is f a composite number?
False
Is 1/((-4)/(-3376)*4) prime?
True
Suppose -6 = -2*j - 0. Suppose j*y = b + 1256, 5*y - 4*b = -7*b + 2098. Is y prime?
True
Let f be (6/4)/3*0. Suppose f = 3*z - 8*z - 150. Is z/(-1 - 2)*1 composite?
True
Suppose x + x + 10 = -5*k, 9 = x - k. Let o = 8 - x. Suppose -g = -12 - o. Is g a prime number?
False
Let h(q) = q**3 - 4*q + 0 + 2 - 3*q**2 - 3. Let t be h(4). Is ((-5)/(-15))/(t/(-363)) a composite number?
True
Is (-2 + 2/(-1))*794/(-8) prime?
True
Let n(h) = 12*h**3 + 2*h**2 + 4*h - 1. Let q(s) = 8*s**2 - 4 + s**2 - 5*s**3 + 17*s + 54*s**3. Let c(k) = 9*n(k) - 2*q(k). Is c(1) composite?
False
Let w = 113 + -46. Suppose -2*a = -a - w. Is a composite?
False
Let u(m) = -m**3 - 4*m**2 - m - 4. Let f be u(-4). Suppose f = -3*y