 -3*y - 3562 = -3*v + 2*y, 0 = -5*v - 3*y + 5948. Is v a composite number?
True
Let t = 4364 - -301. Let f = -3264 + t. Is (-5)/((-15)/f) + 0 a composite number?
False
Suppose 135*w = 130*w + 57790. Is w composite?
True
Suppose s = -2*z - 384, 2*z = 3*s + 3*z + 1127. Let q = s + 1909. Is q a prime number?
False
Suppose m - 962 = 21. Let u be 2 - (-3)/((-9)/(-5574)). Let s = u - m. Is s a prime number?
True
Let m be (0 - -664)/((-6)/(-39)). Let u = m - 2714. Suppose 259 = 3*j - 5*k - 2142, 2*j = 4*k + u. Is j composite?
False
Let m be ((-90)/(-4))/(-9)*(-16)/10. Suppose -2*t - 3*y = -3134, -m*t = -2*y - 3*y - 6224. Is t prime?
False
Suppose -d + 5*u = -9, 3*u + 17 = 3*d - 2*u. Suppose 0*t + 15 = 3*t, -d*t = 2*g - 2746. Is g composite?
True
Suppose -426 = -o + 377. Suppose -5*z = 5*j - 985 - 1035, o = 2*z + 3*j. Is z a prime number?
True
Suppose 720 = 2*j + 7*t - 2*t, 5*t = 0. Let o = -253 + j. Suppose -2*l = -41 - o. Is l a prime number?
False
Suppose 717 + 2688 = 5*f. Let n = f + -476. Let m = -134 + n. Is m a composite number?
False
Suppose -7877 = 10*q - 12*q - o, 3*q + 4*o - 11823 = 0. Is q a composite number?
True
Let p(r) = 126*r - 3. Let u be p(1). Is u/9*3 + -2 a prime number?
False
Let t(d) = -d**3 - 8*d**2 + 15*d - 6. Let m be t(-14). Suppose -5*v = -95 - m. Is v prime?
True
Suppose 4*k = k - 2*h + 8949, 3*k - 3*h - 8949 = 0. Is k composite?
True
Suppose -3*c - 2*a - 2*a = 2, c + 5*a + 8 = 0. Suppose 5*l + 12 = c*l, 2*l + 44 = 3*i. Is (-4)/i + (-5936)/(-6) prime?
False
Let o be 1*2/(-2) - 103. Let c be (-2690)/(-14) + (-432)/(-504). Let x = o + c. Is x prime?
True
Suppose -5*z + 11*p = 10*p - 6061, 3*p = 12. Is z prime?
True
Let a = -12 + 8. Let y be 8/(-10)*(-9 - a). Suppose 0 = -y*f + 681 + 155. Is f composite?
True
Let h be 1/(9/2343) - (-4)/(-12). Suppose 0 = -3*p + 349 + h. Is p a prime number?
False
Let h = -106039 + 148680. Is h composite?
False
Let t(i) = -i**3 - 8*i**2 - 6*i + 7. Let u be t(-7). Suppose u = o - b - 0*b - 3, b = 5*o - 23. Suppose 4*h - 1177 = -o*k, h = -4*k + 354 - 57. Is h composite?
False
Let v = 6151 - 3780. Is v a prime number?
True
Suppose -3*t - 45 = -4*p - 8*t, 0 = -4*p + 4*t. Suppose p*z = 8*z + 45. Is (-1109)/(-2) + z/10 prime?
False
Let w(a) = -a**2 - 19*a - 39. Let g be w(-17). Let x = g - -36. Is x a composite number?
False
Suppose 6*q + 60 = 10*q. Suppose 3*u - 5*k - 519 = 0, 5*u - 890 - q = -5*k. Is u composite?
True
Let m be (-3)/(-6) - 12/(-8). Let f(r) = -6*r + r**m + 4*r**2 + 1 - r. Is f(-5) a prime number?
False
Suppose -2*m + 6 = m. Suppose -m*l = -2*c + 2*l - 6, -3*l = 3*c - 18. Suppose -c*q + 1158 = 93. Is q prime?
False
Let o(i) = i + 1. Let b(m) = -5*m - 4. Let q(z) = -b(z) - 4*o(z). Let u be q(-4). Is 10*(342/u)/(-9) a prime number?
False
Let r(t) = -56*t**3 - 4*t**2 - 8*t - 4. Let g be r(-4). Suppose v - g = -v. Is v a composite number?
True
Suppose -2*i + 7*i - 30 = 0. Let w be 20/i*72/30. Suppose w*x = 9*x - 211. Is x prime?
True
Let i(o) = 245*o - 149. Is i(4) a prime number?
False
Let n = -345 - -602. Suppose -n = -h - y, -3*y = -y. Is h a prime number?
True
Let w(l) be the third derivative of 2*l**5/15 - l**4/12 + 25*l**3/6 + 6*l**2. Is w(-8) a composite number?
True
Let u(o) = o**3 - 5*o**2 - 9*o + 2. Let f(p) = -p + 4. Let l(r) = 2*r - 7. Let y(k) = -5*f(k) - 2*l(k). Let s be y(13). Is u(s) composite?
False
Let c(b) = -208*b + 509. Is c(-8) a composite number?
True
Let h be 3*((-6 - -13) + -6). Let n = -3 + 3. Suppose n = 2*r + h*r - 1045. Is r a composite number?
True
Suppose -3*f - 5*x + 3 = 0, 5*f - 5*x + 2 = 7. Is f*(-4 - (-304 - 1)) a prime number?
False
Suppose 2*a - 12813 = u, 4*a - 5*u = -10*u + 25661. Suppose 5*d = 2*k + 13160, 3*k + 13281 = -5*d - a. Is (-34)/119 - k/14 a composite number?
True
Let d = 1449 + -2486. Let f = 1534 + d. Is f prime?
False
Let o(w) = -w + 3. Let c(s) = s - 1. Let b be c(6). Let g be o(b). Is (g - -91) + -1 + 1 composite?
False
Suppose -36*s = 23434 - 470590. Is s a prime number?
True
Suppose 8 = 5*m - 2*o, m + 0*o = -5*o + 7. Suppose 3*l + 3*b - 3360 = -m*l, 0 = 5*l - 3*b - 3330. Is l a prime number?
False
Let k(a) be the first derivative of 2*a**3/3 - 4*a**2 + 5*a + 6. Is k(-7) a composite number?
True
Let i = -37 + 63. Suppose 0 = -w - 4, 3*q - w + i = -0*w. Is (-417)/(-5) + 4/q a composite number?
False
Suppose -4*c = -2*c. Suppose -227 + 1 = 5*h + 4*v, c = v + 4. Is (-15652)/h + (-2)/(-6) prime?
True
Let u = 5545 + 14704. Is u prime?
True
Let n = 34189 + -24381. Let z = n - 6399. Is z a composite number?
True
Suppose -5*o + 48355 = -5*y, 5*o - 4*y - 9396 = 38959. Is o prime?
False
Suppose 5*u = o - 7540, 54*o - 53*o - 7561 = -2*u. Is o prime?
False
Is (2514/(-9))/(5/(660/(-8))) composite?
True
Suppose -14 = -2*s + 3*b + 1, -5*s = 5*b + 25. Suppose 7*p - 10*p - 48 = s. Is 74*4/p*-10 composite?
True
Let y(k) = k + 1. Let q be y(-4). Let n be ((-6)/(-15))/((-2)/10). Is -158*(q/n)/(-1) a composite number?
True
Suppose -6*p = -7*p + 367. Suppose p = 4*a - 277. Is a prime?
False
Suppose 4*b = 2*r - 40, -2*b + b = -r + 20. Let i = -22 + r. Let j = 219 - i. Is j composite?
True
Suppose -q = 2*z - 15631, 4*z - 31265 = -0*z - q. Is z a prime number?
True
Let j be (-10)/25 - (-21632)/(-20). Let n = -613 - j. Is n prime?
False
Let k = -6 - -10. Suppose -4*j - k*j = -640. Let c = j - -3. Is c prime?
True
Suppose 0 = -12*y + 203989 - 31537. Is y a prime number?
False
Suppose 7*r = 10072 + 26685. Is r a composite number?
True
Let q = 26 - 24. Let n(y) = -14*y**3 - 3*y**2 + 4*y - 2. Let z be n(q). Let w = 215 + z. Is w a composite number?
False
Let d(f) = 113*f - 9. Let u = 34 + -30. Is d(u) a prime number?
True
Let o be (-6 + (-6 - -6))*(-1)/(-2). Is -4 - (921/1)/o a composite number?
True
Let y(q) = 227*q**2 + 3*q + 4. Let i be y(-2). Suppose 658 = 4*s - i. Is s prime?
False
Let u = 481 + -475. Let f(d) = 15*d + 5 + 19*d + 2*d. Is f(u) composite?
True
Let s(g) = -g**3 - 61*g**2 - 37*g + 122. Is s(-63) prime?
True
Let a(q) = 186*q**2 - q. Let f(v) = -v + 4. Let t be f(3). Is a(t) a composite number?
True
Let j(w) = 24*w**2 - 185*w - 42. Is j(23) composite?
True
Suppose -2 = d + 4*s - 5, -5*d - 2*s + 15 = 0. Suppose 5*n - d*z - 1595 - 450 = 0, -2*n + z + 818 = 0. Is n a composite number?
False
Let z be 2/(-9) - (-626180)/(-18). Is (-2)/(-13) + z/(-169) prime?
False
Suppose 4*o = -3*w + 6772, -5*w + 5079 = -5*o + 8*o. Is o prime?
True
Let t = 119710 - 58833. Is t a composite number?
True
Let k = -2290 - -1328. Let t = k + 3013. Is t composite?
True
Suppose -6*d = -15*d + 9171. Is d composite?
False
Is (190 - -1)*((-26)/13 + 39) a composite number?
True
Let c be (-2)/(-8) - (-102906)/24. Suppose -4*j - 1764 = -c. Is j prime?
True
Let d(x) = 110*x - 409. Is d(33) a composite number?
False
Let a(h) = h**2 + 2*h + 4. Let c(q) = -4*q. Let k be c(-2). Let u = 11 - k. Is a(u) prime?
True
Let n = 6164 + -3899. Suppose 3*d - n = 1752. Is d composite?
True
Suppose -5*z - b = -61, -3*b = 3*z + 2*z - 63. Suppose 4*v = -0*v + z. Suppose -2*r - 8 + 82 = -v*u, -5*r - 3*u = -143. Is r a composite number?
False
Suppose -5*y = -3*y - 6. Suppose 0 = -3*g + 7*g - 2*f - 550, -2*g + 263 = y*f. Let z = 43 + g. Is z prime?
True
Let f(z) = -z**2 + 7 + 1 - 7. Let h be f(-1). Is (1 - h)*(450 - 1) prime?
True
Suppose -2*k - 12 = -6*k. Let w(g) = 6*g**2 + 2*g - 1. Let q be w(1). Suppose q*a - 156 = k*a. Is a prime?
False
Let u(z) = 33*z**3 - z**2 + z + 1. Let m(f) be the first derivative of -f**4/4 - 10*f**3/3 + 6*f**2 + 13*f + 3. Let s be m(-11). Is u(s) a composite number?
False
Suppose 3 = -s - 16. Let p = 166 - s. Is p prime?
False
Let a(i) = -i**3 - 5*i**2 + 2*i + 9. Let h be a(-5). Let g be (-1 + 2)*(1 + h). Suppose 2*y - 1404 - 1318 = g. Is y composite?
False
Suppose 2*k - 2 - 2 = 0. Suppose -506 = -k*m + 130. Suppose 0*r + 4*q - m = -2*r, 3*r + 2*q - 473 = 0. Is r prime?
True
Let x(i) = -i**3 + 16*i**2 + 16*i + 11. Let l be x(8). Suppose 0 = -d + 3*t + 4001, -4648 = -d + 2*t - l. Is d prime?
True
Let b(l) be the third derivative of -l**6/24 + l**4/24 - l**3/6 - 25*l**2. Is b(-3) composite?
False
Suppose 4*v = 5*u + 499, -11*v - u = -15*v + 519. Is v a prime number?
True
Suppose 19 = 2*v + 11. Suppose 4 = -2*n, -5*x + 0*n + 2*n - 556 = 0. Is v/((-16)/12) - x prime?
Tru