2*d + 2 = 0. Is (p + 4)*62/4 a prime number?
True
Let l(h) = h + 2. Let g be l(2). Is 44/2*g - -1 composite?
False
Is (150 - 23)*(-1 + 2 - 0) a prime number?
True
Let m = 1 + 1. Suppose -435 = -5*h + 5*v, m*v + v = -6. Is h a composite number?
True
Let t = -1210 + 1727. Suppose -3*i = t - 163. Let w = i + 176. Is w composite?
True
Suppose 0 = v + 4*t - 15, 2*v = -2*v + 5*t - 3. Suppose v*c = -c + 892. Is c prime?
True
Let a(v) = 2*v**3 - 17*v**2 - 2*v + 16. Is a(13) prime?
True
Suppose 5*y - u - 3913 = 16035, -y + 3992 = -u. Is y a composite number?
False
Let p = 725 + -276. Is p prime?
True
Let r = 502 + 1818. Suppose -4*p = 4*k + 233 - 2105, 5*p + r = 5*k. Suppose -67 = 3*h - k. Is h a prime number?
False
Let g(m) = 23*m + 2. Let p(r) = r**3 + 10*r**2 + 9*r + 4. Let z be p(-9). Let d be g(z). Let t = 161 - d. Is t prime?
True
Suppose 5*y + 1465 = 3*c - 539, c + 3*y = 682. Is c prime?
True
Let w(m) = 1 + 1 + 5*m + 0 + 2. Is w(6) prime?
False
Let i(l) = -1. Let d(g) = g + 11. Let f(z) = -d(z) - 5*i(z). Let t be f(-12). Let w(y) = -y**3 + 11*y**2 + 6*y + 7. Is w(t) composite?
False
Let g(n) = -176*n**3 - n**2 - 1. Is g(-2) a composite number?
True
Let a(i) = 15*i + 4. Let o(k) = -16*k - 5. Let u(v) = 4*a(v) + 5*o(v). Let t(x) = -4*x + 2. Let b be t(2). Is u(b) prime?
False
Suppose -t = 4*z - 19, z - 5*t = 28 + 3. Let m be ((-27)/6)/(1/z). Let f = m + 104. Is f a prime number?
False
Let h be (14/(-3) - -3)*-3. Suppose 3*z - h*c = 270, 4*z - c + 83 = 426. Let l = 134 - z. Is l composite?
True
Suppose -3*k + 186 = -2*k. Suppose 2*d - 4*c = k, -225 = -2*d + 3*c - 37. Is d a prime number?
True
Is -6172*(-5 + 65/20) a prime number?
False
Suppose 430 = u + 2*u + o, -u + 3*o = -150. Let v = u + -97. Is v a prime number?
True
Let q = 637 - 426. Is q prime?
True
Let d be (-1257)/12 + (-2)/8. Let a = -194 + 135. Let k = a - d. Is k prime?
False
Is (53/(-2))/(3/(-6)) prime?
True
Suppose -4*y + 3352 - 832 = 0. Suppose y = 3*d + 3*u, 0*d - 4*d - 5*u = -835. Is d a prime number?
False
Suppose -3*z = -2*h - 232, 605 = -0*h - 5*h - 5*z. Let k = h + 280. Is k a composite number?
True
Suppose -f = -3*h + 233, -h + 3*f = 2*h - 237. Is h prime?
False
Let x(r) = -28*r. Let d(h) = -28*h + 1. Let t(p) = 2*d(p) - 3*x(p). Is t(9) a prime number?
False
Let v = -43 - -65. Is v composite?
True
Let s be ((-2)/2)/((-2)/(-4)). Is 15 + s/(0 - -2) prime?
False
Suppose 2*h - 3*h + 3 = 0. Suppose -2*a + 6*a - 5*x = 10, -3*a - 6 = h*x. Suppose 4*u = y - 7, u = -2*y - a + 23. Is y a composite number?
False
Suppose 4 = -2*t + 24. Is 1566/10 + 4/t composite?
False
Suppose 0*j + 3*j = -114. Let n(f) = -83*f**3 - f**2 - f + 1. Let z be n(1). Let t = j - z. Is t a prime number?
False
Suppose -153 = -4*m + m. Suppose -2*u - 5 = -m. Is u composite?
False
Let f(n) = -n - 166. Let h be f(0). Is 2 + (h + -2)/(-3) composite?
True
Suppose 0 = 5*n + 11 + 4, -4*n = 2*p + 4. Let d be ((-15)/(-20))/(1/p). Suppose -d*y = -y - 6. Is y a composite number?
False
Let r = 99 + 87. Is r/26 + 12/(-78) composite?
False
Suppose 2*g = 236 + 20. Suppose 5*i - 5*a - 197 = g, 2*a = 0. Is i a prime number?
False
Let i(h) = 3*h**2 + 7*h. Let r be i(-5). Suppose r = 3*a + 5*o, -4*a = -o + 6 - 67. Is a a prime number?
False
Suppose 8*l + 5*o - 15 = 3*l, 3*o = 3. Suppose -27 = -j - l*j - 2*n, -n = 0. Is j prime?
False
Suppose 4*q - 2*f - 4558 = 0, q + q = 5*f + 2267. Is q prime?
False
Let p(y) = -39*y + 18. Let a(d) = 117*d - 55. Let o(v) = -2*a(v) - 7*p(v). Is o(7) composite?
False
Suppose 12*g - 9*g - 2007 = 0. Is g a prime number?
False
Suppose -4*m = -2*m - 10. Suppose -m*a + 6 = -14. Suppose -6*u = -a*u - 14. Is u a composite number?
False
Let s(h) = -h**3 + 3*h**2 + 5*h - 2. Let l = 7 + -3. Is s(l) a prime number?
True
Suppose 4*h + 77 - 954 = 5*n, 0 = h + 5*n - 238. Is h prime?
True
Suppose 0 = -m + 2*h, 3*h = 2*m + 8*h - 9. Is (m - (-1 - -2))*79 a composite number?
False
Suppose 0 = -4*v - 0*o - 3*o + 221, -o = v - 56. Suppose -r + 2 = -3. Suppose r*z = -3*l + 265, 2*l - 6*l = z - v. Is z a composite number?
False
Let t = -82 + 126. Let n = 9 + t. Is n a prime number?
True
Suppose 2*j + l = 922, -5*j + l + 2310 = 6*l. Let r = -231 + j. Let q = -138 + r. Is q composite?
True
Is (-3 - -131) + -4 + 3 a composite number?
False
Let k(a) be the first derivative of -a**4/4 - a**3/3 + a**2/2 - 2*a - 1. Is k(-3) a prime number?
True
Suppose d + 2 = -4. Let g be (-89)/(-3) - (-4)/d. Suppose -5*u + 6 = -g. Is u prime?
True
Let r(c) = -71*c - 3. Is r(-2) a composite number?
False
Suppose 0*w + 316 = 2*w. Is w a composite number?
True
Suppose 0*b + 5489 = 11*b. Is b prime?
True
Suppose 5*c = c + 12. Suppose -77 - 16 = -c*d. Suppose 6 = m - d. Is m prime?
True
Suppose l = -l + 354. Is l a composite number?
True
Let u(y) be the first derivative of 2*y**3/3 + 3*y**2/2 - 5*y - 2. Is u(-4) prime?
False
Suppose -5*g = 5*t + 125, -5*t = -2*g - 6 - 9. Let r be (-2805)/g - 2/8. Let h = -63 + r. Is h prime?
False
Let y(c) = c**3 + 4*c**2 - 6*c + 4. Let w be y(-5). Let j be (159/w)/(1/(-3)). Is (j/(-2))/((-1)/(-2)) composite?
False
Suppose 4*p - 93 - 487 = 0. Is p prime?
False
Let x be 8 + -7 + -1*7. Is x/(-21) + (-173)/(-7) prime?
False
Suppose 4*s = x - 799, 10*s - 7*s = 4*x - 3157. Is x prime?
True
Let c be (-1)/(-3) - 11483/(-3). Suppose 4*m + 4*w - c = 0, -m + 2*w + 949 = -w. Is m a prime number?
False
Let d be 1/3 + 71/3. Suppose 3*w + 79 = 2*y, y - 2*w - d = 17. Is y prime?
False
Suppose 4 = 3*r + 1. Is -2*r*3882/(-12) prime?
True
Let u be -1 + -3*6/(-9). Let h(j) = 12*j - 1. Let i be h(u). Suppose -5*n = -4 - i. Is n composite?
False
Let g(h) = h + 5. Let v be g(-5). Suppose -5*s = v, 0*y = 4*y + s - 380. Is y a prime number?
False
Let l = 133 + 44. Is l a composite number?
True
Let r = 318 + -221. Is r a composite number?
False
Let t = 1 + 1. Let z(o) = 2*o**3 + o**2 + o + 2. Let x be z(t). Suppose -u + 1 = -l - 17, 2*u + 2*l - x = 0. Is u composite?
True
Let x be -17 - (-2 - -4) - 0. Let z be (2 - 1)/(1/x). Let v = 7 - z. Is v a prime number?
False
Let i = 250 + -163. Let l = -57 + i. Let x = 49 - l. Is x a composite number?
False
Let w(o) be the first derivative of -o**4/4 + 3*o**3 - 3*o**2/2 - 9*o - 1. Suppose -3*v - 2*n + 22 = 0, -35 = -v - 3*v + 3*n. Is w(v) prime?
True
Let f(n) = -n**3 - 6*n**2 - 8*n - 9. Let u(r) = 3*r + 16. Let b be u(-8). Is f(b) a composite number?
True
Suppose 0 = b - 106 - 24. Suppose -2*t + 4*t - 3*d - b = 0, -2*t - 5*d + 98 = 0. Is t composite?
False
Let c be 0 - (-2 + 0/1). Suppose -t = c*t - 30. Let u = 16 + t. Is u prime?
False
Let u(a) = 3*a - 13. Let k be u(6). Suppose 0 = -k*f + 5*i + 160, -4*i + 5*i + 106 = 3*f. Is f prime?
True
Suppose 58*w = 54*w + 3772. Is w composite?
True
Let f(w) = -1. Let s(t) = 15*t + 7. Let y(n) = 6*f(n) + s(n). Is y(2) prime?
True
Let w(l) = -163*l + 4. Is w(-3) a prime number?
False
Suppose l = -5*o + 619, l + 2*o - 1805 = -2*l. Let n = 1038 - l. Is n a prime number?
True
Suppose -z = -2*z + 22. Suppose 0*x = 3*x - 15. Suppose 80 = 5*l - x*w, 15 = 2*l - w - z. Is l prime?
False
Let r = 3903 - 1678. Suppose 7*c + r = 12*c. Is c a composite number?
True
Suppose 3*b - 2*v + 5*v = 3186, -2*b - 3*v = -2125. Is b a prime number?
True
Let p(h) = 28*h + 3. Is p(17) a composite number?
False
Suppose -25 = y + 3*w, 2*y + 5*w - 134 = 6*y. Let b = y - -64. Is b a composite number?
True
Suppose -3*r + 3*j - 6*j = -1881, 0 = 2*j - 2. Suppose 2*l + 0*l = 3*w + 1243, l + 3*w = r. Is l a composite number?
True
Let y(o) = -2*o**3 - o + 5*o**3 + o**3 - 2 + 2*o**2. Let b be y(2). Let l = -13 + b. Is l prime?
True
Suppose -1 - 18 = -q. Let u = 23 - 32. Let k = u + q. Is k a prime number?
False
Let w(h) = -51*h**2 - 5*h - 10. Let c(m) = 25*m**2 + 3*m + 5. Let r(b) = 7*c(b) + 3*w(b). Is r(-3) a composite number?
True
Suppose 4*o = 2*o. Suppose o*h - h = 2*p - 120, 5*h = p - 38. Is p composite?
True
Let t = 1 + 4. Let a(d) = -2*d + 56. Let r be a(0). Suppose x - t*x = -r. Is x a prime number?
False
Suppose 0 = 12*k - 449 - 9115. Is k a composite number?
False
Let d(u) be the third derivative of u**5/30 + 7*u**4/24 - 3*u**2. Is d(-5) a prime number?
False
Is ((-6)/9)/((-12)/11358) prime?
True
Let n(q) = q - 15 + 56*q**3 + 31 - 16. Is n(1) prime?
False
Suppose 0 = -p + 5*p - 808