-52)/(3 - 2) prime?
False
Let t be (-93)/(-9) + (-1)/3. Let s = 14 - t. Suppose -s*a = -a - 99. Is a composite?
True
Let m(z) = z**2 + 4*z - 1. Let j be m(-5). Is 39 - -1 - (j - 1) composite?
False
Let k be 2/4 - (-2)/4. Is (-2)/k + (-110)/(-2) a prime number?
True
Let y(q) = q**3 - 4*q**2 + q - 4. Let z = -5 - -9. Let p be y(z). Suppose -2*l + 30 + 8 = p. Is l a prime number?
True
Let u = 617 + -406. Is u a prime number?
True
Suppose 4*o - 18 = -0*o + 5*v, -4 = -o + v. Suppose -o*i = -6*i + 76. Is i a prime number?
True
Suppose -4*j = 47 - 3. Let s be 6/9*-3*11. Let d = j - s. Is d a prime number?
True
Let m be (-2 - 0) + 266/7. Suppose 4*a - m = 5*t - 3*t, -5*a - 2*t + 63 = 0. Is a composite?
False
Let r = 53 + 29. Is r a prime number?
False
Suppose 794 + 936 = 2*i. Is i composite?
True
Let o be (6/4)/((-2)/(-4)). Suppose -2*r = -5*d - 91, -o*d + 9 = -0*d. Is r prime?
True
Is (1*-613)/(4 - 5) prime?
True
Let i(m) = -4*m - 3. Let r be (-60)/8 + (-1)/(-2). Let y be i(r). Suppose 0 = 3*f - 676 + y. Is f a prime number?
False
Is (-22)/99 - (-1145)/9 prime?
True
Let c(v) = 9*v - 1. Let f(g) = -g**2 - 5*g - 1. Let p be f(-5). Let y be c(p). Let m = y - -23. Is m a prime number?
True
Is (-2)/6 + 160/3 prime?
True
Let t = -1 - -23. Suppose 3*m = 4*j - t, 2*m - 36 = -4*j - 2*m. Is j prime?
True
Suppose 4*i = -2*p + 14, -11 = -3*p - 3*i + 2*i. Suppose p*m = 2*m + 31. Is m a prime number?
True
Let y be -1*(-3)/(-3)*-58. Suppose v - y - 201 = 0. Is v composite?
True
Suppose 2*x + 752 = -2*x. Let w = x - -345. Is w composite?
False
Suppose -2*k - 2 = 4. Let z = k - -5. Is z a prime number?
True
Let n = -24 + 46. Is (-919)/(-3) - n/(-33) prime?
True
Let s = 742 - 179. Is s composite?
False
Let q(f) = -77*f - 3. Let y(w) = 307*w + 13. Let l(x) = 9*q(x) + 2*y(x). Is l(-2) composite?
False
Let n(r) = r**2 - 19*r + 11. Is n(-15) prime?
True
Is -1 + 238 - 0/(-4) a prime number?
False
Let i(c) be the first derivative of -c**4/2 - 5*c**3/3 - 4*c**2 - c - 5. Is i(-8) prime?
False
Is 2*2498/8*2 composite?
False
Suppose 0 = 2*n + 119 - 507. Is n prime?
False
Let a(d) = d**3 + 7*d**2 - 10*d - 3. Let l be a(-8). Suppose l = -2*b + 83. Is b a prime number?
False
Let z(g) = g**3 - 15*g**2 + 19*g + 2. Is z(15) a composite number?
True
Let l = 8 + -6. Suppose 0 = -k - 0*k + l. Suppose 0 = -k*d + 10, -16 = -y - 4*d + 19. Is y composite?
True
Suppose p - 37 = -2*i, 29 + 2 = i - 2*p. Let r be (-2)/(-7) - 1564/(-14). Let b = i + r. Is b prime?
False
Let u = -46 - -238. Suppose 3*q - u = w + 282, -2*w = -4*q + 634. Is q prime?
True
Suppose 0 = 3*f - 2 - 13. Suppose -f*i + 4*s = 83, -70 = 4*i - 6*s + s. Is (i - -1)*(-57)/6 composite?
True
Let f(k) = 22*k + 3. Let h(j) = 44*j + 6. Let a(x) = -5*f(x) + 2*h(x). Is a(-4) composite?
True
Suppose 6*y = 225 + 9. Is y a composite number?
True
Let d = -294 + 608. Is d prime?
False
Suppose -24*q + 20*q = -10988. Is q composite?
True
Let t(m) = 13*m**2 + 8*m + 10. Let y be t(7). Let q = y - 377. Is q a composite number?
True
Suppose -x = 5*m - 672, 0*m - 5*x = -5*m + 660. Let f = 8 + -5. Suppose -m = -3*t - t + s, 4*t - f*s = 138. Is t a composite number?
True
Let h(q) = -46*q - 3. Is h(-7) a composite number?
True
Let l(u) = -u + 6. Let i be l(0). Let r(b) = -b**3 + 7*b**2 - 4*b - 8. Let x be r(i). Let f(y) = 6*y + 2. Is f(x) composite?
True
Let g(r) = 28*r - 5 + 8*r + 4. Is g(1) a prime number?
False
Suppose -18 = 2*y + 5*b, -3*b + 4*b = -y - 12. Let q be (2 + -3)/((-2)/y). Is (q - -1)*(-3 - -2) a composite number?
True
Let c(k) = -k**3 - 11*k**2 - 11*k + 11. Suppose 16 = -2*q + z, -3*z - 36 = 2*q + z. Let p be c(q). Suppose w + p = 110. Is w a composite number?
False
Suppose -3*o - z + 128 = 0, -3*o - 8*z = -3*z - 124. Let q = 80 - o. Is q a composite number?
False
Let o be (-33)/6*(-3 + -1). Let h = o + 33. Is h composite?
True
Suppose 0 = -5*m - 2*g + 599, -2*g + 0*g + 4 = 0. Is m a prime number?
False
Suppose -3*t = -4*l - 365, t + 8*l = 3*l + 147. Is t a composite number?
False
Let y = -15 + 11. Let r = 6 + y. Suppose r*t = 25 + 69. Is t a prime number?
True
Suppose 6*a - 11817 = 6771. Is a prime?
False
Let n = 668 - 331. Is n a composite number?
False
Suppose 6*y = 2*y + 5*x - 682, -178 = y - 5*x. Let q be 24/60 + (-32)/5. Is (-2)/q + y/(-9) prime?
True
Is -6 + 152/26 - 13602/(-26) prime?
True
Let o = 4 - 4. Suppose -m - 27 = -2*c, o*c + 2*m = -c + 21. Let d = c + -9. Is d a composite number?
True
Let d = -342 + 545. Is d a composite number?
True
Suppose -2*j = -4*t - 52, j + 3*t - 7*t - 30 = 0. Suppose j = 3*n + 2*i, 2*n = 4*i - 8 - 4. Suppose 1 = r + n, -5*m - 3*r = -1. Is m a composite number?
False
Let l = 10 + -10. Suppose 4*p = -l*p + 708. Is p composite?
True
Let w = -332 + 821. Is w a composite number?
True
Let f = 1257 - 808. Is f a composite number?
False
Let r(b) = b**3 + 8*b**2 - 2*b - 12. Let m be (-20)/(-1)*2/(-5). Let x be r(m). Suppose -x*u = u - 30. Is u prime?
False
Let n = -279 + 770. Suppose b + n = 2*b. Is b prime?
True
Suppose 0 = r + 4*r - 3*d - 3053, 2*d - 1847 = -3*r. Is r a prime number?
True
Suppose 0 = -2*k - 0*k + 5878. Is k a composite number?
False
Let v(h) = 11*h. Let x = 7 - 2. Suppose 2*u + 10 = 6*u + 2*m, -x*u + 5*m = -20. Is v(u) a composite number?
True
Suppose 4*f = -1 - 11. Is ((-22)/f + -3)*15 a composite number?
True
Let k(t) be the second derivative of t**5/20 + t**4/3 + t**2 + 2*t. Let i be k(-4). Suppose -3*n = 4*v - 357, 3*n + 0*v - i*v = 357. Is n a composite number?
True
Let x = -78 - -124. Is x prime?
False
Let b(d) = -20*d - 5. Is b(-2) prime?
False
Let v(l) = -473*l + 1. Let a be v(-1). Let m(s) = s**2 - 8*s + 8. Let d be m(19). Let y = a - d. Is y composite?
False
Suppose -4*j = -3*y - 23, j - 1 + 4 = -y. Let u = -2 - j. Let p(a) = a**3 + 10*a**2 + 5*a + 6. Is p(u) composite?
True
Suppose 4*d = -m + 386, 5*m + 95 = 3*d - 206. Is d a composite number?
False
Suppose -4*i - 2*t - 252 = 0, 270 + 44 = -5*i - 3*t. Let z be (3/(-2))/(6/i). Suppose 3*l + l = z. Is l a prime number?
False
Suppose -3*y + 337 = -4*n, 8 = 4*n - 0*n. Is y a composite number?
True
Let f(m) = 65*m + 2. Let t be f(2). Let w = -81 + t. Let c = w + -32. Is c a composite number?
False
Let z(u) = -u**3 - 5*u**2 + 6*u - 4. Let l be z(-6). Suppose -8*q = -6*q - 12. Is (66/l)/((-3)/q) prime?
False
Let t(n) = -3*n - 8. Let a be t(-10). Suppose a*o - 130 = 20*o. Is o a composite number?
True
Suppose w + 5 = -5*t, 4*w - 5*t - 4 = -t. Suppose w*s - 159 = -3*s. Is s a prime number?
True
Let k = 648 - 311. Is k a composite number?
False
Suppose 3*v + 2 + 3 = n, 0 = -4*n + 20. Let m(f) = -f - 3. Let z be m(0). Is (v + 1)/(z/(-231)) composite?
True
Let b(j) = 10*j**3 + 6*j**2 + 9*j - 8. Let a be b(6). Is 6/10 - a/(-5) a composite number?
True
Suppose 0 = 5*p - 1809 - 4016. Is p a prime number?
False
Suppose n + 9 = 56. Suppose 4*h + 4*r + 15 = n, -3*h + r = -36. Suppose -5*d + 15 = 3*q, -3*q - h = 4. Is d a composite number?
True
Let s be -1*1/(-1 - -2). Suppose 4*z + 20 = -2*p, 5*z + 6 = 2*p - 1. Is s - p - (-2 + -218) a composite number?
False
Let z = 2 - 2. Let q be (z - 1)*1 + 6. Suppose 0 = 4*i - q*r - 181, 4*i - 2*r - 161 = -r. Is i a prime number?
False
Suppose 11*v - 5*v = 18. Let m(q) be the second derivative of 10*q**3/3 - q**2/2 + q. Is m(v) a prime number?
True
Let h = 2113 + -1274. Is h a prime number?
True
Suppose -28*a + 2378 = -26*a. Is a a composite number?
True
Suppose 0*c + c + 20 = 5*v, 2*v = -4*c + 8. Suppose -5*j - b + 1253 = -5*b, -v*b = 8. Suppose 3*z + 84 = j. Is z composite?
True
Suppose -8*l = 2575 - 19943. Is l a prime number?
False
Let s(l) = l**3 - 10*l**2 + 15*l - 10. Is s(12) a prime number?
False
Let w be 1 - (-6 + 1 + 2). Suppose -4*y - 3*k + 10 = 0, -5*y + w*k = -2 + 5. Let u(t) = 15*t. Is u(y) composite?
True
Suppose 204 = 4*s - 112. Is s a composite number?
False
Is 23 - 0/(4 - 0) prime?
True
Suppose 0 = 21*r + 8890 - 29785. Is r prime?
False
Let f = -1377 + 3172. Is f prime?
False
Suppose 2*k - 14 = -w, -3*k + 2*w = 6*w - 26. Suppose 4*h - k*h + 76 = 0. Is h composite?
True
Suppose 4*c = -c + o + 249, 2*c + 3*o - 103 = 0. Suppose 6 = -0*g + g. Suppose -c = -g*a + a. Is a a prime number?
False
Suppose -6 = t - 4*t. Let c be (10/(-8))/((-3)/192). Suppose 5*f - 3*r - c = 0, 3*f = 4*f + 3