*z - v = -5864, -z - 2*v - 3521 = -4*z. Suppose 0 = 5*l - z - 317. Is l composite?
True
Suppose 5*z + 65320 = 5*p, -2*p - 3*z + 26123 = -6*z. Is p prime?
False
Let l(t) = -9*t**3 + t + 11. Is l(-6) a prime number?
True
Suppose 4*z - 3*a = 2*a + 56, 5*a = 2*z - 38. Let m be 1/(30/z - 3). Suppose 2*u = r - 9, 0*u - m*u + 25 = 4*r. Is r a prime number?
True
Suppose 539 = -a + 8*a. Let i(c) = c**2 + 4. Let w be i(-6). Let m = a - w. Is m composite?
False
Let v = -1359 + 5224. Is v a composite number?
True
Let r(b) = -78*b + 2. Let a be r(-2). Is 4/(-12) + a/6 prime?
False
Let r = 112 - 66. Let g(c) = c**3 + 5*c**2 - 2*c - 7. Let p be g(-5). Suppose -5*l + 5*u + 36 = -l, -p*l + r = u. Is l composite?
True
Suppose -2*c + 1448 = -4*l + 5264, 3*l + 3*c - 2871 = 0. Is l a prime number?
False
Suppose -6 = m - 4. Is m*((-1055)/(-2))/(-5) prime?
True
Suppose -5*n - 6 = -1. Let f(v) = -v**3 + 2*v + 1. Let s be f(n). Let l(r) = -r**2 + 21. Is l(s) a composite number?
True
Let m = 148 - 57. Suppose 0 = 3*t - 4*t + m. Is t a composite number?
True
Let d(f) = -18*f - 1. Let w be d(-4). Suppose -4*j + 4*a = -36, 2*j = -j - 2*a + 22. Let m = j + w. Is m prime?
True
Suppose 5*x + 16 = -3*l, 15 = -4*x + x. Let q be (-9)/(-6)*8/l. Is (q/6)/(8/636) composite?
False
Let x(p) = p**3 - 4*p**2 - 5*p - 1. Let q be x(5). Let a = q + 1. Let b(z) = -z**2 + z + 33. Is b(a) prime?
False
Suppose 2*g + 4 = 3*g. Suppose -12 = -g*c + 8. Suppose -y + c = -14. Is y prime?
True
Suppose 3*u = 8*u - 4*o + 2616, -5*u - 2604 = -o. Is u/(-48) + 2/12 a prime number?
True
Suppose -3165 = -5*z - 5*a, -2*z - 2*a + 1264 = -a. Is z a prime number?
True
Let k = -23 + 66. Is k a composite number?
False
Let c = 12 - 4. Let o(z) = 6*z - 1. Is o(c) composite?
False
Suppose 2*s + 17*s = 7543. Is s composite?
False
Suppose 0*a + 2*a - c = 3510, 0 = 2*c - 8. Is a a composite number?
True
Let j(a) = 175*a. Let k(t) = t. Let h(s) = j(s) - 10*k(s). Let q be h(-1). Let y = q - -248. Is y a prime number?
True
Is 0 - (-2 - 625 - (2 - -2)) a composite number?
False
Let c be -1 - 2*(-3)/(-2). Let a(l) = 8*l**2 + 5*l + 3. Let w be a(c). Let u = w - -22. Is u composite?
True
Suppose 521 = 18*h - 17*h. Is h a composite number?
False
Let s(k) = 2*k + 5. Let y(c) = 2*c + 4. Let x(r) = 3*s(r) - 2*y(r). Is x(9) prime?
False
Suppose 5*k + 898 - 3353 = 0. Is k composite?
False
Suppose 0 = -n + 873 + 27. Suppose -n = -g - 161. Is g prime?
True
Suppose -5*x = 2*z - 28, -8 = -z - z. Suppose 5*g - 2079 = -2*r, 0*g + 5*r + 1683 = x*g. Is g composite?
True
Suppose -24*v = -30*v + 14682. Is v composite?
False
Let o be 3 + 2*(-6)/4. Suppose o = k - 14 - 19. Is k a prime number?
False
Let w(l) be the first derivative of 2*l**2 + 6*l - 3. Is w(4) a prime number?
False
Let r(p) = -120*p**3 - 2*p**2 - 4*p - 7. Is r(-2) a composite number?
False
Is (-1)/(6/11380)*(-51)/34 composite?
True
Suppose h + 90 = 4*f, -3*h + 2*f - 230 = -0*h. Suppose 0*q + 111 = -3*q. Let u = q - h. Is u a composite number?
False
Suppose 4*p - 32 = 104. Is p a prime number?
False
Suppose -2*g = g - 471. Is g a prime number?
True
Let c(o) = -38*o - 1. Let n be c(-2). Suppose 8 - n = -p. Is p prime?
True
Suppose 2*d - 5*d + 66 = 0. Suppose 3*k - 4*n = -2*n + 14, 3*n = 5*k - d. Is -627*3/(-18)*k a prime number?
False
Suppose 4*p + 1347 = 4*y - 1653, 5*p + 1497 = 2*y. Is y a composite number?
False
Suppose -2*a + 876 = -490. Is a a prime number?
True
Let t(j) = -j**3 - 5*j**2 - 7. Let k be t(-5). Let m(c) be the first derivative of -c**4/4 - 8*c**3/3 - 4*c**2 + 8*c + 1. Is m(k) a composite number?
True
Suppose 1479 = 6*q - 3*q. Is q composite?
True
Suppose v = -0*v + 2*w + 85, 0 = -5*v + 5*w + 405. Is v a composite number?
True
Suppose 2462 = -26*s + 8624. Is s a composite number?
True
Let o(z) = z**3 + z**2 + z + 55. Suppose 8*c - 4*c = 8. Let k = 2 - c. Is o(k) composite?
True
Suppose 5*b - 2988 = 3*o, 4*o + 4 + 0 = 0. Suppose -4*j + b = -2*t - 981, -3*j = 2*t - 1201. Is j a prime number?
True
Let p(f) = f**2 + 2*f - 1. Let q be p(-4). Let g(w) = w**3 - 4*w**2 - 6*w - 10. Is g(q) composite?
True
Let w(n) = -n + 4. Let d be w(-6). Let q(i) = i**3 - 9*i**2 - 9*i - 8. Let r be q(d). Suppose -r*f - 105 = -3*o, 4*o + 101 = -5*f + 264. Is o composite?
False
Suppose 4*l + 5 = k - 24, -2*l = k - 23. Is k a prime number?
False
Is (-1896)/(-9) + (-2 - (-7)/3) prime?
True
Suppose -5*x = -0*x. Suppose x = u + 4*u. Suppose u*c = -4*c + 328. Is c a composite number?
True
Let q be 0 - (-435)/3 - 0. Let c = 78 - q. Let m = 146 + c. Is m a prime number?
True
Let d = -12 - -17. Suppose -4*l - d*o = -33, -o = 2*l - 5 - 4. Suppose l*q + 316 = 4*y, y = -4*y + 5*q + 405. Is y a composite number?
True
Let n = 383 - -656. Is n prime?
True
Suppose -4*w = -2*s, -2*w + 3*w + 6 = 2*s. Suppose l = h - 70, -3*l = s*h - 21 - 238. Is h a composite number?
False
Suppose 0*m = m - 1. Let d(q) = 34*q**2 + 1. Is d(m) a composite number?
True
Let l be 45/(-6)*4/(-3). Is 566/4 - (-15)/l a prime number?
False
Let y(r) = 57*r - 4. Is y(1) a prime number?
True
Let r(m) = -m**3 + m**2 - m + 34. Let j(l) = l**2 + 4*l - 5. Let s be j(-5). Is r(s) a composite number?
True
Suppose -2*t + t = -2. Suppose 0 = -t*s - 3*s. Suppose -2*o + 55 - 5 = s. Is o prime?
False
Let f = -8 + 5. Is ((0 - f) + -122)/(-1) a composite number?
True
Let b be ((-230)/5)/(-1*1). Is 1/1*(b + 3) a composite number?
True
Suppose 5*a - 7352 = -3*w, -7*a - 5*w = -3*a - 5879. Is a composite?
False
Let v = 0 - 0. Let p = -46 + 156. Suppose 5*g = -v*g + p. Is g composite?
True
Suppose 5*a - 2638 = -808. Suppose 3*v + 4*h - 549 = 0, -2*v - 3*h = -6*h - a. Is 2/(-8) + v/12 prime?
False
Let r be 20*201/6*-1. Let j = 969 + r. Is j a prime number?
False
Suppose -2*o + 106 = -4*s, -o - 5 = -3*s - 86. Let n = 122 + s. Is n prime?
False
Let u be (-22 - -2)/(2/(-5)). Let c = u - -17. Is c a prime number?
True
Is ((-1468)/10)/(2/(-5)) composite?
False
Let y(n) = 6*n**2 - 17*n - 7. Let h(j) = 3*j**2 - 9*j - 4. Let q(t) = -5*h(t) + 3*y(t). Is q(-6) prime?
False
Suppose 3*m + m = 300. Suppose 2*o = -o + m. Is o a prime number?
False
Let c(f) = 10*f**2 - 4*f + 8. Let q be c(-7). Suppose -q = 4*j - 6*j. Is j a composite number?
False
Let v = -177 + 45. Let l = -76 - v. Let y = l - 33. Is y prime?
True
Suppose -17 = -5*v + 4*m, -3*v = 5*m - 0*m - 25. Suppose -v*c - 5*a = -4*c - 158, 5*c = -5*a + 730. Is c a prime number?
False
Suppose -z - 26 = 4*n, 0*z + 5*z + 20 = 2*n. Let p(x) = 2*x**3 + 9*x**2 + 6*x + 6. Let g be p(z). Is (g/(-15))/((-2)/(-10)) a composite number?
True
Let i be 0/(-1) - 20/2. Let a = 18 + i. Suppose a*c - 5*c = 177. Is c prime?
True
Let y(t) = t + 145. Is y(0) a composite number?
True
Let h be -2 - 1/((-2)/4). Suppose -y + 2*f - 1 = -2*y, h = 2*y - 3*f - 16. Suppose -q = 3*t - 6*t - 18, -175 = -y*q - 2*t. Is q a composite number?
True
Let i = -6 - -7. Let s = i + -1. Suppose 4*f - 180 - 184 = s. Is f a composite number?
True
Let a(h) = 47*h**2 + 4*h - 4. Let u be a(-3). Suppose -5*r - u = -6*r. Is r a composite number?
True
Let v(h) = -23*h + 1. Let a be v(5). Let r = -59 - a. Suppose -2*z - s + 107 = 0, -4*s = -z - 6*s + r. Is z a prime number?
True
Is (1948/6)/(2/3) a prime number?
True
Let i = -16 - -21. Suppose 0 = 2*l - 5*m + 4 + 6, 2*l + m = 2. Is i - (-4 - (l - 2)) a prime number?
True
Suppose o = -4*y + 2*o + 234, -y = 5*o - 48. Is y a composite number?
True
Let q(x) = 96*x**2 + 2*x + 7. Is q(-3) composite?
True
Let z(a) = 2 - 4 + 4 - 2*a + 15*a**2. Is z(2) a composite number?
True
Let x(j) = -j**2 - 4*j + 3. Suppose 20 = -9*s + 4*s. Let n be x(s). Suppose 2*b + n*b - 295 = 0. Is b prime?
True
Suppose -4*v - 4*m + 21740 = 0, 2*v - m + 0*m = 10870. Is v composite?
True
Suppose 3*o - i + 3*i - 2589 = 0, -2*o + 2*i + 1726 = 0. Is o composite?
False
Let s = 239 - 122. Let a = s - -64. Is a a prime number?
True
Suppose -3*v = -3*i + 7*i - 4950, 0 = v + 4*i - 1658. Is v composite?
True
Let p(q) = q - 2. Let c be p(5). Suppose -k - 3 = -j, j - c*k = -4*j + 13. Suppose 0 = -j*r + 6, 2*n + 3*r = 263. Is n a composite number?
False
Suppose -5*d + 3*d = 4*l - 144, -3*l + 105 = 3*d. Is l prime?
True
Let u(j) be the first derivative of j**4/6 + 7*j**3/6 + 2*j**2 + 3*j - 4. Let v(w) be the first derivative of u(w). Is v(-7) a prim