-3. Is c(o) composite?
False
Let l(f) = 2*f - 1 + 6 + 14*f. Is l(8) a prime number?
False
Suppose -5*u = -5*w - 3840, 5*w - 6*w = 1. Is u composite?
True
Suppose 3*a = 12, 3*u = -2*a + a + 265. Is u a prime number?
False
Suppose 5*v + 20 = 5*f, 2*f + 3*f = -3*v + 52. Let h = -1 + f. Is h composite?
False
Suppose -4*d + 12 = 5*i, 0*d + 2 = 3*d + 2*i. Let z = -5 - d. Is 99 + -2 - (-6)/z prime?
False
Suppose 0 = n + w - 515, -w = -4*n - 4*w + 2062. Is n prime?
False
Suppose 3*d = 42 + 15. Let i = 28 + d. Is i a composite number?
False
Let m(k) = -k**3 + 2*k + 3. Let z be m(-2). Let t(u) = 3*u + 95. Let f(y) = 10*y + 284. Let i(w) = z*t(w) - 2*f(w). Is i(0) composite?
False
Let s(c) = 44*c - 5. Suppose -2*z + 0*z + 6 = 0. Is s(z) a composite number?
False
Let f be (-3)/12 + (-63)/(-12). Let q(b) = 6*b - 8. Is q(f) prime?
False
Let t be (-1 - -4)*(-10)/(-15). Let b be (-35 - -1) + t + -3. Let s = b - -120. Is s composite?
True
Let c be 125 + (2*-1 - -2). Suppose 0 = -t - 4*t + c. Is t/(3*(-2)/(-6)) composite?
True
Suppose -2*o + 2 = -4*s - 0*s, 0 = -5*s + 3*o - 5. Suppose q - 2 = -2*c, 5*q + 13 = -7. Suppose -c*v = -15, -p = s*p - 4*v - 37. Is p composite?
False
Suppose -2*u + 6*u + 12 = 0. Is 49 + 0*(-2 - u) a prime number?
False
Let t(i) = i**3 - i**2 - 3*i + 3. Let a be t(2). Let o be 71*3/(-3)*a. Let n = -22 - o. Is n composite?
True
Suppose 0 = 5*f + 4*p + 221, -p + 3*p = -2*f - 88. Let n = f + 172. Is n a composite number?
False
Let c = 296 + -37. Is c composite?
True
Let d be (-1*(0 + 2))/1. Let c be -2*((-510)/4 - d). Suppose -4*v = 5*r - c, -6*v + v + 20 = 0. Is r a prime number?
True
Suppose -3*c = -2*z + 2317, z - 1181 = -4*c - 50. Is z a composite number?
False
Let d = 55 + 22. Is d a prime number?
False
Let s(y) = y - 3. Let d be -2*2/(-8)*12. Let p be s(d). Is 37 - 1*(3 - p) a composite number?
False
Let z(a) = -19*a**3 + a**2 - 1. Let b be 1 + -2*1/(-2). Suppose -4*g - 6 + b = 0. Is z(g) a prime number?
True
Let s = -2 + 0. Let t = 49 + s. Is t composite?
False
Is (-3)/((-12)/1556) - -2 a composite number?
True
Let r(m) be the first derivative of 3/2*m**2 + 3 + 1/3*m**3 + 2*m. Is r(-3) prime?
True
Suppose 2255 = 28*k - 23*k. Is k a composite number?
True
Let a(g) = g**2 + 6. Let v be a(0). Let o be ((-26)/v)/((-5)/180). Suppose s - 5*s = -o. Is s a prime number?
False
Suppose 2*m = -146 - 60. Suppose 0 = 2*j - 173 - 191. Let b = m + j. Is b composite?
False
Let i(u) = 26*u**2 - 2*u - 2. Let b be (15/20)/(1/4). Let x be i(b). Suppose 0 = 5*y - x - 9. Is y composite?
False
Suppose 4*j = -4*o + o, 0 = 4*o + 5*j. Let m be 165/12 + (-3)/4. Is m - (o + (-2 - -4)) a composite number?
False
Suppose -f + 2*f = -4, -4*u = -2*f + 668. Suppose -4*d + 1071 = -81. Let n = u + d. Is n a prime number?
False
Let s be (-4)/10 + 36/15. Let o be 34 - (-1 - (s - 0)). Is -1*o*(-7 - -2) a prime number?
False
Suppose -2*r - 370 = -w - 3*r, 2*w - 752 = 2*r. Is w a prime number?
True
Let n(j) = -8*j**2 + 7 + 2*j - 9*j - 1 - 2*j**3. Let c be n(-7). Suppose -3*q + c = 4*m, -101 = -m + 7*q - 5*q. Is m composite?
True
Suppose -3*k = 2*k - 3545. Is k a composite number?
False
Suppose 8 = 3*c - 7, 3*c + 215 = 2*p. Is p a composite number?
True
Suppose -t + 58 = c, -4*t - 3*c = -2*c - 223. Is t a composite number?
True
Let i(b) = -b**3 - 6*b**2 - 6*b - 3. Let y be i(-5). Let m be ((-9)/(-6) - y)*-2. Is m/(-2)*28/(-2) prime?
True
Let a be 2/(-5) + 24/10. Suppose m = -a*m + 6. Is m prime?
True
Suppose 21 = -3*t + 6*t - 5*x, -5 = 5*t + 5*x. Suppose -t*l - 2*l = -52. Is l a prime number?
True
Suppose -3*n + 20 = 2*n. Suppose 3*y - 508 - 296 = 0. Suppose 2*q = n*l - y, -l = -0*l + 3*q - 67. Is l prime?
True
Let l be 1*0/(-2 - 1). Suppose l + 4 = o. Is 26/o*(-6)/(-3) a prime number?
True
Suppose 5*w = p - 1559, -p + 6*p + 5*w - 7795 = 0. Is p a composite number?
False
Suppose 0 = g - j - 2*j - 39, 3*g - 3*j = 147. Let r(p) = -2*p + 4. Let f be r(2). Suppose f = 2*s + 12 - g. Is s prime?
False
Suppose 5*f - 58 = 387. Is f prime?
True
Let x = 8 - -1. Let m(a) = 6*a - 8. Is m(x) composite?
True
Let k = 8 + 61. Is k prime?
False
Let n = 86 + -47. Is n a composite number?
True
Suppose -2*m + 12 = -a - 96, -3*m + 3*a + 168 = 0. Let y = 107 - m. Is y prime?
False
Let r(u) = 4*u**3 - u**3 + 0 + 2*u**2 - 2*u - 2. Let a be r(2). Let j = a + -1. Is j prime?
False
Let u(b) = -b**3 + 7*b**2 + 11*b - 10. Let f be u(8). Suppose -q = -73 + f. Is q composite?
False
Let p(y) = -y**2 - 3*y - 2. Let g be p(-2). Suppose 1955 = 5*j + 5*i, -2*j + 5*i + 797 = -13. Suppose 0*d - 5*d + j = g. Is d composite?
False
Let t(u) = u**2 + u + 182. Let d be t(0). Suppose -5*v = -d - 253. Is v a composite number?
True
Let p = -1 - -1. Let z be -2 - (0 + (-76 - p)). Suppose s - 3*s = -z. Is s a prime number?
True
Suppose -11*z + 10053 = -2*z. Is z composite?
False
Let c(o) = -o**3 + 6*o + 9. Let m be c(-7). Suppose -3*f + m = -f. Is f a prime number?
False
Let h = 42 - 27. Let r be (-2 - (-36)/h)*10. Suppose -r*t = 4*o - 204, -o + 3 = -1. Is t a composite number?
False
Let l(y) = y**3 - 17*y**2 + 30*y + 14. Is l(20) a composite number?
True
Let n be (-12)/(-16) + (-1330)/(-8). Suppose -3*w = -2*w - n. Is w a composite number?
False
Let u = 1 - -18. Is u a composite number?
False
Suppose i - 805 = -4*i. Is i composite?
True
Let n(w) = -2*w**2 + w + 1. Let f(q) = -2*q**2 + q + 1. Let g(b) = -5*f(b) + 4*n(b). Let j be g(-1). Is j/(-5) + 6570/50 a composite number?
False
Suppose 2*c - 2*r = 772, 5*c - 785 = 3*r + 1135. Is c prime?
False
Suppose 5*s - 10 + 0 = 0. Let a be 2 + -3 + 3 - s. Let u(k) = k + 23. Is u(a) a composite number?
False
Let h(m) = 2*m**2 + m + 8. Is h(-5) composite?
False
Suppose 8*b = 7*b + 2459. Is b a prime number?
True
Let p be (-4)/(-2)*(284 + -6). Let c = p - 299. Is c a composite number?
False
Let l be ((-16)/6)/((-8)/12). Suppose -3*u + 5*u = 6. Suppose u*y - 7*y - 5*i + 374 = 0, 4*y - 372 = -l*i. Is y a composite number?
True
Suppose -j - 4*j = -10. Is (1 - j)/(2/(-124)) a prime number?
False
Suppose -3*c + 25 = 79. Let g = c - -31. Let j = g + -6. Is j composite?
False
Suppose 5*r - 575 = -4*z, 0*z - 3*z - 2*r = -433. Is z a prime number?
False
Let r(j) = 2*j**3 + 20*j**2 - 4*j - 7. Is r(-9) prime?
True
Let d = -1 + 7. Suppose -w - 70 = -d*w. Is w a prime number?
False
Let y(c) = 15*c**2 + 5*c + 3. Is y(4) a prime number?
True
Let u be (13 - 11) + 2/2. Suppose 0 = -2*q + u*q - 39. Is q a prime number?
False
Let r(b) = 63*b - 10. Suppose 0 = -0*l + 6*l - 54. Is r(l) composite?
False
Suppose -4*x + 9*x - 3*q - 1277 = 0, 241 = x + 3*q. Is x prime?
False
Let l(b) = -b - 7. Let y be l(-7). Suppose y*n + 381 = 3*n. Is n a composite number?
False
Is (-7452)/(-84) + 4/14 a composite number?
False
Let u = -5 + 16. Is u a composite number?
False
Suppose 8 = -2*u - 24. Let b be 4/14 + (-99)/(-21). Is (-1 - u) + (4 - b) a composite number?
True
Let f be 4 + (-1)/((-3)/6). Suppose f = 5*u - 4. Is ((-7)/u)/((-2)/28) a composite number?
True
Is (2/4)/(3/1338) prime?
True
Let x(v) = v**2 + 3*v + 2. Let r be x(-5). Let l be (-1)/2*(3 + -9). Suppose 2*k + 37 = l*w, 4*k = -3*w + 55 - r. Is w composite?
False
Let s(w) = 13*w**2 - w - 9. Let i(v) = 2*v - 10. Let d be i(3). Is s(d) a composite number?
True
Let t(g) = -g**3 + 23*g**2 + 34*g - 19. Is t(24) a composite number?
True
Let k(r) = -27*r - 7. Is k(-2) prime?
True
Let h(f) = -31*f - 5. Let p be h(-9). Suppose p = 4*r - 2*a - 66, r + a - 79 = 0. Is r a composite number?
False
Let r(m) = -8*m - m - m**2 + 17 + 8*m. Let z be r(0). Suppose 29 = 2*d - z. Is d a prime number?
True
Let u = 2 + -2. Let o(l) = -2*l**2 + l. Let x be o(1). Is (49/(-1))/(x + u) composite?
True
Let l(h) = -2*h - 2. Let q be l(-2). Let s be 586/q - 3 - -2. Suppose 0 = -5*k - m + s, k = 4*k + 5*m - 162. Is k a prime number?
True
Let u = 639 + -8. Is u a prime number?
True
Let d = -5 - -7. Let i(y) = -4*y + d*y - 9 - 2*y. Is i(-7) composite?
False
Let j be 2/(-11) + 204/33. Is (-2)/((-1)/(249/j)) prime?
True
Suppose 0 = -4*g - 5*t + 1661, -3*g - t = -5*t - 1269. Is g a composite number?
False
Let h be (-1878)/(-15) + (-1)/5. Suppose 3*n - h - 3 = -2*o, -2*n + 107 = -3*o. Is n a composite number?
True
Let a = 17613 - 8714. Is a composite?
True
Let x(s) = -14*s - 1. Let j be x