 0)*6/5. Let u(c) = -12*c - 7*c + l*c. Is u(-2) composite?
True
Let p(t) = t**3 + 8*t**2 + t + 3. Suppose -2*i + 25 = -7*i. Let u be p(i). Suppose r - 16 = -3*a, -5*r - 5*a = -u + 3. Is r prime?
True
Suppose -3*f - 280 = 512. Let q = -179 - f. Is q a prime number?
False
Let z be (-1 - -1)*(-6)/(-6). Suppose z = 3*t + 3*x + 2*x - 37, x + 4 = 0. Is t a prime number?
True
Suppose 51 = l - 78. Is l composite?
True
Let n = -5 + 2. Let s(t) = 2*t + 4. Let y be s(n). Is 1 - (y/1 - 7) prime?
False
Let s = 975 + -388. Is s a prime number?
True
Let q(d) be the third derivative of -d**5/60 + 7*d**4/24 - d**3/6 - 2*d**2. Is q(4) prime?
True
Suppose -t = -w - 133 - 261, t = 2*w + 391. Is t prime?
True
Let f(d) = 9*d**3 + 2*d**2 + 2. Is f(3) a prime number?
True
Let n(w) = w**3 + 12*w**2 - 12*w + 13. Let s(c) = c**2 - 8*c. Let l be s(6). Is n(l) prime?
True
Let s(n) = -8 - n + n**2 + 0*n - n**3 + 31. Let i = -4 - -4. Is s(i) composite?
False
Suppose v - 5 = -4. Suppose -3 = -g - v. Is ((-1)/g)/(3/(-66)) composite?
False
Let k(a) = -a**3 - 12*a**2. Let m be k(-12). Is 1196 + (3 - m) + -4 a prime number?
False
Suppose 0 = -c + 37 + 1006. Is c prime?
False
Suppose 21*z = 16*z + 715. Is z composite?
True
Let x = 5 - 5. Let h = x + 7. Is h composite?
False
Is 3116/12 - (-2)/(-3) composite?
True
Suppose -18*o + 22*o = 652. Is o composite?
False
Let o = -4 - -8. Suppose 0*q - 3 = q + m, 0 = -3*q + 5*m - 1. Is (50/o)/((-1)/q) a prime number?
False
Suppose 19 = p - 16. Is p prime?
False
Let f = 2 + 2. Suppose 5*a - 2*x = -4*x + 16, 4*x = f*a + 4. Suppose -a*i - 2*i = -132. Is i prime?
False
Let t = -267 + 377. Suppose 0 = 5*w + 5*u - t, 0*u + 3*u = 9. Is w a prime number?
True
Let d = -1265 + 805. Let g = d + 831. Is g a prime number?
False
Let z be ((-178)/(-3))/(6/(-18)). Let u = z + 401. Is u a composite number?
False
Let g = -2544 + 3740. Is g/10 - 15/25 composite?
True
Let j = 2 + -9. Let l = -3 + j. Is (-314)/l - 2/5 prime?
True
Suppose 9*t - 4*t = -125. Let a = 60 + t. Is a prime?
False
Suppose 5*g + 15 = -15. Let f(v) = -13*v + 5. Is f(g) composite?
False
Let q = 66 - 20. Suppose 0 = -z + 4*d + 27, 3*d - 37 + 16 = -3*z. Suppose -3*c = -q - z. Is c a prime number?
True
Let b(o) be the first derivative of o**4/4 - 11*o**3/3 + 9*o**2/2 + 13*o - 2. Is b(10) a prime number?
True
Is ((-762)/10)/3*-5 a composite number?
False
Let o(z) = -58*z + 2. Let y be o(2). Let p = -71 - y. Is p a prime number?
True
Suppose 10 = 3*d - 2. Let k = 49 + d. Is k composite?
False
Suppose -3*h - 3*y + 10472 = -2*y, 17456 = 5*h - y. Is h a composite number?
False
Let a(r) = 48*r**2 + 2*r + 1. Suppose 5*l = -h + 24, 0*h + 3*h - 4*l + 23 = 0. Let y be (-2)/(1*(3 + h)). Is a(y) a composite number?
False
Let l = -1 + 5. Suppose -19 = -4*o - 5*n, l = -2*o + o - 3*n. Is o composite?
False
Let n = -1618 - -4053. Is n prime?
False
Suppose -2*p = -5*c - 16, -2*c = -5*c - 2*p. Let n be c/10 + (-62)/(-10). Suppose q = n*q - 245. Is q composite?
True
Let c = 6 - 3. Is 1*54 + c/3 composite?
True
Suppose -n + 237 = 14. Is n a prime number?
True
Let g be -3 - ((-1140)/(-1))/(-4). Suppose -u + g = -259. Is u prime?
True
Let m(t) = -3*t**3 - 6*t**2 + 5. Let y be m(-5). Suppose w = -w + y. Is w composite?
True
Let s = -2 - -4. Let b be (-190)/(-45) + s/(-9). Suppose -b*f = 3*l - 137, -4*l + 0*l - 4*f = -184. Is l a prime number?
True
Suppose -4*p = -2*p - 68. Let d = p + 0. Is d composite?
True
Suppose 2*f = -0*f - 4*k + 1578, -2*k = 2*f - 1574. Is f a prime number?
False
Is 157 + (1 + 4 - 1) composite?
True
Suppose 2*i - 3*b = -159, -i + 4*b - 82 = -0*i. Let h = 5 - i. Is h composite?
False
Let q be -3 - ((-3)/(-3) - -141). Let c = q + 276. Is c prime?
True
Let t be (-6)/(1 - 115/100). Let v = 26 - 14. Is (t/v)/(4/354) a composite number?
True
Let o(w) = w**3 - 3*w**2 - 2. Let z be o(3). Let g be (-1)/(2*z/72). Is -1 + 2 + 0 + g composite?
False
Let n(k) = -13*k**3 + 3*k**2 - 2*k. Let s(d) = 13*d**3 - 4*d**2 + 3*d - 1. Let y(j) = 3*n(j) + 2*s(j). Is y(-2) composite?
True
Suppose r - 2*r = 0. Let l(v) = -v**2 - 11*v - 8. Let w be l(-10). Suppose r = -2*x - w*x + 56. Is x prime?
False
Let r(t) = 2 - 3*t**3 - t + 1 - 4 + t**2. Let c be r(-1). Let x(n) = n**3 - 4*n**2 + 2*n - 4. Is x(c) prime?
False
Suppose 2 = 2*c - 6. Suppose -4*u - c*z = -864, -3*z + 1 = -2. Is u composite?
True
Let p(v) = 4*v**2 + v + 36 - 3*v**2 + 0*v. Let u be p(0). Is (-1)/2 + u/8 prime?
False
Let t(p) = -27*p + 2. Let x be t(-9). Let z = x - 118. Is z composite?
False
Let j = 1 - 1. Let a be (-2 - -1)*1*j. Suppose -3*r + 2*c + 34 = a, 4*r + 0*c = 5*c + 50. Is r prime?
False
Let n(t) = 8*t + 14. Let y be n(6). Suppose -2*m + y + 380 = 0. Is m prime?
False
Is -1 + 540 - (-6 + 0 + 8) prime?
False
Let y(o) be the first derivative of 2 + 3/2*o**2 + 7*o. Is y(9) composite?
True
Suppose p = 3*u - 3 + 1, 8 = 2*p - 2*u. Let l be 369/p + (-4)/(-14). Suppose -m = j - l, 2*j - 19 = m - 72. Is m composite?
False
Let c = 183 + 68. Is c a composite number?
False
Let a(t) be the third derivative of 95*t**4/24 + t**3/3 + 4*t**2. Is a(1) a prime number?
True
Let m(j) = -3*j - 2. Suppose -10 = 2*v - 5*x, -4 = v - 4*x + 7. Suppose p + 4*o + 23 = 0, 5*o = -v*p + 2*p - 41. Is m(p) prime?
True
Let t be 3*(-4)/(-18)*417. Suppose 0*y - 2*y = -t. Is y a composite number?
False
Let i = -3 + 6. Let w = -3 + i. Suppose -4*l + w*l + 11 = g, -5*g + 97 = -l. Is g a composite number?
False
Suppose 0 = -0*i + 3*i - 186. Suppose 2*z - 71 - 3 = 2*u, -i = -2*z - 2*u. Is z a composite number?
True
Let f(q) = -q**3 + 6*q**2 + 4*q. Let p be f(-5). Let u = -168 + p. Is u a composite number?
True
Suppose 2*h + r - 5*r - 16 = 0, h = 4*r + 18. Is 4/8 - 193/h a prime number?
True
Suppose -4*c = -74 - 66. Is c a prime number?
False
Let p be -1 + 0*3/(-12). Is -3 - (p - (0 - -213)) prime?
True
Let l(c) = 3*c - 3. Let o be l(2). Suppose 0 = -0*f + o*f - 366. Suppose r - 251 = -5*k, -2*r + 7*r = 2*k - f. Is k composite?
True
Is (1 + 4 - 6)*-449 prime?
True
Suppose -m + 81 = -5*x + 4, 0 = m + 2*x - 70. Suppose 3*f - 417 - m = 0. Is f composite?
False
Let z(o) = -9*o + 8. Let n be z(6). Is (-1)/2 + n/(-4) composite?
False
Suppose 0 = h + 3 + 3. Let a be (-2)/h - (-708)/9. Is 0 - (0 - 0 - a) a composite number?
False
Let q = 1181 + -502. Is q composite?
True
Suppose 7*p = 3*x + 3*p - 2399, p = -3*x + 2374. Is x composite?
True
Suppose 5*i = 2*i + 2091. Is i prime?
False
Suppose 0 = -2*x + 1 + 9. Suppose 0 = -3*m + 5*q + 42, x*q = -5*m + 13 + 97. Is m a prime number?
True
Let h = -89 - -222. Suppose -1298 = -3*u + h. Suppose -u = -5*p + 268. Is p composite?
False
Let v = -5 + 17. Suppose h + 4 = -4*g - 8, h - 4*g = v. Suppose h = -m + 3*m - 50. Is m prime?
False
Let t(f) = -f**3 + 12*f**2 + 19*f + 11. Let n(x) = -5*x**3 + 47*x**2 + 76*x + 43. Let d(j) = 2*n(j) - 9*t(j). Is d(-13) prime?
False
Let h(k) = k**2 - k. Let w(t) = t**2 + t + 9. Let d be ((-2)/(-5))/((-2)/(-10)). Let f(o) = d*h(o) - w(o). Is f(7) prime?
True
Let y be 2/(-8) + (-106)/(-8). Suppose y = j - 9. Is j prime?
False
Let l(m) = -53*m - 9. Is l(-16) composite?
False
Let h = 10 + -17. Let s(f) = -2*f**3 - 8*f**2 + 5*f + 4. Let v be s(h). Suppose d = 3*t - v, -2*t + 68 = d - 114. Is t a composite number?
False
Suppose -11*s = -17*s + 19434. Is s prime?
False
Suppose -3*o + 140 = 2*o. Is (-1830)/(-14) + 8/o a composite number?
False
Suppose w - 2 = 81. Suppose -4*k - 15 = -7*k. Suppose 0 = k*r + 4*z - w, 4*z + 0*z + 12 = 0. Is r a prime number?
True
Suppose -15*z = -18*z - 6. Let w(t) = -t**3 - 6*t**2 + t + 7. Let r be w(-6). Is 0 + (z - -4) + r composite?
False
Let n be (-142)/(-2) + (-1)/(-1). Let w = -51 + n. Is w a prime number?
False
Let u = 5 + -3. Is (1 - 2)*(u - 213) composite?
False
Suppose -2*r + 2 - 4 = 0. Let v be r/(-2 - (-294)/148). Suppose -v = -3*w - 17. Is w a prime number?
True
Suppose -56 + 21 = 5*n. Let v = 9 + n. Suppose 3*h = -v*h - 4*b + 171, -2*b + 101 = 3*h. Is h prime?
True
Let k(z) = -3*z**2 - 2*z + 2. Let n(a) = -4*a**2 - a + 1. Let y(r) = -3*k(r) + 2*n(r). Is y(9) prime?
True
Let c = 587 - 94. Is c a prime number?
False
Let j = 389 - 219. Suppose -92 = -4*r + 3*w + j, -4*r - 3*w = -274. Is r a prime number?
True
Let g(q) be the first derivative of 2*q**3/3 + q**2 - 9*q + 1. Is g(10) co