. Does 5 divide -1*30*(m - -6)?
True
Let d = 3 + -28. Let w = -21 - d. Suppose -6*a + 3*a = -9, -21 = -g + w*a. Does 5 divide g?
False
Let l be (-7)/(-3) - 36/(-54). Suppose r - 202 = y, -2*y = -l*r + 6*r - 596. Does 25 divide (r/(-6))/((-4)/6)?
True
Let x = 4927 - 11. Is 12 a factor of x?
False
Let p(j) = 22*j + 45. Let w = -382 - -388. Is p(w) a multiple of 7?
False
Let z(i) = -12*i + 56. Let l be z(4). Is 1289/l + (-23)/184 a multiple of 13?
False
Suppose -4*q - 23 - 77 = 0. Let u(o) = -o**3 - 25*o**2 - 23*o - 119. Is 12 a factor of u(q)?
True
Suppose -3*o = -3*m - 10500, -18*m + 12 = -15*m. Does 16 divide o?
True
Let w be 10/(-4)*(-24)/30. Suppose -3*h + 5*y = -448, -h - 147 = -w*h + 4*y. Suppose 6*l - h - 275 = 0. Is l a multiple of 20?
False
Let g be (177737 - 2/(-2)) + -61 + 59. Is 30 a factor of (-1)/2 + (g/(-16))/(-13)?
False
Suppose 9 = 6*f - 3*f - 2*z, 3*z + 6 = 2*f. Is ((-1)/f)/((-2)/3150) a multiple of 25?
True
Let b = 12291 + -7806. Is b a multiple of 17?
False
Let q(m) = 3962*m + 3569. Is q(7) a multiple of 30?
False
Let n(l) = 48*l + 1423. Is n(13) a multiple of 19?
False
Suppose -605 = r + u, 5*r - u = 3*u - 3034. Does 5 divide r/(-4)*4*10/60?
False
Let h(w) be the second derivative of -w**7/2520 + w**6/45 - 7*w**5/40 - w**4/3 - 19*w. Let l(r) be the third derivative of h(r). Does 13 divide l(6)?
True
Suppose 4*i = 2*v + 20, 62*i - 10 = 60*i. Suppose -2*g = 5*b - 417, -5*g + 2*b = -v*b - 1115. Does 29 divide g?
False
Suppose 0 = -a - a - 48. Suppose -18*j + 19*j = -t - 3, -3*t = -3*j - 21. Let n = j - a. Does 2 divide n?
False
Let b(h) = -h**2 - h + 6. Let p be b(0). Let o(g) = -3*g + 8*g + 2*g**3 - 5*g - 8 - 9*g**2 - 3*g. Does 11 divide o(p)?
False
Suppose 0 = f + 4*q - 136, 2*f = 3*q + 178 + 160. Is 27 a factor of f?
False
Suppose 7 = t - 15. Suppose 16 = b - t. Suppose -2*j + b = -2. Is 8 a factor of j?
False
Let t = -27 - 312. Let q = 442 + t. Does 4 divide q?
False
Suppose -5*y + 538 = -2*t, -3*y - 5*t = -2*t - 327. Let o = -76 + y. Suppose 0 = -o*c + 28*c + 248. Is 17 a factor of c?
False
Suppose -3*o + 3*r + 15 = 0, -2*r = 4*o + 3*r + 7. Suppose -2*a + 2 = o*y, 0 = -6*a + 4*a + 2*y + 14. Suppose -642 = -a*l - 142. Is 25 a factor of l?
True
Suppose -5*u = -n - 25, -3*u + 2*n = -u - 18. Suppose u*x + 364 = 588. Is x a multiple of 4?
True
Let p(s) = -9137*s**2 - 8 + 28 + 7*s + 9140*s**2. Is 24 a factor of p(-13)?
False
Let w = 398 + -377. Suppose w*i - 1896 = 9*i. Is 23 a factor of i?
False
Let b be 18/(-30) + 72/20. Suppose 4*s - 3*s - 147 = -h, b*s = -2*h + 446. Does 8 divide s?
True
Let r(d) = -d**3 - 35*d**2 + 36*d - 4. Let c be r(-36). Is c - -63 - (1 - 2) a multiple of 20?
True
Let r = -71 - -104. Let y = r + -33. Suppose y = 5*o - 4*w + 20 - 376, 4*o - 280 = 2*w. Is 27 a factor of o?
False
Does 19 divide (15/10)/(3/2166)?
True
Let o = -158 + 5953. Is o a multiple of 19?
True
Let w = 545 - 450. Suppose 5*j - 138 = 3*j. Let g = w - j. Does 8 divide g?
False
Let o be 10/(((-2)/(-389))/((-4)/(-4))). Is (-1)/(((-20)/o)/4) a multiple of 24?
False
Let o = 1615 - -1787. Does 18 divide o?
True
Let l(h) = -451*h - 1566. Does 9 divide l(-9)?
True
Let z(d) = -16*d - 18. Let y be z(-12). Is (93 - y)*5*(-4)/6 a multiple of 13?
False
Suppose -1404939 - 129096 = -31*d. Does 8 divide d?
False
Let n be 34/(-4)*(-58)/29. Let c(i) = 19*i - 192. Is 59 a factor of c(n)?
False
Suppose 4*u - z - 55048 = 0, -5*u - 15963 = -3*z - 84766. Does 198 divide u?
False
Is (5 - -373)/(-14)*(-1 + 44)*-1 a multiple of 3?
True
Does 21 divide 49049/154*(49 - 1)?
True
Let z be (1*4)/(6/18*-6). Is 17442/12 + z*4/16 a multiple of 89?
False
Suppose 331*s = 311*s + 73440. Is s a multiple of 26?
False
Let t(s) = -s**3 - 10*s**2 - 8*s + 17. Let d be t(-9). Let z be (54/d)/(1/(-20)). Is 14 a factor of (-1)/9 + (-5685)/z?
True
Let f = 338 + -332. Let v(x) = -3*x**2 + 11. Let l be v(5). Does 5 divide 6/(-1)*l/f?
False
Let s(t) = -t**3 - 48*t**2 - 123*t + 328. Is 44 a factor of s(-49)?
True
Let q(a) = -a**3 - 22*a**2 + 24*a + 30. Let y be q(-23). Suppose -y*x + 3*x = -2420. Is x a multiple of 55?
True
Let h be ((-4)/(-2))/(2/(-5)). Let f(m) be the first derivative of -m**3/3 - 4*m**2 - 5*m + 1. Is 10 a factor of f(h)?
True
Let q = 6564 + 4006. Is q a multiple of 14?
True
Suppose 537 - 1635 = 9*p. Is 4 a factor of 44/(-1 + 2)*(-183)/p?
False
Let o(j) be the third derivative of -j**6/120 - 11*j**5/60 + 3*j**4/8 + j**3/6 + 30*j**2 + 1. Is o(-12) a multiple of 3?
False
Suppose -47806*g = -47816*g + 2240. Is 2 a factor of g?
True
Let t = -3 - -11. Let c(h) = -2*h - 162*h**2 + 7 + 163*h**2 - 4*h + 3. Does 11 divide c(t)?
False
Let o(n) = n**3 + 16*n**2 + 16*n + 17. Let l be o(-15). Suppose -3*a + 5*r + 3150 = 1244, 0 = 5*a - l*r - 3183. Does 7 divide a?
True
Let l(w) = -3*w**3 + 56*w**2 - 22*w - 6. Let c(y) = y**3 - 19*y**2 + 7*y + 2. Let r(j) = 8*c(j) + 3*l(j). Is r(14) a multiple of 50?
True
Suppose 0 = 4*p - q - 5, p + 6*q + 4 = q. Let a be (8 - p)*(-18)/(-42). Suppose a*m - v = 115 + 58, -3*m + 161 = -4*v. Is 30 a factor of m?
False
Let d(y) = y**3 - 12*y**2 + 18*y - 22. Let h be d(10). Does 9 divide (2 - h/(-15)) + (-3014)/(-55)?
True
Suppose -5*d + 24 = d. Suppose d*t - 5*r + 719 = 0, 2*t - 355 = 4*t - r. Is 8 a factor of (-1)/2*(-12 + t)?
False
Let r be (-1 + 19)/(-3) + 4. Let m be 32 - ((-3 - r) + -3). Suppose m*g = 31*g + 55. Is g a multiple of 11?
True
Suppose -5*h = 4*g - 1222, 2*h = 5*g - 0*h - 1577. Does 14 divide g?
False
Suppose 3*h = -5*t + 62 - 11, -4*t - h = -38. Suppose 2420 = -7*d + t*d. Does 77 divide d?
False
Let q(m) = -m**3 + 9*m**2 + 7*m + 14. Let i be q(10). Let d(x) = 3*x - 26. Let l(v) = 2*v - 27. Let k(g) = -3*d(g) + 2*l(g). Is 13 a factor of k(i)?
True
Suppose 56*v - 2*d = 61*v - 1341, 4*v - 1092 = -4*d. Does 16 divide v?
False
Let g(c) = -2*c**2 + 16*c + 17. Let y be g(-9). Let t = -169 - y. Is t a multiple of 24?
True
Let d be (1 + (-8)/6)/(2/(-18)). Suppose d*n = a - 59, n + 60 = 5*a - 165. Let q = -20 + a. Does 10 divide q?
False
Suppose -2*p + 60 = -5*p. Let s be (-3 - 36/(-20))/((-6)/p). Does 16 divide (-640)/30*(1 + s)?
True
Suppose 1122*y + 2512133 = 1295*y. Is 19 a factor of y?
False
Suppose 0 = 6*a - 7*a + 5*s + 8132, -3*a - s = -24428. Is a a multiple of 36?
False
Let q = -4609 + 9732. Is q a multiple of 3?
False
Suppose -23*k - 16*k = -16*k - 7636. Is k a multiple of 83?
True
Let f(i) = 77496*i**3 - 3*i**2 + 14*i - 10. Does 43 divide f(1)?
False
Let v be (1 - 2)*(2 - -3) - -41. Is (5 + -2)/(135/v)*5 a multiple of 3?
False
Let z = -247 + 268. Is 7 a factor of (-1407)/(-6)*24/z?
False
Let v(d) = -d**2 + 13*d - 15. Let n be v(10). Suppose 0 = -105*x + 108*x + n. Is (-1)/x - 2*(-778)/20 a multiple of 6?
True
Let a(r) = 2*r**2 + 5*r - 3. Let d be a(3). Suppose d*v + 72 = 27*v. Is 3 a factor of (v/16)/(2/(-44))?
True
Suppose 3*q - 5 = -u, 3*q = 2*q - 4*u + 20. Suppose q = 4*v + 4*n - 16, -v + 2*n = v - 24. Is 8 a factor of v?
True
Let g(f) = 97*f - 481. Let u be g(5). Suppose 7388 = 4*z + u*o, 7*o - 11*o = -3*z + 5576. Is 45 a factor of z?
False
Suppose 2*g + 2*l = 21978, -4*g + 850*l = 845*l - 43920. Is g a multiple of 65?
True
Is 9878/4 - 895/358 - 10 a multiple of 13?
True
Let n = 153 - 149. Suppose -4*u = -2*z + 320, -z - 513 = -n*z - 5*u. Is z a multiple of 7?
False
Let i = -9279 - -13031. Is i a multiple of 60?
False
Let z = -12515 - -22379. Does 274 divide z?
True
Suppose 2*g + 3*j - 19000 = 0, -3*g - 85*j + 28424 = -90*j. Does 16 divide g?
True
Suppose -32716 = -4*u - 4*a, -6*a + 9 = -3*a. Is 40 a factor of (8/(-14))/((-4)/u*8)?
False
Let m(b) = -49*b - 69. Let w(p) = 146*p + 207. Let k(a) = 11*m(a) + 4*w(a). Is 12 a factor of k(11)?
True
Let a(k) be the first derivative of 71*k**3/3 - k**2 - k + 151. Let t(v) = v**3 - 4*v**2 + v - 3. Let y be t(4). Is 9 a factor of a(y)?
False
Is 328 a factor of -6 + -21 + 9 + 45282?
True
Suppose 4*v - 24 = 16. Let n be 1876/v - 6/10. Suppose 6*m - n = -7. Is 23 a factor of m?
False
Suppose 4*c - 4*u - 7497 - 42923 = 0, -2*c - 3*u + 25185 = 0. Is 42 a factor of c?
True
Suppose 7*y - 5*c - 12615 = 0, -4*c + 6924 = 5*y - 2117. Is 7 a factor of y?
False
Suppose 22*k - 81631 = 428923. Is k a multiple of 23?
True
Let i be 38/4*3*(44 + -40). Suppose 0 = 3*r - i - 84. Is 6 a factor of r?
True
Le