= f**2 + 3*f - 3. Let a be m(2). Suppose 5*u - 5 = -5*s, 3*u - a = -s - 3*s. Suppose 4*g - 80 = -4*v, 8 = g + s*v - 15. Is g composite?
False
Is 4/(-26) - 8235/(-39) composite?
False
Suppose -4 = -b - 1. Suppose n + q + q = -8, -12 = 3*q. Suppose -3*k = y - 89, n = -b*y - 0*y - 2*k + 239. Is y a composite number?
True
Suppose 0*l = l + n, 5*l + 4*n - 4 = 0. Let j = l + 0. Is j/2*47/2 prime?
True
Let o(p) = p**3 - 6*p**2 - 2*p + 4. Let w be o(7). Suppose 2*y + w = -y. Let v = y - -20. Is v prime?
True
Let z be (-8)/(-4) + 0 + 1. Let j be ((-6)/z + -79)/(-1). Let b = j + -58. Is b prime?
True
Let u be (-18)/(-5) - 4/(-10). Suppose u*w = -5*t - w + 245, 0 = -2*w + 6. Is t composite?
True
Suppose -o = -t - 407, 3*o - 2043 = -2*o + t. Is o a prime number?
True
Suppose 0 = -5*d + d - 16. Let o(i) = -44*i + 3. Is o(d) composite?
False
Let m be -1*(-2 - -3) + 1. Is (1 + m)/(4/212) a prime number?
True
Suppose 4*p - 2*p = 4. Suppose 3 = a - 4*a. Is (158/(-4))/(a/p) composite?
False
Is 3/5 - 9010/(-25) a composite number?
True
Let w = 860 - 481. Is w composite?
False
Let t = 281 + -142. Is t composite?
False
Let s(a) = 1. Let r(t) = -t**3 - 7*t**2 - 3*t - 2. Let w(j) = -r(j) - 5*s(j). Suppose u = 2*u + 6. Is w(u) prime?
False
Suppose -3*q + 14 = -4. Let p = -6 + q. Suppose 5 = x, -2*u + x = -p*x - 143. Is u a composite number?
True
Is (1174/(-6))/((-4)/12) composite?
False
Let b(l) = l**2 + 3*l - 12. Let w be b(11). Suppose 5*x - 402 = -2*h, w = 3*h + 5*x - 451. Is h a composite number?
False
Let b(o) = 820*o**2 + 2*o - 1. Suppose -16 = 6*u - 2*u + 5*p, 3*u - 19 = 4*p. Is b(u) a prime number?
True
Let p(t) = 90*t + 5. Is p(7) a composite number?
True
Suppose 645 = 4*l - 2095. Is l prime?
False
Let g = -59 + 78. Is g composite?
False
Let s(b) = b**3 + 3*b**2 - 2*b - 3. Let h(y) = y**3 - 7*y**2 - y + 5. Let w be h(7). Let v be s(w). Suppose -v*q = -f + 2, f - 2*f + q + 6 = 0. Is f prime?
True
Let l = 289 + 257. Let p = 1059 - l. Suppose p = 4*x + 89. Is x a composite number?
True
Suppose u + 5 = -2*a, 12 = -3*a - 6*u + 3*u. Suppose 0*n - 4*n - 3*b = -238, -4*n - 5*b = -242. Is (n/(-4))/a*6 prime?
False
Let j(c) = -7*c**2 - 4*c**2 - c**3 + 0*c**3 + 5 - 10*c. Is j(-11) a composite number?
True
Let v = -260 + 391. Is v a composite number?
False
Suppose 0 - 4 = 4*n. Let a be (n - (1 - 2)) + 2. Suppose o - 15 = -2*j + 29, a*o + j - 91 = 0. Is o a composite number?
True
Let w be (-4 - -5)*0 - -5. Suppose 382 = -4*g + w*g. Is g a composite number?
True
Let g = 11 + -19. Let i(f) = 2*f - 5. Let u be i(g). Let y = -14 - u. Is y composite?
False
Let t = -20 - -33. Suppose -1 = 3*x - t. Suppose -x*l + 5*j + 33 = 0, 5*l = 5*j + 34 + 6. Is l prime?
True
Is (106/(-8))/(4/(-48)) a prime number?
False
Let p = -276 - -404. Let v(x) = -42*x + 7. Let i be v(-6). Let j = i - p. Is j composite?
False
Suppose 1492 = -10*b + 14*b. Is b composite?
False
Let i(f) = 11*f**2 + f - 1. Is i(-3) prime?
False
Suppose 0*v - 30 = -5*v. Let m be (2 - 1)/(3/v). Let i(f) = f**3 - 2*f**2 + 2*f + 2. Is i(m) a composite number?
True
Let a = -24 - -31. Suppose -3*d + 19 = a, -5*b = -d - 1981. Is b prime?
True
Suppose -5*o - 5*f = -2*f - 89, 2*o - 3*f = 44. Let c = 34 + o. Is c a prime number?
True
Let w = -378 - -736. Is (-6)/(-4) + w/4 a composite number?
True
Suppose -128 + 52 = -4*u. Is u composite?
False
Let z be (-57)/(3/(-4) + 0). Suppose 3*c = -z + 283. Is c composite?
True
Is ((-236)/16)/(1/(-4)) prime?
True
Let y = 117 - 251. Suppose -3 + 8 = 5*z. Is 3*z*y/(-6) prime?
True
Suppose 0 = 3*d - 23 + 8. Suppose -3*r = -d*t + 155, -2*t - r + 48 = -5*r. Is t a prime number?
False
Suppose 4*n + 4*s = 131 + 445, 0 = n - s - 146. Is n a composite number?
True
Let r(n) = 2*n**2 + n + 13. Is r(-12) a composite number?
True
Let g(i) = -2*i - 4. Let r be g(-3). Suppose 2*m = 10, 0 = 4*h + r*m + 3*m - 597. Suppose -4*x + h = -29. Is x prime?
True
Let m(o) = 117*o + 8. Let i(t) = 58*t + 4. Let d(j) = -7*i(j) + 3*m(j). Is d(-3) a prime number?
False
Let v = 11 - 4. Suppose -25 = -12*s + v*s. Suppose s*f = 480 + 5. Is f prime?
True
Suppose h - 19 - 14 = 0. Is h a composite number?
True
Suppose 2*w = -5*w + 889. Is w composite?
False
Suppose o - 5*y - 48 = 0, 3*o - 2*y - 25 - 67 = 0. Suppose -3*v + 15 = 5*g, -3*g + v + o = -v. Suppose -g*c + c = -345. Is c a prime number?
False
Is -5*-158*3/15 a prime number?
False
Let w(h) = 10*h - 7. Let u(t) = -2*t**3 + 3*t**2 - 3*t + 3. Let q be u(2). Let a be w(q). Is 0 - a/2*2 composite?
True
Let y be ((-825)/12)/((-2)/8). Suppose -j = -5*b - 55, y = 2*j + 3*j - 3*b. Suppose -n = -4*k - j, 3*n - k + 74 = 250. Is n prime?
True
Let y be 85/3*(15 - 0). Suppose -5*t - 5*a = -y, -3*t + 161 + 82 = -3*a. Is t prime?
True
Suppose 0 = -5*z + 186 + 424. Is z composite?
True
Suppose -5*t = -4*p - 36, -3*t + 4 = -p + 3*p. Suppose -46 = -2*x + 4*c, -3*x - t*c + 6*c = -61. Is x a prime number?
True
Let s(i) = -i**3 + 7*i**2 - 4*i - 2. Let c be s(5). Suppose q + c = 3*r, 4 = 2*r - 3*r + 3*q. Is r prime?
True
Let p = 1809 + -466. Is p a prime number?
False
Suppose 0 = 2*x - 2*n + 45 + 39, -194 = 5*x + 3*n. Let t = -3 + -26. Let y = t - x. Is y prime?
True
Suppose -7*f = -3*f - 524. Is f a prime number?
True
Suppose 0 = -4*r + 5*n + 1, -4*n = 5*r - 21 - 11. Suppose -376 = -3*m + 4*h + h, 0 = -r*m + 5*h + 503. Is m a composite number?
False
Is 2 + ((-3 - -2) + 5752 - 4) prime?
True
Suppose -9*j + 1166 = -7*j. Is j prime?
False
Suppose h - 5*n = 5, n + 1 = h - 0*h. Suppose -l + 20 + 3 = h. Is l a prime number?
True
Let h(i) = -i**2 - 5*i**2 - i**3 + i**2 + 4*i - 11. Let l = -21 + 13. Is h(l) a composite number?
False
Let a(p) be the second derivative of 23*p**3/3 + p**2/2 - 3*p. Is a(1) a prime number?
True
Suppose -2042 = -17*p + 117. Is p a composite number?
False
Suppose 1 = -u + 3. Is (-3)/6 + 279/u composite?
False
Let u = -1200 - -1741. Is u a composite number?
False
Let n = 12 - 7. Suppose 2*y = y + 5*f - 8, 0 = y + 4*f - 28. Suppose -n*r - 5*q + 60 = 0, -2*r + 4*q = 2*q - y. Is r composite?
True
Suppose 4 = 2*s - 0*s. Suppose 2*j + s*j - 1028 = 0. Is j composite?
False
Is 2/11 - (-29753)/11 prime?
False
Let f be 45/10*20/(-6). Let y = f - -10. Let m(i) = -i**3 + 3*i**2 + i - 4. Is m(y) prime?
True
Let q be (-1 + 3)/(-2) - -54. Suppose -u = -2*j - q, 6*j - 2*j = -5*u + 279. Is u a composite number?
True
Let f be 0*(-3 + 1)/(-2). Suppose -q + 0*h + 135 = 4*h, -5*q - 4*h + 627 = f. Is q prime?
False
Let l(k) = k**3 - 4*k**2 - 3*k - 1. Suppose -5*v = -0*j - j + 9, 4*v + 2*j + 10 = 0. Let t be (v + -10)*2/(-4). Is l(t) composite?
False
Suppose -i = 4*i + 1125. Let q = i + 574. Suppose 0*x + q = 5*b - 3*x, x = b - 69. Is b composite?
False
Let c(u) = 3*u**2 + 26*u - 32. Is c(23) prime?
True
Suppose -3*z + 22 = -185. Is z a prime number?
False
Let k(o) = 507*o + 29. Is k(2) a prime number?
False
Let w(n) = 68*n**2 + 3*n - 4. Let m be w(3). Suppose 0 = 3*p + 5*z - m, -140 + 966 = 4*p + 5*z. Is p a composite number?
True
Suppose 5*v - 1492 - 6568 = 0. Suppose -v = -3*h - h. Is h prime?
False
Suppose -4*c = -2*h - 10, -35 = 2*c - 6*c - 3*h. Suppose -z = -4 - c. Let n = z + -6. Is n a composite number?
False
Let d(k) = -k**3 + 12*k**2 - 3*k + 3. Is d(6) a composite number?
True
Let z be (-5 - -6) + (1 - 1). Suppose -132 = -w + z. Is w a composite number?
True
Suppose -3*y - m = -1, -y - 4*y = 2*m. Suppose y*w + 2*p - 485 = -w, 2*p = -4. Is w prime?
True
Let f = 77 + -26. Is f composite?
True
Let b be (3 - 2)*-1 - -2. Let g be 1 + 45 - (b + -4). Let x = -18 + g. Is x a composite number?
False
Let a(g) be the third derivative of g**5/20 - 5*g**3/6 + 2*g**2. Let z be a(4). Suppose -2*s = -z - 151. Is s prime?
True
Let m(w) = 14*w**2 - 4*w + 15. Is m(7) composite?
False
Suppose -30 = 5*b - 2*n, -3*b + 5*n = 13 + 5. Let z(p) = -22*p - 2. Let t(m) = 11*m + 1. Let u(y) = 7*t(y) + 4*z(y). Is u(b) a composite number?
True
Suppose -6*w = -2*w. Suppose 5*c = -w*c + 295. Is c a composite number?
False
Let o(f) = f**2 + 34. Let p be o(0). Suppose 3*k = -2*r + 314, 314 = -0*r + 2*r + 2*k. Let a = r - p. Is a composite?
True
Let i(w) = -w**2 - 8. Let p be i(0). Is (-4)/p - (-34)/4 composite?
True
Let z(l) = -l**3 + 5*l**2 + 5*l. Let q be z(6). Let k(h) = -4*h - 5. Is k(q) a composite number?
Fals