pose 19 = w*g - g. Is g a prime number?
True
Let g be (-2)/4*1*-38. Let s = g + 48. Is s a prime number?
True
Let o(j) = 3*j - 6. Let k be o(4). Is 1/((-2)/k) - -86 a prime number?
True
Let m(t) be the first derivative of -t**4/4 + 7*t**3/3 - 2*t + 5. Let h be (-36)/(-10) + 4/10. Is m(h) prime?
False
Let r(a) = 11*a + 83*a**2 - 10 + 2*a**3 - 78*a**2 - a**3. Is r(7) a composite number?
True
Is (-6)/(-9) + (-6051)/(-9) composite?
False
Suppose 5*i - 1374 - 2615 = 4*r, -1592 = -2*i - 2*r. Is i a composite number?
False
Suppose -72 - 21 = -n. Suppose -u + n + 9 = v, u + 5*v = 86. Is u composite?
True
Let c be 2/3 - (-64)/(-6). Let b(o) = o**2 + 10*o + 11. Is b(c) a prime number?
True
Let u = 9 - 6. Suppose -2*b + u*b + 201 = 0. Let w = -108 - b. Is w prime?
False
Let i(b) = 3*b**2 + 10*b - 3. Let j(o) = 16*o**2 + 51*o - 15. Let z(a) = 11*i(a) - 2*j(a). Let y be z(-6). Let d = 28 + y. Is d a composite number?
False
Let y(i) = -i**3 - i**2 - i + 46. Let n be y(0). Let b = n - -13. Is b composite?
False
Suppose 4*c + 0*h = 5*h - 16, 2*c = 2*h - 8. Is 1*-6*10/c prime?
False
Let p(q) = q**3 + 3*q**2 - 5*q - 6. Let t be p(-4). Is (t + 1)/((-3)/105) prime?
False
Let x(d) = 17*d**2 - 1 + 5 + 0*d**2 + 7*d + d**3 + 2*d. Let q be x(-7). Suppose v - 455 = -2*v - 5*n, 0 = -3*v + n + q. Is v a composite number?
True
Suppose -3*x + 2*x = 0. Suppose -5*d + 96 + 19 = x. Is d a composite number?
False
Let s(n) = 2001*n. Let o(w) = 69*w. Let r(v) = 115*o(v) - 4*s(v). Let i be r(-4). Suppose -7*a + 3*a = -i. Is a prime?
False
Suppose 2*n + 1 = 3, v + 3*n - 49 = 0. Is v a prime number?
False
Let c(l) = -10*l - 3. Is c(-8) prime?
False
Suppose 19 = -4*i + 663. Is i a prime number?
False
Let a(q) = 3*q**2 - 4*q**2 + 2*q**2 - 4*q - 2 + 2*q. Is a(-4) composite?
True
Let w(z) be the third derivative of z**5/60 + z**4/8 + 7*z**3/6 + 2*z**2. Is w(-7) a composite number?
True
Let l = -133 + 666. Is l a prime number?
False
Is 290/3 - (-2)/6 prime?
True
Let k = 18 - 40. Let n = 167 + k. Is n composite?
True
Let i(u) = 25*u**2 - 3*u + 4. Let d be i(-4). Let v be 1 + 1 - 76/(-2). Is d/v - (-2)/(-5) composite?
True
Let i(o) = -3*o**3 + 2*o**2 + o. Is i(-1) prime?
False
Let p(m) be the third derivative of 239*m**5/60 - m**4/12 - m**3/3 + 2*m**2. Is p(-1) prime?
True
Suppose -790 = -4*v + 642. Let m = v + -107. Is m prime?
True
Let p = 2 - -3. Suppose p*h - 390 = -4*v, -5*h + 5*v + 430 = v. Is h a composite number?
True
Suppose 51 = 2*g + g. Suppose -g = -5*s - 2. Is (-105)/(-4) - s/12 prime?
False
Let l = 7 - 5. Let r be ((-4606)/21)/(l/(-3)). Suppose y - r = -3*k, 0 = 2*y - 4*y - 8. Is k a prime number?
False
Let y(j) = -j**3 + 14*j**2 - 11*j - 12. Is y(13) a composite number?
True
Let k(i) = -2*i**3 - i**2 - 4*i - 1. Is k(-4) a composite number?
False
Let m be (0 - -10) + 0/(-7). Suppose -r + m = r. Suppose 133 + 142 = r*p. Is p prime?
False
Let m(c) = -c**3 + 4*c**2 - 3*c + 1. Let f be m(2). Suppose -y = -f*u + 1179, 5*u + 3*y + 1134 - 3099 = 0. Is u a prime number?
False
Let b(j) = 3*j**2 + 4*j + 5. Let z(o) = -o**2 + 4*o - 2. Let i be z(2). Suppose 2*p - 5*f + 0*f = -28, 0 = p - i*f + 12. Is b(p) composite?
False
Let p(f) = 20*f**2 + 5*f + 5. Let a be p(6). Suppose 5*m - a = k, -2*k - 604 = -2*m - 2*m. Suppose -194 = -5*d + m. Is d composite?
True
Suppose -2*k + 2579 = 3*s, -5*s + s = 4*k - 5164. Is k a composite number?
True
Suppose 0 = 25*b - 29*b + 104. Is b a composite number?
True
Let k(g) = g**3 - 5*g**2 - 2*g + 6. Let c(z) = z**3 - 5*z**2 - 3*z + 5. Let w(l) = 7*c(l) - 6*k(l). Is w(8) prime?
False
Suppose -w - 4*x = 6, 2*w - 2*x = -3*x + 2. Suppose -326 = -4*r + w*r. Is r composite?
False
Suppose 0*o + 4*o - 4 = 0. Is (337 - (2 + o)) + -3 composite?
False
Let f(x) = 4*x + x**2 - 4 - x**2 - x**2 + 2*x**2. Let p be f(-5). Suppose -5*s = -96 + p. Is s prime?
True
Let a(s) = -s**2 - 13*s + 1. Is a(-12) composite?
False
Suppose -2*m + 8 = -4*l, -5*m + 60 - 16 = -2*l. Is 1152/m + (-7)/35 composite?
True
Let s = 178 + -89. Is s composite?
False
Suppose 0*j - x = -4*j + 624, 5*x - 334 = -2*j. Is j prime?
True
Suppose 3*y - 15 = -4*c + 4*y, 3*y - 35 = -4*c. Suppose 12 = -b + c*b. Suppose -b*o - 20 = -8*o. Is o composite?
True
Suppose d - 300 = -42. Suppose 4*p - 248 = -p + x, 5*p + 4*x - d = 0. Suppose -m + p = m. Is m composite?
True
Let l = 9 + -5. Suppose 3*t + j = 17, -2*t + 4*j + 15 = -1. Suppose l = k - t. Is k composite?
True
Suppose 2*x = -4*y + 4, -3*y + 3 + 3 = 3*x. Let r be (x - 201/15)*-10. Suppose r = 2*f + 16. Is f a composite number?
True
Let b = 22 + 17. Is b prime?
False
Let q(p) = 78*p - 28. Is q(9) a prime number?
False
Let m = 883 - 160. Is m composite?
True
Suppose 0*o = -3*o + 477. Is o a prime number?
False
Let q(j) = -7*j + 6. Suppose -5*i - 28 = 2*u, 4*u + 0*i - 2*i = -8. Is q(u) a prime number?
False
Let o be (-1)/1 + -3 + 8. Suppose -5*j = -o*j - 39. Is j a prime number?
False
Suppose 240 = -4*c + 56. Let y = c - -9. Let t = -15 - y. Is t a prime number?
False
Let s = -2582 - -3733. Is s composite?
False
Let o(m) = -2*m + 11. Let d be o(9). Let f = 10 + d. Is f a prime number?
True
Let t be (-1)/(1 - (-40)/(-39)). Suppose -2*q = -6*p + p - 78, -q = -3*p - t. Is q composite?
True
Suppose 2*p - 131 = 5*k, -5*p + 3*k + 293 = 2*k. Let y = 5 - 2. Suppose -y*v + 307 = p. Is v a prime number?
True
Suppose -7 + 89 = 2*l. Let i = -4 + l. Is i a composite number?
False
Let i(h) = 9*h - 6. Let z be i(4). Suppose o + z = -26. Is 2/3 - o/6 composite?
True
Suppose -31 + 269 = a. Suppose -h = -6*h + 4*t - 807, 0 = t - 3. Let g = h + a. Is g prime?
True
Let d(q) = -66*q**3 - 4*q**2 - 6*q - 3. Is d(-2) prime?
True
Is (-1 - 2/1) + 2574 composite?
True
Suppose z = 4*z - 159. Is z a prime number?
True
Suppose 3*t + 153 = 4*h, 3*t + 141 = 4*h + 4*t. Suppose 3*c - h - 159 = 0. Let m = -32 + c. Is m a composite number?
True
Suppose -8*o + 1529 = -3*o - 2*b, 0 = 4*o - b - 1225. Is o a prime number?
True
Suppose p - 668 - 246 = 0. Suppose 894 = o + z, -2*o = -o + 5*z - p. Is o a prime number?
False
Suppose 2*r - 5 = 4*v + 9, 13 = 4*r - 3*v. Is 76/4*(2 - r) prime?
True
Suppose -4*w + 250 = -2*w. Let s = w - 82. Is s a composite number?
False
Let d(z) = z**3 - 3*z**2 - 5*z - 2. Let x be d(4). Let i(u) = -u**3 - 6*u**2 - u - 5. Let w be i(-6). Is 9/(-15)*(w + x) prime?
True
Suppose -2*u = -0*u + 2*g - 1738, 0 = -u - 2*g + 873. Is u composite?
True
Let u(g) = 2*g**2 - g + 4. Let p = -7 - -2. Let b = p - -8. Is u(b) composite?
False
Let q be (-8 + 8)/(1*-1). Suppose -5*i + q*i + 1595 = 0. Is i a composite number?
True
Is (3 - -54*7)*2/3 prime?
False
Let u = 0 - -6. Let x = u + -3. Suppose -4*a + 135 = -0*r - 3*r, 0 = x*a - 2*r - 101. Is a composite?
True
Let t(m) = -160*m + 9. Is t(-19) a prime number?
True
Let p = -107 - -232. Let n = p + -86. Is n composite?
True
Suppose -t + 131 = -138. Is t composite?
False
Let t be (-90)/24 - (-1)/(-4). Let l be (-2)/t - 5075/(-10). Suppose -m + z = -127, l = 4*m + 4*z - 3*z. Is m a composite number?
False
Suppose 2*v + 0*v + 4 = 0. Is 87/v*20/(-6) composite?
True
Suppose -d = -0*a + 4*a - 1564, 4*a - 5*d - 1564 = 0. Is a composite?
True
Suppose -2*k - k + 18 = 0. Suppose 0 = -k*a + 3*a + 39. Let f = a - -6. Is f prime?
True
Let a(m) = 4*m**3 + m - 2. Is a(3) a composite number?
False
Let m(d) = 2*d - 4. Let q be m(-3). Suppose 5*a + 28 = -22. Is q/(1/a*4) a composite number?
True
Suppose 0 = -i - 2*i + o + 2514, 0 = 5*i - o - 4192. Is i a prime number?
True
Suppose d - 333 = -w, -3*d + 3*w - 4*w + 995 = 0. Is d a composite number?
False
Suppose 0 = 4*u - 16, m - 170 - 25 = 5*u. Is m prime?
False
Let t = 161 + 174. Is t a prime number?
False
Let c(h) = 10*h**2 - 47*h - 10. Is c(11) composite?
False
Suppose 4*m - 1713 = 5*b, 0*b + 1701 = -5*b - 2*m. Let o = 686 + b. Suppose -z + o = 2*z. Is z composite?
True
Let y(m) = 81*m**3 - 2*m**2 + m - 1. Is y(1) prime?
True
Let o(g) = -g**3 + 2*g**2 + 3*g + 2. Let x be o(3). Suppose x*c - 84 = -2*c. Is c composite?
True
Let s(l) = 2*l**2 + l - 1. Let t be s(1). Suppose 4*q - t*q - 14 = 0. Is q a composite number?
False
Let f(g) = g**3 - 6*g**2 - g + 3. Suppose 3*x - 8 = 2*x + 2*c, 0 = -x - c + 5. Let p be f(x). Let m(y) = -17*y - 4. Is m(p) a composite number?
False
Let k be (-2)/10 - (-682)/10. Sup