41*g + 14. Let j(t) = -t**3 - 17*t**2 + 14*t + 5. Let f(n) = 17*j(n) - 6*p(n). Is f(-9) a composite number?
True
Let o(v) = -v**3 - v**2 - v - 1. Let s be o(-2). Let d(a) = 26*a + 1. Is d(s) prime?
True
Let w = -1 - -3. Suppose -w*u + 158 = -0*u. Is u prime?
True
Let t = 3286 + 219. Is t composite?
True
Let h be -229*(1 - (4 + -1)). Suppose 4*k = 2*k - h. Let x = -102 - k. Is x prime?
True
Suppose 0 = v - 5*m - 0*m - 12, 0 = -3*v - 2*m + 2. Let l be -3 - (-6 + 2 + v). Is l + 3 + -1 + 96 a composite number?
False
Let w(l) = 179*l**3 - 358*l. Let u(z) = z. Let c(b) = 358*u(b) + w(b). Is c(1) a composite number?
False
Let h = -6 - -9. Suppose r + 3*q - 43 = 0, 3*q = h*r + 6*q - 117. Is r a composite number?
False
Let n = 2720 - 1807. Is n a composite number?
True
Let f = 309 - -184. Is f composite?
True
Let x(o) = o - 5. Let l be x(4). Let p be (-2 + (-18)/(-2))*l. Is (-15)/(-6)*(-1 - p) a prime number?
False
Let p(g) = 2*g**2 - 5*g - 1. Let x be p(5). Let s be (-1)/(-4) + (-150)/x. Is (-383)/(-3) - (-4)/s prime?
True
Let h(c) = 4*c - 3. Let k be h(-5). Let b = -63 - k. Is b/(-6) - (-2)/6 a composite number?
False
Let j(z) be the first derivative of 5*z**2 - z - 2. Is j(12) a prime number?
False
Is 4*(-2 - (-105)/6) composite?
True
Let f(t) be the second derivative of -t**4/24 - 3*t**2/2 - 4*t. Let x(i) be the first derivative of f(i). Is x(-3) prime?
True
Let s be (0 - -151) + 10/(-5). Suppose 186 = 5*u - s. Is u a composite number?
False
Let o(n) = 2*n**2 - 6*n - 5. Let k = 0 + 3. Suppose k*c + 3 = 18. Is o(c) composite?
True
Let y = -90 + 379. Is y composite?
True
Let q(m) = -m**3 + 4*m**2 - 2*m - 1. Let b(l) = l + 2. Let p be b(0). Let f be q(p). Let k = f - 0. Is k prime?
True
Let f be 1702/6 + 8/(-12). Let i = f - 113. Suppose -4*m - m = -i. Is m a prime number?
False
Suppose 0 = -7*v + 2*v + 20. Let l(y) be the third derivative of 5*y**4/4 + y**3/6 - 30*y**2. Is l(v) a prime number?
False
Let l(i) be the first derivative of -i**4/4 + 7*i**3/3 + i**2 - 3*i + 5. Let d(h) = h**3 - 4*h**2 - 4*h + 2. Let n be d(5). Is l(n) prime?
True
Let h = -234 + 364. Suppose 0 = -5*l + 1245 - h. Is l prime?
True
Let l = 5239 - 2378. Is l prime?
True
Suppose -5*o - 6 = 4*u - 3*o, 3 = 4*u - o. Suppose 0 = -x - u + 1, -5*a + 5*x + 390 = 0. Is a a prime number?
True
Let u = 4 + -2. Let z = u + 1. Suppose 0*f - f = z*a - 47, -5*a = f - 77. Is a a prime number?
False
Suppose -m - 4*i + 569 = 176, m - 363 = 2*i. Is m a prime number?
True
Let c(b) = -3*b + 60*b**2 - 1 + b + 22*b**2. Is c(-1) prime?
True
Let x be (-2)/((4 + -2)/(-12)). Suppose -x*i + 7*i + 70 = 0. Is i composite?
True
Let a = 56 + -37. Let j = 68 + a. Is j a prime number?
False
Suppose 3*m + 3378 = 3*s - 0*s, 2*m + 10 = 0. Is s a composite number?
True
Let i = -5 - -9. Let a(j) = -i + 6 - 12*j + j**3 + 8*j**2 - 3 + 0. Is a(-9) prime?
False
Let w(x) = -51*x - 1. Let n be w(2). Let j be 1/2 - n/2. Let h = -31 + j. Is h a composite number?
True
Suppose 0 = 2*n - 0*n. Suppose 0 = 5*u - n*u - 1055. Is u a composite number?
False
Let p = -123 + 178. Is p composite?
True
Let o be 26/12 + 1/(-6). Is (o/(-2))/((-2)/802) prime?
True
Suppose 2*i - 18 = -5*n, 3*i + 1 = -3*n + 28. Is 89/(-3)*(-27)/i prime?
True
Let u be ((-20)/(-8))/(1/66). Suppose -4*d = 3*o - u, -5*o + 0*o + 275 = 3*d. Is o a composite number?
True
Suppose 0 = -31*l + 36*l - 2245. Is l a composite number?
False
Suppose 3279 = 5*n - 2*n - 3*c, -4*c = 2*n - 2210. Is n prime?
True
Let y = -8227 + 11720. Is y composite?
True
Let o = 11 + -9. Let j(f) = -1 - 4*f - 2*f**o + 3*f + 11*f**2. Is j(3) composite?
True
Suppose -2*u = 5*u - 10759. Is u a prime number?
False
Let b(u) be the second derivative of -4*u**3/3 + u**2 + 2*u. Let z(a) = a**2 - 8*a + 3. Let w be z(7). Is b(w) composite?
True
Let q(t) = 8*t**2 - 3*t - 7. Is q(5) a composite number?
True
Let p = -493 - -315. Let t = -29 - p. Is t prime?
True
Let m(y) = -y**2 + 3. Let v be m(-3). Let b = -2 - v. Suppose z - 10 = 3*q - 4*q, -19 = -b*z + 3*q. Is z a prime number?
True
Suppose c = d + 1482, 3*c + 0*d - 4411 = -4*d. Is c composite?
True
Let f(w) = -38*w - 3. Let g = 0 - 10. Is f(g) composite?
True
Let q = -208 - -399. Is q a prime number?
True
Suppose 0 = -3*b + 132 + 303. Suppose 5*z - b = 600. Is z composite?
False
Suppose -3*z + 34 = 5*l, 0 = 4*z - 9*z - l + 42. Suppose -3*x = u - 35, -3*x - 3*u + z*u + 23 = 0. Is x composite?
False
Let g(p) = 18*p**2 - 6*p - 7. Is g(-4) prime?
False
Suppose -4*d = d - 20. Let f = 9 - d. Suppose -f*j + 10 = -10. Is j prime?
False
Let y(a) = -a**3 - 4*a**2 + 2*a + 7. Let v be y(-5). Let d = 1 + -8. Let h = v + d. Is h composite?
True
Let j be 0/(2/((-6)/(-3))). Suppose 425 = 5*l - j*l. Is l prime?
False
Is 3 + -6 - (-174)/3 composite?
True
Suppose 7 = 2*x + 1. Suppose 5*n - x*z - 47 = 0, -4*n = 4*z - 14 + 2. Suppose 2*q = n*q - 165. Is q a composite number?
True
Suppose -3*a - 16 = a, 5*w + 4*a - 639 = 0. Is w composite?
False
Suppose 0 = -2*b - 0*b + 1042. Is b prime?
True
Let r = -165 + 298. Is r composite?
True
Suppose -6*k + 52 = -2*k. Let t be (-2)/(-6) + 9/(-27). Let f = t + k. Is f a prime number?
True
Suppose -5*g - g + 3246 = 0. Is g a composite number?
False
Let k(d) = 7*d**2 + 7*d - 7. Suppose -3*o - 2*b = 24, 3 = -2*o + o + b. Is k(o) a composite number?
True
Suppose -486 - 573 = -5*j + u, -5*j + 1071 = -4*u. Is j a prime number?
True
Suppose -446 = -2*y + 398. Is y a composite number?
True
Suppose 0 = -4*o + 4*q + 8, -3*o + 5*q = -4 + 6. Suppose -63 = -j + 5*f, o*f + 312 = 4*j + f. Is j a composite number?
False
Let c = 283 - -999. Is c a prime number?
False
Is (-4858)/(-26) + 12/78 a composite number?
True
Suppose -5*a + 5*j + 3155 = 0, 0*a = 2*a - j - 1258. Suppose -a + 2997 = 6*t. Is t prime?
False
Let u(d) = 3 - 26*d + 0 + 18*d. Is u(-7) composite?
False
Suppose 3*w = 9, 312 = 4*j - 3*w - 855. Let u = j - 167. Is u a prime number?
True
Suppose -4*u = -1333 + 133. Let a = -187 + u. Is a prime?
True
Let h be -1 - (-2)/1*-1. Suppose 16 - 4 = 2*t. Let x = t + h. Is x a composite number?
False
Let a = 1032 + -315. Is a composite?
True
Let f be 834/12*(1 + -15). Let w = f - -1418. Is w a prime number?
False
Let s(v) = v**2 + 1. Let w = 4 - -20. Suppose k = -3*z + 21, -5*k + 1 = -z - w. Is s(k) a composite number?
False
Let m(g) = -56*g**3 + 4*g - 1. Is m(-2) prime?
True
Let j = -25 - -16. Is 80 - 3/j*-3 a prime number?
True
Let h = 3 + -3. Let t(f) = h - 52*f - 3 - 3 + 3. Is t(-5) a composite number?
False
Let l(u) = 5*u**2 + 0*u + 1 - 5*u - 4*u. Suppose 3*a - 2*a - 6 = 0. Is l(a) prime?
True
Let g be 2/6 - 608/6. Let r = g - -53. Let p = 87 + r. Is p composite?
True
Suppose 3*u - 3 = 0, 4*f + 2*u = -3*u + 21. Suppose -f*h + 53 = 3*t, 2*h + 37 + 17 = 2*t. Is t a prime number?
True
Let s be 5/(-25) - (-102)/10. Is 4/s + 383/5 a composite number?
True
Suppose 4*y - l = 1591, 5*y + 3*l - 1984 = -8. Suppose -2*q + 2*j = -382, -2*q = -0*q + 3*j - y. Is q a composite number?
True
Let y(n) = n**2 - n. Let f be y(1). Suppose -3*g - 2 = -14. Suppose 5*k - s - 171 = f, s - 148 = -g*k - s. Is k a composite number?
True
Let k be -1*(2 - 4 - -6). Let r(d) = 4*d**2 + 5*d - 5. Let o(m) = -m + 1. Let g(y) = 2*o(y) + r(y). Is g(k) a composite number?
True
Let h(m) be the first derivative of m**3/3 - m**2/2 + 3*m + 2. Let w(c) = c**3 + 2*c**2 - 2*c - 4. Let r be w(-3). Is h(r) composite?
False
Let l = 654 + -235. Is l a composite number?
False
Let g = 100 + -49. Let k be g/15 - (-2)/(-5). Suppose k*m - 5*m = -74. Is m prime?
True
Suppose 4*u - 3*u - 158 = -t, 4*u + t - 635 = 0. Suppose -485 + u = -2*l. Is l composite?
False
Let j = 19 + -12. Let w(b) = 11*b - 15. Is w(j) prime?
False
Let y be ((-1)/1)/(-1 - -2). Let m = 5 + y. Is -4*(1 + (-17)/m) composite?
False
Suppose -2*c + 636 + 506 = 0. Is c a prime number?
True
Suppose 3*f - 2*f = 0. Let b(m) = -m**3 - 4*m**2 + 4*m. Let o be b(-5). Suppose 4*p + 83 = i + 4*i, 4*i + o*p - 50 = f. Is i a composite number?
True
Let d = 127 - 127. Let u(j) = 194 + 4*j - 5*j - j**2 - 3 + j**3. Is u(d) composite?
False
Let n be (-5)/(-20) + 479/4. Is -3*(2 - n/9) composite?
True
Suppose 5*d - 414 = 331. Is d prime?
True
Suppose 0 = -2*j + 4*b + 248, 3*b - b - 278 = -2*j. Suppose f - 5*k = 20, 4*f = 4*k - 2*k + j. Let a = -