s r a multiple of 11?
True
Let p = -1672 - -3048. Suppose -4*s + p + 866 = 2*b, 2*b - 562 = -s. Is 20 a factor of s?
True
Let g = -243 + 247. Suppose z - g = 0, -5*o - 2*z = z - 287. Does 8 divide o?
False
Let u(l) = -6*l**3 - 3*l**2 + 8*l + 22. Let s be u(4). Does 16 divide -1 - -3 - s/3?
True
Suppose -5 + 5 = -48*y. Suppose y = -3*a + 141 + 1443. Is 22 a factor of a?
True
Let b = -157 + 162. Suppose 5*x = 3*g + 625, -4*x + b*g + 625 = x. Is x a multiple of 28?
False
Is (147/27)/((-12)/(-936))*3 a multiple of 49?
True
Suppose -26*g = -51*g + 9*g + 1872. Is g a multiple of 4?
False
Let d = 400 - 711. Let w = d + 336. Is 25 a factor of w?
True
Suppose 0 = -10*v - 108 + 328. Suppose v*o - 18*o = 688. Is 12 a factor of o?
False
Let t be (0 - 6/(-4)) + 42/12. Let g be -1 + (t + -3)*23. Is 7893/g + (-2)/5 a multiple of 35?
True
Let k be 63/4 - (15/(-12) - -1). Suppose -37 + 1509 = k*i. Is 23 a factor of i?
True
Suppose -4*p = 4*d + 8, 5*p = d + 3*p - 13. Suppose d*f + g = 664, f = -g + 3*g + 219. Is 13 a factor of f?
True
Suppose 8*y = 3 + 5. Let d be (-25)/y*(-3 + -146). Is 25 a factor of (d/20)/(-5)*-4?
False
Suppose -h + 2*q + 3079 = 0, -12289 = -4*h - 1468*q + 1467*q. Is h even?
False
Let q = -583 + 592. Suppose -q*d = 20*d - 17748. Is d a multiple of 21?
False
Suppose 9 = -3*j, 4*j + 10 = 2*m + 6*j. Suppose m = -6*o + 122. Suppose -o*x = -22*x + 900. Is x a multiple of 45?
False
Let y be (-4 - (-4 - -2))/((-20)/50). Let b be 40*(4/y)/(1/3). Suppose 0 = -o - 4*z + b, 4*o + 3*z - 557 + 160 = 0. Is o a multiple of 25?
True
Suppose -16*r + 10*r + 24 = 0. Suppose -r*o + 8 = -0*o. Suppose 3*i - 203 = -5*m + 325, o*i = -m + 100. Is m a multiple of 27?
True
Let f be (3 + -4)/(3 - 1083/360). Suppose -f = 7*u + u. Let x(h) = h**3 + 17*h**2 + 19*h + 15. Does 20 divide x(u)?
True
Suppose -2*x + 185403 = -14*o + 19*o, -4*x = 4*o - 148344. Does 157 divide o?
False
Let l(q) = -2*q**3 + 2*q**2 + 7*q - 10. Let w be l(3). Let p(i) = -i**2 - 37*i - 43. Is p(w) a multiple of 22?
False
Suppose 54 = 3*n - 5*t + 121, 4*n + 97 = -t. Is (n/(-6) + -158)*-2 a multiple of 10?
False
Suppose -2*v - 26*q + 24*q + 4994 = 0, -3*v = -q - 7515. Is v a multiple of 66?
False
Let y(f) = -f**2 - 8*f - 4. Let d be y(-7). Let p be 12 - (-4 - 0) - d. Suppose p*h - 72 = 71. Does 6 divide h?
False
Suppose 4*j - 2*i = 308, 2*j = -7*i + 2*i + 130. Is 5 a factor of j?
True
Suppose -16 = -r + 1. Suppose 20*i = r*i. Suppose -5*w + 3*v + 369 = i, -156 = -w - w - 3*v. Is w a multiple of 15?
True
Suppose -2*r + 945 = -13*r + 12132. Is 9 a factor of r?
True
Let n = 227 - 225. Let d = 14 - 9. Suppose -n*c + 70 = c - 2*y, 5*y = -d*c + 150. Does 15 divide c?
False
Let h(w) = -11*w**2 + 15*w + 41. Let q be h(-4). Let i = -183 - q. Is i a multiple of 7?
False
Let w = 607 + -124. Is (w/18)/(4/24) a multiple of 11?
False
Let w = -120 + 120. Suppose 6*t - 22 - 548 = w. Is t a multiple of 7?
False
Let a be -1*-6*8/(-12) + 4. Suppose a = 5*j + 15, -j = 3*b - 0*j - 966. Does 16 divide b?
False
Suppose -5*h + 29 = v, -2*h = v - 2*v + 8. Let w be (v*(-42)/36)/((-2)/6). Suppose 2*z - b = w, 0*z + 17 = z - 2*b. Is z a multiple of 12?
False
Let u = -46 - -44. Let z(g) = 2*g - 1. Let m(s) = 64*s - 16. Let k(x) = u*m(x) + 14*z(x). Is 9 a factor of k(-2)?
False
Suppose 0 = -5*l + 5*z + 9975, -167*l - 2001 = -168*l + 4*z. Is 28 a factor of l?
False
Let f(o) = 4*o**3 + 13*o**2 - 20*o - 77. Does 51 divide f(12)?
False
Does 28 divide 20615/(-31)*1260/(-25)?
True
Is 119 a factor of 10712/15 + 3 + (-329)/105?
True
Let j(h) = -97*h + 18. Let r(k) = k**2 + 16*k + 57. Let u be r(-10). Is j(u) a multiple of 23?
False
Suppose 56 - 299 = -3*d. Let l = d - -23. Suppose -5*v + 7*v = l. Is v a multiple of 13?
True
Is (-48)/(-14 + 11) - -4318 a multiple of 197?
True
Let k(u) = -u**3 + 4*u**2 + 2*u + 37. Let n be k(-7). Suppose -5*g + n = -3. Does 18 divide g?
False
Let c(n) = 3*n**3 + 3*n**2 + n + 19. Let q be c(-6). Let b = -142 - q. Is b a multiple of 55?
True
Let m(f) = -2*f + 50. Let w be m(21). Suppose 4*o - 400 = -4*s, -s = w*o - 3*o - 100. Does 16 divide s?
False
Let a = -15 - -14. Let m be (-32)/(-80)*(a + -14). Is (0 - (-32)/m)/((-6)/27) a multiple of 16?
False
Let b(p) = p**2 + 7*p + 4. Let t = 30 + -36. Let a be b(t). Does 17 divide ((-103)/a)/((-2)/(-4))?
False
Let b = 3492 - 1973. Let i = -3446 - -3525. Suppose 8*h + i - b = 0. Does 18 divide h?
True
Let z(o) = 235*o - 18. Let s be z(5). Suppose -p + 320 = -4*r, 152 = -3*p + 3*r + s. Is p a multiple of 31?
False
Suppose 0 = -9*g - 13258 + 49492. Is 61 a factor of g?
True
Let l be (-3135)/(-19) - 1*4. Suppose 2*f + l = -233. Let i = -143 - f. Does 39 divide i?
False
Let n be (152/(-6))/(34/(-51)). Suppose -n = 4*b - 2222. Does 42 divide b?
True
Let w = 490 + -269. Let o = -63 - 32. Let v = o + w. Is v a multiple of 42?
True
Let f(v) = 2*v**2 + 5*v - 12. Let j(p) = -6*p - 1. Let b be j(-1). Let k(c) = -c**2 - 3*c + 6. Let x(s) = b*k(s) + 3*f(s). Is 8 a factor of x(-6)?
False
Suppose 2*x + 454 = 5*s - s, -4*x - 3*s = 864. Let l = x - -507. Does 25 divide l?
False
Suppose -217280 = -40*q - 30*q. Is 97 a factor of q?
True
Suppose -2*g = 5*j + 15, 0*g = -4*g + 3*j + 35. Suppose 2464 = 16*t - g*t. Is t a multiple of 16?
True
Suppose -x + 4067 = 6*x. Suppose t + o = 114, 0*o = -t + 2*o + 123. Suppose 13*w - 12*w - x = -5*v, v = -w + t. Is v a multiple of 29?
True
Let w = 30 + 7. Let u = 42 - w. Suppose u*o - 154 = l, -3*o - l + 106 = -5*l. Is o a multiple of 3?
True
Let w(x) = -x**3 + x**2 - 5*x - 29. Let h be w(0). Let u = h - -423. Is 20 a factor of u?
False
Let a = 16929 - 5738. Is a a multiple of 57?
False
Let n(t) = -3*t**3 + 14*t**2 + 26*t + 10. Let z(p) = -p**3 + p**2 - p - 1. Let h(r) = -n(r) + 4*z(r). Is h(-10) a multiple of 13?
True
Let b(x) = -6*x - 224. Let v be b(-39). Does 14 divide ((-415)/v)/(2/(-4))?
False
Suppose -16*d + 3*d + 2990 = 0. Let f = 594 - d. Is f a multiple of 32?
False
Suppose 0 = 6*r - 19 + 5125. Let a = 1241 + r. Is a a multiple of 6?
True
Let v = 15 + -10. Suppose 4*x - 20 = 2*q, 0 = -5*x - v*q - 5 - 0. Suppose m - 34 = 2*b, -4*b + 0 = x*m - 122. Does 38 divide m?
True
Let v be (-3)/(-15) - 38*3/(-30). Suppose -5*x = -v*u - 864, -x = -3*u - 0*u - 648. Is 15 a factor of 35/(-2)*u/42?
True
Let o = -8 - -12. Suppose v - 3*j + 239 = -2*j, -o*j - 724 = 3*v. Is 16 a factor of (6/15)/((-6)/v)?
True
Suppose -9*v = -4*v + 165. Let g = v + 33. Suppose g = -2*i + 3*z + 20, -5*i = z + 3*z - 73. Is 13 a factor of i?
True
Suppose -43*t - 47*t + 21*t + 868158 = 0. Does 15 divide t?
False
Let d = 111 - 112. Is 7 a factor of d + (-599 - 1)/(-5)?
True
Let j(c) = 58*c**2 - 14*c - 38. Let k be j(-6). Suppose -7*v + k = 272. Is 19 a factor of v?
True
Let z be ((-25)/(-10)*-4 - -4)/(-1). Let o(x) be the second derivative of -x**5/20 + x**4/2 + 4*x**3/3 + 7*x**2/2 - x. Does 11 divide o(z)?
True
Suppose -5*z + 5801 + 6160 = i, -z + 2396 = 4*i. Is 13 a factor of z?
True
Suppose 0 = -4*f + 20, -5 = -m - 5*f + 20. Suppose 6*o - 98 - 1414 = m. Does 36 divide o?
True
Let p(j) = -j**3 + 24*j**2 + 29*j + 12. Let n(h) = -h**3 + 25*h**2 + 29*h + 12. Let g(w) = -7*n(w) + 6*p(w). Is 42 a factor of g(32)?
True
Is 1847152/340 - ((-10)/(-25) + (-2)/(-5)) a multiple of 28?
True
Let m(k) = 16836*k - 4068. Is m(3) a multiple of 8?
True
Suppose 2*m - 3*m + 7*m = 0. Suppose -8*d + 19*d + 1463 = m. Let c = d - -178. Is 5 a factor of c?
True
Let s = 54 + 5890. Is 37 a factor of s?
False
Let z = -26750 - -41982. Is 34 a factor of z?
True
Suppose 4*z - 12900 = 4*l, 80*l - 78*l - 3204 = -z. Does 6 divide z?
False
Let u = -136 + 138. Suppose -u*c = -3*v - 489, -3*v = -4*c - 5*v + 970. Is c a multiple of 27?
True
Let i(y) = -4*y - 107. Let v be i(0). Let b = 183 + v. Is b a multiple of 2?
True
Suppose 4*f = -2*z + 192, -8*z = 5*f - 4*z - 237. Suppose 0*s = -s - 2*b + 5, 2*b - f = -5*s. Suppose -s - 59 = -5*i. Is i a multiple of 2?
True
Suppose -28*f - 380064 = -110*f - 17050. Is f a multiple of 8?
False
Suppose k - 70 = 41. Suppose -3*x - 621 + k = -2*f, 4*f - 2*x = 1012. Does 21 divide f?
True
Let z be 15/20 + 16930/40. Let n = z + 146. Is 10 a factor of n?
True
Let v = -124 + 522. Let f(t) = -t**3 + 2*t**2 + 5*t - 2. Let u be f(3). Suppose 0*b + u*b - v = 2*a, 5*a = 4*b - 413. Does 1