r?
False
Suppose -g - 3*u = 7, 19 = g + g - 5*u. Suppose 2*l = -5*n + 15, -g*l = -0*l. Suppose -n*j + 1 = -17. Is j composite?
True
Suppose -1466 = -3*i + 5*r, -3*r = 2*r - 10. Suppose -3*a + i = a. Is a a composite number?
True
Let p = -4 + 6. Suppose -o - 145 = -p*o. Is o a composite number?
True
Suppose 20 = n + 3*n. Is (-2 + (-61)/n)*-5 a composite number?
False
Let f(q) = 69*q + 1. Let t be f(1). Let r = 139 - t. Suppose 6*k - 3*k = r. Is k a composite number?
False
Let d(g) = 6*g + 3. Suppose -3*w - 4 - 2 = 0. Let o be d(w). Let f = o + 40. Is f a composite number?
False
Let g(o) = -95*o + 3. Is g(-10) a prime number?
True
Suppose -5*x - 2 = -2*a, -x - 7 = 2*a + 3. Suppose 0 = 3*u + 1 - 10. Is 2 - (-427 + x)/u prime?
False
Let z = -3 - -7. Suppose -z*k + 5*d = -1223, -5*k + 1534 = 5*d - 6*d. Is k a composite number?
False
Suppose -5*y + 8*x + 11415 = 3*x, -2*x = -3*y + 6851. Is y a prime number?
False
Let u(d) = 47*d**3 + 3*d**2 - 3*d - 3. Is u(2) a composite number?
False
Let t = 199 - 72. Is t composite?
False
Let p = -17 + 29. Let q = -9 + p. Let l(i) = 48*i**2 - i + 2. Is l(q) a composite number?
False
Let n(v) = -v**2 - 9*v - 1. Let u be n(-8). Let m = u + -3. Is (-3)/(-12) + 51/m a prime number?
True
Suppose -4*o - 257 = 5*s - 729, 0 = 5*s + 3*o - 469. Suppose -3*u + s = 4*p - 6*u, 0 = -3*u. Is p a composite number?
False
Let x = -5 + 1. Let o be ((-250)/15)/(x/18). Suppose 2*n - 3*z = o, z + 105 = 3*n - z. Is n prime?
False
Suppose -6*b + b + 10 = 0. Let m be 7/3 - (0 + -2)/(-6). Is ((-1)/b)/(m/(-148)) composite?
False
Suppose -633 = -5*z + 2*a, -2*a - 380 = -3*z - a. Is z composite?
False
Let z(s) be the third derivative of -s**4/24 + 13*s**3/6 + 2*s**2. Let j be z(11). Suppose 5*w - 58 = -x + 2*w, -j*w = 4*x - 202. Is x composite?
True
Let c(h) = 733*h**3 - h**2 + 3*h - 2. Is c(1) prime?
True
Let q be 1 + -10 + (-2 - -2). Let p be 3/(-3)*1*-227. Is 2/q - p/(-9) composite?
True
Suppose 4*t = 2*t. Suppose -f + 16 + 17 = t. Is f a prime number?
False
Let n(u) = -u**3 + 4*u**2 - u - 2. Is n(2) a composite number?
True
Suppose 5*b - 3*b + 16 = 0. Let j = b - -14. Is (-3489)/(-27) + j/(-27) a composite number?
True
Suppose -o = -i + 3649, -5*o - 17 = -7. Is i a prime number?
False
Let q(d) = -2*d - 9. Let s be q(-6). Suppose -2*w = s*w - 445. Is w composite?
False
Let a = 394 + -209. Is a a prime number?
False
Let m(s) = -s**2 + 17*s - 13. Is m(12) a prime number?
True
Let t(u) = -u**2 - 3 - 13*u - 6*u + 5*u - 5. Is t(-9) prime?
True
Let c = 25 + -15. Let x = -6 + c. Suppose -2*d + g - x = -3*d, d - 5*g - 4 = 0. Is d composite?
True
Suppose 1447 + 1148 = 5*n. Is n a prime number?
False
Suppose -2*t - 3*t = 175. Let a(j) = j - 70. Let m be a(0). Let z = t - m. Is z a prime number?
False
Suppose 4*i + 2*f = 3*i, -5*i + 2*f = 0. Let l(r) = -r**2 + 9. Let v be l(i). Suppose v + 10 = s + 3*c, -4*c + 4 = -4*s. Is s a prime number?
False
Suppose -2*c - 3*c = -15. Let p = -3 + c. Suppose p = -2*s - 5 + 1, 5*h + 5*s = 120. Is h a prime number?
False
Let a = -27 + 127. Suppose -2*k = -154 - a. Is k a prime number?
True
Suppose 3*n + 170 = y, y = n + 218 - 54. Is y composite?
True
Let s = -633 - -1044. Is s a composite number?
True
Suppose -q = 4*j - 3*q + 1192, -4*q + 8 = 0. Is 2/(-8) + j/(-4) composite?
True
Let a be (-9)/4 - 2/(-8). Let b be 1 + 91 + 2/(-2). Let r = b - a. Is r composite?
True
Let u(v) = v**3 + 4*v**2 + 5. Let q be u(-4). Is q/15 + (-7492)/(-6) prime?
True
Let w = -30 - 76. Let r = 309 + w. Is r prime?
False
Let y(z) be the second derivative of -1/6*z**3 - 1/3*z**4 - 3/2*z**2 + 1/10*z**5 - 2*z + 0. Is y(4) composite?
True
Let c(w) = w**2 + w - 2. Let f be c(3). Suppose 0 = -3*u + 5*h - 2 - 12, 5*u = 5*h - f. Suppose k = -u*o - o + 164, 0 = -o - 5*k + 78. Is o a prime number?
True
Suppose -41*y - 17379 = -50*y. Is y a prime number?
True
Suppose 0 = -10*r + 5*r + 2*k + 8, -3 = -3*r + 3*k. Let f(y) = 2*y. Is f(r) composite?
True
Suppose -19*x - 3505 = -24*x. Is x prime?
True
Let d(j) = 3*j**3 - 30*j**2 + 2*j + 28. Is d(15) composite?
False
Suppose -4*j = -5*y + 73, -y + 3*j = 6*j - 7. Let u = y - 7. Suppose 2*b = -5*o + 75, 3*b + u = -o + 21. Is o a composite number?
True
Suppose 3*i = -7*i + 18930. Is i prime?
False
Suppose -2*p + 4*v = 126, 2*p - 3*p - 5*v = 42. Let g = -24 - p. Is g a composite number?
True
Let i = 834 - 452. Is i a composite number?
True
Let h(y) = -4*y + 4. Let c be h(4). Let z = 12 + -12. Is (-237)/c*(4 - z) a composite number?
False
Suppose -3*u = -17 - 16. Is u a composite number?
False
Let k = -65 + 84. Is k a prime number?
True
Let a(o) = o**2 - 9*o + 15. Is a(11) a prime number?
True
Let m(x) = 17*x**2 + 4*x - 16. Is m(-5) prime?
True
Let t(u) = -6*u - 15. Let c(a) = a + 1. Let q(p) = 5*c(p) + t(p). Let k be q(-8). Is (-7)/(-3)*(-6)/k composite?
False
Is -3*(165/(-9) + -4) composite?
False
Let i(b) = -b + 5. Let a be i(5). Suppose -4*g + a*g = -816. Suppose -z + g = 3*m, -3*m - 3*z + 195 = z. Is m prime?
False
Let g = 2 + -3. Let o be ((-2)/4)/(g/4). Suppose 5*i - 57 = 2*y, 73 = 5*i - 0*y + o*y. Is i a composite number?
False
Let x be 2/6 - (-224)/(-6). Let a = 97 + x. Suppose -2*z + a = -8. Is z composite?
True
Suppose k = 62 + 65. Is k a prime number?
True
Let p(v) = -43*v + 8. Let r be p(-6). Let l = 453 - r. Is l prime?
False
Suppose 4*u = 8*u - 76. Suppose -3*r = -u - 74. Is r composite?
False
Suppose -787 = -3*q + 440. Is q a prime number?
True
Let f(d) = 12*d**2 + 17*d + 3. Is f(-4) a composite number?
False
Let i be 14/(-2)*6/(-6). Let r = -4 + i. Is (2 + r/(-2))*98 a prime number?
False
Let l(g) = -4*g**3 + 4*g - 5. Is l(-4) a prime number?
False
Suppose 0 = r - 4*r. Suppose -2*j + 4*h - 23 = -7*j, 2*h - 19 = -5*j. Suppose r*p = j*p - 18. Is p a prime number?
False
Let f(g) = 2*g**3 + 4*g**2 + g - 5. Let z be f(-6). Let w = -172 - z. Is w a prime number?
True
Suppose 11*a - w = 12*a - 649, 2598 = 4*a + 5*w. Is a a composite number?
False
Is ((-4)/(-6))/(4/5802*1) composite?
False
Suppose -4*w + 3272 = 4*z, -w + 3*z - 4084 = -6*w. Is w prime?
False
Suppose -t = 5*o - 1036, -t + 497 + 533 = -o. Is t a prime number?
True
Let y(v) = -672*v**3 + v**2 - 2*v - 2. Is y(-1) prime?
True
Let q(r) be the first derivative of 5*r**3/3 + 11*r**2/2 + 3*r + 8. Let s(a) = -a**3 - 4*a**2 + 2*a. Let t be s(-4). Is q(t) composite?
True
Suppose -3*o + o = -494. Is o prime?
False
Suppose -729 = -2*q + 273. Let h be -4*(1 - q/12). Suppose 0 = -2*a + h + 9. Is a a composite number?
True
Let b be (-2)/(-7) + 2/(-7). Let y be b - (2 - 3)*5. Suppose y*a + 2*l - 187 = 4*l, -5*l = a - 32. Is a a composite number?
False
Let f(y) = 105*y**3 - y**2 - y + 1. Let o be f(1). Suppose -4*q - 5*x = -o, -2*q - 3*x + 31 + 21 = 0. Is 1*q*2/4 prime?
True
Is 635/10*40/4 prime?
False
Is (-1)/(((-30)/20035)/6) a prime number?
True
Let q = 261 + -120. Is q composite?
True
Suppose 0 = -5*j + j. Let d(h) = -h**2 - h + 127. Is d(j) composite?
False
Let n(d) be the first derivative of 9*d**2/2 - 8*d + 2. Is n(7) a composite number?
True
Let v be (-14)/(-63) + (-1490)/(-18). Let j = 248 + v. Is j prime?
True
Let z = -6650 - -9371. Is z a prime number?
False
Suppose 3*b = 2*b + 5. Suppose -4*i + 16 = -2*h, 5*h - b*i + 22 = -i. Is 2/1 - (h + -18) a composite number?
True
Suppose w - 413 = -0*w. Is w prime?
False
Let x be 1 - 2 - (-1 + -3). Suppose x*z - 5*z = -222. Is z prime?
False
Let x be 1*3*2/3. Suppose 2*o = 6, 2*p + x = -o + 9. Suppose p*a + 75 = 7*a. Is a a prime number?
False
Suppose -5*j + 5*g + 1677 = 2*g, -3*g + 1653 = 5*j. Suppose 0 = y + a - j, -3*y = -0*y - 2*a - 1019. Is y prime?
True
Let n(a) = a + 2. Let w(s) = -s**3 + 2*s**2 + 3*s - 3. Let t be w(2). Let v be n(t). Suppose v*c - 2*c + 2*u - 105 = 0, -5*u = 0. Is c a composite number?
True
Let v = 1155 - -1348. Is v a composite number?
False
Is 2/((-1)/((-1538)/4)) composite?
False
Suppose 333 - 77 = -4*s. Let g be -1 + 2 - -2 - s. Suppose -3*d + 4*d - g = 0. Is d a prime number?
True
Let s be 403*-3*(-3)/9. Suppose -3*c + 560 = -s. Let a = c + -110. Is a composite?
False
Let i = -62 - -125. Let g be (0 + -6)/(9/42). Let z = i + g. Is z composite?
True
Suppose -3*b + 3 + 9 = 0. Let q(j) = 3*j**3 + 3*j**2 - 2*j + 5. Is q(b) prime?
False
Let r be (-38)/(-6) - 1/3. Let y be (