-23*m + 2693. Is m composite?
False
Let s(w) = 13*w**3 + 2*w**2 - 14*w + 11. Is s(6) composite?
True
Suppose -2*r + 5 + 5 = 0. Suppose 0 = -y - r + 2, -5*g + y + 28 = 0. Suppose o - 4*o + g*t = -68, 2*t - 103 = -3*o. Is o a prime number?
True
Suppose 74*d - 61*d - 231829 = 0. Is d composite?
True
Let x = 103 - -48. Let u be 543/(-9) + 2/6. Let l = x - u. Is l a composite number?
False
Let s = -643 - -1051. Let q = 91 + s. Is q composite?
False
Suppose 0 = -2*c + 50224 + 40502. Is c prime?
False
Let p(l) = -4*l + 1. Let h be p(-1). Suppose -3*x + h*q + 249 = 0, 0 = 4*x - 3*q - 0*q - 332. Is x prime?
True
Let l be -1 - 1 - (-1 + 2). Let b(t) = -211*t. Let r(a) = 212*a + 1. Let h(v) = -3*b(v) - 4*r(v). Is h(l) a composite number?
False
Let d = 59968 + -37115. Is d prime?
True
Let u(x) = 4*x**3 - 8*x**2 + 3*x + 6. Is u(7) prime?
False
Let s(n) = 9*n**2 + 7. Let i = 15 + -18. Let b(o) = -o**2 + 3. Let j be b(i). Is s(j) a prime number?
True
Suppose j + 2*j - 822 = 0. Let w = -441 + 836. Let z = w - j. Is z a composite number?
True
Let t = 854 - 418. Suppose 2 = 2*l, 2*p - 3*p + 4*l = -t. Let d = p - 235. Is d a composite number?
True
Let n = -3721 - -7014. Is n a prime number?
False
Suppose -1 - 1 = 2*v. Let x = v - -4. Suppose -2*b - 1 = x, -4*c - b = -810. Is c composite?
True
Let s(b) = 440*b + 65. Let u be s(8). Suppose -5*f + u = 5*n, 6*f - 2868 = 2*f - 2*n. Is f a composite number?
True
Suppose -109 = 4*i - 13. Let c = 3246 + i. Suppose c = 6*z - 0*z. Is z composite?
True
Let v(y) = 710*y**2 - 67*y - 423. Is v(-6) a prime number?
False
Suppose -11835 - 4707 = -18*b. Is b a composite number?
False
Let v be 18/(-30) - (-354)/15. Suppose j = -v + 11. Let d(z) = -z**3 - 5*z**2 + 9*z + 1. Is d(j) a prime number?
False
Let i = -16 + 20. Suppose o + 2901 = i*o. Is o a prime number?
True
Let s be -4 + 195/21 + (-4)/14. Suppose s*n = 1211 + 1194. Is n prime?
False
Let c = 4183 - 2456. Is c composite?
True
Let j(q) = -q**3 - 8*q**2 + q + 11. Let l be j(-8). Suppose -5*g = -4*g - 4. Suppose -l*h + 116 = f, -f - g*h - 335 = -4*f. Is f composite?
False
Suppose 0 = 10*s - 9656 - 5154. Is s composite?
False
Suppose -5*i - 2*h = -2848, 4*i + 4*h = 5*i - 552. Suppose -4*f + i = -436. Is f a prime number?
True
Let b = -3210 + 9890. Let g = b + -3309. Is g composite?
False
Let k be ((-12)/(-42))/((-1)/(-14)). Suppose 4*z = -k*d + 13056, -2*z - 6508 = d - 3*d. Is d composite?
False
Let w(l) = l - 8. Let c be w(8). Suppose 10*n - 5*n - 890 = c. Is n composite?
True
Let q(w) be the second derivative of -67*w**3/2 + 5*w**2 - 39*w. Is q(-1) composite?
False
Suppose -g - 6 + 19 = 0. Is (0 - 11)/((-1)/g - 0) a prime number?
False
Suppose 2*h + 2 = -2. Is -4 - (h + 4 + -139) a prime number?
False
Let k(f) = f**3 - 8*f**2 + 5*f + 10. Let s be k(7). Is (s + (-21)/(-6))*-318 a composite number?
True
Suppose 0 = 25*m - 102323 - 56202. Is m a prime number?
False
Suppose 138 - 378 = -3*z - 2*b, -2*b - 400 = -5*z. Let u = -26 + z. Is 41190/u - (-4)/18 prime?
False
Let d = 21 - 9. Suppose v - 3*s = -2*v + 294, -d = 4*s. Suppose c - 96 = v. Is c prime?
True
Let p be ((-3)/(-4)*-14)/(6/(-156)). Let h = 14 + 20. Let i = h + p. Is i a composite number?
False
Let v(j) = -j**3 + j**2 + 9*j + 9. Let s be v(-8). Suppose -y + 2*l = -s, -4*l = -3*y + 1820 - 273. Is y a prime number?
True
Let z(u) = 9*u**2. Let d be 1/((-4)/16*-2). Let b(n) = -36*n**2 + n - 1. Let v(l) = d*b(l) + 9*z(l). Is v(2) composite?
True
Suppose 2 = 3*j + 2*b, 3*j - b + 3 = 2. Suppose p - h + j*h = 77, 0 = 5*p + 3*h - 425. Is p composite?
True
Let l be 2163/(-9) - 2/3. Let o(g) = -130*g + 8. Let v be o(-3). Let x = v + l. Is x composite?
False
Suppose -5*x - 15 = 0, -2*x = -2*i + 5 - 3. Is i + 2 + 316 + 3 composite?
True
Let a be 1*(-3)/(4 - 1). Let r be 8 - 5 - 284/a. Suppose -157 = -2*i + 3*y, -r = i - 5*i - 3*y. Is i prime?
False
Let l be 5 + -4 + 1*3. Suppose 0 = l*u - z - 39, 0 = -z - 1 + 2. Is (-2 - (-14)/u)*-185 a prime number?
False
Suppose -2*t + 36 + 20 = -4*x, x = -4. Let s(r) = 14*r - 69. Is s(t) prime?
True
Suppose c + 5 = -p, -3*p + p = c + 7. Let l = c + 0. Let v(b) = -10*b**3 + 3*b**2 + b - 1. Is v(l) prime?
True
Let i(x) = x + 7. Let u be i(-3). Suppose -u*d + v = -v - 3628, -5*v = d - 896. Suppose -3*b - 3*j = -930, -3*b + 0*b = -5*j - d. Is b prime?
True
Let v(r) = -17*r + 3. Is v(-43) prime?
False
Suppose 3*r - 3 = -12. Is (-3 - r) + 287 - -2 a composite number?
True
Let y = -291 - -600. Is y composite?
True
Is (-334296)/(-36) + (-2)/(-2) composite?
True
Is ((-2)/6)/(8/(-418920)) a composite number?
True
Let b be ((-24)/(-2))/((-2)/46). Let m = 563 + b. Is m a composite number?
True
Is 9/(270/4) + 1162265/75 composite?
False
Let y(u) = 11*u**3 - 25*u**2 - 5*u - 22. Let p(r) = 5*r**3 - 12*r**2 - 2*r - 11. Let i(d) = -9*p(d) + 4*y(d). Let t be i(8). Is 2/t - (-66878)/70 prime?
False
Let m be ((-1524)/(-42) + 2/(-7))*2. Let j = m + 133. Is j a prime number?
False
Suppose 3*a = -0*a - 36. Let y be ((-4)/6)/(a/54). Suppose y*u + 4*c - c = 570, -3*c - 739 = -4*u. Is u a composite number?
True
Suppose 4*j + 288 - 5780 = 0. Let y = j - 632. Suppose 0*l - 4*t = -3*l + 741, -5*t = -3*l + y. Is l a composite number?
True
Suppose 12 = -2*v + 5*v. Suppose o = v*o - 2253. Is o prime?
True
Let w(i) = i**3 + 2*i**2 + 2*i + 4. Let v be w(-2). Suppose -2*y + 1203 - 89 = v. Is y a composite number?
False
Suppose 0*r - 5*r - 4*q - 21 = 0, 0 = -q + 1. Let v be 0 - (-6)/(-2 - r). Suppose -2*o = -3*b + 290, -286 = -v*b - b + o. Is b a prime number?
False
Let y(u) = u**3 + 9*u**2 + 4*u - 1. Suppose -3*p + 31 = 55. Is y(p) prime?
True
Let v = 2634 + -983. Is v composite?
True
Let o(q) = q**2 + 7*q + 3. Let g(f) = -f - 12. Let y be g(-6). Let n be o(y). Let l = 34 + n. Is l composite?
False
Suppose -65*a - 25 = -70*a. Suppose 2*s - 987 = -a*s. Is s prime?
False
Let b = 9518 + 22151. Is b a composite number?
True
Suppose -4*c = 372 - 51680. Is c composite?
True
Let q(m) = 14*m**2 + 3*m - 4. Suppose 7*y - 5*y - 6 = 0. Suppose 5*o + 10 = 5*v, 0*v + 2*v = -y*o - 21. Is q(v) composite?
False
Suppose 26*u - 22*u - 2*b = 5452, -3*u = -5*b - 4103. Is u prime?
True
Let i(j) = 2*j + 2. Let r be i(1). Suppose 0 = -r*d - d. Is (-46)/(10/(-35) + d) a prime number?
False
Suppose -4 = -3*i + 2. Suppose -c + 3*v - 7 = 8, 0 = -i*v + 8. Is c/(12/(-8)) - -192 prime?
False
Suppose 3*m - 124 = 5*k + 32, 5*k - 4*m = -153. Let p(q) = -q**3 - q**2 + 7*q - 7. Let a be p(5). Let f = k - a. Is f prime?
True
Let l(a) = -2*a - 20. Let n be l(-10). Is (-31)/2*(n + -2) composite?
False
Let a(o) = 14*o**3 - 29*o**2 + 9*o - 1. Is a(6) composite?
True
Let f be 1 + 1 + -9 + 11. Suppose 0 = f*m - 5*i - 5136, 0 = 4*m - 0*i + i - 5112. Suppose -3*a + m = 262. Is a prime?
False
Is 7/(98/3714) - (-4)/(-14) composite?
True
Let w = -100139 - -156574. Is w a prime number?
False
Suppose -3 = 2*r - 13. Suppose 4*q + 97 = -r*a, 3*q + q - 2*a = -90. Let l = 49 + q. Is l a composite number?
True
Is (83 - 88) + 226*(-6)/(-2) composite?
False
Suppose 13*i = 193367 - 23574. Is i a composite number?
True
Suppose -66858 = -1487*y + 1481*y. Is y composite?
True
Let q be 8/(-36) - 209/(-9). Suppose -5*m = -4*m + 3, m + q = s. Is (315/s + 2)*44 prime?
False
Suppose -2*z - 143 = -5*z + 2*h, -h = -z + 48. Is z prime?
True
Suppose 6160 = -2*r - 2*r. Let g = r - -902. Is (3/1 + g)/(-1) composite?
True
Suppose 2*z + 782 = 5764. Is z a composite number?
True
Let x = 10072 + -4875. Is x composite?
False
Let k(s) = -3*s + 25. Let g be k(8). Is -1213*(1 + -3 + g) prime?
True
Let i = -9932 - 1008. Is i/(-6) + (5 - (-32)/(-6)) a composite number?
False
Let l = 28 - 24. Suppose -l*j = -j - g + 6, -2 = -4*j - 2*g. Is ((-4 - 11)*1)/j a composite number?
True
Suppose 0 = u + l - 1054, -u + 2*l = 381 - 1420. Is u a composite number?
False
Suppose 4*m - 8597 - 10535 = 0. Is m composite?
False
Suppose -5*o + 12 = -3. Let m(u) = 54*u**2 - o*u + 5*u - 1 - 4*u. Is m(2) a prime number?
True
Let z(b) = b + 12. Let l be z(-9). Let w(j) = -5 - 4*j + 1 - 52*j + l. Is w(-1) a composite number?
True
Is (5 + -34)*-37*1 a composite number?
True
Suppose 5*i - 3493 = -2*u, 2*u - 5262 = -u - 3*i. Is u prime?
True
Suppose 13 = -5*r - 57. Let o = r - -14. Suppose 4*k - 7*k + 93 = o. Is k a composite numb