g - 4*a - 20, -o*g + 2*a = g - 46. Is g a multiple of 9?
True
Let k(t) = -29*t - 7. Is k(-4) a multiple of 7?
False
Let n(i) = -5*i - 37. Let o(q) = -12*q - 69. Let k(d) = -6*d - 34. Let g(l) = -7*k(l) + 4*o(l). Let u(w) = 6*g(w) - 7*n(w). Does 13 divide u(0)?
False
Let a be 1/(-2) + (-11)/2. Is (-86)/(-6) + (-4)/a a multiple of 5?
True
Suppose 0 = a - 14 - 98. Does 36 divide a?
False
Suppose -4*i + 12 = -i. Suppose i*v = 3*x - 4*x - 4, -16 = -3*v + 4*x. Let b = 30 + v. Is b a multiple of 15?
True
Let k = -26 - -12. Does 17 divide (k/4)/((-1)/18)?
False
Suppose -63 + 18 = -3*b. Let t = b - 11. Suppose t*r - 10 - 66 = 0. Is r a multiple of 10?
False
Suppose 4*g - 5*g + 40 = 0. Suppose 0*q - 2*q = -g. Is q a multiple of 20?
True
Let x = -1 - -37. Is 36 a factor of x?
True
Suppose 4*l = 2 + 6. Is l even?
True
Let p = 5 + -5. Suppose p*g + 4 = 2*g. Suppose -20 = g*s + 2*s, -2*v = 2*s - 40. Does 9 divide v?
False
Let z(f) = -10*f - 9. Is z(-5) a multiple of 14?
False
Let y(n) = -3*n - 14. Let k(p) = -2*p - 9. Let s(t) = 7*k(t) - 5*y(t). Let a be s(-5). Suppose 3*q - w = 92, 2*q + 2 = -a*w + 74. Does 16 divide q?
True
Suppose 0 = 3*u - 6, -a - 58 = -5*a + u. Is a a multiple of 15?
True
Suppose -5*b + 21 = -99. Suppose 2*s = b + 28. Is s a multiple of 9?
False
Let n = 152 - 72. Suppose 37 = 2*h - v, 5*h - 2*v - 85 = -7*v. Is 13 a factor of (-6)/h + n/6?
True
Suppose -v + 14 = 3. Does 2 divide v?
False
Suppose 0*c = -c + 3. Suppose 5*s - c*u = 54, 4*s + 0*u - 46 = u. Does 12 divide s?
True
Let f(h) = -h**3 + 2*h**2 - 2*h - 6. Is f(-4) a multiple of 14?
True
Suppose 0*w - 2*p - 20 = 2*w, 5*p = 2*w - 15. Does 8 divide (-6)/(-10) - 62/w?
False
Let z = -7 + 30. Is 21 a factor of z?
False
Let z = 26 - 5. Let f = z + 3. Is 15 a factor of f?
False
Let x(l) = l**2 + 4*l + 2. Is x(4) a multiple of 17?
True
Let c(b) = b + 7. Let l be c(-9). Does 7 divide (4 + l)*(-28)/(-8)?
True
Let w be (1 - -68)*(-2)/(-3). Suppose 4*s + 0*s = 12, 5*s - w = -k. Suppose -4*d - 36 = -3*n + k, 20 = -5*d. Is n a multiple of 8?
False
Let j be -9*(-5)/(-6)*2. Is 4 a factor of ((-6)/j)/((-1)/(-15))?
False
Let s be 4/10 - 2554/10. Let k = s - -449. Is 15 a factor of (-1)/4 + k/8?
False
Let u(q) = -1 + q + 0*q**2 + 1 + 4 + q**2. Does 3 divide u(0)?
False
Let c(s) = 157*s**3 + 2*s - 1. Does 39 divide c(1)?
False
Let f(z) be the second derivative of -z**3/6 - z**2/2 - z. Let l be f(1). Is 3 a factor of (0 + 2)*(-7)/l?
False
Let j(r) = r**3 + 9*r**2 - 2*r. Is 9 a factor of j(-9)?
True
Is 19 a factor of (-150)/5*190/(-15)?
True
Let b(f) = 2*f**2 - 2*f - 1. Let a be b(2). Let t = a - 2. Let q = 1 + t. Is q even?
True
Let f be (-2)/7 + (-788)/(-14). Suppose -100 = -4*s + f. Is s a multiple of 13?
True
Let k(t) = -t - t**3 + 0*t**2 + 4*t**2 - 5*t**2 + 0*t**2 + 18. Is 7 a factor of k(0)?
False
Let d = -1 - 4. Is 17 a factor of (d*4)/(4/(-6))?
False
Does 2 divide 4/((-4)/3)*-1?
False
Let k = -2 + 14. Suppose k = a + 3*a. Is a a multiple of 2?
False
Let y = 26 + -24. Suppose -o - 2*q + 34 = 3*o, -2*q = -2*o + y. Does 6 divide o?
True
Does 22 divide -2*((8 - 3) + -16)?
True
Let x(d) = d - 3. Let c be x(2). Suppose 2*r - 86 = -4*s, 26 = 3*s - 4*r - 11. Is (-2 - -2 - s)*c a multiple of 9?
False
Suppose -26 = 4*f - 378. Suppose -m - 2*j + 26 - 7 = 0, -f = -4*m + 4*j. Is (-6)/m - 156/(-7) a multiple of 11?
True
Let y(t) = t**3 - 6*t**2 + t - 3. Let u be y(6). Let v = -2 + u. Let j(d) = 15*d**3 + d. Is 15 a factor of j(v)?
False
Suppose 0 = 4*i - 1 - 15. Suppose -119 - 293 = -i*v. Is 30 a factor of v?
False
Suppose -b = -5*m + 2*b + 375, -4*m + 2*b = -302. Is m a multiple of 26?
True
Let b = 171 - 105. Is 15 a factor of b?
False
Suppose 4592 = 21*p - 112. Is 23 a factor of p?
False
Let s = -14 - -71. Is s a multiple of 6?
False
Let z(s) = -s + 4. Let i be z(8). Let l(y) = -2*y**2 - y - 4. Let u be l(i). Is 10 a factor of (0 - -2)/((-4)/u)?
False
Let w(t) = -3*t + 5. Suppose 0 = -4*h + 34 - 2. Suppose 0 = -k - 2*k + 2*z - h, 2*z + 20 = -4*k. Is 13 a factor of w(k)?
False
Let k = -102 - -147. Let m be 1/4 + (-7)/(-4). Suppose 0 = -3*i - m*i + k. Is 9 a factor of i?
True
Suppose k = 4*k - 6. Suppose -u + k + 2 = 0. Suppose -5*f + 2*j = -36, 40 = -4*f + 8*f + u*j. Is 8 a factor of f?
True
Suppose -z + 6 = k - 0*z, 3*z - 9 = 0. Suppose -65 = -8*a + k*a. Is 4 a factor of a?
False
Is (15/6 + -3)*-158 a multiple of 12?
False
Suppose -1 = -4*f + 27. Suppose -4*r + f = -9. Is r even?
True
Let r = -3 - 0. Does 3 divide (1/(-2))/(r/36)?
True
Suppose 0 = -7*i + 2*i + 25. Suppose 0 = i*u - 10 - 0. Suppose -1 = v + u*m, -3*v + 37 = 2*v - 4*m. Does 2 divide v?
False
Suppose 0 = 8*f - 4*f + 68. Let p = 27 + f. Does 7 divide p?
False
Let c(p) = -6*p + 10. Does 14 divide c(-6)?
False
Suppose d - j = -2, -5*d + 0*j + j = -6. Does 8 divide 42 + -1 + (-1 - d)?
False
Let u(q) = q**3 + 4*q**2 - 6*q + 6. Let c be u(-5). Suppose -5*l + 24 = -c. Does 3 divide l?
False
Is ((-16)/10)/(11/(-550)) a multiple of 16?
True
Suppose 0 = 2*y - 1 - 3. Suppose -3*q = -0*q + f + 14, 0 = -y*q - 3*f. Is 13 a factor of 78/4*q/(-9)?
True
Let m(j) = j. Let v(x) = -3*x - 15. Let d be v(-9). Does 3 divide m(d)?
True
Let g be (1*-3)/(21/(-14)). Let d = 4 - g. Suppose 122 = 5*h + d. Is h a multiple of 11?
False
Let k = -3 + -9. Let s = k - -20. Is s a multiple of 8?
True
Suppose 0 = 4*o - 4*y + 16, 4*o + y - 9 = -50. Let b be 6*1*(-2)/(-2). Is (o/b)/((-6)/20) a multiple of 3?
False
Suppose 2*g + 0*z + 4*z = 52, -100 = -5*g - 4*z. Is g a multiple of 6?
False
Let b be ((-2)/2 - -1) + 0. Suppose 14*h + 25 = 19*h. Suppose -h*c + 65 = -b*c. Is c a multiple of 9?
False
Let x = -104 + 45. Let w = -27 - x. Is w a multiple of 8?
True
Suppose 0 = i + 3*s - 114, -3*i + s = -0*s - 292. Is 6 a factor of i?
False
Suppose 2*z - 20 = 34. Is 9 a factor of z?
True
Suppose 5*a + 40 = 145. Is 7 a factor of a?
True
Let y(d) = 9*d**3 - 2*d**2 - 2*d. Let l be y(2). Let i = -41 + l. Is 7 a factor of i?
False
Is 21 a factor of 10 + -12 + 1*52?
False
Suppose -328 = -2*s + 2*j, 4*s + 0*j = j + 659. Is s a multiple of 11?
True
Let o(r) = r. Let h be o(5). Let u(d) = -d**3 + 6*d**2 + 2*d + 7. Is 16 a factor of u(h)?
False
Let k(h) be the second derivative of h**6/720 + 3*h**5/40 - h**4/3 + 4*h. Let y(a) be the third derivative of k(a). Is y(7) a multiple of 14?
False
Let j = 4 + -1. Suppose 4*m - j*m = 38. Is m a multiple of 19?
True
Suppose 8 + 16 = 4*q. Suppose 4*x - q = 2. Is 19 a factor of 20/15*57/x?
True
Suppose 4*m + 3*f + f - 836 = 0, m + 5*f = 217. Is m a multiple of 9?
True
Suppose -3*f = z - 4, -f - 9 + 3 = 4*z. Let j(a) = -a + 2*a + 2*a**2 + 0*a. Does 3 divide j(z)?
True
Let v = -2 + 11. Let m = v + -6. Suppose -o + 67 = r, 5*r - 2*o = -m*o + 331. Does 24 divide r?
False
Let v = -2 + 14. Does 7 divide v?
False
Let m = 98 - 82. Is 7 a factor of m?
False
Suppose -f + 2 = -2. Let o be 287/3 + (-5)/(-15). Suppose -f*n + o = -0*n. Is 12 a factor of n?
True
Let c(h) = 29*h**3 + 2*h**2 - h. Let i be c(1). Let v = i + -10. Does 10 divide v?
True
Let i = 58 - -26. Is 14 a factor of i?
True
Suppose 0*u + 5*u - 12 = 2*g, u = g + 6. Let p = 7 - g. Is 6 a factor of p?
False
Let n = 2 + -2. Let g be 3*6 - (2 - n). Let y = g + 2. Is y a multiple of 7?
False
Let g = 110 - -160. Does 16 divide g?
False
Let r(n) be the first derivative of -5*n**2/2 + n - 2. Let b be -2 + ((-16)/2)/4. Does 13 divide r(b)?
False
Let w(c) = -c**3 + 5*c**2 + 6*c - 3. Let u be w(6). Let t = u + 2. Does 4 divide t/1 + 2 + 3?
True
Suppose 62 = -2*h + 4*h. Is 19 a factor of h?
False
Is 4 a factor of (-32)/(-1) - 0/(-10)?
True
Suppose -2 = f - 1. Is 19 a factor of (-1)/f*(38 + 1)?
False
Suppose 0 = 2*k - 6*k - 92. Let a = k - -34. Is 5 a factor of a?
False
Suppose 139 = 2*m + 3*q - 12, -5*m + 412 = -4*q. Is m a multiple of 34?
False
Is 18 a factor of (-321)/(-9) + 1/3?
True
Let o = -33 - -50. Is 8 a factor of o?
False
Let g = -1 - -4. Suppose -5*n = 3*r + 3, -2*r - r + 18 = -2*n. Does 7 divide 1 + n*(-17)/g?
False
Suppose -2*o + 306 = o. Is 7 a factor of o?
False
Let h(i) = -3*i**3 + 5 + 2*i**3 - 6*i**2 + 0*i**3. Let d be (1 - 10/5) + -5. Does 2 divide h(d)?
False
Let g = 21 + -15. Let f(w) = -w**3 - 3*w**2 - w + 3. Let l be f(-3). Is 4/l + 20/g a multiple of 2?
True
Let t(q) = -2 + 0*q**2 - q**2 + 0*q**