0 = 5*z - z. Is f a composite number?
True
Suppose 18 = 4*r + 2*x, 4*r - x = 3*r. Suppose 2*b + 2*c - 66 = 0, r*b - 39 = -c + 68. Is b composite?
False
Let o = 1552 + -645. Is o a prime number?
True
Suppose -2*m = -3*w + 1891, 7*m = 3*w + 8*m - 1894. Is w a prime number?
True
Let w = 321 - 200. Is w a prime number?
False
Let z(q) = -q - 2 + 5 + 0. Let p(g) = -g**3 + 2*g**2 + 2*g + 3. Let l be p(3). Is z(l) composite?
False
Let w(n) = 51*n**2 + 1. Let z be w(-2). Let o = z - 90. Is o composite?
True
Suppose -3*n + 10 = 2*n. Suppose 2*b - n*h = -h + 41, -3*b = -4*h - 69. Is b prime?
True
Is 115/9 - (-12)/54 a prime number?
True
Let m(n) = -n**3 - 10*n**2 + 9*n - 23. Is m(-17) prime?
True
Let g be (2/3)/(16/2136). Is 0/2 + -2 + g composite?
True
Let a = -12 + 17. Suppose 0*w - 485 = -a*w. Is w a prime number?
True
Let a = 19 - 31. Let u = -8 - a. Suppose u*y = -2*i + 190, 4*y + 5*i = 91 + 90. Is y composite?
True
Suppose 4*p = 9*p + 55. Let s = 8 - p. Is s a composite number?
False
Let d(b) = -7*b**2 + 17*b + 27. Let t(c) = 3*c**2 - 9*c - 13. Let v(g) = -2*d(g) - 5*t(g). Is v(10) prime?
False
Let c be 4/(8/6) - -120. Let f = c + -74. Is f composite?
True
Suppose -404 = -3*l - 2*w + 6*w, 3*w = -3*l + 411. Is (-3)/1 + l*1 a composite number?
True
Let y(w) = -36*w + 13. Is y(-11) a prime number?
True
Let k(n) = 4*n**3 + 3*n**2 + 4*n - 8. Is k(5) prime?
True
Suppose -2*x = -6*x. Suppose -2*f = -x*f - 70. Let z = -9 + f. Is z a prime number?
False
Let z(f) = 48*f**3 - 3*f**2 - f + 3. Suppose 4 = 7*n - 10. Is z(n) prime?
True
Let f(q) = 1539*q**2 - 2. Is f(1) a prime number?
False
Suppose 5*i - 2*i = 2*j - 7, 0 = -3*i - 3. Suppose -j*b = b - 255. Is b composite?
True
Suppose -165 = -u + 2*b, 3*b - 642 = -4*u + 5*b. Is u composite?
True
Let q(a) = 190*a**2 + 1. Let y = 2 + -1. Is q(y) a prime number?
True
Let j(g) = -4*g + 3 - 2 + 10*g + 6*g. Is j(8) a composite number?
False
Let y = 2 - -1. Suppose -560 = -y*o + 5*s, -o - 186 = -2*o + s. Is o a prime number?
False
Suppose -7 = -o - 0*o. Suppose f - 56 = -o. Is f composite?
True
Suppose v - 2*v - 9 = 0. Let j = v + 7. Is j/(-4) + (-287)/(-14) a prime number?
False
Let k(i) be the third derivative of -i**2 + 0*i + 1/6*i**3 + 1/4*i**4 + 0. Is k(1) a composite number?
False
Suppose -3*o - 51 = t - 4*t, 4*o + 29 = t. Is t a prime number?
True
Let m(i) = -i - 2. Let b be m(0). Let z be 2 + (b + 2 - -3). Suppose -z*j + 76 = -j. Is j composite?
False
Suppose 0 = 14*i - 8321 + 1475. Is i a composite number?
True
Let a = -650 + 984. Suppose -a = -5*q + 201. Let u = 166 - q. Is u a prime number?
True
Let o(q) be the first derivative of 3/2*q**2 + 1 - 3*q + 5/3*q**3. Is o(-3) composite?
True
Suppose -2*t + 3*t = -2. Let n be (t*7 - 0) + 1. Let i = n + 47. Is i prime?
False
Suppose -q - 2*q - 171 = 0. Is 1/(0 + (-3)/q) prime?
True
Let f(c) = c**3 - 8*c**2 + 4*c + 10. Let v be 51/6 + 2/(-4). Let g = 1 + v. Is f(g) prime?
True
Suppose 5*q = 2*s + 6, 4*q - 13 = 3*s - 4. Is 14 + (s + 6)/3 composite?
True
Let c = -11 - -11. Suppose c = m - 15 - 50. Is m composite?
True
Is 18720/132 - 2/(-11) composite?
True
Let x(c) = 4*c**3 - 9*c**2 - 7*c - 3. Is x(7) composite?
True
Let x(i) be the second derivative of -2*i**3/3 - 5*i**2/2 - 3*i. Let a be x(-7). Let c = 68 + a. Is c a prime number?
False
Let i be 4/(-6) - 59/(-3). Suppose -i = h - 5*w, -4*h - 51 = -3*h + 3*w. Is (-2 - -6)/(-2) - h a prime number?
True
Let j(u) = u**3 + 5*u**2 + 2*u + 2. Let y be j(-5). Is ((-187)/(-4))/((-2)/y) composite?
True
Suppose 3*k - 54 = 3*g, 0*k + 2*g = 4*k - 68. Is (-400)/(-18) + k/(-72) a prime number?
False
Let t(a) = 3*a**2 + 4*a - 2. Let x = 7 - 4. Let j(b) = b**2 - b - 3. Let q be j(x). Is t(q) prime?
True
Let l(j) = -j**3 - 5*j**2 - j - 10. Is l(-7) composite?
True
Suppose -j = -2*j + 11. Is j prime?
True
Let m(b) = b**2 + 7*b + 3. Let d be m(-6). Let z = d - -3. Suppose 4*p - 15 - 13 = z. Is p a composite number?
False
Is (-4046)/(-6) + (-8)/6 prime?
True
Let d(k) = -65*k**3 + k**2 - k + 1. Let u be d(-2). Let f = u - 174. Is f prime?
True
Suppose 2*p - 252 = -2*p. Let y = -40 + p. Is y a prime number?
True
Let k = -45 - -64. Is k prime?
True
Suppose 2*y + 0*i - 4 = -2*i, 4*y + i - 8 = 0. Suppose 3*d - 49 = l - 3*l, 0 = -y*d + 3*l + 50. Is d composite?
False
Is (10/(-4) + 3)*358 prime?
True
Let f(m) = 17*m**2 - m + 3. Let y(p) = -6*p**2 - 1. Let b(d) = 3*f(d) + 8*y(d). Is b(7) composite?
False
Let b(c) = 3*c**2 + 2*c - 6. Is b(-7) a composite number?
False
Let u = -3 - -6. Suppose 5*h = -5*t - 0*t + 100, -62 = -u*h - 5*t. Is h composite?
False
Suppose 693 + 432 = 5*a. Suppose 5*c + a = -5*g, -4*g + c = -2*c + 215. Let o = g + 105. Is o a composite number?
True
Let x be (2/(-4))/((-3)/24). Suppose 0 = -x*m + 36 + 4. Is (-103)/(-5) + m/25 prime?
False
Suppose 0 = -m - 15 - 57. Let f = m + 131. Is f prime?
True
Let i be 95/20 + 2/8. Suppose -i*o = -o - 476. Is o composite?
True
Let q be 6/(-33) - 70/(-22). Let o = 0 + 1. Suppose 4*l = -3*i + 25, -3*i - 2 = -q*l + o. Is i composite?
False
Let z be (-9)/(-3) + 1/1. Suppose -3*b = -j + 189, z*b = j + 2*j - 257. Let v = 17 - b. Is v composite?
False
Suppose -5*m = -g + 15, 5*g - 2*m + 45 = -7*m. Let d(p) = p + 5. Let i be d(g). Is 1/(i - (-3)/141) prime?
True
Suppose 18*l - 20*l + 1598 = 0. Is l a composite number?
True
Is 675 - 1 - -1 - (13 - 15) a composite number?
False
Let f(q) = -q**3 + 10*q**2 - 8*q. Let v(r) = -r**2 - 10*r - 6. Let t be v(-9). Suppose -u = -t*z - 19, 0*z - 11 = -u + z. Is f(u) a prime number?
False
Let g(v) = -v**3 + 5*v**2 + 6*v + 2. Let k be g(6). Suppose 6 + 0 = k*a. Suppose 117 + 156 = a*j. Is j a prime number?
False
Let s(f) = -4*f + 15. Is s(-11) prime?
True
Let o(a) = -6*a + 3*a + 1 - a**3 - a - 4 + 6*a**2. Is o(4) a prime number?
True
Let p = -184 + 93. Is 2/(-4)*2*p a prime number?
False
Let f(c) = -c + 17. Let d be f(13). Suppose -2231 = -5*v + d*a, -a - 2219 = -5*v - 0*a. Is v a prime number?
True
Let z(v) = 1. Let r(l) = -l**2 + 6*l - 6. Let f(m) = -r(m) - 3*z(m). Let g be f(-6). Suppose g = 4*q + q. Is q a prime number?
False
Let n(y) be the third derivative of 1/30*y**5 + 0 - 1/12*y**6 - 1/2*y**3 + 0*y + 2*y**2 - 1/12*y**4. Is n(-2) composite?
False
Is (-1*1/1)/((-17)/1853) a prime number?
True
Suppose -5*s + 12 = -3*s. Suppose 3*y = -5*u - 14, 2 - s = -5*u + 3*y. Is -6 + 5 - 26/u a prime number?
False
Is (-15)/(-10)*4786/3 composite?
False
Suppose 6 = 4*p + 2*d - 4*d, -2*d = -p + 3. Is (-2514)/12*p*-2 a prime number?
True
Suppose 0*o + 3*y + 624 = 3*o, -4*o - 3*y = -846. Let b = o + -91. Is b prime?
False
Let w = -4 - -7. Suppose l = w*d + d - 324, -l + 86 = d. Is d a composite number?
True
Is 177*(-6)/(-9)*1 prime?
False
Suppose -6*d + 2135 = -319. Is d composite?
False
Let n = 0 - -3. Is (-12)/(-8)*92/n prime?
False
Let n be (3/4)/((-2)/8). Let b be (-2 + 1 - 0)*n. Suppose o = -c + 26, -b*o - 114 = -8*o - c. Is o a composite number?
True
Suppose 5*p = 5*l - 925, p + 4*p = -10. Let t be (-20)/(-4)*2/5. Suppose 3*x + l = 3*n, 3*n - 2*x = t*x + 185. Is n composite?
False
Suppose 7 = 3*m - 2. Let k(y) = -2*y**3 + y**2 - y + 4. Let z be k(-3). Suppose z = 2*v + m*v. Is v prime?
False
Suppose -19 = -2*r + 3*b, -1 = -2*r - r - b. Suppose -r - 19 = -t. Is t prime?
False
Let i = -3 + 7. Is i*(19/4 + -1) prime?
False
Let i(d) = -26*d**3 + 4*d**2 - 7. Is i(-3) composite?
True
Let p(j) = 91*j**2 + j - 1. Let q(z) = -z**3 - 3*z**2 + 5*z + 6. Let g be q(-4). Let n = 0 + g. Is p(n) prime?
False
Let r(a) = 17*a**2 - 6*a + 14. Is r(5) a prime number?
True
Let n(h) be the second derivative of h**4/12 - 3*h**3/2 + 7*h**2/2 - h. Is n(9) prime?
True
Let k(c) = 226*c - 37. Is k(6) a composite number?
False
Suppose -2*q + 5*u + 42 = 4*u, 0 = 5*q + 4*u - 118. Is q a composite number?
True
Let v = -135 + 191. Suppose -3*j - 111 = -3*t, 86 = 4*t - j - v. Is t composite?
True
Let l(x) = -2*x**3 - 14*x**2 - 5*x. Let q be l(-9). Suppose -a + 102 = 3*s - 0*s, -4*a + q = -s. Is a a prime number?
False
Is 3/(-15) + (-2096)/(-5) a composite number?
False
Let l be 4/(-8) - 18/(-4). Suppose -l*u + 25 = -m - 32, 3 = -3*m. Is u a composite number?
True
Let y = -12 + 3. Let d be (-64)/6*y/4. Suppose -7*q + d = -3*q. Is q composite?
True
Let t = 535 - 348. Is t composite?
True
Let h =