) = -5*o(c) + 3*x(c). Is i(-5) prime?
False
Suppose -30*u + 63990 = 4*j - 29*u, 5*j + 5*u - 79995 = 0. Is j a prime number?
False
Suppose 2*l - o - 2231 = l, 2*l + 5*o = 4497. Suppose -2*s = 6, -3*j + 2*j - 5*s + l = 0. Is j prime?
True
Suppose 11*p + 3330 = 5*p. Let d = 1356 + p. Suppose 0 = -2*w + 3*o - o + 306, 5*w + 4*o = d. Is w a prime number?
True
Let l(q) = 0*q**3 - q**2 - 7 + 16*q**2 + 24*q - q**3. Let b(t) = 3*t**3 - 44*t**2 - 72*t + 21. Let o(u) = 2*b(u) + 7*l(u). Is o(16) composite?
True
Let q = -57066 - -29819. Let y = -9910 - q. Is y composite?
True
Suppose 744*o - 9746 = 742*o. Suppose 3*t = 4*y - o + 49266, -3*y = 3*t - 44421. Is t a composite number?
True
Suppose 255 = 4*o - o. Let a = o - 81. Is 845 - 1 - (1 + (5 - a)) a composite number?
True
Let o be (-6)/3 + (128 - -4 - 5). Suppose o = y - 726. Is y prime?
False
Let t(n) = -66*n - 4. Let f be t(-2). Suppose 0 = -7*a + 30 - f. Is 8/(-6)*1281/a composite?
True
Suppose -i + 4 = -0, -a - 2*i = -4. Is ((-208672)/80)/(a/10) prime?
True
Suppose -5*x = 5*b - 40, -14 = 10*x - 14*x + 2*b. Suppose -x*j = -6640 - 116805. Is j prime?
False
Suppose -f + 3*o = -3, -2*f + 4*o = 2*f + 4. Let g(s) be the second derivative of -89*s**3/3 - 7*s**2/2 + 60*s. Is g(f) a prime number?
False
Let n(u) = 2*u**3 + 3*u**2 - 10*u + 21. Let x be n(-9). Let f = 1583 + x. Is f composite?
False
Suppose -3*v + 2*b - 71507 = -271575, -200023 = -3*v - 7*b. Is v prime?
False
Let i(o) = -944*o + 471. Is i(-20) a composite number?
True
Let y(o) = -630*o - 20. Let p be y(-45). Suppose 10*w - p = -0*w. Is w prime?
True
Suppose 0 = -j - 20*j - j. Suppose -s - 12*s + 84773 = j. Is s a composite number?
False
Is 2/(-10) - ((-686202)/110 - (-5)/(-1)) composite?
True
Let t(w) = 121883*w - 1378. Is t(5) composite?
True
Let k = 258 - 47. Let r = k + 4580. Is r a prime number?
False
Let m be (-2)/(-4)*(6134 - 0). Suppose f + 3*o = 13, -f + 6*f = -4*o + 43. Suppose 6*t + m = f*t. Is t prime?
True
Suppose 9*o = 6*o - 21. Let d(j) = -53*j + 62. Let z(k) = 35*k - 41. Let x(p) = o*z(p) - 5*d(p). Is x(6) composite?
False
Suppose -33509 - 262711 = -6*n. Suppose 7*c + 3*c = n. Is c a composite number?
False
Let g(p) = -19*p - 7*p - 392 + 24*p - 53*p. Is g(-37) prime?
False
Let f = 3602 - 3263. Is f prime?
False
Let o be 45/105 + (-634638)/(-7). Suppose -2*k = k + 3*a - o, a + 30225 = k. Is k composite?
False
Suppose -52*i + 51*i = -t + 338635, 2*i + 4 = 0. Is t composite?
True
Let g = -114994 + 177437. Is g prime?
False
Let a(s) = 8940*s**2 + 36*s + 35. Suppose 5*i = 5*o - 20, 0 = 5*o - 3*i + 10 - 20. Is a(o) a prime number?
False
Let v = 4765 - -81976. Is v composite?
True
Suppose 0 = -4*f - 857 + 205. Suppose 4*v = q + 161 - 455, -q = 2*v - 306. Let c = q + f. Is c prime?
True
Let n(a) = a. Let r be n(0). Suppose 0 = -24456*x + 24439*x + 256071. Suppose 5*b = -4*t + x, 3*t = -r*b - 3*b + 9039. Is b a prime number?
True
Suppose -585*a + 543*a + 47082 = 0. Is a prime?
False
Suppose -10*o + 5721227 = 13*o. Is o a composite number?
False
Is 28095792/80*(-50)/(-30) a prime number?
False
Let x(z) = -2*z**2 + 13*z - 4. Let u be x(6). Suppose 0 = -0*d + u*d + 3*j - 4456, -4*j = -3*d + 6701. Is d composite?
True
Let c(q) be the second derivative of 22*q - 7/2*q**2 + q**4 + 1/6*q**3 + 0. Is c(8) prime?
True
Let s be 2 + (-55)/25 - 11/(-5). Let v(q) = s*q**2 + 372*q**3 + 378*q**3 - 5 + 3 + 347*q**3. Is v(1) a composite number?
False
Let t(s) = 62436*s - 415. Is t(1) composite?
True
Let w be -1 + 0 - 1*20. Let g(y) = 28*y + 343. Let h be g(-11). Is w/h - 4476/(-10) prime?
False
Let c(r) = 10 - 58 - 5*r**2 + 3*r**2 - 27*r + r**2. Let t be c(-25). Suppose -t = -l, 0*l + 1006 = 4*z + l. Is z composite?
False
Let a(w) be the second derivative of 59*w**5/60 - w**4/8 - w**3/6 - w**2 + 15*w. Let m(n) be the first derivative of a(n). Is m(6) prime?
False
Suppose -716 = -2*l - 5*y, 5*y + 1099 = 2*l + l. Let w = l + -186. Suppose 4*b = 2627 + w. Is b prime?
True
Suppose 6*z - 2320 = 16016. Let q = z + -159. Is q composite?
False
Suppose -5 + 25 = 5*x. Suppose -8 = x*f + 36. Is ((-478)/8)/(f/308) composite?
True
Let q(h) = -2*h + 35. Let y be q(22). Let d(k) = -185*k + 25. Let m be d(y). Let r = m + -983. Is r a composite number?
True
Let m = 2355 + -325. Suppose 33*t - 48197 = -m. Is t a prime number?
True
Let n(k) = -1064*k + 5. Let w(i) = -19*i + 89. Let j be w(5). Is n(j) composite?
False
Let x = 178 + -95. Suppose 5*p - 32 = x. Let v(t) = -t**3 + 22*t**2 + 25*t + 3. Is v(p) a prime number?
False
Let m = -4 + 8. Suppose 0 = -y + m, 5*i + 4*y + y = 70. Is (-1114)/(-8)*(-5)/(i/(-8)) a prime number?
True
Let s be 19/(1 + -3 - -1). Is (s - -17)*(1 - (-19555)/(-2)) a prime number?
True
Let i(f) = -555*f + 1358. Is i(-57) a composite number?
False
Let f(h) = 2200*h - 1 - 249*h - 14. Let s be f(4). Suppose 0*m = m + c - s, 0 = -4*m + 4*c + 31156. Is m a prime number?
True
Suppose 4*c + 57 = 5*j, -7 = 3*c + 2. Suppose 4*g + 2*t - 41948 = 0, j*t + 52435 = 5*g + 5*t. Is g prime?
True
Let r(w) = w**3 + 5*w**2 - 9*w - 13. Let y be r(-6). Let b(i) = i**3 - 12 - 10*i**2 - 13 - 2*i - y*i**2. Is b(17) composite?
True
Suppose -4*q - 110989 = -f, 4*q - q - 110989 = -f. Is f a prime number?
True
Let w(m) = -m**2 + 12*m - 10. Let c be w(11). Suppose -r + c = 4*a, 0 = 2*a - 6*r + 5*r + 1. Let j(y) = y**3 + 185. Is j(a) a prime number?
False
Let m(h) = -h**3 - 3*h**2 - 10*h - 28. Let o be m(-3). Suppose -o*p = -8, 5*n = -2*p + 2709 + 37784. Is n composite?
True
Is -182 + 4733 - 2*5 prime?
False
Suppose -5*y + 468938 = -2*y + 5*c, -5*c = -5. Is y prime?
False
Let p = 98495 - 48388. Is p a composite number?
True
Suppose 3*g - 230792 - 162649 = 0. Is g prime?
False
Let s be (-5)/(-1) - (-42)/(-14). Suppose 0*m = s*m. Suppose t = -a - m*t + 743, -a - 3*t = -743. Is a prime?
True
Suppose 15006581 = 66*r + 3054971. Is r composite?
True
Suppose -3*r + 2*y = 2, 31*y - 10 = -r + 29*y. Suppose 0 = -h + 2*f + 5251, 0 = -r*h - 9*f + 6*f + 10481. Is h composite?
True
Suppose 0 = -2*o + o - 2*z + 4, -z = -o + 13. Suppose o*j - 4475 = 5*j. Is j composite?
True
Let d = -323 - -333. Let p(x) = 123*x + 29. Is p(d) a composite number?
False
Let j be ((-3543)/2 - (-27)/(-36))*8. Is j/(-4) - ((-76)/8 - -9) a composite number?
True
Let c = -261 + 465. Let v = -210 - c. Let y = -115 - v. Is y a prime number?
False
Let k(q) = 4015*q**3 + 8*q**2 - 13*q + 1. Let x = -418 + 420. Is k(x) composite?
True
Suppose 4*s - 67 = o, -3*s + 44 = -o - 7. Is 3250 + ((-2)/8 - (-20)/s) prime?
True
Suppose c - 18 = -15. Let n(k) = -k**2 + 4. Let s be n(c). Let j(p) = -3*p**3 - 3*p**2 - 9*p - 16. Is j(s) composite?
True
Let y(u) = 232350*u + 41. Is y(2) composite?
False
Let z(h) = 64*h**3 + 7*h**2 - 31*h - 149. Is z(11) composite?
True
Let t(f) = -2*f**3 + 5*f**2 - 16*f - 8. Let x be t(-12). Suppose k + 870 = q, 9*k = 4*k - 5*q - x. Let h = k - -1712. Is h a composite number?
True
Let n(x) = -42*x**3 - 4*x**2 - 2*x - 1. Let k be (-28)/(-35)*(-2 + 58/4). Suppose 18 = -k*d - 2. Is n(d) a prime number?
False
Let s = -549 + 549. Is 1 - (6 - (s - -264)) a composite number?
True
Suppose -207 = -4*z - 187. Suppose z*s + 28 = -77. Is 7/s - (-11956)/3 prime?
False
Is -879*((4 - 90/23) + (-67431)/207) prime?
False
Let v(l) = 70*l**2 - 14*l + 97. Let w be v(-15). Let p = w - 11154. Is p prime?
True
Let m = 147333 + -103040. Is m a composite number?
False
Suppose 0 = -3*l + 4038 - 228. Let d = -43 + l. Is d a prime number?
False
Let n = 45 + -40. Suppose -3*i + 4*m = 4, 3*i - n*i - m = -12. Suppose -5*v + 56 = t, 2*t - 42 = -i*v + 4. Is v composite?
False
Suppose 0 = -2*y - 2*z + 8824, 4*y - 19664 = -2*z - 2018. Is y prime?
False
Suppose -3*y + 50 = -8*y. Let c(g) = g**2 - 7*g + 15. Let f be c(y). Let x = f - -336. Is x a composite number?
False
Let y(f) = -10*f + 2. Let v be y(0). Suppose v*x - 21549 = p + 2008, 0 = 5*x + 3*p - 58876. Is x composite?
False
Suppose 216 + 94 = -10*y. Let a = -24 - y. Suppose a*v - 370 = 5*v. Is v a composite number?
True
Suppose 0 = -5*q + 19 + 6. Let k(l) = 5*l**3 - 2*l**2 - 17*l - 3. Is k(q) a prime number?
True
Let w be (-1204)/(-6) - (-2)/6. Suppose 2*g = -0*g + c - 239, 2*g + 243 = 5*c. Let d = g + w. Is d prime?
False
Suppose 12 = 5*u - 8. Let p be (185/(-110) + u/22)*6. Is 16/(-