2*s - 8871. Is k composite?
False
Let o(n) = 2*n - 4. Let l be o(4). Let q be 1*(6 - (-2 + l)). Is (-1724)/(-12) + q/(-6) a composite number?
True
Let d = -379 - -223. Let b = d + 451. Is b a composite number?
True
Suppose -3*u + 1363 = -1496. Is u a prime number?
True
Suppose 33 = -3*c + 5*s + 235, c - 54 = -5*s. Let v = 5 + -3. Is v/6 + c/6 a prime number?
True
Let s = 25 + 160. Is s prime?
False
Suppose b + 3 = -0. Is ((-59)/3 - 0)*b prime?
True
Let f = 17 + -15. Is f/6*2004/4 a prime number?
True
Suppose l = -3*z - 112, -3*l + 0*z + 2*z = 391. Let m = l - -206. Is m prime?
True
Let b(w) = 3*w**2 + 5*w + 7. Is b(6) composite?
True
Suppose 5*g - 18 = -3. Suppose 5*a + 113 = -g*u + 992, 0 = 2*u + 4. Suppose -2*f + a = -61. Is f prime?
False
Suppose 4*p - 3 + 7 = 0. Is (-64)/p + 4 + -3 a composite number?
True
Let w(v) = -15*v - 2. Let q(h) = -h - 1. Let f(l) = -q(l) + w(l). Is f(-4) prime?
False
Let t(g) = -g. Let o(u) = 3*u**2 + 4*u + 1. Let v(x) = o(x) + 6*t(x). Let w be v(1). Suppose -65 = -3*i - w*i. Is i composite?
False
Let x = -26 + 49. Let k be (-1)/(-2) - x/(-2). Suppose 5*g + 3 = -2*t + 2*g, -2*t = -2*g - k. Is t composite?
False
Let v be (1/(-3))/(25/(-75)). Suppose 0 = -5*a + 2*a + 354. Is (a/4)/(v/2) composite?
False
Suppose 0 = 5*x - 1488 + 213. Is (1 - -2 - 4) + x composite?
True
Let f = -1 - -5. Is 10/1*62/f prime?
False
Let o(c) = 144*c + 3. Is o(2) a composite number?
True
Let x(n) = n**2 - 6*n + 6. Let f be x(4). Let l be (-1)/(f/30) - 2. Suppose 0 = 2*q + 1 - l. Is q a prime number?
False
Let u be (1*-2)/(-2 - -1). Suppose -u*i = i - 105. Is i composite?
True
Let p(a) = a**2 - 4*a - 3. Let i = 4 + -6. Is p(i) a prime number?
False
Suppose 2*c + d = -c + 16, -4*d = c - 20. Suppose -220 = -c*k - 0*k. Is k a prime number?
False
Let p(r) = -r**3 + 8*r**2 + 8*r - 2. Let v(k) = 7*k**2 + 2*k - 1. Let s be v(1). Is p(s) a composite number?
True
Suppose 6*l + 5*m + 5 = l, -l + 14 = -2*m. Is ((-211)/l)/(3/(-12)) a prime number?
True
Suppose -3*r + 6 = -r. Is (r - 1) + (1 - -34) a prime number?
True
Let h be 6 + (-2 + 3)/1. Suppose 0 = -r + 6 + h. Is r a composite number?
False
Let q(b) = -b + 9. Let z be q(7). Is (z + -2 + -1)*-293 prime?
True
Let m(u) = -u + 5. Let p be m(13). Is ((-70)/p)/((-8)/(-32)) composite?
True
Let f(h) be the second derivative of h**4/6 - h**3/2 + h**2/2 + h. Let t be f(2). Suppose -5*c + 56 = -t*l, 0*c + c - 6 = -2*l. Is c composite?
True
Let z(t) = -22*t**2 + 2*t - 2. Let b be z(4). Let d = b + 530. Suppose u = -3*u + d. Is u a prime number?
False
Let v(i) = i**3 + 3*i**2 - 9*i - 10. Let n(l) = -3*l**3 - 9*l**2 + 26*l + 29. Let s(w) = 4*n(w) + 11*v(w). Is s(-4) prime?
True
Let s be (-4)/(-10) + (-52)/5. Let c be 12/(-30) - 24/s. Is c*(-1 + (-34)/(-4)) a composite number?
True
Let s(z) = 26*z**2 - 2. Let q be s(2). Suppose u + 5*r = q, 0*u - u + 2*r + 137 = 0. Is u composite?
False
Let z(k) = -6*k + 55. Is z(-21) a prime number?
True
Suppose -u = -2*t - 1 + 5, 0 = 2*t - 4. Suppose -3*w + w + 30 = 0. Suppose -w = -u*f - f. Is f composite?
True
Suppose -8*w = -11*w. Suppose -2*i + 5*i - 477 = w. Is i prime?
False
Suppose -4*r - 4*n + 2913 = -627, 2663 = 3*r + n. Is r a prime number?
False
Let o(l) be the third derivative of l**6/120 + l**5/60 + 113*l**3/6 + 3*l**2. Is o(0) a prime number?
True
Suppose 1490 = -3*a + 7*a - r, 4*a - 1486 = 3*r. Is a a prime number?
True
Suppose 0 = 3*b - 2*b + 4. Let w be 4/10*(31 - b). Is 745/35 - 4/w composite?
True
Let m(f) = 5*f**2 - f + 3. Let x be m(3). Suppose x = 2*k - 213. Suppose 14 = w - k. Is w composite?
True
Let s(l) be the third derivative of l**7/1260 + l**6/180 + 3*l**5/40 - l**4/12 + l**2. Let d(v) be the second derivative of s(v). Is d(-7) prime?
True
Suppose -5*u = 8 - 853. Is (u/4)/(3/12) prime?
False
Suppose -3*v = -4*t - 6, -5*v = -4*v + t + 5. Let p be v/(-6) - (-256)/6. Suppose -20 - p = -3*o. Is o prime?
False
Suppose -2*z + 2 = 0, 5*o - z - 1617 = -3*z. Is o a prime number?
False
Let k be (265/2)/(7/14). Suppose -3*o = 2*o - k. Is o a composite number?
False
Suppose -5*m = -3421 - 3504. Is m composite?
True
Suppose -5*i = -4*n - 27, -5*i + 30 = -2*n - 3*n. Is (-37)/(-4)*(n - -31) a composite number?
True
Suppose 13 - 1 = 3*u. Let h(d) = d**3 + 0*d**2 - 6*d + 5 + 1 + 3*d**2 - 5*d**2. Is h(u) a composite number?
True
Let q = 3 + -5. Is 988/12 - q/3 composite?
False
Suppose 5*x - 1562 = -5*i - 287, 4*i = -x + 267. Is x composite?
False
Suppose 10 = 4*u + f, 7*f - 8 = -u + 4*f. Let z = 4 - u. Suppose 0 = -z*a + 7*a - 15, 3*r - 5*a - 63 = 0. Is r prime?
False
Let z(s) = s**3 - 3*s + 3. Let h be z(2). Is ((-1)/3)/(h/(-555)) a composite number?
False
Suppose 2*z = 8*z - 234. Is z a prime number?
False
Suppose 0*w - 4*w + 2540 = 0. Is w composite?
True
Is (6/(-12))/((-2)/268) a composite number?
False
Let d(a) = -a**3 + 10*a**2 - 9*a. Let g be d(9). Suppose 3*k - 10 = -u, 5*u + g*k - 2 = k. Let b = 3 - u. Is b a prime number?
True
Suppose 4*i + 12 = -8. Let j = i - -8. Suppose -j*a + 553 = 4*o - 0*a, -2*o + 2*a = -280. Is o composite?
False
Let w = 4022 + -1771. Is w a prime number?
True
Let h = 10 - 5. Suppose 5*f = -5*i + h, 2*f - 7*f + 29 = -3*i. Suppose 2*s - 69 = -2*w + s, -3*w - f*s = -91. Is w a composite number?
False
Let v(c) = 5*c**3 + 5*c**2 - c + 1. Is v(4) a prime number?
True
Suppose 5*s + 492 = 3*d, -5*d - 5*s + 789 = -3*s. Is (-3)/5 - d/(-15) a composite number?
True
Suppose 3*a + l = 593, 5*a - 862 = -4*l + 117. Is a composite?
False
Let c = 2317 - 1220. Is c composite?
False
Let j = -14 - -19. Suppose 70 = -j*g + 240. Is g a composite number?
True
Let r = -3 - -4. Suppose r - 29 = -4*x. Let i = 14 - x. Is i a prime number?
True
Is (-364)/(-3 + 2) + -3 composite?
True
Is (53 - 6)/(-1 + 2) prime?
True
Let k = 200 - -297. Is k a composite number?
True
Let u(i) = -5*i**3 - 7*i**2 - 3*i - 5. Is u(-6) a composite number?
True
Let x be 75/10*(-20)/(-3). Suppose -151 = -3*r + x. Is r composite?
False
Suppose 0 = -3*r - 3*h + 243, -8 = 4*r + 3*h - 333. Is r composite?
True
Let t = -179 + 550. Is t composite?
True
Suppose -z + 115 - 28 = 0. Is z a composite number?
True
Suppose 0 = 3*k + k - 356. Is k composite?
False
Let u(q) = 56*q**2 + 3*q + 1. Let l be u(-2). Let k = -154 + l. Is k a prime number?
False
Let p(j) = j**3 - 5*j**2 + 6*j - 6. Let g be p(4). Suppose b + 2*k = -g, 0*b - 5*b = -3*k + 10. Is (65/15)/(b/(-42)) prime?
False
Let p(f) = f**2 + 5 - 3*f - 2 + 2*f. Let y be p(0). Suppose -5*b + 122 = -4*r, -y*b - 3*r + 101 = 2*b. Is b composite?
True
Let d(f) = f**3 + f**2 + f + 467. Is d(0) prime?
True
Let j(y) = 2*y**3 + y - 1. Suppose -5*p = 20, o = p - 4*p - 11. Let h be j(o). Is 5256/16 - (-1)/h a composite number?
True
Let x = 1182 + -619. Is x prime?
True
Suppose -3*p - 316 = -7*p. Is p prime?
True
Suppose -3*b + 0*b + 474 = 0. Suppose -b = -3*n - 47. Is n a composite number?
False
Suppose 23 = b - 110. Is b a composite number?
True
Suppose -5*r + 3*r + 4*m + 2744 = 0, -4*r + 2*m + 5518 = 0. Is r prime?
False
Suppose 0 = 5*k - 1 + 6. Let b(g) = g**3 - 7*g**2 - 1. Let h be b(7). Is 6 - h*(2 + k) composite?
False
Let b = 1910 + 57. Is b a composite number?
True
Let i(h) = -2*h - 7. Let c(t) = -6*t + 1. Suppose -4*p - 4*v = -2*p - 22, -v + 1 = -4*p. Let q be c(p). Is i(q) a composite number?
False
Let h = 1 + 2. Let r = 1 + h. Let c(p) = 3*p**3 - 4*p**2 + 2*p - 3. Is c(r) composite?
True
Suppose -v + 3*v + 1621 = 3*c, v = -4*c + 2165. Is c prime?
True
Suppose 1 - 5 = 4*h. Is 23*((3 - h) + -3) prime?
True
Let f = 10 - 2. Let s = f + 29. Is s composite?
False
Suppose 5*g - 5*o - 374 + 84 = 0, -g + 62 = 3*o. Is g a prime number?
True
Let k = -121 - -234. Suppose 0 = 2*u + f - 236, 0*u - 3*f + k = u. Is u a prime number?
False
Let r(n) = 6*n**2 + n + 1. Let h be r(-1). Is 549/12 + h/24 a prime number?
False
Let o = 5 + -11. Let g be (-2)/o + (-29)/(-3). Is (-3)/15 + 232/g a composite number?
False
Let m be (0/(2 - 4))/(-2). Suppose -4*j = 2*g - m*j - 320, -5*j - 174 = -g. Suppose 0 = 3*q - g + 23. Is q prime?
True
Let j(c) = -c**2 - 6*c + 2. Let x(f) = -f**2 + 5*f + 2. Let z be x(7). Let q = z + 7. Is j(q) composite?
False
Is (-16 - -10)*(-31)/2 a composite number?
True
Let a = 8 + -5. Suppose -4*m = -2*t - a*m + 179, -92 = -t + 3*m. Is t a