a composite number?
True
Let h(c) = c**2 - c - 4. Suppose -3*b = -6*b + 9. Let m be h(b). Suppose m*l + 2*q = 93 + 9, -4*l - 5*q = -202. Is l a composite number?
False
Let k = -5 + -111. Is (-1)/(-2 + k/(-60)) a composite number?
True
Let l = -7061 + 10360. Is l prime?
True
Suppose -w + 0*t - 17 = -4*t, -5*w + t = -10. Suppose 2*c - 14 = 2*u, -4*c - 2*u + 13 = w. Suppose -c*n + 635 = n. Is n a composite number?
False
Suppose 0 = -j - 0 + 2. Let k(v) = -2*v**3 + 2*v**2 + 2. Let a be k(j). Is -6*(-3)/a*-2 prime?
False
Let c(x) = -88*x**3 + x**2 - 3*x + 4. Let r be c(-5). Suppose -2*w + 5*l + 10277 = 0, 4*w - 5*l - 9515 - r = 0. Is w a prime number?
False
Let v(x) = -2*x**2 + 6*x - 4. Let l be v(2). Suppose -15 = 5*p, l = 3*i + 6*p - p - 252. Is i prime?
True
Let h(w) = 14*w**2 - 14*w - 12. Let c be h(-10). Suppose 4*j + c = 4*t, -4*j + j = 9. Is t a composite number?
False
Suppose -221 = -c + 327. Let p = -367 + c. Is p composite?
False
Suppose 0 = -15*k + 12*k + 60. Is 690/k - (-1)/2 a composite number?
True
Let u(n) = 4*n + 3. Let y(q) = -5*q - 2. Let w(v) = -5*u(v) - 6*y(v). Is w(10) composite?
False
Let l(i) = 3*i + 15. Let p(d) = 5*d + 31. Let b(q) = -7*l(q) + 4*p(q). Let h = 11 + 1. Is b(h) composite?
False
Let s(a) = -a**2 + 11*a + 3. Let t be s(8). Suppose 92 - t = v. Is v composite?
True
Suppose 0 = 4*h - 32 + 4. Suppose -h*b + 5*b = -8. Suppose -5*y + 85 = -b*y. Is y a prime number?
False
Let y(v) = 2*v**3 + 20*v**2 + 10*v - 18. Let k be y(-9). Suppose 3415 = -k*r + 59*r. Is r composite?
False
Let w = 10035 + -6841. Suppose 5*x - 2641 = 5*o + w, -16 = 4*o. Is x composite?
False
Suppose 0*v = -4*b + v + 23, -29 = -2*b - 3*v. Suppose -b*s + 310 = -1083. Is s prime?
True
Suppose 871 = 5*x + 4686. Let c = -344 - x. Is c/(-2)*12/(-6) composite?
False
Suppose -v - 3*h = -1 + 7, 4*v - h = -37. Let c be (10/(-1))/(4/(-22)). Let z = v + c. Is z prime?
False
Let m = -22 - -47. Suppose -m = 2*u + 3*u - h, 4*u - 9 = -5*h. Is (u - 14/(-6))*-39 prime?
False
Suppose -5*t + 2*t = 2295. Let j = -428 - t. Is j composite?
False
Let p be (-16)/24 - (-56)/(-6). Let t = 13 + p. Is 171/t - (1 + -3) a prime number?
True
Suppose -57*g + 640051 + 10376 = 0. Is g a composite number?
False
Let p(z) = -140*z - 13. Let i(u) = -141*u - 12. Let s(y) = 3*i(y) - 2*p(y). Is s(-3) a composite number?
False
Is (-17)/((7 + 0)/(-3899)) prime?
False
Let z = 6028 - 35815. Is z/(-18) - (-3 - 85/(-30)) a composite number?
True
Let k(x) be the second derivative of -x**4/12 - 5*x**3 - 13*x**2/2 - 9*x. Is k(-12) prime?
False
Suppose r + 12 = 5*s, r - 48 = 5*r - 2*s. Let d be r/(-8)*8/2. Is (4/d)/((-2)/(-174)) a prime number?
False
Let h = 23963 - 5256. Is h a composite number?
True
Suppose -8 + 1 = 5*j + 4*k, k = -3. Let h(f) be the first derivative of 200*f**2 + f + 71. Is h(j) a composite number?
False
Let s(u) be the second derivative of u**5/20 + 3*u**4/4 + u**3/3 + 4*u**2 - 2*u. Let v be s(-9). Is 4872/10 + 2/v prime?
True
Let z = 1782 + -1146. Suppose -z = -2*u + 2*l, -4*l + 7 = -5*u + 1598. Is u composite?
True
Suppose 0 = 4*m - 34722 - 34442. Is m composite?
False
Let k(h) = 20*h**2 - 8*h - 11. Let b(d) = -d + 2. Let g be b(-8). Let c be k(g). Suppose -4*v - 653 = -c. Is v prime?
False
Let k = 1 + -7. Is ((-260)/6)/(4/k) prime?
False
Let h(x) = -x**3 + 12*x**2 - 11*x - 2. Let t be h(11). Is 237*t*2/(-12) prime?
True
Let z = -26 + 30. Suppose -b - 497 = -2*i - 0*b, z*b = -3*i + 773. Is i prime?
True
Let r = -27 - -36. Let m = r + -8. Is (57 - m) + -2 + 4 composite?
True
Let z(w) = 2*w**3 - 29*w**2 - 36*w + 19. Let v be z(16). Let r = -144 - -256. Let f = r + v. Is f prime?
False
Suppose 5*n = -m - 47, 0*n - 2*m - 22 = 2*n. Is (47726/21)/((-6)/n) composite?
True
Suppose 4*t = 2 + 18. Suppose d + t = 16. Is d composite?
False
Suppose 2*a = -3*m + 18, -2*a - 2*m = 3*a - 23. Let j = 0 + 2. Suppose -3*z + 264 = f, -z + a*f + 276 = j*z. Is z prime?
True
Let t be (7/(-14))/(2/(-12)). Let c(o) = 2 + 5 - 3*o - 20*o**t + 15*o**2 + 19*o**3. Is c(14) a prime number?
False
Suppose -22 = -4*z - 2. Suppose 5199 = z*l - 2*l. Is l composite?
False
Suppose -g + 20014 = g. Is g a composite number?
False
Is (-4)/(-28) - (92315/(-7) + -3) composite?
True
Let m(g) = 4976*g**2 + 1. Let a be m(-1). Suppose 3*t - a = -0*t. Suppose -4*k = 4*w - 1308, -5*w - 2*k + t = -3*k. Is w prime?
True
Let y = 4 + -1. Let d be -194 - (0 + y - 1). Let r = d + 345. Is r composite?
False
Let g be ((-12654)/(-45))/(((-9)/(-15))/3). Suppose 3*z + 5*x - 2108 = 0, -2*z - 9*x + 5*x = -g. Is z prime?
True
Suppose 8*x = 11*x - 13047. Suppose r = 5*f + 4796, -5204 = -2*r - 3*f + x. Is r prime?
False
Suppose -2*t + 9*v + 1398 = 4*v, v = 4*t - 2760. Let d = t + 98. Is d a prime number?
True
Let p = 2039 - -3006. Suppose -19*x = -20*x + p. Is x a prime number?
False
Is -37 - -35 - (-7408 - -1) a prime number?
False
Suppose 4*p = 11 + 1. Suppose p*t - 410 = -2*t + 5*d, 0 = 2*t - 4*d - 168. Suppose 2*o - t = -4*j + 6*j, -3*j = -4*o + 159. Is o prime?
False
Let s(k) = 5409*k**2 + k + 1. Is s(1) a prime number?
False
Let z = 60259 - 150839. Is (-2)/6 - z/30 composite?
False
Let x be (-2 + (-5 - -5))/(-3 - -1). Is -1*(x - 261 - 3) prime?
True
Let z(u) be the third derivative of u**6/120 - u**5/20 + u**4/8 + u**3/6 - 31*u**2. Is z(6) a composite number?
False
Is 11/((-55)/(-57630)) + 7 + -2 a composite number?
True
Let j = 760 + -542. Let p be 2/4 - (-21)/6. Suppose 0 = l - p*l + 5*g + 640, 3*g - j = -l. Is l a composite number?
True
Let r(a) = 16*a - 19. Let b be ((-7)/2 - 0)*(-12 + 8). Is r(b) a prime number?
False
Let b = 5 + -1. Let n(w) = 74*w + 3. Is n(b) composite?
True
Is (-54058)/((-25)/(100/8)) a prime number?
False
Let q(p) = -21*p**3 + 4*p**2 - 17*p + 1. Is q(-6) prime?
True
Let b = 4693 - 7347. Let x be 3/(b/(-1326) - 2). Let g = -628 + x. Is g a prime number?
True
Suppose 4*y = -2326 + 7346. Is y prime?
False
Let n(i) = -i**3 + 19*i**2 + 6*i + 13. Is n(10) a composite number?
True
Let a(o) = 74*o - 241. Is a(10) prime?
True
Is ((-55776)/(-15) - -3) + 9/15 composite?
True
Suppose -3*s - 55 = 2*s. Let x = s + 15. Suppose -5*j = x*v - 77, 5*v - 54 = -3*j - 0*v. Is j prime?
True
Let l(p) = -p**2 + 8*p - 7. Let w(r) = -r**3 - 6*r**2 - 7*r - 7. Let f be w(-5). Let s be l(f). Suppose 2*j = -s + 36. Is j prime?
False
Let d(f) = -1673*f + 21. Let l be d(-4). Suppose 2*w + 5*w - l = 0. Is w composite?
True
Let t(o) = -3816*o - 659. Is t(-6) a prime number?
False
Let o = 291 + 2755. Is o a prime number?
False
Let p = 17581 - 11600. Is p composite?
False
Let o(s) = 20*s**2 - 7*s**2 - 3*s - 12*s**2 + 2*s + 71. Is o(0) a composite number?
False
Suppose 26314 = 20*t - 48466. Is t a composite number?
False
Suppose 4*v + 2269 = y, 6*v - v - 2305 = -y. Is y prime?
False
Let t = -501 + 818. Is t a prime number?
True
Suppose 0 = 30*o - 36749 - 116641. Is o composite?
False
Let w(a) = 3*a**3 + a**2 - 1. Let c = -21 + 22. Let l be w(c). Let t = 68 - l. Is t prime?
False
Suppose v + 24 = 5*q, 0 = -4*v + 2*q - 11 - 13. Let l(m) = -2*m**2 + 4*m - 3*m + 3 - m**3 + m**2. Is l(v) a prime number?
True
Let n be (103/1)/(7/14). Suppose 2*x = n + 48. Is x a prime number?
True
Suppose n = -2*s - 8, -12 = -0*n - n + 2*s. Let g be (n - 9/6)*962. Suppose -4*c = -5*r + g, 4*r + 0*c + 5*c = 393. Is r a composite number?
False
Let y be 60/9 - (-2)/(-3). Suppose -2*g + 2 = -y. Suppose g*v + 20 = -l + 127, -3*l = -2*v - 391. Is l a composite number?
False
Let u(c) = 79*c**2 - c - 1. Let y be u(-2). Is (-7 + -3)*y/(-2) a prime number?
False
Suppose 6*c - 56386 = 3416. Is c prime?
True
Suppose 3*h + 38 = 4*h. Suppose -2*l + h = w, 3*w - 2*l - 3*l - 125 = 0. Is 16 - 15 - w/(-2) a prime number?
False
Suppose 4*l + 2*n + 1218 = 0, -n = -4*l + 4*n - 1197. Let d = l + 722. Is d a composite number?
False
Is ((-154138)/(-4))/((-55)/(-110)) a composite number?
False
Suppose 2*t + 5 = t. Let w = t - -8. Suppose 323 = 4*h - w*l, l = h + 6*l - 52. Is h composite?
True
Let v be (-2 + 4 - 2)/(4/(-2)). Suppose v = -4*q - 5*m + 199, q - 208 = -3*q + 4*m. Is q a composite number?
True
Suppose 5*v = -x + 53964, x - 59525 = -4*v - 16354. Is v composite?
True
Suppose -4*l = -46 - 102. Let b be (4/5)/((-26)/455). Let x = l + b. Is x composite?
False
Suppose 0 = -v - 0*v + 5,