pose b = -4*i + c. Is i a composite number?
True
Let x = -63 - -241. Let b be (-2 - -5) + (2 - (-534)/(-1)). Let i = x - b. Is i prime?
False
Suppose -4*g - 3*n = 10371, 2*g - 3*g - n = 2593. Let a = g - -4214. Suppose -5*o = -i + 397, 4*i - a = 2*o + o. Is i composite?
True
Let q = -287 - -928. Is q prime?
True
Suppose -3*x + 6*x = 3*k - 210, -374 = -5*k - x. Is 0/(-3) + k/2 prime?
True
Suppose -4*m - 45 + 353 = 0. Let n = m - 25. Suppose p = 5*p - n. Is p prime?
True
Let t be (-4)/7*(-56)/16. Suppose 0 = b + t*b - 1170. Suppose -8*s + b = -2*s. Is s a prime number?
False
Let f(o) = 479*o**2 - o + 1. Suppose -1 + 4 = 3*g. Is f(g) prime?
True
Let r = 5 - 3. Let n(b) = 2*b**2 + 10*b + r*b**2 + 5 - 2*b**2 + 2. Is n(-15) a composite number?
False
Let i(p) = 1891*p**2 + 8*p - 6. Is i(1) a composite number?
True
Let y = 13 - 17. Is y/22 - (2 - 8922/66) composite?
True
Let x(y) = 304*y - 3*y - 2*y. Is x(1) composite?
True
Let n = 256 - 145. Is n prime?
False
Let c be (-2*2/(-8))/((-2)/(-12)). Is (-139)/((c/(-9))/(20/12)) composite?
True
Let u(r) = r**2 + 10*r - 11. Let b = 12 - 9. Suppose -b*o - 12 = 24. Is u(o) a composite number?
False
Let y(p) = -7*p**3 - 3*p**2 + 3*p + 4. Let a = 22 + -22. Suppose -5*q + a - 15 = 0. Is y(q) composite?
False
Let t = -9322 + 23955. Is t a prime number?
True
Suppose 889149 = 44*u - 1110871. Is u prime?
False
Let y(j) = -j**3 + 12*j**2 - 5*j - 7. Let p(n) = -n**2 - 9*n + 19. Let r be p(-10). Is y(r) a prime number?
True
Suppose -2*p + 31*s - 26*s + 89496 = 0, 5*s = 10. Is p a composite number?
False
Let a(w) = -6*w**2. Let y be a(1). Is y/27*-138*12/8 composite?
True
Suppose -12*i + 62006 = 8570. Is i prime?
False
Let m(p) = 168*p**3 + p**2 + 2. Let c be m(2). Let t be (-2 - -1)/((-5)/60*3). Suppose -t*n - u + 1616 = -1088, c = 2*n + u. Is n a prime number?
True
Suppose 0 = -41*v + 932530 + 1594177. Is v prime?
True
Is (-5)/(70/(-7))*15278 prime?
True
Suppose -s = 3*y - 27355, 0 = 7*y - 12*y. Is s prime?
False
Is (-6)/(-33) + (-592)/(-11) + -1 a prime number?
True
Let t = 557 - 287. Let v = t - -568. Is v prime?
False
Let i(h) = h**3 - 8*h**2 - 14*h + 14. Let l be i(10). Suppose 2*s - l = 3*s. Is s*12/(-8) - 0 prime?
False
Let n = -6332 + 11713. Is n a prime number?
True
Suppose 14*m + 365371 = 57*m. Is m composite?
True
Let c(w) = -w**2 - w + 2. Let j be c(1). Suppose -4*s = 5*r - 44, -s + r + 2 = -j. Let t(n) = 5*n**2 - 11*n + 13. Is t(s) a composite number?
False
Let t be (-6)/(-3) - (8 + 0). Is (15/t - -3)*-4 - -3409 a composite number?
False
Let n(q) = 325*q - 21. Is n(8) a composite number?
False
Let f be (-3)/(-12)*(-4)/(-1). Let j(i) = 63*i + 2. Is j(f) composite?
True
Let r be 445/65 - (-2)/13. Let b(y) = -139*y - 3. Let z be b(-2). Suppose 2*o - r*o = -z. Is o prime?
False
Let f(q) = 3*q + 2. Let m be f(-4). Let c be (-2)/m + (-5059)/(-5). Suppose 4*h = -y + 263, 5*y - 286 - c = -3*h. Is y prime?
False
Suppose -3*i = 515 - 3974. Let z = -539 + i. Is z a prime number?
False
Let c(n) be the second derivative of -n**5/20 + n**4/2 - 2*n**3/3 - n**2 - n. Let j be c(5). Let w(p) = 102*p + 1. Is w(j) prime?
True
Suppose 0 = 7*z - 8*z - 78. Let p = z - -2. Let q = 199 + p. Is q a prime number?
False
Suppose -39 - 13 = 4*l. Let g = 21 + l. Is (-87)/(-2)*g/6 composite?
True
Suppose -5*i + 17 = -18. Suppose i*q - q = 1266. Is q a composite number?
False
Is 1760/6 - 53/159 prime?
True
Suppose 0 = s + s + p - 1, s + p + 1 = 0. Suppose 3327 = 5*d - s*w, 2*d - d + 4*w - 683 = 0. Is d composite?
True
Let z = -6555 + 13454. Is z a prime number?
True
Is (-2 - -82)/(-8) + 17283 a prime number?
False
Suppose 5*v = -3*m + 6*m + 189, -3*m = -4*v + 150. Suppose 3*w = 72 + v. Is w a prime number?
True
Let g(n) = -5*n + 14. Let h be g(5). Let o = h - -16. Suppose 2*t = o*c + 563 - 187, -5*t + 886 = c. Is t prime?
False
Suppose -6*g + 23842 = -3*g + 5*k, g = -4*k + 7959. Is g prime?
False
Let u = 18 + -22. Is 9/36 + (-747)/u a prime number?
False
Let b = -7 + 15. Let u be 9 + (-8)/(4 + 0). Suppose -m + b + u = 0. Is m a composite number?
True
Let n(c) = c**2 - 3*c + 5. Let r be n(2). Suppose r*f - 1187 = -4*i, 0 = f - 3*i + 5*i - 395. Is f a composite number?
False
Let k be (235/10)/(1/6). Suppose -4*v + 207 = -k. Is v a prime number?
False
Let m(g) = 14880*g**3 - 3*g**2 + 8*g - 6. Is m(1) composite?
False
Suppose -666*p - 1343 = -667*p. Is p a prime number?
False
Let r(t) = 7*t**2 - t - 4. Suppose x + 21 = -3*k, 0 = 5*x + 4*k + 18 + 32. Let p(b) = 6*b**2 - 2*b - 3. Let w(f) = x*p(f) + 5*r(f). Is w(4) prime?
False
Let u(q) be the second derivative of 7*q**4/6 - q**3/2 - 19*q**2/2 + 10*q. Is u(8) a composite number?
False
Let u = -1118 + 5729. Let a = u - 2374. Is a prime?
True
Let d(b) = -111*b. Suppose 4*q - 21 = -h, 23 = 4*q - 2*q + 3*h. Let l be (-21)/(-14)*q/(-6). Is d(l) prime?
False
Let r = -2615 + 19303. Let k be (-4)/(-18) + r/72. Let f = k - -87. Is f a prime number?
False
Let r = 827 + -310. Is r a prime number?
False
Is (1285/(-5))/(31/(-527)) a composite number?
True
Let h be (6/(-8))/((-3)/12). Let z(l) = 36*l**3 - l + 3*l**2 - h*l**2 + 0*l**2. Is z(1) composite?
True
Suppose 4*s = -h - 31, -4*s - 27 - 13 = 4*h. Let q(p) = -p - 2. Let w be q(s). Suppose 2*u - 20 = v + 24, 125 = 5*u + w*v. Is u composite?
False
Let j be -3*(5 + -2 - 0). Let m be (-1 + -5)*6/j. Suppose -5*d + 336 = -g - 553, -m*d + 2*g + 710 = 0. Is d a composite number?
True
Let f(h) = 2*h**3 - 46*h**2 - 101*h - 8. Is f(27) a composite number?
True
Let g(q) be the third derivative of -q**4/8 - 11*q**3/6 - 4*q**2. Let i be g(-9). Let z = 53 - i. Is z a prime number?
True
Let h = 27 - 35. Let v(g) = 5*g**2 - 1. Is v(h) a composite number?
True
Let i be (-10)/6*(-1201 + 4). Suppose -i = -10*s + 3*s. Suppose -634 = -a - 3*t, 3*a - 2*t = 2176 - s. Is a a composite number?
False
Suppose -4*s - 34401 = -3*t, -2*t + 22934 = -s + 2*s. Is t a prime number?
True
Suppose 27 + 76 = f. Suppose f*w - 1257 = 100*w. Is w a composite number?
False
Let h(f) = 20*f**3 - 3*f**2 + 5*f - 5. Is h(3) a composite number?
False
Let d be (-9)/(-6)*(-64)/(-12). Suppose 7*g + 67 = d*g. Is g a composite number?
False
Let j = 1389 - 626. Is j a prime number?
False
Let j(l) = -15*l - 8. Let g(v) = 44*v + 24. Let b(q) = -2*g(q) - 7*j(q). Suppose -2*d + 1 = -13. Is b(d) a composite number?
False
Suppose 3*b + 3*p - 41610 = 0, -179*b + 5*p + 13888 = -178*b. Is b a prime number?
True
Let o = -106381 - -177584. Is o a composite number?
True
Let r(a) = 2*a**2 - 7*a - 3. Let c be r(5). Let v = -7 + c. Suppose 0 = v*j - 52 - 293. Is j composite?
True
Let j = -35 - -65. Let k be 3554/12 + (-5)/j. Is 12/(-4) + k + -4 a prime number?
False
Let j be (-2)/(-13) + 13684/(-52). Let g = j + 1218. Is g prime?
False
Let v(r) = -r**3 + 7*r**2 + 41*r + 44. Is v(11) prime?
True
Let q = 1 + 2. Suppose -b = -q*c - 3602, -b = -4*b + c + 10782. Is b prime?
True
Suppose 1 = y - 6. Let q be (y - 4)*(1 - 0). Suppose -q*g + 464 + 523 = 0. Is g composite?
True
Let m = 794 + -1139. Let y = 580 + m. Is y a prime number?
False
Is 11 + (-226596)/(-72) - 1/6 a prime number?
False
Suppose 0*d + 5*w = 5*d + 3565, -4*d = -w + 2855. Let i = -264 + -233. Let c = i - d. Is c a composite number?
True
Is ((-5903)/(-6))/((-27)/(-162)) a prime number?
True
Let f(a) = -603*a - 3. Let s(l) = -1206*l - 7. Let w(c) = -5*f(c) + 2*s(c). Let k be w(-1). Is 2*(-2)/8*k composite?
True
Let u = 19 - 8. Let y(h) = 13*h**2 + 11*h - 1. Is y(u) a prime number?
True
Let a(x) = 761 + 39 + 287 + x. Is a(0) a composite number?
False
Let y = 13 - 11. Suppose -2*r + 499 + 2271 = 3*d, -y*d + 1864 = -3*r. Is d prime?
False
Let m = 728 + -1236. Let l = -847 - m. Let b = l + 488. Is b composite?
False
Suppose -q + 5*t + 7 = 0, -3*t = 2*q + t. Let r be 2 + (q + -2 - 3). Is (r/(-2))/((-1)/(-262)) a composite number?
False
Let k be 12*-1*10/(-8). Suppose 4*v - 503 = -3*g, 2*g - k = -g. Suppose v = 2*i + 4*c, 3*c + 81 = -4*i + 5*i. Is i a composite number?
True
Let u(n) = 3 + 16*n**2 + 12*n + n**3 - 9*n + 14*n. Is u(-14) prime?
True
Let r = 25784 - 17844. Suppose -2120 - r = -4*s. Is s composite?
True
Suppose -2*j = -5*w - 2586, -4*j - 375 - 151 = w. Let y = w - -871. Is y prime?
True
Suppose 2*n - 33 - 3 = 0. Let g = 65 - n. Is g a prime number?
True
L