3*l + 2*c + 272 = l. Is l a composite number?
True
Let p be (-1)/3 + 10/3. Is (p + -3 + 3)*83 composite?
True
Let w(b) = -b**3 - 11*b**2 - b - 9. Let q be w(-11). Suppose 3*s - 80 = -k, k + 3*s = -q*s + 82. Is k prime?
False
Let x = 244 + 10. Let q = 801 + x. Is q a prime number?
False
Let s(f) = f**2 + 5*f + 2. Let w be s(-2). Let h = -10 - w. Let v = h - -32. Is v a composite number?
True
Is (-8 + 9)*(36 - -1) composite?
False
Suppose 0*w + z + 290 = w, -2*w - 4*z = -598. Is w a composite number?
False
Let j be (-3)/(-7) - (-6)/(-14). Is j + 1 + -2 - -224 a composite number?
False
Let c = -80 - -139. Is c a composite number?
False
Let n = 90 + -63. Suppose 3 = -4*z + n. Suppose -155 = x - z*x. Is x prime?
True
Suppose 2*s = 9 + 3. Let j(d) = -d**2 + 7*d - 1. Let p be j(s). Suppose 0 = p*q - 420 - 215. Is q prime?
True
Let d = 546 + -259. Let l = -96 + d. Is l a prime number?
True
Let w(k) = 7*k**2 - k - 1. Let t be w(-1). Suppose -2*o + 2 - 12 = -2*l, l + 5*o = -t. Is l a prime number?
True
Suppose 0 = -8*u + 4*u. Suppose -10 = p - u. Is (37/(-2))/(5/p) prime?
True
Let v be (-1)/(1/(-1)*1). Let f(o) = 1. Let j(z) = z**3 - 6*z**2 + 7*z - 5. Let s(m) = v*j(m) + 2*f(m). Is s(5) a composite number?
False
Let f = -84 + 143. Is f a composite number?
False
Suppose -h - 3*h + 288 = 0. Suppose 2*a = -a - h. Is (-1)/(-4) - 2082/a composite?
True
Let l(j) = -2*j - 3. Let g be l(-2). Suppose -2*d = -3*o, 0*d = d + o + 5. Is 0 - (987/d)/g a prime number?
False
Suppose 2*n + 439 = y, -2*y - y + n + 1332 = 0. Let d = y + -166. Suppose 0 = 2*i + i - d. Is i composite?
True
Suppose 0 = 4*z - 34 - 42. Suppose 5*o + 0*o - 342 = 4*l, 3*l + 339 = 5*o. Let q = z + o. Is q a composite number?
True
Let n = 2 - 2. Suppose n = h + h - 124. Suppose -h + 0 = -2*x. Is x prime?
True
Let i be 1/5 - 57/(-15). Suppose -4*p - i = 5*w - 419, 2*p = -5*w + 405. Is w a composite number?
False
Let z = 6 - 4. Suppose p + z*p - 447 = 0. Is p a composite number?
False
Let j(v) = -2*v - 2. Let h be j(-1). Suppose 4*k = -2*z + 310, 4*k + h*k = 5*z - 803. Is z composite?
True
Let m = 1196 + 51. Is m composite?
True
Is -3 - (-2 - 328/2) prime?
True
Let c(j) = j**2 + 8*j + 2. Let d be c(-8). Suppose 0 = -d*h - h - 51. Let y = h - -38. Is y composite?
True
Suppose 5*u - 352 = u + 4*a, -4*a - 263 = -3*u. Is u prime?
True
Suppose -1 + 3 = a. Let f = a - 2. Suppose 111 = -f*l + 3*l. Is l prime?
True
Suppose -p + 4*y = 0, -3*p - 3*y + 4*y = 0. Suppose 7*v - 4*v - s = 100, p = -3*v - 3*s + 108. Is v a composite number?
True
Let p(v) = -v**3 + 4*v**2 + 6*v + 12. Let u be p(9). Is ((-4)/(-12))/((-1)/u) prime?
True
Let t(b) = -b**3 + 2*b**2 - 2*b + 2. Is t(-3) a composite number?
False
Let k(w) be the first derivative of w**4/4 + 7*w**3/3 + 3*w**2 + 1. Let m be k(-6). Suppose 4*j - 29 = -f, m = -j - 1 - 1. Is f prime?
True
Suppose -211 = n - 2*n. Is n a composite number?
False
Suppose -4*a - 3*j = -2*a - 4, 3*a + 3*j - 6 = 0. Suppose -3*f = o - 6*o - 420, -a*f - 3*o + 299 = 0. Is f a prime number?
False
Let a = -1 + 4. Suppose 6*l = l - 4*r + 631, 0 = -3*r - a. Is l a composite number?
False
Let i(h) = -h**2 + 6*h - 7. Let b be i(5). Let t be (-40)/b - (2 + 0). Suppose -3*o + 87 = t. Is o prime?
True
Let y(w) = 193*w - 10. Is y(5) composite?
True
Is 3*(1 - (-1338)/18) prime?
False
Let v(y) = y**3 + y**2 - y + 281. Let f be v(0). Let s be -2 + 4 - (0 - f). Suppose -5*c + 2*a = -453, -4*a - s = -3*c - 0*c. Is c prime?
True
Let y = -57 + -1. Let c = -5 - y. Is c prime?
True
Suppose 1919 - 5786 = -3*n - 2*l, 5*n = -5*l + 6440. Is n a prime number?
True
Let n be (2/(-6))/((-4)/(-36)). Let b = n + 5. Suppose -f = b*i - 87, 3*i - 14 = -2. Is f a prime number?
True
Suppose -3*x + 42 = -5*q - 193, 2*q = 5*x - 417. Is x prime?
False
Let w(c) = c**2 + 3*c - 3. Suppose -3*n + 1 = 25. Is w(n) a prime number?
True
Let h(s) = 3*s**3 + 4*s - 4. Is h(5) a composite number?
True
Let t(u) = u**3 - 5*u**2 + 8*u - 29. Is t(14) composite?
False
Suppose m = 2*c + 5, 33 = 3*m - 3*c + 9. Is m composite?
False
Suppose 1662 = 10*g - 8*g. Is g a composite number?
True
Let w = 1058 - 693. Is w a prime number?
False
Suppose 0 = 4*t + 2 + 10. Let h(z) = z**2 + 2*z - 2. Let q be h(t). Suppose -3*b = 5*g - q, -g - 1 = 3. Is b prime?
True
Let c(v) = v - 2. Let n be c(-6). Let i(k) = -k**2 - 7*k + 6. Let l be i(n). Is l + 4 + -4 + 15 a prime number?
True
Let o(i) be the third derivative of i**6/120 - i**5/60 - i**4/24 + 19*i**3/6 + i**2. Is o(0) composite?
False
Let z be 117/27 - 4/(-6). Suppose 0 = z*s - 4*s - 139. Is s composite?
False
Let d be -12*(2 + (-10)/4). Let a(f) = f**3 - f**2 + 2*f - 5. Is a(d) a prime number?
False
Suppose -4*n = z + 3*z, 0 = n - 4*z. Suppose 4*y + 5*b - 45 = 0, 0*y + 2*y + 5 = 3*b. Suppose n*x - 745 = -y*x. Is x a prime number?
True
Let x(t) = 2*t**2 - 6*t - 37. Is x(8) a prime number?
True
Let d(n) = -n - 6. Let z be d(-10). Suppose -z*l + 20 + 248 = 0. Is l prime?
True
Suppose -2*f + 773 = -3*t - 39, -t - 407 = -f. Is f prime?
True
Suppose -3*u - 6 = -2*j, u = 5*u. Suppose 5*z = 4*b - 345, -j*z = 2*b - 7*b + 207. Is (-1)/(3/z)*1 a prime number?
True
Suppose 0 = 3*z - 3, 2*q - 112 = -2*z - 40. Let x be (20/(-25))/((-2)/q). Suppose 10*c = 8*c + x. Is c a composite number?
False
Suppose 0 = 3*y - 15, 3*x + 4*y - 25 = -y. Suppose 5*s - 2*s - 861 = x. Is s composite?
True
Let b be 14/(-6) + (-1)/(-3). Let l = 12 + b. Is l composite?
True
Let g = -29 - -50. Suppose 4*c - 7*c + 4*o - g = 0, -4*o + 9 = c. Is 3/(c/(-6) - 0) a prime number?
False
Let n(a) = -a**2 - 5*a + 3. Let m be n(-5). Suppose -6*i + m*i = -12. Suppose 13 - 110 = -5*d - 4*w, 0 = -5*d + i*w + 113. Is d a prime number?
False
Suppose -2*k - 2*k = -436. Is k composite?
False
Suppose 0 = -4*a - 0 + 20. Suppose 2*c - 214 = 5*q, 0 = 3*c - c + a*q - 174. Is c a prime number?
True
Let h be 29/2 + (-2)/(-4). Let v = -2 + h. Is v a composite number?
False
Let m(b) be the second derivative of -23*b**3/6 - 7*b**2/2 - b. Let v be m(-5). Suppose -v = -5*r + 17. Is r a composite number?
True
Let n(x) = -4*x + 239. Is n(0) prime?
True
Let f(t) = -803*t**3 + t**2 - 1. Is f(-1) composite?
True
Let g = -9 + 14. Let r = 1 - 1. Suppose r*c = g*c - 35. Is c prime?
True
Is (-5 - 1)/(3 + (-380)/124) prime?
False
Is (-225)/(-3) + 2/(-2) a prime number?
False
Is 1990 - ((-9)/12)/(1/4) prime?
True
Suppose n = j + 383, n + j - 219 = 156. Is n a composite number?
False
Suppose -2*c + 92 = -x, 4*x + 35 = 2*c - 303. Let d = 33 - x. Is d a composite number?
True
Let g = -9 + 11. Suppose 65 + 288 = g*t - 5*s, s = 5*t - 894. Is t a prime number?
True
Suppose 2937 = -3*i + 6*i. Is i composite?
True
Suppose 2*p + 19 + 262 = n, 5*p = -4*n + 1085. Let z(i) = 61*i + 3. Let b be z(3). Let t = n - b. Is t composite?
False
Let h be 50/18 - 6/(-27). Let i be (1/h)/(2/18). Suppose -120 = -i*c - 27. Is c a prime number?
True
Let s = -54 - -747. Is (-3)/(-6)*(s + -1) prime?
False
Let b(v) = 3*v**3 + 12*v**2 - 8*v - 13. Is b(12) a composite number?
False
Let d be (-2)/(-8)*0 - -639. Let w = -284 + d. Is w prime?
False
Suppose 0 = -2*v - v - 27. Is 33/2*(-12)/v prime?
False
Let q(n) = -371*n + 3. Is q(-2) a composite number?
True
Let k = -2 - 0. Let l(g) be the second derivative of -2*g**3/3 + g**2 - g. Is l(k) composite?
True
Suppose 0*i - i = -115. Is i composite?
True
Let q(b) = -b**2 - 3*b + 2. Let c be q(-3). Suppose -2*g + h = -104, -c*g - 2*h - 16 = -114. Is g composite?
True
Let x be (-8)/(-36) + (-2316)/(-27). Let p = x - -213. Is p composite?
True
Let o = 83 - 58. Suppose l - o = y, -y + 3 = 2*l - 41. Is l prime?
True
Suppose 0*x + 5*x - 25 = 0. Suppose 17 = k - x. Is k a prime number?
False
Let g(l) = -82*l + 5. Is g(-6) a composite number?
True
Let p be 1 + (-1 - 0) - -1. Let b = -1 + p. Suppose 5*h + 3*d - 265 = b, h = 2*d + 40 + 13. Is h composite?
False
Suppose 0 = -3*k + 10 + 5. Let h(f) = 2*f**3 - 4*f**2 - 5. Is h(k) a prime number?
False
Let g be (-1)/((-3)/(-3*140)). Let h = g + 223. Is h prime?
True
Suppose -4 - 4 = -4*v. Suppose -2 = -b - 6. Is b + 13 + 4/v prime?
True
Is 2/(-12) - 2181/(-18) composite?
True
Let r(k) = 18*k**2 - 4*k - 5*k**2 + 26*k**2 - 3. Let s = -32 - -30. Is r(s) prime?
False
Let z = -641 - -1112. Is z a prime number?
False
Is ((-3)/(-9))/(