5. Suppose -4*j = 5*c - 278, 0 = b*j - 6*j - 2*c + 138. Is j composite?
False
Is (42/12 + -1)*19794/15 composite?
False
Is -2*(-6)/(-16) + 4270/8 a prime number?
False
Let l be (4 + -10)*(-2)/(-4). Is 260 - (0 + (l - 0)) a composite number?
False
Let m(w) be the third derivative of w**7/2520 - w**6/90 - w**5/40 - w**4/6 + 2*w**2. Let f(d) be the second derivative of m(d). Is f(-5) prime?
False
Suppose -13*d = -0*d - 99515. Is d a composite number?
True
Suppose 2*i - 2 = i. Let z be -10 - i*(0 - -1). Is ((-6)/(-2))/3 - z a composite number?
False
Let z(n) = -n**2 - 7*n - 7. Let m be -4 + 3 + 4 + -8. Let k be z(m). Suppose 4*u - 133 = -3*y, 0 = -y - 0*u + k*u + 53. Is y composite?
False
Let d = 43 + -26. Let u = d + -10. Suppose -u*t + 185 = -2*t. Is t composite?
False
Suppose -i + 2*c + 5943 = 0, 3*i = 4*i + 4*c - 5919. Is i prime?
False
Let h(c) = -c**2 + 4*c + 4. Let r be h(3). Let n = r + -5. Suppose -b - 1160 = -4*d + n*b, b = d - 289. Is d composite?
False
Suppose 4*x = -2*p - 0*p + 15208, -5*x + 19017 = -p. Is x prime?
True
Suppose 3*m - 18 = -0. Suppose 4*k - k - m = 0. Let p = 13 + k. Is p composite?
True
Suppose 0 = 5*z + 4*u - 338, -3*z - 4*u + 196 = -2. Suppose 0 = -l + w + 28, 2*l - 4*w - 47 = 17. Let i = l + z. Is i composite?
True
Let u be 76/(-6)*180/(-24). Suppose 2*m - u = m. Is m composite?
True
Is (-5590)/(-7) + 1 - 4/7 composite?
True
Let z = -40 - 47. Let n = 214 + z. Is n a prime number?
True
Let v be 3*(3 + 16/(-6)). Is 1/2*v*226 a composite number?
False
Suppose 448 + 76 = 4*m. Is m a prime number?
True
Suppose -4*c = -g - 6, 5*g - 13 + 79 = 2*c. Let y = g - -28. Is y a composite number?
True
Let h = -402 + 590. Suppose -7*l = -3*l + 420. Let f = l + h. Is f prime?
True
Let c(f) = -6*f - 6. Let o(j) = 6*j + 7. Let s(k) = -6*c(k) - 5*o(k). Is s(3) composite?
False
Suppose 4 + 16 = 4*t. Let g be (4/(-9))/(4/(-18)). Suppose -t*v + 605 = 2*q, 3*v - 109 = 2*v + g*q. Is v a prime number?
False
Let u be 7 - ((-4)/2 - -3). Is ((-4)/6)/(u/(-693)) prime?
False
Suppose 0*h - 3*h + 1203 = 0. Is h prime?
True
Is 2283 - ((5 - 0 - 1) + -2) a composite number?
False
Let l(d) = 19*d**2 - 12*d**2 - 7*d + 8*d**2 + 6. Is l(4) a composite number?
True
Suppose 0 = k - j - 258, 4*j + 0*j + 4 = 0. Is k a composite number?
False
Let y be (-12)/((-15)/18 + 1). Let m = 179 - y. Is m prime?
True
Suppose 5*u - 66 + 1 = -5*l, -5*l + 62 = 2*u. Suppose 2*r = 4*m - 28, 3*m - l = -r - 2*r. Is m composite?
True
Suppose -5*o - b + 4485 = 3*b, -5*b = 2*o - 1777. Is o a composite number?
True
Suppose -2*r - 309 = 2*f + 3*r, -5*f = -4*r + 756. Let m = f + 219. Is m a prime number?
True
Let f = 14687 - 8478. Is f prime?
False
Let p be (-1)/(39/(-9) + 4). Let j(n) = -n**2 - 1. Let o be j(-1). Is p + 92*(-5)/o composite?
False
Let m(t) = 13*t**3 - 3*t**2 + 3*t - 2. Is m(3) prime?
True
Let b(i) = -i**3 + 15*i**2 + 9*i - 26. Is b(12) prime?
False
Let k = 14 - 8. Let r(i) = 5*i**2 - 6*i + 5. Is r(k) a prime number?
True
Suppose 3*w + w + 20 = 0. Let m(z) = -z**2 + 4*z - 4. Let b be m(5). Let v = w - b. Is v composite?
True
Suppose 0*b + 211 = b - 3*d, -2*d = b - 201. Suppose 2*y = -3*y - b. Let w = y + 78. Is w composite?
False
Let h be (2 + -2 - -7) + -2. Suppose 0 = -3*x - 2*w + 229, 3*x - h*w - 178 = x. Is x composite?
False
Suppose -y + 8 = -5*y. Let t = y - -5. Is 17/t + 3/9 prime?
False
Let r(f) = -3 + 13*f**2 + 8*f**3 - 4*f**3 - 3*f**3 - 11*f. Let k be r(-12). Let n = k + -142. Is n composite?
False
Let l = -17 + 16. Is (-25 + 12)/(l - 0) composite?
False
Suppose r + 165 = 450. Suppose -2*w = -c + r, 2*c + 0*c + 2*w = 594. Is c a prime number?
True
Let o(y) = y**2 + 1. Let q be o(2). Suppose -5*x = -q*w + 35, -3 = -w + 2*x - 0. Is w prime?
True
Suppose 0 = -4*f + 113 + 1347. Suppose -32 = -2*c - 24. Suppose 3*j - 186 = -5*o, -c*o + 18 - f = -5*j. Is j a composite number?
False
Let s = 4 + -5. Let b(p) = 49*p**3 - 2*p**2 - p. Let y be b(s). Let m = -13 - y. Is m a prime number?
True
Let k(l) = l**3 - 6*l**2 + 3. Let d be k(6). Suppose -d*h - 178 = -781. Is h prime?
False
Let i be (-2)/(1*3/474). Let d = -155 - i. Is d a composite number?
True
Let k(h) = h**3 - h - 7 + 4*h + 1 - 2*h**2 + h. Is k(5) composite?
False
Let n(c) = -3*c. Let q be n(-1). Suppose 2*v - 6 = 2*u, 5*u = 2*v - 4*v + 27. Suppose -q*g - 5*s + 31 = 0, 0 = -5*s + 2*s + v. Is g a composite number?
False
Suppose -3*l + q = -882 + 125, -5*l - 2*q + 1247 = 0. Is l composite?
False
Suppose 2*j = 3*s - 2*j - 247, -193 = -2*s - 3*j. Is s prime?
True
Let z be (-2 + 1)*(-2)/(-2). Let f = 4 + -7. Is z - 33/(f*1) a prime number?
False
Let l(h) = -h**3 + 2*h**2 + 5*h - 4. Let i be l(3). Let x = 31 - 43. Is (-111)/i*x/9 composite?
True
Let m(p) = -2*p**3 + 16*p**2 + 21*p - 3. Is m(-10) prime?
False
Let y(s) = 26*s + 39. Is y(10) a composite number?
True
Suppose -3*k + 3*u - 34 = -u, 0 = 3*k - 3*u + 33. Is 1905/k*(-4)/6 a prime number?
True
Is (-2)/6 + (-37040)/(-24) a prime number?
True
Suppose -5*q - 4*t = 1 - 25, -q - 4*t + 8 = 0. Suppose -4*k + 22 - 3 = -5*f, q = -5*k - 3*f. Is k/(2/(-254))*-1 a composite number?
False
Suppose -2*i + 4*i - 150 = 0. Let y = i - 44. Is y prime?
True
Suppose 0 = 2*h - 8 + 4. Let z(q) = -q**h - 7*q - 3 + 11*q + 6*q - 7. Is z(7) a composite number?
False
Suppose -2*a - 2 = -4. Let b(u) be the second derivative of 7*u**4/12 - u**3/6 + 5*u. Is b(a) a prime number?
False
Suppose -2*n + z = 37, 0*n - 4*z = 5*n + 86. Let o be n/(-27) + (-1556)/3. Let q = -283 - o. Is q prime?
False
Let g(c) = c**3 + 4*c**2 - c + 3. Suppose 0*q + 5*q = 15. Let o be g(q). Let h = 146 - o. Is h composite?
False
Let i = -816 + 453. Let x(g) = 179*g + 1. Let u be x(-1). Let q = u - i. Is q composite?
True
Suppose -37*c = -30*c - 2219. Is c a composite number?
False
Let c be (-3)/5 + (-8934)/(-15). Suppose d - c = -4*d. Is d a composite number?
True
Suppose -5*x = 5*d - 7365, 0 = 3*d - 4*x + x - 4431. Suppose -w + 6*w + n = 1470, -d = -5*w - 2*n. Is w prime?
True
Suppose 5*q - 5 = 2*f, -4*f = -6*f - 5*q - 15. Let w = -3 - f. Suppose -2*p = w*m - 0*p - 42, 0 = 2*m + 4*p - 46. Is m composite?
False
Let b(z) = 6 - 12 + 55 - 2*z + 3*z. Is b(0) a prime number?
False
Suppose -73 = -t + 40. Let b = t - 80. Is b prime?
False
Suppose 0 = -2*t - 5 + 13. Suppose -3*k = 2*r - 337, -t*k - 3*r + 461 = 2*r. Is k composite?
False
Suppose 4*s = -5*n + 2753, 3*s = 5*s - 4*n - 1370. Is s prime?
False
Let o = 1041 - 720. Is o prime?
False
Suppose 0 = -3*y + 2 + 4. Suppose -y*l + 5*l = 3. Is 266/4 - l/(-2) composite?
False
Let f(z) = -z**3 - 3*z**2 + 2*z - 3. Let c be f(-4). Suppose c*m + 2*v + 94 = 2031, -m - v = -385. Is m a prime number?
True
Let i be (-6)/5*40/6. Is (-53)/(-4) - (-2)/i composite?
False
Is ((-12)/(-48))/((-2)/3964)*-2 a composite number?
False
Suppose 10*j + 1574 = 12*j. Is j a composite number?
False
Let x = -40 - -22. Is 2 - 1 - (-4 + x) prime?
True
Suppose s + 5 = -0*s, 4*s - 35 = -5*q. Is (-2)/1 + 1 + q a composite number?
True
Let y be 9/2 + 1/(-2). Let v = 331 - 69. Suppose -4*p - 3*m + v = 0, -y*p + 248 + 24 = -2*m. Is p a composite number?
False
Suppose 4*i = 7*i - 9. Suppose 0*f - i*f + 141 = 0. Is f a prime number?
True
Let m(t) = t + 13. Let z be m(-12). Let r be (1 + z + 0)/2. Is 91*1 - (3 - r) composite?
False
Let k(r) = -r**2 + 6*r + 1. Let z be k(7). Let u be ((-8)/10)/(z/15). Suppose -y + u*j + 16 = -10, j + 112 = 5*y. Is y a prime number?
False
Let c be (-4)/(-2)*(-3 + 5). Is 8*16 + (c - 5) a prime number?
True
Let d(n) = n**2 - n + 187. Is d(0) a prime number?
False
Is 4/(-10) + 4570/50 a prime number?
False
Let d(q) = q**3 - 4*q**2 + 5*q - 3. Let t be d(3). Let c(h) = 2*h**2 + h - 2. Let k(u) = -u**2 + 1. Let r(b) = -c(b) - 4*k(b). Is r(t) prime?
True
Let h(b) = b**3 + 5*b**2 - 13*b + 4. Let q = -19 - -10. Let w be h(q). Is (-2)/3 - w/3 a prime number?
True
Let q(o) = 28*o + 1. Suppose 12 = 7*s - 3*s. Is q(s) a prime number?
False
Suppose -2*q - 30 = 5*n, 0 = -2*n - 4*q + 15 - 43. Let p(h) = -3*h**3 + h**2 + 2*h + 1. Let k be p(n). Suppose 5*u - k = 284. Is u prime?
True
Suppose -d - 2*d - 6 = 3*f, 5*d + 13 = -4*f. Suppose -f = a + 6. Is -1 + 3/(a/(-96)) composite?
False
Suppose -2*t - 12 = -6*t. Suppose -3 = t*d, -3*h + 3*d = -d - 757. Is h composite?
False
Is (-3 + 5/2)*(-3 + 