 number?
True
Suppose -2*t + 2*c + 4186 = 1056, -16 = -4*c. Suppose w + 3*q = -q + 1553, -4*q = -w + t. Is w a composite number?
True
Let k(c) be the second derivative of -4*c**5/5 - c**4/12 + c**3/6 + c**2/2 + 4*c. Suppose 2 + 10 = -4*i - 4*o, 0 = -4*i + 3*o + 2. Is k(i) a prime number?
False
Is (-2)/(-17) + (-132420)/(-85) + 1 prime?
True
Let i = 11 - 7. Let x be i*(-9)/(-12)*15. Is (255/x)/(1/21) composite?
True
Suppose -2*q - 8 = 0, -y + 2*q - 291 - 1084 = 0. Let n be (-4)/10 - 14122/(-5). Let s = n + y. Is s a composite number?
True
Let c = -1665 + 3638. Is c a prime number?
True
Let r = -729 + 1628. Is r composite?
True
Let k = -60 - -959. Is k composite?
True
Suppose -5*v = c - v + 373, 0 = -4*c - 2*v - 1478. Let o = -16 - c. Let w = o + -46. Is w composite?
False
Let i(s) be the third derivative of -s**6/60 + s**5/15 - s**3/6 - s**2. Let n be i(-4). Is 2*n/4*2 a composite number?
False
Let k(s) = -s**3 - 12*s**2 - 12*s - 7. Let o be k(-11). Is (o/6)/(12/558) composite?
False
Let l = -1808 - -2649. Is l composite?
True
Suppose -5*a = 2*n - 42, -4 = -2*a + 4. Let i(p) = 4*p - 18. Is i(n) a prime number?
False
Suppose -4*s - 1518 = 3*r - r, 2*r = 3*s + 1128. Is ((-1706)/6)/(18/s) composite?
True
Suppose -2*l = -7*l + 25. Suppose -7*v = -l*v - 10. Suppose -5*z + 1654 = 2*b - v*b, 0 = 5*b + 15. Is z a composite number?
True
Suppose -5*p + 2 = 2*q - 5, -5*p + 11 = q. Let l(b) = 5 - 17*b - 6*b + 0. Is l(q) a prime number?
True
Let o = 2945 - -34. Is -2 - 5/((-15)/o) prime?
True
Let k(y) = y - 1. Let h be k(4). Let g be h*(-2)/(-6)*-249. Let l = 58 - g. Is l prime?
True
Suppose 3*c - 313 = -2*m, 7*m - 3*m - 20 = 0. Let y = c - 48. Is y a composite number?
False
Let n(d) = -d - 7. Let j = -3 + -4. Let x be n(j). Suppose 0 = -2*o - x*o + 70. Is o a composite number?
True
Suppose 0 = 23*t - 31*t + 293936. Is t a composite number?
True
Let c = -17 + 19. Suppose c*l + 2 = l - 2*d, 20 = 5*l - 5*d. Suppose 18 = l*h + 4*a, -h - 2*a = 4*h - 37. Is h a composite number?
False
Let v = -44 - -272. Let w = v + 191. Is w prime?
True
Let a(b) = 78*b**3 - 7*b**2 + 4*b - 2. Is a(3) a composite number?
False
Let s = -91 - -161. Suppose 2*v - s = 38. Suppose 3*c = -12, c - 4*c = -2*b + v. Is b prime?
False
Suppose -4*m - 2143 = -5*c, 4*c = 6*c + 2*m - 850. Is c a prime number?
False
Let o(x) be the third derivative of 7*x**4/4 - 19*x**3/6 - 3*x**2. Is o(6) composite?
False
Is -36 + 46 + (-13598)/(-2) composite?
True
Suppose -b - 1 = 4*c + 2, 0 = -4*c - 12. Let r = b - 5. Suppose r*v - 364 + 8 = 0. Is v prime?
True
Let d(s) = -2516*s + 16. Let x be d(11). Is (-2)/7 - x/84 composite?
True
Let f(s) = 143 + 0*s + s**3 + 2*s - s. Suppose -5*u - 25 = 0, 5 = -0*n + n - u. Is f(n) prime?
False
Let k(u) = 4269*u**3 - 5*u + 3. Is k(2) a composite number?
True
Let u(m) = 6*m**3 + 5*m**2 + 7*m - 3. Let a be u(-7). Let w = -2175 - -1475. Let z = w - a. Is z composite?
True
Let i = -11 - -7. Let b = 31 + i. Is ((-666)/b)/(2/(-9)) a prime number?
False
Suppose -3*y = 5*g - 21, y + 5*g - 9 = 4*y. Let v be 168 - 3/(y/2). Suppose -4*t + 7*t = v. Is t prime?
False
Let l(i) = -944*i + 3. Let c(k) = -2831*k + 10. Let o(y) = 2*c(y) - 7*l(y). Is o(2) a composite number?
True
Let u(t) = -t**3 + 11*t**2 + 14*t - 12. Let l be u(12). Let b(h) = -h**3 + 11*h**2 + 14*h + 1. Let i be b(l). Let d = 39 - i. Is d prime?
False
Suppose -351 = 5*r + 4*o + 419, -2*o + 740 = -5*r. Let h = 303 - 194. Let s = h - r. Is s prime?
False
Is (-55 + 59204)/(1 - 0) a composite number?
False
Let q(a) = a**3 - 50*a**2 - 26*a + 390. Is q(53) prime?
False
Suppose 0*w + 1284 = 4*w. Let j = w + -135. Suppose 5*h - c - 310 = 0, 5*c + j = 3*h - 0*h. Is h a composite number?
True
Suppose n - k = 7253, -5*k - 14705 + 187 = -2*n. Is n prime?
False
Suppose -4*j - 13315 = -39663. Is j prime?
False
Let j(q) = 5551*q**3 - 3*q**2 + 4*q - 2. Let t be j(1). Suppose -2*o - 1420 + 5128 = 2*v, 3*o - v - t = 0. Is o a composite number?
True
Suppose 31*y - 15*y - 84688 = 0. Is y a prime number?
False
Let z = -11 + 8. Let k be -28 - (0 + z) - 3. Let a = k + 50. Is a a composite number?
True
Suppose -6*a + 201 = 15. Is a prime?
True
Suppose s - 4*u + 3127 = 0, -3*u - 4 = -13. Is 11/44 - s/4 composite?
True
Suppose 2*u = r + 10419, u + 26015 = 6*u + 4*r. Is u a prime number?
False
Let q = 15212 + -8307. Is q prime?
False
Let p be ((-48)/15)/((-8)/20). Suppose -8 = -4*a - 4*j, -2*a + 5*a - p = -j. Suppose 4*v = a*k + 511, -5*v + k = 18 - 654. Is v prime?
True
Suppose 4*m - 4*i + 2519 = -3121, -7038 = 5*m + i. Is m/(-3) - (10/(-15) + 1) composite?
True
Let f(b) = -b**3 - 9*b**2 + 12*b - 3. Let k be f(-9). Let p = 391 - k. Is p prime?
False
Suppose -g = -2, 2*f - 7088 = 5*g - 6*g. Is f prime?
False
Suppose 4*p = -p + 25. Suppose -3*l - p*h = 27 - 1227, -2*l - 4*h = -802. Is l composite?
True
Let p(w) = -117*w - 14. Suppose x = -5*f - 4*x + 85, 5*x = -f + 33. Let y be p(f). Is 2/3 - y/15 prime?
True
Suppose -o + 6906 = n, n - 3511 = -3*o + 3385. Is n a prime number?
True
Suppose 0 = -23*t + 8631 - 2789. Let r be (-1)/(1/(-2)) + 0. Suppose 0 = -r*p - 0*p + t. Is p composite?
False
Let d be -5*((-21)/15 - -1). Suppose 0*p = 4*u - d*p - 6, -3*p = -3*u + 9. Suppose 4*k - k + h - 159 = u, -h = -3*k + 159. Is k composite?
False
Let b(d) = d**3 - d**2 + 1. Let x be b(2). Suppose -4*h + 5088 = 5*a - 2603, x*a + h = 7679. Is a a prime number?
False
Suppose 0 = 98*f - 1573643 - 956619. Is f prime?
True
Let x(w) = -26*w**3 + w**2 - 4*w - 2. Is x(-5) composite?
True
Suppose -5*x + 50 - 10 = 0. Suppose 0 = x*g - 13*g + 45. Suppose -970 = 4*r - g*r. Is r prime?
False
Let v(t) = -t**2 + 9*t - 38. Let r be v(30). Is 0 - (r + -4 - 1) a prime number?
True
Let d = 3718 - -2403. Is d a prime number?
True
Let h(l) = l**2 + 6*l + 6. Let d be h(-4). Let q = d - -7. Is 858/(-55)*q/(-2) prime?
False
Let j(t) = t**3 - 30*t**2 + 57*t - 30. Let i be j(28). Let w(r) = 2*r**3 - 1. Let o be w(1). Is o/(i - 321/(-159)) a prime number?
True
Let u be (-7)/5*(-4)/(12/15). Is (-336)/(-1) - (-8 + u) composite?
False
Is -1 - (-11 + -21166 - -7) prime?
True
Suppose j - 2627 = 2*w, -663 = -j - w + 1973. Is j composite?
False
Let n(g) = 13*g**3 + 55*g**2 - 19*g + 2. Is n(9) a composite number?
False
Suppose n + 5*r = 2*n - 14, 0 = 2*n + 5*r + 17. Let h(b) = 156*b**2 - b. Let i be h(n). Let o = -90 + i. Is o prime?
True
Let s(c) = -4*c + 12. Let h be s(4). Let u be 89 + h - (2 + -4). Let k = 184 - u. Is k prime?
True
Suppose 5*s = 6382 - 832. Let n = s + -355. Let a = n + 198. Is a prime?
True
Suppose -6 = -3*d + d. Suppose 2*b = d*b - 75. Let k = b + -44. Is k a prime number?
True
Let o(z) = -2*z**2 - z + 303. Let n(r) = -r**2 + r + 2. Let k be n(2). Is o(k) a composite number?
True
Suppose 0 = 3*d - l - 445, 0*d - 4*l = -3*d + 457. Suppose -d + 639 = 4*t. Suppose -k + 1 = 3*f - t, -3*k - 5*f = -368. Is k a composite number?
True
Let x(q) = -462*q - 241. Is x(-41) a composite number?
False
Let t = 19 - 15. Let a be 2/t*(0 - 0). Suppose q - i - 4*i - 12 = a, 2*q - 54 = 4*i. Is q a prime number?
True
Let u be 4/(-10)*(12 + -22). Suppose -d = -u*d - 12. Is (-70)/d*(-8)/(-10) a prime number?
False
Let r(u) = -2*u**3 + 25*u**2 - 12*u + 2. Let h be r(12). Suppose 0 = 5*y + 3*t - 27346, -3*y + 0*y + h*t = -16419. Is y composite?
False
Let y be 28 - ((-60)/(-35) + 4/14). Let x = y + 225. Is x prime?
True
Let s(l) = -l**3 - 2*l**2 - l + 807. Let d(g) = g - 1. Let t be d(1). Let p be (t + 0)/((-30)/(-15)). Is s(p) composite?
True
Let y(l) = l**3 - 4*l**2 + 3*l + 2. Let p be y(2). Suppose 0 = -6*v + 3*v + 5*k + 196, k + 2 = p. Is v a composite number?
True
Suppose -12 = -g - 3*g. Suppose 0 = t - 3*j + 785, 4*t - g*j + 1583 + 1557 = 0. Let z = t - -1182. Is z a composite number?
False
Suppose 21*v - 21 = 20*v. Is (v/14)/(6/4676) a composite number?
True
Suppose 1279235 = 50*c + 8785. Is c composite?
False
Is -1*(8/2 + -3)*-35269 composite?
True
Suppose 10908 = -8*d + 62*d. Is d prime?
False
Suppose -4*x = -g - 196 - 247, -x + 137 = 5*g. Suppose -z - x = 13. Let k = 220 + z. Is k prime?
False
Is 17/((-238)/70) + 1*108462 a composite number?
False
Suppose -8 - 24 = -r. Let h be (-1168)/r + 1/(-2). Let o = h + 446. Is o prime?
True
Let j be 418/(-16) - 6/(-48). Let h = j - -26. Is (34 - 