et o = 301 - 584. Let s = 24 - o. Is s prime?
True
Suppose b = 3*b - 34. Let x = b + -14. Is x a prime number?
True
Let d = 6356 + -4467. Is d a composite number?
False
Suppose 0 = -2*s - s + 24. Let f(z) = z**3 - 5*z**2 - 10*z - 10. Let c be f(s). Let v = -17 + c. Is v composite?
True
Suppose -1639 + 329 = -5*t. Is t prime?
False
Suppose -5*c + 462 - 17 = 0. Suppose -c = -p + 42. Is p composite?
False
Let z = 12 + -3. Let u(f) = f**2 - 8*f - 7. Let c be u(z). Suppose c*q - 10 = q. Is q a composite number?
True
Let o(l) = -6*l - 2. Let w(b) = 5*b + 2. Let p = -2 - -5. Let k(g) = p*w(g) + 4*o(g). Is k(-3) composite?
True
Is (2 + -3)*(0 - 347) composite?
False
Let i be (-2)/(-6) + 220/(-3). Is i/(-5) + (-12)/20 a composite number?
True
Suppose 2*k - 201 = -3*z + 560, 3*k = 3*z - 756. Is z a prime number?
False
Let f = -1 - -23. Is f prime?
False
Let y(m) = -22*m - 6. Let c(x) = x + 1. Let d(q) = -5*c(q) - y(q). Is d(2) a prime number?
False
Suppose 3 = w - v - 0, -2*v = 8. Is 5 - ((-3)/(-3))/w a prime number?
False
Let i(d) = 5*d**3 - d + 1. Let m be i(1). Let c = m + -3. Suppose -c*h + 147 = h. Is h composite?
True
Suppose 2*r - 5*z = 552, -2*z - 1605 + 485 = -4*r. Suppose 4 = 2*f - 4, -3*f = -j + r. Is j composite?
False
Suppose 5*c - c = -16. Let i be 8/5 + c/(-10). Suppose -i*f + 28 = -294. Is f a prime number?
False
Suppose 0 = -4*o + f - 1947, o + 1470 = -2*o + 4*f. Let i be o/(-15) + (-3)/(-5). Suppose 5*s = 4*s + i. Is s a prime number?
False
Suppose r = -3*r - 2*o + 4564, 5*r - 5712 = o. Is r a composite number?
True
Let o = -480 + 821. Is o composite?
True
Suppose -1 + 13 = 4*u. Suppose u*a + 0*a - 231 = 0. Is a a prime number?
False
Let i(m) = -2*m + 4. Let r be i(5). Suppose -2*k = 4*l - 0*k - 14, -l - 4 = 3*k. Let z = l - r. Is z composite?
False
Let a(z) = 251*z + 29. Is a(18) a composite number?
False
Let w = 376 + 2895. Is w a prime number?
True
Let q = 10 + -20. Let v be ((-8)/(-10))/((-4)/q). Suppose -v*s = -4*c - 0*s + 148, -c - 5*s = -15. Is c prime?
False
Suppose 2*z - z = 0. Suppose -j + 2*x + 24 = 0, j - 3*x + z*x - 19 = 0. Suppose 2*k - 184 = j. Is k prime?
True
Let v = -360 + 671. Is v prime?
True
Let n(s) = -16*s. Let i(l) = 165*l + 85*l - 41*l. Let h(b) = -5*i(b) - 66*n(b). Is h(5) a composite number?
True
Let t be (-12)/(-3) - (-2 - 0). Suppose 1025 = -n + t*n. Suppose 3*w - 141 = -5*g - 55, 5*w = 4*g + n. Is w prime?
True
Let t be 4/(-3)*(-2 - -5). Let c(p) = -4*p**3 - 5*p**2 - p + 1. Is c(t) prime?
True
Let m(d) = 3*d**2 + 6*d - 4. Is m(9) prime?
True
Suppose 3*z + 853 = 3*r + 184, 2*r - z - 441 = 0. Is r a composite number?
True
Let i(g) = g + 7. Let v be i(-5). Suppose -2*w + v*s - 12 + 114 = 0, 4*s = 5*w - 255. Is w prime?
False
Let i(s) = -s + 1. Let x be i(1). Let y be (-2907)/(-6) + (-1)/2. Suppose x = -v + 5*v - y. Is v a prime number?
False
Let f(a) be the second derivative of a**5/5 + a**4/12 - a**2/2 - a. Suppose 2*d + 14 = 3*h, -2*h - 10 + 30 = -4*d. Is f(h) composite?
True
Let g be (-5 + -2 - -2)/1. Let k be g/(5/(-3)) - 1. Suppose 4*c = -k*f + 24, -4*c + 19 = 3*f - 9. Is c composite?
True
Let d be 10/(((-1)/1)/(-10)). Let g = -53 + d. Is g prime?
True
Suppose p - v - 14 = -4*v, -4*v + 56 = 4*p. Is p a composite number?
True
Suppose -4*o + 4*v + 7704 = 0, 9640 = 5*o - 0*v - 3*v. Is o a prime number?
True
Suppose 4*u + 0*u - 3076 = 0. Is u a composite number?
False
Suppose -3*j - 1273 = -5*g, g - j = 81 + 172. Is g prime?
True
Let k be (-4143)/(-18) + 5/(-30). Suppose -c + k = -o + 40, -1 = -o. Is c a prime number?
True
Suppose 0*s = 2*s - 4*k, -5*k = -4*s. Suppose 2*r - 2*a = 150, 5*r - a = -s*a + 391. Is r a prime number?
True
Suppose 3*o - 4*u - 46 - 11 = 0, 4*o + 2*u = 54. Is o prime?
False
Let k(q) = q - 15. Let t be k(14). Is -5*(-14 - 1/t) a prime number?
False
Suppose f + 3*f - 1068 = 0. Is f a composite number?
True
Let d(y) be the second derivative of -35*y**3/6 + y**2 - 6*y. Is d(-7) prime?
False
Is -46*(-4)/(-16)*-10 a prime number?
False
Is 3847/3 + 10/15 composite?
False
Suppose 0 = 2*u + 2*c - 18, 5*u - 2*c = 2*c + 81. Let m be 0 - (1 + 1)/(-1). Suppose -m*f + u = -f. Is f a composite number?
False
Let n(o) = -10*o**2 - 5*o + 5. Let v be n(4). Let m = 254 + v. Is m a prime number?
True
Let u = 91 + -23. Suppose -n + 3*n = -u. Let f = -21 - n. Is f a prime number?
True
Suppose -6*k + 7*k - 673 = 0. Is k prime?
True
Let k(r) be the first derivative of -r**4/2 - 2*r**3/3 - r**2/2 - r + 3. Is k(-3) prime?
False
Let h(m) = -m**3 - m**2 + 1. Let l(w) = 3*w**3 - 6*w**2 + 4*w - 14. Let o(q) = -4*h(q) - l(q). Let a be o(-7). Let g = -111 + a. Is g a composite number?
True
Let k = 2 - 0. Suppose k*h + 10 = -3*h. Is (43/h)/((-2)/4) a composite number?
False
Suppose 0 = 2*x - 4*z - 38, 4*x = -2*z + 4*z + 76. Is x composite?
False
Let s = 8 - 3. Suppose 455 = s*p + 5*h, p + 4*h = 3*p - 158. Is p composite?
True
Is 3/(-9)*-6 + 315 a composite number?
False
Suppose -m = 2*m + 3. Is -38*(-2)/(5 + m) composite?
False
Let r(u) = 6*u + 2. Is r(2) composite?
True
Let c = 182 - 105. Is c composite?
True
Is (5/(-2) - -2)/((-1)/886) composite?
False
Suppose 2*w = -3*w + 20. Let f = 50 - 43. Suppose w*m = -5*l + 555, f*l - m = 2*l + 555. Is l a composite number?
True
Let d be ((-20)/25)/(2/(-685)). Suppose -n + 63 = -d. Is n a prime number?
True
Let y(v) = -v**2 - 4*v. Let x be y(-3). Suppose 5*u + 4*l - 14 = 0, 4*l - 9 - x = -4*u. Is (u/(-3))/((-8)/924) a prime number?
False
Suppose u + 12 = 5*u. Is 2 - (-77 - (3 - u)) composite?
False
Is ((-8)/4 - -1)*-1087 prime?
True
Let o = -287 - -474. Is o composite?
True
Suppose -1472 - 1643 = -7*y. Is y a prime number?
False
Let u = 364 - 201. Is u a prime number?
True
Let z(d) = -422*d + 30. Is z(-4) a composite number?
True
Let x(n) = -n**3 - n + 4. Let i be x(0). Suppose -c = -11 - i. Is c a prime number?
False
Let r = -5 - 1. Let l = r - -9. Suppose 5*o - l*a = 78, 4*a = -1 - 3. Is o a composite number?
True
Let l = -663 - -1318. Is l composite?
True
Let x(q) = -3*q**3 + q**2 - 4*q - 3. Let o be x(-2). Let u be ((-2)/(-3))/((-2)/o). Is 2/u + (-2622)/(-22) a composite number?
True
Let b(j) be the first derivative of j**4/12 + j**3/2 - j**2/2 + 3*j - 3. Let v(y) be the first derivative of b(y). Is v(-9) a prime number?
True
Let f = 5 + -1. Suppose -6*g = -3*g - f*c - 323, 0 = -5*g - 4*c + 485. Let s = g + -44. Is s composite?
True
Let m(a) = -a**2 + 8*a - 9. Let h(s) = s**3 - 2*s**2 + 2*s + 2. Let z be h(2). Let q be m(z). Is (-2)/((12/(-14))/q) a composite number?
False
Suppose 5*q - t = 10, 3*q = -5*t + 2*t + 6. Suppose 3*y - 119 = -2*a, -5*y = -4*a - 197 + 28. Is (-1)/(q + (-75)/y) a composite number?
False
Let q = 386 - 105. Let m = q + -104. Is m prime?
False
Suppose -4*v - 1332 = -10664. Is v prime?
True
Let v = 4 - 1. Suppose 0 = -h + 7 - v. Suppose -3*z - z = s - 29, -h*s = z - 56. Is s composite?
False
Let g(s) = -s**3 + 8*s**2 + 3*s - 5. Suppose 0 = 3*w + 13 + 2, 0 = -5*b + w + 65. Let r = b - 4. Is g(r) composite?
False
Let a(x) = -x**3 - 3*x**2 + 6*x - 15. Let r be 1/(-2 + 30/16). Is a(r) prime?
True
Let m = -4 + 5. Let p(t) = t**3 - t**2 + 1. Let o be p(m). Let s(b) = 59*b. Is s(o) prime?
True
Suppose -5*n - 112 - 43 = -2*j, -4*n - 150 = -2*j. Is j a composite number?
True
Suppose 3*g = -2*g + 20. Suppose g*t = l + 3, -2*l = l + 5*t - 42. Let v = l + 12. Is v a composite number?
True
Let y = -191 + 414. Suppose k - 54 = 113. Suppose 2*z - k = -4*f + y, 0 = -f - 5*z + 102. Is f composite?
False
Suppose 2*r = 4*x + 1470, -6*r - 2*x + 2980 = -2*r. Is r a prime number?
True
Suppose 0*m = -2*m - b - 20, -5*m - 50 = b. Let w = 30 - 13. Let h = m + w. Is h a prime number?
True
Let q(z) = 1085*z + 2. Is q(1) composite?
False
Let t(d) = 12 - 13 - d**2 - 3*d**2. Let f be t(4). Let l = f - -192. Is l composite?
False
Let o(n) = 160*n**2 + 8*n + 5. Is o(5) composite?
True
Let p(b) = 6*b + 5. Let h be p(-2). Is (-64)/(-1) + h + 5 composite?
True
Let r(n) = n**3 + 5*n**2 - 6*n - 2. Let p be r(-6). Let w be -38 + 0/(p*1). Let g = 57 + w. Is g a prime number?
True
Is 2968 + -4*12/16 a composite number?
True
Let r = 8 + -4. Suppose s = -2*v + 75, v = r*v + 6. Is s a composite number?
False
Let w(z) = 9*z**2 - 4*z + 3. Is w(-4) composite?
False
Let k(l) = -7*l + 2. Let 