*h - 4 = 0, -5*h = 4*d - 255 - 26. Suppose -r*t + d = -5*t. Does 23 divide t?
True
Suppose -91 = -5*r + 19. Does 5 divide r?
False
Let m be 0/((-2)/4*-4). Suppose -4*f = 3*k + 48, -4*f - k - 28 - 12 = m. Is 2/f + 357/27 a multiple of 13?
True
Let m be (3/(-9))/((-1)/6). Let t be (0 - -61) + m + -1. Is t/(1 + 1) + -1 a multiple of 11?
False
Let m = -2 - -5. Suppose -2*h = 4*c + c - 100, -h = m*c - 61. Does 21 divide c?
False
Let k(m) = 3*m - 45. Is k(29) a multiple of 6?
True
Let a(q) = -q + 6. Let m be a(4). Let c = 74 + -34. Suppose m*y + 4*v - c = 0, -v = -3*v + 4. Does 8 divide y?
True
Suppose -4*r + 2 = 4*t - 6, 3*t = 4*r - 22. Let p(z) = z**2 - 10*z + 3. Let q be p(11). Suppose -5*v + r*v + q = 0. Is 5 a factor of v?
False
Suppose 4*m = -m + 5, -2*h + 3*m = -57. Suppose 5*w - 5*r + h - 145 = 0, 4*w - 84 = 2*r. Is (-5)/5 + w*1 a multiple of 11?
False
Suppose 16*o + 28 = 17*o. Is 8 a factor of o?
False
Let k(t) = 2*t - 5. Let g be k(5). Suppose -11 = -2*m + g. Is 8 a factor of m?
True
Let u = -1 + 4. Suppose -5*i + 2 = -u*i. Is 5 a factor of 1/i*30/2?
True
Let g = 15 - 21. Is 6 a factor of (-2)/g + 248/12?
False
Let b(i) = 2*i**2 + 3*i + 8. Is b(-4) a multiple of 28?
True
Suppose -u + 4 = 5*t + 3*u, 0 = t - 2*u + 2. Does 11 divide (-3)/(t - (-2)/(-22))?
True
Let s = 35 - 4. Let m = s - 2. Does 25 divide m?
False
Suppose i = -h + 11, 0 = 5*i - 2*h + 4*h - 46. Suppose -3*v = -i - 4. Does 3 divide v?
False
Let k be 4/(-2) + (-2 - -6). Suppose 0 = k*y - 5*p - 45, y - 3*p - 2*p = 10. Is (y/15)/((-2)/(-6)) a multiple of 3?
False
Suppose 5*j = 3*q - 15, 0 = -q + 4*q + 5*j - 15. Suppose 2*y = q*y - 60. Does 7 divide y?
False
Let v(z) = z + 15. Let n be v(-13). Suppose n*g + 4 = c, 0 = c - 3*g - 2. Let m = c - 2. Does 6 divide m?
True
Suppose -3*b + 5*b + m = -181, 4*b + 372 = -4*m. Let p = b + 148. Suppose 4*r + p = 2*y, -20 = 3*r + 2*r. Is y a multiple of 8?
False
Suppose -u = -2*u + 1. Let y(l) = l**2 - 12*l + 15. Let s be y(11). Suppose -v + u = 3*t, 0*t = -s*v - t + 15. Does 2 divide v?
True
Suppose -200 = 2*d - 4*d. Does 20 divide d?
True
Suppose -4*r = 4*l - 12, 0*r + 4*l = -r + 6. Suppose 6 = -3*p - r*u - 3*u, p - 9 = 2*u. Suppose -9 = -p*h + 3. Is h a multiple of 2?
True
Let h = 3 + -3. Suppose h*t - 40 = -4*t. Is 10 a factor of t?
True
Suppose -2*x + 18 = 5*t, -4*x = -3*t + 1 + 15. Suppose 2*z - t*f + 56 = 0, 2*z - 3*f - 49 = 4*z. Let j = z + 52. Is j a multiple of 13?
True
Let g be ((-10)/25)/(4/(-80)). Suppose 13*b - 12*b = g. Does 8 divide b?
True
Suppose -5*o + 164 = 5*m + 4, 26 = m + 4*o. Suppose 0 = l - 2*l + m. Is 14 a factor of l?
False
Let x(u) = -5*u - 19. Is x(-9) a multiple of 26?
True
Let n(s) = 2*s + 4. Let r(o) = o. Let t(j) = n(j) - r(j). Let h(v) = -6*v - 3. Let p be h(-2). Does 12 divide t(p)?
False
Let v(q) = -14*q + 1. Let t be v(1). Let m = 37 + t. Does 3 divide 1/3 + m/9?
True
Suppose 2*j - 9 = -3*c + 45, 91 = 5*c + 3*j. Is c a multiple of 20?
True
Let u(d) = 4*d + 0 - 5*d + 1. Let x be u(0). Is 2 a factor of (-10)/(4/(-2)) - x?
True
Let v = -1 - -26. Suppose -5*x + 2*f - v = 0, f + 10 = 3*f. Is 13 a factor of ((-78)/8)/(x/8)?
True
Let z(v) = -v**2 + 5*v + 4. Let h be z(5). Suppose 4*n = -h*s - 11 - 5, 2 = n - s. Does 2 divide 8/2 + n + 0?
False
Suppose -969 = -3*n - 3*s, -3*n + 2*n - 5*s = -323. Is n a multiple of 18?
False
Let l be -9*(10/3 - 3). Let o be ((-6)/(-18))/((-1)/l). Suppose h + o = 4, -3*j - 2*h = -18. Does 4 divide j?
True
Let b be ((-238)/35)/(1/(-5)). Suppose 2*j - b = 42. Does 18 divide j?
False
Let f(n) = n - 1. Let h(m) = 11*m + 7. Suppose 0 = v - x + 6, 3*v = 8*v + 3*x + 30. Let t(s) = v*f(s) - h(s). Does 14 divide t(-1)?
False
Let i = 5 - 5. Suppose i*h = -h + 11. Is 8 a factor of h?
False
Let s(g) = -g**2 + 7*g + 5. Let z be s(7). Let y(f) = 4*f**2 + 14*f - 6. Let x(a) = -5*a**2 - 15*a + 7. Let t(c) = 5*x(c) + 6*y(c). Does 10 divide t(z)?
False
Let m(h) = -138*h. Let b be m(-2). Is 1/(3 - b/93) a multiple of 11?
False
Let d(k) = k**3 - 8*k**2 + 8*k. Does 7 divide d(7)?
True
Is -4 - -146*2/4 a multiple of 18?
False
Suppose -87 = -4*k + 3*g, -9*k + 4*k = -g - 95. Is k a multiple of 18?
True
Is 31 a factor of (100/12 + 2)/(4/96)?
True
Let p(f) = -5*f + 5*f - f + 2 + 6*f. Let h be p(2). Suppose -h = 5*m - 162. Does 10 divide m?
True
Let m be 1 - 4 - (-5 - -9). Let x = m - -51. Is x a multiple of 11?
True
Let g = 25 + -1. Does 8 divide g?
True
Let n(p) = 4 - 6*p**2 + 4*p**3 - 3*p**3 - 1 + 1. Let a be n(6). Suppose -u - 2 = a*w - 34, -u + 16 = -4*w. Is 16 a factor of u?
False
Let m = -24 + 36. Suppose 4*c = -0*c + m. Is 3 a factor of c?
True
Let m(l) = 2*l**2 + 13*l - 12. Let b be m(-10). Suppose 0 = -0*x - 4*x. Suppose 4*s - 106 - b = -2*n, -3*s + 3*n + 105 = x. Is 13 a factor of s?
True
Let v(a) = -a + 3. Let t be v(0). Suppose 5*l - 15 = 4*y, -l = t*l + 5*y - 12. Suppose l*h + 2*h - 145 = 0. Is 15 a factor of h?
False
Suppose 8*w + 5*w - 1391 = 0. Does 7 divide w?
False
Suppose -v - 2*v = 0. Let x be (5 + -2)*8/(-6). Is 18 a factor of (v + -2)/(x/62)?
False
Is 3*(-6)/63 - (-1600)/14 a multiple of 22?
False
Let g = -16 - -26. Suppose -2*t = -4*w + 8, -t - 5*w = -0*w - g. Suppose -5*b + 211 = -4*s, -2*b - 3*s + 74 + 15 = t. Is b a multiple of 21?
False
Let m(z) = 2*z**2 - z - 1. Let g(s) = -s**2 - 12*s - 12. Let k be g(-11). Let q be m(k). Suppose 3*y - 31 = 3*w - 1, q*y - 15 = -3*w. Does 9 divide y?
True
Let u(z) = z + 2*z**2 - 6 + z - 6 + 3*z. Is u(-7) a multiple of 16?
False
Suppose 5*v = y + 360, -v + 53 = -0*v - 4*y. Let w = v - 35. Is 7 a factor of w?
False
Let p = 2 + -3. Let j be p/(1 - (-12)/(-9)). Suppose 34 = 4*m - 3*k, -4*m + 4*k - j*k = -38. Is m a multiple of 5?
True
Suppose 4*r - 5*b = 503, -4*r = b + 2*b - 479. Is 27 a factor of r?
False
Suppose 8*l - 3*l = 25. Let w(k) = k + 5. Is 8 a factor of w(l)?
False
Let u(z) = 2*z**2 + 3*z - 54. Is 9 a factor of u(9)?
True
Let v(s) = s + 34. Let n(o) = -11. Let c(d) = -11*n(d) - 4*v(d). Let q be c(-10). Suppose 0 = y + 4*p - q - 7, -3*y - 4*p = -64. Is y a multiple of 8?
True
Let o be -4 - -1 - (-21 + -1). Suppose 4*i = o + 81. Does 12 divide i?
False
Let f(g) = 3*g**3 - 2*g**2 - 4*g - 1. Let i be (2/(-8))/(6/(-72)). Is f(i) a multiple of 13?
False
Suppose 3*a - 38 = 55. Does 9 divide a?
False
Let w = 34 - 14. Let u = 98 - 29. Suppose -2*i - 5*h + 47 = -w, 4*i - 3*h = u. Is i a multiple of 9?
False
Suppose s + u = 3, u = 4*s - 9 - 13. Suppose -s*n - 28 = -118. Is 11 a factor of n?
False
Let y = 8 + 4. Is (13 - 1)*y/9 a multiple of 8?
True
Let g be (-81)/(-4) + 3/(-12). Suppose 0 = -s - 4*w + g, 4*w - 8*w = 2*s - 24. Suppose 0 = m - s*m + 27. Does 4 divide m?
False
Let s be (-14)/8*12*-3. Suppose q - s = -0*q - 3*n, 3*q + 3*n = 159. Is q a multiple of 20?
False
Let z(s) = 11*s - 10. Is z(14) a multiple of 24?
True
Suppose 4*l - 23 - 1 = 0. Suppose l*v + 3 = 3*v. Is -1 + 15 - 3/v a multiple of 15?
False
Let x(w) = -64*w + 1. Let o be x(1). Let m be (-4)/(-6) - (-83)/(-3). Let i = m - o. Does 13 divide i?
False
Suppose 0 = 4*i - 7*i - 3. Let x = i + 28. Does 9 divide x?
True
Suppose 0 = 3*t - p - 14, -8 - 18 = -5*t + 3*p. Suppose r = -2, 97 = 4*k + t*r - 79. Does 23 divide k?
True
Suppose 0*d - 92 = -4*d. Is d a multiple of 5?
False
Let x be 394/7 + 6/(-21). Suppose 3*r = r + x. Let z = r + -12. Is z a multiple of 12?
False
Suppose 24 = 4*j + 8. Suppose -n = -j*b - 21, 0*b = 5*n - 2*b - 87. Is 17 a factor of n?
True
Let q(s) = s**2 + 7*s + 3. Let i be (-28)/16*(5 + -1). Let n be q(i). Suppose 0 = -7*b + n*b + 8. Does 2 divide b?
True
Let c(d) = 3*d**2 + 3*d - 2. Let t be c(2). Suppose -3*s + s - 8 = 3*i, 2*s = -5*i - t. Suppose -81 = -s*b - b. Does 17 divide b?
False
Is 10 a factor of (-32)/(2 - (-60)/(-25))?
True
Let m(f) = -f + 2. Let k be m(-7). Let r(x) = 6*x**3 - x**2 - 2*x - 1. Let z be r(-1). Let l = k + z. Is l a multiple of 3?
True
Let k(t) = -t**3 - 3*t**2 - 8*t - 11. Does 21 divide k(-5)?
False
Suppose -6 = -t - 0*t. Let b(f) = 4*f + 16. Does 8 divide b(t)?
True
Let r = 7 - 13. Let n(i) = i**3 + 5*i**2 - 7*i - 2. Let m be n(r). Suppose -31 = -m*t + 41. Is 9 a factor of t?
True
Suppose 0 = 5*o + 2*p - 170, -o + 4*p + 31 = 5*p. Is o a multiple of 14?
False
Let j = -111 - -61. Let s = -16 - j. Does 10 divide s?
False
Let p(n) = -33 -