*-22 prime?
False
Let j(c) = -30153*c - 22. Is j(-1) a prime number?
False
Let u be (-1)/2*(-88)/11. Let i be 11 + (-6 - -3) - u. Suppose 5*s - 5*r - 951 = 54, -3*s + i*r + 601 = 0. Is s a composite number?
True
Suppose 3*w + 7 = 19. Let b be (83/2)/(w/40). Suppose 16*a = 11*a + b. Is a a composite number?
False
Let a = 94 + -60. Is ((-797)/(-4))/(a/8 + -4) composite?
False
Let k be -15 + 4*(-3)/(-4). Let b(t) = -3*t + 1. Is b(k) a prime number?
True
Let l = -1456 + 2431. Let b = l - 266. Is b composite?
False
Suppose -3*h - 1075 = -5*s - 2*h, -4*h = 0. Suppose s = 3*z + 14. Is z prime?
True
Suppose -b = 2*b - 12. Suppose b*h - 3846 = -2*h. Is h prime?
True
Let i = -1886 - -3297. Is i a composite number?
True
Let n = -37 - -37. Suppose -v + n*v = -247. Is v a composite number?
True
Let n be 1/(0 + -1 + 24/20). Suppose 5*t + 3*c - 2095 = 0, t + n*c = -t + 819. Is t a composite number?
True
Suppose 12 = -3*o, -g - 3*o + 257903 = 4*g. Is g a composite number?
True
Let w(b) = 31*b**3 - 11*b**2 + 16*b - 37. Is w(7) a composite number?
False
Let w(j) = -29*j + 19. Let v be w(-18). Suppose -4*i + 1621 = v. Suppose 2*l - 4*g + 255 = 5*l, -i = -3*l + g. Is l composite?
False
Let n(t) = t**3 - 2*t**2 - t. Let o be n(3). Is ((-9873)/o)/((-6)/4) composite?
False
Suppose 3*d = 4*h - 3249, -h + 2442 = 2*h - 4*d. Suppose -1906 - h = -4*k. Is k composite?
True
Let z be (-2)/(-5) - 56/(-10). Let m(d) = 21*d**3 + 7*d**2 - 3*d - 6. Let t(q) = 11*q**3 + 4*q**2 - 2*q - 3. Let v(a) = z*m(a) - 11*t(a). Is v(2) prime?
True
Let o(q) = 31*q**3 - 2*q**2 - 25. Is o(6) composite?
False
Let a(w) = 557*w - 102. Is a(3) a prime number?
False
Let a be 81095/(-14)*8/(-10). Suppose -2*k + a = -0*k. Is k composite?
True
Let z(j) = 2*j**3 - 6*j**2 - 9*j + 5. Let b be z(4). Is -1 - (5/(-1))/(b/516) composite?
False
Suppose 0 = 4*a - 5*a + 27619. Suppose 16582 = -3*z - 4*t - 4156, t - a = 4*z. Is 2/14 + z/(-21) a prime number?
False
Let o = 22216 - 7387. Is o a composite number?
True
Let n = -80192 - -176821. Is n a prime number?
False
Suppose -8*a + 106414 = 6*a. Is a prime?
False
Let g(j) = -j**3 - 8*j**2 + j - 1. Let x be g(-10). Let z = x - 97. Is z/8*4 + 0 a prime number?
False
Let f = 2500 + -209. Is f a prime number?
False
Is (5/(-2))/(1755696/125408 + -14) a prime number?
False
Let n(m) = m**3 + 31*m**2 - 46*m - 51. Is n(-32) prime?
True
Is (6178/(-4))/(10/(-100)) a prime number?
False
Suppose -4*j + 6002 = 2*x - 234, 4*x = 0. Is j a composite number?
False
Is (-7 - 28315/(-56))*8 composite?
False
Let u(h) = -109*h - 8. Let j be u(-6). Suppose -5*s = v - 616, 4*v - 3*v - s = j. Is v a composite number?
False
Suppose 29159 = 3*p + 4*n - 26594, -2*p = 2*n - 37170. Is p a prime number?
True
Suppose 0*m + 24 = 2*m. Let w = m - -20. Suppose -870 = -2*r + w. Is r prime?
False
Suppose 0 = 20*c - 26638 - 29322. Is c a composite number?
True
Suppose -4*n = 5*d - 13, 4*d - 5 - 5 = -3*n. Is n + -1 + -2 - (6 + -640) prime?
False
Let g be 1*(-1)/(-1) - -4. Suppose g*d = -2*o - 34, -o = 5*d - 0*o + 32. Is d/(-12)*2*431 a composite number?
False
Suppose -341 = -u + 2*p, 4*u - 5*p = 2*u + 687. Is u a composite number?
False
Let g = 8716 - 3879. Is g a prime number?
False
Let r = 1148 + -813. Is r a composite number?
True
Suppose -13*g - 12181 = 3978. Let f = g + 4262. Is f a prime number?
True
Let f be 956/6 + (-4)/(-6) + 2. Suppose z - f = 523. Is z a prime number?
False
Suppose -32*l + 3*x = -35*l + 52710, -4*l = -x - 70275. Is l composite?
False
Let c = 36 + -30. Suppose 325 = -q + c*q. Is q prime?
False
Suppose -4*g = -4*s + 8, -2*s + 6 = s - g. Suppose 105 = -2*k + 7*k + 2*u, -125 = -5*k + s*u. Let w = 100 - k. Is w prime?
False
Let n be ((-2)/5)/((-8)/40)*1. Suppose -n*g = g - 1011. Is g composite?
False
Let p(j) = -j + 6. Let m be p(6). Suppose -5*i + 2 = -2*s + 4, 2*i - 4*s + 4 = m. Suppose i = -n, g - 115 = n + 2*n. Is g composite?
True
Is (66903/(-116))/((-6)/16) a composite number?
True
Is -2*1/1 - (-15158 - 5) composite?
False
Suppose 0 = 3*w + 9 - 18. Let z be 1*42*(-14)/w. Let v = z - -275. Is v composite?
False
Suppose 2*k = 0, w - 126 = 3*w - 5*k. Let i(v) = 258*v**2 + 5*v - 7. Let t be i(1). Let m = t - w. Is m composite?
True
Let i(n) be the first derivative of n**3/3 + 3*n**2/2 - 4*n - 10. Let s be i(-4). Is 2*670/4 - s a composite number?
True
Let p = 15534 - 8465. Is p a composite number?
False
Suppose -2*d = 2*a - 2866, 5*a - 2114 = -3*d + 2177. Is d a composite number?
True
Let u = -23 + 19. Let n = -7 + 13. Is (-265)/u - n/(-8) composite?
False
Suppose -13 = -b + 14. Let c = b + -25. Suppose -57 = -2*w + 3*f, f - 3*f = c*w - 72. Is w composite?
True
Let c(q) be the second derivative of -q**6/60 - 7*q**5/60 - q**4/12 - q**3/3 - 2*q**2 + q. Let z(p) be the first derivative of c(p). Is z(-5) prime?
True
Is 16 + -11 - (-4)/(-2)*-6424 composite?
False
Let u(d) = 2 + 76*d + 370*d - 1 + 110*d. Is u(1) prime?
True
Let d(j) be the first derivative of 4*j**3/3 + 5*j**2 - 13*j - 4. Let r(s) = 7*s**2 + 21*s - 27. Let i(t) = 13*d(t) - 6*r(t). Is i(-5) composite?
False
Suppose -2*u + 81 + 45 = 3*z, 0 = -5*u + 5*z + 365. Is u a prime number?
False
Suppose 3*k - 3 - 6 = 0. Suppose -4*o - k*c - 184 = 0, -1 = 3*c + 11. Is (-1 + 0)*(o + 8) composite?
True
Let q(j) = -76*j - 13. Is q(-7) composite?
True
Let f(k) = 19*k**2 - 5*k + 17. Let o(l) = -l**2 + 3*l + 45. Let h be o(8). Is f(h) prime?
True
Let i = 79 + -63. Suppose 0 = 21*g - i*g - 395. Is g prime?
True
Suppose -4*t = 5*p + t + 505, -5*p - 506 = 4*t. Is p/(-4)*(-12)/(-9) composite?
True
Let i(m) = -7*m - 64*m**3 + 4 + 6*m**2 - 60*m**3 + 125*m**3. Let t be i(-7). Suppose -12*b + 1016 = -t*b. Is b a composite number?
False
Let y(a) = a**2 + 3*a - 10. Let k be y(-5). Suppose u + k*u = -5*t + 84, 5*u - 480 = 5*t. Suppose 0 = -2*n + u + 84. Is n composite?
False
Let x = 18515 - 10098. Is x prime?
False
Let m = 13707 - 8206. Is m composite?
False
Suppose 6*i + 4090 = 14344. Is i a composite number?
False
Let u(r) be the second derivative of 9*r**5/40 - 5*r**4/24 + 2*r**3/3 - 6*r. Let a(f) be the second derivative of u(f). Is a(8) composite?
False
Suppose -3*b - f = 352215, -2*b - 2*f = 3*b + 587024. Is b/(-34) + 12/(-102) a prime number?
False
Suppose -3*d + 4*i = -3249, -5*d + i + 186 = -5212. Is d a prime number?
False
Let j(w) = 11*w**2 + 15*w + 165. Is j(-34) composite?
True
Suppose 0 = f + 10*s - 13*s - 5800, 29048 = 5*f + s. Is f a prime number?
False
Let z(u) = u**3 - 2*u**2 - 4*u. Let q be z(4). Let n = 779 + q. Suppose 5*c + 3*i - 790 = 0, -7*c - 2*i + n = -2*c. Is c composite?
True
Suppose -15 = -3*q, -q + 5*q + 247 = f. Let g = 486 - f. Is g prime?
False
Let d(y) = 2*y**3 - 2*y + 1. Let h be d(-2). Let k = h - -32. Is k a composite number?
True
Suppose -11*c - 4095 = -18*c. Let o = -254 + c. Is o composite?
False
Suppose k - 3122 - 423 = 0. Is k a prime number?
False
Let t = 21 + -9. Is 2/t - (-8943)/18 prime?
False
Let b(v) be the second derivative of -v**4/12 + 4*v**3/3 + v**2 + 2*v. Let y be b(4). Suppose 2*x - 28 = y. Is x a prime number?
True
Let k be (-6)/15 + (-27)/(-5). Let g = k + 17. Suppose g = -2*l + 116. Is l prime?
True
Suppose 5*o - 2 = 13. Suppose 0 = 4*y - o*y - 184. Suppose -5*m + 1479 = y. Is m composite?
True
Let d(i) = 836*i**2 + 2*i + 7. Is d(4) a prime number?
False
Suppose -4*k = 3*o + 4, 3*o = -4*k + 4*o + 12. Suppose j = -l - 1223, -k*l = 4*j - 1540 + 6436. Let t = j + 1808. Is t a prime number?
False
Let b(o) = -o**2 + 9*o - 7. Let a be b(8). Let i be (-8 - 2)*a/(-2). Suppose 0 = -i*n + 1281 - 226. Is n a prime number?
True
Let b be (46/(-3))/((-12)/324). Suppose 0*m - 6*m = -b. Is m a prime number?
False
Suppose -37*n + 2065 = -32*n. Let m = n + -160. Is m composite?
True
Let j = -1 - -4. Let w be -14 - (-2 - -3 - j). Is w/(-66) - (-735)/11 prime?
True
Suppose 67*i = 29*i + 33326. Is i a composite number?
False
Is (15208 + -55)*3/9 a prime number?
True
Let s(m) = m**2 - 5*m - 3. Let n be 4/10*(3 - -12). Let t be s(n). Is 45 + 3/t + 1 prime?
True
Let o(q) = -16*q - 3. Let r be (-47)/(-5) - 6/15. Let u be (78/r)/(8/(-12)). Is o(u) a prime number?
False
Let a(g) = 7*g**3 - 31*g**2 + 11*g + 62. Let b(s) = 10*s**3 - 47*s**2 + 17*s + 93. Let h(i) = 7*a(i) - 5*b(i). Is h(14) prime?
True
Suppose 5*p