3*o - 4288 = o, a + 3*o + 1082 = l. Let w = 674 - a. Is w a prime number?
True
Suppose -7*p + 21987 - 5754 = 0. Suppose q - 580 = p. Is q prime?
False
Let q = -223877 + 351660. Is q a prime number?
False
Let k be 1 + -1 - (38371/(-1) + 8). Suppose -37*v - 4*h - 38395 = -40*v, -3*v - 4*h = -k. Is v a prime number?
False
Let p = -33299 - -68788. Is p a prime number?
False
Let g(m) = -5*m**3 - 30*m**2 + 63*m + 43. Let k be g(-25). Suppose -14464 = -n - 3*j, k = 4*n + 9*j - 10*j. Is n a prime number?
True
Let n be (-17)/(85/(-40)) + 138193. Suppose -10*c = 11*c - n. Is c a prime number?
True
Is (-115129 + (13 - 1))*(-3 - -2) composite?
False
Let u(s) = 16*s**2 - 7*s**3 - s**2 + 6*s**3 - 15 + 23*s. Is u(14) composite?
False
Let m = 40 - 41. Let j(i) = -1431*i + 6. Is j(m) composite?
True
Suppose 0 = 3*i + 12, 50 = -2*a - 12*i + 7*i. Is 188433/105 + (-3)/(a/2) a prime number?
False
Let u(m) = -m**3 - 2*m**2 - m + 309. Let r be u(0). Let j = r + -132. Is j a composite number?
True
Let a(h) be the first derivative of 31*h - h**2 + 1/3*h**3 + 1/4*h**4 + 19. Is a(0) a composite number?
False
Suppose -r + 13 - 9 = 0. Suppose c = -r*o + 617, 348 = 3*c + o - 1547. Is c prime?
False
Let j(b) = 3*b**3 - b**2. Let q be j(1). Suppose -2 = q*u, y - 3*u = -u + 3125. Suppose -y = -9*k + 3942. Is k a composite number?
True
Suppose -3*b + 134663 = n, -10*n + 9*n - b = -134647. Is n a composite number?
False
Let o(v) = -v**3 + 9*v**2 + 8*v + 14. Let y be o(10). Let a(t) be the second derivative of -t**4/12 - 5*t**3/3 - 10*t**2 - t - 12. Is a(y) a composite number?
True
Suppose -4*j = 4*b - 3*j - 63, 0 = -3*b - 4*j + 57. Let a(d) = -29*d + 58*d + 28*d + 31*d - b. Is a(11) a prime number?
True
Let p(j) = j**3 - 6*j**2 + 8*j + 3. Let m(n) = -3*n - 14. Let s be m(-6). Let f be p(s). Suppose -f*t + 5*h - 2217 = -8168, -h = -2. Is t a composite number?
False
Let s(r) = 1705*r**3 - 2*r**2 - 6*r + 14. Let g be s(2). Let w = g - 5937. Is w prime?
False
Suppose -9*n = 130 - 4. Is (-1294)/5*35/n composite?
False
Let s(v) = 10158*v - 1397. Is s(21) a composite number?
True
Let w = 347 - 354. Let r(x) = -6*x**3 + x**2 - 33*x - 11. Is r(w) composite?
True
Suppose -2*k + 7 = -z - 0, -z = 2*k - 5. Let p be 274/3*(2 + z/2). Suppose -p = -l - 31. Is l a prime number?
False
Suppose -4*c - 937257 = -11*a, -2*a + 116962 + 53467 = 3*c. Is a prime?
False
Suppose 9 = -12*b - 279. Let i(l) = -41*l - 70. Is i(b) a composite number?
True
Suppose 313*a = 343*a - 221310. Is a a composite number?
True
Let g be (-152076)/20 + (-14)/70. Is (92/(-184))/(2/g) composite?
False
Let i = 4652 - 2294. Is i - (5 + 30/(-5)) composite?
True
Suppose 8*q - 2429904 = 4*y, 0 = 2*q + 26*y - 22*y - 607466. Is q composite?
True
Let x(m) = 13233*m**2 + 17*m + 11. Is x(-7) a composite number?
True
Let x = -142 - -147. Suppose -4*m - 2692 - 701 = -x*o, 2*m = -4. Is o composite?
False
Suppose -2*d + 4*d + a = -9, 2*d + 3*a = 1. Let h(x) = -26*x - 21. Is h(d) prime?
False
Suppose -3*c + 472943 = 5*k, 2*k + c - 239435 + 50257 = 0. Is k a composite number?
True
Let i = -65 + 65. Let k(b) = 2*b**2 - 2*b - 1995. Let y(f) = -f**2 + f + 997. Let o(l) = 4*k(l) + 9*y(l). Is o(i) composite?
True
Let z = 10 - 9. Suppose -13 = -3*k - z. Suppose 6*y - k*y = 1634. Is y a composite number?
True
Let p(t) = -t**3 - 5*t**2 - 10*t - 33. Let g be p(-5). Let c(u) = 3*u**2 - 7*u - 47. Is c(g) a prime number?
True
Suppose -3*n + 149881 = -5*a, -6*a + 149861 = 3*n - a. Is n composite?
False
Let v(o) = 9086*o**2 + 146*o + 599. Is v(-4) a composite number?
False
Is 3/((-19 + 22)/(0 + 1473512 + -3)) composite?
True
Let v = 2010 - -12163. Is v composite?
False
Let t be ((-12)/10)/(-3) + 132/(-30). Let f be (-408 - -4)*11/t. Suppose 4476 = 4*j + 4*g, j + 2*g - 3*g = f. Is j composite?
True
Suppose -487 = 3*c - 3172. Let a = 1622 + c. Is a a composite number?
True
Let i = 45154 + -26952. Let f = i - 9879. Suppose r = -6*r + f. Is r a composite number?
True
Let s be 5955 + 2 + 1 - 3. Let l = s + -2857. Is l a composite number?
True
Let b(k) = 99*k**3 - 5*k**2 + 6*k + 1. Let o(l) = l**2 + l - 53. Let z be o(7). Is b(z) prime?
True
Let q(f) = 23 - 14 - 5*f - 16. Let d be q(7). Is 35274/14 - (-24)/d prime?
False
Let s(w) = -22*w**3 + 11*w**2 - w + 16. Let r be s(-7). Let m = r + -4843. Is m prime?
False
Suppose 10*s - 41 = -11. Suppose -7 = -4*u + 3*c, u - s*c + 0 = -5. Suppose 0*v = 3*v - u*p - 3359, -5*p = -v + 1127. Is v composite?
False
Let h(p) = -2*p**2 - 10*p - 8. Let y be h(-4). Suppose 2*d - 13*m + 16*m = 3852, y = -4*d + 5*m + 7726. Is d a composite number?
True
Suppose -19*b + 3*b - 11606621 = -29*b. Is b prime?
True
Is ((104 + -51)/(-212))/(2/(-7164424)) prime?
True
Let f(u) = -u**3 + 20*u**2 - 9*u - 16. Let a be f(11). Suppose 6*m + a = 8*m. Is m composite?
False
Suppose -31 = -11*c - 9. Suppose 3*m - 7323 = -4*u, -7*m + c*m = u - 12188. Is m composite?
False
Let g(p) = 9*p**3 - 3*p**2 + 2*p - 13. Let k be g(8). Let x = 4874 + k. Is x prime?
True
Suppose 4*g + 9 = 3*m, 0*g - 4*m - 7 = g. Let l(x) = -50*x. Let p(k) = -100*k - 1. Let b(n) = g*p(n) + 5*l(n). Is b(2) a composite number?
False
Suppose -2*i = -k - 124531, -311359 = -5*i - k - k. Is i composite?
True
Suppose -145*y - 6144 = -144*y. Let s = y + 11273. Is s a composite number?
True
Let m = -7 - -13. Let s(v) be the third derivative of v**6/120 - v**5/20 + v**4/6 - v**3/6 - 13*v**2. Is s(m) a prime number?
True
Suppose -83*i - 168*i + 129367157 = 0. Is i a composite number?
True
Let t be (14/(-3))/(14/(-63)). Suppose -6*m + 489 - t = 0. Suppose 2*p = -5*o + 161, m = -o + 4*o - 5*p. Is o prime?
True
Let p(b) = b**3 - 42*b**2 - 81*b + 913. Is p(49) prime?
True
Is (3/4)/(-14 + (435476930/(-4443640))/(-7)) prime?
True
Suppose 0 = m + 5*q - q + 15, 2*m - 3*q - 3 = 0. Let o be -10*4/(32/(-12)) + m. Suppose o*h - 4370 = 2*h. Is h a prime number?
False
Let a = 1838 - 1135. Is a a composite number?
True
Let h(w) = 24812*w - 215. Is h(11) a composite number?
False
Let k(u) = -27255*u + 269. Is k(-2) a prime number?
True
Suppose 5*s - 2*s = 1830. Let f = -191 + s. Is f composite?
False
Let c be (-458)/3*(6 + -3). Let p = c - -1895. Let m = -1018 + p. Is m a prime number?
True
Suppose -4*j + 2*c = 15110, -3770 = 8*j - 7*j - 3*c. Let k = -2208 - j. Is k prime?
True
Let g(j) = -105*j**3 - 20*j**2 - 619*j + 19. Is g(-21) prime?
False
Suppose -140 = -5*j - 4*w, -4*w + 38 = 2*j - 6. Let m = j + -29. Suppose 14658 = 3*v + m*v. Is v a prime number?
False
Suppose 26213 = 44*f - 17039. Is f a prime number?
True
Let n = -2918 - -8760. Suppose 5*j + n = 2*i, 0 = i + j - 5*j - 2921. Is i a composite number?
True
Let y be (-5)/4*(-13)/((-13)/(-356)). Suppose -5*o + y + 40 = 0. Suppose 0 = -2*m + o + 349. Is m composite?
False
Let m = -17889 + -10238. Let n = m - -47658. Is n composite?
False
Let c(p) = 11*p + 12 - 11*p - p**2 + p**3 + 9*p. Let x be c(9). Suppose -2*h - h + 449 = -2*u, -5*h - 4*u + x = 0. Is h composite?
False
Let k(c) = 81*c**2 - 11487 + 2*c**3 + 32*c + 11501 - 8*c. Is k(-39) a prime number?
False
Let i(u) = 1. Let z(x) = 132*x - 16. Let v(n) = 3*i(n) - z(n). Is v(-11) prime?
True
Suppose 2*s + 9*r + 240130 - 2111856 = 0, 2807657 = 3*s + 5*r. Is s a composite number?
False
Suppose 36*u = 1136 - 20. Suppose -u*f = -26*f - 5755. Is f composite?
False
Let z = 102124 + -55347. Is z a composite number?
True
Suppose 333*z = 332*z. Is 1055*1*(z + (-6)/(-10)) a prime number?
False
Let j(r) = -3*r + 17. Let u be j(11). Let n(i) = -i**3 - 16*i**2 - i - 14. Let m be n(u). Is m/(-5) - (16551/(-5))/3 a composite number?
False
Suppose 88 = 3*k + 16. Let s be k/3 + 6*5/(-10). Suppose -s*f = -0*f - 8215. Is f a prime number?
False
Suppose -6*k + 69 = -57. Suppose 152430 = k*f - 11*f. Is f a prime number?
False
Let g = -74920 + 238607. Is g a prime number?
False
Suppose -5*p = -2*o - 2396, 46*p - 51*p = -o - 2398. Suppose -q + i + 856 = 0, 3*i + 3418 = 4*q + 2*i. Suppose p + q = 2*w. Is w prime?
False
Suppose -h = 5*r - 74882, 581*h = -4*r + 586*h + 59923. Is r a prime number?
False
Is ((6392/(-102))/(-47))/((-8)/1647738*-3) a composite number?
False
Let n be (-286)/78 + (-1)/3 + -1000. Is n/(-6)*(7 - 20/8) a composite number?
True
Let s(q) = q**3 - 40*q**2 + 99*q - 227. Is s(41) composite?
True
Let d