Is u a prime number?
False
Suppose 0*p = -2*p. Suppose 0*t + 5 = -z + 2*t, -4*t = 2*z - 22. Is (p - (-3)/z)*83 a prime number?
True
Let q be ((-6)/(-12))/((-1)/(-2)). Suppose -y = -46 - q. Is y prime?
True
Let k(n) = 4*n**2 - 5*n - 6. Let x be k(11). Let f = -94 + x. Is f composite?
True
Suppose 0 = 5*i - 1194 + 349. Is i a prime number?
False
Let n = 1776 - 733. Is n composite?
True
Suppose 2*r - 5110 = 5*t + 3*r, -4*t - 3*r - 4077 = 0. Is t/(-5) - (-4)/10 a prime number?
False
Let c(k) = -k**2 + 10*k - 1. Let o be c(8). Suppose -2*i - o = -3*w + 2*i, -2*i = -6. Is w prime?
False
Let m = 411 + 110. Is m a prime number?
True
Is (-1)/6*-111*2 composite?
False
Let s(j) = -2*j**2 + 3*j - 1. Let w be s(-3). Let h = 115 + w. Is h prime?
False
Is (-4)/(32934/10986 + -3) a prime number?
True
Let x = -6 - -13. Suppose 6*f + 743 = x*f. Suppose -z + 187 = -2*v, 4*z = v + 2*v + f. Is z prime?
False
Suppose 3*g + 3*y = 27, 0 = 3*y - 9 - 3. Let m(w) = w**3 - 3*w**2 - 5*w - 6. Is m(g) prime?
True
Let c(p) = -p**2 - 5*p - 2. Let l be c(-4). Suppose 0 = -5*v + 15, l*v + 2*v + 85 = d. Is d prime?
True
Suppose -2*f + 224 = p, -2*p = f + 3*p - 112. Suppose 0 = -r - 42 + f. Suppose r = 5*b - 3*b. Is b a composite number?
True
Let r(h) = 44*h**3 - h**2 + h - 1. Suppose 4*p - 3 = p. Let z be r(p). Let u = 64 - z. Is u prime?
False
Let r = 34 - -924. Is r a prime number?
False
Let c(n) = n**2 - 4*n - 3. Let b be c(4). Let j(y) = -22*y + 4. Let g be j(b). Suppose d + g = 3*d. Is d prime?
False
Suppose -1 = -m - 2. Is -2 - -3 - (m + -119) prime?
False
Suppose -4*n + 0*n + 20 = 0. Suppose 1659 = n*f + 554. Is f prime?
False
Suppose 2*w + 452 = 4*w. Is w a composite number?
True
Let f(j) = 8*j**3 - 7*j**2 + 6*j - 5. Is f(4) a composite number?
False
Suppose 2*j = -0*j + 8. Let a = j - 4. Suppose -t - t + 154 = a. Is t composite?
True
Let r(n) = -55*n**2 - 3*n + 5. Let q be r(-4). Let w = q - -447. Let s = w - -594. Is s a prime number?
False
Suppose 3*u + 3*n = 2*n + 2318, n = 2*u - 1537. Is u composite?
True
Let d be 0/(-2) - 3 - -3. Suppose -v - 2*v + 339 = d. Is v a composite number?
False
Let q be 9/6*302/3. Let i = 25 + 217. Suppose -i = -3*j + q. Is j a prime number?
True
Let d(i) = 6*i - 29. Is d(23) a prime number?
True
Let v = 11 - -2. Is v a prime number?
True
Suppose 0 = -2*f - 3*f + 25, -4*t - 3*f + 27 = 0. Let v(q) = 7*q**3 + q - 7. Is v(t) a prime number?
False
Let d(c) = 8*c**2 - 5*c + 4. Is d(-3) a composite number?
True
Is ((-324)/(-1) - 2) + 5 a prime number?
False
Let w = -6 - -10. Let m(l) = 3*l - 6. Let f be m(w). Is f/15*5/1 a composite number?
False
Let z(g) = 7*g - 10. Let b(j) = -4*j + 5. Let v(k) = 5*b(k) + 3*z(k). Let w be v(6). Suppose w = 3*f - 248. Is f composite?
False
Suppose -4 = -4*g + 4. Is g/(-4)*(-251 + -3) a composite number?
False
Let x be 49616/40 + (-2)/5. Suppose 5*r = 3*s + x, -4*r - 5*s - 2 = -1031. Is r composite?
False
Let f be 2/(-3)*597/(-2). Suppose -4*x + f = -245. Is x prime?
False
Is (-5681)/(-9) - (-2)/45*-5 prime?
True
Suppose -36 = 4*p - 6*p. Let a be (-1 - -2)/(3/p). Is ((-52)/10)/(a/(-30)) a prime number?
False
Suppose 3*d = 5*d - 18. Let o = d - 5. Suppose -3*r + r + 74 = o*k, 0 = r + 5*k - 46. Is r composite?
False
Let i = 4 + 0. Suppose 3*y + 35 = i*y. Is y prime?
False
Suppose 0*l - 5*l - 30 = 0. Let x be l/(1 - 9/6). Let b = x - -11. Is b a composite number?
False
Let b be 69/4 + 2/(-8). Suppose -20 = -s + b. Suppose -2*y - 11 = -s. Is y prime?
True
Let u = 363 + -56. Suppose -m = -0*m - u. Is m prime?
True
Let k = 618 - 347. Let d = k + -54. Is d a prime number?
False
Is 452/(2 + 2) + 0 composite?
False
Suppose -u = -2*u + 78. Suppose 0 = -v + 4*v + u. Is v*(1 + -4 + 2) a composite number?
True
Let l = 0 + 3. Suppose l*q - 4*q = -2. Is 86 + -3 + q + 4 composite?
False
Suppose -4*z + 0*z + 12 = 0. Suppose z*o = 81 + 210. Is o composite?
False
Is ((-1)/(-2))/((-1)/(-174)) a prime number?
False
Let y(p) = 4*p + 3. Suppose 5*u = -21 + 6. Let v be y(u). Is 6/v + (-118)/(-6) a composite number?
False
Let l(u) = u**2 + 6*u + 12. Is l(-9) a prime number?
False
Let q(f) = 5*f**2 + f + 17. Let o(w) = -2*w**2 - 9. Let a(j) = 5*o(j) + 3*q(j). Is a(-4) a prime number?
False
Suppose -2 = 2*v - 8. Suppose -v*f + 7*f = -5*k + 458, 3*k + 474 = 4*f. Is f + 0 - (-3 - -1) composite?
True
Is (836/10 - (-6)/15) + 3 a composite number?
True
Let t = -161 - -316. Is t a prime number?
False
Suppose -4*q = -2*d - 2*q + 788, d + 3*q = 398. Is d composite?
True
Suppose 288 = -y + 3*r, -3*y + 2*r - 1466 = 2*y. Let t = y + 508. Is t a composite number?
True
Let t(y) be the second derivative of -7*y**3 - 7*y**2/2 - 3*y. Is t(-4) composite?
True
Suppose -5*x = 5, -x + 61 = t - 23. Is t a composite number?
True
Let q(p) be the third derivative of -p**6/120 + p**5/10 + p**4/8 + p**3/2 - 15*p**2. Let h(s) = 4*s + 3. Let a be h(-2). Is q(a) composite?
False
Let c(n) = n + 37. Suppose 0 = 2*q + 5*p - 20, -2*q + 20 = 2*q + 5*p. Let f = 0 + q. Is c(f) a prime number?
True
Let l(s) = -s**3 - s**2 + s + 2. Let t = -13 - -9. Is l(t) prime?
False
Let q(r) = 29 - 129*r + 6 + 10*r. Let v(z) = 7*z - 2. Let n(j) = -2*q(j) - 35*v(j). Is n(-3) composite?
True
Suppose 5*m = 4*u - 489, -4*u + 5*m = -u - 373. Let c = -61 + u. Is c prime?
False
Suppose 350 + 268 = 3*s - 3*y, s - 4*y - 206 = 0. Is s a prime number?
False
Let w be 2*-1 - (-148)/2. Let y = -17 + w. Is y a prime number?
False
Suppose s + 0*o - 27 = 2*o, -2*s + 2*o = -62. Is s composite?
True
Let r = 7 + -3. Suppose -10 - 2 = -4*g. Suppose -g*d = -r*d + 67. Is d a composite number?
False
Suppose 0 = -2*r - 2*r + 8. Let w be -3 + 3 + r - 0. Suppose -2*u + 4*i + 48 = w*u, -i = -2*u + 19. Is u a composite number?
False
Suppose -8 - 4 = -4*g. Suppose 5*x - 259 = -4*m, 0 = -x + 5*x - g*m - 201. Is x prime?
False
Is -3628*2/(-8)*1 a prime number?
True
Let s(u) = -3*u - 1. Let d(o) = -o + 3. Let m be d(3). Suppose 2*j + m*j + 18 = 0. Is s(j) composite?
True
Suppose -2*z = -8, o - 3*z = 3*o - 32. Suppose -f = 4*f - o. Suppose -f*j = -8 - 4. Is j a composite number?
True
Suppose x - 8660 = -3*x. Is x a composite number?
True
Let d(x) = -x**2 - 19*x + 13. Let u be d(-9). Let q = u - 68. Is 3105/q + (-2)/(-7) prime?
True
Suppose 0 = 3*x - 619 - 77. Let v = -6 - -16. Is v/(-25) - x/(-5) composite?
True
Suppose -k + 90 = -83. Let a be 10/25 + k/5. Suppose -t + 4*y + a = 0, -5*t + 7*y + 223 = 3*y. Is t a composite number?
False
Let s(f) = f - 2. Let y be s(2). Suppose 3*w = 4*r - 85, w + 4*w = r - 170. Is (1 - y)*(2 - w) a composite number?
False
Let k = 15 - 9. Let p(r) = 40*r + 5 + 0 - k. Is p(1) composite?
True
Let n(h) = -43*h + 4. Let x(i) = 87*i - 9. Let z(o) = -13*n(o) - 6*x(o). Suppose 4*s + 4 - 16 = 0. Is z(s) a composite number?
False
Suppose 2*s - 10 = -4*d, 2*d = -4*s - s + 17. Suppose -4*r = r + 5, 0 = -s*q + 5*r + 155. Let a = -24 + q. Is a composite?
True
Let d(v) = v**3 + 4*v**2 + 7*v - 6. Is d(5) a composite number?
True
Let j(o) = -8*o - 3. Let t be 28/21*(-1 + 4). Suppose 5*f = -11 - t. Is j(f) composite?
True
Let r = 11 - 23. Is 2 + 3/(-3)*r composite?
True
Let j = 141 + -23. Is j composite?
True
Suppose k - 9 = 4*g, -5*k - 6 = 9. Let w(q) = -q**2 - 2*q - 3. Let r be w(g). Is (-192)/(-9) - 4/r prime?
False
Let l be (-1)/(3 + 3 + -5). Is (-106 + -3)*1*l prime?
True
Let m = 266 + -139. Is m a prime number?
True
Let o be ((-138)/5)/(1/15). Let x = -103 - o. Is x composite?
False
Let b(v) = -4*v**3 - 9*v**2 - 10*v + 11. Is b(-12) a prime number?
False
Suppose -f = 3 - 1. Is (-24)/(-16) - 367/f a composite number?
True
Let h(i) = 10*i - 4. Let r = 11 - 8. Is h(r) prime?
False
Suppose 4*a - 3003 = -3*g, 1412 = g - a + 418. Is g composite?
False
Let o = -2 + -1. Let c be (-14)/o + (-2)/3. Suppose -37 + 9 = -c*f. Is f a composite number?
False
Is 3*(-3 + (5 - -3)) a composite number?
True
Suppose 3*f + 2*m - 985 - 1323 = 0, -3*m + 2310 = 3*f. Suppose w = 2, -2*a - 2*w + f = 2*a. Is a composite?
False
Suppose -2*k - 5*b = k + 11, k + 2*b + 5 = 0. Let i(x) = 10*x - 1. Let n be i(1). Is k/n - 208/(-6) composite?
True
Suppose -4*h = 2*k + 2, 1 = 5*h + 4*k - 4. Let f(n) = -5*n**3 + 5*n**2 + 2*n. Let p be f(h). Suppose -5*v + p = -271. Is v prime?
True
Let a(c) = c + 4. Let l be a(-5). Let x be (3 - 0)