lse
Let h be -8 + 5 - (-204)/(-3). Let m = 128 + h. Is m composite?
True
Let c = -3 + 7. Let v(a) = -5*a**2 + 3*a + a**3 + a**2 - 1 - 4. Is v(c) a prime number?
True
Let g(k) = -k**3 + 7*k**2 + k - 7. Let d be g(7). Is (d + -2 + 3)*79 a composite number?
False
Let p = -6 + 11. Suppose 4*j + 5*x = -j - 230, -p*j + 3*x = 254. Let y = -12 - j. Is y a prime number?
True
Suppose -5*l + 465 = -2*l. Is l a prime number?
False
Let r(m) = m**3 + 9*m**2 + 9*m - 4. Is r(-7) a prime number?
True
Suppose -m + z = 3*m - 238, 0 = 4*m + 2*z - 232. Is m a prime number?
True
Let l(c) = 10*c**2 + 15*c - 7. Is l(6) a composite number?
False
Let t(y) = -y. Let l(o) = -3*o + 9. Let k(i) = -l(i) + 2*t(i). Let m be k(0). Let w = m + 31. Is w prime?
False
Let j(q) = q - 1. Let w(c) = 19*c - 38. Let m(u) = 38*j(u) - w(u). Is m(1) a composite number?
False
Let x(o) be the first derivative of 7*o**6/40 + o**5/30 - o**4/24 - o**2/2 + 1. Let j(v) be the second derivative of x(v). Is j(1) prime?
False
Suppose 8*n - 3*n = 1910. Suppose 0 = -h + 3*h - n. Is h prime?
True
Let h = 750 + -341. Is h a composite number?
False
Suppose -2*u = -3*n + 659, 3*u - 6*u - 441 = -2*n. Suppose 2*x + n = 5*x. Suppose 0 = -5*f - a + 119, -2*f - f - a + x = 0. Is f composite?
False
Let o(u) = 3*u**2 - u - 1. Let m be o(-1). Suppose 6*d - 2*d = -m*k + 31, -d = 3*k - 19. Suppose -361 + 29 = -d*x. Is x prime?
True
Let n = -52 - 13. Let t = n + -21. Let s = -49 - t. Is s prime?
True
Let o be (3/(-6))/((-1)/(-2)). Let z = 2 - o. Is z prime?
True
Suppose k + 67 - 181 = 0. Suppose l - 3 - 1 = 0. Suppose l*p + 30 = k. Is p composite?
True
Let t = 1351 + -600. Is t a composite number?
False
Let t be (-2)/(-4) + 49/14. Suppose -6 = -5*w + t. Suppose -w*y + 81 + 44 = -3*l, l + 177 = 3*y. Is y composite?
True
Let y = 10 - 10. Suppose y = -2*h - 2*h + 508. Is h prime?
True
Let g = 937 - -4910. Is g a composite number?
True
Let w be (-1)/2*4/(-2). Suppose -8 = 2*d - d. Is w - -20 - d/4 prime?
True
Suppose -5*x + 3950 = 5*r, -2*r + 0*x = -5*x - 1545. Is r prime?
False
Let m(b) = 6*b**2 - 1 + 33*b**3 - 1 - 3 + b - 32*b**3. Is m(-5) prime?
False
Let l(p) = -p**3 - 3*p**2 + 6*p + 2. Let i be l(-4). Let u(x) = 2*x**2 - 4*x - 9. Is u(i) composite?
True
Suppose -3*s - 684 + 1628 = 5*v, -5*v + s + 932 = 0. Is v composite?
True
Let m(a) = 83*a - 1. Let r(y) = -83*y + 1. Let n(u) = -4*m(u) - 3*r(u). Let s be n(-4). Suppose 303 = -3*j + 7*j - v, -4*j = 5*v - s. Is j a composite number?
True
Is 4/22 - (-14693)/77 composite?
False
Let a = 168 + -87. Let k = a + -48. Is k a prime number?
False
Let o(m) = m + 15. Suppose 2 = -2*z + 3*z. Let t be (0/(-1))/(z + -4). Is o(t) a prime number?
False
Is (1 - -292)/(-1 - -2) composite?
False
Is 110/6 + 8/12 composite?
False
Let c(a) = -28*a + 9. Is c(-5) a composite number?
False
Is 18/(-45) + 2934/10 a composite number?
False
Let l(v) = -3*v**2 - 3*v**2 + v**2 + 0*v + 4 - v. Let r(m) = 11*m**2 + 3*m - 8. Let w(t) = 13*l(t) + 6*r(t). Is w(-5) prime?
False
Let g(u) = -9*u + 5. Let k(m) = m - 1. Let j(h) = -g(h) - 5*k(h). Let n be j(1). Is (-2)/(((-24)/159)/n) prime?
True
Let s(w) = -4*w - 1. Let t be s(5). Let r be (-1068)/(-14) + 6/t. Let p = 135 + r. Is p composite?
False
Suppose 5*n + 4*j - 55 = 7*j, 0 = -4*j. Let m(a) = -a**3 + 9*a**2 - 5*a - 3. Let i be m(8). Let b = i - n. Is b a composite number?
True
Suppose -l - 11 = 4*s, 10 - 3 = 3*l + 2*s. Suppose -3*k + 39 = -3*z, -3*z - 17 = 2*k + 47. Let b = l - z. Is b a prime number?
True
Suppose -5*n + 1444 + 451 = 0. Is n a composite number?
False
Let u(j) = 4*j**3 - 2*j**2 - j + 70. Let t(a) = -7*a**3 + 3*a**2 + 2*a - 139. Let z(w) = -3*t(w) - 5*u(w). Is z(0) a composite number?
False
Let m be (2 - 3)/(2/(-22)). Let r = m - 5. Let f = 9 + r. Is f a prime number?
False
Suppose 0 = 4*k + 461 + 99. Is k/(-3) - (-4)/12 a prime number?
True
Is (11558/4)/(15/6 - 2) a prime number?
True
Suppose 7*m = 5*m, -y - 4*m = -2. Suppose 0 = -2*w - y*j - 12, -6*j + j + 26 = -3*w. Let b = w + 18. Is b a prime number?
True
Let m = -5 - -7. Let h(b) = -b**3 - 2*b**2 - 3*b - 1. Let f be h(-2). Let u = f - m. Is u a composite number?
False
Let j(m) = m + 2. Let s(g) = 2*g + 2. Let c(o) = -3*j(o) + 2*s(o). Let t be c(0). Is -2*(1 - (-9)/t) composite?
False
Let k be 8/((0 - -2)*1). Suppose 5*x + 10 = 0, -4*x - 353 = -0*f - f. Suppose 0 = l + k*l - f. Is l composite?
True
Suppose -4*x = -145 - 307. Is x composite?
False
Suppose -2*f + 1984 = 2*y, 2*y - 991 = -f - 0*y. Suppose 11*n - 14*n + f = 0. Is n prime?
True
Let m = 204 + -146. Is m composite?
True
Let s = -357 - -160. Let r = s - -276. Is r a prime number?
True
Let f(z) = z**3 - 9*z**2 - 4*z. Let q(g) = 9*g**3 - 1. Let v be q(1). Let m be f(v). Let o = -41 - m. Is o composite?
True
Suppose 277 = -7*m + 2328. Is m a prime number?
True
Let s be (-8)/(-12) - 14/(-6). Suppose -3*v + 393 = 5*t + 131, 5*t - s*v = 268. Is t composite?
False
Suppose 0 = -0*b + 2*b + 4. Let c(o) = o. Let x be c(b). Is x/3 + 58/6 prime?
False
Suppose -m + 18 = 2*v, -v = -4*v + 5*m + 27. Let q be (-5)/(60/v)*-380. Suppose q = 2*o + 3*o. Is o a composite number?
True
Let s(i) = 87*i - 17. Is s(8) prime?
False
Let p(u) = -2 + 2*u - 17*u - 4*u. Suppose 5*k = -n - 25 + 2, k + 4*n + 16 = 0. Is p(k) a composite number?
True
Suppose -3548 - 98 = -2*w. Is w a composite number?
False
Suppose 5*o - 10 = -f + 18, -2*f = o - 11. Let q = 256 - f. Is q composite?
True
Suppose -229 + 1162 = 3*p. Is p prime?
True
Let x(u) = -1 - 2 - 38*u + 36*u. Suppose -l + 3 = 10. Is x(l) composite?
False
Suppose 2*b = -b + 48. Suppose 0*r + r = -5*c - 10, -c = 2*r - b. Is r composite?
True
Suppose 5*j - 2*y = 2*y + 451, 0 = -3*j + 4*y + 277. Is j composite?
True
Let w = -73 + -45. Let a = w + 5. Let h = 192 + a. Is h composite?
False
Let v = 2 + 1. Is (0 - -52)*v/6 prime?
False
Let r(a) = a + 1. Let l(y) = -13*y - 10. Let w(d) = l(d) + 3*r(d). Let n = 5 + -11. Is w(n) a composite number?
False
Let c = -60 + 110. Is c + 0 - (20 - 23) a composite number?
False
Suppose -h - 2*h - 137 = -5*l, 3*l - 2*h = 82. Suppose -v = -4*b - 16, 3*v + 4*b = 7*v - l. Suppose v*g - f - f - 200 = 0, -43 = -g - 3*f. Is g prime?
False
Let p = -1258 + 1920. Is p a composite number?
True
Let c = 21 - -356. Is c a composite number?
True
Suppose l + 0*w = -4*w + 10, -40 = -4*l + 3*w. Is l/((-4)/(-22) + 0) a composite number?
True
Suppose -k + 15 = -q + 347, -3*k = 4*q - 1321. Is q a prime number?
True
Let l(y) = 5*y**2 - 4*y - 31. Is l(-10) a composite number?
False
Let f be 2/(-4) + 45/6. Suppose 44 = f*y - 2*y - w, 5*w + 36 = 2*y. Let x(t) = 2*t + 3. Is x(y) a composite number?
False
Let r(y) = -y**3 + 2*y**2 + 2*y + 3. Let a be r(3). Let u be 6*((-79)/3 + a). Let z = -45 - u. Is z a prime number?
True
Suppose 3 = 2*g - c - 84, 0 = -4*g - 4*c + 168. Suppose -g - 88 = -a - 4*k, -5*a = -3*k - 632. Is a prime?
True
Suppose 0 = -4*n + 4*v + 1744, 3*n + 3*v = -2*v + 1332. Is n composite?
False
Let a(u) be the first derivative of u**3/3 - u**2 + 11*u - 1. Let m be a(13). Suppose 2*w = -5*f + m, -f - 272 = -4*w - 2*f. Is w a composite number?
False
Let v be ((-212)/8)/((-2)/(-8)). Let z = v - -155. Is z composite?
True
Let s = 731 - -648. Is s a composite number?
True
Suppose -5*v - 682 = -7872. Is v composite?
True
Let j(k) = -k**2 - 6*k - 2. Let u be j(-5). Suppose -u*o + 452 = o. Is o composite?
False
Let o = 447 - 256. Is o a composite number?
False
Let u(w) = w**3 + 25*w**2 - 34*w - 23. Is u(-26) prime?
False
Let d(r) = -r - 4. Suppose -17 - 24 = 5*l - 2*m, 0 = 4*l + m + 38. Let h be d(l). Suppose -460 = b - h*b. Is b prime?
False
Suppose 3*p - 3*r = 21, p + 3*r - 3 = -4. Suppose -2*z - 882 = -5*n - 309, -3*z - 572 = -p*n. Is n composite?
True
Let b = -48 - -81. Is b composite?
True
Let r(s) = -s**3 + s**2 + s + 24. Let f be r(0). Suppose 2725 = -f*z + 29*z. Is z composite?
True
Suppose -417 + 156 = -3*l. Is l prime?
False
Suppose -5*t + 21 - 1 = 0. Suppose 5*f = t*f + 4*z + 47, -3*f = -4*z - 133. Is f a prime number?
True
Let b be (-1)/2*(-1 + -7). Suppose b*a + 0*a - 392 = 0. Suppose 0*m + 3*m - 196 = -4*p, -2*p + m + a = 0. Is p composite?
True
Suppose -2 = -2*h - 2*o, -5*h + 2 = o + 1. Suppose 0*k - k = h. Is 6 - (k - -2 - 3) a prime number?
True
Suppose -10 = 2*j, 0 = 2*