. Is z prime?
True
Suppose 3*r - 187312 = -k, 3*r + 5*k - 34401 = 152915. Is r a prime number?
False
Suppose 2*t = -2*u + 22730, 2*u = 3*t + 2*t - 56853. Is t prime?
True
Let y(m) = -m**2 - 11*m - 7. Let p be y(-11). Is (-5027)/(-77) - (-2)/p prime?
False
Let y(h) = 23*h**3 + 23*h**2 - 23*h - 2. Let g(m) = 8*m**3 + 8*m**2 - 8*m - 1. Let a(u) = -17*g(u) + 6*y(u). Let f be a(-4). Is (-4 - 0 - -3)*f a prime number?
True
Suppose -1 = -j + 630. Let t = j - 222. Is t a composite number?
False
Suppose -c + 5*w = 366 + 318, c = 3*w - 680. Is -1 - (-2 + -2) - c a composite number?
False
Let n(m) = 5*m**3 + 7*m. Let u be n(-7). Let p = 5875 + u. Is p prime?
True
Let k be (1 - (-33)/(-21))*-7. Is (982/(-2))/(2*(-2)/k) prime?
True
Let k(b) = -9*b + 7. Suppose -2*l - 10 = -4. Is k(l) prime?
False
Let u(o) = 48*o**2 + o + 1. Let k = 29 + -23. Let c(s) = s - 8. Let f be c(k). Is u(f) prime?
True
Let l = 2551 + -1644. Is l prime?
True
Let s(i) = -4*i**2 + 2*i - 3. Let x be s(-3). Let o be (231/(-44))/(3/8). Let p = o - x. Is p composite?
False
Let t = 95 + 1056. Is t composite?
False
Let c(o) = 2146*o + 527. Is c(50) a composite number?
False
Let j be (1 + 99)/(20/10). Suppose -4*k + 5*l = 9 - 51, -4*k + j = -l. Is k a prime number?
True
Suppose -3*m + 10757 = 3*c + 2*m, -5*c - 5*m + 17935 = 0. Is c a composite number?
True
Let q be (8/(-4))/4*-10. Suppose q*n - 578 = 1182. Suppose t + 33 = n. Is t prime?
False
Let w = -9 - -12. Suppose -5*t + w = -17. Suppose -t*o - 634 = -6*o. Is o a composite number?
False
Suppose 3*k - 6735 = s - 4*s, 8 = 4*k. Is s composite?
False
Let x be -4 + 48/(-1 + 5). Suppose o = x*o - 2989. Is o composite?
True
Let t(r) be the first derivative of 4*r**5/15 - r**4/8 - 5*r**3/6 - 5*r**2/2 + 2. Let a(l) be the second derivative of t(l). Is a(-4) a prime number?
True
Let b = -601 + 1249. Let m = b - -267. Suppose w + m = 6*w - 5*c, -w + 163 = 4*c. Is w prime?
True
Suppose -9*s + 136 = -5*s. Suppose -28*x = -s*x + 582. Is x a prime number?
True
Let f(p) = 444*p + 13 + 104*p - 60*p. Is f(3) prime?
False
Let d = 9 - 17. Is 252 - d - 1/2*2 a composite number?
True
Let o = 344743 + -485495. Is 4/6 - o/48 prime?
False
Suppose 5*r + 457446 = 2*o + 148643, -o + 4*r = -154397. Is o composite?
False
Let h = 54653 + -36070. Is h composite?
False
Let k(n) = 5*n**2 - 27*n - 483. Is k(-50) a prime number?
True
Let k be 166/(((-2)/(-5))/1). Let n = k - 749. Let v = -189 - n. Is v a composite number?
True
Let o = -8 + 17. Let h be (7/(-21))/((-1)/o). Suppose -10*g + h*g = -4613. Is g a prime number?
True
Let t(g) be the first derivative of 11 - 3*g + g**2 + 4/3*g**3. Is t(-10) a composite number?
True
Let j(s) = 123*s - 8. Let k be j(4). Suppose 2*l + 4 = 0, 4*l = -2*y - 2*y + k. Is y prime?
False
Let h = -471 - -862. Let r = -243 + h. Suppose 2*z + r = 6*z. Is z prime?
True
Suppose 0 = 8*n - 4*n + 3*u - 59630, u - 29816 = -2*n. Is n composite?
True
Suppose 9534 = 25*u - 39791. Is u prime?
True
Let o(r) = -r**3 + r + 2441. Let j be o(0). Let z be -1*(-1)/2*4. Suppose 3264 = 4*q + w, -w + j = 3*q - z*w. Is q composite?
True
Let z be 17/6 + (-6)/(-36). Suppose q + 5 = 0, -18 = -z*r - 3*q + 15. Is 348/r + (-1)/(-4) prime?
False
Is -2 + (-1142*1)/(8/(-12)) a composite number?
True
Suppose 13447 = -30*c + 32*c - 3*i, 4*i = 20. Is c prime?
False
Let m = 14 - 15. Let h be m - -1 - -30 - 3. Let t = -4 + h. Is t a prime number?
True
Let z be (-2)/6 + 34/(-6). Let s(m) = 39*m + 6. Let i(y) = -y + 1. Let o(b) = -i(b) - s(b). Is o(z) a composite number?
True
Let o be 55/(-6) + 15/90. Let l(r) = 10*r**2 + 10*r - 19. Is l(o) a prime number?
True
Let y be 90/(-75)*(-10)/4. Suppose -y*i = 8*i - 1837. Is i composite?
False
Let m(t) = -t + 13. Let y be m(11). Suppose y*k = -k. Suppose 0 = -k*l - 3*l + 21. Is l a composite number?
False
Let n(p) = 6*p + 64*p**2 + 0*p + 0 + 67*p**2 - 1. Is n(-2) prime?
False
Let y(t) be the third derivative of -t**5/60 - 7*t**4/24 + 2*t**3 - 4*t**2. Let a be y(-9). Is (4/a)/((-2)/12) a composite number?
True
Let w(k) = 39*k + 5. Suppose j = -2*j + 6. Is w(j) a composite number?
False
Let g be (-8)/(-2) + (-3 - -5). Let i be (-2)/(-4 + g) + 4. Suppose -4*n = i*b - 514, -5*b + n + 539 = -2*b. Is b composite?
True
Is -3 - (-15)/(-2)*80332/(-35) prime?
False
Let a be (113 + 1)/(6/(-8)). Let b = 9 - a. Let r = b - 96. Is r a composite number?
True
Let m be (3/(-4))/(18/(-48)). Suppose 2*g - 1526 = 4*q, m*g = 3*g - q - 765. Suppose 4*k + 1680 = 5*j - g, -2*j + 4*k = -986. Is j prime?
True
Suppose -154*m + 159*m - 66205 = 0. Is m composite?
False
Let i(l) = 136*l**3 + 6*l**2 - 57*l + 19. Is i(6) a composite number?
False
Let m(d) = 14*d**3 + 5*d**2 + 56*d + 28. Let p(v) = -5*v**3 - 2*v**2 - 19*v - 9. Let b(r) = 6*m(r) + 17*p(r). Is b(-10) prime?
False
Suppose 16*u - 224703 = 111377. Is u prime?
False
Suppose -15 + 23 = 2*x. Suppose 0*d - d + 766 = x*n, -760 = -4*n + 2*d. Is n composite?
False
Let i(b) = b**3 - 9*b**2 + 8*b + 3. Let j be i(7). Let m = j - -19. Let y = m - -23. Is y composite?
False
Is (6962 - -11)/((-3)/3*-1) a composite number?
True
Let o(z) be the first derivative of 23*z**2 - 5*z + 5. Is o(9) a prime number?
True
Suppose -3*l - 10971 = -3*x, 4*x + 3*l - 2*l - 14638 = 0. Is x prime?
True
Let m(t) = 236*t**2 + 3*t + 28. Let r(w) = -118*w**2 - w - 14. Let d(h) = -2*m(h) - 5*r(h). Is d(3) a composite number?
True
Is 23979978/594 - (2 + (-8)/3) prime?
False
Suppose 5*t - 1626 = -z, 5*z + 0*t = -t + 8058. Suppose 6*s - 4*r = s + z, -4*r + 4 = 0. Is s a composite number?
True
Let o = 41 - 36. Suppose 16 = 4*x - o*x. Is (0 + 10)/(x/(-232)) a prime number?
False
Is 2/(((-75)/44450)/(6/(-8))) composite?
True
Let p be -4*2*(-2)/8. Suppose 2*j + 74 = 4*x, 0*x - 4*j = 5*x - 86. Is (3393/x)/(1/p) a composite number?
True
Suppose -2*x + 4*n = -12906, 5*n - 2383 - 4056 = -x. Is x prime?
True
Suppose -4*y - 5*m - 26 = 6, 0 = 5*y + 5*m + 35. Let p be 3/(6/8) + -166. Is (2 + y - p)/1 a prime number?
False
Suppose 18 = -3*o + 5*o. Suppose 20 = -5*j, 2*h - 52 = -2*h - 5*j. Is o/6*5028/h prime?
True
Suppose 27 = -4*k - 4*y - 13, 5*y = 15. Let r(s) = -s**2 - 15*s - 3. Is r(k) prime?
True
Let l = 28167 - 13846. Is l a prime number?
True
Let y(g) = g + 9. Let p be y(-7). Suppose 5*t + p*b - b = 307, -2*b + 242 = 4*t. Is (t/(-3))/((-2)/21) a prime number?
False
Is (-4)/(-52) + (-357616)/(-13) composite?
False
Let p(h) = 7*h**2 + 2*h + 5. Let f(o) = -7*o**2 - o - 6. Let k(d) = 6*f(d) + 7*p(d). Let j(z) = z**3 + 33*z**2 + 93*z + 96. Let q be j(-30). Is k(q) prime?
False
Let j(b) be the third derivative of -b**4/8 + 3*b**3/2 + 2*b**2. Let c be j(-12). Is 1*(c - (-3 - -1)) a prime number?
True
Let u(k) = 91*k - 25. Suppose 2*j = -8, -3*r - 4 = 5*j - 2. Is u(r) composite?
False
Let z = 1477 + 1584. Is z prime?
True
Let j(q) be the second derivative of 14*q**4/3 + q**3/3 - q**2 - 7*q. Let p be j(4). Suppose -438 = -2*t + 2*h + 2*h, p = 4*t + 5*h. Is t a composite number?
False
Let s = 9911 + -6324. Is s composite?
True
Let o(s) = 212*s**2 - 9*s + 8. Let x = 34 + -33. Is o(x) a composite number?
False
Suppose -4*y + 26 = 4*k - 2*y, -2*k = -2*y - 10. Let n = k - 4. Suppose n*v + v = 561. Is v prime?
False
Let v(g) = -g**3 + 4*g**2 - 3*g - 3. Let l be v(3). Suppose 20 - 19 = x. Is (l - -2)*x*-37 prime?
True
Let f be -4 - (0 + -2) - -2. Suppose c - 52 = -b + 4*b, 2*c - 5*b - 106 = f. Is c a composite number?
True
Suppose 10*u - 60770 = 5*u + 5*l, -4*u = -5*l - 48619. Is u a prime number?
False
Let y = -1589 - -2658. Is y composite?
False
Let r = -83 - 1033. Let n = 1739 + r. Is n prime?
False
Let u(m) be the second derivative of -17*m**3/2 + 35*m**2/2 + 13*m. Is u(-26) composite?
False
Is ((-120264)/27)/(-8) - 2/(-9) composite?
False
Suppose -4*f = -5*k + 21507, 2*k + 0*f = f + 8601. Is k a composite number?
True
Let t(g) = -g + g**3 + 8*g**2 - 2*g**2 + 3 - 2. Let h be (-4 + 6)*-2 - (0 + 1). Is t(h) a prime number?
True
Let k(v) = -2 - 9 + 2 - 3 - 11*v. Let j be k(-8). Let z = j - -3. Is z a composite number?
False
Suppose -h + 4 = -0. Suppose 1531 = 3*l - h*o, -5*o + 2093 = -l + 5*l. Suppose 4*m - 2*t + 59 - l = 0, -111 = -m + 4*t. Is m a prime number?
False
Suppose -5329 = -14*y + 2091. Suppose -2 = 5*p + 3*f - 14, -2*p - 5*f + 1 = 0. Suppose 7*s - 3*j 