 a composite number?
False
Suppose -2*a = -4*a + 4. Let c be 2 - (-2 - -2)/(-3). Is -8*(-3 + c) + a a composite number?
True
Let z(s) = -51*s - 7. Let c(h) = -34*h - 5. Let q(p) = 7*c(p) - 5*z(p). Let b(v) = v - 7. Let d be b(9). Is q(d) a composite number?
True
Let p(n) = 10*n - 17 - 3*n + 13 - n**2. Let j be p(6). Suppose -d - j*r = -4*d + 353, 4*r + 361 = 3*d. Is d composite?
True
Suppose 16 = 3*o + 5*q, 0 = -o + 6*q - 2*q + 28. Is (9/o)/((-2)/(-232)) a composite number?
True
Let n = 209 + -138. Is n a composite number?
False
Suppose 10 = 2*h + 3*h. Suppose -h*m - 1 = -5. Is (-1)/((-4)/406)*m composite?
True
Suppose 19 - 4 = 5*b. Suppose 0 = -5*x + x + 4*g + 752, -b*x = 5*g - 556. Is x composite?
True
Is 3753 + ((-1)/3)/(9/(-54)) composite?
True
Suppose 2*v - 4*s + 12 + 16 = 0, 4*v + 12 = -3*s. Let c(p) = p**2 + 2*p - 5. Is c(v) composite?
False
Suppose -3*v + 14 + 4 = 0. Suppose 4*j - 342 = v. Is j a composite number?
True
Let v(k) be the first derivative of -k**2 + 7*k + 1. Is v(-8) a prime number?
True
Suppose 5*i - i + 2*o - 36 = 0, -4*i - 5*o + 48 = 0. Suppose 3*w = -w - y + i, -2*y - 7 = w. Is w prime?
True
Suppose -5*p + 4340 = 5*w, -4*p + 4*w + 1676 = -1804. Is p composite?
True
Suppose -1811 = 2*y - 4*y - 3*w, 3*y - 2*w - 2697 = 0. Is y a composite number?
True
Let o = 1635 + 944. Is o prime?
True
Let q(i) = i**2 - i - 11. Is q(-6) a composite number?
False
Suppose 0 = 3*x + 2*v - 4407, 5*x - 4*v = -v + 7364. Is x prime?
True
Let x be 1 - -2 - -3*1. Suppose -x*q + 131 = -5*q. Is q prime?
True
Let o = -18 - -10. Is (70/8)/((-2)/o) a composite number?
True
Let u be (3 + 0)*(-92)/12. Let p be (-3)/(-2)*56/3. Let l = p - u. Is l prime?
False
Let m(l) = 42*l - 4. Let v be m(4). Let z = -81 + v. Is z composite?
False
Let t be (-2 - 0 - -3)*-1. Let l be (2 + t + 66)*1. Suppose -c - l = -2*c. Is c composite?
False
Let r(d) = 5*d**3 - 3*d**2 - 14*d + 19. Is r(6) prime?
True
Let o(n) = 1560*n**2 - 1. Is o(-1) prime?
True
Let b = 820 + -569. Is b composite?
False
Suppose z + z - 8 = 0. Suppose 7*f - 40 = 3*f + z*k, 5*k - 5 = 0. Is f composite?
False
Suppose -5*r - 13 = s - 29, 0 = s - 4*r + 11. Let b(k) = 2*k + 4. Let w be b(-3). Is w/s*(-154)/4 a composite number?
True
Let q(p) = -74*p**2 - 3*p. Let h(i) = -i**2 + i. Let y(z) = -4*h(z) - q(z). Let o = 11 + -12. Is y(o) a composite number?
False
Is 66438/126 + 4/(-14) a composite number?
True
Suppose -3*t = 9, 3*u - 2 = 4*t + 1. Is (u/2)/((-1)/14) composite?
True
Suppose i + 66 = 2*i - f, 0 = 5*f - 25. Let n = -37 + i. Is n a composite number?
True
Is (-9620)/(-12) + 1/3 composite?
True
Let a(x) = -x + 3. Let j be a(-3). Suppose -j*l + l + 1015 = 0. Is l a composite number?
True
Suppose p + 5*w = -p + 5, -4*p + 17 = 3*w. Suppose 0*k - 195 = -p*k. Is k a composite number?
True
Suppose a - 30 = -4*a. Suppose -5*k + 3*k = -2*f + 66, -3*k - a = 0. Is f prime?
True
Suppose 4*u + 4 = 4*g, 2*u - 3 = -4*g + 1. Suppose 2*b = 38 - u. Is b prime?
True
Let v = -1 - -4. Suppose -2*q = 4*p + 22, -2*q = v*p - 5*q + 21. Let l = 43 - p. Is l a prime number?
False
Let j be 0 - -6 - (7 + -5). Let l be 6*(-1)/(-6)*j. Is 1/l - 166/(-8) a prime number?
False
Let c(j) = j + 5. Let o be c(-7). Is 14 - o - (3 + -2) composite?
True
Let z(q) be the third derivative of -11*q**4/24 + 5*q**3/6 - 8*q**2. Is z(-4) a composite number?
True
Let f(y) = 14*y**2 - 4*y - 5. Let c = 16 - 12. Is f(c) a composite number?
True
Let s(y) = 106*y - 11. Is s(5) composite?
True
Let g(j) = -j**3 - 20*j**3 + 2 - 3 - j**2 + 2*j. Suppose n - 8*n - 14 = 0. Is g(n) a composite number?
True
Suppose -9*v = -10*v + 1. Suppose -3*c - 2 = 1. Is v*(-40 - -1)*c prime?
False
Suppose -s + 61 = 3*i + s, 0 = s - 2. Let f = i + -4. Is f a prime number?
False
Is 3 + -2 - (-408)/1 a composite number?
False
Let q be (-3 - -1) + 1 + -2. Let z(v) = 4*v**2 - 1. Is z(q) a prime number?
False
Suppose 3*u = 3, 3*u = -b - 0*u + 70. Is b a composite number?
False
Suppose 5*d + 201 = -3*t, 3*t - 33 = -0*d + d. Let v = -4 - d. Is v a prime number?
False
Suppose -2*o - 4 = -2*z, -z + 5*z = 3*o + 9. Let u(p) = p**2 + 2*p - 4*p + p - o. Is u(-7) prime?
False
Let g = 208 - -133. Is g a composite number?
True
Let q = -442 - -682. Suppose -5*c - 15 = 0, -5*k + c + 148 = -q. Is k prime?
False
Suppose -7*i + 36 = -3*i. Let b be ((-6)/i)/((-2)/6). Is (-35)/1*(-2)/b composite?
True
Let c = -1037 + 1655. Suppose -726 = 2*b + 2*o - 0*o, 5*b = 2*o - 1787. Let l = b + c. Is l composite?
True
Suppose -b - 4*w - 100 + 245 = 0, -3*w + 541 = 4*b. Is b composite?
True
Let z(s) = -s**3 + 7*s**2 + 8*s + 2. Let l(c) = -c**2 + 11*c - 2. Let b be l(10). Let a be z(b). Suppose 0 = -a*y + 5*y - 111. Is y composite?
False
Let x = 1580 + -927. Is x composite?
False
Suppose 0 = 5*c + 5*t - 25, 0 = -5*c + 5*t - 4*t + 1. Is 3/9*c*111 composite?
False
Let b be (-2)/(-3)*(1 - -2). Suppose -3*x - 647 = -b*r, 4*r - 3*x = -2*x + 1269. Let p = -225 + r. Is p a prime number?
False
Suppose 0*i + i - 15 = 2*x, x = -5*i + 108. Suppose -113 = -4*k - i. Is k a prime number?
True
Let q be 2/(-6) - (-19)/3. Suppose -2*u + q*u - 88 = 0. Is u prime?
False
Let g = -5 + 5. Suppose g = 4*b + 3*f - 26, 4*b - 4*f = -0*f + 12. Suppose -b*u + 276 = -319. Is u a composite number?
True
Is ((-307)/4)/(1 + (-15)/12) composite?
False
Let s(g) be the third derivative of g**5/60 + 3*g**4/8 + g**3/6 - 2*g**2. Is s(-10) prime?
True
Suppose 122 = u - 7*m + 2*m, -u + 130 = -3*m. Is u a prime number?
False
Suppose 4 = 2*i - 6. Suppose -6*z + z = -i. Is 42/(-12)*(z + -7) composite?
True
Let m = 1239 - 860. Is m composite?
False
Suppose 4*o = 4*n + 12, -5*o + 3 + 8 = -n. Suppose 2*q - 3*u + 280 = 7*q, -5*u = o*q - 93. Is q a composite number?
False
Let l = 11 + -5. Let k(d) = -5*d**2 + 5*d + 7. Let t be k(l). Let z = -76 - t. Is z prime?
True
Let f = 11 - 6. Suppose 0 = 4*r - f - 11. Let a = r - -3. Is a composite?
False
Let p(s) = 0 - 18*s - 1 - 20*s. Let k be 1/(2/(-2 + 0)). Is p(k) a composite number?
False
Let j = 6 + -4. Suppose z + j*w - 23 = 0, 4*z + 2*w - 5 - 93 = 0. Is z a prime number?
False
Suppose -4*s - 244 = -4*n, 5*n + 22 = -2*s - 100. Let z = 112 + s. Is z composite?
True
Suppose 2*i + 4*z = -4 + 14, 0 = -5*i - 2*z + 1. Let a(p) = -112*p**3 + p**2. Is a(i) a composite number?
False
Let h = 12 - -7. Let t(m) = 3*m + 6 + 2*m - h*m - 9*m. Is t(-5) a prime number?
False
Let c = 11 - 5. Let o be c*(1 - 2/3). Is 3/o*(-152)/(-12) a composite number?
False
Is 1671*(-3)/(-45) - (-2)/(-5) prime?
False
Let y(j) = 14*j - 13. Is y(7) a prime number?
False
Let y = -17 + 22. Suppose -5*w = -5*h - 4870, y*w - h = -0*h + 4858. Is w a prime number?
True
Suppose 0 = 5*c + z - 3500, -228 = 4*c - 3*z - 3047. Is c a composite number?
False
Suppose -2*b + 4*b + 30 = -5*h, -h - 45 = 3*b. Let u = 158 + b. Suppose u + 190 = 4*q - 5*n, -2*q + 3*n = -169. Is q a composite number?
True
Suppose y - 4*z = 569, y = 5*y + z - 2208. Is y a prime number?
False
Let q(n) = -n**3 + 2*n**2 + n. Let o be q(-1). Suppose 3*y + 2*y = -o*i + 13, 4*i = 2*y - 10. Suppose -5*d + 13 = m, 0*m = -3*d + y*m + 15. Is d prime?
True
Let u = 11 + -8. Suppose 2*b = -2*a + 182, 0 = -2*b + u*a + 68 + 114. Suppose -b = -2*d + 5*m, -2*d - 4*m + 109 = -27. Is d a prime number?
False
Let i(t) = 5*t**2 - 17*t - 23. Is i(17) a composite number?
True
Suppose -3*b = -0*u - u - 1554, -u - 2588 = -5*b. Is b a composite number?
True
Let z(j) = j**2 - 12*j + 14. Let v be z(11). Suppose -4*i = 3*s - 159, 5*s - v*i - 86 = 150. Is s prime?
False
Let t(l) = 2*l**2 - 10*l + 13. Let j(n) = n**2 + 1. Let a(k) = j(k) - t(k). Is a(8) a prime number?
False
Let y = -5 + 11. Suppose 0 = -4*l + y*l - 334. Is l a composite number?
False
Suppose -5*z + 407 = -228. Is z composite?
False
Suppose 8*q - 5*q = 15. Let k = 3 + -8. Is -1 + 68 - (q + k) composite?
False
Let q be (7/14)/(1/12). Let g be -1 + (0 - q)/(-2). Suppose 2*a - 326 + 70 = g*t, -4*t = -2*a + 258. Is a a prime number?
True
Suppose 2*o + 1 = 4*a - 17, -3*a + 12 = -3*o. Let b be -15*(o - (-2)/(-1)). Suppose -j + g = -b, 55 + 12 = 5*j - g. Is j a composite number?
False
Suppose 0 = 48*v - 49*v + 677. Is v prime?
True
Let n be (4/3)/((-21)/(-1575)). Let o(y) = -62*y**2 - 1. Let g be o(1). Let u = n + g. Is u composite?
False
Let c = 12 + 