+ 30. Let o be (h/(-5))/(3/(-40)). Suppose -o - 12 = -s. Does 13 divide s?
False
Suppose 3*h - 20 = -0*w - 5*w, -5*h + 42 = 4*w. Is h a multiple of 10?
True
Suppose -5*t - 248 = -2*u, 2*u - 496 = -2*u + 3*t. Is u a multiple of 31?
True
Suppose -4*p = 5*b - 513, 4*b + 3*p = 6*p + 398. Does 23 divide b?
False
Suppose -4*n + 16 = -36. Does 2 divide n?
False
Let r be -2*(-5 - (0 + -3)). Suppose -o - 5*l + 9 = -r*l, 0 = -o - 4*l. Does 7 divide o?
False
Suppose 3*l - 6*l - 9 = 0, 3*c = -2*l - 15. Let b(t) = t**2 + t + 2. Does 3 divide b(c)?
False
Suppose -7*x = -2*x - 225. Is 462/10 + (-9)/x a multiple of 16?
False
Let v = -413 + 706. Does 22 divide v?
False
Let p = 1 + -2. Let r be (-12)/p - (-2)/(-1). Is 4/r - (-58)/5 a multiple of 8?
False
Suppose 5*c - 18 = 152. Does 17 divide c?
True
Suppose -j + 20 = -4*x, 3*x + 15 = j - 3*j. Suppose j = -5*v - 10 - 20. Is 15 a factor of (-198)/v + 3 + -1?
False
Suppose -14*k + 2761 = -879. Is 16 a factor of k?
False
Suppose -2665 = -10*o - 505. Is o a multiple of 12?
True
Suppose -4*j + 18 = 2. Does 3 divide j?
False
Let k be 1*(4 + -5)*-4. Suppose -k*l - 19 = 4*c - 311, c - l = 63. Is 27 a factor of c?
False
Let y be 6/4 + 43/2. Suppose 5*k + 5*i - 55 = 0, 0 = 4*k + 3*i - 19 - y. Is 2 a factor of k?
False
Let i(w) = w**2 - 2. Let k be i(-2). Let z = -1 + k. Let l(j) = 5*j**3 + j. Is l(z) a multiple of 3?
True
Let h(b) = b**3 - 11*b**2 + 10*b + 12. Let r be h(10). Let q = r - 18. Let g = q - -13. Is g a multiple of 6?
False
Let s(d) = -11*d. Is s(-2) a multiple of 22?
True
Suppose p + 0*p = 3. Suppose 12 = -0*z + p*z. Is 3 a factor of z?
False
Let w = -4 + 6. Let x be w*((-2)/2)/1. Let q(i) = 3*i**2 + i + 1. Does 11 divide q(x)?
True
Let w = -18 - -11. Is -3 - (w + (3 - 4)) a multiple of 5?
True
Is 8 a factor of ((-1)/((-6)/(-80)))/((-2)/18)?
True
Let v = -22 + 72. Suppose 5*u = -0*u + v. Is u a multiple of 8?
False
Let u = 18 + -20. Does 11 divide 1 + (u + 0 - -45)?
True
Let r be (-1)/(-6) - (-2)/(-12). Suppose 2*v - 5*v + 45 = r. Does 15 divide v?
True
Let g be 0/(-1*(2 + -1)). Suppose -w - 92 = -3*w + 5*q, -4*w - 4*q = -128. Suppose w = -g*t + 3*t. Is t a multiple of 12?
True
Let w = 201 + -110. Does 25 divide w?
False
Let i be (-51)/(-9) + 1/3. Let c = 8 - i. Is 14 a factor of (-2 + 9)/(1/c)?
True
Let w(j) = j - 2. Let y be w(8). Let p = y + -6. Suppose c - 23 = -p*q - q, 0 = -2*c + 5*q + 25. Is c a multiple of 7?
False
Suppose 0 = 3*u + 9, 5*d - 4*u + 90 - 242 = 0. Suppose -2*g = -0*g. Suppose 34 = a + 2*z, d = 2*a - 4*z - g*z. Is a a multiple of 12?
True
Let u(c) = -c**3 + c**2 - 4*c - 3. Suppose -5*t - 7 = 3. Does 10 divide u(t)?
False
Suppose -17 - 53 = -5*g. Is 8 a factor of g?
False
Let d = -8 - -13. Suppose 3*i - 14 - 8 = -d*z, 2*i = 5*z + 48. Is i a multiple of 8?
False
Let i(o) = -o**2 + 11*o + 3. Let z be i(11). Does 21 divide 0 - (-178 - -1)/z?
False
Suppose 0*x = 2*x - 32. Does 2 divide (-2)/7 - x/(-7)?
True
Let h = 177 - 77. Does 9 divide h?
False
Suppose -781 = -3*o - 172. Does 34 divide o?
False
Suppose -9 = -f - 2*f. Suppose 0 = -2*v - k + 12, -2*k = -5*v + f*k + 15. Is v a multiple of 4?
False
Let p(l) = 11*l**3 - l**2 + 3*l - 2. Let w be p(1). Suppose -5*i + 2*i = -51. Let y = i - w. Is y a multiple of 2?
True
Suppose 0 = -5*z - 3*m + 486, z + 196 = 3*z + 2*m. Does 48 divide z?
True
Let r(y) = y**3 + 3*y**2 + 4. Does 4 divide r(-3)?
True
Does 6 divide -2 + -1 + (26 - -73)?
True
Let f(a) = -a**2 - 7*a - 1. Let u be f(-6). Suppose u = 2*p - 5. Is 5 a factor of p?
True
Suppose -m = -1 - 0. Suppose -30 - 110 = -4*x. Let q = x + m. Is 12 a factor of q?
True
Suppose 5*u - 22 = 23. Is u a multiple of 9?
True
Does 8 divide (-6)/21 + 606/14 + 4?
False
Does 25 divide (85/15 - 7)*75/(-2)?
True
Let o(m) = 6*m**3 - 2. Let b(g) = g + 30*g**2 - g**3 + 6*g - 24*g**2 + 2. Let x be b(7). Does 16 divide o(x)?
False
Let d(i) = -12*i - 6. Does 18 divide d(-5)?
True
Let c(u) = -120*u**3 + 2*u**2 + u - 1. Does 23 divide c(-1)?
False
Suppose 3*q + 2*l = -55, -4*q + 5*l - 97 = 7. Let c = q + 35. Let u = c + -5. Does 4 divide u?
False
Let c = 0 + 2. Let h = 8 - 6. Suppose h + 22 = c*j. Is j a multiple of 5?
False
Suppose 8 = -7*v + 3*v. Let i(p) = -21*p - 2. Is i(v) a multiple of 15?
False
Let j = -76 - -678. Is j/10 - (-2)/(-10) a multiple of 20?
True
Suppose 1 = -5*k + 4*r, -k - 3*r - 3 = -18. Suppose h = -s, -2*s - 3*s - k*h = 6. Is 2/3*-5*s a multiple of 3?
False
Suppose -132 = -5*q + 128. Is 26 a factor of q?
True
Let o = 1 + 11. Let k = 12 + -8. Suppose 0 = -2*j + k*j - o. Does 5 divide j?
False
Let i(a) = 3*a + 1. Let o be i(1). Let t be -34*(-2)/16*o. Suppose 2*y - 24 = -2*l, -3*l - t - 43 = -5*y. Does 12 divide y?
True
Let v = 46 + -34. Does 6 divide v?
True
Suppose -2*w = -2*m - 113 - 41, w - 3*m = 75. Is w a multiple of 18?
False
Suppose -q = 3*r - 4, -2*r = -7*r. Suppose 3 = 2*a - 3*a, 4*n + q*a = 36. Is n a multiple of 6?
True
Let r = 174 - 110. Is 5 a factor of r?
False
Suppose 5*h - 9 = 16. Suppose 12 = -h*v + 77. Is 13 a factor of v?
True
Let v be 44*(3 - (-12)/(-16)). Let f = v + -54. Is f a multiple of 11?
False
Let p(r) = 2 - 3 - 1 - 4*r. Let x(a) = -a + 5. Let v be x(10). Does 15 divide p(v)?
False
Suppose 0 = 4*y + 4*t - 60, -4*y + 87 = 4*t - 9*t. Does 6 divide y?
True
Let h = 233 + -48. Is h a multiple of 21?
False
Let p(a) = 5*a**2 - 2*a. Does 11 divide p(-2)?
False
Let c(w) be the first derivative of w**4/4 + 8*w**3/3 - 11*w**2/2 - 13*w + 3. Let f be c(-9). Suppose -f*l + 38 = -3*l. Is 19 a factor of l?
True
Let l = -6 + 14. Does 5 divide l?
False
Let f(p) = 14*p + 2. Let s(a) = -15*a - 1. Suppose 0 = -7*y + 2*y + 15. Let o(t) = y*s(t) + 2*f(t). Is o(-1) a multiple of 9?
True
Suppose -80 + 12 = -2*k. Let c = -17 + k. Is 17 a factor of c?
True
Suppose 41 = 3*y - 55. Is y a multiple of 32?
True
Let y(c) be the first derivative of c**4/2 - c**3 + c - 5. Is 5 a factor of y(2)?
True
Suppose -p + 25 + 7 = 4*d, 0 = 2*d + p - 16. Suppose 2*y - 40 = -d. Is y a multiple of 8?
True
Let c(x) = x**2 + 3*x + 4. Suppose -2*t + 2 = -4*t + 2*u, -t + 4*u = -11. Does 5 divide c(t)?
False
Let n be (-7420)/(-50) + 4/(-10). Suppose 4*y - n = 4*g, -y + 4*g = -49 + 6. Does 22 divide y?
False
Is 103*(4 - 3) + -1 + 3 a multiple of 9?
False
Suppose f = 5*q + 2, f + 2*q + 0*q = 2. Suppose a - 15 - 27 = -i, -5*i - f*a = -222. Is i a multiple of 14?
False
Let p be (-6)/4*10/(-3). Suppose -u - p*i + 27 = 0, -i + 0*i = 5*u - 135. Is 9 a factor of u?
True
Suppose 4 = -3*n - 3*u + 16, 5*n + 2*u = 20. Suppose 240 = p + n*p. Is 12 a factor of p?
True
Let j = 4 - 1. Let q(m) = 2*m**2 - m - 4. Does 3 divide q(j)?
False
Suppose 4*k = 5*z - 213, 74 = 2*z - 0*z + 4*k. Suppose -2*f + 4*w + z = f, 2*w = 2. Is f a multiple of 13?
False
Let c(s) = 2*s**2 - 4*s + 3. Let m be c(3). Let n = -3 - -16. Let u = m + n. Is 11 a factor of u?
True
Let c be (-671)/(-66) + 1/(-6). Does 12 divide ((-8)/c)/((-2)/120)?
True
Is 11 a factor of 4/(-10)*-1 - (-106)/10?
True
Suppose 0 = 2*j - l - 77, 4*j + l - 236 + 85 = 0. Is j a multiple of 6?
False
Let o(s) = s**2 + 7*s - 4. Let a be 18/(-27) - 50/6. Is 7 a factor of o(a)?
True
Suppose 6*g + 90 = g. Let c = -5 - g. Does 13 divide c?
True
Let m be ((-2)/4)/((-1)/36). Let z = -13 + m. Does 5 divide z?
True
Let c = 3 + -1. Let b(h) = -8*h**3 + 7*h**2 - 4*h + 2. Let i(u) = 9*u**3 - 8*u**2 + 4*u - 2. Let d(y) = -5*b(y) - 4*i(y). Is 13 a factor of d(c)?
True
Let l(g) = -9*g - 38. Is l(-10) a multiple of 26?
True
Let a = 11 - 3. Suppose -200 = a*m - 3*m. Is 15 a factor of (m/(-12))/(2/18)?
True
Suppose -z + 2*z - 32 = 0. Is z a multiple of 22?
False
Suppose k + 3*k + 5*c - 18 = 0, 0 = 2*c - 4. Let m be (0 + (2 - 1))*k. Suppose 21 = w + m*a + 1, 0 = 4*w - 4*a - 44. Is w a multiple of 7?
True
Let w(a) = -16*a - 2. Let t(d) = -d**2 - 1. Suppose -2*g + 4*x = -10, g + g + x = 0. Let h be t(g). Is 11 a factor of w(h)?
False
Let r = 6 - 6. Suppose -26 = -d - d + p, -3*p + 6 = r. Does 7 divide d?
True
Suppose 16 = n - 25. Does 6 divide n?
False
Let m = 41 + -11. Does 15 divide m?
True
Let b be 126/2 - (-1 - 0). Suppose 0*q - 2*q - 4*w = -b, 0 = 3*q - 5*w - 118. Is 18 a factor of q?
True
Does 43 divide (-1 - 45)*(11 + -16)?
False
Suppose -4*r + 4*j - 5*j = -57, 4*r - 69 = 3*j. Is r a multiple of 15?
True
Suppos