Is q a composite number?
False
Let z be (-3 + -311)*506/44. Let v be -2*(-2)/(-4) - 1713. Let g = v - z. Is g composite?
True
Let y = 13 + -8. Suppose y*u - 408 = -2*f, -404 = -2*f - 3*u - u. Is f a composite number?
True
Let y be 2 + 3*(-6)/9. Suppose f = -y*f - 2. Is (-8)/(2*f) + 8 a composite number?
True
Suppose -r + 2489 = 5*z - 5440, 2*z = -2. Is r a prime number?
False
Let t(n) = -4*n. Let p(w) = -20*w - 1. Let c(z) = -2*p(z) + 11*t(z). Let i be c(4). Let r(s) = -14*s - 15. Is r(i) prime?
True
Let r(l) = l**2 - l + 27. Let u(f) = -f**2 - 15*f - 5. Let q be u(-13). Is r(q) a prime number?
False
Let c(p) = 39*p**2 - 109*p - 13. Is c(-35) a prime number?
True
Let x = 3464 - 2187. Is x composite?
False
Let t = -440 - -151. Let i = t - -1176. Is i prime?
True
Suppose -3*c + 4*c = -2. Let l be (c - 12/2)*-138. Is l/78 + (-2)/13 a composite number?
True
Let i(m) = 231*m**2 - 10*m + 3. Is i(4) a prime number?
True
Suppose 2*p - 15 = -3*p. Suppose -p*c = -2*j + 14 + 524, -4*c = 3*j + 689. Let b = -97 - c. Is b a prime number?
True
Is 9587 + (11 - 12/(-12)) a prime number?
False
Let s = -57 - -61. Is 4873/55 + s/10 a prime number?
True
Let x be (3/9)/(2/42). Is 2814/(x + -1)*(-1 + 2) a composite number?
True
Let v(g) = 3*g**3 - 4*g**2 - 16*g**3 - 5*g - 3 + 10*g**2. Let j be v(4). Let z = j - -1232. Is z a composite number?
True
Let r be -1 + 4 + -5 + 10. Suppose 2*x + 2 = r, 0 = 2*v + 5*x - 5681. Is v composite?
False
Is -1*(-10 + 16)*(-1574)/4 composite?
True
Let j = 21 - 15. Suppose -2*r + j = r, n + 4*r = 322. Is n prime?
False
Is (-230)/(-1035) - (-1 + 46868/(-18)) a composite number?
True
Let x = 644 + 1051. Let t = 2830 - x. Is t prime?
False
Let o = -1918 - -3377. Is o a composite number?
False
Let n(u) be the first derivative of -243*u**2/2 - 2*u - 7. Is n(-5) prime?
True
Suppose -404 = -2*k + 5234. Is k a composite number?
False
Let d = 23 - 23. Let a be (d*1/(-4))/(-2). Let z(r) = r**3 + 2*r**2 + r + 59. Is z(a) a prime number?
True
Let n = -281 - -399. Suppose -4*y = -12, 78 = g - 5*y - n. Is g composite?
False
Let f(w) be the first derivative of 3 - 3*w + 1/3*w**3 + 5/2*w**2. Is f(-9) composite?
True
Suppose r = 35 - 31, 5*v = -2*r + 4473. Is v prime?
False
Let h = 89 - -1712. Is h composite?
False
Suppose 0 = -4*m + 3*g - 12, 0 = m + g - 0*g - 4. Suppose -2*b - 2*y + 8982 = 0, -b + m*b + y = -4495. Is b composite?
False
Suppose -3*v - v + 252 = 0. Let b = v + -121. Let s = b + 83. Is s a prime number?
False
Suppose 5*i - 5*m - 135 = 0, i - m = 2*i - 25. Suppose -2*l = 5*h - 64, h - 6*l + 2*l - i = 0. Suppose h*r - 17*r = -1371. Is r prime?
True
Let d(u) = 18*u**2 + u - 59. Is d(-12) composite?
False
Let i = 28 - 8. Suppose 2*d - i = -5*t, 16 = -2*d - 3*d + 4*t. Suppose 5*y - 4*y - 39 = d. Is y a composite number?
True
Let u = 36 + -33. Suppose 1968 = 3*s + u. Is s prime?
False
Let s = -847 - -1590. Is s prime?
True
Let g be (-1156)/(-6) + (-1)/(-3). Suppose 2278 - g = 5*d. Let h = d + -268. Is h composite?
False
Let l = 5098 - 2739. Is l composite?
True
Is -2053*((-147)/105 - 2/(-5)) prime?
True
Let k(y) = 2*y**3 - 24*y**2 + 9. Let t be k(12). Let f(x) = 88*x - 21. Is f(t) a prime number?
False
Suppose 6 - 14 = -4*l, -4*d - 5*l + 22 = 0. Suppose -5*t = -4*m - 15106, 3*t = d*m + 5264 + 3799. Is t prime?
False
Suppose 7*b - 657059 + 115756 = 0. Is b prime?
False
Suppose 0*l = -2*l - 3*t + 8, 0 = -4*l + 5*t + 16. Suppose 0 = -l*n + 28 + 4. Let x(w) = w**3 - 3*w**2 + w - 11. Is x(n) prime?
True
Suppose -3*b = -536 - 754. Let i = 541 + b. Is i composite?
False
Let d be 0 + (-15)/(-20) + 39/(-4). Let w(b) = -4*b**3 + 8*b**2 + 2*b + 17. Is w(d) a prime number?
False
Let s be (-4 + 2)*((-3 - 0) + 2). Suppose z = 3*a + 4207, z + a = -s*z + 12601. Is z prime?
True
Is 0*3/(-21) + 983 composite?
False
Let s(h) = -57*h + 7. Let u(k) = 57*k - 6. Let f(l) = -5*s(l) - 6*u(l). Let o be f(-1). Suppose 1118 = 5*c + 3*x, 952 = 4*c + 2*x + o. Is c a prime number?
True
Suppose c + 18310 = 5*v - 17080, 0 = 3*v + 2*c - 21247. Is v composite?
False
Suppose 2*h = 4*z + 7*h - 69, -3*h + 35 = 2*z. Let c(b) = 43*b - 47. Is c(z) a prime number?
True
Let c = 24139 - 13982. Is c a composite number?
True
Let x(t) = -3*t**2 + 3*t - 29. Let f(y) = -y**2. Let a(r) = -5*f(r) - x(r). Is a(-14) composite?
True
Let f(u) = 123*u**2 - 15*u + 35. Is f(-9) prime?
True
Let b = 27 - 24. Suppose -5*f + b*v = 3897, -f - 779 = -0*f - v. Let n = 1421 + f. Is n a composite number?
False
Suppose -2*k + 3210 = 4*r, -4*r - 5*k = -9*r + 4020. Is r a composite number?
True
Let n = -811 + 1573. Suppose -x + 1008 = 4*m + 3*x, -5*x + n = 3*m. Is m prime?
False
Let v(j) = -287*j - 38. Let i(m) = -2*m - 1. Let c(d) = -6*i(d) - v(d). Is c(7) prime?
True
Let r = 95 + -66. Suppose 3*f + 8 - r = 0. Suppose -2*h = -u - f*h + 83, u - 83 = 5*h. Is u composite?
False
Let c be 3 + (5 - 4)*1. Let m(h) = -5 + 0*h + 12*h**2 + h + 0*h. Is m(c) prime?
True
Suppose 201380 = 5*n - 5*d, -8*n - 5*d = -5*n - 120836. Is n composite?
False
Let c(v) be the second derivative of v**5/20 + 29*v**4/12 + 17*v**3/6 + 31*v**2/2 + 11*v. Is c(-24) composite?
False
Suppose 0 = -3*w - 2*g + 28529, 2*w + 3*g = 2*g + 19020. Is w prime?
True
Let l(m) be the second derivative of m**4/6 + 5*m**3/6 - 7*m**2/2 + 6*m. Let u be l(7). Suppose -2*z = -5*q + 715, q - u - 39 = -4*z. Is q a composite number?
True
Let j be (-4)/6 + (-112)/(-42). Suppose -u + j*u + 2*x = 1087, 4*u = 5*x + 4348. Is u prime?
True
Let g(n) be the first derivative of -15*n**2/2 - 6*n + 39. Suppose 2*k - 1 = -7. Is g(k) a composite number?
True
Let w(q) = 3*q**3 - 7*q**2 + q + 7. Let a = -33 + 39. Is w(a) a composite number?
False
Suppose 4*o - 4*v = 44460, 0 = -2*o - 3*v + 9837 + 12383. Is o composite?
False
Let u(i) = 5*i**2 - 10*i**2 - 15 - 3*i + 6*i**2. Is u(10) prime?
False
Let p = -396 - -647. Suppose -j = -3*y + 7*y + 197, -j + 203 = -4*y. Let z = p - y. Is z a composite number?
True
Suppose -7 - 23 = -2*r. Is (-6)/45 - (-2672)/r prime?
False
Is (1/(-4))/((-5)/27940) a composite number?
True
Let i(g) = -g + 2*g**3 - 8*g**2 - 2*g**2 - 5 + g**2 - 2*g**2. Let n(w) = -2*w + 2. Let t be n(-3). Is i(t) prime?
True
Let c be 0 - 3 - (0 - (1 + 0)). Let i(r) = -r**3 - 6*r**2 + 4. Let x be i(-6). Is (26/x)/((-1)/c) prime?
True
Let s(v) = 21*v - 14. Let o(c) = -10*c + 7. Let g(t) = 13*o(t) + 6*s(t). Let i be g(10). Let k = i + 116. Is k a prime number?
True
Suppose k + 1 = 5. Is (-6)/(-12) - (-642)/k a composite number?
True
Suppose -14*u + 20*u = 45726. Is u composite?
False
Let m(q) = 16*q**2 + 13*q + 14. Let d(x) = -15*x**2 - 14*x - 15. Let i(p) = 5*d(p) + 6*m(p). Is i(4) a composite number?
True
Let x(b) = 2*b**3 - 2*b**2 - 16*b - 3. Is x(10) composite?
False
Let n(d) = 36*d**3 + 13*d**2 - 11*d - 5. Is n(8) a composite number?
True
Suppose 4*c = -5*a + 33829, -6*c - 16913 = -8*c - 3*a. Is c a prime number?
True
Suppose -s + 18 = 5*q - 4, -5*s - 4*q = -26. Suppose 32 = -3*p - 0*r + 2*r, 4 = -p + s*r. Is (-1774)/p + (-4)/(-14) a prime number?
True
Let t(a) be the second derivative of a**5/20 - a**4/3 + 11*a**3/6 - 5*a**2/2 + a. Is t(9) composite?
False
Is ((-2234)/(-8))/(5/20) prime?
True
Let i(f) = f**3 + 9*f**2 - 15*f + 6. Let h be i(-12). Let g = h - 14. Let x = g + 387. Is x composite?
False
Let k = -2234 - -3366. Suppose -284 = 4*b - 3*d - k, 3*d + 12 = 0. Is b a prime number?
False
Suppose 8*h - h - 721 = 0. Let a = h - -1296. Is a a prime number?
True
Let d(g) be the third derivative of -g**2 + 1/24*g**4 + 7/6*g**3 + 0 + 0*g. Is d(4) a composite number?
False
Let y(i) = -1003*i + 157. Is y(-3) a composite number?
True
Suppose 9*q - 10*q = -8. Is 2234/10 + q/(-20) + 0 a composite number?
False
Let z = 19318 + 14073. Is z prime?
True
Suppose 0 = 2328*d - 2340*d + 52872. Is d a composite number?
True
Suppose -2*w = w - 30. Let f be (w/6)/(3/9). Let z(s) = 3*s**2 - 3*s - 2. Is z(f) composite?
True
Let h = -67 - -80. Suppose 1006 = -11*y + h*y. Is y prime?
True
Let w(p) = 4*p + 2. Let v be w(-2). Let y be 33/27 + v/27. Is (1/y - 0)*347 a composite number?
False
Let z(x) = -537*x**3 - 8*x**2 - 22*x - 7. Is z(-4) composite?
True
Let p(h) = -10*h**3 + 27*h**2 + 20*h - 19. Let c(a) = 3*a**3 - 9*a**2 - 7*a + 6. Let o(w) = -7*c(w) - 2*p(w). Is o(7) prime?
True
Let 