-6). Suppose 21 = -c + 24. Suppose -c*t - 1108 = -i, -k*i = -i - 4*t - 1105. Is i a composite number?
False
Let f(l) = 378*l**2 + 7*l + 0*l - 4*l - 2. Is f(1) a composite number?
False
Let x = -29 + 14. Is 920 - -1 - (-13 - x) a composite number?
False
Suppose -2*y + 3 - 11 = 0. Let n = 1 - y. Suppose 3*m + 5637 = n*u - 2*u, -5*u - 3*m = -9427. Is u a composite number?
True
Let u(o) be the third derivative of o**6/60 + 2*o**5/15 - 5*o**4/12 + o**3/6 - 6*o**2. Is u(8) prime?
False
Let p(a) be the first derivative of 13*a**2/2 - 11*a - 1. Is p(13) a composite number?
True
Let u be -3 - (170/(-20) - 1/(-2)). Suppose -u*r = 1178 - 8173. Is r composite?
False
Suppose h = 2391 + 1514. Let b = -2742 + h. Is b a prime number?
True
Let p = -1127 + 2080. Is (p/3)/((-23)/(-69)) a composite number?
False
Let h(x) = 467*x**2 - x - 1. Let q be (1 + 0)/(-2)*-4. Let f be h(q). Suppose 9*g = 4*g + f. Is g prime?
True
Suppose 2*p = 3*p - 587. Suppose -l = -0*l - p. Is l a prime number?
True
Suppose 8*z + 0*z - 68952 = 0. Suppose -z = -2*h + 10675. Is h a prime number?
False
Let c(n) = -8*n + 8. Let z be c(0). Is 13106/z + (-18)/(-24) prime?
False
Suppose 3*p = 2*p. Suppose 4*l = 5*w + 42, p = -4*l - 2*w - 0*w + 28. Is ((-412)/l)/(3/(-6)) composite?
False
Let o = 22238 + -1327. Is o a prime number?
False
Suppose 5*r = -a + 8161, a + 4*r - 1716 = 6441. Is a a composite number?
True
Let h = -3 - 9. Let d = 14 + h. Suppose 0*j + 22 = d*j. Is j composite?
False
Suppose 5*f + 3 = 2*f. Let k be (-8)/12*f*9. Suppose 266 = 4*q - 2*d, -2*q - k*d + 139 = -d. Is q prime?
True
Let c(t) be the second derivative of -111*t**5/5 - t**4/12 + 12*t. Is c(-1) a prime number?
True
Let o(n) = -n**2 - 2*n + 863. Let y(r) = r**3 - 11*r**2 + 2*r - 22. Let v be y(11). Is o(v) prime?
True
Is (-1 - -2)/((-87)/(-2528655)) a composite number?
True
Let c = 29 - 30. Is c - ((-2445)/1 - 5) prime?
False
Let y = -2486 + 4443. Is y a prime number?
False
Let d = 20196 + -14242. Let n = -4053 + d. Is n composite?
False
Let c(k) = 31*k. Let b be c(3). Is b - 2/(-4)*-8 a composite number?
False
Let v(c) = -2*c**3 - 12*c**2 - 2*c + 8. Let r be 112/(-42)*(-6)/(-2). Let n be v(r). Let k = n + -159. Is k prime?
False
Suppose m + 4*l - 94 - 735 = 0, -3*l = 4*m - 3290. Is m a prime number?
True
Let q(y) = 11*y**2 + y - 1. Let f be q(-2). Let x = f + -21. Suppose 5*h + 35 = r - 140, -x = 5*h. Is r prime?
False
Suppose 3*v + 50 = 1367. Is v a prime number?
True
Is 16983 - ((-2)/(-6) - 594/(-162)) composite?
False
Suppose 0*r = 2*r - 1036. Let y be (r + 1 - 0) + 1. Suppose y = 4*n - 1404. Is n prime?
False
Suppose -26*m - 660 = -24*m. Let b = 10 + -7. Is b/9 + m/(-9) prime?
True
Is 4/6*(-134241)/(-58) composite?
False
Suppose -s - 5*m - 15 = 0, 3 + 2 = 5*s + 5*m. Suppose s*l + 2 = q, 4*q - 3*q = -4*l + 2. Suppose -q*c + 313 = c - 2*d, -93 = -c - 5*d. Is c prime?
True
Suppose 7*n - 13*n = -41196. Is n a composite number?
True
Let s be (-9)/2*(-12)/9*97. Suppose x = s + 47. Is x prime?
False
Let l(t) = -34*t - 25. Suppose -4*f + 3*p = 75, -87 = 5*f + 4*p - p. Is l(f) prime?
True
Let i be -1*-1*486/(-3). Suppose 5*k = -g + 1622, 4*g = g - 9. Let q = i + k. Is q a prime number?
True
Let m = -118 + 63. Is (m/(-10))/(4/16) a composite number?
True
Suppose -j - j + 8 = 0, 4*y - 1148 = -2*j. Suppose 2*u = -5*d + y, -284 = -4*d + 5*u - 89. Is d a composite number?
True
Let s be 3*(-2)/(-3)*4. Let d(c) = 95*c - 14. Let i be d(s). Let g = i - 453. Is g composite?
False
Suppose -7*m + 220 = -2*m. Suppose -6*g = -2*g - m. Let t(z) = 13*z - 16. Is t(g) prime?
True
Let o(d) = -2*d**3 + 3*d + 5. Let g be o(-4). Suppose 241 = l - 2*c, l + 4*c - 144 = g. Is l prime?
False
Let s(t) = t**2 - 12*t + 5. Let w be s(12). Suppose 0 = 2*m + 4*v - 882, -2135 = -w*m - 3*v + 7*v. Is m prime?
True
Suppose -7*m + 4*y - 8517 = -8*m, 2*m + 2*y - 17010 = 0. Is m a prime number?
True
Suppose 0 = 2*q - 4*g - 20, 4*q - 25 = q + 5*g. Is (2 - -2) + q + 745 prime?
False
Let h(z) = -393*z - 2. Suppose -10 = 3*l - 8*l. Let a be h(l). Let o = a + 1197. Is o a composite number?
False
Let p(h) be the first derivative of h**4/4 - 2*h**3/3 + 3*h**2 + 6*h + 11. Is p(5) composite?
True
Let n(t) = 33*t**3 + 7*t**2 + 33*t - 33. Is n(10) a composite number?
False
Let q(f) = 226*f + 3. Is q(17) composite?
True
Let c be (0 - 1) + 15/5. Suppose -2*f + 0*p + c*p + 34 = 0, 0 = 4*f + 2*p - 44. Suppose 4*y - f = 811. Is y a prime number?
False
Suppose -5*w + 35379 - 2864 = 0. Is w a composite number?
True
Let y(i) = 3*i**2 - 7*i + 4. Let w be y(2). Suppose 0 = w*q - 4*c - 1814, q + 5*c - 3589 = -3*q. Is q a composite number?
True
Let b(t) = -2*t - 45. Let c be b(-23). Is (3 - (-4 - 2945)) + c + 0 a prime number?
True
Let u = 223 + 439. Is u composite?
True
Let k(q) = -1 + 0*q**2 - 2*q + 5*q**2 + q - 6*q. Is k(5) a prime number?
True
Let j(z) = 111922*z + 27. Is j(1) a composite number?
False
Let l(u) be the second derivative of 10/3*u**3 - 6*u + 0 + 9/2*u**2. Is l(8) composite?
True
Let y(p) = 2 - p + 0 - 4*p**2 + p**3 + 1 - 8*p**2. Is y(13) a prime number?
False
Let m(y) = y**2 - 9*y + 17. Let d be m(7). Suppose 4*k + 0*k - 234 = -2*v, d*v - 5*k = 406. Is v a prime number?
True
Let q = 7318 - -1183. Is q a composite number?
False
Let v be (-2)/10 - 20048/10. Let d = -1202 - v. Is d prime?
False
Let t be ((-57)/4)/((-8)/11808). Suppose -2*w = -2*x + 9452, -w + 2144 - t = -4*x. Is x composite?
False
Let c(w) = -11*w + 341. Let l = -14 + 14. Is c(l) prime?
False
Let o = -256 + 383. Let k = o - 68. Is k prime?
True
Suppose n = 2, 2*o - 11*n - 17002 = -9*n. Is o prime?
False
Suppose 0 = 5*d - 2*i - 3201 - 1998, i = -2*d + 2085. Is d composite?
True
Let f be (-1 - 24/(-15))*-5. Let h = 15 + -11. Is (-65)/(h/2 + f) a composite number?
True
Is 2 + (-6)/2 + (-5976)/(-12) a composite number?
True
Let v = 7 - -2. Is 2/2 - (-2574)/v a prime number?
False
Let n(p) = -71*p**3 - p**2 + p + 1. Let k be n(-1). Let w be 2/(-11) - 11/(242/(-48)). Is (7/w)/(5/k) prime?
False
Let s(y) = 20*y + 7. Let k(x) = x**2 - x. Suppose 0 = 5*p - p - 12. Let o be k(p). Is s(o) composite?
False
Suppose -m - 4*q - 25 = 0, -m + 0*m - 13 = q. Let v = -7 - m. Suppose -2*u = 3*s - 121, 0*s + 255 = 5*u - v*s. Is u a prime number?
True
Suppose 4*c + 27 = 5*c - 5*g, 0 = 3*c + g - 1. Suppose 2*b + 11 = 3*h, -4*h - 4*b + 2 = -c*h. Suppose 6*i - 5*i = -h*u + 176, -4*u = i - 175. Is i prime?
True
Suppose 3*h + 6 = -3*d, 0 = 2*h - d - 0 - 2. Suppose h = 3*f + 3*k - 2760, 2*f + 0*k = k + 1843. Is f a composite number?
True
Suppose 4056*h - 4049*h - 44009 = 0. Is h a composite number?
False
Let t = -8666 - -5741. Is (1 + t/(-10))/(2/4) a composite number?
False
Suppose 4*a = b - 2830, 0 = -5*b + 2*b - a + 8451. Is b prime?
False
Suppose 17*n - 320351 = -39205. Is n prime?
False
Let m(d) = -98*d + 31. Let w(o) = -2. Let h(c) = -m(c) - 2*w(c). Is h(17) a prime number?
False
Let v(b) = -8*b**3 + 5*b**2 + 6*b - 5. Let n be v(-6). Suppose -5*q = -828 - n. Suppose -2*d = -q + 117. Is d composite?
False
Let f(m) be the first derivative of m**4/4 + 2*m**3/3 + 2*m**2 - m - 3. Let a be f(-3). Is a/(-6)*(-1 + 22) a composite number?
True
Let f = -31 + 34. Suppose 3*z = -y - 1, 6*z - f*y - 3 = z. Is 143 - 8/(z - -4) composite?
True
Let q(r) = 19*r - 3. Let t be q(-3). Let k be (t/(-50))/(3/10). Is 223/6 - k/24 prime?
True
Let t(b) = -b**3 + 22*b**2 - 55*b - 7. Is t(15) a composite number?
False
Let z(i) = 3 - 3*i - 6*i - 5*i + 6*i. Let h be z(-5). Let v = h + -18. Is v a prime number?
False
Suppose -5*f + 3*f = -6, 5*f = -4*v + 39683. Is v a prime number?
False
Let q = -3798 + 5501. Let j = q - 653. Is j/4 + 3/6 composite?
False
Is (0 - (-95180)/(-30))*6/(-4) composite?
False
Let z(f) be the second derivative of 5*f**4/12 - f**3/3 - 20*f**2 + 12*f. Is z(15) composite?
True
Let j = -42 - -46. Suppose -3*m = 4*c - 669, -2*m + 94 + 352 = j*c. Is m a prime number?
True
Let z be -1 + 4 - (-12 + 15). Suppose -6*o + 2*o + 32 = z. Is 2671/7 - o/14 composite?
True
Let t = 492 + -285. Let v = -443 - -445. Suppose 4*j - t = -3*p, v*p = -0*p + j + 138. Is p composite?
True
Let q(b) = b**3 - 11*b**2 - 13*b + 12. Let a be q(12). Suppose -5715 = -3*f + 4*i, -5*f - 4*i + a*i + 9557 = 0. Is f composite?
True
Suppose -4*x + 81 = 3*p - 3*x,