o + 1311 = -2*b - b, 3*b - 3*o = -1308. Let i = -260 - b. Is i composite?
False
Let g = 316 - 160. Let x be ((-8)/(-6))/(8/g). Suppose 3*s = 5*z + 140, 0 = -3*s - 3*z + x + 154. Is s prime?
False
Let b(h) be the first derivative of 851*h**2/2 + 2*h - 8. Suppose 6 = -s + 4*s, 11 = 5*c + 3*s. Is b(c) a composite number?
False
Let y(s) = -10*s**3 - 1. Let p be y(-1). Let f(a) = 17*a + 4. Is f(p) composite?
False
Let m be (-2 + 10/(-4))*-2. Suppose 0 = t + m - 1. Is (-374)/t - 18/24 prime?
False
Suppose -4*m + 30 = -2*v, 3*v + v - 18 = -5*m. Suppose -711 = -5*s + 4*f, 0 = 4*s + m*f - 3*f - 544. Is s a prime number?
True
Suppose 4*n + 668 = 5*g, -5*g + 2*g - n + 411 = 0. Let k = g + 409. Is k prime?
False
Suppose f + 2 = -2. Let i be 13/(28/(-8) - f). Suppose -5 = t - i. Is t prime?
False
Suppose 315*q - 1011 = 312*q. Is q a composite number?
False
Let z(i) = i**3 + 9*i**2 + 7*i + 8. Let f(q) = q**3 + 5*q**2 + 2*q - 3. Let r be f(-2). Suppose -g = -5*m - 30, -11 = -5*m - r*g - 71. Is z(m) a prime number?
False
Let c be 2/(-3)*1107/(-6). Suppose 3*k + 7 - 1 = 0. Is c + 1 - 6/k composite?
False
Let o = 3 + -3. Suppose -8*d = -276 - 4. Suppose -3*m + 4*j = -2*m - d, 3*j = o. Is m a composite number?
True
Let y = -27 - -30. Suppose y*q - 2*z - 875 = 0, 4*z + 836 + 47 = 3*q. Suppose 3*f - 4*f = -q. Is f composite?
True
Let i(c) = -3*c - 18. Let t be i(-6). Let j(n) = -n**2 - 5*n + 2161. Is j(t) a composite number?
False
Let x(j) = j**2 - 14*j + 40. Let t be x(10). Suppose 5*d + 23 - 3 = t, 2*o = -d + 1486. Is o prime?
False
Suppose 6*p = 4*p + 582. Let c = -313 + 309. Is (p/(-6))/(c/8) composite?
False
Suppose -3*d + 23631 - 104106 = -3*p, 0 = -2*p - 5*d + 53622. Is p a prime number?
True
Suppose -12 = -2*d - 2*d. Suppose 0 = 2*c + d*i - 14, -2*c - 2*i - 2*i = -16. Suppose v = -3*b + 440, -77 - 488 = -c*b + 3*v. Is b a prime number?
False
Suppose -2*t + 2*a + 846 = 0, 11*t - 2*a + 2087 = 16*t. Suppose 2*l + 5*d - 1413 = 0, 3*l - l - 1425 = -d. Let f = l - t. Is f a composite number?
True
Suppose -1502 = -2*m - 130. Let k = m + 121. Let v = k + -288. Is v composite?
True
Let m(l) = -3*l**3 - 10*l**2 + 5*l + 7. Let f(n) = -9*n**2 - 2*n + 3. Let w be f(1). Is m(w) composite?
False
Suppose -5*u - 12 = -3*k, -4 = -u - 3*k + 2*k. Suppose 61*s - 54*s - 1477 = u. Is s composite?
False
Suppose -u = 2*u + 5*p - 6, -2*p = -u + 2. Is 4 + 0 + 15*u prime?
False
Suppose 0 = -5*v - p + 111296, 5*v - 111298 = -51*p + 48*p. Is v a prime number?
True
Suppose 195515 - 39735 = 20*s. Is s composite?
False
Let s(a) = 208*a**2 - 20*a + 7. Let z be s(-5). Suppose 5*c + z - 15922 = 0. Is c prime?
False
Let i(d) = d**3 + 77*d**2 - 88*d + 177. Is i(-71) prime?
True
Is (5851/(-2))/1*200/(-20) composite?
True
Suppose -3*f - 3*k + 8817 = -0*f, 2 = -k. Suppose 2*x = -2*x + w + 2346, 5*x + 3*w = f. Let a = x + -322. Is a a composite number?
True
Suppose 0 = 5*x - 3*x + j - 10, 3*x - 15 = 2*j. Suppose -49 = -x*b + 26. Suppose -b = f - 6*f, -3*u = -4*f - 66. Is u prime?
False
Let f be 4/6 - (-3012)/18. Suppose j = 4*z + 305, -1 - f = 2*z + 5*j. Let o = 332 - z. Is o composite?
False
Let f = 69 + -63. Is ((-1263)/9 + 5)/((-4)/f) a prime number?
False
Suppose -6*v + 3*v = 150. Is 2/5 + (-12330)/v composite?
True
Suppose 23*z + 2*i = 20*z + 155539, -259233 = -5*z - 4*i. Is z a prime number?
False
Let w(l) = l**3 + 17*l**2 - 21*l - 20. Is w(-13) composite?
False
Let l be 162/4*(10/(-6) - -3). Let d be -3 - 16 - (-1)/(-1). Let f = l + d. Is f prime?
False
Suppose 0*g - 1940 = -4*g. Let y(b) = b**3 - 2*b**2 - b - 2. Let s be y(-2). Let m = s + g. Is m a prime number?
False
Suppose 0 = -19*g + 14*g + 40. Suppose -2*m = -g*m + 1962. Is m composite?
True
Let n(t) = -t**3 + 13*t**2 - 13*t + 16. Let r be n(12). Suppose 2*j - 3*h - 298 = -0*h, 4*j - r*h = 596. Is j a prime number?
True
Let c(n) = -7*n**3 - 11*n**2 + 5*n + 7. Let s(m) = 3*m**3 + 6*m**2 - 2*m - 4. Let u(y) = -2*c(y) - 5*s(y). Let b be u(-8). Suppose -p + b*p = 335. Is p prime?
True
Suppose 0 = -15*r + 29935 - 7720. Is r composite?
False
Let q(h) = -2 - 103*h**3 - h + 42*h**3 + 4*h**2 + 2*h. Is q(-3) a composite number?
True
Let s = 807 + 1130. Is s prime?
False
Let b(z) = -4*z**3 + 2*z**2 + 2*z - 15. Let u be b(7). Let f = u - -2018. Is f a prime number?
True
Let o(u) = 97*u**2 + 66*u + 4. Is o(-11) a composite number?
True
Let t = -370 + -129. Let a = -140 - t. Is a prime?
True
Suppose -5*q + 18 = -u, -6*q + 27 = -2*q - 5*u. Let k(l) = 33*l - 99. Let p be k(3). Suppose -2*h - 2*a + 337 = -75, -q*h + 5*a + 658 = p. Is h a prime number?
True
Suppose -2*m + 3 - 5 = 0. Suppose -12*k = -11*k - 2. Is -4*m/k - -147 a prime number?
True
Let p = -139 - -270. Suppose 134*b = p*b + 3201. Is b a prime number?
False
Suppose 2*n = -12 + 20. Suppose n*v - 540 - 1984 = 0. Is v a prime number?
True
Suppose 32*h + 30341 - 214629 = 0. Is h a composite number?
True
Let a = -3 + 2. Let o(u) = -94*u + 3. Is o(a) prime?
True
Suppose -j - 4*i + 17 = 0, -24 = -3*j + j - 3*i. Is (-26840)/(-72) + 2/j a prime number?
True
Suppose 0*t = -11*t - 3*t. Let q(v) = -v**3 + v**2 + v + 1257. Is q(t) prime?
False
Suppose 4*j - 4799 = 3037. Is j composite?
True
Suppose 0 = -n - 2*v - 104 + 2739, 4*v - 10536 = -4*n. Is n prime?
True
Suppose -5012 + 20872 = 20*p. Is p a prime number?
False
Let m(s) = -s**3 + 11*s**2 - 27*s - 8. Let l be m(6). Is -3 + 1697 + (5 - l) prime?
False
Suppose 4*r - 111 = 3*f, 2*r + 47 = 2*f - 3*f. Let v = -62 - f. Is 12/(-28) + (-14226)/v a prime number?
True
Suppose 144907 + 896020 = 17*h. Is h composite?
False
Is 1*2473/(6 - 5) composite?
False
Let z(c) = 13*c**2 - 170*c + 198. Is z(59) prime?
False
Suppose 6*u - 122 = -32. Let k be -1 - (-6)/(18/u). Is -753*(12/(-9))/k a prime number?
True
Let t = -2280 + 2399. Is t prime?
False
Let m = -463 - -708. Suppose 2 - 6 = -2*l. Suppose -383 - m = -l*h. Is h prime?
False
Is 3/(-12) + (-5)/(160/(-2339304)) a composite number?
True
Let z = 3176 - 2174. Let t be (-3 - -5046)*18/54. Let y = t - z. Is y a composite number?
True
Let j = 31800 - 18779. Is j a prime number?
False
Suppose -3*o = -5*d + 114614, -5*d + 5*o + 118722 = 4102. Is d a composite number?
False
Let q(a) = 8*a**2 + 110*a + 61. Is q(33) prime?
False
Let y = -35 + 51. Let c = y - 22. Is (76/c)/(12/(-18)) a composite number?
False
Let y(m) = -5*m**3 + 2*m + 1. Let f be y(-1). Let u(a) = -10 + f + 3*a + 16*a. Is u(7) composite?
False
Let g(r) = 288*r**2 - 4*r - 3. Let d be g(-2). Suppose 2*n - 5*w = d, -2*w = -3*n - 0*n + 1741. Is n a composite number?
True
Let b(p) = p**3 - 6*p**2 + p - 5. Let i be b(6). Let t be (-14)/4*(-24)/42. Is 122 + i + (t - 4) composite?
True
Let a(k) = 20*k - 2*k**3 - 9*k**2 + 4*k**3 + 9 - 12*k. Is a(8) a composite number?
False
Let a = 47 + 212. Is a a prime number?
False
Let p(c) be the first derivative of c**3/3 + 3*c**2/2 + 3*c + 2. Let v be p(-3). Suppose 0*g - 5*g = 4*n - 247, -v*n - 108 = -2*g. Is g prime?
False
Let l = -10296 - -37451. Is l a prime number?
False
Let a = -40 + -33. Let x = a + 588. Is x a prime number?
False
Let b = 3 + -6. Let i be (-3 + 7 + b)*0. Is 422/(-2 + (i - -4)) composite?
False
Let y(w) = -w**3 + 45*w**2 - 54*w + 73. Is y(33) composite?
True
Let p be 3/((-6)/74) + 4. Let n = 86 + p. Is n a prime number?
True
Let a = -65 - -67. Suppose 4*m + 914 = 2*p, a*p + 5*m = p + 443. Is p a composite number?
True
Let m = 755 - 390. Suppose -3*w + 2*w + m = 0. Suppose 1 - w = -4*s. Is s prime?
False
Let d(n) = 697*n**2 + 3*n + 1. Is d(-5) composite?
True
Suppose 43134 = -27*o + 69*o. Is o composite?
True
Suppose 5*y + 4*d - 6530 - 17254 = 0, 5*y - 23776 = 4*d. Is y - (10 - (0 + 5)) composite?
False
Let s = 20 + -15. Suppose -s*b + 1477 = 2*b. Is b a composite number?
False
Let q = 20577 + 68684. Is q composite?
False
Let f(i) = -8*i - 53. Let w(j) = -12*j + 27. Let k be w(3). Is f(k) composite?
False
Let l(f) = f - 5*f**2 + 5*f**2 - 8 + 4*f**2. Is l(-9) a composite number?
False
Let k be 1*3*4/6. Let r(d) = 5*d**2 + 2*d + 1191. Let o be r(0). Suppose 2*z - 794 = -2*j, 3*z = -4*j + k*j + o. Is z prime?
True
Let t(n) = 78*n**2 - n + 10. Let z be t(-4). Suppose -14*r - z = -16*r. Is r prime?
True
Suppose d = -4*j + 13 + 15, -5*j + 18 = -3*d. Let l(u) = -u**2 + 5*u + 10. Let h be l(j). Suppose