 = 54 + u. Is c a composite number?
False
Let n(m) = -19*m + 8. Let q be 1/(3/(-7))*3. Let b be n(q). Suppose -3*o + 6*o = b. Is o prime?
True
Let b = -126 + 221. Is b prime?
False
Let g be (-3 - -2)*2 - 0. Let x be g/4*(2 + 6). Is (-54)/x + 3/(-6) prime?
True
Let l = 71 - -270. Is l a prime number?
False
Let k(x) = -2*x**3 - 16*x**2 + x + 11. Is k(-12) composite?
False
Let r(g) = -8*g + 3. Let n be 1 - (-2 + 1 - -4). Let b be n/3 + (-32)/6. Is r(b) a prime number?
False
Suppose -a - 14 = -0*k - 2*k, k = 4*a + 28. Is 6*((-51)/a + -2) composite?
True
Let o(q) = -10*q - 9. Is o(-8) a composite number?
False
Let w(c) = c**3 - 7*c**2 - 2*c - 9. Suppose -6*g = -g - 40. Is w(g) prime?
False
Suppose -2*r = -3*g - 2 + 6, -10 = 4*g + 5*r. Suppose -5*t + 3*j + 908 = g, -j + 515 = 4*t - 225. Let f = t - 71. Is f prime?
True
Let o(b) = 219*b + 12. Is o(3) a prime number?
False
Let f = -428 - -759. Is f a composite number?
False
Let u(f) = -f**2 + 7*f + 1. Let v(m) = -m**2 + 8*m. Let t(d) = -5*u(d) + 6*v(d). Is t(8) a composite number?
True
Let f(i) = -i**2 - 7*i - 7. Let m be f(-5). Suppose -2*z + m*z = 5. Suppose 5*o - 320 = z*b, 3*o + 2*o + 3*b - 328 = 0. Is o prime?
False
Let m be (-3 + (-21)/(-6))*7032. Suppose s + m = 5*s. Suppose s = 2*r + r. Is r composite?
False
Let u = 429 - 246. Is u - (2 + 0)/(-1) prime?
False
Let t(z) = -z**2 + 2*z - 1. Let n be t(-9). Let g = 179 + n. Is g composite?
False
Suppose 4*w = -l + 18, 2*l + 5*w - 14 = 5*l. Suppose 2*t - t - 117 = -4*g, -156 = -5*g + l*t. Let s = 107 - g. Is s a composite number?
True
Suppose 0 = -3*v + 3*a - 1 - 5, 5*v + 4*a = 35. Suppose 4*g + 2*o - 4*o = 198, 5*g - 220 = -v*o. Is g composite?
False
Let j = 6 - 7. Let u be (0/1)/(1/j). Suppose -v + 2*v - 14 = u. Is v a composite number?
True
Let m(r) be the first derivative of -4*r + 1 + 5*r**2 + 1/3*r**3. Is m(-11) composite?
False
Suppose -4*p + 1149 = -3*m + 5536, 5*p = -m + 1456. Let i be 2/(-8) - m/12. Is (-2)/(-3) - i/6 prime?
False
Let r = -3 + 3. Let c = 6 - r. Suppose -161 = 2*u - c*u - 3*k, -3*u - 2*k = -120. Is u composite?
True
Suppose -2*a + 1418 = r, 2*r - 1428 = -2*a + 6*r. Suppose 4*d = -2*s + a + 186, 2*s = 4*d - 888. Is d a prime number?
True
Suppose -4*f - 24 = -f. Let p = -6 - f. Suppose -5*k + 180 = -5*y, -2*y - p*y + 189 = 5*k. Is k a composite number?
False
Let v(d) = -29*d**2 + 3*d - 1. Let j be v(-3). Let o = j + 404. Is o prime?
False
Let n = 412 - 179. Is n prime?
True
Suppose -10 + 30 = v. Suppose -v = -5*o + 5*h + 160, o - 5*h = 20. Let c = o - -87. Is c composite?
False
Let l be (-1 + 2)*(-2 + 7). Let s(c) = -l + 0*c**3 + 11 + c**2 + c**3 - 2*c**2. Is s(0) a composite number?
True
Let v(t) = -26*t + 2. Let b be v(4). Let z = b - -431. Is z prime?
False
Suppose -3*k - x - 3 = 1, 0 = 5*k - 2*x - 8. Suppose 5*z + 0*z - 175 = k. Is z a composite number?
True
Let m(a) = 3*a**2 + 3*a - 6. Let d be m(-7). Let t be ((-1)/(-2))/(2/d). Let f = -15 + t. Is f prime?
False
Suppose -12*w + 27463 - 5299 = 0. Is w prime?
True
Let g = 899 - 480. Is g a prime number?
True
Let j = -2 + 5. Suppose 301 - 1010 = -j*u - 2*g, -241 = -u + 4*g. Is u composite?
True
Let j be (4 - 3)*(2 + 3). Suppose -j*p - 2*o + 443 = 0, 2*p + 3*p - 451 = -4*o. Is p a composite number?
True
Let n(u) = 16*u**2. Let m be n(-1). Suppose -s + m = -5. Is s composite?
True
Let m(g) = 29*g + 7. Let s be m(7). Let q = -81 + s. Is q a prime number?
False
Let b = -7 + 9. Let c = 8 - b. Suppose c = -2*s + 56. Is s a prime number?
False
Let n(q) = 4*q**3 - 3*q**2 - q + 7. Is n(6) composite?
False
Is 2/(719/948 + 27/(-36)) a composite number?
True
Let p = 15 + -1. Suppose q + 4 + p = -5*w, q + 2*w + 6 = 0. Is 587/q + (-6)/12 a composite number?
False
Let y(k) = -k**2 - 5*k + 5. Let p be y(-6). Let h = p - -92. Is h prime?
False
Let f(r) = 646*r**2 + 1. Is f(-1) composite?
False
Suppose 0 = 2*d - 3*d. Suppose d*o = 4*o - 4696. Suppose 5*p = o - 119. Is p prime?
True
Suppose 1073 = 5*u - 1022. Is u composite?
False
Let r = 2 - 1. Let c = 8 - r. Is c a composite number?
False
Suppose 1978 + 1170 = 4*w. Is w a prime number?
True
Suppose -3*h = -7*h. Suppose h = 4*n + 32 - 120. Is n a composite number?
True
Let y(t) = -14*t - 1. Let r(z) = -z + 5. Let o be r(0). Suppose 2*x = o*l - 0*x + 3, 0 = -l + x. Is y(l) prime?
True
Suppose -4*d + 7898 = -3*w, 2*w + 2 = -2. Is d composite?
False
Let o(j) = -j**3 - 11*j**2 - 8*j - 17. Is o(-12) composite?
False
Let p = 14 - 12. Suppose -3*f + 193 = r, -4*f + 0*f - p*r = -256. Is f a composite number?
True
Let s = -6 - -9. Suppose s*h - 101 = 148. Is h composite?
False
Let b = -1 + 4. Suppose b*p = -19 + 61. Is p a composite number?
True
Let v(p) = -3*p**2 + p + 4. Suppose 0 = -3*j, 5 = -f + 2*j + 3*j. Let s be v(f). Is (-1 + -1)*s/8 a prime number?
True
Let r(m) = -m**3 - 3*m**2 - 5*m - 4. Let j = -18 + 12. Is r(j) a prime number?
False
Suppose 0 = -l + 5*b + 356, -1059 + 61 = -3*l + b. Is l a composite number?
False
Let y(p) be the second derivative of 6*p**3 + p**2/2 - 3*p. Is y(1) composite?
False
Suppose -1 = z - 0. Let y be 0 - (-34)/z*1. Let c = 69 + y. Is c a composite number?
True
Suppose -4*b + 5*y = 5, 10 = 3*y - 5. Let d(j) = -j**2 + 5*j + 4. Let u be d(b). Suppose -13 = -h + 4*r, -2*r = -u*r. Is h composite?
False
Let i(u) = u. Let h be i(6). Let m(v) = 3*v**2 - 3*v - 8. Is m(h) composite?
True
Let k = 1300 + -833. Suppose -k = -4*v + 849. Is v a composite number?
True
Suppose -3*n = 0, -3*r + 4*n - 48 - 12 = 0. Let y be (r/(-12))/(1/(-18)). Let t = y + 121. Is t prime?
False
Let o(u) = 64*u - 5. Is o(4) composite?
False
Is (-2)/4 - (-3 + (-4137)/14) a composite number?
True
Let t be ((-15)/2)/((-18)/(-24)). Is ((-566)/t - 4)*5 a prime number?
True
Let g(d) = -7*d + 1. Let u = -4 + 6. Let h be g(u). Let a = -4 - h. Is a a composite number?
True
Let z = 52 + -73. Let k = 32 + z. Is k a composite number?
False
Let r = 219 - 148. Suppose 3*z = 2*z + r. Is z composite?
False
Let h = 0 - 8. Let c = -5 - h. Is c prime?
True
Let q(b) = 4*b - 1. Let d be q(1). Let a be 91/28 - d/(-4). Suppose 8*x = a*x + 40. Is x prime?
False
Suppose 0 = 2*w - 20 - 174. Is w composite?
False
Let z be 10*2*(-20)/(-16). Let v = z + -14. Is v composite?
False
Let b(t) = t**3 + 6*t**2 + 3*t + 2. Let y be 18/8*24/(-9). Let v be b(y). Let l = 19 - v. Is l a composite number?
True
Let d(z) = -3*z**3 - 5*z**2 - 2*z + 7. Let n(r) = 4*r**3 + 4*r**2 + 2*r - 8. Let p(b) = -3*d(b) - 2*n(b). Is p(-5) a prime number?
False
Let h = -157 + 284. Is h a prime number?
True
Suppose 2*l = 3*l + 98. Let g = l + 167. Is g a composite number?
True
Suppose 4*k + 42 = 3*o, 2*k + 6 = 2*o - 16. Let m(l) = -30*l - 3. Let v be m(k). Suppose -2*y + v = y. Is y prime?
True
Let q(y) = -39*y + 6. Let m be q(-3). Suppose 2*a - a - m = 0. Is a composite?
True
Let p be (-12)/(-3) + (-526)/(-2). Let m(q) = 2*q - 6. Let r be m(5). Suppose a = r*c + c + 58, -2*c = -5*a + p. Is a composite?
False
Let b = -6 + 3. Is (-2)/b*1*6 prime?
False
Let g = 10 - 7. Is g + (-1 - -2) + 7 a prime number?
True
Suppose -b = -4*b + 2019. Let h = b - 452. Is h composite?
True
Let s(q) = -49*q + 9. Is s(-10) composite?
False
Let l = 63 + 82. Is l prime?
False
Let z be 38/8 + (-2)/(-8). Suppose z*k = 5*j + 3*k - 185, 0 = 3*j + 2*k - 95. Is j composite?
True
Let x(v) = -4*v - 6. Suppose -b = 4*f - 28, 11 = -2*f - 5*b + 43. Suppose -21 = 3*g - f. Is x(g) a composite number?
True
Let g(w) = 4*w**2 + 8*w + 5. Suppose 3*u = u - 5*z + 34, 0 = -5*u + 3*z + 23. Is g(u) composite?
False
Suppose 3*l = -2*v - 389 + 1984, -v = -3*l + 1601. Is l a prime number?
False
Suppose 0 = -7*x + 4*x. Suppose x = -w - 4*n + 39, 0 = -2*w + 5*w + 5*n - 117. Is w a prime number?
False
Suppose -85 = -u - 2*c, 3*c - 2*c = -2*u + 170. Is u prime?
False
Suppose a + 2*a = -36. Let p be 2*298/a*-3. Suppose -f + p = -0*f. Is f composite?
False
Suppose -5*j + 2*c = -135, 5*j = -2*c - 0*c + 115. Is j composite?
True
Let y(t) = 12*t**2 - 8*t + 7. Is y(5) a prime number?
False
Let u(t) = -t**3 - 4*t**2 + t + 4. Let c be (40/50)/((-2)/10). Let f be u(c). Suppose f = -2*n + 3*n - 19. Is n prime?
True
Let s(w) = -2*w - 3. Let g be s(-2). Let d(m) = -m**3 + m - 1. Let y(b) = -3*b**3 + 2*b**2 + 5*b - 2. Let k(h) = g*y(h) - 2*d(h). Is k(-2) prime?
Fals