168 = -3*t. Is 13 a factor of t?
True
Let k be (-2)/2 - (-7)/((-35)/(-50)). Suppose k*d - 1370 = 4*d. Is d a multiple of 43?
False
Let v(i) = -2*i**3 + 26*i**2 + 5*i + 34. Is v(10) a multiple of 57?
True
Let d be (-26)/14 - 21/147. Does 28 divide (-4)/d*7*2?
True
Let m(s) = 54*s - 236. Does 24 divide m(9)?
False
Let r(f) = 2487*f + 96. Does 29 divide r(1)?
False
Let r(v) = 2*v + 2. Suppose 0 = -p - p. Suppose 0 = -g + 2*x + 14 - 5, -5*x - 20 = p. Is r(g) a multiple of 4?
True
Let a = 80 - -72. Is a a multiple of 23?
False
Let g(z) = -z**2 + 4*z - 9. Let h be g(7). Let q be 66*2*h/8. Is (-2)/14 - q/35 a multiple of 8?
False
Suppose -o + 7545 = 4*a + 2745, 2400 = 2*a - 2*o. Is 15 a factor of a?
True
Suppose 5*j - j - 8 = 0. Suppose 0*a - 3*a = -3*v - 3, 0 = -3*v + 6. Suppose -j*c = a*c - 325. Is c a multiple of 18?
False
Let h(g) = -16*g - 17. Let k(w) = 15*w + 16. Let d(s) = -5*h(s) - 6*k(s). Let l(x) = 3*x - 18. Let a be l(4). Is d(a) a multiple of 16?
False
Let n = 328 - 220. Does 9 divide n?
True
Suppose b - 13 = 3*a, b - 5*a - 17 = 2. Suppose 81 + 23 = b*o. Suppose 0 = -5*q - o + 106. Is q a multiple of 8?
True
Let y(q) = 0*q + 5*q**2 - 5*q - 4*q**2 - 1. Let r be y(6). Suppose v + 146 = 4*f, 2*v + 182 = r*f + v. Is f a multiple of 12?
True
Let w = -3 + 3. Suppose -2*u + r - 46 = -4*u, -r - 4 = w. Does 10 divide u?
False
Suppose -3*n + 510 = 30. Is n a multiple of 32?
True
Let t = 7 + 0. Suppose 3*s = -2*n + t + 5, -4*n - 4*s = -20. Suppose -n = -p + 6. Does 6 divide p?
False
Suppose -3*n - 3*g = -315, 0 = -2*n - 15*g + 16*g + 207. Is 26 a factor of n?
True
Let g = 39 + -36. Suppose 5*v = -j + 34, -g*j + 3*v = 7*v - 58. Does 14 divide j?
True
Let r = 30 - 25. Let o = 0 - 0. Suppose -r*q - f + 261 = o, 7*q = 2*q + 3*f + 257. Is 26 a factor of q?
True
Suppose f = -f + x + 14, 3*f - 28 = 5*x. Let h(v) = v**2 - 2*v - 3. Let d be h(f). Suppose -2*a - d - 4 = -3*g, g - 17 = 5*a. Is g a multiple of 2?
False
Let k = -110 - -313. Does 28 divide k/(-14)*(-1 + -3)?
False
Let o(k) be the third derivative of k**5/60 - 7*k**4/24 + k**3 - 2*k**2. Is o(9) a multiple of 4?
True
Let a = -190 + 118. Let v be a/(-16) - (-2)/(-4). Suppose -v*w + 4*d = -260, -2*w - 5*d + 151 = -0*d. Does 11 divide w?
False
Let m = 32 + -92. Let d = 43 + -47. Is (2/d)/(1/m) a multiple of 11?
False
Let b(x) = 4*x + 0*x + 0 - 5 + 0. Does 5 divide b(9)?
False
Let x(q) = q - 5. Let g be x(9). Suppose 68 - g = 2*v. Let l = v + -23. Is l a multiple of 2?
False
Let i(t) = 34*t**2 + 14*t - 33. Is i(-5) a multiple of 9?
True
Let q be 5 - 1*(5 - 2). Suppose q*h = -240 - 6. Let m = h + 193. Does 14 divide m?
True
Suppose -5343 = -4*w + 23937. Let y be w/45 + 1/3. Suppose -y = 5*u - 538. Is u a multiple of 30?
False
Let h = -39 + 102. Suppose 0 = -c + 18 + h. Suppose -5*z + 10 = -5, 0 = 3*a - 3*z - c. Is 5 a factor of a?
True
Let z(i) = i**3 + 10*i**2 + 3*i - 6. Let d be z(-9). Suppose 392 = -2*a - d. Is 18 a factor of (3/(-5))/(4/a)?
False
Suppose -3*d + 5*t + 6310 = 0, -3*d = -t + 1799 - 8101. Does 70 divide d?
True
Let g be (-7434)/(-24) + (-1)/(-4). Suppose 4*c = 5*z + g, -z - 2*z - 186 = 4*c. Is 16 a factor of (z/(-3) - 3)*3?
False
Let q(p) = 3*p**2 + 5*p - 42. Is q(5) a multiple of 21?
False
Is -6 - (-8 + 15 - 653) a multiple of 16?
True
Let z = -9 + 25. Suppose 12 = -0*y + y. Let h = z - y. Is h a multiple of 2?
True
Let i = -57 - -72. Suppose 5*j - i = 2*j. Is 4 a factor of j?
False
Suppose -2*l = x - 921, 6*x - 9*x - 4*l + 2769 = 0. Is x a multiple of 75?
False
Suppose -w + 4*f = -21, 15 = w + 2*w + 4*f. Suppose -3*s = -v - 14, 2*v + 4*s - 13 = w. Is 24*v*15/10 a multiple of 18?
True
Suppose -8*g + 12 = -5*g. Suppose 3*v = g*v - 33. Does 11 divide v?
True
Suppose n + 2*u = 3*u + 4, 2*n - u - 4 = 0. Suppose n = q - 0*s - s - 63, -q - 3*s = -59. Does 31 divide q?
True
Let q(w) = 119*w**2 + w - 22. Does 10 divide q(-3)?
False
Suppose 3*t - 2*o = -4, -t - 35 = -5*o - 12. Suppose t*u = 16 + 152. Does 27 divide u?
False
Let o = -650 - -1411. Is o a multiple of 45?
False
Let l(o) = o**2 - 4*o - 20. Let x be l(8). Suppose 26 + 18 = 4*p. Suppose -32 = p*a - x*a. Does 12 divide a?
False
Let q be ((-702)/65)/(4/(-10)). Let d = -30 - q. Let z = d - -81. Does 8 divide z?
True
Does 27 divide (655/3)/((-110)/(-15) + -7)?
False
Let p be (-25)/(-6) - (-6)/(-36). Suppose -2*a - 5 = -a, -w = -p*a - 30. Does 3 divide w?
False
Let f(a) be the third derivative of a**6/120 + a**5/5 - 7*a**4/24 + 2*a**3/3 - 7*a**2. Is 22 a factor of f(-12)?
True
Let o(l) = 21*l**2 + 3*l. Is o(-3) a multiple of 30?
True
Let l = 2212 + -123. Is 57 a factor of l?
False
Let q = -19 - -8. Let j be 21/2 - q/22. Does 6 divide (-18)/21*(4 - j)?
True
Suppose -688 = -4*l + 924. Does 22 divide l?
False
Let i = -1441 - -1567. Does 9 divide i?
True
Suppose 2692 + 1522 = -7*i. Let j = -420 - i. Does 26 divide j?
True
Let q(f) = f**2 + f**3 + 3 + 4*f - 6*f + 0*f + f**2. Let s be q(-3). Suppose s = 4*w - 9 - 23. Is 4 a factor of w?
True
Suppose 3*f - 5198 = -1238. Is f a multiple of 14?
False
Let k(u) = 2*u**2 - 41*u + 1. Is 26 a factor of k(29)?
True
Let z(m) = -11*m + 3. Let a be (-4)/5*(-5)/(-2). Let r be z(a). Suppose 0 = -q - 4*q - r, -165 = -5*n - 2*q. Is 11 a factor of n?
False
Is (2/4)/(-2*(-5)/2220) a multiple of 3?
True
Suppose 0 = 2*h - 3*t - 4, 2*h - 5*t = 3*h - 2. Suppose -3*g = -h*i + 27, -i + g = -g - 16. Suppose -i*d - 224 = -584. Does 30 divide d?
True
Let f(g) be the third derivative of g**5/10 + g**3/6 + 13*g**2. Does 3 divide f(2)?
False
Let l(p) = 2*p - 35. Let z(d) = 3*d - 35. Let u(g) = -4*l(g) + 5*z(g). Does 8 divide u(10)?
False
Let g(d) = d**3 + 13*d**2 + 11*d + 12. Let r = 32 + -60. Let j = -40 - r. Does 12 divide g(j)?
True
Suppose -476 = -7*p + 4375. Is p a multiple of 11?
True
Let h = 145 - 60. Does 4 divide (-3 - 0) + h + -9?
False
Suppose 2*u - 5205 = 3*r, 8*u - 13024 = 3*u - 4*r. Is 42 a factor of u?
True
Suppose -4*t - 4*l + 8662 = -5522, 3*t = -l + 10634. Does 31 divide (-40)/(-50) + (t/(-10))/(-2)?
False
Let x be (9/(-12))/((-1)/(-24)). Let a = x - -47. Does 29 divide a?
True
Suppose -4*c = -3*c + 6. Let i be (-255)/c - 3/6. Is 12/i - (-138)/7 a multiple of 20?
True
Does 13 divide 35*1*(-18 + 14552/119)?
False
Let o = -12 - -15. Suppose -c - 17 = -3*c - x, -5*x - 19 = -o*c. Is c a multiple of 6?
False
Let o(t) = 169*t - 11. Let h(v) = -844*v + 56. Let m(l) = -3*h(l) - 16*o(l). Is 18 a factor of m(-1)?
True
Let s(v) = -v**3 + v**2 - v + 1. Let i(j) = -2*j**3 - 5*j**2 - 10*j - 5. Let a(l) = i(l) - 3*s(l). Is 10 a factor of a(9)?
True
Let s be 1/(-6) - (2 - 7)/30. Suppose 4*u = s, -5*u = 2*t - 4 - 110. Is t a multiple of 10?
False
Suppose 4860 = x + 3772. Does 13 divide x?
False
Let s be (-6)/14 - 418/(-77). Suppose 2*q = 3*b - 6*b + 45, -s*q = 5*b - 75. Is 9 a factor of b?
False
Let q be 1/6 + (-1588)/24. Does 7 divide (7 - 12)*q/10 - -2?
True
Suppose -8*t - 500 = -8964. Is t a multiple of 103?
False
Suppose g + 8 = 7. Let y(w) = 3*w**2 - 2*w - 2. Let a be y(g). Suppose -a*b = -5 - 10. Is b a multiple of 3?
False
Let k = 929 - 731. Does 14 divide k?
False
Let s be 180/10 - 1/(-1). Let b = -9 + -4. Let l = b + s. Does 2 divide l?
True
Let c = -21 + 20. Let i be (c/3)/(2/(-18)). Suppose 0 = -3*m + 2*v + 84, i*v - 32 = -5*m + 89. Is 13 a factor of m?
True
Let b = 476 - 137. Does 38 divide 1/2 - b/(-6)?
False
Let p(u) = u**3 - 8*u**2 - 32*u + 4. Does 9 divide p(17)?
True
Suppose 54 = -10*f + f. Let x = 12 - f. Is 2 a factor of x?
True
Let k(u) = u**3 + 35. Suppose 0 = -8*c + 3*c + 2*h + 2, -c - 2*h = 2. Does 8 divide k(c)?
False
Let g = -100 - -106. Does 12 divide 155*33/21 + g/14?
False
Let y(j) = -j**2 - 20*j + 66. Let f(l) = -11*l - 7. Let o be f(1). Is 51 a factor of y(o)?
True
Suppose 10*k = 6*k + 936. Is 39 a factor of k?
True
Let u = 28 - 14. Let a(x) = 5*x**3 - 13*x**2 - 11*x - 8. Let c(k) = -6*k**3 + 13*k**2 + 10*k + 9. Let z(y) = -5*a(y) - 4*c(y). Is z(u) a multiple of 18?
True
Suppose -5*g + 4 = s, 7 = 2*s + 4*g - 1. Suppose 0 = -4*p - s*f + 76, 5*f = -p - p + 47. Let q = 25 - p. Is q a multiple of 9?
True
Let t = -1165 - -1227. Does 6 divide t?
False
Let q = -29 - 5. Is (112/(-10))/(q/30 + 1) a multiple of 11?
False
Suppose 9 = -4*b + x - 9, 5*b + 2*x = -29. Let p = b - -9. Suppose -p = -4*k +