u composite?
True
Suppose 3*c + 5*y = -94 + 509, -4*y = 16. Is c prime?
False
Is ((-1)/(-2))/((-3)/(-4206)) a prime number?
True
Let g(j) = 4*j**2 + j - 9. Is g(-10) composite?
True
Suppose -u = -2 + 1. Suppose 2*l = -u + 19. Suppose 4*h = -l + 141. Is h a prime number?
False
Let c = -7887 + 13742. Is c a prime number?
False
Suppose 3*a + 10 = a - 4*j, -2*a = 5*j + 14. Is (-14)/(6/a)*-1 a prime number?
True
Suppose s = -s + 222. Is s a composite number?
True
Let t = -2 + 2. Suppose -17 = -f + 4*o, 2*o + 25 = f - t*f. Is f a prime number?
False
Let f(i) = -i**2 - 8*i + 3. Suppose 3*l + 32 = -l. Let r be f(l). Suppose -r*v = -2*n + 2*v + 23, 73 = 4*n - v. Is n a composite number?
False
Let k(v) = -v + 1. Let c be k(1). Suppose -p = -4*p + 2*t + 28, c = 4*p - 4*t - 36. Let w = p - 0. Is w composite?
True
Let u = -308 - -173. Is u/(-7) - 4/14 prime?
True
Suppose g = -2*g + 84. Suppose -3*u + g = -17. Is u prime?
False
Suppose 14 = -4*j + 34, -f + j = -1652. Is f a prime number?
True
Let q(d) = 4*d + 0*d - 2*d. Let h be q(10). Let f = h - 7. Is f a prime number?
True
Let w = -4203 - -8276. Is w prime?
True
Let p be (-1 - -2) + (2 - -1). Suppose p*g = -3*l + 28, 2*l - 9 = -5*g + 12. Is 4/l - 146/(-4) prime?
True
Let r = -84 - -330. Let l = r + -160. Suppose -2*p = -l - 84. Is p prime?
False
Suppose 0 = -3*a + 410 + 361. Is a prime?
True
Suppose 3 = 5*m + 23. Is (m - (-270 + 4)) + 3 a composite number?
True
Suppose o + 11 - 29 = 0. Let w = o - 11. Is w a composite number?
False
Let b = -813 - -1720. Is b a composite number?
False
Suppose -g = -3*v - 3, 4*g - v + 13 = -8. Suppose -2*m = 2 - 50. Is 630/8 - g/m a composite number?
False
Let g(p) = -21*p + 11. Let n be g(-9). Let t = 35 + n. Is t prime?
False
Suppose -6*r = -5*r + 2. Is (14/3)/(r/(-57)) a composite number?
True
Suppose -1 = -4*r + 211. Is r a composite number?
False
Let b(x) be the third derivative of x**5/60 - 7*x**4/24 - 7*x**3/6 + 7*x**2. Is b(-5) prime?
True
Let r(n) = 2*n + 4. Let f be r(-3). Let t(z) = 47*z + 2. Let s be t(f). Let h = s + 135. Is h prime?
True
Let n = 14 - 12. Suppose 3*a - c - 184 = a, -c = n. Is a composite?
True
Let i(y) = y**2 - 8*y + 2. Let r be i(8). Let d be 12/8 - 1/r. Is 14/(5/(-7) + d) a composite number?
True
Suppose 6*d + 1730 = 5*d. Is 9/12 - d/8 prime?
False
Let h be 6 - (3 - (4 - 3)). Let i(z) = 7*z**2 - 6*z + 1. Is i(h) composite?
False
Suppose z = -126 + 349. Is z a prime number?
True
Suppose -5*c = -5*x - 2252 - 1878, -3*c + 2462 = 5*x. Suppose 4*n - 236 = c. Suppose 0*h = -5*h + 4*u + n, 3*h = -u + 176. Is h prime?
False
Let q = 1 + -3. Is (-18)/(-27)*(-45)/q prime?
False
Is (53/3)/(1/3) a prime number?
True
Suppose -o + i - 15 = -4*i, 5*i - 25 = 0. Let a(n) = 3*n + 7. Is a(o) a prime number?
True
Suppose 5*w - 15 = 2*w. Suppose 147 = w*y - 2*y. Is y a composite number?
True
Let p(s) = -s + 2. Let n be p(2). Suppose 2*t + 2*t - 76 = n. Is t composite?
False
Let b = -109 + 178. Suppose 3*f + b = 4*f. Is f a composite number?
True
Let f(g) = 7*g**2 - 1. Let l be f(3). Let i be (1 + (-2)/4)*(1 - 1). Suppose i = -h - h + l. Is h prime?
True
Let a(y) be the first derivative of -y**2/2 - 4*y + 2. Let z be a(-9). Let v(j) = 3*j**2 - 4*j + 4. Is v(z) a composite number?
False
Let t(d) = d**3 - 6*d**2 + 6*d - 1. Let u be t(5). Let c be 4/3 + u/(-12). Is (c - -32) + 5 + -7 composite?
False
Let z(u) = -3*u**2 - 6*u + 2. Let l(w) = 7*w**2 + 13*w - 5. Let k(h) = -6*l(h) - 13*z(h). Let v be k(-4). Let b = v - -90. Is b a prime number?
False
Let j be 1/(2*(-1)/(-4)). Let u(w) = 2 + w**3 + 4 + 4*w**j - 2. Is u(-4) a composite number?
True
Let p be ((-7)/(-2))/(2/(-4)). Let y = p - -10. Suppose -3*b = -y*c - 4*b + 79, -c + 4*b + 22 = 0. Is c a prime number?
False
Suppose 4*t = n + 1480, 4*t - 3*n = -4*n + 1488. Is t a composite number?
True
Let x(l) = 35*l**3 - 2*l + 1. Is x(1) a prime number?
False
Is (-1 - -374 - -6)/(1/5) a prime number?
False
Let q = 3685 - 1884. Is q a composite number?
False
Suppose -2*r + 3*r + 32 = 0. Suppose u = -5, 2*q - 79 = -3*u + 36. Let m = q + r. Is m a prime number?
False
Let w(d) be the third derivative of 11*d**5/30 - d**4/12 - d**3/6 + 6*d**2. Is w(-2) composite?
True
Suppose 22*x + 4835 = 27*x. Is x a prime number?
True
Suppose -t = 4*q, -3*t + q - 19 = -8*t. Suppose r + 2*r + 432 = x, -4*r + 1808 = t*x. Suppose 180 = 4*m - 2*m + z, -z + x = 5*m. Is m composite?
False
Suppose 0 = 2*t - 11 + 3. Suppose 12 = 4*u, -t*o - 3*u = -o - 18. Suppose -5*n - 94 = -3*c - 335, 0 = o*c + 6. Is n composite?
False
Suppose -5*u + 3818 = -3992. Suppose -g + u = 4*j - 0*g, 1945 = 5*j + 5*g. Is (-1)/6 - j/(-6) a prime number?
False
Suppose 4*s + 1901 = 5*s. Is s composite?
False
Suppose -5*b = -4*r + 1 + 60, -b = 3*r - 41. Suppose 2*j - 4*l - 8 = r, 0 = j + 4*l - 17. Is j a composite number?
False
Suppose 3*t - h - 766 = -0*t, -509 = -2*t + h. Is t composite?
False
Let g be (0 - -3)/(2/2). Suppose -5*u = 4*x - 20, -x - u = g*x - 4. Suppose x*i + i = 35. Is i composite?
True
Let o(z) = z**3 + 13*z**2 - 29*z - 5. Is o(-14) composite?
True
Suppose 5*m - 2*i = 127, -m - 4*i = 2 - 23. Is m a composite number?
True
Let k(m) be the second derivative of m**5/30 - m**4/3 - 4*m**3/3 - m**2/2 + 2*m. Let n(b) be the first derivative of k(b). Is n(7) a composite number?
True
Suppose 3*l - 12 = -2*t, 2*l = -0*l - 4*t + 8. Let u be 3/6*l*5. Is (-10)/25 - (-1634)/u a composite number?
False
Suppose -22*l = -24*l + 12. Is l a prime number?
False
Let t = -4 + 6. Suppose -4*u - 3*o + 17 = 0, -t*u = -6*u - 5*o + 7. Is (-315)/(-4) - (-2)/u a composite number?
False
Suppose b = 4*f + 65, -3*b = -f - 3*f - 171. Is b a composite number?
False
Suppose -5*x + 5*b = -9*x + 727, 4*x - 2*b - 706 = 0. Is x a prime number?
False
Let z(i) be the third derivative of i**6/120 + i**5/40 + i**4/24 - i**2. Let p(n) be the second derivative of z(n). Is p(3) composite?
True
Suppose 1 + 2 = j. Suppose -j*u = -0*z - 3*z + 789, 1327 = 5*z + u. Is z composite?
True
Let t = -13 + 15. Is (-4858)/(-26) - t/(-13) prime?
False
Let g(k) = 18*k - 5. Is g(12) a prime number?
True
Is 142 - -3*(-16)/(-12) a composite number?
True
Let u(f) = 26*f + 9. Let l = -10 - -21. Let g = l - 4. Is u(g) composite?
False
Suppose 0 = 5*k - 5862 - 153. Is k a composite number?
True
Let q(x) = -2*x**2 - 3*x. Let n be q(-2). Is -2*(81/n - -1) a composite number?
False
Let l(u) = 19*u**2 + 7*u - 2. Let h(r) = r. Let t(y) = -5*h(y) + l(y). Is t(-3) composite?
False
Let t(y) be the second derivative of -11/12*y**4 - 9/2*y**2 + 0 - 4*y + 1/20*y**5 + 7/3*y**3. Is t(10) a prime number?
True
Let g(l) = -l + 2. Let b be g(-2). Let a be (-1)/b + 7/28. Is 5/(-1)*(a + -7) a prime number?
False
Let l(o) = 5*o**2 - 4*o - 18. Is l(-13) a composite number?
True
Let z(h) = h**3 + h**2 + h + 80. Let q be z(0). Let j = -43 + q. Is j composite?
False
Suppose 4*x = 8082 - 2638. Is x a composite number?
False
Suppose -3*m = 5*f - 325, f + 5*m = 27 + 38. Is f prime?
False
Suppose -62 = -3*a + a. Suppose -4*x - a = -219. Is x a prime number?
True
Suppose s = -4*s - 7775. Let m be (-1)/(-4) - s/20. Suppose -39 - m = -3*t. Is t a composite number?
True
Let o(f) = f**3 - f**2 - 1. Let z(m) = -5*m**3 + 17*m**2 + 6*m - 5. Let k(y) = 6*o(y) + z(y). Is k(-8) composite?
True
Let c = -316 + 497. Is c prime?
True
Let x = -150 - -737. Is x a composite number?
False
Let n(r) = -r**3 - r**2 - r + 19. Let y = -12 - -8. Let d = y + 4. Is n(d) a composite number?
False
Suppose 12*i = i + 2563. Is i composite?
False
Let y = 37 - 22. Is 549/y + (-4)/(-10) prime?
True
Let w(r) = -r**3 - 3*r**2 - 3*r - 4. Let b be w(-3). Suppose -582 = -b*g + 68. Let a = -65 + g. Is a a prime number?
False
Let l(q) = -q**2 - q - 2 + 0*q**2 - 4*q. Let v be l(-4). Suppose v*t + 3*y - 43 = 0, 5*y = -t + 40 - 1. Is t a prime number?
False
Let x(v) = -12*v**3 - 4*v**2 - 6*v + 1. Is x(-3) a composite number?
False
Let a be (3/(-6) - -1)*-36. Is (-1986)/(-4)*(-12)/a a prime number?
True
Suppose 3*b = 251 - 44. Let r = -34 + 36. Suppose -m - b = -r*m. Is m composite?
True
Suppose -386*v - 23 = -387*v. Is v a composite number?
False
Suppose 4*f - 292 + 8 = 0. Is f composite?
False
Suppose 4*q = 4*g - 2*g, 0 = 5*g. Suppose -b + 5 = -q. Suppose b*x - 2*x - 201 = 0. Is x a composi