 composite?
True
Let k = -20 - -22. Suppose -3*y - b - 1257 = -6*y, -1257 = -3*y - k*b. Is y a composite number?
False
Let b be -4*2/4 - -4. Suppose 2*t + v + 180 = b*v, -4*t - 360 = v. Let k = t - -253. Is k prime?
True
Let m(u) = -3*u + 2 + 2 + 1 + u. Let b be m(-8). Suppose 4*a - 2*f = 44, f = -3*a + b + 12. Is a prime?
True
Let u = 81 - -37. Is u prime?
False
Suppose 4*x + b - 6 = -3, x + 5*b = 15. Suppose 2*v + 2*v - 572 = x. Is v a prime number?
False
Let h(z) = 42*z. Let o be h(-1). Let m = o - -61. Is m composite?
False
Is (1/4)/(1*(-3)/(-8292)) a prime number?
True
Let z be (-2)/(-3 + 602/202). Suppose 3*y = -4*c + z, -4*y + 13 = 5*c - 114. Is c prime?
True
Suppose 3*s = 12, -3*j + 2*j - 3*s + 48 = 0. Suppose -b - 45 = -4*b. Let q = j - b. Is q prime?
False
Suppose -u - 2*u = 3. Is (u - 1) + (4 - -9) prime?
True
Suppose 4*o = 5*o - k - 5441, -2*o - 5*k + 10854 = 0. Is o composite?
False
Let d = -4245 + 6046. Is d prime?
True
Suppose 0 = 2*t - 5*t + 2601. Suppose -5*y + t = -188. Is y prime?
True
Suppose o + 0 = 5, 2*o + 21 = j. Is j prime?
True
Suppose 3*u + 3*z = 7*z + 217, 5 = z. Is u a prime number?
True
Let s(u) = -367*u + 1. Let r be s(-2). Suppose 145 = -5*b + r. Is b prime?
False
Let m = -13 - -13. Is 12/(m + 4) - -32 a prime number?
False
Let j = 2173 - 610. Is j composite?
True
Let f(v) be the first derivative of -v**2/2 + 4*v + 2. Let x be f(2). Suppose l + x*r - 11 = 0, -2*l - 4*r + 48 = 2*l. Is l a composite number?
False
Let p = 3 + -5. Let n = p + 5. Is n composite?
False
Let p(h) = 13*h**2 - 3 + 7 - 3 + 4*h - 2*h. Suppose 2*u = -0 + 4. Is p(u) a composite number?
True
Let m(c) = -49*c - 5. Let l be m(-9). Let x = -183 + l. Is x prime?
False
Suppose -73*o + 11967 = -70*o. Is o prime?
True
Let p = -4 - -7. Let s = 4 - 4. Suppose 2*j = -s*j + u + 23, 14 = j - p*u. Is j a prime number?
True
Let g = 13 - 8. Suppose -g*f - 4*r + 999 = -1006, -1990 = -5*f - r. Is f a composite number?
False
Let f = -572 - -3571. Is f a composite number?
False
Let g(y) = -128*y - 1. Let m be g(-2). Suppose -4*o = o - m. Is o a composite number?
True
Let k = 30 + -20. Let v = k + -5. Suppose -1337 = -v*m - 282. Is m prime?
True
Suppose 5*g - 89 - 624 = b, -g + 149 = 3*b. Is g composite?
True
Suppose 2*n - 2*y - 1861 = -3*y, -3*n = 4*y - 2789. Suppose -3*h + v = -553, n = 5*h + v - 5*v. Is h prime?
False
Let q = 3 - 0. Suppose 0*p + 105 = q*p. Is p a prime number?
False
Let m(d) = d**2 - 6*d. Suppose -2*v + 16 = 4. Let l be m(v). Suppose -3*i + 41 - 11 = l. Is i prime?
False
Is ((-2)/(-8))/((-6)/(-29112)) a prime number?
True
Suppose -17*m + 18*m = -21. Suppose 3*p - 4*p = 86. Let y = m - p. Is y prime?
False
Let w = -14 - 5. Let k = -51 - w. Let g = k - -45. Is g prime?
True
Let k be 2/(-3)*-3 + -10. Let y be (-38)/(-4) - 2/(-4). Is (k/10)/((-4)/y) prime?
True
Let b be (-169)/1 - (-8)/2. Let d = 320 - b. Is d a prime number?
False
Let w(p) = p**2 + p - 73. Let l be w(0). Suppose 0 = y - 3*a + 11 + 9, 3*a = -2*y - 58. Let q = y - l. Is q a composite number?
False
Is (-3)/(-12)*94*(18 + -8) prime?
False
Let h(v) = -42*v**2 + 2*v - 1. Let z(l) = 127*l**2 - 6*l + 2. Let n(w) = 11*h(w) + 4*z(w). Is n(-2) a prime number?
False
Let k(v) = v - 2. Let t be k(7). Is 2*(190/4)/t composite?
False
Let i be (-12)/(-20) - 1346/10. Let j = i + 229. Is j composite?
True
Suppose 0 = 3*d - 9, 0 = 4*r - 9*r - 2*d + 36. Is r prime?
False
Suppose 3*o = p + 2*p + 1200, 5*p + 412 = o. Is o composite?
False
Let x(l) = 96*l - 2. Let h be x(4). Suppose v - h = -v. Is v a composite number?
False
Let f = 90 - 48. Suppose 3*v = f + 3. Is 471/v + (-4)/10 composite?
False
Suppose -5*a + y + y = -3829, 3*y = 4*a - 3059. Is a composite?
True
Let g be 6/(-21) - (-4)/14. Let l = g + 5. Suppose 4*s - 8 = 0, -178 = -l*t + s - 5*s. Is t a prime number?
False
Suppose 0 = 2*n + 4*f + 96, -3*f + 297 = -5*n + 31. Let k = -37 - n. Is k a composite number?
True
Let j(u) = u - 4. Let m be j(6). Suppose 4*n - 2441 = -2*v - 571, -3*v + 937 = m*n. Is n prime?
True
Let j(c) = -19*c + 13. Let o(s) = 2*s + 14. Let l be o(-12). Is j(l) prime?
False
Let a(w) = w**2 + 6*w - 4. Let k be a(-6). Let h(y) = -y**3 - 5*y**2 - 5*y - 4. Let i be h(k). Is 0 - 0 - (-35 + i) composite?
True
Let w = -5 + 1. Let h be (-5 + 3)/(w/118). Suppose -3 = -k + h. Is k a prime number?
False
Let o(t) = -2*t - 5. Suppose 3*n + 12 + 6 = 0. Is o(n) a composite number?
False
Let h be (7 - 2)*(-59 + 3). Let v = h + 539. Is v composite?
True
Let l(m) = 2*m**3 - 7*m**2 + m + 5. Is l(6) composite?
False
Let h be -2 + 1 - (-1 - 2). Let q be 30/(-3) - (-4 + h). Is (-1)/(q/10)*12 composite?
True
Suppose 7 = 3*x + 1. Suppose -x*m - 110 = -7*m. Is m prime?
False
Suppose 5*b + 167 = w, -4*b = 2*w - 0*w - 390. Is w prime?
False
Let m(x) = -3 + 0 - 2*x + 3*x**2 + 0 + 0. Is m(4) a prime number?
True
Let y(n) = -n + 17*n**2 - 5*n**2 - 8*n**2. Is y(2) composite?
True
Let b = 11 + -7. Suppose b*i - 5*i = -3. Is (-7)/1*(-2 - i) composite?
True
Let t be 3 + (-1)/(-3 + 2). Suppose t*k + 83 = l, k + 239 = 2*l + 73. Is l a composite number?
False
Let m be (-4)/1 + (-2)/1. Let d = 125 + m. Is d composite?
True
Let x(l) = -59*l - 3. Suppose -10 = 6*j - j. Is x(j) a composite number?
True
Let t(b) = -b**3 + b**2 + 7*b + 6. Is t(-4) prime?
False
Let j(w) = 786*w - 5. Is j(2) composite?
False
Suppose -2*m + 8022 = -2*k, -2*k - 4007 = -m + 3*k. Suppose -2*n + m = n + u, -6688 = -5*n - 3*u. Is n/(-7)*2/(-2) a prime number?
True
Let n(t) = 2*t**2 + 7*t + 5. Let v(g) be the second derivative of 7*g**3/6 + g**2/2 + 3*g. Let a be v(-1). Is n(a) a composite number?
True
Suppose -o - 2 = -4*l, 1 = 4*l - 5*o - 9. Let v = l + 9. Is v a prime number?
False
Let z(u) = -u**3 + 21*u**2 - 16*u - 39. Is z(14) a prime number?
True
Let p = -18 - -23. Suppose -p*k - 443 + 1978 = 0. Is k prime?
True
Let u be 2/(-9) + 10/45. Suppose 27 = 4*i + z, 4*z - 3 = -i - u. Let d(o) = -o**3 + 9*o**2 - 6*o - 3. Is d(i) a prime number?
True
Let n = 124 - 69. Is n a prime number?
False
Let v(h) = -h**3 + 2*h**2 + 4*h - 3. Let c(y) = y**3 - 8*y**2 + 6*y + 10. Let x be c(7). Let d be v(x). Let z(r) = r + 14. Is z(d) prime?
False
Is (-24)/32 - 1663/(-4) a composite number?
True
Suppose w - 3*r - 3 = 0, 2*w = 3*r - r + 2. Suppose w*m = 4*m - 8. Is m/7 + 960/21 a prime number?
False
Suppose 0 = 8*o - 1989 - 2579. Is o a prime number?
True
Let y = 34 - -59. Is y a prime number?
False
Is (-15)/(-24)*4*20012/10 a composite number?
False
Suppose -u - 3*o - 2 + 7 = 0, -2*o = -8. Let q = -11 - u. Is (536/20)/(q/(-10)) a prime number?
True
Suppose -83 - 166 = -q. Is q a prime number?
False
Is 1782/30 - (-2)/(-5) a composite number?
False
Suppose -3*n - 4 = -781. Is n a composite number?
True
Let c(h) be the first derivative of 3*h**2 - 3*h - 1. Suppose -v - 6 + 10 = 0. Is c(v) a composite number?
True
Suppose -x = 4*x + 10. Let h be 513/(-6) + (-1)/x. Let n = h + 123. Is n prime?
False
Suppose -2*g + 6*g = 52. Suppose -119 = -2*x - g. Is x composite?
False
Suppose -8 = -0*l + 4*l. Let a = l - -5. Is a a composite number?
False
Let g = 14 - 20. Let m(o) = -124*o - 7. Is m(g) prime?
False
Suppose -9*b - 171 = -10*b. Let w = b - 28. Is w a prime number?
False
Let i = 75 - -74. Suppose 5*v + i = 504. Is v prime?
True
Let w be ((-18)/21)/(1/(-7)). Is (-1)/(-3) + 1312/w composite?
True
Is 379 + (-6)/(-9)*-3 prime?
False
Let b(y) = y**3 - 5*y**2 + 3*y. Let a be b(3). Is 2/a - (-2996)/36 a prime number?
True
Let u(n) = 2*n**2 - 9*n - 5. Is u(8) a composite number?
True
Let p(g) = 9*g**2 + 4*g. Let k(c) be the first derivative of -19*c**3/3 - 9*c**2/2 - c - 2. Let a(y) = 2*k(y) + 5*p(y). Is a(3) composite?
False
Let j be 2 - -1 - 1 - -1. Suppose j*p + 5 = -1. Let c(g) = 14*g**2 - 1. Is c(p) a prime number?
False
Suppose 5*g = 2*m + 303, 5*g - g - 216 = -5*m. Is g a prime number?
True
Let j(k) = 10*k**2 + 3*k - 11. Is j(4) prime?
False
Is (45 - 8) + 0/1 composite?
False
Suppose 3*b = -0*b + 4*o + 1341, 0 = b - 5*o - 436. Suppose a = -3*c + b, -2*c + 5*a - 431 = -5*c. Is (-1)/((-2)/c) - -3 composite?
False
Suppose -2*u + 5*z + 41 = 0, -29 = -3*u - z - 10. Is 693/6 + (-4)/u prime?
False
Let k = -552 - 147. Let y = k - -1208. Is y a prime number?
True
Is (20/5 + -3)*79 a prime number?
True
Let k(g) = -2*