lse
Suppose 2*i = -3*i + 20. Suppose o - i*t = 2*o + 2, -3*o - 6 = -t. Is -1*-1*(o - -337) composite?
True
Let x be -2*(418/4 - -3). Let b = -52 - x. Is b composite?
False
Let d(x) = 16*x**2 - 3*x - 4. Suppose 4*m = 5*m - 2. Let a = m - 5. Is d(a) composite?
False
Let l(f) = f**3 - 20*f**2 + 35*f + 49. Is l(25) a prime number?
True
Suppose 348 + 828 = 2*l - 2*b, 2*l - 1176 = -4*b. Let c = l - 367. Is c a prime number?
False
Let s = 13 + -1. Let g = s - 8. Suppose 2*q + 3*v = -0*q + 185, 0 = -g*q + 4*v + 360. Is q a prime number?
False
Suppose -4*k + 0*k - 28 = 0. Let h(g) = 17*g + 16. Let j(w) = -8*w - 8. Let d(x) = 2*h(x) + 5*j(x). Is d(k) composite?
True
Suppose -7*m - 52664 = -15*m. Is m composite?
True
Suppose -2*i + 5*i - 15495 = 0. Is 8/(-32) - i/(-4) a prime number?
True
Suppose -487*t = -495*t + 5192. Is t composite?
True
Let r(j) be the first derivative of j + 0*j**2 - 5*j**4 + 7 + 2/3*j**3. Is r(-2) a composite number?
True
Let i(x) = 6*x**3 + x**2 + 3*x + 376. Let n(g) = 7*g**3 + g**2 + 4*g + 375. Let s(o) = 6*i(o) - 5*n(o). Is s(0) prime?
False
Let u be (((-50)/15)/5)/((-2)/6). Is (-701)/(-2)*(10 + -6 - u) composite?
False
Let o(l) = 105*l + 1. Let g(s) = -3 + 2*s - 3*s + 2*s. Let f be g(5). Is o(f) composite?
False
Let s be (-1)/(-2) + 6/(-4). Let o be s + 3 + 6 + -4. Suppose -2*q = 2*p - 0*p - 102, -q + o*p = -41. Is q prime?
False
Suppose o + 3*h - 379 = 2614, 0 = -3*o + h + 8959. Is o a composite number?
True
Suppose 4*k - 9*k + 4*h = -57, -3*h - 59 = -5*k. Suppose -10405 = k*t - 18*t. Is t prime?
True
Suppose -3*i - 3489 + 13116 = -3*x, 3*x + 6422 = 2*i. Is i prime?
False
Suppose 5*x + 124 + 786 = 5*c, -5*x - 556 = -3*c. Is c prime?
False
Is 33035/15 + (20/(-15))/(-2) prime?
True
Suppose u + 2*u = -3*a + 71928, -2*a - 3*u = -47957. Is a a prime number?
True
Let b be (-2)/13 - 3930/(-195). Let p = -17 + b. Is ((-3)/6)/(p/(-1146)) a prime number?
True
Suppose 4*s = -4*k, 9*s - 6*s + 4*k = -4. Suppose -s*f = -f - 11541. Is f prime?
True
Let n be (-822)/(-4) + 6/(-12). Let w(h) = -3*h**2 + 3*h. Let v be w(2). Let b = n - v. Is b a composite number?
False
Let g be (-192)/(-9) + (-4)/(-6). Suppose z - g = -z. Let k(t) = t**3 - 10*t**2 - 9*t. Is k(z) a prime number?
False
Let t(i) = i**3 - 13*i**2 + 5*i + 13. Let m be t(9). Let n = m + 633. Is n composite?
False
Let m(q) = 643*q - 9. Is m(2) composite?
False
Suppose -3*p + 4*v - 15 = 0, 0*p + 25 = -5*p + 2*v. Let s(z) be the third derivative of -19*z**4/12 + 3*z**3/2 - 15*z**2. Is s(p) composite?
False
Let o be ((-8)/2)/(12/(-150)). Let h be ((-20)/o)/((-2)/20). Suppose 2*q = 2 + h, 1277 = 5*k + 4*q. Is k a prime number?
False
Let s be 2*(-82)/(-8) - 11/22. Suppose -16*v + s*v - 7604 = 0. Is v composite?
False
Is 15 - (-351360)/18 - (1 + -1) prime?
False
Suppose 8*u - 12 = 2*u. Let w be (0 - 1) + 2 + u. Suppose 0 = -n + 3*i + 113, -4*i - 587 = -2*n - w*n. Is n a prime number?
False
Is (13/39)/((-4)/154668*-1) prime?
True
Suppose -4*u + 35 = u. Suppose 8 = -4*m + 5*k, 5*m = -4*k + 3*k + 19. Suppose m*p = y + 43, u*y - 10 = 2*y. Is p composite?
True
Let y(c) = -c**3 - 15*c**2 - 2*c - 23. Let f be y(-17). Let h = f - -782. Is h a composite number?
True
Let h(p) = 11*p**3 - 3*p**2 + p + 1. Let n be h(1). Is 457/((5 - n) + 6) prime?
True
Let f(d) be the third derivative of -d**6/120 + 13*d**5/60 + d**4/8 - d**3 + 2*d**2. Suppose -30*q + 312 = -6*q. Is f(q) prime?
False
Let h = -19 + -21. Is ((-1888)/h)/((-3)/30*-4) composite?
True
Let h(z) be the second derivative of 11*z**7/1260 - z**6/180 + z**5/120 + z**4/4 + 9*z. Let d(q) be the third derivative of h(q). Is d(-3) a prime number?
True
Let d be 1*(2 + (-4 - -7) + -3). Let n = 4 + -2. Suppose -95 = -c + d*j, n*c - j + 2*j - 175 = 0. Is c a composite number?
False
Let a = -22657 - -79640. Is a prime?
True
Suppose 3*u = -a + 78419, 2*u + 2*a + 78431 = 5*u. Is u composite?
False
Let d(o) = -32*o - 4 - 6*o + 2 + 13*o. Suppose -10 = 3*s + 17. Is d(s) a prime number?
True
Let f(l) = -28*l**2 - 12*l - 11. Let k be -2 - 1 - (5 - 0). Let p(m) = -19*m**2 - 8*m - 7. Let w(q) = k*p(q) + 5*f(q). Is w(3) composite?
True
Let z(v) = -v**3 - 13*v**2 - 22*v - 3. Let k be z(-11). Suppose 2*j = -3 - 1. Is ((-102)/k)/(j/(-5)) composite?
True
Let b(g) = -66*g**2 + 20*g - 13. Let m be b(14). Let h = -5589 - m. Is 2/(-6) - h/(-45) composite?
False
Let u be 46 + 4 + (-2 - 0). Let q = -85 - -58. Let t = u + q. Is t prime?
False
Let q(x) = 3327*x**3 - x + 1. Is q(1) a prime number?
False
Let t(f) be the first derivative of 45*f**2/2 + 11*f - 6. Is t(12) a prime number?
False
Let x(c) = -8821*c + 3. Is x(-2) a composite number?
True
Suppose r - 2*s = 2456, -2*r = -5*s - 104 - 4807. Is r a prime number?
False
Let o(r) = r**2 - 7*r - 12. Suppose -7*z = -5*z - 18. Let b be o(z). Is (3 - b - 1) + 267 a composite number?
False
Suppose 2*u = 3*z + 1384 - 99, -5*z = 5*u - 3250. Suppose -397 = -3*i - 2*l, 0 = -2*i - 3*i + 4*l + u. Is i a composite number?
False
Let d(b) = b**2 - 11*b - 3. Let f be d(11). Let n be (f/((-3)/(-1)))/1. Is n/(-5)*17465/7 prime?
True
Let y(f) = f**2 - 8*f + 19. Let n be y(5). Suppose 0 = -5*m - 4*j + 823, n*j + 712 = 5*m - 135. Is m a prime number?
True
Suppose -2*x + 3*s + 3467 = -0*x, x = 4*s + 1721. Suppose -2*q + 645 = o, 0 = 4*o + 3*q - 829 - x. Is o a prime number?
True
Suppose 7*q - 615 = 92. Let y = q + 686. Is y a composite number?
False
Suppose -120 = -9*o - 3*o. Suppose -o*f - 37 = -97. Is f prime?
False
Let o be 1*-4*9/(-12). Is (o + 1)/(-4)*-479 a composite number?
False
Suppose -7*o + 21 = -7. Suppose -3*b - 97 = -o*b. Is b a composite number?
False
Let p(j) = -j**3 - j + 1. Let y(x) = -3*x**3 - 8*x**2 + 4*x + 13. Let v(c) = -4*p(c) + y(c). Let q be v(8). Suppose 2*w - 51 = q. Is w composite?
True
Let i = 43 + -30. Suppose 10*a - i*a = -1407. Is a a prime number?
False
Suppose 5*w - 4*d = -55, 5*d + 85 = -7*w + 3*w. Let x(q) = q**3 + 20*q**2 - 2*q - 14. Is x(w) a prime number?
False
Let m = 8745 - 3536. Is m composite?
False
Let z = 526 + -242. Suppose -l - z = -1435. Is l prime?
True
Let x(m) be the first derivative of -19*m**5/20 - m**4/12 + m**2/2 - m + 1. Let f(l) be the first derivative of x(l). Is f(-1) a composite number?
False
Let o = 2248 - -231. Is o prime?
False
Let i(h) be the first derivative of 21*h**4 + h**3 - h - 2. Is i(2) composite?
False
Let v(b) = -184*b + 67. Let x be v(-8). Suppose -2*z = 4*d - 9*d - 747, 0 = 4*z - d - x. Is z a prime number?
False
Let b(s) = 4*s**3 - 2*s**2 - 2*s. Let u be b(-1). Is (2*(-6)/u)/(39/10673) composite?
False
Let a(o) = -195*o**3 + 3*o**2 - 3*o - 2. Is a(-3) prime?
False
Let y = -1578 - -3755. Is y composite?
True
Let t = -415 + -510. Let u = -546 - t. Let r = u - 168. Is r composite?
False
Suppose -3*k - 1546 - 298 = -r, 3*k + 1852 = 5*r. Is (28/(-8) - 0)*k a composite number?
True
Let s be (-1)/(1/(-24))*2. Suppose -346 = -17*c + 7729. Let r = c - s. Is r prime?
False
Is (1 - (-6 - -29))*(-3398)/4 prime?
False
Let n = -238 - -241. Let g(k) = -297*k. Let o(l) = -l - 1. Let z(t) = -g(t) - 4*o(t). Is z(n) composite?
False
Let p(c) = 4*c - 7. Let r be p(3). Suppose 2*a = r*n - 12285, -n + 1652 = -a - 802. Is n a composite number?
False
Let w = -2713 - -5545. Suppose k - 1401 = -2*x, -x + 4*k + w = 3*x. Is x a prime number?
False
Let h = 59 + -50. Suppose h*k = -1928 + 6185. Is k a composite number?
True
Suppose 4*y - 41 - 827 = 0. Let r be (12/(-54) - 22/(-18))*5. Suppose r*z - 418 = y. Is z prime?
True
Suppose -16340 = -s + 3*m, 18 = -m + 21. Is s a prime number?
True
Is (10306/8)/(((-75)/260)/(-15)) a composite number?
True
Suppose -2*l - d = -9101, -4*l + 5*d = 4*d - 18217. Is l a composite number?
True
Let h be ((-3)/2)/(((-9)/(-6))/3). Is 6 + -10 - (h + -70) a composite number?
True
Let d(a) = -1277*a**3 - 11*a - 45. Is d(-4) composite?
False
Suppose -4 = i + 217. Let s = 42 - i. Is s a composite number?
False
Let n = 6069 - 3050. Is n a composite number?
False
Let j(c) = 3*c**2 - 2*c**2 + 10*c - 10 - 7*c + 2*c**3 + 3*c. Let d = 8 + -3. Is j(d) a composite number?
True
Let h be 738/63 + 4/14. Suppose 0 = y + 3*m - h, 3*m - 6*m = -3*y + 36. Suppose 0 = -3*f + 21 + y. Is f prime?
True
Let h(k) = -6*k - 20. Let j be h(-10). Suppose -5*t + 435 = j. Is t composite?
False
Let l 