-6) a multiple of 10?
False
Suppose -4*q + 3*q - 4*u = -9, -3*u + 2 = -4*q. Is 51/(2 - q) + 0 a multiple of 6?
False
Suppose -2*a - r = 3*r - 748, -a = -5*r - 402. Does 7 divide a?
False
Let l be (-6)/2 + (-441)/(-3). Suppose -2*q = q - l. Is q a multiple of 7?
False
Let u(x) = x**2 + 20*x + 222. Is u(-21) a multiple of 27?
True
Let j(h) = h - 7. Let l be j(13). Let m(t) = -t**3 + 5*t**2 + 18*t - 1. Is 15 a factor of m(l)?
False
Let q(g) = 2*g**2 + 17*g - 1. Let y(v) = -3*v**2 - 33*v + 1. Let f(r) = 7*q(r) + 4*y(r). Let d be f(10). Let s = 137 - d. Is s a multiple of 18?
False
Suppose 3*d - 214 = 4*h, 5*h - 326 = -5*d + 4*h. Suppose -6*r = d - 276. Is r a multiple of 16?
False
Let l = -70 - -72. Suppose -l*g + 1 + 11 = -4*r, g - 2 = 3*r. Is 14 a factor of g?
True
Suppose 139 = -4*f - 45. Let h = f + 72. Suppose 0 = l + l - h. Does 3 divide l?
False
Suppose 0 = 3*z - 3*h - 0*h - 6, 2*h + 4 = z. Suppose 0 = -4*o - z*o + 48. Is (o/(-15))/((-10)/175) a multiple of 7?
True
Suppose -4*w = -3*f + 69 - 422, -433 = -5*w + f. Suppose 3*g - 3 = 0, 2*s + 0*s - w = -2*g. Does 26 divide s?
False
Suppose 9 = -5*g + 19. Suppose -2*k - 21 = -3*u, -35 = u - 6*u + g*k. Does 2 divide u?
False
Suppose 0 = 5*s - 75 - 155. Suppose s = 5*a - 179. Does 12 divide a?
False
Suppose 2*j - 8 = 4*j - 2*t, 5*j + t = -8. Let c be j + 15/(2 + 1). Suppose -c*k + 60 = -k. Does 15 divide k?
True
Let x(u) = -u**2 - 10*u + 10. Let c be x(-10). Suppose -2 + c = l. Suppose 3*a - a + 4*q - l = 0, 4*a - 3*q = 60. Is a a multiple of 12?
True
Let m = -88 - -38. Does 23 divide m*(-1)/2*1?
False
Let p(k) = -2*k + 4. Let y = 52 + -19. Suppose y = -2*m + 7. Does 9 divide p(m)?
False
Let c = 152 + 57. Does 3 divide c?
False
Let w(s) = -4*s + 13. Let m be w(-4). Let z = m + -13. Does 8 divide z?
True
Suppose -5*y = -3*s + 554, -4*s - y + 97 = -634. Is s a multiple of 13?
False
Let b = -14 - -22. Let x be (-6232)/(-28) + b/(-14). Let u = -157 + x. Is 17 a factor of u?
False
Let s = -11 - -45. Does 3 divide s?
False
Is -10*(2625/(-10))/15 a multiple of 14?
False
Let f = 87 - 27. Is f a multiple of 10?
True
Suppose -228 = -7*r + 73. Suppose c - 8 + r = 0. Let o = -23 - c. Is o a multiple of 11?
False
Suppose 0*j + 5*b - 45 = -5*j, -2*j = -4*b + 6. Suppose -302 = -j*c + 168. Is 39 a factor of c?
False
Let q = 3 + -4. Let c = q + 0. Does 8 divide 5*c*(-10)/2?
False
Let s be -3 + 23 + (-3 - -3). Suppose 6 = -3*v - i - 17, s = -4*i. Is (v/(-5))/(45/750) a multiple of 16?
False
Let d be 11/22 + 7/2. Let n(q) = q**2 - 2*q - 4. Let k be n(4). Suppose 3*s = 7*s - 12, k*c - d = 4*s. Is c a multiple of 4?
True
Let a(o) = o**3 + 4*o**2 - 5*o - 4. Let v be a(-5). Let c be (222/v)/((-4)/8). Let b = c - 79. Is b a multiple of 8?
True
Suppose 4*g - 3164 = 2*g - 2*m, -5*g - 4*m = -7912. Does 48 divide g?
True
Let s(h) = -h**2 - 6*h + 4. Let m be s(-5). Let z = -62 - -66. Let g = m - z. Does 5 divide g?
True
Suppose 0 = 6*a + 11 - 473. Is 7 a factor of a?
True
Let p = -12 - -6. Let f be p/4 - 18/(-12). Suppose f = 7*b - 0*b - 224. Is b a multiple of 22?
False
Let r(b) = 24*b + 23. Let n be r(18). Suppose 0 = -52*p + 47*p + n. Is p a multiple of 4?
False
Suppose -2*l = -9*l + 28. Suppose 0 = 3*f - l*f + 80. Does 20 divide f?
True
Is 365/4 + (-5)/20 a multiple of 4?
False
Let w = 2591 + -671. Is w a multiple of 10?
True
Let s = -10 - -7. Let h be s/9 - 2/(-6). Suppose 0*a - 4*p - 26 = -a, h = 2*a + 3*p - 85. Does 8 divide a?
False
Let y be (-4)/(-14) - (-152)/56. Suppose x + 65 = y*b - 17, x + 26 = b. Suppose c + 2*o - o = b, -3*c + 84 = -o. Is c a multiple of 7?
True
Let x = 14 + -18. Let f = 16 + x. Suppose -q - 3*g - 1 = -f, 0 = g + 4. Is 6 a factor of q?
False
Let x be (-170)/(-25) + 1/5. Let p be ((-8)/(-6))/(x/315). Suppose 6*b = b + p. Does 5 divide b?
False
Let i(o) = -23*o - 79 + 45*o - 18*o. Is i(28) a multiple of 21?
False
Suppose 0 = v - 8*i + 12*i - 186, -2*i = 4*v - 786. Is 11 a factor of v?
True
Suppose -2307 = -m - 5*f, 5*m - 2*f - 12338 = -884. Is m a multiple of 6?
True
Suppose 27*h - 50*h = -5474. Is h a multiple of 17?
True
Suppose -2*w = 4*a - 1916, 52*a - 56*a - 1948 = -2*w. Is w a multiple of 14?
True
Suppose 4*i = -5 + 13. Suppose 2*w - 4*z - 80 = 0, 0 = -i*w + 3*z - 10 + 87. Is w a multiple of 17?
True
Suppose -2*x + 13 = g, 18 = 5*g + 2*x - 7. Suppose 2*a - m - g*m = 84, -3*m + 12 = 0. Is a a multiple of 25?
True
Let x(o) = -4 + 4 - 5*o - 15. Suppose -5*c + 2 = k - 6, 0 = k - c + 10. Does 11 divide x(k)?
False
Suppose -2*n = f - 6*n - 168, 2*f + n - 327 = 0. Does 12 divide f?
False
Let r(m) = 14*m - 7. Does 2 divide r(5)?
False
Does 63 divide (6 + -2 + (-7)/2)*756?
True
Let a be (-1030)/(-22) - 26/(-143). Suppose 4*o - 5*t + 6 = 26, -4*o + 20 = -3*t. Suppose -2*y - o*i + a = 0, 77 = 2*y - 2*i + i. Is y a multiple of 9?
True
Let k(w) = 5*w - 4. Suppose -6*q + q + 40 = 0. Suppose x = -2 + q. Does 6 divide k(x)?
False
Suppose -4*g + 4*n + 5 + 23 = 0, 2*n = -4*g + 46. Let c = g + 3. Is 11/(-22)*(-1 - c) even?
False
Let q = -87 + 440. Is q a multiple of 31?
False
Suppose -4*p + 149 = -5*x + 19, -2*x + p - 55 = 0. Let o = x + 51. Suppose -2*b = b - o. Is b a multiple of 3?
False
Suppose -4*l - 3*i - 364 = -5*l, -3*l = -4*i - 1112. Does 12 divide l?
False
Suppose 3*s = -5*d + 73, 3*d = 4*s + 44 - 122. Is s a multiple of 5?
False
Suppose 3*y + 4*s = 140, -69 = -y - 2*s - 21. Is y a multiple of 11?
True
Let p = -12 - 2. Is 5 a factor of (p/1)/((-8 + 4)/2)?
False
Let q(h) = -3*h**2 - 2. Let a be q(-2). Let j be 2637/21 + (-6)/a. Suppose -2*i = 36 - j. Is i a multiple of 15?
True
Let n = 2412 - 1314. Suppose 0 = 40*i - 46*i + n. Does 20 divide i?
False
Let i(x) = 2*x**3 + 3*x - 2. Let o be i(1). Suppose 0*z + o*z - 198 = 0. Is 12 a factor of z?
False
Let h be (-64)/(-1 - 1/(-3)). Let j = -18 + h. Suppose -j = -2*n + z - 12, -n + 2*z = -30. Is 8 a factor of n?
False
Suppose -89*d = -91*d + 4350. Does 15 divide d?
True
Suppose 9 = 5*b - 56. Let t(k) = 3*k - 1. Let y be t(0). Let o = b - y. Does 14 divide o?
True
Let h(z) = 5*z - 13. Suppose -5*t + 4 = -4*t. Is 4 a factor of h(t)?
False
Let w be 212228/170 - 4/10. Suppose -w = -10*h + 2*h. Is 52 a factor of h?
True
Let d be 2*3/(-6) - 0. Let g(c) = 11*c + 2. Let o be g(d). Is 6 a factor of (152/(-12))/(6/o)?
False
Let w be (-4 - 81/(-12))*4. Let l = w + -9. Suppose -2*p - l = -j + 25, j + p - 30 = 0. Is j a multiple of 29?
True
Is -17*(182/(-78) + 10/(-6)) a multiple of 10?
False
Let h = 14 - 28. Let p = -9 - h. Let z(l) = 9*l - 7. Is 19 a factor of z(p)?
True
Let w(t) = 5*t - 15*t + 0*t**2 + 0*t - 2 + 2*t**2. Does 13 divide w(7)?
True
Suppose -5*d - 44 = -3*s, 2*s - 3 = -5*d + 18. Let i(b) = -b**3 - 16*b**2 + 15*b - 11. Let z be i(-17). Let x = s + z. Is 18 a factor of x?
True
Let m = -220 - -424. Does 34 divide m?
True
Suppose -2 = 5*z - 5*b - 12, 17 = 4*z + 5*b. Suppose 3*h + 8 = 4*q, -4*q + 8 = h + z*h. Suppose h*f = 3*f - d - 91, -4*d - 16 = 0. Is f a multiple of 5?
False
Let u(z) = -z**3 + 4*z**2 + 5*z - 4. Let q be u(5). Is (-530)/q + (-29)/58 a multiple of 31?
False
Let m(a) = -3*a - a + a**3 + 6 + 11*a + 7*a**2. Let q be m(-6). Suppose q = -b - 2*b + 48. Does 8 divide b?
True
Let y be (-640)/6*18/(-12). Let c be (18/(-15))/(8/y). Let m = -12 - c. Does 12 divide m?
True
Suppose 2*r + 38 = 46. Let k(s) = s**2 - s - 1. Let l be k(-3). Let u = l - r. Is 6 a factor of u?
False
Suppose 3*i + 4*v - 3426 = 6*v, -3*v = 0. Does 65 divide i?
False
Does 3 divide (-26714)/(-592) + 2/(-16)?
True
Suppose -j = 3*x - 321, 487 = 4*j + 5*x - 818. Is j a multiple of 33?
True
Suppose -1834 = -4*t - 2*w, -3*w - 951 = 5*t - 3241. Is t a multiple of 39?
False
Let u be (7/(-2))/(4/160). Let c be 36/(-24)*u/3. Suppose 0 = -2*a - 5*p - 26 + c, 0 = 4*a + 5*p - 68. Does 12 divide a?
True
Suppose -4*f = -3*f + 16. Let g = f - -20. Suppose -12 = -2*j - 2*t, 13 = -0*j + 3*j + g*t. Does 3 divide j?
False
Suppose 3*w = -0*w + 24. Suppose 0*f = -4*f + w. Suppose -q + f*q = 23. Is 8 a factor of q?
False
Let y = 1048 - 99. Does 25 divide y?
False
Let u = -152 - -209. Does 2 divide u?
False
Let v = -293 - -744. Is 9 a factor of v?
False
Let m(y) = 6*y**2 + 3*y - 12. Let l be m(2). Suppose -4*q - 18 = 30. Let p = q + l. Does 6 divide p?
True
Let v(r) = 3*r**2 + 18*r + 27. Is v(