 o composite?
True
Let c(w) = w**2 - 3*w + 4. Let u be c(3). Suppose -u*x + 13 + 7 = 0. Suppose -x*h + 268 = -h. Is h prime?
True
Suppose 0*p = -5*p + 730. Is p a prime number?
False
Suppose -5*a - 1347 = -8*a. Is a prime?
True
Let x = 1231 - 387. Is (-12)/8*x/(-6) a prime number?
True
Suppose 5*r + 3*m = -2*m + 100, -5*r + 3*m = -76. Let p = r + -10. Suppose -3*k + p*k - 572 = 0. Is k a prime number?
False
Let n be ((-6)/(-5))/((-4)/(-10)). Suppose -2*a + q + n*q = -12, 5*a - 3*q - 9 = 0. Suppose a*x - f - 43 = -3*x, -3*x = -5*f - 47. Is x composite?
True
Let t(j) = -1 - 12*j - 11*j - 2 + 2*j. Is t(-2) composite?
True
Let c be 3/(-6)*(-3 - 5). Is c/(-2)*(-52)/8 composite?
False
Let y(m) = 10*m - 9. Is y(12) prime?
False
Suppose t = 3*t - 6. Let k(n) be the second derivative of n**5/20 - n**4/6 + n**3/2 - 3*n**2/2 - 3*n. Is k(t) a composite number?
True
Suppose v + 0*v + 40 = 0. Let s = v + 93. Is s a composite number?
False
Let g(a) = 4*a**2 + 55*a**3 + 4 - 4 - 5*a**2 + 1. Is g(1) composite?
True
Suppose 66 = -4*n + 354. Suppose -5*i + 5*v - v + 123 = 0, 3*i = 2*v + 75. Suppose i + n = 3*p. Is p prime?
False
Let f(h) = 275*h**3 + 2*h**2 - 2*h - 1. Is f(2) composite?
False
Suppose 2*p = -2*b - 2*p - 28, -14 = 2*b - 3*p. Is (-1317)/(-5) + b/25 prime?
True
Suppose -2*j = -j. Let r(q) = -q - 26. Let g(l) = -l - 26. Let b(n) = -5*g(n) + 4*r(n). Is b(j) prime?
False
Suppose -i + 262 + 206 = 0. Let f = -313 + i. Is f composite?
True
Suppose -3*i + 14443 = 8*i. Is i prime?
False
Suppose 4*t = -3*n + 4*n + 72, 0 = -4*t - 4*n + 92. Is t composite?
False
Suppose -7*b + 2*b = 35. Let v = -7 - b. Suppose v = -r - 4*h + 215, 2*h + 37 = 3*r - 594. Is r composite?
False
Is 4/(-8)*4 + 91 composite?
False
Suppose 0 = 7*l - 3*l - 60. Let j be 10/l + (-206)/(-6). Let k = j + -24. Is k composite?
False
Is (-4)/(8/(-353))*2 a composite number?
False
Suppose -6 = -5*g + 2*i, 0 = 3*i - 5 - 1. Suppose -g*p = 29 + 291. Let d = p + 271. Is d prime?
False
Suppose 5*k = 2*w + 28, -3*k - 20 = -4*w - 48. Suppose 2*f = -0*f + 4. Is (k/3)/(f/3) prime?
True
Suppose 3*f + 5*l + 4 = 0, -5*f + 4*l = -f - 16. Suppose f*d + 21 = 391. Is d prime?
False
Suppose -5*p - 1 + 2 = -l, -p - 3*l = -13. Let u be p/(3/18*3). Is (u + 0)/(-2)*-77 a composite number?
True
Let n(q) = 2*q + 0 - q**3 - 3 - 5*q + 0*q. Is n(-3) a composite number?
True
Suppose 11576 = -2*u - 0*u. Is 4/18 + u/(-36) composite?
True
Suppose -425 = -6*m + m. Is m prime?
False
Let w(f) = -29*f. Let h(n) = -n**2 + 2*n - 3. Let l be h(4). Is w(l) a prime number?
False
Let o = 145 - 367. Is (4/(-8))/(3/o) prime?
True
Let m(d) = -d**3 + 49. Let c be m(0). Let w = c - -114. Is w a composite number?
False
Let u = -25 + 76. Suppose -4*m = -3*m - u. Is m prime?
False
Suppose -2*n - 32 = 2*n. Let t(j) = 21*j + 31. Let s(g) = 10*g + 15. Let z(u) = -9*s(u) + 4*t(u). Is z(n) prime?
True
Suppose 5*g - 2770 = -2*r, 2*r + 2770 = -2*g + 7*g. Is g a prime number?
False
Let c = -435 - -936. Is c a composite number?
True
Let z = 8 + 0. Suppose 2*k + w = 90, 2*k + 3*w - 132 = -k. Is (-4)/z - k/(-4) composite?
False
Is (-2)/((6/249)/(-1)) a prime number?
True
Suppose 3*t = -0 + 6. Suppose 26 = -t*n + 3*n. Is n prime?
False
Suppose -2*w - 2*w + 8476 = -4*d, -w - 2*d = -2131. Is w a composite number?
True
Suppose y + 2*i = -3*y + 6, 0 = 3*y - 2*i - 8. Is (19/(-3))/(y/(-6)) a composite number?
False
Is (-7115)/2*24/(-30) prime?
False
Let i = -39 - -108. Suppose -4*u = -109 - 455. Is 1/(u/i + -2) prime?
True
Suppose 0 = 4*c - c - 531. Is c a composite number?
True
Suppose -2*w = 10, -5*t = -w + 63 - 1323. Is t composite?
False
Suppose -4*b + 1857 = -759. Let l be 1 + -1 + -1 - -6. Suppose 0 = 4*q + g - b, l*q - 813 = -g + 2*g. Is q a prime number?
True
Is (-4)/((-16)/38)*2 a composite number?
False
Let a = 6 - 10. Let m be 2/6 - a/6. Is 74*(m/2 - 0) a prime number?
True
Suppose -6*q + 10567 = 3589. Is q a prime number?
True
Suppose 96 + 214 = -5*m. Is ((-1)/2)/(1/m) prime?
True
Let p(q) = 11*q**2 + 7*q - 2. Let d be p(-5). Suppose 2*l - 3*a + d = 0, -3*l = -4*a - 7 + 365. Let h = l + 235. Is h a prime number?
True
Let m(d) = -d + 4. Let o be m(4). Is -3 + o + 2 + 39 composite?
True
Suppose r - 7 = -3*l, 0*l + 12 = 2*l - 3*r. Suppose -h + 4*w - 7*w + 51 = 0, -l*h = -2*w - 175. Is h prime?
False
Let a(x) = x**3 + 7*x**2 - 8*x. Let z = 8 + -16. Let g be a(z). Suppose 50 = 5*u - g*u. Is u composite?
True
Let s = -4 + -14. Let d = 5 - s. Is d a composite number?
False
Let d be 2 - (3 + -1 + 2). Let v be d*10*(-9)/12. Suppose -c + v + 11 = -5*f, 4*c + 2*f - 38 = 0. Is c prime?
True
Suppose 5*c + 2*v = c + 576, 0 = -v + 4. Is c a prime number?
False
Let d(f) = 9*f**2 + 2*f + 4. Let r(o) = 3*o. Let h be r(-1). Is d(h) a composite number?
False
Let f(s) = -259*s + 2. Let l(i) = 776*i - 5. Let c(o) = -11*f(o) - 4*l(o). Is c(-1) a prime number?
False
Let b = -10 + 14. Suppose -u + 336 = 4*d, b*d - 2*u - 31 - 293 = 0. Is d a composite number?
False
Suppose -7*v = 3*x - 8*v - 1847, 0 = 2*x + 5*v - 1203. Is x prime?
False
Is (-4 - -2)/(2/(-287)) - 0 prime?
False
Suppose 0*l = 2*d + 2*l - 64, -91 = -3*d - 4*l. Is d a composite number?
False
Suppose 1454 = 2*c - 1260. Is c prime?
False
Let j(y) = y + 5. Let t be j(10). Let k = t - -56. Is k a prime number?
True
Suppose 2 + 8 = -u. Let t(p) = -6*p + 9. Is t(u) a composite number?
True
Let a = -6 - -6. Suppose y - z - 46 = a, -z - 8 = y - 60. Is y a prime number?
False
Let d(p) = -13*p**3 + p + 1. Suppose -2 = -0*v + 2*v. Is d(v) prime?
True
Suppose -49 = 6*n - 523. Is n prime?
True
Let l be (0 - 2)/(14/63). Is (0 - 165)*l/27 composite?
True
Let z = -143 + 258. Let q = 372 - z. Is q a composite number?
False
Is ((-1)/(-2))/(6/3180) a prime number?
False
Suppose -5*b + 672 = -1333. Is b composite?
False
Let x(s) = 24*s**3 + 5*s**2 - 7*s + 1. Is x(4) a composite number?
True
Suppose 25 = -5*j, 3*y - 4*j + 960 + 106 = 0. Let v(x) = -31*x**3 + 1. Let d be v(2). Let z = d - y. Is z prime?
False
Let w = -514 + 735. Is -3 + (w - -3) + 2 a prime number?
True
Let a(f) = -f + 1. Let i be a(-6). Let b(c) be the first derivative of c**2/2 + 8*c - 2. Is b(i) composite?
True
Let t(i) = -i**3 - 8*i**2 + 10*i + 11. Let p be t(-9). Suppose 2*y - 696 = -p*y. Suppose 5*c = 3*c + y. Is c composite?
True
Let o(l) = -l**3 - 8*l**2 - l - 4. Let h be o(-8). Suppose -h*g - 2*m = -0*m - 4, -3*g - 11 = 5*m. Let r(v) = 6*v + 1. Is r(g) a composite number?
False
Let z(y) = 1 - 3*y - 12 + 11*y. Is z(10) composite?
True
Let n(i) = -15*i - 1. Let m be n(-1). Suppose 0*p = -3*q - 3*p + 12, m = 4*q + 3*p. Let s = q - -1. Is s a prime number?
True
Suppose 1324 = 4*f - 3*i - i, 5*f - i = 1655. Is f prime?
True
Let g = 428 - 670. Is 1*(-3)/6*g prime?
False
Is 12005/45 - (-4)/18 a prime number?
False
Suppose -5*p + 4*v - 7 = 16, -1 = p + v. Let n(h) = -8*h - 4. Let y be n(p). Is ((-7)/2)/((-2)/y) a prime number?
False
Let r = 104 - -95. Is r prime?
True
Let m(a) = a**2 - 5*a - 5. Let h be m(6). Is h/(2/(510 - 4)) composite?
True
Let q = -993 - -1990. Is q composite?
False
Let x = -10 - -12. Suppose 181 + 201 = x*l. Is l prime?
True
Let w = -324 - -956. Suppose 2*l + 2*r - 256 = 0, 3*r = 2*l + 3*l - w. Is l composite?
False
Let b be 3/(-1 - 0) + 250. Let v = b + -90. Is v prime?
True
Let l = -124 - -243. Is l a prime number?
False
Let u(t) = -t + 3. Let q be u(3). Is 146 + (-4 - -7) + q a prime number?
True
Is (-10614)/(-15) + 6/(-10) a prime number?
False
Let t(j) = j - 5. Let p be t(7). Suppose -3 = -p*v + 13. Suppose -v = -o + 27. Is o a prime number?
False
Suppose v = 5*v - 20. Suppose 5*y + v*i = -390, i - 15 = -2*y - 168. Let m = y + 298. Is m prime?
True
Let h(d) be the first derivative of 41*d**3/3 - 3*d**2/2 - d - 3. Is h(-2) composite?
True
Is 100/40*(1 + (-1162)/(-10)) composite?
False
Suppose -203 = -t + 5*j, -3*t = 4*j + j - 649. Is t prime?
False
Let u(x) = 5*x**2 - 6*x + 4. Let g be u(4). Suppose 4*h = -4*p + g, 4*h + 2*p = 99 - 29. Suppose -4*r = -2*r - h. Is r composite?
True
Suppose 0 = -3*i + 1750 - 127. Is i composite?
False
Is (-2587)/(-4) + 18/72 a composite number?
False
Let x be 28*1/((-4)/(-5)). Is x - 4/4*0 prime?
False
Let d be 2/(-3) - 70/(-15). Suppose -v = -d*k - 35, -3*v + 3*k - k = -105. Is v prime?
False
Let g be 