t w be a(4). Is 414/w*(-8)/3 prime?
False
Let q = 53 - 77. Let l = q + 55. Is l prime?
True
Let p = 141 + -79. Suppose -2*i + p + 92 = 0. Is i composite?
True
Let j(l) = -4*l + 0 - 1 - 14*l. Is j(-2) composite?
True
Suppose -2*w = 3*w - 35. Suppose -p + 27 = 5*x, -3*p - 3*x = -w*x - 62. Is p prime?
False
Suppose -20 = -3*s - 2*a, -3*a + 1 = 2*s - 14. Let k be (1 - -86)*2/s. Suppose 0 = 3*r - k - 118. Is r prime?
False
Let u(y) = y**2 + y + 1. Is u(-15) a prime number?
True
Suppose -2*m + m + 1079 = 0. Is m a prime number?
False
Let q be 1/5 + (-168)/(-35). Suppose 0 = -4*n - c + 6*c + 513, 632 = q*n + 3*c. Is n prime?
True
Let p(l) = l**3 + 10*l**2 + 10*l + 11. Let w be p(-9). Suppose -5*i + 39 = -w*i. Suppose -d + 2*n - 2 = 0, -n + 3 + i = 2*d. Is d a prime number?
False
Let o = 996 + -43. Is o a prime number?
True
Suppose -8*a - 1358 = -15*a. Is a composite?
True
Let n(o) = o + 5. Let u be n(-5). Suppose u = -4*c + 132 + 168. Suppose -c = -x - 16. Is x composite?
False
Suppose -592 = -2*w - 118. Is w a prime number?
False
Let t(z) = z + 4. Suppose 0 = 2*c + 2*c. Let o be t(c). Suppose 4*x + x - 10 = -o*d, 4*x - 9 = -3*d. Is x composite?
True
Let n be 8/5*(-5)/(-2). Let j = n + 17. Is j composite?
True
Let s(t) = -564*t**2 - t + 1. Let h be s(1). Let g = h + 882. Suppose 5*b - 2*b = g. Is b composite?
True
Let a = 0 - -3. Suppose 59 = 3*i - h - a*h, 4*i = 2*h + 92. Is i a prime number?
False
Let d = 240 - 162. Let u = d - 20. Suppose u = 2*p - 2*t, 0 = 5*p + 4*t - 0*t - 181. Is p a composite number?
True
Let l be 3/2*(-1 - 1). Let g(j) = -j + 7. Let m be g(5). Is 12/m*(-3)/l a prime number?
False
Let n be (6/2 + -3)/(-2). Let g(m) = 18*m**2 + 1. Let q be g(-1). Suppose x + 16 + 41 = 3*p, p - 5*x - q = n. Is p composite?
False
Suppose 2 = -4*g - 3*n, 4*g = -3*n + n. Let i(w) = 18*w**2 + 2*w - 1. Is i(g) prime?
True
Let d(q) = -12*q**2 + 7*q + 8. Let n(j) = 6*j**2 - 3*j - 4. Let f(p) = 2*d(p) + 5*n(p). Let k(u) be the first derivative of f(u). Is k(3) a composite number?
True
Suppose 5*w - 3*o - 16 = -5*o, 3*w - 5*o + 9 = 0. Suppose -4*a + 593 + 28 = y, 5*a = w*y + 773. Is a composite?
True
Suppose 0*g = -2*g + 118. Suppose -u + 2*s = -20, 2*s + g = 4*u + s. Suppose -w + 5*r + 31 = 0, 5*w - 127 = 4*r - u. Is w a composite number?
True
Let g be (-1)/(-2 - (-33)/17). Let r = g - 10. Is (r/3)/((-2)/(-66)) a prime number?
False
Let m(j) = j**3 - 9*j**2 + 24*j - 11. Is m(12) composite?
False
Let f(z) = z**3 - z + 5. Let u be f(0). Suppose 42 = p + s, -116 - 74 = -u*p - s. Is p a prime number?
True
Let d be ((-1)/(-3) + -1)*3. Let n(q) = -82*q**3 + 4*q**2 + 1. Let z(m) = -410*m**3 + 21*m**2 - m + 5. Let x(y) = d*z(y) + 11*n(y). Is x(-1) a composite number?
False
Suppose k - 278 = -0*k + 3*w, w = 5. Is k a composite number?
False
Let w(h) = -28*h**2 - 2*h + 1. Let i(b) = -57*b**2 - 3*b + 2. Let y(l) = -4*i(l) + 7*w(l). Is y(-2) composite?
False
Suppose -3*s = 3*v - 6*s - 441, 0 = -4*v - 4*s + 604. Is v composite?
False
Let d(h) = 9*h**2 + 3*h - 4. Let s(q) = 28*q**2 + 9*q - 11. Let p(w) = 17*d(w) - 6*s(w). Let g(o) be the first derivative of p(o). Is g(-3) prime?
False
Let f(d) = d**2 + d - 4. Let o be f(-3). Suppose o*q = 5*q - 327. Is q composite?
False
Let q(g) = -g**3 - 5*g**2 - 5*g. Suppose -u + 4 = -2*u. Let i be q(u). Suppose 4*t = -5*r + 705, i*r - 4*t = 195 + 405. Is r composite?
True
Let d = -3 - -11. Suppose 3*i = -2*t + 4*t + 12, 2*i + t - d = 0. Let n = -2 + i. Is n prime?
True
Let w(z) = 56*z - 1. Let h(i) = -113*i + 2. Let m(o) = -4*h(o) - 7*w(o). Is m(1) a prime number?
True
Suppose -6 = -4*u + 6. Suppose k = -3*g + 90 + 16, -g - 498 = -5*k. Suppose -u*j + k = j. Is j a prime number?
False
Let w = 2264 + -1273. Is w prime?
True
Suppose -x = 2*x. Suppose -530 = -5*w - x*w. Suppose -w = -3*i - s, -3*i - 3*s - 89 = -5*i. Is i prime?
True
Suppose 3*q - 1545 = -5*m + 37, 0 = 4*q + 4. Is m a prime number?
True
Is (13/3 - 3 - -1)*453 a composite number?
True
Let n = 2 - 8. Let d be (1 + 3/n)*10. Let h(s) = 4*s**3 - 7*s**2 - 2*s + 4. Is h(d) composite?
True
Suppose 3*q + 4*d + 4 = q, q + 3*d + 1 = 0. Let p(m) = -m**2 - 4*m + 4. Let a be p(q). Suppose -a*n + 202 + 10 = 0. Is n a prime number?
True
Is 0/(-8)*(-1)/(-1) - -1346 a prime number?
False
Let z(k) = 2*k + 1. Let l be z(2). Let f = l + -116. Let d = 2 - f. Is d composite?
False
Let y = -11 - -190. Is y a composite number?
False
Suppose -55 = -3*i - 13. Is i composite?
True
Suppose -2*i - 6 = 4*j - 34, 5*i = j + 48. Let t(l) = 19*l - 7. Is t(i) composite?
True
Suppose -q + 4 = m, -2 = 5*q - m + 2. Suppose f - 39 = -q*f. Is f prime?
False
Let q be 22/(-5)*(-70)/2. Is q/6*(-3)/(-1) prime?
False
Is 4460/(-30)*9/(-6) composite?
False
Suppose s + 1 = 7. Let l = 0 + s. Let u = l + 217. Is u prime?
True
Is (-23)/(-4) + -6 - 3915/(-12) prime?
False
Let s(j) = 9*j - 5. Let z(n) = -9*n + 4. Let u(h) = 5*s(h) + 6*z(h). Let i be u(1). Is (-1665)/i*(-4)/(-6) prime?
False
Let a be (0 - 0 - 7) + 2. Let l(k) = k**3 + 6*k**2 + 4*k - 1. Let u be l(a). Suppose 3*x + u*f - 585 = 0, -5*x + f + 0*f + 952 = 0. Is x a prime number?
True
Let q = -32 + 20. Let z = 19 + q. Is z prime?
True
Suppose 0*v + 4*v = 1676. Is v a composite number?
False
Suppose -3*k = 3*c + 12, 4*c + 7*k + 14 = 2*k. Let m be 158/(-4) + (-3)/c. Let u = 58 + m. Is u prime?
True
Suppose v - 67 = 16. Is v a composite number?
False
Suppose -c = 50 - 5. Let q = -59 + 39. Let s = q - c. Is s a prime number?
False
Suppose 3*t + 0*t + 4*i + 26 = 0, t = 3*i + 13. Is (223/t)/(1/(-2)) a prime number?
True
Suppose 0 = 5*o - 20, w + 18 = -4*w + 2*o. Let l(n) = -n**2 - 3*n - 1. Let h be l(w). Let c = h - -3. Is c a prime number?
False
Let c(v) = -v**2 - 75*v + 54. Is c(-31) a composite number?
True
Let k = -850 - -1391. Is k a composite number?
False
Suppose -3*b + 3*y + 777 = 0, 0 = 2*b - y + 4 - 520. Is b a composite number?
False
Let i(x) = -19*x**3 + x**2 + 2*x + 1. Suppose 5*o + 2*a = -20, -3*o + 7*o = -2*a - 16. Let u be -5 - o - (-1 + 1). Is i(u) composite?
False
Suppose j = -0*j. Let a(p) = p**2 - p + 53. Is a(j) a composite number?
False
Suppose -z + 3*z + 6 = 0. Is z - (-84 - 4/(-2)) prime?
True
Let n(g) = 7*g**3 + g**2 - 2*g + 1. Is n(1) composite?
False
Let c = -149 - -9. Let z = 93 - c. Is z a prime number?
True
Suppose -4*v - 23 = 2*i + i, 3*i + v + 35 = 0. Let f(y) = 23*y - 2. Let t be f(-2). Let d = i - t. Is d a composite number?
True
Suppose 9*j - 15784 = j. Is j prime?
True
Let u(c) = -101*c + 8. Let h(n) = -100*n + 9. Let p(o) = 3*h(o) - 4*u(o). Is p(3) a composite number?
False
Suppose 0*u = 3*u - 153. Is u composite?
True
Suppose 17*f - 31747 - 16924 = 0. Is f composite?
True
Let k = 1 + -1. Let u(d) = -d**2 - d. Let y be u(k). Suppose -a = -47 - y. Is a composite?
False
Let y = 789 + -438. Is y/9*11/3 prime?
False
Let c be ((-2)/(-4))/(1/10). Is 4/1 + c + -2 prime?
True
Suppose 1524 = 2*s - 2*p, p - 758 = -3*s + 1532. Is s prime?
False
Suppose -w + m - 10 = -4*m, 4*w - 52 = -3*m. Let l(f) = f**3 - 9*f**2 - 9*f - 3. Is l(w) a composite number?
False
Let i(g) = g + 5. Let w be i(0). Is 54*(w + -3) + 3 a composite number?
True
Is (-410)/(-18) + -4 + 4/18 prime?
True
Let w(t) = -t**3 - 9*t**2 + 2*t + 15. Is w(-14) prime?
True
Suppose -5*d + 4125 = 4*p, -d = 3*d + p - 3289. Is d a composite number?
False
Is 579/4 - 10/(-40) prime?
False
Let u(c) = 200*c**3 - 2*c**2 + 2*c - 1. Is u(1) a composite number?
False
Suppose -60 = -2*z + 4*z. Let j = z - -64. Is j a prime number?
False
Let u = 6 + -2. Suppose 84 = -2*i + 5*x + 267, i + u*x - 59 = 0. Is i a prime number?
True
Let i = -21 - -30. Is 6/i*(-90)/(-4) prime?
False
Let x = -3 + 5. Let c be 2/x + (6 - 0). Let k = c - -42. Is k a composite number?
True
Let h(l) be the third derivative of 79*l**4/12 - l**3/6 - l**2. Suppose -5*v + 4 + 1 = 0. Is h(v) composite?
False
Suppose 4*d - 2105 - 207 = 0. Suppose 3*b - 751 = d. Is b prime?
True
Suppose c + 2*c - 153 = 0. Let a = -115 + c. Let k = 115 + a. Is k a prime number?
False
Let l(n) = n**3 - 9*n**2 + 12*n + 3. Is l(9) a prime number?
False
Let q = -190 + 269. Is q a composite number?
False
Let c be 4/(-22) - 159/33. Let f(q) = -q - 5. Let b be f(c). Suppose 3*a + 19 - 76 = b. Is a a composite number?
False
Let b = 6 + -4. Suppose -b*l 