1) + -20) composite?
False
Suppose 0 = 4*d - 9*d + 1535. Is d composite?
False
Suppose -a + 0*a = -2, 5*a = -2*l + 10. Is -44*(l + -3)/6 composite?
True
Let x = 0 + 2. Suppose y = -5*n + x*y + 14, 3*n + 3*y - 12 = 0. Is (-1)/((-339)/(-114) - n) a composite number?
True
Suppose 7011 = 4*o + 5*q, -3*o - q = -6*o + 5263. Is o composite?
True
Suppose 5*c = -4*c + 3411. Is c a composite number?
False
Suppose -o = -1097 - 1154. Is o prime?
True
Let m(k) = -22*k - 9. Let h be m(-10). Suppose -5*q = -354 - h. Is q a composite number?
False
Let w(i) = 13*i**3 + 2*i**2 + i - 1. Is w(3) a composite number?
True
Suppose 2*p - 2*s = -s - 5, 0 = p - 2*s - 2. Is -614*(-2)/p*-1 composite?
False
Suppose 3*u + 1940 = -4*l + 5*u, 0 = -2*l - 5*u - 982. Let c be l/(-2) - (1 - 3). Suppose -8*g = -3*g - c. Is g a composite number?
True
Let c(m) = 2*m**2 + m + 4. Let o be 12*((-33)/12 + 3). Suppose -o = -x - 6. Is c(x) composite?
False
Let p(w) = 5*w**3 + 2*w**2 - w. Let m be p(1). Is 531/m*2/3 composite?
False
Let p(f) = -17*f**2 - 4*f + 3. Let k be p(3). Let c = 137 - k. Suppose t + t = 5*z - 477, -3*z = 2*t - c. Is z prime?
True
Let n be (-16)/(-6) - (-4)/(-6). Let v(r) = 10*r + 2 - 2 - r**2 - n. Is v(7) prime?
True
Let i(x) be the third derivative of x**5/10 + 7*x**4/24 + x**3 - x**2. Is i(-5) a prime number?
False
Let h = -112 - -403. Suppose q = -2*t + 97, q + 2*q - h = -5*t. Is q composite?
False
Suppose -7*h = -2*h + 100. Let n = h - -33. Is n a composite number?
False
Let a = -15 - -70. Suppose 0 = 3*z - 2 - a. Is z composite?
False
Suppose 30 = 5*j - 4*c, 0*j + 5*c + 15 = -5*j. Suppose -j*l - 66 + 488 = 0. Is l prime?
True
Suppose 0 = -s + 3*s - 3*k - 9487, -s = -3*k - 4736. Is s a prime number?
True
Suppose 5604 + 9299 = 7*s. Is s composite?
False
Is (-5)/10*(-7521 + -1) a prime number?
True
Let k(c) = 123*c**2 - 5*c + 4. Let i be k(4). Suppose -7*s + 3*s + 4*f = -i, 0 = -5*f - 5. Is s composite?
False
Suppose -2*l + 165 = s, -2*l + 182 - 15 = -s. Let u = l + -58. Is u prime?
False
Let w = 10 + -7. Suppose -5*f + 547 = -2*l, w*f + 4*l - 341 = 2*l. Is f a prime number?
False
Let y = 9 - 4. Suppose 3 - 8 = 5*t, -118 = -y*q + 3*t. Is q a composite number?
False
Let h = 277 - 193. Suppose 844 = 4*v + h. Suppose -3*x + v = -x. Is x a composite number?
True
Is 89 - 1/(-4)*0 prime?
True
Let r(p) = p. Let h be r(-8). Let n = -5 - h. Suppose 0*l = l + n*c - 23, -5*l + 2*c = -183. Is l a prime number?
False
Suppose -2068 - 2223 = -t. Is t composite?
True
Let y(p) be the third derivative of -p**5/60 - 7*p**4/24 - p**3/2 - 4*p**2. Suppose -5*v + 3*v = 10. Is y(v) a composite number?
False
Let w(x) be the first derivative of -14*x**4 + x**2 + x - 1. Let z(o) = -o + 14. Let q be z(15). Is w(q) composite?
True
Let l be 1 + 0 - (-2 - -3). Suppose l = -o - o + 20. Is o a composite number?
True
Suppose 3 = v + 2*v. Let f be (0 - -1)/(v/5). Suppose -2*q + f*q = 339. Is q a composite number?
False
Suppose -2*m - 8 = 2*m - 4*a, 5*m = -5*a + 10. Suppose -4*y + 6 + 2 = m. Suppose -2*q - y*q = -228. Is q composite?
True
Suppose -25 = 2*p - 7*p. Suppose -p*c = -2*u - 56, 12 = u - 5*u. Is c composite?
True
Let z = 1029 + -443. Suppose -7*t + 9*t - z = 0. Is t prime?
True
Suppose -4*y - 1 = -13. Is y prime?
True
Suppose 5*h - 8 = 3*h. Suppose -2*x + h*d = -20, 5*x + 2 = -d - 3. Suppose 2*g - r - 113 = x, -125 = -2*g + 6*r - r. Is g a composite number?
True
Suppose 0 = -3*x - 0*w - w + 10, 5*w - 10 = 5*x. Let p be -1*(-3 + 2 + x). Is (-512)/(-24) + p/3 composite?
True
Suppose 0 = -3*y + 557 + 484. Is y a composite number?
False
Let w = -26 - 45. Suppose i + d - 37 = 2*i, -2*i - 5*d = 95. Let g = i - w. Is g a composite number?
False
Suppose j = 3*j - 142. Suppose -26 = 3*z - j. Is z composite?
True
Is 1370/((9 - -1)/5) composite?
True
Let j = -164 - -453. Is j composite?
True
Suppose 0 = 2*z - t + 4, 3 - 7 = 2*z - 5*t. Let o be 1/2 - 1/z. Is (994/6)/(o/3) a prime number?
False
Let g be -3*(-1)/3*5. Let a(t) = -t**3 + 6*t**2 - t + 4. Let m be a(g). Let h = 55 - m. Is h a composite number?
False
Suppose -2*p = -2*x - 0*p + 1874, x + 2*p - 949 = 0. Is x prime?
True
Suppose -y - 2 = 2*b, -b - 8 = -3*y - 0*b. Suppose -1505 = -5*i + y*l, -5*i + 0*i = -l - 1505. Is i a prime number?
False
Suppose -13 = -2*t - 3. Let h(q) = -53*q - 11. Let m(f) = 35*f + 7. Let w(i) = t*h(i) + 8*m(i). Is w(2) composite?
False
Let x(a) = -a**3 - a**2 + a + 4341. Is x(0) prime?
False
Let q be ((-3)/6)/((-3)/12). Suppose 10 = -j + q*j. Is j a prime number?
False
Let r(b) = b**3 + 9*b**2 + 8*b + 9. Let w be r(-8). Let n = 12 - w. Suppose 0 = -2*g + 3*a + 674, -n*g - 3*a = a - 1011. Is g a prime number?
True
Let b = -696 + 2389. Is b prime?
True
Suppose -5*h + 0*b + 1114 = -b, 0 = 4*b - 4. Is h a prime number?
True
Suppose 2*j = -5*x + 432, -x + 213 = -3*j + 4*j. Is j composite?
False
Let m = 13 + 14. Let b = m + -12. Is b a prime number?
False
Suppose -4*u - 3*m + 609 = 0, 0*u + 302 = 2*u + 4*m. Suppose 5*t = u + 577. Is t a prime number?
False
Let z be -2 - -5 - (3 + -3). Let i = z - -34. Is i a composite number?
False
Let g be -194*2*1/(-4). Suppose -2*v + g = -225. Is v a prime number?
False
Let d = -1 - -5. Let l = d + -2. Suppose l*i - 25 = 3. Is i a composite number?
True
Suppose -5*s + 3 + 3 = 3*x, 4*x = s + 8. Suppose 4*p + 8 = -2*n, s = -3*n - 2*n - 4*p - 8. Suppose 5*y - 65 = -n*y. Is y prime?
True
Suppose -f + 1533 - 52 = 0. Is f a prime number?
True
Suppose 0 = -5*b - o + 4*o + 25, o = 2*b - 10. Let q(u) = -17*u - 18. Let y(k) = 6*k + 6. Let c(w) = -3*q(w) - 8*y(w). Is c(b) composite?
True
Suppose -4*g + 5*g - 709 = 0. Is g a prime number?
True
Is (-7454)/(-10) - (-12)/(-30) prime?
False
Let j(n) be the second derivative of -n**6/80 + n**5/15 + n**4/4 - 3*n. Let a(i) be the third derivative of j(i). Is a(-7) a composite number?
False
Let r(l) = 3*l**3 + l**3 - 6*l + 6 - 5. Is r(4) a prime number?
True
Suppose -5*q = 20, z - 1919 = -0*z + 4*q. Is z a prime number?
False
Let x(a) = 166*a - 1. Let q be x(1). Suppose 4*r - r = q. Is r composite?
True
Let i(f) be the third derivative of -11*f**6/120 - f**5/20 + f**4/8 - f**3/3 - f**2. Is i(-3) a composite number?
True
Let l(v) be the first derivative of -v**4/2 - 2*v**3/3 + 2*v**2 - v - 1. Let h(d) = -d + 1. Let j be h(4). Is l(j) prime?
True
Suppose 4*c + 197 = 4*l - 115, 0 = 2*c - 2. Is l composite?
False
Is (18/6 + -2)*(-1751)/(-1) a prime number?
False
Is 113*13 + 1/((-2)/(-4)) composite?
False
Let n(c) = 35*c + 8. Let q be n(7). Suppose 0 = -2*k - 75 + q. Is k a prime number?
True
Suppose -3*w + 228 = -w. Suppose w = 2*g - 0*g. Is g composite?
True
Let o(v) = 2*v - 6. Let m be o(5). Let i = m - 0. Suppose -i*b = -b - 45. Is b a prime number?
False
Let k(d) = 2*d**2 + 11. Is k(-10) prime?
True
Let y(t) = -2*t**3 - 6*t**2 + t**3 - t - t + 7. Is y(-6) prime?
True
Suppose 0 = -4*l + 211 + 117. Is l a prime number?
False
Let o be (1 + -13)*(-1 - -2). Let y be (-681)/(-12) - (-9)/o. Let n = y - 33. Is n a composite number?
False
Let o be ((-6)/4)/((-3)/2524). Let z = 2047 - o. Is z a prime number?
False
Suppose 224 = 2*v + 2*y, -y + 4*y = -3. Let a = v + 32. Is a prime?
False
Suppose 0 = 3*l + 3. Let f be (4/(-8))/(l/6). Is 22 - (f + -3 - 1) a prime number?
True
Let c = -29 + 148. Is c a composite number?
True
Let f be ((-6)/(-4))/((-2)/(-4)). Suppose -f*a = -8*a + 35. Is a composite?
False
Let v = -3 + 7. Let k(g) = 1 - 4*g**2 + g**3 + 0*g**3 + 3*g + 1. Is k(v) a composite number?
True
Suppose 4*y - 155 = -y. Let j = 100 - y. Is j composite?
True
Let o = -43 + 248. Is o prime?
False
Suppose -d + 2*d = 18. Suppose -u + 10 = 2*n, 2*n = -2*n - 3*u + d. Is n a composite number?
True
Let t = 61 - 148. Is t/(-6) - (-1)/(-2) a prime number?
False
Let u be (0/((-4)/(-2)))/(-1). Suppose -t + 0*t + 269 = u. Suppose -2*l - 4*w = -102, -2*l - 3*w = 3*l - t. Is l composite?
True
Let v(u) = -u**3 + 9*u**2 - u + 9. Let p be v(9). Suppose -j - j + 12 = -3*s, -4*j - s + 24 = p. Suppose 4*t = j*t - 286. Is t prime?
False
Suppose i = -181 - 12. Let s = -119 - i. Is s a prime number?
False
Suppose 2212 = 2*v + 2*v. Is v prime?
False
Suppose -4*f + 173 = -51. Suppose 0 = 3*g - u - 47, g - 5*g - 2*u = -f. Suppose -3*z = g, 0*o = 2*o + z - 173. Is o a prime number?
True
Let