e second derivative of x**4/6 - 5*x**3/3 - 13*x**2/2 + 2*x. Is h(9) a prime number?
True
Suppose 9*w = -622 + 8623. Is w a composite number?
True
Let o = -1 - -7. Suppose 0 = -2*k + o*k + 8. Is 1 + 32 - k/(-1) prime?
True
Let a = -8 + 169. Is a composite?
True
Let y = 395 + 110. Is y prime?
False
Suppose 3*q = 5*v + 35, -3*v = 2*q - 0 + 2. Suppose 0 = q*i - 94 - 11. Is i composite?
True
Let t(u) be the third derivative of -u**4/4 - u**3/3 + u**2. Let j be t(-7). Is (-3)/6*j/(-2) prime?
False
Suppose -2*n = n - 1923. Is n composite?
False
Let o(l) = 40*l**3 + l**2 + 2*l - 18. Is o(5) composite?
True
Is (-12)/(-16) - 9329/(-4) composite?
False
Let y(r) = r**3 - 12*r**2 + 5*r - 9. Let h be y(11). Suppose 3*j = j + 308. Let u = j + h. Is u composite?
False
Let b be 86/10 + (-2)/(-5). Let o(i) = i**3 - 7*i**2 - 11*i - 4. Is o(b) composite?
False
Let o(f) = -f**2 + 2*f**2 + 17*f - 11 - 2*f**2. Let q be o(11). Suppose 3*h - 12 = 0, t - 5*h = -2*h + q. Is t a prime number?
True
Suppose 2*o + 779 = 3*d, 0 = -2*d + 2*o + 2*o + 530. Is d prime?
True
Let y be (4/(-5))/((-2)/10). Suppose 0 = -7*p + 2*p - 10, -2*d = 2*p - 2326. Suppose -r + d = y*r. Is r a composite number?
False
Let m = -1 + 11. Let w = -5 + m. Suppose 47 = a - 5*b, -4*b - 183 = -5*a - w*b. Is a a composite number?
False
Suppose -4*x + 3*s - 4*s + 123 = 0, 5*x - 3*s - 158 = 0. Is x composite?
False
Let r = -317 - -1636. Let f = r + -830. Is f prime?
False
Let w be 18/5 + 6/15. Suppose 0 = 2*t - 2*h - w, -4*h + h + 10 = t. Suppose -3*k + 9 = -i + k, 3*k - 40 = -t*i. Is i a composite number?
False
Suppose 30 = 4*q + 10. Suppose -5*h + 0*k = -k - 2761, 2*k = -q*h + 2773. Is h composite?
True
Let s(f) = -f**3 - 4*f**2 - f + 1. Let p be s(-4). Suppose -n = p*b - 66, -b + 10 = -0*b + n. Is b a composite number?
True
Let i = 4 + -1. Let a(t) = 0*t**2 + t**2 - 4*t + i*t - 5. Is a(-5) prime?
False
Let f = 1510 + -875. Is f prime?
False
Is (-437)/(-3) + 2/6 a composite number?
True
Let n(p) = -p**3 - 2*p**2 + 2*p - 2. Let r be n(-3). Let q be -1*(-4 + -1 + 2). Suppose r = x - q. Is x a prime number?
False
Let w = -4 + 4. Suppose -3*i + 4*j + 179 = w, -333 = -5*i - 4*j + 2*j. Suppose -89 = -2*b + i. Is b prime?
False
Let p = -1 + 39. Is p composite?
True
Suppose 30 = 3*v + f, 2*v + 3*f - 12 = 5*f. Suppose 3*u + 18 = -v. Let y(l) = l**3 + 10*l**2 + 8*l + 6. Is y(u) composite?
True
Let z = -16 - -11. Let h(i) = -102*i - 17. Is h(z) a prime number?
False
Let t(j) = j**2 - 3*j + 5. Is t(7) a composite number?
True
Is 25*7 - (-10 + 6) a composite number?
False
Suppose -n = n - 170. Let f = -28 + -10. Let g = n + f. Is g prime?
True
Let u(m) = 4*m**3 + 5*m + 2. Let o(s) = s**3 + 2*s + 1. Let x(t) = 7*o(t) - 2*u(t). Let w be x(-2). Suppose 5*b = w*b + 254. Is b a prime number?
True
Let a be 5/20 + (-19)/(-4). Suppose a*i - 2*i + 2*y = 1, 2*i + 3 = -5*y. Is i*(57 + 0) - -2 a prime number?
True
Let z(n) be the third derivative of n**5/60 - n**4/24 + 5*n**3/3 + 3*n**2. Is z(0) prime?
False
Let a = 10 - 7. Suppose -v - a*v = -340. Is v prime?
False
Suppose 2*a + 3*d = a + 1958, 0 = 5*a + 3*d - 9850. Is a composite?
False
Suppose 0 = -3*c - 0*c, -2*c = -3*y + 498. Let f = y + -97. Is f prime?
False
Is (2 + 1172/1)/2 composite?
False
Is 2/13 + (-765)/(-13) a composite number?
False
Suppose -6*y = -2*y + 12. Let i be (-2432)/(-12) + (-1)/y. Let o = i - 120. Is o prime?
True
Let r(s) = -11*s + 1. Let p be r(-1). Suppose 4*o = -4*z - 0*z + p, 2*o - 5*z - 13 = 0. Suppose 0 = o*m - 6 - 2. Is m a prime number?
True
Suppose 2*u - 6 = 2*i - 2, 2*u + 4*i = -26. Let h be (5/(-3)*u)/1. Suppose 78 = p - h*x, 149 = -3*p + 6*p + 2*x. Is p composite?
False
Let p(u) = 10*u + 4. Let y be (4 + (1 - -1))/2. Is p(y) composite?
True
Let d be -2 + 4 + 481 - 0. Suppose 3*i = 6*i - d. Is i a prime number?
False
Suppose -71 = -3*r + 1948. Is r a composite number?
False
Let q(m) = m**3 - 5*m**2 - 8*m + 13. Is q(9) composite?
True
Let c = -93 - -166. Suppose -2*p = -c - 163. Let f = -65 + p. Is f prime?
True
Let c(f) be the third derivative of -7*f**7/120 - f**5/120 - f**4/24 - f**3/3 + f**2. Let n(p) be the first derivative of c(p). Is n(-1) a composite number?
True
Let o = 108 - -79. Is o prime?
False
Let w be 6/(-30) - 5881/(-5). Let o = -767 + w. Suppose -4*h + o + 619 = 0. Is h a prime number?
True
Let z(c) = c + 1. Let g be z(-9). Is ((-11)/2)/(2/g) a prime number?
False
Let f(q) be the second derivative of 4*q**3 - 15*q**2/2 - 2*q. Is f(11) composite?
True
Let w = -115 - -192. Let n = 36 - 78. Let m = w + n. Is m composite?
True
Suppose 0 = -3*f + r + 23, r - 19 - 30 = -5*f. Suppose -f = 4*s - 21. Suppose -2*l = -3*m - 57 + 4, 5*l - 110 = s*m. Is l a composite number?
False
Suppose -2*g + 122 = 2*t - 352, 957 = 4*g + t. Suppose p = -5*h + 4*h + 58, -4*p - g = -4*h. Is h a composite number?
False
Is (-2160)/(-18) + 1*-1 composite?
True
Suppose 0 = -w + 10 + 34. Suppose 3*c - 5*c = -w. Is c composite?
True
Let r(h) = -2*h - 1. Let x be r(-1). Suppose 5*k + 10 = -5*w, 2*k - w - 12 = -x. Suppose o + k*j - 1 = 12, -j = -o + 21. Is o a composite number?
False
Let q(z) = 4*z**2 - 2*z - 7. Let i(v) = 2*v**2 - v - 3. Let s(x) = 7*i(x) - 3*q(x). Is s(-5) a composite number?
True
Suppose 797 = 5*n + 32. Suppose 0 = 4*w - 19 - n. Is w a composite number?
False
Suppose -l - l = 14. Let m(i) = -5*i + 1. Let q be m(l). Let k = 50 - q. Is k prime?
False
Suppose 0*c = 4*k + 3*c - 45, 5*c - 31 = -3*k. Let p(w) = 40*w + 7. Is p(k) composite?
False
Let m(k) = -k + 5. Let s be m(5). Suppose -4*z - 12 = s, -3*z - 32 = 2*x - 3*x. Is x a composite number?
False
Let r = 3 + -3. Let v be r*(7/(-2) + 3). Suppose -79 = -o - 3*q - 9, 2*o + 4*q - 150 = v. Is o prime?
False
Let v(h) = -21*h + 13. Let a be v(6). Let w = a + 240. Is w a composite number?
False
Let t be (1 - -5)*(-2)/(-4). Is 2 - (56/(-2) - t) a composite number?
True
Let h = -2 + 2. Suppose h = -x - 0*x + 43. Let t = -20 + x. Is t a prime number?
True
Let q(k) = 0 - 3*k + 9*k + 1 - 4 + k**2. Let r be q(10). Suppose -w + 165 = -6*l + l, w - r = 3*l. Is w a prime number?
False
Suppose 0 = -4*c + 8, -2*c = -2*a - c + 2. Suppose 2*d + 939 = 5*q, 4*d + 195 = -q + a*q. Is q composite?
True
Let i(r) = r - 2*r**2 + 3*r**2 + 13*r**2. Let o be i(-2). Is o + 1 - -1 - 1 prime?
False
Suppose g = -9 + 2. Let h = g + 3. Is (6/h + 2)*134 composite?
False
Suppose -87 + 28 = -5*q + 3*h, q - 4*h - 5 = 0. Is q a composite number?
False
Let f(k) be the second derivative of k**7/840 + k**6/360 + k**4/4 - 3*k. Let m(v) be the third derivative of f(v). Is m(-3) composite?
True
Let f = -2 - -16. Let g = -10 + f. Suppose -b = 0, -g*x = -0*x + b - 364. Is x prime?
False
Is (70/2 + 2)*7 prime?
False
Let c(p) = -2*p - 6. Let z be c(-5). Suppose -5 = -z*u + 7. Is u a prime number?
True
Let p be 6/9 + 398/6. Suppose -t - p = -z - 5*t, 5*z - 455 = 4*t. Is z a composite number?
True
Let y(a) = -a**2 - 7*a + 5. Suppose 0 = 4*k - 3*w + 18, 5*w + 6 = -4. Is y(k) a composite number?
False
Let o(b) = -b**2 + b + 415. Let x(n) = n - 7. Let j be x(7). Is o(j) prime?
False
Let s(k) = -1. Let n(o) = 46*o + 7. Let v = 12 + -6. Let c(w) = v*s(w) + n(w). Is c(1) prime?
True
Let y be 12 + -4 + (0 - 2). Suppose 0 = -2*r - 2*k, -2*k = y + 4. Suppose 2*h + 5 + 1 = 0, p + r*h + 8 = 0. Is p a prime number?
True
Let d(c) = c**2 - 2*c - 5. Suppose 0*q + 3*q + 12 = 0. Let b be (q + 0/2)/1. Is d(b) composite?
False
Let s(v) = -11*v - 5. Let o be s(8). Let n = 250 + o. Is n a prime number?
True
Let o(n) = 294*n - 59. Is o(8) composite?
False
Suppose 5*p + 4*u - 1791 = 0, -5*p + 3*u + 2170 - 372 = 0. Is p a prime number?
True
Let n = -225 - -904. Is n composite?
True
Suppose -4*h - 4 - 104 = 0. Suppose -2*p = -s + 47, -2*s = p + 23 - 102. Let l = h + s. Is l prime?
False
Suppose 3*l = -5*k + 7*l + 63, 2*l = k - 9. Is k*1*8/12 prime?
False
Let o be 2/(-4) + 305/2. Suppose -4*z + o = -4*p, -2*z + 81 = -0*z - 3*p. Is z composite?
True
Suppose 5*j + i - 6 = 3*i, 0 = -j - i + 4. Suppose -3*l + j*y = -427, -16 = -3*y - y. Is l composite?
True
Let g(z) = z**2 + 3*z - 8. Is g(6) a composite number?
True
Suppose 5*y - 1 = -16. Suppose -2*f + 3*x = -f - 6, -3*x - 24 = 2*f. Let c = y - f. Is c prime?
True
Let l(b) = 129*b**3 - 2*b**2 + 2*b - 1. Is l(2) a compo