be the first derivative of m(q). Is n(-4) a multiple of 13?
False
Let v = 1950 + 2670. Does 12 divide v?
True
Suppose 7*h = 9*h + 16614. Let q be h/(-13) + (-2)/(4/(-2)). Suppose 4*f = -6*f + q. Does 8 divide f?
True
Let d = 20 - 15. Suppose 2*u + 91 = -0*u - d*b, 4*u = 2*b - 218. Let a = 16 - u. Is 11 a factor of a?
False
Suppose -5*h - 4*i = -3*i - 51, -2*i = 8. Let x be (-2)/2 - (-22)/h. Is (x*18/(-15))/(2/(-200)) a multiple of 10?
True
Let p(u) = 48*u**2 - 1260*u + 13. Is p(27) a multiple of 5?
True
Let b = -218 + 223. Is 1465/10*(b - 3) a multiple of 65?
False
Suppose 0 = -85*c + 82*c + 12. Suppose z + z = n - 190, -c*n + 730 = -2*z. Is 3 a factor of n?
True
Suppose 30*b - 11468 = 38482. Does 5 divide b?
True
Let z(y) = -122*y - 38. Let n(x) = -2*x**2 + 83*x + 116. Let b be n(43). Is 39 a factor of z(b)?
False
Let m = 368 + -365. Suppose a + 2434 = 31*c - 28*c, c - m*a - 822 = 0. Is c a multiple of 30?
True
Suppose -2861 + 996 = -5*s. Suppose -w - 2845 = -5*r, -4*r - 3*w + 1884 + s = 0. Is 71 a factor of r?
True
Let b(c) = -c**3 + 14*c**2 - 11*c - 20. Let m be b(13). Let p be (-6)/(-4)*(-7)/(-21)*m. Let n(x) = x**3 + 2*x**2 - 3*x + 4. Is 9 a factor of n(p)?
False
Suppose -7*i - 65472 = -103177 - 116015. Is 18 a factor of i?
True
Suppose -366*b + 362*b - 4*h = -22700, 5*b = -h + 28351. Does 5 divide b?
False
Let l = -419 + 578. Let x = l - -640. Does 55 divide x?
False
Suppose -v + 6 = -4*d - 3, -v = 3*d + 12. Let p(l) = -2*l**3 - 2*l**2 - l - 1. Let t be p(v). Suppose 2*q = 10 + t. Is q a multiple of 8?
True
Let w(l) = 12 + 2*l**3 - l**2 - 4 - 15*l - 6*l**2 + 20*l. Let q(r) = r**3 - 7*r**2 + 5*r + 7. Let j(p) = -3*q(p) + 2*w(p). Is j(-7) a multiple of 4?
False
Suppose 311*w - 314*w = -6. Suppose -3*f + 60*i - 65*i = -4400, 4 = -w*i. Is f a multiple of 98?
True
Let j(i) = 3*i - 21. Let s(y) = 11*y - 83. Let f(c) = 9*j(c) - 2*s(c). Let r be f(11). Let v = r - -20. Does 13 divide v?
True
Is 68 a factor of 6/(-54) + 3*(-6 - 97070/(-135))?
False
Suppose 3*u = -j + 2361, 3*u - 2321 - 49 = 2*j. Does 22 divide u?
False
Suppose 21 = -b + 25. Suppose -b*d - 13*p + 110 = -11*p, d - 5*p = 55. Is d a multiple of 23?
False
Suppose 4*j = 3*p - 72477, -j - 62081 = -2*p - 13773. Is 42 a factor of p?
False
Suppose o + 5*g = -4*o - 545, 0 = o - 3*g + 105. Does 9 divide 84/18*o/(-8)?
True
Let y = -113 + 173. Let l = 92 - y. Let x = -21 + l. Does 2 divide x?
False
Let r be -10*(-2)/30 + (-424)/6. Let o = -82 - r. Let w(u) = -16*u - 61. Does 17 divide w(o)?
False
Suppose -5*m = -3*k + 959, -2*k + m + 197 = -447. Let p = k + 34. Does 14 divide p?
False
Let g = -98 + 113. Suppose 7*j + 1904 = g*j. Does 77 divide j?
False
Let s(y) = y**3 - 2*y**2 + 39*y - 261. Is 25 a factor of s(10)?
False
Let g = 838 - 792. Is ((-4)/g)/(-1) + 92730/69 a multiple of 24?
True
Let h(v) = 16*v - 9. Let k(w) = 4*w**3 - 8*w**2 + 9*w + 1. Let p be k(2). Does 50 divide h(p)?
False
Is (-74808)/(-1039)*(-3)/(-2)*(-2820)/(-27) a multiple of 7?
False
Is 527 + 2 + (-111)/111 a multiple of 12?
True
Let i(w) be the third derivative of 0 + 0*w**3 + 0*w**5 - 1/24*w**4 + 23/24*w**6 + 0*w - 5*w**2. Is i(1) a multiple of 13?
False
Suppose 0 = -9*z - 1927 + 15751. Let q = z + -1031. Does 13 divide q?
False
Suppose p = 278*u - 276*u + 5473, 3*u - 15 = 0. Is 35 a factor of p?
False
Let n(t) = -475*t + 3762. Is n(4) a multiple of 17?
False
Let s(m) = -m - 3. Let w be s(-13). Let h be (w/(-14))/((-2)/14). Suppose 2*j = -k + 47, h*k - 103 + 12 = -4*j. Is j a multiple of 3?
True
Let p(d) = -6*d + 22*d**2 - 8*d**2 - 7 - 18*d**3 + 19*d**3. Let q be p(-14). Let l = q + 119. Does 28 divide l?
True
Let t(c) = 2*c + 3. Let k be t(0). Let z(v) = -6*v - 11. Let j be z(-2). Suppose 0 = k*h - a - 53, a + 0*a = j. Does 18 divide h?
True
Suppose 58*o - 96*o + 46*o - 66720 = 0. Is o a multiple of 21?
False
Suppose 2*h = -10, -7*q + h - 190 = -2*q. Is 13 a factor of 0/(-3) + q/6*-118?
True
Suppose 5*a - 10 = -3*t, -3*a - 4*t = -7 + 1. Suppose -a*z - 62 = 3*h - 919, 0 = 5*z + 5*h - 2130. Is 26 a factor of z?
False
Let i = -4262 + 10680. Is i a multiple of 9?
False
Suppose 4*b = 9*x - 12*x + 2769, -4*b = -5*x - 2809. Is b a multiple of 6?
True
Suppose 3*p + 4*s = -0*p + 7038, -5*p + 4*s + 11762 = 0. Suppose 4*k = 14*k - p. Does 18 divide k?
False
Suppose 5*j = 1 - 41. Let s be (j/10)/((-6)/15). Is 9/(7/21 - s/(-12)) a multiple of 9?
True
Suppose 21*h + 12 = 18*h. Is (h/6 - 0)*(-2580)/40 a multiple of 5?
False
Let r(u) = -159*u**3 - 12*u**2 - 12*u + 103. Is 11 a factor of r(-4)?
False
Let f = 3661 - 941. Suppose -27*c + 7*c = -f. Is c a multiple of 48?
False
Does 15 divide (-827900)/(-170) - (-18)/(-1)?
False
Let c be -3 + (-25)/(-5) + 0 + 2. Let h(t) = 38*t**2 + 2*t - 1. Is 51 a factor of h(c)?
False
Let y(k) = 84*k + 10197. Does 15 divide y(103)?
False
Let l(u) = -u**2 + 11*u + 4. Let s be l(12). Let b be 24*s*(-2)/(-12). Let d = 50 + b. Does 6 divide d?
True
Does 25 divide (25971 + 5)/8 - 5?
False
Suppose 4*a - 5 - 3 = 0. Let x = -898 + 928. Suppose 2*j - 114 = -3*g, -a*j - 176 = -5*g + x. Is g a multiple of 10?
True
Suppose -3*m - 3*u = -8*m + 8717, -5*m - 4*u + 8689 = 0. Let o = m + -495. Is o a multiple of 14?
True
Is 1/(-5) - (122952/(-60) + -28) a multiple of 67?
True
Let z(u) = u**3 + 18*u**2 + 11*u + 23. Suppose 0*r + r - 55 = b, 5*r + 189 = -3*b. Let x = 41 + b. Is z(x) a multiple of 25?
True
Suppose 21*g = 17*g + 1140. Let c = 670 - g. Is c a multiple of 35?
True
Let q(a) = 2*a**3 - 2*a**2 + 9*a + 5. Let n be q(5). Suppose 8*i + 50 = n. Suppose 24*f + 102 = i*f. Is 17 a factor of f?
True
Let f(y) = -2*y**3 + 14*y**2 - 16*y + 13. Let g be f(16). Does 25 divide (-33)/(-55) - g/15?
False
Suppose 2*r + 10 = -5*v, 4*r + 8 = -0*r - 4*v. Suppose -21*b + 17*b + 168 = r. Does 7 divide b?
True
Suppose -5*a - w + 111593 + 31227 = 0, 0 = -4*a - 3*w + 114245. Is 237 a factor of a?
False
Let c = -161 + 163. Suppose 3*u + c*s - 200 = 0, -153 - 72 = -3*u + 3*s. Is 2 a factor of u?
True
Let g be (3 + 1)*(-13)/26. Let z(s) = 151*s - 15. Let m(q) = -227*q + 22. Let o(a) = -5*m(a) - 8*z(a). Does 12 divide o(g)?
True
Let v be 6515/(-2) + 1 - (-10)/(-4). Let x = -2181 - v. Is 14 a factor of x?
True
Let x = -139 + 500. Suppose 3*g = -n + x, -4*n + 9*g = 7*g - 1472. Is n a multiple of 27?
False
Let w = -1155 + 2200. Let u = -268 + w. Suppose -2*l - m + 783 = 2*l, -m - u = -4*l. Is 13 a factor of l?
True
Is 108 a factor of (17 - -2557) + 40/(-5)?
False
Is 62 a factor of (85/170)/(1/120754)?
False
Let a be 8/(-60) + (-849)/45. Let g(w) = 5 + 4*w + 11*w - 5 + w**2 - 20. Does 14 divide g(a)?
True
Let n(l) = -14*l - 56. Suppose -8*c - 32 = -6*c. Is n(c) a multiple of 8?
True
Suppose 5*i + 3*r + 9 = -2, 2*r + 3 = i. Let p = 5 + i. Suppose -2*t = -2*l - 98, -p*t + 222 = l + 6. Is t a multiple of 14?
False
Let p = 361 + -356. Suppose -6*l + p*u = -4*l - 1286, 3*l - 1912 = -u. Does 62 divide l?
False
Suppose 17315920 = 1247*j - 984*j. Is j a multiple of 10?
True
Let u(b) = -b + 15. Let o be u(-11). Suppose -o*m + 20*m = -12. Suppose m*q - 258 = -4*q. Does 21 divide q?
False
Let m be ((-30)/18)/((-30)/54). Suppose 5*b - 576 = -9*f + 5*f, 0 = m*b + 2*f - 346. Is 9 a factor of b?
False
Suppose -13423 = -l + 4*m, 4*l + 8206 = 4*m + 61898. Does 184 divide l?
False
Let i be 2*(-3)/(-3)*1/2. Let f be (-2)/i + (18 - 13). Suppose -g - f*g = -212. Is g a multiple of 15?
False
Let q = -5814 - -8410. Suppose -6*k = -q - 554. Is 15 a factor of k?
True
Let i be (2 + 0 + -3)*(95 - -7). Let s(b) = -b**3 - 5*b**2 + 5*b. Let r be s(-6). Let g = r - i. Is 12 a factor of g?
True
Let g(d) = -d**3 - 9*d**2 + 23*d - 30. Let v be g(-13). Let y = -203 + v. Is y a multiple of 24?
True
Let l(h) = -2*h + 36. Let o be l(17). Suppose -o*u - 6*u - 24 = 0. Is 14 a factor of u/((-660)/218 + 6/2)?
False
Suppose -4*n + w + 809 = 150, 5*w - 805 = -5*n. Let j be -8*-1*n/8. Let l = j - 115. Is l a multiple of 16?
False
Let v = -150 - -284. Let g = 71 + v. Is g a multiple of 6?
False
Let n = -75 - -71. Does 10 divide 29640/(-171)*9/n?
True
Let v(l) = 38*l**2 + 23*l - 112. Let q be v(6). Let m = q - 904. Is m a multiple of 70?
True
Is 16104 - (23 + -19 - (1*18)/3) a multiple of 83?
False
Let f(w) = -2*w**2 + 49*w + 16. Let x(k) = 4*k**2 - 48*k - 16. Let g(o) = -3*f(o) - 2*x(o