 4*x - 4*c - 7436 = 0, -c = 4*x + c - 7436. Suppose -i - 5*s = -s - 387, 0 = -5*i - s + x. Is i composite?
True
Suppose -4*q + 313 = -907. Suppose -2*z - q = -3*f + 3*z, -f = 3*z - 83. Is f prime?
False
Let z be (1 - -1)/(-1) + 3. Let h(v) = 9*v**3 + v**2 - v + 1. Is h(z) prime?
False
Let y(w) = -397*w. Is y(-2) prime?
False
Suppose -2*c = h + 1, -4*h + c = -2*h - 8. Suppose h*l = 8*l + 5. Is (-17)/l - (-2 - -4) composite?
True
Let w be ((-1130)/25)/((-1)/(-5)). Let i be w/(-8) - 30/(-40). Let m = -18 + i. Is m composite?
False
Suppose -2*r + g + 91 = 0, -2*r - 2*g - 134 = -5*r. Let k = r + 35. Is k composite?
False
Let v(z) = 1644*z - 29. Is v(4) a prime number?
True
Suppose 0 = 2*o - 0*o. Suppose -5*b = 6*n - n + 50, o = 5*n - 20. Is (-1074)/b - 6/(-21) a prime number?
False
Is 2722*(-2)/4*-1 a composite number?
False
Suppose -3*s - 2*s + 6 = 2*k, k = 5*s + 3. Suppose s = 2*a - 66 - 8. Is a a composite number?
False
Suppose -2*u - 24 = -u. Let x = u - -75. Is x prime?
False
Let f = 208 - -51. Is f a composite number?
True
Suppose q - 3*p = 8, 13 + 5 = 4*q + 2*p. Suppose q*k + 0*k + 245 = 4*b, 3*b = -5*k + 140. Is b a composite number?
True
Let m(s) = -2*s - 4. Let w be m(-4). Let b = w + 31. Is b a prime number?
False
Let c be 8/24 + 10/6. Is (-77)/c*4/(-2) prime?
False
Suppose -1083 = -6*a + 3*a. Is a a prime number?
False
Suppose 2*h - 754 = -96. Is h composite?
True
Let q be 16/5*125/2. Suppose -3*x = -x - q. Suppose 0 = 4*u - 120 - x. Is u prime?
False
Suppose 3*t + 0*t - 27 = 0. Is 129/t - 2/6 a composite number?
True
Let k(w) = w**2 + 6*w - 4. Let a be k(-7). Let n(t) = -t**2 + 3*t + 2. Let u be n(a). Suppose 0*o = u*o - 154. Is o composite?
True
Suppose -4*l + 157 = -3*l. Is l composite?
False
Let o(i) = 15*i**2 - i + 43. Is o(-9) a composite number?
True
Let f(g) = 27*g - 2. Is f(5) composite?
True
Suppose 3*y = -4*o + 315, o - y = -18 + 95. Suppose -3*g + 879 = -o. Is g prime?
False
Let z be (-2)/(-7) - (-61)/7. Let r = 2 + z. Suppose -3 - r = -2*w. Is w composite?
False
Let i = 134 - -77. Is i a prime number?
True
Let j(k) = -32*k + 3. Is j(-4) composite?
False
Let s = 15 - 19. Is 16/s*249/(-12) a composite number?
False
Suppose -7*p = -3*p. Suppose p = -3*f + 2 + 7. Suppose f*z - 8 - 145 = 0. Is z a prime number?
False
Let w(a) = -665*a + 2. Is w(-1) composite?
True
Let q(a) = -22*a - 7. Let u(d) = 110*d + 36. Let n(y) = -11*q(y) - 2*u(y). Let g be n(6). Let b = g - 70. Is b a prime number?
True
Let s(w) = -22*w**3 - 3*w**2 + w + 5. Is s(-4) prime?
True
Suppose 2*a = -4*w + 5*w + 8, -w - 4*a + 22 = 0. Let z(n) = -5 - 2*n + n - w*n. Is z(-6) composite?
False
Suppose z = 4*y - 1, -z = -5*z - 4. Let w(m) = -m**3 - m**2 - m + 221. Is w(y) a composite number?
True
Let y(f) = f + 2. Suppose -2*h = a - 10, -5*a + 4*h - 25 = -h. Let s be y(a). Suppose -s*d = 3*d - 245. Is d a composite number?
True
Let m = -260 + 2055. Is m prime?
False
Let u be 4*5/(-4)*-1. Suppose u*o - 580 = 5*k, 5*k + 0*k + 232 = 2*o. Suppose 5*h + o = 451. Is h a prime number?
True
Let i(g) = g**2 - 6*g - 3. Let y be i(7). Suppose 3*t - 210 = -3*n, 5*n = 3*t - y*t + 330. Let h = n + -12. Is h composite?
False
Suppose 6*b - 3*b - 1671 = 0. Is b a composite number?
False
Suppose 2*m = m - 4*g - 17, 2*m + 14 = -4*g. Let z be 870/7 - (-4)/(-14). Suppose z = m*x + x. Is x prime?
True
Suppose 3 + 5 = 4*z. Suppose 3*y = -2*n + 54, 0 = 4*n - 6*y + z*y - 148. Is n prime?
False
Suppose -2*q = -2*s + 126, -3*s - 4*q = -218 + 1. Let u = 149 - s. Is u a composite number?
True
Let c(v) = 36*v**2 + 2. Let k be c(-3). Let r = k - 165. Is r composite?
True
Suppose -5*t + 289 = 2*j, -2*j - t - 162 = -3*j. Is j prime?
True
Suppose 3*t = 88 + 281. Let y be (50/15)/(1/t). Suppose -3*s + 5*q = 2*s - y, 247 = 3*s - 2*q. Is s a composite number?
False
Let u = -6 - -5. Is (-14)/6*(-142 - u) prime?
False
Let h be 17*(-114 + -3)/(-3). Suppose -2*r - a + h = 0, -3*r + 2*a = 4*a - 992. Let g = r - 207. Is g a composite number?
False
Let f be (1 + 1)/((-4)/(-542)). Suppose -3*d = -4*g - f, -5*d + 0*g = 2*g - 417. Is d a prime number?
False
Let m(c) = -c**2 + c + 1. Let v(q) = 3*q + 4. Let l(r) = -m(r) + v(r). Is l(-2) a composite number?
False
Suppose -2*p = -6*p + 36. Is 10/(-45) + 749/p prime?
True
Let p = -253 - -471. Suppose -p + 32 = -6*w. Is w prime?
True
Is (28/16)/((-2)/(-15304)) a composite number?
True
Suppose 0 = f - 4, 2*a - 5*f = -a - 974. Let b = 17 - a. Is b a prime number?
False
Suppose b + 2 = -0*b. Is 440/6 + b/(-3) prime?
False
Let k(w) = w**3 + 9*w**2 - 3*w + 4. Is k(-9) prime?
True
Suppose 2*q = -5*h + 5763, -4*q = -8 - 8. Is h composite?
False
Let t = 283 - -216. Is t prime?
True
Suppose -5*g - 3*w - 54 = 0, -2*w + 0*w + 52 = -4*g. Let s = g + 35. Is s a composite number?
False
Suppose -2*w + 280 = -228. Is w composite?
True
Suppose 1 = 2*c - 5. Suppose 3*h - 3 = 0, -5*h = -g - 4 + c. Let t(u) = 33*u - 5. Is t(g) a prime number?
True
Suppose 0*i + 15 = 5*n - 2*i, -5 = 2*n - 3*i. Suppose -3*r + n*c = -0*c - 142, 4*r + c - 151 = 0. Is r composite?
True
Let c(d) = -2*d**2 + 2*d + 2. Let o be c(2). Is 2 + o + 0 + 35 a prime number?
False
Let c(d) = d**2 + 11*d + 8. Let m be 53/(-6) + 11/(-66). Let z be c(m). Is ((-46)/4)/(1/z) a prime number?
False
Let i(q) = 0*q + 4 + 0*q - 3*q + 0*q**2 + 14*q**2. Is i(3) a prime number?
False
Suppose -d + 41 - 157 = 0. Let c = d + 275. Suppose 5*n + 4*s - s - 265 = 0, 3*n + s = c. Is n a composite number?
False
Let s(h) = -28*h**3 - h - 1. Suppose -o - 3 = 2*o. Let z be s(o). Suppose -x + 5*m = 3*x - 68, -2*x + z = -4*m. Is x composite?
True
Let b(p) = p**2 + 2*p - 5. Let d be b(-4). Suppose d*h - 603 = -0*h. Suppose 2*c + h = 5*c. Is c a prime number?
True
Let r = 734 + 143. Is r a composite number?
False
Let i(a) = -a**3 - 11*a**2 + 16*a + 19. Is i(-13) prime?
True
Let z(w) = -1342*w**3 + w**2. Let v be z(-1). Let i = -802 + v. Is i a composite number?
False
Let d = 526 + -131. Is d composite?
True
Suppose -5*a - 4*c + 21 = -19, -4*a + 3*c = -1. Suppose -3*l + 40 = l. Suppose 4*w = 0, l = 2*n + a*w - 4. Is n a composite number?
False
Suppose -n + k = -0*k - 100, -n + 3*k = -106. Is n composite?
False
Suppose 2*c - 5*l + l = 254, -5*l + 508 = 4*c. Is c prime?
True
Suppose 9*q - 7*q - 1678 = 0. Is q prime?
True
Let b(s) = -s**3 - 5*s**2 + 12*s + 10. Let f be b(-9). Let h = f - 113. Is h a composite number?
False
Suppose -w + 9 = -230. Is w prime?
True
Suppose -1278 - 83 = -s. Is s composite?
False
Suppose 275 + 147 = 2*m. Is m a prime number?
True
Let f = -1 - -5. Suppose 560 = 5*p + 2*j, 480 = f*p + j + 29. Is (2 + -4)*p/(-4) a composite number?
True
Suppose 18 = 5*h - 2. Suppose -3*x - h*p = -463, 2*p = -p + 12. Is x composite?
False
Let m = -20 + 28. Let c be 1 + 2 + 0 + -1. Is 58/m + c/(-8) composite?
False
Suppose 0 = -3*g + 4*g. Suppose g = -3*c - 78 - 147. Let z = c - -144. Is z composite?
True
Let o = -4 + 9. Suppose -1175 = -o*f - 2*l, -2*f + l + 470 = -2*l. Is f a composite number?
True
Is 111*2/6 + -2 a prime number?
False
Let s(a) = -2*a**3 + 7*a**2 + 7*a - 13. Is s(-9) composite?
False
Let c = -1472 - -2755. Is c prime?
True
Suppose 339 = 6*i - 1383. Is i a prime number?
False
Is (-9471)/(-15) - (-2 - (-24)/10) composite?
False
Let b(z) = -z**2 + z + 3. Let s be b(0). Suppose s*c - 163 = 2*c. Is c a composite number?
False
Suppose -5*p = -15, 740 - 146 = 3*b - 2*p. Suppose -f - 5 = 0, 4*w = -2*f - 2*f + b. Is w prime?
False
Let i(j) = -j**3 - 9*j**2 + 9*j - 6. Let p be i(-10). Suppose -p*z - 158 = -6*z. Is z prime?
True
Suppose -9454 = -7*g + 18147. Is g prime?
True
Let j be (2 - 3/2)*2. Is (3/3 + 2)/j a prime number?
True
Is (2 + -3)/(2/(-1042)) composite?
False
Let m(y) = -6*y - 7. Let r(w) = w**2 + 7*w + 5. Suppose 0*k - 3*k = 15. Let s be r(k). Is m(s) prime?
True
Suppose -4*j - 136 = 20. Let h = j - -70. Is h a composite number?
False
Suppose -3*q + 0*q + 357 = 0. Is q prime?
False
Suppose 2*n + 198 = 5*n. Suppose n = z + 2*z. Is z a composite number?
True
Let p = -309 - -614. Is p a prime number?
False
Let p(t) be the first derivative of 1/2*t**2 + t - 3 + 14/3*t**3. Is p(-2) a composite number?
True
Let k be 3/(-2) + (-7)/(-2). Suppose -5*j + 4*t + 165 = 0, -4*j + 4*t + 132 = k*t. Let f = 26 + j. Is f prime?
True
Suppo