se
Let y = 115 - -170. Let s = y + -145. Suppose 0*o = 4*o - s. Is o composite?
True
Suppose 9 = 5*c - 11. Is 429*c/48*4 composite?
True
Let q(f) = 9*f**2 - 3*f - 2. Let j be q(5). Let k = j + -93. Is k a composite number?
True
Suppose 99 = -3*f - 18. Let m be f/(-9) - 1/3. Suppose -m*v + 12 = -0*v. Is v a prime number?
True
Suppose 545 = 7*s - 2*s. Let k = -60 + 13. Let p = s + k. Is p composite?
True
Suppose -975 = -2*v + 1731. Suppose -4*a + v = -a. Is a composite?
True
Is (-1806)/(-5) + 5/(-25) composite?
True
Let l(v) be the first derivative of 2*v**3/3 + v**2/2 - 8*v + 2. Let s be 2/(-1 + 3)*-6. Is l(s) prime?
False
Let f(z) = z**3 + 4*z**2 + 4*z + 3. Let v be f(-3). Suppose 3*h + 15 = -0*h, v = -o - 5*h - 19. Suppose 0 = o*b - b - 295. Is b composite?
False
Suppose 5*n = -3*x + 17959, 0 = n + 3*n - x - 14374. Is n a composite number?
False
Let k(x) = -9*x - 35. Is k(-5) a prime number?
False
Let l be (-1)/3*(-3 - -12). Is 3/((-9)/l)*79 a composite number?
False
Suppose 5*d + 5*z = -30, 5*z - 2*z = 4*d + 24. Let s(p) = -p**2 - 7*p - 2. Let j be s(d). Suppose -2*g = -3*o + 8, -59 + j = -5*o - 5*g. Is o composite?
True
Let u be ((-1434)/9)/(1/3). Let s = u + 683. Is s a prime number?
False
Suppose 5*b - 3*h - 821 = -0*h, -2*h + 648 = 4*b. Is b prime?
True
Let v(w) = w + 2. Let b be v(0). Suppose b*s = -2*s + 508. Is s a prime number?
True
Let x = 12 - 12. Suppose x = -3*m + 2*m + 161. Is m a prime number?
False
Is 5910/4*(-38)/(-57) a prime number?
False
Let k = 17 + -12. Suppose 0 = k*n + n - 90. Is n a prime number?
False
Suppose -d + 2*d - 3*b - 707 = 0, 3*d = b + 2153. Is d a composite number?
False
Let q = 1293 + -42. Suppose q = 4*n - 529. Is n prime?
False
Suppose 0 = 41*h - 52*h + 43769. Is h a composite number?
True
Suppose 6*c + 5*r = 4*c + 20, 0 = 3*c - 4*r - 7. Suppose -c*l + 4 = -11. Is l composite?
False
Let x be (132 - 0)/(3 - 4). Let d = x + 206. Is d a prime number?
False
Let k(x) be the first derivative of -x**4/4 - 7*x**3/3 - 3*x**2 - 6*x + 1. Let n be k(-6). Is (-515)/(-15) - (-2)/n prime?
False
Let k(i) = i**2 + i + 6. Let g = 4 + -4. Let j be k(g). Suppose j*p - p = 35. Is p composite?
False
Let p(n) = 5*n**2 - 2*n - 6. Let b be p(4). Let a = b - 47. Is a composite?
False
Let n(l) = 3*l**2 - 3*l - 7. Is n(7) a composite number?
True
Let x = 373 + -224. Is x prime?
True
Let h be (4 - 3)*-1 + -182. Let j = 274 + h. Is j composite?
True
Suppose 5*w = -2*w + 2863. Is w composite?
False
Suppose 0*f = -2*f. Suppose f = -4*a + 5*a - 163. Is a composite?
False
Let b be -2*-2*(-3)/(-6). Suppose z + 5*t - 7 = 0, 3*z = z - b*t + 22. Suppose n - 35 = z. Is n a composite number?
False
Let z(q) = q**2 + 14*q - 9. Is z(-16) composite?
False
Let b(q) = 58*q - 14. Let y(v) = 5*v - 15*v - 4*v + 5 - 5*v. Let p(d) = 2*b(d) + 7*y(d). Is p(-8) a composite number?
True
Suppose -4*m = -2*m - 254. Is m composite?
False
Suppose -3*c - 471 = -4*l + 2*c, -3*c = -3. Is l a prime number?
False
Suppose -6*m - 819 = -3333. Is m a composite number?
False
Let g(r) = 9*r**3 + 4*r**2 - 2*r - 1. Is g(2) composite?
False
Let r = 127 + 52. Is r a composite number?
False
Let p be (-5)/30 + (-11)/6. Let j(l) = -19*l - 3. Is j(p) a composite number?
True
Let b(y) = 4*y**3 + 3*y**2 - 2*y - 3. Let c be b(5). Let o = -275 + c. Is o a composite number?
True
Let w(h) = h**2 - 19*h + 14. Let s be w(11). Let b = s - -153. Is b composite?
False
Let o(u) = -u**3 - 9*u**2 - u - 2. Let d(g) = -g**3 - 7*g**2 - 4*g + 3. Let a(z) = -z + 3. Let s be a(9). Let m be d(s). Is o(m) prime?
True
Suppose 0 = -73*k + 67*k + 34530. Is k composite?
True
Is (2 - 5 - -2)*-121 a composite number?
True
Suppose -p + 436 = -3*c, -c - 1789 = -4*p - 4*c. Suppose -n + 3*v = -89, 0*n + 5*v - p = -5*n. Is n a prime number?
True
Suppose 3*b - 11 = 4. Suppose 4 = h + h + w, -b*h = -4*w + 3. Is -2 + 136 + (h - 4) a prime number?
True
Suppose s = 4*m + 14, 4*s - 14 = 5*m - 2. Is (-15)/5 - 428/s prime?
True
Let l be (-60)/25*(-20)/6. Let h = l - 2. Is h a prime number?
False
Let j be (-2)/8 + (-746)/(-8). Suppose -w + j + 70 = 0. Is w a prime number?
True
Let x(v) = 6*v + 13. Let i(g) = 14*g + 29. Let y(t) = -27*t - 57. Let q(h) = -5*i(h) - 3*y(h). Let c(k) = 2*q(k) - 5*x(k). Is c(-9) a composite number?
False
Suppose 0 = 3*h - 189 - 735. Suppose -2*n - 3*n + 3*p + 385 = 0, -4*n = p - h. Is n a prime number?
False
Let u(y) = -10*y - 7. Suppose 3*o - 44 = 10. Suppose -5*i = -4*b + o, 3*b = -5*i - 0*b - 39. Is u(i) composite?
False
Let l(t) be the third derivative of 19*t**5/120 - t**4/24 + t**3/2 - 2*t**2. Let m(k) be the first derivative of l(k). Is m(2) prime?
True
Let s(d) = d**3 - d - 1. Let a be s(2). Suppose a*x = u + 133, 4*x - 3*u = 17 + 96. Is x composite?
True
Suppose -2*x - 1 = -5. Suppose -b = x*u + 3*b - 36, -4*u + 2*b + 62 = 0. Suppose -k + 5*i + 132 = 3*k, 0 = 4*i - u. Is k prime?
False
Let k(a) = -7*a**3 - 3*a**2 + a + 2. Let m be k(-3). Let t = 284 - m. Is t a composite number?
True
Let o = 180 + -53. Is o composite?
False
Let a(n) = -n**2 - 17*n - 7. Let p be a(-8). Suppose s - 150 = -s. Suppose -4*u + p = -s. Is u prime?
False
Let t(q) = -q**3 + 7*q**2 - 7*q - 2. Is t(5) a composite number?
False
Let o be ((-6)/7)/(8/56). Let g be 5/(-15) - 2/o. Is g + 0 - 753/(-3) composite?
False
Suppose 2*f + 4 = h + 2*h, -2*h = 2*f - 6. Suppose -4*x + h*x + 1638 = 0. Suppose 4*b - x = 5*s, 4*b + 2*s = b + 597. Is b prime?
False
Let h(g) = 2*g**3 - 7*g**2 + 2*g - 5. Let o be h(9). Is ((-2)/(-4))/(4/o) a composite number?
False
Let x = 8 - 5. Suppose -l + x = -18. Is l a composite number?
True
Let n(s) = 24*s**2 + 4*s - 1. Suppose 2 = 2*k, 4*a - a + 4 = -5*k. Is n(a) a prime number?
False
Suppose -3 = 2*c - 3*c. Suppose x + c = 89. Is x a composite number?
True
Let u = 3 + 2. Let b(p) = 8*p - 5. Let k be b(u). Let l = k - 2. Is l prime?
False
Let q(y) = 20*y**2 - 2*y + 1. Is q(-2) a composite number?
True
Suppose 81*h - 86*h = -830. Is h composite?
True
Suppose 2*w + 4*i - 330 = 0, -627 = -2*w - 2*w + 3*i. Is w composite?
True
Let m(s) = -6*s**3 + 3*s**2 + 2*s + 1. Let c be m(-2). Suppose 3*p - c = 5*w, -38 = -2*p - w + 6*w. Is p composite?
False
Suppose 0*l - 22 = -l. Suppose l = -v + 57. Is v a composite number?
True
Let d = 33 - -5. Let i(c) = -c**2 + 16*c + 21. Let r be i(17). Suppose -r*j + 6*j - d = 0. Is j prime?
True
Let b be (0 - (0 + -2)) + -2. Let f(x) = -x**2 + 8. Let m be f(b). Let h = 18 - m. Is h a composite number?
True
Suppose 0*t - 5*t + 725 = 0. Is t a prime number?
False
Let w(p) = 31*p**2 - 49. Is w(-6) composite?
True
Let t(m) = -m**2 - 11*m - 7. Is t(-7) a prime number?
False
Suppose 7*r - 2*k - 6086 = 3*r, 0 = -5*r + k + 7609. Is 1/2 + r/4 a prime number?
False
Suppose 5*w + 5*r = 9425, -3*w + 4*r = r - 5643. Is w a composite number?
True
Is 2/6 + (-7540)/(-6) + -2 prime?
False
Suppose 0 = i - 10 - 17. Let v = i - -122. Is v a composite number?
False
Suppose -2*a - 20 = a + 5*b, 3*a + 10 = 5*b. Let s(q) be the second derivative of q**4/6 + 5*q**3/6 - 3*q**2/2 - 3*q. Is s(a) prime?
False
Let k(q) = q**2 + 4*q + 6. Let v be k(-4). Suppose -4*x + 2*x = v. Is 118/6 - (-2)/x composite?
False
Let g be (0/(2/1))/(-2). Suppose -2*d - 97 - 9 = -4*o, o - 4*d - 44 = g. Let b = 95 + o. Is b composite?
True
Let v(z) = 89*z - 4. Is v(3) composite?
False
Let n = 5 - -1. Let t be (-3)/n*-2 - 336. Is 2/(-9) - t/9 a prime number?
True
Let i(x) = x + 10. Let w be i(-13). Is 28/(-4)*(w - 0) prime?
False
Suppose -5277 = -11*u - 668. Is u composite?
False
Let j be (-1244)/8 + 1/(-2). Let t = j - -235. Is t a composite number?
False
Is ((-352)/(-48))/((-2)/(-39)) composite?
True
Let q = -4115 + 7366. Is q a prime number?
True
Let d be 4454/10 - 12/(-20). Suppose -5 - 1 = -3*k. Suppose -k*u = -0*u - d. Is u composite?
False
Let o(i) = i + 13. Let a be o(-9). Is -4*3/a*-3 prime?
False
Is (1 + 2)*(-134)/(-6) composite?
False
Suppose -3*z + 261 = -0*z. Is z prime?
False
Let r = 7 + -12. Is (3 + 48/r)*-5 a composite number?
True
Let q(p) = -p**3 - 8*p**2 + 6*p + 17. Is q(-10) prime?
True
Suppose f - 145 = 2*g, -536 = -5*f + 4*g + 189. Suppose f = 3*t + 37. Is 2 - (t/(-1) + -1) a prime number?
False
Let d = 59 - 36. Is d + -1*0/2 prime?
True
Let j = 2112 - 1199. Is j a prime number?
False
Let y(x