ose 0 = -y - r*y + 340. Is y composite?
True
Let a(r) = -r**3 + 3*r**2 + 4. Let w be a(3). Is w*(-2)/(24/(-993)) a prime number?
True
Suppose 5*f = 4*v + 102, 2*v = -4*f - 0*f + 92. Is f a prime number?
False
Let l(g) = -29*g - 3. Suppose -3*a - 30 = 2*a. Let p(x) = x**2 + 6*x - 4. Let w be p(a). Is l(w) composite?
False
Let c(n) = 2*n**3 - 6*n**2 - 8*n - 5. Is c(6) composite?
False
Let o be 2/6 + 5/(-15). Let r be (o - 0)/(-1) + 122. Suppose -25 = -5*q, 0*p - 5*q - r = -3*p. Is p prime?
False
Suppose 3*l + 3 = 6. Suppose -101 = -2*h + l. Is h prime?
False
Suppose 0 = 2*i - 2097 - 865. Is i prime?
True
Suppose -3*p = -p - 32. Is (p - 13) + 64/1 prime?
True
Let h be 1 - (-15 - (-2 - -1)). Let s be -2*(-5)/(h/24). Suppose s = -3*z + 217. Is z composite?
False
Let b be 2/4*24/6. Suppose -4 = b*s - 3*s. Suppose s*c + 1 = -f, -3*f - 3*c = 6 - 21. Is f a prime number?
True
Suppose -3*s = -5*s. Suppose s = 4*x + 73 + 7. Let w = 11 - x. Is w a prime number?
True
Let l = -4 + 7. Let j be (-4)/l*(-36)/8. Is (-129)/j*1*-2 a prime number?
True
Let s be (-8)/((-355)/(-119) - 3). Let h = s - 217. Is h composite?
True
Let h be 2/(-6) + 22/(-6). Let z(k) be the second derivative of -k**5/20 + k**3/3 - k**2/2 + 2*k. Is z(h) prime?
False
Let k(r) = -r**3 - 4*r**2 - 4*r - 2. Let c be k(-4). Let u = c - -1. Is u a prime number?
False
Let l(b) = -b**3 - 7*b**2 + 7*b - 4. Let o be l(-8). Suppose 31 = -3*n + 2*i, o*n - i + 24 = -9. Is (-14)/((-5)/n + -1) prime?
False
Let u = 0 + 0. Let v be (-25 + 24)*1*-2. Is (u - v/(-2))*22 a prime number?
False
Suppose p + 15 = 4*p. Suppose -p*r = z - 14, 5*z - 16 = z. Suppose -r*o - 65 = -3*o. Is o a prime number?
False
Suppose 5*q - 233 + 858 = 0. Let m = 214 + q. Let c = m - 58. Is c prime?
True
Let g(o) = -6 + 2 - 8*o + 0. Let l be g(-4). Suppose l = 2*r + 2*r. Is r a composite number?
False
Let g = 618 + -119. Is g a prime number?
True
Let c = -95 - -244. Is c composite?
False
Let p(r) = -r**3 - 5*r**2 + r + 4. Let a be p(-5). Let s(j) = j - 11*j + 55*j**2 + 11*j + 1. Is s(a) composite?
True
Is 3 + 5/((-20)/(-632)) a prime number?
False
Suppose 3*t - 1415 = -2*t. Suppose -4*g - g = -4*o + t, -271 = -4*o + g. Is o prime?
True
Let f = 390 + -225. Suppose -5*m = 5*k - f, 5*m = -k + 2*m + 23. Is k prime?
False
Let m = 7 - -43. Suppose -3*s + m = 17. Is s a composite number?
False
Suppose 2*f - 89 - 101 = -4*h, f - 97 = -3*h. Is f composite?
True
Suppose 4*j + 2*b - 82 = 0, -3*j + 4*b - 10 = -4*j. Is j a composite number?
True
Suppose 15 + 1 = 4*v. Let j = v - 7. Is (257 + j/1)/2 a composite number?
False
Suppose -7*k - 9399 = -10*k + 2*i, -i = 0. Is k a composite number?
True
Suppose 2*h - 4*h = -6. Suppose -2*g = h*j - 111, j + 0*j + 3*g - 44 = 0. Is j a composite number?
True
Let f = -35 + 608. Is f composite?
True
Suppose 0 = -5*i + 262 + 193. Is i prime?
False
Suppose -3*u + 6*u + 82 = k, -k - u + 102 = 0. Is k a prime number?
True
Let j(y) = y**3 + 6*y**2 - 7*y + 10. Is j(-7) composite?
True
Suppose 0*t = 2*t - 2808. Let x = t + -775. Is x a prime number?
False
Let x(s) = -s**2 + 15*s - 11. Is x(13) a composite number?
True
Suppose 5*y - 15 + 5 = 0, -263 = -5*g + y. Is g a prime number?
True
Let d(u) = u**3 + 4*u**2 - 7*u - 6. Let s be d(-5). Suppose 3*m = 5*j + 8*m - 310, -4*j + 208 = -s*m. Is j composite?
True
Let l(y) = -y**2 + 8*y - 7. Let x be l(7). Suppose -89 = -g - x*g. Is g composite?
False
Suppose 3*m = -0*m. Let g = m - -1. Is ((-7)/(-3))/(g/9) a prime number?
False
Let s(a) be the first derivative of 5*a**2/2 - 1. Let c be ((-32)/48)/(4/(-18) - 0). Is s(c) prime?
False
Suppose -20 = -5*o - 5. Suppose 0 = -3*h - o*y + 6, 3*y = -0 + 3. Is (h + 1)/(6/165) a prime number?
False
Let x(l) = -258*l**3 + 3*l + 2. Is x(-1) a prime number?
True
Let h = -518 - -1187. Is h a prime number?
False
Is ((-524)/8)/(1/(-2)) prime?
True
Suppose -1577 = -h - 196. Is h a prime number?
True
Suppose 387 = 5*q + 17. Suppose r = -r + q. Is r prime?
True
Suppose 5*k - 3*j = 19, 2*k - 3*j - 13 = -0*k. Suppose -k*s + 12 = 2*s. Suppose 0 = s*z - 18 - 24. Is z prime?
False
Let d(n) = 7 + 4*n**2 - 3*n**2 + 4. Suppose -6*k = -k. Is d(k) a prime number?
True
Is (-4714)/(-9 - -7) + 0/2 a prime number?
True
Suppose 0 = 4*u - 2*u - 8. Suppose w - u*y = -2*y + 6, -6 = w + 4*y. Is w prime?
True
Let u(f) = 116*f**2 - 5. Is u(-3) a composite number?
False
Suppose -3*k = -5*b + 784, 75 = 3*b + k - 387. Let f = -66 + b. Is f composite?
False
Suppose x = 1 - 2. Let z be 4*-2*x/4. Suppose -236 = -z*d - 2*d. Is d prime?
True
Suppose -3*o - 6 + 0 = 0. Let l be (8/6)/(o/(-6)). Suppose -3 = -l*z + 25. Is z a composite number?
False
Suppose 0*c = 3*c + 4*g - 3163, 2097 = 2*c + 5*g. Is c prime?
True
Is (-1)/3*-3 - 4*-279 prime?
True
Suppose -193 - 7 = -2*k. Let n = k + -13. Is n prime?
False
Suppose 0 = -3*b - 2*b + 930. Is ((-2)/4)/((-3)/b) a composite number?
False
Suppose 13 = u - 5*i, u + 5*i = 8 + 5. Is u a composite number?
False
Suppose 0 = 5*t + 4 + 11. Is (-19)/3*t + 0 a prime number?
True
Let z(j) = -j + 4 - 2*j + 2*j + 2. Let v be z(6). Suppose c + c - 148 = v. Is c a composite number?
True
Suppose -2*c - 2*o + 694 = 0, -3*c + 1041 = -2*o + o. Is c prime?
True
Let y = 595 - 342. Is y prime?
False
Let w = 3 - 1. Is ((-97)/w)/(3/(-6)) a composite number?
False
Let t(d) = d**3 - d + 1. Let u(v) = -6*v**2 - 5*v + 1. Let x(m) = t(m) - u(m). Let w be x(-5). Suppose 3*i = 2*n + 53, 2*i - n - w - 31 = 0. Is i prime?
True
Let v(l) = l**2 + 5*l - 17. Is v(-12) a composite number?
False
Suppose 6*p - 4*p = 1538. Is p composite?
False
Suppose 0 = 5*t - 3*s - 17254, -2*t + 13802 = 2*t - 2*s. Is t prime?
True
Let j(p) = p**2 + 7*p - 3. Let o be j(-8). Suppose -7 = -k - 3*v + 14, o = k - 5*v. Is k composite?
True
Suppose -189 = 5*n + 2*g - 2286, 5*n - g - 2094 = 0. Is n prime?
True
Let g(j) = -29*j**2 + 3*j + 3. Let y be g(3). Let x = 370 + y. Is x composite?
True
Suppose -3*t + 60 = t. Is t a composite number?
True
Suppose 4*c + 6*d = 5*d + 105, -5*c + 128 = -2*d. Is c prime?
False
Let o(n) = -n**2 - 9*n - 3. Let j be o(-8). Suppose 0 = 5*b + j, 5*b = -4*s + 3*b + 2330. Is s composite?
True
Suppose 15 = -3*m + 60. Let g be 492/5 + 9/m. Suppose z + 2*z - g = 0. Is z composite?
True
Suppose 2*n = -3*n - 30. Let r(i) = -i. Let x(p) = -34*p**3 + 8*p - 1. Let g(b) = n*r(b) - x(b). Is g(1) a prime number?
False
Suppose 3*s + 0*p + 49 = -p, 0 = 4*p - 20. Let d = s - -28. Is d composite?
True
Suppose 3*w - 5 = -5*d, -3*d + 4*w = -2*d - 24. Suppose d*n - 3 = n. Is -37*(0 + (0 - n)) a prime number?
True
Let k(n) = 10*n**3 + 11*n**2 + 2*n + 6. Is k(5) a composite number?
True
Let s = -10 + 7. Let l be 3 + -3 + s + 11. Suppose u + 5*b - 39 = 0, -2*b = -4*b - l. Is u prime?
True
Suppose m - 44 = 177. Is m a prime number?
False
Let j be 1115/(-15)*-30*1. Suppose 626 = -4*n - j. Is n/(-18) + 4/(-6) a prime number?
False
Suppose -9*u = -5*u - 220. Is u composite?
True
Let w = 38 - 17. Is w a composite number?
True
Suppose -o - 5*l + 1393 = 0, 0 = -o - 4*l + 616 + 773. Is o composite?
False
Let y be 0 - 0 - (-6)/3. Suppose -2*c + 4*h - 12 = -0*h, -y*c = -h + 15. Is (-3 + 1)/(c/136) composite?
True
Let z be 4/14 - (-24)/14. Suppose 4*p = 4*v - 524, 3*p - 504 = -4*v + z*p. Is v prime?
True
Let n(b) = -b**3 - 6*b**2 + 11. Is n(-6) a prime number?
True
Let g(r) = -r + 8. Let z be g(6). Suppose -u + 4*m + 49 = 16, 0 = u - z*m - 23. Is u prime?
True
Let q = 84 + 34. Is q composite?
True
Suppose 0 = -5*h + 132 + 23. Is h composite?
False
Suppose -5*w - 10 = s, 4*w + 14 - 2 = 0. Suppose 23 = -s*m + 73. Is m a composite number?
True
Let b = -1281 - -3436. Is b composite?
True
Let w be 0 - (2 + -1)*1. Let o = 0 + 1. Is 11/1 + w + o a prime number?
True
Let i(j) = -j**2 - 9*j - 7. Suppose 0*m + 15 = -3*m. Is i(m) composite?
False
Let p = 72 - 35. Let h = 168 - p. Is h composite?
False
Let v(u) = -u**3 + 8*u**2 - 6*u - 7. Let d be v(7). Suppose -t = 2*h - 7*h - 114, 2*t + 3*h - 163 = d. Is t a prime number?
True
Suppose 4*g - 260 - 152 = 0. Is g a prime number?
True
Let b be 8/3 + (-2)/3. Is ((-57)/(-15))/(b/10) prime?
True
Suppose 0 = 8*c - 3*c - 235. Is c composite?
False
Let q = -3 - -3. Suppose -g = -2*g + 4. Suppose g*w - 45 - 95 = q. Is w prime?
False
Suppose 2*g - 69 = -g. Is g a p