 Is b(-1) composite?
False
Let b = -48 + 48. Let v be ((-8)/(-12) - b)/((-1)/30). Is 505 + (4/12 - v/(-6)) a prime number?
False
Let i = -14916 - -28433. Is i a composite number?
True
Let b(q) = -35*q**3 - 13*q**2 - 49*q + 23. Is b(-14) a prime number?
True
Suppose 807888 - 3468574 = -14*i. Is i composite?
True
Let n(b) = 83149*b + 6. Let v be n(3). Suppose 28*o - v = o. Is o prime?
True
Let q(c) = 3212*c**2 + 53*c - 20. Is q(9) a prime number?
True
Let y(b) = 25557*b + 3308. Is y(9) composite?
True
Let w(p) = 2135*p**2 - 62*p - 178. Is w(-3) composite?
True
Let p(n) = -n**3 - 6*n + 1169. Suppose 0 = 25*o + 4*o. Is p(o) a prime number?
False
Let s be (-4 - (-2089)/3) + (-2)/(-3). Suppose 13 = -b + s. Suppose 2*q - b = 62. Is q composite?
True
Let n(y) be the second derivative of y**4/2 + 9*y**3/2 + 59*y**2/2 - 56*y. Is n(-20) a prime number?
False
Let v be 81/(-12) - 4/(32/(-6)). Let c(w) = -2740*w - 15. Let o(b) = 1370*b + 7. Let y(u) = v*c(u) - 13*o(u). Is y(-1) prime?
False
Suppose 3*f - 395 = -4*z + 4358, -5*z + 5970 = -2*f. Let c(a) = 1 - 1201*a**2 + z*a**2 - 8*a - 4 - 21*a**3. Is c(-5) a composite number?
False
Let c be (-7 - -13) + 8/(-2)*1. Suppose -u - c*v = -0*u - 5564, u + 5*v - 5552 = 0. Is u/6 + (-2)/(-6) a prime number?
True
Let j(z) = 315*z**2 - 53*z - 11. Is j(7) a prime number?
True
Let l = -44689 - -68088. Is l prime?
True
Let m = 49 + -22. Suppose -m*w + 22*w = -19535. Is w a composite number?
False
Let i(t) = 13*t - 62522. Let s be i(0). Let u = -34599 - s. Is u a composite number?
True
Suppose -100 = -3*m + 7*l - 12*l, -5*m + l + 176 = 0. Suppose -m*z = -43*z + 19496. Is z a prime number?
True
Suppose -7*x = -5*x + 2*z - 4, -3*z = -3*x + 18. Suppose 6*o - 2215 = 5*o + 3*r, x*r - 6593 = -3*o. Is o prime?
True
Suppose -4*b - 828000 - 1766143 = -5*z, 5*b + 518816 = z. Is z prime?
True
Let d be -13*(-15)/20 + 3/(-4). Is (3/(-3))/(d/((-195291)/9)) a composite number?
False
Suppose 1202644 = 5*b + 3*z, -z + 26 = 23. Is b a composite number?
True
Suppose -2*g - 6 = -g. Let l be (9/(-12))/(25/20)*5. Is l + -1083*((-14)/g - 3) a composite number?
False
Let y(n) = n**3 - 90*n**2 - 62*n + 1645. Is y(96) prime?
True
Let u be (5/(-2))/((-6)/1260). Suppose -n = 4*c - u, -2*c = 3 - 5. Is n prime?
True
Suppose 0 = 2*r + 3*c - 170764, -c - 187887 = -5*r + 239006. Is r composite?
True
Let z(q) = -q**2 - 11*q - 26. Let l be z(-5). Suppose -w = -3*p - 1552, -l*p - 3098 = -4*w + 2*w. Is w a prime number?
True
Let d = 38 + -56. Let s(p) = 2*p + 40. Let y be s(d). Suppose 0 = n - 4*c - 1229, y*n - 2*c = -33 + 5019. Is n prime?
True
Let d(a) = 18*a**2 - 15*a + 23. Suppose b - 14*b + 13 = 0. Let x be b/3*-29 - 4/12. Is d(x) prime?
True
Let i be (-2)/5*30/(-8)*6. Is i - 9 - (-930 + 2 + -1) composite?
False
Let i(h) = -h**2 - 5*h - 6. Let m be i(-2). Suppose m = 27*u + 14*u - 406843. Is u a prime number?
True
Let f(o) = 5*o**2 + 5*o + 16. Let i(a) = -3*a**2 - a - 1. Let w(m) = -f(m) - 5*i(m). Let y be 1/((-1)/(-2 + -3)). Is w(y) composite?
False
Suppose -2 - 5 = -3*x - 2*d, -4*x + 3*d = -15. Let a be (-1)/3 - 22/(-3). Suppose 2*f - 4*q + a = 97, 4*f = -x*q + 202. Is f composite?
True
Let o(t) = 2*t - 36. Let s be o(18). Suppose s = -4*p + 2*g + 2684, -5*p - g + 3355 = -0*g. Suppose 3*h + 2*z - 4*z - 401 = 0, 5*h = 4*z + p. Is h prime?
True
Let a(m) = -m**2 + m + 13. Let j be a(6). Let k(b) = b**2 + 17*b. Let y be k(j). Suppose y = 2*q - 1119 - 1607. Is q composite?
True
Suppose -28*b - 4*p + 1401729 = -25*b, 5*p - 934493 = -2*b. Is b a composite number?
False
Let o = 205 + -207. Is -26 + 21 - (-38 - o) a composite number?
False
Let o be 1/4 - (-3945)/60. Let g = o + -49. Suppose 3*s - 5*c - g = 0, 2*c = 5*c - 15. Is s a prime number?
False
Let l(v) = 43633*v + 1041. Is l(2) a prime number?
False
Suppose -5*s + b = 2*b - 27, 0 = -4*s - 3*b + 26. Suppose 0 = -3*r + 5*r + 3*y - 1678, 0 = -s*r - 4*y + 4195. Is r prime?
True
Suppose r = -2*r + t + 4192, 4*r - 5588 = 2*t. Suppose 497 = 5*m - r. Suppose -2874 = -5*p - m. Is p a composite number?
False
Suppose 48*g + 22*g = -14*g + 18609108. Is g a prime number?
True
Let l(a) be the second derivative of a**3/2 + 443*a**2/2 + a. Suppose -33*b + 24*b = -8*b. Is l(b) a prime number?
True
Let l(f) = 224*f**3 - 16*f**2 + 55*f + 7. Let i(v) = 112*v**3 - 8*v**2 + 28*v + 3. Let s(m) = 11*i(m) - 6*l(m). Is s(-7) a prime number?
True
Suppose -3*j - 40 = -11*j. Suppose 4*r + 1912 + 3901 = 3*t, -j*t + 9640 = 3*r. Is t composite?
False
Let w be 2 + -3 + (2 - 0). Suppose -9 = -5*o + w. Suppose 5*u = b + 8363 + 1079, 3772 = o*u - 2*b. Is u a composite number?
False
Suppose 4*x = 20, -2*p + 3*x - 2*x - 1 = 0. Let o(z) = 10 + 98*z + 15 + p. Is o(5) a prime number?
False
Suppose 4*g + 0*g - 16 = 0. Let d be 1561/3*(-6)/(-8)*g. Suppose -1930 = -t + d. Is t composite?
False
Let b(t) = -39025*t + 1728. Is b(-5) composite?
False
Let c be -5 + 1 + -34 + 33 + -199. Is 56793/5 + c/(-510) composite?
True
Suppose -j - 8582 = 2*g + 5588, -3*j + 14186 = -2*g. Let f = -2816 - g. Is f a composite number?
False
Let a = -629273 - -1274242. Is a composite?
True
Suppose -987*m - 72674 = -1001*m. Is m prime?
False
Suppose -5*l - 5*c = -889455, 3*l + 18*c - 533609 = 23*c. Is l a composite number?
False
Suppose -2*v - 147235 = -n, -2410*v = -5*n - 2411*v + 736164. Is n a prime number?
False
Let z(k) be the second derivative of 26*k**4/3 + 23*k**3/6 + k**2/2 - 257*k. Is z(-14) prime?
True
Suppose c + 2*f - 75946 = 0, -345874 = -3*c - f - 118026. Let o = 142277 - c. Is o a prime number?
False
Let t = 245 - 245. Suppose 5*b - 34787 = -4*h, t = 5*h + 15 - 5. Is b prime?
True
Let r(n) = n**3 + 16*n**2 - 15*n + 31. Let z be r(-17). Let j be 2266*16/(-8)*z/(-2). Is (-4)/6 + 2*j/(-36) a prime number?
False
Let i = 373 - 368. Suppose i*c - 32524 = 1131. Is c composite?
True
Let l(m) = -5*m + 50. Let g be l(9). Suppose 2*u = -g*u + 116711. Is u a prime number?
True
Let t = -12 + 25. Suppose 3 = -2*d + t. Suppose -2*m - u + 1732 = 0, 0 = d*u - 10. Is m composite?
True
Suppose 0 = m + 4*m + 10740. Let y = 58 - m. Suppose -5 = -3*o - 14, -y = -5*i - 3*o. Is i a prime number?
True
Let k(i) = i**3 - 17*i**2 + 16*i + 5. Let b be (144/(-30))/((-9)/30). Let c be k(b). Suppose 0 = -x + 2*u + 300, 6*x - 591 = 4*x - c*u. Is x a prime number?
False
Let t(r) = -r**3 + 3*r**2 + r - 3. Let i be t(2). Suppose -3 - 12 = -i*k. Suppose 1089 = 2*x + k*u - 72, 3*u = -4*x + 2301. Is x prime?
False
Is 1569234/12 + 7/(-14) composite?
False
Suppose 5*f + 25 = 0, 7*f + 125395 = 2*i + 6*f. Is i a prime number?
False
Suppose 2*c = -5*r + 15, 4*r - 6 - 6 = -c. Let y(s) = 5*s**2 - 2*s + 107. Let w(g) = 4*g**2 - 2*g + 108. Let p(u) = 6*w(u) - 5*y(u). Is p(c) a prime number?
True
Suppose 1607139 + 885982 + 1912072 = 221*b. Is b a prime number?
False
Suppose 0 = -2*n - 36*i + 35*i + 297708, 5*i = -2*n + 297716. Is n composite?
False
Let a = 128 - 79. Suppose -48*u = -a*u + 5539. Is u a composite number?
True
Suppose -4*t + 0*x - 847 = -3*x, -4*x + 436 = -2*t. Let c be 3*(t/12 + 0). Let h = c - -111. Is h prime?
True
Suppose -2*w - 10*p + 5*p = -14247, w = 2*p + 7119. Is w prime?
True
Let l = 3236072 + -2061123. Is l a prime number?
True
Suppose -1377756 - 532683 = -5*c + 2*m, -2*c + 5*m = -764184. Is c prime?
True
Suppose 51*t - 83793 = 48*t - 3*o, 3*t + 4*o = 83791. Is t composite?
True
Suppose -13988*i + 13947*i + 15620303 = 0. Is i composite?
False
Let v(p) = 463*p - 76 - 404*p - 139 + 626*p - 11. Is v(9) a composite number?
False
Suppose 291727 = 50*f - 22*f - 248421. Is f a prime number?
False
Let v be ((-6)/8)/((-5)/20). Suppose v*z - 3*g - 2*g = 9, 6 = 2*g. Suppose z*j - 5*j = 1893. Is j composite?
False
Suppose -x + 14 = -r, 4*r - 35 = -4*x - 11. Suppose 0 = -14*c + x*c + 80. Suppose -30*l + 5410 = -c*l. Is l prime?
True
Let x = -336 - -315. Is (x/18 - 1/(-6))*-3943 composite?
False
Let o(p) = -1032*p**3 - p**2 - 7*p - 7. Let i be o(-2). Suppose 0 = -4*n + i - 383. Is n prime?
False
Suppose -50*g = -54*g - 12, 2*p - 22914 = -4*g. Is p a composite number?
True
Suppose -15*z + 355571 + 264649 = 0. Let y = -23893 + z. Is y a composite number?
True
Let t(p) = -40*p**2 + 14*p + 7. Let i(l) = 117*l**2 - 43*l - 23. Let a(r) = -2*i(r) - 7*t(r). Let d(y) = y**3 - 1. Let s be d(-2). 