omposite?
True
Suppose -3*r - 2*y = -r - 1626, 5*y + 4025 = 5*r. Is r composite?
False
Suppose 3*j + 535 = 4*n - 857, -3*j - 357 = -n. Suppose -2*r = -7*r + n. Is r a prime number?
False
Suppose 0 = -s - s + 1104. Suppose -2*h = -s - 286. Is h a composite number?
False
Let u = -1 - -4. Suppose -a = u*a - 1004. Is a prime?
True
Let x = -4 - -8. Suppose x*h = 6011 - 2463. Is h composite?
False
Suppose -s = -32 - 14. Let k = -19 + s. Let f = k + -2. Is f composite?
True
Let r(j) = -13*j - 17. Is r(-7) prime?
False
Let o(g) = -g**3 - 3*g**2 - 2*g + 2. Let l be o(-2). Suppose -2*c + 8 = l. Is c*11 - (3 - 5) prime?
False
Suppose 2*m + 0*y - 80 = -2*y, -2*m + 77 = y. Is m a prime number?
True
Let g = 111 - -11. Let u(x) = 3*x. Let s be u(1). Suppose g + 34 = s*i + n, 0 = -5*i - 5*n + 270. Is i prime?
False
Is 8/(-2) - (-45 + 3) prime?
False
Let b(n) = -n**2 - 5*n + 5. Let j be b(-5). Suppose 20 = -5*c + j. Let y = c - -9. Is y composite?
True
Let n(c) = c**3 - 13*c**2 + 3*c + 15. Is n(14) prime?
False
Let u = -7 + 7. Suppose -o + 10 + u = 0. Is o a composite number?
True
Let w(f) = f**3 + 10*f**2 + f + 5. Let g(u) = -4*u**3 + 1. Let a be g(-1). Suppose -38 = a*l + 3*b, -5*l - 34 = b - 2*b. Is w(l) a composite number?
True
Let y(w) = w**3 - 2*w**2 - 5*w + 3. Is y(4) prime?
False
Let a(y) = y**3 - 8*y + 4. Is a(7) a prime number?
False
Let m(o) = 6*o**2 - 3*o - 16. Is m(-5) prime?
True
Let d be -1 + 1 + 6 + 1. Let g = d + -10. Is (g/6)/((-3)/12) composite?
False
Let a(b) = -301*b + 16. Is a(-11) prime?
False
Let b = 0 + 2. Suppose -n + f = -b*f + 3, -4*n + 4*f - 4 = 0. Suppose n = -6*p + 2*p + 12. Is p prime?
True
Suppose -9 = 4*u + 7, 2*u - 2244 = -2*d. Is d a composite number?
True
Suppose -2*c + 4*q = -98, 0*q + 5 = -q. Is c composite?
True
Let p = -3190 + 4527. Is p a prime number?
False
Let v = 1 + 5. Let p be (-3)/2*4/v. Let g(i) = -156*i**3 + i**2. Is g(p) composite?
False
Suppose 8*z - 508 = 4*z. Is z a composite number?
False
Let q(d) = d**3 + 5*d**2 + 5*d + 6. Let k be q(-4). Suppose -k*n + 5 = -n, -2*g = 3*n - 5. Let t = 1 - g. Is t prime?
False
Let n = 84 - -29. Is n a prime number?
True
Let q(d) = 2*d - 3. Let a be q(2). Suppose k - 36 = a. Is k prime?
True
Let d = -6 - -10. Suppose 5*h + 20 = 0, -4*q = -d*h + 6*h - 1208. Suppose 2*o - 62 = 3*u + 80, 4*o - q = u. Is o prime?
False
Let v = -6 + 8. Suppose v*b = 122 - 20. Is b composite?
True
Let m = 11487 + -6562. Suppose 6*z = z + m. Is z composite?
True
Let x(n) = -121*n**3 - 2*n**2 + 2*n + 3. Is x(-2) a composite number?
True
Let f be 2 + 2 + -2 + 1. Suppose 0 = f*b + 2*m + 2, 0 = b + m + 4*m + 5. Suppose -3*w - q + 39 = 0, 5*w + q - 35 - 30 = b. Is w composite?
False
Suppose -4*p = 3*v - p - 1341, -v = -4*p - 422. Suppose -5*y - 3*c + 216 + v = 0, 3*y - 391 = 2*c. Is y composite?
False
Let s(p) = -p + 1. Let k(u) = -77*u - 2. Let r(f) = k(f) + 4*s(f). Let l(m) = -40*m + 1. Let g(a) = -9*l(a) + 4*r(a). Is g(1) prime?
False
Suppose 0 = -0*a - 3*a - 57. Let x be a/(-7) - (-6)/21. Suppose 0 = -x*o + 4*o - 77. Is o a prime number?
False
Suppose 230 = 2*x + 3*x. Let a = 4 - 2. Is (x/(-8))/(a/(-40)) a composite number?
True
Let k be (4 + -1)*2/(-3). Let t = -4 - k. Let h = 11 + t. Is h a composite number?
True
Let l = 517 + -263. Is l prime?
False
Let g = -2 + 7. Suppose 5*k + 3*h - 20 = 0, -g*k = 5*h - 0*h - 10. Is k a prime number?
True
Suppose 0 = -4*t - 4 + 40. Is t a composite number?
True
Suppose 2*u - 632 = 666. Is u composite?
True
Suppose 8 = 5*n - 2. Suppose 1649 = 5*w + 3*s, -337 = -n*w + w + 3*s. Is w a prime number?
True
Suppose 15 = 3*x + 3*m, 0 = 2*x + 3*x + 3*m - 21. Let y be x/6*-1*4. Let z(h) = -24*h - 2. Is z(y) composite?
True
Let t be ((-432)/15)/(3/10). Let j = 35 - 72. Let y = j - t. Is y prime?
True
Let z(y) = 3*y**2 - 2*y - 7. Let v be (6*2*-1)/(-2). Is z(v) prime?
True
Let k = 5 - 3. Is k/(-11) - (-101)/11 a composite number?
True
Let h(x) = 712*x - 1. Let i be h(1). Suppose n = -2*n + i. Is n a composite number?
True
Let y = -5 + 3. Let g = 5 + y. Suppose -c = -g*d - 2*c + 76, -d + 30 = 5*c. Is d composite?
True
Let m(o) be the second derivative of 0 - o**2 - o - 5/6*o**3 + 1/6*o**4. Is m(4) a composite number?
True
Suppose 3*n = -2*n + 470. Is n a prime number?
False
Let o(s) = s. Let f be o(-3). Let z(t) = t**3 + 4*t**2 - 2. Let q be z(f). Let p = q - 4. Is p a composite number?
False
Let y = 10 + 10. Let w = y - -35. Is w prime?
False
Let a(q) = q**2 - 3*q. Let w be a(4). Let u be 2/w + 2/(-4). Is -5 + 8 + (34 - u) composite?
False
Suppose 4*u = -5*c - 85, 2*c + 0 = u + 5. Let m(f) = -22*f**2 + 3*f - 2. Let r be m(1). Let k = u - r. Is k prime?
False
Let b = 4 + -13. Is 1/(3/b) + 24 composite?
True
Let q(x) = 0*x**2 - 7*x - 3 + 8*x**2 - 1 + 4*x. Let r be 1/(-3) + (-24)/9. Is q(r) prime?
False
Let w(m) be the second derivative of 3*m**3/2 - 5*m**2/2 - 4*m. Is w(10) a composite number?
True
Suppose -4*s = 2*b - 230, -3*b = -3*s - 2*s + 304. Is s prime?
True
Let s = -3 + 4. Suppose -202 = -r + s. Is r a prime number?
False
Suppose 3*b - 662 = 100. Is b a composite number?
True
Let b be -10*((-7)/2 + 1). Let n = -25 + 28. Suppose 0 = -5*w - 5*i - 41 + 206, -w + n*i = -b. Is w composite?
False
Let b(p) = -p**2 - 11*p - 1. Let z be (-3)/2 + 30/(-4). Let x be b(z). Let o = 2 + x. Is o a composite number?
False
Suppose 0*h + 2*h = 182. Is h a composite number?
True
Let r be -1 + 0 + 5 + 1. Suppose -6 = -2*m + 2*j, 2*m - r*j = -j + 12. Suppose x = -m*x + 31. Is x a composite number?
False
Let g = -195 - -288. Suppose 4*a - g = 203. Is a prime?
False
Let r(c) = 2*c**3 - 5*c**2 - 5*c + 8. Let t be r(6). Suppose s = 3*s - t. Is s a composite number?
True
Let i = -6 - -13. Suppose i*f - 2*f = 15. Suppose -f*m + 488 = 107. Is m a composite number?
False
Suppose 4*f = 1260 + 416. Is f a prime number?
True
Let c(k) = -k**3 - 13*k**2 + 13*k - 10. Let x be c(-14). Suppose -3*z + 5*g = -486, 2*z - x*z + 5*g = -329. Is z a composite number?
False
Suppose 3*z - 17 - 12 = 4*b, 2*b + 10 = 0. Suppose -2*g - 3*d + 97 = 0, z*d + 259 = 5*g + 5*d. Is g composite?
False
Let t = -5 - -10. Suppose -3*y = -t*y. Suppose y = 5*i + 3*b, 4*b = -0*b - 20. Is i a prime number?
True
Let n = 534 + -1365. Is 6/21 - n/7 prime?
False
Let a(o) be the third derivative of 1/24*o**4 - 2*o**2 + 0 + 0*o - 5/6*o**3 - 1/120*o**6 - 1/20*o**5. Is a(-6) composite?
False
Suppose 419 = 5*k + 4*u, 5*k - 197 = 2*u + 246. Is k composite?
True
Let q(n) = -n**2 + 12*n + 7. Let v be q(13). Is 9/v*268/(-6) a composite number?
False
Let n = 15 - -24. Suppose -n + 144 = 3*z. Is z a composite number?
True
Suppose 0 = 2*s - s + x - 630, x - 1 = 0. Is s a composite number?
True
Suppose 0*r + 4*r = 16. Let d = 4 - r. Suppose -3*h + 105 = -d*h. Is h a prime number?
False
Let y = -11 + 22. Suppose m = -4*f + 16, -2*f = -5*f + 5*m - y. Is f prime?
True
Suppose -2*i - 45 = 49. Suppose 0 = 3*v + 2*v + 130. Let z = v - i. Is z a prime number?
False
Suppose 0 = v - 3*j - 2*j - 12, 2*j + 2 = -v. Suppose -n + 5 = v. Suppose 3*y = 5*i + 352, 0 = -n*y + 2*i - 0*i + 355. Is y a prime number?
False
Suppose -4*b - 7 + 15 = 0. Suppose j - 149 = -4*n, -n + 37 = -2*j + b. Let o = 95 - n. Is o a composite number?
True
Let o(w) = w**3 - 11*w**2 + 12*w - 12. Let h be o(10). Is -1*2/(h/(-532)) a prime number?
False
Let f(r) = 31*r**3 + r**2 - 2. Let i be f(2). Suppose 5*q = 1527 + 538. Let m = q - i. Is m composite?
False
Suppose 0 = -2*o - 3*o + 10. Suppose -b - o = -15. Is b a prime number?
True
Let x(w) = 8*w**2 - 10*w - 9. Is x(10) prime?
True
Suppose 4*l = -5*y + 67 - 13, -y - l + 11 = 0. Suppose 4*o - 63 = 29. Let f = y + o. Is f a composite number?
True
Let n = 1157 + -1631. Is (-2)/2*n/6 a composite number?
False
Let k(b) be the first derivative of b**3/3 - b**2/2 + 161*b + 7. Is k(0) a prime number?
False
Suppose m + 2 = 6. Suppose -m*g + 695 = -2*a - a, -719 = -4*g - 5*a. Let l = 295 - g. Is l composite?
True
Suppose -2*r + 25 - 7 = 0. Is (-3)/r*0 + 51 a prime number?
False
Let m = 18 - 21. Is -4 + (m - -1 - -200) a prime number?
False
Let i be 27 + 1/((-1)/(-2)). Let y be 0 - (i*8)/(-2). Let s = 193 - y. Is s a prime number?
False
Suppose 0 = 5*g - 4*j - 427, -4*g + 0*j = 5*j - 358. Let i = -10 + g. Is i a prime number?
False
Let o(m) b