omposite?
False
Suppose -6 = -5*x + 9. Suppose -4*d = -4*s - 3 - 5, x*d = -3*s - 18. Is s/6 + 779/3 a composite number?
True
Suppose -3*t - 522 = -18501. Is t prime?
False
Let i be 2*2/(-14) + (-12696)/(-42). Suppose t + 4*z = 281, -5*z - i = -t - 2*z. Is t a composite number?
False
Let s(p) = 72*p**2 + 11*p - 57. Is s(4) composite?
True
Suppose 30 = 3*u - 8*u. Let a be 14/u - (-3)/9. Is 1902/6 - 1*a prime?
False
Let p be (-192)/(6*1/(-68)). Suppose -2*v + p = -882. Is v composite?
True
Let g(m) = -m**3 - 16*m**2 - 4*m + 28. Let c be g(-16). Let t = c + 231. Is t a prime number?
False
Let t = 450 + -212. Suppose 15 = 2*p - m + 131, -57 = p - m. Let n = p + t. Is n a composite number?
False
Suppose 2*r - 3 = 9. Suppose -5*d + r = -9. Is (-17589)/11*(-1)/d prime?
False
Let q be -1 - (2 - 3) - 5. Let z(k) = -9701*k - 218. Let l(s) = 223*s + 5. Let x(f) = q*z(f) - 218*l(f). Is x(-1) a composite number?
False
Let a be (-1)/((-2)/((-16)/4)). Is -982*3/12*a composite?
False
Let l = -5537 + 10951. Is l a composite number?
True
Let z be 2/((3 - 6) + 2). Is (-4)/z*(-6)/(72/(-24630)) a prime number?
False
Let y(t) = -10*t - 28. Let d(i) = -i - 1. Let c(r) = -8*d(r) + y(r). Let w be c(-11). Is (2/4)/(w/356) composite?
False
Suppose 0 = 2*w - 13*w + 287617. Is w composite?
True
Suppose -2*a - 9 = 3*k, 0*a + 2*a = 4*k + 12. Let i(u) = 9*u**3 + 3*u**2 - 3*u + 2. Let f be i(k). Let c = 371 + f. Is c a prime number?
False
Suppose 10*o + 356355 = 15*o + 5*s, -3*o + s = -213797. Is o a composite number?
True
Suppose 0 = 5*v + 4*a - 102225, 3*v + a - 34845 = 26483. Is v a prime number?
True
Let y = -321 + 460. Is y a prime number?
True
Suppose -s + 4 = t, -4*t = -2*s - 0*t + 8. Suppose 5*j = 8 + 12, 3*l - 709 = -s*j. Suppose c = -2*c + l. Is c composite?
True
Let v(d) = d + 10. Let l be v(-4). Is (-1)/(-1)*-446*(-3)/l a prime number?
True
Let k = 510 - 241. Let i = k + -78. Is i composite?
False
Let o be (45/6 - 6) + 7863/2. Suppose 12*r - 2271 = o. Is r prime?
False
Let z(h) = 3*h**3 + 7*h**2 - 7*h + 42. Is z(5) prime?
True
Let t(i) = 25*i + 11. Let c(m) be the first derivative of -m**4/4 + m**3/3 + m**2/2 + 6*m - 1. Let p be c(0). Is t(p) prime?
False
Suppose -28 + 16 = 6*w. Is (-2)/w*(-8040)/(-24) a prime number?
False
Suppose -363250 + 1523610 = 40*f. Is f prime?
True
Let z be (3 - 2)/((-2)/(-6)). Suppose -3*v - 2*t + 2408 = -4*t, 12 = -z*t. Is -1 + 9/(36/v) a composite number?
False
Let f = 553 - -2228. Let n be (-70)/42 - (-1)/(-3). Is (-1 - f/6)*n composite?
False
Let t(d) = -10*d**3 + 11*d + 4. Is t(-5) composite?
True
Let u(y) = -4*y**2 + 6*y + 7. Let f(k) = -4*k**2 + 7*k + 6. Let b(s) = 4*f(s) - 5*u(s). Is b(-13) prime?
True
Suppose 0 = 4*v - 6*v - 3*l + 1790, -5*v = 3*l - 4475. Is v a prime number?
False
Let q(p) = -p**3 + 5*p**2 - 4*p - 1. Let l be q(3). Suppose 3*u - 2*g = -0*g + 289, -u - l*g = -102. Suppose -4*x + 324 = d + 3*d, 5*x = -d + u. Is d composite?
True
Suppose 25591 = 17*y - 164758. Is y a prime number?
True
Suppose 0 = -3*o + 5*s + 56, -4*o - 5*s = -58 - 40. Is (-2723)/(-3) + o/(-33) composite?
False
Suppose -16 = -c - 88. Let k = c - -157. Is k a composite number?
True
Suppose -4*y + 5*o = 834, 2*y + y + 5*o + 643 = 0. Let s = y + 422. Is s a composite number?
False
Suppose 0 = 11*v - 12*v + 3684. Suppose -3*l + 9*l - v = 0. Suppose -2*b + l = -0*b. Is b a prime number?
True
Let n = 3964 - 1653. Suppose -6*w + 6479 + n = 0. Is w a composite number?
True
Is 807*3/36*(68 + 0) prime?
False
Let c(g) be the second derivative of g**5/20 - g**4/3 + 2*g**3 - 13*g**2/2 - 4*g. Is c(10) prime?
False
Let u = 130 - 42. Let l = 1270 - 618. Suppose -4*c + l = -u. Is c a composite number?
True
Let i be 4 + -1*(0 - -13). Let a(b) = -8*b**2 + 12*b + 11. Let u be a(i). Is 3/((-15)/u)*1 a prime number?
True
Suppose 3*y = 4*w - 0*y - 13, y = 3*w - 6. Is (-1)/(-1) + 1091 + (w - 6) a prime number?
True
Suppose -2*a + 98 = -2*n, 22 = -3*a + 7. Let i(h) = -12*h - 7. Let z be i(7). Let o = n - z. Is o composite?
False
Let n(j) = j - 1. Let o be n(4). Let v(z) = 4*z**3 + z + 4. Let m be v(o). Suppose -5*q - m = -1140. Is q a composite number?
True
Suppose 6*d = -20*d + 5486. Is d a prime number?
True
Let h = -453 + -71. Let x = h - -1927. Is x a prime number?
False
Let a(c) = 104*c - 21. Let x be a(-11). Let s = x + 1727. Is s composite?
True
Suppose -7 = 3*a - 13. Suppose 5*x = -5*d + 320, 2*x = -d + a*d - 73. Suppose 2*j = d + 155. Is j prime?
False
Is (-713)/(-5) + 134/335 a prime number?
False
Let d(c) = -c**3 - 3*c**2 + 3*c - 1. Let i be d(-4). Suppose -i*v + 5*j + 2 = 0, 4*j - 11 - 3 = 5*v. Is (2/(-3))/(v/279) composite?
False
Is (5 - (-10889 + -10)) + (-6 - 1) prime?
False
Suppose -4*b - 3007 = -q, -5*b + 11943 = 4*q - 4*b. Is q a composite number?
True
Let k be -87*(-1)/((-15)/(-295)). Suppose s + 462 = -2*c + k, 3*s + 4*c - 3757 = 0. Is s a prime number?
True
Suppose -2*d = -10, 2*c - d - 748 = -c. Is c prime?
True
Suppose 6 = a + 2. Suppose a*m = -g + 12, 5*g = 3*m + 2*g - 24. Is (-1 + m)*(-19)/(-3) a prime number?
True
Suppose 0 = 2*p - 953 - 2321. Is p a composite number?
False
Let n = -45 - -43. Is 759/n*2/(-3) a prime number?
False
Is 778101/9 - 20/30 a prime number?
False
Let s(d) = 7824*d**2 + 43*d + 2. Is s(-3) a composite number?
False
Let k(y) = 146*y**2 + 42*y - 355. Is k(22) a composite number?
False
Is (-36)/288 + 39849/8 a composite number?
True
Let b = 1377 + -16. Is b a composite number?
False
Let t = 1 + 3. Is -14*t/(32/(-188)) a composite number?
True
Suppose -3*c - 2*c - 26 = -j, 2*j - 32 = 5*c. Is 4797/(-36)*(2 - j) composite?
True
Let l(b) be the first derivative of -102*b**2 - 27*b + 13. Is l(-5) composite?
True
Suppose -3*k + 4*k = -3, -p - 4*k + 1038 = 0. Suppose 0 = -5*l + 17 + 8. Suppose l*f + 8*n - 3*n - p = 0, 5*f = 3*n + 1090. Is f composite?
True
Let i(g) = -3*g**3 + 134*g**2 - 41*g + 71. Is i(42) a prime number?
False
Let d be (-6)/2 + 130*1. Let p = d - 49. Suppose 3*b - p = -3*n, -23 - 76 = -4*n - 3*b. Is n composite?
True
Let t = -43 + 14. Let a = t + 131. Let c = a + 25. Is c prime?
True
Let m = 25332 - 15055. Is m composite?
True
Suppose 60813 = 2*k - j, 3*k - 91223 = -j - j. Is k prime?
False
Let i = -36990 - -83713. Is i composite?
False
Let i = -2083 + 3928. Suppose 5*n - t - i = 3*t, -2*n + 3*t = -731. Is n a composite number?
False
Let w(v) = 8*v**3 - 6*v**2 + 12*v - 3. Suppose f - 1 - 7 = 0. Let c be w(f). Suppose -6*s + c = -s. Is s prime?
True
Suppose 1 = -6*v - 5. Let y(j) = 659*j**2 - 5*j - 5. Let l(n) = n**2 - n - 1. Let x(s) = -6*l(s) + y(s). Is x(v) a prime number?
True
Let n = -10354 - -19529. Suppose n = 2*g + 3*g. Is g composite?
True
Suppose -2*h + 0*h + 3626 = 5*c, 0 = -h - 4*c + 1807. Is h a prime number?
True
Suppose -632 = -2*l + 56. Suppose -6*n + 5*n + l = -b, 0 = -5*n - 3*b + 1680. Is n a prime number?
False
Is 17 + -28 + 30048/2 a prime number?
True
Suppose j - 48 - 504 = 0. Let m(u) = 39*u - 25. Let i be m(-7). Let h = j + i. Is h a composite number?
True
Suppose -4*j + 16 = -p, -2*j + 4 + 6 = 0. Suppose 8*u - 3*u = -4*s + 515, -3*u = -s + 133. Suppose 5*x + v - s = p*x, x = -5*v + 142. Is x a composite number?
False
Suppose -3*x = -2*x + 4*a - 17, 2*a - 6 = 0. Suppose -4*z + x*v + 1214 = 45, -z + 286 = 5*v. Is z a composite number?
True
Let d be ((-2)/6)/((-13)/50973). Suppose 13*i - 3282 = d. Is i a prime number?
True
Suppose 2*a + 4731 = 5*a. Is a prime?
False
Is (1154 - 1) + 4/(1 - 3) a composite number?
False
Suppose 2 = v - 0*v. Suppose -5*n = -v*d + 4, 4*n = -3*d - d + 8. Suppose 3*u - 2*g - 583 = n, -g + 425 = 5*u - 525. Is u a composite number?
False
Is (4 + -2)/2 - -16546 a prime number?
True
Let s(w) = 2*w**3 - w**2 + 5*w + 3643. Is s(0) prime?
True
Suppose 0 = -5*g + 8*n - 10*n + 234037, 4*g + n - 187229 = 0. Is g prime?
True
Let j(r) = r**3 - r**2 - 7*r + 3. Let h be j(4). Suppose 3*x = 2*l + 11507, -5*l - h + 3 = 0. Is x a prime number?
True
Suppose 3*m + 42 = 6*m. Is 56/(-16)*(-824)/m composite?
True
Let v(g) = 88*g + 171. Is v(59) prime?
False
Let o(u) = -1815*u - 28. Let f be o(5). Let r = 15154 + f. Is r prime?
False
Let t(k) = k**3 + 8*k**2 + 2*k + 14. Let n be t(-8). Let r be (2 - n) + (5 - 9). Suppose r = 2*h + 658 - 1728. Is h prime?
False
Let d(z) = -z + 1. Let y b