ose 5*u + 23369 = i, -10*i + 5*i - 2*u = -117007. Is i a prime number?
True
Let x = -113 + 103. Is 0 + (-4)/x + 104718/30 composite?
False
Let z = 958742 + -532659. Is z composite?
True
Let n = 198 - 162. Suppose -47*i + 51799 = -n*i. Is i a prime number?
False
Let y(i) = -8646*i + 401. Is y(-15) a prime number?
False
Let k = -62 - -67. Suppose 306 - 11456 = -k*v. Suppose -3*l = -v - 4241. Is l composite?
True
Let z(b) be the first derivative of 5*b + 2*b - 4*b + 24 - 2*b**3 + b**4. Is z(5) a prime number?
True
Suppose 542 - 558 = -8*s. Is 11893*((-14)/4 + 4)*s composite?
True
Suppose -62*v - 36074297 = -279*v. Is v prime?
False
Suppose 2*i - i + 4*v - 23 = 0, -3*i - 6 = -3*v. Suppose -i*z + 73 = 4*r - 2*z, -3*r = -2*z - 52. Is (-18516)/r*(-9)/6 prime?
True
Suppose 36 = 2*v + 18. Suppose v*o = 3*o + 324. Suppose o*n = 57*n - 801. Is n prime?
False
Suppose 3*p - y = 8*p - 134056, 53671 = 2*p - 5*y. Is p a prime number?
True
Let a(g) = -21*g + 64 - 62 - 5*g**2 + 4*g**2. Let k be a(-20). Suppose k*y - 25*y = -1413. Is y a composite number?
True
Let c be (-15)/(-6) - (-54)/4. Is 2 + (-1516)/c*-4 prime?
False
Let c(g) = 151*g**2 - 52*g + 659. Is c(28) a composite number?
True
Let q = -2044 - -4596. Suppose 2*x - q = -2*x. Let f = x + -259. Is f prime?
True
Suppose 0 = -7*r + 6*r + 2. Suppose r = -4*j + 5*j. Suppose a + 1498 = j*n, -4*n + 9*n = -a + 3759. Is n a prime number?
True
Let a(d) = d**3 + 8*d**2 - 9*d + 1. Let l be a(-9). Let n be 8/(l - -1) - 2/1. Suppose -3*s = -5*i + n*s + 2070, s = 5*i - 2066. Is i a composite number?
True
Suppose 0 = 4*n - 4*s, 2*s = n + 4*s - 12. Is 6 - 9 - -40*n composite?
False
Suppose -w = u - 176725, 3*u - 3*w - 530169 = -7*w. Is u a composite number?
True
Let i(s) = 24*s**2 - 42 + 19 - 34*s - s**3 - 2*s**2. Is i(20) composite?
False
Suppose 14104 = 59*t - 15573. Is t a prime number?
True
Let b be (-1*18)/6 + 5. Suppose a + 1383 = 3*s - 4*a, s + b*a - 472 = 0. Is s composite?
True
Suppose 7*f - 189856 = 61795 + 58806. Is f prime?
True
Let d(s) = 69*s**3. Suppose 0 - 1 = -m. Let y = m + 0. Is d(y) a composite number?
True
Let i = 45 - 36. Suppose 5*s = 2*s + i. Suppose -s*z - z + 11756 = 0. Is z prime?
True
Suppose -2*y + 5*y = 4*y - 56621. Is y composite?
True
Let f = 51 + -49. Suppose 2*j = -4*u + f, -4*u + 2*j = 5*j + 3. Is (u/(-5))/(7/(-6685)) composite?
True
Let y(v) = -15 - 2*v + 19*v**2 + 16*v**2 - 34*v**2 - 15. Let n be y(6). Let c(r) = -5*r**3 - 7*r**2 + 4*r - 1. Is c(n) a composite number?
True
Let w(f) = -1867*f + 896*f - 12 + 93 + 98. Is w(-6) a composite number?
True
Is 1228/(-1842) + (-2)/3*2 + 491809 prime?
False
Let b(f) = 3*f**3 + 8*f**2 - 4*f - 11. Let g(p) = p - 18. Let z(i) = 18. Let x(l) = -2*g(l) - 3*z(l). Let w be x(-12). Is b(w) a composite number?
True
Let d = -1165 - -2538. Let w = d + -920. Suppose -3*t + 684 = -w. Is t a prime number?
True
Is -1*(-7)/(-21)*-2084637 composite?
False
Suppose -5*q + 0*q - k = -15532, 12440 = 4*q - 4*k. Let b = -2088 + q. Is b composite?
False
Suppose -24*a + 4778780 = 1633076. Is a composite?
False
Suppose 0 = -5*m + 5*l - 185, -23*m + 25*m = -4*l - 68. Is 8/m - (-4 + (-343495)/45) prime?
False
Let p(m) = -543*m + 4. Let y be (-1)/3 - (-98)/(-21). Let w be p(y). Let g = w + -1832. Is g composite?
False
Is (-7 - (-8)/2) + (-4294510)/(-55) composite?
False
Let p(c) be the third derivative of -1/60*c**5 - 1/12*c**4 + 149/6*c**3 - 1/120*c**6 + 0 - 14*c**2 + 0*c. Is p(0) composite?
False
Let u be (-4)/(-10) + 26/10. Suppose 2*p = -0*h + u*h - 12, -4*p - 6 = 3*h. Suppose h*v - 1020 = 4*o, 2*v + 587 = 3*o + 1609. Is v composite?
True
Suppose 0 = d - 5*b - 16839, 0 = 47*d - 48*d - 5*b + 16859. Suppose -i = 2*t - 33708, 0 = 4*t - 3*t + 3*i - d. Is t composite?
True
Let s be (-5 + 44)*(-20)/(-3). Let b = -131 + s. Suppose -y = 2*h + 7 - 130, b = y - h. Is y composite?
False
Suppose -7190*h = -7176*h - 933884. Is h prime?
False
Is ((-638)/(-55))/29 - (0 - 2155666/10) a composite number?
True
Suppose -2193108 = -3*u + 3*o, -4*o + 42076 = u - 688945. Is u a prime number?
True
Let d be 4/(-18) + 3/(108/642536). Suppose 8*p - d = 4464. Is p prime?
True
Let u(a) = -356*a + 33. Let i be u(-11). Let g = 6378 - i. Is g composite?
True
Is (102 + -1110579)*(-2)/6 composite?
False
Let n(h) = 3867*h**2 + 7*h + 4. Let f be n(-1). Let w = 5711 - f. Is w a prime number?
True
Suppose -143 = -5*p + h + 28, 0 = -3*p + 2*h + 104. Let g = 40 - p. Suppose 413 + 3769 = g*y. Is y a prime number?
False
Let g(v) = -1883*v - 398. Let p(r) = -1881*r - 397. Let u(f) = -3*g(f) + 4*p(f). Is u(-7) composite?
True
Let g = -1711 - -3464. Let y be 2832/4*((-13)/2 + 7). Let z = g - y. Is z prime?
True
Let x = -125192 + 228699. Is x composite?
True
Let r(v) = 23*v**3 - 29*v**2 + 225*v - 28. Is r(11) composite?
True
Let p be (-1*1)/((-41)/205). Suppose 9965 = -p*z + 41190. Is z a composite number?
True
Let z(s) = -6*s**3 - 23*s**2 - 5 + 31*s**2 - 2*s + 5*s**3 - 10. Let a be z(6). Suppose 762 - a = 3*f. Is f prime?
True
Suppose -4*n + 2*n = m - 59, 3*m + 2*n - 169 = 0. Let f = m + -52. Suppose 10420 = c + f*c. Is c a prime number?
False
Let n = 68 - 64. Let i(t) = -3*t**3 - 5*t + 2*t**3 - 2*t + 26 - 11*t**2 + n*t**2. Is i(-9) a prime number?
True
Let h(k) = 1491*k**2 - 3*k - 9. Let d(i) = -745*i**2 + i + 4. Let p(t) = -7*d(t) - 3*h(t). Is p(-1) a composite number?
False
Let f(n) = n**3 - 15*n**2 + 14*n + 4. Let t be f(14). Suppose t*x = -9*x + 9685. Is x a prime number?
False
Suppose -5*w = -10*w - 3*u + 3932197, -4*w - 4*u = -3145764. Is w a composite number?
True
Let q(l) = 26660*l - 8747. Is q(12) a composite number?
False
Let h(m) = m**3 + 10*m**2 - 10*m - 13. Suppose -306 = -4*p - 5*p. Let z = p + -44. Is h(z) composite?
True
Suppose -5*w = -2*d - 215, -5*w + 22*d - 19*d = -215. Let c(v) = -v**3 + 47*v**2 - 32*v + 261. Is c(w) composite?
True
Let o be (-12)/(24/(-6)) - -7918. Let g = -3852 + o. Is g composite?
True
Suppose u - 5*y = -238, -3*y = -u + 68 - 304. Let j(i) = 71*i**3 + 12*i**2 - 23*i + 4. Let q be j(2). Let w = q + u. Is w prime?
False
Suppose 9*h + 3*a - 16605 = 0, 4*a + 1823 = h + 8*a. Is h composite?
False
Let g = 666 - 206. Suppose -5*m + 2*w + 1010 = 125, -330 = -2*m - 4*w. Suppose -m = -5*d + g. Is d prime?
True
Let h(d) = d**3 + 13*d**2 - 4*d + 14. Let t be h(-13). Suppose -2*r + t = -0*r. Suppose -r*f = -37*f + 804. Is f a composite number?
True
Suppose 2*q + 4*q = 720. Suppose 52*u - q = 48*u. Suppose -g = -925 - u. Is g a composite number?
True
Let n(r) = 3915*r**3 - 3*r**2 + 12*r + 19. Is n(4) a composite number?
True
Suppose -3*l = -4*v + 67070 + 90680, 0 = -3*v - 2*l + 118321. Is v composite?
False
Suppose -m - 3*r = -6*r - 13, 4*m - 96 = r. Let t be (m - 20)/(5/6). Suppose 4493 = t*u - 5*u. Is u composite?
False
Let t(s) = -2*s**2 + 702. Let q be t(0). Let g = -258 + q. Suppose 0*p - 6*p = -g. Is p prime?
False
Suppose 235924 = 3*m + u, -5*m + 193*u = 191*u - 393225. Is m composite?
False
Let p(r) = -5279*r - 12776. Is p(-75) prime?
False
Let a(q) = -q - 1. Let m be (-11 + 10)/(1 - 3 - -3). Let v(d) = d**2 - 2*d - 214. Let l(s) = m*v(s) + 3*a(s). Is l(0) a prime number?
True
Let j be 2 - 4/60*5*12. Is ((-6)/j - 7) + 10911 composite?
True
Suppose 115*m = 4574227 - 1321682. Is m prime?
True
Let p be (1 - -1 - 1) + 156. Suppose 0 = -3*v - r + 2, 4 = -23*v + 21*v + 2*r. Suppose v = -4*y + 199 + p. Is y a prime number?
True
Let t(l) = 1990*l**2 - 78*l + 733. Is t(8) a composite number?
True
Let z = 320 + -309. Let w(c) = 164*c + 39. Is w(z) a composite number?
True
Let m = 117501 - -261785. Is m a composite number?
True
Let d(j) = -216*j - 92. Let b be d(14). Let q = 5449 + b. Is q a prime number?
True
Suppose -8*h + 28 = -4. Suppose 5*u - 4722 = -t + 6654, u = -h*t + 45409. Is t a prime number?
True
Let l(g) = -g**3 - 24*g**2 - 11*g + 19. Let h be l(-18). Let b = h + 4306. Is b a composite number?
False
Suppose -137367 + 466958 = g. Suppose -g - 770017 = -24*m. Is m composite?
False
Is 6/(-16) - 92193000/(-960) composite?
True
Suppose 3*z - 2424 = -3*h + 6*z, z = 3*h - 2432. Suppose -5*o - 206 = 3*d - 811, -4*d = 4*o - h. Is d composite?
True
Let b be 4/6*-3*6738/(-12). Let v = b - 114. Is v a composite number?
False
Let o(n) be the second derivative of n**5/20 - 3*n**4/2 