 - h. Let v = -31 + y. Is v a multiple of 21?
True
Let j be (-25)/5 - 1/(-1). Let c = 2 - j. Suppose -c*y + 5*y + 21 = 0. Is y a multiple of 7?
True
Suppose 5*q = 0, -d + 8*q - 12*q + 1026 = 0. Is 18 a factor of d?
True
Let d = -9 + 21. Suppose d*i - 11*i = 0. Let h(c) = -c + 18. Does 9 divide h(i)?
True
Let y = 197 + -109. Is -1 + (1 - 0) + y a multiple of 23?
False
Let h(n) = 66*n**2 - 5*n - 4. Is 54 a factor of h(-2)?
True
Is (-4570)/(-25) - ((-14)/(-5) - 2) a multiple of 12?
False
Let n be (-1)/((-14)/16 + 1). Suppose -2*v = 224 - 194. Let c = n - v. Does 7 divide c?
True
Let h(l) = -2*l - 18. Let s be h(-10). Suppose -2*x + 10 = 2*j, 7*j = -5*x + 3*j + 24. Suppose -g + x*p + 97 = 0, 3*g + p - 291 = -s*p. Is g a multiple of 30?
False
Let q = -17 + 22. Let n = q - -1. Suppose 4*p - 111 = -y, p + 90 + n = y. Is y a multiple of 33?
True
Suppose 2*n + 2*b + 14 = 0, -3*n - 2*b + 3*b - 21 = 0. Is 6 a factor of n/14 - 38/(-4)?
False
Let b be (0 + 3)/(-1 - -2). Suppose x - 202 = -b*j, -5*j + x + 260 = -j. Let n = 115 - j. Is n a multiple of 25?
False
Let w(j) = j - 1. Let n be w(5). Let d = 327 + -267. Let m = n + d. Is 31 a factor of m?
False
Let v(a) be the first derivative of -3*a + 7 + 13/2*a**2. Does 20 divide v(7)?
False
Suppose -5*o = -21*q + 17*q + 496, o - 353 = -3*q. Is q a multiple of 7?
True
Let o be 1*(0 - (-1 - -4)). Let f be (4 + o)*4 - 2. Is 12 a factor of ((-459)/(-45))/(f/10)?
False
Suppose -20*p - 21801 = -33*p. Is p a multiple of 59?
False
Let i be 30/(5/((-5)/1)). Is (2 + 2)*i/(-4) a multiple of 8?
False
Let z(o) = -o - 10. Let m be z(-12). Suppose 3*k - 10 = -m*l + k, k - 12 = -2*l. Does 7 divide l?
True
Let t(b) = 2*b + 387. Let o be t(0). Suppose -q + 5*a = -99, -4*q + o = q + 2*a. Let k = q - -1. Is 14 a factor of k?
False
Is (370 - (-10)/(-2))*(-4)/(-5) a multiple of 7?
False
Suppose 2*y - 5*b = 527, b - 6*b - 1355 = -5*y. Does 69 divide y?
True
Suppose 9*a = 894 - 327. Let x = -23 + a. Is 8 a factor of x?
True
Let r = -12 - -12. Let u be (32/(-12) + r)*-3. Suppose -5*h - 65 = -5*t, -3*t + h = -45 + u. Does 3 divide t?
True
Let u = -2 - -2. Let a be -4*(-6)/12 - 6/(-2). Suppose -g = -a, m - 20 = -3*g - u. Is m even?
False
Suppose -3*q = -6 - 9. Suppose -10*y + q*y + 1010 = 0. Suppose -4*x + y = -30. Does 21 divide x?
False
Suppose 2*b = -5*z + 6890, 2*z = 4*b - 6*b + 2762. Is z a multiple of 16?
True
Suppose 3*p + 200 = -t + 605, 0 = -3*p + 3*t + 405. Is 9 a factor of p?
True
Let x be 0*(20/(-12) + 2). Suppose x = -3*w - 3, -61 = -2*r + 4*w - 5. Is r a multiple of 13?
True
Let d = 2129 + -1008. Is 59 a factor of d?
True
Suppose 5*g - 3*a = -4*a + 3092, 1246 = 2*g + 5*a. Is g a multiple of 23?
False
Let z(g) = 2*g - 17. Let c be z(10). Is 2 a factor of (((-9)/6)/c)/(2/(-76))?
False
Let b(u) = u**3 + 14*u**2 - 9*u + 9. Is b(-11) a multiple of 61?
False
Suppose -12*y + 16*y = 136. Suppose 0 = -29*l + y*l - 340. Is 10 a factor of l?
False
Suppose -41 = 4*k + 2*j + 19, -4*j = -3*k - 23. Let b(s) = s**3 + 14*s**2 + 13*s + 16. Is 8 a factor of b(k)?
True
Let w(o) = o**3 - o**2 - o + 18. Let l be w(0). Suppose -3*b = -21 - l. Suppose 3*c - 46 + b = 0. Does 11 divide c?
True
Suppose 4*n = -x - 4, 0 = 2*x - 2*n - 3 - 19. Let u = 8 + x. Let q = u - 8. Does 4 divide q?
True
Let h be ((-10)/(-15))/(2/9). Suppose h*m = -m - 8. Is 8 a factor of (-632)/(-16) + (-1)/m?
True
Suppose -4*z - m + 2*m = -49, -z = 5*m - 7. Suppose z*i = 9*i + 9. Does 2 divide i?
False
Let r(c) = -6*c + 9. Let f be r(-6). Suppose -n + 24 = 5*q, 5 = -5*n - 5*q + f. Suppose -n*i + 195 = -i. Is i a multiple of 20?
False
Let p(d) = 3*d**2 + 17*d + 2. Let x be p(-5). Suppose y + 1590 = -2*y. Is y/x - (-1)/(-4) a multiple of 22?
True
Let k(j) = -6*j**2 - 2*j + 1. Let c be k(-2). Is 4 a factor of (c/57)/(1/(-24))?
True
Suppose -4*u + 6 + 6 = 0. Suppose -4*k - 125 = -m, -216 = -m - u*k - 56. Does 29 divide m?
True
Suppose 4*j - 3046 - 574 = 0. Is 28 a factor of j?
False
Suppose 2*w + 4 = -0. Let d be 16/12*3*w. Let t(r) = -5*r - 20. Is 9 a factor of t(d)?
False
Suppose 6*w = -7 - 5. Let h = 26 + -16. Is 9 a factor of (h/(-25))/(w/180)?
True
Does 23 divide (-24 + 60)/(-2 + (-284)/(-136))?
False
Does 46 divide (0 + -1)/((-2)/368)?
True
Suppose 2*c + 3*k = 521 - 125, 0 = c - 2*k - 205. Let v = c - 47. Does 33 divide v?
False
Let s = -199 - -311. Does 16 divide s?
True
Suppose 1899 = 6*x - 5013. Is x a multiple of 10?
False
Let w be ((0 - 1) + 1)/(7 + -5). Suppose 4*x - 296 = -w*x. Is x a multiple of 8?
False
Let d(o) = o**3 - 9*o**2 + o - 1. Suppose 0 = 3*l - 16 - 11. Let v be d(l). Suppose -4*x - v + 72 = 0. Is x a multiple of 16?
True
Suppose 3*y - 4*p - 568 = -108, 5*p - 147 = -y. Let l be 3/7 - 3663/(-77). Suppose -l = 4*n - y. Does 7 divide n?
False
Let p(u) = 210*u + 15. Is 27 a factor of p(7)?
True
Let d = -24 - -26. Is 12 a factor of (-652)/(-18) + d*1/(-9)?
True
Let x(y) = -y**3 + 11*y - 8 + 3*y**3 - 65*y**2 + 53*y**2. Does 21 divide x(8)?
True
Suppose 8 = 4*d + z - 1217, 3*z = -3*d + 912. Is 22 a factor of d?
False
Let d(z) = z**3 - 24*z**2 - 10*z + 31. Is d(25) a multiple of 58?
True
Let j be 1/2 - (-228)/8. Let p = 32 - j. Suppose t + r - 34 = 7, 3*t - p*r - 147 = 0. Is t a multiple of 9?
True
Is (-6 - -5) + 35 - 0 a multiple of 17?
True
Suppose -20228 = 16*f - 61620. Is f a multiple of 85?
False
Let b(r) = -5*r**3 + 3*r**2 - 6*r + 7. Let z(h) = h**3 + h - 1. Let g(d) = b(d) + 4*z(d). Suppose 5*x - 2*x + o - 9 = 0, -4*x = -4*o + 4. Does 2 divide g(x)?
False
Let n(g) be the third derivative of g**5/30 + g**4/6 + g**3/6 - 4*g**2. Suppose 4*t = -13 - 11. Does 11 divide n(t)?
False
Let z = -18 - -21. Suppose -69 = -0*w - z*w. Suppose 5*t = 2*q + 29 + 29, -2*t + q = -w. Is t a multiple of 2?
True
Let o = 24 - 13. Let d(u) = u - 6. Let a be d(o). Suppose -5*c = 5*j - 125, -c - 2*j + 13 = -a*j. Does 18 divide c?
False
Suppose 6*u = -2*c + 810 + 514, -5*u + c = -1114. Does 3 divide u?
True
Let v = 17 + -27. Let c = v - -4. Let s(f) = 2*f**2 + 7*f + 9. Does 14 divide s(c)?
False
Let s(y) = -y**3 - 2*y**2 - 85. Let j be s(0). Let b = j - -160. Does 12 divide b?
False
Suppose 13*w = 17*w + g - 3618, -2*g = -4. Is 113 a factor of w?
True
Suppose 5*c = 8*c - 951. Suppose -67 - c = -3*g. Does 29 divide g?
False
Suppose -3*n - 2*p + 377 = 0, n + 3*p - 243 = -n. Does 5 divide n?
False
Does 6 divide (-12)/(108/(-231) + (-8)/(-28))?
True
Let u(k) = -k**2 - 3*k - 1. Let b be u(-1). Suppose -p + 61 = b. Does 6 divide ((-48)/(-20))/(9/p)?
False
Suppose 0 = 6*j - 2 - 40. Suppose -n + 157 = -j. Does 41 divide n?
True
Suppose 0*q = q + 2*g, -2*q = -5*g - 9. Suppose -2*h - 2*h = 0. Suppose h*n + q*n = 26. Is n a multiple of 13?
True
Let x(u) = u**3 + 23*u**2 - u - 33. Let m be x(-23). Is (156/m)/((-25)/125) a multiple of 8?
False
Let o = 9 - 17. Let u be 2*(2 + 4/o). Suppose -6*b + 78 = -u*b. Does 9 divide b?
False
Let u(l) = -10*l**3 - 2*l**2 + 6*l - 3. Suppose 20 = -6*r + r - 5*h, r - 4*h = 1. Does 23 divide u(r)?
False
Let i(a) = 2*a**3 + 14*a**2 + a + 21. Is i(-6) a multiple of 17?
False
Let t(o) = -6*o**3 + 3*o**2 + 49*o + 147. Does 35 divide t(-3)?
False
Suppose -2430 = -2*y - 3*y - r, 0 = -3*y + 5*r + 1458. Suppose d = -5*v + 79, 2*v - 1 = -5*d + y. Is d a multiple of 11?
True
Let g be -6 + 2 - 28/2. Let j = 41 + g. Is j a multiple of 7?
False
Suppose 7*n = 6*n. Let a(x) = -2*x - 7 + x**2 + 0*x + 5*x + n*x**2. Is 11 a factor of a(-6)?
True
Let a be (-4)/6*(0 + (-5 - 1)). Suppose -a*v + 196 - 67 = -3*c, 4*v - 126 = 2*c. Does 15 divide v?
True
Suppose 0 = -0*u + u. Let y = u - -8. Does 11 divide (76/y)/1*2?
False
Let z = 26 - 23. Suppose -z*j + 12 = -6*j. Is 2 a factor of j/(-6)*168/16?
False
Let u be (-35 + 42)*18/7. Let j(v) = -v**2 - v + 13. Let l be j(0). Let p = u - l. Is 2 a factor of p?
False
Let m be 253*1*(-10 - -9). Let a = -142 - m. Let h = a + -74. Does 9 divide h?
False
Let z(v) = -v**3 + v**2 + 2. Let t be z(0). Let m be 36/8 + t/(-4). Suppose -70 = 2*i - m*i. Is 21 a factor of i?
False
Let p(c) = -5*c**2 + 16*c - 12. Let q(u) = -9*u**2 + 31*u - 24. Let n(t) = 7*p(t) - 4*q(t). Is 20 a factor of n(18)?
True
Is 61 a factor of -3 - -2 - -553 - (0 + 3)?
True
Let b = 3979 + -2221. Does 22 divide b?
False
Let r(p) = -p**2 + 9*p + 5. Let h be r(9). Suppose -h*q + 4*q +