
Let h be (-4)/(12/9)*-1. Let t be 17 + -2 + (h - 2). Let l = 26 - t. Is l a multiple of 4?
False
Let q = 15 - 13. Suppose 4*x = q*x + 22. Is 4 a factor of x?
False
Let z(o) = 2*o**2 - 17*o - 11. Does 18 divide z(11)?
False
Suppose -76 = -0*p - 4*p. Let i = -12 + p. Is 7 a factor of i?
True
Let d = 13 + 25. Suppose 5*c - d = 2. Is c a multiple of 8?
True
Is 52/(-182) - (-1752)/7 a multiple of 25?
True
Let v(z) = z + 4. Let t be v(0). Let l be t/(0 - 2) - -1. Is 14 a factor of ((-6)/(-7))/(l/(-28))?
False
Suppose 3*z = -27 - 36. Let a = z - -37. Is 16 a factor of a?
True
Let m(r) = 2*r - 4. Suppose -2*v - 4*g + 26 = -4, 0 = 5*v - 5*g. Let w be m(v). Let j(o) = -o + 8. Is 2 a factor of j(w)?
True
Let b be (6 - 0)*472/6. Is 24 a factor of (-2)/(-7) + b/14?
False
Let l(u) = 2 - 2*u**2 - 2*u**3 + 2*u - u**2 + 0*u**3 + 0*u**3. Let j(f) = f**2 + f - 3. Let b be j(0). Is l(b) a multiple of 9?
False
Let z = 119 + -64. Suppose 5*c + z = -2*p + 196, -5*c + 5*p = -155. Is c a multiple of 13?
False
Let i = 19 + -54. Is ((-84)/i)/(2/20) a multiple of 7?
False
Let l(t) = 6*t**2 + 4*t - 19. Is 25 a factor of l(-6)?
False
Suppose -4*h - 173 = -z, 3*z + 0*h + 5*h = 587. Suppose -3*u + z = -96. Does 16 divide u?
False
Is 20 a factor of 82 - (0 + -3 + 4 - -1)?
True
Let g(t) = -t**2 - 7*t + 1. Let z be g(-7). Suppose -2 = 3*n + z, 2*i + n - 17 = 0. Is i a multiple of 5?
False
Suppose 2*c + 10 = -0*c. Is -2*(-3)/(-2)*c a multiple of 11?
False
Let f(j) = -5*j**3 - j**2 - j. Let r be f(-1). Suppose -r*m - 71 - 124 = 0. Let t = m - -56. Is 17 a factor of t?
True
Let t(a) = -a**2 + 7*a. Let y be t(7). Suppose y = s - 5 + 26. Is 10 a factor of s/(-2 + 1) + -1?
True
Let f(i) = 3*i**3 + 5*i**2 - 6. Does 27 divide f(3)?
False
Let j be (1/(-2))/(1/(-14)). Is 7 a factor of j - (8/(-2) + 4)?
True
Let z be 4/(-26) + 2790/(-117). Let b = 81 + z. Is b a multiple of 20?
False
Suppose 0 = 12*f - f - 330. Does 2 divide f?
True
Suppose -n = -4*k + 265, -105 = -4*k + 3*n + 162. Is 11 a factor of k?
True
Let o(v) = -v**3 - 5*v**2 - 7*v - 1. Let s be o(-5). Does 11 divide 2*2/4 + s?
False
Let g(p) = -5*p - 3. Does 30 divide g(-16)?
False
Suppose 0*r + 4*r - 8 = 0. Suppose -r*p = -4*j + 2*p + 28, -2*j + p + 13 = 0. Is 7 a factor of ((-45)/(-6))/(j/8)?
False
Let b = 0 - -4. Suppose -4*i + 2*y + 3*y + 122 = 0, b*y + 92 = 3*i. Does 16 divide i?
False
Let a be 2/(-11) + (-20)/11. Is (2/(-2))/(a/12) a multiple of 6?
True
Let p be (-1 - (-4)/2)*-11. Let a = -7 - p. Is a a multiple of 3?
False
Let l be 2 + 15 + (-6)/(-3). Let q = -16 + l. Is q even?
False
Let k be 2 + (-1 - 0)*6. Suppose 4*a - 76 = 2*v - 4*v, 3*a = -3*v + 105. Let p = k + v. Does 14 divide p?
True
Is 16 a factor of 24/(-2 - (-20)/8)?
True
Let o(r) = -r**3 + 3*r**2 + 6*r - 5. Let n be o(4). Suppose 3*x - 7 = -2*v, -x - n = -4. Suppose -v*g + 0*g = -28. Is 14 a factor of g?
True
Let l = 5 - -13. Is l a multiple of 9?
True
Let j = 40 + -170. Let m = j - -240. Suppose 0*u + 5*l - m = -4*u, -u = 2*l - 26. Is 10 a factor of u?
True
Let b(l) = 2*l**2 + 10*l + 8. Let f be (1 + 1)*42/12. Suppose 0*q + q = -f. Is 18 a factor of b(q)?
True
Let i = -1 - -3. Suppose d + 9 = i*d. Is 3 a factor of d?
True
Let z = 217 - 153. Is z a multiple of 32?
True
Suppose -11*t = -18*t + 714. Is 34 a factor of t?
True
Let t be ((-3)/(-6))/(-1)*-6. Let k be (-6 - (2 - t)) + 2. Does 11 divide k/(((-3)/33)/1)?
True
Let p(h) be the third derivative of 0*h + 1/60*h**5 - 1/3*h**3 - 3*h**2 + 0 + 1/8*h**4 + 1/30*h**6. Does 20 divide p(2)?
True
Let d(y) = 5 + 2*y**2 - 3 - 1 - y**2 - 4*y. Is d(5) even?
True
Let h(m) = m**3 + 4*m**2 - m - 3. Let x be h(-4). Is 30 a factor of -17*(x + -6 + 3)?
False
Suppose 10 = -2*l + 7*l. Suppose 4*j = 2*w - 48, -j - 20 = -l*w - 4*j. Is 4 a factor of w?
True
Let z be (-28)/(-49)*14/4. Let l = 10 + z. Is l a multiple of 6?
True
Let v(f) = 2*f. Let t be v(-4). Does 7 divide (-96)/t - 1*-2?
True
Let k(m) = 3*m - 3. Does 5 divide k(3)?
False
Suppose 966 = -2*j + 8*j. Is j a multiple of 29?
False
Let j(d) = -13*d + 4. Let t be j(6). Let a = t + 45. Let u = a - -50. Is 7 a factor of u?
True
Let m = 4 - 3. Let d = m - -4. Suppose d*r = r + 96. Does 13 divide r?
False
Let b(x) = x**3 + 6*x**2 - 7*x - 2. Let z = 0 - 6. Is b(z) a multiple of 20?
True
Suppose 5*q + 4*b - 18 = -0*b, -10 = -5*b. Does 3 divide 5/2*4/q?
False
Let j(x) = x - 13. Let q be j(8). Let y be 1/5 + (-24)/q. Suppose 5*d - 48 - 28 = 3*l, y*l = d - 24. Is 4 a factor of d?
False
Let o(w) = 3*w**3 - 3*w**2 + 7*w - 5. Does 14 divide o(2)?
False
Let y(i) be the third derivative of -i**4/8 - 2*i**3/3 + 3*i**2. Is 3 a factor of y(-4)?
False
Let r be 6/(-15) + (-3)/5. Let w = 3 - r. Is (-148)/(-5) + w/10 a multiple of 15?
True
Let z = 6 - 3. Suppose -5*t = -53 - 147. Let u = t - z. Is u a multiple of 16?
False
Let g(o) = 20*o**2 + 4*o + 2. Let n be g(-3). Let u = -119 + n. Does 18 divide u?
False
Let w = -72 - -136. Suppose -2*j = 2*j - w. Suppose -2*r + 204 = 4*g, -r + j = 4*g - 186. Is g a multiple of 18?
False
Let h(s) = s + 22. Does 11 divide h(0)?
True
Let a(h) = 1 + 0 - 2*h + 4 - h. Is a(-5) a multiple of 6?
False
Let l(d) = 3*d**2 + 1 - 3*d**3 + 4*d**3 - 7*d**2 + 2*d - d. Is 12 a factor of l(5)?
False
Suppose 0 = -3*y - 0 + 6. Suppose 0 = -6*m + y*m. Suppose m*t - 152 = -4*t. Is 23 a factor of t?
False
Let w be 294/15 + 4/10. Let k = -2 - w. Let q = k - -81. Is 20 a factor of q?
False
Let b be (-18)/(-15)*30/(-9). Does 15 divide (-58)/b - 2/(-4)?
True
Let a be 1*47/(-2)*-2. Suppose -5*s = -3 - a. Is 2*(1*s - 2) a multiple of 16?
True
Let o(u) = u**2 - 15. Let w(q) = q**2 - q - 16. Let x(m) = 4*o(m) - 3*w(m). Let s be x(-9). Suppose 4*h - s = 54. Does 8 divide h?
True
Let w(p) = -p**2 - 4*p + 2. Let l be w(-3). Suppose -l*q + 24 = -3*q. Is q a multiple of 4?
True
Let v(r) = r + 20. Is v(14) a multiple of 17?
True
Suppose -n + 5*l = -73, -2*l + 36 = n - 2. Suppose -4*h = n - 172. Let z = h + -3. Is z a multiple of 13?
False
Let f(q) = -5*q**2 - q - 1. Let t be f(-1). Let l = t - -47. Does 14 divide l?
True
Let b = 40 - 1. Does 13 divide b?
True
Let r(y) = 4 - 2 - 3 + 5 + 7*y. Is r(2) a multiple of 15?
False
Let i be (-8)/36 - (-227)/9. Suppose 104 = 3*d - i. Is d a multiple of 18?
False
Suppose -u = u - 16. Is u a multiple of 3?
False
Let k(i) = 20*i + 4. Let m be k(3). Suppose m = 3*h - 128. Is 25 a factor of h?
False
Suppose -2*x + x = 3. Let z = 5 + x. Is z even?
True
Let f(i) = -16*i**2 - 2. Let g be f(2). Let u be 2/11 - 120/g. Suppose 2*a - 10 = -u*t, 5*t - a + 24 - 61 = 0. Does 5 divide t?
False
Is (-4)/(-3)*(-162)/(-6) a multiple of 10?
False
Let d be 92/6*(7 - 4). Let j(p) = -p**2 - 3*p - 5. Let o be j(-7). Let r = o + d. Is r a multiple of 10?
False
Let t(g) = 42*g + 1. Let b be t(3). Suppose 4*x = 3*j + 2*j + b, 3*j = 15. Is x a multiple of 22?
False
Let c = -7 - -10. Let v(h) = -104*h**3 + h - 1. Let x be v(1). Is x/(-6) + (-1)/c a multiple of 6?
False
Let a = 20 + 26. Let r = a - 28. Does 6 divide r?
True
Suppose 0 = 2*a - 0*a - 3*b - 23, -4*b = 12. Is 5 a factor of a?
False
Let l(t) = t + 7. Let d be l(-8). Does 13 divide 27 - (0 + 2 + d)?
True
Let k(a) = -a**3 + 5*a**2 + a + 11. Does 9 divide k(5)?
False
Let t(n) = 4*n - 6. Let c be t(-9). Let w = -12 - c. Suppose -4*k = -26 - w. Is 5 a factor of k?
False
Let w(g) be the first derivative of g**4/4 - g**3/3 + 2*g + 9. Let j(b) = b - 1. Let m be j(4). Is 15 a factor of w(m)?
False
Let u = -5 - -10. Suppose 3*v + 37 + 9 = 5*t, 4*t + u*v = 59. Is 11 a factor of t?
True
Suppose j - 2*c = -2*j + 149, 0 = 5*j + 3*c - 242. Does 49 divide j?
True
Suppose -2*l = -4*h - 104, 2*h - 52 = -l - 0*l. Is l a multiple of 22?
False
Let c be (-27)/4*4*-1. Suppose 0 = -3*w - 0*w + c. Is 9 a factor of w?
True
Let j(c) = 6*c**2 + 5*c - 2. Let i be j(3). Let k(g) = -6*g - 4. Let a be k(-7). Let q = i - a. Is q a multiple of 10?
False
Let s(j) = -10 + 4*j + 5*j - j. Is s(7) a multiple of 23?
True
Suppose 3*n = -2*n, -4*q + 2*n = -200. Is 50 a factor of q?
True
Let j = -4 - 9. Let d = 21 + j. Is 92/3 + d/24 a multiple of 17?
False
Let a(g) = g**3 + 3*g**2 - 3*g - 3. Let t be a(-3). Suppose 4*w = 3*u - 232, -86 = -u + 3*w - t*w. Suppose -3*v = 2*v - u. Does 8 divide v?
True
Let z = 13 + -15. Let v(x) = -13*x - 5. Does 17 divide v(z