 = 2*z. Suppose -2*f - z = -5*f. Does 10 divide f?
True
Suppose -188 = -83*m + 81*m. Does 12 divide m?
False
Let s = 80 - 39. Let v = -27 + s. Is v a multiple of 8?
False
Is (-6909)/(-28) - 2/((-16)/2) a multiple of 13?
True
Suppose 0*i = -3*x - 2*i + 20, 2*x = -i + 13. Let w(b) = -b**3 + 5*b**2 + 6*b + 8. Is 8 a factor of w(x)?
True
Suppose 0 = -c - 5*g - 18, -4*g = 5*c - 3*g - 6. Suppose c*f - 48 = -2*f. Does 6 divide f?
True
Let i be (1 - 0) + 4/4. Let o = i + 3. Let g(p) = 2*p. Does 10 divide g(o)?
True
Suppose -2*r + 5 + 3 = 0. Suppose 0*o = r*o - 144. Is 12 a factor of o?
True
Suppose 15 = m + 3*r, -3*m - 3*r + 18 = -3. Suppose 41 = 5*z + m*o + o, -12 = -4*z + 2*o. Suppose -5*d + 2*v = 6*v - 65, -11 = -4*d + z*v. Does 5 divide d?
False
Let n = -104 + 230. Is 38 a factor of n?
False
Let r be -1 + 1 - (-2 - -2). Suppose r = 2*j - 2*i, -3*j - 4*i = 3 - 17. Let o = j + 4. Is 6 a factor of o?
True
Let u(m) = m**2 - m + 2. Let f(q) = 5*q**2 + q - 2. Let p be f(-2). Suppose 2*l - p = -2*l. Is u(l) a multiple of 14?
True
Let g(y) = -y - 3. Let b(n) = 6*n**3 + 2*n**2 + n. Let k be b(-1). Let x be g(k). Suppose 0 = x*s + 4*t - 20, 6*t + 55 = 2*s + 3*t. Is 10 a factor of s?
True
Let j = -9 + 1. Does 2 divide (-21)/(-6)*j/(-14)?
True
Suppose 0 = 5*q, 0 = 2*b - 7*q + 2*q + 20. Is 5*((-112)/b)/1 a multiple of 19?
False
Is (1158/24)/(1/4) + 2 a multiple of 39?
True
Suppose 0 = 3*b + 2*b - 325. Is b a multiple of 13?
True
Let o = -15 + 94. Does 5 divide o?
False
Let i = -114 - -15. Is 7 a factor of 4/(-22) - 2493/i?
False
Suppose -1 + 13 = 3*j. Suppose y = j*y - 60. Is ((-12)/16)/((-1)/y) a multiple of 5?
True
Suppose -4*y - 89 = -8*y - 3*i, -4*i = -3*y + 98. Does 13 divide y?
True
Let k be 1/(-2)*(-7 + 1). Suppose k*g = -0*g + 30. Let n = 29 - g. Is n a multiple of 19?
True
Let d = 0 - -5. Suppose -13 = d*h - 3. Is 3 a factor of 5 - h/(-4)*0?
False
Let a = -7 - -9. Suppose -2*x + 4 = -a. Is 3 a factor of x?
True
Let o(t) = 2*t - 1. Let b be o(-2). Let u = b + 37. Does 16 divide u?
True
Let r(g) be the second derivative of -1/20*g**5 - g + 0*g**3 + 0 + 2*g**2 + 0*g**4. Is 2 a factor of r(0)?
True
Let s(x) = 6*x - 3. Is s(9) a multiple of 11?
False
Suppose -277 = 4*p - 21. Let x = -90 - p. Let s = 44 + x. Is s a multiple of 9?
True
Suppose -2*s - 38 - 32 = -i, 0 = 3*i + s - 245. Does 11 divide i?
False
Let k(b) = -b**2 + 6. Let h be k(0). Suppose -h*n = -2*n - 108. Does 9 divide n?
True
Suppose -5*y - 12 = -27. Is (3/2)/(y/24) a multiple of 12?
True
Does 14 divide (103 - 1) + -1 + 4?
False
Let a = -3 - -7. Suppose -a + 24 = 2*w. Let m = w - 5. Is 4 a factor of m?
False
Does 13 divide 1/3 - (-3312)/108?
False
Let a(v) = -v + 9. Let g be a(9). Suppose -4*l + 5*h + 172 = g, 2*h + 12 = -h. Is 19 a factor of l?
True
Suppose 5*s - 6*f - 129 = -3*f, 2*f - 4 = 0. Is 27 a factor of s?
True
Let b = -9 - -14. Suppose -7 - 3 = -b*z. Is -1 + 34/z + 1 a multiple of 10?
False
Let q be (-5)/1 - (-2)/1. Let y = q - -21. Is y a multiple of 9?
True
Suppose 4*w = -5*b + 23, -w = -0*b + 3*b + 3. Is w a multiple of 2?
True
Suppose 0 = 2*f - 1 + 3. Let w = f - 6. Let i(y) = -y**3 - 6*y**2 + 5*y + 8. Does 12 divide i(w)?
False
Let y(h) be the first derivative of -3*h**5/40 - h**4/12 - h**3 - 2. Let j(q) be the third derivative of y(q). Does 8 divide j(-2)?
True
Let a(z) = z**2 + 5*z - 10. Suppose 9*i = -5*g + 4*i - 30, -48 = 5*g - 4*i. Let b be a(g). Is 4/b + 165/35 a multiple of 5?
True
Let d = 0 - -2. Suppose 0 = -d*k - 10. Is (-3)/(1 + 2)*k even?
False
Let p be 1/2*(-54)/(-9). Is ((-14)/p)/(2/(-3)) a multiple of 3?
False
Let r(o) = -1 + 7 + 6*o - 4 + o**2. Let p be r(-6). Let l(u) = 2*u + 2. Does 3 divide l(p)?
True
Suppose -11*j + 605 = -2937. Is j a multiple of 46?
True
Suppose 223 = 6*q - 383. Is 7 a factor of q?
False
Let u be (21*-1)/((-3)/2). Suppose -4*r + 21 = -y, 2*r = 2*y - 2 + u. Suppose 2*w = -2*w - 4*v + 24, 18 = w + r*v. Is 2 a factor of w?
False
Let s(w) = 6*w - 4*w**2 - 2 - 3 - 2*w + 5*w**2. Let r be s(-6). Suppose 3*z - 52 = -r. Is 5 a factor of z?
True
Let v(h) = h**3 - 3*h**2 - 7*h - 1. Let y be v(5). Suppose 5*z = 3*g - y, 3*z + 0 = g - 2. Let f = 18 - g. Is 4 a factor of f?
False
Suppose -3*j + 90 = -3*p - 0*p, -2*p + 185 = 5*j. Let t = j + 20. Let u = 77 - t. Is 12 a factor of u?
False
Suppose -5*p + 4 = -3*p. Suppose 0 = -p*n + 4*l + 44, -46 = -5*n + 4*l + 34. Is n a multiple of 7?
False
Let b be (-11 - -9)/((-2)/12). Let n(i) = -i**3 - i**2 + i - 7. Let d be n(0). Let r = b + d. Is r a multiple of 2?
False
Let u(t) = -t**2 - t + 22. Let x be u(0). Let j = -1 + x. Does 21 divide j?
True
Let m = 191 + -133. Suppose 5*t - 186 = -2*n, 0 = 3*t - 2*n - m - 44. Does 12 divide t?
True
Let x(d) = -d**2 - 5*d + 3. Let j be x(-5). Suppose j*u - 8 - 30 = 4*t, -5*u - t + 25 = 0. Let v = 19 - u. Is v a multiple of 13?
True
Let j(c) = -c - 12. Let l be j(-10). Let y(p) be the first derivative of p**4/4 + p**3 - p**2 + p + 2. Does 7 divide y(l)?
False
Let q be 192/8*8/6. Suppose 5*y = 53 + q. Does 6 divide y?
False
Let v(d) = -d - 4. Let c be v(-5). Let p(j) = 9*j + 2*j - 2*j. Does 9 divide p(c)?
True
Suppose 3*r = -4*z + 18, -z - 12 = -2*r - 3*z. Suppose -d = -r*d + 15. Suppose -d*n = -c + 1 + 14, n = 5*c - 75. Is 13 a factor of c?
False
Let x be -1*4 + 5 + 2. Is x + 101 + (2 - 1) a multiple of 22?
False
Let x = 14 + 46. Suppose 5*b - x = 4*c, -2*b = 2*c + 9 + 3. Does 5 divide (c/(-4))/((-1)/(-2))?
True
Let f be (-2)/(-8) - 110/(-8). Suppose 37 = l - f. Does 13 divide l?
False
Suppose 5*x - 97 = -v, -3*v - 4*x + 17 + 219 = 0. Is v a multiple of 3?
True
Let j(k) = -15*k + 1. Suppose 2*t = -t. Let v = t + -2. Is 11 a factor of j(v)?
False
Suppose 3*l = 3*n + 15 + 3, 3*l + 2*n + 2 = 0. Suppose 5*f + k = 18, -l*f + 0 = k - 6. Suppose 0 = 3*a - f*x - 44, 2*a + x - 30 = 4*x. Is 12 a factor of a?
True
Let y be (-4)/10 - 68/(-20). Suppose 157 + 39 = -3*b - 4*g, y*b + 5*g = -197. Let m = -42 - b. Does 11 divide m?
True
Let b = -1 + 3. Let m be -4*b/(-20)*5. Suppose -3*h - y + 12 = 0, 2*y + m*y + 16 = 4*h. Is h a multiple of 2?
True
Suppose -4*y - 5 = 3. Let v(c) = -c - 2. Let a(d) = -3*d - 5. Let t(r) = 3*a(r) - 8*v(r). Does 2 divide t(y)?
False
Let x(p) = p - 1. Let n be x(1). Suppose 3*w = -4*j + 4, -5*j = -3*w - 9 + 31. Let i = n + w. Is i a multiple of 4?
True
Let g(q) = -q - 4. Let c be g(-9). Suppose -l + 2*l - 7 = j, -2*l + c*j + 23 = 0. Does 3 divide l?
False
Let p(o) = o + 29. Suppose -2*b = 2*b. Let k be p(b). Let u = k + -4. Is u a multiple of 10?
False
Let s = 199 - 131. Is 18 a factor of s?
False
Suppose 2*x = 14 + 2. Does 12 divide x/28 - (-666)/21?
False
Does 7 divide 1177/55 - 2/5?
True
Let o be 4/(-14) - (-96)/42. Is o - (-11 - (2 + -1)) a multiple of 7?
True
Let l(b) = b**2 + 6*b. Let f be l(-6). Suppose 0*v + 3*v - 108 = f. Does 13 divide v?
False
Suppose h - 100 = -3*l, -3*l = -4*h + 300 + 40. Is h a multiple of 4?
True
Let a(j) = j + 7. Let g be a(-5). Suppose -g*y - 1 + 7 = 0. Suppose -y*x + 179 + 15 = 4*q, 0 = 4*q - 2*x - 204. Is q a multiple of 25?
True
Suppose -3*k = -3 - 9. Let h be (k/8)/(1/10). Suppose -18 - 32 = -h*q. Is q a multiple of 5?
True
Let b(u) = -u**3 + 6*u**2 + 5*u - 4. Let o be b(6). Let i = 47 - o. Is i a multiple of 7?
True
Let g(p) = 20*p**2 - 2*p. Suppose -c - 4 + 2 = 0. Is 18 a factor of g(c)?
False
Let l be ((-1)/3)/((-3)/18). Suppose 5 = -l*b + 25. Is 10 a factor of b?
True
Suppose 3*b = 9, 6*b = -4*p + 2*b + 288. Let t = -39 + p. Is 11 a factor of t?
False
Let x = 98 + -176. Let o = x - -109. Does 8 divide o?
False
Let n = 1 - 1. Suppose 4*q - 2*q - 10 = n. Suppose -80 = q*i - 10*i + 3*t, -3*t = -i + 16. Is i a multiple of 12?
False
Let r(o) = -3*o - 10. Let b be r(8). Let y = b - -49. Is 5 a factor of y?
True
Let u(n) = -n - 2. Is u(-14) a multiple of 9?
False
Suppose -3*h = 4*q + 68, -2*q = -h - 5*q - 21. Let m = h - -17. Let s(d) = -d - 2. Is 4 a factor of s(m)?
False
Let l = -13 - -64. Is l a multiple of 14?
False
Let d(i) = -2*i. Let c(u) = -u**2 - 3*u - 6. Let h be c(-4). Is 10 a factor of d(h)?
True
Suppose -4*g + 14 = -2*g. Let l = g + 1. Is 8 a factor of l?
True
Let d(l) = 2*l**3 - 3*l**2 - 3*l. Suppose -7*k + 3*k + 12 = 0. Is 9 a factor of d(k)?
True
Suppose 5*p - 6 = -3*t + 42, 4*p - 1 = t. Let g = t + -8. Supp