 Let q = 4 + -12. Is o(q) a multiple of 29?
False
Let g(t) be the first derivative of -5*t**2/2 + 14*t - 13. Does 20 divide g(-15)?
False
Let a(d) = -325*d - 14. Let h be a(-1). Suppose 10*b - h = 2929. Is 26 a factor of b?
False
Let l = -85 - -83. Is 58/87*(-351)/l a multiple of 13?
True
Suppose -3*w = 26 + 10. Let m = w + 81. Does 11 divide m?
False
Suppose 3*l + s - 36 = -2*s, 0 = -5*l - s + 40. Suppose l*n - 2420 = -4*n. Is 14 a factor of n?
False
Suppose -240*f + 242*f = 268. Is f a multiple of 8?
False
Let z = -1 - 5. Does 37 divide z/33 + (-6115)/(-55)?
True
Let j(p) = -40*p + 56. Is 6 a factor of j(-15)?
False
Let m be (-1)/(-6) - 1771/(-66). Suppose -g + 40 = m. Is g a multiple of 4?
False
Let c(m) be the first derivative of m**5/60 - m**3/6 - 7*m**2/2 + 2. Let d(i) be the second derivative of c(i). Does 14 divide d(5)?
False
Let r be 6/8*-1*4. Let l(b) = -b**3 - 15*b**2 - 45*b - 11. Let g be l(-11). Does 20 divide r - (-44 - (g + -1))?
True
Suppose -5*r = 5*j - 2125, 3*j + 19*r - 18*r = 1275. Is j even?
False
Let p = -1660 - -2366. Is 53 a factor of p?
False
Let r = 54 + -35. Suppose r*v = 14*v - 60. Does 5 divide -4 + 16/v*-12?
False
Let c(x) = -21 - 20*x + 9 + 16*x. Is c(-11) a multiple of 16?
True
Suppose 14*l + l - 540 = 0. Does 12 divide l?
True
Let l(u) = u + 8. Let j be l(-8). Let m(s) be the first derivative of s**3/3 - s**2/2 + 14*s + 1. Is 5 a factor of m(j)?
False
Suppose 0 = -16*n + 2977 + 4495. Is 41 a factor of n?
False
Suppose 5*u - 10 = 3*u. Suppose -4 = u*r - 39. Is r a multiple of 6?
False
Suppose -3*j + 12*j - 72 = 0. Does 23 divide (j/5)/(6/(-540)*-3)?
False
Suppose 29*b + 30 = 26*b. Let h(u) = -u**3 - 9*u**2 + 7*u + 6. Is 12 a factor of h(b)?
True
Let n be (-9)/3 + 188*-1. Let t = n - -282. Is 18 a factor of t?
False
Let v be (12/(-7))/((-4)/14). Suppose -f + 159 = -v. Suppose f = 5*z + 5*u, 3*u - 100 + 29 = -2*z. Is 7 a factor of z?
True
Let v(a) = 3*a**2 - 19*a - 850. Does 40 divide v(35)?
True
Let g(y) = 13*y**3 - 2*y**2 + 2*y - 3. Let b be g(3). Suppose -13*q + 16*q = 0. Suppose -4*v + b - 88 = q. Is v a multiple of 29?
False
Suppose 0 = p + 3*q - 11 - 2, -5*q = 5. Let v = 6 - 3. Suppose a + v*a = p. Is a even?
True
Suppose 16*i - 1095 = -3*u + 13*i, 25 = -5*i. Does 5 divide u?
True
Suppose 4*s + 7629 = -239. Is 23 a factor of 9/15 + s/(-5)?
False
Let s = -162 + 176. Is 3 a factor of s?
False
Let l(u) = 2 - 4*u - 2*u**3 - u**2 + 2*u + 4*u. Let z = 246 - 248. Is 2 a factor of l(z)?
True
Let w(b) = 40*b + 3. Let z be w(-4). Let i = -35 - z. Does 39 divide i?
False
Let s = 7 - 6. Let x = s - 35. Let w = x - -60. Is w a multiple of 13?
True
Let p = 828 + -826. Suppose -x = -2, -2*o + x + x - 2 = 0. Let k = p + o. Does 3 divide k?
True
Let r(z) = 7*z**2 + 5*z**2 + 3 - 6*z - 3*z**2. Is 17 a factor of r(-3)?
True
Suppose -3*w = 5*l - 965, 3*l - 4*w + 579 = 6*l. Does 8 divide l?
False
Suppose 1368 = -11*q + 14*q. Does 46 divide q?
False
Suppose -6*j = 2 - 14. Suppose -j*a + 31 + 9 = 0. Is 7 a factor of a?
False
Suppose -13*j - 7843 = -24*j. Is 31 a factor of j?
True
Is 37 a factor of (2888/(-28))/((-6)/168)?
False
Let l = -86 - -147. Suppose -2*q = -q - l. Does 23 divide q?
False
Let b = -667 - -1009. Is b a multiple of 18?
True
Suppose 14*f + 9838 = 32182. Does 42 divide f?
True
Let a(f) = -17*f + 1. Let o = 12 - 9. Suppose 5*l + 4*d - 1 = 2*l, -o*l = 3*d. Does 6 divide a(l)?
True
Suppose 89*y - 91*y + 4 = 0. Suppose 2*r - 448 = y*x, 0 = r + r + 3*x - 443. Is r a multiple of 16?
False
Suppose 18*l + 30*l = 42672. Is 17 a factor of l?
False
Let c(b) = b**3 - 10*b**2 - 10*b + 9. Let i(o) = -o**2 + o - 1. Let z(y) = -c(y) + i(y). Let p be z(10). Suppose p*s = 3*s - 72. Does 12 divide s?
True
Let u be 106/13 - (-40)/(-260). Does 14 divide 245/42*-33*u/(-10)?
True
Suppose -5*r + 24 = r. Does 3 divide (0/2 + -6)*(3 - r)?
True
Let s be (-6)/(-12)*(0 + 0). Suppose -4*a - 90 - 196 = -2*c, s = -2*a + 4. Suppose c = 11*z - 8*z. Is 20 a factor of z?
False
Let l be (3/9)/(3 + (-132)/45). Let y(r) = -3*r + 35. Is y(l) a multiple of 4?
True
Let l be ((-15)/(-9))/(2/6). Suppose l = 5*s - 0, -2*a - s + 1695 = 0. Does 4 divide (-4)/14 + a/49?
False
Suppose w - 191 = -u, -6*w + w + 3*u + 971 = 0. Let i = -97 + w. Is i a multiple of 12?
True
Let v(l) = -2*l + 5. Let c(g) = -g + 2. Let p(j) = 5*c(j) - 3*v(j). Let z be p(7). Suppose 3*f - 36 = z*f. Is 12 a factor of f?
True
Let y(c) = -c**3 + 7*c**2 - 6*c + 8. Let d be y(6). Let v = 105 - d. Suppose -2*n + 4*b + 27 = -n, 0 = 4*n - 5*b - v. Does 7 divide n?
False
Let l = -38 - -70. Let r = 562 - 515. Let c = r - l. Does 15 divide c?
True
Let j = 48 - 132. Let w = j - -201. Is w a multiple of 14?
False
Let x(m) = -41*m - 2 - m**2 + 9*m + 21*m. Let g be x(-9). Suppose g*t = 11*t + 200. Does 10 divide t?
True
Suppose -5*y + 2404 = f, -22*y - 4*f + 1456 = -19*y. Is y a multiple of 30?
True
Is ((-54)/24)/((-15)/1120) a multiple of 4?
True
Let v be ((-12)/(-4))/((-6)/(-32)). Suppose 0*q + v = 2*q. Suppose 2*u + 81 = 5*r, q = -0*u + 4*u. Is r a multiple of 4?
False
Does 58 divide (-1730)/(-2) - (6 - 11)?
True
Let o = 181 - 83. Is o a multiple of 20?
False
Let g be 107/(-4) + 21/28. Let b be (3*1)/(27 + g). Suppose -204 = -2*t - b*m, -t = 2*t + 2*m - 311. Is 21 a factor of t?
True
Let p be (-1382)/(-6) + (-8)/(-12). Suppose -9 = -4*t + p. Suppose 0 = -2*a - 2*a + t. Does 7 divide a?
False
Suppose -5*y - 165 = 3*u - 686, 4 = 2*u. Is 5 a factor of y?
False
Let d(u) = 4*u**2 - 14*u**2 - 2*u + 11*u**2 - 7 + 0. Is d(6) a multiple of 15?
False
Suppose -4*l + 32 = 4*p, 2*p = -2*l - 2*l + 22. Let m(s) = s**2 - s - 4. Let g be m(l). Let r = g - -4. Is r a multiple of 3?
True
Let l(u) = 88*u - 3. Let w be l(1). Suppose w = -k + 4*k + 4*g, 3*g + 37 = k. Is k a multiple of 17?
False
Let u(h) be the second derivative of -h**5/20 + 5*h**4/4 - 5*h**3/2 + 8*h**2 - h. Let q be u(14). Suppose -r + 195 = q*r. Is r a multiple of 18?
False
Suppose -3*m + 4*w + 17 = 0, -2*m + 1 = -5*m - 5*w. Suppose 2*f - 69 = -3*f + m*n, 81 = 5*f + 3*n. Is 5 a factor of f?
True
Let k(g) be the second derivative of -g**4/12 - 3*g**3/2 + 2*g**2 - 5*g. Let x be k(-9). Is 21 a factor of x/(-4) - (1 + -44)?
True
Suppose -3*m + 50 + 7 = 0. Suppose -4 + m = 5*z. Suppose 2*r - 63 = -8*q + z*q, 4*q + 25 = r. Is 6 a factor of r?
False
Let n(u) = u + 10. Let f be n(-5). Let z = -17 - f. Is 15 a factor of z/(1 + 12/(-8))?
False
Suppose 4*b - 4*a = -6*a + 240, 3*b - 180 = 5*a. Is b a multiple of 15?
True
Let c be (-5)/10 - 10/(-4). Suppose 3*h = c*g - 35 - 11, -29 = -g + 3*h. Suppose g = -3*j + 44. Is j a multiple of 9?
True
Let v(z) = z**3 + 13*z**2 + 4*z - 15. Let f be v(-11). Let y = f + -84. Suppose -3*t - y = -4*a - 6*t, a - 5*t - 19 = 0. Is a a multiple of 4?
True
Let r(d) = 2*d**2 + 22*d + 22. Let s be r(-9). Let b = s - -39. Is b a multiple of 5?
True
Let i(l) be the first derivative of 3*l**3 + l**2/2 - 3*l + 10. Is i(-2) a multiple of 20?
False
Let s be 216/(-7) + 4/(-28). Let b = s + 40. Is b a multiple of 6?
False
Let n(t) = t**2 + 9*t - 4. Is 9 a factor of n(-16)?
True
Suppose 0*z + 1152 = 2*z. Is z a multiple of 48?
True
Let s(w) = -2*w. Let i be s(-1). Let t be -1 + i + -1 + -3. Let c(a) = -a**3 + 3*a**2 - a + 2. Does 14 divide c(t)?
False
Suppose -5*c + 361 = 4*g, 82*g + 3*c - 179 = 80*g. Is g a multiple of 20?
False
Is 9 a factor of ((-124)/124)/((-1)/2818)?
False
Let s be 1*167 + (-7 + 2 - -2). Let l = s + -101. Is 5 a factor of l?
False
Let l(o) = 2*o - 17. Suppose 10*n - 25 = 9*n. Is l(n) a multiple of 6?
False
Let v(i) = -3 - 15 + i**2 + 3*i + 2*i. Does 8 divide v(5)?
True
Let y(l) = -l**3 - 8*l**2 + 10*l + 11. Suppose 0 = -2*p + 4*u - 38, -2 - 49 = 4*p - 3*u. Let k be y(p). Let g = k - -9. Is g a multiple of 4?
False
Let a(z) be the third derivative of z**6/120 + 3*z**5/20 - z**4/24 + 2*z**3 + 5*z**2. Is a(-9) a multiple of 7?
True
Suppose 0*f + 16830 = -6*f. Is 24 a factor of ((f/(-6))/(-5))/(2/(-4))?
False
Suppose -5*a + 1 - 262 = -4*o, -2*a + 5*o = 101. Let j = a + 206. Is 24 a factor of j?
False
Let i = 694 + -496. Is i a multiple of 9?
True
Let j be (3 + 1 - -166) + -3. Let h = 236 - j. Is h a multiple of 23?
True
Let u(z) = 30 - 5*z - 10*z + 23*z - 11*z. Is u(9) even?
False
Let g(h) = -12*h - 21. Let r be g(-2). I