j, -6*s + 2*s = 8. Is j composite?
True
Is (-11774)/(-22) + (-16)/88 composite?
True
Suppose 0 = 3*b - 7 - 554. Is b composite?
True
Let k = 216 + -53. Is k prime?
True
Let j(b) = -b**3 - 4*b**2 + 7*b + 1. Let m(k) = 3*k**3 + 13*k**2 - 22*k - 2. Let i(d) = 7*j(d) + 2*m(d). Suppose 0 = -5*h, -4*v - 6*h - 16 = -h. Is i(v) prime?
False
Let q(m) = 21*m**2 + 6*m - 4. Is q(7) a composite number?
True
Let c = 9 + -9. Let p = 77 - c. Is p composite?
True
Let l(i) = -2*i**3 - 3*i**2 + 10*i + 7. Let a be l(-6). Suppose a = h + 3*c, 3*h = -3*c + 5*c + 868. Let z = -195 + h. Is z prime?
False
Suppose 0 = 5*n - 4*a - 473 - 822, 4*n = 2*a + 1042. Is n prime?
True
Let r(v) = 88*v + 39. Is r(8) prime?
True
Suppose -q = 5*w - 14, 0*w = 2*w + 5*q - 24. Suppose 2*h - 7 = -3*r - w, 3*h - r = 35. Is h a composite number?
True
Suppose 2*m - 7*m = -1595. Is m a prime number?
False
Is 2872/6 - 3/(-9) a composite number?
False
Let h be -3*1285*(-4)/12. Suppose 0*n - 5*n + h = 0. Is n prime?
True
Let r(a) = a**2 - a + 1. Let v be r(1). Is (52 - (-5 - -4))/v prime?
True
Suppose 0 = 4*w - 42 + 6. Is w prime?
False
Suppose -2*q = -2*k - 2528, -4*k + 4404 + 612 = 4*q. Is q prime?
True
Let y(t) = t - 1. Let x be y(1). Suppose x = 2*w - 0*w - 78. Let s = w - -7. Is s a composite number?
True
Let g = 27 - -10. Is g a prime number?
True
Let g(x) = -x**3 + 5*x**2 - 3*x + 6. Suppose 5*t = -5*f + 20, -1 = 2*t - 3. Suppose -4*s + 12 = f*k - 7*s, -5*s + 20 = 5*k. Is g(k) prime?
False
Let i(f) be the third derivative of 13*f**7/2520 + f**4/24 - f**2. Let p(g) be the second derivative of i(g). Is p(1) composite?
False
Let k(f) = -f**3 + 6*f**2 - 3*f + 6. Let x be k(9). Let a = x - -523. Is a a composite number?
True
Suppose -2*s + 674 + 0 = 0. Is s a composite number?
False
Suppose -1979 = -3*w - 4*i + 3*i, 648 = w - 2*i. Suppose -2*p + w = -0*p. Is p composite?
True
Suppose 217 = 4*m - 1947. Is m a prime number?
True
Let x(t) = 2*t - 3. Let k be x(-4). Let q = k - -17. Is q a prime number?
False
Suppose -x + 7 = -24. Suppose -3*n + x = -2*n. Is n a composite number?
False
Suppose -4*n - 5*w + 95 = -527, -n - w = -155. Suppose 0 = 5*a - 4*f + n, -3*a - a - 3*f = 110. Let v = a + 66. Is v composite?
False
Let t(u) = 2*u + 6. Let s be t(-5). Let l(r) = -32*r - 2. Let p be l(s). Suppose -4*n + p = -238. Is n prime?
False
Let f(i) = -i**3 - 7*i**2 + 8*i + 4. Let g be f(-8). Suppose 2*s = -3*r + s - 64, 0 = -g*s + 20. Let p = 60 + r. Is p a composite number?
False
Suppose 4*i = 1153 - 433. Suppose -p = -0*p + 3*r - 180, p + r = i. Suppose 63 = -3*s + p. Is s composite?
True
Suppose d - 3*d = 92. Let r = -189 - -112. Let n = d - r. Is n a prime number?
True
Let x be (-22)/6*(1 - 4). Suppose 2*s = 3*w + 21, 4*s - x = 2*w + 43. Is s a prime number?
False
Let n(b) = -b**3 - 11*b**2 + 11*b - 12. Let z be n(-12). Suppose 3*a - 9 + z = 0. Suppose a*x = x + 3*q + 98, -2*x + q + 106 = 0. Is x a prime number?
False
Let p be (5 - -41) + (-1 - -1). Let u = 169 + p. Is u composite?
True
Suppose -4*i - 904 = -12*i. Is i a prime number?
True
Let u(i) = 3*i**2 - i + 1. Let j be u(10). Suppose -4*h - j = -3*l - 1294, 0 = -2*l + 6. Is h composite?
True
Suppose -35*u + 32*u + 318 = 0. Is u a composite number?
True
Suppose -3*r - 5*q + 6733 = 0, 9727 = 5*r - 3*q - 1506. Is r a prime number?
False
Let l(n) = n**3 + 3*n - 1. Is l(2) a prime number?
True
Let m = 7 + 55. Is m prime?
False
Let z(n) be the second derivative of n**4/24 + 17*n**3/3 + n**2/2 + 2*n. Let l(s) be the first derivative of z(s). Is l(0) prime?
False
Is 2/3*5013/6 a composite number?
False
Let q be (-27)/(-21) - (-4)/(-14). Let y be (q + 2 + -3)/3. Suppose 0 = 4*m + 16, -h + 2*m - m + 117 = y. Is h composite?
False
Suppose i - 3*k - 80 = 0, -2*i + 3*k - 69 + 235 = 0. Is i a composite number?
True
Suppose -4*m - 3*t + 29 = 0, -3 + 35 = 4*m + 4*t. Let o = -2 + m. Suppose -2*z = -f + 5*f - 18, 0 = o*f + 15. Is z prime?
True
Let j = -702 - -1757. Is j a composite number?
True
Suppose 0 = -5*h + 3*h + 6. Suppose m + 104 = h*m. Let g = m - -1. Is g a composite number?
False
Let o(t) = -4*t + 3. Is o(-8) composite?
True
Let a(x) = 293*x**2 + 2*x + 2. Is a(-1) prime?
True
Suppose -k - 4 = -3*o, -k + 3*o - o = 2. Let u = -8 + 5. Is u/k*28/(-3) composite?
True
Let r(u) = -4*u**3 + u**2 - 1. Let m be r(-1). Suppose -m*f = -2*f. Let h(y) = y**2 - y + 13. Is h(f) a prime number?
True
Let y = 4 + -2. Suppose -f - y*d + 127 = 0, 5*f = d - 94 + 685. Is f composite?
True
Let z = -5 - -7. Suppose 0 = -d + 2 + z. Suppose d*o = 157 - 17. Is o composite?
True
Let r be 4 + -1 - -1 - 12. Is -2*(-4)/r + 746 a prime number?
False
Let q(h) = -h**2 + 3*h. Let n be q(2). Suppose -2*w + 6 = n. Suppose 0*l = 4*l + w*d - 92, 0 = 4*l + d - 90. Is l composite?
True
Let w = -257 - -440. Is w a prime number?
False
Is 4 - 46/12 - (-4515)/18 prime?
True
Suppose -8*y + 9*y = 3073. Is y composite?
True
Suppose 5 = -t + 96. Let o = -32 + t. Is o a prime number?
True
Suppose -5*z + 22 + 33 = 0. Suppose 4*d = 9 + z. Suppose -g + d*q + 8 = -5*g, -2*g - 3*q - 6 = 0. Is g a composite number?
False
Suppose 18 = z - 4*b, 4*z + 0*z - 30 = 2*b. Suppose z*u = 7*u - 259. Is u composite?
True
Suppose 5 + 5 = -2*v, 4*z - 126 = 2*v. Let p = z - 5. Let t = -3 + p. Is t prime?
False
Suppose 11*a - 14512 = -5*a. Is a a composite number?
False
Let b(d) = -3*d - 1. Let x be ((-4)/6)/((-6)/(-9)). Let o = x + -4. Is b(o) a prime number?
False
Suppose -3*n + 5 = -10. Suppose 4*k = c + 186, 0*c + 220 = 5*k + n*c. Is k prime?
False
Suppose -5 = -5*u, 0 = 5*a + 2*u - 719 - 338. Suppose -2*g - g = 4*o - 633, 2*o = -g + a. Is g composite?
False
Suppose -3*i - 5*b = -531, 0 = -4*i - 3*b + 933 - 236. Suppose 0 = -2*x + 5*n + 87, -2*n + i + 60 = 5*x. Is x composite?
True
Let k(r) = 4*r**3 - 4 + 6*r**2 + 5*r - 2*r**3 + 0*r + 6*r**2. Let v(g) = 2*g**3 + 13*g**2 + 5*g - 5. Let m(f) = -6*k(f) + 5*v(f). Is m(-4) composite?
True
Let v(t) = t**2 - 5*t + 10. Is v(5) prime?
False
Suppose 556 = -13*j + 10787. Is j a composite number?
False
Suppose 4*s - s = 5*y - 19, 0 = 2*s - 2*y + 6. Suppose w + s*w = 420. Let g = 229 - w. Is g a prime number?
True
Suppose 0 = -6*o + 7*o - 291. Is o composite?
True
Let x(z) = -z - 2. Let t be x(-3). Let v = 3 + t. Suppose -3*f = 4*o - 148, 0 = v*o + 4*f - 8*f - 148. Is o composite?
False
Let p be (-12)/8*248/6. Is (p/(-3))/(10/75) composite?
True
Let k be 1/2 + 7273/14. Let t = k + -311. Is t a prime number?
False
Let g(z) = 8*z - 2. Let t(r) = r**3 - r**2 + 1. Let q be t(0). Suppose -m + 26 = 5*l, -11 + q = -m - l. Is g(m) composite?
True
Let z be 198*(22/4 + -2). Suppose -2*v - 290 = -2*p, -3*v + z = 4*p + p. Is p composite?
True
Suppose x = 2*o + o - 2633, -5*o - 4*x = -4377. Suppose -o + 322 = -3*w. Is w prime?
False
Is 744/(-36)*6/(-4) prime?
True
Suppose -2*r - 4*b = -2318, -4*r + 2*b + 4672 = -2*b. Is r a prime number?
False
Let q = -31 + 222. Is q prime?
True
Suppose 3 + 2 = p. Suppose 3*z - 15 = 0, -3*t + p*z - 6 = -2*t. Is t composite?
False
Suppose 4*d + 5*i - 792 = 0, -5*d + 789 = 3*i - 214. Is d prime?
False
Let c(d) = 8*d**2 + 5*d + 6. Let i(y) = 7 + 3*y + 7*y**2 + 0 + 3*y. Let s(h) = 6*c(h) - 5*i(h). Is s(1) a composite number?
True
Suppose -t = -20 - 29. Is t prime?
False
Is ((-36)/(-6) + -2)*6173/4 a composite number?
False
Let r(t) = -t**2 + 8*t + 18. Let m be r(14). Let p be 1*39*(-33)/9. Let i = m - p. Is i prime?
False
Let n(a) = 26*a**2 - 8. Is n(3) a prime number?
False
Suppose 5*d - 21 = 6*d. Let u be (-3 + d/(-9))*-447. Suppose -u = -2*q + 276. Is q a prime number?
False
Suppose 0 = -3*l - 2*l + 345. Is l prime?
False
Suppose -5*g - 4*i + 7 = -9, 2*g + 3*i - 5 = 0. Let q = g + 27. Is q composite?
False
Suppose 2*a - t = -2*a + 318, -a + 5*t = -89. Let y = 2 - 2. Suppose 4*o - 181 = 2*s + a, y = -2*o + 4*s + 118. Is o composite?
False
Suppose 4*l - 139 = -19. Suppose w - l = -2*h, -3*w = -2*h + 17 + 5. Is h a composite number?
True
Let b = 615 - 188. Is b a prime number?
False
Suppose -4*s + 2544 = 5*t, 3*s + 180 - 2083 = -5*t. Is s a composite number?
False
Let p(h) = 15*h**2 + 7*h + 4. Let z(t) = -t. Let f(x) = p(x) - 2*z(x). Let g(y) = 3*y**2 + 2*y + 1. Let s(o) = -2*f(o) + 11*g(o). Is s(-5) composite?
True
Suppose -6 = 5*b - 1. Let f be b/(-2 + 111/57