number?
True
Let g(z) = -15*z**3 + 2*z + 1. Let s be g(-1). Let a be 14/(-49) - (-46)/s. Suppose -5*f = y - 725, -a*f + 725 = 2*f - 3*y. Is f a composite number?
True
Let r(z) = z**3 + z**2. Suppose 3*u + 3 = -0. Let d be r(u). Suppose d = 5*q + 15, -2*t - q + 182 + 401 = 0. Is t prime?
True
Let s(y) = 34*y - 14. Let b(h) = -69*h + 26. Let m(p) = -3*b(p) - 5*s(p). Is m(23) composite?
True
Suppose 4*k + k = -10, y + 5*k + 14 = 0. Let o = 4 - y. Let i = 141 + o. Is i a composite number?
False
Is (-124)/(-31) + (1 - -13824) a composite number?
False
Let r(q) = -29*q + 64. Is r(-21) a composite number?
False
Suppose -4*d + 31 = 23. Suppose -2*v + 222 = 2*x - 0*v, -d*v = 2. Let c = x + -33. Is c composite?
False
Let y = -9163 - -27204. Is y composite?
False
Is (-1)/2*(53 + -42807) composite?
False
Let d(y) = -1145*y**3 + y**2 - 2*y - 2. Let s be d(-1). Let h = 109 + s. Is h prime?
False
Let u(x) = 877*x + 163. Is u(4) composite?
False
Let g = -52395 + 85232. Is g a prime number?
False
Suppose 0 = -y - 7 + 10. Is 1 - 5 - -236 - y/(-1) prime?
False
Let y = 31 - 32. Let f(m) = 3*m - 5. Let b(d) = -1. Let r(o) = 6*b(o) - f(o). Is r(y) a composite number?
False
Let r be 20/(-10) + 1 + 7887. Suppose 0 = -10*j + 8*j + r. Is j prime?
True
Let n(b) = -29*b**2 + 3*b + 12. Let y be n(-6). Let q = y + 3151. Is q a composite number?
True
Is -631*6/(-1 - 5) composite?
False
Let b = 17 - 11. Suppose -2*i = -b*i + 8. Suppose -i*u + 211 = -u + 5*f, -u - 2*f = -208. Is u a composite number?
True
Let b(h) = -h + 15. Let u be b(12). Suppose j = -3*n + 1631, -2*n + 2*j = -u*j - 1076. Is n composite?
True
Suppose 2*b + 725 - 7411 = 0. Let u = b + -1496. Is u prime?
True
Suppose -2*u = p - 3, 2*u - u = -4*p - 2. Suppose -3*m = 5*m - 4*m. Suppose u*k + r - 421 = m, 0 = k + 3*r - 4*r - 212. Is k composite?
False
Suppose -2*t + 12 = 5*s, -4*s + 12 = -3*s - 2*t. Let d be 138/s - (-9)/18. Suppose 5*b - 450 = d. Is b composite?
False
Suppose -2*y - 5 - 59 = 0. Let w(o) = o**3 - 8*o**2 + 7*o - 2. Let r be w(5). Is (r/(-8))/((-8)/y) prime?
False
Let l = -5541 - -15263. Is l a composite number?
True
Suppose -2*h + 2*d + 47943 = 3*h, 0 = 4*h - 4*d - 38364. Is h prime?
True
Suppose -19*l + 15*l + 144 = 0. Suppose 0 = 5*j - 2*m - l, -2*j = j - 2*m - 20. Is 14/56 - (-8486)/j composite?
False
Suppose 0 = 3*a - 4 + 1. Let t be a/(-2 - (-22)/10). Suppose 0 = -3*f + 4*d + 207, f + 69 = 2*f - t*d. Is f a prime number?
False
Suppose -4*w + 235 = n, -n - 5*w = -3*n + 483. Let o = n + -124. Suppose -5*x + o = -v, -2*x + 2*v - 5 + 51 = 0. Is x composite?
False
Let b(k) = k + 3. Let a be b(-3). Let u(y) = -2*y + 31. Let x be u(14). Suppose a = 4*i + 4*t - 480, x*t - 1 = 2. Is i a prime number?
False
Suppose 43*g - 45*g = -21374. Is g a composite number?
False
Let s(v) be the second derivative of -23*v**4/12 - v**3/3 - v**2/2 - 2*v. Let u(d) = 23*d**2 + 2*d + 1. Let f(j) = 3*s(j) + 4*u(j). Is f(2) a composite number?
False
Suppose -15*n + 16*n = -4. Is (-4 + 108/n)/(-1) composite?
False
Let u(o) = o**3 - 6*o**2 + 14*o + 1. Is u(10) prime?
True
Let t = 16593 + -3962. Is t a composite number?
True
Suppose -5*s + 17 = 7, 0 = -5*l - 2*s + 122209. Is l prime?
False
Let w(o) = -60*o - 32. Let f be w(-7). Let g = 63 + f. Is g composite?
True
Let k be 3/(4/(-6) - (-68)/48). Suppose -k*b = t - 237, 539 = 2*t + 4*b + 65. Is t a composite number?
True
Suppose 4*j - 752 = 2*w, 3*w - 5*w + 949 = 5*j. Let i be j/(((-15)/9)/5). Is -2 - (-1)/((-3)/i) composite?
True
Let t(n) = 14*n**2 - 13*n + 53. Is t(-16) prime?
False
Let h be 1 + (-4480 - (-1 - -4)). Is h/(-30) + 2/(-5) prime?
True
Let x = 27 + -31. Is 51480/56 + x/14 composite?
False
Let o be 17/3 - 18/27. Suppose -3*h - 6 = -o*i + 80, -2*i - 4*h = -50. Is i composite?
False
Let j(b) = -4 - 4 + 11 + 9*b + 621*b. Is j(3) a composite number?
True
Suppose -8 = -0*o - 2*o. Is o - (0 + 0 - 335) composite?
True
Let d = 0 + -20. Let z be ((-48)/d - 3)*-5. Suppose z*f + 254 = 5*f. Is f prime?
True
Suppose 4*t + 13149 = 5*g, 3*g - t = 4*t + 7879. Suppose f + 4*i - 541 = 0, 3*f = -2*f - 2*i + g. Is 2/(-8) + f/4 composite?
False
Is 3/6*(-6 + 8660) a composite number?
False
Suppose -4*w + 3*w = 4*w. Let g(i) = -i**3 + 2*i**2 + 2*i + 407. Is g(w) prime?
False
Let k(y) = -14*y**2 - 3*y - 10. Let p(a) = 15*a**2 + 3*a + 10. Let l(d) = -3*k(d) - 2*p(d). Let m(s) = s + 4. Let z be m(-13). Is l(z) a composite number?
True
Let a(v) = 276*v + 35. Is a(5) a composite number?
True
Suppose -3*y + 9350 = 3*m - 6226, 2*m - y - 10375 = 0. Is m a composite number?
False
Let a(k) = k**2 - 4*k - 8. Let h(r) = 2*r**2 + 6*r + 1. Let i be h(-5). Suppose p - i = -3*l, 2*p = 4*l - 2*p - 12. Is a(l) prime?
False
Is (1 + (-15)/6)*(-1609 + -49) a composite number?
True
Let b(q) = q**2 + 5*q + 8. Let i(o) = o**2 - 8*o - 8. Let y be i(10). Let r be b(y). Suppose -2*s + 6*s = r. Is s a prime number?
True
Let j(b) = b + 10. Let g be j(-9). Is (88/(-32))/(g/(-52)) prime?
False
Let g(f) = -239*f - 44. Is g(-3) a prime number?
True
Let q(s) = 2*s**2 + 3*s + 2. Let z = 16 + -18. Let c be q(z). Suppose -294 = -g + c. Is g composite?
True
Let c(d) = -391*d + 627. Is c(-16) a composite number?
False
Let w(h) = -3*h**3 - 26*h**2 - 20*h + 29. Let f(r) = -r**3 + r. Let t(b) = 2*f(b) - w(b). Is t(-20) a composite number?
False
Suppose 5*j = j + 4472. Suppose b + 2*k + 259 = j, -k - 850 = -b. Is b prime?
True
Let q = 64 - -35965. Is q a prime number?
False
Let q(f) be the third derivative of -f**4/2 - 5*f**3/6 - f**2. Suppose -208*g + 50 = -233*g. Is q(g) composite?
False
Is (-4)/(-7) - 417059/(-161) prime?
True
Is 300/(-40) + (-3)/(-2) - -1751 prime?
False
Suppose 129*b + 11516 = 131*b. Is b composite?
True
Suppose -y + s = -189, -3*y + s + 555 = 4*s. Let g be 5378/(-3)*(-3)/2. Suppose y = 4*u - g. Is u prime?
True
Let l be (601 + 0)*(-6 + 9). Let n = 980 - l. Is (-1)/(3 + n/274) composite?
True
Let r = -8 - -5. Let b be r*(4641/(-9) - 1). Is (-2)/(-7) - b/(-14) prime?
False
Let a(l) = -l - 2. Suppose -2*z = -0*h - 3*h + 7, 4*h - 6 = 2*z. Let q be a(z). Suppose -q*b = -0*b - 1257. Is b a composite number?
False
Suppose 3235 = -2*f + 5*v, -3*f + 4*v + 2071 - 6927 = 0. Let i = -1033 - f. Is i prime?
True
Suppose -3*n + 425 = 5*y, -2*y + 2*n + 86 = -84. Let o be 6/((-2)/y - 0). Let r = -146 - o. Is r a prime number?
True
Let g = -1 + 5. Suppose -4*a - a - 5*b = 30, -g*a = -4*b - 8. Is (-1 + 2)/(a/(-1438)) a prime number?
True
Suppose 31*f - 2836041 = -8*f. Is f a prime number?
True
Let w = 60512 + -6619. Is w prime?
False
Let v = -6906 - -3540. Is 1/(-5) - v/5 prime?
True
Let n(i) = i + 1. Let j(c) = -525*c - 8. Let x(p) = j(p) + 6*n(p). Is x(-1) composite?
True
Let u = 4754 + 16049. Is u prime?
False
Suppose 164476 = 13*y + 39*y. Is y prime?
True
Is 4*(-2421)/36*(1 + -18) composite?
True
Suppose -68287 - 18755 = -6*m. Is m composite?
True
Suppose 5*u = 4*u + 8355. Let o = u - 4040. Is o prime?
False
Let v(k) = 4*k + 40. Let y be v(-10). Suppose -5*t = -2*u + 687, y*u - 5*t = 4*u - 1299. Is u composite?
False
Let h(x) = 178*x + 7. Let o(d) = -d**2 - 8*d - 11. Let c be o(-5). Is h(c) composite?
False
Let i(c) be the second derivative of -299*c**3/2 + 3*c**2 - c. Let r be i(5). Is r/(-5) + (-4)/5 prime?
False
Suppose x = -3 + 18. Is 290*(-2 + x/6) a composite number?
True
Suppose 20*i + 78134 = 467274. Is i a prime number?
True
Let t = 1847 + -312. Is t a prime number?
False
Is (5247/27 + 1)/((-4)/(-6)) a prime number?
True
Let t be (6/(-5))/(2/(-500)). Let l(a) = 2*a**2 - 7*a + 11. Let y be l(6). Suppose q = -y + t. Is q a composite number?
True
Let u = -82 + 89. Suppose -2*s - 2*b = -70, -u*s + 6*s + 5*b = -47. Is s a composite number?
False
Let x be -1 - -1 - 3/(-1). Suppose -x*h + 568 = 5*h. Is h a prime number?
True
Let o(k) = -110*k - 12. Let z(t) be the second derivative of -55*t**3/6 - 3*t**2 - 7*t. Let v(j) = 3*o(j) - 5*z(j). Is v(-7) a composite number?
False
Suppose -18*l + 21*l + 12472 = 2*v, -l + 24930 = 4*v. Is v prime?
False
Let s = 2089 - 1236. Is s a prime number?
True
Suppose -5*g + g = -936. Suppose -2*r + 444 = -5*z, 2*r = -z - g + 702. Suppose -v - 15 = -r. Is v composite?
True
Let w = -4313 - -2323. Let k = w - -3533. Is k composite?
False
Suppose -a - a + 5 = i, 3*a = 5*i + 27. Let v(b