 3, -a = g - 4. Is ((-3)/a)/((-8)/80) prime?
False
Let g = 96 - -307. Is g a prime number?
False
Let h(s) = 31*s**2 + 15*s - 15. Is h(-7) a prime number?
True
Suppose l - 15 = -4*l. Suppose d = -l*d. Suppose -4*x + 8 = d, 0*b - 3*b = -3*x - 27. Is b a composite number?
False
Suppose 4*q + 1672 = 5*q. Let l = 1158 - q. Let b = l - -737. Is b prime?
True
Is (1/(-1))/((-14)/10122) composite?
True
Let w(b) = -599*b**3 - 39*b**3 - 227*b**3. Is w(-1) composite?
True
Suppose -7*u + 4*u = -9237. Is u a prime number?
True
Suppose 8*l = l + 1442. Is l composite?
True
Let a be (1/(-3))/(3/(-171)). Suppose 0*d + 2*d + b - 11 = 0, a = d + 5*b. Is d prime?
False
Suppose -6 = 2*f - 4*f. Let s = -6 - -12. Suppose 2*g + f*c - 21 = s*c, 5*g + 5 = -4*c. Is g prime?
True
Let s = 7 + -11. Is 158/12 + s/24 a prime number?
True
Let n be (-33)/(-6)*2*-1. Let v = -7 - n. Suppose -4*p + 92 = -v*m, -4*m + 9*m = p - 11. Is p a composite number?
True
Let b(q) be the first derivative of 7*q**2 + 4*q**2 + 3*q - 2 - 4*q**2 - 6*q. Is b(4) composite?
False
Let x be (118*7)/2 - -2. Suppose -285 = 2*n - q, 0*n + 4*q - x = 3*n. Let y = -48 - n. Is y a composite number?
False
Suppose 2 = -3*m + 5. Let y be (3/(-6))/(m/(-174)). Suppose -c - y = -214. Is c a composite number?
False
Let c = -10 - -5. Let q = c + 8. Suppose -2*o = -q*h + 7*h - 158, 5*h - 165 = 4*o. Is h composite?
False
Let l = 0 - 1. Let z(w) be the first derivative of -9*w**2 + w - 1. Is z(l) a prime number?
True
Let m(z) = 2*z + 2. Let j be m(-2). Let u be (-1)/j + (-1)/2. Suppose 2*c + 5*g - 26 - 59 = u, -c + 60 = -g. Is c prime?
False
Let l(n) = n - 1. Let x be l(1). Suppose x = -4*u - 2 + 18. Suppose 3*k = z + 40, -k + 16 = -z + u. Is k a prime number?
False
Let m(o) = -4*o**3 - 3*o**2 - 3*o - 7. Is m(-4) composite?
True
Is 18/(-99) - 4910/(-22) a prime number?
True
Suppose y = 2*y - 240. Suppose -3*s = 5*f - 2*f - y, -f - 3*s + 82 = 0. Is f a composite number?
False
Suppose 1388 = 5*i - 1977. Is i prime?
True
Let a be 0 - -4 - (1 - -1). Suppose -5*g = -a*g - 30. Suppose 4*f = -m + 41 - 11, -g = -5*m. Is f a prime number?
True
Is (-2)/1 - -2 - -46 composite?
True
Suppose -414 - 288 = -3*q. Suppose i = 287 + q. Is i a prime number?
True
Let g(u) = -2*u**3 - 5*u**2 + 5*u + 5. Let v(c) = c**2. Let i(k) = g(k) + 4*v(k). Is i(-4) prime?
True
Let l = 166 - 81. Is l prime?
False
Suppose -9*s + 6*s + 483 = 0. Is s a composite number?
True
Let d = -98 + 194. Let j = -3 + -10. Let t = j + d. Is t a composite number?
False
Let z(k) = k**2 - 3*k - 2. Let d be z(4). Suppose 2*m - 366 = 3*w, -3*m + 3*w = d*w - 535. Is m composite?
True
Let g(i) be the second derivative of -17*i**3/3 - 3*i**2/2 - 2*i. Is g(-2) prime?
False
Let j(q) = q**2 - q - 2. Let p be j(2). Suppose p*m - 3 = -m. Suppose m*b = b + 106. Is b prime?
True
Let b(f) be the first derivative of -55*f**2/2 + 2*f - 1. Let w be b(-3). Suppose -5*u + 18 = -w. Is u a composite number?
False
Let f(d) = 5*d**2 + 5*d - 4. Let w be f(-4). Let k = -21 + w. Is k prime?
False
Let i(a) = 69*a. Let l be ((-3)/(-12))/((-1)/(-4)). Is i(l) a prime number?
False
Suppose -7*r + 21203 = 4676. Is r a prime number?
False
Let j = 511 - 246. Is j a composite number?
True
Let r be (-8)/(2/(-1)*1). Suppose -v - r = -u + 3, 0 = -3*u - 4*v. Suppose 134 = 2*t - u*i, t - 2*i - i = 72. Is t a prime number?
False
Let l = 7 + -10. Let j be l/(-2*3/4). Is 38/6 - j/(-3) a composite number?
False
Suppose 21 - 6 = 3*m. Suppose -m*k + 2*d = -235, 0 = 6*k - 3*k + 3*d - 162. Is k prime?
False
Let x(d) be the second derivative of -d**4/12 - 4*d**3/3 - 2*d**2 + d. Let j be x(-7). Suppose -265 = -j*o - 2*o. Is o a composite number?
False
Is (-6)/45 + 4714/30 a composite number?
False
Let i(q) = 16*q - 1. Let j be (-1)/(-3) - 20/(-12). Is i(j) a composite number?
False
Let x(l) be the second derivative of -1/2*l**2 + 0*l**3 + l + 2*l**4 + 0. Is x(-1) a composite number?
False
Let s(z) = z**3 - 5*z**2 + 2*z - 6. Let r be s(5). Suppose -2*k + h + 75 = 0, -5*k + 33 = -4*k + r*h. Is k composite?
False
Let l = -5 + 9. Suppose -l*f - 4*a + 26 = -26, -65 = -5*f + 3*a. Is f a prime number?
True
Suppose -a + 3509 = -0*d + 2*d, 0 = -3*d + 2*a + 5281. Is d prime?
False
Let t(j) = -j**3 + 0*j + 2*j - 4*j**2 - j + 3 + 0*j**2. Let b be t(-3). Is b/12 - 286/(-8) prime?
False
Suppose 6*j - 5*j = 1. Let w be 1*-2*249/6. Is (2 - w) + (3 - j) composite?
True
Let v(u) = u**3 + 10*u**2 - 12*u + 2. Is v(-9) a prime number?
True
Suppose 0 = 5*g - 1489 - 3076. Is g a prime number?
False
Suppose 2*p - 6 = 2*k, -4*p + 2*k - 2 = -16. Let t = 7 - p. Suppose -3*n = -7*b + 3*b + 51, t*n = -3*b + 54. Is b a prime number?
False
Let c(u) = -121*u**3 + 4*u**2 + 16*u - 3. Is c(-4) a prime number?
True
Let k = 276 + -157. Is k prime?
False
Suppose i = -0*i + 31. Is i a composite number?
False
Let t(s) = -133*s - 3. Let u = -6 - -4. Let k be t(u). Is k/5 + 8/20 prime?
True
Let o(g) = 15*g + 3. Let i be o(-6). Is (30/(-18))/(1/i) a composite number?
True
Let f = -12 + 20. Suppose -5*o = -4*t + f*t - 36, 2*t = 4*o + 44. Is t a composite number?
True
Let l(b) = -b**3 - b**2 + 3*b + 1. Let v be l(-2). Is v*(260 - 3)*-1 prime?
True
Let g be 1/(-3) + 2652/(-36). Is ((-3)/2)/(3/g) composite?
False
Suppose -4*q = -3*x + 3, -q + 0*x = 3*x - 3. Suppose 5*v + 0*v + d - 16 = 0, 2*v + 5*d - 11 = q. Suppose -v*a + 55 = -2*a. Is a composite?
True
Suppose -2*z + 229 = -25. Is z a composite number?
False
Let i be 10/(-4)*(-20)/25. Let b = i - 0. Is b a prime number?
True
Let c = -97 + 246. Is c prime?
True
Let w be 3*-3*534/27. Let l = w - -347. Is l a prime number?
False
Let j = 1496 + -219. Is j a composite number?
False
Suppose -4*f = 146 - 1390. Is f composite?
False
Let c(x) = -17 - 9*x + 8 - 8 + x. Is c(-9) composite?
True
Let p(t) = t + 1. Let c be p(3). Suppose -2*g + c*g = 178. Is g prime?
True
Let f = 4 - 0. Suppose 15 + 25 = f*n. Is (-378)/(-30) - (-4)/n prime?
True
Let v = 87 + 52. Is v composite?
False
Let x = 28 + -24. Let u(k) = -k + 2. Let r be u(0). Suppose r*v - x*w - 27 - 75 = 0, 4*v - 3*w = 194. Is v composite?
False
Let o(l) = 8 - 9*l + 2*l**2 + 5 - l**2. Is o(14) composite?
False
Let q = 64 + -43. Is q a prime number?
False
Suppose 7*h - 3*h = -52. Let o = h + 8. Is (-1 - -39) + (o - -2) composite?
True
Suppose -7*t + 11756 = -3*t. Is t prime?
True
Let x(b) = -b**2 - 2*b + 1689. Is x(0) a composite number?
True
Let p be (-3)/2*(-24)/9. Suppose -p*s - 59 = -m, 4*m - 27 - 27 = 3*s. Let w(c) = c + 33. Is w(s) a composite number?
False
Let c = 6 + -3. Suppose -c*u + g = -4*g - 62, -5*u = 2*g - 62. Let o = -8 + u. Is o prime?
False
Suppose 2*b + 3*b = -5. Suppose k + 2 = 10. Is k + 4 - b*2 a composite number?
True
Let k be 76/((-14)/6 + 3). Let j = -3 + 3. Suppose j = -b + k + 77. Is b a prime number?
True
Let c(j) = -j**2 - 32*j + 11. Is c(-18) a prime number?
True
Suppose 4*u - 2 = 14. Suppose 3*p = -4 + 13. Suppose -c = p*m - u, -2*c = 5*m - 0 - 13. Is c a composite number?
False
Let r = 795 + -182. Is r prime?
True
Suppose -6 = -2*w - 14, w = t - 50. Is t prime?
False
Suppose -6*y = -544 + 142. Is y a composite number?
False
Let k(g) = -77*g + 3. Let t be k(-4). Suppose z - t = 8. Is z a composite number?
True
Suppose 28*x = 29*x - 1171. Is x a composite number?
False
Suppose 3*g - 3*a = 1551, a = -5*g + 1319 + 1290. Is g a composite number?
False
Suppose -3*u + 2*l = -1631, -l + 1078 = 5*u - 3*u. Is u prime?
True
Let v be (18*1)/((-6)/(-20)). Let l = 14 + v. Suppose 4*g + l = 2*b, g = -5*b - 3*g + 157. Is b a composite number?
True
Let m = -17 - -23. Let u(h) = h**2 - 1. Let b(d) = -d**2 - 3*d + 9. Let c(v) = b(v) + 2*u(v). Is c(m) prime?
False
Suppose 0*j - 5*c = 2*j + 27, 0 = -2*j + 4*c. Let v be -1*2*9/j. Suppose -v*b = -48 - 9. Is b a prime number?
True
Let v(y) = 43*y**2 + 1. Let l be v(-1). Is (-6)/33 + 96/l a prime number?
True
Let v(l) = l**2 + 7 + 6*l + l**2 - 2. Is v(5) composite?
True
Let h = -186 + 333. Is 2*(1 + h/2) a composite number?
False
Let x = 4 - 1. Let k(s) = s + 3. Let g be k(x). Suppose v - g*v = -475. Is v prime?
False
Let a(l) be the second derivative of -3*l**3/2 + 3*l**2/2 + l. Is a(-10) a composite number?
True
Let x(n) = 10*n - 134. Let d = 6 - 4. Let w(v) = -3*v + 45. Let k(o) = d*x(o) + 7*w(o). Is k(0