w = 3*w. Suppose w = -0*n - 2*n + 254. Is n a prime number?
True
Let d be ((-7)/(-14))/(2/(-72)). Is 4/18 + (-1418)/d composite?
False
Let x(f) = 2*f**2 + f + 3. Let i(w) = 6*w + 4. Let o be i(-4). Let u be 72/o + 4/(-10). Is x(u) a composite number?
False
Let l(n) = -n**2 + 2*n. Let b be l(2). Suppose -189 = 10*h - 13*h. Suppose 5*v - h - 2 = b. Is v composite?
False
Let n(m) = 143*m - 2. Is n(1) prime?
False
Let b = 1256 + -702. Is b a prime number?
False
Let b(m) = m**3 - 7*m**2 + m + 6. Let f be b(6). Is ((-219)/4)/(6/f) a prime number?
False
Suppose -4*u + 0*y = -2*y - 514, 4*y - 20 = 0. Is u a prime number?
True
Let x(j) = -j - 11. Let s be x(-5). Let g(o) = 7*o**3 + 9*o**2 - 8*o + 1. Let b(a) = -a**3 - a**2. Let y(d) = s*b(d) - g(d). Is y(-6) prime?
True
Let m be (4/(-6))/((-1)/237). Let l be (-2 + 1)*(2 + -79). Let s = m + l. Is s prime?
False
Suppose -t = -5*p - 100, t - 31 - 65 = p. Suppose -5*n + 0*n = -t. Is n composite?
False
Let i = 2 + 2. Let z(u) = -2*u**3 + 2*u**2 + 5*u - 3. Let s(f) = -4*f**3 + 3*f**2 + 10*f - 6. Let c(d) = -3*s(d) + 5*z(d). Is c(i) prime?
True
Let p = 5 - 5. Suppose -2*l = -p*d - 3*d - 53, -4*l - 2*d + 66 = 0. Is l prime?
True
Let r be (-1 + 1)/((-11)/(-11)). Let p(a) be the first derivative of -a**4/4 + a**3/3 + 9*a - 1. Is p(r) a composite number?
True
Let w(a) = 42*a + 5. Let c be 4 + -3 + (-1 - -6). Is w(c) composite?
False
Let q(o) = 0*o - 5*o - 2 + 0. Is q(-5) prime?
True
Suppose -x + 4*i + 353 = 0, -7*i + 4*i + 1029 = 3*x. Suppose -2*s = s - x. Is s a prime number?
False
Suppose 0 = 4*b + 5*l - 827, 0 = -b + 2*l + 2*l + 191. Is b prime?
False
Suppose -2*z + 116 = -3*b, -5*z - 3*b + 340 = 2*b. Let y = z + -195. Let v = 208 + y. Is v prime?
False
Let i(n) = n**3 - 8*n**2. Let d be 2/3*(-42)/(-4). Let s be i(d). Is 1 - s*3 - 3 a composite number?
True
Suppose -4*j = -3*q - 7, 12 = 4*j - 5*q + 3. Suppose 7 = -3*f - 5. Is ((-2)/f)/(j/182) a composite number?
True
Let r be (-80)/(-36) + (-4)/18. Suppose 10 = 3*s - 2*g + 26, -g + r = 0. Let i(n) = -n**3 + 4*n**2 - 1. Is i(s) prime?
True
Let z(s) = s**2 + s - 2. Let t be z(-3). Suppose -t*x - 93 + 673 = 0. Is x a prime number?
False
Suppose 3*v + 1997 = 5*c, -c - 2*v = -187 - 202. Is c a composite number?
False
Suppose -6*v = -2*v - 500. Is (1 - v)/(-2 - 0) prime?
False
Suppose -q + 549 = 2*q. Suppose 4*x = x - q. Let s = 116 + x. Is s composite?
True
Let s be (-3)/(-2) + (-942)/(-12). Is s + -2 - 0 - -1 a composite number?
False
Let x = 11 + -11. Suppose 10 = 2*q + 3*q, x = -4*o + q + 1002. Is o a composite number?
False
Suppose 4*c + 5*a = 345, -c + 4*a = 3*c - 336. Is c prime?
False
Let u = 1 + 7. Suppose 2*v = r - 6, -3*r - 23 = 5*v - u. Suppose 2*k + r*k = 4*y - 226, 0 = 5*y + 2*k - 269. Is y prime?
False
Let d(z) be the first derivative of -7*z - 5*z**2 + 1 - 1/3*z**3. Is d(-7) a prime number?
False
Suppose 0 = 2*j - 4*c - 580 - 206, -2*j = -3*c - 781. Is j a composite number?
False
Let u(t) = 9*t**3 + 23*t**2 - 8*t + 6. Let g(d) = -5*d**3 - 12*d**2 + 4*d - 3. Let b = 7 + -3. Let f(m) = b*u(m) + 7*g(m). Is f(-8) composite?
True
Let z be (-6)/15 + 1974/10. Suppose 0 = 3*s - 2*f - z, f = 3*f - 4. Is s prime?
True
Suppose 2*t + 3*m - 2*m - 377 = 0, 4*t - 3*m - 729 = 0. Suppose 0*i - t = -i. Let z = i - 131. Is z prime?
False
Is (1016/12)/(2/3) a composite number?
False
Suppose -3 = k - 2. Let p(g) = g**3 + g - 1. Let y(j) = 2*j**3 + 9*j**2 - 7*j + 2. Let z(r) = k*y(r) + 3*p(r). Is z(8) a composite number?
False
Is (-5 - (6 - 8577)) + -3 a composite number?
False
Let a(n) = n - 6. Let g be a(6). Let c(k) = g*k - 5*k + 4*k - 5*k - 1. Is c(-4) a composite number?
False
Let r be ((-1)/(-1) + 21)*4. Suppose -5*k - 33 = -r. Suppose p - k = 3*x, -4*x + x + 12 = 0. Is p prime?
True
Let n(l) = l**3 + 6*l**2 - l - 3. Let q be n(-6). Suppose 7*f - 44 = q*f. Is f prime?
True
Suppose -98 = -k + 5*p, 5*k + 4*p = 637 - 60. Is k a prime number?
True
Suppose 2*k + p - 67 = 136, k + p - 100 = 0. Is k prime?
True
Let x(g) = g**2 - g + 5. Let h(t) = -7*t**2 - 29*t - 33. Let q(d) = -3*d**2 - 14*d - 16. Let s(r) = -2*h(r) + 5*q(r). Let i be s(-10). Is x(i) prime?
False
Suppose 6*c - 395 = c. Is c composite?
False
Suppose 0 = -5*u + 25, -4*i - 2*u + 18 = -0*u. Is -2*((-405)/6 - i) composite?
False
Let g = -28 - -12. Is 2686/18 - g/(-72) a composite number?
False
Suppose 3*y - 5*s = 4514, -6*s = -5*y - 3*s + 7550. Is y a composite number?
True
Suppose n = -3*r + 298, 5*n - 947 = 5*r + 603. Is n a prime number?
True
Suppose 5*z = -3*r + 34, -23 = 5*r + 3*z - 85. Is r a prime number?
True
Let i(v) = 5*v**2 + 11*v - 3. Let b(w) = -4*w**2 - 10*w + 2. Let j(g) = 6*b(g) + 5*i(g). Suppose 4*a = a - 3, 2*a = -2*y - 12. Is j(y) a composite number?
False
Suppose 8*q + 2*h - 1074 = 4*q, 4*q = 3*h + 1099. Is q a composite number?
False
Suppose a - 2*v + 10 = -0, 4*a - 2*v = -22. Is ((-132)/8)/(3/a) prime?
False
Suppose 3*g + 3*q = q + 749, -5*g - 3*q = -1250. Is g composite?
True
Suppose 2850 = 13*f + 913. Is f prime?
True
Let z(p) = 5*p**2 - p + 1. Suppose 27*k = 24*k - 12. Is z(k) composite?
True
Let r(k) = 4 + 4*k**2 + 5 - 6*k + 13*k. Is r(-6) composite?
True
Let f = -33 - -1091. Suppose -5*d = 318 - f. Let g = 234 - d. Is g a composite number?
True
Let m = 78 + -27. Suppose -2*f + 5*f - 68 = -2*r, -36 = -r - 2*f. Let d = m + r. Is d composite?
False
Let s(h) = -h**2 + 6*h + 7. Let p be s(7). Let b(w) = -3*w**3 + 2*w**2 + w. Let a be b(-1). Suppose -27 = -o + 2*c - 4*c, c - a = p. Is o composite?
False
Let o = -9 - -13. Suppose -q = -o*i - 6*q + 45, 2*q = -4*i + 30. Suppose -i*r + 21 + 49 = 0. Is r a prime number?
False
Suppose -3*a = -3, 20 = 4*s - a - 3*a. Is s prime?
False
Let z be 27/6*(21 - 3). Let f(q) = -40*q - 6 - z*q - 9*q + 3. Is f(-2) a prime number?
True
Suppose -9 = m + 2*m. Let t(c) = -2*c**3 + 4*c**2 + 5*c + 4. Is t(m) a prime number?
True
Suppose -15*o - 1060 = -17*o. Let u = -331 + o. Is u prime?
True
Let y(g) = g**2 - g - 1. Let r be y(2). Let n be r + -3 + (-1 - -7). Let u = n + 10. Is u composite?
True
Let p(v) = -v**2 - 13*v + 37. Is p(-11) prime?
True
Suppose 2*o - 532 = 2554. Is o composite?
False
Let r be 2/8 + 297/12. Suppose 0 = 5*s + p - r, 2*p - 4*p = 4*s - 20. Suppose -m + z + 47 = 13, -s*m + 188 = z. Is m composite?
False
Let d(c) = 5*c**2 + 8*c - 24. Is d(-11) prime?
False
Let u(i) = -i**2 + 5*i - 2. Let j be u(3). Suppose j*h = -3*c - 17, -c - 11 = -h - 3. Is c*1*2/(-2) composite?
False
Suppose -2*u + 211 = -211. Is u prime?
True
Suppose 2*g = -8 - 0, -2*c + 4*g = 410. Let j = -52 - c. Is j a composite number?
True
Suppose 5*o = -79 + 1344. Is o a prime number?
False
Suppose 39 + 7 = 2*a. Suppose 0 = -2*h + h + a. Is h a composite number?
False
Let r(b) = -b**3 - 1. Let d be r(-1). Suppose 0 = o + 5*z - 6, d*o - 2*z - 90 = -4*o. Is o a composite number?
True
Let h = -8 - -8. Suppose 2*o - 27 - 11 = h. Is o prime?
True
Suppose 2*x - 708 = x - 2*y, 2*x = -5*y + 1411. Is x a composite number?
True
Is 498/26 - 2/13 prime?
True
Let f = -927 - -1904. Is f prime?
True
Suppose -3*g - 4*j + 515 = 0, -5*g - 5*j = -1036 + 171. Is g a composite number?
True
Let t(l) = 11*l**3 + 3*l**2 - 2*l + 4. Let q(k) = -23*k**3 - 6*k**2 + 4*k - 7. Let v(x) = -3*q(x) - 5*t(x). Is v(2) a composite number?
True
Suppose 3*j + 1808 = f, 9078 = 5*f - 0*f + 4*j. Is f prime?
False
Suppose 5*s + 7 = 2. Is (-153)/(-3) + (-3 - s) composite?
True
Suppose -191 + 36 = -5*n. Is n composite?
False
Let a = -5 + 42. Is a a prime number?
True
Let f(u) = 11*u + 1. Let x(o) = 33*o + 4. Let h(w) = 7*f(w) - 2*x(w). Is h(4) composite?
False
Let t be 3 + (-5)/(15/(-12)). Suppose 3*u = t*u + 52. Let l = 62 + u. Is l composite?
True
Let r(f) = 9*f**3 + f**2 + 2*f + 2. Let z be r(3). Suppose 2*p = -2*p + z. Is p composite?
True
Suppose -2*u + 2*p + 9908 = 0, u = 5*u - 2*p - 19822. Is u a composite number?
False
Let p = 46 - 27. Let f = -6 + p. Is f composite?
False
Let d = 731 - 321. Is (6 - 4) + d - 3 prime?
True
Suppose 8*l - 4*l - 892 = 0. Is l a prime number?
True
Let u be (-6)/3 - 0/(-2). Let j(v) = -v**3 - 6*v**2 + 7*v - 1. Let t be j(-7). Is (0 - -1) + u/t prime?
True
Let f be 1*(-2 - -1)*3. Let y(t) = t**3 + 2*t**2 - 2*t + 4. Let r be y(f). Let o = 18 + r. Is o prime?
True
Let c(h) be the second 