 + j. Is 10 a factor of (-4)/10 + (-608)/g?
True
Suppose -5 = v - 2*v. Suppose 0 = -v*y - 41 + 101. Does 12 divide y?
True
Suppose -8*s + 180 = -2*s. Is s a multiple of 15?
True
Let b(y) = -8*y - 8. Let s(i) = i + 1. Let x(c) = b(c) + 6*s(c). Let j(o) = o - 1. Let w(h) = -2*j(h) + x(h). Is 4 a factor of w(-1)?
True
Suppose v - 20 = -4*v. Let i(u) = 2*u**2 - 7*u + 4. Let c be i(v). Let k = 13 - c. Is k a multiple of 5?
True
Is 18 a factor of 13/26 + 506/4?
False
Suppose -5*f = -567 + 67. Suppose -3*p = -4*l + f, -4*l + 0*p + 132 = 5*p. Is l a multiple of 18?
False
Let b(v) = v**3 - 14*v**2 + 7. Is b(14) a multiple of 3?
False
Let z be (4/5)/(4/10). Suppose 2*p - 2 = z*j, 0*j + 8 = 4*j. Suppose 0 = 4*n + p*g - 137, -2*g - 70 = -2*n - 4*g. Does 16 divide n?
True
Suppose 6*b - b = -5. Let j = 1 - b. Let d(t) = 2*t**3 + t**2 - t + 2. Does 10 divide d(j)?
True
Suppose -4*s = -27 + 123. Is 13 a factor of ((-26)/(-4))/((-6)/s)?
True
Let t be 1/(-2)*0/1. Let l = t + -1. Is (l - 0)*2 - -30 a multiple of 13?
False
Let f = 41 - 26. Is 4 a factor of f?
False
Suppose -4*l + 18 = c, -3 = c - 5. Suppose p - 2*p + 13 = x, 0 = x + l*p - 25. Does 9 divide x?
True
Suppose 2*d - 12 = 36. Is 23 a factor of d?
False
Let u = -11 + 15. Suppose -a + 32 = 2*a + 5*r, r - u = 0. Does 4 divide a?
True
Suppose 0 = 3*k - 0*k + 3. Let v be k*3 + (0 - -4). Is 3 a factor of 2 - (-2 - 1 - v)?
True
Let j(c) = -c - 2 + 1 - 1. Let t be j(-6). Suppose 0 = 4*o + 2*x - 94, -3*x = t*o - 112 + 19. Is o a multiple of 11?
False
Suppose -6*o = -170 - 244. Does 23 divide o?
True
Suppose 0 = -5*x + 3*x. Let q be ((-1)/(-3) - x)*12. Suppose -2*z = -q*h - 30, z - 5*h - 35 = -z. Is 2 a factor of z?
False
Let t = -40 + 83. Is 13 a factor of t?
False
Let p(m) = 5*m + 0*m - 4*m + m. Let a(h) = -12*h - 2. Let s(b) = 2*a(b) + 14*p(b). Is 6 a factor of s(4)?
True
Suppose 3*a + 4 = 5*a. Suppose -4*m + 13 + 7 = 0, 49 = a*g + 5*m. Is g a multiple of 4?
True
Let j = -11 + 11. Suppose 3*b + 3*l - 27 = j, -3*l + 4 = -l. Is 3 a factor of b?
False
Let s = 39 - 24. Is s a multiple of 5?
True
Is 54/(-6) - -5 - (2 - 174) a multiple of 8?
True
Suppose 0 = -q + 4*q - 4*v - 1, -5*q - 3*v = -21. Does 11 divide ((-17)/3)/((-1)/q)?
False
Let n(d) = -2*d + 39. Does 13 divide n(0)?
True
Suppose 3*q = 6*q - 21. Suppose 2*y + 4*n = 26, q = 2*y + n - 7. Is 5 a factor of y?
True
Let o = 88 - 25. Is 9 a factor of o?
True
Let y(v) = v**3 + 4*v**2 - 7*v - 7. Let h be y(-5). Suppose 2*g = s - 5, g + h*g = 8. Is s a multiple of 3?
True
Is 18/(-18)*225/(-1) a multiple of 11?
False
Suppose 0 = -4*r + 13 + 3. Suppose r*v + 4*z = 36, -5*v + 3*z + 12 = -9. Is v a multiple of 3?
True
Is 91/(0 - (-3 + 2) - 0) a multiple of 29?
False
Let z = 10 + -7. Suppose -2*r + 175 = z*r. Let i = r + -18. Is 17 a factor of i?
True
Let b(j) = j**2 - j + 2. Let k(w) = -2*w**2 + 2*w - 4. Let d(y) = -5*b(y) - 2*k(y). Let t be d(0). Does 7 divide (1*-13)/(1 + t)?
False
Let m = 48 - 34. Let d = m - 4. Is d a multiple of 8?
False
Suppose 79 = 4*w + 5*m, 4*w - m - 47 = 14. Does 16 divide w?
True
Let l = 25 + -17. Suppose -3*h + h - l = 0. Let a(f) = -f. Does 4 divide a(h)?
True
Let d(k) = k**3 + 13*k**2 - 5*k - 17. Is d(-13) a multiple of 24?
True
Suppose -4*j = -9*j + 20. Suppose 2*f + j*m - 92 = 48, -70 = -f + 5*m. Is 14 a factor of f?
True
Let x be (2 - (0 - -1))/1. Let v(n) = 2*n**2 - n**2 + x + 3*n**2. Is v(2) a multiple of 17?
True
Suppose 0*s = 4*m - 2*s + 34, 43 = -3*m + 5*s. Is 8 a factor of ((-20)/m)/((-1)/(-3))?
False
Does 14 divide ((-16)/(-2))/(14/49)?
True
Let q = 19 - 16. Is q even?
False
Suppose -18 = -4*h - 3*a, -h - 3*a + 8*a - 7 = 0. Suppose -8*q + h*q = -75. Is 4 a factor of q?
False
Let u(r) = -r**2 + 19*r + 4. Does 11 divide u(17)?
False
Let z be 0 + (-8)/(-4)*53. Let d = z + -39. Is 33 a factor of d?
False
Suppose -5*m + 116 = 2*b, 0 = 2*m - m + 2*b - 28. Is m a multiple of 11?
True
Suppose -7 = 5*n - 32. Does 4 divide n?
False
Suppose 2*g = 7*g + 4*a - 380, g - a = 85. Is 21 a factor of g?
False
Let g(s) = -s**3 + 12*s**2 + 35*s - 23. Does 12 divide g(14)?
False
Let b = 53 - -55. Is 12 a factor of b?
True
Let d = 6 + -6. Suppose -f = -d*f. Is 3*(-1 - -4) - f a multiple of 9?
True
Suppose 0*i = i - 2. Suppose b - 9 - i = 0. Is b a multiple of 3?
False
Suppose -15*n + 11*n = -336. Is n a multiple of 61?
False
Does 33 divide (198/15)/((-10)/(-25))?
True
Let u = -175 + 367. Does 32 divide u?
True
Let k be 538/(-8) - 2/(-8). Let j = -25 - k. Is j a multiple of 14?
True
Let t(u) = -u**2 - 10*u - 1. Is t(-7) a multiple of 5?
True
Let z be 102/5 + (-6)/15. Let k be 1/((-1)/((-1)/(-1))). Is (3/(-6))/(k/z) a multiple of 5?
True
Let s(w) = -w**3 + 6*w**2 - 5*w - 4. Let o be s(5). Is (o - -5) + 54/2 a multiple of 17?
False
Let k = -7 + 9. Suppose -y + k = -2*y. Does 14 divide (28/3)/(y/(-3))?
True
Suppose -5*v + 2*c = -25, 3*v - 28 = 5*c + 6. Suppose -t + 4*y = -25 + v, 3*y = -15. Suppose t*u + 3 = 51. Is 12 a factor of u?
True
Suppose -3*w + 4*j + 4 = -0*j, 3*w = 3*j + 9. Let u(n) = 10*n - 7. Is 18 a factor of u(w)?
False
Suppose 2*p + 4*b - 40 = 0, 0*p + 4*p + b - 59 = 0. Let m be -4 + p + 0 + 2. Suppose -n - n = -m. Does 3 divide n?
True
Let z be ((-1)/(-1))/((-7)/(-7)). Let r(d) = 3*d**2 + 2*d - 1. Let o be r(z). Suppose 0 = 3*l + i - o*i - 117, -3*l + 5*i = -117. Is 21 a factor of l?
False
Let i(m) be the first derivative of m**4/4 - 4*m**3/3 + 2*m**2 + 2*m - 3. Is i(5) a multiple of 16?
False
Suppose 4*l = -9*s + 4*s - 20, 3*l = s + 4. Suppose l = -3*u - d + 2*d - 66, 5*u - 5*d + 110 = 0. Is 2 a factor of (-106)/u + 10/55?
False
Suppose 12*a + 1137 = 3*m + 9*a, -m = -4*a - 385. Is m a multiple of 13?
True
Let q = -106 - -152. Suppose -5*z + q = -39. Is 10 a factor of z?
False
Suppose 3*h - 10 + 1 = 0. Suppose -h*t = -40 - 32. Is t a multiple of 8?
True
Suppose -22 = -2*h + 5*g, -6 = 5*h - 3*g - 42. Is (560/(-30))/((-2)/h) a multiple of 20?
False
Let o(j) = 3*j. Let i be o(1). Let h = i + -3. Suppose -u + 2 + 18 = h. Is u a multiple of 10?
True
Suppose 6 = -3*s, r + 2*r + s - 88 = 0. Is 10 a factor of r?
True
Let h(v) = 3*v**3 + 5*v**2 + 2*v - 6. Is 14 a factor of h(2)?
True
Suppose 2*x = 34 + 26. Suppose -2*r = 2*l - 64, -x - 8 = -r + l. Does 9 divide r?
False
Let r be (-4)/(-2) - (-7)/(-1). Let c = 7 + r. Is (-1*c - -25)*1 a multiple of 8?
False
Let x be 114/(-5) + (-4)/20. Let q = -11 - x. Does 12 divide q?
True
Suppose -g + 236 = 5*p - 94, -124 = -2*p - 2*g. Is 15 a factor of p?
False
Let b = -22 + 27. Suppose s - 27 = -4*z, 3*z = 2*s - b*s + 72. Does 20 divide s?
False
Suppose i + 190 = 5*v - 0*i, -3*v = -2*i - 107. Does 11 divide v?
False
Suppose -8 - 488 = -8*x. Is 3 a factor of x?
False
Suppose -i + 2*i = -5, 4*n - 4*i = 40. Suppose 48 = 3*y + g - 19, 0 = 5*y + n*g - 105. Does 10 divide y?
False
Suppose -5*r + 269 = -4*l, -4*r = l + 2*l - 209. Does 47 divide r?
False
Does 19 divide 2*(2 - 1)*43/2?
False
Let k = -30 - -8. Is 11/k + 82/4 a multiple of 6?
False
Suppose 0 = -2*b + b + 3. Suppose -b*k = -s - 2*s - 27, -3*k + 27 = 4*s. Suppose -4*a + k*a - 62 = -f, 2*a - 14 = 5*f. Does 10 divide a?
False
Let d(z) = z**3 - 6*z**2 + 4*z + 7. Let c be d(5). Suppose -4 = -g - 4*x, -5*x + c = -g - 3. Suppose g = -2*q - 2*q + 104. Does 10 divide q?
False
Let z be ((-10)/3)/(4/(-6)). Suppose -135 + 38 = -q + 4*w, -z*q - 4*w + 365 = 0. Let x = q + -55. Does 12 divide x?
False
Let t(c) = -c**2 - 19*c + 19. Is 16 a factor of t(-18)?
False
Let h(s) = s**3 - 14*s**2 - 10*s - 7. Is 14 a factor of h(15)?
False
Let t be 2 + (1 - -2) + -3. Does 11 divide (0 - (-56)/t) + 2?
False
Suppose -184 + 540 = 4*u. Suppose -u - 151 = -5*z. Is 16 a factor of z?
True
Suppose 0 = 9*y + 178 - 772. Is y a multiple of 24?
False
Let k = 5 - 19. Let a = k - -38. Is 14 a factor of a?
False
Let y = 12 + -6. Let m be (-117)/(-27) - 2/y. Suppose -m*q + 2*g = -68, -4 = -2*g + 4. Is q a multiple of 9?
False
Let o be (-4)/(-12) - 2/6. Suppose -25 = -4*m - 3*d, -2*d = -o*d + 10. Is m a multiple of 10?
True
Let q(y) = y**2 + 1. Let c(l) = -2*l**2 - 3*l - 10. Let i(d) = c(d) + 3*q(d). Let r(k) = k**2 - 4. Let m be r(-3). Is i(m) a multiple of 2?
False
Let v = -10 - -4. Let s = -6 - v. Suppose -2*l + 4*o + 10 = s, 3*l - 31 + 8 = 4*o. Is l a multiple of 9?
False
Let w(n) = 2*n -