pose -w*i - i = -y. Is i composite?
True
Suppose 6*t - 4*t = 8. Let u(q) = -6*q + 6. Let c be u(t). Is (-4)/c - (-1640)/72 a prime number?
True
Let l = -178 - -765. Is l prime?
True
Let r be ((-2)/6)/(1/(-159)). Suppose i - r = -0*i. Is i a composite number?
False
Let z = 0 - 6. Let h be -294*((-3)/z)/(-1). Suppose h = -l + 4*l. Is l a prime number?
False
Let v = -332 - -1221. Is v a prime number?
False
Let l(z) be the first derivative of -z**6/360 + z**5/12 - z**4/12 - 2*z**3/3 + 1. Let f(x) be the third derivative of l(x). Is f(4) prime?
False
Let o = 9 - 4. Suppose 217 = 3*p + 4*z, p + o*z = 2*p - 47. Is p composite?
False
Let w(o) = -o**2 + 12*o + 4. Let z be w(12). Is (16/(-20))/(z/(-50)) prime?
False
Let h = 21 - 19. Suppose 0 = b - 3*b + 24. Is b - 1*h/(-2) a prime number?
True
Let c = 1048 + -497. Is c a prime number?
False
Let d(q) = 288*q**2 + 19*q + 3. Is d(-4) a prime number?
False
Let u(t) = -18*t - 40. Is u(-7) composite?
True
Let s = 9 - 6. Suppose 0 = s*b + b - 8. Is 23/((2 - 3) + b) a composite number?
False
Suppose -2*p + 3*p - 5*x = 6, 3*p = -4*x - 20. Let z = 15 - p. Is z composite?
False
Let u be (-60)/18*12/(-10). Suppose 5*h - 203 = 4*m, 46 = h - u*m - 1. Is h a prime number?
False
Suppose 3*q = -q + 8. Suppose 0 = 2*i - 6*i + 2*x + 240, 5*i - 302 = q*x. Let u = i + -13. Is u a composite number?
True
Let a be (-838)/(-10) + (-2)/(-10). Suppose x - a = 7. Is x prime?
False
Let u(j) = -44*j**3 - 5*j**2 + 5*j - 5. Is u(-6) composite?
True
Let r(x) = 5*x - 1. Let w be r(1). Is 76 - w - (-4 + 2) prime?
False
Let f be 1 + (2/2)/(-1). Suppose f = -2*x + 63 + 5. Is x prime?
False
Let o = -11 - -35. Is ((-16)/o)/((-2)/9) composite?
False
Is (2 - 3) + -2 + 890 composite?
False
Suppose -26*u + 259 = -25*u. Is u a composite number?
True
Let r(p) = p**2 - 2*p - 6. Let u be r(-3). Is (-4)/(-18) + 2113/u composite?
True
Let n be 30/(-2)*2/(-3). Let o be n/2 + -2 - 3. Is (o - 1) + 38/1 a prime number?
True
Suppose 4*t = 24 - 4. Suppose 141 - 26 = t*m. Is m a composite number?
False
Suppose 3*x = 5*i + 276, -2*i - 2*i = 12. Is x a composite number?
True
Suppose 9*q - 3*q = 8466. Is q a prime number?
False
Suppose 616 = n - m - 175, 2*n - 4*m - 1574 = 0. Is n/10 - (-1)/(-2) a prime number?
True
Suppose 0 = s - 281 - 420. Is s prime?
True
Let h = 2281 + -1598. Is h a prime number?
True
Let p(t) = -28*t + 18. Is p(-7) prime?
False
Suppose 3*s + j - 2*j - 2229 = 0, 0 = 4*s + 5*j - 2972. Is s a composite number?
False
Let p = 563 - 312. Is p a composite number?
False
Suppose -5*x = -5*d - 25, x + 0 = -4*d - 5. Let u(v) = 2*v - 1. Let p be u(d). Let r = 18 - p. Is r a prime number?
True
Let a = 812 + -313. Is a composite?
False
Is -5 + -63*1*-44 composite?
False
Let h(o) = 2*o**2 - 8*o - 1. Let c be h(-7). Suppose -4*m + c + 99 = 4*g, 4*g = -m + 267. Let u = g - -27. Is u prime?
False
Suppose -a = -j - 3, 2*j = 5*a - 25 - 5. Let z(t) be the second derivative of t**4/6 - t**3/3 + 7*t**2/2 - 19*t. Is z(a) a prime number?
False
Let l = -4 - -8. Suppose 8 = s + l*x, 6*s + 52 = s + 3*x. Let z = s - -21. Is z composite?
False
Suppose -3*b - 3*v - 333 = 0, 3*b - 5*v + 344 = -13. Let i = -71 - b. Is i prime?
True
Let q = -3 + 5. Suppose p + 2*p = 2*a - 37, 5*p + 55 = 5*a. Is q*(-1)/2*p a composite number?
True
Let h = -114 + 351. Suppose -4*s = -s - h. Is s a prime number?
True
Let i be (-2)/(-2)*970/2. Suppose d - i = -4*d. Is d composite?
False
Let k be -1 + -2 + 2 + 4. Suppose 0 = k*n - 3. Let u = 5 + n. Is u composite?
True
Let x(i) = -68*i. Let k(t) = -69*t + 1. Let r(m) = -3*k(m) + 2*x(m). Is r(2) a composite number?
False
Suppose 4*x + 54 = f, 4*x - 94 = -3*f + 2*f. Is f composite?
True
Let y = 149 - 30. Suppose -5*p = 5*d - 255, 4*p + 2*d - 89 = y. Suppose 3*m - 5*j - 42 = 31, 3*m + 5*j = p. Is m a composite number?
True
Let i(g) = 22*g**2 + 86*g - 3. Is i(-10) a composite number?
True
Let v be 3/(-4) - (-3)/4. Suppose 3*x = 0, 3*r - 5*x = -v*x + 201. Is r a prime number?
True
Let w be 2 - 0 - 4/2. Let g = -10 + -124. Is (2 + (w - 3))*g composite?
True
Let a(f) = -4*f. Let z be a(1). Let c = 185 + z. Is c composite?
False
Is -586*1*-1 + 3/3 composite?
False
Let g(f) = 6*f + 43. Is g(19) composite?
False
Let b(u) = 106*u**2 + 3*u + 1. Is b(-2) a prime number?
True
Let q be 1*21 - (7 + -6). Is ((-218)/5)/((-8)/q) a prime number?
True
Suppose 2*p = 2, 0 = 3*b - 4*p - 663 - 392. Is b prime?
True
Suppose -2*c + 0*j + 297 = 3*j, 584 = 4*c + 4*j. Let m = c + 12. Suppose 2*t = m - 11. Is t prime?
True
Let q = 83 - 120. Let u = 90 + q. Is u composite?
False
Suppose q = 5*f - 3*q - 45, 3*f + q - 10 = 0. Suppose -s + 161 = -m + f*m, -3*m - 6 = 0. Is s prime?
False
Is (-26)/65 - (-1274)/10 prime?
True
Is (-38)/((-57)/(-59) + -1) prime?
False
Let c = -6 - -8. Let n be c*-3*(-6)/(-9). Let x(b) = 7*b**2 + 4*b - 2. Is x(n) prime?
False
Let x(w) = -6*w**3 + 2*w**2 + 5*w + 1. Let g be x(4). Let p = 500 + g. Let r = p - 114. Is r composite?
True
Suppose 3*v = -0*v. Let h(l) = l**3 + l**2 + l + 157. Is h(v) a composite number?
False
Suppose 2*j - 5*p = 5*j - 51, -57 = -4*j - 3*p. Is (-1 - j/(-8))*182 composite?
True
Let k(f) be the third derivative of f**6/40 - f**5/30 - f**4/12 - 2*f**3/3 + 2*f**2. Is k(3) prime?
True
Let i be 1*2*5/10. Let q be -4*(0 + i + -2). Suppose 46 = b + b - q*l, 3*b + l = 69. Is b composite?
False
Let a(g) = -g**2 - 7*g - 6. Let l be a(-5). Suppose 5*y + 51 = -l*t, 2*y + 30 = -6*t + 2*t. Let v = 0 - y. Is v composite?
False
Let a = 527 - -686. Is a a prime number?
True
Let s = -7 + 11. Suppose -9*o = -s*o + 105. Is (-1203)/o + (-2)/7 composite?
True
Suppose 2*a - 6*a - 5*t + 1800 = 0, 0 = 3*a + 4*t - 1351. Is a prime?
False
Suppose 3*g - 5*g = 526. Let o = -740 - g. Is (3/9)/((-3)/o) prime?
True
Let h(g) = g**3 + 4*g**2 + 2*g - 2. Let k be h(-3). Is ((-3)/12)/(k/(-188)) prime?
True
Suppose -1319 = 5*z - 7914. Is z composite?
False
Is -7 - -1100 - 12/2 a prime number?
True
Suppose -2*g - g - 6 = 0, p + 4*g - 251 = 0. Is p composite?
True
Let k = -1 + 1. Suppose 5*r - 4*h - 3 - 1 = k, -1 = -2*r + h. Suppose n + n - 154 = r. Is n a prime number?
False
Let q = -6 - -3. Is (q - -115) + (0 - -3) a prime number?
False
Suppose 4*k - 2*t = 56, -k - k + 8 = 4*t. Let f = 25 - k. Is f prime?
True
Suppose -892 - 328 = -4*m. Is m a composite number?
True
Suppose 0 = -c - 3*c - 4. Let k(r) = 3*r + 0*r + 31*r**2 - 3*r. Is k(c) a prime number?
True
Suppose -y - 13 = -90. Is y a composite number?
True
Suppose -3*m - 2*b - 15 = -5*b, -4*m - 4*b = 4. Is (-20 + (-3)/(-3))*m a composite number?
True
Suppose -u - 1 + 8 = 0. Let f = u - 4. Suppose -4*n - 4*q = -252, n - 2*n + 73 = f*q. Is n a composite number?
True
Suppose -s - 3*s = -600. Let b = -73 + s. Is b composite?
True
Suppose -3*l - 2 - 1 = 0. Let o be 12/10*(-5)/l. Suppose -o*s = -s - 335. Is s a composite number?
False
Let v be (-2*1)/((-6)/(-15)). Let f(g) = -2*g**3 - 5*g**2 - 2*g + 3. Let t be f(v). Suppose -t = 2*x - 4*x. Is x prime?
False
Let g = 1 + 3. Is g a composite number?
True
Is 173/((-1 + -1)/(-14)) a composite number?
True
Suppose -5*d - 5 = t, 0*d = 2*d + 2. Suppose 2*v - 5*g + 14 = t, v - 2*v = -5*g + 17. Suppose 0 = 4*x + v*b - 24, 5*x - 5*b - 14 = 16. Is x composite?
True
Let u be (-1 - 0 - -3)*6. Is (u/8)/(9/1542) composite?
False
Suppose p = -3 + 7. Let b be (-474)/(-8) - (-3)/(-12). Let o = b - p. Is o a prime number?
False
Let i(s) = 2*s**3 - 6*s**2 + 3*s. Is i(7) a composite number?
True
Let o(m) = -15*m**3 - 16*m**2 - 21*m + 2. Let d(i) = 7*i**3 + 8*i**2 + 10*i - 1. Let x(g) = -13*d(g) - 6*o(g). Is x(-8) a prime number?
False
Let n = 534 + -375. Suppose k + 2*k - n = 0. Is k a prime number?
True
Suppose 0*o + 6223 = 7*o. Is o prime?
False
Suppose -5*h + 9*g = 4*g - 50, 0 = -5*g - 15. Is 3 + 1 + 1519/h prime?
False
Suppose q - 1039 = -5*f, -4*f + 1305 + 785 = 2*q. Is q a composite number?
False
Let g(d) = 2*d**2 - 11*d + 5. Is g(10) a prime number?
False
Let w(d) be the third derivative of -d**6/24 - d**5/60 - d**4/24 - d**3/6 - 3*d**2. Let k be (-1*3)/(6/4). Is w(k) a prime number?
True
Suppose -5*b + 3*f + 998 = 0, -4*b + 800 = -0*f - 2*f. Is b prime?
False
Let q(f) = -3*f**2 - 2*f + 127. Is q(0) composite?
False
Let j(n) = n + 5. Let a be j(7). Suppose 2*u - 1025 = -3*u