02)/14 composite?
False
Let n be 2 - (1 + -1)/2. Suppose -s = i - 115, -n*s + 4*i + 71 = -183. Is s prime?
False
Suppose -5*f = -1035 - 1190. Let o = f - 38. Is o composite?
True
Suppose -30 = z - 6*z. Suppose z*d - 110 = d. Is d prime?
False
Suppose 126 = -t - 18. Suppose -1248 = -7*s + 299. Let j = s + t. Is j a composite number?
True
Let m(i) = -i**3 + 3*i. Let a be m(-4). Suppose 0 = -u + 4 + a. Suppose -5*x = 1 - u. Is x a prime number?
True
Let f = -4296 - -8263. Is f composite?
False
Let s(i) = 2*i**2 - 8*i + 9. Is s(7) composite?
True
Let r = 8 - 6. Suppose -3*j + 610 = r*j. Is j prime?
False
Suppose -5*z + 0*z = 20. Let q be z/6*-3 - -4. Is (1 + (-26)/q)*-3 composite?
True
Let a(t) be the second derivative of t**5/60 + t**4/8 + 11*t**3/6 - t**2 + 3*t. Let q(i) be the first derivative of a(i). Is q(-8) a prime number?
False
Let h(k) = k**2 - 1 + 3*k + 4 + 2 + 0*k**2. Is h(-9) composite?
False
Let h(a) = 27*a - 4. Is h(11) prime?
True
Suppose -l + 4*n + 677 = 0, -4*n = 4*l + n - 2708. Is l a prime number?
True
Suppose 12*q = 9*q + 30. Is (-5)/(q/4) + 129 composite?
False
Let q(l) = 15*l**3 - 2*l**2 + 2*l - 4. Let z be q(4). Suppose 2*m = -2*m + z. Is m composite?
False
Suppose 4*k = -f + 6*f + 6, 4*k + 3*f = 22. Suppose k*j - 782 = 3*j - 5*z, 1597 = 2*j - z. Is j prime?
True
Let n be (-4)/6*(-135)/10. Suppose n*o - 5*o = 3164. Is o prime?
False
Let z be 51/9 - 2/3. Suppose -3*v + 14 = -m + 43, -z*m - 9 = -v. Let p = v + 21. Is p a composite number?
True
Let r be 4/(-6)*(-2 + -4). Let m(i) = 3*i - 1. Is m(r) a prime number?
True
Suppose 4*k - 41 = 43. Is k prime?
False
Let h = -167 + 43. Let n = h + 191. Is n a composite number?
False
Suppose 0*q + 1005 = 3*q. Is q a prime number?
False
Let d(g) = -g**3 - 9*g**2 - 9*g - 12. Let x be d(-8). Let r = x - -4. Let u = r - -19. Is u prime?
True
Let h(j) = -j**3 - 12*j**2 - j - 7. Let y be h(-12). Suppose 906 = y*g + 341. Is g prime?
True
Let s = 19 + -20. Let d(t) = -182*t**3 + t. Is d(s) a composite number?
False
Let s = -185 - -480. Is s a prime number?
False
Is ((-14)/8)/((-5532)/(-2768) - 2) composite?
True
Let c = -783 + 1960. Is c prime?
False
Suppose -2*z = -8 + 88. Let j(b) = -b**3 + 10*b**2 + 7*b - 5. Let f be j(10). Let i = f + z. Is i composite?
True
Let j be 1*(14 + 0 + 0). Let d = 34 - j. Suppose r + 4*r - d = 0. Is r prime?
False
Let j be 2 - (2*-1 - 0). Suppose 159 = j*d + 19. Let o = d - 10. Is o a composite number?
True
Let v = 1073 - 766. Suppose -1503 = -2*w - v. Is w/4 - (-2)/(-4) a composite number?
False
Let c = 6 - 6. Suppose c = 4*u - u + 3. Is (-12 + u)*(-2 + -11) prime?
False
Suppose -6*k + 492 = 174. Is k a composite number?
False
Suppose 3*n - 1 = 17. Suppose -n*a = -2*a - 420. Let j = -62 + a. Is j composite?
False
Let g(z) = z**2 + 2*z. Let r be g(-2). Suppose 4*s - 70 = -u + 73, -3*u + 3*s + 369 = r. Is u a composite number?
False
Suppose 685 = 3*z + 5*m, -4*z + z + 713 = -2*m. Is z a prime number?
False
Let w = 75 - -466. Is w a composite number?
False
Let j(a) be the second derivative of 0 + 3/2*a**2 - 13/6*a**3 - a. Is j(-4) a prime number?
False
Let p(z) = 21*z**2 + 3*z - 1. Let h be p(4). Let f be h/(-2*(-3)/(-6)). Let b = -220 - f. Is b prime?
True
Suppose 5*q + 4*i - 1274 = 287, 3*q = -3*i + 939. Suppose q = 3*k - 0*k. Is k a composite number?
False
Suppose 3*k = 4*k - 295. Is k composite?
True
Suppose -2*x = 2*b - 3948, 5*x + 1969 = b + x. Is b a composite number?
False
Let p = 10 - -4. Let r = p + -8. Is r prime?
False
Suppose 4*x + 20 = 0, -3*r + x = -7*r + 3. Let a be (-6)/3 + 4/r. Suppose 0 = -2*f - 3*t + 8, -31 = -a*f - 3*f + 5*t. Is f prime?
True
Suppose 2*w = -w - 4*l + 353, 2*w - 4*l = 242. Suppose -4*b + 41 - 149 = -4*j, b + w = 5*j. Is j prime?
True
Is (-1371)/(-12) + (-15)/(-20) composite?
True
Let z(j) = j**3 - j**2 - j + 2. Let m be z(0). Let i = m + 3. Suppose 32 = -i*x + 357. Is x a composite number?
True
Let o be (-110)/(-20) - 1/2. Suppose 2*a + 4 - 7 = o*h, h - 5 = 0. Is a composite?
True
Suppose 508 = 3*m + m. Is m composite?
False
Suppose j + 3*s + 31 = 0, -2*j - 15 - 39 = 4*s. Is j/((-1 - 1)/2) prime?
True
Let n(m) = -144*m - 1. Is n(-1) a prime number?
False
Suppose c + 3*c - 1 = -3*k, -4*c + 7 = -3*k. Let h = -9 - c. Is 0/(3/(-1)) - h prime?
False
Let l(o) = -4*o - 5. Let m be l(-2). Suppose 2*z = -5*r - 3*z + 140, 0 = r + m*z - 34. Is r composite?
True
Let c = 5 - 4. Suppose -c = 2*r - 195. Is r a prime number?
True
Let m(x) = x**2 - 4*x - 2. Let y be m(3). Let c(b) = -14*b - 7. Let o be c(y). Suppose 2*q + 3*z - 20 = 0, -3*z - o = -5*q - 4*z. Is q a prime number?
True
Is 8/16 + (-5)/((-30)/567) composite?
True
Let m(r) = r**3 - 4*r**2 - r - 1. Let f be m(4). Let z be 2/f - 110/(-25). Suppose 0 = -z*u + 196 - 48. Is u prime?
True
Let p(u) = 2*u + 35. Is p(0) composite?
True
Let j = -105 + 56. Let q = 35 + j. Let n = 53 + q. Is n prime?
False
Let u(c) be the first derivative of c**4/4 + 3*c**3 - 5*c**2 + 13*c - 5. Is u(-10) a composite number?
False
Let o = 5 + -1. Is o/(-4) + 24/1 composite?
False
Let x(c) be the second derivative of -c**4/12 + 4*c**3/3 - 9*c**2/2 + 2*c. Let f be x(6). Let t(i) = 2*i**3 - 5*i**2 + i + 2. Is t(f) a prime number?
False
Suppose 5 + 1 = 2*v. Let p(h) = h**2 + 3*h + 2. Let g be p(-3). Suppose -u - 33 = -5*t, g*t = -v*u + 4*u + 12. Is t a composite number?
False
Suppose -4*i + 6 = -2. Suppose 0 = -i*c + 10, -h + 3*c + c = -33. Is h prime?
True
Let t = 6 + -9. Let p(n) = -n**3 - 2*n + 4. Is p(t) a prime number?
True
Suppose 3*s - 296 - 262 = 0. Let y = 12 - 8. Suppose -4*i = g - s, -243 = -y*i - i + 4*g. Is i a prime number?
True
Let r be 4/(-8)*0/(-1). Suppose -12 = 3*g + 4*k, 0*g + 9 = 5*g - 3*k. Suppose 4*q - 2*z - 82 = g, r = q + q - 2*z - 38. Is q a composite number?
True
Suppose 1650 + 2278 = 4*b. Is b a composite number?
True
Let g(t) = 2*t - 4. Let q be g(3). Suppose -q*n = 3*n - 275. Is n composite?
True
Suppose -2*l = -3*l - 2*g, -l + 3*g + 5 = 0. Suppose -8*h + 3*h = -5*p + 740, -4*p = -l*h - 298. Is (-1)/(-4) - h/4 a prime number?
True
Let d be (1*(-2)/(-1))/(-1). Let j be d/4*-22 + -2. Suppose -j*v + 138 = -7*v. Is v composite?
True
Let l(z) = -6*z**3 - 3 - 4*z + 7*z**3 + z + 5*z**2. Is l(-4) a composite number?
True
Let k(f) be the first derivative of f**5/60 + 3*f**4/8 - 13*f**3/6 + 3*f**2/2 - 1. Let a(i) be the second derivative of k(i). Is a(9) a composite number?
False
Let d = 16 - 6. Suppose 6*u = u + d. Suppose -u*r + 312 = 58. Is r composite?
False
Suppose 3*h = 3*b + 6, h = -2*h - 2*b - 14. Let l be (2 + h + 1)*4. Suppose -2*s = -l*s + 230. Is s a prime number?
False
Let w(m) = -2*m - 6. Let n be w(-4). Let f be 2/2 + 2/n. Suppose -3*y + 245 = f*y. Is y prime?
False
Let b(r) = -81*r - 8. Is b(-5) a prime number?
True
Let n(c) be the second derivative of c**5/12 - c**3/6 - c**2/2 - c. Let f(p) be the first derivative of n(p). Is f(-2) a composite number?
False
Let a = 6768 - 3837. Is a prime?
False
Let m(a) = a**2 - 2*a - 3. Let x be m(3). Suppose x = -3*n + 2*n + 363. Suppose y = 3*k - 363, -4*y = -2*k - k + n. Is k composite?
True
Let y(i) = i**3 - 12*i**2 + i - 8. Let o be y(12). Let f = 44 - 24. Suppose -432 = -o*q + f. Is q prime?
True
Let r(u) = u**3 + 2*u**2 - 3*u + 1. Let p be r(-3). Let q be (p + 0)/((-6)/(-318)). Let o = q - -30. Is o composite?
False
Let q(j) = j**2 + 7*j + 9. Let c be q(-6). Suppose 0 = c*w - s - s - 107, 0 = w + s - 39. Is w composite?
False
Let c(v) = 53*v**2 - v - 1. Is c(-1) prime?
True
Suppose -914 + 54 = -2*w. Suppose w + 30 = 4*s. Is s composite?
True
Let z(j) = -93*j + 1. Let n be z(1). Let m = 15 - n. Suppose -m = -4*y + 249. Is y a composite number?
False
Suppose 5*q + 690 = 10*q. Let t(k) = -6*k + 1. Let y be t(1). Let s = q + y. Is s composite?
True
Suppose 7*h - 4*h + 1260 = 3*u, 0 = 2*u - h - 839. Is u composite?
False
Suppose w + 2*h - 67 = 0, 3*h + 117 = 5*w - 205. Is w a composite number?
True
Suppose -11*q + 14*q = 777. Is q a composite number?
True
Suppose 4*q + 4*n - 16 = 0, -1 = -2*n - 11. Let p be q/(-12) - 6/(-8). Is 2 - (-18 - p)*4 a prime number?
False
Let v(y) = -y - 8. Let j be v(-10). Suppose -j*s - s + 327 = 0. Suppose 0 = a + q - 50, 0*q + s = 2*a + 5*q. Is a prime?
True
Suppose 4*w = 3*o + 284, 3*w - 4*o + 0*o - 220 = 0.