4*o + 1350 - 410 = 0. Is o a composite number?
True
Let o = 7 + -3. Suppose 5*y - 401 = -2*c - c, 3*c = -o*y + 322. Is y a composite number?
False
Let i(h) = -16*h + 2*h + 3 - 1 - 5. Suppose 5*z = v + 18, 0 = 3*v - 9*z + 4*z + 24. Is i(v) prime?
False
Suppose 3*s = 3*z, -5*s = -2*s - 6. Suppose 51 = z*m - 1. Is m a composite number?
True
Suppose -r + 5 = 2*o, 4*o - 2*r = -0*r - 10. Let j(x) = -x + 341. Let p be j(0). Suppose 2*g - 5*m - 27 - 138 = o, -4*g = m - p. Is g composite?
True
Let u(p) be the third derivative of -p**6/120 - p**5/20 - p**4/8 + p**3/3 - 2*p**2. Let y be u(-5). Let n = y - 28. Is n a prime number?
False
Let w(x) = -49*x + 5. Is w(-18) composite?
False
Let b(c) = c**3 - 11*c**2 + 4*c - 7. Is b(11) prime?
True
Is 7/((-308)/8) - 2323/(-11) prime?
True
Is 982/4*26/13 a prime number?
True
Let y = 77 + -43. Suppose 55 = 2*j + 3*h - y, 5*j + h = 190. Suppose 0 = 5*p - j - 418. Is p a prime number?
False
Suppose 0 = 2*j - 0*j - 1954. Is j a composite number?
False
Let j = -416 + 625. Is j a prime number?
False
Let y(p) = p**2 + 6*p - 9. Let w be y(-7). Is 148/(-8)*w*1 a composite number?
False
Let p(q) = 2*q - 64*q - 4*q - 1. Let c be p(-5). Suppose -2*l = 5*t - c, 0*l - 125 = -2*t - 3*l. Is t prime?
True
Let b = -7 + 11. Let p = -3 - -1. Is p/b*(-115 - 1) composite?
True
Let z(o) = -o + 8. Let n(l) = 1. Let x(s) = 6*n(s) - z(s). Let k be x(5). Suppose k*v = -2*m + 181, -268 = -5*m - 4*v + 181. Is m a prime number?
True
Let o = 2319 - 4673. Is 4/18 + o/(-18) composite?
False
Let n be 2 - (-1 + 1) - -2. Suppose 12 = -n*g + 224. Is g a composite number?
False
Is 2/(-4)*-2*35 a prime number?
False
Let g be ((-2)/4)/(3/(-6)). Let w = g + -6. Let a(j) = j**2 + 4*j + 2. Is a(w) a composite number?
False
Let t be 2/(-4) + (-318)/(-12). Let r = t - -87. Is r prime?
True
Let r(i) = -24*i - 61. Is r(-19) composite?
True
Is ((-21)/(-14))/((-2)/(-44)) a prime number?
False
Let r = -384 + 1558. Let t be r/3 + 3/(-9). Suppose -t = -3*a - y, y = -0*y - 2. Is a prime?
True
Suppose 0 = 4*s + 4*n, 3*s - n - 12 = 2*n. Let m = s - -98. Suppose 3*o - 44 - 103 = -3*h, -2*o + m = 3*h. Is o a composite number?
False
Suppose 3*v - 3*j + 4 = 2*j, -2*j + 2 = -v. Let f be 2 - -9*(14 + -1). Suppose -f = -6*a + 3*a + 2*u, v*u + 82 = 2*a. Is a prime?
True
Let a = -5 - -1. Let v = a - -5. Is (-2)/v + -2 + 39 a prime number?
False
Let l be ((-5)/(10/4))/1. Let v be (-165)/(-6) + l/(-4). Suppose 5*a - a - v = 0. Is a composite?
False
Suppose -2*j + 1805 = -u, 3*u + 2106 = 4*j - 1501. Suppose -s + 419 = 4*m, 2*s = 3*m + j - 88. Is s a prime number?
False
Let h = -2837 - -4470. Is h prime?
False
Let x = -248 - -693. Suppose x = 4*v + v. Is v prime?
True
Suppose 9*j - 4*j = 340. Suppose 3*y - j = 5*m, 4*y = m + 18 + 101. Is y composite?
False
Let r(k) = -2*k**2 + k - 11. Let t(x) = -x**3 + x**2 - x + 1. Let g(n) = -r(n) - t(n). Let d be g(0). Let s = 1 + d. Is s a prime number?
True
Let v(l) = 17*l - 10*l + 1 + 30*l + 2. Is v(10) composite?
False
Suppose -2*d + 3*d = -11. Let l(p) = p**2 - p + 8. Let q be l(d). Suppose 0 = -5*z - 45 + q. Is z composite?
False
Let z(v) = v**2 + v. Suppose a + 8 = -a. Let h be z(a). Suppose h = x - 7. Is x a composite number?
False
Suppose 0*l + 2*l = 0. Suppose 4*a = -l*a + 556. Is a a composite number?
False
Suppose c - 5*j - 510 = 0, -6*j + 555 = c - 2*j. Is c a composite number?
True
Let q(p) = 6*p**2 - p + 2. Is q(-5) prime?
True
Let v be ((-1490)/(-15))/((-6)/(-27)). Is v/2*30/45 a composite number?
False
Suppose 2*k - 4 = 6*k, 0 = 3*n - 3*k - 3. Let p(f) = f**3 - 3*f**2 + f. Let w be p(3). Suppose 21 = w*q - n*q. Is q a prime number?
True
Suppose 3*m + 72 = 7*m. Suppose i + 4*x - m = 0, -i + 4 = 3*x - 6*x. Let g = i - -11. Is g composite?
True
Suppose 0 = 5*q - 10*q, 3*i + 3*q - 18 = 0. Let p = 37 - i. Is p a composite number?
False
Suppose 273 = o - 46. Is o prime?
False
Let u(s) be the second derivative of s**5/20 - s**4/6 - s**3/3 - 3*s. Let i be u(-2). Is ((-8)/i)/(2/339) prime?
True
Let c(v) = -v**3 + 14*v**2 - 7*v - 11. Is c(10) a prime number?
False
Let b(u) = -6*u**2 + 2*u + 1. Let d(n) = -11*n**2 + 4*n + 3. Let k(i) = -5*b(i) + 2*d(i). Suppose 13 = 4*m + 1. Is k(m) a composite number?
False
Let v = -14 - -24. Let w be v*(-2 + 69/6). Let m = w + -56. Is m composite?
True
Let d(w) = 2*w. Let i be d(1). Suppose -i*u = 3*u - 1055. Is u a composite number?
False
Let c(d) = -d**3 + 4*d**2 - 6*d - 2. Let p be c(7). Is -2*1/2*p prime?
True
Let j be (0 - (-3)/3)*3. Suppose -j*y = -2279 + 836. Is y composite?
True
Suppose 6270 = 4*q - 4958. Is q prime?
False
Let m(u) be the first derivative of 13*u**2/2 + 3*u + 3. Let p be m(-8). Let b = 190 + p. Is b prime?
True
Suppose -2*m + d = -174 - 1459, -4*d = 12. Is m a composite number?
True
Let h(u) = 2*u - 3. Let n(y) = -y - 1. Let f(c) = 4*c + 5. Let v(d) = -2*f(d) - 9*n(d). Let i(q) = -4*h(q) + 11*v(q). Is i(1) composite?
True
Is ((-8634)/(-6))/(-1 + 2) prime?
True
Suppose 0 = -5*o - t + 35, 4*o - 5*t + 3 = 2. Let l(a) = 8*a - 1. Is l(o) a composite number?
False
Let j(t) = -t**3 - t**2 + t - 5. Let p be j(-6). Suppose -5*s = 4*f - 216, -s = 3*f + 18 - p. Is f composite?
True
Is ((-44)/66)/(2/(-447)) composite?
False
Let o = 494 - 335. Is o composite?
True
Suppose -3*o = -f - 13, -5*o - 4*f = -0*f - 50. Suppose 65 = o*y - y. Is y prime?
True
Suppose 2*l = -l - 1998. Let s = -409 - l. Is s composite?
False
Let x(s) = 26*s**2 - s + 2. Let c be x(-2). Suppose -2*h + c = -128. Is h a prime number?
False
Let n(i) = 29*i + 8. Suppose -k = -0*k - 6. Suppose -2*v + k = 0, 7 = 4*l - 4*v - 9. Is n(l) a composite number?
False
Let o be (-3 - 17) + (-3 - -2). Let m = 16 - o. Is m composite?
False
Let k(b) = b**3 - 7*b**2 + 6*b + 3. Let i be k(6). Suppose -4*y + 216 = -2*z, -y + 214 = i*y - z. Is y a composite number?
False
Suppose 40 = 3*t - 32. Let c be -1 - -1*14*1. Let o = c + t. Is o a composite number?
False
Let d = -425 + 772. Suppose -f + d = 2*q + 95, -3*q - 1273 = -5*f. Is f prime?
False
Let w be 8619/15 - (-4)/10. Is w/3 - (-6)/(-9) composite?
False
Suppose 3 = 2*d - 11. Is d prime?
True
Suppose -4*z = b + 4 - 17, -2*z - 5*b + 29 = 0. Let s = 129 + z. Is s a composite number?
False
Let b(x) = 5*x - 5. Let q be b(4). Let g be ((-9)/(-5))/(3/q). Let p = g - 6. Is p a prime number?
True
Suppose -5*l + 11 = 1. Suppose 0 = 3*f - u - 94, l*f - 5*u - 37 - 30 = 0. Is f a prime number?
True
Let v be (-6)/21 - (-23)/7. Suppose 0 - 3 = -v*l. Is ((-78)/(-18))/(l/21) composite?
True
Let l = 0 + 7. Let u(v) = -v**3 + 8*v**2 - 6*v - 7. Let o be u(l). Suppose -66 = -o*y - 2*y. Is y composite?
True
Let t(v) = 77*v - 5. Let a be t(5). Suppose -3*z - 253 = -2*z. Let s = z + a. Is s a prime number?
True
Suppose 3*v - 285 - 27 = 0. Let j = v + -73. Is j composite?
False
Suppose 4*a - 8 = -24. Let l = 10 + a. Is 7*2/(l/15) composite?
True
Let q = 72 + -19. Is q a composite number?
False
Let k(g) = g**2 - 11*g - 3. Let i(t) = -t**3 + 6*t**2 - 8*t + 7. Let h be i(5). Is k(h) composite?
False
Suppose 2*f + 3*g - 1082 = 7*g, 2*f + 3*g = 1082. Is f prime?
True
Let q = -45 - 21. Let n = 3 - q. Is n a prime number?
False
Let v(w) = -2*w**3 - 2*w**2 + 3*w + 3. Let x be v(-2). Suppose 20 = x*r, c + 5*r - 4*r = 189. Is c a composite number?
True
Is -1 - (-1 - -2) - -165 a composite number?
False
Let s = 10 - 5. Suppose 8*z = 5*g + 4*z - s, g - 15 = -2*z. Suppose -g*i + i - 22 = -2*d, -3*i = 2*d - 57. Is d a composite number?
True
Suppose w + w = 260. Suppose -3*s = p - 71, 0 = 5*s + 5*p - p - w. Is s prime?
False
Let u(c) = -c**2 + 15*c - 5. Let w be u(13). Suppose 0 = -0*k + k - 16. Let v = k + w. Is v a composite number?
False
Suppose -32 = -3*h + 442. Is h composite?
True
Let f = -3 + 12. Let n(j) = -j**3 + 9*j**2 + 5. Let c be n(f). Suppose 0 = -c*s - 3*a - 0*a + 194, -3*s + 102 = -3*a. Is s composite?
False
Let n(o) = 5*o - 2*o + 6 - 2*o. Let i be n(-4). Suppose 3*d = -i*f + 113, 2*d + 2*f + 3 = 81. Is d composite?
True
Let y = 46 + -72. Suppose -u + 4*h - 6 + 21 = 0, 5*h = 2*u - 15. Let a = u - y. Is a composite?
True
Let u = -9 + 15. Suppose -2*o = -o + u. Is (o/4)/((-3)/20) a composite number?
True
Let p(f) = 76*f - 2. Let h be p(-5). Let r = h + 639. Is r a prime number?
True
Suppose -o = -3*q - 80, q