 f) + 14 + -2 composite?
False
Is -3*1/18 + (-22115)/(-30) composite?
True
Suppose -5*h = -q + 1, 2*h + 0*h + 4 = 4*q. Is (q - 2 - -147) + 3 prime?
True
Suppose -5*r - 4*x = -2219, 1857 = 5*r + 3*x - 361. Is r prime?
True
Suppose 3*q = -l - 3, 3 = -l - q - 0. Let b be -3*(l + 10/6). Suppose -v + b*w - 10 = 0, -2*w - 3*w = 5*v - 50. Is v a composite number?
True
Let s = -28 - -25. Is (1*-1)/(s/993) a composite number?
False
Let f(o) = o + 84. Let u be f(0). Let c = u - 27. Is c prime?
False
Let c = -146 - -453. Is c a composite number?
False
Let f(o) = -o**2 + 10*o - 8. Let s be f(10). Let v(b) = 4 - b - 4 + 2. Is v(s) composite?
True
Let g(n) = -n**3 - 4*n**2 - 2*n + 4. Let z be -1*-3*14/(-6). Let o be g(z). Is o*3/(9 - 0) a composite number?
True
Let d(i) = -4*i**2 - 9*i. Let g be d(-8). Let m = -124 - g. Suppose 0 = 4*v - m + 4. Is v a prime number?
False
Let u(p) = 16*p**2 - 5*p - 5. Let i(f) = 49*f**2 - 16*f - 16. Let m(l) = -2*i(l) + 7*u(l). Is m(-2) prime?
True
Let c = -1 - 11. Suppose -2*y + y = -1. Is (-5)/(-5) - y*c a composite number?
False
Let p(l) = -l**2 + 3*l + 3. Let c be p(-2). Let f be -1*2/(-2)*0. Let v = f - c. Is v a composite number?
False
Let h = -23 + 15. Let b be (-146)/h + 3/(-12). Suppose -19 = -s + b. Is s a prime number?
True
Let a(h) = -7*h - 8. Suppose 4 = -p - 9. Let g = -22 - p. Is a(g) composite?
True
Suppose -837 = -5*q + 278. Is q composite?
False
Suppose -l - 4*f = -291, 2*l = 3*f + 837 - 211. Is l composite?
False
Let d = -22 + 7. Let i(c) = 4*c**2 + 10*c - 13. Is i(d) composite?
True
Suppose -n = 5*g + 16, 4*g + 13 = -2*n + n. Is 2*n - (-31 + 4) prime?
False
Let s(t) = 22*t**2 + 15*t + 21. Is s(10) a prime number?
True
Let m be (-2)/7 - (-111)/21. Suppose -m*d + 12 = -2*u, 5*u - 44 + 8 = -4*d. Is u prime?
False
Suppose -o - j + 1521 = 0, 1020 + 2030 = 2*o + 4*j. Is o composite?
True
Let p(l) = -l + 2. Let q be p(0). Let f be (8 + -1 + 1)/q. Let b = f - -6. Is b composite?
True
Let t(x) = x**3 - 15*x**2 + 20*x - 5. Let u be ((-4)/12)/(3/(-126)). Is t(u) prime?
True
Let g = 5 - 5. Suppose g*l = -l + 13. Is l prime?
True
Let u be 28/8*(1 + 1). Suppose -8 = -5*i + u. Suppose 0 = i*s + 2*s - 15. Is s prime?
True
Let s(t) = -t - 3. Let a be s(4). Let i = -12 - a. Let f(u) = u**2 + 4*u + 4. Is f(i) a prime number?
False
Let h be (-2)/8 - (-313)/4. Suppose -h = -3*i + 192. Suppose -5*o = 2*y - i, -4*y + 135 + 93 = -2*o. Is y composite?
True
Let b(w) = 25*w**2 - 4*w - 5. Is b(-2) a composite number?
False
Suppose -2*w = -4*j - 18, 3*w + 5*j + 20 = 3. Let h be -6*((-3)/6)/w. Let b(a) = a + 3. Is b(h) a prime number?
False
Let c = 641 - 378. Is c prime?
True
Let c be -1*2 + (11 - 5). Let b(q) = 3*q**2 - 5*q + 5. Is b(c) composite?
True
Let d(j) = 312*j**2 + 1. Is d(-2) composite?
False
Let o = 0 - -6. Suppose -232 = -o*z + 2*z. Is z prime?
False
Let b = -6 + 6. Is b + (-3 - -2) - -52 prime?
False
Is (9/(-27))/((-2)/870) a prime number?
False
Let c = 7 - 4. Let a be ((-140)/(-8) - -2)*6. Suppose 64 = k + 2*r, -5*r + 72 + a = c*k. Is k a prime number?
False
Let l be ((-2)/(-4))/(8/(-16)). Is -838*l/(-6)*-3 composite?
False
Let l(y) = 21*y**2 + y + 5. Is l(-4) composite?
False
Let v = -12 - -10. Is (29 + v/(-1))/1 prime?
True
Let n(s) = -s + s - 4*s - 2*s + 2. Is n(-2) prime?
False
Let z = -95 - -174. Is z prime?
True
Let w(a) = a**3 - 5*a**2 - 7. Let y(h) = h**3 + h - 8. Let x be y(0). Let m(i) = -2*i - 9. Let n be m(x). Is w(n) composite?
True
Let c be (3/3)/((-1)/(-20)). Suppose -5*x - 2*q + 556 = -227, 0 = 5*q - c. Is x prime?
False
Is 1/3 - 1/(6/(-760)) a prime number?
True
Suppose u + 3*v + 7 + 5 = 0, -5*v - 15 = 0. Let d be (-20)/(-3) - u/9. Let j = d + 8. Is j a prime number?
False
Suppose 3*o - o - 6 = 0. Suppose 6 = o*q, q - 21 = -0*w - w. Is w a prime number?
True
Let o(y) = y**3 + y**2 + 2. Let c be o(0). Suppose 0 = -m + c*k + 117, 12 = m + k - 108. Is m composite?
True
Let y = -1363 - -2123. Suppose 4*f = -3*j + 2892 + 53, f - 4*j = y. Suppose 5*s - f = 35. Is s a composite number?
True
Let p = 3 + -2. Let q = 2 - p. Is q*-6*(-2)/4 prime?
True
Let v = -3 + 6. Suppose -227 = v*h - 1022. Is h a composite number?
True
Let i(w) = -w**3 + 5*w**2 - w - 2. Let v be i(4). Let x(s) = 2*s**2 - 16*s + 13. Is x(v) a composite number?
False
Suppose 0 = -j + 77 - 29. Let u = -84 + 163. Let h = u - j. Is h a composite number?
False
Is (3 + (-93)/(-6))*4 prime?
False
Let h(p) = p**3 - 5*p**2 + 2*p - 9. Is h(8) composite?
False
Suppose 5*h + 4 - 19 = 0. Suppose -2*z = x - 50, h*x = -7*z + 3*z + 98. Is (1 - z)*(-2 + 1) prime?
False
Suppose 0 = 6*d - 10*d + 6236. Is d a composite number?
False
Let a(z) = z**2 + 10*z + 53. Is a(-24) a composite number?
False
Suppose 0 = 3*i - 0*i. Is 329/28*(i + 4) a composite number?
False
Let w be (-9)/(-2) + 3/6. Suppose 2*u + 3*m = -2*u - 2, -w*u = -m + 12. Is 1 - (u - -1 - 29) a prime number?
True
Let x be 4856 - (-1 + 2)*3. Suppose 3*i - 2*w = -6*w + 2935, -3*w - x = -5*i. Is i prime?
False
Let y = -454 - -1245. Is y a prime number?
False
Let p(r) = r**3 - 4*r**2 - 4*r + 4. Let b be p(4). Let h = 33 + b. Is h a composite number?
True
Let g(t) be the second derivative of 4/3*t**3 + 0 - 2*t - 5/6*t**4 + 1/20*t**5 - 3/2*t**2. Is g(10) a prime number?
False
Let z = 62 - 42. Let l = 15 + z. Suppose 0 = 2*h - l - 59. Is h prime?
True
Let n(d) = 3*d**2 + 2*d + 1. Let u be n(-1). Suppose 0 = u*y + 3*s - 14, 2*y - 12 = -2*s. Is (-4)/(-3)*66/y composite?
True
Let h(c) = -20*c + 8. Let f be h(-6). Suppose -4*z + 5*q = -119, 0*z + 4*z = -4*q + f. Is z composite?
False
Let z(u) = u**2 + 6*u + 18. Is z(-4) a composite number?
True
Let p(a) be the first derivative of -11*a**6/120 + a**5/60 - a**4/24 + a**3/6 - a**2/2 - 3. Let c(k) be the second derivative of p(k). Is c(-2) a prime number?
False
Let b(n) = 7*n - 3. Let v(l) = 3*l - 2. Let y(f) = -2*b(f) + 5*v(f). Let r(u) = u. Let h(g) = -4*r(g) - y(g). Is h(-7) a prime number?
False
Let v(l) = 2*l - 2. Let y be v(3). Suppose 0 = -y*c + 4, -470 = -2*q - q - 5*c. Is q prime?
False
Is 218/(-10)*(-11 - -6) a prime number?
True
Let c(b) = 54*b - 3. Let q be c(3). Suppose x = -h + 4 - 1, x = -2*h + 3. Suppose -x*z + 0*z = -q. Is z a prime number?
True
Is ((-3)/6 + 0)/(2/(-76)) a composite number?
False
Suppose 0 = -0*a + 2*a - 8. Suppose -2*o - 3*s + 47 = 0, -4*s = -o + a*o - 70. Is o a prime number?
False
Suppose 0 = 4*s - 5 + 1. Let h be s/4 - 15/(-4). Suppose -3*g + 85 = h*q, 3*g + 62 = 5*g + 4*q. Is g prime?
True
Let l be (-872)/36 + 6/27. Suppose 71 = -0*i - i. Let u = l - i. Is u a composite number?
False
Let i = 90 + 263. Is i prime?
True
Let h = 21 - 14. Suppose 0 = -t + 5*v + 35 + h, -v - 62 = -t. Is t a prime number?
True
Let v(s) = -s**2 + 3*s - 1. Let m be v(3). Is 0 - m/(1/13) a composite number?
False
Suppose 4*r = -4*c + 12, -7*r = -2*r - c - 21. Suppose -r*v = -6*g + 4*g - 224, -116 = -2*v - g. Suppose -p = 2*p - v. Is p prime?
True
Let p = 62 - -46. Let c = -77 + p. Is c a prime number?
True
Let z(x) = x**2 - 5*x + 6. Let v be z(4). Suppose 5*h - 77 = 3*l - 4*l, l - 4*h - 32 = 0. Suppose l + 18 = v*d. Is d a prime number?
False
Let m = -6 + 10. Suppose v + 1 - 3 = 3*g, 4*v = -m*g + 8. Suppose 2*a - a - 53 = g. Is a prime?
True
Suppose 6*a = a + 1120. Suppose -5*l + a = -221. Is l a prime number?
True
Suppose -w + 5 = -2. Let u(j) = j + 2. Is u(w) prime?
False
Suppose 9*c = 256 - 67. Is c composite?
True
Suppose 5*h - 2*b = 1991, 0 = 3*h + 3*b - 1332 + 150. Is h a prime number?
True
Suppose 5*i + 2*u - 1055 = 0, i - 4*u = -122 + 333. Suppose -i = -5*y - 4*p, 2*p + 38 = 2*y - 32. Suppose -g = -y + 6. Is g prime?
False
Let s(w) = -w - 10. Let r be s(-5). Let i(c) = c**2 + 5*c + 4. Let p be i(r). Suppose 3*b - p*g = 49 + 42, 5*g + 86 = 3*b. Is b a composite number?
False
Let t(r) = -67*r - 50. Is t(-13) a prime number?
True
Suppose -5*o + 2*a - 7 = 0, 2*a - 2 = 2*o + a. Is ((-1)/o)/((-6)/(-1278)) composite?
False
Let p(y) = y**3 - 6*y**2 - 4*y - 5. Is p(8) composite?
True
Let v = 9838 - 6821. Is v prime?
False
Let j(y) = y + 4. Let w be j(4). Suppose -3*x + 8*x - w = 3*z, -z - 4 = -2*x. Is (-7)/(-3)*(-1 + x) a composite number?
False
Let s = 44 + 15. Is s a prime number?
True
Suppose 0 = -5*u + 4*u - 1. Is (-1*86/2)/u composite?
False
Let 