lse
Let i(r) = -2*r**2 + 5*r + 5. Let m be i(-4). Let w = m - -316. Is w prime?
True
Suppose 0 = -13*m - 150301 + 46197. Is m/(-14) + 1*(0 + 1) composite?
True
Let a = -10457 - -15066. Is a composite?
True
Let q be (-2 + -5)/((-5)/155). Suppose q = k - 102. Suppose -5*z - i + 990 = -710, 4*i = z - k. Is z a composite number?
True
Let n = -898 - -521. Let l = 1528 + n. Is l composite?
False
Let v = -6 - -11. Suppose 3*l = 4*h + v*l - 6, -13 = -5*h + 3*l. Suppose -t = 4*s - 0*t - 1003, -3*s - h*t + 751 = 0. Is s composite?
False
Suppose 342*o - 350*o = -70472. Is o composite?
True
Suppose 572592 + 243597 = 33*m. Is m composite?
False
Let a be (8 + 2 - 2) + -1. Suppose -14 = 3*m + 4*n, 0*m - 21 = -3*m + 3*n. Suppose -m*d - 115 = -a*d. Is d a prime number?
True
Suppose -3*r = g - 2593, -4*g + 3415 = -3*r - 7017. Is g prime?
False
Suppose -49 + 7 = -3*q. Suppose 5*x - 3*z = -16, -z = 2*x - 6*z + q. Is (x + 522/(-4))*-2 composite?
True
Suppose -5*l - 2088 + 783 = 0. Suppose -5*r + 4912 - 1092 = 0. Let f = l + r. Is f prime?
True
Let d = -26760 - -50903. Is d composite?
True
Let v(k) = 6 + 16*k + 16*k - 3. Suppose -5*h - 21 = -41. Is v(h) composite?
False
Suppose 3*n = -5*a + 16, 4*a = -4*n - 0*n + 16. Suppose a*t = 7*t - 5205. Is t a prime number?
False
Let a(j) = 7*j**2 + 5*j**2 + 8*j**3 + 21 - 7*j**3 - 10*j. Is a(-12) composite?
True
Let x(n) = -n**2 - 3*n + 191. Let d(p) = 2*p + 16. Let u be d(-8). Is x(u) composite?
False
Suppose 0 = -4*l - 4*z + 7*z + 2957, 0 = l + 4*z - 763. Is l a prime number?
True
Suppose -3*h = 3*b - 2916, -2*b + 1900 + 39 = h. Is b a prime number?
True
Let u(t) be the third derivative of -t**6/120 - t**5/12 + t**4/24 + 7*t**3/6 + 7*t**2. Let c be u(-5). Is (c + -3)/(8/(-1592)) a prime number?
True
Let m = -9 + 14. Suppose k - 1738 = -m*j, j + 3*k - 26 - 330 = 0. Is j a prime number?
True
Let g be (2 - 15/9)/((-5)/(-37425)). Suppose 35*p = 40*p - g. Is p a prime number?
True
Let t(n) = 606*n - 11. Let a(c) = 303*c - 5. Let o = -37 + 32. Let y(m) = o*a(m) + 3*t(m). Is y(3) a prime number?
False
Suppose 9*m - 2718 - 47763 = 0. Is m composite?
True
Let d = 5605 + 5638. Is d prime?
True
Let m(x) = 376*x + 91. Is m(27) composite?
False
Suppose 5*p - 8971 = 4*r, 0 = -0*r + 2*r + 8. Let g = 3568 - p. Is g a prime number?
True
Let g = 662 + -428. Let j = g - 137. Is j a prime number?
True
Let z(j) = j**2 + 2*j. Let b be z(0). Suppose -3*u = -b*m + 5*m - 1187, -3*u = -2*m - 1159. Is u composite?
False
Suppose 68*p - 660474 = 132746. Is p a prime number?
False
Let w(q) = -9*q + 54. Let c be w(6). Suppose -5*v - 4*v + 24903 = c. Is v composite?
False
Let y(p) be the third derivative of p**5/60 + p**4/8 - 5*p**2. Let f be y(-3). Suppose -3*c + 394 = 2*x, -5*x - 3*c = -f*x - 1003. Is x a prime number?
False
Let i(l) = l**2 + 5*l - 2. Suppose 5*h = 2*a - 7*a - 55, 4*a = 5*h + 10. Let w be i(h). Suppose -w*f + t + 32 = 5*t, -5*f = 4*t - 39. Is f a prime number?
True
Suppose -2*d - 2*x + 5306 = 298, 5038 = 2*d - 4*x. Suppose w = -5*a + 593, -3*w = 4*a - d + 686. Is w prime?
True
Let l(x) = x**2 + 22. Suppose 3*t = t + 46. Is l(t) prime?
False
Let o(w) = w**2 - 8*w - 5. Let d be o(9). Suppose g = -d*g + 25. Suppose 3*z + 194 = g*z. Is z prime?
True
Let r be ((-574)/(-1) + -3)*-1. Let s = r - -270. Let d = -206 - s. Is d a prime number?
False
Let t = 43 + -28. Suppose 2566 = -12*r + 6490. Suppose -4*n = 2*a - r - t, -2*n + 3*a + 167 = 0. Is n prime?
False
Let k(d) = 17*d + 12. Suppose -g = -c - 3*c + 23, -2*g - 26 = -4*c. Is k(c) a composite number?
False
Let c(v) be the third derivative of 13*v**4/12 + 3*v**3/2 + 5*v**2. Is c(4) prime?
True
Let n be ((-2202)/(-1))/(-3)*6/(-12). Let s = -224 + n. Is s prime?
False
Suppose a - 18 = -y - 4*a, 0 = -3*y - 2*a + 15. Suppose y*o + o - 1688 = 0. Suppose o = u + u. Is u a composite number?
False
Let o = -166 + 5533. Is o a prime number?
False
Let r(c) = -c**3 + 19*c**2 + 17*c + 6. Let b be r(18). Let a(j) = -j + 13. Let q be a(9). Suppose q*m + 64 - b = 0. Is m a composite number?
True
Let j = -88040 + 166713. Is j composite?
True
Is -5259*4/6*2/(-4) a prime number?
True
Let t = -1384 - -1941. Is t a composite number?
False
Suppose 2*p - 114323 = -w, 7*w - p - 114335 = 6*w. Is w prime?
False
Let o(m) = -6 + 17*m - 7*m**2 - m**2 - 9*m. Let k(d) = -7*d**2 + 9*d - 7. Let g(w) = 3*k(w) - 4*o(w). Is g(-4) a prime number?
True
Let k = -2264 + 5240. Suppose -729 = -2*s + s - 4*j, -4*s - 4*j = -k. Is s a prime number?
False
Let a = -908 + 4371. Is a composite?
False
Suppose -5*c + c + 3*c = 0. Suppose c*p + 210 = 6*p. Is p prime?
False
Suppose t - 3*t = 4*x + 14, 5*x = -4*t - 19. Let d(c) = -2*c - 1. Let z be d(x). Suppose 283 = z*n + 4*h, -h + 1 = 4. Is n composite?
False
Is ((-2664)/108)/((-4)/138) a composite number?
True
Let o = -964 + 1481. Is o prime?
False
Let a = 26711 - -1546. Is a composite?
True
Suppose -2*o + 20 = 5*q + 88, 44 = -5*q + 4*o. Is -1*331*(-19 - q) a composite number?
True
Is 3*(-8 - 5800/(-24)) prime?
True
Let y(i) = -18*i + 6*i - 17 - 4 - 17*i. Is y(-8) a composite number?
False
Suppose 2*t = 2*b - 226, -b + 233 = b + 5*t. Suppose -2*z + 5*i = -207, 2*z - z - b = -i. Suppose z = 4*d - d. Is d composite?
False
Suppose 0 = 4*j - 4*s - 3384, -5*j + 3*s - 4*s = -4260. Suppose 222 = -3*x - 5*k + 1518, 0 = -2*x + k + j. Is x prime?
False
Let n(t) = 0 + 3 - 4 + 2 - 333*t. Let u be n(-1). Suppose 0 = -5*v + 121 + u. Is v composite?
True
Let v be (-2)/(-8) - 29/4. Is 724/6 - v/21 composite?
True
Let j(h) = 4*h**3 + 13*h**2 + 25*h + 9. Is j(14) a composite number?
False
Let i be (3 + 2)*(-2 + 3). Suppose 0 = -0*o - o, i*g + o = 1695. Is g prime?
False
Suppose -22 + 4 = -2*s. Is (138/s + -4)*(-657)/(-6) prime?
False
Let o(x) = -2*x**3 + 9*x**2 - 4*x + 2. Suppose d - 8 = i - 3*d, -3*d = -i - 5. Let y be o(i). Suppose 0 = y*k - 7*k + 2110. Is k a prime number?
False
Let p = -2677 - -4678. Suppose -5*j + 2*j + p = 0. Is j composite?
True
Let n(u) = -u**2 + 8*u + 1. Let a be n(4). Suppose -6 = -2*j, r = 2*j - a + 260. Let g = -88 + r. Is g prime?
False
Let c be ((-110)/15)/(4/6). Let o = c - -16. Suppose -7*u + 3*u = -3*x - 1739, -o*x = -3*u + 1318. Is u a prime number?
True
Suppose -20*s - 4968 = -24*s. Suppose -47 = j - s. Is j a prime number?
False
Let r(o) = o**2 + 2*o + 4. Let d be r(-2). Suppose -d*u + 9815 = 547. Is u a composite number?
True
Let d = 514 + -1355. Let p = d + 1514. Is p prime?
True
Let z be ((-14)/8)/(2/8). Let r(b) = -b**3 + 6 + b**2 + 50*b + 34*b - 75*b. Is r(z) a composite number?
True
Suppose 1952 = -2*w + 3*w. Let r = w + -625. Is r a composite number?
False
Let m = -30 - -64. Suppose -13 - m = -5*v + 4*d, 18 = 2*v - 2*d. Is v a composite number?
False
Let q(g) = -17 + 2*g - 13*g + 3*g. Is q(-22) a composite number?
True
Let h(m) = -31*m**3 - 4*m**2 - 3*m. Let g(s) = 32*s**3 + 5*s**2 + 4*s. Let w(k) = -2*g(k) - 3*h(k). Let d be w(-2). Is (6/4)/((-1)/d) a composite number?
True
Suppose 858 = 2*k - 1574. Suppose -4*x + 0*x + k = 0. Let y = x - -13. Is y prime?
True
Suppose -4*p - 7 = 3*n + 2*n, -13 = -4*n + 3*p. Suppose -3*x + 3 = 3*z, -z - z = x + n. Let d(t) = -10*t**3 + t - 1. Is d(z) composite?
True
Suppose -t - 15327 = -2*g, g + 0*g + t = 7656. Is g composite?
True
Let q(t) = t**2 + 8*t - 2. Let l be q(-14). Suppose -2234 = l*f - 84*f. Is f a prime number?
True
Let n = -5 + 10. Let t(i) = i**2 + 29*i + 25. Let v(j) = -7*j - 6. Let s(o) = 2*t(o) + 9*v(o). Is s(n) a composite number?
True
Let z = -4031 + 8076. Is z a prime number?
False
Let b(a) = 3026*a - 137. Is b(3) a prime number?
True
Let v be 56*(9/(-2))/9. Let a = 34 + v. Is a composite?
True
Let c = -913 - -4464. Is c composite?
True
Let t(v) be the second derivative of -v**5/10 + v**4/4 + v**3/2 - 3*v**2/2 - 3*v + 7. Is t(-5) prime?
True
Suppose 6*w - 2*w = -h - 38, 0 = 3*h + 6. Is (w/(-15)*2)/(18/10485) a prime number?
False
Suppose -5*j + c + 100861 = 0, -20 = -c - 4*c. Is j prime?
True
Suppose -4*p + 12 = -4. Suppose -12 = p*q, f - 2*f + 4*q = -676. Suppose 3*u - 4*u + f = 5*a, -136 = -a + 3*u. Is a composite?
True
Is (-4)/(-14) - (-145340)/28 composite?
True
Suppose 0*t = -t + 7. Let a(h) = h**3 - 7*h**2 + 7. Let k be a(t). Let q(b) = -b**3 + 14*b**2 - b - 5. Is q(k) a prime number?
True
Suppose 6*h