= a**3 + 14*a**2 + 7*a - 8. Let u(y) = y**3 + 15*y**2 + 7*y - 8. Let r(v) = 4*s(v) - 3*u(v). Is r(-7) a prime number?
True
Let z be ((-4)/(-5))/(2/610). Let b = z + -172. Suppose -5*d + b + 53 = 0. Is d a prime number?
False
Let w(h) = -2*h**3 + 7*h**2 + h + 1. Suppose -r = 5 + 1. Is w(r) a composite number?
True
Suppose 4*f = 19 + 1. Suppose -4 = 3*i + f. Is ((-2)/6 - 2)*i composite?
False
Suppose 0 = -s + 2*b + 6769, -3*s - 2*b + 10798 + 9549 = 0. Is s prime?
True
Let a = -1 + 3. Is (-59 + a - 2)*-1 a prime number?
True
Let c be -2 - -4 - (-9 - -329). Let z = c - -479. Is z composite?
True
Suppose -1066 - 889 = -5*k. Is k composite?
True
Suppose -5*n + 2*n = -6. Suppose -b + 57 = 5*w, 2*w + 2*b = -n*w + 48. Is w a composite number?
False
Let n be 2/(-8) + (-4248)/32. Let c = n + 215. Is c a prime number?
False
Suppose o = -2*x - 4, 2*x - 2 = 2*o - 6*o. Suppose 0 = o*q - 0*q - 2*l - 38, 0 = -2*l - 8. Is q prime?
False
Let g = 8 + -2. Is (-2)/g + (-500)/(-15) a composite number?
True
Suppose -5*n + 38 = 2*u, -3*u + 2 = -n - u. Is -2 + (-8)/n*-12 a composite number?
True
Is (-1 - -44*7)/1 prime?
True
Suppose -2*c = 5*g - 15, -2*c - 4*g = -6*c - 12. Suppose c = -3*a - a + 8. Suppose 1 = -a*h + 23. Is h prime?
True
Let m = -25 - -11. Let x = -10 - m. Suppose -f + 2*i + 232 = f, 5*i = x*f - 459. Is f composite?
True
Is 2/(-16) + 9380/32 composite?
False
Let f = 331 + -8. Is f prime?
False
Let g(s) = -3*s**3 - 5*s**2 + 11*s - 5. Is g(-6) prime?
True
Suppose 0 = -2*d - 3*d. Let x be (322/(-6))/((-2)/6). Suppose 4*u = 16, 3*l + 3*u - x - 328 = d. Is l a prime number?
False
Suppose 7*p - 816 = 3*p. Suppose 536 = 4*f - p. Is f composite?
True
Suppose 3*r = -r + 68. Let n = r - -66. Is n a prime number?
True
Let c(u) = u + 6. Let z be c(-3). Let x be (z/(-6))/((-4)/80). Suppose -x = -2*h + 12. Is h composite?
False
Let q = -4 - -4. Suppose q = -3*f - 2*f + 75. Let r = -8 + f. Is r prime?
True
Let r(y) = -126*y + 7. Is r(-2) a prime number?
False
Let t(s) = -s + 5. Let i(l) = -l + 6. Let x(h) = -5*i(h) + 4*t(h). Let r be x(10). Suppose r = 3*j + z - 35, -5*j + 63 = 3*z + z. Is j composite?
False
Suppose -4*c + 8 = -8. Is 54/c - 2/4 a prime number?
True
Let x = 60 + -11. Is (1 - 4) + x + -3 composite?
False
Let y = 366 + -201. Suppose 4*g = -3*m + y, -2*g = 5*m + g - 264. Is m composite?
True
Let r(l) be the third derivative of -13*l**4/8 + l**3/3 - 3*l**2. Is r(-3) a composite number?
True
Suppose -w + 690 = q, -q = -3*w - 6*q + 2080. Is w composite?
True
Suppose 18*b - 22*b + 844 = 0. Is b a prime number?
True
Let o(r) = -r**3 - 4*r**2 - 3*r + 3. Let c be o(-3). Let v = c + 2. Suppose u - v*u = -316. Is u prime?
True
Let o(f) = f**3 - 12*f**2 + 5*f + 4. Let a be o(6). Let s = a - -272. Suppose 2*w - 3*i + 10 = 3*w, -s = -3*w + 3*i. Is w a prime number?
False
Let l = 6 - 3. Let v be 44/(-18)*-3*l. Suppose 2*j = -5*f - 4 + 59, 2*f - 4*j = v. Is f prime?
True
Let a(k) = k + 3*k + 0*k - 2*k**2 + 7*k**2 + 2. Is a(-3) composite?
True
Let w(j) = 944*j**2 + 4*j - 5. Is w(2) a prime number?
True
Is ((-12)/(-6) + -5)/(2/(-4)) a prime number?
False
Let f be 3/(-4) - 4/16. Is 1 + 198/(-3)*f composite?
False
Let a = 357 + -186. Suppose 2*q + l - 5*l - 28 = 0, 0 = -3*q + l + 17. Suppose -5*u - q*d + 0*d + a = 0, d + 151 = 5*u. Is u composite?
False
Let u = -417 + 1058. Is u a prime number?
True
Let t(c) = c**3 + 14*c**2 + 15*c + 9. Is t(-10) a composite number?
True
Let m be 0*(2 - -1)/3. Suppose 2*a - 193 + 23 = m. Is a prime?
False
Let i = -615 - -1730. Is i a prime number?
False
Suppose -3*l = -p - 0*p - 278, 5 = -p. Is l prime?
False
Let f(c) = -10*c - 1. Let i be f(2). Is 7/(i/(-30)) - -1 a composite number?
False
Let r be 3176/10 + (-8)/(-20). Suppose -3*z - p + 4 = 0, 5*p + 22 = z - 2*z. Is (r/(-9))/((-2)/z) prime?
True
Suppose -3*c = -4*c + 6. Suppose -w - 3 = -c. Is 64/6 - (-1)/w a composite number?
False
Suppose 5*j - 5*c = 30, -3*j + 17 = -0*j - 2*c. Suppose 27 = -j*g + 132. Is g composite?
True
Suppose -11*b + 8*b = -7671. Is b composite?
False
Suppose -3*n - 2 = 4. Is n/5 - (-981)/15 prime?
False
Let n be (2 - 5)*(-1)/(-3). Is 204 - -4*n/4 a composite number?
True
Let p(r) = 4*r**2 + 3*r + 3. Let g = 8 - 2. Let z be p(g). Is (-4 - -3) + z - 1 a composite number?
False
Let x(s) = -s**3 - 2*s**2 + 17*s + 39. Is x(-9) composite?
True
Let z(v) = -111*v + 10. Is z(-7) a prime number?
True
Let a = 1347 + -553. Is a a composite number?
True
Let w = 456 + -185. Is w prime?
True
Let z(x) = x**2 - 5*x - 5. Suppose c + 2 + 5 = -3*n, -2*c - 6 = -2*n. Is z(c) a composite number?
False
Suppose -6*h = -h - 290. Is h composite?
True
Suppose 0 = 2*o + 6. Is (-2)/(-3) - 43/o prime?
False
Let p = -150 - -239. Is p composite?
False
Suppose -2*w = 3*w. Suppose 5*q = -2*a + 425, 171 = 2*q - w*q + a. Is q a composite number?
False
Suppose -5*a - 42 = -4*i + 716, a - 386 = -2*i. Let o = i + -117. Let s = o + -28. Is s a composite number?
False
Suppose 2*w + 30 = 7*w - z, -3*w = 4*z - 18. Let y = w - 7. Is 462/24 + y/4 a composite number?
False
Suppose -2*y + 4*i = 2, 5*y - 2*i = 3*i + 5. Suppose 7 = x - 2*a + a, 5 = 2*x + a. Suppose y*n - x*n = -59. Is n a prime number?
True
Let m = 713 + -490. Is m composite?
False
Is 4/6*(2 + 0 - -19) a prime number?
False
Let u = -1 - 1. Let v be 2 + u*(0 + 1). Suppose v = 5*b - 62 - 33. Is b composite?
False
Suppose -3*y = p - 380, p - 5*y - 225 = 179. Is p prime?
True
Let n be 1836 + 3 + 0 - 1. Suppose 2*g - 4*g = -n. Is g prime?
True
Suppose 299 = -5*v + 2*j + 1974, v - 335 = -2*j. Is v prime?
False
Let a(k) = 9*k**2 + k + 47. Is a(9) prime?
False
Is (-2)/3*(-5115)/22 prime?
False
Let d(m) = -6*m**3 + 2*m**2 - 5*m - 4. Let k be (-3)/1 + (-5 - -5). Is d(k) a prime number?
True
Let p(j) = -j**3 + j**2 - j + 53. Let l be 1 + (1 - 0) + -2. Is p(l) prime?
True
Suppose -3 = 4*u + 1. Let l(h) = -h**3 - 12*h**2 + 4*h + 15. Let q be l(-11). Let o = u - q. Is o composite?
False
Is (226/10)/(2/10) a prime number?
True
Suppose 4*o + 38 = 5*w + 6*o, -w = -4*o - 12. Let u be ((-3)/(-2))/(w/(-32)). Let s(z) = 3*z**2 - z - 3. Is s(u) prime?
False
Is 2*(658/(-4))/(-7) a prime number?
True
Let g(u) = -5*u - 2. Let b(h) = -6 + 5 - 4*h - 2. Let r(v) = -5*b(v) + 6*g(v). Is r(-3) a composite number?
True
Let o(h) = 24*h**2 + 5*h + 4. Is o(9) composite?
False
Let s(q) = 3*q**3 + 2*q**2 - 2*q - 7. Let l(t) = -4*t**3 - t**2 + 3*t + 8. Let i(h) = -4*l(h) - 5*s(h). Let n be i(7). Let g = n - 3. Is g a composite number?
True
Suppose -514 - 441 = -5*c. Is c prime?
True
Let n = 7 + -11. Let i = n + 8. Suppose x = 3 + i. Is x composite?
False
Let s(a) = a**3 + 2*a**2 - a + 1. Is s(3) composite?
False
Let l(t) = t**2 - 11*t + 14. Let k be l(10). Let b = 7 + -4. Suppose -b*n + 7 = g, -10 = k*n + n. Is g a prime number?
True
Suppose -2*c + c = -4*g - 71, -99 = -c - 3*g. Let n = -20 + -14. Let q = c + n. Is q a prime number?
True
Let w be -1 + -1 + (-16)/(-4). Let a be (-23)/7 - w/(-7). Is (a/6)/((-1)/106) prime?
True
Let j be (-2)/5 - (-54)/10. Let p(z) = 2*z**2 + 3*z + 6. Let y(c) = -3*c**2 - 6*c - 11. Let r(x) = j*p(x) + 3*y(x). Is r(-5) a composite number?
False
Suppose 0 = -2*l + 2 + 2. Suppose -16 = v + 3*v, -l*v = 3*k + 551. Is 3 + ((-2)/(-2) - k) composite?
True
Let u(g) = 11*g. Suppose -2 - 1 = -3*s. Is u(s) a prime number?
True
Suppose 4*x - 3 = 3*k, -7*x + 2*x - 3*k - 3 = 0. Suppose 5*r - n = 189, 0 = -r - x*r + 3*n + 35. Let s = 117 - r. Is s a prime number?
True
Suppose -3*q + 24 - 3 = -5*w, 3*q = -4*w - 6. Let n = w - -6. Suppose -17 = -v + 2*z, z = -n*v - z + 19. Is v prime?
False
Let b be (-3 - (-1 + -2))/3. Suppose b = -3*d - o + 216, o + 77 = d + 3*o. Is d composite?
False
Let h = -1549 + 3702. Is h prime?
True
Is (-3)/(6/(-428)) - 3 prime?
True
Let k be (-1)/(-1 - (-76)/74). Let z = -16 - k. Is z a composite number?
True
Let a be 2/(-5) - (-742)/5. Suppose -a = -b - 3*b. Is b a composite number?
False
Suppose -4*k - 3 = -l, 0 = -5*l - 0*k + 5*k + 15. Suppose -2*h + 546 = l*a + 3*h, h = 5*a - 938. Is a a prime number?
False
Suppose -5*h + 3*i = -10*h + 1, 3*h = -5*i - 9. Suppose 0 = 3*d + 4*y - 987, 959 = 4*d + h*y - 357. Is d a composite number?
True
Is (-4392)/(-15) + ((-12)/15 - -1) composite?
False
Suppose 3 = -v - 4*x + 25, -3*v = 4*x - 26. Supp