 = -f. Does 9 divide f?
True
Suppose 2*j = s - 205, 330 = -3*j - 0*j - 3*s. Let r = 149 + j. Is r a multiple of 15?
False
Let k = -5 + 7. Suppose -2*v - k*v + 8 = 0. Let x(u) = 2*u**2 - 2. Is x(v) a multiple of 6?
True
Is ((-8)/2 + -5)*(-4)/3 a multiple of 4?
True
Let i(x) = x**3 - 7*x**2 + 5*x + 2. Let d be i(6). Let t(q) = -q**3 - 5*q**2 - 7*q - 4. Let b be t(d). Does 10 divide (4/b)/(2/116)?
False
Let p be (-32)/(-6)*6/4. Let f(w) = -3 + p + 4 - w. Does 9 divide f(0)?
True
Suppose -i - 2*y + 32 = 0, -i + 28 + 1 = 5*y. Is 17 a factor of i?
True
Let d be (4/(-6))/(2/(-9)). Suppose d*q + q = 3*t - 38, 0 = 4*t + 5*q + 1. Does 7 divide 18*(2 - t/4)?
False
Let n = 380 - 120. Suppose -r + n = r - 4*a, -a - 390 = -3*r. Is ((-8)/10)/((-4)/r) a multiple of 11?
False
Suppose -2*d = -5*d + 3. Let l be ((-5)/15)/(d/(-24)). Is ((-12)/l)/(1/(-12)) a multiple of 6?
True
Suppose -3*k = -0*k. Let f(g) = -g**3 + g**2 + g + 10. Is 10 a factor of f(k)?
True
Suppose -104 = 2*a - 6*a. Suppose -2*d = -a - 34. Is d a multiple of 10?
True
Suppose 3*u - 222 = 18. Is 16 a factor of u?
True
Let r(j) = 4*j**2 - 3*j + 3. Let o be r(2). Let b = o + -8. Suppose 0 = b*d - 15. Is d a multiple of 2?
False
Suppose -2*n = -11*n + 486. Is 11 a factor of n?
False
Let h be 3 + -5 + 2*1. Suppose h = i - 3, 3*z + 2*z - i = 412. Is z a multiple of 15?
False
Let s be 2/(-6) + 82/3. Let l be 16/10*(-5)/(-2). Suppose l*v - 41 = s. Is v a multiple of 10?
False
Let r(u) = -u**3 - 2*u**2 - 2*u - 3. Suppose -15 = 6*w - w. Is 12 a factor of r(w)?
True
Suppose -5*p = h + 3, 2*h + 2*h + 4*p - 4 = 0. Suppose n + h*n - 72 = -2*c, 5*c - 103 = -4*n. Does 15 divide n?
False
Suppose k - 13 = 11. Let p = 23 + -14. Let y = p + k. Does 13 divide y?
False
Let g be 8/6*3/2. Suppose 0 = -5*i + g*i + 12. Does 6 divide -14*(6/i)/(-3)?
False
Suppose 18 = 6*v - 0. Does 17 divide ((-392)/((-12)/v))/2?
False
Does 5 divide 5/(-20) - ((-6260)/(-16))/(-5)?
False
Suppose 2*g - 3 = y, 5 = 2*g - 3. Let d be 1/(-2) - 126/(-4). Suppose 0 = -2*v + 3*i + 2 + d, 111 = y*v + 2*i. Does 14 divide v?
False
Let q = -48 + 117. Let z = q + -17. Does 26 divide z?
True
Suppose 19 = 5*s + 2*n, -n + 2*n = 5*s - 28. Suppose -4*w - b = w - 106, 0 = -s*b - 20. Is 10 a factor of w?
False
Suppose 0 = -2*k + 6*k + 3*y, 0 = -k + 3*y + 15. Suppose -k*o + 200 = -4*g, -1 = 3*g + 14. Is o a multiple of 20?
True
Let j = -6 - -8. Suppose -69 = j*i + 29. Let t = -27 - i. Is 11 a factor of t?
True
Let q(b) = -b**2 + 9*b - 3. Let z = 12 - 5. Is q(z) a multiple of 11?
True
Let j(r) = -9*r - 2. Does 10 divide j(-5)?
False
Let h be (-2 - (-21)/9)*6. Let y(f) = 0 - h + 7 + 4*f + 0. Does 7 divide y(4)?
True
Suppose -i + 39 = -4. Does 14 divide i?
False
Suppose -5*a - m + 46 = -5*m, -53 = -5*a - 3*m. Suppose g = -4*g + a. Suppose g*w - 2*z = 10, -3*z + 18 = 4*w - 37. Is 6 a factor of w?
False
Let t(j) = 3*j**2 + 4*j + 2. Does 19 divide t(2)?
False
Is (35/21)/5 + 334/6 a multiple of 32?
False
Let l = 2 - -48. Is l a multiple of 10?
True
Suppose 0 = 4*y + 5*v - 34, 1 + 1 = -v. Suppose 3*q = 9, -m + y = 2*q - 9. Is m a multiple of 14?
True
Let h be (705/12)/((-3)/(-12)). Suppose 0*d - 5*d - 5*a = -195, 0 = -5*d + 3*a + h. Is 14 a factor of d?
False
Suppose -7 - 9 = -x. Let a = 22 - x. Does 3 divide a?
True
Let x be (-3)/12 + (-389)/(-4). Suppose -4*g + 138 = 3*s, 0*g + s + x = 3*g. Does 11 divide g?
True
Suppose 5*s - 4*w = -22 - 12, 3*w = 3. Let f(p) = p**3 + 6*p**2 + 2*p + 8. Let g be f(s). Is 72/(-2)*2/g a multiple of 18?
True
Suppose -x + 2 = -0*x. Let c be x/(1*2/18). Is 4 a factor of -2 + 1/(3/c)?
True
Does 36 divide (3 - 147)/(-2) + 0?
True
Let j(s) = -7*s**2 + 21*s + 5. Let i(w) = 4*w**2 - 11*w - 3. Let k(q) = 5*i(q) + 3*j(q). Is k(6) a multiple of 4?
True
Let g be (-7 - -12) + 0 + 0. Suppose 5*j - 665 = 465. Suppose -j = -g*a + 4*k, -3*a - k = -a - 93. Is a a multiple of 16?
False
Let t(z) = -z + 1. Let l(o) = -5. Let b(p) = l(p) + 2*t(p). Does 15 divide b(-9)?
True
Let r(v) = v**2 + 7*v + 4. Is 8 a factor of r(-11)?
True
Let j(a) = -9*a + 2 - 3 + 3*a. Suppose 4*m = 2*m - 6. Is 6 a factor of j(m)?
False
Suppose -3*o + 20 = -19. Is o even?
False
Let n(a) = 84*a - 7. Let d be n(3). Suppose -4*x = -d + 45. Is 24 a factor of x?
False
Let z = -100 - -496. Suppose -2*m = 4*m - z. Is m a multiple of 20?
False
Let i(c) = 3*c**3 + 7*c**2 + c + 6. Let v(x) = x**3 - x + 1. Let u(k) = i(k) - 2*v(k). Let o be u(-6). Suppose -o - 2 = -4*n. Is 3 a factor of n?
True
Suppose -2*v - 5 + 13 = 0. Does 3 divide v?
False
Let u(g) = g**3 + 6*g**2 + g - 5. Let x be u(-6). Let s be x*(2/(-2) - 0). Suppose s = -2*a + 3*a. Is a a multiple of 6?
False
Suppose 2*o = -3 + 19. Suppose o = l - 0. Suppose -3*h + l = -7. Is 5 a factor of h?
True
Let x be 68 + (0/(-3))/3. Suppose -2*h - x = -2*n, 0*h + 112 = 3*n - h. Does 8 divide (-1)/(-4) + n/4?
False
Suppose 5*l - 3*v - 38 = -0*l, -2*l + 5*v = 0. Is 13 a factor of l/((3/(-7))/(-3))?
False
Let z be (-3)/6 - 1/(-2). Suppose z = -h - 2*h + 30. Does 5 divide h?
True
Let l be 27/6*2/3. Suppose 0*a + 3*a + 69 = l*c, -52 = -2*c + 4*a. Let s = c - 11. Is s a multiple of 9?
True
Suppose 2*o + 172 = 2*u, -2*u + 3*u - 90 = -3*o. Is u a multiple of 16?
False
Suppose 168 = 3*c + 4*c. Is 15 a factor of c?
False
Let y = 3 + 8. Let k = -8 + 2. Let s = y + k. Is 2 a factor of s?
False
Suppose u - 37 = -3*y, -y - 2*u = y - 30. Is y a multiple of 3?
False
Let q(d) = -47*d**3 + 2*d**2 + 4*d + 5. Let y be q(-2). Suppose 0 = -5*c + 34 + y. Is c a multiple of 15?
False
Suppose -3*u - 3 = -4*u. Let x(b) = 2*b**3 - 3*b**2 + 4*b + 1. Does 19 divide x(u)?
False
Let j(f) = -39*f - 9. Does 21 divide j(-3)?
False
Let j(s) = -3*s**2 - 10*s - 8. Let n(l) = 16*l**2 + 51*l + 41. Let m(r) = 11*j(r) + 2*n(r). Is m(-4) a multiple of 10?
True
Let h be 2/8 + (-75)/(-20). Suppose -4*t = t - h*p - 2, -4*t + 3*p = -2. Suppose 2*m - 81 = 3*j, -t*j + 133 - 5 = 3*m. Is 21 a factor of m?
True
Is 25 a factor of (744/60)/(1/15)?
False
Let s be (-4 - 0)*2/4. Let d = s + 16. Does 6 divide d?
False
Let h(x) = -6*x + 5. Let o = 4 + -10. Is h(o) a multiple of 12?
False
Let s = 70 - 33. Is s a multiple of 10?
False
Is 22 a factor of 6/21 + (-3270)/(-21)?
False
Suppose -4*h + 507 = 5*w, w + 6*h = 2*h + 111. Is 34 a factor of w?
False
Suppose -k - 3*k = -112. Suppose -r + 3*r - k = 0. Is 3 a factor of r?
False
Suppose -4*w = -41 - 3. Does 2 divide w?
False
Suppose 85 = 5*q + 30. Is q a multiple of 8?
False
Suppose 3*h - 2*s - 2 = 0, 3*s - 16 + 0 = -5*h. Suppose 0 = h*c - 7*c + 130. Is c a multiple of 13?
True
Suppose 5*i - 788 = i. Is 11 a factor of i?
False
Suppose -16 = -4*o, 0*o + 136 = w + 3*o. Is w a multiple of 31?
True
Suppose -2*u - 4*s + 4 = 0, -31 = -0*u + 2*u - 3*s. Let v be 17/3 + u/12. Suppose -v*w = -4*w - 11. Is w a multiple of 11?
True
Let n(t) = 35*t**2 + 4*t + 4. Let g be n(-3). Suppose 5*i = 3*b - 0*i - g, 0 = -b + 5*i + 99. Is (-6)/15 + b/10 a multiple of 10?
True
Let p = 58 - 6. Is 13 a factor of p?
True
Suppose 0*g - 5*g + 2*t + 612 = 0, 3*t = -3. Does 8 divide g?
False
Let n = -43 - -29. Suppose -12*y = -7*y + 115. Let r = n - y. Is 4 a factor of r?
False
Is (84/49)/(((-4)/14)/(-1)) a multiple of 6?
True
Let s(j) = j + 4. Suppose -5*t + 8*t = 24. Is 6 a factor of s(t)?
True
Let w(h) = 0*h - 5 - 2*h - 8*h. Let i be w(-5). Suppose 105 = 5*f - i. Does 15 divide f?
True
Suppose 3*s = 3*a - 36, 0 = -4*a + 3*s - 7*s + 16. Suppose -3*m - a = -m, 5*k - 5 = 5*m. Is 2 a factor of k*((-1)/3 - 1)?
True
Let x = -181 - -125. Let m = -10 - x. Is 14 a factor of m?
False
Let n(j) = -j - 6. Let w be n(-5). Let q(p) = -44*p. Does 18 divide q(w)?
False
Let m = -14 - -68. Does 9 divide m?
True
Let m(g) = g**3 + g**2 - 2*g. Let l be m(-3). Is (-4)/(-3)*(-90)/l a multiple of 6?
False
Is (1 + (-65)/10)/((-1)/10) a multiple of 14?
False
Suppose 2*f = -3*f + 195. Let b = 19 - f. Let r = -10 - b. Is 10 a factor of r?
True
Suppose -4*a - a = -585. Does 25 divide a?
False
Let v = -1 + 2. Is 5 a factor of 7/(v - -2 - 2)?
False
Let a be ((-16)/20)/((-1)/5). Suppose -6 = d + 2*h + 3, -a*d - 8 = h. Is 10 a factor of (-5)/((-9)/(-12) + d)?
True
Suppose 2*v = 2*f + 2*f - 6, -3 = 2*f - 3*v. Suppose 3*t - 102 = t. Suppose f*u - t = 57. Does 10 divide u?
False
Suppose 2*n - 72 = -n. Suppose 0 =