 - 1787. Is k prime?
False
Suppose 30 = -c - 16. Let d = 68 + c. Is d composite?
True
Suppose 2*r - 3 = -3*i, 3*i - 45 = 3*r + 2*r. Suppose -h = 3, q + h - 6 = 3*h. Is -6 - r - (-67 - q) a composite number?
False
Let o = -359 + 924. Is o a prime number?
False
Let z(i) be the second derivative of -i**7/2520 - 19*i**6/720 - 11*i**5/120 - i**4/4 - i. Let b(s) be the third derivative of z(s). Is b(-8) prime?
False
Is ((-5)/(60/(-1842)))/(2/44) prime?
False
Let u be 11/33*(1 + -1). Suppose 0*k + 2 = k. Suppose u*s - 382 = -k*s. Is s composite?
False
Let s = 4 + 1. Suppose 4*l = z - 8 - 4, -s*z = 3*l - 14. Is z a prime number?
False
Suppose -i + 2*i = 4*d - 1813, -3*i - 2268 = -5*d. Is d a prime number?
False
Let h(k) = 4*k**2 + 9*k + 8. Is h(-7) a prime number?
False
Suppose -5*m + 0*m - 5*c = -1050, 846 = 4*m - 2*c. Is m a composite number?
False
Let a(d) be the second derivative of -d**5/20 + 7*d**4/12 + 5*d**3/6 + 2*d**2 + d. Let j(c) = -c**2 + 7*c + 1. Let n be j(6). Is a(n) composite?
True
Suppose 5*p + 3*o = 410, -5*p + 3*o + 48 = -392. Suppose 0*b = b - p. Is b a composite number?
True
Suppose 7434 = 3*x + 3*a, 4*a - 4941 = -2*x - a. Is x composite?
True
Suppose -3*g + 3*d - d + 3 = 0, -g - 5*d = -18. Suppose -26 = -t + 2*j - g*j, 4*j + 21 = t. Is t a composite number?
True
Let d(f) = -f**2 + 7*f - 6. Suppose 0 = 3*b - 8 - 7. Let s = -1 + b. Is d(s) a prime number?
False
Suppose 3*k - 2*l + 4*l = 5881, -5851 = -3*k + 4*l. Is k prime?
False
Is (-8)/20 + (4821/(-5))/(-3) a composite number?
True
Let c = 33 + 5. Suppose m = 315 + c. Is m prime?
True
Let p(c) = -262*c - 11. Is p(-10) a prime number?
True
Let m(s) = -s**3 + 21*s**2 - 8*s - 13. Is m(9) composite?
False
Suppose -5*o - 280 + 1285 = 0. Let z = 356 + o. Is z a composite number?
False
Suppose 16 = -k + 4*h, -3*k - 3*h + 23 + 4 = 0. Suppose -150 = -5*j + 5*d, -j + k*d + 25 = 2*d. Is j composite?
True
Suppose u - 3*k = 52, -3*u - 2*k + 61 + 51 = 0. Suppose -12*d = -8*d - u. Is d composite?
True
Suppose -26606 = -14*g + 2528. Is g prime?
True
Suppose g - 426 = -2*g. Is g prime?
False
Suppose -w - 194 = -3*w. Is w a prime number?
True
Suppose 14 + 6 = 4*i. Let a(y) = 13*y**2 - 12*y - 2. Let h(j) = -j**2 + j. Let p(u) = a(u) + 5*h(u). Is p(i) a composite number?
False
Let u(i) = i**2 + 3*i. Let k be u(-3). Suppose 3*o + k*o - 180 = 0. Suppose h = 53 + o. Is h a composite number?
False
Suppose 8*g = -g + 6597. Is g a prime number?
True
Let z be (-9)/(-15) - (-23)/(-5). Let b(s) = 5*s**2 - 2*s - 1. Is b(z) prime?
False
Let p = 390 + -187. Is p composite?
True
Suppose -b = -4*a + 8*a - 1, 2*b - 5*a = 15. Suppose -b*u = -1395 - 1695. Suppose -5*d + u = 188. Is d a prime number?
False
Let y(k) = -2*k**2 - 5*k + 5. Let g(q) = -q**2 - 3*q + 3. Let u(f) = 5*g(f) - 3*y(f). Let i be u(0). Suppose i = 2*b - 2, 0 = t - 5*t + 2*b + 90. Is t prime?
True
Suppose 20 = -0*s + 4*s. Suppose 0 = 5*z - 2*o - 1443, 2*o + 3 = -s. Suppose 0 = 3*n - 196 - z. Is n composite?
True
Suppose 0 = -x - 3*x. Suppose 6*l - 2*l - 212 = x. Is l a composite number?
False
Let l be ((-8)/12)/((-1)/141). Suppose -l = -4*z + 2*z. Is z prime?
True
Suppose 0 = -0*w - 2*w + 44. Is (-4 - 6)*w/(-4) a composite number?
True
Let r be (3/2 - 1)*6. Suppose 0 = -r*u + 6. Suppose -2*p = u*p - 12. Is p a composite number?
False
Let c = -801 - -1382. Is c composite?
True
Let l = -7 - -7. Suppose 3*f - 141 = -l*f. Is f a prime number?
True
Suppose 0*d = 4*d + 16. Let s(g) = -3 + 0 - 3*g + 0 + 6. Is s(d) prime?
False
Is (0 + -3 - -1) + 439 prime?
False
Suppose p = 437 + 284. Is p a prime number?
False
Suppose 0*w - 3*w = 4*c - 505, 0 = -4*c + 5*w + 513. Is c prime?
True
Is -17*6/((-18)/21) a prime number?
False
Suppose -2*a - 308 = -6*a. Suppose -4*s + 5 + 7 = 0. Suppose s*w = 2*o + 615, -a = -w - o + 123. Is w a composite number?
True
Let u(i) = -2 + 1 - 3 + 5*i + 5. Is u(1) a composite number?
True
Suppose 0*y = m - 3*y - 4756, m - 4753 = 4*y. Is m composite?
True
Let m(g) be the first derivative of -g**4/4 + 5*g**3/3 + g**2 - 3*g + 2. Let u be m(5). Is 178/14 - (-2)/u composite?
False
Let a(h) = h**3 + 3*h**2 - 2*h + 4. Let b be a(-3). Let n = 5 - b. Is (-84)/(-15) - 2/n composite?
True
Suppose -3*x - x = -132. Is x a prime number?
False
Let h be (-4)/(-2 - 39/(-18)). Let t = 134 + h. Suppose z + z - 4*r - 78 = 0, 0 = -2*z - 4*r + t. Is z prime?
True
Let x = 2391 + -1626. Suppose 284 = -3*n + 4*y + x, 4*y - 8 = 0. Is n a composite number?
False
Suppose 0 = -2*v - 2*v. Suppose -3*w + 32 = -3*m - 124, v = -4*m + 3*w - 206. Let p = 117 + m. Is p prime?
True
Suppose 0 = 4*a, 3*k - 3*a + 4*a = 450. Is 2/11 - k/(-22) composite?
False
Let o(t) be the first derivative of -17*t**2 + 6. Is o(-1) prime?
False
Let i be 1 + (-30)/(2 + 0). Is 2/7 + (-346)/i prime?
False
Suppose 0*i + m - 33 = -2*i, 5*m - 15 = 0. Suppose 6*d = -5*t + d - i, 5*d + 15 = -4*t. Suppose -n = -t*n - 115. Is n a composite number?
True
Suppose 0*k + 2*k = 814. Is k a prime number?
False
Let s = 1259 + -396. Is s a prime number?
True
Let b(c) be the third derivative of 7*c**4/12 - 3*c**3/2 - c**2. Is b(8) a composite number?
False
Let j = -7 + 13. Suppose 3*f = 4*k - 11, 2*f + 12 = j*f. Suppose 0 = -k*v + 3*v + 68. Is v composite?
True
Suppose 5*c = o - 24, 0*c = 5*o - c - 72. Is o composite?
True
Let k be 2/(-8) - 20/(-16). Let h(u) = 56*u**3 - 2*u**2 + 1. Is h(k) a prime number?
False
Suppose k - 2*s = 267, -4*s = -s + 12. Is k prime?
False
Let r = 115 + 304. Is r a prime number?
True
Suppose 2*h - 795 - 545 = 0. Let c = h - 341. Is c a prime number?
False
Let r(a) = a + 1. Let k be r(-1). Let q be 20/1 - (0 + k). Is (-72)/(-5) - 8/q a composite number?
True
Let s(m) = 11*m**2 - 24*m - 10. Let j(a) be the first derivative of -5*a**3/3 + 6*a**2 + 5*a + 1. Let w(q) = 9*j(q) + 4*s(q). Is w(8) a prime number?
True
Let i = 4463 - 7787. Is 4/(-10) - i/60 a prime number?
False
Let x(v) = v + 49. Let n be (0*(-1)/(-2))/1. Is x(n) a composite number?
True
Is (-220)/(-1) + (-4 - 1) a prime number?
False
Let q be (-560)/(-12)*(-12)/(-10). Let h = q - 34. Suppose -t - 7 = -h. Is t composite?
True
Let t(b) = 21*b**3 + b**2 + b + 1. Let n be t(-1). Let i be 22/8 + (-5)/n. Is ((-385)/(-21))/(1/i) a prime number?
False
Let z = 1741 - 522. Is z composite?
True
Suppose 3*h + 2*j = h + 542, 4*h - 1081 = -j. Suppose -2*o + 161 = 3*m, -4*o - 2*m + h = -56. Suppose 5*y = o + 13. Is y a prime number?
True
Suppose -2*d = -162 + 56. Is d prime?
True
Suppose -4 + 24 = -4*q. Is 189 - (-1 - q)/(-2) a prime number?
True
Let n be ((-12)/(-3))/(5 + -3). Suppose -5*f + n*f = -93. Is f a prime number?
True
Suppose 3*i + 74 - 443 = 0. Is i a composite number?
True
Let s be (-3)/(18/(-15))*56. Suppose 4*v - s = -2*g, -2*v - g + 181 = 3*v. Is v a composite number?
False
Let h = 3 - 2. Let p be (-21)/(-6)*4*h. Let y = p - 10. Is y a composite number?
True
Let n = -13 + 16. Is (-1)/n - 784/(-12) prime?
False
Let y = 5 + -7. Let u(s) = 29*s**2 - 3*s - 2. Let i be u(y). Suppose 0 = 5*x - i - 55. Is x a composite number?
True
Let w(h) = -h - 8. Let i be w(-7). Is i + 0 - -3 - -21 composite?
False
Let p be (-1 - 2) + (-54)/3. Let n be p/(-1) + (-5)/5. Let d = n - -33. Is d prime?
True
Suppose -2*i + 3 = -3. Let s = i + -1. Let l = 5 - s. Is l prime?
True
Let u = 27 - 22. Suppose -u*h = -q - 817, -4*h + 0*h - 4*q = -644. Is h a composite number?
False
Let p be 0 + 0 + 36/2. Let h be 1750/p + 6/(-27). Suppose -3*j = -4*m - 2*j + h, -3*m + 5*j = -94. Is m a prime number?
True
Suppose -10820 = -0*i - 4*i. Is i composite?
True
Let v = 5 - 6. Is 3/v + (44 - 4) a composite number?
False
Suppose 0 = 3*u - i - 4 - 22, 5*i - 3 = -4*u. Let w be 3/(6/10) + -2. Suppose 4*c - 24 = -4*n, 4*c + w*n - u = 2*c. Is c a composite number?
False
Let x(v) = v**3 - 7*v**2 + 8*v - 6. Let h be x(5). Let i = 41 + h. Is i prime?
False
Let i be (-1)/(-4) - (-13)/(-4). Is (-128)/i + (-2)/(-6) prime?
True
Let a(s) = -6*s**3 - s**2 + s - 1. Let t be a(1). Let d = -8 - t. Let w = d + 36. Is w composite?
True
Suppose 88 + 98 = 2*p. Let q = -52 + p. Let r = 78 - q. Is r a prime number?
True
Let p be (2 - 1)*(-2)/(-1). Let i be (-3)/p*8/(-6). Suppose v + i = 21. Is v prime?
True
Is (-2 - 333)*(0 - 1) a prime number?
False
Let c = 12418 - 7635. Is c a c