-d + 24 + 2 = c. Is d a composite number?
True
Let x = 200 + -131. Suppose -2*t = t - x. Is t composite?
False
Suppose 4*n - 107 - 657 = 0. Suppose 3*c = 4*c - n. Is c a composite number?
False
Let a = -820 - -2513. Is a composite?
False
Let o(s) = -251*s**3 + s**2 + s. Is o(-1) a composite number?
False
Suppose -2*i = 2*i - 152. Let o = -13 + i. Is o a prime number?
False
Suppose -4*y + 2*h + 2*h = -656, -4*h = 4*y - 680. Is y composite?
False
Let d(c) be the third derivative of -3*c**5/20 + c**4/12 + c**3/6 - c**2. Let i be d(-1). Is (3 - -7)/((-4)/i) a composite number?
True
Let p(n) = n**3 - 4*n**2 - 2*n. Suppose 5 = -0*i + i. Is p(i) composite?
True
Let o(h) = -308*h + 1. Let v be o(-1). Suppose 4*a - v = 255. Is a prime?
False
Suppose 4*j - 4*r = 644, 3*j - 5*j + r = -320. Suppose -4*q + h = -2*q - j, -3*h = -4*q + 319. Is q a prime number?
True
Let z = -193 - -326. Let o = 186 - z. Is (o/(-2))/((-2)/4) a composite number?
False
Let t(w) = -w**3 - 8*w**2 + 4*w - 24. Is t(-11) composite?
True
Let f(b) = b + 5. Let j be f(-11). Is (-6)/j - -4*22 a composite number?
False
Let g(i) = i**3 - 4*i**2 - 7*i + 5. Let q be g(5). Is 6/10 + (-922)/q a composite number?
True
Suppose 5*o = 2*o + 333. Is o a prime number?
False
Is 3/(-1 - 2)*(-2632 + 3) a composite number?
True
Is (-2)/(-5) - (119637/(-45) + 6) a composite number?
True
Let q(p) = 8*p - 9. Is q(5) a composite number?
False
Suppose 5 = -r + 8. Suppose 2*q + 51 = i, 186 = 4*i + r*q + 15. Suppose -5*k = 5*p - 405, 2*k - 34 = -p + i. Is p a composite number?
False
Let o(d) = -d**2 + 4*d**2 - d**2 + 3*d. Is o(-5) composite?
True
Let k = 0 - -18. Let n = k + -11. Suppose 3*o = 34 - n. Is o prime?
False
Let x be -3*3/(-18)*4. Suppose -4*y + 50 = -x*y. Is y a prime number?
False
Suppose q - t - 4*t - 3 = 0, 0 = -t. Suppose 7*v - 2*u + 4 = q*v, 5*v + 4*u - 21 = 0. Is -29*(6*v)/(-2) a prime number?
False
Let p = 1639 - 656. Is p a composite number?
False
Let i(j) = -2*j**3 + 0 - 9 + 6*j**2 + 10*j + j**3. Let y be (-1)/((2 - 1)/(-6)). Is i(y) a prime number?
False
Let b(g) = g**3 - g**2 + g + 211. Is b(0) a composite number?
False
Let j(b) = 196*b + 3. Is j(2) prime?
False
Let j be 1*-56 - 0/1. Let a = j - -113. Is a a prime number?
False
Let a(j) = -3*j**3 - 12*j**2 - 8*j - 4. Is a(-7) composite?
True
Let w(a) = a**2 - a - 3. Let r be w(5). Let g = 36 - r. Is g a composite number?
False
Suppose 4*v + 0*v + 8 = 0. Suppose -2*p = -0*l + 3*l + 25, l + 2*p = -15. Let t = v - l. Is t a prime number?
True
Let y be (-8)/(-20) - (-8)/5. Suppose h - y*h + 251 = 0. Is h composite?
False
Let s(j) = j**3 - 3*j**2 - j + 7. Suppose 2 = -2*a - 5*p + 1, -8 = -2*a - 2*p. Let m be s(a). Suppose 5*z - 234 = m. Is z a prime number?
False
Let g(a) = -a**2 + 7*a - 6. Let w = 20 + -14. Let h be g(w). Suppose -q = -5*f + 262, h = 5*f + 4*q - 340 + 63. Is f a composite number?
False
Is 93 - 4/(-2)*(1 - 2) prime?
False
Suppose 3*x - 25 + 4 = 0. Suppose 8*r - 397 = x*r. Is r prime?
True
Suppose f = 2*f + 40. Let g = 93 + f. Is g composite?
False
Let b(h) = 6*h**2 - 6*h - 13. Is b(18) composite?
False
Let a = 488 - 187. Is a a prime number?
False
Suppose -4*u = 7*n - 3*n - 16, -u = -n + 10. Suppose -n*t = -2*t - 195. Suppose -3*s + t = -18. Is s a composite number?
False
Let a(o) be the first derivative of -2 + 1/3*o**3 - 3*o - 3/2*o**2. Is a(6) composite?
True
Suppose -y - 11 = -3*o, -3*o - y = 2*y + 9. Suppose -198 = -o*c - 2*d, 3*d = 3 + 9. Is c prime?
False
Suppose -13 = p + 5*g, 5*g + 9 = -2*p - 2. Let f = -30 - -67. Suppose p*z + f = 3*z. Is z composite?
False
Suppose 7*o - 15723 - 12046 = 0. Is o prime?
True
Let z = 10 + -4. Is (0 + (-93)/z)*-4 prime?
False
Suppose 5*f - 3360 = -5*r, 2*r + 0*r - 2*f = 1352. Is r prime?
False
Let p be (-17)/(1 - (0 + 0)). Let k = -12 - p. Is (1 - -25)*k/2 a prime number?
False
Is 5344/3 + (-1)/3 prime?
False
Suppose 5*r + 0*q = -3*q - 9, -r + 6 = -2*q. Suppose -5*f + 866 - 91 = r. Is f a prime number?
False
Suppose 0 = -d + 4*d - 195. Is d a composite number?
True
Is 6830/(4/2)*1 a composite number?
True
Suppose -2*a + 0*a = -4*p - 58, 0 = -2*p + 4*a - 32. Is (-4)/p + 8140/28 prime?
False
Suppose -4*u + 996 = -3028. Is u a composite number?
True
Let r(y) = 6*y**3 - y**2 - 2*y - 1. Let f be r(-1). Let q = f + 9. Let l(b) = b**3 + b**2 - b. Is l(q) a composite number?
True
Suppose 4*s - 5*m = 25, -m + 5 = -6*m. Suppose 3*j - 432 = s*z, -5*z + 10*z - 611 = -4*j. Is j composite?
False
Is 0 + 267/(6/2) prime?
True
Suppose 561 = 3*s + 2*m, -3*s + 0*s - m + 558 = 0. Is s prime?
False
Let z(d) be the second derivative of d**4/6 + d**3/2 - d**2/2 - d. Let f be z(6). Suppose -5*u + 6*u - f = 0. Is u a composite number?
False
Let i(u) be the third derivative of -1/2*u**3 - 19/24*u**4 + u**2 + 0 + 0*u. Is i(-2) prime?
False
Let r = -62 - -92. Let a(j) = -j**2 - 8*j - 9. Let q be a(-5). Suppose q*s - s - r = 0. Is s composite?
True
Let f = -3 + 5. Suppose f*g - 35 = -11. Suppose -u = g - 145. Is u a composite number?
True
Is (-3788)/(-6) - (-5)/(-15) a prime number?
True
Let r = 88 + -33. Is r composite?
True
Is (-1 - -4)/(24/2440) prime?
False
Suppose 3*m - 14 = -2*o, -15 = -3*m + 2*o - 5. Suppose 0 = -n + m*v + 57, 3*n - v = -0*v + 204. Is n composite?
True
Let a(j) = 2*j**2 - 9*j + 2. Is a(-7) a composite number?
False
Let s = 5 - 5. Suppose -5*i + 3*i + 314 = s. Is i prime?
True
Suppose 20 = l + 4*l. Suppose 4*f - 12 = -l*r, -2*f + 5*r = 2*f - 39. Is (44/(-2))/(f/(-15)) a prime number?
False
Let y(w) be the first derivative of -w**4/4 - w**3 + 5*w**2/2 + 4*w - 1. Let h be y(-4). Suppose h = -2*j - 0*j + 28. Is j a composite number?
True
Is (-4)/(-18) - 74525/(-99) prime?
False
Suppose -2228 - 2437 = 5*a. Is a/(-5) - (-2)/5 composite?
True
Let c(f) = 5*f + 4. Let v be c(6). Suppose 5*o = 0, v = n + 3*o + 11. Is n composite?
False
Suppose -3 - 9 = l. Let k(n) = 3*n**2 + 4*n - 5. Is k(l) a prime number?
True
Let w = -2 - 52. Let b = 76 + w. Is b a prime number?
False
Let m be -1 + 34/((-4)/2). Let w be (-28)/(-6)*m/(-12). Let t = 0 + w. Is t a prime number?
True
Suppose -1273 = -5*z + 5692. Is z prime?
False
Suppose -2*v - 2*x = -966, -3*v + 2*x + 1433 = -3*x. Is v prime?
False
Let h = 22 - 15. Is h a composite number?
False
Let a(x) be the first derivative of 10/3*x**3 - 1/4*x**4 + 11/2*x**2 + 3*x - 3. Is a(10) a prime number?
True
Suppose -5*j + 763 = 18. Is j prime?
True
Let a = -1 - 0. Is (a - 3/(-2))*22 prime?
True
Let c(s) = 8*s. Let g(j) = -15*j - 1. Let l(a) = 7*c(a) + 3*g(a). Is l(2) a composite number?
False
Suppose 3453 = -7*r + 10*r. Is r prime?
True
Let f(q) be the second derivative of -q**4/12 + q**3/6 - 2*q. Let d be f(-1). Is -8*(d + 1) - -2 composite?
True
Suppose 5*a = -5*q + 75, q + 3*a = 15 - 0. Is q a prime number?
False
Suppose -5*b = w + 1, -5*w + w = 5*b + 4. Let r(n) = n + 79. Is r(b) a composite number?
False
Let x = 195 + -92. Is x a composite number?
False
Let r be ((-74)/(-8))/(2/8). Suppose -r = -5*h + 383. Suppose o + o + 3*a - 133 = 0, -o - 5*a + h = 0. Is o a composite number?
False
Let w(d) = d**3 - 7*d**2 + 6*d - 5. Let f be w(6). Let p(v) = 3*v**2 - 7*v - 1. Is p(f) prime?
True
Let y = 237 - 56. Is y a prime number?
True
Suppose 3*h = 2*y + 144, 0*h = h - 2*y - 48. Let g = h + 41. Is g composite?
False
Let b(v) = 7*v - 3. Let q be 2/(2 + 21/(-12)). Is b(q) composite?
False
Let k(r) = r**3 - 3*r**2 - 8. Let h be k(7). Suppose -8*x - h = -10*x. Is x composite?
True
Let x(z) = -z**2 + 4*z. Let v be x(2). Suppose 2 = 2*w, -v*m + 5*w = -2*m - 849. Is m composite?
True
Suppose -5*d - 20 = 5*f, 5*f - 3*d + 21 = -7. Suppose 31 = 4*x - 45. Let a = x + f. Is a composite?
True
Let f(b) = 19*b**2 + 5*b + 4. Let k be f(-3). Suppose -k = -4*r + 2*r. Is r/14 + 2/7 a prime number?
False
Suppose 0 = l - 5*x + 218, 0*x - 686 = 3*l + x. Is 8/20 + l/(-5) a composite number?
True
Suppose 0 = 2*g + 3*g + 10, f = 5*g + 13. Suppose 64 = f*w + 1. Is w prime?
False
Suppose -3*a + a = -258. Is a prime?
False
Let r be ((-12)/18)/((-2)/84). Suppose 5*j - 27 - r = 0. Suppose -3*o + 7 = -j. Is o a prime number?
False
Suppose -3*p - 10211 = -6*p + 2*f, 4*p - 13603 = 5*f. Is p a prime number?
True
Let n(f) = 115*f**2. Is n(-1) a composite number?
True
Let y(a) = -a**2 - 9*a - 3. Let h = -