a prime number?
False
Let o = 17049 + 7468. Is o prime?
True
Let r be (2/1 - 4) + 9. Let j(f) be the second derivative of -f**5/20 + 13*f**4/12 + f**3/3 - 5*f**2/2 + 33*f. Is j(r) a prime number?
False
Let x(j) = -176*j**3 + 1. Let f(c) = c**2 - 2*c + 2. Let t be f(3). Suppose -t = d + 4*d. Is x(d) a composite number?
True
Suppose -22*q + 25*q - 1875 = 0. Let r = q - 296. Is r a composite number?
True
Let d(u) = 2*u**3 - 15*u**2 + 7*u + 146. Is d(23) prime?
False
Let m be 1/(-4) + (-6)/(-24). Suppose -5*r + 4*g + 1163 = m, 3*r + 3*g = -g + 717. Is r a composite number?
True
Let c(h) = 77*h**3 - 3*h**2 - 2*h + 1. Let g(z) = -78*z**3 + 3*z**2 + z - 1. Let t(p) = -2*c(p) - 3*g(p). Is t(2) a composite number?
False
Let s(d) = 5*d - 30. Let o be s(7). Suppose -701 = -5*g - 2*t, -o*g + 2*t = -t - 686. Is g prime?
True
Is -2*-4*1796/32 prime?
True
Let d(g) = 7*g**2 - 10*g + 2. Let j = -10 - -4. Let k be d(j). Is k*(2 - (-12)/(-8)) prime?
True
Suppose c + 6 = -5*b + 5*c, c = -5*b - 11. Is (255/45)/(b/(-1506)) prime?
False
Suppose -8*a + 6367 = 3*t - 3*a, -3*t = 3*a - 6375. Is t prime?
True
Is (-58390)/(-5) + -10 + 10 a composite number?
True
Let c = 68 - 119. Let j be ((-12)/(-9))/(-1)*c. Suppose m = q - j, 4*q + m - 264 = -3*m. Is q composite?
False
Suppose 0 = -y - h + 15, 0 = -2*y + 5*y + 2*h - 49. Let r(o) = 5*o + y - 7 - 4*o**2 - o**3 - 5. Is r(-7) a prime number?
False
Suppose -2*b + 1 = 11, 0 = -4*h + 5*b + 3581. Is h a composite number?
True
Let o = -992 + -1736. Let b = -1627 - o. Suppose -2*l = -c + 213, 0*l = -5*c - 2*l + b. Is c a prime number?
False
Let t be (-4)/6 - 104/6. Let r = -25 - t. Let b(f) = -16*f + 7. Is b(r) prime?
False
Let i be (1 - (-4)/(-12))*6. Suppose 2*f = -i*f. Suppose 4*r - 2*r - 446 = f. Is r a prime number?
True
Suppose -4*k = -2*u - 191164, -5*k + 329094 = -u + 90139. Is k prime?
True
Let h(x) = -x - 14. Let f be h(0). Let i = f + 23. Suppose -i*o + 7*o = -26. Is o prime?
True
Suppose -25 = b + n + n, 0 = 2*b + 3*n + 47. Is (b - -17)*(-631)/2 a prime number?
True
Let z(w) = 3*w**2 - 5*w - 15. Let d(s) = s**2 - s - 1. Let a = -11 + 15. Let g(q) = a*d(q) - z(q). Is g(0) a composite number?
False
Let s(w) be the third derivative of 1/6*w**3 + 0*w + 1/6*w**4 + 1/60*w**5 + 0 + 4*w**2. Is s(-6) a composite number?
False
Let q(a) = 5*a**2 - 36*a + 4. Let h be q(20). Suppose -5*p + h - 294 = -5*z, 3*p + 5*z - 602 = 0. Is p prime?
True
Let j(d) = -d**2 + 13*d + 14. Suppose 86 = 5*b + 4*r, -2*b = -b + 5*r - 34. Let h be j(b). Suppose -65 = -h*x - 5*x. Is x a composite number?
False
Let x(u) = -u + 11. Let y be x(6). Suppose -4*v - 5*r - 7 = 0, -5*v + y*r + 17 + 8 = 0. Suppose -v*t + 316 = -646. Is t prime?
False
Is 0/(6/3) - (-436 - 13) prime?
True
Suppose -34 = -2*p - 24. Suppose 3*a - 817 = -2*r, p*a + 5*r = -554 + 1919. Is a a prime number?
True
Suppose 5*j - 8 = 3*j. Suppose -2*u = -j*h + u + 42, 4*h - u - 38 = 0. Suppose -h = -l - 3*v + 15, -2*v + 185 = 5*l. Is l prime?
False
Let f(c) = -c**3 + c**2 + 2*c. Let l be f(-2). Let g = 5 - l. Is 2*g*-62 + -1 composite?
True
Let i be 4 + (-4 - -5)/((-1)/(-2)). Suppose -i*u + 1314 = -276. Is u prime?
False
Let q(h) = -24*h - 24 + 4*h - 16*h + 3*h. Is q(-5) a composite number?
True
Let d(k) = 113*k**2 + 21*k - 75. Is d(4) prime?
False
Let u = 29777 + -19642. Is u composite?
True
Let m(p) = p**2 - 11*p - 6. Let s = -24 + 36. Let u be m(s). Is (-1533)/u*(-3 + 1) composite?
True
Let l be (-2 + 5)*(-2 + 3). Let a(p) = -p**2 - 12*p + 0*p**2 - 1 + 0*p + l. Is a(-5) a composite number?
False
Suppose -81*q + 79*q + 164 = 0. Suppose 4*t + 1260 = 4*f, 0 = f + 2*t + q - 409. Is f composite?
True
Suppose -u - 4*u + 5*i = -1565, -2*i = 3*u - 914. Let r = -112 + u. Suppose -64 = -4*p + r. Is p prime?
False
Suppose -14 = -3*r + 2*k, -8*r + 16 = -4*r - 2*k. Suppose -2*y - r*w + 5598 = 0, y - 3293 + 504 = w. Is (y/33)/((-2)/(-3)) prime?
True
Let a = -394 - -609. Is a composite?
True
Let p(h) = -h**3 + 4*h**2 - 2*h. Let m be p(3). Suppose -16 = -m*r - r - 5*o, 2*r - 8 = 5*o. Suppose -2*f - 10 = 0, -r*x - 2*f + 596 = -2*x. Is x composite?
True
Let z = -17712 + 65335. Is z a composite number?
False
Let t(x) = x**3 + 19*x**2 + 20*x + 13. Is t(16) a prime number?
True
Let y(o) = o**2 + 3. Let t(i) = -3*i**2 - 8. Let v(m) = 4*t(m) + 11*y(m). Let z be v(0). Is z + 1 + 677/1 composite?
True
Let w(a) = a**2 + 8*a - 6. Let q be w(-9). Suppose q*p + 20 = h + 4, 2*h - 3*p = 17. Is (h - (-35)/2)*2 a prime number?
True
Suppose -10335 = 39*k - 28626. Is k prime?
False
Suppose 5*z + 6945 = 3*u - 9376, 27247 = 5*u + 3*z. Is u composite?
True
Suppose 5*i = -2*u + 55747, i + 72*u = 71*u + 11150. Is i a composite number?
False
Suppose 5*y + 4*s + 1 = 3*s, -2*s + 13 = -5*y. Suppose -3*z = -3*g + 2430, 2*z + z - g + 2440 = 0. Is (z/20)/(y/4) prime?
True
Suppose -3*g + 8632 = m, m - 9549 = -2*g - 916. Suppose -4*x - k + m = 0, -4*x + 3*x = 5*k - 2154. Is x prime?
False
Let t(s) be the second derivative of 23*s**5/20 - s**4/12 + 2*s**3/3 - 3*s**2/2 - 15*s. Is t(1) composite?
False
Suppose -14 = -10*v + 26. Suppose 2*u = v*s - 694 - 14474, s = -4*u + 3801. Is s composite?
False
Let p = -8 + 13. Let u(t) = 5*t**3 - t**2 + 7*t + 3. Let x be u(p). Suppose -4*z - 2*h = -4*h - x, 5*h + 653 = 4*z. Is z prime?
True
Let y(g) = -119*g + 6. Let k(c) = 243*c - 5. Let u(f) = 122*f - 2. Let d(b) = 3*k(b) - 5*u(b). Let h(s) = 5*d(s) + 4*y(s). Is h(1) prime?
False
Let n(o) = o**2 + 14*o + 10. Let u be n(-11). Let w = -10 - u. Let t = w - 6. Is t a composite number?
False
Let z(x) = -3*x**3 + 2*x + 1. Let f be z(-1). Suppose -t = 20 + 8. Is (-5)/f*(2 + t) a composite number?
True
Let c(q) = 7*q**3 + 5*q**2 - 4*q + 1. Let l(v) = v**3 - v**2. Let p(o) = c(o) + 2*l(o). Suppose 6*x - 9 = 3*x. Is p(x) a prime number?
False
Suppose -16*p + 366989 = 86685. Is p a composite number?
False
Let t(d) = 11*d - 6. Let u be t(1). Let l(x) = x**2 - 4*x + 7 + 4*x**2 - 3*x. Is l(u) prime?
True
Suppose -u = 4*u + 5*z - 3535, 2808 = 4*u - z. Is u a prime number?
False
Let d(h) = -3*h**2 + 25*h - 7. Let j be d(19). Let a = 10984 + j. Is a a prime number?
True
Suppose 2*p - 5*d + 32 = -95, -221 = 4*p + d. Let o = 84 + p. Is (166/8 - 3)*o prime?
False
Let h = 5356 + -3402. Suppose -b + 2*b - h = 0. Is b a composite number?
True
Let t(k) = k**3 + 25*k**2 + 19*k - 46. Let c be -7 - 25/(-5) - 19. Is t(c) a composite number?
False
Let g(y) = y**2 + 1. Let n(q) = -q**3 - 14*q**2 + 4*q + 26. Let k(o) = -g(o) - n(o). Is k(-11) prime?
False
Suppose 5*t - 7783 = 2302. Is t composite?
False
Let n be (-3)/((10/(-314))/5). Is 1 + (-3 - -2) + n a composite number?
True
Let n be 1332/6*(2 + (-80)/6). Let d = 4635 + n. Is d composite?
True
Let h = 147 - 34. Suppose -165 = -2*g + h. Is g a prime number?
True
Suppose 4*b - i - 412 = 0, 3*i + 188 = 2*b - 2*i. Let s = b + 195. Is s a composite number?
True
Let y = 137 - 126. Suppose w + 4*r = 564 + y, -2*r = -5*w + 2941. Is w composite?
False
Let u(o) = -428*o - 1. Is u(-13) composite?
False
Let r = -65 - 15. Is 0 + 2991 - r/20 a composite number?
True
Let i = -80 + 85. Suppose -h = 3*b - 2089, -3*h + i*b = -8143 + 1848. Is h composite?
True
Suppose 0 = 5*o - 373 - 12. Suppose 2*j = 3*j - o. Is j a composite number?
True
Let u(m) be the third derivative of -5*m**6/4 + m**4/24 + m**3/6 + 5*m**2. Let t be u(-1). Let p = 1363 - t. Is p composite?
False
Let x be 1398/12 - (-3)/6. Let d = x + 100. Is d a prime number?
False
Let c(b) = -63*b + 12. Let d(n) = -n**3 + n**2 - 3*n - 5. Let g be d(0). Is c(g) composite?
True
Let y(q) = -2330*q + 27. Is y(-10) composite?
False
Suppose -12910 - 13704 = -2*s. Is s prime?
False
Let i(t) = -t + 17. Let j be i(15). Let r be (-4 + j)/(8/84). Let u = r + 42. Is u a composite number?
True
Let t be (2 + 2/1)/1. Suppose t*q + 2714 = 2*s, s - 4*q + 1369 = 2*s. Is s a prime number?
True
Let j = -1 - -5. Suppose 2*o + 5*b = 40, 0*b - 68 = -j*o - 4*b. Suppose o = -4*g + 5*g. Is g a composite number?
True
Let j be (-208)/(-117) - 4/(-18). Is (3/(-3))/(j/(-6718)) composite?
False
Suppose 0 = -25*w + 124417 + 133408. Is w prime?
True
Let c = -34 + 49. Suppose 3*k = -o + 4*o - 15, -3*o = -5*k - c. Suppose 2*l - 314 = -k*w + 2*w, -3*l - 4*w = -457. Is l composite?
True
Suppose 4*m - b = -41, -5*b = 4*m