*c + 313. Is l(12) prime?
False
Let o(f) = f**3 + 3*f**2 - 6*f - 4. Let p be o(-4). Suppose 4*b - p = 0, -4*z + 0*z - 4*b - 220 = 0. Is 16/z - 522/(-14) prime?
True
Is (-2 + (-2 - -2))*126430/(-20) composite?
True
Suppose 10*q - 12 = 6*q. Is (q - 16/6)*1977 composite?
False
Let o(s) = -6*s**3 - 8*s**2 + 5. Let t be o(-6). Let q = t + -615. Let y = -105 + q. Is y composite?
False
Let d(q) = -3*q**3 - q - 2. Let j be d(-1). Suppose -j*k - 2051 = -3*k + 5*u, 2*u = -k + 2051. Is k prime?
False
Let u = -317 + 785. Let o = 887 - u. Is o prime?
True
Suppose -8*w + 6*w = -3302. Let f be 4 + (-1*w)/(-1). Suppose f + 136 = 3*o. Is o a prime number?
False
Let y(j) = -j**3 + 7*j**2 - 4*j + 1. Is y(4) a prime number?
False
Is (-678006)/126*(0 - -1)/(-1) a prime number?
True
Is ((545721/(-6))/(-11))/(2/4) composite?
True
Suppose x + 2140 = 2*x + i, -2*x = -3*i - 4290. Let k be ((-7)/(-2))/(36/(-8) + 4). Let g = x - k. Is g a composite number?
True
Suppose w - 2*d - 51 = 3*d, 2*w = 3*d + 67. Let m = -24 + w. Suppose 0 = -2*z + z + g + 133, -2*g + 258 = m*z. Is z composite?
False
Suppose t + 63 - 19 = 0. Let m = t + 155. Is m a composite number?
True
Let b(f) = 134*f**2 + 3. Let i be b(-3). Suppose 3*j - 660 = i. Is j composite?
True
Let g(r) = -741*r - 395. Is g(-36) composite?
True
Let j = 566 + -375. Is j prime?
True
Let f(p) be the second derivative of -p**5/20 + 2*p**4/3 + p**3/6 + 11*p**2/2 - p. Let q(t) = t**3 - 4*t**2 - 2*t - 7. Let j be q(5). Is f(j) composite?
False
Let d(u) = -76*u**3 - 4*u**2 + 2*u + 2. Let s be d(2). Let z = 412 - s. Suppose v - z = -v. Is v a prime number?
False
Let w(g) = 2*g**2 - 1. Let i be w(1). Let x = i - 1. Suppose x = 3*n + 39 - 213. Is n composite?
True
Suppose 0 = -u - 2, 2*d - 10474 = -2*d + u. Suppose 3*n - d = 8293. Is n prime?
True
Let x(j) = 13*j**2 + 2*j + 4. Suppose 11 = -3*f - 4. Is x(f) prime?
False
Suppose -6 = -20*q + 17*q, -5*g - q = -13707. Is g composite?
False
Let f(u) = 15*u**2 + 8*u - 26. Let l = -35 - -26. Is f(l) composite?
False
Let s(m) = 160*m**2 - 16*m - 37. Is s(11) a composite number?
True
Let c(p) = p + 24*p**3 - 1 + 5*p**2 - 9*p**2 + 0 + 5*p**2. Is c(3) a composite number?
False
Suppose -k = 2*k + 2*n - 4, 5*n + 15 = 5*k. Let a be k*(1 + -3) + 99. Let j = 1014 - a. Is j composite?
False
Let k(m) = -2286*m + 7. Is k(-1) prime?
True
Let v(a) = 12*a**2 - 1. Let t be (-374)/(-99) - (0 + 4/(-18)). Is v(t) composite?
False
Suppose -107*w = -87*w - 191740. Is w a prime number?
True
Let p(f) = 57*f**3 + 6*f**2 - 6*f - 11. Is p(4) composite?
False
Let d be 1*(-12)/3 + 4. Suppose -9*k + 13*k - 44 = d. Is k composite?
False
Suppose 0*o + o + 2 = 0. Let w = 4 + o. Suppose 2*y - 4*c - 332 = 518, w*y - 5*c - 853 = 0. Is y a composite number?
False
Let j(u) = -2*u + 9. Let d be j(-10). Let b(h) = -4*h**2 - h - 7*h + d - h**3 - 4*h**2 - 8. Is b(-10) a prime number?
False
Is (2518/(-4))/(4 + 18/(-4)) composite?
False
Suppose -4*t + 4 = -2*t. Let v(x) = x + 14. Let j be v(-10). Suppose -t*q = c + q - 77, -c + 49 = -j*q. Is c a prime number?
False
Let z = 36 + -31. Let r = 9 - z. Suppose 3*q + a - 208 = 0, -2*a + 0*a = r*q - 278. Is q composite?
True
Is 5 + 5 + 23270 + -11 composite?
False
Suppose -790 = -4*c + 50. Suppose 257 = 5*n + 4*a, c = 4*n - 0*a + a. Is n composite?
False
Let a(m) = 238*m + 109. Is a(12) composite?
True
Suppose 4*f + 8*h - 80851 = 3*h, -10 = 2*h. Is f a composite number?
False
Suppose 0 = 30*x - 77735 - 100675. Is x a prime number?
False
Suppose -3*n - 6400 = -51439. Is n a prime number?
True
Suppose -h - z + 8 = 0, -h - 2*z = 3*h - 24. Let y(v) = -3 + 2*v + 4 - v**2 + 0*v**2 + 8*v**3. Is y(h) prime?
False
Suppose -w + 3 = -0*w. Suppose -w*l + l = -4. Is l - -1 - (3 + -4) a composite number?
True
Let v be 40/(-12)*1506/(-4). Suppose -2*s + o = -417, 4*s = -o - 418 + v. Is s a composite number?
True
Let j(c) = -c**3 - 11*c**2 + 12*c - 81. Is j(-19) a composite number?
False
Let f = -722 + 2523. Is f a prime number?
True
Suppose -24630 = -3*b - y + 4*y, -3*b = -2*y - 24629. Let m = b + -5046. Is m a composite number?
False
Let o be 2 - -9*(-20)/15. Is ((-115)/o)/(1/14) a composite number?
True
Let j be 20/((-260)/(-85) - 3). Suppose -j = 3*x - 973. Is x composite?
False
Let i = 49053 + -30602. Is i a composite number?
False
Let i = -48 + 82. Let j = i - -345. Is j prime?
True
Is 24/144 + 89885/6 a prime number?
False
Let d(j) = 11 + 9*j**2 - 5 + 10 - 8*j. Is d(9) a composite number?
False
Let d be (5/(-4))/(10/(-120)). Let b(h) = 2*h**2 + 16*h - 17. Is b(d) prime?
True
Let s(w) = -w**2 + 3*w + 9. Let f be s(-3). Suppose 0 = -p, -5*c + 0*c + 160 = -5*p. Let t = c + f. Is t a composite number?
False
Suppose 3*p = 5*v - 129646, 7*v - 51865 = 5*v - p. Is v a prime number?
True
Suppose 10 = -5*d, -4*q + 2*d = -2 + 14. Is (q + 17)/(1/59) composite?
True
Suppose -f - 1292 = -3*f. Let v = f + -2. Is ((-18)/12)/((-6)/v) prime?
False
Let o(w) = 8*w + 199. Is o(-9) prime?
True
Suppose -2*j - 1534 = -b - 7*j, -b = -2*j - 1569. Is b composite?
False
Suppose -5*y = 2*j - 33, 0 = 3*y + 2*j - 4 - 15. Suppose t = y*t - 5370. Is t composite?
True
Suppose 4*y - 735 = -2*r + 57, -993 = -5*y - 4*r. Suppose -y + 64 = -f - 2*q, -130 = -f + q. Is f a composite number?
False
Suppose 0 = 2*n - 7*j + 2*j - 16, 5*n = 3*j + 40. Suppose -2*u + u = o + n, 20 = -5*o. Is -2 + (-675)/(12/u) prime?
True
Suppose g - 2*w = -g - 754, 0 = -3*g + 2*w - 1127. Let j = 924 + g. Is j composite?
True
Suppose -2*x + 4*c - 1980 + 15306 = 0, 4*x - 26664 = 5*c. Is x prime?
False
Let a(g) = 1147*g**2 + 6*g + 13. Is a(-2) prime?
False
Let d(m) = m**3 + 3*m**2. Let r be d(-3). Suppose 6*o - 310 = -2*x + 3*o, 5*x + 3*o - 793 = r. Let a = x - 108. Is a a prime number?
True
Suppose -4*g = -2*z - 60, -3*z = -6 - 0. Let u = 241 + g. Is u prime?
True
Suppose -85888 = -12*n + n. Suppose -u = 5*d - 969, -5*u = -4*d - n + 2847. Is u a prime number?
False
Let i = -3561 - -5230. Is i prime?
True
Suppose -4*c + 30 = c. Let x be 6*1*c/9. Suppose 515 = x*o - 1569. Is o a prime number?
True
Let a be 30/(-21)*(-28)/8. Suppose 2*m - 2*j - j = 2119, 0 = -a*m + 4*j + 5301. Is m composite?
False
Suppose -4*q - 5*c + 2 = -q, -5*q + 3*c - 42 = 0. Let o(v) = 16*v**2 + 15*v + 1. Is o(q) a prime number?
True
Let w(o) be the third derivative of o**8/20160 + o**7/1680 + o**6/180 - o**5/30 - 5*o**2. Let t(q) be the third derivative of w(q). Is t(3) composite?
True
Suppose -4 - 26 = 6*w. Let n(b) = -b**3 + 5*b**2 - b - 4. Is n(w) prime?
True
Let l be (-7 - -6)/((-2)/10). Let n = 62 - -49. Suppose l = -o, n + 42 = 2*z + 5*o. Is z composite?
False
Is 329/(-63) + 5 + (-57435)/(-27) prime?
False
Suppose 5*h - 2 = 23. Let y(t) be the third derivative of 3*t**4/4 - 7*t**3/6 - 14*t**2. Is y(h) composite?
False
Let t be 102/((3 - 0)/3). Suppose 5*f - 1853 = t. Is f a prime number?
False
Let k = -3 + 10. Let u be (-12 + 11)/((-2)/8). Suppose k*i + 2*l - 1679 = 4*i, i - u*l = 583. Is i composite?
False
Let n(q) = -q**2 - 3*q + 1. Let f be n(-3). Is 0/(0 + f) + 51 composite?
True
Suppose 34*i - 161321 = 319541. Is i a composite number?
False
Let k = 41 + -41. Suppose -3*g + 323 = r, -2*r + 0*g + g + 674 = k. Is r prime?
False
Let p = 7471 + -5268. Is p a prime number?
True
Suppose 2*v + 298 = -2*t, 5*v - t + 4*t + 747 = 0. Let j = -282 - v. Is (-10)/(-8)*j/(-3) a prime number?
False
Is ((-4)/(-8))/((-6)/(-13212)) prime?
False
Let a(f) = 111*f + 29. Let p(d) = 6*d - 30. Let x be p(7). Is a(x) composite?
False
Let g = -43 - -30. Let s = g + 17. Suppose 0 = -3*d + s*q + q + 2880, -4*q = 12. Is d composite?
True
Suppose 15*o - 21800 = 3835. Is o prime?
True
Suppose 4*t + 65 + 3767 = -x, 3*x = -t - 947. Let o = t - -1459. Let f = -265 + o. Is f composite?
True
Is -3 + 40188/18 + 4/3 composite?
True
Let j = 28 + -27. Is 0/j + 271 + -8 a prime number?
True
Let i(h) = -287*h - 130. Let u(k) = 191*k + 87. Let v(f) = 5*i(f) + 8*u(f). Let p(q) = 47*q + 23. Let s(g) = 11*p(g) - 6*v(g). Is s(-12) prime?
False
Let m be (1338/(-4))/(9/(-48)). Let z = m + -1213. Is z a prime number?
True
Suppose -3*n - 4 = n. Let p(q) = -20*q**2 - q. Let g be p(n). Is (g/4)/((-4)/16) a composite number?
False
Suppose 0 = -16*i + 20*i. Let t = 14 - 12. Suppose t*j - 10 = i, k - 5*j = 5*k - 661. Is k prime?
