 = -4*x + 677. Is x prime?
True
Suppose -9277 = -8*o + 811. Is o prime?
False
Let o = 2849 - -422. Is o prime?
True
Suppose 6*j = 7*j - 163. Is j a prime number?
True
Suppose -m + 141 = -0*m. Is m a prime number?
False
Let a = -9 + 2. Let v be (6/(-4))/(a/56). Is 1/4 - (-3033)/v prime?
False
Let k(h) = -2*h**3 - 3*h**2 - 3*h + 1. Let s(b) = -b + 3. Let j be s(8). Is k(j) composite?
False
Let b = -171 - -436. Is b a prime number?
False
Let t be -1 + (-3 - (-3 - -6)). Let x(k) = k**2 + 4*k + 10. Is x(t) composite?
False
Let p(i) = 145*i**2 + 9*i + 2. Let z(k) = 72*k**2 + 4*k + 1. Let m(a) = -2*p(a) + 5*z(a). Is m(-1) composite?
True
Is -1*(25*-5 - 2) prime?
True
Is 2/12 - 2766/(-36) a composite number?
True
Let w(a) = 5*a**2 + 13*a - 11. Is w(-15) a prime number?
True
Let x be 7/((-4)/(4 - 8)). Suppose g + l = x + 34, g = -3*l + 49. Is g a prime number?
True
Suppose u = 3*c - 432, -u = -1 - 2. Suppose -2*i + 31 = 2*x - 37, 4*i + x = c. Is i composite?
False
Suppose -2*i + 3 + 5 = 0. Suppose -2*x + 440 = 2*z - 0*x, -i*z = x - 889. Is z prime?
True
Suppose 2*t = t + i + 10, -2*t - i = -35. Let o = t - -210. Suppose -r = -2*s + 152, 3*s - 2*r - r = o. Is s a prime number?
False
Let n(g) = g**3 + 2*g**2 + 21*g + 7. Is n(9) a prime number?
True
Let s = -15 + 22. Suppose 2*k + 5 = -s. Let n(i) = -5*i + 5. Is n(k) a composite number?
True
Suppose -79 = -7*r + 187. Suppose -r = -p - p + 2*m, -5*m = 20. Is p a composite number?
True
Let q(n) = 9*n**2 + 7. Is q(-6) composite?
False
Suppose 3991 = 5*w - 3*r, -4*w + 803 = -3*w - 3*r. Is w composite?
False
Is (-1*(-1)/(-2))/(7/(-14686)) prime?
True
Let u = -677 + 1468. Is u a prime number?
False
Is 1144/24 - (-2)/(-3) composite?
False
Suppose -3*k = -0*k + 4914. Let b be 30/2*(-3)/(-9). Is 2/b + k/(-30) prime?
False
Let u(v) = 5*v - 5. Suppose -2*b - 4 = -3*b. Suppose -8 = -b*j + 8. Is u(j) prime?
False
Let t be 1/(-1) + 4*1. Let n be 5*(-41 + -1 - t). Let a = -142 - n. Is a composite?
False
Let p(c) = 15*c**2 - 2*c - 2. Let h be p(-2). Let y = 113 - h. Is y a prime number?
False
Let l(p) = -7*p + 3. Let f(c) be the second derivative of -3*c**4/4 + c**2/2 + 2*c. Let r be f(1). Is l(r) composite?
False
Let d(t) = 21*t**2 + 7*t + 7. Is d(-5) prime?
False
Suppose -1 - 5 = -3*t. Let k be 2 + -1 + -1 + t. Suppose 0 = -k*y - 3*y + 725. Is y composite?
True
Let x(t) = -t**2 + 15*t - 13. Is x(7) composite?
False
Let v(t) = 38*t - 8. Let m(h) = -39*h + 7. Let k(a) = -7*m(a) - 6*v(a). Is k(2) composite?
False
Let b(j) = -j + 8. Let h be b(0). Let r = 6 + h. Is r prime?
False
Let o(q) = q + 7*q + 9 + 0*q. Is o(7) prime?
False
Let n(p) = -p**3 - 8*p**2 + 8*p - 7. Let x be n(-9). Is ((-5)/3)/(x/(-78)) prime?
False
Suppose 0 = -5*x - 21 - 9. Let o = x + 11. Is ((-3)/o)/((-1)/15) a prime number?
False
Let z be 0/(1 + -1 - -1). Let t be 0/(z + 2) + 502. Suppose 2*d - 4*p = t, 0 = -2*d - p + 244 + 263. Is d a composite number?
True
Let t = -15 - -2. Let n = -23 - t. Is (-4)/n - 28/(-5) a composite number?
True
Let w = 4 + -4. Let t be 1 - -1 - w/1. Is 2*((-7)/(-2) + t) a composite number?
False
Suppose -h + 257 = a - 4*a, h - a = 265. Is h composite?
False
Let p(r) = 6*r + 1. Suppose -7 = -s + 11. Let h be 140/s - 8/(-36). Is p(h) a prime number?
False
Let x be 1*-6 + 3 - -4. Let a be 124 + (1 - 2)*x. Suppose 0 = -4*s + r + 99, 4*s - a = 3*r - 34. Is s composite?
True
Suppose 10 = 4*k - 2*k. Suppose 0*r = k*r - 3755. Is r a prime number?
True
Let f(o) = -4*o - 11. Let l = -17 - -9. Is f(l) a composite number?
True
Suppose -o - 3 = -4*o. Let h be 18 + o + 2/2. Let t = 99 + h. Is t a prime number?
False
Let o be (1 + -7)/((-3)/(-2)). Let u = -1 - o. Suppose u*i - 76 = 53. Is i prime?
True
Is 2 + 896 + (3 - 18/3) prime?
False
Suppose 4*d + 0*d - 889 = -c, 0 = -5*d - 5*c + 1130. Is d a prime number?
False
Suppose y + n + 3 - 1 = 0, -n = 2*y + 8. Let w(g) = -g**2 - 6*g + 3. Let b be w(y). Suppose 53 = b*o - 2*o. Is o a composite number?
False
Let c be 14/8 - 4/(-16). Is ((-21)/c + -1)*-2 prime?
True
Let z(q) = 2604*q - 280. Let d(i) = -84*i + 9. Let x(m) = 63*d(m) + 2*z(m). Is x(-5) prime?
False
Is (2 + -1 + 3)*(-443)/(-4) prime?
True
Let q be (-113)/(0 + 1/(-3)). Suppose 0 = -3*j - 2*l + 339, -5*j = -2*j - l - q. Is j a composite number?
False
Suppose 138 = 4*u - 2*u - 4*l, 4*u - 2*l - 276 = 0. Is u a prime number?
False
Suppose -m = m - 190. Suppose -m = -2*w - 3*w. Is w a composite number?
False
Let n = -337 + 684. Is n a prime number?
True
Let a(y) = -y**3 + 8*y**2 + 12*y + 16. Is a(9) a composite number?
False
Let o(s) = 35*s. Let k be 2 + -3 + -1 + -1. Let h = -2 - k. Is o(h) composite?
True
Let n(k) = 6*k - 8*k + 7 - 4. Is n(-9) a composite number?
True
Let u be 9/(-27)*(1 - 10). Suppose -388 = -a - u*a. Is a a composite number?
False
Suppose 3*j + 1234 = 2*n, -5*n - 3*j + 0*j + 3064 = 0. Is n composite?
True
Let b(s) = s**2 - 4. Suppose 4*h = -0*j + 2*j + 14, 20 = -4*j + 4*h. Let u be b(j). Suppose -614 = 3*c - u*c. Is c prime?
True
Suppose 5*s - 2*s = -4*d - 76, -2*d - 2 = 0. Let a = s + 46. Is a a prime number?
False
Is ((-2)/2)/((-7)/469) composite?
False
Let k be 1*(1 + (-6)/3). Let c(s) = 77*s**2 + s + 1. Is c(k) a composite number?
True
Let c(l) = l**2 + 4*l + 7. Let o be c(-6). Is (o/(-2))/((-8)/16) a prime number?
True
Let i(j) = j**2 - 10*j + 2. Let s(t) = -t**2 + 1. Let d(a) = i(a) - 3*s(a). Let x be (0/2 - 1)*11*-1. Is d(x) composite?
False
Let w(y) = y**2 + 10*y - 4. Is w(-19) composite?
False
Let z(b) = 4*b**3 + 2*b**2 - 6*b - 4. Let y(x) = 7*x**3 + 4*x**2 - 12*x - 7. Let a(q) = -3*y(q) + 5*z(q). Is a(-4) a prime number?
False
Is 1*(1/(-5) - (-14488)/40) composite?
True
Let t(l) = -l**3 - 7*l**2 - 7*l + 1. Let n be t(-6). Is (-44)/(-7) - 2/n composite?
True
Is -4*(3 + 669/(-12)) composite?
False
Let w be (2/(-6))/((-2)/30). Suppose r - 20 = -5*m + 3*r, -w*m + r = -20. Is 2/m*(6 - -44) a composite number?
True
Suppose 4*m = 297 - 1465. Let d = -118 - m. Suppose 2*c = 4*c - d. Is c a prime number?
False
Let q(g) be the second derivative of -g**5/20 - 7*g**4/12 + g**3 + 3*g**2/2 + 3*g. Suppose 0 = -t - 5 - 3. Is q(t) a prime number?
True
Let w = 879 - -4. Let l = w - 624. Is l a composite number?
True
Let o be 0 - (1 - (0 - -1)). Suppose -4*b + 0*s + 5*s + 117 = o, 0 = -5*b - 2*s + 105. Is b prime?
True
Suppose 4*x = -0*x - 80. Is (-2475)/x - 3/4 a prime number?
False
Let p(j) = 82*j - 17. Is p(7) a prime number?
True
Let b(q) = q**2 + 2*q + 2. Suppose 6*n = 3*n + 21. Is b(n) a prime number?
False
Let l = 461 + -169. Let x = 493 - l. Is x a composite number?
True
Let c be 6/4*(-20)/(-6). Suppose -c*g + 2 = 62. Is ((-8)/g)/((-4)/(-114)) composite?
False
Let r be 2/(-4) + (-34)/(-4). Let c(o) = 5*o**2 + 5*o - 10. Let h be c(r). Is ((-1)/(-2))/(5/h) composite?
True
Is (-13996)/(-52) - 6/39 a prime number?
True
Let j be -111 - (-2)/(-5 - -3). Is (2 + j)*3/(-6) prime?
False
Suppose -5*v + 10 = 0, -5*i - 5*v + 9245 = -0*v. Is i composite?
False
Let h(u) = -3*u**2 - u - 9. Let c be h(7). Let l = 312 + c. Is l composite?
False
Let q be (38/(-2))/((-2)/2). Let g(t) = t**2 - 6*t + 5. Let c be g(5). Is q/((c - -2) + -1) composite?
False
Let y(c) = 2*c**3 - 31*c**2 + 9*c + 7. Is y(16) prime?
False
Let r(u) = u**3 - 5*u**2 - u - 1. Let m be r(5). Let q = -10 - m. Is (-2)/4 + (-138)/q a composite number?
True
Let o = -60 - -107. Is o a composite number?
False
Suppose -9 = -a + q + q, -3*a = -3*q - 27. Suppose s + 6 = -a. Is 5*(-1 - 114/s) composite?
True
Let q(m) = -m**2 + 7*m + 3. Let s be q(6). Let h be (-16 + 2)/(2/s). Let o = -28 - h. Is o prime?
False
Let h(o) = o**3 - o**2 + 4*o + 7. Suppose 0 = 5*a - 15 - 10. Is h(a) a composite number?
False
Let x(h) = -180*h**3 - 8*h**2 - 8*h + 11. Let j(c) = -60*c**3 - 3*c**2 - 3*c + 4. Let b = -8 + 5. Let z(i) = b*x(i) + 8*j(i). Is z(1) a composite number?
False
Let o(w) = 23*w**2 - 26*w + 23. Let k(r) = -8*r**2 + 9*r - 8. Suppose m - 4*m = -5*l - 76, -3*l - 83 = -4*m. Let s(b) = m*k(b) + 6*o(b). Is s(2) composite?
True
Suppose 5*w + 10 = 0, -3*w + 0*w = 2*i - 8524. Is i a prime number?
False
Let t = 16 - 11. Suppose -t*m + 1310 = 5*y, 3*m = 4*y + y - 1286. Is y prime?
False
Suppose -5*f + s + 25 = -2*s, 14 = 2*f - 2*s. Let w(j) = 54*j**2 - 4*j + 3. Is w(f) composite?
False
Le