-2)/(-2) - l?
True
Let a(w) = -w**3 + 32*w**2 + 16*w - 97. Is a(32) a multiple of 12?
False
Suppose 0*a = a - 19. Let d be 1/(-1) - 1 - -59. Suppose -w + d = a. Is 18 a factor of w?
False
Let w = -144 + 214. Is 11 a factor of w?
False
Let r = -140 - -137. Let o(j) = 0 + 0 - 5*j. Is 7 a factor of o(r)?
False
Suppose 6*x + 40 = x. Let p be -3 - (-76)/x*-2. Let o = 40 - p. Is 8 a factor of o?
True
Let x be 77/(-2) + 10/20. Let g be 1 + x*3/(-3). Suppose -k - 3*t + g = 0, -4*k + 91 + 52 = -t. Is k a multiple of 15?
False
Let i = -1257 + 1839. Does 9 divide i?
False
Let f = 11 + -13. Let w be 126/30 - f/(-10). Is (w + 0)*10/2 a multiple of 4?
True
Is 15*(-284)/(-24)*6/5 a multiple of 24?
False
Let v = -1 - 2. Does 16 divide (-4 + 66/15)/(v/(-600))?
True
Let y(u) = -u - 3*u + 3*u - 3 - 6*u. Let j be y(-4). Let f = j - 2. Is 19 a factor of f?
False
Let s(c) = c**2 - c + 1. Let b(d) = -5*d**2 + 4*d - 1. Let n(z) = -b(z) - 4*s(z). Let u be n(6). Suppose 4*f - u = 35. Is 9 a factor of f?
False
Is 17 a factor of (6/(-10))/(3*5/(-16575))?
True
Let g(p) = -558*p**3 + p + 1. Is 55 a factor of g(-1)?
False
Let r = 12 - 9. Suppose -4*c + 3*q = -5, r*c + q = -2*c + 30. Suppose c*h = 20, 3*w - 93 + 2 = -4*h. Does 6 divide w?
False
Let w(y) = y**2 + 5*y - 47. Is 23 a factor of w(16)?
False
Suppose 0 = -2*t - 4*h + 26, -5*t - 5*h + 60 = 10. Is 3 a factor of t?
False
Let o(d) = 4*d + 3 + d**2 - 2*d**2 + 18*d**3 - 3*d - 12*d**3. Is o(2) a multiple of 7?
True
Let m(u) = u**3 + u**2 + u - 1. Let o be m(1). Let a be o*(-2)/4*-31. Suppose a = -5*f + 6*f. Does 17 divide f?
False
Suppose 4*a = 20, 5*a - 9 = 4*b - 0. Suppose -b*z = 2*t - 108, -48 - 238 = -5*t - 2*z. Is t a multiple of 3?
False
Let k = 1 + -4. Let a(t) = t**3 + 3*t**2 + 4. Let c be a(k). Suppose 0 = -0*u - u + c. Is 3 a factor of u?
False
Let x be 6/(-8) + 76/16. Suppose x = 5*t - 6*t. Does 5 divide (-154)/t - 15/30?
False
Let z(d) = 4*d**2 + 5*d + 4. Is z(12) a multiple of 80?
True
Is 6 a factor of (-1)/2*-620 + -10?
True
Suppose 108*i - 105*i = 6. Suppose z = -3*t + 100, 3*t - 4 = i. Does 5 divide z?
False
Suppose 3*m = -m - u + 4036, -u + 5044 = 5*m. Is 48 a factor of m?
True
Let a = -32 - -35. Suppose 1 + 3 = -w + a*t, 0 = 4*w - 2*t - 34. Does 11 divide w?
True
Let w(g) = 23 + 29 - 83 + 32 + 2*g. Let h be 11*((-4)/2)/(-2). Is 5 a factor of w(h)?
False
Let h be 0*3/(-36)*-4. Suppose 4*x - 21 = -h*x + m, -4*m = 2*x - 6. Suppose 51 = x*f - 2*f. Is 13 a factor of f?
False
Suppose 3*l = -2*a + 10, -4*a + 1 + 15 = 4*l. Suppose 5*i + 0*i + 5*z - 80 = 0, z - 31 = -l*i. Is i a multiple of 15?
True
Let y(q) = 5*q**2 + 2*q - 3. Let r = -12 - -14. Let v be y(r). Suppose -4*f = -51 - v. Is f a multiple of 9?
True
Let p(o) = 18*o**2 + 20*o - 125. Is p(5) a multiple of 68?
False
Suppose 7*p + 3165 = 10396. Does 10 divide p?
False
Let c(z) = -z + 10. Suppose 19 = -4*k + 51. Let m be c(k). Does 12 divide -30*(m - 1 - 3)?
True
Let m = -9 - -49. Suppose -166 = -6*w - m. Is w a multiple of 3?
True
Is 2 a factor of (-28)/(-546)*-13*(-4434)/4?
False
Suppose -11*v + 8*v = u - 45, -5*v = 5*u - 275. Is u a multiple of 30?
True
Suppose 73 - 28 = -5*p. Let m = 0 - p. Is m a multiple of 3?
True
Let m = 2159 + -1431. Does 14 divide m?
True
Let j = -4 - -11. Suppose 63*o - 15 = 78*o. Let s = j - o. Is s a multiple of 2?
True
Suppose -4 = -3*x - 1. Let u(l) = 19*l**3 + 2*l**2 - 3*l. Let m(v) = -77*v**3 - 9*v**2 + 13*v. Let d(p) = 2*m(p) + 9*u(p). Is d(x) a multiple of 8?
True
Let y be (-503)/(-2) + -1*2/4. Let h = y + -147. Is 26 a factor of h?
True
Let j(o) = 2*o**3 - 3*o**2 + 2*o + 5. Let c(t) = -3 + 0*t**2 + 0*t**2 + 6*t + t**2. Let x be c(-7). Is j(x) a multiple of 33?
False
Suppose -4*t - 6 = -4*w - 18, 5*w = 4*t - 10. Let o = -1 - -3. Suppose -3*m = t*r - 62, -3*m - m + 48 = -o*r. Is 13 a factor of m?
False
Let q = -405 + 1298. Is q a multiple of 4?
False
Let v = -607 - -364. Let d = 363 + v. Is 20 a factor of d?
True
Let z(o) = 61*o**3 + o - 2. Suppose -3*i = 17 - 20. Is 24 a factor of z(i)?
False
Is 26 a factor of (-16)/6*((-9399)/52 - 12)?
False
Let p(l) = 29*l**2 + 4*l + 75. Does 73 divide p(-6)?
True
Let k be (8*2/(-4))/(-1). Suppose 3*b - k*b = -10. Let j = b - 7. Does 3 divide j?
True
Let a = 56 - 56. Suppose a = -5*d + 108 + 192. Does 15 divide d?
True
Suppose -5*o + 39 = -231. Let m = o - 20. Does 17 divide m?
True
Suppose -2*p + 2*c = -5838, -p + 0*c + 2911 = 3*c. Does 16 divide p?
False
Let d(t) = t**3 - 7*t**2 + 11*t - 2. Let j be d(5). Suppose -j*m + 108 + 159 = 0. Is m a multiple of 11?
False
Let o = -30 + 54. Suppose -2*c = -t + 30, -4 = c - 0. Let m = o + t. Does 23 divide m?
True
Let t be ((-106)/3)/((-1)/3). Suppose t = 2*s - 2*i + 38, 5*i = -s + 10. Suppose d - s - 30 = 0. Does 20 divide d?
True
Let l = -219 + 504. Let d = l - 200. Suppose y + d = 4*u, 0*y = 4*u - 2*y - 86. Is u a multiple of 21?
True
Let i(o) = 6*o - 17. Let a(g) = -g**2 + 13*g - 35. Let k(s) = -2*a(s) + 5*i(s). Is k(6) a multiple of 16?
False
Suppose -4*a - 3*x = -304, 3*x - 113 = -a - 46. Suppose -5*q = -a - 41. Is q a multiple of 3?
True
Does 5 divide 3/(828/(-208) - 8/(-2))?
False
Let g be 3/3 + 2 - (-2 - 9). Suppose 0 = -g*q + 2262 - 302. Is 32 a factor of q?
False
Let n = 22 - 132. Let d = 137 + n. Does 7 divide d?
False
Let f(d) = -d**3 - 12*d**2 - 9*d + 6. Let b be f(-11). Let k = b + 13. Is k + (-36)/8*-8 a multiple of 11?
True
Let x = 6 + -15. Let i = x + 14. Suppose 4*c = -5*j + 179, 0*j + 226 = i*c + 4*j. Is c a multiple of 14?
False
Let h = -49 - -104. Is 23 a factor of h?
False
Suppose 26 - 31 = -r. Suppose -r*v - 3*o + 6*o = -408, 2*v = -2*o + 160. Does 9 divide v?
True
Does 24 divide (-9 - (-12)/6*3) + 123?
True
Let u(h) = -4*h + 2. Let l be u(0). Let x be (-42 + -2 + 0)*-1. Suppose -6*s + l*s + x = 0. Is s a multiple of 11?
True
Suppose -2*l + 1 = -3. Suppose -2*n - r = r - 16, l*n + r - 12 = 0. Suppose -4 = -u - n*o, -5*u - o + 50 + 8 = 0. Does 3 divide u?
True
Let i be (-8)/(-4) - -1 - -304. Let n = i - 217. Does 18 divide n?
True
Is (-3258)/(-8) + (7/(-28) - 0) a multiple of 9?
False
Suppose -579 - 9 = -6*s. Does 49 divide s?
True
Suppose 2*p = -2*d + 260, d - 55 = -5*p + 55. Does 5 divide d?
True
Suppose 0 = -5*h, -3*h + 12 + 8 = 5*q. Suppose 2*z + 24 = q*i, 12 = 2*i - 3*i - 4*z. Suppose 3*a = a - i*b + 88, 4*a + 5*b - 182 = 0. Does 13 divide a?
False
Suppose -4*z - 5*q + 176 = -2*q, -4*q + 31 = z. Let s = z - -135. Is s a multiple of 50?
False
Suppose -i - 3*j = -3605, -17*i + 2*j = -19*i + 7202. Does 61 divide i?
True
Suppose 0 = -52*v + 68419 - 23751. Does 32 divide v?
False
Let c(m) be the third derivative of -3*m**4/8 - 9*m**3/2 - 17*m**2. Does 39 divide c(-16)?
True
Let g(m) be the second derivative of -m**5/20 + 7*m**4/12 + m**3/3 - 2*m**2 + 4*m. Let c be g(7). Suppose 2*k = 4*k - c. Is k even?
False
Suppose 3*w - 622 = -2*h, -3*w + 5*h + 641 - 12 = 0. Is 13 a factor of w?
True
Let t = 67 + -104. Let y = 52 + t. Is 2 a factor of y?
False
Is 141*(-4)/(-6) - 0/5 a multiple of 4?
False
Let j(z) = 9*z + 9. Let l(n) = -17*n - 17. Let p(d) = -7*j(d) - 4*l(d). Let w be p(9). Let c = w - 31. Is 13 a factor of c?
False
Suppose w - 88 = -36. Suppose -3*j - 3*i - 10 = 59, j - 2*i + 14 = 0. Let f = w + j. Is 9 a factor of f?
False
Suppose b - 4*a - 4 = -2*a, 7 = 4*b + a. Suppose c - 5*z + b*z + 9 = 0, 3*z = 0. Is 16 a factor of (-6)/c*(1 - -47)?
True
Let l be 1*(-3 + 1) - -5. Suppose 3*m - 2*m - 5 = 2*n, -2*m - l*n = 4. Does 18 divide 114/2 + -2 - m?
True
Suppose -48*l - 5589 = -57*l. Is l a multiple of 9?
True
Let g = 1055 - -617. Is 38 a factor of g?
True
Suppose -5*c = 4*m - 85, 0 = -4*m + 3*m. Suppose -8 = -5*z + c. Is z a multiple of 2?
False
Let c(q) = q**2 + q + 73. Let y = 0 + 6. Suppose 0 = -y*s + 3*s. Does 14 divide c(s)?
False
Let c be 4/(-6) - (-256)/24. Let g = c + -8. Is (2/(-4))/(g/(-128)) a multiple of 16?
True
Suppose -2486 = -o + n, 31*o + 2*n + 7458 = 34*o. Is 22 a factor of o?
True
Let j = -169 - -55. Let u = j + 192. Does 13 divide u?
True
Suppose 0 = 2*o + 8, -3*v - o + 157 + 97 = 0. Is v a multiple of 12?
False
Suppose 0 = 34*q - 6*q + 1092. Suppose 82 = -k - 4*f, 5*k - 3*f + 309 = k. Let m = q - k. Is 10 a factor of m?
False
Let c(b) = b**3 - 4*b**2 + 4*b - 1. Let h be c(3). Suppose -2*k - h*k = 