t t(w) = -178*w**2 + w + 1. Let b be t(-1). Let d = -78 - b. Let k = 177 - d. Is k composite?
True
Let m = -1034 + 698. Let q = 108 + m. Is (2/(-3))/(8/q) prime?
True
Let i = 1303 + -482. Is i a prime number?
True
Suppose -c + 392 = 5*s, -5*c + 10*c + 2*s - 2029 = 0. Is c prime?
False
Let g(u) = -u. Let q(b) = -37*b + 4. Let d(x) = 4*g(x) + q(x). Suppose -3*s = 2*s + 15. Is d(s) composite?
False
Suppose t + 4*l = 433, 5*l + 2265 = t + 4*t. Is t composite?
False
Suppose a = 5*g + 31, 0 = 5*a - 2*g - g - 45. Let y = a - -7. Is y a composite number?
False
Is 9/15 - 1*(-542)/5 a prime number?
True
Let f(t) = 5 + 2*t - 9*t**2 - 10*t**2 + 21*t**2. Is f(6) a composite number?
False
Suppose -2*t - 6 = -3*t. Let m be 147/t*-2*-1. Let l = -34 + m. Is l prime?
False
Let k = 10 - 5. Suppose -1100 = -5*a + 2*d, 852 = k*a - a + 4*d. Let g = 307 - a. Is g a composite number?
False
Suppose -2*j + 2 = -4*s, -5*s + 5*j - 4 + 9 = 0. Let g = -40 + 15. Let f = s - g. Is f composite?
False
Let j = 34 - -3. Is j prime?
True
Let c(s) = 3*s + 1. Let d be c(1). Suppose u + u - d = 0. Is (u + -3)*(1 - 38) a prime number?
True
Let i = -67 + 101. Is i prime?
False
Let u(a) be the first derivative of 3*a**5/40 - a**4/6 + 2*a**3/3 - 1. Let c(l) be the third derivative of u(l). Is c(3) a prime number?
True
Suppose x - 4*x + k + 1254 = 0, 5*k - 15 = 0. Let m = -166 + x. Is m a composite number?
True
Let k = 352 + 169. Is k a prime number?
True
Let x(t) = 712*t + 1. Is x(1) a prime number?
False
Suppose -5*g + r - 368 = 0, -3*r = -2*g - 6*r - 137. Let c = -51 - g. Is c a prime number?
False
Suppose 0 = 3*l + 2*d - 126, 2*l + 2*l + d = 163. Suppose -4*h + 267 = -201. Let z = h - l. Is z a prime number?
False
Let x = 4 + 22. Let i = x - 11. Is i composite?
True
Suppose 12 = -5*c + 2*c, 4*c = d - 19. Suppose 0*t = -d*t + 111. Is t a prime number?
True
Let m be ((-12)/16)/(1/(-8)). Let p(v) = 2*v - 8. Let s be p(m). Suppose 5*z - 46 = s. Is z a prime number?
False
Let d = 87 - -22. Let z = 266 - d. Is z a composite number?
False
Let c(r) = -6*r + 7. Suppose -4*p + 3 = -v + 1, 5*v = -4*p - 10. Let h(s) = 3*s - 2. Let w be h(v). Is c(w) a composite number?
True
Let j be -2*((-1)/1 + 0). Suppose -j*z - b = -327, 2*z - 321 = -b + 6*b. Is z composite?
False
Let u = 1541 + -622. Is u a composite number?
False
Is -2 - (2 - 0 - 503) composite?
False
Is 172/9 - 6/54 composite?
False
Suppose 0*b = b - 10. Let w be (-38)/(-4) - 5/b. Let y = w - 5. Is y a composite number?
True
Let u(o) = -o**3 + 2*o**2. Let l be u(-3). Suppose 0 = -3*j - 2*j - 5. Is 1 + l - 0 - j a prime number?
True
Let u(m) = -14*m + 2. Let n be u(3). Is (12/10)/((-8)/n) a composite number?
True
Suppose 2*y + 4 = -0*y. Let r = y + 6. Suppose 2*p = -0*p + 4*j + 426, -4*p - r*j = -792. Is p composite?
True
Let n(z) = -148*z**3 + 1. Suppose t + 2*d + 5 = 0, 2*d + d = 2*t - 4. Is n(t) prime?
True
Let v = -3 - 0. Let b be (v - (-27)/6)*2. Suppose k = -b*k + 148. Is k a prime number?
True
Suppose -6 = -5*m + 34. Let z be m/12*(-1194)/(-4). Suppose 0 = -4*h + 69 + z. Is h a composite number?
False
Let g = 12235 + -6936. Is g a prime number?
False
Is 1983/6 - 4/(-8) prime?
True
Let h(k) = -k. Let i be h(0). Suppose -4*x + 12 = i, 3*r - 6*r = x - 129. Suppose 3*j = 5*b - r, -2*j + 28 = 3*b - j. Is b a prime number?
False
Suppose 2*k - 5*s - 13 = 0, k - 4*s = -3 + 11. Suppose k*c + 1074 = b + 2*b, 0 = -5*c. Is b a composite number?
True
Suppose -6*t - 51 = -7*t. Is t prime?
False
Let t(a) = -a**2 - 7*a + 3. Suppose 2*d - 26 = f, d - 87 = 4*f - 11. Let b = -25 - f. Is t(b) a composite number?
False
Let b = 5 + -2. Suppose 5*c + 43 - 227 = b*u, 4*c = 2*u + 148. Is c composite?
True
Suppose -a - i - 31 = 5, -5*i = -4*a - 126. Let v = a - -53. Is v a prime number?
True
Let n(d) = -90*d**2 + 2*d - 1. Let y be n(1). Is ((-44)/2)/(2/y) a composite number?
True
Suppose 5 = m + 2. Suppose -m*h = h + 8. Is -118*h/(5 + -1) composite?
False
Let s(y) = -109*y. Let n = -1 - 0. Is s(n) prime?
True
Let x(w) = w**2 - 2. Let d(o) = 2*o**2 - 3*o. Let a be d(2). Let s be x(a). Is 1792/35 - s/10 prime?
False
Let y(z) be the second derivative of -9*z**3 - 2*z**2 + 2*z. Let q be y(-7). Suppose 66 - q = -4*g. Is g a composite number?
True
Suppose 5*q - 18 = 3*g - g, -5*q - 3*g + 23 = 0. Let i be q/5*(-60)/(-8). Is (-1)/(-2) - (-495)/i prime?
True
Suppose -3*o + 1 = -5. Suppose -o*q = -2*h + 700, -4*h - q + 6*q = -1396. Suppose t - 279 = -6*u + 2*u, 5*u + 3*t = h. Is u a composite number?
True
Suppose -8 = -0*j + 2*j. Let y(q) = 2*q**2 - 7 - q**2 + 2. Is y(j) a composite number?
False
Let h(r) = 2*r + 3. Let f(i) = -i. Let d(u) = 3*f(u) + h(u). Let k be d(0). Suppose -k*x - 30 = -141. Is x prime?
True
Let f be -3 + -3 + 12 + 2. Let j = f - -71. Is j prime?
True
Let z(o) = o**3 + 4*o**2 - 5*o + 1. Let i be z(-5). Let l be (-1 - i)*-1 - 1. Let k(n) = 36*n**2 + 2*n - 1. Is k(l) a prime number?
True
Let d = 2700 + -923. Is d prime?
True
Let x be 33/2 - (-1)/2. Is -2*(x/(-2) - 1) a prime number?
True
Let m be 9/(-6)*(-4)/(-6). Let z be (-1 - m/4)*-20. Let l = 18 + z. Is l a composite number?
True
Suppose -4*h + a = 5*a - 252, -2*h + 3*a = -121. Let n(w) = -w**3 - 4*w**2 - 4*w - 8. Let r be n(-4). Suppose -h = -2*p + r. Is p a composite number?
True
Suppose 5*s - 6*a = -2*a + 15, 2*a = -s - 11. Suppose 0 = -7*r + 2*r + 35. Is 2 + s + 2 + r a composite number?
True
Let t(b) = b**3 - 10*b**2 - 17*b + 13. Let q be t(11). Is (q/(-4))/((-6)/(-24)) a composite number?
False
Let d(b) = -b**3 - 6*b**2 + 14*b - 4. Is d(-11) a composite number?
True
Suppose 3*d = -0*d + 6. Let r be (-20)/(-8)*8/d. Suppose -2*l = 5*p - 87, -l - 4*p = r - 61. Is l composite?
False
Is 22/88 - (18834/(-8))/3 prime?
False
Let z = 405 + 17. Is z a composite number?
True
Let j(t) = t**3 - 8*t**2 - 2*t + 6. Let f be j(8). Let c = -32 - f. Let n = 35 + c. Is n a prime number?
True
Suppose 0 = -5*s - 4*t + 7727, -2*s + 3*t - 1552 = -3*s. Is s a prime number?
True
Suppose -4835 = 5*k + 6610. Is (2/(-3))/(14/k) a prime number?
True
Suppose 0 = -3*x - 2*x + 450. Let j = x - -37. Is j a composite number?
False
Let s = -1043 - -3490. Is s prime?
True
Suppose 10 = 2*v, -21 - 6 = 3*z - 3*v. Is z/(-18) + (-817)/(-9) composite?
True
Suppose -18*b + 15*b = -3657. Is b prime?
False
Suppose -2*x + 6 - 2 = 0. Suppose 2*r - 12 = -x*j - 3*r, 3*j = -3*r + 27. Is j a prime number?
True
Suppose -4*j - 485 = -9*j. Is j composite?
False
Let y(n) = -14*n. Let u be (1 - 1) + 3/(-3). Let x be y(u). Suppose 2*b + x = 3*b. Is b a composite number?
True
Let s(c) = -c**3 + 1. Suppose 1 = p - 0. Let l(q) = -6*q**3 + 3*q**2 + 2*q + 5. Let b(r) = p*l(r) - 2*s(r). Is b(-2) a composite number?
False
Let h = 390 - 232. Is h a prime number?
False
Let b = -626 + 1134. Suppose s = 5*s - b. Is s prime?
True
Let k = 10 - 6. Let r be k - 1/(0 + -1). Suppose -3*w = -r*q - 39, 4*w - 37 = -3*q + 15. Is w a composite number?
False
Let w be 6/(-30) + 14/(-5). Is 1 + 88 + (-6)/w a composite number?
True
Let u(i) = -i**3 - 7*i**2 - 5*i - 4. Let t = -3 - 4. Is u(t) a prime number?
True
Let l = -430 - -232. Is (l/(-15))/(2/5) a prime number?
False
Let s(n) = 102*n + 1. Is s(4) composite?
False
Suppose 0 = -2*x - 2*x - 4. Is -1 + x + (132 - 3) a prime number?
True
Let r(u) = -u**3 - u. Let g be r(1). Let f(b) = 0*b + 3*b - 66*b + 1. Is f(g) a prime number?
True
Let g(y) = 7*y**2 - 2. Let k be g(3). Suppose k = m - 274. Is m composite?
True
Let i(p) = -3*p**3 - 2*p**2 + 5*p - 5. Is i(-6) a prime number?
True
Is ((-1)/2)/((-2)/124) a prime number?
True
Let d be (-6)/(-21) + (-250)/(-7). Let k = 70 - d. Is k composite?
True
Suppose -15 = 5*c - 2800. Is c a composite number?
False
Let v = 169 + 238. Is v composite?
True
Suppose -2*i = -6*i + 848. Suppose i = 3*w + w. Is w prime?
True
Let i = 212 - 49. Is i a prime number?
True
Suppose d + d = -3*b + 4, -4*d - 20 = -b. Let i = d - -8. Suppose -5*r + 0*r + 394 = x, -5*r = -i*x - 399. Is r prime?
True
Let m(u) be the second derivative of u**3/3 - 6*u**2 - 6*u. Is m(13) a composite number?
True
Let d(r) = 85*r**2 + 3*r + 1. Is d(6) a prime number?
True
Let o(y) = -y**3 + 2*y**2 + y - 2. Let x be o(2). Let k be (-4)/2 + (x - -2). Is k/(1 + -2) - -2 prime?
True
Let q = -8 + 7. Let t(g) = 154*g**2 - 2*g