second derivative of 37*m**5/20 - m**4/6 + 5*m**3/6 - 3*m**2/2 - 11*m. Is u(3) a prime number?
False
Suppose 20*u - 16*u = 20. Suppose -10177 = -2*d - a, -u*d = -5*a - 0*a - 25450. Is d composite?
True
Let t(q) = 176*q**3 + 4*q**2 - 3*q + 4. Is t(3) prime?
True
Let g = -34663 - -90074. Is g composite?
False
Let c = 12699 - 7986. Is c a composite number?
True
Let n(q) = -81*q**3 + q**2 - 7*q + 2. Is n(-3) prime?
False
Let j(q) = -q**2 - 5*q + 5. Let y be j(-7). Let o = y - -151. Is o prime?
False
Let s(m) = -2*m**3 - 9*m**2 + 5*m. Let n be s(-6). Let b be (-4)/(-10) + n/5. Let t(f) = 21*f - 1. Is t(b) composite?
True
Suppose 3*c + 9 = 0, 2*d + 0*d - 711 = 5*c. Suppose -3*n + 15 = 2*q + 1, 0 = 5*q + n - 22. Is ((-2)/q)/((-2)/d) prime?
False
Let n(w) = -24938*w - 167. Is n(-5) composite?
True
Let y(r) be the first derivative of -r**3/3 - 5*r**2/2 + r + 3. Let w be y(-4). Suppose -354 = w*f - 1129. Is f composite?
True
Let y(u) = -u**2 + 5*u - 3. Let l be y(6). Let b = l + 16. Suppose -1412 = -b*s + 3*s. Is s prime?
True
Let s = 2 + 0. Suppose -2*z - s*z = -16. Suppose 4*h - 4*n = 460, z*n - 366 = 3*h - 6*h. Is h composite?
True
Suppose i + 5*z - 277 = -53, 0 = 3*z + 3. Suppose -c = -4*a - 58, 3*c - i = 2*a - a. Suppose 0 = -5*q + 177 + c. Is q prime?
False
Suppose j - 2*d + 4*d - 16066 = 0, -5*d - 32168 = -2*j. Suppose -2*t + j = 3*c + 5855, -5*c + 5*t + 17040 = 0. Is c composite?
False
Suppose 0 = 4*x + 925 - 10765. Let k = x + -1249. Is k a prime number?
False
Suppose 4*d = -5*h + 14543, -12849 + 1199 = -4*h + 2*d. Is h prime?
False
Let q = 7854 - 4583. Is q composite?
False
Let t(q) = -20*q + 13. Is t(-11) a composite number?
False
Let g be (-15)/2*4/(-3). Is 12/60 + 5208/g prime?
True
Let a(b) = -45*b - 232. Is a(-31) a composite number?
False
Let k(d) = 40*d**2 - 1. Let i(l) = -l**3 + 7*l**2 - 2*l + 10. Let f be i(7). Let r be (f/14)/(5/(-35)). Is k(r) composite?
True
Let l(w) = 5*w**3 + 3*w**2 - 19*w - 33. Is l(10) prime?
True
Suppose 57 - 1407 = -6*a. Suppose a + 215 = 8*r. Is r a composite number?
True
Suppose 5*c = -3*p + 50, -2 - 8 = -c - 4*p. Let w(d) = d - 10. Let a be w(c). Suppose -198 = -4*j - 5*h, a*j + 231 = 5*j - 2*h. Is j a prime number?
True
Let h(p) = p**2 - p - 6. Let z be h(3). Let b be z + 8 + 4 + -3. Is (6/b)/(4/498) composite?
False
Let j(r) = r**3 - r**2 + 5*r + 8. Suppose u - 1 = i - 8, 0 = -2*u - 8. Suppose 7 = i*z - 14. Is j(z) composite?
False
Is 196410/9*(-4)/((-8)/3) composite?
True
Suppose 5 = 5*k - 0, 2*k = 5*w + 2. Suppose 2*d - 2191 - 595 = w. Is d a composite number?
True
Let p = 0 - 1. Let k be (-12 - -13)/(p/(-2)). Suppose k*v - 77 - 509 = 0. Is v composite?
False
Let d(u) = 491*u**3 + 3*u + 3. Let a be d(-1). Let n = 822 + a. Is n prime?
True
Let s(w) be the first derivative of -2961*w**2/2 + w + 49. Is s(-1) composite?
True
Let q = 126 + -122. Suppose 0 = -2*j + q*j + 5*n - 721, 4*j - 1427 = 5*n. Is j a prime number?
False
Let w(g) = g**2 + 10*g + 2. Let q be w(-10). Suppose -2*i - 4*p + 442 = 0, 5*i - 1092 = -q*p + 5*p. Is i/7 + (-6)/21 a composite number?
False
Let p(u) = -54*u + 47. Let c(b) = 1. Let d(z) = -6*c(z) + p(z). Is d(-12) a prime number?
False
Let q(x) = -67*x + 14. Is q(-11) a prime number?
True
Let u(q) be the second derivative of 38*q**3/3 - 5*q**2/2 + 22*q. Is u(16) a composite number?
True
Let y be (4 + -4)*(-1)/2. Suppose y*x - 3*x = 33. Let s = x - -34. Is s a prime number?
True
Let i = -103 - -105. Suppose -i*n - 1224 = -4*r, -5*r + 1533 = -0*r - n. Is r a composite number?
False
Let r(h) = 7950*h**2 + 2*h - 3. Is r(1) composite?
False
Suppose 5*o = 4*o - 4*q + 1012, 0 = -4*o - 5*q + 4004. Let r = -89 + o. Is r prime?
True
Let k(t) = 24*t**2 - 230*t - 141. Is k(61) a prime number?
True
Let q be (-4)/(8/(-45))*(-68)/(-85). Let w(v) = v**2 - 12*v + 23. Is w(q) prime?
True
Suppose -3*n + 3*s + 34 = -2*n, 5*n - 2*s = 105. Suppose j - 100 - n = 0. Suppose 5*r = 2*b - j - 0, b - 62 = 3*r. Is b a prime number?
True
Suppose 8 = b - 3*k, b - 4*k = -2*k + 7. Suppose -o = -b + 3. Is o/(-15) + (-16842)/(-90) prime?
False
Suppose -2*j - 2*y = -4*j + 16, 0 = 2*j + 2*y + 4. Suppose -99 = -c + 4*i, 5*c - c = -j*i + 377. Is c composite?
True
Suppose -2*m + a = 0, -5*m + 14 + 12 = 4*a. Suppose 3*n + 10 = -y, 40 = 3*y - 3*n - m*n. Suppose y*o - 72 = -6*j + 3*j, 4*j + 3*o = 85. Is j composite?
False
Let r(l) = 8*l**2 + 7*l**3 + 2*l**3 - 6*l - 2*l**3 + 18*l. Is r(5) composite?
True
Suppose 3*p - 27 = -w, p = 2*w + w - 31. Let z(d) = 4 + 14*d + 10 - 4 - 3 + d**2. Is z(w) a composite number?
True
Let a(s) = -24*s - 2. Let f be a(-7). Suppose 0 = -i + f + 45. Is i prime?
True
Suppose -3*b - 2 = 5*y - 15, -3*b - 7 = -5*y. Suppose -1972 = -2*q - y*q + 2*u, 3*q + 2*u = 1465. Is q prime?
True
Let b(w) = -199*w - 712. Is b(-17) a prime number?
True
Suppose 3232 = 8*a - 0*a. Let v = a + -193. Is v a prime number?
True
Let i(v) = -122*v + 3. Suppose 0 = 5*w + 10 - 5. Let q be i(w). Suppose 3*g - 90 = 4*n + q, 0 = -2*g + 5*n + 155. Is g a prime number?
False
Suppose 1812 = 5*o - 2*g - 5779, g + 7588 = 5*o. Is o a prime number?
False
Let v(q) = 137*q + 766 - q**2 - 137*q + 181. Is v(0) prime?
True
Suppose 5*f - r - 22168 = -7550, -3*f - r + 8766 = 0. Is f prime?
False
Suppose 0 = 5*i - 5*f + 19 + 31, -i - 7 = 2*f. Let p(s) = 11*s**2 + 7*s - 21. Is p(i) prime?
False
Let r(l) be the first derivative of 68*l**3/3 - l**2 - l - 7. Let j be r(3). Suppose i = 6*i - j. Is i composite?
True
Let f(j) = 674*j - 11. Is f(2) prime?
False
Let t be 2/(-8) + (-9)/(-4). Let f(d) = 86*d**2 + d + 1. Is f(t) prime?
True
Suppose -5*k = -3*p - 7 - 18, 0 = -k + 5. Suppose -6*v + 24*v - 39222 = p. Is v prime?
True
Let f = -13425 - -25331. Is f prime?
False
Suppose -3*d + 12 = 4*s, -4*d = -5*s - 3*d - 4. Suppose -5*t - 2*m + 33 = s, -4*t + 4 + 20 = m. Is 22/55 - (-7793)/t a composite number?
False
Let b(h) = -h**3 - 6*h**2 + 4*h + 4. Let t = -52 - -88. Suppose 0 = -13*g + 17*g + t. Is b(g) a composite number?
False
Let l = 20 + -15. Suppose -l*z - 3 = -q + 2, -5*q + 51 = z. Is (-15)/q - (-1119)/6 a composite number?
True
Suppose 3*y - 278 = y. Let j = y + -86. Is 4 + j/(-2)*-2 prime?
False
Let x be (4/8)/(2/11572). Suppose -3*q - 262 = -x. Is q prime?
True
Let k(l) = l**2 - 8*l - 16. Let v be k(10). Is 466/(4/(-2 + v)) composite?
False
Let r = -119 - -119. Suppose 2*l = -4*y + 7406, -5*y = -r*l + 3*l - 11105. Is l a prime number?
False
Let u(d) = 207*d + 7123. Is u(0) a prime number?
False
Let n be 4*2 - (-2 - 20/(-4)). Suppose 2*r - n*a - 387 = 0, 287 = -4*r - 5*a + 1046. Is r composite?
False
Let m be (0/(-2) + -4)/(-1). Is 11*(4 + 1) + m a prime number?
True
Suppose 3*i = -i. Suppose i*c - 6 = -3*c. Suppose c*w = -0*w + 158. Is w a prime number?
True
Let v(r) = 13*r**3 - 6*r**2 - 5*r + 15. Is v(8) prime?
True
Let o = -8679 - -19152. Is o a composite number?
True
Suppose 7*p = 3*p + 1364. Let f = 354 + p. Is f a composite number?
True
Let m(c) = -c - 14. Let v be m(-16). Suppose -v*q + 286 = -18. Is (-1)/(-3) + q/12 a composite number?
False
Suppose t - 216 = -3*t. Let c = t + -86. Let v = c + 319. Is v a prime number?
False
Let n be (-4 - 3)*-39*7. Suppose -1294 - 1279 = -4*x - q, 3*x - n = 3*q. Suppose 3*d = -3*t + 498, 3*d - x = 5*t - 168. Is d prime?
True
Let v(g) = -22750*g**3 + 2*g**2 + 26*g + 25. Is v(-1) a prime number?
True
Let l = -71 + 104. Suppose 2*a + 1 = l. Suppose 4*n = a, n = -0*s + 4*s - 856. Is s a composite number?
True
Suppose 14*q = 9*q + 2360. Suppose 0 = -3*v + n + 284, n - q = -5*v + 2*n. Let p = v - -33. Is p prime?
True
Suppose 0 = -12*b - 5*b + 34765. Is b composite?
True
Let p be 1/(328/110 - 3). Is -1*(p + (-8)/(-4)) a prime number?
True
Suppose -v - 5 = 0, -s = 3*v - 0*v - 327. Is s + (0 - -3) - -2 a prime number?
True
Let s(z) = -5*z**2 + 3*z - 2. Let c(f) = f**2 - f - 1. Let d(t) = -t**2 + 3*t + 6. Let y(p) = 5*c(p) + d(p). Let u(w) = 2*s(w) + 3*y(w). Is u(-5) composite?
True
Suppose -5*z - 1571 = -2*c, 3*z - 211 = -c + 558. Is c a composite number?
True
Let s(v) = v**3 + v**2 - 6*v. Let n be s(-3). Suppose 3*h + h + 80 = n. Is ((-14)/(-3))/(h/(-330)) a composite number?
True
Let c = -15 + -2. Let m be -1*1 - (c - -14). Suppose 0*r + 1498 = m*r. Is r prime?
False
Suppose -f + 2772 = -k, 9*f + 8356 = 1