/(-2 + 0). Let c be u(m). Let n = c - -2. Is n prime?
True
Let w = 36 - -709. Is w composite?
True
Let d(b) = 40*b**2 + 6*b + 1. Let o(i) = -161*i**2 - 25*i - 4. Let j(l) = 9*d(l) + 2*o(l). Is j(-3) composite?
False
Suppose 5*l = 4*l + 21. Is l prime?
False
Suppose 0 = p - 5, -3*v + 2*p = -4*v + 13. Suppose -v*x + 470 = 2*x. Is x a composite number?
True
Let o = 7 + -3. Let z(l) = l**2 + 6*l - 7. Let h be z(-8). Let m = h + o. Is m composite?
False
Let x be 130/6 + 1/3. Is x/6*(-255)/(-5) a prime number?
False
Suppose -2*k - k = 0. Is 4/8*k - -127 composite?
False
Let y(k) = -k + 1. Let h be y(-3). Let w(u) = u**3 - 4*u**2 - 2*u + 2. Let l be w(h). Is (-39)/l + 1/(-2) prime?
False
Is ((-1370)/(-4))/(1/2) composite?
True
Suppose 0 = -3*h + 4*h - 2. Let r = 0 + h. Is ((-332)/8)/(r/(-4)) a prime number?
True
Let m(f) = -13*f - 3. Let v = -1 - 5. Let n(b) = -1. Let k(g) = v*n(g) + m(g). Is k(-4) composite?
True
Let w = -4 - -5. Let p be (-3)/9*w*-12. Is 51/(10/p - 1) prime?
False
Let j be (6/(-9))/(1/(-3)). Suppose r + 10 - 99 = 5*s, 5*s + 173 = j*r. Suppose -4*i + r = -0. Is i composite?
True
Suppose 0 = -2*x + 3*x. Suppose v - c - 6 = x, 2*v + 4*c + 6 + 6 = 0. Suppose -v*q + 52 = 2*q. Is q a prime number?
True
Suppose -44 = -5*l + 11. Suppose 9 = 4*u - l. Suppose 0 = -4*r + u*v + 134, -4 = v - 2. Is r a composite number?
False
Let a = 86 - -3. Is a a prime number?
True
Suppose -2*p + 54 - 140 = 0. Let o = -30 - p. Is o composite?
False
Let d be (-32)/(-20)*(-5)/(-2). Suppose d*z + 28 = 104. Is z prime?
True
Suppose 4*k - 80 - 556 = 0. Suppose -k = -3*w + 2*m, -5*w - m = -3*m - 265. Is w a prime number?
True
Suppose 652 = -7*h + 11*h. Is h composite?
False
Let t = -2 + -7. Suppose -6 + 26 = -4*q. Let b = q - t. Is b composite?
True
Is 2229/3 - 1/2*0 prime?
True
Let q = -488 + 2049. Is q a prime number?
False
Suppose 0 = c + c - 734. Suppose 3*t - c = 2*t. Is t a prime number?
True
Let q = -101 - -228. Is q a composite number?
False
Let w(x) = 2*x + 4. Let f(k) = 3*k + 4. Let c(u) = 7*f(u) - 6*w(u). Is c(6) composite?
True
Let l = -1 + 1. Let s(w) = 17 + 20 + 2*w**2 - w**2 + w. Is s(l) a composite number?
False
Let a = 2 + 1. Suppose -2*f + 2 = -d + a*d, -4*d = 5*f - 7. Suppose 0*k = f*k - 291. Is k prime?
True
Is (263 + 0)/(-16 - -17) a prime number?
True
Let a(m) be the first derivative of -m**4/4 - 2*m**3/3 + 7*m**2/2 + 3*m + 7. Let p = 7 - 12. Is a(p) prime?
True
Let c(j) = -6*j + 11. Let q be c(9). Let l = q - -62. Is l prime?
True
Let t be 42/10 + (-8)/40. Suppose -d + 66 + 105 = t*a, d = -a + 42. Is a a composite number?
False
Let d be 10/1*(2 - 1). Suppose -32 + d = -3*j + 2*v, j - 3*v - 12 = 0. Let w(y) = -y**2 + 11*y + 7. Is w(j) prime?
True
Suppose 29*v = 26*v + 1977. Is v a composite number?
False
Suppose 1067 + 325 = -3*m. Let k = -15 - m. Is k prime?
True
Let i be ((-1)/(-2) - -1)*2. Suppose -4*r - 284 = 4*b, -i*r + 61 - 280 = b. Is 1 + r/(-2) + -1 a prime number?
True
Suppose 0 = 4*f - 3*f - 2. Suppose 2*q + 5*n - 7 = 4*q, f*n = 5*q + 28. Is q/(-3)*(-50)/(-4) a prime number?
False
Suppose 4*v - 108 = 140. Suppose -2*o + 0*o + v = 0. Is o prime?
True
Let r(d) = -d + 44. Is r(11) prime?
False
Let x(q) = q + 2. Let z be x(5). Is z/((-28)/(-204)) - -2 a prime number?
True
Suppose 0 = 2*o - 169 - 493. Is o a prime number?
True
Suppose -u = -8349 + 2000. Is u a composite number?
True
Suppose 14*g - 19*g + 9535 = 0. Is g a composite number?
False
Let q(s) = -s**2 - 12*s + 11. Let j = 2 - -2. Suppose -2*i + 6*i + 24 = -4*b, -3*b = j*i + 28. Is q(i) a composite number?
False
Let i(s) = -2*s. Let o be i(-1). Is 156 + 1*(-2)/o composite?
True
Let q(u) = -45*u. Let h be q(-1). Let o = 88 - h. Is o a composite number?
False
Suppose -1 = -4*g - 5*u, -7 = 2*u - 1. Is (23/g)/(1/28) prime?
False
Let a be 6*(-3)/((-27)/165). Suppose -2*y + a = -2*n, 0 = -2*y + 4*y + 3*n - 125. Is y composite?
True
Suppose 0 = 2*r - 3*g - 12, -4*g + 5 = -r + 11. Let i be (-38)/r + 2/(-3). Let u(k) = k**2 + k - 5. Is u(i) a prime number?
True
Suppose -2*w - 4*h + 2 = 0, -1 = -3*w + 5*h + 13. Suppose -w*k + 0*p + 85 = -4*p, k - 4*p = 39. Is k prime?
True
Is (6 - (-40)/(-6)) + (-20110)/(-6) prime?
False
Let x = -319 + 504. Is x composite?
True
Let s be 6/21 - 2967/21. Is (-3 + s/6)*-2 composite?
False
Let f(n) = n**2 + 10*n. Let b be f(-10). Suppose -5*r = 4*i - 1023 - 137, b = -5*r - i + 1175. Suppose -4*v + 32 = -r. Is v composite?
False
Let y(c) = 13*c**2 - 13*c + 17. Is y(9) a prime number?
True
Suppose -3*w + 43 = -26. Is w prime?
True
Suppose a + 3 = 3*y + 4*a, 3*a = 3*y + 15. Let f(n) = 3*n - 2. Let d be f(y). Let x = d + 61. Is x a prime number?
True
Suppose 4*h - 11 = -5*s + 12, 2*h = -s + 7. Suppose 4*r = z + 17, -s*z - 2*z = -2*r + 13. Suppose 3*q = r*x + 115, 2*x = 4*q + 4*x - 124. Is q a prime number?
False
Suppose -3*l + 2*d = -335, -3*d = -2*l + l + 107. Suppose -5*n + 5*y = -935, 25 = -0*y + 5*y. Let i = n - l. Is i composite?
False
Suppose -256 = 5*x + 134. Let m = x - -199. Is m a composite number?
True
Suppose 5*w - 4*i = 951, -4*w + 6*i = i - 759. Is w a composite number?
False
Let q(k) = -588*k**3 + k**2. Is q(-1) composite?
True
Let z(y) = y + 25. Is z(-15) prime?
False
Suppose -3*g - x + 12 = 0, 4*x - 16 = -4. Let l be (-2)/(-7) + (-9)/7. Is g - ((-22)/2 - l) prime?
True
Let k be (-4)/(-6) - (-12)/9. Suppose -u = u - 2*i + 350, 338 = -k*u - i. Is ((-4)/(-6))/((-6)/u) prime?
True
Suppose 5*v + 1 = 4*v. Let b be (2 - 0) + (-2)/v. Suppose -4*j + 191 = 5*s, -2*s = -s - b*j - 19. Is s composite?
True
Let j(i) = 6*i**2 - 5*i + 3. Suppose 0 = v - 5*v - 16. Is j(v) a prime number?
False
Suppose 7*r - 4149 = -1006. Is r a prime number?
True
Suppose 2*b - 4 = 3*x + 5, -3*b - 5*x = 15. Suppose b = 3*n - 5*i - 9, -3*n + 15 = -2*i + 6. Is n a prime number?
True
Let g(d) = 10*d**2 + 13*d + 16. Is g(-13) a prime number?
False
Suppose 1 = l - 1. Let y = -8 + 13. Suppose 4*m + l*r - 14 = 140, -3*m + y*r + 96 = 0. Is m a prime number?
True
Let d(u) = -38*u + 19. Let n(w) = -2*w - 6. Let j be n(0). Is d(j) a prime number?
False
Let z be 5*((-81)/(-1))/(-3). Let s be z + (4/2 - 2). Let t = s - -214. Is t a composite number?
False
Let v be 4*14*3/4. Suppose -v + 354 = 2*u. Is (-2)/10 - u/(-5) a prime number?
True
Suppose 0 = 3*m - 12, 2*k + 4*m = -k + 40. Suppose 2*n + 4 = k. Suppose 235 = 4*x + 5*b, -4*x + 0*x + 226 = n*b. Is x a prime number?
False
Suppose 3*i - 39 = -0*a - 5*a, 2*a + 3*i - 12 = 0. Is (1407/a)/((-2)/(-6)) a composite number?
True
Suppose -4*w - 5*p + 29616 = -3*p, -w + p = -7407. Is w composite?
True
Suppose 4*j + 0*j = 1316. Is j composite?
True
Let x(k) = 2*k**3 - 6*k**2 - 3*k + 4. Let s(o) = o**3 + 3*o**2 - 6*o - 3. Let f be s(-4). Is x(f) a prime number?
True
Let d = -5 + 5. Suppose b + d*b = 0. Suppose -5*v = -b*v - 415. Is v a composite number?
False
Suppose -2510 - 654 = -4*c. Is c a composite number?
True
Let x(y) = y**2 - 5*y - 7. Is x(12) prime?
False
Let j(t) = 4*t - 6. Let v be j(-10). Is (0/3 - v) + 1 prime?
True
Let k(r) = -r**2 + 158. Is k(0) a prime number?
False
Suppose -2*p + 55 = 2*s - 65, p - 5*s - 60 = 0. Suppose -4*f = -3*f + 11. Let x = p + f. Is x a composite number?
True
Suppose -2*w = -4*w. Suppose -3*l + 254 = s + s, w = 4*s - l - 508. Is s a composite number?
False
Suppose -6*b = -3*b + 54. Let u be (-75)/(-27) + (-4)/b. Suppose 5*n = u*n + 158. Is n a prime number?
True
Suppose -3*o + o = -16. Let w(p) = 23*p + 1. Is w(o) a prime number?
False
Let n be (0 + 3)/((-6)/4). Is (-136)/(-2) - 2/n a prime number?
False
Let j(z) be the first derivative of -z**3/3 - 11*z**2/2 + 9*z - 3. Is j(-8) prime?
False
Suppose 1 = 5*y + 3*c, -c + 4*c + 7 = -y. Let h be 206/14 + 2/7. Suppose 0 = -y*q + q + h. Is q prime?
False
Let h be -2*(-1 - -2)*-1. Let r(g) = 2*g**2 - g - 2. Let u be r(h). Suppose -43 = -3*k - u*p, -5*k + 89 = -4*p + 28. Is k prime?
True
Suppose 0*n - 2*n - s + 9 = 0, 4*n - 3*s - 33 = 0. Suppose 2*g - n = 158. Is g a composite number?
True
Let i be 22/(-6) - 2/6. Let h(j) = -51*j + 1. Is h(i) prime?
False
Suppose -3*t + 319 = -3890. Is t a prime number?
False
Let q = -3139 + 1049. Is (-2)/7 - q/14 a prime number?
True
Let w = -837 + 1238. Is w prime?
True
Let s(t) be the third derivative of -37*t**4/24 + 2*t**3/3 - 5