ppose -6*d + 12 + v = q. Does 5 divide d?
False
Let r be 9*(-4)/(-12) + 21. Is r - (12 + -3)/3 a multiple of 3?
True
Suppose 4*q + 100 = 80, 4*q = -3*o + 94. Does 4 divide o?
False
Let v(s) = -8 + 2*s - 136*s**3 + 7*s**3 + 9. Does 14 divide v(-1)?
False
Let a(m) = -3*m - 36. Let s be a(-14). Suppose s*g - 452 = 412. Is 18 a factor of g?
True
Let k(w) = w**2 + 5*w - 9. Let l be 2 + 4 + -2 - 0. Is k(l) a multiple of 7?
False
Suppose -2*x + 3*r + 1017 = 0, -2*x + 4*r + 1017 = 1. Is 34 a factor of x?
True
Suppose -3*h + 4 = -2*y + 3, 14 = -y - 3*h. Is 18 a factor of -90*(40/y - -5)?
True
Suppose b + 5 = 46. Suppose -6*h + 141 = 129. Let v = b - h. Is 14 a factor of v?
False
Let y = 2 + 1. Suppose 5*r = 3*i - 8, i + 0 = 2*r + 3. Does 24 divide r/(-1) - (-144)/y?
False
Let s be ((-5)/(-6)*-2 + 1)*51. Let u = s - -62. Is u a multiple of 7?
True
Suppose -3*n = 2*n - 50. Let i = n - 7. Suppose -i*b + 48 = -b. Does 6 divide b?
True
Let g be 40/16*4/5. Suppose 405 = 3*i + 3*d, -i = -0*i - g*d - 150. Is i a multiple of 24?
False
Suppose -4*k - 5*r - 694 = -80, -3*k = 5*r + 463. Let w = -119 - k. Is 14 a factor of w?
False
Let y be 8/(-24) - 1886/(-6). Is 43 a factor of 2 + y - (0 - 0)/1?
False
Let n(t) = -13*t - 18. Let f be n(-3). Suppose -2*b + 4*g + 14 = 0, -6*g + 4*g = -3*b + 17. Suppose 36 = b*u + f. Is u even?
False
Let w(q) = 82*q + 69. Is 21 a factor of w(3)?
True
Let t = 222 - -618. Is t a multiple of 11?
False
Let t(g) = 11*g - 4. Let s be t(4). Let k = 90 - s. Is 9 a factor of k?
False
Let d = 17 - 14. Suppose -568 = -d*j - j. Let y = j - 99. Is y a multiple of 20?
False
Is 67 a factor of 36454/16 + 30/80*-1?
True
Let c(a) = -a - 19. Let v be c(-13). Let j(f) = -f + 19. Let l be j(v). Suppose 4*i + 2*z - 128 = 0, 2*i - 4*z - l = 59. Is 34 a factor of i?
True
Let p(a) = -431*a - 850. Is 29 a factor of p(-5)?
True
Let a(x) be the third derivative of x**6/120 + x**5/6 + x**4/4 - 11*x**3/6 + 2*x**2. Is a(-9) a multiple of 11?
False
Let k(y) = -24*y**3 - y - 1. Let x be (-2*(-4)/8)/(-1). Does 12 divide k(x)?
True
Let m be 16/2*(-69)/(-2). Suppose 2*s - m = -4*j, 2*j = -j. Does 14 divide s?
False
Let u(s) be the first derivative of 17*s**2/2 - 5*s + 5. Let f be u(7). Let p = f + -66. Does 16 divide p?
True
Let k be (9 - 0)*(-1)/(-3). Suppose -109*z = -115*z + 258. Let x = z - k. Is 10 a factor of x?
True
Suppose 4*r = 2*s + 18, 0*s - 3*s + 5*r = 23. Let y(j) = -9*j**3 - j**2 + 1. Let c be y(s). Suppose -5*o - 72 = -c*o. Is o a multiple of 9?
True
Let u(i) = 50*i - 13. Let x(c) = 75*c - 19. Let g(t) = -8*u(t) + 5*x(t). Let n be g(-10). Suppose -5*d + 11 = -n. Is d a multiple of 18?
True
Let t(h) = -2*h + 3. Let q be t(-4). Suppose 4*o - 2*r - 3 = -q, -3*r = -3*o. Does 13 divide (-306)/o - (-3)/6?
False
Suppose 0 = -3*l - 3*b + 6, 0*b + b = l - 4. Suppose 2*m + m - 12 = 0. Suppose 44 = -l*r + m*r. Is 9 a factor of r?
False
Suppose -2298 = -2*h + b - 672, 2449 = 3*h + b. Suppose -h = -5*q + 785. Does 48 divide q?
False
Suppose t - 11 = -3*l, -4*t + 3 = 2*l + t. Suppose -5*n = l*r - 1082, -540 = -2*r + 2*n - 5*n. Suppose -72 = -k - 4*w, -4*k + 15 = 5*w - r. Is 15 a factor of k?
False
Let m be 1/5 - 435/(-75). Suppose 360 = w - m*w. Does 30 divide (1 - -142) + w/24?
False
Let p(b) = b**3 - 23*b**2 - 49*b - 19. Is 6 a factor of p(25)?
True
Let n(b) = 3*b + 123. Does 3 divide n(-19)?
True
Let j(b) be the second derivative of 5*b - 1/2*b**3 + 3/4*b**4 + 5/2*b**2 - 1/20*b**5 + 0. Does 15 divide j(8)?
True
Suppose -f - 4*j = -0*f + 16, 0 = 2*f + 3*j + 12. Suppose f = 8*s - 8 - 8. Does 4 divide 1*-1*(s + -35)?
False
Let k be (15 - 12)*(-52)/(-6). Let g = -5 - -8. Suppose u = 5*d + k, d + 7 = u - g. Does 4 divide u?
False
Suppose -3*m + 474 = -3*l, 661 = 3*m + 4*l + 159. Let u = -248 + m. Let q = 179 + u. Is q a multiple of 27?
False
Let x(t) = -4*t + 2. Let v be x(8). Does 6 divide (-160)/v - (-2)/3?
True
Let b = 8 - 4. Suppose -o = v - 13, -2*v + 44 = -0*v - 4*o. Suppose b*g - 105 = 3*i, -5*i = -v - 9. Is g a multiple of 10?
True
Let k be (-36)/30*(-10)/(-3). Let h be 1/((-665)/(-165) + -4). Let p = h - k. Is 15 a factor of p?
False
Does 12 divide (-25 - -1)*183/(-12)*2?
True
Let f(b) = -5*b - 15. Let n be f(-9). Suppose 0 = -3*t - 3*r + n, 3*t - 3*r - 4 = 2. Suppose 2*m - 4*k = 2, 2*k - t*k + 43 = 3*m. Does 7 divide m?
False
Suppose -p = -62 - 233. Suppose -p = -3*l - x + 123, -4*l - 4*x + 568 = 0. Does 9 divide l?
False
Is (-3)/4 + (-5973)/(-12) a multiple of 25?
False
Let x(j) = j**3 - 8*j**2 - 7*j + 13. Let q be x(9). Suppose q = o - 5. Let l = o + -4. Is l a multiple of 8?
True
Let p(v) = 3*v + 6. Suppose 0 = 3*j + 9 + 33. Let q be p(j). Is 12 a factor of (-3 - 4/(-2))*q?
True
Let r = -438 + 852. Is 23 a factor of r?
True
Let g = -4 + 7. Suppose 3*x + 9 = g*k, -3*x - 2*x - 21 = k. Let j = x - -17. Is j a multiple of 13?
True
Suppose -t + 2*x = -81, 4*x = t + 7*x - 76. Let d = t + -31. Suppose d = 6*s - 5*s. Does 15 divide s?
False
Suppose 5*t - 2*o - 14038 = 0, t + 781 = 4*o + 3585. Is t a multiple of 39?
True
Let a = 14 + -22. Let f be 5/(-20) - 714/a. Suppose 0 = -3*m + 5*g + 127, -4*g = -2*m - 5*g + f. Is 22 a factor of m?
True
Let v = -86 + 122. Suppose -v*y + 29*y + 1694 = 0. Does 22 divide y?
True
Let s be 16 - 18 - (0 - 2). Suppose s = z - 6*z + 1750. Is 31 a factor of z?
False
Let d(f) = f. Let c be d(3). Let j be (c - 2)*2/1. Suppose j*s - 30 = -m, s = m - 2*s - 35. Does 16 divide m?
True
Suppose 0 = 3*h - m + 3, -h = 3*h - 4*m + 12. Suppose -3*s + 5*t - 6 = -0*s, h = -2*t. Does 26 divide 49 - (-4 + 3) - s?
True
Suppose -5*a = -2*a + 6. Let p = 3 - a. Suppose 2*f - 77 = -p*k, -2*f - 4*k + 47 = -5*k. Does 23 divide f?
False
Let i = -30 - -19. Suppose -2*f = -2*l + 34, -f + 20 = -6*f. Let j = i + l. Is 2 a factor of j?
True
Suppose 2*p + 18 + 22 = 0. Let l = -8 + -7. Is 2 a factor of (-81)/l - (-8)/p?
False
Let u = -363 - -643. Is u a multiple of 28?
True
Let o(a) = a**2 - 9*a + 2. Let v be o(8). Let z(k) = k**2 - 13*k - 9. Is z(v) a multiple of 21?
True
Suppose 48 = -5*v + y, 5*v - 16 = 3*y - 60. Let p(z) = z + 1. Let w be p(v). Is 5 a factor of 4 + (0 + -4 - w)?
False
Let r(y) = 6*y**2 + 4*y + 3. Let b be r(-4). Suppose -g + b = 6. Let i = g - 23. Is i a multiple of 10?
False
Suppose -24931 + 7192 = -81*s. Is 15 a factor of s?
False
Let g(o) = 10*o**2 + 15*o - 181. Is 19 a factor of g(18)?
False
Let v = 1727 - 1586. Is 2 a factor of v?
False
Let a(k) = 4*k - 1. Let f be a(2). Let c be ((-8)/12)/(4/(-30)). Suppose -c*w + f*w = 82. Is w a multiple of 19?
False
Let s be 15 + (-3)/(-3)*0. Suppose -s*h + 150 = -10*h. Is 15 a factor of h?
True
Suppose 6 = u - 10. Suppose -u = -w + 57. Is 7 a factor of w?
False
Let x = -35 + -45. Let c = 138 + x. Let a = 88 - c. Does 14 divide a?
False
Suppose -2*d = 2*d - 3*r - 30, -r + 47 = 5*d. Suppose -75 = d*u - 534. Is 17 a factor of u?
True
Let g(v) = -v - 20. Let w be g(-8). Let f = -1 - w. Is f a multiple of 11?
True
Let g = -21 + -14. Let n be (1 - (-1)/(-3))*75. Let w = n + g. Is w a multiple of 15?
True
Is 11 a factor of (-2)/3*(6 + -2536 + -8)?
False
Suppose -24 - 48 = -4*h. Suppose -13*i + h*i + 60 = 0. Is (-37)/(-3) + 4/i a multiple of 6?
True
Let w = 35 + -33. Let n be w/9 - (-952)/9. Suppose -2*s - 5*g = 25 - n, 33 = s + g. Is s a multiple of 8?
False
Let m = -25 - -720. Is 73 a factor of m?
False
Suppose 0 = x - 0*x - 8. Suppose -m = -x + 1. Does 7 divide m?
True
Suppose 8*q - 18 = 2*q. Suppose q*u + 7*l = 2*l + 390, u = -2*l + 131. Is 25 a factor of u?
True
Let f(u) = 8*u + 294. Is f(0) a multiple of 9?
False
Suppose 5*r + 2*z = 920, 0*r - 5*z = -r + 211. Does 48 divide r?
False
Let x(n) = 15 + 3*n + 5*n - n - 5*n. Let c be x(8). Let j = c - -5. Is j a multiple of 12?
True
Let a(l) = 43*l - 266. Does 26 divide a(8)?
True
Suppose -5*o - 56 = -596. Is o a multiple of 24?
False
Suppose 16 = b + i + 3*i, 4*i = 12. Suppose b*h + 2*x - 394 = 0, 3*h + 5*x = 7*h - 415. Is h a multiple of 25?
True
Let x = -11 - -4. Let u(m) = m**2 - 9*m - 4. Is 36 a factor of u(x)?
True
Is 7 a factor of -9 - (-12)/6 - -994?
True
Does 98 divide ((-2695)/70)/(2/(-56))?
True
Let a = 409 - 289. Is a a multiple of 10?
True
Suppose 0 = 3*y - 380 - 232. Suppose 3*h - 234 = y. Suppose -2*c + h = 2*c + 5*q, -4*c + q + 158 = 0. Is 