divide k?
True
Let q = -397 + 894. Is q a multiple of 13?
False
Suppose 1 = -w - v, -3*v + v - 6 = 4*w. Let t(h) = -3*h**2 - 9*h + 16. Let g(u) = -u**2 + u + 1. Let x(a) = w*g(a) + t(a). Does 8 divide x(-10)?
True
Suppose 9*f - 172 = 5*f. Suppose -181 = -t - f. Is t a multiple of 23?
True
Is 10 a factor of 97 + (-6 - -5)*-9?
False
Is 25/5*11*54/15 a multiple of 11?
True
Suppose 6 = c + 5*p - 3*p, -5*p = -5*c. Suppose 6*n + c*n = 528. Is 22 a factor of n?
True
Suppose -h = -4*r - 0*h + 472, 0 = r + h - 113. Is r a multiple of 9?
True
Let f = -9 - -3. Let d be (-40)/12*(-27)/f. Let q = -7 - d. Is 3 a factor of q?
False
Let m be (12/51)/(-2) + (-618)/(-51). Let j(c) = c**3 - 11*c**2 + 2*c - 3. Is 15 a factor of j(m)?
True
Suppose 2*m + 5*u - 3113 = 3362, 0 = -2*m - 4*u + 6478. Is m a multiple of 62?
False
Suppose -5*c = k - 6832, -5*c + k - 2793 + 9631 = 0. Is 5 a factor of c?
False
Suppose 4*l + 0 = 2*u + 8, 0 = -2*u + 2*l - 2. Suppose -u = o - 3*o. Is o + -4 + (17 - -11) a multiple of 25?
True
Suppose -7*t = -3*t - 16. Suppose 0*q + t*q + 968 = 4*v, 4*v = 2*q + 964. Is 20 a factor of v?
True
Let j(a) = -4*a + 8. Let g be j(-5). Suppose -4*l + g = -20. Does 4 divide 1/(-2*(-1)/l)?
False
Let p(m) = m. Let h(b) = b**2 + 9*b - 8. Let q(z) = h(z) - 5*p(z). Let i be q(-6). Suppose -57 = -4*f + 4*t + t, 5*f = i*t + 60. Is 8 a factor of f?
True
Suppose -6091 = -21*o + 6089. Is o a multiple of 20?
True
Let s = -28 - -11. Let h(t) = -t**2 - 7*t - 9. Let a be h(-6). Let b = a - s. Is b a multiple of 9?
False
Let v be 75*2 + -1 - (7 + -8). Suppose -27*r = -30*r + v. Does 25 divide r?
True
Let j be 4/(-2) - (2 + -2). Let s(g) = -g**3 + 2*g + 1. Let l be s(j). Suppose 2*v = -3*v + q + 26, 5 = -l*q. Does 3 divide v?
False
Let a = -44 + 50. Suppose -16*s + a*s + 970 = 0. Does 30 divide s?
False
Let m = 15 - 12. Let x be 30 + (-1 - -2)*m. Suppose -6*h + x = -3. Does 2 divide h?
True
Suppose -4*d = -114 - 34. Suppose d + 79 = 2*h. Does 23 divide h?
False
Suppose 0 = -13*l + 12*l - 15. Let n be ((-3)/(-2))/(l/200). Let u = 38 + n. Is u a multiple of 6?
True
Let c = -262 + 686. Is c a multiple of 32?
False
Suppose -5*x - 4*h = -406, 142 = 2*x - h - 10. Let i be (-2 + x/8)*12. Suppose -7 - i = -5*f. Does 8 divide f?
False
Let c be (-5)/(-4)*640/20. Is 5 a factor of ((-32)/c)/(4/(-190))?
False
Is (18/15)/((-18)/(-5265)) a multiple of 9?
True
Let f(w) = -18*w - 10. Let q be f(-7). Let n = q + -30. Is n a multiple of 16?
False
Suppose 4*o - 14 = -2. Suppose 4*f = -m + 75, 0*m + 4*f = o*m - 241. Is m a multiple of 16?
False
Does 4 divide (-29988)/(-48) + (-26)/(-8) + -4?
True
Let o be (-4)/(-6)*1092/8. Let q = -131 + o. Is 3 a factor of 4/6 - q/12?
False
Let c be 132/(-22)*(-1)/(-2). Is 9 a factor of 7/c*-2*81/6?
True
Suppose -4*v + 247 = -129. Is v a multiple of 47?
True
Is 5 a factor of ((-24)/48)/(3/(-1140))?
True
Let c be 2 - (-4 + (-12)/(-4) + 3). Suppose 0 = -0*a - 2*a + 8, -2*s - 3*a + 472 = c. Is 23 a factor of s?
True
Let m(o) = o**2 + 2*o - 6. Let q be m(-5). Let s(a) = -10*a - 18. Let p(k) = -5*k - 9. Let b(v) = q*p(v) - 4*s(v). Is b(-9) a multiple of 15?
False
Suppose 3*g + 3*s = 27, 3*s = 8*s + 10. Suppose -g*k = -13*k + 630. Is 15 a factor of k?
True
Suppose -3 = f - 5. Is 36 a factor of -4 + f + 2 + 72?
True
Let g = -116 - -52. Let c = 82 + g. Is 4 a factor of c?
False
Let v(y) = 4*y + 2. Let k(a) = -11*a - 5. Let q(m) = 3*k(m) + 8*v(m). Let f be q(-5). Is 3/(-18) - (-229)/f a multiple of 19?
True
Let a(j) = -3*j - 5. Let x be a(-3). Suppose -x*o = -8*o + 24. Suppose -o = -4*b + b. Is b a multiple of 2?
True
Let g = -440 + 496. Is g a multiple of 2?
True
Let i(j) = j + 6. Let u be i(-4). Suppose 8 = 4*r + u*f, 0 = r - 2*r + 2*f - 8. Suppose 2*w + r = 10. Is w a multiple of 4?
False
Suppose -3*b = -2*b + 24. Let q be (12/(-5) - -2)*-5. Does 4 divide (-15)/q*b/15?
True
Let v(k) = -k**2 - 2*k + 6. Let r be v(-3). Suppose 5*z + 52 = 4*d + z, -r*z = 2*d - 21. Is d a multiple of 12?
True
Suppose 0 = -3*r - 2*k + 57, 5*r = 4*k - 27 + 100. Suppose 28 = -4*c + 4. Let l = r + c. Is 3 a factor of l?
False
Let a(p) = -92*p + 44. Is 10 a factor of a(-3)?
True
Let n = -14 - -12. Let l be (-208)/5 - n/(-5). Let h = -2 - l. Does 9 divide h?
False
Let a = -82 - -292. Is a a multiple of 21?
True
Let a(j) = -j**2 + 6*j - 6. Let l be a(4). Suppose -2*s + l = -s. Suppose -3*r + 21 = -2*b, s*b = 5*r - 2*b - 37. Is r a multiple of 2?
False
Let j = 323 - 218. Is 5 a factor of j?
True
Let q = -16 - -20. Suppose -7*a = -q*a - 96. Suppose -v + 5*v = a. Does 8 divide v?
True
Let k be -5 + 7 + 1 + -11. Let i(f) = -f**3 - 9*f**2 - 9*f - 6. Let o be i(k). Suppose -17 = -o*h - 1. Is h a multiple of 8?
True
Suppose -4*h + 249 = -2*x - 5, 5*x = h - 77. Does 6 divide h?
False
Suppose -18*d + 15*d + 4*b + 900 = 0, -4*d + b + 1200 = 0. Does 20 divide d?
True
Suppose 29 = -5*c - 446. Is 19 a factor of (96/80)/((-2)/c)?
True
Let l be (4/(-10))/(2/(-50)). Let f be 152/(-57)*(-6)/8. Let p = l - f. Is 4 a factor of p?
True
Suppose 0 = 5*s - 4*c - 4929 - 3816, -2*s = 3*c - 3521. Does 13 divide s?
False
Let r = 398 + 223. Does 23 divide r?
True
Let o = 4348 + -1554. Is 79 a factor of o?
False
Let q = 2172 + -1118. Is q a multiple of 17?
True
Suppose -4*z = -3*i + 876, -2*z + 381 = 2*i - 217. Does 4 divide i?
True
Let t = -41 + 45. Suppose 2*c + 5*w = 200, 5*c + t*w = 2*w + 458. Does 15 divide c?
True
Let o(c) = c. Let d(t) = -5*t**2 - 13*t - 4. Let m(w) = -d(w) - 6*o(w). Is m(-3) a multiple of 14?
True
Suppose -4*t + 1 - 5 = 0, -z = 3*t + 1. Suppose -5*u - 5 = 4*r, 0*r = -z*u - 3*r - 9. Suppose 5*p + 111 - 11 = 3*i, u*p + 108 = 3*i. Is 7 a factor of i?
False
Let v = -14 + 16. Let u = v + 35. Is u a multiple of 4?
False
Let k(h) = h**3 + 13*h**2 - 5*h + 23. Let r(u) = 2*u**3 + 26*u**2 - 10*u + 47. Let s(f) = -7*k(f) + 4*r(f). Is s(-13) a multiple of 23?
True
Let p = 0 - -1. Is 7 a factor of (-2667)/(-126) + 1*p/(-6)?
True
Suppose 8*n = 2*n + 12. Is (-2)/(-4)*96/n a multiple of 22?
False
Let z(u) = u. Let o(k) = 4*k - 7. Suppose 2*x + 16 = -2*f, -4*x = 3*f - 0*x + 26. Let m(d) = f*z(d) + o(d). Does 5 divide m(-11)?
True
Suppose -4*b + 1053 + 359 = -2*o, -3*o = -b + 353. Let y = b - 233. Is y a multiple of 15?
True
Let t be (-1)/(8/6)*24. Let f(c) = -c**3 - 19*c**2 - 19*c + 5. Does 4 divide f(t)?
False
Is (-44112)/36*21/(-7) a multiple of 19?
False
Let k = -26 + 25. Let v = 4 + k. Suppose 0 = x - 25 - v. Is x a multiple of 7?
True
Suppose -4 = 7*n - 9*n. Suppose -2*h - 5*w = -27, 2*h + 2*h - 5*w - 39 = 0. Suppose -h - 41 = -n*a. Is a a multiple of 7?
False
Suppose 5*f = -3*x + 2484, 9*f - 13*f + 3*x + 1998 = 0. Does 13 divide f?
False
Let j(p) = 71*p**2 - 52*p - 208. Is 8 a factor of j(-4)?
True
Suppose -4*k + k - 21 = 0. Let c = k + 10. Suppose 8*f - 130 = c*f. Is 13 a factor of f?
True
Suppose 6*a - 19 = 4*r + a, 39 = -4*r + a. Let c(i) = i**3 + 12*i**2 + 8*i - 11. Is c(r) a multiple of 22?
True
Suppose -4*f + 2*n = -1608, 3*f - 3*n = n + 1216. Is 10 a factor of f?
True
Let m = -13 + 17. Let v = 4 + m. Does 2 divide 8 + 0 + (v - 7)?
False
Let i(q) = q**3 + 8*q**2 - 6. Let z be i(-8). Let x be (-33)/z*(-2 - -8). Is 6/x + 2450/77 a multiple of 19?
False
Let t(x) = 653*x - 254. Is 18 a factor of t(4)?
True
Suppose 13 = 2*s + 9. Suppose -3*t + s*m = 4*m - 2, 2 = 2*m. Suppose -4*v + t*v + 73 = 3*r, 2*r + 3*v - 47 = 0. Is 13 a factor of r?
False
Suppose -2*j + 9 = 3*b - 4, 4*j = 5*b + 37. Suppose -3*x - j = -2. Is 1/(x + 27/12) a multiple of 4?
True
Let l be 1540/22 - (2 - 1). Suppose 0 = -s + 6 - 0. Suppose 0 = s*a - l - 147. Is 9 a factor of a?
True
Let b = 315 - -330. Is 43 a factor of b?
True
Suppose 3*v + 2 - 14 = 0. Suppose 0 = -3*h - 9, 0 = 5*r - 5*h - 235 + 85. Suppose 0 = -v*s + 21 + r. Is s a multiple of 6?
True
Suppose c + 5 = b - 14, b - 4*c = 25. Suppose 3*w - 3*j - 84 = 0, -2*j - b = 4*w - 141. Suppose 5*d = -5*a + w, -d + 3*d - 4*a = 30. Is d a multiple of 4?
False
Let i(m) = -m + 32. Let u be i(17). Let g(k) = k - 12. Is g(u) a multiple of 3?
True
Let d be 0 + 0 - (77 - 1). Let a = -46 - d. Suppose 4*v + a = 5*n + 3*v, 2*n - 19 = -v. Is 3 a factor of n?
False
Let m(b) = -b**2 + 18*b - 21. Let y be (1*(-1 + 0))/(33/(-396)). Is m(y) a multiple of 5?
False
Let g(m) = 4*m**3 - 3*m + 35. 