+ 8 = -5*x, -8 = 3*l + 2*x + 3. Let q = 11 + l. Let n(u) = 2*u**2 - 6*u + 9. Is n(q) composite?
False
Let t(c) = 18*c**3 - 3*c**2 + c. Let g be t(2). Let k = g + -15. Is k a composite number?
True
Let z(b) = 2*b + 1. Is z(1) composite?
False
Let s(j) = j**3 - j**2 - j + 21. Let i be 2/4 - 4/8. Is s(i) composite?
True
Let s(g) = -2*g**3 + g**3 - 2 + 4*g**2 + 2*g**2. Is s(5) a composite number?
False
Is 8/28 - (-1 - (-4674)/(-7)) composite?
True
Suppose -2 = 3*b - 11. Suppose -k - k + 6 = 0, -b = x - 2*k. Suppose -x*n = -2*f - 107, f + f = 10. Is n composite?
True
Suppose 0*a - 8*a + 2120 = 0. Is a a prime number?
False
Suppose 4*w - 10 = -2*a, 5*w + 4*a - 12 = -1. Suppose w*k + 66 = 4*k. Let j = 49 + k. Is j composite?
True
Suppose -3*g = g - 8. Suppose k - 2*r + 15 = -6*r, -g*r = -2*k + 20. Suppose 0*v - u - 109 = -v, 0 = -k*v + u + 553. Is v prime?
False
Let d be -6 + 3 - 756/1. Is (d/(-6))/(1/2) a composite number?
True
Suppose -5*b + 700 = -815. Is b prime?
False
Let d(l) = -22*l**3 + 2*l + 1. Let f(k) = -k**3 - 11*k**2 - 10*k + 8. Let w be f(-10). Suppose 3 = q + 2*o, w*q - 4*o = 3*q - 13. Is d(q) prime?
False
Let f(h) = 41*h**2 - h - 7. Is f(3) a composite number?
False
Suppose z + 24 = 4*j + 3*z, 0 = 4*j + 5*z - 18. Let u = 12 - j. Suppose 0 = 2*d - 2*s - 88 - 0, -270 = -u*d - 5*s. Is d a prime number?
False
Let i be (-1 - (-3)/2)*2. Let q be (1 + 8)*i*-1. Is (-76)/6*q/6 a composite number?
False
Suppose 5 - 30 = -5*k. Suppose -k*f - p + 19 = 0, 2*f + 3*p - p - 14 = 0. Let o(t) = t + 4. Is o(f) composite?
False
Let z(a) = a**3 + a**2 - a + 259. Is z(0) prime?
False
Suppose g = 14 - 4. Let a be ((-6)/(-4))/((-5)/g). Is (2/2)/((-1)/a) composite?
False
Let l(p) = 6*p + 31. Is l(13) a prime number?
True
Suppose 4*g = 2*v + 248, -2*g - 3*v + 124 = v. Suppose 15 = w - g. Is w composite?
True
Let n(x) = -25*x - 36. Is n(-5) a composite number?
False
Let p(b) = b**2 - 3*b + 2. Let a be p(2). Suppose a*i - 5*i = s + 291, 5*s + 1479 = -i. Let q = -151 - s. Is q prime?
False
Let q(i) = 7*i**2 - 7*i + 1. Suppose -4*c + 0*j + 28 = j, 5*c = -4*j + 46. Is q(c) a composite number?
False
Suppose -7*t + 8 = -3*t. Let a(y) = -y**3 - 4*y**2 + 9*y + 5. Let k be a(-6). Suppose -2*o - t*m = -5*m - k, 0 = m - 1. Is o a composite number?
False
Let b = -419 - -1164. Is b prime?
False
Let d(a) = -a**2 + 7*a + 2. Let i be d(5). Let s(y) = y**2 - 4*y + 12. Let z be s(i). Suppose 10 + z = 2*g. Is g a prime number?
True
Let z(i) = -i**2 + 8*i - 2. Let a be z(7). Suppose a*r - 53 = -363. Let j = r - -93. Is j a prime number?
True
Let n(m) = -252*m + 1. Let w be n(-1). Suppose -2*t + w = -t + 4*i, 0 = 4*t - 4*i - 1112. Let o = 406 - t. Is o a prime number?
False
Let t(k) = k**3 + 6*k**2 - 8*k - 2. Let p be t(-7). Suppose -3*m - 24 = -p*m - 4*z, 4*z + 12 = 0. Let f = 7 + m. Is f a prime number?
False
Let j be 1325/3 + 10/(-15). Suppose -b + 2*y + 93 = -0, 5*b - 2*y = j. Is b prime?
False
Suppose 0 = -0*m - 3*m, -3*m = -4*o. Is (-139)/(-1) - o/2 prime?
True
Suppose -1 - 1 = -2*x. Let s = -9 + -4. Is (1 + -2)/(x/s) prime?
True
Let t = 370 + 184. Is t a composite number?
True
Is 626 - 2*(3 + (-9)/6) prime?
False
Let t(j) = 93*j**3 - 2*j**2 - 8*j + 13. Is t(2) composite?
False
Let i = -231 + 697. Is i a composite number?
True
Suppose -4*g - 39 = -375. Suppose -4*y = -5*y + g. Let j = -45 + y. Is j a prime number?
False
Suppose -5*a = 2*w - 6*w - 10757, -w + 10767 = 5*a. Is a a prime number?
True
Is (14 + 2)/(-4) - -390 composite?
True
Let o = 105 + -233. Let i = 217 + o. Is i a prime number?
True
Let l = -4 + 8. Suppose -25 = 5*d, -d - 1153 = -8*k + l*k. Is k composite?
True
Let n = -7 + 10. Is (-15)/(-9)*n*11 a prime number?
False
Is -3 + (190 + -3 - -3) prime?
False
Let j(o) = 132*o**2 - o. Suppose 0*b = 3*i + 4*b - 7, -5*b + 8 = 3*i. Let w = 0 - i. Is j(w) composite?
True
Suppose 3*i + 115 = -110. Let r = i + 126. Is r a composite number?
True
Let f(d) = 2 + 9*d**2 - 4 + 3*d - 1 + d**3. Is f(-8) a composite number?
False
Let b = -34 - -157. Is b a prime number?
False
Let z = 194 - 81. Is z a prime number?
True
Let t = 12 - 22. Let w be (-5)/(-1)*4/t. Is ((-36)/w)/(0 + 2) a prime number?
False
Suppose 3*t + 675 = 3396. Is t prime?
True
Let b(f) = -3*f + 6. Let q be b(6). Suppose 0 = -2*w - 5*a + 31, 0 = -4*w + 2*a + 66 + 32. Let j = q + w. Is j a prime number?
True
Suppose 0 = -2*s - 11*s + 273. Is s prime?
False
Let n(b) be the second derivative of b**4/12 + b**3/2 - b**2 - 3*b. Let z be n(-4). Suppose c - 23 = -z. Is c composite?
True
Let f(n) = n**2 - 5*n + 2. Let x be f(5). Suppose -x*j = -3*j + 4. Suppose j*q = -4*m + 76, 6 - 33 = -m + q. Is m composite?
False
Let a = 273 - 132. Is a a prime number?
False
Let l(o) = -o**3 + 8*o**2 - 3*o + 23. Is l(7) prime?
False
Suppose -6*k - 5 = v - 4*k, 5*k + 30 = v. Suppose -v*o = -c + 4*c - 337, 0 = 2*o - c - 126. Is o a prime number?
False
Suppose x - 715 = -4*x. Is x a prime number?
False
Is 1/(1/764*4) composite?
False
Let l be 3 - (-7)/(14/(-4)). Is l/(-2 + 1062/530) a prime number?
False
Let l = -120 - -246. Is ((-26)/(-39))/(4/l) a composite number?
True
Suppose 2*n + 3*n = 15. Let m(a) = a**2 + n - a**2 + 4*a + 2*a - a**2. Is m(6) a composite number?
False
Let f be ((-12)/(-9))/(2/6). Suppose -f*m = -4*n - m + 8, -2*m = 3*n - 6. Suppose -3*t = -n*t - 35. Is t a composite number?
True
Let p = -12 - -16. Suppose 0*x = 2*x - p*k - 146, 5*x - 350 = -5*k. Is x a composite number?
False
Suppose -76 - 240 = -2*u. Let w = -4 - -6. Suppose 5*j - w*j - 5*x = u, 200 = 4*j - 4*x. Is j composite?
True
Suppose -220 = -2*w - 2*p, 6*w - w + 2*p - 547 = 0. Is w a prime number?
True
Let o = 8 - -3. Is o a composite number?
False
Let p = 140 - 72. Suppose p = 5*c + 3. Is c a composite number?
False
Suppose -5*m = 3*p - 944, 5*m + 8*p - 3*p = 950. Is m composite?
True
Let z(j) = j**2 + 4*j - 9*j + 5 - 7*j. Let t be z(9). Let m = t + 55. Is m a composite number?
True
Suppose 0*k + 4*k + 120 = 0. Let r be (130/(-6))/(5/k). Let m = r - 72. Is m a composite number?
True
Let c(k) = 5*k. Let x be c(3). Suppose -14 = -3*q - 4*i, 4*i + 0*i = q + 6. Suppose q*a = 3*a - x. Is a prime?
False
Suppose 5*u = u. Suppose 4 = 5*h - 5*v - 6, -h + 3*v = 0. Is (u - h) + 23 - 1 a prime number?
True
Let l = 38 - 54. Let c = 17 - l. Is c a composite number?
True
Suppose 3*p - 4*p = -16. Suppose -p*j + 79 = -15*j. Is j a composite number?
False
Suppose 0 = -4*o + 2*m + 134, -5*m - 118 = -3*o - 0*o. Is o composite?
False
Suppose r = -3*m + 10, -13 = 4*r - 4*m + 11. Let q be (r/(-6))/((-9)/(-54)). Suppose -4*j + 5*n = -0*n - 1128, 5*j + q*n - 1443 = 0. Is j a prime number?
False
Suppose 0 = 3*a + 5 + 22. Let g(w) = -w**2 - 8*w + 13. Let m be g(a). Suppose 0 + 12 = m*d. Is d prime?
True
Let c(h) = -5*h**2 + 6*h - 152. Let z(m) = 4*m**2 - 5*m + 151. Let y(l) = 5*c(l) + 6*z(l). Let v be y(0). Let s = v + -88. Is s a prime number?
False
Let w(f) = 0*f + 26*f - 2 + 3 - 6. Is w(2) a prime number?
True
Let x(h) = 2*h**2 - 12*h - 1. Let f(n) = 2*n**2 + n - 1. Let i be f(2). Is x(i) composite?
False
Suppose 5*v + 237 = 8*v. Is v prime?
True
Suppose 3*i + 5*n - 54 = 0, -11 - 4 = -5*n. Suppose 3*a = i - 4. Suppose -3*b + a*r = -180, 0 = r + r + 10. Is b prime?
False
Suppose -4*d - 4 = -0*d, -2*d = q. Suppose q*a + 2*a = 0. Suppose -5*l - 46 = f - 5*f, -2*f - 2*l + 14 = a. Is f a composite number?
True
Let c(w) = 544*w + 47. Is c(8) composite?
True
Let g(f) = -2*f**3 - 2*f**2 + 2*f + 1. Is g(-5) prime?
True
Suppose 7352 = 9*l - l. Is l a prime number?
True
Suppose 5*i + 3*i = 4264. Is i prime?
False
Let z be 1*2*(0 - -7). Is (4 - z)*(-13)/2 composite?
True
Suppose -3*p - 5*d = -366 + 69, -p + 5*d = -119. Let t = 39 + p. Is t composite?
True
Let u(r) = r**3 - 8*r**2 - 8*r - 4. Let z be u(9). Suppose -3*l + z*l = 86. Is l a prime number?
True
Let o = 2 + -2. Suppose 2*i + 3*i = o. Suppose 2*g - 3*c = 182, i*g - 5*g + 5*c = -455. Is g composite?
True
Let r(u) = 2*u**2 - 2*u - 1. Let v be r(-1). Suppose v*n = 13 + 35. Suppose 2*z = b - 21, z = -b + 2*b - n. Is b composite?
False
Let d(s) = -s**2 + 3*s + 1. Let v(x) = 3*x**2 - 8*x - 2. Let j(c) = 11*d(c) + 4*v(c). Is j(5) a composite number?
True
Let o(m) be the third derivative of -95*m**4/12 + m**3/6 - 5*m**2. Is o(-1) prime?
