2*a - l*w - 70. Is a a prime number?
True
Let y be (1/2)/(2/(-20)). Let u = y + 14. Suppose -2*n = n - u. Is n composite?
False
Let v(w) be the third derivative of w**2 + 0 - 1/2*w**3 + 0*w**4 - 1/20*w**5 + 0*w + 1/120*w**6. Is v(5) prime?
True
Let z = 22 - 15. Suppose p - 30 = z. Is p composite?
False
Let o(i) = -7*i - 3. Let k(y) = 11*y + 5. Let n(f) = 5*k(f) + 8*o(f). Let j be n(-3). Suppose -u = j*d - 527, 2*u = -d - d + 256. Is d a prime number?
False
Let w(a) = a**3 - 7*a**2 + a**2 + 3*a**2 + 2. Let c be w(3). Suppose -v + 2*r = 5*r - 28, c*v - 2*r = 40. Is v a composite number?
True
Let c(v) = -v**2 - 11*v - 13. Let j be c(-9). Suppose 3*i + 4*d = 155, 2*d = -j*i + d + 247. Is i a composite number?
True
Suppose -3*m = 3*k + 3, 0 = -7*m + 2*m - 4*k. Suppose m*h - 12 = 0, -7 - 7 = -f - 5*h. Let y = 36 - f. Is y a prime number?
True
Suppose -8*k = -4*k - 24. Let m(w) = 2 + 1 - 2*w + 4*w. Is m(k) a prime number?
False
Suppose s - 2*c + 7*c = 21, 5*s + 2*c - 13 = 0. Suppose 4*p - 2*w - 154 = 0, w - 22 = -2*p + 53. Is (p - s)*(-3)/(-3) a composite number?
False
Suppose -8*z + 1086 = -5*z. Is 2 - 3/(-6)*z a composite number?
True
Suppose 5*k - 513 - 647 = 0. Suppose 5*j - 243 = k. Is j a composite number?
True
Let a(r) = -4*r**2 - r - 2. Let u be a(-2). Let w be 20/u - (-2)/8. Is ((-237)/(-6))/(w/(-2)) prime?
True
Let k(p) = -p + 8. Let r be k(5). Is (797/1)/(4 - r) a prime number?
True
Suppose -7*b + 9*b - 1270 = 0. Is b prime?
False
Let c(s) = s + 10. Let n be c(-7). Suppose 0 = n*t - 22 + 1. Suppose 0 = -i - 3*b + t, -b = -5*i + 4*b + 115. Is i a prime number?
True
Suppose -36 = -2*b - 2*w, -2*b - b + 48 = w. Suppose b + 7 = t. Is t a composite number?
True
Suppose -2*a - a + 159 = 0. Is a a composite number?
False
Suppose i = -3*i + 212. Is i a prime number?
True
Suppose -q - s + 30 = -113, 0 = s + 3. Is q prime?
False
Let y = 118 - 71. Suppose 0 = 2*m - 7 + 1. Suppose 5*k - y = m. Is k a prime number?
False
Suppose 6*b - 5*z + 25 = b, 3*b = 4*z - 16. Is 10*(-14)/b + 2 a prime number?
True
Let n = -25 + 35. Let d = n + -7. Suppose -d*k + 78 = -0*k. Is k a composite number?
True
Suppose -4*o = -3*d + 13, -3*o = -3*d - 8*o + 4. Suppose d*j + j = 188. Is j prime?
True
Suppose 0 = -c - i + 369 + 107, -3*c + 1434 = i. Is c a composite number?
False
Let u = -7 + 5. Let i be 0 + u - -2*5. Let c(o) = 3*o + 9. Is c(i) a prime number?
False
Let d = 103 + -88. Is d composite?
True
Is 12/(-9) - 16/(-12) - -211 composite?
False
Let m(p) = -p**3 - p + 1. Let u(w) = -4*w**3 + 7*w**2 - 13*w + 7. Let g(x) = -5*m(x) + u(x). Is g(-8) a composite number?
False
Let u = -1 + -1. Is u/12 - 763/(-6) composite?
False
Suppose 3*l - 2*l - 12 = 0. Let d = -4 + l. Suppose 107 = v + 3*q, 4*v - 4*q - 444 = -d*q. Is v composite?
False
Let l(m) = -m**3 - 3*m**2 - 2*m + 2. Let a be l(-2). Let v be (1/2)/(a/12). Is ((-3)/(-4))/(v/84) prime?
False
Suppose -4*k + 9 = -0*o + o, -3*k + 101 = 4*o. Suppose 0 = h - 4*h + 198. Let r = h - o. Is r prime?
True
Suppose 5*c - 10 = -0*c. Suppose -3 = -c*u + u. Suppose i + 2*m - 53 = m, u*i + 2*m = 159. Is i a composite number?
False
Suppose 5*j - 50 = 220. Suppose -128 = -2*x + j. Is x prime?
False
Suppose 5*w = 6 + 4. Suppose -2 - w = -2*p. Is (4/8)/(p/76) prime?
True
Suppose -2*h = 27 - 161. Is h a composite number?
False
Suppose 2*i - i = 3. Suppose -i*c + 19 = -2. Is c composite?
False
Suppose 0 = -3*d - 2*y + 23, 2*d + 4*y = -2*d + 36. Suppose 0 = -0*x - 3*x - 3*a + 39, 4*a + 20 = 4*x. Let z = x - d. Is z prime?
False
Suppose -16 = -5*p + 4. Suppose -i + p = 2. Suppose -i*a + 177 = a. Is a prime?
True
Let u = -19747 - -29040. Is u composite?
False
Let c(s) = -s**2 - 4*s - 2. Let a be c(-3). Let i be -1 + 6 - (3 - a). Suppose -i*k + 6*k = 21. Is k composite?
False
Let q = 10 - 5. Suppose -5*w = -5*g - 400, 0 = -q*w - 3*g + 436 + 4. Is w a composite number?
True
Let o(r) = -r - 1. Let x be o(-1). Suppose 3*i + 13 = w - 0*i, w - i - 11 = x. Let c = 19 - w. Is c a composite number?
True
Let y = -240 - -367. Is y composite?
False
Suppose 2*w - 3*w + 138 = 0. Let b = 5 - 2. Suppose -c + 103 = 3*a, -b*c = 4*a - 2*c - w. Is a a composite number?
True
Suppose 3*c = 9, -c = -3*h - 3 + 12. Suppose 5*x + 3*z - 597 = -z, -3*x - h*z + 355 = 0. Is x prime?
False
Suppose 0*k = -3*k + 3*g + 81, 108 = 4*k - 5*g. Suppose l + 5*f - k = 0, 0*l + 5*f = 2*l + 6. Let y(h) = -h**3 + 8*h**2 - 2*h - 10. Is y(l) a composite number?
True
Let o(q) = -81*q - 41. Is o(-22) a prime number?
True
Let m(f) = 2*f**3 - 5*f**2 + 2*f - 3. Suppose 2 - 14 = -2*k + 5*c, 2*k - c - 4 = 0. Let z(o) = 5*o - 1. Let b be z(k). Is m(b) composite?
False
Let l(p) be the third derivative of -37*p**6/40 - p**5/60 - p**4/24 + 5*p**2. Is l(-1) a composite number?
True
Let q(y) = 162*y**2 - 2*y - 1. Let w be 4*(1/1 - 0). Suppose -10 = -5*g - 3*z, w*z + 0*z = -2*g + 18. Is q(g) composite?
False
Suppose -7*d = m - 3*d - 1459, 5*m - d - 7190 = 0. Is m prime?
True
Let m(n) = -n**2 - 13*n + 3. Let r be m(-13). Suppose 3*u - 13 = -0*u + 4*s, 14 = 3*u - 5*s. Suppose -u*w + 740 = 5*y - 2*w, r*w = -4*y + 581. Is y composite?
False
Is (-5691)/(-15) - (-6)/(-15) prime?
True
Let m = -452 - -931. Is m a prime number?
True
Let g(q) = 12*q + 4 - 1 - 16*q + 2*q**2. Is g(4) prime?
True
Let f be 0 + (1 - (-1)/(-1)). Let z = 38 + -19. Let y = z + f. Is y prime?
True
Let v = 2 + -2. Let k = 6 - v. Let h(w) = -w**3 + 6*w**2 + 6*w - 3. Is h(k) a prime number?
False
Is 10 - (-2 + 2)/(-2) a prime number?
False
Suppose 7*s - 2187 = 36880. Is s a composite number?
False
Suppose 2*l - 15 = -3*l. Suppose -k - 3*k - 8 = -4*j, 5 = l*j - 2*k. Is 16 - -3*j/(-3) composite?
True
Let k(m) = 15*m**2 + m + 3 + 0*m - 3*m. Is k(2) a prime number?
True
Let o(u) = 2*u**3 - 7*u**2 + 11*u - 7. Is o(9) prime?
True
Is 379 - (8 + -9)*0/1 prime?
True
Suppose 6*p + 4*a = 9*p - 1035, 3*a = -5*p + 1696. Is p prime?
False
Let y = -2 - -2. Suppose 3*p = -y*p. Is p - (-1 - 0) - -82 a composite number?
False
Let x(j) = j**2 + 4*j + 2. Let s be x(-4). Suppose s*o - 644 = -2*o. Is o a prime number?
False
Suppose 6*a = -0*a + 1590. Is a prime?
False
Let c(d) = 6*d + 2. Let z be c(5). Let s(w) = -1 + 0 + z*w - 2*w. Is s(2) a prime number?
True
Let m = 3 - 1. Suppose -2*f = 3*f + i - 248, -m*f = -i - 95. Is (-14)/f + 835/7 composite?
True
Let n(r) = -r**2 - 4*r + 1. Let v be n(-4). Is 1*(4 + 116 + v) a prime number?
False
Suppose -4*p = -8*g + 4*g - 5024, -3*p + 3771 = -2*g. Is p a composite number?
False
Suppose -l - 3*f - 11 = -3*l, -2*l + f = -9. Suppose 5*r = 2*w + w - 461, -638 = -l*w - 5*r. Is w composite?
False
Suppose 0 = -4*t + 217 + 195. Let v = -60 + t. Is v prime?
True
Suppose 2*p - 5 = p - 4*v, -4*v = 2*p - 10. Suppose -b = -5*b. Suppose -2*r = p*z - b*r - 155, 5*r = 0. Is z prime?
True
Let r(v) = 253*v**2 - 6*v + 7. Is r(2) composite?
True
Suppose 5*a - p - 3810 = 0, 0 = -a - 3*a - 2*p + 3062. Is a a prime number?
False
Let f = -50 - -301. Is f composite?
False
Let y(v) = 9*v + v**2 - 3 - 3 + 3 - 2*v**2. Is y(7) prime?
True
Suppose 4*w + 3*j - 8 = 0, 2*w - 10 = -3*w - 5*j. Suppose 83 = l + 5*h - w*h, -h + 2 = 0. Is l prime?
False
Let t = -3063 - -4408. Is t a composite number?
True
Let z be (-425 - 3 - 2) + -3. Let w = z + 616. Is w a composite number?
True
Suppose 0 = -2*f - 5*t - 41, -1 = t - 4. Is (-944)/f + (-4)/(-14) a prime number?
False
Let f(q) = -q**3 - 8*q**2 - 6*q - 9. Let c be f(-6). Suppose -t + 2*t - 71 = 0. Let o = c + t. Is o prime?
False
Let r(f) = f**2 + 6*f + 1. Let a be r(-7). Let x(q) = -5*q**2 - 4*q - 5. Let k(b) = -14*b**2 - 11*b - 15. Let s(i) = -4*k(i) + 11*x(i). Is s(a) a prime number?
False
Suppose 0 = -4*v - 14 + 2. Let q be v + (0 - -4 - 2). Is (-85)/(q*(0 + 1)) prime?
False
Suppose 3*p - 4*l = 2*p + 11, 6 = 4*p + 3*l. Suppose 0 = 2*o - 5*s - 31, -3*o + p*s + 6 = -18. Suppose 1 = 3*x + 13, -o*a + 4*x + 157 = 0. Is a a prime number?
True
Let i(j) = -3*j**3 - 9*j**2 - 5*j. Is i(-7) a prime number?
False
Let d(h) = -313*h. Let r be d(-1). Suppose 2*g - 139 = 3*j, 2*g - r = -2*g - j. Is g composite?
True
Let g(u) = 2*u - 7. Let t be g(5). Let i(y) = -2*y**2 + 0*y**2 + 500*y**t + 2*y - 5 + 3 + 1. Is i(1) a prime number?
True
Let i = 40 + -70. Let a be ((-24)/(-15) + -2)*i. Is -2*2/(a/(-171)) composite?
