17*j(s) + 6*m(s). Is x(-6) a prime number?
False
Let p(t) = t**2 - 7*t + 8. Let i be p(10). Let v be 1 - 1 - (-17)/1. Let r = i - v. Is r composite?
True
Let d(f) = -28*f**3 - 9*f**2 + 5*f - 6. Is d(-7) a prime number?
False
Let g(p) = -p**3 + 19*p**2 + 10*p + 13. Let s(a) = 5*a**2 + a - 4. Let i be s(2). Is g(i) prime?
False
Let l(i) = i**3 + 4*i**2 - 6*i - 2. Let a be l(-5). Suppose a*s - 88 = -s. Is s a prime number?
False
Let u = -3 + 7. Let f(k) = 2*k + 1 + u*k - 2. Is f(4) a composite number?
False
Is (37 - 38)/((2*-1)/3022) composite?
False
Let u be (-10)/(-2)*(-42)/15. Is (-2724)/(-28) + 4/u a prime number?
True
Suppose 43 = -3*a + 13. Is (-2 - -1)*1*a a composite number?
True
Let m(a) = 12*a - 5. Is m(7) composite?
False
Suppose 20 = -5*f, 3*a - 3*f - 37 = 224. Is a a composite number?
False
Let v(q) = 6*q + 1. Let m be v(5). Suppose -m = -z + 7. Is z + (-2)/(-4)*-2 prime?
True
Suppose -2*s - 2395 = -7*s. Is s a composite number?
False
Suppose -6*x = 498 + 138. Let w = -57 - x. Is w a composite number?
True
Let n(h) = -6*h**3 + 8 - 3*h**2 + 5*h**3 - 3*h**2 + h. Let d be n(-6). Suppose -548 = -5*k + b, d*b = -4*k - 2*b + 424. Is k prime?
True
Suppose -7*f + 350 = -2*f. Let l = 50 - f. Let t = l + 39. Is t a prime number?
True
Let y(f) be the second derivative of f**4/6 + f**3/3 + 5*f**2/2 - f. Let l be 1*(-13)/((-26)/(-12)). Is y(l) composite?
True
Let k = 4 - -1. Let z(c) = -c**2 + 5*c + 2. Let m be z(k). Suppose -116 + 22 = -m*j. Is j a prime number?
True
Is (-79)/1*(-3)/3 a prime number?
True
Let w(f) = -f**2 - f + 4. Let i be w(0). Is 150 + (-2)/i*2 a composite number?
False
Let u = 0 + 4. Suppose -u - 154 = -2*r. Is r composite?
False
Let f be -40*1*(-15)/6. Suppose -210 = -2*s + f. Is s a composite number?
True
Let f(b) be the first derivative of 29*b**2/2 + 13*b + 10. Is f(6) a composite number?
True
Suppose l + 0*l = 60. Suppose -4*f = -l + 8. Is f a composite number?
False
Suppose n = -2*n + 3273. Suppose 0 = -5*p - 2*h + n, -h + 205 = 2*p - 232. Is p a composite number?
True
Suppose -8*h + 540 = -172. Is h composite?
False
Let s(u) = u + 13. Let g be s(9). Let v(m) = 1 - 4 + g*m + 33*m - 2. Is v(4) a prime number?
False
Let j be -3 - ((-3)/3 - 75). Suppose 4*g + j = 3*v, -2*g = -3*g - 1. Is v composite?
False
Suppose 0 = 2*l + 2*d - 136, -2*d = 4*l + 3*d - 273. Is l a composite number?
False
Suppose 115 = 4*u + u. Let r = 12 - u. Let w = r + 25. Is w a composite number?
True
Let a = 7869 - 4850. Is a a composite number?
False
Let f(s) = s - 4. Let j be f(9). Suppose -235 = -j*d - 40. Is d composite?
True
Is (4 - 5)*(-1 - 105) a composite number?
True
Let j(x) = x**2 + x - 4. Let h be j(-3). Suppose -111 = h*k - 5*k. Is k prime?
True
Let a be (-1 + 0)/(2/(-8)). Let t be a - (6/(-2))/(-3). Suppose q - 4*h + 2 = 0, -4*h = t*q + h - 62. Is q a composite number?
True
Suppose -3 = 5*d - 0*b + b, 0 = 5*d - b - 3. Suppose d*f - 2*f - 3*o + 7 = 0, -4*f + 23 = 3*o. Is 4*f - 2 - -1 prime?
True
Let t = -119 - -198. Is t composite?
False
Is (3220/(-4))/(-5) + 5 a composite number?
True
Let j = -6 + 9. Let y be (0 - j) + 1 + 17. Is 8*(y/12 + 0) a composite number?
True
Suppose -3*z = 2*c - 669, 1173 = 4*z - 5*c + 281. Is z a prime number?
True
Suppose -2*s - l = 5, -2*s - 6 - 2 = -2*l. Let j = 1 - s. Suppose 0*f - 4*f = j*d - 148, 3*d - 148 = -4*f. Is f a composite number?
False
Let k(t) be the third derivative of -1/6*t**3 + 0 + 0*t + 2*t**2 - 1/24*t**4 + 1/60*t**5 + 1/30*t**6. Is k(2) a composite number?
True
Let f be (-1 - 1)/(-1) - -174. Suppose w - 4*q + f = 0, -4*w = -0*w - 4*q + 680. Is (2/4)/((-4)/w) composite?
True
Let r(a) = a**2 - 10*a - 2. Let j be r(9). Let f(t) = t + 13. Let i be f(j). Let l(p) = 10*p - 1. Is l(i) a composite number?
False
Let a = 11 - -4. Let g = -1 - -1. Is g + 1 + a - 1 a composite number?
True
Suppose -28 = -4*g - 0*g. Suppose -r = -3*r. Suppose -i + g = -r*i. Is i composite?
False
Let n = -1 - -2. Let p(h) = 19*h - 1. Let v be p(n). Suppose 3*q - 27 = -4*z - 6, -2*q + v = 4*z. Is z composite?
False
Let a(k) = 10*k**2 - 11*k - 3. Let i = 6 + 0. Is a(i) prime?
False
Let m = 18 - 13. Suppose -2 = -2*x + 3*h, h + 0*h = 5*x - m. Let o(u) = 12*u**3 - 2*u + 1. Is o(x) a composite number?
False
Let o = 6 - 4. Suppose o*r = 6 + 36. Is r composite?
True
Let c(f) = 44*f**2 + 4*f + 3. Is c(-1) prime?
True
Let i(z) = -13*z - 25. Is i(-16) prime?
False
Suppose 3*m = -5*p + 418, 5*m = p - 9 - 69. Is p prime?
True
Let g be ((-3)/(-9))/((-5)/(-5745)). Is g/5 - (-10)/25 composite?
True
Let m(v) = -v + 2. Let s be m(0). Let h(x) = s*x + 0*x**3 + x**2 - 1 + x**3 - 1. Is h(2) composite?
True
Let s(c) be the first derivative of -7/2*c**2 - 10*c - 1. Is s(-7) a prime number?
False
Let k(g) = 12*g**2 - 4*g + 3. Is k(2) prime?
True
Let j(r) = r**3 + 9*r**2 + 5*r - 7. Let c be j(-9). Let s = 146 + c. Is s a prime number?
False
Let u be 2/(-10) - 360/(-50). Suppose -5*c = -u*c + 76. Is c composite?
True
Suppose 3*p = 0, 0 = 2*m + 4*p - 10 - 16. Is m a prime number?
True
Let v = -10 + 34. Let s = v + 33. Is s a prime number?
False
Let b(o) = 5*o**3 - 19*o**2 + 3*o - 25. Let v(u) = -u**3 + 5*u**2 - u + 6. Let m(i) = 2*b(i) + 9*v(i). Is m(-7) composite?
True
Suppose 5*w = -2*s + 538, 0 = 5*s - 3*s + 2*w - 526. Is s a composite number?
True
Suppose 0 = -0*p + p - 15. Is (-6)/p - 957/(-5) a composite number?
False
Let a = 15 - 11. Suppose 5*s + 4*q - 139 = 0, -50 = -2*s + q - a*q. Is s prime?
True
Suppose 0*a = -4*a + 8. Suppose 4*k - a*k = 772. Let o = k - 223. Is o a prime number?
True
Suppose 4*d = 2*w + d, -3*w - 5*d = 19. Let o(h) = -h**3 + h - 1. Is o(w) a prime number?
True
Suppose -10 = -2*o + 4*o, -2*o - 1070 = -4*z. Is z prime?
False
Suppose -3*x + 5 = -7. Suppose -6 - 23 = x*w - p, 2*p - 10 = 0. Is 33 + -3*(-4)/w composite?
False
Let f(o) = 73*o + 7. Let y(x) = x**2 - 4*x - 2. Let l be y(5). Is f(l) composite?
True
Let v = 1 - -6. Let d(z) = -z**2 + 7*z. Let g be d(v). Suppose 49 + g = f. Is f a composite number?
True
Suppose 4*j = 2*i + 6, i - 2*j + 5*j - 2 = 0. Let d be 2 + 2 + -9 + i. Is (d/9)/((-2)/237) a composite number?
False
Suppose -148 = -0*m - m. Suppose -5*c + j = 659, -5*j + 111 + m = -2*c. Let a = c + 241. Is a a composite number?
False
Let s(h) = -h**3 - 10*h**2 + 10*h - 1. Let o be s(-11). Let t(k) = 2*k**2 + k + 1. Is t(o) a prime number?
True
Let h(s) = 968*s**3 - 2*s**2 + s. Is h(1) a prime number?
True
Suppose -2*j + 455 = 3*j. Is j a prime number?
False
Is 17*(-1)/2*-86 a composite number?
True
Suppose 6*k - 21 = k + 4*s, 3*k - 11 = 2*s. Let o(y) = 253*y. Is o(k) prime?
False
Is (2 + -4)/(8/(-13636)) prime?
False
Let j = 330 + 923. Is j prime?
False
Let g(z) = z + 16. Let j be g(-11). Suppose 2*v + 1 = j. Is 1/v + 861/14 composite?
True
Let y be (-15)/(-3) - 2 - 1. Suppose -58 = -y*i - 16. Is i prime?
False
Let m(q) = 119*q - 2. Let v be m(3). Let j = -132 + v. Is j composite?
False
Let f(k) = 8*k + 5 + 2 - 1. Is f(11) a prime number?
False
Let r be 5/((-15)/6) + -8. Is ((-635)/r)/((-1)/(-2)) prime?
True
Let g = 1855 + 88. Is g a prime number?
False
Is -10 - -10 - 1*-887 prime?
True
Let c(f) = -f**2 + f + 349. Let t be c(0). Let l = 584 - t. Is l composite?
True
Suppose 5*n = i - 23, -6 = -i + 4*n + 16. Suppose 2*f = i + 56. Is f composite?
False
Let p(z) = -z**3 - z**2 - z. Let y(o) = -3*o**3 - 9*o**2 - 11*o - 5. Let n(l) = -2*p(l) + y(l). Suppose -9 = b + 2*b, 4*w + 3*b = -33. Is n(w) prime?
True
Let x = 83 + 44. Is x composite?
False
Let t(a) = a**2 + 9*a + 13. Let h = 6 - 4. Suppose 0 = -0*v + h*v + 20. Is t(v) a prime number?
True
Let o(g) = 10*g**3 - 5*g**2 + 3*g - 2. Let w(k) = k**2 - k + 1. Let u(v) = -o(v) - 3*w(v). Is u(-1) composite?
False
Let c(n) be the third derivative of 0 - n**2 - 1/6*n**4 + 0*n + 1/6*n**3. Is c(-5) a composite number?
True
Suppose -2*p - 6 = -3*p. Suppose 4*f - 220 = 2*s - p*s, -3*f + s + 177 = 0. Is f prime?
False
Suppose -8*t + 6594 = 1178. Is t a prime number?
True
Suppose -713 = -3*s + 166. Is s a composite number?
False
Let r(p) = -10*p - 2. Let y be r(-5). Suppose 2 = -2*i + 6, 5*i = -2*d + y. Is d composite?
False
Suppose -w - 16 = -5*w. Suppose -w*t = -j + 11, j + t = 4*j - 33. Is j prime?
True
Is 2 + 534/3 - 1 composite?
False
Let z(i) be the third derivati