= -0*c, -4*w - q = -3*c. Is c composite?
False
Suppose 0 = -3*j - 95 - 7. Is (-67439)/j + 2/(-4) a prime number?
False
Let w be ((-2)/(-4))/(2/24). Suppose -223 = w*h + 17. Let n = 93 - h. Is n a composite number?
True
Let m = -56 + 321. Suppose 2*x + 5*q = m, 0*q = -4*x - q + 521. Let z = 315 - x. Is z a composite number?
True
Let h = 20145 - -16. Is h a prime number?
True
Let r be (1/2*-83)/(4/(-32)). Suppose -r = -7*f + 15635. Is f prime?
True
Is ((-1163)/(-7))/((-23)/(-161)) composite?
False
Let r = 59 + -57. Suppose 8*s - 474 = r*s. Is s a prime number?
True
Let z(r) be the second derivative of 37*r**3/3 + r**2/2 - 3*r. Is z(2) a composite number?
False
Is 108/(-702) + (-144018)/(-26) a composite number?
True
Let x(f) = 1960*f - 43. Is x(5) composite?
True
Let a(y) = -43*y - 24. Let q be a(-6). Suppose -m - q = -2*m + 3*b, 3*m - 708 = 3*b. Is m composite?
True
Let v = -19 - -23. Let o be (3 - 27)/(v/14). Let d = o - -118. Is d composite?
True
Is 0 - (-3137 - 0/(-1)) a prime number?
True
Let q be (2/2)/(6/12). Suppose -6*h = -q*h + 12, -3*d + h + 15 = 0. Suppose 14 - 38 = -d*b. Is b a composite number?
True
Suppose 0 = -0*u + 20*u - 20. Let m be 4/(-10) - (-13)/(-5). Is (-315)/5*u/m a composite number?
True
Let s = -1870 - -4809. Is s composite?
False
Let x = 107 + -103. Suppose 5*f - 8469 = -x*f. Is f composite?
False
Suppose 5*f - 6*f + 3*j = 0, -4*f = -3*j + 9. Is 139/(-2)*(2 - (7 + f)) a composite number?
False
Let z(f) = 5*f**2 + 3*f - 217. Is z(-25) composite?
False
Suppose c - 4*f - 390 = 63, -2 = f. Suppose -2*r + c = 3. Is r a prime number?
False
Suppose 3*p - 596 + 161 = 0. Suppose p = 2*r - 67. Is r a prime number?
False
Let a = 23 + -35. Let d be 3/a + 34/8. Is -236*(-2 - (-5)/d) prime?
False
Suppose 2*z = -0 - 32. Suppose 1788 = 5*t - 2*t. Is t*(0 - 12/z) a composite number?
True
Let q = -2550 - -3307. Is q a composite number?
False
Let s(z) be the third derivative of z**6/9 + z**5/8 - z**4/12 - 14*z**2. Let k(u) be the second derivative of s(u). Is k(8) a composite number?
True
Is 8038 + 5 + -8 + 7 a prime number?
False
Is 4*(2869585/420 - 2/21) a prime number?
True
Suppose 2*x - 376 = 514. Suppose 2*s = 5*z - 644, -4*s - 75 - x = -4*z. Is z + 2/(-1 + -1) prime?
True
Suppose 102 = -2*l - 4*l. Let t = l + 26. Suppose -2770 = -t*y + 4*y. Is y prime?
False
Suppose r + 2*p = -0*p - 5, -2*r + 4*p + 22 = 0. Suppose -y = 5*o - 24, 0 = -0*o - 2*o + r*y - 4. Suppose 2*q + 0*q = o. Is q a composite number?
False
Let v = -1200 - -3377. Is v prime?
False
Let g = -35 - -545. Suppose -y + 5*m + 129 = 4*m, 0 = -4*y + m + g. Is y a prime number?
True
Let r(o) = o**2 + 19*o + 239. Is r(55) composite?
True
Suppose 0 = -3*p - 3*x + 6153, -2*p + x = 4*x - 4100. Is p prime?
True
Let s = -39 - -27. Is ((-234)/8)/9*s a prime number?
False
Let b be (-8)/(-3)*(-18)/(-12). Is ((-174)/b)/(0 - 4/8) prime?
False
Let k(r) = 2*r**2 + r + 16 - 2*r - 17. Let w be k(-2). Let p(v) = 2*v**2 - 13*v + 4. Is p(w) a prime number?
False
Suppose -22477 = -10*c + 5673. Is c prime?
False
Let k = 653 - 1443. Let w = k - -1887. Is w a composite number?
False
Suppose h + 2*q = 2, -3*h + 5*q = -22 - 6. Let t be 5/((-4)/h + 1). Suppose -5*s = t, 2*k - s - s = 508. Is k a composite number?
False
Suppose -3*g + 189532 = 4*g. Suppose 4602 = 3*y - 5*n - 15705, 4*y + n = g. Is y a prime number?
False
Suppose 7*h + h = 7064. Is h a composite number?
False
Let x(q) be the third derivative of q**8/6720 + q**7/1260 + q**5/60 - q**4/4 - 2*q**2. Let u(i) be the second derivative of x(i). Is u(7) composite?
False
Suppose -q + 4798 + 2878 = 0. Suppose 0 = 3*h - q - 547. Is h prime?
True
Let u be 3/1*560/15. Let v = 34 - u. Let w = 113 + v. Is w a prime number?
False
Suppose 5311 = 2*k - 3*v, -3*k + v + 7972 = 2*v. Is k a prime number?
True
Suppose 4*j + 4 - 12 = w, 6 = 3*j - 5*w. Let v be (-2 + j)*(1 + -2). Suppose -5*o = -4*y - 2905, 3*o = -v*y + 3*y + 1743. Is o a composite number?
True
Let l = 198 + -34. Suppose 3504 + l = 4*b. Is b a composite number?
True
Let j(z) = -6*z + 9. Let x be j(3). Is 6/x*1515/(-2) composite?
True
Is 1184 + 2*5/2 a composite number?
True
Let d(o) be the second derivative of -o**7/280 - o**6/120 + o**5/60 + o**4/24 - 2*o**3/3 + 12*o. Let f(p) be the second derivative of d(p). Is f(-7) prime?
False
Let g = 729 + -197. Let a = g - -255. Is a a composite number?
False
Let x(d) = -13*d - 23. Let q be ((-10)/(-15))/(2/(-27)). Is x(q) a composite number?
True
Let k(j) = 257*j + 4. Is k(11) composite?
True
Suppose 89410 + 26055 = 35*z. Is z composite?
False
Suppose 5*k + 76814 = c, -53*k + 55*k + 76805 = c. Is c a composite number?
True
Suppose -52 - 538 = -w + j, -3*w + 5*j = -1762. Suppose 2*f - 1708 = w. Is f prime?
True
Let k(a) = -98*a - 5. Let x = -3 + 7. Suppose -4*y = -4*l - 12, -2*l - x*y + 3*y - 3 = 0. Is k(l) a prime number?
True
Suppose -101*o + 3373374 = 13*o. Is o composite?
True
Is 1/((-4)/3) + 307076/112 composite?
False
Let s = -33180 - -59957. Is s prime?
True
Let y(p) = p**3 - 35*p**2 - 14*p - 5. Is y(36) a composite number?
False
Suppose 0*a = -2*c - 3*a + 2803, 2*a + 6979 = 5*c. Is c composite?
True
Suppose 4*i - 6 = 2*i, 21 = 3*f + 4*i. Suppose -249 = -f*b + 630. Is b a prime number?
True
Suppose -x = -4*g - 1137, 2*g + 674 = 3*x - 2767. Is x composite?
True
Let u(g) = -2*g - 277. Let t be u(0). Let p = 531 + t. Is p a prime number?
False
Suppose -o - 984 = -4*o. Let d = o - -7. Is d prime?
False
Let t = 129333 - 85160. Is t composite?
True
Let r(x) = 7*x**3 + 4*x**2 - 6*x + 4. Let l(v) = v**2 + 12*v + 23. Let u be l(-10). Is r(u) a composite number?
False
Let q(n) = 41*n**2 - 55*n - 421. Is q(-7) a composite number?
False
Let q be ((-43)/4)/(2/8). Suppose -5*r - 216 = 309. Let v = q - r. Is v composite?
True
Suppose -4*d - 4*j + 216 + 8596 = 0, 5*d = -3*j + 11015. Is d prime?
True
Let d be 1*-2*(-5 + -2). Let v = d + -11. Suppose 2 - 356 = -v*i. Is i a prime number?
False
Let a(d) = -7*d**3 - d**2 + 5*d - 7. Let f be a(-5). Let i = f - 474. Is (56/(-32))/((-2)/i) composite?
True
Let p(i) = 5*i**3 - 10*i**2 - i - 5. Is p(7) a composite number?
False
Suppose 10936*z = 10927*z + 11853. Is z a composite number?
True
Suppose 9*v - 14*v = -1965. Suppose -5*c - v + 1418 = 0. Is c a composite number?
True
Suppose -15 = -2*h + 17. Suppose h - 18 = -j. Suppose 0 = 2*q + j*q - 2068. Is q a prime number?
False
Let p(a) = 38*a + 613. Is p(-13) a composite number?
True
Let p(k) = -111*k + 3. Let j = 38 + -44. Is p(j) composite?
True
Suppose -4*l + 6*l = 2540. Suppose 0 = -6*p + p + l. Suppose 2*a - 4*a = -p. Is a a composite number?
False
Let o(v) = v**2 - 10*v - 13. Let q be o(11). Let m = q + 4. Is 367/(m/(3 + -1)) prime?
True
Let g = -13 - -11. Is (-37)/(g/(130/5)) a prime number?
False
Suppose 10757 = 3*f + c, 2*c + 5277 = -3*f + 16030. Is f composite?
True
Suppose -f - f = -2. Suppose 2*k = -f - 3. Is (-1)/k + 204/8 composite?
True
Suppose -2*o = -u + 27, 2*o + 5*u = -3*o - 105. Let r(c) = 8*c - 9. Let w be r(o). Let m = 89 - w. Is m composite?
True
Let h = 2500 - 2478. Let q = 2 - 4. Is -1*7*h/q a composite number?
True
Is 0 - (-425185)/20 - 1/4 composite?
True
Let o = -46 - -59. Suppose 15*b = o*b + 374. Is b prime?
False
Let d(g) be the third derivative of g**6/180 - g**5/20 - g**4/8 + g**3/3 - 6*g**2. Let h(c) be the first derivative of d(c). Is h(-4) composite?
False
Is 2*8813 - -12*10/(-40) a composite number?
False
Suppose -2*k + 14126 = -4*h, h + 2*h = -4*k + 28252. Is k composite?
True
Suppose 5*c - 20 = c. Let d = 38 + 4. Let g = d - c. Is g a prime number?
True
Is (-11 - -9)/((-8)/3884) a prime number?
True
Suppose -4*n + 9*n = -3*s + 3522, 3*s + 1413 = 2*n. Let v = 1042 - n. Is v a prime number?
True
Suppose 6*n = 8*n - 50. Suppose 3*f + 24 - 4 = -4*z, -3*f + n = -5*z. Is f + -1354*1/(-2) a composite number?
False
Suppose -y = -2*r - 12, -y - 3 = 3*r + 10. Suppose g = -0*t - 3*t - 10, 0 = 5*g + 2*t - y. Suppose -g*h - 455 = -3*k - 4*h, 5*k - 2*h = 737. Is k prime?
True
Suppose 4 = l, -3*j + 0*l = 2*l - 1679. Is j a prime number?
True
Let b = -43 - -81. Let y = b - 24. Is 4/y - (-2427)/7 a composite number?
False
Suppose -3*x - 2821 = -0*x - 2*h, 2*x + 3*h = -1872. Let c = x + 1562. Is c composite?
True
Suppose 6*h - 28 = -h. Suppose 