lse
Suppose 4*z - 5*q - 57134 = 0, 4*z = -4*q + 3*q + 57122. Is z a prime number?
True
Let t = -4 - -6. Let o = 460 - t. Is o a prime number?
False
Let z(d) = d**3 - d**2 - 2*d + 2. Let k be z(2). Suppose i + k*i = 12. Suppose 3*t + 71 = i*x - 74, -4 = -4*t. Is x a prime number?
True
Suppose 5*g + 58802 = l, 4*l - 5*l = 3*g - 58834. Is l composite?
True
Let m = -19 + 21. Suppose 3*q = 2*d + 20, 3*q = m*d + 3*d + 32. Is 810/42 - q/14 a prime number?
True
Let d(x) = 10*x**3 - 8*x**2 + 6*x + 3. Let b(p) = -p**3 - p**2 + p + 1. Let a(k) = -5*b(k) + d(k). Let w = 35 + -32. Is a(w) a prime number?
True
Let p(m) = 113*m**3 - 7*m**2 + 9*m - 17. Is p(8) a composite number?
True
Suppose 4*v - 5*r - 60365 = 0, 3*v + 9*r = 14*r + 45270. Is v prime?
False
Let p be -3 - -1*(-3)/(-3). Is 6/4 + 1/p + 745 composite?
True
Let q(f) = 6*f**2 + 9*f - 13. Let x be q(-11). Is (x - (1 + 0))*1 composite?
False
Let p = -79 - -121. Let h = p + 289. Is h composite?
False
Let m = 50 - 22. Suppose -24*s + m*s - 3668 = 0. Is s prime?
False
Let v = 38 + -37. Is 4/(-18)*v + 519/27 composite?
False
Let z(l) = l**3 + 3*l**2 + 3*l + 3. Let j be 0/(-2*(-3 - -4)). Suppose 4*u - u - 12 = j. Is z(u) a prime number?
True
Let a be (-6)/45 + 643/(-15). Let l = a - -106. Suppose 5*c - l = -2*n, -2*c + 0*n + 3*n = -29. Is c a composite number?
False
Suppose -6*k = -2*k + 8. Let h(o) = -160*o**2 - 2*o - 1. Let p be h(-1). Is (4/6)/(k/p) a prime number?
True
Let k(l) be the third derivative of -29*l**4/24 - l**3/3 + 5*l**2. Let o be k(-2). Suppose -3 = d - o. Is d a prime number?
True
Suppose -3*m + 13 = 4. Suppose 4*t - 1793 = m*t. Is t a composite number?
True
Let j(b) be the third derivative of 19*b**6/120 + b**5/60 - 7*b**4/24 - b**3/2 + 20*b**2. Is j(4) a composite number?
False
Suppose 11*p = 7853 + 20934. Is p composite?
False
Let j(c) = -c + 1. Let b be j(-1). Suppose 0 = u - b*u + 3. Suppose -54 = u*r - 285. Is r prime?
False
Let z(c) = 3*c**2 + 9*c + 7. Let o be z(7). Suppose -5*g = 2*g - o. Suppose -p + g = 2*t, p - 6*p - t + 155 = 0. Is p a composite number?
False
Suppose -3*w + 4*s + 23968 = w, -5*s - 25 = 0. Is w a prime number?
True
Is 1/(-6) + (-7711977)/(-234) composite?
False
Suppose 5*j - 110 = -90. Is 1/((-22)/j) + (-97254)/(-198) a prime number?
True
Let o = -12287 + 23740. Is o composite?
True
Let s(p) = 5*p + 63. Is s(38) a composite number?
True
Suppose -4 = c, -5*c = 4*m - 8*m + 7912. Is m a composite number?
False
Let o(m) = -6*m - 42*m**3 - 5 + 4*m**2 + 0 + 33*m**3. Let u(n) = 19*n**3 - 9*n**2 + 13*n + 11. Let z(b) = -13*o(b) - 6*u(b). Is z(4) a prime number?
True
Suppose -2*i = -m - 3*m + 54, -27 = -3*m - 3*i. Suppose -m = -5*z + 3. Let y(n) = 6*n**2 - n. Is y(z) a prime number?
False
Let j = -1965 - -2782. Is j composite?
True
Let p(k) = k**3 - 19*k**2 - 19*k + 19. Let s be p(21). Suppose -59 + s = b. Is b prime?
True
Suppose 0 = 2*j + j - 30939. Is j composite?
False
Let b = 63 - 31. Let r = b - -1211. Is 2 - (-4 + r/(-1)) a prime number?
True
Suppose 32*i - 29*i - 8124 = 0. Suppose 0 = -14*h + 10*h + i. Is h prime?
True
Let j(z) = z + 12. Let h be j(-6). Let i(x) = x**3 + 6*x + 5. Is i(h) composite?
False
Let o = 3111 + -1285. Suppose -3*c - o = -5555. Is c a composite number?
True
Let j(g) = 2*g**3 - g + 1. Let r be j(1). Let l(o) = 15*o**3 + 2*o**2 + 2*o - 1. Is l(r) composite?
False
Let z(p) = -3*p**3 + 10*p**2 + p + 191. Is z(-23) prime?
True
Let n = -8891 + 74702. Is n prime?
False
Is (33/6 - 5)/(3/24) composite?
True
Let s(r) = -3*r**3 - 4*r + 3. Let n be s(-3). Let p = 23 + n. Is p composite?
True
Suppose 0 = -5*p + 3*u - 2*u - 2, -8 = -2*p - 4*u. Is 0/(-9) + (p - -1059) a composite number?
True
Suppose -4 - 8 = -3*g. Suppose -3*r - 1006 = -g*c, -c + r - 4*r = -259. Is c prime?
False
Let a = 7803 - -9538. Is a composite?
False
Let n(g) = 2*g**3 - 5*g**2 + 5*g - 8. Let u = -12 + 16. Suppose u*h = 24 - 0. Is n(h) a prime number?
False
Let c = -38 - -202. Suppose d - 121 - c = 0. Suppose -2*n + d = x, -288 = -0*x - x - n. Is x prime?
False
Let k = -2319 - -18334. Is k a composite number?
True
Suppose -4*a + 2293 = -4*c - 5*a, -575 = c + 2*a. Let f = c + 874. Suppose -4*w = w + 3*o - f, 5*w = 3*o + 289. Is w a composite number?
False
Suppose -10 = 4*g - 26. Suppose -2*h + 2202 = 2*o, 7*o - g*o = 0. Is h prime?
False
Suppose 5*v - 3*v = 0. Is 12*15 + (-2 - v) prime?
False
Suppose r = -5*r. Suppose r = 5*o + 2*g - 8, -2*o + 12 = -0*o + 3*g. Suppose 275 = 5*y - 4*w, 3*y - 5*w - 178 = -o*w. Is y a composite number?
True
Let z = 4837 - 1576. Is z composite?
True
Suppose -197 - 16 = 3*r. Let h = -16 - r. Is h a prime number?
False
Suppose -8*h + 44238 = 2*p - 7*h, -3*h + 88480 = 4*p. Is p a prime number?
False
Let s(t) = -9*t + 4. Let a(j) = 2*j**2 + 5*j + 2. Let f be a(-3). Let p(n) = 10*n - 3. Let x(h) = f*s(h) + 6*p(h). Is x(5) a composite number?
True
Let f(q) = q + 14. Let n be f(-12). Suppose -6 = 6*z - 3*z, 2*z + n = -m. Suppose 2222 = 4*w - w - h, 0 = -w + m*h + 749. Is w prime?
True
Suppose -1170 + 75 = -w. Suppose 4*t - w = t. Let l = t + -224. Is l a composite number?
True
Suppose -h = 3*h - 56. Let l be (-267)/21 + (-4)/h. Is (0 + -3)/(1/l) composite?
True
Let d(u) = u**3 - 8*u**2 - 2. Let r be d(8). Is (r/6)/((-2)/2334) prime?
True
Suppose 3*u - 1194 = 6*u. Let a = u + 609. Is a a composite number?
False
Suppose 15*l = 10*l + 20. Is 10/l*744/20 composite?
True
Let l(c) = -c**2 + c + 89. Let f be l(0). Suppose -f = -z - 23. Suppose -3*r + 603 = -z. Is r a prime number?
True
Suppose 5*x + 7 = -93. Let y = -17 - x. Let d = 146 + y. Is d a composite number?
False
Let b(s) = 10297*s + 4. Is b(1) a composite number?
False
Let s(w) be the second derivative of w**4/12 + 37*w**2/2 - 5*w. Suppose 0 = 3*o - 3*f + 6, 4 = 3*o + f + f. Is s(o) a prime number?
True
Suppose -h = -3*x - 195 - 195, 0 = x + 2*h + 123. Let w = x - -256. Is w composite?
False
Suppose 26*c = -37*c + 2515527. Is c a prime number?
True
Let y = -15993 - -22588. Is y a composite number?
True
Suppose 5 = n + 2. Suppose k = 4*v - k - 6, 0 = -n*v + k + 7. Suppose 110 = 2*x - v*u, -x + 59 = -7*u + 4*u. Is x a composite number?
False
Is ((-5626)/5)/(70/(-175)) composite?
True
Suppose -498*n + 57819 = -495*n. Is n prime?
True
Let g be 10*(12234/12 + 0). Suppose -43 + 1 = 3*c. Is 4/c + g/35 a composite number?
True
Is (((-2630)/(-4))/(-5))/((-2)/12) a prime number?
False
Suppose a + k = 2*a - 24, -3*a + 67 = 2*k. Let t = 1 + a. Suppose 21 + t = 3*u. Is u a prime number?
False
Is (-75 - 1)*(-3014)/88 prime?
False
Let w be (26/(-6))/((-11)/33) - -2. Suppose -14*q - 4501 = -w*q. Is q prime?
False
Let q(i) = 13*i**2 + i + 6. Let z be q(3). Suppose 8*m - 550 = -z. Is m a composite number?
False
Suppose -5614 = -5*y - 44. Is y composite?
True
Let c be ((-1)/(-2))/((-3)/(-18)). Is (c - 2/1)/((-1)/(-149)) a prime number?
True
Let h(q) = -q**3 - 11*q**2 + 2. Let y be h(-11). Suppose -y*b - b + 3*f = -888, 2*f = 6. Is b prime?
False
Suppose -a - 3*b = 3*a + 19785, 2*b = 3*a + 14826. Let k = 7825 + a. Is k a composite number?
True
Suppose v + 40 = -3*d, -2*d - 2*v - 18 = 3*v. Let c = 17 + d. Suppose -c*m = -967 + 88. Is m composite?
False
Suppose 0 = 19*s - 2*s - 582947. Is s a prime number?
False
Suppose -5*l + 100520 = 3*t, 11*l - 33500 = -t + 16*l. Is t composite?
True
Let r(q) = 23 + 0 + 62*q + 25*q + 2. Let n(a) = 44*a + 12. Let o(m) = -5*n(m) + 2*r(m). Is o(-12) a prime number?
False
Let i be (16/20)/((-6)/45). Let g = -6 - i. Suppose -3*t + 15 + 342 = g. Is t a prime number?
False
Let t be 4 - (5 - (3 + 0)). Let p(x) = -8 - x**3 + 6*x - 1 + t - 1. Is p(-7) a prime number?
True
Suppose 3*w - q = 10, -5*q - 8 + 22 = w. Suppose -6*h + h - w*g = -1127, 4*h + 2*g = 898. Is h composite?
False
Suppose -3*t + t + 1936 = -4*i, 2884 = 3*t - 2*i. Is t a prime number?
False
Let s(l) be the second derivative of l**4/6 + 7*l**3/3 - l**2/2 - 28*l. Is s(14) a composite number?
False
Let o(x) = 54*x**3 - x**2 - 13*x + 77. Is o(5) a prime number?
True
Let b be -3 + -2 + 492 - (-16)/8. Let g = 45 - 25. Suppose -17*r - b = -g*r. Is r a prime number?
True
Suppose 158952 = -6*w + 30*w. Is w a prime number?
False
Let f be 412566/494 - (-4)/(-26). Let w = 1524 + f. Is w prime?
False
Let a = -5496 - -9917. Is a composite?