 - 4 + 18. Is m a multiple of 2?
False
Is (-2 + -13)*(-3)/9 a multiple of 2?
False
Suppose 4*w - 45 + 177 = 5*t, -2*t - 8 = 0. Does 10 divide -2 - (w - -3) - 3?
True
Let z = -12 + 12. Suppose z = 5*a - a - 72. Does 4 divide a?
False
Let i be (-2)/(-4) + (-1)/2. Suppose 3*c = -5*m + 1 - i, 0 = -3*m + 2*c - 7. Is m - (-14)/(-4)*-14 a multiple of 16?
True
Let j = -303 + 442. Let d(o) = -5*o**2 + 27*o - 6. Let b be d(5). Suppose 3*p - 133 = -b*u, 3*u = -u + 3*p + j. Is 17 a factor of u?
True
Suppose -8*n + 9*n = 47. Is 14 a factor of n?
False
Suppose 0 = -0*x + 3*x - 24. Suppose -2*h + x = -0*h. Suppose h*j = 159 - 39. Is j a multiple of 21?
False
Let j = -11 - -16. Suppose 71 = 6*r - j*r. Does 12 divide r?
False
Suppose -5*j = k - 2*j - 49, 2*j + 245 = 5*k. Let t = -11 + k. Does 19 divide t?
True
Let w = -21 - -15. Does 2 divide (-14)/w - 6/18?
True
Suppose -8 = -3*y + 4. Suppose -2*s = 2*j - 0*j - y, 0 = 4*j + 5*s - 5. Suppose -2*z - d = -46, 2*d - 46 = -2*z + j*d. Does 8 divide z?
False
Let n(h) = 7*h**2 + 4*h + 6. Let j be n(-4). Suppose 201 = -4*t + 5*g, -2*t + 0*t = -2*g + j. Is (-1 - t/3) + -1 a multiple of 16?
True
Let u = 12 - 8. Let f be (0 - -1 - -12)*u. Suppose 0*h + 2*h = f. Is h a multiple of 13?
True
Let p(l) = -9*l**2 + 2*l - 1. Let y be p(1). Is (-86)/(-8) + 6/y a multiple of 6?
False
Let h = -3 + 3. Let m be 5 - (-1 + h + 2). Suppose 10 + m = x. Is x a multiple of 13?
False
Suppose 0*i + 4*r = 2*i - 18, 4*r = -3*i - 3. Suppose -i*z + 2*k = -2*k - 79, z = 4*k + 37. Is 13 a factor of z?
False
Suppose -316 = -5*w - 36. Is w a multiple of 8?
True
Suppose -100 + 330 = 5*a. Is a a multiple of 7?
False
Let k(l) = -26*l**3 - 2*l**2 + 3*l**2 + 9*l**3 + 0*l**2. Is 6 a factor of k(-1)?
True
Let d(a) = a**2 - 3*a + 8. Does 10 divide d(6)?
False
Let l be (-8)/48 + 10/(-12). Let s = l + 3. Suppose 4 = f + 3*t, 2*f - 12 = -4*t + s*t. Is f a multiple of 2?
False
Suppose v - 83 = -5*k, 0*k - 2*k = 4*v - 44. Suppose 0 = -q - 2 + k. Is 5 a factor of q?
False
Is (-1 + 0)/(9 - 3430/380) a multiple of 38?
True
Suppose 7*c - 110 = 6*c. Is c a multiple of 20?
False
Suppose 5712 - 454 = 11*a. Is a a multiple of 29?
False
Let y(w) = -2*w**3 + w**2 + 2*w - 1. Let v be y(2). Let k(a) = a**3 + 9*a**2 - a - 4. Is 2 a factor of k(v)?
False
Let s(f) = 4*f**2 + 9*f - 4. Is s(-4) a multiple of 24?
True
Let r = 17 - 12. Suppose -4*n - a - 84 = -7, r*a = -2*n - 43. Let v = n - -30. Is v a multiple of 5?
False
Suppose -4*u - 8*r = -3*r - 38, -4*u = -2*r - 24. Let w(f) = f**3 - 6*f**2 - 7*f - 6. Let d be w(u). Is (-30)/8*16/d a multiple of 10?
True
Is 8 a factor of (-640)/(-12) - (-2)/(-6)?
False
Suppose -33 - 97 = -w. Does 13 divide w?
True
Let o(a) = 2*a**2 + 2*a + 3. Let p(q) = 6*q + 10*q**2 + 4*q + 27 - 11. Let v(r) = 11*o(r) - 2*p(r). Is v(-2) a multiple of 5?
True
Suppose 0 = -i + 4*t + 9, -i - 4*i + 3*t + 62 = 0. Let b = -9 + i. Suppose 30 = 2*q + o + 3*o, -b*o = -4. Is 13 a factor of q?
True
Let g(u) = 2*u - 4. Let x be g(3). Is 4 a factor of 156/42 - x/(-7)?
True
Let d(s) = 5*s**2 + 2*s + 2. Let j be 230/60 + (-1)/(-6). Suppose 4*a - j*h + 10 = -10, -5*a + 2*h - 16 = 0. Is 7 a factor of d(a)?
False
Suppose 76 = o + 25. Let s = o + -30. Does 20 divide s?
False
Let x = -87 - -135. Is x a multiple of 24?
True
Let w(o) = -o**2 - 7*o + 2. Let z be w(-8). Let d = -1 - z. Suppose 3*k + 20 = -k, 4*p - 55 = -d*k. Is 10 a factor of p?
True
Suppose x + 64 = 5*x. Suppose -5*h - 10 + 5 = -4*u, 2*u = 2*h + 4. Suppose n = 4*j - x, -u*j = 3*n - 7*n - 31. Is j even?
False
Suppose 5*y - 330 - 230 = 0. Does 28 divide y?
True
Suppose -u = 1 + 11. Let c = -10 + 27. Let q = u + c. Does 5 divide q?
True
Let m = 5 - -3. Is 4 a factor of m?
True
Let s(u) = 6*u - u - 4 + 3 - u. Let y be s(1). Suppose y*q = q - 2*t + 10, -3*t = -4*q + 55. Is q a multiple of 10?
True
Let y(w) = -8*w**3 + w. Let s be y(-1). Let o(u) be the first derivative of u**2/2 + 3*u + 6. Is 5 a factor of o(s)?
True
Let m be (16/10)/(3/(-15)). Let i be (m/12)/(1/(-3)). Suppose 5*l = 2*h - 14, 2*h + 4*l = -2 - i. Is h even?
True
Let d(o) = -o**3 - 3*o**2 + 2. Is d(-4) a multiple of 18?
True
Let d = -4 + 7. Suppose d*n + n - 28 = 0. Is 7 a factor of n?
True
Let p be (5 + -5)/(-1*2). Suppose -b = -u - 31, -b - b - 3*u + 87 = p. Is 12 a factor of b?
True
Let i = -97 - -127. Is 10 a factor of i?
True
Let i(f) = f**3 - f**2 - 4*f + 4. Is i(4) a multiple of 36?
True
Let f be -2*(0 - 3*6). Suppose -f = -5*z + z. Is 70/z - (-8)/36 a multiple of 4?
True
Let a(q) = 7*q + 3. Let g be a(3). Suppose 3*k - 6 = -4*j + 27, k = 3*j + g. Is k a multiple of 4?
False
Suppose -5*s + 12 = f - 13, 5*f + 4*s - 41 = 0. Suppose f*h + 249 = -3*u, -4*h - 3*u - 220 + 19 = 0. Let z = h + 67. Does 7 divide z?
False
Let r(x) = 9*x + 3. Is r(2) a multiple of 7?
True
Suppose -6*p - 210 = -13*p. Does 5 divide p?
True
Suppose -4*w = 5*j, 3*w + 3*j = 2*w. Suppose w = -l - 0*l. Suppose l*x - x + 16 = 0. Does 8 divide x?
True
Let a(s) = -8*s + 55 - 55. Is a(-1) a multiple of 3?
False
Let b(q) = q - 3. Let w be b(-4). Let a = 12 + w. Does 3 divide 6/(-10) + 38/a?
False
Let g(f) = -f**2 - 11*f - 13. Let s be g(-9). Let m(u) = 11*u - 3*u - 1 + u. Is m(s) a multiple of 22?
True
Let q = -61 + 348. Is 19 a factor of q?
False
Suppose 11*w = 9*w + 400. Does 26 divide w?
False
Let b = -156 + 444. Does 36 divide b?
True
Let p(h) = 6*h - 7. Is 14 a factor of p(8)?
False
Suppose -5*a - 2 + 77 = 0. Suppose 2*g + 2*o - 19 = -3*o, a = 5*o. Suppose -3*k - 3*b + 32 = 2*b, g*k - 3*b - 15 = 0. Is k a multiple of 5?
False
Let u be (-6 + -2)/(0 - 2). Let h = 35 + u. Does 13 divide h?
True
Let y be ((-17)/3)/(10/(-30)). Let p = 61 - 43. Let l = p + y. Is l a multiple of 22?
False
Suppose 25 = 5*f, 5*w - 3*f = -6*f + 1455. Is 12 a factor of w?
True
Let v = 34 - 17. Is 11 a factor of -4 + 7 - (-1 - v)?
False
Suppose -3 = i + 5*s + 7, 3*i - 3*s + 12 = 0. Let h = i - -3. Does 15 divide 34 + (h - -3)*-2?
False
Suppose -y - 30 - 4 = -4*h, -5*h = 3*y + 34. Let u = 9 + y. Let f = 17 + u. Does 8 divide f?
True
Let a be (0 - 0)/(3 + -1). Let d(x) = -x + 4. Let y be d(a). Suppose v + 4*v + y*j = 22, -5*v + j = -7. Is v even?
True
Is (1*-3)/(2 - 195/97) a multiple of 19?
False
Let j = 2 - -34. Suppose 2*z = -4*x + 62, 5*z - j - 14 = -3*x. Let s = -8 + x. Is s a multiple of 7?
True
Let i(p) = 2*p + 5. Let r be i(-4). Let a(s) = s**3 + 6*s**2 + 2*s. Is a(r) a multiple of 20?
False
Let t = 18 + -10. Does 3 divide t?
False
Let j(h) = -6*h. Let f be j(-1). Suppose 0 = 2*z + i - 8, 2*z - f*z - 5*i = -22. Let a(g) = 5*g - 4. Does 11 divide a(z)?
True
Let j be (2 - 3 - -1)/(-1). Suppose j*f = f - 19. Does 19 divide f?
True
Suppose -4*a = -0*a. Suppose a = 2*n - 5*o - 63, 126 = 5*n + 2*o - 4*o. Is 12 a factor of n?
True
Suppose -120 = -2*r + 2*x, -r - 3*x + 247 = 3*r. Is r a multiple of 22?
False
Suppose s = -i + 35, 5*s - 2*i - 155 = 3*i. Does 11 divide s?
True
Suppose -r = -3*z - z + 33, 3 = r. Suppose 5*o - z = 2*o. Is o a multiple of 2?
False
Let f(o) = 2 - 3 + 4 - o. Is 4 a factor of f(-5)?
True
Let y = 7 + -5. Suppose -5*r = 2*s - 39, y*s - 39 = -s - r. Is s a multiple of 4?
True
Suppose -3*a + 80 = -4*w, a + 5*w - 19 + 5 = 0. Let o be ((-30)/25)/(6/(-20)). Suppose o*y - 28 = a. Is 5 a factor of y?
False
Suppose -39*m + 34*m + 25 = 0. Does 2 divide m?
False
Let p(f) = -f**3 - 6 - 4*f - 4*f + f + 7*f**2 + 4*f. Let r be p(6). Suppose r + 6 = 3*q. Is 4 a factor of q?
False
Suppose -3*a + 19 = -2*a. Let q be (a + 2)*(1 - 0). Let y = -14 + q. Is 6 a factor of y?
False
Let y be -2 - 2/((-4)/(-6)). Let w(u) = -u**2 - 5*u. Let o be w(y). Suppose o = 2*b + 14 - 36. Does 11 divide b?
True
Suppose 10*t = 5*t + 25. Suppose r + 155 = 5*m, m = t*r + 4 + 3. Is m a multiple of 16?
True
Suppose -4*v = 12 + 68. Let k be (8/v)/((-1)/5). Is 12 a factor of 22/(-1 + k + 0)?
False
Let c(z) = 6 - 13*z - 4 + 0. Let h be c(-3). Suppose 3*o = -5 + h. Is o a multiple of 6?
True
Suppose 0 = -2*n + 8, 0*n - 3*n - 18 = -3*q. Does 5 divide (-4)/q - 1708/(-70)?
False
Suppose 2*z - 6*z + 296 = 3*o, -3*z - 77 = -o. Is o a multiple of 15?
False
Let m(v) = 2*v**2 + v + 1. Let p be m(-1). Let x(f) = -2*f**2 - 2*f**2 + 5*f**2 + 0*f**2 + f. Is x(p) a multiple of 6?
True
Let k = 4 + 8. Suppose -5*o = -o - k. Suppose 3*n - 5 =