y - 2*r, 44 = -2*y - 4*r. Let w = 28 + y. Is 0*(-3 + 2) + w prime?
False
Is 618*-6*6/(-72) prime?
False
Suppose 2*t = 7603 + 375. Is t a prime number?
True
Suppose 3*y + 4*i - 187 = 0, -2*y + y + 55 = 5*i. Is y prime?
False
Let s(g) = -9 + g**3 + 2 + 8*g + 1 - 8*g**2. Is s(8) composite?
True
Let w be 144/40 + (-2)/(-5). Suppose -20 = w*r, 5*r - 49 = -4*b + 2*b. Is b prime?
True
Let u(d) = -3944*d**3 + 3*d**2 + 3*d - 1. Is u(-1) prime?
True
Let q(u) = -u**3 - 5*u**2 + 7*u + 8. Let c be q(-6). Suppose 0 = -c*k - 4*t + 242, t + 237 = k + k. Is k a composite number?
True
Let a(u) = -u**2 - 9*u - 7. Let v be a(-8). Suppose -v = -3*p + 14. Is 0/(p + -2) - -19 prime?
True
Suppose -11*z = -8*z - 879. Is z prime?
True
Let l(n) = n**2 + 11*n - 57. Is l(26) a prime number?
False
Let t be 982/(-7) - (-2)/7. Is (2 - t)/(1*2) prime?
True
Let q(i) = 8*i + 135*i - 1 - 9*i - 5*i. Is q(2) a composite number?
False
Let s(n) = -n**3 - n**2 - n - 7. Let u be s(0). Let b = -19 - u. Let l = 73 - b. Is l composite?
True
Suppose 3*a + 2*a - 45 = 0. Suppose 0*v = -v - a. Is ((-3)/v)/((-1)/(-33)) a composite number?
False
Suppose 0*z = 2*z - 12. Let g be (1 + z)*2/2. Let q(s) = 7*s + 6. Is q(g) prime?
False
Let w = 7 + -3. Let o be w/(-26) - (-41)/13. Suppose 0 = -0*l + o*l - 291. Is l composite?
False
Suppose 0*z = -3*z + 12. Suppose 30 = 5*x - z*x. Suppose 46 = 4*d - x. Is d a composite number?
False
Suppose 4*v = 3*v + 55. Let f = 555 + v. Suppose 3*w - c = 386, -2*w - 3*w - 5*c = -f. Is w prime?
True
Suppose -3 - 7 = -2*y. Let v be (-200)/(-6) - y/15. Let b = v - 22. Is b prime?
True
Let a = 849 + -430. Is a composite?
False
Let c = 3 - 1. Let v be (-5)/((-10)/4) - c. Suppose f - 26 - 25 = v. Is f a composite number?
True
Suppose -3*c = s - 4534, -6*s + 4*s - 6042 = -4*c. Is c composite?
False
Let u(s) = 101*s**2 - 7*s - 28. Is u(6) prime?
False
Suppose 4*a + 0*a - 580 = 0. Is a prime?
False
Let g be 12/5 - (-4)/(-10). Suppose y - g*p = 6, 3*y + y + 5*p = -28. Is (-13)/2*y*7 a composite number?
True
Let t = -1 + 8. Suppose -3*a - 3*o + 18 = 0, -2*a + t = -3*o + 6*o. Suppose 4*i - 163 + a = 0. Is i a composite number?
True
Let w(h) = 8*h**3 - h**2 - 26*h + 1. Is w(6) a composite number?
True
Let p(z) = z**3 - 5*z**2 - 7*z + 9. Let t be p(6). Suppose t*q = n + 21, 3*n + 9 = q - 6. Is q a composite number?
True
Suppose -184 = -4*m + 700. Is m composite?
True
Suppose -4*w - g = 2*g - 3284, 3284 = 4*w + 4*g. Is w prime?
True
Let m(b) = 13*b + 2. Let o(t) = 1. Let k(y) = m(y) - 6*o(y). Is k(3) a composite number?
True
Let k = -2211 + 3400. Is k a prime number?
False
Let a(i) = -3*i + 14. Let r be a(-11). Suppose -4*q + r = -g - 0*g, 25 = 2*q - g. Suppose m + 0*m = q. Is m composite?
False
Suppose -5*p - 5*y + 337 = -y, p - y - 71 = 0. Is p a composite number?
True
Suppose 2*y = -5*k - 657, -4*k = -0*k - y + 536. Let b = k + 224. Is b a composite number?
True
Suppose -3*s + s = 36. Let f = s - -41. Is f a prime number?
True
Is -2*(4 - 2) + 1119 a composite number?
True
Is (-1)/2 - (-50850)/12 a prime number?
False
Let v(u) = u**2 + 2*u - 2. Suppose -4 = -3*s + 5. Let p(z) = -2*z. Let j be p(s). Is v(j) composite?
True
Suppose -5*q - 1 = -26. Let s(d) = -15*d**2 - 9*d - 11. Let j(m) = -3*m**2 - 2*m - 2. Let x(y) = -11*j(y) + 2*s(y). Is x(q) composite?
True
Suppose -3*r = 2*t - 4083, 4*t - 3*t - 4083 = -3*r. Is r a prime number?
True
Let a(z) = -z**2 + 4*z - 3. Let r be a(3). Is r - (-214 - (-3 + 0)) a composite number?
False
Suppose -4*y + 3*p - 590 = 0, p = -3*y - 2*y - 728. Let v = y - -379. Is v a prime number?
True
Suppose -5*f + 81 + 194 = 0. Suppose 5 + f = 4*j. Suppose -p + j = -6. Is p prime?
False
Suppose 0 = -3*j - j - 4*g + 28, -2*g = j - 11. Let u = j - 3. Suppose u*r = 2*r - 30. Is r a composite number?
True
Let n = 2 - -8. Is (-2)/n - (-62)/10 a composite number?
True
Suppose -2*a + 24 + 18 = 0. Suppose v - a = 10. Is v prime?
True
Let a(z) = -10*z - 13. Is a(-11) a prime number?
True
Let w = 49 + 25. Is w a composite number?
True
Let g = -569 + 1198. Is g prime?
False
Let z be (-1)/4 - 121/(-4). Let w = -15 + z. Is w a prime number?
False
Let v(f) = -9*f**2 - 2*f + 2. Let a be v(-2). Is (a/(-4))/((-4)/(-8)) a composite number?
True
Let y(v) = -v**3 - 6*v**2 + 7*v - 8. Let h be y(-7). Let c(n) = -5 - n**3 - 10*n + 4*n**3 - 9*n**2 - 4*n**3. Is c(h) prime?
True
Let a = -3 - -3. Suppose 4*t - 68 - 16 = a. Is t a prime number?
False
Let n be -2*1*12 - 3. Let p be 63/6*(-1 - n). Suppose 3*o + 271 = 4*f - 0*f, -4*f + p = -5*o. Is f a composite number?
False
Is 2/3 - (-344)/24 a prime number?
False
Is (-1 - -1) + (-3 - -55 - -3) composite?
True
Let p(m) be the first derivative of 3*m**2/2 - 3*m - 1. Let u(f) = -f. Let x be u(-3). Is p(x) a prime number?
False
Suppose 29 = -6*z + 7*z. Suppose -z - 2 = -s. Is s a prime number?
True
Let q = 359 - 210. Is q a prime number?
True
Let o = -250 + 446. Suppose y + y = 2*j - o, 4*j - 427 = -3*y. Suppose 5*l = 3*m - j, -6*m + 5*l = -8*m + 27. Is m composite?
True
Let t = 222 - 95. Is t composite?
False
Suppose -2*x = -8441 + 1711. Is x a composite number?
True
Suppose 8*n - 4*n - 4*k - 3604 = 0, 0 = 2*k. Is n a prime number?
False
Let r(s) = -3*s**3 + 2*s**2 + 2*s - 4. Is r(-9) a composite number?
True
Let w(t) = -39*t. Let y be w(1). Let i = y + 55. Let k = i + 17. Is k prime?
False
Suppose -3*i + 3 = -0*i. Let s(f) = f**2 + 7*f - 17. Let v be s(-9). Is (v/i)/((-8)/(-104)) composite?
False
Suppose 3*r - 19 = -4. Let t(a) = 2*a**2 - 3*a + 2. Is t(r) a prime number?
True
Suppose 2*n - 208 = 5*r - 13, 0 = r + 3. Suppose -4*d + 2*s + 72 = 0, -2*d + 7*d - n = -s. Let u = d - 5. Is u prime?
True
Let y = -297 - -776. Is y a composite number?
False
Suppose 2*j = -g + 880, 2*j + g - 1762 = -2*j. Suppose 0 = l - 0*l. Suppose -a - 2*f + 93 = l, -3*f + f = -5*a + j. Is a composite?
False
Let o(k) = -8 - 5*k**2 - 7*k - 6*k**2 - 4*k - k**3. Suppose 22 = -17*b + 15*b. Is o(b) a prime number?
True
Suppose 3*y - 81 = -3*d, -2*d + y = -3 - 63. Is d prime?
True
Let g = -10 - -16. Let z = -3 + g. Suppose -5*b - z*n = -76, 5*b = 3*n - 19 + 83. Is b a prime number?
False
Let v(k) = 7*k + 2. Let n be v(6). Suppose -3*f = -n - 115. Is f composite?
False
Suppose -4*k - 2*b - 45 = b, k - b = -6. Let z(m) be the first derivative of -m**4/4 - 3*m**3 - 5*m**2/2 + 8*m - 2. Is z(k) prime?
True
Suppose 0*k - 3*k + 9 = 0. Suppose -3*h = k*s - 366, 23 + 93 = h - s. Is h composite?
True
Let r = 1 - 1. Suppose 0 = -2*y - 0*y - s + 4, -2*y + s + 8 = r. Suppose -o - y*m + 0 = -2, 4*m = -5*o + 10. Is o a prime number?
True
Suppose 62 = -5*o + 732. Suppose g = -0*g + o. Let u = g - 79. Is u composite?
True
Suppose 1151 = j - 4*s, j - 1091 = -s + 60. Is j prime?
True
Let p = -9 + 8. Is (p/(-2))/(1/166) a prime number?
True
Suppose 3*t - 4*l + 2*l = 9, 0 = -3*t - 3*l + 9. Let r be (-464)/(-18) + 4/18. Suppose -r = 2*n - t*n. Is n composite?
True
Let s(r) = r**3 - 3*r + 1. Let f be s(2). Suppose 4*c = 4*w - 12, w - 12 = -f*w - 5*c. Suppose 2*h + u = 6*u + 139, -w*h = -2*u - 225. Is h a prime number?
False
Let h(i) = 3*i**2 - i - 2. Let g be h(5). Suppose 4*o = -0*o + g. Suppose 3*z + o = 2*k, -2*z + 2 = -4*z. Is k a prime number?
True
Let m(u) = 2*u + 7. Suppose -3*l = 4*d - 66 + 4, 4 = d - 5*l. Is m(d) a composite number?
True
Suppose 2*p = -4*x + 8*x - 10, 0 = 5*p - x + 16. Let r = -1 - p. Is r/(-7) - (-489)/21 composite?
False
Suppose -2*z - 6*o + 2*o = -1236, 0 = -4*z - 2*o + 2460. Is z prime?
False
Suppose -5*g = -0*g - 4*y - 4249, 2*g = -y + 1710. Is g a composite number?
False
Suppose -g - 3*g + 22 = -5*b, b + 5 = g. Let v(k) = k**2 + 5*k + 2. Let p be v(-3). Is p - b - -2*6 prime?
False
Let p(h) be the third derivative of -13*h**4/6 + 5*h**3/3 + 2*h**2. Let f be p(-7). Suppose -5*v = 3*y - 275, y - f = -3*y - 3*v. Is y prime?
False
Suppose 428 - 181 = 5*y - 2*i, -5*y + 267 = 3*i. Is y composite?
True
Let f be 2*2*(-1)/4. Let j be (0 + f)*0/6. Suppose -4*z - 5*u + 278 = 0, -5*z + j*u - 2*u = -339. Is z prime?
True
Let o(m) = 7 + 0*m**2 + 5*m**2 + 2*m**2 - m**2. Is o(-5) prime?
True
Suppose 4*r + 14 = -10. Let y = 8 - r. Is y composite?
True
Suppose p = c + 391, 0*c + c = -4*p + 1564. Is p composite?
True
Let n(g) be the second derivative of g**4/12 + g**3/6