*s(k) - 13*v(k). Is u(17) a composite number?
False
Let h = 4310 + 963. Is h a prime number?
True
Suppose 3*x - 12 = -x. Suppose 4*c - x*t = -c + 16, 2*t = 3*c - 9. Suppose c*u - 545 - 810 = 0. Is u a prime number?
True
Is 6324/15 - (-4 - 72/(-20)) a prime number?
False
Let s(g) = 2*g**2 - 10*g + 7. Let p(b) = 3*b**2 + 20*b - 15*b**2 - 15 + 8*b**2. Let q(f) = 6*p(f) + 13*s(f). Is q(-13) a prime number?
False
Let t(n) be the second derivative of n**5/60 - n**4/24 - 7*n**3/6 + 2*n**2 - 5*n. Let o(q) be the first derivative of t(q). Is o(10) a composite number?
False
Suppose -f + 2 = -85. Is f composite?
True
Let z = 6434 - 2035. Suppose 0 = -2*d + 2, 5*f = -d - z + 11885. Is f prime?
False
Let f = 49736 - 31683. Is f a composite number?
True
Let q(d) = 19*d**3 - 5*d**2 - 6*d - 7. Let p be (-8 + 13)/(-2 + (-6)/(-2)). Is q(p) composite?
False
Let n be (5 + 645/6)/((-6)/104). Is 4 - 1 - n/(-9)*-30 a composite number?
True
Suppose -4*u = 2*g - 8*u - 10534, 4*g - 4*u - 21056 = 0. Is g a prime number?
True
Is 6/5 - 297981/(-45) prime?
False
Let i(r) = -30*r + 151. Is i(-14) a composite number?
False
Let q(k) = -k**3 + k + 18. Let a be q(0). Suppose p = 3*p - a. Is p a composite number?
True
Let r(b) = 7*b - 12. Let g be r(2). Is 6223/(-28)*g*-2 prime?
False
Let k(t) = 0 + 22*t**2 - 4*t**2 + t + 3. Let c be k(-6). Suppose -10 = 5*w - 3*w, -4*q + 5*w + c = 0. Is q prime?
False
Suppose 5*m = -15, 0*m + 5*m - 1229 = 4*h. Let u = h - -85. Is u/5*15/(-6) composite?
False
Let l(a) = a**3 + 3*a**2. Let k(v) = -v**3 + v - 3. Let d be k(0). Let m be l(d). Suppose 3*w + w - 308 = m. Is w composite?
True
Suppose 2*q - 15 = -t, -2*q - 5*t = -47 + 12. Suppose u = -k - 0 + q, -8 = -4*u. Suppose k*p - 1440 = -447. Is p composite?
False
Let s(y) = y**3 - y**2 + 3*y + 13033. Is s(0) prime?
True
Let u(o) = o**3 - o**2 + o + 3. Suppose r = -3*r. Let g be u(r). Is 0 + 2 + (g - -314) prime?
False
Let s = 16931 - 8850. Is s prime?
True
Suppose -8234 = -5*d + 3*d + 3*h, -5*d + 3*h = -20567. Is d a prime number?
True
Let w = 0 + 19. Let l = 34 - w. Suppose 66 = 4*h + 5*j, 4*h - l = -3*j + 47. Is h a composite number?
True
Suppose -2 = -v, -42*y - 4*v - 71514 = -44*y. Is y a composite number?
True
Let r(c) = -c**2 + 15*c + 21. Let x(v) = -3*v**2 + 46*v + 62. Let j(l) = -17*r(l) + 6*x(l). Is j(13) composite?
True
Let r = -2 - -6. Let z(q) = 115*q - 11. Is z(r) prime?
True
Suppose 2*r - 84 = -76. Suppose 1392 = r*i - 2284. Is i a composite number?
False
Suppose -1369693 - 96778 = -17*y. Is y composite?
False
Let h(t) = 21*t**2 - 30*t + 32. Is h(-21) a prime number?
True
Let k(f) = -165*f**3 + 6*f**2 + 4*f - 4. Is k(-3) composite?
False
Let o(u) = u + 8. Let y = 6 - 12. Let m be o(y). Suppose -4*h + m + 42 = 0. Is h a prime number?
True
Is 1162/2*(26 + -25) a prime number?
False
Let j = -238 + 437. Suppose -2 + 3 = y, 4*y = 3*h + 334. Let q = j + h. Is q prime?
True
Let i(h) = 2*h**2 + 17. Let w be i(-4). Suppose -2*u + w + 67 = -o, -289 = -5*u + 3*o. Is u prime?
True
Let o = 0 + 3. Let u be (-1 - 2) + o - 396. Let t = u - -725. Is t composite?
True
Let m(l) = 2*l - 14. Let b be m(-5). Is 2 + ((-2682)/b)/((-1)/(-4)) prime?
True
Let a(r) = r**2 - 15*r + 24. Let o be a(12). Let p(z) = z**3 + 13*z**2 + 6*z + 7. Is p(o) composite?
False
Suppose -l - 22 = -x + 2409, 4860 = 2*x - l. Is x composite?
True
Suppose -64*n = -0*n - 1317696. Is n a composite number?
True
Let f be (-106)/22 - 12/66. Let y = f + 9. Suppose -4*t - y*r = -504, -3 - 9 = -4*r. Is t composite?
True
Let g(u) = 4*u**2 + 4. Let w be g(2). Is (5/(w/58))/(2/68) composite?
True
Let a(p) be the third derivative of -1/6*p**3 - 2*p**2 - 1/4*p**4 + 13/30*p**5 + 0 + 0*p. Is a(-6) prime?
True
Is (-10732)/(-10) - 5/25 prime?
False
Let q(d) = 4 + 2 - 8*d**2 + d**3 - 12*d + 13 + 0. Is q(14) prime?
False
Suppose -2*b + 4*b - 3092 = -5*g, g - b = 624. Suppose -g = -f + 231. Is f prime?
False
Let g(f) be the second derivative of f**4/4 + f**3/6 + 3*f**2/2 + 5*f. Let v be g(-8). Suppose v = 4*c + 5*a, -2*a = 5*c - 0*c - 255. Is c composite?
False
Suppose 2*h + 19*q - 3470 = 23*q, 5*h + q - 8675 = 0. Is h a prime number?
False
Suppose -2*l - l + 4*t = -74, 0 = 4*l + 4*t - 136. Let s = 30 - l. Suppose s = 3*v - v + 4*p - 1574, -786 = -v - p. Is v composite?
True
Let u = -2897 - -4555. Let k = u - 1167. Let o = -46 + k. Is o a prime number?
False
Let z = 11943 - 8177. Is 10/15 + (-3 - z/(-3)) composite?
True
Is 55758*(-7 + 329/42) composite?
True
Let z(g) = g**3 + 8*g**2 + 12*g - 1. Let d be z(-6). Is ((-38)/4 - d)*-134 a prime number?
False
Let n(r) = -76*r - 5. Let i = 14 + -20. Is n(i) a prime number?
False
Let k(r) = -20*r - 23. Let j(a) = 41*a + 46. Let t(p) = 4*j(p) + 7*k(p). Is t(7) a prime number?
True
Let t be 105495/20 + -2*(-2)/16. Suppose -k + 3526 = 2*z, -3*z + 5*k = -6*z + t. Is z a prime number?
False
Let z = -21 + 21. Suppose z = 2*u - 4*l - 404, 173 = -3*u - 5*l + 735. Is u a composite number?
True
Suppose 4655 = -33*r + 28*r. Let a = r - -1304. Is a prime?
True
Suppose 2*v - 1170 = -4*i - 3*v, -v = 2*i - 582. Suppose c - i + 73 = 0. Is c composite?
True
Let h(s) = -s**3 - 4*s**2 - 2*s + 2. Let r be h(-4). Suppose -r = a - 2*a. Let g(j) = 3*j + 13. Is g(a) a prime number?
True
Suppose -30 = -2*x - 10. Suppose -x*d - 1405 = -8415. Is d composite?
False
Suppose -2*t - 6 - 14 = 0. Let k be (12/t)/(12/(-40)). Suppose 5*r + 3*z = 2441, 2*r + k*z = 987 - 5. Is r composite?
False
Let l(u) = 142*u**3 - 3*u**2 + 15*u + 1. Is l(6) composite?
True
Let v = -2 + 4. Suppose -r + 1 + v = 0. Is 108*1 - (2 - r) prime?
True
Let v be (-736)/(-4) + (6 - 2). Let l = v + -46. Suppose s = -7*b + 2*b + 138, b - l = -s. Is s prime?
False
Suppose -7896 = 40*h - 37*h. Let z = 4163 + h. Suppose 906 = c - z. Is c a prime number?
True
Suppose 7*z - 11*z - 64 = 0. Let m(y) = -y**3 - 15*y**2 + 3*y - 5. Is m(z) prime?
False
Suppose c - 1677 = 3*c - 5*g, -4*c - 2*g = 3390. Let v = c - -1805. Suppose -x + v = 2*h, 2*x = h - 3*h + 1912. Is x a prime number?
True
Let w(o) = -16*o**3 + 8*o**2 + o - 1. Let b(k) = 17*k**3 - 9*k**2 - 2*k + 1. Let g(j) = -5*b(j) - 6*w(j). Let c = 2 - 0. Is g(c) a prime number?
False
Suppose 3*s + m - 48 = 3, 36 = 3*s - 4*m. Suppose -18*i + 508 = -s*i. Is i a prime number?
False
Suppose -5*d - 4*p - 414 = -7*d, -4*d + 4*p = -836. Is d composite?
False
Suppose -8679 = -39*z + 36*z. Is z a composite number?
True
Suppose 5*f + 2*t = -3*t - 15, -3*f + 5*t - 9 = 0. Is (-4 - (-2 + 5340))*f/6 a prime number?
True
Let k(n) = -n**2 - 27*n - 26. Let u be k(-26). Suppose 3*c - 2*c - 1397 = u. Is c a prime number?
False
Suppose 11737 = 22*v - 21*v. Is (v/22)/((-2)/(-4)) prime?
False
Is 8 + (-161)/21 - (-95252)/3 a composite number?
False
Suppose 0 = 4*d - 1180 - 2028. Suppose 5*p = -5652 + d. Is ((-2)/(-4))/((-5)/p) a prime number?
True
Suppose -5 = 3*m + 13. Let t = m + 8. Suppose -887 = -3*d - t*s, -422 = -3*d - 5*s + 450. Is d a prime number?
False
Let p(y) be the first derivative of 4*y**3/3 - y**2/2 + 12*y - 3. Is p(11) composite?
True
Suppose 0 = 3*y - 10 + 28. Is ((-1130)/(-15))/((-2)/y) a composite number?
True
Let n(k) = 305*k + 3. Let f be n(-2). Let j(p) = 1102*p**3 + p**2 + 3*p - 2. Let o be j(1). Let l = f + o. Is l prime?
False
Let m(j) = -11 + 9*j - 24*j - 28*j + 3*j. Is m(-4) a prime number?
True
Suppose 177423 = 12*o - 252429. Is o prime?
False
Let f(a) = -867*a - 22. Is f(-3) a prime number?
True
Let o(j) be the second derivative of j**3/6 + 7*j. Let d be o(5). Suppose -3*m + 86 = -4*w, -4*m + 5*m + d*w = 54. Is m prime?
False
Let j = 950 + 897. Is j prime?
True
Let f(l) = 122*l + 1. Suppose 1 = 3*d - 2. Let j be f(d). Suppose -u + j = -2*a, -2*u + a - 135 = -3*u. Is u prime?
True
Let q(t) = -23*t + 13. Let r be q(16). Let x = 318 - r. Is x a composite number?
False
Suppose 0 = -10*s + 3*s. Let g be s/((-7)/((-7)/3)). Suppose 8*l - 3*l - 1055 = g. Is l a composite number?
False
Let k = -12 - -16. Suppose -k*t + 427 = -177. Suppose 2*w = 71 + t. Is w a composite number?
True
Let s(i) be the first derivative of 24*i**2 - 17*i + 5. Is s(7) a prime number?
False
Suppose 11 = 4*j - 1. Let c(q) = 2*q**2 - 6*q + 4. Let t be c(j). Suppose t*l - 348 = -4*b, -b - 3*l + l = -92. Is b prime?
False
Let u = -79 + 34. Let y be 18/u +