
Let f = 5 - 3. Let n be 0 + 0 - f - 0. Let c = n - -51. Is c a composite number?
True
Let o(g) = -2*g**3 - 9*g**2 - 8*g - 5. Let f be o(-7). Let v = 547 - f. Is v prime?
True
Let g(n) = n**2 - 4*n - 1. Let q be g(9). Let k = -21 + q. Is k a prime number?
True
Suppose -3*y = -4*g - 1433, 5*y - g = 9*y - 1879. Is y prime?
False
Suppose -2*v + 91 = -79. Is v prime?
False
Suppose 4*g - 24 = -0. Suppose -d = d - g. Suppose 145 = f - d*b, 0 = 5*f - 3*f - 2*b - 274. Is f a prime number?
False
Suppose 2*j - 1615 = -5*x, 0 = -4*x - 0*j + j + 1305. Suppose 3*k = -2*k + x. Is k a composite number?
True
Suppose -2*z + 9 = -147. Suppose 0 = -4*f + 54 + z. Is f a prime number?
False
Let z = 4 + -1. Suppose -5*c + 3*d = -14 - 187, z*d + 45 = c. Is c a prime number?
False
Let b(z) = 4*z**2 - 10*z + 1. Let a = -3 + 10. Is b(a) a prime number?
True
Let z(b) = 91*b + 6. Let l be z(-4). Is l/(-3) - 3/9 a composite number?
True
Let h be 1595 + (-4 + 3)*-2. Suppose -3*z = i - 316, 2*z = 3*i + 2*i - h. Is i a composite number?
True
Suppose -6*m + 7698 = 2580. Is m a composite number?
False
Suppose -2149 = -5*g - 554. Is g composite?
True
Let u(b) = -13*b - 8. Is u(-13) prime?
False
Let y(h) = -h**2 - 12*h + 4. Let n be y(-10). Suppose n = 3*c - 21. Is c prime?
False
Let h(v) = -v**2 - 4*v + 5. Let r be h(-4). Suppose 4*w + 111 = d + 444, r*d + 435 = 5*w. Let q = w - 45. Is q prime?
True
Let z(o) be the first derivative of 3*o**4/2 - o**3/3 + o**2 + 4*o + 11. Is z(5) a composite number?
False
Let v = -9 + 13. Is ((-18)/v - -1)*-118 a composite number?
True
Suppose 5*p = 2*z - 7, 2*z + 3 + 5 = 0. Let v = p + 5. Suppose 2 = k - 2, -2*a + 4 = -v*k. Is a a composite number?
True
Let o = 47 + 84. Is o a prime number?
True
Suppose 4*k = 6*k - 16. Let c be (-6)/9 - 40/(-6). Let o = k - c. Is o composite?
False
Is 2/(-9) + 12296/9 + -5 a composite number?
False
Let u be (-2 + 14)/(2 + -3). Let w = -2 - u. Let m = 43 - w. Is m composite?
True
Is (9566/(-10))/(9/(-45)) prime?
True
Let f(x) = 2*x**2 - 2*x - 1. Let b be f(-2). Is (-1)/(-4) + b/4 prime?
True
Let w(r) = 7*r**2 - 5*r + 3. Is w(-5) prime?
False
Let i(c) = 5 - 7 - 3 - 2*c. Let g be i(-4). Suppose 0*f = g*f - 117. Is f a prime number?
False
Suppose -6*i = -7*i + 1055. Is i composite?
True
Suppose 4*w + 1699 = l + 5282, -3*l - 904 = -w. Is w composite?
True
Let z = 2085 + -994. Let j = z + -775. Let y = -103 + j. Is y a composite number?
True
Let h = -28 - -27. Let b(a) be the third derivative of -77*a**4/24 - a**2. Is b(h) prime?
False
Let x = 197 - -1078. Is x/9 + 4/(-6) a composite number?
True
Let v(a) be the second derivative of -a**5/20 + 3*a**4/4 + a**3/6 + 5*a**2/2 - 4*a. Is v(4) prime?
True
Suppose r - 2 = 3*o + 14, 3*r = -4*o - 4. Is 267/(-2)*r/(-6) a composite number?
False
Is 674/5*(-5)/(-2) a composite number?
False
Let s = 0 - -483. Suppose 4*l - 133 = s. Suppose 0 = 4*o - 354 - l. Is o prime?
True
Let m = -4 + -1. Let w(s) be the second derivative of s**4/6 + 2*s**3/3 + s**2/2 - s. Is w(m) a composite number?
False
Let s(z) = 3*z**3 - 8*z - 6. Is s(5) a composite number?
True
Let r be (-5)/(-3) - 3/(-9). Suppose 104 = r*u - 36. Suppose h - u = -h. Is h composite?
True
Let h(r) be the first derivative of r**2/2 - r + 1. Let g be h(6). Suppose -4*a + 199 = -j, -166 - 15 = -4*a - g*j. Is a a composite number?
True
Let j be 84/2*(-3)/2. Let s = j - -115. Let i = s + -21. Is i a composite number?
False
Let r be 6/(-3) + (-6)/1. Let o be (0 + 2 + 2)*r. Let x = o - -45. Is x a composite number?
False
Is (5/2 + -2)*382 composite?
False
Let s(z) = -z**2 + z + 293. Is s(0) a composite number?
False
Suppose 4*m = -4*h + 1144, h - 88 = m + 206. Suppose n - h = -n. Is n prime?
False
Let v(y) = y**3 + y + 46. Let h(p) = p**3 + p + 46. Let q(b) = 4*h(b) - 3*v(b). Is q(0) a prime number?
False
Suppose 18 = 2*f + 4. Is f composite?
False
Suppose -8 = 2*p - 14. Suppose p*r + 3*u = 1212, -948 = -2*r - 5*u - 137. Is r a prime number?
False
Is 234 + 1/(-3)*-3 a composite number?
True
Let y be 2 - (-1 - (0 - 3)). Suppose -2*j + 712 + 286 = y. Is j a prime number?
True
Suppose -x - 688 = -5*x. Let i = x - 51. Is i composite?
True
Suppose -2*t + 554 = -4*i, 791 = 3*t + 4*i - 2*i. Is t a prime number?
False
Suppose 3*g = 5*g. Suppose -4*w + 240 = -o, 2*w + w + o - 173 = g. Is w prime?
True
Let j(h) = -6*h - 7. Let i be j(-6). Let t = i - -2. Is t a prime number?
True
Let j be (-4 - -2) + 3 + 3. Suppose -979 - 2405 = -j*s. Suppose 4*f = n + s, 2*f - 5*n + 57 = 489. Is f a composite number?
False
Suppose 702 = 11*h - 1333. Is h prime?
False
Let c = -950 - -3471. Is c a composite number?
False
Let j = -5 - -1. Let v be j/(-18) + 1418/18. Let n = v + -42. Is n a composite number?
False
Let t(l) = 18*l - 2. Let c be t(1). Let n = c - -69. Is n a prime number?
False
Suppose -5*o + 9625 = -5*l, 2*o + 2*l - 3858 = -0*o. Is o a composite number?
True
Let w be ((-13)/2)/((-7)/(-42)). Let y = w + 250. Is y composite?
False
Let i(a) = a**2 + 9*a + 12. Let k be i(-9). Let f(u) = u**2 - u + 2. Let x be f(0). Suppose -x - k = -q. Is q prime?
False
Suppose -2*c + 91 + 205 = 0. Suppose 5*l + 178 = -5*p - 2, c = -5*p + 3*l. Let t = -13 - p. Is t prime?
True
Is (5210/4)/(-5)*-2 composite?
False
Let x(z) = -46*z**3 - 3*z**2 - 3*z - 2. Let p be x(-2). Let m = p + -155. Is m composite?
True
Is (2/(-2) - -1) + 1201 a composite number?
False
Is 2/8 + (3579/(-4))/(-1) composite?
True
Suppose -12 = 12*t - 10*t. Let m(v) = 7*v**2 + 5*v + 1. Is m(t) composite?
False
Is ((-2)/(-8))/((-4)/(-8336)) composite?
False
Let t = -1032 - -1615. Is t a prime number?
False
Let x = 1278 + -833. Is x a prime number?
False
Let t = 75 + 496. Is t composite?
False
Let u = 4 + -2. Suppose -u*m = m. Is (m - 147)*(-6)/18 a composite number?
True
Suppose 9699 = 3*a - 450. Is a prime?
False
Let o(k) be the third derivative of -k**6/120 - k**5/60 + k**3/3 - k**2. Let f be o(0). Let v(j) = -j**3 + 2*j**2 + 3*j - 3. Is v(f) prime?
True
Let s(f) = -2*f**3 - 7*f**2 + 5*f - 8. Let b be s(-6). Suppose 507 = 3*w - 4*p - 452, 2*p = -2*w + 644. Let r = w - b. Is r a composite number?
False
Suppose 0*r + 685 = r. Is r prime?
False
Suppose 2*b - f = 2*f + 11, -2*b - 1 = f. Suppose 3*i = 4*i - 6. Suppose i = c - b. Is c a composite number?
False
Suppose -12 = -4*h + h. Let r(b) = -b + 1. Let v(f) = 18*f + 5. Let a(l) = -4*r(l) + v(l). Is a(h) prime?
True
Suppose -3*b + h + 695 = 0, 8 + 4 = 3*h. Is b prime?
True
Let m(c) = c. Let k(v) = -8*v**2 + 3*v - 1. Let z(i) = -k(i) + 2*m(i). Is z(2) a composite number?
False
Suppose 2*x - 2*o = 300, -2*o - 29 = x - 188. Let q be -2 + (x/3)/3. Is (-209)/(-3) + (-10)/q a prime number?
False
Suppose -4*x + 16839 = 5*h, 4*x - 12020 - 4822 = -2*h. Is x composite?
False
Let k be (-2830)/(-4) + 2/4. Let p be k/9 - (-6)/(-9). Is (6 - 2)*p/8 a composite number?
True
Let w(c) = 4*c**3 - 8*c**2 - 7*c + 27. Is w(11) composite?
True
Is ((127 - -2) + -2)*1 prime?
True
Is 2/(-5) - (-9079)/35 prime?
False
Let n(r) = 6*r**2 - r + 10*r**2 + 4 - 1. Let g be n(-3). Suppose m + g = 2*b - m, b - 59 = 5*m. Is b composite?
False
Suppose -5*d + 10060 = 3775. Is d composite?
True
Let y(h) = -2*h - 5. Let s be y(-4). Suppose -i + 5*j = 2*i - 1738, 0 = -s*j + 3. Is i a prime number?
False
Suppose 5*b - 1 - 14 = 0. Let v be 3*b*(-3)/(-9). Suppose 182 = v*h - 247. Is h a composite number?
True
Suppose 0*k + 3*k + 12 = 3*p, 4 = -k - 2*p. Let b = 6 + k. Is 0/(-2) + b + 32 composite?
True
Suppose 4*o - 19 = -3. Is (315/12 - o)*4 composite?
False
Let r = 584 - 1. Is r a prime number?
False
Suppose y + 9*y - 11170 = 0. Is y composite?
False
Suppose -2*n - 12467 = -5*u, 3*u + 3*n - 5982 = 1515. Is u composite?
True
Suppose 5*v + 4*v - 207 = 0. Is v a prime number?
True
Suppose -4*p + 12 = 0, 4*p = -2*s + 5*s - 153. Suppose -3*b - 6 = 0, -2*b = 5*v - 16 - s. Is v a composite number?
True
Let k(l) = -3*l**3 - 2*l**2 + l - 1. Is k(-4) a composite number?
True
Let p(k) = -4*k**3 + 2*k + 1. Suppose -2 = 2*a - 0. Let n be p(a). Suppose h + 159 = n*g, 0*g - 3*h = -g + 53. Is g prime?
True
Suppose -3*q + 0 = -9. Suppose -q*g + g = -446. Is g composite?
False
Let q be (0 - 3 - -2) + 4. Suppose -46 = -q*n + 317. Is n a composite number?
True
Let g be 3/(-3)*(3 - 303). Let y = -89 + g. Is y 