1)?
False
Suppose 3*z = 4*z. Suppose -2*f + 0*f + 40 = z. Is f a multiple of 10?
True
Let g = 232 - 138. Suppose 4*b - 34 - 162 = 2*a, a = -2*b + g. Is 18 a factor of b?
False
Let l = 8 - -2. Let o = l + -2. Is o a multiple of 8?
True
Suppose -3*y = 2*k - 187, 120 = 2*k + y - 77. Let l = -65 + k. Does 9 divide l?
True
Suppose g + 0*g - 75 = 0. Does 15 divide g?
True
Let w(r) = -3*r + 7. Let f = 2 + -7. Is w(f) a multiple of 11?
True
Let x = 130 - 76. Is 24 a factor of x?
False
Let v(b) be the first derivative of -b**2/2 - 4*b + 2. Is 2 a factor of v(-7)?
False
Let y be (-5 - -3)*1*-2. Suppose 0 = y*i - 0 + 4. Does 14 divide 30/1 + (-3 - i)?
True
Let t = -8 - -63. Is 8 a factor of t?
False
Suppose -4*y = -2*x + 108, 7*x + 5*y - 177 = 3*x. Is x a multiple of 3?
True
Let a be 4/6 + (-20)/(-15). Suppose a*k = k + 12. Does 4 divide k?
True
Suppose 0*a - 1107 = -3*a. Suppose 4*r + 97 = a. Let i = r - 36. Is 16 a factor of i?
True
Let r(d) = -5*d + 1. Let a be r(-1). Let j be -31*2*a/(-4). Suppose -9 = 4*y - j. Is 9 a factor of y?
False
Let u = 113 + -38. Does 25 divide u?
True
Suppose 4*j = 7*j - 18. Suppose -3*x - j = 0, 0 = 2*o - 7*o - 5*x + 50. Suppose -w = -0*w - o. Does 12 divide w?
True
Suppose 5*a + 2 = -o + a, a = -o - 5. Is 8 a factor of (-1)/2*(o + -44)?
False
Let v(c) = 2*c**2 - c. Let b = 8 - 9. Does 3 divide v(b)?
True
Let i be ((-4)/6)/(1/6). Let x be (-18)/(-4) - (-6)/i. Suppose -5*l - 3*d + 106 = 0, -l = -x*l - 4*d + 48. Does 14 divide l?
False
Suppose 121 + 77 = 3*s. Is s a multiple of 22?
True
Let f(q) = 2*q**2 + 9*q + 1. Let i = -15 + 49. Let b be i/(-6) + (-2)/6. Does 10 divide f(b)?
False
Is ((-20)/(-6) + -3)*162 a multiple of 4?
False
Let b(q) = q**2 + 10*q - 8. Let c be b(-11). Suppose v = 3*y - c, 3*y + 2*y + 5 = 5*v. Suppose -v - 12 = -x. Is x a multiple of 7?
False
Let v = 84 + -5. Is v a multiple of 13?
False
Let v = 34 + -27. Is v even?
False
Let d = 17 - -53. Does 14 divide d?
True
Let v = 6 + -2. Suppose v*j = -j + 140. Is j a multiple of 14?
True
Suppose 0 = -4*c - 0*c + 92. Suppose -5*w + 5*i - c = -3, -4*w + 4 = i. Suppose -x + 5 = -2*o - 0, -4*x + 4*o + 32 = w. Is x a multiple of 11?
True
Does 13 divide 582/8*(-40)/(-15)?
False
Let x = -3 - -7. Suppose -x*j - 23 = -3. Let f = 34 + j. Is f a multiple of 12?
False
Suppose -5*q + 10 = 0, 66 = 3*a + a - 3*q. Suppose 0*i + i - a = 0. Is 6 a factor of i?
True
Suppose 0 = 4*g - 3*g - 60. Is g a multiple of 10?
True
Let m be (-2)/(-6) - 124/3. Let w = m - -20. Let x = 39 + w. Does 17 divide x?
False
Suppose 5*x - 5 = -0*n + 5*n, 0 = -5*x - n - 13. Let l(s) = -26*s + 1. Does 15 divide l(x)?
False
Let b = -7 + 10. Suppose b*s - 16 + 1 = 0. Let a = s + -2. Is a a multiple of 2?
False
Let z be 12/(-42) + (-340)/(-14). Suppose 105 = -19*s + z*s. Is s a multiple of 7?
True
Let l(a) = -a**3 + 15*a**2 + 5*a + 7. Does 17 divide l(15)?
False
Let j = 5 + -2. Let t(l) = l**3 + 2*l**2 - 4*l. Let q be t(-3). Suppose -q*s + j*k = -33, 4*s - k + 2*k - 49 = 0. Does 6 divide s?
True
Let v be ((-8)/(-12))/(2/(-6)). Let y(a) = -3*a - 3. Let h be y(v). Suppose -b = -h*b + 72. Is b a multiple of 16?
False
Does 31 divide (-822)/(-3) + 2 + -4?
False
Let x be (-6)/(-8) - 1160/(-32). Let o = x - 10. Let m = -10 + o. Is 12 a factor of m?
False
Let h(f) = -f**2 - 8*f - 5. Let o(m) = -m**3 + 3*m**2 + 2 - 3*m**2. Let r be o(2). Does 3 divide h(r)?
False
Let l(m) = -13*m + 6. Is l(-4) a multiple of 4?
False
Let y(r) = -3*r**2 + 5*r - 17. Let a(u) = u**2 - 3*u + 8. Let b(j) = 5*a(j) + 2*y(j). Suppose 0*v - 2*v - 5*o = -5, 3*v - 4*o = -27. Does 3 divide b(v)?
True
Let f = 227 + -139. Is 21 a factor of f?
False
Let o = 14 - 12. Let l = 3 + o. Does 5 divide l?
True
Let c(k) be the first derivative of -k**4/4 - 8*k**3/3 + 4*k**2 + 9*k - 2. Let g be c(-9). Suppose -5*r = -5*s - 50, -r - 5*s + g = -2*s. Is r a multiple of 6?
True
Let d = 24 - -6. Suppose -k + d = 2*k. Is k a multiple of 5?
True
Let b(f) = f - 4. Let m be b(4). Suppose m = -5*h + o + 24, 0 = -3*h - h - 5*o - 4. Does 4 divide h?
True
Does 7 divide (-4)/(-6) - (-86)/6?
False
Let k(s) = -s**2 - s + 4. Suppose -2*u + 5*u - 12 = 0, 5*n + 3*u = 12. Let x be k(n). Is 10 a factor of 1/(-4) + 81/x?
True
Let s be -7*((-6)/2)/3. Let t = 8 + s. Is 5 a factor of t?
True
Let i be (-8)/(-44) + 20/11. Suppose 0 = -i*q + 4*n + 22, 5*q - 3*n = -0*q + 90. Is q a multiple of 21?
True
Suppose 6*u = 7*u - 14. Is u a multiple of 3?
False
Does 61 divide ((-1886)/115)/(2/(-35))?
False
Let s(i) = 3*i - 1. Let r be s(10). Suppose 2*f + 4 = 0, d = -2*d + 4*f + r. Does 5 divide d?
False
Let f = 4 - 0. Suppose w + k - 14 - 27 = 0, -163 = -f*w - 5*k. Is 14 a factor of w?
True
Let x = 3 + -1. Let s be (x - 1)/((-1)/(-25)). Suppose 4*d = -p - d + s, 2*d + 56 = 4*p. Does 15 divide p?
True
Let z be (-3)/(-15) - 27/(-15). Suppose g + z*g - 120 = 0. Is 20 a factor of g?
True
Suppose 2*q + 58 = 4*q. Let v = q + 14. Is 15 a factor of v?
False
Let y(c) be the third derivative of c**5/60 - c**4/6 - 11*c**3/6 - 5*c**2. Is y(8) a multiple of 21?
True
Let f(y) = 6*y + 35. Let t be f(-8). Let q(l) = -6*l + 1. Let g be q(-5). Let j = t + g. Does 18 divide j?
True
Let f = 139 - 59. Is 20 a factor of f?
True
Suppose 25 = 4*s + s. Is 15 a factor of (-4)/((-4)/9)*s?
True
Suppose -61*l - 291 = -64*l. Is 14 a factor of l?
False
Let x be ((-2)/(-3))/(2/9). Let v be ((-4)/(-6))/(x/(-9)). Does 5 divide -24*(3/v)/3?
False
Let w be 3/(-6) - 15/(-2). Is 18 a factor of (w/2)/(4/56)?
False
Suppose -3*y = 2*y - 80. Is 8 a factor of y?
True
Suppose 2*t - 16 = -2*t. Suppose p + 114 = t*p. Is 11 a factor of p?
False
Does 8 divide 8/30*-12*30/(-4)?
True
Let w be 0/((1 - 1) + -1). Suppose 3*z + 5*q - 116 = w, 5*z + 4*q = 185 + 17. Suppose 5*i - 55 = -a, 5*a + 4*i = z + 128. Is 15 a factor of a?
True
Let i(b) = -b**2 - 9*b - 8. Let n be i(-8). Let m be (n + 1)/(1/7). Suppose d - m = k, 2*d + 3 - 38 = -5*k. Is d a multiple of 3?
False
Let z = -28 - -217. Is z a multiple of 16?
False
Suppose -j + 6*j - 2*d - 6 = 0, -3*d = -3*j + 9. Suppose -t + 237 = 5*v - j*t, 143 = 3*v + t. Is 12 a factor of v?
False
Let u(c) = -17*c**2 - 12*c + 7. Let b(x) = -4*x**2 - 3*x + 2. Let k(w) = -9*b(w) + 2*u(w). Let s be 1/2*3*-2. Is k(s) a multiple of 2?
False
Let j = -13 - -5. Suppose 5*o = 15, 5*o - 5 = 3*v - 47. Let r = v + j. Does 6 divide r?
False
Let i(u) = -2*u + 1. Let b be i(-2). Suppose -81 = -b*n - 11. Suppose 4*d - 10 = 3*d + f, d - n = 2*f. Is d a multiple of 6?
True
Suppose 0 = 3*j - 5*l - 60, 0 = 4*j - l - 97. Let w = 52 - j. Is w a multiple of 9?
True
Suppose -3*c + 235 = -200. Suppose -4*r - r - c = 0. Let m = -1 - r. Is m a multiple of 14?
True
Is 15 a factor of (-6)/(-3)*-1 + 32?
True
Let r = -10 - -13. Suppose -r*c = -15 - 6. Does 3 divide c?
False
Let o = -1 + 14. Does 3 divide o?
False
Let v(z) = -9*z + 10. Is 19 a factor of v(-7)?
False
Suppose 2*q - 28 + 10 = 0. Suppose q*i = 4*i + 20. Suppose 0 = -r + 1, -5*m + i*m = 4*r - 42. Is 14 a factor of m?
False
Let j(c) = -2*c**3 - 2*c**2 + 6*c - 2. Let b be j(-5). Suppose -2*w + 5*w + b = 0. Let p = -30 - w. Is 26 a factor of p?
True
Let b = -111 - -187. Does 19 divide b?
True
Let y = 8 + -5. Suppose -178 = 3*z + z + k, 3*z + y*k = -129. Does 5 divide (-2 + z/(-6))*2?
False
Suppose -4*i + 2*t = 2, -4*t - 8 = -5*i - 5*t. Is (-3)/(-6)*74*i a multiple of 8?
False
Suppose -3*a = -2*w - 4 - 2, -5 = 5*w - 5*a. Let d(p) = -p + 6 + 6*p**2 - p**w + 0 - 3 - p. Does 7 divide d(5)?
False
Let d = -2 - -5. Does 2 divide (10/d)/(10/15)?
False
Suppose 0 = -4*y - 2 + 10. Let c be 1 + 0 + (2 - y). Let b = c - -10. Is 5 a factor of b?
False
Suppose -5*y + 39 = 4*m - 4*y, -2*m + 24 = 2*y. Is m even?
False
Does 10 divide ((-44)/55)/((-2)/150)?
True
Suppose j - 11 = -0. Let m(b) = b**3 - 4*b**2 + 4*b - 2. Let h be m(2). Does 5 divide j + (-2)/h + -2?
True
Is 164/3 + (-9)/(54/4) a multiple of 3?
True
Let h be 10/(-4)*(-3 - -1). Suppose -31 = -2*n - 3*z, -3*n + h*n - 56 = 2*z. Is 8 a factor of n?
False
Suppose 0 = -4*i + 392 + 132. Does 45 divide i?
False
Let l(c) = -2*c + 32. Suppose -6*d = -3*d. Does 8 divide l(d)?
True
Suppose 2*y = 2*m - 3*y - 73, m - 36 = 2*y. Does 17 divide m?
True
Let b be (3 - -1 - 1) + 1. Suppose 2*l = -b*t + 24 - 8, 3*l - 19 = -t. Is l a multiple of 6?
True