*p - 9. Let w(f) = 6*l(f) - 5*z(f). Is w(-2) composite?
True
Let w = 6864 + -2385. Is w a prime number?
False
Let u be (-4 - -6) + (-224)/1. Let m = u + 311. Is m composite?
False
Let s = 2 + 0. Suppose 2*p = -5*o + 16, s*o = -5*p + 21 - 2. Suppose -2*x = 2*g - 6, -p*x - 1 = -4. Is g a composite number?
False
Let f = 21 + -10. Let m = f - 9. Let a = 35 + m. Is a a prime number?
True
Let z(y) = 4*y**2 - 9*y + 6. Let c be z(6). Suppose -3*a - 56 = -x, -4*x + 2*a = c - 330. Is x a composite number?
False
Is (-8)/36 + 12658/18 + 0 a composite number?
True
Suppose 4 = -2*z - 16. Let b(r) = -6*r - 5. Is b(z) a composite number?
True
Suppose -2*i + i = 4*b - 3601, -b + 907 = -2*i. Suppose 4*o - b - 843 = 0. Suppose -26 = 5*d - 5*u - 456, -3*u - o = -5*d. Is d a prime number?
True
Suppose -22 = -2*g + 28. Suppose -4*a - g = -3*s, -s - 2*a + 55 = 2*s. Suppose -4*v = c - 10, c - 2*v = -v + s. Is c prime?
False
Let j(z) = z**3 + z**2 + 6. Let y be j(9). Let d = y - 559. Is d prime?
True
Let o(w) = w**3 - 8*w**2 + 10*w + 9. Let l(j) = -j**2 - 1. Let t(p) = 3*l(p) + o(p). Let k be t(10). Suppose 0 = -k*a + a + 255. Is a a composite number?
True
Suppose -4*d - 246 = -1250. Is d a composite number?
False
Suppose -3*u - 9 = -a, 3*u + u = -a + 23. Suppose h - a = -0*h. Is h a composite number?
True
Is (-283)/(-3) - (-6)/9 a composite number?
True
Let c = -89 + 148. Is c composite?
False
Let m be (-8)/6*(-618)/4. Let l = m - 114. Suppose l = 4*y - 2*n, -5*n + 3*n - 17 = -y. Is y a prime number?
False
Let y be (12 - (-4)/(-2)) + -1. Let m(f) = -f**2 + 11*f - 7. Is m(y) composite?
False
Let s(b) = -b**3 - 2*b**2 + b + 9. Let y(u) = -u**3 - u**2 + u + 5. Let k(n) = 4*s(n) - 7*y(n). Is k(2) a prime number?
False
Suppose 3*t = 6*t - 2454. Is t composite?
True
Let i(r) be the first derivative of -11*r**4/4 + r**3/3 + r**2/2 + r + 2. Is i(-2) a composite number?
True
Suppose 3*y = 3*g - 138, 2*y = -4*g + 3*y + 190. Let w = g - -199. Is w a composite number?
True
Let p = 2570 + -417. Is p prime?
True
Suppose 26777 = 2*s + s + 4*b, 35690 = 4*s - b. Is s a composite number?
False
Suppose 0*t = -2*t + 8, -3*b - 29 = -5*t. Is (7/b)/((-2)/12) a composite number?
True
Let l = 10 + -6. Suppose 0 = l*m - 107 - 113. Is m prime?
False
Let o be (-217)/(-1 + 3/2). Let n = 778 + o. Suppose 259 = 3*a + t, 2*a - n = -2*a - t. Is a composite?
True
Suppose -3*y = -3*m + m - 398, 5*y + 20 = 0. Let r be 2/(-3) - m/15. Suppose -37 = -2*p + r. Is p prime?
False
Let p = 589 - 336. Is p a composite number?
True
Let h(o) = o**3 + 11*o**2 - 3*o - 15. Suppose 4*i + 44 = -2*l, 0 = -2*i + l + 4 - 22. Is h(i) a prime number?
False
Let f be (-8)/(-8) - (-3 - 1). Is (-2 - (-16)/f)*5 composite?
True
Suppose 5*i - 6 - 19 = 0. Suppose 0 = 4*y - 5*c - 171, 3*c + 231 - 14 = i*y. Let j = y + -25. Is j prime?
True
Let v = -6 + 7. Let a be (1*3)/(3/v). Is (0 - a) + 84/1 a prime number?
True
Is (-42)/315 - (-1)/(30/128224) a composite number?
True
Suppose -2*i + i - 11 = 0. Let p = 20 + i. Is p a composite number?
True
Let s(b) = -9*b**2 - 15*b - 10. Let p(q) = 5*q**2 + 7*q + 5. Let j(n) = -5*p(n) - 3*s(n). Is j(-7) prime?
False
Let a(d) = d**2 + 4*d + 8. Suppose z + 5 = 3*s, -z - 1 = 4*s - 9*s. Is a(z) composite?
True
Let b be ((-1)/1 - -2) + -7. Let p = -6 - b. Suppose 0 = 3*n - 6, p*t + 3*n = -5*t + 61. Is t a prime number?
True
Let a(o) = -30*o**3 + 3*o + 1. Is a(-2) a prime number?
False
Let l be ((-226)/4)/((-2)/(-8)). Is (-2)/(8/l)*2 a composite number?
False
Let h(f) = f**3 - 8*f**2 + 6*f - 9. Let q be h(7). Let m = 79 + q. Suppose -3*w - 4*j + 40 + m = 0, 0 = -w - 5*j + 27. Is w a prime number?
True
Let c(z) = z + 1. Let k be c(-7). Let j = k - -13. Is j a prime number?
True
Let z = -781 + 2342. Is z composite?
True
Let k = 378 - 217. Is k prime?
False
Is 4/18 + (-24335)/(-45) composite?
False
Is 3/(0 - (3 - 2)) - -1030 a composite number?
True
Suppose 0 = -5*l + 4*a + 6434, 3854 = -0*l + 3*l + 4*a. Let r = -911 + l. Suppose -743 = -4*j + 3*m, 5*m + 0*m = 2*j - r. Is j a prime number?
False
Suppose 0 = -n + 8 - 5. Suppose -3*k + 2*k = -4*h + 12, 2*k - 8 = 0. Suppose -m - h*m - 106 = -n*x, m + 36 = x. Is x prime?
True
Let a be 283/(-2)*(4 - 2). Let d = a + 468. Is d a prime number?
False
Let m be ((-3)/2)/((-6)/16). Is m/16*31*12 a composite number?
True
Let w = -16 - -93. Is w a prime number?
False
Suppose 3*o - 2 = 7. Is -1 + o + 469 + 2 a prime number?
False
Let c(x) = 311*x**3 - x. Let k be c(1). Suppose k = 5*r - 35. Is r a prime number?
False
Let m = 51 + -29. Is m prime?
False
Let a = 927 + -344. Is a a composite number?
True
Let i be 2 + 20 + -3 + 4. Is 2*(0 + 0 + i) prime?
False
Let q = 949 + -210. Is q prime?
True
Let v = 8 - 2. Suppose 0 = 5*n - v - 4. Is (-16 + n)*(3 + -4) composite?
True
Let a = 37 - -9. Is a prime?
False
Suppose 3*d = 3 - 0. Let y(i) = 184*i + 1. Is y(d) composite?
True
Suppose -5*d + 300 = 5*q - 0*d, 65 = q + 2*d. Suppose -2*m + 7 = -q. Is m composite?
False
Suppose 135 = 3*y + 2*y. Let r = y + 10. Is r prime?
True
Let q = -1 + 8. Suppose 0 = -3*o - 5*x + 508, -3*x + 302 = 2*o - q*x. Is o composite?
True
Suppose -5 = 4*o + 15. Let v = o - -5. Let u(n) = -n + 46. Is u(v) prime?
False
Is (0 - (2 - -1)) + 10*25 prime?
False
Suppose 0 = -4*h + 2*y + 16, -5*y - 6 - 6 = 4*h. Suppose -h*a + 465 = 95. Is a a composite number?
True
Suppose -3*h + 3 + 0 = 0. Suppose -2*r = -13 + h. Let b = r + 13. Is b prime?
True
Let h = 128 + -22. Is h a prime number?
False
Is ((-21)/(-9) + 0)*255/5 composite?
True
Suppose 4*y - 5829 + 1073 = 0. Is y a composite number?
True
Let s = 1611 - 860. Is s a prime number?
True
Let g = -768 - -1309. Is g a prime number?
True
Let s = 1125 + -1876. Let u = s - -1250. Is u composite?
False
Let t = 90 - 129. Let r = 16 - t. Is r a composite number?
True
Let u be 2/(((-6)/9)/2). Let j be 3/(u/16*-2). Suppose 0 = -d - 3, j*d = -7*s + 3*s + 344. Is s a prime number?
True
Is -3 + 46 + -4*1 composite?
True
Suppose -13 - 3 = -4*v. Suppose -1013 - 83 = -3*u - 5*c, 1471 = v*u - 3*c. Is u a prime number?
True
Suppose 192 = o - 3*i, -3*o + 455 = -i - 121. Let g = o - 81. Is g composite?
True
Let i = -10 - -13. Suppose 577 = 2*t - i*u, -3*t - 2*t + 2*u = -1459. Is t a composite number?
False
Let s be 1/((-4)/7)*-4. Suppose s*p = 4*p + 471. Is p a prime number?
True
Is (-3)/9 + (-4720)/(-12) a composite number?
True
Let z = -1 - -3. Suppose -3*s = -0*s - 6. Suppose -3*d - s*q = -55, -q + 6*q = z*d - 5. Is d a prime number?
False
Let o be 3*((-7)/3 + 1). Let z = 4 - o. Suppose 1 + z = 3*q. Is q a composite number?
False
Let i = 13 - 3. Is i a composite number?
True
Suppose -86 = -5*s + 109. Suppose 10 = d - s. Is d prime?
False
Suppose 2*s - 14 = 2. Let n = s + 5. Is n prime?
True
Suppose -2*k = -k + 4. Let l = -2 - k. Is 22 + 1 + 1 - l composite?
True
Let s(n) = 5*n**2 - 10*n - 13. Let d be s(11). Suppose 4*i + 3*c = d, -5*i = -4*c - c - 620. Suppose -3*y - 219 = -k - 2*k, -4*y = 2*k - i. Is k composite?
True
Suppose -l + 3*g + 73 = 4, 3*g = -4*l + 276. Is l a prime number?
False
Let r(u) be the first derivative of -25*u**2/2 + 2. Let f be (-2)/(-2) - (2 - 0). Is r(f) a prime number?
False
Suppose 0 = -7*k + 6*k + 1139. Is k a prime number?
False
Let f = 46 + -16. Suppose -2*b - f = -4*b. Is b a composite number?
True
Let t(f) = 26*f - 21. Is t(22) composite?
True
Let c(r) = -298*r**3 + 1. Let w be c(1). Let m = 474 + w. Is m a prime number?
False
Let l(w) = w**2 - 8*w - 6. Let v be l(9). Suppose -b + v*i + 111 = 28, 4*b + i = 358. Is b a prime number?
True
Suppose -3*l = 3*o, 0 = 2*o + o + 2*l - 4. Suppose -361 = 2*j - 3*j - 4*i, 4*i + 1344 = o*j. Is j prime?
False
Suppose -3272 = -13*t + 5*t. Is t a prime number?
True
Let h be (-45)/(-10) + 1/(-2). Let j be h/10 - (-552)/20. Suppose -t = -5*t + j. Is t a prime number?
True
Let k = 90 - 49. Let j(g) = g**2 + 5*g - 1. Let m be j(-6). Suppose -6 + k = m*d. Is d composite?
False
Let f = 239 + 482. Is f prime?
False
Let c(o) = 7*o**2 + 30*o + 19. Is c(-20) composite?
True
Suppose 0*v = -5*v + 5245. Suppose 328 = a - 5*y, v = 3*a - 0*y - 2*y. Is a a composite number?
False
Let w(p) = -25*p**3 - 2*p**2 - 3*p + 4 + 10*p + 24*p**3. Let f be w(-7). Suppose 0 = 3*c + 5*b - 3*b - 561, c - f = -5*b. Is c a prime number?
Fa