26241 = 3*k + 2*p. Is k a prime number?
True
Let l(c) = 4*c**2 + 35*c - 22. Is l(-27) a composite number?
False
Let k(a) = 45*a**3 + 2*a**2 - a. Suppose 2*r - 7 = -3. Suppose 0*l - r = -2*l. Is k(l) composite?
True
Suppose -3*u - 4 = -4*u, 5*m - 5*u = -85. Let g be 8/52 - 37/m. Suppose 376 = 2*o - 2*l, g*l = 5*o - 404 - 534. Is o prime?
False
Suppose -19*x + 9*x = -272390. Is x a prime number?
True
Let x = -239 - -1782. Is x a prime number?
True
Let a = 1347 - 3007. Let d = a - -3177. Is d a prime number?
False
Suppose 2*z - 9 = -z. Suppose -1742 = -4*c - 5*j, 2*c = z*j - 5*j + 872. Suppose 3*a - c = -3*b - 63, 504 = 4*a + 2*b. Is a prime?
True
Let w = 86 + -76. Suppose w*r - 3516 = -2*r. Is r composite?
False
Is ((-2)/(-6))/((63/(-24597))/(-7)) a prime number?
True
Let h = 44 + 69. Suppose y - 2*k - 36 = h, 2*k = -4*y + 606. Let b = -38 + y. Is b prime?
True
Let k = -3431 + 5925. Suppose 7*p - k = 3372. Is p a prime number?
False
Suppose -g - 4*g = -25, -5*g + 29 = -2*b. Is ((-2)/(-3))/(b/3) - -408 prime?
False
Let m(l) = -l**3 + 2*l**2 - 4*l - 1. Let q be m(3). Let p = q + 22. Is 90 + 1 + p + -2 a prime number?
True
Let g(c) = 5*c**2 + 4*c + 15. Suppose -t = -2 - 3. Let q be g(t). Is q - 4*(-2)/(-4) composite?
True
Let w = 8743 - 2585. Is w prime?
False
Let d be (2/4)/((-2)/(-8)). Let k be 1*(-3)/15*-10. Suppose 0 = -d*q - u + 835, -3*q + k*u + 0*u = -1263. Is q prime?
True
Is ((-24)/(-9))/(3/10998) + -3 composite?
True
Suppose -9*i = -3*i - 42. Let t(q) = q**3 - 4*q**2 - 4*q + 2. Is t(i) prime?
False
Let x(l) = 124640*l**2 - 32*l + 35. Is x(1) a prime number?
True
Let f be 2 + (0/(-3) - 0). Suppose f*y = 8*y - 6870. Is y prime?
False
Is 0/7 + -2 - -3444 composite?
True
Let d = 2 + 17. Suppose 5*k - 14 + 54 = 0. Let z = d + k. Is z composite?
False
Suppose -2*j + 4353 = -8353. Is j composite?
False
Let q = -1 + 14. Let u(h) = -1. Let m(s) = 28*s + 10. Let d(l) = m(l) + 3*u(l). Is d(q) a prime number?
False
Let v = 66283 + -44816. Is v composite?
False
Let z be 10/(-4)*(-6)/(-5). Let w be 75*3/z*-1. Is (2 + w*-3)*-1 prime?
True
Is (6 - 2)*1 + (8157 - -58) a prime number?
True
Let n(i) = -2*i + 4. Let a be n(3). Let q(y) be the second derivative of y**4 - y**2/2 - 36*y. Is q(a) a prime number?
True
Let h = 38 + -11. Let o be 9*9/(h/2). Is 7/(-3 + 20/o) prime?
False
Suppose -4*q = 2*g - 20, 0*g - 4*g + 25 = 5*q. Is 2/((-15)/q - 707/(-235)) a prime number?
False
Suppose 4*t + 2*m = -0*t + 38, 46 = 5*t + 4*m. Suppose 0 = t*f - 13*f + 201. Is f composite?
False
Let m = 144 + -143. Is ((-80668)/6)/(-7) - m/(-3) a composite number?
True
Let c = -12 + 14. Let x(i) = -i**3 + 2*i**2 - 3*i + 1. Let o be x(c). Let y(q) = -2*q**3 - 5*q**2 + 2*q - 4. Is y(o) composite?
True
Is (-394)/(-1) - (-5 - -6) a composite number?
True
Suppose -2*u + 13*r + 12280 = 11*r, -6146 = -u - r. Is u a prime number?
True
Is (-1)/2 + (3 - (-40762)/4) a prime number?
True
Let h = -563 - -789. Let t = 61 - h. Let f = t + 232. Is f a prime number?
True
Let y = 723 + -721. Let a = 3 - -1. Suppose y*o + 215 = 3*i, 5*i + a*o - 461 = -132. Is i a prime number?
False
Let t = 2246 + -557. Is t a prime number?
False
Suppose -11*w = -10*w + 1137. Let s = 212 - w. Suppose 8*t - s = -461. Is t composite?
True
Let k(y) = y + 2. Let n be k(-12). Is (-22)/(-55) - 6726/n a composite number?
False
Let l be 0 - (689 + (2 - 1)). Let d = l - -1183. Is d composite?
True
Let d(k) = -k**3 + 9*k**2 + 29*k + 7. Is d(-20) composite?
False
Suppose -254*t + 253*t + 2789 = 0. Is t a prime number?
True
Suppose -8358 = 14*k - 131824. Is k composite?
False
Suppose -177651 = 39*o - 42*o. Is o prime?
False
Suppose 0 = -378*u + 385*u + 7. Suppose 2*a - 115 + 299 = 0. Is 3/(88/a - u) prime?
False
Is (8 + (-4788)/(-30))/((-6)/(-615)) a prime number?
False
Suppose 0 = -0*i - 4*i - 20. Let r be i*((-136)/(-20))/1. Let f = 81 + r. Is f composite?
False
Let g be 1424/14 + (-6)/(-21). Suppose 6 + 9 = 5*n. Suppose 0 = n*i + 36 - g. Is i prime?
False
Let b(z) = 48*z**3 + 3*z**2 - 8*z - 3. Is b(8) composite?
True
Let s = 479 + -721. Let l = 373 + s. Is l a composite number?
False
Suppose -5*b + b = -116. Let y = b + -21. Suppose 662 = y*a - 6*a. Is a composite?
False
Suppose -4*f + 452 = 4*r, f + 455 = 4*r + 6*f. Suppose -9*w + 4*w = -r. Suppose -2*v - 2 = -w. Is v a prime number?
False
Suppose 3*p - 2*p = 2. Let a be (-1)/p + 154/4. Let m = 93 - a. Is m composite?
True
Let h = -16 - -25. Suppose h*m - 5*m = 16. Suppose 371 = m*s + 3*f, -2*s + 89 = -4*f - 113. Is s prime?
False
Let w(r) = 133*r - 1. Let d be w(1). Suppose -2*i + 3*h + 938 = 0, i - h - 337 = d. Is i a composite number?
True
Let q be -2 + (1 - -2) + 678. Suppose -4*s - 3*d = -829 - 534, d - q = -2*s. Is s a composite number?
False
Suppose 4*v = -v. Suppose -4*m + m + 3261 = v. Is m prime?
True
Suppose 2*x + 1554 - 19840 = 0. Is x prime?
False
Let w = -1549 + -674. Let a = -1354 - w. Is a prime?
False
Let m(h) be the first derivative of 8*h**2 + 22*h - 3. Let u be m(9). Is (-14 + -6)*u/(-8) a prime number?
False
Suppose 5*b = b - 3*y + 47296, 0 = -b - 3*y + 11815. Is b a composite number?
False
Let q(g) = g**2 + 2*g - 9. Let h be q(-5). Let z = 37 + -6. Suppose -r + z = -h. Is r prime?
True
Let k(j) = j**3 - 21*j**2 + 9*j + 6. Is k(25) a prime number?
True
Let d = -15 + 15. Is (1/6 - d) + 7359/18 a composite number?
False
Let o be (10/(-15) - 1)*3. Let p(v) be the first derivative of -33*v**2/2 - 6*v - 1. Is p(o) composite?
True
Let t(b) = -6*b**3 - 3*b**2 - 8*b - 9. Let h(q) = -q**2 - 6*q - 9. Let w be h(-5). Is t(w) prime?
True
Let z(m) = 4*m**2 - 34 + 3*m + 44 + 2*m. Is z(-5) a prime number?
False
Let a(f) be the first derivative of f**4/4 + 4*f**3 + 13*f**2/2 + 25*f + 10. Is a(-11) a composite number?
False
Let z = -243 + 3104. Suppose -5*a = 5*o - 3375, -3*a - 820 = -o - z. Is a a prime number?
False
Let q(i) = i - 25. Let y be q(23). Is (-3 - y)*(-466 + -1) composite?
False
Suppose -8 = -4*w + 12, 5*h + 4*w = 2175. Suppose 3*b - h = -4*d, d = 2*b - 98 - 193. Is b composite?
True
Suppose g - 498 - 1038 = l, -5*g = -3*l - 7690. Suppose 349 = -8*w + g. Is w composite?
False
Suppose -2*g - 8359 = -3*v, 2*v + 3*v = 5*g + 13925. Is v composite?
False
Let z(a) = 2 + 0*a**2 + 0*a + a**2 + 8*a - 6. Let p be z(-9). Suppose 5*s - 2520 = p*q, 2*s - 1023 = 2*q + 3*q. Is s a composite number?
False
Let z(i) be the first derivative of 3*i**2/2 + 673*i - 22. Let t be (-1)/(-2) - 2/4. Is z(t) composite?
False
Let i be 1/3 + 1/(-3). Let v be i*(-2)/(20/5). Suppose 0 = -v*a - 4*a + 7604. Is a a prime number?
True
Let g = -21869 - -33640. Is g composite?
True
Suppose 0 = -5*c - 398 + 58. Let p = 165 + c. Is p a composite number?
False
Let r(l) = 8*l + 3 - 4*l + 3 + 8*l + 11*l**2. Is r(-5) prime?
False
Let i = 182 - 46. Let x = i - 242. Is (-10 - -11)/((-1)/x) a prime number?
False
Let r(t) = t**2 - 14*t - 7. Let n = -1 + 16. Let b be r(n). Let z(p) = 3*p**2 + 9*p - 5. Is z(b) composite?
True
Suppose -3*b - q + 2537 = 0, -4*q - 401 = 3*b - 2926. Let g = b - 53. Is g a prime number?
False
Suppose -657 = -3*m + 5*p + 919, 3*p = 2*m - 1051. Let r = 826 - m. Is r composite?
True
Is 2 + (5092 + -6 - -7) a prime number?
False
Let u(w) = 33*w + 4. Is u(19) a composite number?
False
Let c = -17 - -35. Let z be 40/c + 14/(-63). Suppose z*r = n - 2*n + 83, 243 = 3*n + 3*r. Is n a composite number?
False
Let y(k) = -k. Let c be y(4). Let t be 2 - 4 - (c + -1). Suppose 0 = 4*u + 6 - 2, 100 = w - t*u. Is w a prime number?
True
Let s be (6/8)/(6/16). Suppose -549 = -s*w - w. Is w a composite number?
True
Let q = 178 - 72. Let z(b) = 2*b**2 + b + 1. Let k be z(4). Let t = q - k. Is t a prime number?
False
Let k = 14699 + 26744. Is k prime?
True
Suppose 0 = 3*f - 2*r - 150109, -2*r + 250155 = -8*f + 13*f. Is f composite?
False
Let q = -9 + 9. Is (q/(-5))/(-4) + 131 prime?
True
Let u = -5 + 13. Let d be 3/12 + (-30)/(-8). Is 6/u + 577/d composite?
True
Let y be 4/(-12)*-3 + 1897. Suppose y = 5*c + 3*q, -4*c - 2*q + 1246 = -272. Is c a prime number?
True
Suppose 3*h - 11419 = 4*k, 0 = h - 0*h - 3*k - 3808. Let l be -2 - -3*40/6. Suppose -l*n = -13*n - h. Is n composite?
False
Suppose -3*b = 5*t - 0*b - 34, 5*t + 4*b - 37 = 0. Let g = 8 - t. Suppose g*j + 620 = 7*j. Is j a prime number?