-3*b = -4*s - 4245. Is b composite?
True
Let v(d) = 175*d**2 - 19*d + 7. Is v(-6) a prime number?
True
Let x(w) = 534*w - 406. Is x(8) prime?
False
Is 8/(-7) + (-10863480)/(-280) a composite number?
True
Let y(i) = -158*i - 2. Let c be y(-5). Suppose -c = -6*n + 934. Is n a prime number?
False
Let g = 3308 - -3891. Is g a composite number?
True
Suppose 7*g + 57*g = 629696. Is g composite?
False
Suppose -76 = -2*t + 4. Suppose 0 = 2*u - 2*n + 10, 0*u + u - 3*n + 13 = 0. Is -4 + (t + u - 2) prime?
False
Let n(v) = -22*v**3 - v - 1. Is n(-2) a prime number?
False
Let k = 25 - -34. Suppose 12*z = -k + 647. Is z composite?
True
Suppose 21 - 192 = -3*b. Let y = 68 - b. Is y prime?
True
Let o = -507 + 1418. Is o prime?
True
Let q(r) = 1205*r**2 + 2*r + 1. Let s be q(-1). Suppose -5*u + 4*n = 4139, -10*u = -6*u - n + 3309. Let p = s + u. Is p a composite number?
True
Suppose -7*k + 2*k = -2635. Let d = 1160 - k. Let l = -446 + d. Is l a prime number?
False
Suppose -358 = -17*m + 1733. Is m prime?
False
Suppose 0 = -4*c - 1 + 13. Suppose c*k + 4528 = -k. Let w = -413 - k. Is w prime?
True
Let l(b) = -4*b - 7. Let n be l(-3). Suppose 4*s + n*i - 3109 = 0, 4*s = i - 2*i + 3121. Is s a prime number?
False
Suppose -7*l + 8*l = 11. Suppose -l*y = -6*y + 40. Let f(m) = -5*m - 7. Is f(y) prime?
False
Let n(s) = 118*s + 249. Is n(29) prime?
True
Let a(h) = h**3 + 23*h**2 - 11*h + 2. Let b(d) = 2*d**3 + 6*d**2 - 3*d + 1. Let r be b(-4). Is a(r) composite?
True
Let d(j) = -j + 7. Let t be d(8). Let s be (-40)/4 + 3/t. Let n = 34 + s. Is n a prime number?
False
Let d be 1*(-2*3)/(-3). Suppose d*a = g + 2, 3*g - 3*a + 5*a = 10. Suppose -k = -4*k - g*t + 1915, 2*k - 3*t = 1255. Is k a prime number?
False
Let f(u) = -17*u**3 + 7*u**2 - 17*u - 24. Is f(-5) a composite number?
True
Suppose 0 = 2*c + 4*l + 2, -3*c + 3 + 6 = 2*l. Suppose -c*r + 420 = 65. Suppose 3*k + p = -3*p + 98, 2*k - 3*p - r = 0. Is k prime?
False
Is (20997/12)/(6/8) a composite number?
False
Suppose -3*k + t - 3699 = -83943, -3*t - 106997 = -4*k. Is k composite?
True
Let u be (-4 - -7)*(-1)/(-1). Let p be (-2)/(-3) - (-100)/u. Suppose g = 3, -p = -3*d - d + 2*g. Is d a composite number?
True
Let n(g) = -2*g**3 - 28*g**2 + 12*g + 15. Let d be n(-12). Let x = d - -1346. Is x prime?
True
Let s(b) = -883*b**3 - 2*b**2 - 4*b - 2. Is s(-1) composite?
False
Suppose 3*f = 3*w + 172 + 71, -2*f = 5*w - 148. Is f prime?
True
Let i = 108 + -105. Suppose i*n - 1674 = 3*p + 2763, 2*n + 4*p - 2946 = 0. Is n a composite number?
True
Suppose 38 = 5*h + 2*s, -h + s = -5*h + 31. Suppose 497 = -i + h*i. Is i composite?
False
Let y be (-3)/2*(-16)/(-6). Let l(m) = -m**3 - 2*m**2 + 5*m. Let u be l(y). Is (191/(-2))/((-6)/u) composite?
False
Let k = 12716 - 8608. Suppose -4*x - 1341 = -c, 2*x = -3*c - 3*x + k. Is c composite?
False
Suppose 4*t - 1080 = -4*v, 4*t + 274 = 5*t + 2*v. Suppose 0 = -z - 27 + t. Is z a prime number?
True
Let d(i) = -4*i**3 - 18*i**2 - 11*i - 14. Is d(-9) a prime number?
True
Let c = -12555 + 19308. Is c a prime number?
False
Let v(q) = 216*q**2 - 23*q - 50. Is v(-9) composite?
True
Let k(i) = 1151*i**2 - 25*i - 5. Is k(9) a prime number?
True
Let c = 4509 - 3032. Is c composite?
True
Let x = -34385 - -57426. Is x prime?
True
Let w be 3*1 + 102 + -11. Let u(g) = w*g - 23 + 43 - 21. Is u(2) a composite number?
True
Let k = 43 + -31. Suppose -k*g + 10476 = -23832. Is g composite?
True
Suppose -4*r = 5*n + 1, -4*n - 1 = 5*r + 7. Is 3/n*2*183/2 composite?
True
Suppose 13 = 3*f - 5. Suppose 2*d + 0*d = f. Suppose -3*v + d*a + 33 = 0, -v + 16 = 4*a - 5. Is v a prime number?
True
Suppose 22*f = 17*f + k + 62489, -5*k - 20 = 0. Is f composite?
False
Let h(d) = 5*d**2 + 9*d - 9. Let v(q) = 11*q**2 + 18*q - 17. Let z(c) = -13*h(c) + 6*v(c). Let a be z(8). Is (a + 10)/((-1)/(-5)) a prime number?
False
Suppose -2*s - 2334 = -4*a, -4*s + 9*s + 2*a + 5835 = 0. Let j = -678 - s. Is -4 - -2 - j/(-3) composite?
True
Suppose 0 = k + 4, 4*k = -3*v + 6*k + 8537. Is v a composite number?
False
Let w = -2 + 351. Let a = 792 - w. Is a composite?
False
Suppose 9437 = 5*n - 2*v - 5949, 5*v - 10 = 0. Let k = n - 917. Is k a composite number?
False
Suppose -4*k = 4*a, 5*a = a + k + 20. Suppose -z - 8841 = -4*u, 4*u + a*z = -0*z + 8816. Is u prime?
False
Let q = -248325 + 350758. Is q a composite number?
False
Let p = 64797 + -30528. Is p a prime number?
False
Suppose -192846 = -27*x + 21*x. Is x a composite number?
False
Is 6 + (19210 - (1 - -8)) a composite number?
False
Let w(b) = 2*b**2 + 208 + b - 31 - 3*b**2. Suppose 2*a - 10 = 0, 4*r + 23 = 5*a - 2. Is w(r) a composite number?
True
Suppose -19*s - 70540 = -24*s + g, 2*g + 10 = 0. Is s prime?
True
Let k be (-2)/5 + 10/25. Suppose 3*l - 549 = -3*m, -5*l + k*m + 907 = 3*m. Is l a composite number?
False
Suppose -1506 = -5*q - 5*t + 18019, -11719 = -3*q - 5*t. Let m = q - 1570. Is m a prime number?
True
Let v be 56/(-12)*(-12)/14. Let m be ((-20)/v + 1)*1. Is 3267/22 - 2/m a composite number?
False
Let a = 1066 + -731. Is a prime?
False
Let u(y) = 46*y**2 - 11*y - 11. Is u(18) a prime number?
False
Let f = 218 - 320. Suppose -2*m - 48 = 50. Let q = m - f. Is q prime?
True
Let g(s) = 240*s**3 + s + 1. Let v be g(-1). Let b = -137 - v. Is b a prime number?
True
Let f be 3*8/18*2526/(-4). Is -3 + 3*f/(-3) a prime number?
True
Suppose -100 = -3*x - 2*x - 2*s, 20 = x + 5*s. Suppose x = j + 4*j. Suppose -n - z = 4*z - 468, j*n = -z + 1967. Is n prime?
False
Suppose -29810 = -44*a + 34*a. Is a a prime number?
False
Suppose 2*n = 5*n - 15, y + 2*n = -330. Let g = 647 + y. Is g a prime number?
True
Suppose 3*b - 603 = 66. Is b a composite number?
False
Let i be (-6)/(-69) - (-4326)/(-23). Suppose g - 4*a + 73 = -2*a, 4*a = -3*g - 219. Let y = g - i. Is y a composite number?
True
Let p = 32 + -27. Suppose -p*w + w = -j - 139, w - 4*j - 46 = 0. Let m = w + 19. Is m prime?
True
Suppose -s + 1522 = 375. Let j = 756 - 156. Let f = s - j. Is f a prime number?
True
Is ((-6)/4)/((-57)/598766) a prime number?
False
Suppose -7*q + 3*q = p + 5, 2*q + 4*p = 8. Let f be (2*q*2)/(-2). Suppose -101 = 3*a - f*v - 734, -5*a = 3*v - 1055. Is a prime?
True
Suppose -95*z = -1720182 - 890513. Is z a composite number?
False
Suppose 0 = -4*s + 2*q + 26, 2*s + 4*q + 2 = -10. Suppose -1164 = -s*x + 1792. Is x a prime number?
True
Let m(l) = 114*l**3 - 2*l**2 + l. Suppose 5 = 3*a + 2*a. Is m(a) a composite number?
False
Let r = 708 + -420. Let j(a) = 932*a**3 + a**2 + a - 2. Let x be j(1). Suppose r = -4*m + x. Is m a prime number?
False
Let h(y) = 966*y + 137. Is h(24) a prime number?
True
Let l = 9 + -2. Suppose -l*h + 3*h = -1292. Is h a prime number?
False
Is 3*14/399 + 1491315/133 a prime number?
True
Let x(h) = 4 + 2*h + 6*h + 5*h**2 + 4. Let q = -204 - -199. Is x(q) a prime number?
False
Suppose -5*m - 102 = 3. Let f = 392 + m. Is f composite?
True
Suppose -696*a + 65877 = -689*a. Is a a composite number?
True
Suppose -3*k - 4*p = -491436 - 103939, -595387 = -3*k + 2*p. Is k composite?
False
Suppose -9*u + 10205 = -30826. Is u composite?
True
Suppose 0 = -6*l + 2258 + 16906. Is l prime?
False
Suppose 3*x - 97 = 4*w, x + w - 30 = 14. Suppose 4*h + x = -65. Let t = 37 + h. Is t a composite number?
False
Let o(u) = -24*u**3 - 6*u**2 + 18*u + 3. Let z be o(-7). Suppose 5*j + 4*g - z = 9*g, -4*j = -5*g - 6254. Is j a prime number?
False
Suppose -12*p - 1725 = -20073. Is p prime?
False
Is 10/(-45) - (-104674)/18 a prime number?
False
Let h = -10 - 2. Let j be (-6)/(-24) + (-789)/h. Suppose -2*m - 4*q + j = -1436, -3*m - 5*q + 2254 = 0. Is m a prime number?
False
Let x(d) = 2560*d - 43. Is x(5) a composite number?
False
Suppose 73490 = -3462*z + 3472*z. Is z composite?
False
Let t(c) = -c**3 + 6*c**2 + 8*c - 4. Let g be t(7). Suppose -g*p + 615 = 5*v, 4*v = 5*p + 59 + 433. Is v prime?
False
Let z = -3396 + 5011. Let r be (-24)/15*z/(-2). Is r/4 + (-1 - 3) a prime number?
False
Let h be (-18)/(-63) + (-8676)/(-14) - 0. Let u = h - -257. Is u a prime number?
True
Let c(l) = 3*l - 20. Let z be (10 - (5 + 1)) + (9 - 0). Is c(z) a composite number?
False
Let z(g) = -g - 4. Let w be z(3). Let o(b) = 35*b**2 + 9*b - 1. Is o(w) a prime number?
False
Let d = -265 - -1594. Is (2 - 0) + d + -16 a composite nu