lse
Let v(q) be the third derivative of 13*q**6/24 + q**4/12 - q**3/6 - q**2. Let t be v(1). Suppose -3*h = -45 - t. Is h composite?
False
Let w = 3 + 0. Suppose 1 = b - w. Suppose b*r - 239 = 29. Is r composite?
False
Suppose 5144 = 9*j - 2533. Is j composite?
False
Let p be (2 + 0)*(-5)/2. Let l(y) be the second derivative of y**4/4 + 5*y**3/6 + y**2/2 + 3*y. Is l(p) composite?
True
Let u = 329 + -36. Is u a composite number?
False
Let v(a) be the first derivative of -2 + a**3 + 2*a**3 + a - 3*a. Is v(3) composite?
False
Let b(n) = 2*n**2 + 18*n - 15. Is b(-17) composite?
False
Let u(w) = -2*w**3 - 3*w**2 - 6*w - 9. Is u(-4) a composite number?
True
Let b = 9 + -5. Suppose -b*w + 141 = -3*k, -2*w - 3*w = 4*k - 153. Is w prime?
False
Suppose -2529 = -11*k - 736. Is k a composite number?
False
Let x be (-5)/5 + 3174/(-2). Is (x/(-8))/(2/4) prime?
True
Let g(q) = -q**3 - 7*q**2 + 8*q - 1. Let h be g(-6). Suppose -p + 396 = p. Let f = p + h. Is f a composite number?
False
Suppose -2*h = h + 3*i - 1230, i + 829 = 2*h. Is h a composite number?
True
Suppose 0 = -g + 54 + 73. Is g composite?
False
Suppose -259 = 4*d - 11*d. Is d prime?
True
Suppose 5*s - 2342 = 4*q + 14623, -s = 2*q - 3379. Is s a prime number?
True
Let f(h) = -h**3 - 9*h**2 + 11*h - 5. Let d be f(-10). Is (-383)/(-5) - 6/d a prime number?
False
Let k be -1*1*(-2)/(-2). Let m(t) = -2*t**3 - 7*t**2 - 3*t + 3. Let y be m(-5). Is (y/12)/(k/(-4)) a composite number?
False
Suppose u = -3*v + 9, 2*v - v + 5 = -3*u. Let a = v - 0. Suppose -a*c = -54 - 6. Is c prime?
False
Suppose -3*v + y + 4196 = 0, -v = -3*y - 1226 - 170. Is v a composite number?
False
Let d = 105 + 72. Is d prime?
False
Suppose 5*b + m = 3340, 5*m - 121 - 523 = -b. Is b a composite number?
True
Let x be ((-1)/(-2))/(2/(-20)). Let c(f) = -23*f + 8. Is c(x) a prime number?
False
Let i = 21 - 21. Suppose l - 29 - 128 = i. Is l a composite number?
False
Let y = -19 - -74. Is y + (0/2)/3 composite?
True
Let i(s) = s**3 + 7*s**2 + 5*s + 4. Let t = 2 + -2. Let x be (-8 + t)*(-3)/(-4). Is i(x) composite?
True
Let p(d) = 8*d**2 - 3*d + 4. Suppose -2*q - 12 = 2*y + q, -4*y + 2*q - 8 = 0. Is p(y) a composite number?
True
Let z be 411/2 + 3/2. Suppose -4*f - 306 = -5*i, -5*i + 91 = -2*f - z. Is i a composite number?
True
Suppose z - 5*q = 29, 5*z = -q - 3*q. Suppose 13 = -3*s + z*c - 1, 4*s = -4*c + 28. Suppose -s*b + 60 = 2*b. Is b a prime number?
False
Let o(p) = 2*p + 6. Let s(h) = 5 - 12*h + 13*h - 3. Let j(y) = 2*o(y) - 7*s(y). Is j(-3) a composite number?
False
Let w(a) = -a**3 + 3*a + 3. Let n be w(-2). Let h(d) = 1. Let q(f) = 7*f. Let y(z) = -2*h(z) + q(z). Is y(n) a composite number?
True
Let l(i) be the first derivative of 2*i**3/3 + 2*i**2 - 11*i - 1. Is l(8) prime?
True
Suppose c + 3*m - 51 = 0, 2*m - 197 = -3*c + 4*m. Suppose -5*v = -338 + c. Is v composite?
True
Let h = -15 + 1. Is (-4)/h + (-152)/(-7) a composite number?
True
Suppose -585 = -m - 2*m. Suppose -h - 2*h = -m. Is ((h + 0)*1)/1 a composite number?
True
Let y = -1011 + 1640. Is y composite?
True
Suppose -h + 9 = h - 3*u, -4*h - 4*u + 28 = 0. Suppose 0 = -0*b - 3*b + h. Suppose z - 2*r = -r + 47, -b*z - 4*r = -88. Is z prime?
False
Let p(w) = w**2 + 8*w + 14. Let b be p(-6). Suppose -2*n + 254 + 360 = 2*v, 2*v = b*n + 614. Is v a composite number?
False
Let x = 461 - 238. Is x a prime number?
True
Is (-414)/4*(-2)/3 composite?
True
Suppose 629 = 3*r + 5*a - 3*a, 2*a - 418 = -2*r. Is r a composite number?
False
Suppose 805 = o + 4*o. Is o a composite number?
True
Suppose 55*j = 52*j + 177. Is j prime?
True
Let z = -1 - -6. Suppose -5*r = -z*c + 20, -1 = 4*c - 2*c - 5*r. Is c a composite number?
False
Let b(f) = -f**3 + 12*f**2 - 11*f + 4. Let u be b(11). Let t = -19 - -4. Is u/(-10) + (-381)/t a composite number?
True
Suppose -2*h - 3*h - 361 = -4*q, 3*h + 179 = 2*q. Is q composite?
True
Suppose -4*k + 31 = -101. Is k a prime number?
False
Suppose 5*b = 3*w + 18, 0 = 4*b - 0*w + 2*w - 10. Suppose -5*r + b*h + 388 = 0, -4*h + 13 = -r + 94. Is r prime?
False
Let b(j) = -21*j + 3. Let q be b(15). Let t = q - -559. Is t a composite number?
True
Let n(s) = 2*s**3 + 4*s - 6. Let c(q) = q**3 - q**2 + q - 1. Let u(o) = 3*c(o) - n(o). Let h be u(4). Suppose -h = -5*b, -2*b - 41 = -2*p + p. Is p prime?
True
Suppose v - 3 = 70. Let z = v - 52. Let o = z - 2. Is o prime?
True
Suppose 0 = -m - 5*y, 5*m + y - 24 = -0*y. Suppose -m*v + 281 = -3*o, -2*o - 169 = v - 4*v. Is v a prime number?
False
Let g = 11 - 6. Suppose -3*v + 2*o + 23 = 0, 0 = -6*v + 2*v - g*o + 23. Is v a composite number?
False
Let j be (-1)/2 + (-39)/(-2). Suppose -p + 0*p + j = 0. Suppose 0*n - p = -n. Is n a composite number?
False
Let y(s) = s**2 - 4*s - 11. Is y(7) a composite number?
True
Let k = 20 + -13. Is k/28 - 59/(-4) a composite number?
True
Is (20/(-6))/(12/(-954)) a composite number?
True
Suppose -j + 2507 = 4*j + 3*m, 0 = -3*j + m + 1493. Is j prime?
True
Is (-14)/49 + 6705/21 prime?
False
Let v = 194 + -123. Is v prime?
True
Let w(i) = 51*i**2 + 6*i + 5. Let n be w(-5). Suppose -5*p + n = 2*c + 3*c, -5*c + 1254 = p. Is c a prime number?
True
Suppose 0*q + 3*q - 4*c - 145 = 0, 4*q + 3*c - 160 = 0. Is q a composite number?
False
Suppose 65 = t - 308. Is t composite?
False
Let v(m) = -m**2 - 6*m - 6. Let h be v(-6). Let s be (-3)/2*56/h. Is (2 - 1/(-2))*s a composite number?
True
Suppose n + 8 - 65 = -5*m, 12 = -4*n. Suppose -3*w = -m - 759. Is w prime?
True
Let b(d) = 1883*d. Is b(1) prime?
False
Let q(m) = 8*m**3 - 8*m**2 + 3*m + 16. Is q(5) a composite number?
True
Let l(g) = 20*g**2 + 3*g. Let p(i) = 20*i**2 + 4*i. Let r(z) = 3*l(z) - 2*p(z). Let q be r(1). Let o = q - -1. Is o a prime number?
False
Let y(n) be the first derivative of 5*n**2/2 + 4*n - 2. Is y(3) a composite number?
False
Let s = 495 + -274. Is s prime?
False
Suppose b + 3*k = 34, 2*b + 2*b - 153 = 5*k. Suppose 0 = 5*d - 2*p - 159, 3*p + 0*p = d - b. Is d a composite number?
False
Let m(n) = 13*n - 1. Let s(w) = 39*w - 2. Let b(l) = 11*m(l) - 4*s(l). Let g be b(-11). Suppose -g = -2*h - 2*h. Is h a composite number?
True
Suppose 0 = 3*h + 2*o - 285, h - o - 95 = -5*o. Is h a prime number?
False
Let z = 1 + -4. Let b = z + 4. Let o = 4 - b. Is o composite?
False
Suppose 0 = 5*v + s - 0*s - 1731, 696 = 2*v + 4*s. Is v a composite number?
True
Suppose -261 = -6*i + 513. Is i composite?
True
Suppose 5*n - 4436 = -3*q, 6*q - 2*q = 3*n - 2679. Is n a prime number?
False
Let w = 263 - -118. Is w a composite number?
True
Let y(q) = 5*q - 4. Let g(v) = 11*v - 7. Let j(c) = 4*g(c) - 9*y(c). Let p be j(8). Suppose 0*z + 564 = 5*x - z, -2*x - 2*z + 228 = p. Is x a prime number?
True
Let f(l) = l**2 + 7*l - 4. Let p be f(-8). Suppose -5*y + 483 = 3*q, p*y - 3*q - 29 = 379. Suppose 3*z = -3*t + y, -164 = -6*t + 2*t + 4*z. Is t composite?
False
Let m = -383 + 225. Let y be m/((-1 - -2)*-1). Let j = y - 103. Is j prime?
False
Suppose 3*q - 2*q = 2. Suppose -f - q = 0, 5*a - 1875 = 4*f + 3118. Is a a prime number?
True
Let j be (-1 + 2)/((-1)/3). Let k(q) = q**2 + q + 3. Is k(j) a prime number?
False
Suppose -a - 2*f - 2*f - 13 = 0, 3*a - 5*f = 12. Let b = a + 6. Suppose -5*x - 16 = -3*l, 0 = b*l - 2*l - 3*x - 18. Is l a prime number?
True
Suppose -4*z = -16, u + 2*u + 4*z - 22 = 0. Let s = u + -4. Let l(p) = 14*p**2 + 2*p - 1. Is l(s) a composite number?
True
Suppose -5*u = 5*n + 5, 2*n + 45 = 5*u - 3*n. Suppose -c = -2, -186 = -4*a + 3*c - u. Is (a/4 - 2)*4 a composite number?
True
Let l = 33 - 66. Let k = l + 70. Is k prime?
True
Let o(a) be the first derivative of 4*a**3/3 + 3*a**2/2 + 3*a - 4. Is o(4) a prime number?
True
Is (-148)/6*(11 - 14) a composite number?
True
Let i(g) = -2*g - 5*g - g**3 + 1 - 4*g**2 + 4*g. Let p be i(-3). Is 0 + p + 35 + -1 prime?
False
Let z(a) = -392*a + 17. Is z(-5) a prime number?
False
Let z(u) = -u**3 - 16*u**2 - 20*u + 17. Is z(-16) composite?
False
Suppose -2*h - c - 674 = h, -h - 5*c = 220. Let a = h - -386. Is a prime?
False
Let s be -8 + 11 - 2/(-2). Suppose 0 = s*v + 155 - 787. Is v prime?
False
Let n = 1199 - 558. Is n a composite number?
False
Let q be (-1 + 1)*(-1)/(-2). Let g be (-3)/(-6) + (-6)/(-4). Suppose 3*b - 2*z - 157 = q, 0*z = 3*b + g*z - 161. Is b a prime number?
True
Let c(