b prime?
True
Let l(r) = 11*r**3 + 2*r + 4. Is l(3) a composite number?
False
Suppose 0 = 5*l - 7*l + 7726. Is l composite?
False
Is (1 - -1041 - -1) + 0 a composite number?
True
Let w be (-113)/(-1 - (-1)/2). Suppose 4*p + w = 734. Is p a prime number?
True
Suppose 4*p = 8*p - 8. Let l = p - -1. Suppose 0 = a - l*a + 154. Is a a composite number?
True
Let u(v) = v**2 - 4*v + 1. Let r be u(3). Let o be (r/(-4))/(6/252). Let w = o - 10. Is w a prime number?
True
Let z(t) = 9*t**2 + 8*t - 1. Let y(r) = -8*r**2 - 7*r. Let l(u) = -4*y(u) - 3*z(u). Is l(-8) a prime number?
False
Let w(p) = -p**2 + 6*p - 5. Let n be w(4). Suppose 0 = 4*d - n*d - 100. Let h = d + -65. Is h prime?
False
Let b = 220 - -51. Is b a composite number?
False
Let p(s) be the second derivative of 19*s**4/12 + s**3/2 - s**2/2 + 8*s. Is p(3) composite?
False
Let t(p) = -42*p + 1. Let d = 18 + -26. Let u = d - -5. Is t(u) a composite number?
False
Let b = -143 + 1072. Is b a composite number?
False
Let d = -3 + 15. Suppose 3*g - d = -g, -4*k - g = -367. Is k composite?
True
Suppose k - v - 152 = -2*v, 2*k + 3*v = 307. Is k prime?
True
Let o be (-8)/36 + 176/(-18). Let f = o + 23. Is f a composite number?
False
Suppose -m = 5*m - 1542. Is m prime?
True
Let v(k) = -369*k - 34. Is v(-5) composite?
False
Let v be (2 + 2 + -1)*1. Is 257/4 + v/4 composite?
True
Let d(h) = 6*h - 1. Let o be d(1). Suppose 0 = 2*u - u - 8. Is 172/o - u/20 a prime number?
False
Let j(u) = -16*u - 13. Is j(-8) composite?
True
Let l(a) = -139*a + 34. Let d(c) = -28*c + 7. Let w(i) = 11*d(i) - 2*l(i). Is w(-5) composite?
True
Let f(q) = -5*q - 23. Is f(-14) prime?
True
Let r(m) be the second derivative of -m**5/20 + m**4/3 + 5*m**3/6 + 5*m**2/2 + 2*m. Is r(-7) a composite number?
False
Suppose 0 = 94*v - 90*v - 1804. Is v a prime number?
False
Suppose 0 = -0*r + 2*r + 14. Let a(t) = -t**3 - 7*t**2 - t - 2. Let g be a(r). Suppose 5*v = g*c - c - 9, 4*v + 6 = 3*c. Is c composite?
True
Let j be (245/14)/(1/(-8)). Let h = 21 - j. Is h a prime number?
False
Let f be 4/(-6) - (-110)/(-15). Let h = -3 - f. Suppose h*q - 261 = 2*q. Is q composite?
True
Suppose 2*t - 4*t + 570 = 2*m, -2*t = -4*m - 594. Is t composite?
True
Let w(x) = x**3 + 6*x**2 + 4*x + 5. Let v be w(-5). Suppose v*p + m - 249 = 5*p, m = 5*p - 241. Is p a prime number?
False
Let l(f) = 14*f**2 + f. Is l(-7) a prime number?
False
Suppose -2*s - 83 = -1821. Is s prime?
False
Let n(r) be the second derivative of r**4/4 + 4*r**3/3 + 2*r**2 - r. Let t(m) = 2*m**3 + 4*m**2 + 4*m + 1. Let o be t(-2). Is n(o) a prime number?
False
Let p = 69 + -76. Let y = -110 + 78. Let m = p - y. Is m a composite number?
True
Let s(q) = 8*q - 13. Is s(17) a composite number?
True
Let u = 20 + -17. Suppose 4*t = 4*w + 488, -3*t - 2*w = u*w - 406. Is t prime?
True
Let a = -4 - -6. Suppose -3*r = 2*x - 383, -423 = -a*x + r + 4*r. Is x a composite number?
False
Let t(f) = -f**3 - 4*f**2 - 2*f + 1. Let l be t(-2). Is l/6 - 663/(-2) a prime number?
True
Suppose -47 = 4*g - 15. Let f = 69 - g. Is f a prime number?
False
Suppose -5*q = x - 3*q - 1243, 0 = -4*x - 4*q + 4972. Is x prime?
False
Suppose -4*d + 25 = d. Suppose -j + d = -8. Is j composite?
False
Let l(w) = -w - 4. Let h(q) = -q - 6. Let c(k) = k - 1. Let a(j) = -c(j) + h(j). Let t(m) = 4*a(m) - 3*l(m). Is t(-11) composite?
False
Suppose 5*x - 645 = -m + 671, -m = -1. Is x prime?
True
Let q(r) = -19*r + 8. Let v be q(10). Let s = v + 397. Is s composite?
True
Suppose 0 = -t + 2*t. Let n = t - -79. Is n prime?
True
Let y(i) = i**3 + 4*i - 2*i**3 - 6 + 371*i**2 - 375*i**2. Suppose -4*l = l + 35. Is y(l) composite?
False
Suppose 2*a + 12 = -2*a. Let g(c) = 6*c - 26. Let q be g(5). Is ((-28)/a)/(q/6) prime?
False
Let n be 4 - (0/1 + 1). Suppose -2*c + 2*a = -318, -1262 + 463 = -5*c + n*a. Is c a composite number?
True
Suppose 2*o = -2*p + 2 + 4, p = 3*o + 19. Suppose 4*i + 57 = p*i. Is i a composite number?
False
Is (-5 - -2)/(-1) - (-212 - -4) prime?
True
Let q(d) = 4*d**2 + d - 4. Let n(i) = -7*i**2 - i + 9. Let v(z) = -2*n(z) - 5*q(z). Let o(c) be the first derivative of v(c). Is o(-3) a prime number?
False
Suppose 3*a - 4*a = -2. Is a/(-4)*(-2 - 132) a composite number?
False
Let a = 100 + 49. Is a composite?
False
Let h = 37 + 186. Is h prime?
True
Let i(f) = -4*f + 11. Suppose 2 = -m + b - 6, 4*b - 14 = m. Is i(m) composite?
True
Let o be 3*(-3 + (-87)/(-9)). Is o - 2/4*2 a composite number?
False
Let d = 75 - -134. Is d prime?
False
Suppose 3*a = 7*a. Suppose -2*d + 4*d - 354 = a. Is d a composite number?
True
Let u(m) = m + 10. Let x be u(-5). Suppose 3240 = 5*j + 5*y, x*j - y = -0*y + 3252. Is 1/(-3) + j/15 a composite number?
False
Let h(t) be the second derivative of t**5/60 - t**4/4 + 4*t**3/3 + t**2 + 2*t. Let o(a) be the first derivative of h(a). Is o(7) a composite number?
True
Is -1 + -3 + 3 + 878 prime?
True
Let c = -155 + 39. Let q = c - -201. Is q a prime number?
False
Let x be ((-98)/(-6))/((-2)/(-36)). Suppose -5*j - i - 14 = -x, 3*j = -2*i + 175. Is j a composite number?
True
Suppose -2*r - 5*y = -16098, -2*r = -y + 3*y - 16110. Is r a prime number?
True
Is (58/3)/(12/90) a prime number?
False
Let s(m) = -8*m + 0*m + 11 - 3*m. Is s(-6) a prime number?
False
Let i(z) = -z + 3. Let g(p) = -p - 8. Let f(u) = 1. Let q(v) = -5*f(v) + g(v). Let o be q(-6). Is i(o) composite?
True
Suppose 5*d - 12 = 33. Let h(m) = -8 - 2*m**2 + 12*m - 4*m**2 + 5*m**2. Is h(d) composite?
False
Let j(c) be the second derivative of c**4/3 + 4*c**3/3 - 3*c**2/2 + 2*c. Let d be j(-6). Suppose z - d = -2*z. Is z prime?
True
Let s = 324 + 161. Is s a prime number?
False
Suppose 286 - 10 = 2*f. Let p(q) = -q - 3. Let l be p(-6). Suppose -4*n - f + 28 = -5*b, -66 = -l*b + 3*n. Is b a prime number?
False
Let u = 1803 + -2946. Is ((-8)/(-12))/((-6)/u) a composite number?
False
Let f be (1724/(-4))/((-3)/3). Suppose 88 = h + n, -2*h + f = 3*h + 2*n. Is h prime?
False
Suppose -7*q + 909 = -3*q + n, 246 = q + 4*n. Let f = -156 - -303. Let y = q - f. Is y a prime number?
True
Suppose -2*h + 4*x + 26 = 0, -3*h + 32 = 4*x - 3*x. Is h a prime number?
True
Suppose -9*p - 109 = -10*p. Is p prime?
True
Let v = 30 + -17. Is v a composite number?
False
Suppose 2*r - 2*w - 2522 = -3*w, -2*r + 2510 = -2*w. Is r a composite number?
False
Is (1/(-3))/((-7)/4179) a prime number?
True
Let p = 270 + -155. Is p prime?
False
Let o(q) = -17*q - 4. Let k be (-1 - -2)/(2/(-6)). Is o(k) composite?
False
Suppose 4*w + 4 = 24. Suppose 4*p - 56 = -b - b, 3*p - 44 = -b. Let d = p - w. Is d a prime number?
True
Suppose 0 = 2*j + 3*j - 80. Suppose -j = -5*d + 14. Is -2*3/(d/(-149)) prime?
True
Is (4 + -9)*(-52)/10 a prime number?
False
Suppose 0 = -9*k + 11*k - 446. Is k a composite number?
False
Let c(d) be the third derivative of 3*d**6/40 - d**5/20 + d**4/8 - d**3/3 - 2*d**2. Is c(3) prime?
True
Suppose 3*y - 6 + 3 = 0. Let n be (-2 - -1*746) + y. Suppose -n = -3*x - 2*x. Is x a composite number?
False
Let p(c) = c**3 + 3*c**2 + 2*c + 2. Let z be p(-2). Suppose 2*d = -z, -2*u + 4 = -5*d - 5. Is 0 - (u + -3 - 18) a prime number?
True
Let b(c) = c**2 + c - 4. Let s be b(-3). Let g be (4/12)/(s/6). Is (-2)/4*g*-70 composite?
True
Let c(a) = -2*a**3 + 4*a**2 - 2*a + 2. Is c(-7) a prime number?
False
Let p = 16 - 11. Is (-9)/3 + p - -131 a composite number?
True
Let o(v) = 2*v**3 - v**2 - 9*v + 12. Is o(7) a composite number?
True
Let d = 3712 - 2303. Is d a prime number?
True
Let v be 4*6*51/24. Let d = 77 - v. Let j = -12 + d. Is j composite?
True
Let h = 504 - -359. Is h composite?
False
Let h(u) = 17*u + 3. Suppose b = 4*v - 0*b - 20, 15 = 3*v - 2*b. Let l be h(v). Suppose 0 = -2*r + l + 30. Is r a composite number?
False
Let t(d) = 55*d**2 - 6*d - 6. Is t(-5) prime?
True
Is 9/((-45)/(-4880)) - -3 a prime number?
False
Let q = -5 + 136. Is q prime?
True
Suppose 278 = f - 4*f - c, -4*c = f + 78. Let y = 273 + f. Is y a prime number?
True
Let a be (-3)/((-9)/12*2). Let t(g) = g**3 - 6*g**2 + 5*g + 2. Let r be t(5). Suppose -3*s + 12 = 4*j - 6, -2 = -a*j + r*s. Is j composite?
False
Let n(m) = 2 + 4*m**3 + 6*m - 6*m**2 - 2*m**3 - 3. Suppose 2*z - 19 = -2*z + x, 5*x + 23 = 2*z. Is n(z) a composite number?
True
Suppose 5*l - 6 = 4*g, 3*l = l + 3*g + 1. Is 95 + (l 