 + -4) - 1*-1 a multiple of 10?
True
Let a be (-3)/(-2)*(-4 + 6). Suppose -2 - 10 = -a*j. Suppose 0 = -4*c + j*w + 24, 0 = 3*c - w + 6*w - 26. Is c a multiple of 4?
False
Suppose -2*h - h - 18 = 0. Let n = h + 16. Is n a multiple of 5?
True
Suppose 2*z + 10 = 2*a, 4*a - 29 = 3*z - 9. Suppose -d + a - 2 = -4*f, 16 = 3*d - 5*f. Let w(t) = 3*t - 1. Does 16 divide w(d)?
False
Let m be 4/(-14) + (-20)/28. Let j be m/((-2)/(169 - -3)). Let t = -43 + j. Is t a multiple of 16?
False
Is (6/18)/(2/54) a multiple of 4?
False
Let f = -15 + 30. Is f a multiple of 6?
False
Suppose 4*d + 3 = d. Let r = 13 + d. Does 4 divide r?
True
Let d(a) = -a**2 + 3*a - 2. Let o be d(2). Suppose o*l - 5*l = -20. Suppose 0*x + l*x = u - 37, 2*x = 0. Is u a multiple of 13?
False
Suppose -2*b = 2*b - 12. Suppose q = -5*a - 20, -2*a - 8 = b*q - 0*q. Is a/18 + 411/27 a multiple of 15?
True
Let w be (-3)/24*58*-8. Suppose -3*s = 0, -7 = -2*p + 2*s - 1. Suppose p*j - 4*v - 151 = -w, -2*v - 93 = -3*j. Is j a multiple of 20?
False
Let p be (1 - (-4)/(-8))*2. Let a be (-1)/(-2) - 14/4. Is (p/3)/(a/(-18)) a multiple of 2?
True
Let n = 5 - -20. Is n a multiple of 20?
False
Let p = -341 + 557. Does 54 divide p?
True
Is (248/10)/(4/10) a multiple of 10?
False
Let c(x) = x + 4. Let j be c(-7). Let t(i) = 5*i**2 - 2*i + i**3 - 3 + i + 3*i. Is 9 a factor of t(j)?
True
Let v = 63 + -10. Is 17 a factor of v?
False
Suppose 0*u = -3*u. Suppose 2*t + 3 - 29 = u. Is 7 a factor of t?
False
Let v = 116 - 60. Is v a multiple of 7?
True
Suppose 5*g = 15, 5*d + 56 = -2*g - 123. Let r = 1 - d. Does 19 divide r?
True
Suppose m - 25 = v, -5*m + 70 + 45 = -3*v. Suppose f + 4*t - 4 = 0, -m = -3*f - 2*t + 42. Suppose 4*j + f = 124. Does 9 divide j?
False
Suppose 7 = 2*f + 1. Suppose 0 = f*l - 2*l - 9. Is 6 a factor of l?
False
Suppose 1 = i - 9. Suppose 8 = -2*r, -2*z - 2*r - 17 + 1 = 0. Let p = i - z. Does 7 divide p?
True
Let f(a) = a**3 - 3*a**2 + 3*a - 7. Let v be f(3). Let k be (-1)/2*12/3. Does 2 divide (-4)/v - 16/k?
True
Let x = 85 - 0. Does 14 divide x?
False
Suppose i + 2*i = 39. Is i even?
False
Suppose -2*o + 7 = 19. Let f(h) = -h + 5. Does 8 divide f(o)?
False
Let j = 7 - -109. Is j a multiple of 11?
False
Let h(c) = 11*c**2 - c - 1. Is 11 a factor of h(2)?
False
Let c be ((-50)/6)/5*3. Let v = c - -20. Is 5 a factor of v?
True
Is (-8)/12*-1*54 a multiple of 10?
False
Let d = -22 - -11. Does 6 divide 0 - 2 - d*1?
False
Let r = 8 - -28. Is r a multiple of 12?
True
Let a = -5 + 16. Suppose 5*c + a = 31. Does 4 divide c?
True
Suppose i + 14 - 1 = 0. Let a = i - -24. Is a a multiple of 11?
True
Let m(t) = -15*t**2 - 6*t + 1. Let f(q) = -16*q**2 - 5*q + 1. Let j(v) = -6*f(v) + 5*m(v). Does 12 divide j(-1)?
False
Let i(c) = -c**2 - 6*c - 3. Let u be i(-5). Suppose 3*l = -2*g + 7*l + 26, u*g + 2*l = 38. Suppose 4*f = -g + 129. Does 14 divide f?
True
Let w be 10/45 - (-4)/(-18). Suppose 3*j - 2*l = -0*l + 40, 5*l + 10 = w. Is j a multiple of 12?
True
Let t(o) = o + 1. Let v(m) = 3*m - 8. Let u(z) = 4*t(z) - v(z). Is 7 a factor of u(5)?
False
Let f(x) be the second derivative of -x**5/10 - x**4/4 - x**3/3 - 3*x**2/2 - 4*x. Is f(-2) a multiple of 5?
True
Suppose -4*s + 539 + 637 = 0. Suppose -308 = -5*u + 4*t, -8*u - 3*t = -3*u - s. Does 15 divide u?
True
Suppose -3*y - 2*y = -25. Suppose x - 4 = -c + 3*c, y*x - 5*c - 30 = 0. Does 4 divide x?
True
Suppose 2*z - 4 = -0. Suppose z*a = a + 112. Let r = -67 + a. Is 15 a factor of r?
True
Suppose -4*h - 3*c + 5*c = 44, -2*h = c + 30. Let w be 69 + -2 + -2 + 2. Let m = w + h. Is 27 a factor of m?
True
Let z(u) = -u**2 + 4*u. Suppose 0 = 5*f - 8*f + 6. Suppose -f*m - 2*m = -8. Does 4 divide z(m)?
True
Let m = -144 - -162. Does 15 divide m?
False
Let s(q) = -q**2 - 13*q + 10. Is 15 a factor of s(-7)?
False
Suppose 3*z = 78 + 396. Suppose 0*p - 3*p + z = 2*g, -3*p - 5*g = -170. Is p a multiple of 25?
True
Suppose h = 19 - 1. Does 10 divide h?
False
Let x be (-3)/(-3) + -2 + -1. Is 12/3*(-9)/x a multiple of 6?
True
Let f(x) = -4*x - 3. Let b(z) be the second derivative of -5*z**3/6 - 2*z**2 + 3*z. Let g(v) = -5*b(v) + 6*f(v). Does 4 divide g(7)?
False
Let n = 84 + -53. Let t = n - 21. Is 10 a factor of t?
True
Let h = -42 + 114. Is 24 a factor of h?
True
Let s be (-9)/(-1 + 1 + -1). Suppose 0 = 10*v - s*v - 10. Is 10 a factor of v?
True
Suppose -n + 2 = -6. Is n even?
True
Let i(z) = z**2 + 4*z + 6. Is 10 a factor of i(-8)?
False
Let p be 1 - 8 - -1*1. Let z(x) = 9*x**2 + 4*x + 1. Let q(m) = -20*m**2 - 7*m - 3. Let g(d) = -4*q(d) - 9*z(d). Is g(p) a multiple of 10?
False
Let m(p) be the second derivative of -p**3/6 + 3*p**2 + 3*p. Is m(-5) a multiple of 3?
False
Suppose 4*r - 4*l = -36, -3*l = -2*r - 0*l - 15. Let b = 42 - r. Does 13 divide b?
False
Suppose -5 = -f - 2. Suppose f*z - 5*c - 132 = 0, -z - 5*c = -3*z + 83. Is z a multiple of 18?
False
Let h(l) = -l**3 - 2*l + 151. Does 50 divide h(0)?
False
Let r(m) be the first derivative of 4*m**3/3 + 5*m**2/2 + 2*m - 3. Is r(-4) a multiple of 23?
True
Let s be ((-3)/4)/(1/(-4)). Suppose -s*x = g - 4, 2*x - 6*x + 2*g = 8. Suppose 0 = 3*h - x*h + u - 37, -4*h = -4*u - 76. Is 5 a factor of h?
False
Let k be (2 - 14)/3 - 1. Does 5 divide (-22)/k - (-9)/15?
True
Let z(u) = u**3 - 6*u**2 - 6*u - 5. Suppose -2*t - 7 = -3*t - 3*s, 4*t + s - 28 = 0. Let n be z(t). Suppose 9 = n*b - 7. Does 3 divide b?
False
Let u(s) = -s**3 + 6*s**2 - 5*s - 3. Let n be u(5). Does 7 divide (n/(-9))/(2/84)?
True
Suppose 4*i - 8 = 3*b - 298, b = -3*i + 114. Does 17 divide b?
True
Let z be (0/(-1 - -2))/(-2). Suppose z = 4*v + v - 50. Does 6 divide v?
False
Let k be 1*((-2 - -57) + 1). Suppose 0 = 3*g - 5*g + k. Is 14 a factor of g?
True
Let d(p) = -p**2 + p**2 + 1 + 2*p**2 + 3*p. Let w be d(-3). Let u = w + 31. Does 14 divide u?
False
Let u be 2 + ((-20)/(-2))/(-2). Does 3 divide 26*((-6)/4)/u?
False
Is (-1)/3*2 - (-22)/6 even?
False
Suppose 2*u = 3*v + 114, -5*u - 2*v - 56 = -6*u. Is 12 a factor of u?
True
Let f(o) = o**3 - 5*o**2 - 7*o + 8. Let n be f(6). Suppose -2*z + 25 = n*b - 5*b, -z + 11 = -b. Let x = z - -29. Does 17 divide x?
False
Let i = 29 - 11. Does 9 divide i?
True
Suppose -3*x = -0*x + 36. Let l = -5 - x. Suppose 0 = 3*y + 3*o - l*o - 85, 5*y - 150 = 5*o. Is 12 a factor of y?
False
Let w = 63 - 12. Let x = 87 - w. Does 7 divide x?
False
Suppose 22 + 234 = 2*m - 4*j, 3*j = -5*m + 640. Suppose m = 5*i - 4*d, -4*i + 82 + 18 = -2*d. Does 12 divide i?
True
Let r = 12 + -15. Is 5 a factor of ((-24)/18)/(r/36)?
False
Let o(s) = s**3 - s. Let n be o(1). Let r = 6 + n. Let b = r + 6. Is 12 a factor of b?
True
Let w(d) = d**2 - 7*d + 2. Let v be w(6). Let y = 9 + 1. Is v/(((-3)/y)/3) a multiple of 14?
False
Suppose -a = q - 6, 2*q + a + 22 = 5*q. Is q a multiple of 5?
False
Is 12 a factor of (-3)/(-6) - (-23)/2?
True
Suppose -2*z = -6*a + 2*a + 12, 5*a = 5*z + 25. Let g be (-2)/z*(-5 + -1). Let k = 2 - g. Is 5 a factor of k?
True
Suppose 0*g = -3*g. Let n be g + -4 - (0 + 1). Let k = n - -35. Is 13 a factor of k?
False
Let j(x) = x**3 - 6*x**2 - 3*x - 1. Let q be j(7). Suppose q = n + 1. Is n a multiple of 12?
False
Let q(b) = -b - 5. Let u be q(-9). Suppose -4 = u*n - 44. Is 5 a factor of n?
True
Let y be 1*-1 - (6 + 4). Let l = -6 - y. Is l even?
False
Suppose -73 = -2*p - 3*x, 2*p - 83 = -0*x - 5*x. Is 29 a factor of p?
True
Let x = 11 + -6. Let z = 11 - x. Let w(u) = -u**2 + 7*u - 1. Does 5 divide w(z)?
True
Let m = 8 - 4. Suppose -m = -f - 0. Suppose f*a - 2*r = 208, a + 0*a - 2*r - 58 = 0. Is 21 a factor of a?
False
Let w(b) = 4*b + 2. Let g(t) = t**2 - 10*t - 4. Let z be g(11). Let d be w(z). Suppose d = -3*k + 105. Does 21 divide k?
False
Let w = -420 + 757. Is 10 a factor of w?
False
Let c(t) = t**2 + 3*t - 5. Let z be c(-4). Let m(r) = r - 1. Let x be m(1). Does 11 divide x/2 + z + 12?
True
Suppose -q - 4 + 5 = 0. Let y be (-1 + 0)*-7 - q. Suppose 0 = 2*l - y*l + 208. Is l a multiple of 19?
False
Let v(m) = 9*m**3 + 7*m**2 - 8*m. Suppose 12 = 2*i - 0*i. Let s(x) = 9*x**3 + 6*x**2 - 7*x. Let w(r) = i*v(r) - 7*s(r). Is 3 a factor of w(-1)?
False
Let b(i) = -6*i + 12. Let k(j) = -3*j + 6. Let o(a) = -3*b(a) + 7*k(a). Does 13 divide o(-7)?
False
Suppose 4 = 4*m - 3*m. Let i be 6/(2*(-3 + 2)). Let g = m - i. Does 4 divide g?