d(n) be the first derivative of 7*n**3/3 - n**2/2 + 3*n - 2. Is d(-4) a prime number?
False
Let v(a) = a**3 + 18*a**2 - 7*a - 1. Let o(r) = -r**3 - 5*r**2 - 3*r. Let u be o(-3). Is v(u) a composite number?
True
Let k(p) = -151*p - 4. Is k(-5) a prime number?
True
Let g = -9 - -4. Let y(z) = 3*z + 7. Let s(d) = d. Let i(t) = -6*s(t) - y(t). Is i(g) composite?
True
Let s be (0 - -533) + (2 - 3). Suppose 3*x = -3*u + 399, u + s = 4*x + 6*u. Is x a composite number?
True
Let w(n) = 4*n**2 - 30*n - 36. Let t(o) = -o**2 + 10*o + 12. Let m(d) = 7*t(d) + 2*w(d). Let v be m(-10). Suppose 4*h - h = v. Is h a prime number?
False
Let r(h) = 8*h + 1. Let t be r(-1). Let y = t + 46. Is y a composite number?
True
Let t(q) = 3*q - 1. Let h be t(1). Suppose 2*c - 80 = -2*i, h*i + 3*i = 4*c + 155. Is i a composite number?
True
Suppose 4*q - 1648 = -4*d, -1827 = -5*d + q + 251. Suppose -d = -5*o + z, o - 5*z - 41 = 42. Is o a prime number?
True
Let g be 2 - (6/(-3) + 38). Let f = g - -55. Is f prime?
False
Suppose a = -a + 5*j + 28, 5*a - 70 = -j. Is a a prime number?
False
Suppose 0*w - w = -4*f + 14, 3*w - 9 = -5*f. Is 21*7*w/(-6) composite?
True
Suppose -15999 = -5*n + 2*p, -2*n - n = p - 9595. Is n a composite number?
True
Let n(p) = -63*p**3 - p**2 - 10*p - 7. Is n(-4) a prime number?
True
Let c = -470 + 110. Suppose -g + 10 = 4*f, 0*g + g = -2*f + 6. Is (g/6)/((-8)/c) composite?
True
Suppose 8*p = 5*p + 6. Let d(c) = c**2 + 2*c - 1. Is d(p) a composite number?
False
Let w = -2450 - -4629. Is w a composite number?
False
Suppose 459 = z - 104. Is z composite?
False
Let f = 10 - 50. Let h = -21 - f. Is h prime?
True
Suppose z = -z + 450. Let h = z - 148. Is h composite?
True
Let g = -6 + 8. Suppose g*l + 0*l = 102. Is l composite?
True
Let q(v) = -v**2 - 5*v + 7. Let r be q(-6). Let s(j) = 2*j**2 + j - 1. Let u be s(r). Suppose 3*k - 5*t - 125 = 0, u*k = k - 2*t + 27. Is k composite?
True
Let v(q) = -q**3 + 7*q**2 + 5*q - 3. Let w be v(7). Let g = 249 - w. Is g a composite number?
True
Let j(s) = s + 3. Let b be j(6). Is (0 - b)/3 - -58 composite?
True
Let t = -76 - -36. Let a = -21 - t. Is a composite?
False
Let u(t) = -t - 10. Let b be u(-6). Let j be 5 + b + -1 + 7. Let y = 42 - j. Is y prime?
False
Let z = -7 + 11. Let d = z - -21. Is d a composite number?
True
Suppose -2*n = -5 - 3, 0 = -5*j - 4*n + 16. Let o(c) = c**2 + 23. Let b be o(j). Suppose 0 = 2*g - 7 - b. Is g a prime number?
False
Let w = 89 - -162. Is w a composite number?
False
Suppose -9 = -2*p + f + 2*f, 5*p - 35 = -5*f. Suppose p*m - 2*m - 8 = 0. Suppose -x + 9 = m. Is x composite?
False
Let b(y) be the second derivative of y**3/6 - 2*y**2 - y. Let g be b(9). Suppose g*o - 15 = 15. Is o a prime number?
False
Let s(j) be the second derivative of j**4/6 + j**3/6 + 2*j**2 - 4*j. Suppose 1 = -o + 4. Is s(o) prime?
False
Let c(h) = -37*h - 8. Let l be (-9)/6*(-12)/(-9). Let m(a) = 12*a + 3. Let q(t) = l*c(t) - 7*m(t). Is q(-6) a prime number?
False
Let m be (3/(-2))/(1/(-2)). Suppose -r + 212 = m*r. Is r a prime number?
True
Let x be 1 - (2/(-2) + 0). Suppose -3*g = 15, 139 = 6*d - x*d + 5*g. Suppose -4*m + 405 = d. Is m a prime number?
False
Let s(c) = -3*c**2 + 7*c. Let d(b) = b**2 + 1. Let g(h) = 2*d(h) + s(h). Let a be g(7). Suppose 2*l - a - 36 = 0. Is l a composite number?
False
Let n(m) = -m + 1. Let w be n(7). Let o = -13 + w. Let a = o - -34. Is a prime?
False
Suppose 4*f = -0*x - 4*x, 2*f = -4*x + 6. Suppose -2*u - 212 = -x*i + 180, -15 = -3*u. Is i composite?
True
Let w(l) = 93*l**3 + l**2 + 6*l + 15. Is w(4) a prime number?
True
Suppose 0 = t - 6*t + 4505. Is t a prime number?
False
Let d = 1126 + -581. Let l = d + -118. Is l a composite number?
True
Let n(q) = 3*q**2 + 2 + 0*q - 4*q + 3 - q. Is n(-9) prime?
True
Suppose 0 = -2*q + q. Suppose q = -4*h + 38 + 158. Is h prime?
False
Suppose -5*c = -c - 5*s - 640, -8 = -2*s. Suppose 0 = 4*v - v - c. Let m = 80 - v. Is m prime?
False
Let c(p) = 9*p**2 - 9*p + 222. Let o(m) = -5*m**2 + 5*m - 111. Let y(h) = 4*c(h) + 7*o(h). Let s be y(0). Suppose -2*l = -5*l + s. Is l composite?
False
Let w(x) = x**2 - x + 38. Let q be w(0). Let z = q + -23. Is z a composite number?
True
Suppose -5*x + 3*i + 3 = i, 4*x - 12 = 4*i. Is (-22)/(-8) + x/(-4) prime?
True
Suppose -3*z = z - 3188. Is z composite?
False
Suppose 2 = -2*k - 3*h - 3, 0 = 5*k + 2*h - 15. Let m(f) = -19*f + 0*f - f - k + 12. Is m(-6) prime?
True
Is 12/6 + 1*121 composite?
True
Is (4/(4/3))/((-24)/(-6376)) a composite number?
False
Let w be 1 + 3 + (1 - 1). Suppose -2*p = -p - w. Suppose 2*a = p*a - 74. Is a a composite number?
False
Let b(o) be the second derivative of -o**4/6 + 7*o**3/6 + 3*o**2 + 3*o. Let c(r) = -7*r**2 + 20*r + 17. Let y(m) = 8*b(m) - 3*c(m). Is y(-2) composite?
True
Suppose -5*m - 8531 = -8*m + 2*l, -2*l = -4. Is m composite?
True
Let x(r) be the second derivative of r**5/10 - r**4/8 + 2*r**3/3 - 3*r**2/2 - 3*r. Let z(q) be the first derivative of x(q). Is z(3) a prime number?
False
Is (-950)/(-18) + 2/9 a prime number?
True
Is -1834*((-4)/2 + 12/8) a composite number?
True
Let r(s) = s**3 - 5*s**2 + 6*s - 6. Let k be r(4). Suppose 4*m - k*g = 2*g - 4, 0 = -2*g + 8. Is m prime?
True
Is 644/12 + 12/9 + -2 a composite number?
False
Suppose 3*w = 4*b + 3957, -w + 1450 - 131 = -4*b. Is w a composite number?
False
Let c = 2 + -5. Let w = c + 1. Is -2*(-1 - (-47)/w) composite?
True
Suppose -5*m + 2 = -3. Let y be (-17)/(-4) - m/4. Suppose 7 = 4*d - a, y*d + 4*a - 10 = d. Is d a composite number?
False
Let z(l) = 4*l**2 - 9. Is z(7) a prime number?
False
Suppose -3*t + 8*t = s + 111, 2*s = -2*t + 54. Suppose -n - t + 3 = -5*u, n + 2 = -u. Let x(i) = 9*i - 2. Is x(u) composite?
True
Let m be (-18)/(-15)*5/1. Let q = m - 8. Is q/(1 + 1) + 68 prime?
True
Let w be (-14)/(-1 + 6/10). Let x = 54 + w. Is x composite?
False
Let s be (-2)/1 - (-7 + 2). Suppose 5*p = s*b + b - 156, 4*p = -3*b + 86. Is b - (3 + -2 - 2) a prime number?
False
Let q(d) = -44*d**3 + d**2 - d. Let c be q(1). Let x = 93 + c. Is x a prime number?
False
Suppose 334 = 5*n - 246. Suppose -n = -2*j - 42. Is j composite?
False
Suppose 9 = 130*j - 129*j. Is j a prime number?
False
Let h(x) = -33*x + 1. Let w(j) = 32*j - 1. Let v(d) = 4*h(d) + 3*w(d). Let t be (0 - -2) + 3/(-1). Is v(t) composite?
False
Suppose p = x - 5, 13 = 5*x - 0*p + p. Suppose 0 = -g + 4*g - 2*r - 65, -2*g = 3*r - 26. Suppose t + 0*t - 5*y - g = 0, -2*y = -x*t + 96. Is t prime?
False
Let m = 2 - -5. Let w(h) = -h**3 + 8*h**2 - h - 9. Is w(m) a composite number?
True
Let w(v) = v**3 - 3*v**2 - 3*v - 4. Let j be w(4). Is 1 + (j - 0 - -144) a composite number?
True
Suppose -2*q + 81 = s, -2*s = -2*q - 2*q + 150. Let n = 25 + -25. Suppose f + 2*t - 13 = n, -f + 4*f + 5*t = q. Is f a prime number?
True
Suppose 371 = y + 52. Is y a prime number?
False
Suppose 0 = -3*y + 30 + 747. Is y a prime number?
False
Let b(i) = 33*i**2 - i. Let t be b(1). Let n = 12 + t. Is 1548/n + (-6)/33 a prime number?
False
Suppose -2*u = -3*k + 3*u + 898, k + u = 310. Suppose -3*y + k = -3*w, y - w - 107 = w. Is y a prime number?
True
Let x(n) = -n**2 + 7*n - 3. Let o be x(7). Is 68*(o + (-15)/(-4)) a composite number?
True
Let i(r) = 11*r + 50. Is i(9) composite?
False
Suppose -3*j + 7*j = -8. Let t(x) = -2*x - 2. Let a be t(j). Suppose 815 = -a*f + 7*f. Is f a prime number?
True
Suppose 220 = 2*q - 162. Is q composite?
False
Let n(s) = 2*s. Let x be n(1). Let p(c) = 2*c - 2. Let l be p(5). Suppose a - l = x. Is a composite?
True
Is (-6)/10*(3 - -2) + 74 a composite number?
False
Is ((-1)/(-3))/(((-2)/(-1))/2118) prime?
True
Let u(j) = 26*j**2 + 6*j - 5. Let l be u(3). Suppose l = y - 394. Is y prime?
True
Suppose -395 = -3*q + 5*o + 218, o - 1003 = -5*q. Suppose n - 4*n + q = 0. Is n a prime number?
True
Let u(k) = k + 8. Let a be u(-6). Suppose -5 = -l - 5*j - a, 3*l = 5*j + 9. Suppose 0 = -3*d + r + 36, -r = -d - l*r + 19. Is d composite?
False
Suppose 0 = 4*y - 3*f - 2216, 3*f - 4*f = 2*y - 1118. Is y a composite number?
False
Let v be 3*(-3 - 154/6). Let x = 7 - v. Is x a prime number?
False
Suppose 1034 = -2*w - 5*v, -2*w + 214 - 1248 = 2*v. Let l = 114 - w. Is l prime?
True
Suppose 3*p - 8 = l, -2*l - 3*l - 30 = -5*p. Is p*2 + (328 - 11) a prime number?
