-22)/h)/((-5)/20)?
True
Suppose -6*k + 4*k + 408 = 4*s, -4*s + 612 = 3*k. Let j be 0 + -2 - k/(-17). Is -210*j/25*-1 a multiple of 25?
False
Suppose -2*i - 2*t - 46 = i, -t = 2*i + 30. Let k = i - -11. Let f = k - -63. Does 20 divide f?
True
Suppose -7*t + 1405 = -3*t - 3*a, -15 = -3*a. Is 6 a factor of t/30 + (-5)/(-30)?
True
Suppose -5*q = z - 95, 4*q + 2*z + 2*z - 92 = 0. Suppose 2*t + 2*c - c = q, -4*t - 4*c + 28 = 0. Does 11 divide t?
True
Is 323 + 13 - (6 - 0) a multiple of 17?
False
Suppose 2*c + c - 12 = 0. Suppose c*q = 11*q + 42. Is 6 a factor of ((-2)/3)/(q/162)?
True
Suppose c + 3*u = -2*c + 132, -5*c + 3*u + 180 = 0. Let s = 1 + c. Does 20 divide s?
True
Let i(c) = 8*c**3 - 2*c**2 - c + 2. Suppose d + 4*d - 5 = 0. Does 7 divide i(d)?
True
Suppose -709 = -4*l + 5*d + 14, -l + 3*d + 172 = 0. Is l a multiple of 3?
False
Let b(d) = 5*d**2 + 16*d - 1. Let i be b(-8). Let y = 310 - i. Does 17 divide y?
True
Suppose 8 + 2 = 5*p. Let a(i) = i**3 + 6*i + 4*i**2 - 15*i**2 + 4*i**p. Is 21 a factor of a(7)?
True
Suppose -3*k = -4*k + 2. Let c(f) = 22*f - 3. Let t(n) = -22*n + 3. Let m(h) = -2*c(h) - 3*t(h). Is m(k) a multiple of 10?
False
Suppose -5*s - 2*u - 34 + 6 = 0, 0 = -3*s + u - 8. Is (-140)/(-15) + s/3 a multiple of 8?
True
Let s(f) = 2*f**3 - 16*f**2 - 4*f + 56. Is s(13) a multiple of 43?
False
Let s(i) = 50*i**3 - i**2 + 2*i. Suppose -10*d - 4 = -14*d. Is s(d) a multiple of 17?
True
Suppose -2*f = -4*z + 743 + 57, 0 = z + 3*f - 186. Does 33 divide z?
True
Suppose 0 = 4*d - 409 - 1895. Is d a multiple of 6?
True
Suppose 5*i = -3*f + 954, f - 322 = -4*i + 444. Is i a multiple of 6?
True
Suppose -5*z - 3 = d + 2*d, 0 = -2*z - 5*d - 5. Suppose 3*o + 23 - 140 = -4*x, -5*x + 3*o + 180 = z. Does 11 divide x?
True
Let c(d) = 32*d - 3 + 32*d + 18*d**2 + 30*d - 95*d. Is c(-3) a multiple of 30?
False
Let s(q) = -q**3 + 6*q**2 + 2*q + 6. Let z be s(5). Let g = z + -19. Suppose -g = -2*k - 2. Is k a multiple of 10?
True
Suppose c = x + 363, 4*x + 362 = c + 2*x. Is 20 a factor of c?
False
Let s(l) = 167*l**3 + 3*l**2 + 3*l - 3. Let f be s(-3). Does 10 divide 4/14 - f/49?
False
Is 29 a factor of (-3 - -9 - -1965)*(-3)/(-9)?
False
Suppose 3*r + 2*f = -305, 0 = -f + 5 - 6. Let y = -75 - r. Is y a multiple of 5?
False
Let j = -69 - -38. Let x = j + 147. Does 31 divide x?
False
Let h be (-3 - (2 - 6))*5. Suppose 120 = -h*p + 30. Does 6 divide p/15*(-11 + -4)?
True
Does 13 divide -586*((-20)/(-8) - 3)?
False
Let z(h) be the first derivative of 73*h**2/2 - 11*h - 25. Is 15 a factor of z(2)?
True
Does 19 divide 3226 + -1 - (119/7 - 10)?
False
Suppose 3*v + 74 = -217. Let p = v - -35. Is (18 - 14)/((-4)/p) a multiple of 17?
False
Suppose 6*b - 3601 = 7505. Is 29 a factor of b?
False
Let m = -10 + 12. Let g(v) = 36*v - 2. Let j be g(m). Suppose -4*w - 40 = -0*q - 3*q, 5*q - j = 5*w. Does 16 divide q?
True
Suppose 4*m - 3*m = -t + 8, -3*m + t = -36. Let j = m + -1. Suppose j = -3*f - 2*f, -40 = -3*r + 5*f. Is 10 a factor of r?
True
Does 78 divide (5 - (-271)/(-3))/(14/(-63))?
False
Let p be (4 - 14/1)*13. Let g = p + 202. Does 12 divide g?
True
Suppose -4 = -50*f + 48*f. Let s(i) = 5*i - 8. Is s(f) even?
True
Suppose 0*k = 2*k. Let i be (k - (-2 - -2)) + 2. Is 2 a factor of i/(-13) - 238/(-26)?
False
Suppose 0 = 5*h - 15, 6*o = 3*o - 5*h + 3381. Suppose -a + o = 5*n, -2*n + 4*a - 205 = -667. Suppose -n = -4*q + 5*u, 4*u = 7*q - 2*q - 288. Does 20 divide q?
True
Suppose 0 = a - 4*a - 996. Let x = 531 + a. Is 36 a factor of x?
False
Let n(i) = -30*i - 190. Does 13 divide n(-15)?
True
Let a be (20/(-8) - -3)*10. Suppose -4*t = a*i + t - 55, 0 = 5*i - 2*t - 62. Is i a multiple of 6?
True
Let o = 165 + -120. Is 5 a factor of o?
True
Let w = -267 - -498. Let f = w + -125. Is 31 a factor of f?
False
Let g be (-1)/(-2) - (-34)/(-4). Let u be ((-4)/g)/((-2)/(-80)). Is 64/u*195/6 a multiple of 34?
False
Let y be 0 + ((-2)/2 - 84/(-14)). Let k be (16 - 0)*7/4. Suppose -2*t + 5 = u - t, 2*t - k = -y*u. Does 3 divide u?
True
Is 1482*(85/10 + 63/(-9)) a multiple of 33?
False
Let i = 196 - 122. Suppose 4*b - 106 = -2*o, -o - 1 = -2*b - i. Is o a multiple of 9?
True
Let s be (3 - (-1 - 0)) + -99. Let g = s - -334. Does 42 divide g?
False
Let m(a) = a**3 + 3 - a**2 + 2*a**3 - 5*a**3 - 4*a + 0. Let d = -24 - -21. Does 12 divide m(d)?
True
Suppose 0 = -81*y + 56*y + 84625. Is y a multiple of 19?
False
Let w(g) = -63*g - 34. Is 6 a factor of w(-6)?
False
Let u(a) = -a**2 + 13*a - 35. Let h be u(4). Is 2925/78*(h + 1/(-5)) a multiple of 5?
True
Suppose -4*d + 3*d - 3 = 0, -5*i = 4*d + 92. Is (-245)/(-13) - i/104 a multiple of 5?
False
Let p be ((-24)/42)/(3/(-21)). Suppose 83 = 3*t - p*g, -7 = -t - g + 9. Is 7 a factor of t?
True
Let j = 26 + -105. Is (3 + -5)/(-2) - (j + -4) a multiple of 7?
True
Suppose 4*i = -113 + 13. Let w = i - -30. Does 2 divide w?
False
Let z be 2/(-13) - (-134)/26. Let i = z + -2. Suppose -l - 32 = -i*l. Is 11 a factor of l?
False
Suppose 3*a = -37 + 43. Is 26 a factor of 1*((-398)/4)/(a/(-4))?
False
Let j(k) = k**2 + 19*k + 36. Let a be j(-17). Suppose -a*g + 990 = 9*g. Is g a multiple of 10?
True
Let o be 65/(-15)*6/(-1). Let f = 14 - o. Let w = -4 - f. Is w a multiple of 5?
False
Let i(s) = -s + 1. Let h(w) = 10*w + 3. Let o(y) = -h(y) - 6*i(y). Does 22 divide o(-10)?
False
Let h(c) = 46*c - 40. Is h(3) a multiple of 7?
True
Let g = -29 - -11. Is 245/7*g/(-15) a multiple of 14?
True
Let k be 1*(5 + -3) + 2. Suppose -4*x + 5*x + o - 37 = 0, 0 = -k*x - 2*o + 158. Let n = 70 - x. Is n a multiple of 23?
False
Let f(j) be the first derivative of j**6/45 + j**5/60 + 7*j**4/24 - 10*j**3/3 + 1. Let h(o) be the third derivative of f(o). Is 17 a factor of h(3)?
True
Suppose 0*g + 89 = g. Let q = 162 - g. Is 22 a factor of q?
False
Let p(m) be the second derivative of m**4/12 + 4*m**3/3 + 10*m**2 + 4*m. Is 10 a factor of p(-10)?
True
Let m(d) = 60*d**2 + 10*d + 14. Is m(-2) a multiple of 26?
True
Suppose 34*r - 89*r = -220110. Is r a multiple of 39?
False
Let n(h) = -h**2 + 21*h + 24. Let o = 51 + -31. Does 11 divide n(o)?
True
Let x = 466 + -212. Suppose 7*v = 5*v + x. Does 22 divide v?
False
Let l(z) = 0 - 26*z + 0*z + 2. Let x be l(-2). Suppose -2*p + 16 = 4*o, -3*p - 2*p - 3*o + x = 0. Is 5 a factor of p?
False
Let i(t) = 6*t**2 - 80*t - 17. Does 30 divide i(18)?
False
Let s = 8 + -2. Let b be ((-8)/6)/((-4)/s). Suppose -190 = -5*w - 2*f, 3*w = b*w - 4*f + 20. Is 13 a factor of w?
False
Suppose -2*t = 4*d + 36, 0 = -4*d + 4*t - 5*t - 38. Is (15/d)/(1/(-40)) a multiple of 12?
True
Suppose -8*a = -5*a - 1008. Is a a multiple of 28?
True
Suppose o = 3*s - 1078, -s - 3*o + 454 - 78 = 0. Is s a multiple of 18?
False
Does 32 divide (-78476)/(-69) + (22/6 - 3)?
False
Suppose 3778 = 32*o - 1822. Does 6 divide o?
False
Suppose -3*s - 2*f = -9 - 5, 3*f - 12 = 0. Suppose 21 = 3*q + 2*l + 4, -s*q - 2 = -2*l. Suppose -4*m = -4*n + 20, 7 = n - 0*n - q*m. Does 2 divide n?
True
Let y be -3*14*(-25)/(-30). Does 3 divide ((-30)/35)/(5/y)?
True
Let z be (32/(-48))/((-2)/(-12)). Does 2 divide (-3)/z*(-3 - 46/(-2))?
False
Suppose -l = p - 5*l + 35, 0 = -4*p + 5*l - 118. Does 2 divide (16/6)/((-6)/p)?
True
Is (-7)/(21/(-1440))*(-10)/(-8) a multiple of 12?
True
Let x = 477 + -339. Is x a multiple of 6?
True
Let o(y) = 2*y - 22. Let j(i) = i - 11. Let z(n) = -5*j(n) + 2*o(n). Let g be z(8). Suppose -g*t + 66 = -0*t. Is 12 a factor of t?
False
Suppose 2*a = k - 113, 0*a + 44 = -a + 3*k. Suppose 0*j - 140 = 4*j. Let f = j - a. Is 8 a factor of f?
True
Suppose 3*t - 5*u - 28 = 0, -6*u = -5*t - u + 30. Is ((-60)/(-14))/(t/49) a multiple of 14?
True
Let o = 65 - 52. Let v = o - -19. Is v a multiple of 20?
False
Suppose 20*h = 13*h + 2128. Is 16 a factor of h?
True
Let q = 180 + 150. Let o = -108 + 112. Suppose -2*g + 408 = 3*g + 4*m, -o*g = 2*m - q. Does 28 divide g?
True
Let x = 70 - 67. Suppose -4*f + 772 = 4*g, -x*f - f = -12. Does 23 divide g?
False
Let y(b) = 39*b - 3. Let o be y(3). Suppose 2*v + 4*q + 28 = 3*v, -3*q + o = 3*v. Does 31 divide v?
False
Let f = 54 + -55. Is 22 a factor of ((-3)/2*f)/((-9)/(-138))?
False
Suppose 6*s = 1219 + 557. Is 7 a factor of s?
False
Let t = 14 - 9. Suppose 2*h - 113 = -c, t*h - 2*c + 4*c - 285 = 0. Is 9 a factor of h?
False
Does 13 divid