z be i*(-54 + 3 + -1). Is (z/10)/(5/25) a multiple of 13?
True
Let m be (-4410)/(-65) + 45/39 + -1. Let h = m - 55. Is 13 a factor of h?
True
Suppose 16*v = 18*v - 6. Suppose -18 = -k - v*h, -k + 2*h + 3*h = -10. Is k a multiple of 3?
True
Let g(s) = 9*s**2 + 1. Let c be (0 - -2) + 3 + 2. Let h be (-2)/c + 32/14. Does 17 divide g(h)?
False
Suppose -3010 = 2*w - 3424. Is 23 a factor of w?
True
Let v be 21/(-35) - (-326)/10. Suppose z + 6*q = 3*q + v, -5*q + 34 = z. Is z a multiple of 2?
False
Suppose -2*x = 3*o - 77, -o - 100 = -5*o - 2*x. Let c = 41 - o. Is c a multiple of 18?
True
Suppose -138 = -5*w + 82. Is w a multiple of 8?
False
Let i(k) = -134*k + 1. Let y be i(-1). Let v = y + -211. Let m = 169 + v. Is m a multiple of 31?
True
Let s = -1745 + 2969. Suppose -3*k = k - s. Does 17 divide k?
True
Suppose 0 = g - 3*g - 28. Let a be 6/(-4)*(3 + -1). Is (a + g/(-4))*156 a multiple of 21?
False
Let g(v) = v + 10. Let w be g(-3). Suppose -w*z = -13*z. Suppose 3*o - 42 = -3*m, 2*o + 3 + 5 = z. Is m a multiple of 6?
True
Suppose -4*u - 164 = -3*j, 185 + 80 = 5*j - 5*u. Let d = 82 - j. Suppose -4 = 5*s - d. Is 3 a factor of s?
True
Let c(x) = 6*x**2 - 22*x - 16. Let h(j) = -5*j**2 + 21*j + 15. Let b = -23 + 27. Let s(k) = b*c(k) + 5*h(k). Is s(15) a multiple of 17?
False
Suppose -4*q + 10 + 2 = 0. Suppose -3 = q*j, -5*u - 2*j = -0*j - 168. Does 9 divide u?
False
Suppose 3943 = -30*r + 15823. Does 9 divide r?
True
Let t(v) = v**3 - 2*v**2 + 2*v - 1. Let m be t(2). Let g(a) = 3*a**3 + 2*a - 5. Does 18 divide g(m)?
False
Is 11 a factor of (-5 - -554) + -2 + (-5)/(-1)?
False
Let w be 21/(-2)*(9 - 13). Let y be 12/w - (-19)/7. Suppose 3*q = -4*d + 145, 245 = y*q + 2*q + 5*d. Is q a multiple of 17?
True
Let h(n) = 5*n**2 + 19 - 2*n**2 + n**2 + 11*n. Is h(-5) a multiple of 25?
False
Let k = -16 + 16. Suppose 2*u + 3*c - 5 = 0, -2*c + 14 = 4*u - k*u. Let y(m) = -m**3 + 6*m**2 + 4*m + 2. Is 25 a factor of y(u)?
True
Suppose 19*z = 21*z - 10. Suppose -z*t + 3*t - 4 = 0. Is 4 a factor of 13/(-2)*t/1?
False
Suppose 0*q = 5*b - 4*q - 974, 2*b - 2*q = 388. Let u = b - 107. Does 8 divide u?
False
Let t = -44 + 46. Suppose -t*j - j + 627 = 4*f, -5*f + 801 = -2*j. Is f a multiple of 9?
False
Suppose 6*y - 64 = -2*y. Suppose -20*u + y*u + 2340 = 0. Is 13 a factor of u?
True
Suppose 5*c - 3*n = 554 + 43, -8 = 2*n. Suppose 0 = -2*l, c = p - 2*p - 4*l. Let x = 210 + p. Is x a multiple of 16?
False
Suppose -4*w = -0*w - 24. Suppose w*r - 2*r - 144 = 0. Let l = r + -7. Does 12 divide l?
False
Suppose 0 = -2*y + 6 - 0. Let i be (y - (7 + -3))*-2. Suppose 2*a = -i + 32. Does 6 divide a?
False
Let s(n) be the second derivative of 2/3*n**3 - 1/2*n**2 + 1/20*n**5 + 0 - 2*n + 7/12*n**4. Is 7 a factor of s(-5)?
False
Suppose 5*y + 8*y - 26 = 0. Suppose 4*t = 2*j - 264, -y*t + 672 = 4*j + j. Does 20 divide j?
False
Suppose 3*y + 2*y = 0. Suppose y = -2*w - 0*w + 58. Is 4 a factor of w?
False
Let n(l) = l**3 + 2*l**2 - 3*l - 2. Let z be n(-2). Suppose -5*a - 11 = -z*c + 16, 8 = c - a. Does 2 divide c?
False
Let u be 1/3 - 28/12. Let g(q) = q**3 + 4*q**2 + 4*q + 3. Let p be g(u). Does 3 divide ((-28)/(-8) - p)*10?
False
Let z be 6/(-4) - 81/(-18). Let g be 8 + (z - 3 - 3). Suppose -3*v = g*c - 62, 0 = -5*c + 3*v - 0*v + 38. Is c a multiple of 6?
False
Suppose 3*q + 4*d - 1334 = 0, -1742 = 4*q - 8*q + 2*d. Does 16 divide q?
False
Let j be (-12)/6*878/8*2. Let d = 745 + j. Does 22 divide d?
False
Let h(c) = 2*c - 3. Let r(w) = 3*w - 22. Let p(i) = 3*h(i) - r(i). Let o = 12 - 6. Is 15 a factor of p(o)?
False
Let q(g) = -2*g**3 + 28*g**2 - g + 8. Is 37 a factor of q(13)?
True
Is 10 a factor of (-1989)/(-1) + -5 + -4?
True
Let z(s) = -2*s**3 - 3*s**2 - 3*s - 3. Let x be 1/(-1)*(0 + -3). Suppose x*i = -0*i - 9. Is z(i) a multiple of 11?
True
Suppose 5*q + 61 = 4*v + 17, 5*v + q = 26. Let f(l) = 2*l**3 - 8*l**2 + 8*l. Is 16 a factor of f(v)?
True
Let v(d) = d**3 - d**2 - 3*d + 4. Let q be v(3). Suppose 0 = -8*i + 107 + q. Suppose -x + 75 = 3*m + 4*x, -5*x - i = 0. Is 20 a factor of m?
False
Let b = 1503 + -1037. Is b a multiple of 13?
False
Suppose 3*w + 275 = -43. Let z = w - -210. Does 10 divide z/10 + 12/(-30)?
True
Suppose -74 = -2*p + 310. Does 12 divide p?
True
Suppose -z - 54 = 4*c - 384, -8 = 4*z. Let t be (-442)/8 + (-1)/(-4). Let b = t + c. Does 14 divide b?
True
Suppose -11*x - 187 + 880 = 0. Does 9 divide x?
True
Is 2 a factor of (-20)/290 + (-528)/(-87)?
True
Suppose -3*t + 4*s + 621 = 0, -3*t = -2*t - 5*s - 218. Does 15 divide t?
False
Let t(h) = -h**2 - 12*h + 28. Let o be t(-14). Suppose o = 130*x - 125*x - 980. Does 49 divide x?
True
Suppose -3*s + 3365 = 5*m, 4*m = -3*s + 878 + 1814. Does 50 divide m?
False
Let p = 216 - 51. Is 2 a factor of p?
False
Suppose 547 = 6*u - u - 2*z, 563 = 5*u + 2*z. Suppose 5*x - 25 = -w, -5*w - 2*x + u + 106 = 0. Is 31 a factor of w?
False
Let d(o) = -o**3 + 5*o**2 + 3*o + 12. Suppose -35 = -3*q - 8. Let v be d(q). Is v/(-12) - (-1)/4 a multiple of 24?
True
Suppose -4*x = 79 + 409. Let l = x - -172. Is l a multiple of 11?
False
Let d(b) = b**3 - 26*b**2 + 29*b - 14. Is d(25) a multiple of 6?
False
Suppose 2*u - 608 = -0*r - 2*r, r = 4*u + 309. Does 5 divide r?
True
Is 10 a factor of 44/(-286) - (-9674)/13?
False
Suppose 78 = c - 4*o, -4*o + 2 + 10 = 0. Suppose 4*s - 120 = t - 5*t, 3*t = 2*s - 40. Suppose 21*z + c = s*z. Is z a multiple of 6?
True
Suppose 26*t - 9*t - 306 = 0. Does 3 divide t?
True
Let n(s) = 2*s**2 - 3*s + 4. Let z be n(2). Let t(k) = 32*k - 24. Does 12 divide t(z)?
True
Let z = -20 + 29. Suppose -z*g - 511 = -1879. Does 19 divide g?
True
Is 11*2/(-4 + 38/9) a multiple of 31?
False
Let m(p) = 20*p + 13. Let j be m(-14). Let n = -28 - j. Suppose -4*d = -5*t - n, -5*d + 7*t - 3*t = -292. Is d a multiple of 14?
True
Let m(f) = 3*f**3 + 4*f**2 + f + 10. Is 4 a factor of m(3)?
False
Suppose -3*p + d - 4*d + 12 = 0, -p = -d. Let h be ((-5)/p)/5*-76. Suppose -f + h = 4*f + 2*o, -3*f - 2 = -5*o. Is f a multiple of 3?
True
Suppose 12*g = 14*g - 816. Does 34 divide g?
True
Does 34 divide 7 + -7 + 7 + 546?
False
Let g be -3 - 0/(4 + -2) - 20. Let k = 17 - g. Does 9 divide k?
False
Suppose r + 111 = -3*g, -6*g + 5*r = -g + 165. Is (3 - 26/6)*g a multiple of 12?
True
Let g(w) = 3*w**2 - 6*w - 2. Let c be g(-4). Suppose -11*h = -16*h + c. Is 7 a factor of h?
True
Let x(l) = 3*l - 15. Let z be x(5). Let d(c) = c**3 + c**2 - c - 14. Let p be d(z). Let w = 29 + p. Does 6 divide w?
False
Let f(b) be the second derivative of -b**3/6 + 10*b**2 + 3*b. Is 5 a factor of f(0)?
True
Does 47 divide ((-69786)/33)/(-3) + 13/143?
True
Let y = 93 - 90. Let n(h) = 5*h**3 + 4*h**2 - 5*h - 1. Does 25 divide n(y)?
False
Suppose -14*f + 177632 = 98*f. Is 13 a factor of f?
True
Suppose -6*c + 2322 = -0*c. Is 63 a factor of c?
False
Suppose -10*g + 4*w = -15*g + 2824, -g + 565 = w. Is 47 a factor of g?
True
Let v be (8/3 - 3)*21. Let y(r) = -r**2 - 6*r + 10. Let f be y(v). Suppose n = f*n - 78. Is n a multiple of 13?
True
Suppose 142 = -3*g + 43. Let w be (g/15 + 3)*5. Suppose -o + 35 = w*o. Is o a multiple of 4?
False
Suppose 100 = -m + 1210. Does 111 divide m?
True
Let t = -414 - -585. Suppose -2*h = h - t. Is h a multiple of 19?
True
Suppose -19*l = -29*l + 690. Is l a multiple of 2?
False
Suppose s = 3*s + i - 3, 4*s + 5*i = -3. Let n(r) = -4*r**2 - 11*r + s*r**2 + 28 + 10*r. Does 7 divide n(0)?
True
Suppose -3*n = 3*g + 6, -3*g + 10 = -4*g + 3*n. Let f(q) = -5*q + 5. Does 5 divide f(g)?
True
Suppose d + 37 = -6. Let y be (-3*(-6 - -27))/(-3 + 2). Let z = y + d. Is z a multiple of 18?
False
Let z be 0 - (1 + 0)*-3. Suppose 8*u = 3*u + 440. Suppose -l = z*l - u. Is l a multiple of 11?
True
Let s(i) = 3*i**2 - 21*i - 68. Is 2 a factor of s(13)?
True
Suppose 6*n - 8*n - 5*b + 2156 = 0, 20 = -5*b. Does 17 divide n?
True
Let c(g) = 17*g**2 + g + 1. Let r be c(-1). Let v(o) = -o + 41. Does 12 divide v(r)?
True
Let d(p) = p + 12. Let g(j) = -1. Let i be -2*(-6)/(-4) - 3. Let k(o) = i*g(o) + d(o). Does 3 divide k(-7)?
False
Suppose 7*y - 4*y - 276 = 0. Suppose 84 = a - r, 0 = -2*a + 3*a + r - y. Suppose -3*b - 31 = -a. Is b a multiple of 8?
False
Suppose 2*k + 5*j = 57, 5*k - k - 59 = j. Suppose -5*h = 1 - k. Suppose -h*m + 2*s + 197 = 7*s, -5*s - 251 = -4*