uppose 2*l + 3 = a, 5*a - 5*l = 13 + 2. Let k = -1 + a. Suppose 5*u = -2*f + 51, 5*f + k*u + 50 = 209. Is f a composite number?
True
Let t(f) = 0*f**2 + 4*f**2 - 171*f + 170*f - 1. Is t(-4) a composite number?
False
Suppose 17*t = 24015 + 23024. Is t a composite number?
False
Let h be 2/6*(1 - -14). Suppose b - 100 = -a + 27, -a = h*b - 119. Let l = 284 - a. Is l a composite number?
True
Let h be ((-6)/4)/(3/(-8)). Let i be (-1 + -6)*h/(-14). Suppose -x - 4*v = -173, -2*x - x + i*v = -561. Is x composite?
True
Suppose -19591 = -14*n + 32755. Is n a prime number?
True
Suppose 5*p - 2798 = -n, 0*p = 2*n - p - 5640. Is n prime?
False
Let u(b) = b**3 - 2*b**2 + 2*b + 3. Let r be u(0). Suppose 4*v - 2*l + r*l = 25396, 0 = -3*v + 2*l + 19047. Is v a prime number?
False
Let j(n) = -2*n**3 + 15*n**2 + 24*n + 19. Is j(-12) prime?
True
Let f(y) = -y - 1. Let d be f(8). Let p(j) = 37*j**2 - 11*j + 17. Is p(d) a composite number?
True
Suppose -29*b - 3554 = -30*b. Is b a composite number?
True
Suppose -n = o - 1090, 3*o = -o + 4. Suppose 2*j - 7*j - 5*v = -5385, -4*v = j - n. Is j composite?
True
Let i(n) = -3*n**3 + 10*n**2 - n - 5. Let x be i(-6). Let v = x - 710. Is v a prime number?
False
Let l(o) = 2*o**3 + 8*o**2 - 22*o + 27. Let c(b) = b**3 + 4*b**2 - 11*b + 13. Let n(j) = 9*c(j) - 4*l(j). Is n(5) a composite number?
False
Suppose -4*a = l - 5, 3*a + 7 - 22 = -2*l. Suppose -8 = -l*m + 5*m. Let d(x) = 94*x**2 - 2*x - 1. Is d(m) a composite number?
True
Suppose 2*l - 16 = -3*y, -2*l = -6*y + 2*y + 40. Suppose 1211 - 179 = 4*m + 4*x, -2*x = -y. Is m + (0 - 3)*1 composite?
False
Let z be (18/(-15))/((-4)/(-10)). Let g be (548/(-4) - 0)*z. Let a = g - 82. Is a prime?
False
Let m be (-1 - -3)/((-6)/(-12)). Let u be m/(-4*(-2)/4). Is ((-50)/8 + u)*-44 a prime number?
False
Let x = 9 + -5. Suppose 7*l - 3*s + 12 = 4*l, 0 = l - x*s + 16. Suppose l = 2*u - 0*u - 466. Is u prime?
True
Let t = 42 - 37. Suppose 0 = x - 2*g - 23, 2*x - 38 - t = g. Is x composite?
True
Let t(d) = 14*d + 2. Suppose 3*l + 4*w + 4 = -20, 0 = 4*l + 2*w + 22. Let s(n) = 14*n + 3. Let h(v) = l*t(v) + 5*s(v). Is h(5) prime?
False
Is ((-3)/(-2))/(11/((-2428426)/(-21))) a prime number?
False
Is ((-187)/85)/((-2)/5570) prime?
False
Let t(x) = -x + 14. Let m be t(10). Suppose 11139 - 4499 = m*r. Let j = r - 869. Is j a composite number?
True
Let i = -10858 + 22325. Is i prime?
True
Let h be (6/(30/(-1895)))/(-1). Suppose 6*f - 4273 = -h. Is f composite?
True
Let h = -50 - -52. Let j be 2*1/4*6. Is j/(-2) - (-341)/h a prime number?
False
Suppose -5*f = -4*b + 1545, 2*b + 1161 = 5*b - 3*f. Suppose -b = -7*q + 415. Is q a prime number?
False
Let r(h) = 2*h + 4. Let o be r(-3). Is 2650/12 - o/12 a composite number?
True
Let n = 35 - 19. Suppose -v = 2*k + 353, -3*k - k = n. Let r = -196 - v. Is r composite?
False
Suppose 24211 - 8949 = 26*d. Is d prime?
True
Suppose -3*f = 5*c - 8569, -2*f + 7919 = 2*c + 2201. Is f a composite number?
True
Suppose -26*h = -197635 - 337939. Is h prime?
True
Let o(m) be the first derivative of 3*m**4/4 - 2*m**3/3 + m + 2. Let v be o(1). Suppose -4*f = -g + 198, -2*g + v*f - 386 = -4*g. Is g composite?
True
Let v = -9504 + 24213. Is v a prime number?
False
Suppose -5*w - 42*n + 707044 = -39*n, 0 = 4*w - 3*n - 565619. Is w prime?
False
Let o = -46 - -2808. Is o prime?
False
Suppose -n + 849 = 2*n. Suppose o - 5*f + n = 0, -801 = -o + 4*o + f. Let m = 411 + o. Is m prime?
False
Let n(a) = -537*a - 22. Is n(-1) a prime number?
False
Let v be 65/5 + (1 - 2). Let h = v + -7. Suppose 0 = 2*m - h*m + 363. Is m a prime number?
False
Suppose 28*t - 921520 = 12*t. Is t a prime number?
False
Is ((-8754)/9)/(12/(-198)) prime?
False
Suppose b + 4*v + 3 = 6*v, -4*v + 11 = 3*b. Is 4/(-10)*b + (-11174)/(-10) composite?
False
Let o = 20 - 31. Let d be 1012/o - (0 - 3). Let a = d + 160. Is a a composite number?
False
Let p(r) be the first derivative of -345*r**2/2 + r + 45. Suppose -5*s = 0, 5*s = 5*i + 13 + 7. Is p(i) composite?
False
Let h = -27 - -37. Let g(n) = -2*n + 22. Let k be g(h). Suppose 3*q = 5*y - 207, y - 3*q = k*q + 59. Is y a composite number?
True
Suppose a = -1409 - 332. Let w = 2684 + a. Is w composite?
True
Let o = -13507 + 29384. Is o a prime number?
True
Let w = -15 + 13. Is w + 409/3*3 composite?
True
Is (-4)/(1 - -2 - (-4218606)/(-1406178)) composite?
False
Let c = 10442 + -3087. Is c prime?
False
Let s(b) = -b + 201. Suppose 0 = 3*l - 3 - 3. Let d(k) = k**3 - 2*k**2. Let y be d(l). Is s(y) composite?
True
Suppose 3*g + 19 = 61. Suppose g = 3*y + 2*d, y + 0*y - 2*d + 6 = 0. Suppose -y*v + 4*a + 934 = 0, -a + 3*a = 3*v - 1381. Is v a composite number?
False
Let z be (-10)/6*75/5. Let x be (10/z)/(1/(-5)). Suppose 0 = -x*b - 2*u + 3*u + 72, 4*u = 2*b - 78. Is b a composite number?
True
Suppose -2 = -2*t + 4*r - 0, -5*r - 20 = 0. Is 3/t - (-9162)/63 a prime number?
False
Let w be 7 - ((-16)/(-4) + -1). Let z(h) = -w + 25*h + 5 - 3 + 11*h. Is z(1) composite?
True
Suppose 0*a - 11530 = -3*p + 5*a, 0 = 2*p + 5*a - 7695. Is p composite?
True
Suppose 2*r - 48880 = -2*w, 11*w + 5*r = 10*w + 24444. Is w prime?
True
Suppose t - 258 - 89 = 0. Suppose i + 3*u = 872, i - t = u + 521. Is i prime?
False
Suppose -m + 50 = -6*m. Let d(v) = 22*v + 13. Let z be d(m). Let q = -124 - z. Is q a composite number?
False
Suppose -4*q + 8055 + 1207 = -r, 2*q - r - 4632 = 0. Suppose 7*x + q = 5682. Is x a composite number?
True
Suppose 0*m = -4*m. Suppose -v + 4*i = -78, m = -5*v - 0*i - 5*i + 415. Is v prime?
False
Suppose -7*v = -4*v - 9. Suppose 3 = -w - 3*a, v*a - 9 = -5*w - 0. Suppose -w*l = -5*p + 2*p + 735, -249 = -p - l. Is p composite?
True
Let q be ((-3)/2)/(-1*(-12)/(-19024)). Suppose -3*a + 2463 = -5*h, 0 = -4*a - 4*h + 906 + q. Is a prime?
True
Suppose 5*i + 654 = 4*w - 518, -2*w = -3*i - 704. Let c = 453 + i. Is c a composite number?
True
Suppose -4*i + 9647 = 3*v, -4*v + 31*i = 30*i - 12831. Is v a prime number?
True
Is 1 + 208 - (5 - 2) composite?
True
Is 71506/18 - (-88)/198 a prime number?
False
Let i(t) be the second derivative of -t**5/20 + 7*t**4/6 - 2*t**3/3 + 7*t**2/2 - 22*t. Let w(u) = u + 11. Let z be w(0). Is i(z) a prime number?
False
Let l(n) = 134*n**2 + 2*n - 1. Is l(-18) composite?
True
Suppose 0 = x + 3*k - 626, 5*x - k - 3166 = -4*k. Let a be (-2180)/40*(9 + -1). Let h = a + x. Is h composite?
False
Suppose u + 3*u - 6234 = -2*g, -4*u - 5*g = -6231. Is u a prime number?
True
Let i(s) = 79*s**2 + 134*s + 6. Is i(-7) a composite number?
False
Let h = -239 - -2610. Is h prime?
True
Let w = 11 + -2. Let g(o) = 3 - 4 + w*o**2 - 10*o + 8*o + 4. Is g(5) composite?
True
Let s(t) = 92*t + 5. Let a be s(-4). Let w = a - -1256. Is w a prime number?
False
Is (32/(-24))/(2/(-4338)) - -5 a composite number?
False
Is 6/(-15)*7940/(-8) a prime number?
True
Let z = 16 - 12. Suppose z*l = -2*v + 174 + 256, 0 = l + 4*v - 118. Suppose 4*m - 5*m + l = 0. Is m composite?
True
Let v = 10904 - 16163. Let f = 7912 + v. Is f prime?
False
Suppose -2*l + 4*m = -7*l + 29, -4*l = 3*m - 23. Suppose -247 + 2562 = l*j. Is j composite?
False
Let t be (-18)/(-21)*(-14)/2. Let b be 3/t - (-2)/4. Suppose -x + 0*x + 367 = 3*p, b = -x - 2. Is p prime?
False
Suppose -4*m - 2*d = -8, 4*d - 2 + 1 = -3*m. Suppose -5*s + v = -3*v - 5211, m*s - 3*v = 3126. Is s prime?
False
Let d = 579 - -667. Suppose 299 + d = 5*v. Is v a composite number?
True
Suppose 5*y + 5*q - 105315 = 0, -y - 4*q - 63161 = -4*y. Is y a prime number?
True
Let d be ((-2)/(-4))/((-10)/(-100)). Is 7354/d - (-5)/25 a prime number?
True
Let z be (1 - (-4)/2)*(-4)/(-6). Suppose z*c + 191 = 697. Is c a prime number?
False
Let z = 2987 - -420. Is z a composite number?
False
Suppose -4*v + 5*m = 953, -m - 3*m = -4*v - 952. Let g = 568 + v. Is g a composite number?
False
Let l(z) = -257*z + 3. Let j be l(-3). Suppose -5*q + j = -3831. Let v = q - 424. Is v prime?
False
Suppose -4*f = 5*h - 33, 5*h + 0*h - 4*f = 17. Suppose h*y + 2*c - 28945 = 0, -y + 17367 = 2*y + c. Is y composite?
True
Let g(x) be the second derivative of x**5/20 - 5*x**4/24 - 5*x**3/6 - 6*x. Let b(u) be the second derivative of g(u). Is b(6) a composite number?
False
Suppose -13*d + 19002 = 5963. Is d a composite number?
True
Let o(m) = -m**2 + 5*m - 2. Let k b