i = 2*y - y + 38, 3*y = -2*i + 54. Suppose i*b - 6 = 18*b. Suppose b*h - h = 3. Is h a multiple of 3?
True
Suppose 42*b = 43*b - 3, -4*b = 4*x - 432. Is x a multiple of 5?
True
Is 49 a factor of 2*(3 - 2132/(-8))?
True
Let a(x) = x**3 + x**2 - 2*x + 5. Let t be a(0). Let w(z) = 15*z - 3. Is 21 a factor of w(t)?
False
Suppose 0 = 11*h + 444 - 5152. Is h a multiple of 12?
False
Let p(q) = 2*q**2 + 3*q + 2543. Does 95 divide p(0)?
False
Let c(t) = 18*t**3 - t. Let u be c(1). Let h be (1 + -4)*63/7. Let z = u - h. Does 13 divide z?
False
Let v be (2/6)/((-7)/21)*0. Suppose -522 + v = -6*g. Does 12 divide g?
False
Let z be 7 + 0 + -2 + 2. Let j(w) = w - 4. Let d be j(9). Let u = d + z. Does 6 divide u?
True
Suppose h - 6*h + 4535 = 0. Is 9 a factor of h?
False
Let u(i) = 51*i + 6. Let l be u(10). Suppose -6*q = -0*q - l. Is q a multiple of 12?
False
Let i(d) = -50*d - 29. Is i(-6) a multiple of 2?
False
Suppose 4*g - 2*y - 989 = -201, -10 = -5*y. Let u = -132 + g. Is u a multiple of 6?
True
Let l(q) be the second derivative of 3*q**3/2 - 45*q**2/2 + 32*q. Is 15 a factor of l(20)?
True
Let r(b) = -b**2 - 27*b + 26. Let q be r(-14). Suppose -q = -4*w - 12. Let c = w - -22. Is c a multiple of 24?
False
Suppose -4*v + 22 + 10 = 0. Suppose -w - w - v = 0. Is w/(-12) + (-454)/(-6) a multiple of 22?
False
Let j = 30 - 105. Let z = j + 130. Is z a multiple of 6?
False
Suppose 2*h - 230 = -2*s, 3*s + s + 352 = 3*h. Let k = 179 - h. Does 10 divide k?
False
Let y(l) = 3*l - 11. Let q be y(6). Let d(n) = n**3 - 7*n**2 + 6. Let k be d(q). Suppose -k*h + 2*h = -192. Does 24 divide h?
True
Suppose 100 = 4*z + 88. Suppose z*i + 105 - 606 = 0. Is i a multiple of 29?
False
Let i(q) = -2*q**3. Let n be i(-4). Let y = n - 38. Is 10 a factor of y?
True
Let k(h) = 5*h - 3. Let i be k(4). Suppose 0 = g - 14 - i. Is 31 a factor of g?
True
Suppose -4*f + 4 = 0, 5*s + 5 = 4*s + 4*f. Let r be 12/((-2 + 1)*s). Let m = 41 - r. Is 15 a factor of m?
False
Let i be 60/(-70)*(-7)/2. Suppose -5*g + i*w + 26 = -171, -177 = -5*g - 2*w. Is g a multiple of 7?
False
Suppose 5*l = 7*l. Let s(h) = -h**2 - h + 3. Let b be s(l). Suppose f = -2*g + 45, -g - f = b*g - 93. Is 12 a factor of g?
True
Let j(c) = c + 32. Is 4 a factor of j(-8)?
True
Let d be (-32)/(-6)*(-18)/8. Let y(l) = -4*l + 6. Does 6 divide y(d)?
True
Is 9 a factor of (-435)/(-1595) - (-33852)/22?
True
Let f = -52 + 92. Is 40 a factor of f?
True
Let q be 8/(-2) - (1 + -10). Let t = q + -1. Does 3 divide t?
False
Let p = -462 - -634. Is p a multiple of 12?
False
Let k(h) = -2*h + 9. Suppose u + 24 = 5*u. Let c(z) = -z**2 + 4*z + 5. Let y be c(u). Is k(y) a multiple of 7?
False
Let j be (-12)/(-9)*(-6)/(-4). Let f be -12*1/(-2) - j. Suppose -o = f*a - 21, a - 13 = -2*o + 29. Is 7 a factor of o?
True
Let g be (-1)/(2 + 0)*244. Let m = -48 - g. Is 16 a factor of m?
False
Suppose 5*c = 4*c + 2. Suppose 3*i + 27 = 2*s + c*s, -3*s + 5*i = -34. Suppose -2*f + 241 = 4*x + s*f, 2*x = 4*f + 88. Is x a multiple of 18?
True
Suppose -112*c + 117*c = -n + 710, 0 = n - 2*c - 717. Is n a multiple of 65?
True
Let d = 983 - 389. Is 18 a factor of d?
True
Let b(v) = 12*v**2 - 7*v - 6. Is 9 a factor of b(-4)?
False
Let r be 90/12 - -4 - (-1)/2. Let j = 4 + r. Is 4 a factor of j?
True
Suppose -107 = -4*b + 5*b. Let i = 187 + b. Does 10 divide i?
True
Let o be 10*4/48 - 3/(-18). Does 8 divide o - (0 + 2) - -29?
False
Suppose 13*m - 2381 = -977. Is m a multiple of 36?
True
Suppose 8 = 4*w + 4*a, -w - 4*a = w. Suppose -4*x = w*x - 1152. Does 24 divide x?
True
Let z(h) = -h + 11. Let m be z(-9). Let x = -19 + m. Is (-3590)/(-50) + x/5 a multiple of 26?
False
Let c be 2/3 + 28/21. Suppose c*q - 140 = h, 4 = -0*h - h. Does 17 divide q?
True
Let q(r) = -31*r + 56. Let s be q(5). Let n be (-2)/(-3)*15/2. Is n/(60/s)*-4 a multiple of 26?
False
Suppose -3*t + 7 = -0*l - 2*l, -4*t = 2*l - 28. Suppose x = 98 - l. Is 25 a factor of x?
False
Let g = 4 - 1. Let c be g - 4*(-3)/(-6). Is 41 - -3 - (c - 1) a multiple of 34?
False
Suppose 14828 = 4*v - 4*f, 16*f + 3711 = v + 11*f. Is v a multiple of 109?
True
Let j(r) = 12*r + 1. Let n be j(1). Suppose -5*m + 40 = -u, -5*u - 12 - n = 0. Does 2 divide m?
False
Let i(m) = 3*m**2 - 11*m - 162. Does 72 divide i(27)?
True
Suppose 0 = -7*r + 3533 + 5189. Does 14 divide r?
True
Let a(d) = d**2 - 5*d - 4. Let t be a(6). Is 73*t + ((-18)/(-6))/(-3) a multiple of 31?
False
Suppose -600 = -2*m - 3*m. Let w(k) = 16*k - 221. Let j be w(22). Suppose 4*f - 3*o - m = 0, -4*o + 34 = -3*f + j. Does 9 divide f?
True
Suppose -2*q + 2*g - 76 = -0*q, 3*q + 120 = -3*g. Suppose -6 = c + 3. Let w = c - q. Is w a multiple of 8?
False
Let r = 12 + -11. Does 31 divide 62 - (r/7 - (-13)/(-91))?
True
Suppose 8*t + 18 = 9*t. Is 9 a factor of t?
True
Suppose 5*y + 19 = -16. Let b(m) = m**3 + 8*m**2 - m + 4. Let h be b(y). Let k = h - 30. Does 15 divide k?
True
Let f = -114 + 132. Suppose f = 3*j - l - 27, 4*j + l = 67. Is 16 a factor of j?
True
Let s(d) = 33*d + 1. Let u(c) = c**2 + 3*c - 1. Let q be u(-4). Is s(q) a multiple of 20?
True
Suppose 19*y = 16*y + 927. Suppose 228 = -t + 4*t - w, -3*w = -4*t + y. Does 29 divide t?
False
Let l(i) be the second derivative of i**4/12 - 7*i**3/6 - 3*i**2 - 22*i. Does 4 divide l(-4)?
False
Does 19 divide 10/8*91 - 70/(-280)?
True
Let q(u) = -u**2 + 6*u - 5. Let a be q(4). Let l be -3 - (23 - (2 - a)). Let f = 31 - l. Does 20 divide f?
False
Is ((-2821)/(-155) + 4/5)*41 a multiple of 19?
True
Suppose 2*v + 2 = 4*j, 2*j = 6 - 4. Let m = -85 + 142. Suppose 3*a = -3*w + m, -a + v = -5*w + 96. Does 10 divide w?
False
Let t(z) be the second derivative of z**4/12 + z**3/6 + 87*z**2/2 - 6*z. Is t(0) a multiple of 29?
True
Let k(a) = 3*a + 3. Let m(u) = 3*u - 4. Let p be m(4). Let y be ((1 - p) + -2)/(-1). Is 22 a factor of k(y)?
False
Let o = -740 - -4084. Does 24 divide o?
False
Suppose -2*t = 2*p - 18, -5*p + 2*t + 15 + 23 = 0. Let y be (4/p + 0)*-6. Is 98*(y/2)/(-3) a multiple of 16?
False
Suppose 5*j = 0, -5*x - 4*j + 1238 = -1422. Is 19 a factor of x?
True
Let w be (2 - (-6)/(-4))*4. Suppose -r - 5*o = 3*r + 25, 4*r + 3*o + 15 = 0. Suppose w*l - l - 3 = r. Is l a multiple of 3?
True
Suppose t = -18*x + 23*x + 487, 3*x - 2295 = -5*t. Does 3 divide t?
True
Let t be (9/(-10) + 14/28)*-5. Suppose w - t*w = -60. Is w a multiple of 20?
True
Suppose 3*b - 2220 = 2955. Is b a multiple of 88?
False
Suppose l = 9 + 774. Is l a multiple of 87?
True
Let v(z) = -z**3 + 3*z**2 + 5*z + 5. Let c be v(-2). Suppose -5*a = c, -3*a - 4 + 130 = x. Is 17 a factor of x?
False
Is ((-1968)/9)/((-22)/66) a multiple of 41?
True
Let g(v) = v**3 - 21*v**2 + 30*v + 15. Is g(20) a multiple of 70?
False
Let w(v) = v**3 + 2*v**2 - 2*v + 1. Let c be w(-2). Suppose -c*g + 980 - 215 = 0. Suppose g - 13 = 5*k. Is k a multiple of 14?
True
Let w = 14 - 3. Let h = -7 - w. Let z = h - -27. Does 9 divide z?
True
Let h = 60 + -27. Let w(y) = 7*y + 9. Let s be w(-4). Let l = s + h. Is 6 a factor of l?
False
Let g(w) be the third derivative of 5/24*w**4 + 1/120*w**6 + 0 - 2*w**2 + 2/15*w**5 + 0*w - 5/6*w**3. Is 15 a factor of g(-5)?
True
Let c = 743 + -490. Is 11 a factor of c?
True
Let x be (-4)/(0 + (-3)/(-6)). Let q(i) = -i**2 - 7*i + 11. Let s be q(x). Suppose 8*l = s*l + 240. Does 16 divide l?
True
Suppose 5*f = -h + 15, 5*f + 15 = -4*h - 0*f. Let x = 21 + h. Let i = 3 + x. Does 7 divide i?
True
Let f = 3244 - 1644. Does 50 divide f?
True
Suppose -4*g + 66 = 2*k, 69 = 5*g - 3*k - 19. Let v = -28 + g. Let h = v + 25. Is h a multiple of 14?
True
Does 87 divide 73/(-876) + (-4969)/(-12)?
False
Let t(i) = 125*i + 106. Is 53 a factor of t(7)?
False
Suppose 80 = -11*i + 16*i. Suppose m - n - 58 = 0, -2*m + 2*n + 116 = -n. Let h = m - i. Is 15 a factor of h?
False
Suppose 4173 = -162*q + 175*q. Does 107 divide q?
True
Let t = 442 + -197. Is 11 a factor of t?
False
Suppose -2*q + 398 - 94 = 0. Is q a multiple of 6?
False
Let l be (3 + -2)*55*8. Suppose -132 = -4*a - l. Let b = 117 + a. Is 10 a factor of b?
True
Let s = 11 - 8. Suppose -s*i + 8*i - 210 = 0. Does 14 divide i?
True
Suppose 3*r - 6*t + 5*t - 725 = 0, 4*r - 3*t - 965 = 0. Does 16 divide r?
False
Let y(i) = 478*i**2 - 49*i + 94. Is y(2) a multiple of 33?
False
Suppose -18*w + 930 = -13*w - k