rime?
False
Let h(d) = 13*d + 6. Let b(s) = 26*s + 12. Let p(o) = 2*b(o) - 5*h(o). Is p(-9) a prime number?
False
Suppose -d - 771 = 5*y, 5*d + 868 - 113 = -5*y. Let i = -102 - y. Is i prime?
True
Suppose -x = -2*j + 725, 0*j = 3*j. Let p = 1114 + x. Is p a composite number?
False
Let p = 103968 - 55522. Is p prime?
False
Let k be (-51)/(-2)*148/(-6). Let y = 1438 + k. Is y a prime number?
True
Let l(n) = -2168*n + 307. Is l(-20) a composite number?
True
Suppose -2*c + 30 = 3*c. Suppose 2*g = 2*r + 3*r + 43, -5*g = 5. Is 1905/9 + c/r composite?
False
Let t(f) = 10*f**3 - f**2 + f + 2. Let i(r) = -r**2 + r + 1. Let c(o) = -i(o) - t(o). Is c(-3) a composite number?
True
Let d be ((-3)/(-15))/(-1)*-15. Suppose 350 = d*g - 907. Is g composite?
False
Let n(v) = -3*v**3 - 10*v**2 + 7*v + 9. Let g be (9/12)/((-3)/12). Let a(y) = -y**3 - 3*y**2 + 2*y + 3. Let r(k) = g*n(k) + 8*a(k). Is r(5) prime?
False
Let w(k) = 382*k**3 + k + 2. Let o be w(-1). Let h = o - -722. Is h a composite number?
True
Suppose -3*h + 6793 = -3596. Let p = h + -1869. Suppose -2*f + p = -5*z, 7*z - 2*z = 3*f - 2391. Is f prime?
True
Is (-12)/(-3) + -7 - -144 composite?
True
Suppose 15*w - 4*w = 47597. Is w prime?
True
Let o be 340/15*(-60)/(-8). Suppose -z = z + o. Let n = z - -140. Is n a prime number?
False
Suppose 262825 = 4*k - 5*f - 578036, 5*k - f - 1051050 = 0. Is k a composite number?
False
Let f(k) = -10*k - 19. Let p be f(8). Is ((-664)/24)/(3/p) a prime number?
False
Is ((-2)/(-6))/((-365100)/(-121698) - 3) composite?
False
Let z be (-634 - -1)*(-6)/(-18). Let m be z/1*(-3 - -2). Suppose 0*u = u - m. Is u a prime number?
True
Suppose 0 = -3*g - g + 8. Suppose g*y - 7 = -1. Is (3 - 2) + y + 63 a composite number?
False
Let t(l) = 4*l**2 + 6*l + 9. Let z be t(-6). Suppose -63*r + 162 = -60*r. Suppose r = 3*m - z. Is m a composite number?
True
Suppose -16*z + 65738 = -212294. Is z composite?
False
Let n = 40 + -28. Let q = -13 + n. Is (q/(-3))/(1/669) a composite number?
False
Suppose q + 5*d - 432 = -48, q + 2*d - 381 = 0. Is q prime?
True
Is (236/(-6))/(10/(-4605)) a composite number?
True
Let n = -137 + 301. Is (6/(-2) - n)*-1 composite?
False
Let r(m) = -50*m**2 + 8*m + 11. Let w be r(-5). Let p = w + 2150. Is p prime?
False
Let d = 498873 + -260468. Is d prime?
False
Let u = -8143 - -18222. Is u a composite number?
False
Suppose -2*k = 3*k - 14825. Suppose 8*u = 7*u + k. Is u composite?
True
Suppose t = -3*x - t + 11, 2*x - 12 = t. Suppose -1277 = -5*m - x*n + n, 6 = 2*n. Is m composite?
True
Suppose -3*m + 4 - 16 = 0. Let q(o) = -32*o + 21. Is q(m) a composite number?
False
Suppose 5*k - 18 = 2. Let n(s) = 27*s**2 - 8*s - 2. Let w be n(k). Suppose w = x + x. Is x a composite number?
False
Is (2 + 1)/((-96)/160) - -121914 composite?
False
Let v(o) = o**3 + 7*o**2 - o - 16. Let j be v(-7). Let c(h) = 3*h**2 + 2*h - 2. Is c(j) composite?
False
Suppose -2*t = -2*w - 7526, 0 = 3*t - 9*w + 4*w - 11293. Is t a prime number?
True
Suppose 632995 = 30*v - 377735. Is v composite?
True
Is ((-1)/(-1))/(6/5730) prime?
False
Let k be (-2 + 1/2)/((-13)/13390). Suppose -7*j + 3905 = -2*j - 4*g, -k = -2*j + 5*g. Is j a prime number?
False
Let k(c) = -2*c**2 + 0*c**2 + 5*c**2 + 5 - 4*c**2 - 3*c. Let f be k(-4). Is (-1)/(f/2) + 295 prime?
True
Let t be (2/(-4))/(2/(-16)). Suppose -t*f + 15 = 5*c, 4*c = -4*f + c + 25. Is f composite?
True
Let g(s) = s**2 - 20*s + 3. Let p be g(20). Suppose 12*i - p*i - 7191 = 0. Is i composite?
True
Suppose -27 = -4*z - 299. Let h = 25 - z. Is h a prime number?
False
Let o = 12211 + -3312. Is o composite?
True
Let i(w) = 251*w**2 - 7*w - 9. Is i(-2) a prime number?
True
Suppose 2030 = 9*j - 40729. Is j a prime number?
True
Let v = -57053 + 384352. Is v prime?
False
Let a(d) = -d**2 + 6*d + 12. Let n be a(7). Suppose 27 = -n*g - 73. Let o = 13 - g. Is o composite?
True
Let c(i) = i**3 - 15*i**2 + 18*i - 2. Let w be -4 + (-3 - (-24 + 0)) + 1. Is c(w) a prime number?
False
Let g be (-32)/(-18) + (-2)/9*-1. Is (-149)/(0 - g/(4/1)) composite?
True
Let l = -57510 - -120805. Is l composite?
True
Let l = 2465 + -570. Is l composite?
True
Let a(u) = -20*u**3 + 59*u**2 + 6*u + 3. Is a(-4) a prime number?
True
Suppose 5*l - 22 = -4*c, 2*c = 4*l - 2*c + 4. Suppose 12 = l*y + 4. Suppose -s + 0*g = g - 238, y*s + 3*g = 951. Is s a composite number?
True
Let v be (174/24 - 1) + 1/(-4). Suppose -v*r + 1822 = -4*r. Is r prime?
True
Let k be 13959/21 + 6/21. Let q be 2/6 - k/15. Let l = 2 - q. Is l a composite number?
True
Let m be (12/(-8))/((-2)/(-844)). Let a = -410 - m. Is a a prime number?
True
Suppose n = 6*x + 337, -2*n = 5*x - 4*x - 609. Is n a prime number?
True
Let a = 7 - 9. Let z be (a + 1)/((-7)/1834). Suppose -4*k + 1546 = z. Is k a composite number?
True
Suppose c - l = 3*l - 1, -2*c - l + 25 = 0. Let s = 258 + c. Suppose -2*a + 509 = -s. Is a a prime number?
True
Suppose 14 = -6*d + 38. Suppose -7*c - d = -5*c. Is -326*1/c + 0 composite?
False
Suppose -4 = -2*m + m. Suppose 0 = -2*o + 8, 4*a - 3164 = -m*o. Is a composite?
False
Let b = -1917 - -7732. Let o = b - 2244. Is o a prime number?
True
Let s = 40569 - 28970. Is s a prime number?
False
Let q = 293 - -8348. Is q composite?
False
Let z(s) be the second derivative of -s**5/4 - 3*s**4/4 - s**3/3 - s**2/2 - 19*s. Is z(-6) composite?
True
Let j = -3 + 2. Let v(z) = -2414*z**3 - z**2 - z - 1. Is v(j) prime?
False
Let t(f) = 6*f**2 + 37*f - 11. Let y(z) = 17*z**2 + 110*z - 34. Let k(i) = 11*t(i) - 4*y(i). Is k(-14) a composite number?
True
Is (-6 - 486512/(-48))*(2 + 1) a composite number?
False
Let d(r) = 4*r**2 - 11*r + 26. Is d(-9) a composite number?
False
Let b = 21237 + -14598. Let m = b + -4588. Is m a prime number?
False
Suppose 86155 = -78*a + 83*a. Is a a composite number?
False
Let w(p) = -5*p**3 + 38*p**2 + 7*p - 22. Let u be w(26). Is u/(-144) + (-4)/(-18) composite?
False
Suppose 2 = -3*z + 2. Suppose -9*r - r + 23170 = z. Is r a prime number?
False
Let x(u) be the third derivative of -u**6/120 - 11*u**5/60 - u**4/24 - u**3 - 11*u**2. Let r be x(-11). Suppose d = r, 2*d = j - 3*d - 72. Is j composite?
False
Let i be (-1)/3 - (-192)/9. Let q be (-3)/(-9)*i*1. Is (85 + 1)/(2/q) prime?
False
Let p(d) = 353*d - 3 + 5 - 9 - 6. Is p(4) composite?
False
Suppose m - 4*m = -3360. Suppose -m = -3*i + 7*i. Let w = i + 491. Is w composite?
False
Let w(s) = 4 - 3*s + 5*s + s**2 - 3*s + 0*s**2. Let j be w(0). Suppose -2*p - j*b + 58 = 0, 4*p = 5*p - 3*b - 34. Is p a composite number?
False
Is 42170 + -2 + -4 + -1 prime?
False
Suppose 10538 = 58*f - 56*f. Is f a composite number?
True
Suppose 59111 = 63*r - 50*r. Is r prime?
True
Let m(r) = 1057*r**2 + 4*r + 2. Let c be m(-2). Let v be c/8 - (-1)/4. Let z = -371 + v. Is z prime?
True
Is 17/(-170) + 32991/10 prime?
True
Suppose 15*h = 17*h - 894. Is h prime?
False
Let u(f) = 90*f**2 - f - 2. Let b = -3 + 2. Is u(b) a prime number?
True
Suppose 24012 = 16*y - 4*y. Suppose -9*j + 12*j - y = 0. Is j a prime number?
False
Let l be (-10)/(-4)*(2 - 16/20). Suppose 0*f + 7434 = l*z + 3*f, 12408 = 5*z - f. Is z a composite number?
True
Let a be -4748*(35/10)/7. Let i be (-16)/4 - a - 0. Suppose -5*x + 2*x + 4*g + 1454 = 0, 4*g = -5*x + i. Is x prime?
False
Let o(b) = -9*b + 15*b - 8 + 13*b + 20*b. Is o(5) a prime number?
False
Let y(o) = o**2 - 17*o + 19. Let a be y(16). Let g(d) = 492*d - 17. Is g(a) a composite number?
False
Let i(h) = -52*h**3 + 6*h**2 + 7*h. Let s be i(-6). Suppose -2*p + 8*p - s = 0. Is p prime?
True
Let i(q) be the first derivative of -13*q**4/24 - 11*q**3/6 - 5*q**2/2 - 1. Let u(c) be the second derivative of i(c). Is u(-10) a composite number?
True
Let j = -74 + 77. Suppose 578 + 499 = 3*i. Suppose d - j*c - i = c, 3*d - 3*c = 1104. Is d a composite number?
True
Let c = -131 - -111. Let x be 2/(-7) - (-2006)/14. Let q = x - c. Is q composite?
False
Let a be (0 - -67)/(2/(-4)). Let p = 465 + a. Is p prime?
True
Suppose -3*w + 7*z = 2*z - 40, -3*w = -3*z - 30. Let o(b) = 4*b**3 + 6*b**2 + 6*b + 3. Is o(w) composite?
False
Let i = -278 + 617. Suppose 6*u - 297 - i = 0. Is u composite?
True
Suppose -3*p = -2*y - 30, -p + 20 = -2*y + 6. Let k(s) = s**2 - 8*s + 4. Let b be k(p). Suppose z + 327 = b*z. Is z prime?
True
Let u(d) be the first 