r = -9*r + 220. Suppose -3*b - r - 4 = 0. Does 3 divide (-172)/b - (-1)/4?
False
Is (-2)/4 + 357/6 a multiple of 17?
False
Let v = 10 - 7. Suppose -4*s + 3*g = -s - 165, -g = -v. Is 18 a factor of s?
False
Let v(c) = 2*c - 5. Let b be ((-27)/12)/(-3)*4. Suppose y - 3*k - 22 = 0, 16 = -b*k + 1. Does 5 divide v(y)?
False
Suppose -3*b = -4*b + 3. Suppose -260 = -4*j - 4*o, 2*j - 3*j + b*o = -61. Does 26 divide j?
False
Suppose 5*k = 6*k - 90. Does 30 divide k?
True
Is 8 a factor of (-628)/(-26) + 4/(-26)?
True
Let a = 60 - -27. Is a a multiple of 20?
False
Suppose -15*j - 276 = -17*j. Does 23 divide j?
True
Let v = -9 + 26. Suppose 58 = 5*c - v. Let g = 32 - c. Does 6 divide g?
False
Let p = -5 - -75. Is p a multiple of 5?
True
Let l(n) = 2*n - 6*n - 3 + 4*n**2 + 2*n**2 - n**3. Let a be l(5). Suppose 0*j = -4*j + x + 11, 5*x = j + a. Is 2 a factor of j?
False
Let o(v) = v + 5 + 3 - 4. Let a be (-2)/15 - 658/(-210). Does 7 divide o(a)?
True
Suppose -83 = 5*t - 358. Is 13 a factor of t?
False
Let h(r) = -31*r - 6. Let i be h(-6). Is 3/7 - i/(-21) a multiple of 9?
True
Suppose a - 9 = 1. Is a a multiple of 10?
True
Does 14 divide 408/30 - 4/(-10)?
True
Let q = 72 - 31. Is 9 a factor of q?
False
Suppose -4*b + 32 = 4*l, -2*l = -4*b - 0*l + 14. Suppose -3*k - 178 = -b*i, 4*i - 277 = -4*k - 109. Does 12 divide i?
False
Is 9 a factor of 2/5 - (2665/(-25) + -1)?
True
Suppose -5*o + g + 2*g = -513, 4*o = 2*g + 410. Is o a multiple of 34?
True
Let b(s) be the first derivative of 5*s**2/2 + s - 3. Is 12 a factor of b(5)?
False
Suppose 381 = 8*w - 387. Is 12 a factor of w?
True
Let j(v) = 2*v**2 + 9*v + 6. Is 6 a factor of j(-6)?
True
Let n = 4 - 2. Let h(t) be the third derivative of t**5/12 - t**4/8 + t**3/6 + 2*t**2. Does 6 divide h(n)?
False
Suppose 0 = -5*m + z + 34, z - 11 = 3*m - 33. Suppose -f - 1 = -m. Suppose 53 - 3 = f*n. Is 7 a factor of n?
False
Suppose 0 = o + 2*z - 64, -4*o + o = z - 182. Let b = -8 + 38. Let t = o - b. Does 12 divide t?
False
Let n = 0 + 1. Does 11 divide (0 - 2) + (n - -34)?
True
Suppose 0*p + 30 = 5*p. Let u(d) = d**3 - 7*d**2 + 9*d - 2. Does 15 divide u(p)?
False
Let h(v) = 3*v**2 - 13*v + 17. Is 9 a factor of h(5)?
True
Let t(p) = 4*p**2. Let b be t(1). Suppose -49 = -b*f + 195. Is 19 a factor of f?
False
Let d(s) = -11*s**3 + s**2 + 2*s + 1. Is d(-1) a multiple of 5?
False
Suppose -33 = -b + 5*d, -d + 36 = 2*b - 5*d. Let h be 3/2*20/6. Suppose 2*m - h*r - 2 - 10 = 0, -m + 2*r + b = 0. Is m a multiple of 16?
True
Suppose 17*l = 21*l - 84. Is l a multiple of 3?
True
Let p = -3 + 6. Let x be p/(-6)*(0 + 0). Suppose 10*d - 5 = 5*d + 5*t, -d + 3*t - 9 = x. Does 3 divide d?
True
Let u = 110 - 44. Suppose 0 = -3*p - 2*q + u, 2*q - q = -3*p + 66. Does 6 divide p?
False
Let h(i) = -6*i - 3. Let f(w) = -w + 7. Let o be f(11). Is 9 a factor of h(o)?
False
Let g(d) = d - 28. Let n(t) = 2*t - 57. Let k be (-51)/12 + 2/8. Let b(y) = k*n(y) + 7*g(y). Does 16 divide b(0)?
True
Let b be 4/(-4)*-76 + -2. Suppose b = 5*z - 3*z. Is 8 a factor of z?
False
Suppose 4*l + l = 0. Let p(a) = -a**2 - a + 69. Let q be p(l). Does 2 divide 4/10 + q/15?
False
Suppose 3*x - 5*f - 35 = 0, -2*x - 1 = -5*f - 21. Does 5 divide x?
True
Suppose -5*c - 109 = -399. Is 18 a factor of c?
False
Let z(s) = 8*s + 1. Let l(f) = -f**3 + 3*f**2 + 3*f + 5. Let j be l(4). Is z(j) a multiple of 3?
True
Suppose -2*l = -4*l + 2. Let d = 1 + l. Is ((-22)/4)/(d/(-8)) a multiple of 11?
True
Suppose 0 = f + 5*w + 37, 4*f + 3*w + 43 = -88. Let r = -20 - f. Let l = 42 - r. Is 14 a factor of l?
False
Let b = 22 + -37. Let y be b/(-6)*(-4)/(-2). Suppose -5 - 5 = -y*u. Is u even?
True
Suppose -5*s = -s - 112. Is s a multiple of 14?
True
Let w be (-8)/52 + 56/26. Let d(o) = 3*o**3 - 2*o. Is d(w) a multiple of 11?
False
Suppose -3*o = -33 - 0. Is o a multiple of 7?
False
Suppose s = -3*s + 564. Suppose 6*k - s = -2*n + k, 2*k = -5*n + 342. Does 17 divide n?
True
Suppose -8*y - 352 = -12*y. Is y a multiple of 11?
True
Let q(t) = -t. Let x(l) = -l**2 + 5*l - 4. Let y(v) = 4*q(v) - x(v). Let w be y(8). Let k(o) = -7*o - 3. Is k(w) a multiple of 12?
False
Let v(i) = -i**3 + 8*i**2. Let t be v(8). Let l(r) = r**2 + r + 21. Is l(t) a multiple of 9?
False
Let b = 178 - 89. Is b a multiple of 24?
False
Let y(h) = h**3 + 3*h**2 - h - 2. Let l(z) = z**2 - z + 2. Let k be l(0). Is 8 a factor of y(k)?
True
Suppose 0 = 2*n - 1 + 5. Is 13 a factor of n/(-3)*156/8?
True
Suppose 3*v = -2*p + p + 65, -5*v + 95 = -p. Is v a multiple of 4?
True
Let p = -69 + 143. Is 19 a factor of p?
False
Let s = -15 - -57. Suppose -2*v + s = -14. Suppose -v = -b + 2*m, -b - 2*b + 3*m + 96 = 0. Is b a multiple of 18?
True
Let y = 7 + -5. Suppose 3*j - y - 4 = 0. Suppose -j*u = -42 + 8. Is u a multiple of 6?
False
Suppose 0 = 2*b - g - 13, -5*g + 8*g - 25 = -2*b. Let o(j) = -j**3 + 7*j**2 + 13*j - 10. Let s be o(b). Let v = 50 - s. Is v a multiple of 18?
False
Suppose -2*g - 4*z = -4*g + 98, -3*z = g - 69. Does 19 divide g?
True
Suppose 4*l + 289 = 2*x + 983, -l + 4*x + 156 = 0. Is l a multiple of 11?
True
Let w(i) be the first derivative of -i**2/2 + 34*i - 2. Let g = -1 + 1. Is 14 a factor of w(g)?
False
Suppose -4 = -s + 3*s. Is (-4 + 15)*(-1 - s) a multiple of 10?
False
Suppose 4*g - g = -99. Let a = 73 + g. Does 20 divide a?
True
Suppose -j + 0*o + 48 = 2*o, 0 = j + o - 51. Does 9 divide j?
True
Let n = 143 - -1. Is 28 a factor of n?
False
Suppose 3*n + a = 320, -395 = -4*n + 3*a + 49. Is n a multiple of 27?
True
Suppose 0 = 2*i + 129 - 429. Suppose i = 6*t - t. Is 15 a factor of t?
True
Suppose 4*t + 27 = 3*d, -4*t + 3 - 20 = -d. Suppose -3*w + d*w = 4*q + 40, -2*w + q + 52 = 0. Is 15 a factor of w?
False
Suppose -3*p - 249 = -6*p. Is 11 a factor of p?
False
Suppose -4*w - 107 = -2*v + 77, 3*v = -3*w + 258. Does 8 divide v?
True
Let p(g) = 2*g**3 - 4*g**2 + 4*g - 3. Let c be p(2). Let s(u) = 3*u**2 - 5*u - 6. Is s(c) a multiple of 22?
True
Suppose 3*l - 1 = y + 3, -4*y = 5*l - 35. Suppose -7 + l = -n. Suppose 0 = -m + 2*h + n + 1, 5*m - 5*h - 40 = 0. Is m a multiple of 11?
True
Suppose b + 39 = -2*g + 134, -170 = -3*g + 4*b. Is g a multiple of 10?
True
Suppose 3*f - 2*g = -7*g - 136, -f - 40 = 3*g. Suppose -2*r + 3 = -13. Is 13 a factor of (f/(-8))/(2/r)?
True
Suppose p = 30 - 7. Suppose -10 = 3*i - 46. Let x = p - i. Does 11 divide x?
True
Suppose -2*b + 7 = -d, -4*b + 0*b = 2*d - 26. Suppose 5*w = d*v + 2*v + 20, 0 = -4*v + 12. Is w a multiple of 7?
True
Let n(y) = 13*y - 2. Is n(4) a multiple of 13?
False
Let m be 15 + 9/(-3) - 3. Let t = m - -8. Is 5 a factor of t?
False
Let m be -4*((-10)/4 + 2). Suppose 2*u = -6, 7*u = g + m*u - 46. Does 8 divide g?
False
Suppose -4*x - 90 = -9*x. Suppose 3*c + 3 = x. Is 3 a factor of c?
False
Suppose -2*j - 67 = -4*j - 5*x, -3*x + 158 = 5*j. Does 8 divide j?
False
Let s(c) = -2*c**2 - 2. Let b be s(3). Let x be ((-16)/b)/((-2)/(-10)). Let i(a) = -a**3 + 5*a**2 - 1. Does 6 divide i(x)?
False
Let w(j) = -j**3 - 5*j**2 - 8*j - 7. Let n be w(-5). Let y = n - -76. Let a = -62 + y. Is 12 a factor of a?
False
Is (-146)/(-8) - 2/8 a multiple of 6?
True
Let w be (6/4)/(9/12). Suppose -w*j = -4*j + 34. Does 7 divide j?
False
Let y be -1*2 + (3 - -4). Let j = -5 + y. Let q = j - -2. Is 2 a factor of q?
True
Let d(c) = 13*c + 3. Let l be d(4). Let b = 32 - l. Let m = b + 38. Does 12 divide m?
False
Let v(l) be the first derivative of -l**4/4 + 7*l**3/3 - 3*l**2/2 - 2*l + 1. Suppose -4*y + 10 = -14. Is v(y) a multiple of 8?
True
Let u = -3 - -5. Suppose 0*k + u*k = 10. Is 2 a factor of k?
False
Let z be (-34)/6 - (-4)/(-12). Let f be ((-8)/z)/((-5)/(-60)). Suppose -7*l = -3*l - f. Is 2 a factor of l?
True
Suppose -2*y - 13*y = -3570. Is y a multiple of 17?
True
Does 39 divide ((-24)/1)/(-6)*(-78)/(-4)?
True
Let h be 3/(3/(-1)) + 3. Suppose -f = 4*r + 2*f + 18, -h*r - 5*f - 16 = 0. Does 15 divide 171/6 - r/2?
True
Suppose 5*u - 175 = -5. Suppose -3*v + 5 = -u. Does 7 divide v?
False
Let g(f) = 3*f + 7. Is 19 a factor of g(4)?
True
Suppose 4*d - 9*d + 120 = 0. Is 8 a factor of d?
True
Let h = 12 + -20. Let y(q) = q**2 + 3*q + 8. Is 12 a factor of y(h)?
True
Suppose -13 = 4*d + 11. Let o(b) = b**2 + 2*b + 4. Does 28 divide o(d)?
True
Let r = 280 + -148. Is r a multiple of 21?
False
L