or of q?
True
Suppose -20*a + 4675 + 5245 = 0. Does 8 divide a?
True
Let w = 15 + -12. Let b be (w - (-1 - 3)) + -3. Suppose b*n - 63 = n. Is n a multiple of 14?
False
Let v(z) = 3*z - 5*z - 3 - 4. Suppose 8 = -3*j - 7. Is v(j) a multiple of 2?
False
Let t(h) = -2*h + 17. Let p be t(-10). Suppose -2*y - 5*x + p = -46, -2*x - 2 = 0. Does 11 divide y?
True
Let a = 233 + -108. Let k = a - 69. Is k a multiple of 4?
True
Let m = 2786 - 2546. Is 8 a factor of m?
True
Let n = -60 + 235. Is 3 a factor of n?
False
Let n(k) = -4*k - 3. Let l(w) = -2*w + 29. Let a be l(18). Is n(a) a multiple of 14?
False
Let p(a) = 13*a - 97. Is p(23) a multiple of 30?
False
Suppose -4*l - o + 2*o = -2643, -4*l + 2628 = 4*o. Is 12 a factor of l?
True
Let m = 44 - 39. Suppose -2*u + 12 = -4*w, m*u + 7*w - 2*w = 60. Does 5 divide u?
True
Let h be (-25)/(-5)*(2 - 3). Is (-1 + -43)*h/10 a multiple of 3?
False
Let r(p) = p**3 - 4*p**2 + 3*p. Let q be r(3). Suppose 2*w - 9 + 3 = q. Is 6 a factor of 40/w - (-5)/(-15)?
False
Does 10 divide 888/16*(-6)/9*-10?
True
Let h be 5 - (2 + 2/(-1)). Let r(b) = 2*b + 18. Let s be r(4). Suppose -h*j = 2*u - s, 0 = 3*u - 0*u - j - 73. Does 13 divide u?
False
Suppose k + 3 = 2*k. Let t(a) = -a + 7. Let h be t(3). Suppose -i + 3*j = k*i - 12, 3*j - 36 = -h*i. Is 6 a factor of i?
True
Suppose -4*t + m = -3, -t + 2*m - 12 = -2*t. Suppose -t*v = 5*y - 16, 3*y + v = -4*v + 2. Suppose -s - 5*d = -5, 5*d - y = -19. Does 7 divide s?
False
Let b be (-5)/(-20) - (-5612)/16. Let c = b + -218. Is c a multiple of 19?
True
Suppose 0 = 3*k - 283 - 536. Is 91 a factor of k?
True
Let z(y) = -189*y - 17. Let q(i) = 63*i + 6. Let m(a) = 8*q(a) + 3*z(a). Is 17 a factor of m(-1)?
False
Suppose 5*d = -10, -3*s - 8*d + 1628 = -12*d. Is s a multiple of 45?
True
Let k = 377 - 169. Suppose 2*i = -3*z + k, 0*i - i + 104 = 5*z. Is i a multiple of 17?
False
Suppose 0 = b + b + 2*r - 4, -5*r - 4 = -2*b. Suppose -5*p = -3*i - 748 + 98, 0 = b*p - 2*i - 256. Is p a multiple of 18?
False
Let b(u) = -952*u**3 + 2*u**2 + 9*u + 7. Is 13 a factor of b(-1)?
False
Suppose -g + 5*g - 1661 = -5*a, 4*a - 2*g - 1334 = 0. Is a a multiple of 37?
True
Let i(g) = 6*g + 2. Let s be i(-1). Let u(x) = -x**3 - 5*x**2 - 5*x - 4. Let f be u(s). Let h(z) = z**2 + 29. Is h(f) a multiple of 17?
False
Suppose 5*p - 4*z = 273, -2*p = -6*z + 2*z - 102. Is p a multiple of 19?
True
Suppose 4*y - 1260 = -4*o - 404, -5*y + 1070 = o. Let i = -144 + y. Does 18 divide i?
False
Let m(g) = -2*g**2 + 44*g - 10. Is 3 a factor of m(19)?
False
Let r(h) = -h**3 - 13*h**2 + 13*h - 12. Let f be r(-14). Suppose i = f - 0. Suppose g + 4*g = 4*q - 53, -3*g - 29 = -i*q. Is q a multiple of 2?
False
Let h = 34 + 3. Suppose 0 = z - 3*y + 2*y - h, 5*y = -2*z + 46. Is z a multiple of 13?
False
Suppose 2*g + 0*g + 14 = 0. Let l = g + 11. Is (70/(-15))/(l/(-18)) a multiple of 7?
True
Suppose -4*a - 4*f - 4 = 0, 2*a - 3 = 4*f - f. Suppose -5*b + 293 + 107 = a. Is b a multiple of 19?
False
Suppose 14*o - 1255 = 593. Is o a multiple of 44?
True
Let r = 36 + 331. Is 18 a factor of r?
False
Suppose -11448 = 640*c - 649*c. Is 4 a factor of c?
True
Let g(h) = -h**3 - 8*h**2 - 7*h. Let c be g(-7). Suppose c = 3*f - 85 + 13. Is 3 a factor of f?
True
Suppose -5*c + 273 = -2*c. Let q = -21 + c. Is q a multiple of 35?
True
Let y = 6 + -1. Suppose 2*t + 6*b - 2*b - 8 = 0, 5*b - y = 0. Let o(h) = 4*h**2 + 3*h - 2. Is 10 a factor of o(t)?
True
Let j = -5049 - -7866. Suppose -12*s + j = -3*s. Is s a multiple of 27?
False
Does 10 divide 191 - (-3*5/15 + 5)?
False
Suppose 1 = -5*t + 21, -3*a + 38 = 5*t. Suppose -q + a*n - 26 = n, 2*q + 3*n = 0. Does 9 divide (0 - 9)*q/2?
True
Does 32 divide ((-64)/10)/(4/(1360/(-4)))?
True
Let m(b) = -2*b**3 + b**2 - 43. Let l be m(0). Let s = 57 + l. Is s a multiple of 14?
True
Let y(f) = 2*f - 8. Let l be 9/((-108)/(-280)) - (-2)/(-6). Is 5 a factor of y(l)?
False
Suppose 5*x = 9*x + 196. Let p = x + 88. Does 10 divide p?
False
Let g be (-4 - 4/(-1))/4. Suppose 5*j - 4*j = n - 52, -4*j + 16 = g. Is n a multiple of 28?
True
Is ((-4)/(-7))/((-2)/119*-1) a multiple of 5?
False
Suppose 11 = -2*y - 29. Let t = y + 39. Let q = 21 - t. Is q even?
True
Let i(w) = -w + 11. Let v be i(6). Suppose -127 - 113 = -v*x. Is x a multiple of 12?
True
Suppose 25*t - 7295 + 795 = 0. Does 52 divide t?
True
Let j(r) = r + 18. Let i = -15 + 15. Let l be j(i). Let c = 36 - l. Is 10 a factor of c?
False
Let y(k) = 5*k**2 + k - 1. Let d be y(1). Let n = 50 + d. Does 11 divide n?
True
Let j be (-5 - -5) + (0 - -3). Is 8 a factor of (-9)/((-27)/48)*j?
True
Suppose -2*o + 40 = -h + 3*o, -2*h = -4*o + 56. Let q = 44 + h. Suppose 3*j = 6 + q. Is j a multiple of 4?
False
Let r = 3155 + -1720. Does 18 divide r?
False
Let s be ((-18)/4 - -4)*-8. Suppose 232 = -n + 3*n + 4*u, 0 = -s*n - 4*u + 472. Is n a multiple of 24?
True
Is (378/15 + 0)*20/6 a multiple of 9?
False
Suppose d = 5*f + 796, 801 = d - 12*f + 8*f. Is 14 a factor of d?
False
Suppose 5*s = 17 - 7. Does 3 divide 90/(-20)*-1*s?
True
Let a(x) = 2*x**3 - 2*x**2 + 4*x - 3. Let w be a(3). Suppose 4*p = 7 + w. Does 3 divide p?
False
Let p = 7 - -2. Let d be -6*(-2)/4 - -1. Suppose h - 5*f - 20 = 0, -2*f - 31 = -p*h + d*h. Does 5 divide h?
True
Let x(h) = 17*h**2 + 10*h - 6. Let r be x(-6). Suppose -3*p + r = 4*p. Does 26 divide p?
True
Let s = -13 - -25. Suppose 0 = 2*f - 128 + s. Suppose -4*l = -62 - f. Is l a multiple of 5?
True
Let h(n) = 506*n**3 - 15*n**2 + 13*n. Is h(1) a multiple of 6?
True
Is 15/35 - 15808/(-28) a multiple of 22?
False
Let v(i) be the first derivative of -5*i**2 - 18*i + 12. Does 23 divide v(-11)?
True
Suppose 3*p + 3*a = 36, -2 - 4 = -2*a. Let w = p + -4. Suppose 3*m + 33 = 3*h, -h - w*m + 0 = -5. Is h a multiple of 6?
False
Suppose u = 5*u - 16. Suppose -u*s + 164 = -0*s. Is s a multiple of 17?
False
Let s = -146 - -135. Does 11 divide (-9)/(3/(-6)*(-3)/s)?
True
Does 27 divide (-2)/9 + (-1076332)/(-1476)?
True
Suppose 0 = -5*q + 135 + 30. Let o = -30 + q. Is 12 a factor of 2/3*o*6?
True
Suppose -2*g - 9*s = -5*s - 12, 5*g + 2*s - 38 = 0. Is 3/(-12) - (-450)/g a multiple of 14?
True
Suppose -2*c - 4*c + 312 = 0. Let o = -25 + c. Is 9 a factor of o?
True
Let z = 11 + -4. Let u be (9 - 1) + 7/z. Is -1 + u - (-9 + 7) a multiple of 10?
True
Suppose 0 = -2*x - x + 18. Let s(w) = 3*w + 5. Let d be s(x). Suppose 2*k + 3*b - 6*b - 48 = 0, b = k - d. Does 21 divide k?
True
Let n = 972 + -755. Does 84 divide n?
False
Let d = -428 + 741. Suppose d = 3*u - 2. Is u a multiple of 9?
False
Let b be (-350)/(-5) + (1 + 1)/2. Let n = -35 + b. Is n a multiple of 12?
True
Let d = 367 - -255. Is 79 a factor of d?
False
Let b = -269 + 306. Is b a multiple of 14?
False
Let y be 5*(2 + (2 - 3)). Suppose -3*h - y = -2. Let f(j) = -3*j + 1. Does 2 divide f(h)?
True
Suppose 2*d + 2*y = 7*d - 5, 0 = -4*d + 5*y - 13. Suppose -3*k - 285 = -5*v, 0 = 4*v - 2*k - 104 - 124. Suppose -d*o + 0*o = -v. Is o a multiple of 19?
True
Let r(k) = 414*k**2 - 2*k + 2. Let n be r(1). Let y = n - 270. Is 12 a factor of y?
True
Let m = 340 - 179. Does 11 divide m?
False
Let y(h) = 3*h + 5. Let d be y(0). Suppose 13 + 17 = d*w. Is (w/(-5))/(8/(-60)) even?
False
Suppose 0 = o - 2*f - 78, 0 = 5*o - 2*f - f - 383. Suppose 3*g = -2*b - 77, -13*g = b - 12*g + 36. Let h = b + o. Is 15 a factor of h?
True
Let u(d) = -2*d - 2*d + 0 + 7*d - 1. Let r be u(12). Suppose 31 = 3*z + 3*q - r, 3*z + q - 74 = 0. Does 10 divide z?
False
Suppose 14*k - 2563 = 1469. Is k a multiple of 50?
False
Is -6 - ((-36752)/20 - (-12)/(-30)) a multiple of 61?
False
Suppose 2*a = -b + 2, 2*b + 0*b + 3*a - 4 = 0. Let s be 12/(-1)*b/4. Let n(k) = k**3 + 9*k**2 + 6*k - 5. Is 14 a factor of n(s)?
False
Suppose 87 = 2*v - 197. Let d = 93 - v. Let r = -23 - d. Is 7 a factor of r?
False
Is (6272/168)/((-2)/(-63)) a multiple of 14?
True
Let s(b) = b**3 + 7*b**2 - 9*b + 3. Let v be s(-8). Let c = v - 11. Suppose -4*l + 4 = c, -2*l - 2 - 8 = -3*z. Is 3 a factor of z?
False
Let m(i) = -3*i + 20. Let u be m(5). Suppose -5*k = -4*k + 2*o - 76, -3*o + 408 = u*k. Is 21 a factor of k?
True
Let z be 1*(-1 + 4/(-1)). Let q be (-4)/z*495/(-3). Does 8 divide (-5)/2*q/10?
False
Suppose m - 36 = 3*m - 2*n, -72 = 4*m + n. Let t(z) = -4*z - 6. Is t(m) a multipl