ite number?
True
Let y be 2/(-4) - 1/2. Is (-1 - 1) + (-81)/y composite?
False
Let n = 40 + -97. Let x be ((-20)/2)/((-1)/(-2)). Let j = x - n. Is j a composite number?
False
Let w(z) = z - 1. Let t(g) = -g**3 - 4*g**2 - 4. Let v be t(-4). Let r be w(v). Let b(d) = -d**2 - 7*d + 5. Is b(r) a prime number?
False
Let d = 35 + -30. Let s be (-3)/(((-3)/(-154))/(-1)). Suppose -d*u = 4*l - 158, 6*l - s = 2*l - 3*u. Is l a prime number?
True
Suppose 4*k = -11*k + 2175. Is k a composite number?
True
Let f = 1120 - 114. Is f a prime number?
False
Suppose -5*a = -8 - 7. Suppose -v = -2*l + l + 20, a*l - 58 = 5*v. Is l prime?
False
Suppose 2*g = -5*x + 1295, x - 3*g = -g + 247. Let q = x - -12. Is q composite?
False
Suppose -87 - 126 = 3*l. Let m = l - -154. Is m composite?
False
Suppose -1094 = -6*d + 1900. Is d composite?
False
Let u(a) = a**2 + a. Let y be u(-1). Suppose y = -0*v - 4*v + 8. Suppose 4*m - v*t - 156 = 0, 3*m + 5*t - 117 = t. Is m prime?
False
Let a(d) = -18*d**3 + 2*d**2 + 3*d + 2. Is a(-3) a prime number?
False
Let n = 2368 - 1301. Is n prime?
False
Suppose -4*y - 5*d - 25 = y, 4*y - 4*d - 20 = 0. Suppose y = -3*k + 68 - 23. Is k a composite number?
True
Let p be (-12)/7*189/(-18). Suppose 19*d - 25 = p*d. Is d composite?
True
Let u(b) = -b**2 - 20*b - 12. Is u(-13) a composite number?
False
Suppose 5*d - 18 = t - 0*t, -3*d + 3*t = -18. Suppose 5*p + 58 = d*v + 437, 2*p - 142 = -2*v. Is p a prime number?
False
Let d(p) = -3*p**2 - 5*p - 9 - 4*p**3 + 0*p + 4. Is d(-4) prime?
True
Suppose 110 = 4*f - 486. Is f a prime number?
True
Let h(i) be the first derivative of -7*i**2/2 - 5*i + 1. Is h(-4) a prime number?
True
Let g(s) = -s - 7. Let v(l) = -3*l - 14. Let f(d) = -5*g(d) + 2*v(d). Suppose -4*i = -5*i + 4*c + 2, 4*i + 14 = 5*c. Is f(i) composite?
False
Suppose 4 - 52 = -3*k. Suppose -5*a + 2*w = -35, a - 3*w = -8*w + 34. Let n = k - a. Is n composite?
False
Let g = 383 + -130. Is g a prime number?
False
Let r be 4/2 - (-480)/(-2). Let j = 13 - r. Is j a prime number?
True
Let b = 294 - 167. Is b composite?
False
Let n(g) = -g**3 + 2*g**2 + 3*g + 2. Let s be n(3). Suppose s*a = -5*p + 31, 7*a - 11 = -3*p + 2*a. Let k(m) = -m**3 + 9*m**2 - 5*m - 10. Is k(p) prime?
True
Let n(a) = -a**3 + 9*a**2 - 5*a + 1. Let w = -27 + 33. Is n(w) composite?
False
Suppose w - 21*w = -520. Is w composite?
True
Is -2 + (-8616 + -4)/(-4) composite?
False
Let w = -21 + 51. Let f = 107 - w. Suppose 7 - f = -2*r. Is r prime?
False
Let g = 1141 + -692. Is g a prime number?
True
Let u be 6/(-15) + (-107)/(-5). Suppose -12 = -3*i + u. Is i a composite number?
False
Let h = -1615 + 2741. Is h a prime number?
False
Suppose 3*o + 2*a + 0*a = 91, -2*a + 10 = 0. Suppose 5*s = 2*v - 26, v - o = s - 2*s. Is v a prime number?
True
Let j = 51 - 44. Let o(f) be the third derivative of -f**6/120 + 3*f**5/20 - 7*f**4/24 + 2*f**3/3 - f**2. Is o(j) a composite number?
False
Let b(c) be the third derivative of 1/12*c**4 + 0*c - c**2 + 0 + 1/2*c**3. Is b(9) composite?
True
Suppose 1568 - 228 = 4*i. Is i composite?
True
Let o(x) = 5*x**3 + 7*x - 5. Is o(6) prime?
True
Suppose -4 = -4*i - a - a, -i = 3*a - 11. Let v = 0 - i. Is -14*v*-1 + 1 prime?
False
Suppose -2*r + r = 0. Suppose r = 3*f + f - 1048. Is f composite?
True
Is (64 - -3)*(-21)/(-3) a prime number?
False
Let c(h) = -18*h**3 + 1. Let z = -4 + 3. Is c(z) a prime number?
True
Let s = 1852 + -585. Is s a composite number?
True
Suppose 0 = 2*a - 6, -4*x - a = -204 - 363. Is x prime?
False
Let u(w) = 6*w - 6. Let d be u(4). Let t be (-4)/18 - (-4)/d. Suppose 4*n + 2*v - 356 = 0, -5*n - v + 0*v + 439 = t. Is n a composite number?
True
Suppose 4*o + 4*s + 4332 = -s, -3*o - 3256 = 2*s. Let m = o - -1927. Is m composite?
False
Let t be 27/12 + (-1)/4. Suppose -615 = -t*c - 3*c. Is c a prime number?
False
Let l = -1 - -3. Let s(f) = 9 - f**l + 0*f**2 - f - 6*f. Is s(-7) prime?
False
Suppose 0 = 6*h - 3068 + 1106. Is h prime?
False
Let n = 106 + -43. Suppose s + 2*s = n. Is s a composite number?
True
Let m be 40/15 + (-2)/3. Suppose 0 = 7*o - m*o - 50. Is o composite?
True
Suppose 0 = 5*x + 5011 - 1321. Let o be x/(-3) + -1 + 4. Suppose -14 + o = 5*l. Is l composite?
False
Let r = -7 - -40. Suppose -4*i = -5*k - 19, -3*k - r = -5*i - 6*k. Suppose h = 9 + i. Is h composite?
True
Suppose -230 = -20*p + 18*p. Is p prime?
False
Suppose 0*d - 2*r = d - 5, -4*d - 3*r + 5 = 0. Let k = d - -16. Is k a composite number?
True
Let x(o) be the first derivative of -2*o**2 - o - 2. Suppose -4*v - 11 = -5*y, 0*v + 2*v + y + 23 = 0. Is x(v) composite?
True
Let g(o) = o**3 + 5*o**2 - 2*o - 1. Let v be g(-5). Let b(f) = f**2 - 10*f + 11. Let d be b(v). Suppose -3*c + 55 = d*c. Is c composite?
False
Suppose -2714 = -t - 3*t - 2*u, 0 = -5*u + 15. Is t a prime number?
True
Suppose 0 = -5*r - 104 + 594. Suppose -2*b + 24 = -r. Suppose -4*d = l - 39, 17 = 2*l - 4*d - b. Is l a composite number?
True
Suppose -2 = -2*g, 0*l + 3*g - 1261 = -2*l. Is l prime?
False
Let b = -1 - -4. Suppose 2*q + 15 = 73. Suppose -y + 6*y = 4*k + 61, q = 2*y + b*k. Is y a composite number?
False
Suppose 5*z = -25, 3*l = 2*z + 1396 + 51. Is l a composite number?
False
Let g = -2 + 2. Let c(i) = 5*i - 1. Let w be c(1). Suppose g = -w*t - 2*x + 332, -83 = -t + 5*x - 3*x. Is t prime?
True
Suppose -h + 3*h = 642. Is h composite?
True
Let l = 21 + -10. Let n = l - 15. Is (0 - 2)*38/n composite?
False
Is (1623/(-9))/(1/(-3)) a composite number?
False
Suppose -7 - 1 = -2*j. Suppose -j*l = 2*r - 2442, r + 3*l = 7*l + 1191. Is r prime?
False
Suppose -r + 11 = -3*q, 2*r - 2*q - 40 = -r. Let d be 2/(-7) + 1656/r. Suppose -3*g = d - 391. Is g a prime number?
False
Suppose -4*z = l + 5 - 48, -4*l + 2 = -z. Let x(u) = -u + 8. Let q be x(z). Is 3 - -2*(-18)/q prime?
False
Suppose 3*h - 4 + 1 = 0. Is 11 - (-2 - (-3)/h) composite?
True
Suppose 0 = -4*r + r - 3. Is (-3)/(-3) - 0 - r composite?
False
Let o be ((-14)/3)/(12/(-414)). Suppose 0 = -2*p + 27 + o. Is p a composite number?
True
Let y(a) = a**3 - 4*a**2 - 11*a + 9. Is y(7) prime?
True
Let f be -5*(-4)/(60/9). Suppose -5*m = 5*x - 4*x - 125, -f*x = 3*m - 75. Is m prime?
False
Let o(u) = -37*u**3 - 2*u**2 - u + 1. Is o(-2) prime?
False
Let s(p) = -p**2 - 9*p + 6. Let j be s(-10). Is (-1)/12*j*255 a prime number?
False
Let o be (3576/18)/(2/9). Is (-2 - -2) + o + 1 a prime number?
False
Suppose -2*n = -277 - 153. Is n prime?
False
Let f(k) = -k**3 + 4*k**2 - 3*k + 3. Let j be f(3). Suppose -3*i - 29 = -146. Suppose -r + 2*a + j*a = -i, 4*a = -20. Is r a prime number?
False
Let z = -16 + 26. Suppose z*t = 5*t + 115. Let d = 38 - t. Is d prime?
False
Let y(u) = u**2 - 3*u + 1. Let x be y(2). Let p be (-2 - -1)/(0 + x). Is ((p + 392)/(-3))/(-1) prime?
True
Is (2 + 0/3)/((-8)/(-22076)) a prime number?
True
Suppose -8*v + 7055 - 1015 = 0. Is v prime?
False
Suppose 8 = 5*n - 3*n. Suppose 3*t = -5*g + 1486, n*t + g + 482 = 5*t. Is t a composite number?
False
Suppose r + 190 = 2*r. Let i = r + -77. Is i a prime number?
True
Suppose -258 = -y + 5*v, 4*v + 230 = 3*y - 533. Is y a prime number?
False
Suppose 4*b + j = -0*b + 232, 0 = -3*b - 2*j + 169. Is b composite?
False
Suppose -3*k = 295 - 2260. Is k prime?
False
Let k be ((-5)/2)/(3 - 139/46). Let f(m) = m**2 - 3*m + 1. Let i be f(4). Suppose i*o - k - 355 = 0. Is o a composite number?
True
Let t(r) = -r**2 + 5*r + 2. Let y be t(5). Let i be (-192)/(-33) - y/(-11). Is 1*2 - (-282)/i composite?
True
Let b(o) = o**2 + 12. Let l be b(-9). Suppose -2*x - 3*r + 65 = 0, 4*x - 3*r - l = 64. Is x a composite number?
False
Let l(g) be the first derivative of g**3/3 - 5*g**2/2 - 13*g + 1. Is l(9) a composite number?
False
Suppose -5*b + 13325 = -4*o, 4*b + b - 3*o = 13330. Is b a prime number?
False
Let k(i) = i**2 + 10*i + 10. Let r be k(-8). Let f(h) = -h**3 - 6*h**2 - 3*h + 3. Let n be f(r). Suppose -3*y + 0*y = -n. Is y a prime number?
True
Let d be (-5)/2*(-8)/5. Suppose 3*s + f - 328 = 2*f, -4*s = -d*f - 432. Suppose 2*u - 4*u = -s. Is u prime?
False
Let k be 53*(0 + -1)*-3. Suppose -4*c + c = -k. Is c composite?
False
Let j = -1535 - -3822. Is j a prime number?
True
Let r be -2 + -3 + 1 - 1. Is 20/8*(-236)/r a composite number?
True
Suppose 3*w - 691 - 560 = 0. Let v = w + -212. Is v compo