21 + 2*(5 - 14) composite?
False
Let d(k) = -k**2 + 23*k + 24. Let l be d(24). Suppose 5*s = -l*i + 3*i + 5479, 0 = s - 2. Let z = 3142 + i. Is z composite?
False
Let d(v) = -49*v**2 - 53*v**2 + 23 + 5*v + 105*v**2 - 4*v**3. Let f be d(-6). Suppose -3*s = -2*h + f, 4*s - s + 3 = 0. Is h prime?
False
Let q(v) = 1893*v + 6734. Is q(24) a prime number?
False
Let i(k) = -3159*k - 22. Let c be i(-3). Let l = 16428 - c. Is l prime?
False
Suppose -5*r - 2301 = -j, -j + 1992 + 341 = 3*r. Suppose -4*a = 4*p - 3100, -a = 2*a + 5*p - j. Let w = -154 + a. Is w composite?
True
Let j = -257 + 258. Is (139056/(-144))/(j/(-3)) a prime number?
True
Let u = 57 - 1. Let y = -50 + u. Suppose -y*o + 31 = 7. Is o a composite number?
True
Let n = 3718 + 260. Let o = 11705 + n. Is o composite?
False
Let z = -130 + 139. Is (6/z)/(5/(92460/8)) composite?
True
Suppose 0 = 3*z - 3*v + 1 - 13, -2*v = 4*z + 8. Suppose 2*i + 3*o - 4576 = 0, 2*i + z*o - 4*o - 4590 = 0. Is i prime?
False
Suppose w = -k + 2*w - 835, -4 = -2*w. Let b = 1496 + k. Let a = 1582 - b. Is a a prime number?
True
Let p = 273 + -444. Let x = p + 5140. Is x a composite number?
False
Let a = -19649 - -29128. Is a composite?
False
Let d(u) = 1954*u - 84 + 14 + 2 - 79 + 14. Is d(3) prime?
False
Let o(y) = -50*y**3 + 28*y**2 + 38*y + 183. Is o(-16) a prime number?
True
Let n(l) = 430*l**2 + 271*l**2 - 206*l**2 + 5*l. Let s be n(3). Suppose 5*k + 3*c = 5581, 0*k = -4*k - 5*c + s. Is k a composite number?
True
Let t(o) = -8*o + 1. Let d be (-3 + 2)/1*-1. Let p be t(d). Let l(x) = -43*x + 28. Is l(p) a prime number?
False
Suppose -4*m = 4*g - 6628, 2*m = 64*g - 62*g - 3334. Let l be 2 - (6/(-3) - -2). Suppose -3*j = -3*w - g, j - l*w - 557 = 2*w. Is j composite?
True
Suppose -97*y + 5660295 = -82*y. Is y a prime number?
True
Let o = -793 - -800. Is -1814*9/((-126)/o) a prime number?
True
Suppose 0 = u - 2*u + 20. Let b = u - 17. Suppose i = b*c - 1181, -2*c - 2*i - 2*i + 806 = 0. Is c prime?
False
Let q(k) = 246*k + 17. Let o be 4*1*(819/(-28))/(-13). Let w be q(o). Is 1*(2 + w - -4) a composite number?
False
Let o(l) = -250*l + 21. Let r be o(-7). Let c = -4183 - -6536. Suppose 4*b + g - c = 2*g, 3*b - 2*g = r. Is b prime?
True
Suppose 5*y + 55 = 5*w, -w + 18 - 15 = y. Let x(g) = 6*g**3 - g**2 - 11*g - 1. Is x(w) a composite number?
False
Suppose -50*o - 3*m = -45*o + 10388, 10386 = -5*o - m. Suppose 5*t = -2*b + 17357 - 159, 0 = 2*b - 8. Let y = t + o. Is y prime?
True
Let p(j) = 8*j - 4*j**2 + 17*j + 2*j**2 + 4*j**2 + 5 - 9*j. Suppose b - 38 = 3*s + 12, 0 = -2*s + 2*b - 28. Is p(s) prime?
False
Let r(o) = -o**2 - 4*o - 10. Let y(h) = 3*h + 25. Let c be y(-16). Let s be r(c). Is (2/(-12)*s)/((-2)/(-4)) prime?
True
Let q(r) = -8*r**3 + 15*r**2 + 69*r + 3. Is q(-7) composite?
False
Is (-13091887)/(-119) - (-40)/35 prime?
True
Suppose -17*i + 4*i = -1417. Is i a prime number?
True
Suppose 8*m + 3965 - 77933 = 0. Suppose 3*b = 4*v + 5*b - 36942, 0 = -v + 3*b + m. Is v prime?
False
Let l = -26 - -230. Suppose -1373 = -x + l. Suppose -2*s + 5*p + 1247 = 0, 2*s + 345 = 2*p + x. Is s a composite number?
True
Is ((-60)/(-45))/((-3)/((-641772)/8)) a composite number?
True
Let m(i) = 715*i**2 + 23*i. Let c be m(2). Let a = c - 1569. Is a prime?
False
Let i(b) = -2*b**2 - 25*b - 18. Let x be i(-12). Let a be (1 - 0)*1*(-12)/x. Suppose -8*d + 12894 = -a*d. Is d a prime number?
False
Let f = 1 - -9. Suppose f*t - 2*t = -4280. Let v = 127 - t. Is v a composite number?
True
Let b(v) = 4*v**3 + 5*v**2 + v + 1. Let s be b(-4). Let d(t) = 52*t + 178. Let u be d(3). Let o = u + s. Is o prime?
False
Suppose -w = l, 56 = -5*w - 4*l + 58. Let t(a) = 185*a**2 + 9*a + 3. Let p be t(-6). Suppose w*c = -c + p. Is c composite?
False
Let l(y) = -y + 1. Let m be l(3). Let c be 5/(-10) + (-11)/m. Suppose 2*u + 2*i - 335 = 751, 0 = u - c*i - 555. Is u composite?
True
Let w(c) = -4*c**2 + 28*c + 25. Let f(g) = -g. Let x(o) = 3*f(o) + w(o). Let j be x(18). Let a = -492 - j. Is a prime?
False
Let s(k) = -160*k - 93. Let h be ((-60)/(-2))/(27/(-18)). Is s(h) composite?
True
Let q(o) = -1127*o - 53. Let c be q(-13). Is (-6)/12 + (c/(-4))/(-1) a prime number?
False
Let u = 280 + -277. Suppose 8392 = 2*i - u*h + 5*h, -3*h + 4186 = i. Is i a prime number?
True
Suppose -5*f + 2*d = -189085, 3*f - 3*d = -17120 + 130571. Is f a composite number?
True
Let s(l) = -146*l - 14. Let i be s(-4). Suppose -2*m - i = -3*m + 3*u, -u = -3. Let n = -366 + m. Is n a prime number?
False
Let r(o) = o + 10. Let y be r(-6). Suppose -y*l = l - 5. Is (l - -24) + 9 + -11 composite?
False
Is (-1)/((-3)/(-22))*723510/(-60) a composite number?
True
Suppose 0 = -7*j + 4*j + 15. Suppose -4*t - 5*n - 386 = -4*n, -t - j*n = 106. Let p = -29 - t. Is p a composite number?
False
Suppose -8 = 4*f, -u + 201 = -2*f - 116. Let t = 354 + u. Is t a composite number?
True
Let x be (-1*(1 - -2))/(-1). Let z(i) = 1742*i**2 - 11*i + 16. Is z(x) prime?
True
Let g = 606 + -390. Let t = 803 - g. Is t a composite number?
False
Let k be 40/(-6) - (-5)/(-15). Let n be ((-6)/4)/(k/(-2702)). Let i = n + 992. Is i composite?
True
Suppose 53 = -7*b - 115. Is 19294/3*b/(-16) a composite number?
True
Let r(f) = 3*f**2 + 8*f + 24. Let i be (-2)/(-10) - (-1224)/(-120). Let z be r(i). Suppose 0 = m + 4*j - 131, 2*m - 5*j = z + 5. Is m a prime number?
True
Let q = 3605 + -397. Suppose -q = 8*l - 8760. Suppose -3*o = -l - 1715. Is o a composite number?
True
Let k(j) be the second derivative of -3*j**5/10 - j**4/12 + 7*j**3/6 - 17*j**2/2 + 24*j. Is k(-7) a prime number?
False
Let q = 3105 + -1941. Let r = 2315 - q. Is r composite?
False
Let k = 55 + -52. Let d(f) = -264*f - 72*f - 8 - 50 + k. Is d(-8) composite?
False
Let a = 3 - 2. Let q be -1*a/5 - 1260/(-50). Is 2/5 - (-1465)/q a composite number?
False
Suppose -1597657 = -28*q - 28229. Is q a prime number?
False
Is 3/(-3) - (-45 + -17625) a prime number?
True
Let w(n) = 54*n**3 + 4*n - 7. Let t(c) = 161*c**3 + 13*c - 22. Let g(b) = 4*t(b) - 11*w(b). Is g(4) a prime number?
True
Let n(v) = -v**3 - 9*v - 116. Let s be n(0). Is (s/174)/((-2)/5793) a prime number?
True
Let o = -20 + 31. Let l be 126/154 - (-2)/o. Is 219 + (l + -2)*-4 composite?
False
Let z be (-8)/(-28) + 39559/(-7). Let d = -3334 - z. Is d prime?
False
Is -1*(-6)/(30/39665) a composite number?
False
Let u(w) = 616*w**2 - 3*w + 123. Is u(-16) prime?
True
Let c = 754770 - 531409. Is c composite?
False
Let f(u) = -19 + 20*u + 19 - 1. Is f(1) prime?
True
Suppose -76*f = -80*f + 20. Suppose -4*v + w + 15390 = 0, 0*v - f*w - 19245 = -5*v. Is v a composite number?
False
Let o = 48 - 82. Let s = 33 + o. Is (-93)/(-2) + s/2 composite?
True
Suppose 0 = -55*h + 6449610 + 3494005. Is h prime?
True
Is 25028/(5 - 9)*(-1 + -2 + 1) a composite number?
True
Let a(i) = 17*i**3 + 3*i**2 - 5*i + 7. Let b = 40 - 38. Suppose 0 = 2*n - 6*n + 3*z + 15, -n - z = -b. Is a(n) composite?
True
Let v be ((-1)/(20/8))/((-2)/1680). Let w be 5/3*v/(-9 + 5). Let z = -53 - w. Is z composite?
True
Let p(n) be the second derivative of 49*n**3/6 + 2053*n**2/2 - 246*n. Is p(0) a prime number?
True
Let u(l) = -1481*l - 577. Is u(-30) composite?
False
Let q(m) = 451*m**2 - 10*m - 10. Let r be q(-1). Suppose 0 = -8*p + 4821 + r. Is p prime?
True
Let g(f) = -f**2 - 8*f - 17. Let a be g(-9). Let s(l) = -2*l - 52. Let c be s(a). Suppose c = -7*j - 1278 + 30265. Is j prime?
False
Suppose -x - 4*p = -3891, -3*x + 3864 = -2*x - 5*p. Suppose -10*j + 20449 = x. Is j composite?
False
Let d(j) = 3*j + 326. Let b be d(0). Is (b/(-4))/(7/2 - 4) composite?
False
Suppose 87 + 185 = 4*l. Suppose 0 = 2*d - 11 + 1. Suppose d*t - 163 = -3*w, t - 3*w + 21 = l. Is t a prime number?
False
Suppose 0 = 5*g - 163*d + 162*d - 5069610, -2*d = 4*g - 4055674. Is g prime?
True
Suppose -91*m = -93*m + 18. Is m/((-18)/(-1600)) - (-2 + 5) prime?
True
Let f = -69605 - -245878. Is f composite?
True
Let k = 442 - 358. Is 72/k*3934/6 a prime number?
False
Let y(i) = i**3 - 4*i**2 - 5*i + 5. Let b be y(5). Let p(a) = 1290*a**2 - 5*a + 26. Is p(b) a prime number?
True
Let d(h) = -5*h - 58. Let v be d(-12). Let n(r) = -6*r - 26. Let c be n(-5). Suppose a + 4*x - 397 = 0, v*x - 2046 = -c*a - 486. Is a composite?
False
Suppose -2*n - 5*a + 4 = -3*n, -2*n = -a - 10. L