2*-3. Suppose 0*u = h*u - d. Is 21 a factor of u?
False
Let y = 2483 - 258. Is 18 a factor of y?
False
Suppose -576 = -8*v - 8. Is 21 a factor of v?
False
Suppose 5*g - 2263 = 4*u, 0 = -5*g - 2*u + 393 + 1858. Is 11 a factor of g?
True
Let g = 221 - 152. Suppose 0 = -5*z + x + 4*x + 115, -4*x = -3*z + g. Is z a multiple of 4?
False
Let k = -51 + 53. Suppose 3*p = -6, -k*p = 2*m + m - 278. Is m a multiple of 43?
False
Let j(x) = -x**2 - 10*x - 8. Let b be j(-9). Let c be (3 + b)*(-111)/(-6). Does 4 divide (-7)/28 + c/8?
False
Let s = -2720 - -4720. Is s a multiple of 25?
True
Suppose -n + 2*q + 1238 = n, 0 = 5*n - q - 3075. Is 32 a factor of n?
False
Suppose -u = 4*w - 6*w + 364, -3*w + u = -544. Does 9 divide w?
True
Suppose 2*o = -o + 6. Suppose 3*l - 32 = -4*f, -o*f + 36 = l + 3*l. Is l a multiple of 6?
False
Suppose -51 = 5*k - 3*k - 5*g, -24 = 2*k + 4*g. Does 6 divide (-9)/6*k + 4?
False
Suppose -1127 = -3*u + t, -78 - 307 = -u - 2*t. Is u a multiple of 29?
True
Suppose j + 729 = 4*y + 2*j, -5*y + 909 = -j. Suppose -4*c + 12 = -8. Suppose -h - 246 = -5*n + 2*h, -c*h + y = 4*n. Is n a multiple of 24?
True
Suppose -5*y + 1485 = 5*v, -3*v + 306 = -2*v - 2*y. Does 12 divide v?
True
Let y be -1*(-18 + (0 - -3)). Suppose -y = s - 4*s. Suppose -4*n - 10 = -s*n. Does 5 divide n?
True
Let p(w) = -w**3 + w**2 + 5*w - 9. Let y be p(6). Let x = 269 + y. Suppose 4*f - 10 = x. Is 15 a factor of f?
True
Let y be ((-4)/(-8))/(3/12). Suppose -y*r + 18 = 3*i, 20 = 4*r - 0*r + 2*i. Suppose -2 = -k, 15 = 4*g - 3*k - r. Is g a multiple of 2?
True
Suppose a = -4*z + 118, -5*a + 2*a = -3*z - 354. Is 4 a factor of a?
False
Let p = 95 + -93. Suppose 4*j + 3*o - 183 = 0, 0 = 3*j - 5*o + p*o - 132. Does 11 divide j?
False
Suppose 3*u - 10 = -2*u. Suppose g + 5*j + 17 = 0, -u*j = -5*g + 2*g. Is 15 a factor of (-690)/(-24) + g/(-8)?
False
Suppose 5*p + 4*z = 4, z = 2*p + 5*z + 8. Suppose p*n - 35 = 37. Does 6 divide n?
True
Let o(m) = m**3 - 1. Let q be o(2). Let z be 180/(-42)*q*1. Is 8 a factor of 1/3 + (-470)/z?
True
Let r(n) = -n**3 + 5*n**2 - 2*n + 8. Suppose -3*i - 12 = -5*i. Let s(f) = -f + 10. Let o be s(i). Does 8 divide r(o)?
True
Let i = 176 - -22. Is i a multiple of 18?
True
Let y = -22 + 10. Let m = -24 + 45. Let a = m + y. Is 3 a factor of a?
True
Let n = -25 + 25. Suppose n = 2*v + 3*v - 25, 2*l + 5*v = 67. Suppose 2*k - l = -2*k + f, -f - 6 = -k. Is k even?
False
Is (-28 + 5)*(3 + 2 - 83) a multiple of 13?
True
Let k(t) = -t**2 - 8*t - 6. Let s be k(-6). Suppose 3*p + 2*i = -20, 3*i = p + s - 14. Is 3 a factor of 1/p - 126/(-24)?
False
Let y = -24 - -6. Let d be ((-180)/27)/(4/y). Let a = d + -17. Does 3 divide a?
False
Let q(v) = -v**3 + 6*v**2 - 6*v + 9. Let f be q(5). Let d be (7 - f)/((-3)/52). Is 10/45 + d/(-9) a multiple of 3?
True
Let x(v) = 16*v + 27*v + 6*v + 1. Suppose 2*o - 293 + 291 = 0. Is 10 a factor of x(o)?
True
Suppose -624 = -2*s - s - 5*b, -2*s + 423 = b. Does 72 divide s?
False
Let k(q) = 5*q**3 - 5*q + 2. Let t be k(3). Let s = 168 - t. Is s a multiple of 23?
True
Let f(q) = -2*q - 19. Let y(k) = k - 1. Let j(a) = -f(a) - 3*y(a). Is 13 a factor of j(9)?
True
Let n be 0*(-2 - -2 - -1). Suppose n = -5*x - 2*x. Suppose 11*d - 4*d - 28 = x. Is 4 a factor of d?
True
Let i = 1282 + -762. Suppose 3*d - 4*q = i, -3*d - 2*q = -q - 545. Is d a multiple of 45?
True
Let b = -101 - -242. Suppose -h + 42 = -4*a, -3*h + 8*h + 3*a = b. Is 15 a factor of h?
True
Suppose 5*j + 2*g - 13 = g, 2*g + 13 = 3*j. Suppose 252 = 6*f - 2*f - 2*i, -j*i = -f + 58. Is 38 a factor of f?
False
Let t(u) = -2*u**2 + u - 8. Let c be t(0). Let b(n) = -n**3 - 6*n**2 + 9*n - 4. Does 14 divide b(c)?
False
Suppose 2*k - 5*k = -384. Let m be 2/(3 - k/44). Let d = 5 + m. Is 20 a factor of d?
False
Let d be (-2)/6*0/(-5). Let w be 23 + 0 + 0 + d. Let u = w - -8. Does 20 divide u?
False
Suppose -3*l - 70 = 2*l. Let f = l + 12. Is 23 a factor of f/(2*(-1)/26)?
False
Suppose -5*w + 3*b + 431 = -3*w, 5*b = w - 205. Suppose -3*p - w = -8*p - 5*v, -v - 196 = -5*p. Let g = p - 26. Is g a multiple of 3?
False
Suppose 5*s - 15 = 5*k, s + 3*s = 3*k + 14. Let y(t) = -3*t**2 + 4*t**2 - 1 - k - 2 + t. Is 5 a factor of y(4)?
True
Let g = 228 + 130. Is g a multiple of 55?
False
Let i be -3 - (-3 + 1) - -1. Suppose -3*d + 270 = -5*u, -u + i*d = 3*d + 72. Let k = -33 - u. Is 6 a factor of k?
True
Let o be 1 + (-7)/(-1) - -4. Suppose 0 = -o*d + d + 1089. Is 36 a factor of d?
False
Suppose 2*y + 2*h - 6*h = 180, -3*h + 75 = y. Is 6 a factor of y?
True
Suppose 4*v + 2*l = 1790, 2236 = -30*v + 35*v + 4*l. Is 7 a factor of v?
True
Let j(w) = -37*w**3 + 7*w**2 - 3*w - 1. Is j(-2) a multiple of 47?
True
Suppose -m - 4*q = -16 - 5, m + 3*q = 16. Let x = -74 - -42. Is -2*m/2*x a multiple of 8?
True
Let m(k) = 36*k - 24. Let n be m(4). Let q(y) = 17*y + 3. Let h be q(6). Suppose -3*c = 4*w - 2*c - h, -4*w - 4*c + n = 0. Does 4 divide w?
False
Let l(j) = 4*j - 9. Suppose 0 = 3*a - 3*z - 10 - 8, 5*z = 2*a. Let o be a/4*(-168)/(-70). Does 4 divide l(o)?
False
Let u be 9/18 + 1/(-2). Suppose -k = -u*k - 3. Suppose -k*b = -g - 77, 0*b + g = 2*b - 51. Does 13 divide b?
True
Suppose -2*x = 5*b - 0*x - 43, -2*b + 4*x + 22 = 0. Let o(n) = -16 + 41*n**2 - 88*n**2 + 13*n + 46*n**2. Does 20 divide o(b)?
True
Suppose -3*y = -7*w + 11*w - 25725, -3*w = -2*y - 19298. Is 16 a factor of w?
True
Let x be (1/(-2))/(6/(-252)). Suppose 1 = -f + 3*y, 0 = 4*f - y + 6*y + x. Does 8 divide (-111)/f - 8/(-32)?
False
Suppose 0 = 5*y - 8 - 7. Suppose -2*r + 4*r - 12 = -3*u, -5 = -y*r + 2*u. Let f = r - -27. Does 10 divide f?
True
Let g(d) be the first derivative of -d**3/3 - d**2/2 + 4*d + 3. Let s be g(3). Does 9 divide (-9)/(-4)*s/(-2)?
True
Let y = -154 - -344. Let a = y + -70. Is 10 a factor of a?
True
Let g(r) = 25*r - 8. Let p(f) = -1. Let h(b) = g(b) - 4*p(b). Does 13 divide h(2)?
False
Let t = -17 + 16. Does 22 divide t + -1 - (-21 + -25)?
True
Let x be (-12)/(-6 + 3) + -2. Let j(u) = 8*u - 5. Is j(x) a multiple of 2?
False
Suppose 0 = 6*p - 936 - 7914. Does 59 divide p?
True
Let u be -10 + 10 - 6/(-2). Suppose 0 = -5*i - u*b + 7 + 2, i - 6 = -2*b. Suppose -3*w + 133 + 47 = i. Is w a multiple of 12?
True
Does 2 divide 4 - (-180 + ((-3)/(-1))/(-1))?
False
Let l be (-250)/12 - (78/36)/13. Does 8 divide l/(-35) + -1 + 984/10?
False
Let x(b) be the second derivative of -6*b**2 + 2*b + 1/6*b**4 + 2/3*b**3 + 0. Does 18 divide x(-6)?
True
Suppose w + w - 2 = 0. Let z = w + 3. Suppose 3*h = z*h - 116. Does 35 divide h?
False
Let r(c) = -5*c - 24. Let u be r(-3). Is 4/(-6)*1 - 690/u a multiple of 38?
True
Suppose 0 = -44*d + 40*d + 3456. Is d a multiple of 12?
True
Let d(o) = -o. Let b be d(-2). Suppose -5*t + b*f = -280, -32 = t + f - 88. Is t a multiple of 14?
True
Suppose 4*j = v + 2130, 12*v - 9*v = -6. Does 6 divide j?
False
Let d = 203 - 132. Does 16 divide (-2)/4*(-25 - d)?
True
Let j = -326 - -331. Is j even?
False
Let h = -6 + 27. Suppose 0 = -6*g + 3*g + h. Does 7 divide g?
True
Suppose 0 = -3*m - 10*v + 13*v + 5244, 0 = -3*m + 5*v + 5250. Does 13 divide m?
False
Is ((-9)/(-4))/(25/(-600))*-11 a multiple of 27?
True
Let d = 184 + -259. Let s = 19 - d. Suppose -2*w + s = -54. Does 15 divide w?
False
Let x be -1*(0/2)/4. Suppose x*m = 3*b - 3*m - 126, -5*b + 200 = -3*m. Is 23 a factor of b?
False
Let s = -4 + 6. Does 9 divide 38 + -1*s/(-2)?
False
Suppose -g + 36 = -16. Let z be g/5 + (-18)/45. Is 4 a factor of 2/z + (-177)/(-15)?
True
Let c = -2811 + 4382. Is 48 a factor of c?
False
Let w = -17 + 5. Does 12 divide (-280)/w - (-8)/12?
True
Suppose 3*a + 2238 = 3*p + 330, -1906 = -3*p + a. Suppose 12*k = -155 + p. Is k a multiple of 12?
False
Suppose z + 1 - 5 = -3*w, 3*z + 5*w - 20 = 0. Suppose 0*j - 4*o = -j - z, -16 = 3*j - 5*o. Is 15 a factor of (-57)/(-2) - 1/j?
False
Is (-2500)/(-150) - (-4)/(-6) a multiple of 7?
False
Let t(k) = k**3 + 12*k**2 + 19*k - 5. Let j be t(-10). Suppose 4*l = j*p + 154, l + 4*p - 30 = p. Is 12 a factor of l?
True
Let h = 32 + -23. Suppose -4*l = 1 - h. Suppose a = l*a - 8. Is a a multiple of 8?
True
Let t(f) = 135*f + 3. Let g be t(3). Let r be (-5)/(-25) - g/(-10). Let q = r + -21. Does 16 divide q?
False
Let b = 9 + -9. Suppose b = -3*l - 3, 3*r - r + l - 3 = 0. Is 6 a factor of r/(