-4). Suppose -2*v = 2*v - u. Does 13 divide v?
True
Suppose m - 20 = -5*f, 2*m - m = 2*f - 8. Suppose 4 + m = -2*w. Is 5 a factor of 3/(34/(-20) - w)?
True
Does 18 divide 27/(-4 + 85/20)?
True
Let i(d) = 2*d**2 + d - 1 + 0*d - 1. Let h be i(-2). Does 6 divide h/2 - (-1 + -9)?
True
Let o = -11 + 16. Suppose x - 3*m - 55 = 0, 255 = 4*x - o*m - 0*m. Suppose d - 4*d + 24 = 2*k, -4*k + x = -5*d. Does 6 divide k?
False
Suppose -5*a + 13 + 2 = g, -5*g = -4*a + 41. Suppose -118 = -5*l + a*w, -3*l + 4*l = 3*w + 17. Does 14 divide l?
False
Let g = 15 - 10. Suppose -2*z - 422 = -5*h - 105, g*h + 2*z - 333 = 0. Does 18 divide h?
False
Suppose 0 = -3*f - 2*w - 2, 3*f + 4*w = -w - 14. Suppose 7 = -f*j + 39. Is j a multiple of 16?
True
Let a = 141 + -73. Is a a multiple of 42?
False
Suppose 6*x - 142 = 122. Is x a multiple of 23?
False
Suppose 4*t - 4 = 16. Let y = t + -5. Suppose 0*k + k - 14 = y. Is 14 a factor of k?
True
Let z = -33 - -81. Is 16 a factor of z?
True
Let s(z) = 0*z - z**2 + 3*z - 7*z - 5*z + 5. Is 10 a factor of s(-5)?
False
Let c(s) = -s + 4. Let u be c(4). Suppose -4*k - 4*q + u*q = -24, 4*k = 4*q + 8. Suppose -k*h + 3*p = 8*p - 118, 5*h - p - 133 = 0. Is 21 a factor of h?
False
Suppose 3*x = l + 40, -3*l + 15 - 60 = -4*x. Does 4 divide x?
False
Suppose -w = -3, 5*w + 357 = 5*t + 72. Is 6 a factor of t?
True
Is (-8)/(-36) + 2154/27 a multiple of 40?
True
Suppose 2*t + 81 = 5*t. Does 27 divide t?
True
Let d be 4 - 1*(1 + -1). Suppose -48 = -2*h + 4*z - 0*z, 31 = d*h + 5*z. Is h a multiple of 7?
True
Let j be 34/4 - 3/6. Let k = -22 + 50. Let o = k - j. Is 10 a factor of o?
True
Suppose 18 = 2*c + 3*d + 5, 5*d = c + 13. Is c a multiple of 2?
True
Let q(k) = -k**3 - 6*k**2 - 10*k - 1. Does 4 divide q(-5)?
True
Let z = -1 + 6. Suppose 21 + z = 2*s. Is s a multiple of 13?
True
Let a(t) = -12*t - 2. Let n(u) = 35*u + 5. Let c(q) = 11*a(q) + 4*n(q). Is 14 a factor of c(9)?
True
Let t be 10/35 + 94/14. Suppose -4*r + 53 + t = 0. Is 15 a factor of r?
True
Let t(p) = -p**3 + 5*p**2 + p - 2. Let h(z) = -z**2 - 4*z + 5. Let f be h(-4). Let x be t(f). Suppose -x*l + 48 = -l. Is l a multiple of 12?
True
Let u = -9 - -14. Let k be (-2)/(-6) - (-10)/6. Suppose -k = -y + u. Is 7 a factor of y?
True
Let i(u) = -2*u. Is 12 a factor of i(-6)?
True
Let f be -98 + 0 - (-3 + 1). Is (-3)/2*f/9 a multiple of 8?
True
Suppose 2*h = 3*h - 3*t + 2, 0 = 2*h - 3*t - 2. Suppose 2*l = h*m - 249 + 77, -4*m = 5*l - 172. Is m a multiple of 14?
False
Let i be 3/(-7) - (-2340)/21. Let t = i + -45. Is 19 a factor of t?
False
Let u = 33 - -7. Is u a multiple of 15?
False
Does 38 divide (-3)/2*(-2 + (-140)/6)?
True
Let d = -1537 - -2951. Let y be 1/3 + d/6. Does 12 divide y/10 + 2/5?
True
Let x(n) = 20*n**2 + n. Is x(-2) a multiple of 29?
False
Let m(q) = -q + 6. Let t be m(5). Does 10 divide 19 + 3*t/3?
True
Let d(a) = -9*a - 5. Let o(c) = 10*c + 6. Let s(g) = 5*d(g) + 4*o(g). Let n be s(4). Let x = 42 + n. Is x a multiple of 7?
True
Let r = -25 - -35. Suppose -r = -z + 15. Is z a multiple of 6?
False
Let t(z) = 13*z - 7. Let k(m) = 7*m - 4. Let v(p) = -5*k(p) + 2*t(p). Does 14 divide v(-5)?
False
Suppose -h + 18 + 0 = 0. Is h a multiple of 18?
True
Suppose 4*j - 2*a = -5*a + 172, -2*a + 48 = j. Does 20 divide j?
True
Suppose -90 = -4*w + 2*m, -4*w + 59 = -5*m - 40. Is w a multiple of 6?
False
Suppose -n - 3*l + 14 = 0, -4*n - 4*l + 12 = -3*l. Suppose y + 2*c = -4, 3*y + 0*c + 8 = -n*c. Is 8 a factor of 11 + y - 1/1?
True
Let c(t) = 5*t**3 - 13*t**2 + 2*t + 14. Let q(n) = -9*n**3 + 25*n**2 - 3*n - 27. Let k(h) = 7*c(h) + 4*q(h). Suppose 0 = 6*l - 55 + 1. Does 4 divide k(l)?
True
Suppose h - r + 4*r = 19, 3*r - 9 = 0. Let g be 54/h - 2/5. Suppose 5*l - 3*l = t + 32, 22 = 3*l + g*t. Is l a multiple of 10?
False
Let n(o) = -o**2 - 6*o + 2. Let l be n(-6). Suppose -4*z + 11 = x, -l*z - 2 - 9 = -5*x. Suppose 2 = v - x. Is v a multiple of 5?
True
Suppose -8*i = i - 126. Is 4 a factor of i?
False
Does 10 divide (-5*1)/(9 - 440/48)?
True
Let h(w) = 10*w - 1. Does 14 divide h(11)?
False
Suppose -5*g - 3*z + 21 = 0, -2*g + z + 2 + 2 = 0. Suppose 0 = -4*x + g*x - 9. Let f = x + 37. Is 19 a factor of f?
False
Suppose -2*z + 20 = 3*z. Let b be (1*-2)/(z/(-6)). Let s(y) = 7*y + 3. Is 12 a factor of s(b)?
True
Let x(n) = -n**2 + 8*n + 3. Let t be x(8). Suppose 0 = -2*u - t*u - 20. Let b = u - -30. Is 11 a factor of b?
False
Let n(s) = -3*s - 2 + 2 + 7*s + 5. Let l be n(4). Is -38*(3 - l/6) a multiple of 19?
True
Let x(l) = 6*l**2 - 2*l - 2. Does 6 divide x(2)?
True
Let u = 4 - -2. Let s be u/4*(-8)/(-6). Suppose -s*v - 2*z + 24 = 3*z, 3*v + z - 49 = 0. Does 9 divide v?
False
Let r = 24 + -14. Is r a multiple of 8?
False
Let q(w) be the second derivative of w**4/12 + 11*w**2/2 + w. Is q(0) a multiple of 10?
False
Let l = -10 + 21. Suppose h + l = 31. Is h a multiple of 7?
False
Let m be (-1 + 2)*9/3. Suppose 0 = 4*r - 3*l - 60, -3*l - 32 = -m*r - 4*l. Does 12 divide r?
True
Let w(q) = -6*q**3 + q**2 + 3*q + 1. Let d(v) = -v**3 + v**2 + v + 1. Let o(b) = -b + 1. Let i be o(2). Let s(k) = i*w(k) + 2*d(k). Is s(2) a multiple of 17?
False
Let j(b) = 5*b**2 - 5*b - 4. Is 14 a factor of j(4)?
True
Let h(f) = f**2 - 12*f - 18. Is 31 a factor of h(-8)?
False
Is 27 a factor of -3 - 1*158/(-2)?
False
Is 55 a factor of (-35 - -2)*((-40)/(-15) - 6)?
True
Let x = 15 + 0. Does 15 divide x?
True
Let b = 192 + -108. Does 42 divide b?
True
Suppose -4*p + 4*t = -148, 2*p + t = -61 + 147. Is p a multiple of 6?
False
Let c(n) = 23*n**3 + n**2 - 3*n + 3. Let a be c(2). Let h = 293 - a. Suppose h = -d + 4*d. Is 18 a factor of d?
True
Let u be 3/2 - (-22)/4. Let a = -4 + u. Is 11 a factor of -3 + a/1 - -31?
False
Is 4 a factor of 3/((-9)/4 - -3)?
True
Let f be (-53)/(-3) + (-14)/21. Let v = f - -28. Suppose -t = 4*t - v. Is 5 a factor of t?
False
Suppose 5*d - 3414 + 619 = 0. Does 3 divide d/117 + (-4)/(-18)?
False
Let j be 12/(-42) - 438/(-14). Let i = -49 - -35. Let b = i + j. Is b a multiple of 11?
False
Suppose 0 = n + 100 - 26. Is 17 a factor of n/(-3) + (-4)/(-12)?
False
Let h = -25 - -17. Let s = h - -13. Is s a multiple of 2?
False
Let u = -36 - -21. Suppose -3*i - 8 + 50 = -5*b, -b = 4*i - 10. Is 4 a factor of u*(2 + 16/b)?
False
Let g = 79 + -44. Does 6 divide g?
False
Suppose 3*m + 2*b = 54, b = -m - 3*b + 18. Is 18 a factor of m?
True
Let b(r) = -16*r - 3. Let h be b(-2). Let a = 53 - h. Is a a multiple of 9?
False
Let x = 74 + -4. Does 35 divide x?
True
Suppose 4*f - 308 = 2*t, f - t - 77 = -0*f. Does 11 divide f?
True
Let o be 68/7 + 2/7. Suppose -4*x - 45 = -x. Is 9 a factor of x*((-18)/o)/3?
True
Suppose 4*z + 5*y - 730 = 69, 3 = -3*y. Is z a multiple of 23?
False
Suppose 6*s - 2*s = -4*g + 68, -4*s + 5*g + 104 = 0. Is s + 1 + 0 + -3 a multiple of 19?
True
Let t = -93 + 139. Does 23 divide t?
True
Suppose 3*q - 2*p - 3*p = 130, 137 = 3*q + 2*p. Is 7 a factor of q?
False
Suppose -s = d + 4*d - 84, 273 = 4*s - d. Is s a multiple of 8?
False
Suppose -9 = 4*k - 21. Let j be -1 + (-27)/k + 2. Is 11 a factor of ((-11)/4)/(2/j)?
True
Suppose -10 = 5*r - 0*r. Let o be -2 - ((-10)/r + -2). Is 16 a factor of o*(-24)/(-15)*-2?
True
Let s(w) = w**2 + 4*w - 4. Let u be s(3). Suppose -2*k + 3*y + u = 0, 2*k + 5*y = -0*y + 57. Does 16 divide k?
True
Let j = -9 + -2. Is 0 + -1 - (2 + j) a multiple of 8?
True
Suppose d = j + 1, 2*j + 3 = 3*d - 1. Is j/5 - 144/(-5) a multiple of 21?
False
Suppose u + i - 63 = -4*u, -u = -i - 9. Suppose -5*q - 2 + 12 = -3*s, 2*s = 0. Suppose -q*r = -0*r - u. Does 6 divide r?
True
Suppose 0 = t - 24 - 0. Is 4 a factor of t?
True
Let v = 11 + -11. Suppose v*q + 2*q = 22. Is 8 a factor of q?
False
Let r = -7 - -8. Does 8 divide r/6 - 212/(-24)?
False
Let j be 4/(-22) - (-39)/33. Let q = j - -29. Does 15 divide q?
True
Let y(g) = -g**2 + 11*g + 1. Does 4 divide y(8)?
False
Suppose -5*o - 137 = -332. Is 10 a factor of o?
False
Let z = -13 + 25. Is z a multiple of 5?
False
Let q = -5 + 4. Let c = q + 1. Let x = 6 + c. Does 5 divide x?
False
Let c(z) = -z**2 + z - 1. Let q(w) = -w**3 + w**2 + 2*w + 4. Let h(d) = c(d) + q(d). Does 5 divide h(-2)?
True
Is 8 a factor of ((-192)/(-10))/((-3)/(-10))?
True
Let x = 233 + -120. Is x a multiple of 8?
False
Does 20 divide ((-570)/(-12) + 5)*(-2)/(