 5603. Is w a multiple of 11?
True
Suppose -3*f - 6*l + 4158 = -8*l, -2*f + 2759 = 3*l. Is f a multiple of 4?
True
Does 211 divide (-873144)/(-52) - 201/871?
False
Suppose 66 = 5*j - 379. Let a be 0 - 0 - (-48)/12. Suppose 0 = -a*w + j + 243. Does 10 divide w?
False
Let z(x) = -x**3 + 8*x**2 + x - 3. Let b be z(8). Suppose -s = -b*w + 196, w - 4*w - 2*s + 128 = 0. Suppose -4*u = -5*u + w. Is 10 a factor of u?
True
Let l(w) = -144*w**3 - w - 2. Let j(f) = 2*f + 7. Let y be 0 - (2/7)/(2/28). Let k be j(y). Is l(k) a multiple of 18?
False
Let z = -8804 + 17304. Is 125 a factor of z?
True
Let d = 76 - 33. Suppose -d = 5*x - 13. Is 1/x + (-285)/(-90) - 0 a multiple of 3?
True
Suppose 111*v + 1096535 = 3584933. Does 30 divide v?
False
Suppose 5*r + 3667 = 4*x + 26637, 22980 = 5*r - 2*x. Is 74 a factor of r?
False
Let t(p) = -170*p**3 + 2*p**2 - 3*p - 4. Let d be t(-1). Let j = d - 145. Is 11 a factor of j?
False
Let s be -8*24/(-16) + -11. Suppose 1 = 5*n - 4. Is (30/(n - 6))/(s/(-8)) a multiple of 24?
True
Let s = -11865 - -12525. Is 30 a factor of s?
True
Suppose -77*o + 78*o + 6116 = 2*t, 3*t - 9196 = -4*o. Does 12 divide t?
True
Suppose 8 = -2*f, -g = f + 17 - 36. Suppose -51*q = -g*q - 6328. Is q a multiple of 11?
False
Suppose -o - 4*q + 206 = 1409, 5 = 5*q. Let p = -791 - o. Does 12 divide p?
False
Let x(m) = -5*m - 42. Let z be x(-9). Suppose -z*h - 5*k = -1134, 5*k - 4*k = 0. Is 27 a factor of h?
True
Suppose 0 = 2*v + 2*x - 108 - 616, -5*v + 1783 = -4*x. Is v a multiple of 12?
False
Suppose -j = 13*j. Suppose 21*a = 25*a + 4*i - 1752, j = i - 1. Is a a multiple of 23?
True
Let t(o) be the second derivative of o**5/20 - 7*o**4/6 + 8*o**3/3 - 5*o**2 + 16*o. Let w be t(13). Let v = w - 15. Is 14 a factor of v?
True
Suppose -5*l + r + 3*r = 290, 4*r - 166 = 3*l. Suppose 9*u - 152 = 7*u. Let y = u + l. Is 8 a factor of y?
False
Let x = 112 - 107. Suppose 0 = 3*k + 9*s - 5*s - 646, -x*s = -20. Is k a multiple of 15?
True
Let p be -12 + 16 + (0 - -3). Suppose -20*x + p*x + 10*x = 0. Suppose 160 = 8*r - x*r. Is r a multiple of 4?
True
Suppose 305 = 5*v + 4*p - 8*p, -255 = -4*v + p. Suppose -v*d - 11220 = -87*d. Does 10 divide d?
True
Let t(w) = -42 + 18 + 6*w + 0*w - 4*w. Let y be t(13). Suppose -y*d = -5*n - 59, -2*d + 66 = n + n. Is d a multiple of 8?
True
Suppose -5*f - 113 + 690 = 4*k, -389 = -3*k + 5*f. Let l be 1/(4/(2 - k)). Let r = l + 69. Is r a multiple of 10?
False
Let k be -8 + -8 + 11 + 63. Let m be (-9)/18 - 806/(-4). Suppose -x + m = -k. Does 20 divide x?
False
Let z(v) = 30 + 8*v - 22 - 2*v + 61. Does 11 divide z(11)?
False
Is 10 a factor of ((-6)/12)/(-1)*235*(-400)/(-4)?
True
Let i(u) = 223*u**2 + 5*u - 1. Let z be i(2). Suppose 0 = -4*v - 3*l + z, -2*l + 36 = 4*v - 870. Does 20 divide v?
False
Let y(i) = -i**3 - i**2 + 3*i - 146. Let p be y(0). Is (-7)/(-14)*2 - (1 + p) a multiple of 13?
False
Suppose -8*f = -12*f + 24. Suppose v + f = 3, 2*i - v = 1221. Does 26 divide i?
False
Let v be (2 - 0)*54093/(-114). Let h = -605 - v. Is h a multiple of 21?
False
Suppose 0 = -17*f + 16*f - 31. Is 9 a factor of (f - -229) + (4 - -1)?
False
Let c(g) be the first derivative of g**4/4 + 20*g**3/3 - 13*g**2 - 45*g + 97. Is 54 a factor of c(-19)?
True
Let k(j) = 12*j - j + 17 - 10*j. Let x be k(-13). Let v(c) = -c**3 + 5*c**2 - 7. Does 9 divide v(x)?
True
Let f be (-35)/105 - ((-17)/(-3))/1. Let c(y) = 6*y**2 + 12*y + 123. Is c(f) a multiple of 7?
False
Let r(x) = -1069*x + 12032. Is r(8) a multiple of 30?
True
Suppose 5*d - 16 = -3*l, 0*d - 2*l = -2*d. Suppose j - d*j - 143 = 0. Let p = -99 - j. Does 22 divide p?
True
Suppose 760*a = 773*a + 11888 - 60417. Is a a multiple of 110?
False
Is 66 a factor of (-2)/6*(-135)/(-5) + 38487?
True
Suppose 3*n - n + 4*l = 11468, -n + 3*l = -5744. Does 21 divide n?
False
Suppose -560650 = -3*a - 26*a - 21*a. Does 9 divide a?
False
Suppose -4*i + 5*i = 10. Suppose 5*o - 20 = i*o. Is 16 a factor of 19/(38/120) - 1*o?
True
Let k = 283 + -10. Let z = 302 + k. Does 23 divide z?
True
Let d = -9410 - -49310. Is d a multiple of 285?
True
Let n = 205 - 198. Is 11 a factor of 2*n/(-14) + 509/1?
False
Let z = 18 - 13. Suppose 0 = 4*f - 4*a - 104, a + 7 = 5. Suppose f + 6 = z*c. Does 3 divide c?
True
Let m(a) = -3*a**2 - 23*a - 12. Let d(b) = -b - 1. Let h(z) = -3*d(z) - m(z). Let f(y) be the first derivative of h(y). Does 8 divide f(5)?
True
Let y(b) = -12206*b + 2646. Does 14 divide y(-7)?
True
Let h = 37 + -25. Suppose -2*i = 2*i - h. Suppose i*y = -2*y - 4*w + 225, -3*w = -3*y + 135. Does 21 divide y?
False
Suppose v = 2*n + 149, -n - 9 = 3*v + 55. Let o be 127/(-4) - (-1)/(-4). Let g = o - n. Is 13 a factor of g?
False
Let p be (-42)/2 - ((-4)/2 + -2). Let g(a) = -a**2 - 20*a - 25. Is g(p) a multiple of 7?
False
Suppose 8*u = 8706 + 17214. Suppose -u = -25*t + 19*t. Is 12 a factor of t?
True
Suppose 0 = 2*u - 3*g - 39, 4*g = -4*u - 2 + 50. Suppose -u*d + 1170 = -4770. Does 9 divide d?
True
Suppose 282*d - 6768 = -3*b + 281*d, 0 = 4*d. Does 3 divide b?
True
Let q = -4344 - -9844. Is 100 a factor of q?
True
Let l(s) = -2039*s - 44. Does 31 divide l(-7)?
True
Suppose 36*z + 7806 = 39*z + t, 0 = -2*z + 5*t + 5221. Does 41 divide z?
False
Let z(d) = -39*d + 112*d + 81 - 32*d - 40*d. Is z(-25) a multiple of 12?
False
Let f = 13 + -11. Suppose -2*b + f*d + 242 = -0*b, -5*b - d = -599. Is 20 a factor of b?
True
Suppose 5 = -4*g + 2*n - 7*n, -5*g - 5*n - 5 = 0. Suppose g = v + 2 - 1. Let q(a) = -91*a - 3. Does 22 divide q(v)?
True
Suppose -6579507 + 46621107 = 645*z. Is 17 a factor of z?
False
Let f(w) = -370*w**3 - w**2 - 7*w - 5. Let a be f(-1). Let d = -322 + a. Does 4 divide d?
False
Suppose -2*x - 2610 = 2*f - 9368, -5*x - f + 16919 = 0. Does 27 divide x?
False
Let f(n) = 28*n + 5560. Does 4 divide f(-50)?
True
Let z = -5244 - -8700. Does 36 divide z?
True
Let s(z) be the first derivative of 11 + 8/3*z**3 + 5/2*z**2 - 4*z. Is s(-5) a multiple of 45?
False
Let l(p) = 750*p + 1460. Does 17 divide l(25)?
False
Let g(d) = -5*d**3 + 18*d + 62. Is 15 a factor of g(-9)?
False
Let l(f) = 2*f**3 - 13*f**2 + 2*f + 4. Let u be l(9). Suppose 4*y - u = 21. Does 8 divide y?
True
Let b(a) = -6*a - 8. Let t be b(6). Suppose -5*f - 101 - 59 + 5 = 0. Let i = f - t. Is i a multiple of 3?
False
Let b(c) = -c**2 - 10*c - 14. Let h be 3/(-6) - 13/2. Let i be b(h). Suppose 108 = i*k - 116. Does 32 divide k?
True
Let m = -53 + 1. Let a = m + 55. Suppose -3*p + 207 + 159 = a*n, -4*p + 5*n = -506. Does 19 divide p?
False
Let w(u) = -u**2 + 3*u + 7. Let g be w(4). Suppose g*p - 155 = -4*k, 5*k = -p - p + 115. Does 12 divide p/3 - (4 - 1)?
True
Suppose -10*g - 41*g + 726879 = 28*g. Is 28 a factor of g?
False
Suppose -4*t + 2366 = 5*i, -t - i - 2378 = -5*t. Let a = -336 + t. Is 86 a factor of a?
True
Let o = -222 - -225. Suppose o*n - 5*c = 7*n - 637, -25 = -5*c. Is 10 a factor of n?
False
Let m(f) be the second derivative of f**4/6 + f**3/3 - 9*f**2/2 - 15*f. Let a be m(7). Let w = -55 + a. Does 6 divide w?
True
Let s(o) = 57*o - 285*o + 15*o**2 + 70*o + 71*o + 27 + 71*o + o**3. Let v be (3 - -1)/(1/(-4)). Is s(v) a multiple of 3?
True
Let y(a) = 3 - 4 + 0*a + 3*a + 2*a**2. Let d be y(0). Does 12 divide (d - 74/4)*12/(-9)?
False
Let m(y) = -y**3 - 11*y**2 - 5*y + 54. Let d be m(-10). Suppose -5*g - 4*c = -2465, d*g - 11*c + 10*c = 1972. Is 34 a factor of g?
False
Let k = 78 + 332. Suppose a = -2*w + 230, 0 = 4*a + 3*w - 510 - k. Is 23 a factor of a?
True
Does 14 divide 17 + 1788 + 180/12?
True
Suppose -2*t = 2*d - 2302, -3460 = 1967*t - 1970*t - 4*d. Does 2 divide t?
True
Suppose -u + 2*o + 515 = -1203, 0 = -5*u - 3*o + 8551. Is u a multiple of 16?
True
Let m = 1157 - 1759. Let h = m + 1479. Is 10 a factor of h?
False
Let n(z) = z**3 + 21*z**2 - 22*z + 7. Let s = -5 + 8. Suppose 0 = -5*j + 3*k - 26 - 90, 2*k - 70 = s*j. Is n(j) a multiple of 6?
False
Let t = -477 + 513. Suppose 0 = z - 5*a - 0*a - t, 4*a + 159 = 5*z. Is 31 a factor of z?
True
Let c(q) = -3*q. Suppose 0 = 3*l + 8 - 8. Let p be c(l). Suppose 0*i - 108 = -k - 3*i, k - 5*i - 76 = p. Does 30 divide k?
False
Suppose -3*v + 145 = -50. Let w(f) = -37*f + 1485. Let n be w(40). Suppose 0 = -n*r - y + 148, -v = -4*r - 5*y + 66. Is r a multiple of 8?
False
Let k = -64 + 270. Let x = k