5*l + f = 0. Is l a prime number?
True
Let u = -4 - -7. Suppose 4*m = 3*y + 41, -u*m + 40 = -y + 8. Is m prime?
True
Suppose 3 = 2*h + 3*k, -2*h - 2*k + 4 - 2 = 0. Suppose 3 = -x - h. Is x*2*21/(-6) composite?
True
Is ((-3188)/(-5) - 6/(-15)) + -3 a composite number?
True
Let y(k) = -12*k - 12. Suppose 3*w - 31 - 4 = 4*s, -5*s + w - 41 = 0. Let r be y(s). Suppose -6*d + r = -2*d. Is d prime?
False
Let t(x) = 4*x - 7. Suppose -5*n + 28 = -7. Let m be t(n). Suppose -2*v - 4*l = -3*v + m, -v + 26 = l. Is v composite?
True
Suppose -3*a + 5 = 2*a. Let i(g) be the second derivative of 22*g**3/3 - g**2/2 + 3*g. Is i(a) a composite number?
False
Let b be (17 + -3)/(-2) - -2. Let f(p) = p**3 + p**2 - p - 1. Let o(r) = 5*r**3 + r**2 - 2*r - 7. Let n(k) = 6*f(k) - o(k). Is n(b) a composite number?
True
Let p(d) = 2*d**2 - 12*d + 16. Suppose 28 = 5*o - 27. Let v be p(o). Let c = v - 73. Is c a prime number?
True
Suppose 2*b + 1 = 11. Suppose b*d = -5*t + 200, t + 6*d = 4*d + 43. Is t composite?
False
Suppose 5*o + 2*c + 2*c = 28, -5*c + 30 = 5*o. Suppose o*p - 74 = 2*p. Is p composite?
False
Suppose 3*x - x = 246. Is x prime?
False
Let g = 161 + 90. Is g a prime number?
True
Suppose 2*a + 2686 = 4*k, -2*a + 659 = k - 0*a. Suppose k = 2*w + 161. Is 2*3/(12/w) composite?
False
Let h = 7 + 36. Is h a composite number?
False
Suppose 8*w + 3*w - 561 = 0. Is w a composite number?
True
Suppose 4*q - 3*q = 3, 4*q = 2*n - 814. Is n prime?
False
Let l = 1991 - 1410. Let x = -394 + l. Is x a prime number?
False
Suppose d - v = 3*v + 58, -4*v = 8. Let h = d - 35. Let a = h + 23. Is a a prime number?
False
Let q be 2/(-5) - 134/(-10). Suppose -33 + q = -5*f. Suppose 5*j = 3*p - p + 8, 5*p = f*j + 14. Is p prime?
False
Let v(l) be the third derivative of -l**4/24 + 65*l**3/6 + 6*l**2. Is v(0) a composite number?
True
Is ((-12)/(-18))/(4/1266) prime?
True
Suppose 20 = m + 3*v, -7*m - 2*v + 110 = -3*m. Let t = -19 + m. Is t a composite number?
True
Suppose 2*n + 1421 = 3*u, 5*u + 243 = n + 2602. Is u composite?
True
Suppose -25 = -5*p - 0. Suppose -276 = -k + 519. Suppose -5*r = -4*d - 934 + 103, -5*r - p*d + k = 0. Is r prime?
True
Suppose -14 = -5*d + j + 2, -2*j - 5 = -d. Let w = d - 4. Let c(l) = 33*l**2 - l. Is c(w) composite?
True
Let t be 27/6*1*2. Suppose -t = -c + 140. Suppose 68 = i - c. Is i prime?
False
Let z be 8/52 - (-89)/13. Suppose -3*t = -z*t + 452. Is t prime?
True
Let m be (-6)/(-4)*(1 - 3). Let d be 0 + (-12 - 1)*m. Suppose -4*n + 101 = 3*v, -2*n - 190 + d = -5*v. Is v composite?
False
Suppose 28 = 3*u - 5. Let d = u - -15. Is d composite?
True
Suppose -3*p = 5*k + 17, -p + 11 = -3*k - 2*p. Is k*(-4)/16*37 a prime number?
True
Suppose -3*h + 6 = -a, -2*a + 10 = 5*h + 2*a. Suppose 931 = h*r + 45. Is r a prime number?
True
Let t = 6 + -4. Is -2*t/(-4)*37 a prime number?
True
Let b(m) = 8*m**2 - 21*m + 20. Let u(z) = -3*z**2 + 7*z - 7. Suppose 24 - 8 = 4*v. Let n(y) = v*b(y) + 11*u(y). Is n(-6) a composite number?
True
Let x = 152 - 282. Let u be 0 + 1 - 3 - x. Is u + 2 + -2 - 1 composite?
False
Let o = 2521 - 1724. Is o prime?
True
Suppose 5*h = 4*h - 12. Is (-7 + 3)*21/h composite?
False
Let y = 8 - -1. Is -3*y*3/(-9) prime?
False
Let x(g) = -g**2 + g. Let u(o) = -o**3 - 10*o**2 - 4*o - 3. Let q(d) = -u(d) + x(d). Let w be q(-7). Let p = w + 112. Is p prime?
False
Suppose -3*b - z = -242, -3*z + 2*z = b - 84. Is b a prime number?
True
Let z(c) = -c - 6. Let i be z(-9). Suppose 0 = -4*v + 3*q + 332, -4*v + 4*q + 83 = -i*v. Is v a prime number?
True
Suppose -l = 3*n - 3*l + 13, 0 = -2*n + 4*l - 14. Let q(t) = -286*t + 2. Let s be q(n). Is s/2*1/2 a composite number?
True
Let i = 4 - 2. Let m(w) = w**3 + w**2 + w + 1. Let n be m(-1). Suppose 0 = t - n*t + i*z, 0 = -5*t + 3*z + 65. Is t prime?
False
Suppose -2*j - 20 = -4. Let t(x) = -x**2 - 11*x + 11. Is t(j) a prime number?
False
Let s be (-19)/(1/(-2) - -1). Let k = 73 + s. Is k a composite number?
True
Let s(u) = u**3 + 4*u**2 - 6*u + 2. Let l be s(-5). Is 4/(l - 3)*79 prime?
True
Let y(x) = -x + 15. Let q be y(13). Suppose -q*w = -0*w - 116. Is w composite?
True
Is (1 + -1 - -1) + 586 composite?
False
Let k be ((-10)/(-6))/((-5)/(-45)). Let h = 25 - k. Is h composite?
True
Let l(c) be the second derivative of 24*c**5 + c**4/6 - c**3/6 + 4*c. Let g be l(1). Suppose 5*n - 69 = 3*r + 781, 4*r = -3*n + g. Is n a composite number?
False
Let c(h) = 32*h + 2. Let s be c(2). Let l be (10/6)/(2/s). Let x = l + -33. Is x a composite number?
True
Let s(b) = 12*b + 1. Let r be 2 - 3/(1*-3). Is s(r) a composite number?
False
Suppose 5*z - 20 = -5. Suppose -4*v + 848 = -5*y, -z*v + 647 = -0*y - y. Is v a composite number?
True
Suppose 12 = 4*s - 0*s. Suppose 5*c = 3*a + 10, -2*a - c - 1 = -s. Suppose -3*j + 2*j + 37 = a. Is j composite?
False
Suppose 0 = -2*t - 2*t + j + 12, t - j - 3 = 0. Is 26/t*(-45)/(-10) composite?
True
Suppose -2*c = 4*i - 192 - 130, 0 = -3*i + 2*c + 259. Is i composite?
False
Let y be (1 - -1)/((-1)/(-2)). Suppose i + i - 155 = -r, y*i - 147 = -r. Is r prime?
True
Let j(b) = -227*b - 7. Is j(-4) a prime number?
False
Suppose 3207 + 5984 = 7*v. Is v composite?
True
Let l(h) = 0*h**3 + 6*h**2 - h**3 + 3 - 8*h + 3. Let m be l(5). Let d = 74 + m. Is d prime?
False
Let d(c) = 3*c**3 - c**2 + 14*c - 5. Is d(7) a composite number?
True
Is (-1 - 813/(-3)) + -3 composite?
True
Suppose 0*h + f + 568 = h, -2*f = 2*h - 1148. Is h a composite number?
False
Let a(z) be the second derivative of z**4/6 - 7*z**3/3 - 5*z**2/2 - 6*z. Let u be 6/(-2) + 2 - -13. Is a(u) a prime number?
False
Let m(w) = 5*w**2 + 6*w. Let u be 14/(-2*(0 + -1)). Is m(u) prime?
False
Let f(b) = -8*b - 1. Let u be f(-1). Suppose -u*h + 745 = -2*h. Is h prime?
True
Suppose 4*c + o + 2*o = 246, -3*c = 4*o - 188. Let h be (1/(-2))/((-6)/c). Suppose -3*k - 145 = -5*f + 2*k, 0 = -4*f + h*k + 112. Is f a composite number?
True
Suppose 3*q = 24 - 0. Suppose -2*u + 7 = -d, q = -3*d - u + 22. Suppose -3*i = f - 182, d*i + 5*f = -30 + 232. Is i prime?
True
Suppose -3*c = d - 29, 0*d - 38 = -2*d - 2*c. Let i = -4 + d. Suppose -10 = -5*f + i, -2*j + 5*f = -26. Is j a prime number?
True
Let p be (-4)/6 + (-124)/(-6). Let f = p + 80. Suppose 4*x - 240 = f. Is x composite?
True
Let l = -7 - -7. Let c = l - -19. Is c composite?
False
Let n = 8 - 8. Suppose n*u = u + 26. Let p = -4 - u. Is p prime?
False
Let h(v) = 1 + 4*v - v**3 + 0*v**3 - v + 2. Let z be h(-2). Let a = z + 2. Is a a composite number?
False
Let g(s) = 14*s**2 - 11*s - 42. Is g(-13) prime?
True
Suppose 9407 + 2318 = 5*u. Suppose -k + u = 4*k. Is k a prime number?
False
Let s(d) = 401*d**3 + 2*d**2 - d. Let n be s(1). Suppose 2*f = 8*f - n. Is f a composite number?
False
Suppose -5*g = 10, 0*g + 138 = 4*w - g. Is w a composite number?
True
Let h(b) = -b**3 + 10*b**2 - 6*b - 5. Suppose 20 = 2*i + 4*o, 8 = -2*i + 2*o + o. Let s be (13 - -5)*1/i. Is h(s) a prime number?
False
Let t = 176 - 456. Is t/(-7) - 2/2 a prime number?
False
Let h be 68/5 + (-8)/(-20). Suppose c + 5*s - h + 45 = 0, 0 = -2*c + s - 18. Is (-2)/c + 2412/44 a composite number?
True
Let f = 608 + -235. Is f a prime number?
True
Suppose 5*d + 5*p - 115 = p, d = 5*p - 6. Suppose j - d = -0*j. Is j prime?
True
Suppose -10 = -3*x - 1. Suppose -3*c - x*o = -54, -52 = -4*c - 0*c + o. Is (-4)/c + 1884/28 prime?
True
Let p = -21 + 419. Is p composite?
True
Let g = 29 + 2. Is g composite?
False
Let a(j) = 36*j + 5. Is a(7) composite?
False
Suppose 6*p - 4*l = p + 13, 2*l = 6. Suppose p*y - 17 = -5*z + 18, 5*z = 5*y + 5. Suppose -101 = -g - 5*h, 9*h - z*h - 323 = -3*g. Is g composite?
True
Let m = -843 - -598. Let l = m - -379. Is l a prime number?
False
Let w = -977 - -1686. Is w a composite number?
False
Suppose -319 = -2*t + 5*f, -3*f = 3*t - 454 - 77. Let n = t + -23. Is n a composite number?
False
Suppose -4*p + 5*n + 18 = 0, 0*p + 4*p + 5*n + 2 = 0. Suppose 0 = 5*o + 4*m - 8, m - 1 = -p*o + o. Suppose -g = -o*d + 2*g + 25, -4*d = 5*g - 65. Is d prime?
False
Let i(s) = -2*s. Let f be i(-1). Suppose -w + 2 = -0. Suppose -5*k - 6*r + f*r = -50, 0 = 4*k - w*r - 66. Is k a composite number?
True
Suppose 0 = -4*d - 2*d + 474. Is d composite?
False
Let c(o) = 57*o + 1. Let d be c(2). Suppose -5*t = -4 - 386. Let q = d - t. 