omposite?
False
Suppose 781 = 4*z + 2613. Let r = 173 - z. Is r prime?
True
Let w = -65 + 494. Suppose 113 = -4*j + w. Is j a prime number?
True
Suppose 2155 = d + 2*b, 5*d = -5*b - 2936 + 13706. Is d a composite number?
False
Let a = 15 - 8. Let d(n) = -n**3 + 2*n**2 + 6*n + 10. Let l be d(a). Is 2/4 + l/(-2) prime?
True
Let t(o) = o**2 - 12*o - 23. Is t(18) prime?
False
Let h = 321 + -171. Suppose h = 3*d - 27. Is d a composite number?
False
Is (-2)/(-10) + (-11)/((-220)/6936) a composite number?
False
Let a = -15 + 22. Suppose -a - 11 = 3*w. Is (-284)/w + 2/(-6) prime?
True
Suppose 10*d - 12*d = -106. Is d prime?
True
Suppose -4*n + 85 = 3*i - 182, -3*n - 3*i = -198. Is n a prime number?
False
Suppose -5*y - 1 = -6. Let j be 2/(18/14 - y). Suppose -5*b - j*n + 315 = -2*n, 0 = -4*b - 3*n + 248. Is b a prime number?
True
Let p be (-1 - -28)/1*1. Suppose 4*a = -2*z - 6, 5*z = 5*a - p - 3. Let w(x) = 4*x**2 + 6*x + 7. Is w(z) a prime number?
False
Let w(p) = -3*p**3 - 3*p**2 + 5*p - 1. Let c(t) = 4*t**3 + 3*t**2 - 6*t + 1. Let k(x) = -4*c(x) - 5*w(x). Let y be k(2). Is 2/(y/((-201)/(-2))) composite?
False
Let q be (5/2 + 0)*-2. Let o = q - -54. Is o a composite number?
True
Suppose -5*k + 3*a = 21, 5*k = 4*k - 3*a + 3. Let g = -202 - -284. Let t = g + k. Is t composite?
False
Suppose 0*n - 11 = -n + 3*o, o = 0. Suppose -n*a - 573 = -14*a. Is a prime?
True
Suppose m + m - 154 = 0. Is m a composite number?
True
Let r = 9 - 5. Suppose 2*t + 2*t - r*i - 508 = 0, 127 = t - 5*i. Suppose 5*b - 38 = t. Is b composite?
True
Let o(y) = -17*y + 7. Let g be o(10). Let w = g - -341. Is w prime?
False
Suppose 2 = -t - 0*t - 2*o, t - 2 = 2*o. Suppose t*n - 20 = -2*n. Is n prime?
False
Let t = -12 + 19. Let b = 26 - t. Is b a composite number?
False
Suppose 4*m + 310 = 5*m. Suppose 292 = 2*f - m. Is f prime?
False
Let d = 527 - 270. Is d a composite number?
False
Let r = 2 + 2. Suppose 0 = 3*h - r*h + 16. Let q = 23 - h. Is q composite?
False
Let l be 0 - 0 - 0 - 0. Let g = -2 + l. Is g/7 - 102/(-14) composite?
False
Suppose -3*v - 6*v = -2097. Is v composite?
False
Suppose l + 3*l = 76. Is l a composite number?
False
Suppose -q = -5*q - 8, c - 4*q - 11 = 0. Suppose -2*h + 4*f - 4 = -h, -c*h + 2*f - 12 = 0. Let s(r) = -2*r**3 - 3*r**2 - r - 1. Is s(h) a composite number?
False
Let r(i) = -7 - 4*i - 2*i + 7*i. Let m be r(11). Suppose s + m*k = 125, 238 = 2*s + 4*k + k. Is s a prime number?
True
Let a(o) be the third derivative of -o**4/24 - 2*o**3/3 + o**2. Let h be a(-3). Is h*226/(-4)*2 prime?
True
Let g(n) = 2*n**2 - 2*n + 7. Let q = -10 - -16. Let o = q + 0. Is g(o) composite?
False
Let j = 9 - 7. Suppose j*z + 2*z = -w + 93, w = 2*z + 69. Is w a prime number?
False
Suppose 1 = 2*p - 9. Suppose s + g - 14 = 4, -s + 12 = -p*g. Let q = s - -2. Is q prime?
True
Suppose -3 - 9 = 4*v, -u - 3*v = 7. Let d be (u + -7)*(-62)/5. Suppose w = 3*w - d. Is w a composite number?
False
Suppose -5*z = -3*r - 8, 4*z + 5*r + 1 = -0. Is (z/(-2))/((-2)/316) a composite number?
False
Let u = -35 - -270. Is u prime?
False
Suppose 0 = 16*k - 2162 - 28958. Is k a composite number?
True
Let g be -3*(-1 + (-20)/(-12)). Is 2*(49 + g) - -3 a composite number?
False
Let o(k) = -k**3 + 2*k**2 + 2*k - 2. Let a be o(-2). Is (66/a)/((-1)/(-5)) a composite number?
True
Let z(r) = -r**2 - 8*r - 4. Let s be z(-3). Is 6/33 + 1043/s a prime number?
False
Suppose 2*i - 12 = -6. Suppose -1293 = i*p - 6*p. Is p a composite number?
False
Let p(f) = 2*f**2 - 2*f. Let d be p(2). Suppose -d*s + 53 = -35. Suppose -4*y = -2*y - s. Is y a prime number?
True
Is (3/(6/476))/2 a prime number?
False
Suppose -12 = j + q - 6*q, 0 = j - q. Suppose -h = -4*a + j - 32, -5*h = -5*a - 40. Let f(u) = u**2 + 4*u + 4. Is f(a) composite?
True
Suppose 5*i + 7 = -8. Let r = 122 + i. Is r a composite number?
True
Let g(a) = -a**3 - 7*a**2 - a - 6. Let k be g(-7). Let j(i) = 4*i - 1. Let y be j(k). Suppose y*m = m + 22. Is m composite?
False
Suppose j + 5 = 3*p - 257, 4*j = 2*p - 158. Is p prime?
True
Let b(p) = -p**2 - 5*p + 3. Let m be b(-5). Is (-383)/(-3) + (-2)/m prime?
True
Let j(c) = c**2 - 6*c + 9. Is j(8) composite?
True
Let g be 2/(1 - (2 - 2)). Let l be 0/((-3*g)/(-3)). Suppose l*c - 195 = -5*c. Is c prime?
False
Suppose 5*z = 9 - 4. Is (17 + z)/2 + 1 composite?
True
Let o be (27 - (0 - -1))/(-1). Let u = o - -45. Is u prime?
True
Suppose -3*q + t - 29 = 0, -8*t + 5*t = q + 3. Is (-79)/(-3) + 3/q composite?
True
Let n(f) be the second derivative of f**3/6 + 2*f**2 - f. Let y be n(-6). Is 2*(11/y)/(-1) composite?
False
Let u(v) = -v - 2. Let q be u(-5). Let y = 2 - q. Is 212/6 + y/3 prime?
False
Let c(w) = 750*w**3 + w**2 - w + 1. Is c(1) prime?
True
Let c = 0 + 4. Let v be 148/28 - c/14. Suppose -i = v*k - 173, 0 = k + 5*i - 20 - 5. Is k prime?
False
Let d = -6 - -15. Suppose -d*x + 575 = -4*x. Is x a composite number?
True
Let b be 4/6 + 74/(-3). Let a be ((-2)/3 - 0)*b. Let k = a - 3. Is k composite?
False
Suppose -5*p = 3*l - 1644, 4*l - 5*p = -p + 2224. Is l a composite number?
True
Let c = -2 + 0. Is 1/c + 1113/14 prime?
True
Let o = 2402 + -921. Is o prime?
True
Suppose 0*d - 537 = -d - 2*i, -4*i = 3*d - 1603. Suppose 0 = 5*t - x - d + 53, -98 = -t + 3*x. Is t a composite number?
True
Let f = -5 + 3. Is (-1548)/(-44) + f/11 a prime number?
False
Suppose -7 = -3*q + 2. Suppose q*l = -2*l + 25, -18 = -4*t - 2*l. Suppose -2*g = t*n - 11 - 15, n = -5*g + 65. Is g a prime number?
True
Suppose 0 = -3*p - 2*p - 4*r + 140, -3*r = -p + 28. Let n = 39 - p. Is n a prime number?
True
Let n = 2627 - 730. Is n a composite number?
True
Let j = 5 + -6. Let r be ((-2 - 1) + j)/1. Is r*(-1)/((-2)/(-23)) a composite number?
True
Let k = -923 + 507. Let z = -205 - k. Is z a prime number?
True
Suppose 0 = -2*r - 2 + 8. Suppose r*z - 7 = -1. Suppose -131 = -z*n - 5*x, n + x + 4*x - 73 = 0. Is n a composite number?
True
Let a(q) = q**3 + 7*q**2 - 6*q + 3. Let r be a(4). Suppose f = -2*d + r + 307, -4*d - 3*f + 920 = 0. Is d a composite number?
False
Let d(z) = 3*z**3 - 2*z**2 + z + 1. Suppose -4*v + 5*i - 4*i = -15, 5*v - 3*i - 24 = 0. Is d(v) a composite number?
False
Let y(w) = w**3 - 11*w**2 + 2*w + 41. Is y(15) a prime number?
True
Suppose -3*y = 4*b - 969, 0 = 8*b - 3*b. Is y prime?
False
Let c(t) be the third derivative of -t**6/40 - t**5/12 + t**4/4 - 5*t**3/6 + 4*t**2. Is c(-5) a composite number?
True
Let m(q) be the first derivative of 1/3*q**3 - 2 + 0*q**2 + 5*q. Is m(4) a composite number?
True
Let a(o) = o**3 + o**2 - o + 4. Let g be a(0). Suppose -g*b = -4*x - 64, 3*b + 3*x = b + 27. Let k = b + 38. Is k composite?
False
Let v(m) = m**2 + 5*m + 5. Let z be v(-5). Suppose 0*w - z*w + 280 = 3*l, -289 = -3*l + 4*w. Suppose -l = a - 2*a. Is a a prime number?
False
Let d(s) = s**2 - 10*s + 9. Let r be d(6). Let z = -1 - r. Is z prime?
False
Let n(o) be the second derivative of 7*o**4/12 - o**3/2 - 3*o**2/2 - 2*o. Is n(-3) composite?
True
Let w = 98 + -61. Suppose m = 5*s + 19, -s + 5*s - w = -5*m. Is m a prime number?
False
Let l be 0 - (-4 + 0 + 1). Suppose -4*v + 67 = -l*a, 5*v - 79 + 24 = -2*a. Is v a prime number?
True
Is 2/(-4)*2*-53 composite?
False
Suppose 11*h = 15*h - 3508. Is h composite?
False
Let y = -9 + 11. Let w = -2 + y. Suppose w = -l - 19 + 54. Is l composite?
True
Suppose -5*h = 5*w - 1680, 5*h - 2*w - 1634 - 11 = 0. Is h composite?
False
Let n(k) = 4*k. Let o be n(3). Suppose 3*j - j + o = 4*y, 2*y - 4*j = 0. Is y composite?
True
Suppose 4*i - 5 - 1 = 2*j, 18 = -3*i - 3*j. Let g(p) = -115*p - 2. Is g(i) a prime number?
True
Is 2*1173/6 - 0 prime?
False
Let u be 0 + 0 + 6/(-3). Let y be (3/(-6))/(u/80). Suppose -4*c - y = 0, 2*i + i + 5*c = 248. Is i prime?
False
Let c be (1 + 17/5)*5. Suppose -c = 2*g + 50. Let i = 43 - g. Is i composite?
False
Suppose -r - 11517 - 12939 = -4*n, -4*n + 2*r = -24452. Is n prime?
False
Let p(b) = 9*b**2 + 6*b. Let h be p(5). Suppose -3*f - 2*f = -h. Is f composite?
True
Let b(g) = -g**2 + 2*g. Let p be b(3). Is (-12)/p*422/8 prime?
True
Let w(q) = -344*q + 13. Is w(-2) a composite number?
False
Suppose -7*y + 12*y = 635. Is y a composite number?
False
Let x(f) = -4*f - 4. Let j be x(-3). Let l be (0 + -2)*22/(-4). Suppose -m = -l - j. Is m composite?
False
Is ((-3