uppose -5*v + 0*v + 8 = 4*m, -14 = -5*v - 2*m. Suppose 0*o + 2*o = 12. Suppose d + v*n - 15 = 0, -4*d + 115 = -n + o*n. Is d a composite number?
True
Let j(k) = 4*k - 1. Let n be j(1). Let m = 5 - n. Is (88 - -2) + -3 + m prime?
True
Suppose -7*u + 3*u = 0. Suppose -3*c + 0*c + 93 = u. Is c prime?
True
Suppose 882 = 5*b + 2*y - 6*y, 0 = 5*b - 3*y - 879. Let j = 581 - b. Is j composite?
True
Suppose y + 9 = 3*m - y, 2*m + y = 6. Suppose 4*z = 2*q - m*q + 105, 5*q = -2*z + 489. Is q prime?
True
Let z = -2972 - -5745. Is z prime?
False
Let k(w) be the first derivative of w**2 + 10*w + 2. Let t be k(-7). Let i(b) = -b**2 - 4*b + 3. Is i(t) prime?
True
Let m = -9 - -11. Is m - (-86 - (-1 - 2)) composite?
True
Let u(z) = 26*z**2 - 4*z + 3. Is u(7) a composite number?
False
Let m = 49 - -216. Suppose 2*w + m = 7*w. Is w a prime number?
True
Let k = -3510 - -4979. Is k composite?
True
Let v(c) be the second derivative of 43*c**5/20 - c**3/6 + c**2/2 + 5*c. Suppose 3*z + 0*z + 3*q = 6, -z = 5*q - 6. Is v(z) prime?
True
Suppose a - 2 = -3*u + 3, 0 = -2*u + 3*a + 7. Suppose 15 = 3*f + 5*c, -4*f - u*c + 12 = 2*c. Is f/(0 + -1) - -21 a prime number?
False
Is (298/4 - 0)/(1/2) composite?
False
Suppose 5*p = -2*o + 98, -p = -3*o - 0*p + 147. Is o composite?
True
Suppose -5*j + 1281 = -1564. Suppose -27 = -3*m - 3*h, 2*h + 5 = 5*m - h. Suppose 0 = 3*t + m*g - j, -5*t - g + 231 = -706. Is t a composite number?
True
Let v(i) = i**2 + 4*i + 4. Let r be v(-4). Suppose -5*h + 11 = -r. Is h a prime number?
True
Suppose 0 = 7*o + 771 - 7022. Is o composite?
True
Let i be (0 - 0)*(-5 + 4). Let y be -1 - -3 - 1*8. Is (-3)/9*i - y a composite number?
True
Suppose -4*g + 22836 = -4*a, 17117 = 3*g + 2*a - 0*a. Is g composite?
True
Let s = 19 + 33. Suppose -2*l - 2*l + s = -d, -60 = -4*l - d. Is l composite?
True
Let o = 205 + 132. Is o composite?
False
Let m(b) = 2*b**2 - 13. Is m(7) a composite number?
True
Let k(h) = -h**3 + 4*h**2 + 2*h + 2. Suppose 19 + 1 = 5*x. Let f be k(x). Let s = f - -11. Is s a prime number?
False
Let y(k) = -k - 7. Let u be y(4). Suppose 4*a - 2 - 38 = 0. Let x = a - u. Is x a composite number?
True
Let m = -17 + 21. Is 1 - (-1 + -487)/m a composite number?
True
Let u = -762 + 1169. Is u composite?
True
Is -179*-2*(-4)/(-8) composite?
False
Is 483 + (-6)/(-3) + 0 a composite number?
True
Let l be 2/(-3) - (-28)/6. Suppose -48 = -l*y + 28. Is y prime?
True
Let w(m) = -3*m**2 - 7*m + 9. Let q be w(6). Let p = -88 - q. Is p a prime number?
True
Suppose 2*j + j - 9 = 0. Suppose 2*d = -4*i + 16, 0 = 2*i - j*d - 11 - 5. Suppose 30 = 4*c - 0*y - 3*y, -5*y = -i*c + 40. Is c composite?
True
Suppose 0 = 2*c - 109 + 9. Suppose -2*y + f + c = -0*f, -2*y + 5*f + 50 = 0. Is y a composite number?
True
Suppose -5*x - 2*i = -6727, -4*x = -7*x + 3*i + 4032. Is x prime?
False
Let l(m) = m**2 + 6*m + 5. Let t be l(-6). Suppose -t*n - 349 + 1124 = 0. Is n a prime number?
False
Suppose 40 = 2*f + b + b, 3*b = 2*f - 45. Is ((-14)/f)/(4/(-2478)) prime?
False
Let d = -614 - -1036. Is d prime?
False
Let i be 2/9 - (-172)/36. Let k(w) = 5*w - 11. Let a(o) = -5*o + 12. Let y(u) = 5*a(u) + 6*k(u). Is y(i) a prime number?
True
Let m = 8 + -14. Let r(u) = 2*u**2 + 4*u + 7. Is r(m) composite?
True
Let o = 760 - 415. Is -1*(-2)/(6/o) composite?
True
Suppose -w + 5*q = -309, -4*q + 2 = -2*q. Is w a prime number?
False
Let n(j) = j - 1. Let c(r) = -6*r + 5. Let f(s) = c(s) + 4*n(s). Let w be f(-5). Suppose 4*a + w = -z + 1, -4*z = 2*a - 30. Is z a prime number?
False
Suppose 0 = b - q - 129, -6*q = b - q - 117. Is b prime?
True
Suppose -s + 3 + 158 = 0. Is s prime?
False
Suppose -664 = -w + 598. Suppose w = 2*o + 2*t, -3*o + 0*o + 1925 = -5*t. Is o a prime number?
False
Let c(u) = -u. Let b be c(0). Let l = -55 - b. Is 4/22 + (-4775)/l a composite number?
True
Let n(r) be the first derivative of 19*r**3/3 - r**2/2 - r + 4. Is n(-2) composite?
True
Is (-7 - -840) + (1 - -1) composite?
True
Suppose 5*r - 375 = 5*i, 0 = -0*i + 4*i + 3*r + 265. Let a = i + 139. Suppose -5 = -2*j + a. Is j a composite number?
False
Let h = 468 - 167. Is h a prime number?
False
Let c = 37 + -20. Suppose o - c = -6. Is o a composite number?
False
Suppose 101*f - 5847 = 98*f. Is f prime?
True
Let t = 5 + -3. Let k be (t - 0/1)/1. Suppose k*l - 71 = x, l = 4*x + x + 58. Is l a prime number?
False
Is 2/3*537/2 a prime number?
True
Let c = 3726 + -2252. Suppose 3*b - 4*i + 734 = 5*b, -4*b - 5*i = -c. Is b composite?
True
Suppose 4*o - 260 = 3*y, 5*o + 17 - 342 = -2*y. Is o prime?
False
Suppose 12 = 3*d + o, 3*d - 5*o + 2 + 4 = 0. Suppose -d*f = 2*m - 109, -5*m - 108 = -2*f - 29. Is f a prime number?
True
Let x(v) be the second derivative of v**5/20 - v**4/2 + 5*v**3/6 + 7*v**2/2 - 3*v. Let g = 2 - -4. Is x(g) composite?
False
Let i(z) = z**3 + 3*z + 6*z**2 - 5 - 3 + 1. Let a be i(-5). Suppose -h + 5*f = -35, a*h + 2*f = 6*f + 105. Is h composite?
True
Let c(u) be the third derivative of -31*u**4/12 - u**3/2 - 2*u**2. Is c(-2) a prime number?
False
Suppose 8*n + 16 = 4*n. Let q(l) = -l - 8. Let d be q(-6). Is -2*-49*d/n prime?
False
Let d(s) = 2*s**3 - 2*s**2 + 1. Let g be d(1). Suppose 0 = 2*l - 10, -w + 119 = 2*w + 4*l. Is (5 + -2 - g) + w prime?
False
Let m(c) be the second derivative of c**5/20 + c**4 + 5*c**3/6 - 4*c**2 + 3*c. Is m(-10) prime?
False
Let p(i) = -2*i**2 - i**3 + 6*i + 0*i**2 - 7 - i**2. Is p(-6) a prime number?
False
Let q = -1 - 1. Let z(c) = -3*c**3 - 2*c**2 - 4*c - 3. Is z(q) composite?
True
Let w(b) = 307*b**3 + b**2 - 2*b + 1. Suppose 4*v - 14 = 5*y, -v = 5*y + 3 + 6. Is w(v) prime?
True
Let g = 299 - 154. Is g prime?
False
Let r = 16 - 147. Let d = -16 - r. Is d composite?
True
Let a = 10 + 12. Let n = 45 - a. Is n a composite number?
False
Let c(x) = -2*x**3 + 6*x**2 + 5*x. Let q be c(7). Let g = 512 + q. Is g prime?
False
Let s be ((-1)/2)/((-1)/6). Suppose 3*n - 38 = -8*v + 3*v, -s*v + 4*n = -46. Is v a composite number?
True
Let k be 0 + (-3 + 81)/3. Let s = -7 + k. Is s a composite number?
False
Let r(l) = 5*l - 6. Let o be r(-6). Let x be (o*2)/(1/(-4)). Let b = x + -195. Is b a composite number?
True
Suppose 265 = q + 2*b, 5*q - 5*b - 172 - 1108 = 0. Is q a composite number?
True
Let l be (-4)/(-2)*(-56)/(-7). Suppose 4*h - l = 0, 2*o - o + 194 = 4*h. Is o/(-3) + 2/(-6) composite?
False
Let o(n) = 2*n + 4 + 2 + 6*n. Is o(5) prime?
False
Let p(x) = 23*x**2 - 27*x - 3. Is p(8) prime?
False
Let t be -3*(2 - -29)*-2. Suppose -2*l - 2*i = -t, 4*l - 3*i + 368 = 8*l. Is l a prime number?
True
Suppose 9*z = 8*z + 199. Is z composite?
False
Is (-22)/121 + ((-7198)/(-22) - -2) prime?
False
Suppose -2*v + 139 = m, -5*m + 0*v + 2*v + 659 = 0. Suppose 5*n - m - 42 = 0. Is n prime?
False
Is ((-11)/4 + 0)/((-26)/7592) composite?
True
Let z = 109 + -177. Let k = z - -102. Is k composite?
True
Let g = -6 - -6. Let d(l) = 3*l**3 + l**2 - 3*l - 19. Let q(n) = -7*n**3 - 2*n**2 + 7*n + 38. Let s(p) = -5*d(p) - 2*q(p). Is s(g) a prime number?
True
Suppose -3*y = 5*t - 17059, 4*y = -4*t + 3079 + 10565. Is t composite?
False
Let o(y) be the third derivative of -y**5/60 - 13*y**4/24 - 3*y**3/2 + 4*y**2. Is o(-8) composite?
False
Let v = 14 + -10. Is (v*33 - 1)*1 prime?
True
Let t = 1 - -4. Suppose t*k = 8 + 7. Suppose 71 = k*v - 160. Is v composite?
True
Suppose -5*g - 23 = 2*z, -4*z + z + g = 9. Is (-3)/z + (-2402)/(-8) a composite number?
True
Suppose 2*a = 1 + 7. Suppose a + 16 = 5*d. Suppose -2*w = -4*z + 526, 2*z = -0*w - d*w + 278. Is z a prime number?
False
Is (1 - -26 - 4) + -4 composite?
False
Suppose 229 = z - 3*s - 327, -z - 2*s + 571 = 0. Is z prime?
False
Let j(l) = -l**3 - l**2 - 2*l - 3. Let d be j(-2). Suppose 3*r - 3*p + 133 = 5*r, 4*p - 315 = -d*r. Is r prime?
True
Let i(c) = -36*c - 15. Is i(-6) prime?
False
Let j = 125 + 6. Is j composite?
False
Let n = -176 - -289. Suppose -707 - n = -4*h. Is h a composite number?
True
Is (1314/3)/(3 - 1) composite?
True
Let b(m) = 8*m**2 + m - 1. Let s be b(6). Let w = s + -189. Is (-10)/8*w/(-2) a composite number?
True
Let u(i) = -i**2 - 18*i - 17. Is u(-12) a prime number?
False
Suppose -15 = 5*w + 15. Let l(b) = -b**3 - 7*b**2 - 7*b - 6. Let k be l(w). Suppose k = -4*a + 15 + 197. Is a a prime number?
True
Suppose -j = -3*c + 15, 0*j 