divide q?
False
Suppose 230 = 5*s - 5*r, 0 = -3*r + 1 + 2. Let q be (2 + -1)/(2/28). Is 3 a factor of s/7 - (-4)/q?
False
Let h(g) = -g**3 - 7*g**2 + 6*g - 14. Let t(c) = 2*c**3 + 13*c**2 - 11*c + 28. Let z(w) = 5*h(w) + 2*t(w). Does 6 divide z(-10)?
True
Let k(z) = 3*z + 5. Let o(y) = 16*y + 26. Let l(g) = -33*k(g) + 6*o(g). Let s(u) = u**3 + 5*u**2 + 3*u + 6. Let f be s(-5). Does 9 divide l(f)?
True
Suppose -267 = -4*o + 3*m, -23 + 164 = 2*o + m. Suppose 4*q = o + 43. Is 14 a factor of q?
True
Suppose -j = -0*j - 2. Suppose -j*p + 48 = 20. Suppose 0 = -5*o - 2*y - p + 44, -3*o + 29 = -y. Does 7 divide o?
False
Suppose v - 57 = -4*n, v + 3*v - 2*n = 210. Is v a multiple of 11?
False
Let z be ((-32)/24)/((-2)/6). Let f = 1 + z. Is 2 a factor of f?
False
Suppose -4*r - 4*x = -224, r - 4*r - 5*x = -176. Suppose -4*w + r = 2*t - 6*t, -5*t = -4*w + 57. Suppose -w*p + 3*p + 75 = 0. Is p a multiple of 15?
True
Let o(r) = -r + 15. Is 6 a factor of o(8)?
False
Suppose 3*r - 24 = 6*f - f, 2*r - 16 = 4*f. Does 8 divide r?
True
Let v(a) = -9*a - 1. Let w be v(1). Is 20 a factor of (-2)/w - (-447)/15?
False
Let p(r) = r**3 + 8*r**2 + 4. Let x be p(-8). Suppose 15 = 9*c - x*c. Suppose -z + y + 7 = 0, -c*y + 0*y = 5*z - 3. Is 3 a factor of z?
True
Does 12 divide 1/(-7)*-424 + 40/(-70)?
True
Let w(y) = -y**3 + 8*y**2 + 5*y + 2. Let b be w(6). Suppose 3*f - 5*f + b = 0. Is 13 a factor of f?
True
Let l = -3 + 9. Let h be (6/4)/(l/204). Suppose -h = -2*r + 51. Is 17 a factor of r?
True
Suppose 3*i + i - 76 = 0. Let l = -6 + -6. Let u = i + l. Is u a multiple of 7?
True
Suppose 3*h - 633 + 138 = 0. Suppose -4*j + u = -h, -17 + 128 = 3*j - 5*u. Is j a multiple of 21?
True
Suppose -h - 5*g = 4*h - 40, 17 = 4*h + g. Suppose -l - h*l = -48. Is 9 a factor of l?
False
Suppose -3*m - 3*x + 118 = -80, -m + 5*x + 36 = 0. Is m a multiple of 22?
False
Let o be (-2)/5 + 14/10. Suppose 0 = 5*u - 25, d + o = -d + u. Suppose -49 = -d*s + 7. Is s a multiple of 14?
True
Let i(y) = -3*y**3 - 2*y**2 + 2*y + 1. Suppose 2*k + 3*k + 4 = -2*b, 3 = -3*k - b. Is 13 a factor of i(k)?
True
Let t(d) = 5*d. Suppose 3*k + f = 6*f + 18, 0 = -k - 5*f - 14. Is 5 a factor of t(k)?
True
Let a be 1 + 2 + -22 + 5. Does 6 divide ((-12)/7)/(4/a)?
True
Let o be (-2)/4*(4 - -26). Let t be o/5 - (-8)/1. Suppose s - 5*n - 19 = -3*n, -4*s - t*n + 89 = 0. Is s a multiple of 9?
False
Let o(m) = m**2 + 5*m - 2. Is o(4) a multiple of 17?
True
Let c be ((-12)/(-15))/(4/1090). Let i = c - 151. Is 13 a factor of i?
False
Suppose 0 = -4*a + 2*v + 30, 0 = 5*a + 4*v - 48 + 4. Is a a multiple of 3?
False
Suppose -5*v - 12 = 3*j, 4*j = 5*v - 4*v - 16. Let h be (16/(-10))/(j/(-30)). Does 14 divide (-5)/(-30) - 166/h?
True
Is 4 + 512/(6 + -2) a multiple of 21?
False
Suppose -54 = -3*j + 5*z, -2*j - 5*z = j - 24. Is 13 a factor of j?
True
Let a(m) = m**2 + 7*m + 10. Let x be a(-4). Does 12 divide (-10)/15*171/x?
False
Does 18 divide 24/18*6/(-4)*-49?
False
Let c(h) = 80*h. Is 13 a factor of c(1)?
False
Let m = 9 + -5. Suppose 4 = -m*a - 8, 3*a = 5*l - 19. Suppose 2*p = -z + 1, -p - l*z = 2*p + 1. Is p even?
False
Let y(c) = -c**3 + 8*c**2 - 8. Let m = -3 - -11. Let r be y(m). Does 7 divide r/(-36) - 124/(-9)?
True
Suppose -3*t = -4 - 11. Let z(y) = -y**2 - 8*y - 8. Let h be z(-6). Suppose -h*f = -t*f + 14. Does 7 divide f?
True
Suppose -3*c + 2*y - 4*y - 93 = 0, c = y - 36. Let n = 57 + c. Does 13 divide n?
False
Let q be (-92)/(-1 + -2 + 2). Let t = -58 + q. Is 17 a factor of t?
True
Let c be 1*497 - (-4 + 3). Suppose 0 = -2*d - 2*q + 136, 0 = -5*d + 5*q - 118 + c. Is 24 a factor of d?
True
Does 29 divide (40/(-25))/((-2)/200)?
False
Suppose 2*t + 3*g - 13 = 0, -3 = t + g - 8. Suppose 3*p - a = 32, a - 22 = -t*p - p. Is p a multiple of 6?
False
Let r(o) = o**2 + 8*o + 12. Let i be r(-12). Suppose y - 5*d = 15, -d + i = 4*y - 6*d. Is 15 a factor of y?
True
Suppose 5*u + 2*k = 153, 3*k + 46 = -2*u + 4*u. Suppose -9 = 4*q - u, -5*l - 2*q = -140. Is l a multiple of 6?
False
Let x(w) = -w**2 - 11*w - 9. Is x(-8) a multiple of 15?
True
Let l = -57 + 200. Does 11 divide l?
True
Let q = -13 + 22. Does 4 divide q?
False
Let j(p) = -5*p**3 + 2*p**2 + 3*p + 4. Let t be j(3). Let x = t - -71. Does 11 divide x/(-9)*(-1 + 4)?
True
Let n = 65 + 152. Is n a multiple of 31?
True
Is 22 a factor of (-2232)/(-26) - 20/(-130)?
False
Is 40 a factor of 20/(-6)*279/(-6)?
False
Suppose 0 = 2*h - 4*h, -2*x + 132 = -4*h. Is x a multiple of 22?
True
Suppose 0 = -k - 0*k + 3. Suppose 0*l - 4*y = k*l + 20, -5*l - 5*y = 25. Suppose l*x = x - 7. Is 7 a factor of x?
True
Let q = 14 + -14. Suppose 3*z - d = -20 + 58, -24 = -4*z - 4*d. Let r = z + q. Is r a multiple of 11?
True
Suppose -3*g - 5*p + 136 = -3*p, 2*g + 2*p = 88. Is 8 a factor of g?
True
Suppose 0 = 4*y - 0*y + 36. Is 15 a factor of -2*39*6/y?
False
Let m = 78 + -48. Is 15 a factor of m?
True
Let p = -4 + -9. Let j = 3 + p. Is (j/8)/(-1)*4 a multiple of 5?
True
Suppose -4*v + 16 = 3*c, -c - 4 = -3*v + 8. Suppose -2*j = 3*b + 20, v*b + j + 15 = -15. Does 11 divide 1/2 - 212/b?
False
Is ((-144)/(-10))/((-17)/10 - -2) a multiple of 16?
True
Suppose 0*y = 2*y - 8. Suppose -13 - 27 = -y*b. Does 5 divide b?
True
Is (-20)/(-4)*7 - 1 a multiple of 8?
False
Suppose -150 = 2*v - 4*v. Does 15 divide v?
True
Let w(h) = h + 4. Let x be w(-7). Let i(q) = -q**2 - 3*q + 2. Let c be i(x). Let v = c - 0. Is 2 a factor of v?
True
Let j be (-20)/(-6)*6/2. Suppose -2*s + j = 3*o, 3*s + 11 = -o + 3*o. Suppose -o*k = -6*k + 18. Is k a multiple of 8?
False
Suppose g - 83 = 1. Is 21 a factor of g?
True
Let m = 6 + -4. Suppose -t + 15 = m*t. Suppose -t*d + 245 = -5*y, -5*d - 4*y + 200 = -0*y. Is d a multiple of 22?
True
Let x = 1 - 3. Let l be 10/(1*x - -4). Suppose -l*b + 26 + 24 = 0. Does 7 divide b?
False
Let c(n) = 7*n**2 + 9*n - 4. Let j(h) = -6*h**2 - 8*h + 3. Let l(s) = -5*c(s) - 6*j(s). Let m be l(-3). Suppose -m*k + 12 + 40 = 0. Is k a multiple of 9?
False
Suppose 5*u - 450 = -3*l - 110, 4*u - 118 = -l. Is 12 a factor of l?
False
Suppose 28 = 5*u - 87. Let m = 212 - u. Suppose 5*k - m = -39. Is 15 a factor of k?
True
Let g(a) = -a**3 - 9*a**2 - 17*a - 8. Does 2 divide g(-7)?
False
Let y be -1*(0/(-3) + 3). Let j = 5 + y. Is -1 - (j/(-1) + -9) a multiple of 8?
False
Let o = 6 + -3. Let s = o - 2. Does 6 divide 1/(((-2)/(-12))/s)?
True
Let w(k) be the first derivative of k**4/4 - 2*k**3 + 2*k**2 + 7*k + 1. Let q be w(5). Suppose -6*i + q*i - 4*y = -124, -i = -y - 33. Is i a multiple of 20?
False
Suppose -4*n - 3*r = -208, 98 = 2*n + 5*r - 2*r. Let o = n - 36. Is o a multiple of 19?
True
Let t(w) = w**2 + 9*w - 16. Let h(a) = a**2 - a - 13. Let f be h(0). Is t(f) a multiple of 20?
False
Let u be (-20)/(-8) - (-2)/4. Suppose -5*r - u = 7. Is (-2 - -2) + (-26)/r a multiple of 13?
True
Let j(u) = u**2 - 7*u - 5. Let k be j(8). Let z = -3 - -14. Suppose z = -k*d + 47. Is d a multiple of 6?
True
Let t = 3 + -1. Suppose 15 = t*d + 3*d. Is 4/(-6) + 62/d a multiple of 8?
False
Let b be 52/12 + 4/6. Is 8 a factor of b + -3 + (-28)/(-2)?
True
Let s(v) = 2*v**2 - 2*v - 2. Let w be s(2). Suppose -45 = -g + w. Is g a multiple of 20?
False
Let d be (-1)/3*5*-3. Let s = -35 + 52. Let p = d + s. Is 11 a factor of p?
True
Let w(x) = x + 1. Let j be w(1). Suppose -j*g = -0 - 10. Is 4 a factor of g?
False
Let a = 120 - 79. Is a a multiple of 4?
False
Suppose -4*k + w = -2*k - 43, -k + 5*w = -17. Is k a multiple of 4?
False
Let g(l) = -l + 8. Suppose 30 = 4*u + 10. Let w be g(u). Suppose 2*r = -w*r + 55. Is r a multiple of 4?
False
Suppose 2*r = -4*s - 24, 3*r - 4*s + 24 = r. Let y = r - -37. Is 11 a factor of y?
False
Let j(t) = t**3 - 2*t**2 - 4*t - 2. Let m be j(4). Let r = m - -4. Does 6 divide r?
True
Suppose 3*j + 5*u - 3 = 4*u, -2*j - 4*u = 8. Suppose 44 = 2*n - j*y + 4*y, -131 = -5*n + 2*y. Is n a multiple of 7?
False
Suppose 0 = -9*a + 14*a - 465. Is 24 a factor of a?
False
Does 11 divide (-38)/(-2) + (-6 - -2)?
False
Suppose -d = 0, -3*m - d - 2*d = 15. Let a(z) = z**3 + 7*z**2 + 7*z + 3. Is a(m) a multiple of 15?
False
Suppose -3*m + 9 = -9. Suppose -4*a - 104 = -m*a. Is a a multiple of 20?
False
Suppose -3*z + 7*z - 20 = 0. Suppose 3*r + 6 = -z*s, 7*s - 4*s + 6 = -r. Suppose -72 = -0*d - 2*d - 4*n, 0 = 3*d - r*n 