 z composite?
True
Let s(t) = 3*t**2 - 7*t - 159. Is s(25) a composite number?
True
Suppose -15*o + 42619 = -2936. Is o prime?
True
Suppose 2*q - 3 - 13 = 0. Suppose -1639 = -q*z + 241. Is z a composite number?
True
Let n(z) be the first derivative of -z**5/60 + 3*z**4/8 + z**3/3 + 5. Let m(x) be the third derivative of n(x). Is m(-11) prime?
True
Suppose 5*u - 2*d = 2325 - 526, 0 = -5*u - 2*d + 1791. Let z = 648 - u. Let i = -180 + z. Is i prime?
True
Let x(q) = -19*q**3 - 12*q**2 - 19*q - 13. Is x(-7) prime?
False
Suppose 0 = -4*d - z + 54381, 0 = 5*d - z + 4*z - 67978. Is d prime?
False
Suppose -496 = -3*w + 2*d, -2*w + d + 653 = 2*w. Let j = w - -49. Is j composite?
False
Let h be (-36)/(-4) + -1 + 3. Let o = 1 - h. Is 19*-2*35/o a prime number?
False
Let r be 2 - (-14 + 8/2). Let d be 2/5 - (-2224)/(-10). Is ((-44)/2)/(r/d) a prime number?
False
Suppose 32*g - 1183 = 19*g. Is g composite?
True
Let k be -2 + 2 + -4 + 3 + 3. Suppose -3443 = -3*j + 5*y, -j + 2*y + 1143 = -k*y. Is j composite?
False
Suppose t - 9*l = -4*l + 21071, 0 = 3*t - l - 63185. Suppose 19*b = 57750 - t. Is b a prime number?
True
Is 6*(141138/(-12))/(-3) prime?
False
Suppose 963 = -2*t + n, 3*t - 8*t - 2410 = -3*n. Let a = t - -1706. Is a a prime number?
False
Let k = 52 + -50. Suppose -k*u - u = -1455. Is u a prime number?
False
Let n(j) = 693*j**2 + 5*j - 23. Let x be n(-6). Suppose 7*l - x = -6037. Suppose 3*w + 231 - l = -3*d, d = -5*w + 4105. Is w a prime number?
True
Let z(t) = 649*t - 10. Let g be z(22). Suppose -4*a - 2*j = 2*j - g, 0 = -j - 4. Is a a composite number?
False
Suppose 3*a + 3*r + 1910 = 18701, -5*a = -5*r - 27985. Is a a prime number?
False
Let l = 40 - 38. Suppose -r - 1776 = -4*r - 5*z, 0 = l*r + 2*z - 1180. Is r composite?
False
Let w(y) = -133*y**3 + 2*y**2 + 14*y - 6. Is w(-7) a composite number?
False
Let x = 636 + -925. Let b = -193 - -667. Let f = x + b. Is f prime?
False
Let p(k) = -10317*k + 28. Is p(-1) a composite number?
True
Suppose 5*c + 4*s = 19941, 4*s + 11644 + 327 = 3*c. Is c a prime number?
True
Let s(x) = 17*x**3 - 14*x**2 - 7*x + 6. Is s(7) prime?
False
Let i = -6353 - -55614. Is i composite?
False
Suppose -5*a = -8*a + 5*k + 2382, -5*a = k - 3998. Is a a prime number?
False
Suppose x + 7 = 3*w, 3*x + 7 = 22. Let g be (w/3)/(6/981). Suppose 2*m - g = -5*q, q = -3*m + 2*q + 327. Is m composite?
False
Suppose 0 = -2*c + 8*c + 126. Let n = c + 34. Is 13 - n - (-53)/1 prime?
True
Suppose -35*z = -26*z - 3771. Is z a prime number?
True
Suppose 3*r = 3*l - 25167, 4*r + l + 0*l = -33571. Is (r/(-16))/((-1)/(-2)) prime?
True
Let q(a) = -42*a**3 - 5*a**2 + 3*a - 6. Let g(l) = -41*l**3 - 4*l**2 + 3*l - 5. Let t(o) = -3*g(o) + 2*q(o). Is t(2) prime?
True
Let b(q) = q**3 - q - 1. Let u be b(0). Let y be 1*u - (-4144)/(-4). Is (-1)/(-2) + y/(-2) composite?
True
Suppose -301306 = -56*b - 66386. Is b a composite number?
True
Suppose 0 = -3*b + 5*l + 45782, -l + 67184 = 4*b + 6149. Is b a composite number?
False
Suppose 4*t + 5*h = 41, 25 = -0*h + 5*h. Suppose i - 2 = -2*y, -3*y = 4*i - 22 + t. Let n = 73 - i. Is n a composite number?
False
Suppose 0 = 38*j - 45*j + 144641. Is j a composite number?
False
Let b(n) = 19920*n - 521. Is b(5) prime?
True
Let l = 1835 + -1236. Is l a composite number?
False
Let b(y) = -y**3 - 8*y**2 - 7*y + 2. Let g(h) = h**2 - 7*h - 1. Let f be g(6). Let m be b(f). Suppose -m*v - 94 = -4*v. Is v a prime number?
True
Let f = 4053 - 1454. Is f prime?
False
Let b(k) = -7*k - 8. Let z be b(-2). Suppose -5*m + z*m - 94 = 0. Suppose -4*u + h + 0*h = -313, u - m = -5*h. Is u composite?
False
Let q = -4466 - -7575. Is q a composite number?
False
Is (-2462134)/(-228) - (-1)/6 prime?
True
Let q(f) = -3*f + 33. Let b be q(8). Suppose -b*l + 236 = -1177. Is l a composite number?
False
Let m(w) = -55*w + 103. Is m(-10) composite?
False
Let x(o) = 2*o**3 + 5*o**2 - 5*o - 5. Suppose 5*t + 25 = -0*t. Let l be x(t). Let c = l + 416. Is c composite?
False
Let t(y) = -y**3 - y**2 + y - 1. Let l(h) = 2*h**3 + 2*h**2 - 2*h - 380. Let k(f) = l(f) + 3*t(f). Let u be k(0). Let g = u + 574. Is g a composite number?
False
Let v = -236 - -133. Let l = v + 170. Is l a prime number?
True
Let n be 1/2*(-8 - -6). Let c(h) = h**2 - 1. Let r be c(n). Suppose r = 2*s + 3*s - 195. Is s a composite number?
True
Let j(u) = -4 - u**3 + 14*u + 2*u + 16*u**2 - 19 + 11*u. Is j(16) composite?
False
Is (-1 + -27155)/(-6) + (-12)/(-4) a prime number?
False
Let o = 15 + -12. Suppose 2*d + 35 = -o*d. Let h(v) = -49*v - 14. Is h(d) prime?
False
Suppose -11279 = -3*r + 1609. Is r/14 + (-8)/(-56) a prime number?
True
Let r(d) = 22*d - 44*d + 339*d**2 + 22*d. Is r(1) composite?
True
Suppose 3*j + 2*o = 6*o + 373, 3*o + 378 = 3*j. Let k = -116 + j. Is k prime?
False
Suppose 18 = 3*u + 3. Let v = -1 - u. Let z(j) = 11*j**2 + j + 8. Is z(v) prime?
False
Let n = 23 + -32. Let r(l) = -l**3 - 2*l**2 + 6*l - 2. Is r(n) composite?
True
Suppose r - 21 = -2*r. Let w(s) = 50*s - 16. Is w(r) a prime number?
False
Suppose -6*f + 4266 = -0*f. Suppose f = o + 4*q, o + 2*q - 702 = 7*q. Is o composite?
True
Let f(q) = q - 7. Let c be f(12). Is 2/(12/5970*c) a prime number?
True
Let u be 12*-106*3/(-12). Let w be u/(-8)*(-24)/9. Suppose -4*n = -614 + w. Is n composite?
False
Suppose 3*k - 9 + 27 = 0. Is (-5056)/(-24) - ((-10)/k + -2) a composite number?
False
Suppose y - 7539 = -p + 1693, -2*y + 18449 = 5*p. Is y composite?
True
Let k = 22634 + -10435. Is k prime?
False
Let o = 39938 + -22653. Is o composite?
True
Suppose 18*z = -29*z + 1367935. Is z composite?
True
Suppose -47366 = -4*y + 9606. Is y a prime number?
True
Is 84646*5*(-4)/(-40) composite?
False
Let q be 2 + 1 + 2825 + 1. Let w = q - 2021. Suppose 5*j - 957 - w = 0. Is j a prime number?
True
Let j = 12 - 8. Suppose 7*z - j*z - 555 = 0. Is z a composite number?
True
Let a be 4 + -8 - -1 - -32. Let p = 66 - a. Suppose 3*m = r - 21, 4*m = r + 5*m - p. Is r a composite number?
True
Suppose -2*n - j = -4*n + 158, -4*j = 3*n - 237. Is n prime?
True
Let l(c) = c**2 - 7*c - 3. Suppose -3*v = -9, 0*o - 2*o + 3*v = -7. Let y be l(o). Suppose y*u + 4*z - 72 = 19, -u + 3*z + 22 = 0. Is u a prime number?
True
Is -1 + -9 - (2 - 85051) prime?
False
Let f(p) = 275*p - 8 + 6 + 286*p + 142*p. Is f(1) composite?
False
Let c(v) = -2*v - 8. Let w be c(-4). Let o = w - -3. Suppose 214 = u - o*n - 102, -3*u + 936 = -5*n. Is u a composite number?
False
Let z = 39 + -34. Suppose 3*t + 4*x - 2023 = -0*x, -z*x = 2*t - 1358. Is t composite?
True
Let l = 9 + -4. Suppose 5*a - 215 + 50 = 0. Suppose -152 = -l*q + a. Is q a composite number?
False
Suppose 197*n - 198*n + 3509 = 0. Let p = n - 1564. Is p a prime number?
False
Let b = -1 - -7. Suppose 7*y - 287 = b*y. Let s = y - 96. Is s a composite number?
False
Let l be (-113 + -10)*(-8)/6. Let u = 27 + l. Is u composite?
False
Let y(a) = a**2 + 9*a - 7. Let c be y(-10). Let l(f) = -1 + 4*f**2 - 5*f - 11*f**2 + f - f**c. Is l(-8) a composite number?
True
Let l = -28 - -97. Is l prime?
False
Suppose -f - 5*r = -27791 + 7535, 5*r = -4*f + 81039. Is f prime?
True
Let m = 1581 + -494. Is m a prime number?
True
Let i(c) = c - 666. Let w be i(0). Is w/27*(-6)/4 a prime number?
True
Suppose -1 = -3*u - 1. Let i = 8 - -2. Suppose u*k + i = k. Is k a prime number?
False
Let i = 1294 + 2551. Is i composite?
True
Suppose r - 9 = -2*d, -5*r + 23 = d - 22. Let t = 17 - r. Suppose t*q - 2860 - 1596 = 0. Is q a prime number?
True
Let o(v) = 10*v**3 + 11*v**2 + 3*v - 14. Let g(f) = -3*f**3 - 4*f**2 - f + 5. Let x(a) = -17*g(a) - 6*o(a). Is x(-3) prime?
True
Let h = 74 - 72. Is h/(-5) - 10696/(-40) prime?
False
Let x(q) = 9*q**3 + 4*q**2 - 5*q + 13. Is x(5) a prime number?
True
Let s(k) = -3*k**2 - 9*k - 1. Let p be s(-2). Let b = 694 + -299. Suppose -p*d - b = -10*d. Is d composite?
False
Let a be 10/(-4)*(-20)/25. Suppose a*g - 2215 = 415. Is g a prime number?
False
Let f = -11 + 13. Suppose -705 = -a - f*a. Suppose -2*s - a = -3*s. Is s a composite number?
True
Suppose -8*n + 12*n - 12 = 0. Suppose k + 3675 = 5*g - 6074, n*g + k = 5843. Is g a composite number?
False
Let k(a) = 41*a - 17. Let v be k(-2). Let m = 386 - v. Is m composite?
True
Suppose 5*m = 7*m - 10. Suppose -d - m*c = 3*d - 104, 88 = 4*d +