1 - ((-16)/10)/((-4)/10). Let b(u) = -2*u**3 - 4*u**2 - 7*u + 6. Is b(i) prime?
True
Suppose -7*q - 1 = 6. Is q*(-68 + 2 + -1) composite?
False
Let k = 32 + -28. Suppose k*t = 2166 + 5102. Is t composite?
True
Suppose -4*s + 3*d = -s - 1092, -2*d = 2*s - 736. Suppose -5*u + 589 = -s. Is u prime?
True
Is (-2467)/((-2)/6 - (-1)/(-6)) prime?
False
Let r(d) = -2 + 167*d - 3*d**2 + 2*d**2 - 161*d. Let v be r(5). Suppose 5*m = -5*k + 158 + 162, -68 = -m + v*k. Is m a prime number?
False
Suppose -4*p + 4478 = -2*n, 7*p - 9*p + 2233 = -3*n. Is p composite?
True
Let w(x) = 4593*x**2 + 5*x - 11. Is w(2) a composite number?
False
Let s(n) = -n**2 + 6*n + 9. Let d be s(7). Suppose 3*o = -d*z + 1221, 5*z - 1 = -16. Is o prime?
True
Is 2/(2/6 - 7716/23172) composite?
True
Let z(g) be the second derivative of -3*g**5/10 + g**4/4 + g**3/2 - g**2/2 + 16*g. Is z(-4) prime?
True
Let k be -1*(-3)/(9/(-471)). Let m = 1218 + k. Is m prime?
True
Let y(x) = 2*x**2 + 16*x - 1. Let f be y(-12). Suppose -2*t = -40 - 26. Let k = f - t. Is k composite?
True
Let r(w) = -w**3 - 10*w**2 - 11*w + 6. Let x be r(-9). Let h = x + -20. Is -3 + 44*46/h a composite number?
False
Suppose y = 5*l + 5261 - 20653, 3*l + 5*y - 9252 = 0. Is l a composite number?
False
Suppose 75*j - 77*j = -2078. Is j prime?
True
Suppose f = 5*f + 84. Let n = -17 - f. Suppose 0 = -0*c + n*c - 3548. Is c a prime number?
True
Let o(t) = 2*t**3 + 2*t**2 + 5*t - 4. Let p be o(-9). Let i = 708 - p. Is i composite?
False
Let v = 1995 - 652. Is v a prime number?
False
Suppose -3*h - 139441 = -4*f + 151140, -h = -5*f + 363218. Is f a composite number?
False
Let n(h) = -h**2 + 2*h + 1. Suppose 4*j - 12 = 4*z, -j - 3*z = 2*j - 9. Let l be n(j). Is (8/(-3))/(l/3) a prime number?
False
Suppose -611379 + 134454 = -15*q. Is q a prime number?
False
Let b be (4/10)/((-10)/(-250)). Let c be ((-2)/(-4))/(5/b). Is 3*c - (-968)/11 a prime number?
False
Suppose -g - c - 3 = 0, -5*c - 4 - 11 = -3*g. Suppose 3*o = -2*h + 48, 0 = 5*o + h - 53 - 20. Suppose 4*s - 3*s - o = g. Is s composite?
True
Let u(p) = 16353*p + 8. Is u(1) prime?
True
Let f(b) = -1662*b - 271. Is f(-19) prime?
True
Suppose 5*n = 20, -w - 4*n = -6*n - 37265. Is w a prime number?
True
Let u(w) = 6*w - 1. Let j be u(1). Let c = j + -10. Let q(x) = 2*x**2 + 2*x - 5. Is q(c) a prime number?
False
Let r(c) = -11*c**3 + 14*c**2 - 4*c + 29. Is r(-12) composite?
False
Let u be (2 + -4)*(1 - 2). Is (u - 13750/(-6))*3 a prime number?
False
Let o be (-5)/(30/1467)*-6. Is ((-4)/(-6))/(6/o) a composite number?
False
Let g(u) = -u**2 + 4*u + 1. Let j be g(3). Let q be (j/10)/((-5)/(-250)). Suppose 2*x - 46 = q. Is x a prime number?
False
Let n = 4595 + -2796. Is n a composite number?
True
Suppose 4*t = -189 - 787. Let o = t + 1223. Is o prime?
False
Suppose 78 = 2*p + p - 3*w, 2*p - 58 = 4*w. Suppose 11 = -4*y + p. Suppose -3*b - y*b + 942 = 0. Is b a prime number?
True
Suppose -4*s = -7*s - 3. Let c(k) = -5*k + 4. Is c(s) prime?
False
Suppose 4*n + 5*l = 72704, 5*n + 92*l = 90*l + 90897. Is n prime?
True
Let t be ((-3)/2 - -2)*(806 - 12). Suppose -2*j + 0 = -4. Suppose o = -o + k + 157, 5*o + j*k = t. Is o composite?
False
Let n = 1059 - -1114. Is n a prime number?
False
Suppose -3*j - 5*i = -11, 0 = -i - 3 + 4. Suppose 4*y + 3385 = 2*s - y, 0 = -2*s + j*y + 3400. Suppose -5*m - 2*k = k - 1701, -5*m + s = 5*k. Is m composite?
True
Suppose -118 = -2*i + 2*u, -2*u = 3*i - 90 - 107. Suppose -4*p + 244 = -2*p. Let c = p - i. Is c a prime number?
True
Suppose -930131 = -19*t - 131428. Is t a composite number?
True
Let a(w) = -964*w + 41. Is a(-8) a composite number?
False
Let j = 440 + -198. Let m = j + -163. Is m composite?
False
Let i = 80 + -238. Suppose 2*q - 755 = 5*l, -2*q + 823 - 75 = 2*l. Let o = i + q. Is o composite?
True
Suppose -9*k - 6 + 33 = 0. Suppose -t - a = t - 2944, -k*t + 4421 = 4*a. Is t prime?
True
Let c(o) = -o**3 + 37*o**2 + 27*o - 21. Let q be c(-27). Suppose 15*g = 9*g + q. Is g prime?
False
Let c = 174463 + -101466. Is c composite?
False
Suppose 10 = 5*x - 10. Suppose w + 14 = -x*f, 4 = 2*w + 5*f + 23. Is (-4)/(4 + w) + 441 a prime number?
True
Let p(h) = -4*h**3 + 13*h**2 + 7*h - 59. Is p(-11) prime?
True
Let j be (-23)/4 + 4/(-16). Let z be 44/12 - j/(-9). Suppose 0*q = -z*q + 159. Is q a composite number?
False
Let p = 102 + -261. Let c = p + 568. Is c a prime number?
True
Let r(f) = -51*f - 13. Suppose 5*o + 32 = -2*g, 0*o + 3*o = 4*g - 14. Is r(o) a composite number?
False
Let r = 28 - 15. Let m = -10 + r. Is 1*m*(-1893)/(-9) composite?
False
Let b be 32/(-6) + 4 + (-14)/(-6). Let w(x) = 15*x**3 - 2*x**2 + 3*x - 1. Is w(b) a composite number?
True
Let o(w) = 68*w**2 - 5*w - 28. Is o(13) prime?
True
Let a = -55 + 52. Is (-6318)/(-12) + a/(-6) composite?
True
Let x(b) = 18*b**2. Let t be x(-1). Let q = t - 17. Let i(k) = 299*k**2 + 2*k - 2. Is i(q) prime?
False
Let q(d) = -951*d - 11. Suppose 0 = -3*a + 3*y - 9, -1 - 13 = 3*a + 2*y. Is q(a) prime?
True
Let q = 25 - 12. Let y(u) = 78*u + q + 17*u - 16. Is y(2) composite?
True
Let h be 0/(6 - 3 - 1). Suppose h = q - 5*i - 12, 4*q + 4*i - 90 = 3*i. Is q composite?
True
Let m(u) = 81*u - 23. Suppose -2*z = z - 30. Is m(z) composite?
False
Suppose 6*o - 18 = 108. Is o a composite number?
True
Is ((-4)/8*-4)/((-2)/(-419)) a prime number?
True
Let l(n) = 62*n + 3. Suppose 0 = -0*f + 4*f + 120. Let o be -3*5/(f/8). Is l(o) a prime number?
True
Is (-36)/48*(-234276)/9 composite?
True
Suppose -13*s = 10*s - 60145. Is s prime?
False
Let k(v) = -v**3 - v**2 - 2*v + 307. Let w = -26 + 28. Suppose w*d = -2*d. Is k(d) composite?
False
Suppose -3*r = 4*c - 16, c - 28 = 5*r - 1. Let h(v) = -v**2 + v - 1. Let q(j) = 10*j**2 + 4*j - 7. Let u(y) = 3*h(y) + q(y). Is u(c) a prime number?
False
Let y = 109 - 157. Let g = 183 - y. Let q = g - -26. Is q a prime number?
True
Let q = 186 + -9. Suppose 302 + q = b. Is b a composite number?
False
Suppose -4*n = -4*h - 180, 0*n - 5*h = n - 63. Let a = n + 167. Let c = 372 - a. Is c prime?
True
Let d(y) = 11*y**2 + 3*y - 7. Let r(w) = w**2 - 17*w + 6. Suppose -30 - 55 = -5*i. Let g be r(i). Is d(g) a composite number?
True
Is (-2)/((16/2477)/(-8)) prime?
True
Let l(g) = -23 + 7 + 2*g + 9. Let r be l(7). Suppose 4*q - 4473 = -5*f, 2*q + r*f - 4*f = 2237. Is q prime?
True
Suppose 3*q - 735 + 193 = 2*j, -j - 284 = 5*q. Let u = 229 - j. Is u a prime number?
True
Let m(c) = -23*c**2 + 6*c + 8. Let f be m(-3). Let v = 614 + f. Is v prime?
True
Let f(g) = -3*g**3 - 15*g**2 - 51*g - 43. Is f(-20) a composite number?
True
Suppose -11 = -4*p + 5. Suppose 0 = j - p*j + 4*h + 458, -3*j - 2*h = -428. Let o = j + -77. Is o a composite number?
True
Suppose 4*h + 4*h - 52168 = 0. Is h prime?
True
Suppose 0 = -2*n + 2*r - 50, -3*n - 3*r - 50 = -r. Let q be (24/n)/((-6)/20). Suppose 0 = -q*p, p - 87 = -x + 3*p. Is x a prime number?
False
Suppose 11*x - x - 40 = 0. Suppose -o + 435 + 28 = -k, x*o + 2*k - 1870 = 0. Is o prime?
False
Let r = 414 - 10. Let p = r + 47. Is p a prime number?
False
Let x(l) = l**3 + 7*l**2 - 8*l + 2. Let o be x(-8). Let f be (o - -4)*(-6)/(-9). Suppose h + w - 216 = 0, -h - 649 = -f*h - 2*w. Is h prime?
False
Suppose -m + 0*m - 2*d = -13, -3*d = -4*m + 8. Suppose g + 4*g - 3*t = -10, m*t = 0. Is ((-357)/(-6))/((-1)/g) prime?
False
Let q(p) = 158*p**3 + 3*p**2 - p. Let d be 10*3/(-18)*-3. Let k(x) = 316*x**3 + 5*x**2 - 2*x. Let s(m) = d*q(m) - 3*k(m). Is s(-1) prime?
True
Is ((301308/35)/12)/((-1)/(-5)) a composite number?
True
Let s(v) = 27*v**3 - 19*v**2 - 39*v - 35. Is s(16) prime?
False
Let g(l) = l**2 + 12. Suppose 0*u - 2*u - 13 = q, -5*q = -4*u - 5. Is g(u) composite?
False
Let d be (-1 - -1 - 1)*(-180 + -10). Suppose -4*x - 4*y + 2512 = 0, 4*y + d + 413 = x. Is x composite?
True
Is 2/((-246535)/1479570 + (-2)/(-12)) a composite number?
True
Let b(s) = 473*s**2 + 8*s - 4. Is b(-7) composite?
False
Suppose -3*a + 4*h + 2 = 0, a - h - 5 = -4*h. Let k be 4*(-2)/2*(-275)/(-44). Is ((-5)/k)/(a/1490) composite?
False
Suppose 10 = -4*f - 6*f. Is f/2*(-7 + -15) a composite number?
False
Let i be (-13064)/(-10) - 4/10. Suppose -3*a = 2*a + p + i, -4*p + 802 = -3*a. Is (a/(-4))/(5/10) a composite number?
False
Let j = -4320 + 7753. Is j a composite number?
False
Suppo