rst derivative of s**3/3 + 3*s**2 + 7*s - 4. Let v be n(-5). Let c(p) = 4*p**3 + p**2 - 1. Is c(v) a prime number?
False
Let z(a) = -a**2 - 9*a - 10. Let i(g) = -3*g + 5. Let s be i(4). Let q be z(s). Suppose 713 = 2*f - 3*o, q*o = -0*o + 12. Is f prime?
False
Suppose 2*b - 4 = -0*b. Suppose l = -0*l + b. Suppose 0 = -7*z + l*z + 255. Is z composite?
True
Let p be (4 + 12 + -2)/(-2). Let s(h) = h**3 + 7*h**2 - 7*h. Is s(p) prime?
False
Let w = -58 - -14. Is (w/(-8))/((-1)/(-118)) a composite number?
True
Let g be 1 - -10*1 - 3. Let m be (-2)/g*-14*2. Is m/(-21) - (-1268)/6 prime?
True
Let d = 5080 - 2720. Suppose -2*h - 22 = -d. Is h a composite number?
True
Let g(p) = -p**3 - 6*p**2 - 6*p + 1. Let q be g(-5). Suppose -j = -q*j + 2*o + 1981, j = 2*o + 401. Is j a prime number?
False
Suppose 2*c - 5151 = 7715. Is c prime?
False
Let b(f) = 5289*f**2 - 14*f - 16. Is b(-1) a composite number?
True
Let l = -692 + 1000. Suppose -z - l = -2*z. Suppose -4*f = -0*f - z. Is f composite?
True
Suppose -5*v - 3*x + 5*x = -52241, -3*v - 2*x = -31335. Is v a prime number?
False
Suppose 0 = k - 4*r - 22, -5*r - 7 - 1 = 2*k. Suppose c - 83 = 2*m, 5*c - 4*m + 113 = k*c. Is c a prime number?
False
Let r = 1929 + -236. Is r prime?
True
Let y(j) = 302*j**2 - 5*j - 7. Let l be y(-2). Suppose 3*s + 3*i + 2388 = 0, -2*s + i - 1580 = -0*s. Let c = s + l. Is c a composite number?
False
Suppose 0 = -3*f + s + 88090, 0 = -0*f + 5*f + 3*s - 146812. Is f a prime number?
True
Let f(z) = 5*z**2 - 1. Let k be f(1). Suppose 2*t - 409 + 9 = 2*a, -2*t = -k*a - 802. Is 12/4 + -1 - a a composite number?
True
Let z(u) = -5*u**2 - 2*u + 1. Let d be z(-2). Suppose -5*f - 4*m = -216 - 105, -3*f - m + 187 = 0. Let o = f + d. Is o a composite number?
True
Let w(q) = q**2 + 3*q - 5. Let c be w(-7). Let r = c - -548. Is r a composite number?
False
Let y = 136 + -135. Let z = 64 - 26. Suppose -y + z = x. Is x a composite number?
False
Let z = 2999 + -1742. Is z prime?
False
Suppose -2 = 2*v - v - 2*n, 0 = 2*v - 5*n + 5. Let x(i) be the second derivative of i**5/20 + i**4/12 + 67*i**2/2 + 13*i. Is x(v) prime?
True
Suppose 0 = 2*x + 3*x - 3200. Let o = 518 - 511. Suppose -x = -o*s + 823. Is s a composite number?
True
Suppose -3*x + 24 = -0*x. Suppose 19*m = 121 - 197. Is m/x + 245/2 composite?
True
Is 3*(-3)/(-9)*(-3868)/(-4) prime?
True
Suppose 0 = k - 4 + 13. Let r(v) = -v**3 + 3*v**2 + 5*v + 2. Is r(k) a composite number?
False
Suppose 4*w - 4*r - 4 = -0*w, 4*r = -5*w - 4. Suppose w = 4*a + 5*o - 69, 0*a + 30 = a - 3*o. Let y = 28 - a. Is y composite?
False
Let u(z) = -z - 17. Let l be u(-14). Let g be 1*(6 + l) - 0. Is 404/g + (-16)/24 a prime number?
False
Let n = 14 + -12. Let p be (-2)/(2 + n)*-1354. Suppose -2*a + p = -a. Is a composite?
False
Suppose 2*r - 12 = -2*r. Suppose 2*b + 4*p = -8, b + 0 = -r*p - 9. Is (0 + -2)/(b/(-1509)) a prime number?
True
Let w = -1029 - -1720. Is w prime?
True
Suppose -f + 2*f - 10 = 4*j, 4*f - 96 = 2*j. Let y be (-643)/9 + 36/81. Let v = f - y. Is v prime?
True
Suppose -3*g - n = -8*g + 5019, g + n - 999 = 0. Is g prime?
False
Let j(b) = b + 8. Let g be j(-5). Suppose g*p + 5 = -2*r + 3*r, 3*p + r - 5 = 0. Let z(s) = -s**3 + s**2 - s + 447. Is z(p) a composite number?
True
Let u(p) = -p**3 + 11*p**2 - 19*p - 19. Is u(-14) a prime number?
True
Let h = 71 + -70. Is (0 - -3)/(h/(347 - 0)) composite?
True
Is 4*(-370)/40*-107 a prime number?
False
Suppose 2*m - 36 = 5*m - 3*f, 33 = -5*m - 4*f. Let k be (-350)/45 + 2/m. Let b(h) = -h**3 - 6*h**2 + 11*h + 11. Is b(k) composite?
True
Suppose 141057 = 8*n - 296615. Is n a prime number?
True
Suppose -2*q + 4*b + 21710 = 0, 2*b + 10 = 2. Is q a prime number?
True
Suppose 4*f - 35749 + 9958 = -5*w, -2*w + 6447 = f. Is f a composite number?
False
Let t(g) = -2*g**3 + 6*g**2 - 8*g - 17. Let u be t(7). Let l = u - -811. Is l prime?
False
Suppose 3214 = b - 573. Suppose -4*a + b = 3*a. Is a a prime number?
True
Let w = 4774 + -383. Is w a composite number?
False
Let c(b) = -54*b - 13. Let i be c(15). Let q = 616 - i. Is q composite?
False
Let j(p) = -p**2 - 5*p + 2. Let r be j(-5). Suppose -r*d - 25 = -d. Let t = -6 - d. Is t a prime number?
True
Suppose -8 + 8 = -5*u. Suppose 2*o - 7872 = -2*q, -3*q - 5*o + u*o + 11806 = 0. Is q composite?
True
Let c(n) = -3*n + 23. Let k be c(7). Suppose -v + 10 = -272. Suppose k*i + v = 5*i. Is i a composite number?
True
Suppose -3*x - 1 = 3*j + 11, 2*j = -5*x - 17. Let d be -1 + 3 + 1 + j. Suppose -d*y + 0*y + 2*h + 112 = 0, -4*y = h - 234. Is y prime?
False
Let n be (-2)/1*(-20)/8. Suppose 3*m = 5*l + 121 + 895, n*m = 2*l + 1687. Is m a composite number?
False
Let u(w) = -w**2 - 13*w - 15. Let a be u(-11). Suppose -6*v + a*v = -3. Is 1/((5 + v)/262) prime?
True
Suppose -5*v - 5*h = -34706 + 7206, -5499 = -v - 2*h. Is v a prime number?
True
Suppose -40*r = -35*r - 84455. Suppose -3*t + 0*t = -2*x + 6748, -5*x - 3*t = -r. Is x a prime number?
False
Let p(q) = 51*q**2 - 10*q + 18. Is p(7) composite?
False
Let t(h) = 919*h + 51. Let d be t(20). Suppose 9*p + d = 16*p. Is p a composite number?
False
Suppose -2*j - 5*v = -1623, 5*v + 2006 = 2*j + 433. Suppose 10*i - 311 = j. Is i a prime number?
False
Let s(u) = u**3 - 6*u**2 + 3*u - 14. Let c be s(6). Suppose -k + c = 3*k. Is (126 + k)/(-2 + 3) a composite number?
False
Let v be (-32)/(-12) + 6/18. Suppose 5*b - 5245 = 4*u, -v*b + 2*u = -2*b - 1049. Is b a prime number?
True
Let m = -15546 - -38915. Is m prime?
True
Let s(j) = 168 + 802*j - 168. Let m be s(1). Let x = -515 + m. Is x prime?
False
Let o(s) = s**2 + 4. Let y be o(-3). Suppose -4*r + 3 = -x, 2*r + y = -5*x + 42. Suppose -r*j - 442 = -4*j. Is j composite?
True
Let w be (-24)/30*(-5)/(-2). Is (w/6)/(3/(-6381)) a composite number?
False
Let t(f) be the first derivative of f**4/4 - 13*f**3/3 + 6*f**2 - 4*f + 1. Let l be t(12). Is (6/1)/(l/(-22)) a composite number?
True
Let t(s) = 51*s**3 - 10*s**2 + s - 1. Is t(9) a composite number?
True
Let q(p) = -p**3 - 9*p**2 + 3*p + 7. Let d be q(-11). Let z = -70 + d. Suppose z = f - 15. Is f composite?
True
Suppose 12*l - 13*l = -3*q - 3404, 0 = -3*l - 3*q + 10272. Is l a prime number?
False
Suppose -4*x + 80 = -0*x. Suppose 0 = 3*p - x + 5. Suppose -4*d + 0*d - 2*o + 532 = 0, 10 = -p*o. Is d prime?
False
Is 10/(-150)*-6*515/2 composite?
False
Let j(l) = -l - 16. Let c be j(-16). Suppose c = 9*q - 11677 - 46022. Is q a prime number?
False
Suppose 26542 = 3*d - k, -d + 3443 = 5*k - 5383. Is d a prime number?
False
Let k(n) = -10*n**3 + 5*n**2 - 8*n + 11. Let h be k(5). Let v = -481 - h. Is v a composite number?
False
Let j = 23 - 25. Is (-6)/(j + 5) - (-1 - 380) a composite number?
False
Let n(t) = 29*t**2 + 5*t - 2. Let x be n(5). Let f = 140 - 379. Let a = x + f. Is a a composite number?
False
Suppose -4*i + 10879 = x, 6901 - 28663 = -2*x - 4*i. Is x composite?
False
Suppose 0 = 2*y + 3*p + 24, -y = -0*y - 2*p + 26. Let n be (3/(-5))/(y/37710). Suppose 11*j = 8*j + n. Is j a prime number?
True
Suppose -2*j + 193 = d, -3*d + 3*j = 197 - 821. Let w be 4/3*(-678)/(-4). Suppose -3*l = -w - d. Is l a prime number?
False
Let u = 5 + -3. Let i(z) = -358*z + 8. Let k be i(-1). Suppose -5*n + j = -959, u*n = -5*j + j + k. Is n a composite number?
False
Suppose -24273 = -k - 2*n, -3*k + 72863 = -4*n - n. Is k composite?
False
Suppose -78*y + 5650582 = 20*y. Is y prime?
False
Let m be (0 + 1)*(9 - -97). Let t = 557 - m. Is t composite?
True
Suppose 2*j = 4*g + 7662, -1585 = -3*j + 2*g + 9888. Is j a prime number?
True
Suppose 3*y + 6498 = 3*h + 2*y, -3*y - 8669 = -4*h. Is (h/(-10) + -3)*-2 a prime number?
True
Let c(v) = 3*v**2 + 14*v - 3. Suppose 4*r = 3*x - 36, -x + 19 = 2*r + 7. Let h be c(x). Suppose -4*a + 7*a - h = 0. Is a composite?
False
Let i(p) = 14*p + 19. Let x be i(12). Let b = x + 468. Is b composite?
True
Let y be 0/1 - (-3 + -3). Let u(m) = -m**3 + 8*m**2 - 9*m + 1. Is u(y) prime?
True
Let p(k) = -3*k + 3. Let c be p(-3). Suppose 375 = -17*f + c*f. Let j = -29 - f. Is j prime?
False
Suppose 0 = -0*f + 2*f. Is 548/(-8)*(f + -14) prime?
False
Suppose -56092 = -9*z + 116321. Is z prime?
True
Let x(k) = -188*k + 2. Let z be x(-3). Suppose -10 = 4*n - 30, -4*i + 2*n + z = 0. Let d = i - -19. Is d a prime number?
True
Let v(y)