 = z - -37. Suppose -o*h + i = 3*i - 156, 5*i + 42 = h. Is 32 a factor of h?
True
Suppose t - 29 = 49. Suppose -2*b - 2*q + t = 0, 4*b - 163 = -b + 3*q. Does 10 divide b?
False
Let c be 7/(7/(-2)) + 4. Suppose w - 62 = -2*w + c*h, 3*h + 81 = 4*w. Is w a multiple of 8?
True
Suppose 128*b - 136*b = -10240. Is 36 a factor of b?
False
Let s be -2 + (-6 - -3) + 0. Let k(c) = -2*c**3 - 3*c**2 - 6*c - 7. Let p be k(s). Suppose 2*y = p - 70. Does 16 divide y?
True
Suppose -g + 5845 = 3*f, 5585 + 4170 = 5*f - g. Does 65 divide f?
True
Suppose 4*o - 128 = 2*o. Suppose o = w + w. Is 8 a factor of (w/4)/(3/3)?
True
Let g = 6 + -12. Does 15 divide (1790/15 - 0) + 2/g?
False
Let t be 6618/(-14) + ((-36)/28 - -1). Let c = -297 - t. Is 20 a factor of c?
False
Suppose 0 = 5*o - 3*k - 2573, o + 153*k - 151*k - 525 = 0. Is 19 a factor of o?
False
Is (-28)/(-70) + 1853/5 a multiple of 18?
False
Suppose -f + 29 = -331. Is 16 a factor of f?
False
Suppose 5*t + 574 + 381 = p, -2*p = -4*t - 1928. Is p a multiple of 12?
False
Let v = -12 - -9. Let z be (2 + v)*(21 + 7). Let j = -10 - z. Is 4 a factor of j?
False
Let t(f) = -f - 5. Let o be t(-7). Suppose -q = o*q - 87. Suppose -g - 23 = -l, -2*l - 5*g + 24 = -q. Does 12 divide l?
True
Suppose -3*r + 43 + 29 = 0. Suppose -8 = -q + 4*m, -2*m = -3*q - m + r. Does 12 divide 212/q + (-12)/8?
False
Suppose 0 = -2*w + 8, 0 = -h + 2*w + 1 - 4. Suppose -p = -4*i - 24, -h*p - i = i - 54. Does 5 divide p?
False
Suppose -3*h + 7476 + 1938 = 0. Does 22 divide h?
False
Let r be 5/(-20) - -2*281/8. Does 43 divide (-4)/(-10) + -1446*(-7)/r?
False
Suppose 2*w - 390 = -2*v - 0*w, -5*w + 591 = 3*v. Let l be (v + 3)*2/6. Suppose -k - 4*m = -11, -4*k + 2*m + 51 = -l. Is 20 a factor of k?
False
Suppose -50*q + 18*q = -2688. Is 4 a factor of q?
True
Suppose 0 = 2*n + 3*n - 5. Let d be (-2 + n)/((-2)/4). Suppose -4*m = -90 + d. Is 22 a factor of m?
True
Suppose -3*r + 59 = -10. Let q = r - -70. Does 13 divide q?
False
Let j be 3/(-5) + 172/(-5). Let o be j/(-5)*(-8)/(-14). Let h(s) = 19*s - 18. Is 10 a factor of h(o)?
False
Let h(o) be the first derivative of 71*o**3/3 + o**2/2 - 5. Let r be h(1). Let t = -49 + r. Is 4 a factor of t?
False
Let f(x) be the third derivative of x**6/120 + x**5/10 + x**4/6 + x**3/3 - 7*x**2. Let u be f(-5). Suppose z - 25 = u. Does 8 divide z?
True
Suppose 4*a = 3*c + 5, -3*c - 9 = -5*a + 1. Suppose -2*m + 356 = c*q, -3*m - 3*q + 652 = 118. Is m a multiple of 10?
False
Is 9*-1087*10/(-30) a multiple of 14?
False
Let a(q) = -21*q**3 + q. Suppose 0 = 4*o - 16, -4*l - 5*o - 32 = -92. Suppose -3 = -3*c + 5*p - 1, -5*c - 5*p = l. Is a(c) a multiple of 4?
True
Is 10 a factor of 30/6 + -5 + 466?
False
Is 27 a factor of (108/63)/(4/322) - 2?
False
Let b = 1579 + -32. Does 17 divide b?
True
Let k = -34 - -84. Suppose 2*m + 3*s + k = -s, -2*m = -2*s + 44. Let y = m + 92. Does 14 divide y?
False
Let f(u) = u**2 - 13*u + 18. Let n be f(12). Let c(v) = -v**3 + 5*v**2 + 6*v + 4. Let a be c(n). Suppose -a*d - 8 = 0, y - 4*y + 208 = -2*d. Does 34 divide y?
True
Let f(v) = 276*v**2 - 2*v - 3. Is f(-1) a multiple of 11?
True
Suppose 0 = -0*d - 4*d + 2*s + 1110, 0 = -4*d + s + 1105. Suppose 0 = -4*t + 6*t - 8. Suppose 2*o - 4*a = 120, -t*o - a + d = -2*a. Is o a multiple of 22?
False
Let q = -33 + 35. Suppose 0*a - 2*n + 148 = q*a, 0 = 4*a + 5*n - 300. Is 12 a factor of a?
False
Let x be (-18)/90 + (-3412)/(-10). Let o = x - -87. Is o a multiple of 62?
False
Is 0 - -1 - (26 + -66) a multiple of 2?
False
Let g(f) = 5*f + f**3 + 4*f + 0*f**2 + 12*f**2. Is g(-9) a multiple of 27?
True
Let n(a) = -a - 29. Let d be n(0). Let s = 34 + d. Suppose 0 = -s*b - 4*o + 423, 3*b - 5*o = -4*o + 247. Is 23 a factor of b?
False
Let i be (5 + (1 - 4))*3. Suppose i*r - 5*r = 2*a - 45, -5*r = a - 17. Is a a multiple of 11?
True
Suppose q + 4*o + 17 - 4 = 0, -2*q - 5*o = 17. Let r be (-12)/8*(q - 1). Suppose -23 = 2*z - r*z. Is z a multiple of 8?
False
Suppose 62*y = 57*y + 2065. Suppose y + 253 = 3*i. Is i a multiple of 14?
False
Let j(a) = a + 1. Let t be j(4). Suppose 5 = -h + t*q - 1, 5*h - q + 30 = 0. Is (-18)/(-5) + h/(-15) a multiple of 2?
True
Let z be 1/2*(-2 + 188). Let u = -1254 - -1258. Suppose -3*t - z = -u*t. Is 16 a factor of t?
False
Let n be 2*14/8*2. Let o(h) = -4968*h + 4972*h + h**3 + 0*h**3 - 7*h**2. Does 14 divide o(n)?
True
Let o = -1676 + 2603. Is o a multiple of 27?
False
Suppose h = -0*h. Suppose -2*y + 195 = -3*v, 2*y - 130 = 2*v - h*v. Let c = v - -108. Is c a multiple of 43?
True
Let a(n) = -n - 7. Let c be a(-10). Suppose -5*y - 37 = -b, -y = c*b - 58 - 53. Is b a multiple of 13?
False
Let y be -1 + -1 + 0 + 43. Let l = -28 - -90. Let h = l - y. Does 6 divide h?
False
Suppose -16 = 4*v, -2927 = -2*j - 2*v - 515. Is j a multiple of 22?
True
Is (5 + -334)/(-1*3/3) a multiple of 7?
True
Suppose -12*d + 3810 + 4494 = 0. Is 48 a factor of d?
False
Suppose y = n - 29, n + 38 = -2*y - n. Let k be (-672)/72*3/2. Let g = k - y. Does 5 divide g?
True
Let z(c) = -c + 55. Let s be z(18). Let j = 78 - s. Does 9 divide j?
False
Let z = 39 - 34. Suppose 3 - 8 = -z*i, 5*s - 370 = -5*i. Is s a multiple of 27?
False
Suppose -3*y + 2*y + 5 = 0, -4*y + 155 = 5*x. Is 15 a factor of 0 - (6/(-2) - x)?
True
Is 4 a factor of (-5 - 19)/((-6)/8)?
True
Suppose -2*i = 5*i. Suppose 0*h - h + 2 = i, 2*t - 4*h - 216 = 0. Does 31 divide t?
False
Is 58 a factor of -4 + 22/6 + (-5232)/(-9)?
False
Suppose 390 = 54*w - 52*w. Does 39 divide w?
True
Let h(s) = -2*s + 2. Let v(t) = -3*t + 3. Let d(f) = -6*h(f) + 5*v(f). Is d(-7) a multiple of 7?
False
Suppose 10*i + 72 = 232. Let r = -36 + 61. Let d = r - i. Is d even?
False
Let y be -1 - -162 - (5 + -4)/1. Suppose 18*r - 2104 = -y. Does 12 divide r?
True
Let l(j) = j**3 + 9*j**2. Let b be l(-9). Suppose 45 = -b*n + n. Let o = n - 11. Is 17 a factor of o?
True
Let f be (3 - -1)/(2/4). Does 12 divide 2 - (f/(-4) + -84 + -2)?
False
Let a = -3 - 9. Let o(p) = -p**3 - 12*p**2 - 3*p - 15. Does 21 divide o(a)?
True
Is 13 a factor of 64*342/84 - (-8)/(-14)?
True
Let n(b) = b**3 + 6*b**2 + b + 9. Let i be n(-6). Suppose -i*g - 27 = -t + 2*g, -10 = -5*g. Does 8 divide t?
False
Let n(l) = 246*l - 493. Is 12 a factor of n(21)?
False
Let m(r) = 2*r - 13. Let c be m(9). Let p = 13 - c. Suppose -13*t + 105 = -p*t. Does 12 divide t?
False
Suppose -7*k = -898 - 4282. Is k a multiple of 10?
True
Suppose 2*y = -w + 11, 7*w - 2*w + 4*y - 37 = 0. Suppose w*p - 4*p = 12. Let j = 28 - p. Is 8 a factor of j?
True
Let r be ((-24)/9)/(4/(-12)). Suppose 6*o = r*o - 172. Let m = o - 56. Is 15 a factor of m?
True
Suppose -22*k + 2890 - 910 = 0. Is 18 a factor of k?
True
Let j = 23 - 15. Suppose 0 = -14*h + j*h + 36. Is h a multiple of 2?
True
Let l(j) = 63*j + 4*j**2 - 5 - 7 - 5 + 14 - 59*j. Let h be 1/2 + 6/4. Is 4 a factor of l(h)?
False
Let a(z) = -16*z**2 - 3*z - 6. Let p(t) = -17*t**2 - 4*t - 7. Let c(n) = -6*a(n) + 5*p(n). Does 10 divide c(1)?
True
Let t(s) = 2*s - 3 + 4 + 0. Let n(y) = y**3 - 6*y**2 + 7*y - 3. Let b be n(5). Is 11 a factor of t(b)?
False
Suppose 3*n = -4*u + 1590, -1590 = -3*n + 3*u + 2*u. Is 11 a factor of (n/(-30))/(2/(-6))?
False
Suppose 0 = 6*f - f. Let t(v) = v**2 + 23. Is 22 a factor of t(f)?
False
Let o = -275 - -935. Is o a multiple of 20?
True
Suppose v = -3, 4*s = 2*v - 4*v + 114. Suppose 8*n = 3*n + s. Does 3 divide n?
True
Let v(h) = -h + 6. Let l(g) = -1. Let n(b) = -6*l(b) - v(b). Let c = 11 - 8. Is 2 a factor of n(c)?
False
Suppose 7 = -3*o + 2*o + 3*m, 4*m - 41 = -5*o. Suppose -p = 2*w - 6*p - o, 4 = 4*w - 4*p. Suppose w = 5*n - 19 - 11. Is n a multiple of 3?
True
Let m(q) = -q**2 - 4*q + 24. Let s be m(-7). Suppose 2*g + 29 = s*z - 2*g, -z - 4*g = -15. Is z a multiple of 11?
True
Suppose 191 = -5*h + 991. Let q = 302 - h. Is q a multiple of 29?
False
Suppose -5*c - 40 = 2*k - 0*k, k - 4*c - 6 = 0. Is 6*(-5)/(k/34) a multiple of 5?
False
Let z = 15 - 13. Let n be (-3)/z - (-45)/2. Suppose -3*a + 0*a = -n. Is 7 a factor of a?
True
Let l(v) = 4*v**2 + 5*v - 7. Suppose -3*w + 2*m = 13, 4 = -w + 5*m - 4*m. Is 17 a factor of l(w)?
True
Suppose 0 = -5*w - 13 - 17. Let m(t) = -t**3 + 5*t + 14. Does 26 divide m(w)?
False
Let l = -65 - -110. Let z = l + -21. Does 8 divide z?
True
Let j = 774 - 657. Is j