f (-20)/(r/(-12) + -3)?
True
Suppose -5*x + 58 = k, -x - 3*k = 2*k - 2. Is x a multiple of 4?
True
Let i(f) = f**2 - 8*f - 7. Let g be i(9). Is g/1 - 16*-3 a multiple of 25?
True
Suppose -z = -2*g + 1, -2*g - z + 11 = -0*z. Let h be -3 + 18/g - -48. Suppose 49 + h = 4*j. Does 25 divide j?
True
Let w(l) = -6*l + 2. Is w(-19) a multiple of 29?
True
Let h = 2 - -14. Suppose 7*m - h = 4*m - 2*c, -c + 2 = 0. Suppose 0 = m*x - 3 - 9. Is 3 a factor of x?
True
Let y(m) = m. Let f be y(6). Suppose 3*b - f*b = -36. Is b a multiple of 12?
True
Let q = -10 - -15. Let i(v) = 5*v - 1. Is i(q) a multiple of 8?
True
Let p(n) = -n + 17. Does 5 divide p(-3)?
True
Suppose -2*i + 3*i - 18 = 0. Is i a multiple of 17?
False
Suppose 4*f - 45 = -9. Does 5 divide f?
False
Let x(t) = 4*t. Let m(o) = -3*o + 1. Let d(p) = -5*m(p) - 6*x(p). Is d(-7) a multiple of 16?
False
Let p be (-1)/3 + (-40)/(-12). Suppose -5*g + 5 = 5*a, -4 = -5*a + a - 5*g. Does 7 divide (3 - (-14 - p)) + a?
True
Let m = 131 - 68. Is 37 a factor of m?
False
Suppose 4*m = 2*s - 126, -s + 3*m = -2*m - 72. Is 19 a factor of s?
True
Let u = 7 + -5. Does 6 divide (-4 - (u + -5)) + 9?
False
Let u(w) = 3*w**2 + 8*w - 7. Does 31 divide u(-7)?
False
Let b(l) = -2*l**3 - 15*l**2 - 7*l + 7. Is 4 a factor of b(-7)?
False
Let w(k) = 5*k + 4. Let l be w(6). Suppose -b - 5*g + 17 = 0, -2*b + 5*g + l = -0*b. Suppose 0 = 4*d - h - 64, 5*h = -3 - b. Does 10 divide d?
False
Let i = 176 + -116. Does 15 divide i?
True
Suppose 0 = -2*y + y + 81. Is y a multiple of 32?
False
Suppose -2*f + 3*r - 155 = -3*f, 4 = -2*r. Is 23 a factor of f?
True
Let n(j) = 2*j + j**2 + 2*j**2 - 5 + j**3 + 5. Let q be n(-2). Is 9 a factor of 32 + (-1)/(-1 + q)?
False
Suppose 7 = -b + 43. Does 9 divide b?
True
Let a be (-4)/(-18) - 61/(-9). Suppose -4*c = -a*c + 66. Is c a multiple of 11?
True
Suppose 0 = 5*b - 38 - 32. Let m be -3 + (2 - (3 - b)). Let d = -2 + m. Does 3 divide d?
False
Is 22 a factor of (-401)/(-3) + (-25)/15?
True
Is 2 a factor of (6/8)/(12/48)?
False
Let j be (-6 - -2)*(0 + 1). Let r be 9/(-1)*j/6. Is r - (-2 + 5 + -2) a multiple of 5?
True
Let s(w) = w**2 + 4*w - 12. Is s(-7) even?
False
Suppose 0 = 5*z + 2*f - 46 - 86, 0 = -3*z + 5*f + 73. Does 13 divide (2 - 1) + z - -2?
False
Let s = -96 + 136. Suppose s = -3*m + 5*m. Is 7 a factor of m?
False
Let i = -177 + 272. Is 11 a factor of i?
False
Is (-6)/(-4)*266/21 a multiple of 9?
False
Let f(c) = c**2 + 4*c - 5. Let u be f(-6). Is 9 a factor of 1*u/(7/18)?
True
Does 13 divide 14 + -10 + (1 - -64)?
False
Suppose 6*j - j = 15. Let z be 2 + (7 - j) + -1. Let y(x) = -x**3 + 6*x**2 - 2*x - 6. Is y(z) a multiple of 3?
True
Let s be -3 + 2 + (325 - 0). Suppose 3*m - s - 327 = 0. Suppose 3*u + 3*r - 111 - 18 = 0, -5*u = 4*r - m. Is u a multiple of 19?
False
Suppose -55 + 155 = 5*q. Let o be 676/14 - 2/7. Is (o/30)/(1/q) a multiple of 13?
False
Let f(q) = -q**3 - 14*q**2 - 2*q - 19. Is f(-14) a multiple of 6?
False
Suppose 4*h = 5*h - 72. Let s be (2/(-12)*2)/(4/(-372)). Let w = h - s. Does 11 divide w?
False
Let r = 11 + -5. Suppose 0 = 3*y + 5*z + r, -z = z. Does 11 divide (-1)/y + 122/4?
False
Let j be (12/(-9))/((-4)/78). Let b = 29 + 7. Let r = b - j. Does 5 divide r?
True
Suppose -5*w - c = -29, -2 = w - 4*c - 12. Is 5 a factor of w?
False
Let o = -9 + 6. Let i = 10 + o. Is 7 a factor of i?
True
Suppose 2*d + 18 - 6 = 0. Let t(g) = -g + 1. Let w(s) = 2*s - 5. Let i(p) = 3*t(p) - w(p). Is i(d) a multiple of 22?
False
Let k be -6*6/(-4) + -3. Is k/(-27) + (-416)/(-9) a multiple of 12?
False
Let k = 6 + -3. Suppose k*b + 12 + 18 = 0. Let v(i) = -i**2 - 13*i. Does 10 divide v(b)?
True
Let g(b) = -b + 1. Let x be g(-3). Suppose -x*c + 9 = -7. Suppose c*d - 10 = 6. Is 3 a factor of d?
False
Let u(l) = -3*l + 3. Let d be u(3). Let o(i) be the second derivative of -i**3/3 - 4*i**2 - i. Is 4 a factor of o(d)?
True
Let l = -1 - -12. Suppose 5*q + 1 = l. Suppose 5*k = -5*g - 5, 0 = 4*k - 2*g - q*g - 36. Is 4 a factor of k?
True
Suppose -164 = -6*m + 40. Does 11 divide m?
False
Let n(a) = a**2 - 8*a + 7. Let f be n(5). Let m(d) = d. Let p be m(-8). Is 14 a factor of (-154)/f - (-2)/p?
False
Let t = 33 + -29. Suppose 0*m - t*m + 312 = 0. Does 13 divide m?
True
Suppose z - 4*y = 25, -3*z = -4*y - 9 - 26. Suppose -z*x + 50 + 45 = 0. Is x a multiple of 12?
False
Let o = -95 - -159. Does 16 divide o?
True
Let k = -7 + 11. Suppose 5*a = -25, -d + 0*d + 48 = -k*a. Does 11 divide d?
False
Suppose 5*g + 10 = -0*g. Suppose 0*m + 3*t = m + 3, -2*t = 4*m - 44. Is g/(-9) - (-142)/m a multiple of 7?
False
Suppose 0*w = -3*w. Suppose -k + 62 = -w*k. Is 24 a factor of k?
False
Let y(u) = u**3 + 8*u**2 - 6*u - 7. Does 13 divide y(-8)?
False
Let g = -1 - -4. Suppose 2*m = -g*n - 3 + 12, -1 = -n. Suppose 0 = m*c - 24 - 0. Does 8 divide c?
True
Let l(y) = 2*y**2 - 8*y - 3. Let u(p) = -p**2 + 6*p + 5. Let a be u(7). Let s = a - -8. Does 14 divide l(s)?
False
Let a(m) = m**3 + 14*m**2 - m + 2. Let b be (2*-2)/(6/21). Is 6 a factor of a(b)?
False
Suppose -81 = -4*s - 33. Does 6 divide s?
True
Suppose 3*z + 2*y + 2*y = -21, 0 = -5*z + y - 12. Let q(b) be the third derivative of b**5/20 + b**4/12 + b**3/6 + 3*b**2. Is q(z) a multiple of 11?
True
Let f = 51 - 24. Does 9 divide f?
True
Let m = 43 + -159. Is 9 a factor of (m/(-16))/(1/4)?
False
Let j be 6/2*(-4858)/21. Does 21 divide j/(-30) - 2/15?
False
Suppose -18 + 6 = 3*g, -4*g + 342 = 2*m. Does 38 divide m?
False
Let i = 4 + 7. Is i a multiple of 6?
False
Let a = 1 + 0. Suppose a = 4*m + 5. Does 4 divide 10 - (2 - 1)/m?
False
Suppose 204 = 10*i - 36. Does 7 divide i?
False
Let p(f) = 49*f - 3. Let s be p(2). Let w = 176 - s. Is 13 a factor of w?
False
Suppose 0 = -3*i + 16 + 11. Is ((-60)/i)/((-2)/6) a multiple of 18?
False
Let q(z) = z**3 - z**2 + z - 1. Let w(m) = 4*m**3 + 5*m**2 + 16*m - 2. Let y(v) = 5*q(v) - w(v). Let b be y(11). Let h = 15 - b. Is h a multiple of 18?
True
Is 5 a factor of (-22)/(-1)*(-36 + 38)?
False
Let j(o) = -10*o**3 + 2*o**2 - 1. Let f be j(-1). Suppose 2*n = f + 19. Does 9 divide n?
False
Let g be (3/3)/(2/(-8)). Does 10 divide 5/(g*(-1)/8)?
True
Is (-690)/(-9) + 4/(-6) a multiple of 19?
True
Suppose 44 = 2*p - 58. Is 4 a factor of p?
False
Does 7 divide ((-4)/6)/(213/(-207) - -1)?
False
Suppose -l - 5*t - 3 = -160, -l - 3*t + 159 = 0. Does 18 divide l?
True
Suppose 2*i + 288 = 6*i. Suppose -b + i - 12 = 0. Is b a multiple of 22?
False
Let v be 44 - (3 - 6 - -1). Let i = v + -16. Let r = i + 8. Is r a multiple of 12?
False
Suppose -1467 = -7*z + 52. Is 33 a factor of z?
False
Let k(s) = s - 1. Let q(b) = 20*b + 12. Let p(j) = j + 1. Let c(a) = 16*p(a) - q(a). Let v(r) = -2*c(r) - 9*k(r). Is v(-3) a multiple of 4?
True
Suppose -6 = -5*z + 9. Let d = 3 - z. Suppose 5*c - 261 + 16 = d. Is 11 a factor of c?
False
Suppose 0 = 4*b - 2*z - 30, 14 = 3*b - 2*z - 11. Is 15/(b - 2) + 0 a multiple of 2?
False
Let f(o) = -o**2 - 3*o - 4. Let j be f(-3). Let k(c) = 3*c**2 + 7*c - 10. Let u(p) = 5*p**2 + 11*p - 15. Let y(v) = -8*k(v) + 5*u(v). Does 9 divide y(j)?
False
Let l = -309 - -447. Suppose 4*q - 72 = -2*k, 5*k = 2*q + l + 6. Does 15 divide k?
True
Let r = -31 - -71. Suppose 4*m + r = 9*m. Is m a multiple of 4?
True
Suppose 0 = 2*c + 3*c - 15. Suppose 0 = 4*o - 5*o, c*s - 132 = 4*o. Is s a multiple of 11?
True
Suppose 2*r + 4*j = 24, 7*r - 4*r + 5*j - 37 = 0. Is r a multiple of 8?
False
Let z be (-1 - (-2 - 8))*3. Let i be (z/12)/((-9)/120). Is 5 a factor of 3/((-69)/i - 2)?
True
Is 278/6 + (-6)/(-9) a multiple of 11?
False
Does 14 divide 1/1 + (-27)/(-1)?
True
Let j(h) be the second derivative of h**3/6 + h**2/2 + h. Let p be j(0). Is (p - -12) + -2 + 1 a multiple of 6?
True
Suppose -4*o = -3 - 5. Suppose 5*t = -o*x + 49, -3*t = -2*x + t + 40. Does 11 divide x?
True
Suppose -3*r = 4 + 5, -3*r = -5*a + 9. Suppose 4*v = -5*i - 33, -2*i + 42 = -3*v - a*i. Is 554/10 + v/(-20) a multiple of 28?
True
Let i = -5 - -7. Let r be (i*1/(-2))/(-1). Is 3 a factor of (1/r)/((-1)/(-8))?
False
Suppose -2*g + 27 + 19 = 0. Is 12 a factor of g?
False
Let p = -1 + -3. Let o be (5/(-2))/(p/88). Suppose -8 = -f + o. Is f a multiple of 22?
False
Let w(b) = -b**3 + 4*b**2 + 5. Let a be w(4). Suppose -2*c + a*k - 45 = 0, c + 2*k + 3 = -2*k. Does 15 divide c*