- 18437 = -3*h. Is h a composite number?
True
Let d(p) = p**2 - 17*p - 1. Is d(-15) a prime number?
True
Is 40674/(-12)*-2*1 a composite number?
False
Let j = -35765 - -55344. Is j a prime number?
False
Suppose 0 = k - 4*k + 4*h + 1159, -k + 4*h + 373 = 0. Let i = -86 + k. Is i prime?
True
Let q(b) = -5*b - 85. Let w(d) = -10*d - 170. Let s(t) = 5*q(t) - 3*w(t). Is s(0) a prime number?
False
Let a(s) = -204*s + 19. Is a(-6) prime?
False
Let k(r) be the third derivative of r**5/30 - 7*r**4/24 - 41*r**3/6 + 10*r**2. Is k(-18) a composite number?
False
Suppose -2 + 38 = -4*t. Let j be t*((-21)/9 - -2). Suppose j*n + 442 = 5*n. Is n prime?
False
Let m(i) be the first derivative of -i**4/4 - 2*i**3/3 + 3*i**2/2 + 3*i - 3. Suppose -4*j - 7*b - 20 = -11*b, 4*j + 5*b = -11. Is m(j) composite?
False
Let s be (-2)/(-2) - (-500 - 2). Suppose 0 = -5*m - s + 113. Is m/(-9)*42/4 a composite number?
True
Let h(g) = 16*g - 5. Let k be h(-2). Let s = k - -132. Is s prime?
False
Let o(k) = k**2 + 3. Let m be o(0). Let p be ((-1)/3)/(m/(-1098)). Is 10*p*(-1)/(-4) composite?
True
Let o be 4 - 1 - (3 + -2). Is (-15 + 17)*o/(2/331) a prime number?
False
Suppose -3284 = a + 2*u + 5738, a + 9043 = 5*u. Let q = -3425 - a. Is q a prime number?
False
Suppose 48846 + 325818 = 24*i. Is i composite?
True
Let j be (-7201)/(-5) + (-1)/5. Suppose -j = -k + 6*k. Let u = k + 494. Is u a composite number?
True
Let j = 7597 - 3794. Is j prime?
True
Suppose 6*c - 14*c + 27624 = 0. Is c prime?
False
Let j(d) = 2*d + 38. Let b be j(-4). Suppose -12 = 3*g - 3*v, 2*v = -g - v + 8. Let a = b - g. Is a a prime number?
True
Let m(g) be the second derivative of 31*g**4/2 - 3*g**3/2 - 5*g**2/2 + 5*g. Is m(4) composite?
True
Let a = 2786 + 11007. Is a a composite number?
True
Let k(i) = -5 + 2 + 17*i - 18 + 4. Is k(3) composite?
True
Let i(m) = 1251*m + 62. Is i(7) a composite number?
False
Suppose -6 = -2*q + 4. Suppose -p + 3 = -c, -q*c - 4*p + 20 = -10. Suppose -2*o - 5*w = -305 + 107, -c*w = 3*o - 275. Is o prime?
True
Let x(n) = -2*n**2 + 4*n + 1. Let g be x(-5). Suppose 8*w = 3*w - 130. Let h = w - g. Is h prime?
True
Suppose 5*t - 13 + 28 = 0. Let n be t + (1 - -16) - 2. Suppose -w - v + n = 4*w, 0 = -w + v. Is w composite?
False
Let i(m) = -189*m + 4. Let r(n) = -377*n + 7. Let f(o) = 11*i(o) - 6*r(o). Is f(5) composite?
True
Let j(d) = -1 + 25*d**2 - 8 - 24*d**2 - 5*d. Let n be j(7). Suppose 0 = -n*p - 300 + 995. Is p a composite number?
False
Let h = 19 + -15. Let q(z) = -8*z**3 + 15*z**2 - h*z**2 + 4 + 17*z**3 - 8*z**3 + 5*z. Is q(-9) prime?
False
Let r(l) = -16*l - 1. Suppose -39 = -5*i + 66. Suppose 2*n = -3*b - 3, 0*b + 5*n = 2*b + i. Is r(b) a prime number?
True
Let a(o) = o**3 - 9*o**2 - 11*o - 15. Let y be a(11). Suppose h - 5*q = -y, 3*h - 2*q + 305 = -0*q. Let p = h + 234. Is p a composite number?
True
Suppose 1503390 = 93*u - 51*u. Is u prime?
False
Let b(t) = t**2 + 10*t - 6. Let i be b(-11). Suppose -i*p - 260 = -3730. Is p prime?
False
Let h(b) = -288*b**3 - 7*b**2 + b + 13. Is h(-3) prime?
True
Suppose 2*n + 2*n = 12. Suppose -3*d + n = 0, 2*b - 3*d - 27 = -3*b. Let u(l) = l**3 + 2*l**2 - l + 13. Is u(b) a composite number?
True
Is 1 + -6*(-2950 + -1) a prime number?
True
Let p be ((-345)/(-4))/(5 - (-185)/(-40)). Is p - (3 + (-1)/(-3)*3) prime?
False
Let s = -113609 - -195454. Is s composite?
True
Suppose 3*q - 3206 - 919 = 0. Suppose -4*a + q = -917. Is a prime?
False
Let w = 14416 + -7802. Is w composite?
True
Suppose -4*v - 4*n = 8, -v + 4*n = 3*v - 16. Let j(o) = 596*o - 1. Let q be j(v). Is q/(-7)*6/(-10) composite?
True
Let a = 993 + 2666. Is a a composite number?
False
Suppose 4*n = 574 - 50. Suppose g - 8 = -5*k + 5, -16 = -5*k - 2*g. Suppose -m - 2*t + 376 = -n, -2*t - k = 0. Is m a composite number?
False
Let u = 47 - 42. Let n be (-10)/(-8) - (-6)/8. Suppose 2*i - 269 = -u*o, 0*i - 119 = -n*o + 3*i. Is o composite?
True
Let u be ((-9152)/(-20))/((-1)/(-5)). Suppose -4*o + u = 4*c - 844, -o + 771 = 5*c. Is (-2 - o/2)/(-1) prime?
False
Let q = 355 + -272. Is q a prime number?
True
Suppose -24*x + 22*x + 228 = 0. Let r = 109 + x. Is r composite?
False
Suppose -4*w + 0 + 12 = 0. Suppose w*c + 0*c + 5166 = 0. Let s = -971 - c. Is s composite?
False
Suppose 4*f = -5*h + 40126 + 279759, 3*h - 3*f - 191931 = 0. Is h a composite number?
False
Let n = 991 - -108. Is n a composite number?
True
Let a(n) = 400*n**2 + 38*n + 219. Is a(-5) a composite number?
True
Suppose -2*y + n + 4*n = 29, -n - 11 = 2*y. Let h = -6 - y. Suppose -t + h = 0, -29 = -d - 4*t + 32. Is d a composite number?
True
Suppose -4*t = 5*f - 32, -2*f + 14 = -2*t + 3*f. Let u be -2 + 2 + 9/t. Is 314*((-15)/6 + u) a prime number?
True
Let s = -9 - -40. Is s composite?
False
Let q(t) = t**3 + 6*t**2 - 9*t - 5. Let o be q(-7). Let x(i) be the second derivative of 5*i**3/6 + 4*i**2 + 28*i. Is x(o) composite?
False
Suppose i - 570 = 3*u, -734 - 226 = 5*u - 5*i. Let g = 70 - u. Is g a prime number?
False
Suppose -3*j = -4*p + 19 - 0, 0 = 2*p - 5*j - 27. Is ((40/(-6))/4)/(p/(-1563)) a composite number?
True
Let c(i) = -12*i + 3. Let d be c(1). Is (-3)/d - 3/(36/(-6632)) a prime number?
False
Suppose 0 = -0*g + 6*g - 12. Suppose -3*p - 1392 = -g*p. Let r = 2061 + p. Is r prime?
False
Let f(y) = 176*y - 77. Is f(33) composite?
True
Suppose 5*z + 9 = -1, 25 = 5*t - 5*z. Suppose -y + t*y = 1016. Let h = y + -249. Is h composite?
True
Let u(c) = -c**2 - 21*c + 4373. Is u(0) a composite number?
False
Let j = 44 - 29. Let t = j - 13. Is (-3 - 163)*t/(-4) a composite number?
False
Let c = 298 + -95. Suppose -n + c + 16 = 0. Let g = n - 110. Is g a composite number?
False
Let p = -9 - -19. Suppose -4*s + 2*s + p = 0. Suppose 271 - 833 = -s*y + 3*x, 3*x = -2*y + 229. Is y prime?
True
Suppose 4*i = 5190 + 2382. Suppose -i = -68*c + 67*c. Is c a composite number?
True
Let q(p) = p**2 + 15*p + 1. Suppose 96 = -5*f + f. Let h = f + 38. Is q(h) a prime number?
False
Let y = 368 + 2205. Is y a composite number?
True
Suppose 0 = -4*b + 3*b + 57. Let z be (3 + -3)/(-1*1). Suppose z = -k - 2*k + b. Is k composite?
False
Let t(u) = u**2 + 11*u + 12. Let a be t(-10). Let k be 4/a - (4 - 4). Let r(w) = 131*w**2 + 3. Is r(k) a composite number?
True
Suppose 6*z = 9005 - 611. Is z prime?
True
Suppose -5*m + 57150 = -5*o, -3*o - 17153 = -2*m + 5702. Is m composite?
True
Let z be (0 - 15/(-6))*146. Is z + 6 - (2 - 2) a composite number?
True
Suppose -12 + 4 = -2*o. Suppose 2*a = -o*q - 9 + 195, 0 = 4*q + 4. Suppose n + 10 - a = 0. Is n a prime number?
False
Let b(l) = -32*l + 33. Is b(-14) prime?
False
Let r = -1005 - -5972. Is r a prime number?
True
Suppose d + 386 = -2*s + 4*s, -3*s = 2*d - 565. Is s a prime number?
True
Let n be 8325/30 - 2/(-4). Suppose -3*j + 2*j + n = 0. Let f = j + -163. Is f a prime number?
False
Suppose p + 5 = 0, 2*g + 2*g = -2*p - 2718. Let r = g - -1038. Suppose 0*i - m - r = -3*i, 3*m - 107 = -i. Is i prime?
False
Suppose 3*a + 20 = -a, t = 5*a + 17053. Suppose 5*r = 3*g + 15089, -5*r - 1931 = g - t. Is r prime?
True
Let p(j) = 3 + 139*j - 68 + 12. Is p(10) composite?
True
Suppose -s - 6 = -3*s. Suppose n + 3*r = 109, -3*n - s*r + 320 = -r. Suppose -3*y + y + n = 0. Is y a prime number?
True
Let t = 105188 + -11949. Is t a composite number?
False
Let l = 7 - 6. Suppose 0 = -z - l + 5. Suppose 1315 = x + z*x. Is x a composite number?
False
Let m = -1274 + 2491. Is m composite?
False
Suppose -5*x = 3*v - 31774, v + 25409 = 12*x - 8*x. Is x a prime number?
True
Let g be ((-15)/(-9) - -1) + 8/(-12). Suppose -4*q + g*c + 8428 = 0, -5*q = -q + c - 8416. Is q composite?
True
Suppose -147 = -2*w + 515. Is w composite?
False
Let n(j) = 14*j**2 - 9*j + 2. Let x = -18 + 25. Let a be n(x). Let m = -402 + a. Is m a composite number?
False
Suppose 0 = -3*z + 514 + 401. Is z composite?
True
Let i(p) = 100*p**2 + 3*p + 18. Let y be i(9). Let u = y - 4654. Is u prime?
True
Let x be (-160)/30 - 2/(-6). Let m be ((-3)/(-2))/(x/(-40)). Is 15/m*2*122 a composite number?
True
Let x = 16 + -13. Let p(j) = -13*j + 4. Let d be p(x). Let g = d + 240. Is g composite?
True
Suppose -2*n + 5*m + 0*m + 4526 = 0, 4 = -m. Suppose 4*v - 4*j = n + 3319, -4*j + 7001 = 5*v. Is v a prime number?
False
Let p(i) = 3*i**3 - 2*i**2 + i - 