x*o - 17286 = -2*a. Is o prime?
False
Let a(k) = -47573*k + 26. Is a(-1) a prime number?
True
Is 3*(-29407)/105*-5 prime?
True
Suppose -4*h + 0*h - 224 = 0. Let g = -632 + h. Is -1*3 - (2 + g) a prime number?
True
Suppose -218 = 6*d - 1052. Let z = 1 - -1. Suppose -f + z*f = d. Is f a composite number?
False
Suppose 45*g = 39*g + 25602. Is g a composite number?
True
Suppose 17*g - 25 - 9 = 0. Suppose -g*x + 3239 = -183. Is x a prime number?
False
Suppose -695 = 3*w - 8144. Is w prime?
False
Let m(q) = -309*q - 1. Let a be m(-10). Suppose -l + a = 5*t, -t = 3*l - l - 6160. Is l a prime number?
True
Suppose -2*t = 2*t - 5*u - 23712, -5*u - 17789 = -3*t. Is t a composite number?
False
Suppose 2*s - 42 = 1648. Let w = s - -516. Is w a composite number?
False
Let f be 5746/(-18) - (-6)/27. Let g = f + 570. Is g composite?
False
Let h = 9 - 5. Let y(x) = x**3 + 10*x**2 - 11*x + 3. Let q be y(-11). Suppose -c - 60 = -q*z, z - 28 = h*c - c. Is z a composite number?
False
Let i be ((-180)/8)/(0 + 6/(-56)). Let r = i + 121. Is r a prime number?
True
Let r = 40 - 38. Suppose r*z - 5*u - 1006 = 0, 1617 + 395 = 4*z + 3*u. Is z composite?
False
Is 21/((-210)/40)*877/(-4) prime?
True
Suppose 4*l - 5*l + a = -40, 3*a = -3*l + 108. Let b be 0 + -1 + -1 + l. Let c = b + -17. Is c composite?
False
Suppose 24 = 4*f - 8. Suppose 5*l + 921 = f*l. Is l prime?
True
Let a = -13 + 13. Suppose -i + 71 + 348 = a. Is i a prime number?
True
Let h = -1976 + 3037. Is h a prime number?
True
Suppose -8*x = -106660 - 151412. Is x composite?
True
Let h(q) = 40*q**3 - 5*q**2 + 11*q + 41. Is h(9) a composite number?
True
Let p be 1*((-4)/(-5))/(4/20). Suppose 0 = -p*o + 3*g + 2531, -5*o + g = -3411 + 261. Is o a composite number?
True
Let a be 44/36 - (-11)/((-495)/10). Suppose 4*c = 7*c - 18. Is a/c + 3435/18 a composite number?
False
Suppose -22547 = -150*m + 143*m. Is m a composite number?
False
Let f = 477 - 226. Is f a composite number?
False
Let v be -2*((-75)/6)/(-5). Let s(o) = o**2 + o + 2. Let z be s(v). Let x = z - -273. Is x a prime number?
False
Let g(c) = 203*c**2 - 41*c + 347. Is g(7) a prime number?
True
Suppose -3427 - 10484 = -u. Is u a prime number?
False
Let s = -361 - -963. Is (1 - s/4)/((-21)/42) composite?
True
Suppose w = -5*l + 2*w + 170, -l + 8 = 5*w. Let y be (l/3)/(4/104). Let z = -137 + y. Is z prime?
True
Let j(b) = b**2 - 5*b + 2. Let t be j(5). Suppose 446 = -0*s + t*s. Is s a composite number?
False
Let o = -4 - -7. Suppose -o*b - 4*f = -7*f + 3, 3*b = 4*f - 7. Suppose -469 = -b*g + 4*z, 3*z + 632 = 4*g + z. Is g prime?
False
Suppose -2*f - 1350 = -4*f. Let r = 3739 + -2161. Suppose -3*k + f = -r. Is k composite?
False
Let j be (1 + 5)*3/6. Suppose 0 = -3*v + 2 + 1, j*u - 4*v - 2 = 0. Suppose u*k = -2*k + 996. Is k composite?
True
Let v = -4 + 4. Let k be (v/2 - -258) + 1. Suppose z + 3*z = 3*d - k, -3*z + 82 = d. Is d a composite number?
True
Suppose 7*p = 19*p - 4548. Is p a prime number?
True
Suppose 4*o + 51705 = 5*j, -30 = -4*o - 10. Is j composite?
True
Let i = 12740 + -9093. Is i prime?
False
Let p = 34 - 28. Suppose -a + 2*k + 417 = 0, -2*a - 2*k - 1674 = -p*a. Is a prime?
True
Let j(r) = 2*r**2 - 2*r - 4. Let g be j(-3). Let q = -15 + g. Suppose 0 = -q*x + 3*k + 1955, 0 = -2*x + 4*k + 395 + 387. Is x prime?
False
Suppose -3*r - 16535 = -8*r. Let v = r + -1154. Is v prime?
True
Let w = -327 + 467. Let m = w + 427. Suppose 4*g - m = 625. Is g prime?
False
Let y(j) = 4*j**2 - 4*j + 3. Let a be y(2). Let o = -11 + a. Suppose 3*c + b = 2*b + 61, o = -3*c - 3*b + 69. Is c a prime number?
False
Let u be -10*1*(-2)/2. Suppose 8*p + 106 = u*p. Is p a prime number?
True
Suppose 4*m + k + 12 = 0, k + 0 = -4. Let r be 1*m*6/(-12). Is 17 - (-1 + 2 + r) composite?
True
Let q = 14 + -14. Suppose -3*k - 7*v + 22 = -2*v, k - v - 2 = 0. Suppose -k*f + j + 8212 = q, j + 6943 = 2*f + 2837. Is f composite?
False
Let k(l) = -l - 1. Let s be k(-3). Let q(z) = 18*z - 2. Let b be q(s). Let a = -20 + b. Is a prime?
False
Let d = 1981 - -850. Suppose 5*s - 8352 = -3*o, d = 3*o - 5*s - 5551. Is o a composite number?
False
Suppose -2*u + 10430 = 8*u. Let v = u - 166. Is v prime?
True
Let m(t) = -85*t + 6. Let k be m(6). Let g = k - -715. Is g prime?
True
Let g(r) = 210*r**2 - 10*r - 3. Let p be g(4). Let f = p + -2110. Is f composite?
True
Let i be ((-12)/(-10))/(3/(-2775)). Let k = i + -297. Is ((-30)/45)/(2/k) a composite number?
True
Let b(x) = 51*x + 23. Let p be b(8). Suppose 5*w = 524 + p. Is w composite?
False
Suppose -28*o - 3*a = -23*o - 2017, -5*o = 5*a - 2025. Is o a composite number?
False
Suppose f - p - 27 = 3*p, -45 = -2*f - p. Suppose f*a = 15*a + 176. Is a composite?
True
Let x(q) = -5*q + 22. Let o be x(4). Suppose 3*y - 876 = -2*b + 2*y, -5*b = o*y - 2191. Is b a composite number?
False
Let u(s) = -s + 6. Let a be u(5). Suppose 4*w + 5*k - 37 = 0, -4*w - 2*k = -5*k + 3. Is a/w - 428/(-3) prime?
False
Suppose -f + 35 = 27. Let j(v) = 74*v - 78. Is j(f) prime?
False
Let b be (-2)/(-5) - (-4)/(-10). Suppose -3*m + d - 322 = b, 314 = -4*m + m - d. Let p = 155 + m. Is p composite?
True
Suppose 3*y = 5*b + 54347, 4*y = 114*b - 119*b + 72486. Is y composite?
False
Let t(l) = 76*l**2 + 27*l + 24. Is t(-11) composite?
False
Suppose -359079 + 17426 = -13*d. Is d composite?
True
Let f(c) = -14*c - 2. Let z be f(-5). Let r = z + -9. Is r prime?
True
Suppose 0 = -3*s + 4*d + 248, -3*d + d + 86 = s. Suppose 5*k = 9*k - s. Is k a prime number?
False
Suppose 5*y - 11588 = 502. Let m = 3446 - y. Suppose 3*c = -c + m. Is c a prime number?
True
Let r(h) = -2*h - 3 + 14 + 3*h. Let f be r(-5). Suppose -8 = -f*n + 2*n. Is n composite?
False
Let f(b) = b + 25. Let w be f(-14). Suppose -w*x = -6*x - 1355. Is x a composite number?
False
Let q be ((-6)/15)/(1/(-10)). Suppose -4*x + q*w = -4, -2*x - 3*w + 8*w = 1. Is 453 - (6 - x) - 0 prime?
True
Let k = 13 + -12. Let s be 50/(k/7 - 0). Suppose d - 3*o - s = 0, -5*d - 5*o + 1061 = -749. Is d prime?
True
Let i(y) = -3*y**3 + 8*y**2 + 2*y + 14. Let l be i(-7). Let z = l - 838. Is z a composite number?
True
Let w(c) = 11*c**3 + 3*c**2 + 3*c. Let g be w(-4). Let y be (-1 + 4)*g/(-6). Let d = -177 + y. Is d a prime number?
True
Suppose 0 = 4*t - 6*t. Suppose -5*p - 86 + 1041 = t. Suppose 3*u = 4*u - p. Is u prime?
True
Let v = -35 - -38. Is (254/(-6))/(v/(-45)) a composite number?
True
Let r(v) = -66*v**3 + 9*v**2 - 9*v - 7. Is r(-3) a prime number?
False
Let t(u) = 21*u + 235. Is t(36) prime?
True
Let u = 7 + -4. Suppose -3*d + 4*k = 3, 0 = 5*d + k + 8 - u. Is 11/(11/720) + d a prime number?
True
Let r(d) = 61*d - 2. Let l be r(2). Let w = -43 + l. Is w a composite number?
True
Let f = -1053 - -3844. Let q = f - 1950. Is q composite?
True
Suppose -26*w + 77079 = -26375. Is w prime?
False
Let q = -503 + 1713. Suppose 0*c + q = -5*c. Let i = c + 419. Is i prime?
False
Is (-2 - -107991)/1 - (-15 - -15) composite?
True
Let v(p) = p**2 + p. Let k be v(-1). Suppose 0 = -5*o + 2*i + 2733, k = -3*o + o - 5*i + 1099. Suppose 3*d - 2*t - o = -3*t, 2*t - 8 = 0. Is d composite?
False
Let j(b) be the first derivative of -b**2 - 8*b + 1. Let s be j(-7). Suppose -3*g + 2*p + 111 = s*p, 185 = 5*g - 3*p. Is g prime?
True
Suppose 0 = -6*n - 13649 + 85871. Is n a composite number?
False
Let i be (-2)/(-6) + (-72)/(-27). Suppose -3*u + 0*u - 3 = 3*t, -17 = i*u - 4*t. Is 1/(3/(-3411)*u) prime?
True
Suppose 39*a - 156810 = 33*a. Is a a composite number?
True
Suppose -4*v + n = -9, -4*v + n = -v - 6. Suppose -12 = -3*j + b, j = v*j - 5*b + 5. Suppose t - j*o = 5*t - 744, -2*t + 394 = -3*o. Is t prime?
True
Let s = -1990 + 4243. Is s prime?
False
Let d = 22 + -37. Let c be 27/(-15) + 3/d. Is (21/(-28))/(c/184) a composite number?
True
Let t(a) = 6*a. Let o be t(1). Let s be 2/o - (-70)/15. Suppose s*f - 410 = 705. Is f composite?
False
Suppose -4*i + 5*d - 33 = -2989, -4*i - d + 2956 = 0. Is i composite?
False
Let f = 32 + -27. Suppose 1805 = f*u - 2460. Is u a composite number?
False
Let s(r) = 516*r**2 + 2*r - 14. Let v be s(-4). Suppose 6*n = v + 172. Is n a prime number?
False
Let v be (3/(-9))/((-3)/(-4563)). Suppose -550 - 52 = 2*x. Let b = x - v. Is b prime?
False
Suppose -35*m = -31*m + 5*f - 95406, -23855 = -m - 3*f. Is m prime?
False
Let 