Let b(y) = -27*y + 4. Is b(-5) composite?
False
Suppose 13*j = 11*j + 254. Is j a composite number?
False
Suppose 24 = 8*z - 0*z. Suppose 2*r = -5*i + 33, -2*r - i + 49 = 4. Suppose -z*v + 87 = -r. Is v composite?
False
Suppose 0 = 2*u + 2*u - 232. Let m = -21 + u. Is m a prime number?
True
Let y = 151 - 216. Let j = -44 - y. Is j a composite number?
True
Suppose -2*p + 29 - 1 = 0. Is p a prime number?
False
Let q = -47 - -84. Is q composite?
False
Let v = -7 + 11. Let x(r) = 2 + 32*r + v*r - 1 - 10*r. Is x(2) composite?
False
Suppose -1 + 7 = s. Let n be 6/((-3)/((-45)/s)). Suppose 5*u - 120 = -n. Is u a prime number?
False
Let w = 6 + -4. Is w/5 - 906/(-10) composite?
True
Suppose 2*f = p - 822, -p - f = -2*p + 818. Suppose 5*h - w - p = 0, h - 3*w + 492 = 4*h. Is h a composite number?
False
Let n(l) = 6*l + 2 - 27*l - 9*l + 1. Is n(-4) a prime number?
False
Suppose g - 4*d - 366 = 0, g + d = 2*g - 372. Suppose -g = f - 3*f. Is f a composite number?
True
Let p(n) = 57*n - 28. Is p(25) composite?
True
Let g(t) = -t**3 + 4*t**2 + 6*t + 1. Let w be g(5). Let p(n) = 12*n - 2 - 5*n - 2. Is p(w) prime?
False
Suppose -f + 10 = -0. Suppose 0 = 5*r + 5*k, 2*r + k = -2*r + 6. Suppose -5*c = f, r*t + 2*t = -4*c + 52. Is t composite?
True
Let u(z) = 3*z**2 - 4. Is u(-3) a prime number?
True
Let s be 1250/((-8)/(-4)) + 1. Suppose -2*r = -y - 1243, s = r - y + 2*y. Is r prime?
False
Suppose 0*j - 3*j = -15. Suppose -3*s - 2*s - 8 = -k, -j = -2*k - s. Suppose 97 = k*h - 134. Is h a prime number?
False
Let z be ((-8)/(-8))/((-1)/9). Suppose 0 = 8*y - 13*y. Is y + z/(-3) - -76 composite?
False
Let a(k) = 5*k**2 - 5*k. Let f(v) = -5*v**2 + 6*v. Let i(w) = 5*a(w) + 4*f(w). Is i(1) a composite number?
True
Is (-5)/2*11536/(-40) a composite number?
True
Suppose 2*k = 3*w + 1, -3*k + 0*k + 2*w + 9 = 0. Suppose 0 = -2*s + k*u + 77 + 79, 2*s - 176 = -5*u. Is s a composite number?
False
Suppose -466 - 282 = -4*m. Is m prime?
False
Let x(p) = p**3 - 2*p**2 - 5*p + 4. Let m be x(3). Is (m/(-6))/(4/948) prime?
True
Let g(t) = 4*t**2 - 3*t + 5. Let x(v) = -v**2 + v - 1. Let c(j) = g(j) + 2*x(j). Let r(p) be the first derivative of c(p). Is r(4) composite?
True
Suppose -4*y - k + 2 = -2*y, 2*k - 6 = -2*y. Let i be 1*2 - 2/y. Suppose i*b - 76 = 156. Is b a composite number?
True
Let b = 540 + 215. Suppose -4*l - 4*u + 588 = 0, 5*l + 0*l - b = 5*u. Is l a prime number?
True
Let n = -5 - -21. Is 2/n + (-7105)/(-56) a composite number?
False
Let y(v) = -v**3 + 15*v**2 - 15*v + 16. Let p be y(14). Suppose -2516 = -p*d + x, -2*d + 3*x + 699 = -1813. Is d prime?
True
Let h(n) = n**3 + 4*n**2 - 5*n + 4. Let r be h(-5). Let x = 2 - r. Is 111/2 - x/(-4) prime?
False
Suppose 3*l = -22 - 29. Let n(s) = s**3 - 3*s - 4. Let d be n(4). Let x = l + d. Is x a composite number?
False
Let v(b) = 118220*b - 2827. Let i(y) = 251*y - 6. Let d(r) = 2827*i(r) - 6*v(r). Let q be d(1). Let f = -108 + q. Is f prime?
True
Let o be (-42)/7*(-94)/(-6). Let r = -5 - o. Is r a prime number?
True
Let a = 0 + 0. Let v be ((-410)/(-25))/(4/10). Suppose -2*x + 4*x + 4 = a, h - v = 2*x. Is h a composite number?
False
Suppose 608 = 3*q - 5*t, -4*q - 2*t + t = -849. Is q composite?
False
Let a = -79 - -150. Suppose 45 = z - a. Let d = 185 - z. Is d a composite number?
True
Let d(u) = 4*u + 7. Let l be -1*(0 - (-1 - -6)). Suppose -s = -4*s - 2*f + 19, -l*s + 40 = -5*f. Is d(s) prime?
False
Let r = 14 - 14. Let q be -2 + 2 - (-2 + 0). Suppose r = -q*j - 0*j + 8. Is j a prime number?
False
Suppose 3*r = 7*r - 20. Suppose 0 = 5*d + x - 108, 0 = 4*d - r*d - 2*x + 18. Is d prime?
False
Let i(v) = -v**3 + 7*v**2 - 4*v + 15. Let b be i(6). Let k = b + -14. Is k prime?
True
Let g = 174 - -163. Is g composite?
False
Suppose -8*i - 1239 = -15*i. Is i prime?
False
Suppose x = -3*x - 20. Let b(r) = -33*r - 2. Let i(s) = -67*s - 3. Let k(d) = x*b(d) + 3*i(d). Is k(-1) prime?
True
Let v = -70 + 132. Is v prime?
False
Is (-10)/(-15)*(-1 - -184) prime?
False
Let r = -281 - -922. Is r composite?
False
Let j = 41 - 14. Let s be (j/6)/((-3)/(-216)). Suppose 309 = 3*g - s. Is g a composite number?
False
Let j(a) = -93*a**2 - a - 3. Let x(l) = -371*l**2 - 4*l - 13. Let m(k) = -9*j(k) + 2*x(k). Let o be m(-2). Suppose -104 = 5*b - o. Is b a prime number?
False
Suppose -y + 261 = 2*y. Is y a composite number?
True
Let s = 5 + -3. Suppose -3*o - 5*w + 267 = 0, 0*w - 178 = -2*o + s*w. Is o composite?
False
Suppose -5*z - 25 = 5*p, 2*p = p - 4*z - 20. Is p/(-1) + -6 + 9 composite?
False
Is ((-107)/4)/((-2)/16) a composite number?
True
Let y = 727 - 396. Is y prime?
True
Suppose -4*l = 0, 0*s - 4*l = s - 52. Let f = s + -17. Is f a prime number?
False
Suppose 0*q - 804 = -3*q. Let f = q - 135. Is f composite?
True
Let d = -23 - -127. Suppose -3*k + d = -67. Is k - 1 - (2 + -1) composite?
True
Suppose -132 = -2*c + 166. Is c a prime number?
True
Suppose -1283 + 303 = -5*u. Suppose -g + 13 = 5*q - 44, 0 = 4*g + 4*q - u. Is g a prime number?
True
Let m(l) be the second derivative of -2*l**7/105 - l**6/360 - l**3/6 - 2*l. Let b(j) be the second derivative of m(j). Is b(-1) a prime number?
False
Let l be ((-24)/(-28))/((-3)/21). Is 33/22*(-76)/l a composite number?
False
Is (-17)/(-4)*(4 - -120) a prime number?
False
Let j(f) = 3*f + 32. Is j(19) a prime number?
True
Suppose -3*x - 2*x - 854 = -b, -5*b = -3*x - 530. Let s = -93 - x. Is s a composite number?
True
Suppose 3*u = u + 8. Suppose -f = g - u*f + 2, -4*g - 8 = 4*f. Is 23/(-2)*g/1 composite?
False
Let b = 16 - -18. Is b a prime number?
False
Let i(b) = b**2 - 4*b + 2. Let f be i(5). Let z = -2 + f. Suppose 3*y + 635 = z*p, 5*p - 318 = -5*y + 317. Is p a composite number?
False
Suppose 7*h - 688 = 4219. Is h composite?
False
Let c(x) = x**3 - x**2 - 4. Let a(f) be the third derivative of -f**5/60 + 7*f**4/24 + f**3/2 - 2*f**2. Let j be a(7). Is c(j) a composite number?
True
Suppose -6*p + 444 = -3*p + 3*r, -r = 5*p - 720. Is p prime?
False
Suppose w - 5*x = -22, 0 = 3*w + 2*x + 31 + 1. Is (-6)/4*1016/w prime?
True
Suppose 3*s - 4 = s. Let d be (1/(-2))/(s/8). Is -13*2*(1 + d) composite?
True
Suppose -38 = -3*w + w. Is w prime?
True
Let r = 906 + -302. Suppose 2*x = b - 4*b + r, 0 = 2*b - 8. Let w = x - 169. Is w a composite number?
False
Let o = -53 - 3. Let q = -18 - o. Is q composite?
True
Let o = -6 + 10. Is 2 - 2 - (-93 - o) a prime number?
True
Let i(r) = -5 - 2 - 19*r + 2 - 2*r. Is i(-4) a prime number?
True
Suppose -24 + 6 = 3*t. Is ((-4)/t)/((-10)/(-2865)) prime?
True
Let r = 194 + -137. Is r a composite number?
True
Suppose 240 = -4*d - 0*s - 5*s, 0 = 2*d + 3*s + 118. Suppose -3*k - 603 = k - v, -k - 4*v = 138. Let p = d - k. Is p prime?
False
Let u(j) = j**3 + 9*j**2 + 4. Let q be u(-9). Suppose -3*y + q = -y. Suppose -3*f + y*f = -39. Is f composite?
True
Suppose 2 + 3 = n, 0 = 5*k + 2*n - 8285. Is k a composite number?
True
Suppose -141 = o - 410. Is o composite?
False
Let d = -9 - -196. Is d a composite number?
True
Let j(z) = 19*z**2 - 14*z + 23. Is j(-14) prime?
True
Let v(x) = -17*x + 25. Is v(-14) composite?
False
Let v(w) = -w**2 - 4*w + 4. Let u be v(-5). Let j(i) = -i**3 + 3*i**2 + 6*i - 5. Let g be j(5). Is g/(-3)*(u - -4) a composite number?
True
Let q(d) = d**3 - 17 + d**2 + 132 + 0*d**2 + 0*d**3 + d. Is q(0) composite?
True
Suppose 5*a = 2*m - m + 1178, 0 = 5*m + 15. Is a a composite number?
True
Suppose -2 - 8 = -5*y. Suppose s = -1, 0*w + s - 141 = -y*w. Is w prime?
True
Let c be (28 + -1)/((-3)/99). Is c/(-18) - 1/2 composite?
True
Suppose 0 = -z + 2 + 1. Suppose -108 = -z*j + 3*a, -2*a - 5 + 1 = 0. Is j composite?
True
Suppose 599 + 351 = -5*w. Let a be 2 + -1*(w + -3). Suppose -2*x - 229 = -k, 0 = 5*k - x - 1367 + a. Is k a composite number?
True
Let r be 5 - 0 - (-5 + 7). Is (-3 + r)/(-1) - -55 a prime number?
False
Suppose 0*s - 2*s = -28. Suppose -20 = -5*h - 5*k, -2*h - k + 12 = h. Suppose s - 74 = -h*z. Is z a composite number?
True
Let c(g) be the first derivative of 5*g**2/2 - 4*g - 1. Is c(7) a composite number?
False
Let w = -738 + 1325. Is w composite?
False
Let y = 13 - 11. Suppose -y*z = 3*z - 325. Is z a composite number?
True
Let q(u) = 50*u**2 + 4*u + 5. Is q(4) composite?
False
Let q(l) = -3*l**2 + 5*l - 5. Let w(o) = -o + 1. Let z(y) 