+ 4. Let r be s(-6). Let l(b) = b**3 + 8*b**2 - 13*b + 44. Let i be l(6). Suppose -i + r = -4*d. Is d prime?
True
Let r(k) = -15*k - 14. Let c(d) = -15*d - 13. Let s(g) = -6*c(g) + 5*r(g). Is s(3) a composite number?
False
Suppose -5*w - 3117 = -4*w. Let h = w - -8588. Is h a prime number?
True
Let h = 30 - 29. Is (2 + 896)*h/2 a composite number?
False
Suppose 3*x = 4*t - 12587, -5*t + 2*x + 9472 = -6267. Is t a prime number?
False
Let p = -13 - -33. Let r be (-57)/(-12) - (-5)/p. Suppose r*b = b + 148. Is b a composite number?
False
Let j(p) = 214*p + 7. Is j(4) a composite number?
False
Let h(d) be the second derivative of -41*d**3/6 - 5*d**2/2 - 15*d. Is h(-3) a prime number?
False
Suppose -4*z = 2*z. Suppose z = -3*f + f + 10. Suppose -f*o + 40 = 5*j, -j + 40 = -4*o + 7. Is j composite?
False
Suppose 3*a + 0*x + 3 = 3*x, 8 = -3*a + 4*x. Suppose 64 = h - 3*w, h = a*h - 4*w - 197. Is h a composite number?
False
Let m(k) = 2*k**2 - k - 28. Let v be m(-12). Suppose -v = -j + 783. Is j a composite number?
True
Let u = 8289 + -4574. Is u prime?
False
Let p be 14*-2*(-1)/(-4). Let a(o) = -146*o - 50. Let y(b) = 29*b + 10. Let w(c) = -2*a(c) - 11*y(c). Is w(p) a composite number?
False
Let f be (-117)/(-13)*(-926)/(-6). Let y = f + -292. Is y composite?
False
Let z(r) = -r**2 - r + 1. Let l(v) = 2*v. Let t(q) = -1. Let s(a) = l(a) - 2*t(a). Let w(h) = s(h) - z(h). Is w(3) prime?
True
Let d(u) = -485*u - 100. Let z(o) be the second derivative of -9*o**3 - 11*o**2/2 + 6*o. Let w(i) = 6*d(i) - 55*z(i). Is w(3) a composite number?
True
Suppose 4606 + 6250 = 8*k. Is k a composite number?
True
Suppose -4*x - 1340 = -42064. Is x prime?
True
Suppose 0*n + 6*n = 1704. Suppose -5*x - 55 = 25. Is -4*(n/x - 2) prime?
True
Let t be ((-28)/12 + 0)*-3. Let a(u) = 6*u**3 - 2*u**2 - 6*u + 3. Is a(t) composite?
True
Let j(z) = 11*z**2 + 10*z - 6. Let w be j(-8). Let x = w + -365. Is x composite?
True
Let g = -45 + 1311. Suppose -415 + g = a. Is a a composite number?
True
Let k(j) = j**3 + 13*j**2 + 30*j - 3. Let q be k(-10). Is (10 - -1)/(q/(-39)) a prime number?
False
Is 0*8/48 - 2577/(-1) a composite number?
True
Let x = 14390 - 802. Suppose -5*q + x = 3493. Is q prime?
False
Let n(a) = 233*a**3 - 3*a**2 + 11*a + 12. Is n(7) composite?
False
Let x = 8 - 4. Suppose -x*c - o + 6 = 51, 4*c + 3*o = -39. Is (c + 10)/((-4)/14) composite?
False
Is (2 - -1809)*(-5 + 10 + -4) a composite number?
False
Let z = 15 + -11. Let c be 2/z + (-5)/10. Suppose -3*m + 4*m - 89 = c. Is m prime?
True
Suppose -26950 = -4*a + 14982. Is a prime?
False
Let u(s) = -14*s**2 - 2*s + 2. Let z = -7 - -15. Let w(o) = 42*o**2 + 7*o - 6. Let k(f) = z*u(f) + 3*w(f). Is k(3) prime?
True
Suppose -i = -5*b + 1738 + 1802, -2*i - 2826 = -4*b. Is b a composite number?
False
Is (-35237)/3*(75 + -78) a composite number?
True
Suppose 0 = -6*r + 3*r + 6. Let h be (-2)/(-4) + 6851/r. Suppose 6*z - 456 = h. Is z a prime number?
True
Let o = -1204 - -5981. Is o composite?
True
Let a(d) = 67*d**2 + 5*d - 1. Suppose -v - 7 = -3. Let g be a(v). Let n = -416 + g. Is n prime?
False
Suppose 2*y + 2*n - 241 = 3*n, -354 = -3*y + 3*n. Suppose -a + 0*s + 5*s + y = 0, 5*a = s + 711. Is a a composite number?
True
Is 34334*(-1 - 0)*(-1)/2 composite?
False
Let x(q) = 107*q**3 - 4*q**2 - 6*q + 19. Is x(4) prime?
True
Is 25166/30 + (-2)/135*-9 a composite number?
False
Let h(f) = -2*f + 4. Let n be h(-4). Let i = n - 10. Let y(l) = 37*l**2 + 1. Is y(i) composite?
False
Let r = 28 - 24. Suppose 0 = f - 5*l + 100, 4*l - 34 = -r*f - 386. Is (-4)/(-2) + -3 - f prime?
True
Suppose -32*o + 483940 = -12*o. Is o composite?
False
Let h(p) = p**2 - 4*p - 21. Let t(w) = w + 4. Let y(u) = 2*h(u) + 11*t(u). Let c be y(-2). Is (-8622)/(-54) - c/6 composite?
True
Suppose 0 = 4*l + u - 14, -5*l + 3*u + 30 = -2*u. Suppose 0 = 4*x + w - 968, 2*x + x = -2*w + 721. Suppose l*a - 9 = a, x = 3*h - 4*a. Is h composite?
True
Let k(w) = -w**2 - 8*w - 4. Let f be k(-5). Is (3 + -9)/((-2)/f) a prime number?
False
Let k be 1*((3 - 1) + 1). Suppose -372 = -k*q + 1533. Suppose 8*d - 3*d = q. Is d prime?
True
Let y = -3 - -1. Let a(v) = 13*v**2 - 3*v + 1. Is a(y) a composite number?
False
Let h(o) = -2407*o**2 + 1. Let i be h(-1). Is (-12)/(-20) - i/15 prime?
False
Let h(v) = 1 - 7*v + v - 5*v - 5*v**2 + 5 + v**3. Let y be h(7). Let q = 6 + y. Is q a composite number?
True
Suppose 3*u + 4480 = -5*b, b = 4*u - 677 - 196. Suppose 2*t = -4*o + 3088, -2*t + 3*o = 3*t - 7655. Let f = b + t. Is f a composite number?
False
Let x = 115 + -113. Suppose -i - 167 = -3*a - 3*i, a = x*i + 45. Is a prime?
True
Suppose -3 = -v - 81. Let l(z) = 5*z + 23. Let t be l(-14). Let q = t - v. Is q a prime number?
True
Suppose -3810 = -4*t - t. Suppose -t = -5*f - f. Is f a composite number?
False
Let w = 28 + -16. Let n be (-8)/3*(-63)/w. Is (-4)/n + (-894)/(-42) a composite number?
True
Let a(y) be the third derivative of y**5/20 - 47*y**4/24 - 7*y**3/6 + 16*y**2. Is a(21) prime?
False
Suppose 10633 = 5*t - j, 5*t - 4*t - 2138 = 4*j. Let m = -1228 + t. Is m composite?
True
Let i(n) = -6*n + 3. Let f = -1 + 4. Suppose 5*v + 0*v = z - 5, -2*z + f*v = 4. Is i(z) a composite number?
True
Suppose -14*i = -2411 - 3791. Is i composite?
False
Let o(c) = -c**3 + 2*c + 3. Let d be o(-2). Suppose -148 = 3*j - d*j. Is j a composite number?
False
Let h(a) = 12*a**2 + 1. Let i be h(-3). Suppose -o + 5*n + 1197 = 0, -2*o + 2559 - i = 4*n. Is o prime?
True
Let b(j) be the third derivative of -1/6*j**3 + j**2 + 17/30*j**5 + 0*j + 0 - 1/3*j**4. Is b(5) prime?
True
Suppose 4*z = 12, 5*a + 3*z = 1730 + 5609. Is a prime?
False
Suppose -4*b + 4 = -8, 5*p - 4295 = -5*b. Let c(h) = -h**2 - 12*h - 28. Let u be c(-8). Suppose -u*x + p = -340. Is x prime?
False
Let k(b) = -b**3 - 13*b**2 - 12*b. Let m be k(-12). Let d be 1 + m/(-3) + -10. Is (474/d*-3)/2 a prime number?
True
Let l be 993*-2*(-20)/40. Suppose 6*c - 4*d = c + 5035, c = -2*d + l. Is c a composite number?
True
Is -10*19582/(-12) - (-6)/9 composite?
False
Let q = 993 + -72. Suppose -c - q = -4*c. Is c a prime number?
True
Suppose -933 = 2*h - t, 0 = -3*h - t - 1843 + 441. Suppose -3*y + 5*m - 497 + 37 = 0, -y + 3*m - 156 = 0. Let v = y - h. Is v composite?
False
Suppose -17 = -4*w + 5*z, 0 = -0*w + 2*w - z - 7. Let p = w - -62. Is p prime?
False
Let b(m) = m**3 - 3*m**2 - 6*m + 4. Let y be b(4). Is (-1 - -146) + -2 + y a composite number?
False
Suppose 132*t + 76377 = 137*t - 2*m, 4*t - 3*m - 61096 = 0. Is t a prime number?
True
Suppose 61*j + 162061 = 5*n + 58*j, -3*n = -3*j - 97239. Is n a prime number?
True
Let d(z) = -3*z + 492. Let y(g) = -7*g + 985. Let n(x) = 5*d(x) - 2*y(x). Let j be n(0). Suppose 2*a = j - 44. Is a prime?
True
Let z(n) = -12*n + 10. Let y be z(2). Is ((-3338)/(-4))/(7 - (-91)/y) a prime number?
True
Let p = -64683 + 98224. Is p prime?
False
Suppose 27*b + 13*b = 540920. Is b composite?
False
Let v = -5 + 8. Let g = 1 + v. Suppose -c + 5*a - 83 = -g*c, -a = -5*c + 129. Is c prime?
False
Let q(y) = y**3 - 2*y**2 + 26. Let g be q(0). Suppose -25*h + g*h = 631. Is h composite?
False
Let f(l) = -l**2 + 52*l - 177. Is f(38) a composite number?
True
Let s = -11 - -20. Suppose 2*z - s*z = -4361. Is z composite?
True
Let h(s) = 1370*s**2 - 17*s + 33. Is h(2) prime?
True
Let k = 22 - 387. Let z = k - -523. Is z a prime number?
False
Suppose 2*f + 4 = -6. Let a(m) = 10 - 6*m - 2*m**3 + 5*m + 3*m**2 + 2 + 0*m + 5*m. Is a(f) prime?
True
Suppose 49*n - 331965 = 22*n. Is n prime?
False
Let t(i) be the third derivative of -i**6/120 - i**5/60 + i**4/24 - i**3/3 - 4*i**2. Let g be t(0). Is (-28)/(-16)*g*-74 prime?
False
Suppose 395877 = 28*g - 143599. Is g composite?
False
Is ((-2)/5)/(4/(-52270)) prime?
True
Let x(t) = -2*t**3 - 5*t**2 - 2*t - 7. Suppose -7*c = -2*c + 20. Let s be x(c). Is (-4)/(-14) + 35805/s a prime number?
False
Let a be -2 - (-5 + 2)/(-3). Is 0 - (a/9)/((-5)/(-5595)) composite?
False
Suppose -g - 21 = -5*z + g, -g - 12 = -3*z. Let k be z/2*(-2744)/(-21). Suppose -k - 89 = -3*l. Is l composite?
True
Is (-9)/3 - (-828 - 1)*16 a composite number?
True
Let j(u) = -59*u + 14. Let a be j(-13). Let g = 1132 - a. Let b = g + -146. Is b a composite number?
True
Let k = -5856 - -11837. Is k a prime number?
True
Suppo