= 252 - a. Is 0 + 1*l/3 prime?
True
Let w(s) = -s**3 - 2*s**2 + 4*s + 2. Let n be w(-3). Let y(x) = -6*x. Is y(n) a prime number?
False
Let o = -234 + 565. Is o composite?
False
Suppose 0 = -2*n + 5*d + 251, 4*n - 4*d = 3*n + 118. Suppose -4*y + 4*i = -8, 6*i = y + 3*i - 6. Suppose r + 2*r - n = y. Is r composite?
True
Let l(g) be the first derivative of g**3/3 + 2*g**2 + 2*g + 2. Let r be l(-4). Suppose 0 = r*y - 0*y - 254. Is y a prime number?
True
Suppose -3*g + 3 = 0, -9*w + 5*g + 3 = -5*w. Let p = -7 - -11. Suppose b + 2*m + 274 = 3*b, w*b + p*m - 250 = 0. Is b a composite number?
True
Suppose -4*y - f = -5839, 0*y - f = -y + 1466. Is y prime?
False
Let x be (-1)/((-182)/90 + 2). Suppose -2*h - 2*a - 2 = 2*h, -18 = h + 4*a. Suppose h = c - x. Is c prime?
True
Let d be ((-12)/10)/((-6)/20). Let k be (-2 + 2)/(-2 + 0). Let w = d - k. Is w a prime number?
False
Let t = -21 + 32. Let z(q) = q - 10. Let v be z(t). Suppose -3 = 3*o + 5*r, -4*o - r + v = -3*o. Is o a composite number?
True
Let m be (-1)/(-2)*-1*-10. Let c = -6 + m. Is 2 + c/(-1) + 36 a prime number?
False
Let i(n) = 57*n**2 + n + 1. Let s be i(-1). Is (8/12)/(2/s) composite?
False
Let w(m) = 99*m + 101*m - 77*m + 1. Is w(2) prime?
False
Let p(u) = -u + 180. Let l be p(0). Suppose -5*d + 139 = 2*a, 3*d - 42 - l = -3*a. Is a prime?
False
Let j(r) = -5*r - 4. Let v be j(-4). Let s(l) = 13*l - 4. Let u be s(3). Let f = u - v. Is f prime?
True
Suppose -2*a = x - 0*a, -x - 5*a - 3 = 0. Let n = 235 - 130. Suppose -3*b + n = x*b. Is b a prime number?
False
Let j(x) = -x**3 - 7*x**2 - 7*x - 2. Let a be j(-6). Suppose 0 = -a*t + 7 + 9. Suppose -t*c + 1061 = 297. Is c a prime number?
True
Suppose 4*o - 5 = -3*k, k + 4*k = 4*o - 13. Let w(r) = 2*r**2 + 3*r - 8. Let g(y) = -1. Let m(d) = -5*g(d) + w(d). Is m(o) a composite number?
False
Is (-16184)/(-51) - 1/3 a composite number?
False
Let b(o) = -o**3 - 12*o**2 + 18*o - 6. Is b(-14) a prime number?
False
Let p(j) = -12*j + 19. Suppose -3*g + 36 = -8*g - 2*r, 5*g = -4*r - 32. Is p(g) composite?
True
Suppose 0 = -2*y - 8, 3*y = -4*l + 6*y + 36. Suppose -z + 80 = -l*z. Let x = 30 + z. Is x composite?
True
Let b(t) = -t**3 - 10*t**2 - 15*t - 11. Is b(-12) a composite number?
False
Is -53*(0 + -1 + 0) composite?
False
Suppose 0 = 4*f - 0 - 4. Is -105*1*f/(-3) prime?
False
Let f = -5 + 5. Suppose f = -2*n + 3*n. Suppose 0 = -4*s - 4*r + 72, n*s - 4*s - 5*r = -71. Is s composite?
False
Let l = 7453 - 4334. Is l a prime number?
True
Let i(k) = k**3 + 3*k + 2*k**2 - 4 + 0*k**2 + 4*k**2. Let f be i(-6). Is (1/2)/((-1)/f) prime?
True
Let t(z) = -z**3 - 6*z**2 + 6*z - 5. Let v be t(-7). Let g(h) = 58*h - 1. Is g(v) a prime number?
False
Let m(z) = -42*z - 2. Let r be m(-4). Let o = r - 45. Is o a composite number?
True
Let u = 41 - 28. Let o = u - 4. Is o prime?
False
Let n(f) = f**2 - 7*f - 4. Let a be n(8). Let i(v) = 21*v - 5. Is i(a) a composite number?
False
Let i(c) = c**3 - 6*c**2 - 3*c + 7. Let t(k) = 2*k**2 + 7*k - 5. Let u be t(-6). Suppose -3*o - 4 = -u. Is i(o) a prime number?
False
Suppose 3*l - 4*l + 191 = 0. Is l a prime number?
True
Let w = -377 + 862. Is w composite?
True
Let f be 0 - ((-1)/(-1) + -3). Suppose -2*x + n + 218 = 6*n, -4*x + 376 = -5*n. Suppose m + f*m = x. Is m a prime number?
False
Suppose 257 = 6*o - 1513. Is o composite?
True
Let h be 1/(-2 + (-277)/(-139)). Let z(m) = -m**3 + 3*m**2 - 12. Let j be z(5). Let d = j - h. Is d prime?
False
Let o = 5 + -3. Suppose 0 = o*m - m - 51. Let n = -14 + m. Is n a prime number?
True
Suppose 4*n - 3 - 5 = 0. Suppose 8 = 2*k - 0*k, -5*f + n*k = -7. Suppose 0 = h - f*h + 46. Is h composite?
False
Let x(s) = 18*s. Let l be x(1). Let c = 30 - l. Is c - (1 + 0 - 0) a prime number?
True
Suppose -121 + 543 = 2*w. Is w a composite number?
False
Let h = 308 + -145. Is h a prime number?
True
Let k = -134 + 231. Suppose -r + y = -k, -y + 51 + 38 = r. Is r a composite number?
True
Let n(b) = 5*b - 6. Let d be n(6). Let w = 10 + d. Is w a composite number?
True
Let r(y) = 3*y. Let g be r(5). Suppose -3*u - 2*u + g = 0. Is u a composite number?
False
Let z = 31 + -17. Let t(g) = -3*g**2 + 7. Let a be t(0). Let u = z - a. Is u a prime number?
True
Let b(n) be the second derivative of 9*n**5/5 + n**4/12 - n**2/2 - 2*n. Let h be b(1). Suppose -h = -3*u + 30. Is u a composite number?
True
Let y(j) = -6*j**3 - 40*j**2 + 10*j - 24. Let a(v) = -v**3 - 8*v**2 + 2*v - 5. Let h(l) = 11*a(l) - 2*y(l). Is h(8) a composite number?
True
Suppose -2*t - t - 258 = f, -5*f = 3*t + 1290. Let y be (f/(-24))/((-2)/8). Let q = y - -120. Is q a composite number?
True
Let j(u) = 274*u + 15. Is j(4) a prime number?
False
Let n(x) = -27*x - 2. Let w = -3 - 2. Is n(w) a composite number?
True
Let y(q) = q**3 - 7*q**2 + 7*q - 1. Let s be y(6). Let l = -8 + s. Is (30 - -4) + 1*l a composite number?
False
Let u = -3506 - -6337. Is u composite?
True
Suppose a + 2 - 4 = 0. Suppose -a*h + 147 = h. Is h a prime number?
False
Let j(m) be the second derivative of 0 + 7/2*m**2 + 2*m + 1/12*m**4 - m**3. Is j(6) composite?
False
Is 3379/11 - (-14)/(-77) a prime number?
True
Let h(m) = 0*m - 3*m + 0*m. Let r be h(-8). Let f = r + -2. Is f composite?
True
Let y = 221 + -141. Suppose -2*d = 5*a - y, -136 = -4*d + a + a. Is d a prime number?
False
Let q(d) = d**2 + 5*d - 6. Let t be q(-5). Is ((-3)/t)/(2/212) a composite number?
False
Suppose 5*d = -5*x + 295, 0 = -3*x - 2*d - 2*d + 177. Let r = 114 - x. Is r a prime number?
False
Suppose 0 = -5*z - 4*c + 1905, 2*z + 3*z + 3*c - 1900 = 0. Is z a prime number?
False
Let w be ((-2)/(-6))/((-3)/(-27)). Let q = -2 - w. Let i(g) = g**3 + 7*g**2 + 7*g + 4. Is i(q) composite?
False
Let h = 394 + -267. Is h composite?
False
Is -452*1/(2 + -6) composite?
False
Let c(q) = -q**2 - q. Let m(k) = -17*k**2 + k + 3. Let d(a) = 5*c(a) + m(a). Let b(y) = -43*y**2 - 9*y + 6. Let z(l) = 2*b(l) - 5*d(l). Is z(2) prime?
True
Let u = -303 - -742. Let k = u + -276. Is k prime?
True
Suppose 5*x = 35 - 10. Suppose 0 = -4*y + x*s - s + 24, -4*s - 12 = -2*y. Is y prime?
False
Let g(m) = m + 5. Let s be g(-6). Let x be ((-12)/14)/(s/(-7)). Is (9/x)/((-2)/20) a composite number?
True
Suppose -3*g - g = -8. Suppose -2*t - 2*w + 16 = 0, -g = -t - 3*w + 4*w. Suppose 4*a + 2*v - 148 = -2*v, -161 = -t*a + v. Is a composite?
True
Let w = 250 + -135. Is w a composite number?
True
Suppose -2*p + 553 + 457 = 0. Is p a composite number?
True
Suppose 2*o = -o + 12. Suppose -5*g = -o*b + 50, -4*b + 0*g + 64 = 2*g. Is b a composite number?
True
Let n(o) = 1 + 0 + 0 - 11*o + o. Suppose 0 = 2*z + 4 + 4, -z + 4 = -4*c. Is n(c) a composite number?
True
Let r(v) = 371*v**2 - 6*v - 16. Is r(5) a prime number?
False
Let s = 94 - 5. Is s composite?
False
Is 13860/10 - (0 + 1) a prime number?
False
Suppose 3*q = q + 2426. Is q a prime number?
True
Let q(p) = p**3 + 8*p**2 + 6*p - 4. Let d be q(-7). Suppose 3*l - d*z + 7*z - 161 = 0, 3*l - 2*z = 185. Is l composite?
False
Let v(a) be the first derivative of a**6/60 + a**5/30 - a**4/8 + 2*a**3/3 + 4. Let g(q) be the third derivative of v(q). Is g(-5) prime?
True
Let t = -2 - -7. Suppose 4*x = 2*g + 1010, 7*x - 2*x + t*g = 1270. Is x composite?
True
Let d(f) = -f + 2. Let w be d(2). Suppose 3*r + r - 124 = w. Is r a composite number?
False
Suppose -4*f = -5*f + 10. Is f a composite number?
True
Let m(q) = -q + 15. Let k be m(7). Let h = k + -5. Suppose 2*r - 3*o = 416, 0*r - h*o + 814 = 4*r. Is r a composite number?
True
Suppose -3*b = -2*r + 377, -3*r + 0*b = 3*b - 558. Is r prime?
False
Let o(q) = q**2 + 5*q - 5. Let w be o(-10). Suppose -f = 5*r - 0*f - 55, -3*f + w = 3*r. Is r a composite number?
True
Let q be 4/5*(-10)/(-4). Let v(c) = c**2 + 3*c - 1. Let l be v(q). Suppose -d + 2 = -l. Is d a composite number?
False
Let b = 5 - 9. Let u = b + 6. Suppose 111 = u*m + m. Is m a composite number?
False
Let z(h) = h**2 - 2*h - 1. Let i be z(-2). Suppose -74 = 6*r - i*r. Is r composite?
True
Let y = -5 + 8. Let z(x) = 7 - 3 + 2*x + 3*x**2 - 2. Is z(y) a prime number?
False
Let f be 1/((-3)/549*3). Let q = f - -176. Is q composite?
True
Let i(n) = n**3 - 2*n**2 + n. Suppose 3*d = -2*x, -4 = -4*d - x + 1. Let c be i(d). Suppose 169 = 4*s - c*s - 5*o, 4*s - 2*o = 346. Is s composite?
True