 + 20, 9*s - 4*s + 10 = n. Is n a prime number?
False
Let n = 6 + -3. Is 6/(-9)*n + 48 a prime number?
False
Suppose 2*s + 56 = s. Is 3 - (3 + -2 + s) prime?
False
Suppose -21 = 4*p - h, -2*p - 15 = -h - 2. Is (133/(-2))/(p/8) a prime number?
False
Is (0 - 1)/(69995/(-11665) + 6) a composite number?
False
Let o = 17 + 4. Is o a composite number?
True
Suppose 2*j - b = 2*b + 1343, -j + 2*b + 671 = 0. Is j prime?
True
Let f(u) = u**2 - 4*u + 2. Let d be f(4). Suppose d*v = 655 + 1179. Is v prime?
False
Let w = -9 + 13. Suppose w*i = 5*a - 749, -2*a + i + 0*i = -299. Is a a composite number?
False
Let t(j) be the first derivative of j**5/30 + 13*j**4/24 - 5*j**3/6 + j**2/2 - 2. Let y(u) be the second derivative of t(u). Is y(-10) composite?
True
Let t = 396 - -115. Is t prime?
False
Let w(p) = -p**2 - p + 143. Is w(0) composite?
True
Let r(b) = -b**2 + 7*b + 4. Let c be r(7). Let x(m) = 124*m + 3. Is x(c) a prime number?
True
Let u be -1 + -4*(-58)/4. Suppose u = -4*j + 325. Is j a prime number?
True
Suppose 4 = 4*f - 4. Let m = f + 1. Suppose 3*q - a - m*a - 63 = 0, -4*q + 103 = a. Is q composite?
True
Suppose 2*c - 17*c = -21975. Is c composite?
True
Let h(q) = q**3 - 8*q**2 + 5*q + 1. Is h(10) prime?
True
Let m(r) = -r**3 + r**2 + 2*r + 2. Is m(-1) prime?
True
Suppose -l = 2*l + 30. Let w = l + 14. Suppose 0 = w*t - 6 - 46. Is t composite?
False
Suppose 2*s = 4*s - 406. Is s composite?
True
Let g = 80 - -251. Is g a composite number?
False
Let r(p) = -p**3 + 4*p**2 + p - 2. Let k be r(4). Let u be k - 3/(9/672). Let m = -101 - u. Is m prime?
False
Let y(d) = -6*d - 11. Is y(-7) prime?
True
Let d = -473 - -233. Let t = d + 119. Let l = 174 + t. Is l composite?
False
Suppose -8*n + 4*n - 2*f + 6348 = 0, 3*f = 3*n - 4743. Is n composite?
True
Let a be 6/21 + (-1338)/(-21). Let o = 241 - a. Is o prime?
False
Suppose -57 = -4*h - k, 4*h - 4*k - 49 = -17. Suppose -5*r = 4*a + h, 0 = 3*r - 5*a + 3*a - 1. Is 5/(-5) + (r - -39) a prime number?
True
Let h = -155 + 417. Suppose x - 3*m = 256, -2*m = -x + 3*m + h. Let t = 404 - x. Is t a prime number?
True
Let t = -6 - -17. Suppose -u + s = -s - t, 15 = -5*s. Suppose -3*c + 0*i = 2*i - 241, 0 = u*c + 2*i - 399. Is c prime?
True
Let i(b) = 17*b**2 - 2*b + 6. Let l be i(-4). Let j = l + -75. Is j prime?
True
Let a = -7 - -28. Suppose 0 = -w + 16 + a. Is w a composite number?
False
Suppose -5*w + 5*h = -159 - 826, -594 = -3*w + 4*h. Is w a composite number?
True
Let w be 0 + 3 + (0 - -9). Let o = 23 + w. Is o a composite number?
True
Let n(x) = -x**3 - 4. Is n(-3) a composite number?
False
Let t(q) = -5*q**3 + 10*q**2 - 8*q - 8. Let w(p) = -4*p**3 + 10*p**2 - 9*p - 9. Let a(v) = -5*t(v) + 6*w(v). Is a(-11) prime?
True
Let g = 505 - 214. Is g composite?
True
Let u be (-4)/1*(-2)/2. Suppose -2*s - 51 = -h + 2*s, u*h - 5*s - 226 = 0. Suppose 2*w = w + h. Is w a prime number?
True
Let u(z) = 7*z**2 - z + 3. Is u(-4) a prime number?
False
Suppose 2*l + 3*o + 11 = 0, o = 4*l - 0*o - 13. Let t = 2 + 0. Suppose 186 = l*g + t*z, 4*z + z + 505 = 5*g. Is g prime?
True
Let r = 92 + -55. Let i = 52 + r. Is i a composite number?
False
Suppose 0*f + 1141 = 7*f. Is f prime?
True
Suppose -6 = -2*p + 20. Let r = p + -11. Suppose -r*v + 3 + 19 = 0. Is v a composite number?
False
Let t = 7 - -3. Suppose 0 = -4*f - q + 8 + 3, -t = -5*f - 5*q. Is 47*1*f/3 a composite number?
False
Let s(q) = q**2 + 7*q + 4. Let v be s(-5). Let p(f) = -4*f - 2. Is p(v) prime?
False
Let j be (1/(-2))/((-4)/(-16)). Let x = j - -2. Suppose x = -3*o - 2*a + 201, -2*a - 228 = -4*o + 26. Is o a prime number?
False
Suppose 152 = 4*o + 28. Suppose o = 2*x - x + 3*f, 3*f - 6 = 0. Is x prime?
False
Let t(n) = 20*n**3 - 5*n**2 + 2*n + 4. Is t(3) a composite number?
True
Suppose -3*w - 1 = 2*i + 5, 0 = i + 4*w + 13. Is 52 - ((-3)/i)/1 prime?
True
Let x(l) = 19*l + 2. Let q be x(-3). Let g = 129 - 239. Let u = q - g. Is u a prime number?
False
Suppose -4*h - 33 = 2*n - 2571, -4*h + 2*n + 2518 = 0. Suppose -3*g - 5*w + 613 = -h, w = 3*g - 1245. Suppose -4*y = -9*y + g. Is y prime?
True
Suppose 0 = 13*t - 8*t + 10. Is t + (1 - -1 - -47) a composite number?
False
Suppose 0*w = 2*i - 5*w, 0 = 3*i + 4*w - 23. Suppose i*v + 0 + 5 = 0. Is (-32 - v)/((-1)/1) a composite number?
False
Let g = -2 - -4. Let x(z) be the first derivative of 2*z**2 - z + 5. Is x(g) a composite number?
False
Suppose 3*m = 25769 - 9776. Is m composite?
True
Suppose -m - 3*m + 20 = 0. Suppose -182 = -m*k + 188. Is k a prime number?
False
Suppose -2*n - 427 = -3*f, 3*n + n + 709 = 5*f. Is f prime?
False
Let k be (8/12)/(4/102). Let w = -7 + k. Suppose 4*x = 4*u - 58 + w, u - 16 = -x. Is u composite?
True
Let j be 11/(-22) + (-2)/(-4). Let y(d) = d**2 - d + 191. Is y(j) composite?
False
Suppose 2*k - 214 - 30 = 0. Let w = k + -84. Is w a prime number?
False
Suppose 0 = -2*v + 4*q + 11 + 3, 3*q = -2*v. Suppose 0 = 4*w - v*w - 31. Is w a composite number?
False
Is -1 + 12525/(5 - 2) a prime number?
False
Suppose 33 + 37 = -5*l. Let x be 4/l - 60/(-14). Suppose 0 = x*c + c - 110. Is c a composite number?
True
Let b(y) = -2*y - 7. Let u be b(-5). Suppose -290 = -u*w + 181. Is w prime?
True
Let b(q) = q**2 + 5*q + 121. Is b(0) a prime number?
False
Suppose 7*h - 1948 = 3*h. Is h a composite number?
False
Let a(s) = s**3 - 3*s**2 + 2*s - 4. Let y be a(3). Suppose -835 = 3*q + y*q. Let o = q + 250. Is o composite?
False
Let x(t) be the first derivative of -3*t**4/4 - t**3/3 + 3*t**2/2 + 2*t + 1. Let o = -7 - -4. Is x(o) composite?
True
Suppose 3*x = -2*a + 19, 4*x - 27 = -6*a + 3*a. Let d be (-1 - -6)/(1 - 0). Suppose -230 - d = -a*r. Is r a prime number?
True
Suppose 5*o - 3*q = -7*q + 42, q - 8 = -o. Is 3/(-5) - (-4156)/o prime?
False
Let n(j) = -30*j**3 - j**2 + 1. Let h be n(1). Let x be (-12)/h + 138/5. Suppose 3*k - k - x = 0. Is k a prime number?
False
Let q be 3/(-6*(-2)/8). Suppose 0 = -q*c - 2 + 6. Suppose c*t - 63 = 3. Is t composite?
True
Suppose -4*j = -4*t + 3*t + 37, 3*t - 3*j = 84. Is t a prime number?
False
Let j(r) = 107*r**2 - 8. Is j(-3) a prime number?
False
Let z = -1338 + 2354. Is ((-9)/(-6))/(12/z) prime?
True
Suppose -p + h - 17 = 0, h = 5 - 0. Is (p/16)/(2/(-40)) a prime number?
False
Suppose -63 = -4*t + 177. Is (-1)/(-1) + t/5 a prime number?
True
Let g = -14 + 26. Is (-3 - (-27)/g)*-28 composite?
True
Let g = 836 + -417. Suppose -57 = 2*x - g. Let i = 42 + x. Is i composite?
False
Let b = 1509 + -766. Is b prime?
True
Let r = 221 - 108. Is r a composite number?
False
Let u(n) = n**3 - n**2 - 1. Let g(f) = -5*f**3 - f**2 + f - 7. Let t(v) = -g(v) + 3*u(v). Is t(3) prime?
True
Suppose -2*q - 3*o + 980 = 0, -5*o = 4*q - 1412 - 546. Is q a prime number?
True
Is (-2938)/(-10) - (-76)/(-95) a composite number?
False
Let k(j) be the second derivative of j**6/36 - j**5/40 - j**4/12 - 2*j. Let h(a) be the third derivative of k(a). Is h(2) composite?
False
Let f(a) = 5*a + 4 - 3 - a**2 + 3. Suppose -r + 0*m - 3 = -2*m, -2*m + 12 = 2*r. Is f(r) composite?
True
Suppose 0 = -3*y - 6, 0 = -3*h + 2*h + y + 2. Suppose h = 2*k - 3*k + 90. Suppose -64 = -j + 3*q - 5, 2*j + q = k. Is j prime?
True
Let s be 6 + -1 + -3 - 1. Is (92/s - 1)/1 a prime number?
False
Suppose 4*x - 16 = 8*x. Let v be x/(-6) + 28/21. Suppose -3*p + 4*y - 10 = -0*y, -v*p = 5*y - 24. Is p prime?
True
Suppose 4*v = 3*h - 5922, 2*h - 5999 = -3*v - 2068. Suppose -5*w + 5*p = -h, -3*w + 2*p - 353 = -1530. Is w a composite number?
False
Let f = 8 + -4. Let o(d) = d + 1. Let t be o(4). Suppose -z = -3*k + 10, 8 = -f*k + 5*k - t*z. Is k a prime number?
True
Let w(n) = -11*n**3 + 4*n**2 + 2*n. Let b be w(-4). Suppose -3*l = 2*l - b. Suppose -4*d - 52 = -l. Is d composite?
True
Is 1 + (-27)/33 + (-21930)/(-22) composite?
False
Suppose 12 = -2*y + 3*y. Suppose 13*d - 251 = y*d. Is d composite?
False
Suppose -2*t = v - 110, 3*t = 5*v + 5*t - 574. Let i = -2 + 4. Suppose i*l - v = 62. Is l a prime number?
True
Let x(c) = c**3 - 4*c**2 + 2*c + 3. Suppose -l = -1 - 5. Is x(l) prime?
False
Suppose 24 = 2*s - 52. Suppose 3*q - 22 = s. Is q/3*(-3)/(-2) a composite number?
True
Let i = 420 - 984. Let k = i + 815. Is k a prime number?
True
Suppose 5*r - 24 = r. Suppose 3*n - 4*n - r = 0. Is (-248)/(-20) + n/(-10) a prime number?
True