4)/18 + (-29)/l a composite number?
False
Let t(m) = 2*m**2 + 10*m + 0 - 3*m - 2. Is t(-11) prime?
True
Suppose -1503 = -r - 2*r. Is r prime?
False
Let i be 35 + 0 + (1 - 4). Suppose 0 = 4*v - 420 + i. Is v composite?
False
Let k(f) = 4*f**2 - 5*f + 16. Is k(5) prime?
False
Let g(c) = -c**2 + 4*c - 1. Suppose 0 = -3*f + 3*a, 4*f = -3*a - 0*a + 21. Let x be g(f). Suppose -5*z = 3*r - 94, 0*r - r = x*z - 31. Is r a composite number?
True
Let c = 4 + 2. Suppose 4 = -2*i + c*i. Is (i/(-2))/(1/(-118)) a composite number?
False
Let j(h) = -1 - 4 + 0 - 3*h. Suppose 5*q = 2*q - 12. Is j(q) a prime number?
True
Let w(i) = -10*i + 9. Suppose -5*p - 4*y = 46, -5*p + 2 = y + 51. Is w(p) a prime number?
True
Let d = 112 - 45. Is d composite?
False
Let i(c) = 3*c**3 + c**2 - c. Let p be i(1). Suppose -1 = g + p. Let r = g - -53. Is r a composite number?
True
Suppose s = 6*s - 5940. Suppose 5*p - s = 67. Is p a prime number?
True
Let d(c) = -c**3 - 2*c**2 + 3*c + 7. Let n be 4/20 - 16/5. Is d(n) a prime number?
True
Let r(f) = -12*f. Let y be r(-1). Let i be 14/(-5) + 4/(-20). Let a = i + y. Is a a prime number?
False
Let i(q) = 1 - q**2 + 1 - 1 + 2*q - 7*q**3. Suppose b = s + 3, -s - b = b. Is i(s) composite?
True
Let t be 1 + -2 + (3 - 1). Let w be 2*t*(0 + -2). Let s(n) = -9*n - 1. Is s(w) composite?
True
Let z = 4 - 0. Suppose -9 = 5*c - f, z*f = -3*c - f - 11. Is (22/(-8))/(c/56) composite?
True
Suppose n - 2*p - 2 = 0, -2*n + p - 11 = 2*p. Let j(o) = 2*o**3 + 4*o**2 + 1. Let k be j(n). Let r = 2 - k. Is r a prime number?
False
Is (-9)/(-6) + (-8383)/(-2) a prime number?
False
Suppose -25 = 3*h - o - 3, 0 = -3*h - 4*o - 47. Let q(a) be the second derivative of -a**5/20 - 3*a**4/4 - a**3/6 + 5*a**2/2 + a. Is q(h) a composite number?
True
Let q = 3587 - 2394. Is q prime?
True
Let c be (-4 - -1)*1*-1. Let d(p) = 10*p**2 - 13 - 2*p**c + p**3 - p + 2*p**3. Is d(-9) a composite number?
True
Let o = -5 + 5. Suppose -5*h + 4*h = o. Let b(z) = -z**3 + z + 59. Is b(h) a composite number?
False
Let y be 2*(1 - 1/(-2)). Suppose -2*q = y*z + 38 - 665, -4*q = z - 219. Suppose 2*m + z = 5*m. Is m composite?
True
Suppose x - 4 = -3*i + 177, -855 = -5*x - 5*i. Is x composite?
True
Suppose 5*o + 5*j - 6270 = 0, -2*o + 3782 = o - j. Is o prime?
True
Suppose 4*i + 7796 = 8*i. Is i a prime number?
True
Let y(t) = 65*t - 41. Is y(14) composite?
True
Let t(b) = -b**3 + 6*b**2 + 7*b - 7. Suppose 4*k + 25 = 1. Let q be 5 + 4 - k/(-2). Is t(q) composite?
True
Let u(w) = 3*w**2 - 1. Is u(12) composite?
False
Suppose -5*l = -2*l. Let c = 2 + l. Suppose -4*n + 154 = -c*g, 4*g = -4*n + 154 - 6. Is n prime?
False
Suppose 2*a - 2 = u - 0*u, -2*u = a - 1. Suppose -745 = -u*t - 5*t. Is t a composite number?
False
Suppose 0*n - 4*n + 8 = 0. Suppose z - 1011 = -n*z. Is z a composite number?
False
Let n = -1732 + 2498. Is n composite?
True
Let k(q) = -q**3 + 31*q**2 + 3*q + 14. Is k(21) composite?
True
Let m(r) = 52*r**3 - r**2 + r. Let d be m(1). Suppose 4*x = -j + d + 522, 2*x = -j + 288. Is x prime?
False
Let l(p) = p**3 - 5*p**2 - 6*p + 2. Let a be l(5). Is a*((-3)/4 - 0) composite?
True
Suppose 0 = -0*a + a + 6. Let p = a + 9. Suppose -p*m - 2 + 11 = 0. Is m a prime number?
True
Let m(i) = i - 1. Let b be m(6). Suppose p = 3*l + 25, b*p - l - 87 = -5*l. Is p prime?
True
Let d(z) = z**3 - 3*z**2 + 4*z - 3. Let h be d(2). Let l be 0/((h - -1)/1). Suppose 2*b - 29 = -3*q, q + l*q = -3*b + 26. Is b a composite number?
False
Let c = 141 + -38. Is c a composite number?
False
Let a = 121 + -108. Is a composite?
False
Let w(g) = g**3 + 0*g**2 + 3*g - 6*g**2 - 3*g**3 + 0*g**2 + 1. Let c be w(5). Is 4/20 + c/(-5) a composite number?
True
Suppose -c = -5*d - 25, 2*c - 5*d - 25 = -2*c. Let p = -43 - -149. Suppose k + k - p = c. Is k prime?
True
Suppose -4*q + 2*d = -0*q - 244, q = -d + 67. Let i = q + 8. Is i prime?
True
Let s(y) be the first derivative of -15*y**2/2 - 11*y + 10. Is s(-6) a composite number?
False
Suppose -10 = a - 278. Suppose 3*y = -y + a. Is y a composite number?
False
Let v(f) = -54*f**3 - 5*f**2 + 3*f + 1. Is v(-4) a prime number?
False
Let h(c) = -c + c**2 + 11 + 0*c**2 - 1. Is h(0) prime?
False
Suppose 0*q - 4*q = -52. Let o = -23 + q. Let w(y) = -y**3 - 9*y**2 + 3*y - 3. Is w(o) prime?
True
Let v be 2*5*(-1)/1. Let t(s) = -2*s**2 - 13*s - 12. Let g be t(v). Let q = g - -125. Is q prime?
True
Let p(x) = -x**2 + 5*x - 3. Let z be p(5). Is (z + (-896)/(-4))/1 composite?
True
Let o(j) = 5*j - 9*j + 2 - 12*j - 1. Is o(-7) composite?
False
Is 0 + 2 + 26 - 3 a prime number?
False
Let q = 7 + -5. Suppose m = 5*t + 5*m - 78, t + q*m = 18. Is t prime?
False
Is (-2)/(-7) + 29500/140 composite?
False
Suppose -2*d + 0*u = u, -u = -d. Suppose d*r - r + 28 = -c, 5*r = -c + 170. Let l = r - 14. Is l a composite number?
False
Let j be (-30)/(-18) + 1/3. Suppose -r - 2*c = -5*r + 98, j*c + 120 = 5*r. Is r a composite number?
True
Let u be 115/35 - 2/7. Suppose -5*c = u*b + 408, 2*b + 291 = -0*b + 3*c. Let j = 200 + b. Is j a composite number?
False
Let k = -319 + 493. Suppose -5*l + 20 = -0*l + 5*f, 4*f = 0. Suppose -l*z + z = -k. Is z a prime number?
False
Is (-118)/(-5)*(-45)/(-18) prime?
True
Suppose m = 5, -m + 8726 = 5*w - 8*w. Is 2/(-16) + w/(-24) composite?
True
Let p be 4/10 + 1464/15. Suppose 2*d = -3*d - 2*y + 15, 0 = 4*y. Suppose h - 4*b - 38 = -b, -d*h + 5*b + p = 0. Is h a prime number?
False
Let v be (-2)/3 + 17/3. Let m(k) = -4*k**3 - 5*k**2 - 3. Let a be m(-4). Suppose -3 - 9 = 3*d, v*i + 3*d = a. Is i a prime number?
True
Let r = -388 + 675. Suppose 3*p - 241 = u, -5*u = 3*p - r + 52. Suppose -n + 53 = 2*n + 4*v, -4*n + 4*v = -p. Is n a composite number?
False
Let p = -2 - -4. Suppose -2*q + 6 = -5*n + 38, 4*q + 32 = p*n. Let o(v) = v**3 + 7*v**2 + 4*v + 7. Is o(q) a composite number?
False
Let m(y) be the third derivative of y**5/60 - y**4/3 + 3*y**3/2 + 2*y**2. Let i be m(7). Suppose n + i*n = 237. Is n prime?
True
Let u = 6 - -7. Let g(b) = b**2 - 3*b - 15. Is g(u) composite?
True
Let u(t) = -8*t**2 - 3*t + 2. Let i be u(3). Let j = -28 - i. Is j composite?
True
Let j(t) = -628*t + 3. Is j(-2) a composite number?
False
Suppose 3*r + 12 = -0*r. Is (-3087)/(-12) + 1/r composite?
False
Let j(i) = 9*i**2 - 25*i + 31. Let y(o) = 4*o**2 - 12*o + 15. Let d(b) = -3*j(b) + 7*y(b). Let q be d(8). Suppose -2*v + q*v = 418. Is v a prime number?
False
Is (-772)/(-10) - (-7)/(-35) composite?
True
Let v = -587 + 1596. Is v prime?
True
Let k be 5 + -2 + 1 + 0. Let q(l) = -11*l + 2. Let c be q(-3). Let o = c - k. Is o composite?
False
Let c(w) = 5*w + 1. Let n be c(1). Is ((-2)/n)/((-6)/7074) a prime number?
False
Suppose -2*n + 33 = -3. Suppose -n = s - 2*h - 2*h, 0 = 2*s + 2*h - 14. Let u(a) = 4*a**2 - 2*a - 1. Is u(s) a prime number?
True
Suppose 2*s - 252 = 448. Let o = s + -57. Is o a prime number?
True
Suppose 0 = 24*f - 25*f. Suppose 2*p + p - 111 = f. Is p a prime number?
True
Suppose -o = -3*l + 3*o + 583, 0 = -4*l + 4*o + 784. Is l a composite number?
True
Suppose 2*s - z = 11, -5*s - 19 = z - 57. Suppose -3*m + 3*l + 1440 = -s*m, 2*l = 8. Is (-3)/(9/m) - 2 a composite number?
True
Let j(f) = -15*f**3 - f**2 + 1. Let h = 5 + -6. Is j(h) a composite number?
True
Let a(p) = 4*p**3 - 5*p**2 + 2*p. Let s(q) = -q**3 + 4*q**2 - 2*q - 1. Let x be s(2). Suppose -1 = 3*l - 5*y, -4*l - 9 = -5*l - x*y. Is a(l) composite?
True
Suppose 4*v + 120 = 4*d, -4*d = d - 4*v - 154. Is d composite?
True
Suppose 0 = p - 5*u + 15, 2*p + 3*u - 9 = -p. Suppose -3*a + p*a = -3*k - 336, 4*k = -4*a + 432. Suppose 2*l - a = -3*l. Is l a prime number?
False
Let t(r) = 144*r**2 - 2*r + 9. Let x be t(-4). Suppose 6*g - 1737 = 3*g - 2*w, 4*g + w = x. Is g prime?
False
Let l(j) be the third derivative of j**6/120 + j**5/60 - j**4/24 + 2*j**3/3 - 2*j**2. Is l(3) a prime number?
True
Suppose o - 134 = -o. Is o composite?
False
Suppose 4790 = 4*l - a, 6*l - 5*a - 3601 = 3*l. Is l/6*6/9 a prime number?
False
Let k = 11 - 6. Suppose k*r + h = 150, 4*r + 2*h = -h + 109. Is r a composite number?
False
Let n = 7 + -3. Let x(v) = 0 + 62*v - 3 + 8. Is x(n) composite?
True
Let j = 10 - 6. Let y(c) = 3*c**2 + 5 + 2*c + 0*c + c**2. Is y(j) prime?
False
Let j(c) = c**3 - 23*c**2 + 9*c - 16. Is j(23) a prime number?
True