-p*l + l = -95. Is l composite?
True
Let t = -8 + 10. Is t + -2 - (-23)/1 a prime number?
True
Suppose -6*h - 1592 + 14 = 0. Let s = 442 + h. Is s composite?
False
Let q = 15139 + -8142. Is q a prime number?
True
Is ((-188)/(-4))/((-3)/(-6)) composite?
True
Let m(s) = s**3 + 4*s**2 + 4*s + 2. Let d be m(-2). Let x = 4 + d. Let g(t) = 17*t - 9. Is g(x) a composite number?
True
Let t(x) = -x**3 + 8*x**2 + x - 3. Let h be t(8). Suppose 674 = h*d - 3*d. Is d a composite number?
False
Let w(p) = 13*p + 1. Let j(h) = -h. Let s = -9 + 10. Let n(t) = s*j(t) - w(t). Is n(-1) prime?
True
Suppose c - 3621 = -2*c. Is c prime?
False
Is (-37767)/(-27) - (0 - 8/36) a prime number?
True
Let g(r) = -r**2 - r + 1230. Let f be g(0). Let j = f + -853. Is j composite?
True
Let b(x) = -x**2 + 2*x - 5. Let y be b(-6). Let q = 327 + y. Let d = -147 + q. Is d a composite number?
False
Suppose a - 36 = 2*n, -3*a + n + 132 = 3*n. Suppose 0 = 2*l + 5*i - 10*i + 53, -l = -2*i + 27. Let o = a + l. Is o prime?
True
Suppose 0 = 4*j - 117 - 27. Let t = j - -2. Is t a composite number?
True
Suppose 4*r + 0*q = 2*q + 274, -3*r + 223 = -5*q. Suppose -2*x + r = -4*z - 28, 112 = 2*x + 2*z. Is x a composite number?
False
Is 18558/45 - 6/(-10) a composite number?
True
Is 2 - -87*6/2 prime?
True
Suppose -3*u + 402 = z, -5*z + 4*u + 1910 = -u. Is (-2)/(-4) - z/(-2) a composite number?
True
Suppose 2*t = -b + 2*b - 4, 3*t = -3. Let o(w) = 9*w**3 - 2*w - 1. Is o(b) a composite number?
False
Let y = 37 + 19. Let n = -15 + 48. Let a = y - n. Is a a composite number?
False
Let f(l) = l**2 + l - 3. Let g = 13 + -21. Is f(g) prime?
True
Let z = 5 - 5. Suppose z = x - 8 - 29. Is x a composite number?
False
Suppose -z - 3*z + 8836 = 0. Is z prime?
False
Let p(a) = 336*a + 73. Is p(8) a prime number?
False
Suppose 5*v = 3*y - 15 + 41, -5*v + y + 22 = 0. Suppose v*x - 4*t = -0*t - 4, 4*t - 31 = -5*x. Suppose o = -x*o + 8. Is o a prime number?
True
Let g be 0/2*(-2)/2. Suppose -2*u + j + 16 = 4*j, -2*u + 2*j - 4 = 0. Suppose 4*p + 110 = u*m, -p - 2*p = g. Is m a composite number?
True
Suppose -4*d + 5015 = 163. Is d prime?
True
Suppose 0*f = -k + 3*f + 85, 5*f = 20. Is k prime?
True
Suppose 0 = -4*m - 13 + 1. Let k = -5 - 1. Let l = m - k. Is l a prime number?
True
Let l(v) = v**2 + 1. Let a be l(-2). Let u(j) = j**2 - 2*j - 4. Is u(a) a composite number?
False
Let p(q) = q**3 + q**2 - q + 217. Let x be p(0). Suppose 118 = 3*o + 2*a - x, 0 = 5*o + 2*a - 557. Is o a composite number?
True
Let y(f) = -f**3 + 5*f**2 + 9*f - 2. Let g be y(6). Suppose o = 4*c - 9*c + g, 5*o + 2*c - 57 = 0. Let k = o + -2. Is k composite?
True
Suppose 5*z = -4*j + 237, -3*z = -8*z + 5*j + 255. Is z prime?
False
Let b = 1116 - 743. Is b a composite number?
False
Let b(p) be the third derivative of p**5/30 - p**4/8 - p**3 - p**2. Is b(-7) composite?
False
Let s(a) = 13*a**2 - a - 1. Let p be 2/(-11) + (-9)/11. Is s(p) a composite number?
False
Suppose -14*d = -12*d - 1228. Is d a composite number?
True
Let c(u) be the first derivative of u**5/30 + 5*u**4/24 + u**3/6 - 5*u**2/2 + 1. Let z(a) be the second derivative of c(a). Is z(-9) a prime number?
False
Suppose p - 187 + 42 = 0. Is p a composite number?
True
Suppose -5*k + 2688 = -2*k. Suppose -3*t - 440 = -2*q, 4*q + t - k = -t. Is q composite?
False
Let c = 8 + -5. Suppose -256 = -5*x + 3*f + f, -2*f - 154 = -c*x. Let b = x + 45. Is b composite?
False
Let s be (-10)/(-15) - 4/6. Let f = s + 6. Let n(v) = 8*v + 5. Is n(f) composite?
False
Suppose 0*i - 32 = -5*i - 2*c, i + 12 = -5*c. Suppose -i = 5*z - 28. Suppose 193 = z*u + g - 2*g, -3*g = -9. Is u composite?
True
Suppose 3*l - 10 = -0*m + m, 3 = l. Let s = 38 + m. Is s a composite number?
False
Suppose -2*y + 3*y - 89 = 0. Is y a composite number?
False
Let j(f) = f**3 + 2*f**2 - 4*f - 3. Let q be j(-3). Suppose 2*w + 3*w - 745 = q. Is w prime?
True
Let m(t) = t**2 - 2*t - 2. Let a be m(4). Is ((-31)/2)/(a/(-60)) a prime number?
False
Suppose 202 = 3*x - 65. Is x composite?
False
Let c = 0 + 0. Let z = -60 + 40. Is c - 0 - (z - 2) prime?
False
Let y = -1885 + 3270. Is y a composite number?
True
Let o = 7 + -11. Let s(l) = -2*l**3 - 9*l**2 - 4*l - 3. Let j(x) = -2*x**3 - 8*x**2 - 4*x - 2. Let f(q) = 4*j(q) - 3*s(q). Is f(o) a composite number?
True
Suppose 2*x + x + 18 = 0. Let d = x + 10. Is d prime?
False
Suppose x = j - 487, -5*x = -2*j + 5*j + 2451. Is 4/(-6)*x/2 a composite number?
False
Is (-3 - -4) + 4/((-12)/(-8235)) composite?
True
Suppose j = 2, -2*r - 5*j + 10 = r. Suppose r = -3*x + 22 - 4. Is 0 + (-15)/x*-14 a composite number?
True
Suppose 1686 + 270 = 4*u. Suppose -a - u = -4*a. Is a a composite number?
False
Let h = 189 + 146. Is h composite?
True
Let w = 1751 - 368. Is w prime?
False
Suppose -4*z + 731 = 151. Is z prime?
False
Let m(x) be the first derivative of x**3/3 + 7*x**2/2 - 7*x + 1. Is m(5) a prime number?
True
Suppose 2*l + 3*i - 816 = 2*i, 2*i = -8. Suppose 255 + l = 5*n. Is n composite?
True
Is (2391 - (2 + 0))/(-14 - -15) composite?
False
Let s = 317 - 183. Is s a composite number?
True
Is (178/4 + (-2 - -2))*4 composite?
True
Suppose 0*f + 2*f - 56 = 0. Suppose -5*q + 93 - f = 0. Is q a composite number?
False
Let y = 22 - 7. Is y prime?
False
Let c(f) = 0 + 6*f - 2 - 5*f. Let z be c(3). Is (-8)/(-4) + (z - -1) prime?
False
Let g(k) = k + 25. Is g(6) composite?
False
Let i(y) = y**2 + 2*y - 1. Let h = 1 - 3. Let g be i(h). Is (-1 - 0)/(g/43) prime?
True
Let a be -1 - -1 - 1*-4. Suppose 0*r + a = -r. Let n(d) = 2*d**2 + 1. Is n(r) a composite number?
True
Suppose 0 = -5*w - k + 1909, 3*k - 1143 = -3*w - 0*w. Is w prime?
False
Is -3 - -1 - ((-4080)/3 - 3) composite?
False
Let w = -1 + -5. Let j be w/4 + 9/(-2). Is 2*3/j + 36 a prime number?
False
Let a(u) = 12*u**2 + u + 1. Let w(b) = -2*b - 5. Let x be w(-4). Suppose -5*v - j = -5, -x*v + v + 5*j + 29 = 0. Is a(v) a composite number?
True
Let g(d) = d**3 - d + 37. Is g(0) prime?
True
Suppose -4*v + v - 2*i = -102, -3*v + 102 = -i. Suppose -2*j = -74 - 40. Suppose -q = -j - v. Is q composite?
True
Suppose -74*z + 15891 = -71*z. Is z prime?
True
Suppose 4*g = 3*j + 20, 4*j + 3*g - 15 = 2*j. Suppose 0 = -j*m + 4*m + 1856. Let o = m + 675. Is o composite?
False
Is (24036/(-48))/((-1)/(-1 + 5)) a prime number?
True
Suppose 0*z - 4*k = -5*z + 4, -4 = -k. Suppose 2*m = z*m. Is (-13 + -2)/(-1) + m a composite number?
True
Suppose 0 = -0*s - 2*s + 176. Let o = s - -331. Is o a composite number?
False
Is (-55)/15*(-9 - 0) composite?
True
Suppose -2*k - 31 = q - k, -4*k = -q - 16. Is (-10396)/q - 2/7 a prime number?
False
Let s(i) = 7*i**3 - 7*i**2 + 2*i - 1. Is s(5) prime?
True
Suppose -3*r - 4 = -1. Suppose 6*z = 2*z. Is z + r + 0 + 35 prime?
False
Is (-338793)/(-85) + (-3)/((-15)/(-4)) a composite number?
True
Suppose 0 = g - 6*g - 50. Let h = -8 - g. Suppose k + 36 = -2*c + 4*c, -h*c = 3*k - 44. Is c a prime number?
True
Let g(v) = -v**3 + 7*v**2 - 3*v + 1. Let h be g(6). Suppose -5*l + 76 = -64. Let m = l + h. Is m prime?
True
Suppose 0 = -2*s + s + 4. Suppose -3*r - 3*n + 211 + 497 = 0, -5*r + 1177 = s*n. Is r prime?
True
Let b be (-316)/3 - 12/18. Is 1/(-2*1/b) a prime number?
True
Let d be 1115/7 - (-22)/(-77). Suppose 2*j - d = 29. Is j composite?
True
Suppose -20567 = -14*n - 3193. Is n prime?
False
Let q be ((-8)/(-3))/(2/(-6)). Let k(a) = 0*a**2 - 130*a**3 + 129*a**3 - 1 - 2*a - 8*a**2. Is k(q) composite?
True
Let s = 6 + -8. Let z(p) = -2*p - 2. Let b be z(s). Suppose -3*y - 2*l + 67 = 10, 3*l = -b*y + 38. Is y a prime number?
True
Suppose l = -u + 334, -2*l = 2 - 8. Is u prime?
True
Let o = 4 - 2. Let g = -17 - -11. Is g*21/(-6) + o a prime number?
True
Let d be ((-2)/(-4))/(5/(-10)). Let j be (d/(-3))/((-2)/6). Is 135 - (j + 1 + 2) composite?
True
Suppose -6*y + 330 = -72. Is y composite?
False
Suppose 4*b - 2356 = -0*b. Let n = b + -324. Is n a prime number?
False
Let j(y) = y**3 + 3*y**2 + y + 1. Let x be j(-2). Let i be 2 - (x + (2 - 2)). Let w(v) = -18*v**3 - 2*v - 1. Is w(i) composite?
False
Let a = 5 + 0. Suppose 4*q - 32 = -2*z, 4*z + 0*z = a*q - 66. Is q composite?
True
Let y = 3 - 3. Suppose 2*c - 8 = -2*w, -4*c + y*w = -4*w + 16. Is (-49)/((-3 - -2) + c) prime?
False
Let w = 7 - 9. Is (125 - w)/(4 + -3) composite?
False