s. Is s composite?
True
Suppose -13*x = 6*x - 38. Let d = -4 - -7. Suppose 0 = -2*g - 4*t + 598, x*t - 901 = -3*g - d*t. Is g composite?
False
Let x(c) be the second derivative of c**3/3 - 5*c**2/2 + 8*c. Let g be x(5). Suppose t - 119 = -2*t - g*n, n = -3*t + 103. Is t a prime number?
False
Suppose -120985 = -38*i + 33*i. Is i prime?
True
Let x(z) = -4*z**3 - 2*z**2 - 2*z - 1. Suppose 0 = -u - 0 - 1. Let r be x(u). Is 191*1 - (r + -3) a composite number?
False
Let l be (-2 + 1)*(-16799 + -1 + 5). Suppose 2*u + 13436 = 4*x + 4*u, 4*u = 5*x - l. Is x a composite number?
False
Let h(q) be the third derivative of 65*q**4/24 - 3*q**3/2 - 3*q**2. Is h(2) prime?
False
Suppose 27*m + 48988 = 31*m. Is m a prime number?
False
Let g(x) = -x**2 + 5*x - 1. Let l be g(4). Let t(m) = 32*m**2 + 4*m - 7. Is t(l) prime?
True
Let g = -19 - -17. Let q be 14/6 + g/6. Is (-93)/(2 - 3) - q prime?
False
Suppose 0 = -2*u + 4, 9*a + u - 16901 = 6*a. Is a prime?
False
Suppose -2*p - 15 = o, -4*o + 18 = -4*p + 6. Let j(t) = 9*t**2 - 10*t - 11. Is j(p) a composite number?
False
Is 1324 - 6/(-4 + 0 + 2) composite?
False
Let x be 12/(-30) + 6/(-10). Is 62/2 + 3 + x composite?
True
Suppose -79*t + 58*t = -509019. Is t composite?
False
Let d = -42 + -37. Suppose 4*l + 82 = -974. Let y = d - l. Is y a composite number?
True
Suppose z + 3*z = 2*m - 224, -3*z + 3*m - 162 = 0. Let t = z + 36. Let a = t + 73. Is a a prime number?
False
Let u = -8991 + 13822. Is u prime?
True
Let i be (-1 - 23)*((-45)/2)/(-1). Is (2 + i/1)/((-6)/33) composite?
True
Let g = -35 - -35. Suppose g = 2*p - 4*r - 68, -6*p + 136 = -2*p - 2*r. Is p composite?
True
Let n be (-40)/(-16) - 1/2. Suppose -4*m + n*o + 1190 = 0, 292 = m - 0*m + 5*o. Let g = -184 + m. Is g composite?
False
Let x(m) = -m**3 - 4*m**2 + 10*m + 8. Is x(-13) a prime number?
True
Suppose 32539 = 2*a - 3*v, 3*a - 42003 - 6815 = -5*v. Is a a composite number?
True
Let z = 526 + 155. Suppose 0 = 3*y - 3*m - 411, -3*m - m - z = -5*y. Is y a composite number?
True
Let d(w) = -w**3 - 2*w**2 - w + 1961. Is d(0) composite?
True
Let d be (-8 - -4) + 3 - -3. Suppose 4*r - 858 = -d*r. Is r a prime number?
False
Suppose -2*q = -6*q - 2408. Let x = q + 889. Is x a composite number?
True
Suppose 0 = 6*f - 3*f - 588. Suppose -k = 3*q - f, -q = 4*k - 4*q - 859. Is k prime?
True
Suppose 2670 = -11*l + 21*l. Is l composite?
True
Suppose -249*q + 138845 = -242*q. Is q a prime number?
False
Let u be (-908136)/(-60) + (-4)/(-10). Suppose -u = -3*x - 2*l, 6*x - 20173 = 2*x - l. Suppose -2*j - 6299 = -5*b, 2*b - 3*j = -2*b + x. Is b composite?
False
Let w = 4017 - 1660. Is w prime?
True
Let k = -970 - -1643. Is k a prime number?
True
Let r = -104 + 493. Is r prime?
True
Suppose 0 = 3*m - 8 - 16. Suppose m*n - 18 = 2*n. Is n/(-2) - 137/(-2) composite?
False
Suppose t - 3 = 4*s - 13, 5*t - 4*s = 14. Suppose -k + 92 = t. Is k a composite number?
True
Suppose 63*u - 68*u + 134515 = -w, -4*w - 107612 = -4*u. Is u prime?
True
Suppose -17*j + 15*j = -8. Suppose 2*u - 10 - 52 = j*g, -3*u + 3*g = -96. Is u prime?
False
Let b(g) = 2253*g + 529. Is b(6) a prime number?
False
Suppose -2*d + 14 = 3*l, -l + d + 2 = -d. Suppose -x = -l*x - 24. Let k(m) = -m**3 - 8*m**2 - 11*m + 6. Is k(x) a prime number?
False
Let b be ((-43)/(-2))/((-1)/(-12)). Let t(l) = l**3 - 10*l**2 - 8*l + 64. Let j be t(7). Let o = b + j. Is o a prime number?
False
Let a be 1 + 87*(-30 - 1). Let m = 4335 + a. Is m prime?
False
Let x(f) = 121*f**2 + 3*f - 2. Let c be x(5). Let b = c - 1657. Is b prime?
True
Suppose -4*r + 0*r = -820. Let s = 552 - r. Is s a prime number?
True
Let o = -72 + 73. Is (o + -2)*(-1422)/6 composite?
True
Suppose -3*t + 605 = 170. Let x(f) = -t*f + 2 + 2 - 4. Is x(-1) composite?
True
Let x(z) = -77*z**3 - 3*z - 3. Let j(t) = t + 1. Let h(r) = 2*j(r) + x(r). Let g be 4/(-10) + 3/(-5). Is h(g) a prime number?
False
Let b(j) = -5*j**3 - 4*j**2 + 10*j + 9. Let s be b(-9). Let l be (12/(-10))/((-16)/s). Suppose 4*z - l + 91 = 0. Is z a prime number?
False
Let n(q) = -q**3 - 9*q**2 - 9*q - 4. Let j be n(-8). Suppose 2*u - j = 4. Is (-7414)/(-30) + u/(-30) a prime number?
False
Let q(b) = 133*b - 1. Let z be q(1). Suppose z = -4*x + 516. Let k = 163 - x. Is k prime?
True
Let o(h) = -h**3 + h**2 + 94. Suppose 4*n + 7*a - 36 = 2*a, 12 = n + 2*a. Suppose -n*p = -8*p. Is o(p) composite?
True
Suppose -85300 = -5*a - 5*c, 0 = 5*a - 9*c + 12*c - 85310. Is a prime?
False
Let j = 302 - -182. Let f = -71 + j. Is f a prime number?
False
Suppose 3*b + 14 = 2*x + b, 39 = 5*x - 3*b. Let h(v) = x*v + 6 + 81*v - 1. Is h(7) a prime number?
False
Let b(w) be the second derivative of 0 + 1/2*w**2 - 1/6*w**3 + 103/12*w**4 - 6*w. Is b(1) prime?
True
Suppose -24095 + 1107 = -4*z. Is z a composite number?
True
Let v(m) = m. Let n be v(2). Let u be 3*(-4)/(-42) + (-68159)/(-343). Suppose -n*b + b = -u. Is b a composite number?
False
Let k = -13 - -13. Suppose 0*o - o + 5 = k, 5*u - 4*o - 1435 = 0. Is u a prime number?
False
Let z = -2 + 6. Suppose -z*b - 3 + 11 = 0. Suppose 0*i = -b*i + 1942. Is i a prime number?
True
Suppose 0 = -4*d + 5*u + 50847, d + 3*u = 4*u + 12712. Is d prime?
True
Let u(x) = 60*x**2 - 71*x - 27. Is u(-30) a composite number?
True
Suppose -3*w = -5*d + 155885, -w = -4*d - 2*w + 124708. Is d a composite number?
False
Suppose -2*w - 33000 = -2*c, 11*w - 32980 = -2*c + 9*w. Is c a prime number?
False
Let p = 9 + -11. Let c be (-1)/(1/(-14)) - p. Suppose n - c = 5*z - 4, -2*n = -z - 69. Is n prime?
True
Suppose -28 = -2*g - 24. Is ((-2)/4)/((-11)/9262) - g a composite number?
False
Suppose -3*y = -3*y + 4*y. Is ((-6)/(-5) + y)*2995 - 1 prime?
True
Let y be 914/10 - (-6)/(-15). Suppose -2*r = 2*f - 18, 0 = r + 2*r - 4*f + 8. Suppose -y - 577 = -r*w. Is w prime?
True
Let k(f) = 5*f**2 + 10. Let x be k(7). Suppose 781 + 475 = 5*j - q, j - 4*q = x. Is j composite?
False
Let o(c) = -c**3 - 6*c**2 - 9*c - 9. Let s be o(-5). Suppose -13*a + 4 = -s*a. Suppose -1421 = -a*m - 403. Is m a composite number?
False
Suppose -u - 144 = -5*u. Suppose 4 = 2*z + u. Is ((-163)/(-4))/(z/(-64)) a prime number?
True
Let m(b) = 2*b**2 + 25*b - 1. Is m(6) a composite number?
True
Suppose -4*i + p = -16, 2*i + 5*p - 3 = 5. Suppose 0 = i*v - 16, -3*b + 1348 = -3*v + 187. Is b a prime number?
False
Suppose 3*u = -0*u. Suppose -5*k + 1770 = -2*g, 2*k - k + 2*g - 366 = u. Suppose 3*t - 6*t + 3*v = -267, -4*t - 5*v + k = 0. Is t prime?
True
Suppose 3*y + 15279 = 3*x, 5*y + 20370 = 4*x - 0*y. Is x a prime number?
False
Let x = 56482 - 32753. Is x a composite number?
True
Let j = -83 - -274. Is j prime?
True
Suppose 7*c - 75 = 2*c - 5*n, 2*c - 25 = -n. Let t(b) = b**3 + 3*b**2 - 13*b + 25. Is t(c) a composite number?
True
Let d be 1/(2248/748 + -3). Is 239899/d + 4/34 prime?
True
Let q = 64 + -67. Let u(f) = -66*f - 11. Is u(q) prime?
False
Suppose -r = -2*o - 975, -2680 = -3*r + o + 225. Is r composite?
False
Suppose 2*u - 3*t - 2812 = 0, -u = -4*t - 381 - 1020. Is u composite?
False
Suppose -3*b + 30 = 2*b + 5*f, -3*b - 2*f + 19 = 0. Suppose 0 = -b*h + 4*h - 2151. Is -2 + (-4)/(-1) - h a composite number?
False
Let f = 13 + -25. Let b = f + 10. Is (-58)/(0 + -3 - b) a prime number?
False
Let t = 4011 - -536. Is t a composite number?
False
Let s(t) = 16*t**2 + 8*t - 1. Let d = -23 + 29. Is s(d) a composite number?
True
Suppose 5*c - 17 = 2*o, 3*o - c - 2*c = -3. Let v be 378/o + (-5)/(-10). Let y = 270 + v. Is y a prime number?
False
Let c(g) = -8*g**3 - 6*g**2 + 8*g + 5. Suppose 5*t + 33 = 8. Is c(t) a composite number?
True
Let l be 5*((-8)/20)/(-1). Suppose -6*m = -2*m - 1016. Suppose m = -0*d + l*d. Is d composite?
False
Suppose 101*o - 99*o - 27682 = 0. Is o a prime number?
True
Suppose c - 5*c = 2*s - 10, -2*c = 5*s + 15. Let i be 833*1 - (-8 + c). Suppose 3*z - i = -z. Is z prime?
False
Let j(o) = 6*o**2 - 3*o - 20. Let z = -28 + 32. Let x be ((-28)/(-42))/(z/54). Is j(x) a composite number?
False
Let v = 9 - -2194. Is v composite?
False
Let g(p) = -p + 12. Suppose -5*n - 28 = -7*n. Let t be g(n). Is (t - -1)/((-8)/1016) a composite number?
False
Suppose -q + 1 = 0, 3*q + 54 + 23 = 4*v. Suppose -5*p - 4*z - v = 0, 2*p - 3*z = z + 20. Suppose 7*x - 6*x - 14 = p. Is x a prime number?
False
Let h be 0/(-6) -