6/10*(q + 16) composite?
True
Suppose s + 4625 = 4*s - 4*v, s = -4*v + 1547. Is s a prime number?
True
Let g = 6 + -5. Is (2 - g)*(-93)/(-3) a composite number?
False
Suppose -8*z = 271 - 4575. Is z a prime number?
False
Suppose 2*y + 9 = 3*q + 2*q, 4*q = -5*y + 27. Is y a composite number?
False
Is 1*110 - (-3 + -2) a prime number?
False
Is 2335 - (0 - -3 - 1) composite?
False
Suppose -p + 2*s + 145 = 0, 0 = -3*p + 2*s + s + 441. Is p prime?
True
Suppose -3*d = -y - 4, 3*y - d - d + 12 = 0. Let m be 7/4 + (-1)/y. Suppose -38 = -m*l - 0*l. Is l a composite number?
False
Suppose 5*o = -3*w - 3, -o + 10 = 3*w + 1. Let q = -2 - w. Let l = 13 + q. Is l a composite number?
False
Let f = 2 - -1. Suppose f*p - 615 = -0*p. Is p a composite number?
True
Let x be (-169)/(-9) + 16/72. Let f = 65 - x. Is f a composite number?
True
Let p(n) = -n**3 - 7*n**2 - 6*n - 4. Let a be p(-6). Let s = -1 - a. Is s a prime number?
True
Suppose -4*b + 2*u - 4*u = 8, 2*u = 4*b - 8. Suppose 3*h = 4*o - 37, b = -3*o + o + 5*h + 15. Suppose i - o = -0. Is i prime?
False
Suppose -44 = -b - f, 4*f + 228 = 5*b + 35. Suppose 0 = u + 2*g - 4, 4*g - 3*g - 7 = -3*u. Suppose o = -x - u*x + b, -x = -3*o - 7. Is x a prime number?
True
Let d be (-1)/3 - 4/6. Let f be (d + (-22)/(-6))*60. Suppose 22 - f = -3*y. Is y composite?
True
Let c(f) = f**3 + 3*f**2 + 7*f - 1. Let s be 3 - (-2 + (-3 - -2)). Is c(s) composite?
True
Let t(q) = -q + 25. Is t(15) a composite number?
True
Is 4/(-18) - 7842/(-54) composite?
True
Let o = 82 + -291. Suppose -2*a + 1192 = 2*v + 2*v, 5*a = 0. Let d = v + o. Is d composite?
False
Let o(f) = -2*f**2 - 3*f + 2. Let i be o(-5). Let p be 6/i - 128/22. Is ((-1)/(-2))/((-1)/p) a prime number?
True
Suppose -12 = -x + 3*v, 4*v + 9 = 5*x - 18. Let a(k) = 111*k - 2. Is a(x) a prime number?
True
Suppose 2*g - 425 = -3*g. Is g a composite number?
True
Let l(p) = -65*p - 4. Is l(-3) prime?
True
Let j = -21 + 40. Suppose 4*m - 15 - 3 = 2*l, -l = 5*m - j. Is 34 + (3 - 1) + l composite?
True
Let t(z) = z**2 - 3. Let h = -3 - -9. Is t(h) a composite number?
True
Let c = -3352 + 4989. Is c prime?
True
Suppose 11 + 9 = k. Suppose 3*h - h + 95 = 5*z, -4*h + k = 0. Is z a composite number?
True
Suppose 0*m + 3582 = 3*y + 3*m, -2*m + 6 = 0. Let h = y - 704. Is h prime?
True
Let y(i) = -6*i + 0 - 3*i**2 + 3 + 5*i**2. Suppose -o - 1 = -4, 4*o = 5*j + 37. Is y(j) a prime number?
True
Let b be 4/(-6) - 226/3. Let a be b/(-18) - 8/36. Suppose 2*l + 74 = a*l. Is l a prime number?
True
Let f(y) = -y**3 + 4*y**2 - 4*y - 2. Let s(q) = q**2 - q. Let t(w) = f(w) - 6*s(w). Let j be t(-3). Suppose -2*c - j = -21. Is c a composite number?
True
Let q(k) = k**3 - k**2 - 10*k + 7. Is q(6) prime?
True
Suppose 0*l = -2*l + 188. Suppose 0*z = -2*z + 5*t + 15, 0 = -z - t - 3. Suppose l = -z*r + 2*r. Is r a prime number?
True
Let j(a) = -a**2 + 15*a - 10. Is j(11) a composite number?
True
Suppose -5*v - 3*h = -3*v - 125, -3*h = -9. Is v composite?
True
Let t(r) = 3*r**2 + 4*r - 2. Suppose n - 3 = -0*n. Let s be 11/n - (-2)/(-3). Is t(s) a composite number?
False
Is 8*(0 + (15 - 4)) - -1 prime?
True
Let p = -52 - -4179. Is p prime?
True
Let d = -9 + 11. Suppose o = 2*t - 2*o - 122, -d*t - 3*o + 110 = 0. Is t prime?
False
Let a = 83 - 51. Suppose -a = -5*q - 12. Suppose 3*x = -q*d + 532, -266 = d - 3*d - 5*x. Is d prime?
False
Let v = 1660 + -830. Suppose 0 = 3*q - 7*q + 2484. Suppose -v = -4*d - 5*o, -d - 3*o + q = 2*d. Is d composite?
True
Is 1/(-8) + 1609/8 prime?
False
Let l(c) be the third derivative of c**7/840 + c**6/90 - c**5/120 + c**4/12 + c**3/6 - 3*c**2. Let o(y) be the first derivative of l(y). Is o(-4) composite?
True
Let i = -616 - -914. Suppose -i = -4*l + 2*l. Is l prime?
True
Let l = 44 + 559. Suppose -q = 2*k - k - 117, 5*k - 4*q - l = 0. Is k prime?
False
Let s(l) = l + 136. Let a be s(0). Suppose 3*g = 2*g + a. Is 2/(-2 - g/(-67)) a composite number?
False
Let m = 6610 + -2650. Is -1 - (-7)/(21/m) a composite number?
False
Let w(m) = m - 13. Let n be w(13). Suppose 8*p - 4*p - 1636 = n. Suppose 0 = 3*c - 20 - p. Is c a composite number?
True
Let k(a) = a**3 - a + 3. Let n(t) = -t**3 - t**2 + 2*t - 4. Let o(d) = 3*k(d) + 2*n(d). Let c be o(2). Suppose c*l = 10 + 20. Is l a prime number?
False
Suppose 0 = 2*j - 0*j + 2, 0 = 4*h + 5*j - 11. Suppose h = -0*l + l. Suppose -n + l = -18. Is n a composite number?
True
Let q(f) = -f**3 - 6*f**2 - 4*f + 1. Let z be q(-5). Let y be z/(-6) + 10/3. Suppose 4*l - 56 = -4*x, 4*l - y*x = -6 + 62. Is l prime?
False
Let q(p) = 0*p**2 + 2*p**3 + 1 + 8*p**2 - 14*p - 8 - p**3. Let c be q(-10). Let f = -41 - c. Is f a composite number?
True
Let w(n) = -n**3 + 6*n**2 - n + 1. Suppose -3*z + 17 = -1. Let m be w(z). Let c(j) = j**2 + 2*j. Is c(m) composite?
True
Suppose -1 + 2 = -s. Let v be s*4*3/6. Is 93*1/(-6)*v composite?
False
Let y = 3526 + -1501. Suppose 0 = 5*z - y - 70. Is z a composite number?
False
Suppose -w - 5*j + 1695 = 4*w, 1021 = 3*w + 4*j. Is w/3 + 52/39 prime?
True
Let k be 5/(-15) - (-32)/6. Suppose 4*f + k*c = 568, -f = -2*c - 2*c - 142. Is f a prime number?
False
Suppose -2*c + 0*c - f = 13, 0 = -5*c + 4*f - 52. Is (-2)/c - (-2295)/20 prime?
False
Suppose -j + 2*g + 421 = -0*j, -4*j = g - 1657. Suppose -3*c - 2*c = -j. Is c prime?
True
Suppose 0 = -3*t + 340 + 38. Suppose -4*k - 148 = -2*k - 2*j, -2 = 2*j. Let w = k + t. Is w composite?
True
Suppose 2*t - 963 = 283. Is t prime?
False
Let g(y) = y**3 - 2*y**2 + 3*y - 2. Suppose 3*x = -5*d + 31, -x + 17 = 2*d + d. Let r be g(x). Suppose -v + h = -h - 14, r*h = -20. Is v prime?
False
Suppose 2*h + m = 6*m + 814, 2*h + 3*m = 782. Is h prime?
True
Suppose 0*x + 15 = 3*x. Suppose -h - 4*l + 233 = 0, 0 = -h + x*h - l - 1017. Is h composite?
True
Suppose -5*b + 2 = -273. Is b prime?
False
Let u = -84 - -223. Let x = u - 210. Let j = x - -160. Is j a prime number?
True
Let u = -620 + 1282. Is u a prime number?
False
Let z be 3/(-18)*-14*-9. Is (21 + -4)*z/(-3) a prime number?
False
Suppose 4*l + 3*d = 6*l, 0 = -2*l - d + 16. Suppose 0 = -2*q - l, 4*m = -4*q + 73 + 71. Is m composite?
True
Let z(n) = 337*n**3 + 8*n**2 + 3*n - 3. Let c(w) = 112*w**3 + 3*w**2 + w - 1. Let t(d) = -8*c(d) + 3*z(d). Is t(1) a composite number?
True
Let s(n) = 12*n + 57. Let m(d) = 4*d + 19. Let b(t) = 17*m(t) - 6*s(t). Is b(-14) a composite number?
False
Suppose 0 = 5*z + 7 - 22. Suppose -v = 3*l - 111, z*l - 111 = -3*v + v. Is l a composite number?
False
Let i = -526 + 945. Is i prime?
True
Suppose -2 = -5*o + 2*o + 2*f, -o + 2*f = 6. Suppose -o*t + t - k + 58 = 0, -4*t + k = -82. Suppose -41 = -3*q + i, 3*i = -2*q - 0*i + t. Is q composite?
False
Suppose -21 = -g + 121. Suppose -j = -3*a - g, -j - 5*a + 182 = -0*j. Is j a prime number?
True
Let q be 20*1*2/(-4). Let m = 1 - 46. Let z = q - m. Is z a prime number?
False
Let p = -7 + 10. Let j = 4 + p. Is j a prime number?
True
Suppose 3*x - 176 - 247 = 0. Suppose m + 0*m = -2*s + 39, -4*m = 3*s - x. Is m a composite number?
True
Suppose 0 = -2*o + 2 + 4. Suppose -o*r - 69 = -4*r. Is r a prime number?
False
Suppose -4*g + 0*g = 5*q - 4657, -3*q - g + 2790 = 0. Is q prime?
True
Is 2 + 3828 - (-6)/2 composite?
False
Suppose -3*w = -2*y + 1496, w - 3*y = -5*y - 488. Let k be 12/4 + -346 - 4. Let z = k - w. Is z a prime number?
True
Suppose -16*y + 27*y = 66. Is y composite?
True
Let p = 38 - 2. Let y = 69 - p. Is y composite?
True
Let k = 173 + -287. Let r = -68 - k. Is r prime?
False
Let c = -633 - -1078. Is c composite?
True
Suppose 4*w - h = 2*h + 301, -3*w - 3*h = -252. Is w composite?
False
Suppose 0 = 4*a - 2423 - 1749. Is a prime?
False
Suppose 0 = -4*y + 688 + 628. Is y prime?
False
Suppose o = -5*y + 2*o + 20, -7 = -4*y - o. Suppose 130 = 5*i - y*a, -a + 58 = 2*i + 17. Is i composite?
False
Let a = 409 + 132. Is a a composite number?
False
Let w(m) = m - 11. Let k be w(9). Let c(q) = -q**3. Let r be c(k). Suppose -3*p + 26 = -4*b, 3*p - r*p - 4*b + 54 = 0. Is p a prime number?
False
Suppose -d + 3565 = 5*r + 436, -5*r + 4*d = -3134. Suppose -r = -5*y + 329. Is y a composite number?
False
Suppose y - 2*o = 465, -4*y - 2*o - 86 = -1966. Is y a prime number?
False
Suppose -5*j + 182 = -2*u - 93, 3*u = -5*j + 250. Is j prime?
True
Suppose 6*j - 10 = 4*j, i