 + o + c*o = -230, 4*z - d = -5*o. Is z a composite number?
True
Let l be ((-2)/(6/1))/((-4)/21540). Suppose 20*j = 15*j + l. Is j composite?
False
Suppose 5*g + 35 = 105. Let b(k) = -3*k + 22*k + g*k - 16. Is b(5) a prime number?
True
Suppose 0 = 5*s - 0 - 195. Let b(p) = -40 + 2*p**2 + s + 14*p - 2*p. Is b(-9) a prime number?
True
Suppose -3*r - 615 = -4*r. Suppose 4*p - 4739 + r = 0. Is p a composite number?
False
Let p = 11983 - 774. Suppose 4*i - p = 499. Is i prime?
True
Let b(h) = 1. Let v(o) = -90*o**2 + 5*o - 6. Let a(f) = -b(f) - v(f). Let r(n) be the first derivative of a(n). Is r(7) composite?
True
Let k = 135 + -40. Suppose 2 + k = q. Is q a composite number?
False
Let q(c) = -1437*c - 2. Let v be q(-1). Suppose 0 = -a + v - 514. Is a a composite number?
True
Let z = 270 + -418. Let b = 1131 + z. Is b a prime number?
True
Suppose 2*z - 2 = -2*p, z + z - p - 8 = 0. Let a be (-266)/(-4) + (-26)/(-52). Suppose 298 = z*q + a. Is q a composite number?
True
Let y(n) = -n**2 - 6*n. Let s be y(-6). Suppose 0 = -3*x - s*x + 2607. Suppose -4*u + 5*t = -x, 5*u - 1030 = -0*u - 5*t. Is u a prime number?
True
Is (-430478)/(-22) - ((-48)/(-22))/12 composite?
True
Let p = -9003 - -15148. Is p a prime number?
False
Let g be 1/((-5930)/(-5935) - 1). Let h = 2098 + g. Is h a composite number?
False
Is (-4 + -1)*(24 - 181) prime?
False
Let b = -197 + 557. Let h = b + -249. Is (1 - 0)*1*h composite?
True
Is (279578/(-65))/(18/(-45)) prime?
True
Let s(g) = g**3 + 2*g**2. Let b be s(-1). Let y be b/(3/(-6)*1). Is (1*y)/((-10)/1655) a prime number?
True
Let c(d) = -44*d**3 + 3*d - 1. Let o be 2 - -1 - (-7 - -12). Let w be c(o). Let n = 791 - w. Is n prime?
False
Let y = 10 - 10. Is (y - 1273/(-1))/1 prime?
False
Let b = -5 + 1. Is (16 - -406)*(-14)/b a prime number?
False
Let h(z) = -7*z**2 - 8*z - 5. Let s(f) = -f. Let x(u) = -h(u) - 4*s(u). Let j be x(-12). Let d = 1732 - j. Is d composite?
False
Suppose 4*g - 56 = -5*w + 2*w, -g - w = -15. Let o(k) = 6*k**2 + 3*k + 3. Let r be o(3). Let j = r + g. Is j a composite number?
True
Let l be 5 - -5 - (-9)/3. Suppose -l*r = -9*r - 8732. Is r prime?
False
Let c(y) = y**2 + 6*y - 8. Let x be c(-8). Suppose 0 = -5*g + 63 - x. Suppose 7*z - g*z = -8. Is z composite?
False
Suppose 0 = 5*n - 7*n + 6. Suppose n*f = f - l + 217, 126 = f + 4*l. Is f a prime number?
False
Suppose 3*t + y = -8, 5*t + y = -3*y - 25. Is (t - 236)*(-2)/12*4 prime?
False
Let f be 207/63 + 4/(-14). Let a be 0*(0 - (0 - -1)). Suppose 663 = f*s - a*s. Is s a composite number?
True
Let x(o) = 22*o**2 + 14*o - 59. Is x(12) a composite number?
True
Suppose x - 2*d - 7 = 5, 5*x - 2*d - 52 = 0. Suppose -2*p = -0*p + x. Let a(n) = -n**3 - 3*n**2 + 7*n - 2. Is a(p) a prime number?
True
Let k(l) = l**3 - 6*l**2 + 2*l - 4. Let v be k(6). Suppose v*y = 3*y + 590. Suppose f - 3*f = -y. Is f a composite number?
False
Suppose -g + 5*y = -423, -4*g + 8*g + 2*y - 1736 = 0. Let c = g - 242. Is c composite?
False
Let s(v) = v**3 + 6*v**2 - 5*v + 3. Let n be s(4). Suppose 0 = f - n - 110. Is f prime?
False
Suppose -3*w + k = -k - 8999, 4*k - 11992 = -4*w. Is w prime?
True
Let z(l) = 24*l**2 - 11*l + 5. Let d be z(5). Suppose k + 101 = d. Is k composite?
False
Suppose 10 = 5*s, 87737 = 3*i + 3*s - 2*s. Is i a composite number?
True
Let w = -84312 + 132145. Is w a prime number?
False
Suppose t + 3*a - 6698 = 2093, -4*t + 2*a + 35108 = 0. Is t prime?
True
Suppose -3 - 12 = -5*t. Suppose -2*u + 5*j = -t, 3*u + 0*j + 27 = -3*j. Let w(z) = z**2 - 6*z - 5. Is w(u) a composite number?
False
Suppose 0*x - 3*x - 4*f + 28 = 0, -12 = 2*x - 5*f. Suppose -558 = x*q - 1442. Is q prime?
False
Let n = 1 + -1. Let b(t) = 12*t**3 + 17 - 2 - 11*t**3 - t**2. Is b(n) composite?
True
Suppose 0 = -5*j + 5*a + 25, -j - 6 = 4*a + 4. Suppose y - 3*y = -5*m + 8837, -m = j*y - 1777. Is m composite?
True
Let v(t) = 3 + 402*t + 3*t**2 - 401*t + 5*t**2. Is v(12) composite?
True
Let u = -2424 - -3429. Suppose -u = -2*t - t. Is t a prime number?
False
Let t(w) = 123*w**2. Let h be t(-2). Let p = -199 + h. Is p composite?
False
Let b = 6953 - 3136. Is b a prime number?
False
Suppose -8 = 3*j - 5*j - 4*q, q - 11 = -5*j. Is 6788 + ((-9)/(-18))/(j/(-4)) a composite number?
True
Let v(m) = -m**3 + 9*m**2 - 7*m - 4. Let n be v(8). Suppose 187 = g + 2*l + l, -4*g + n*l + 812 = 0. Is g prime?
True
Let j(g) = 2874*g - 41. Is j(1) a prime number?
True
Suppose 0 = 7*r - 6*r - 5. Suppose -3*g = -2*j + 197, r*j - 324 - 151 = 4*g. Is j prime?
False
Let m(r) = r**2 + 10*r - 11. Let b = -10 + 0. Let k = -22 - b. Is m(k) composite?
False
Let g(p) = 1534*p**3 + 3*p**2 - 3*p + 1. Is g(1) composite?
True
Suppose 0 = 10*j - 27888 + 7508. Is j prime?
False
Let z(l) = l**2 - 2*l - 1. Let r be z(3). Suppose -3*d + 20 - 11 = 0. Suppose 0 = r*n - 0*o + 3*o - 454, -221 = -n - d*o. Is n a composite number?
False
Let w = -4109 + 16558. Is w a prime number?
False
Let b = -10 + 4. Is 6/(-9) - 1558/b a composite number?
True
Suppose 1561 = -5*f - 4*c, -c + 250 = -2*f - 364. Suppose 121 = -2*b + 5. Let v = b - f. Is v a prime number?
True
Suppose 5*h - 2*w = 3685, 2*h - 478 = 2*w + 996. Is h composite?
True
Let v(r) = -28*r**2. Let f(w) = -27*w**2 - w + 1. Let i(q) = 3*f(q) - 4*v(q). Let z be (-4)/18 - 50/18. Is i(z) a composite number?
True
Is (-2)/4 - (-402183)/18 a composite number?
False
Let j(q) = -2*q**3 + q**2 + 2*q - 2. Let r be j(-4). Let i be (15 - 1)*(-21)/14. Let m = r + i. Is m composite?
False
Suppose -6*a + 3*a = -18. Is 946/6 - 4/a a composite number?
False
Suppose -6*q + 14*q - 9984 = 0. Suppose -4*g + q = 4*r, -r = -2*g - 6*r + 639. Is g a composite number?
False
Suppose 0 = -3*v - 2*p + 11833, 0 = 3*v + v - 3*p - 15766. Is v a prime number?
True
Suppose -155*c + 150*c = -40. Is (-1)/3*(c + -5) + 660 prime?
True
Let g(a) = a**3 + 6*a**2 - 6*a + 10. Let f be g(-7). Suppose -p - 497 = -c + f*p, -5*p = -5*c + 2560. Is c prime?
False
Let p be (77/(-14) - -5) + 1029/2. Suppose -3*n = -n - p. Is n a prime number?
True
Let a(g) = 34*g**2 + 5*g + 8. Let o(c) = c**2 + c + 1. Let j(w) = a(w) - 6*o(w). Is j(3) a composite number?
False
Suppose -4*z - 63 = -11*z. Is (z*21 - 2) + 4 prime?
True
Suppose 0 = -3*m + 2*m - 279. Is (5/3)/((-3)/m) a composite number?
True
Suppose 4*l - 2*l + 43 = -5*z, 4*l + z = -59. Let k be l/(-6) - 4/(-6). Is (-2)/k*-228 - -3 a prime number?
False
Let i = -108190 - -168963. Is i a composite number?
False
Let f(z) = 3 - 8*z + 1 - 6 - 2. Let t be f(4). Is (-477)/t + (-2)/8 composite?
False
Let v be 1825/10*(115 + -1). Let k = -13238 + v. Is (-9)/54 + k/6 composite?
True
Let v(d) = d**2 - 2*d + 20. Let t be v(0). Suppose -5*n = -9*n + t. Is (n/(-15))/(1/(-102)) a prime number?
False
Suppose -104*s + 1971984 = -659320. Is s composite?
False
Let n(u) = -u**3 - 4*u**2 - 2. Let b be (-1)/(-3) - 56/(-21). Let w be n(b). Let j = w + 102. Is j composite?
False
Let b(z) = z**3 + 5*z**2 - 2*z - 17. Let r be b(-5). Let v(d) = -63*d + 28. Is v(r) prime?
False
Suppose 0 = 5*n - 8858 - 6227. Is n a prime number?
False
Let q(t) = 193*t**2 - 17*t + 47. Is q(14) composite?
True
Suppose -3*s = -7*s + 352. Let k = -798 + 549. Let h = s - k. Is h prime?
True
Let b be 1*(-2)/(-10) + (-16)/80. Suppose -5*a - 31 + 2920 = -2*j, 2*a + 4*j - 1146 = b. Is a prime?
True
Suppose -5 = -15*j + 20*j. Suppose 4*q - d + 63554 = 0, -2*d + 79438 = -5*q - 3*d. Is j/5 + q/(-40) prime?
True
Let k be -13 + -1 + 16/4. Let u(p) = p + 14. Let j be u(k). Suppose h = 4*f + 53, -j*h + 6*f + 157 = f. Is h prime?
False
Suppose -2*h = d + 349, -2*h + 9*d - 5*d - 374 = 0. Let i = 320 + -69. Let f = h + i. Is f a composite number?
True
Suppose -4*n - 3*y + 277 = -0*y, -312 = -4*n + 4*y. Suppose -n = -t - 12. Suppose -5*z = -866 + t. Is z prime?
False
Let m(b) = -69*b**3 - b**2 + 23*b + 28. Is m(-5) a prime number?
True
Let g(y) = -5*y**3 + 2*y**2 - 2*y - 8. Let m be g(-7). Let s = m + -906. Is s prime?
False
Let p be (0 - 90)/((-1)/2). Suppose p + 130 = 2*x. Let u = -72 + x. Is u composite?
False
Let z be (1 + 4/(-8))/(-1)*0. Suppose -2*b - 12 = -2, z = 3*g - 4*b - 497. Is g a prime number?
False
Suppose 6*j = -3*s + 93414, 2*j - 40517 + 9379 = -4*s. Is j a prime number?
True
Let x(f) = 5079*f + 32. Let g be x(22). Is 3/(-24) + g/80 a pri