= -h**3 + 3*h - 6. Let x be f(2). Is x/6*(2 - 26) a multiple of 6?
False
Let m = -23 + 34. Suppose -5*d - 3*b + 1 = -m, -2*d = -4*b - 10. Suppose d*l - 210 = -2*l. Is l a multiple of 13?
False
Suppose 0 = 4*y - 278 - 106. Let a = y - 18. Is 6 a factor of a?
True
Let y be 39 - (-3 + 3 + -3). Let h be 317/(-7) - (-12)/y. Does 8 divide (-1)/(-5) + (-666)/h?
False
Let v(h) = -4*h + 19. Let a(o) = -9*o + 39. Let b(t) = 6*a(t) - 13*v(t). Let p be b(-9). Suppose p*s - 11 = -w, -2*w + 21 = 3*s - 36. Does 12 divide w?
True
Suppose w - t - 173 = 0, -3*w - 829 = -8*w - 4*t. Is w a multiple of 13?
True
Suppose -240 = -8*x + 304. Suppose -5*d + i + 0*i = -x, -2*d - 4*i = -36. Is 3 a factor of d?
False
Let o be (-3)/12 + 9/4. Suppose -w + 0*w = o, -5*t + 110 = 5*w. Does 3 divide t?
True
Suppose -4*o = 2*i + 6, -4*i = -i - 5*o - 35. Let n(l) = 11*l + 6. Let z(t) = 1. Let s(m) = i*z(m) - n(m). Does 18 divide s(-5)?
True
Let n(l) = 4*l - 21. Let p(z) = -4*z + 22. Let a(j) = 5*n(j) + 4*p(j). Let h be 2/(-9) + (-768)/(-54). Is 23 a factor of a(h)?
False
Suppose -s = -f + 3, -s = -f + 2*s - 7. Is 9 a factor of 4/2 + (f + -3 - -74)?
True
Suppose -126*r = -127*r + 1170. Is 26 a factor of r?
True
Suppose 4*n + 2*d - 2 = 10, -5*n - 4*d + 15 = 0. Does 35 divide (-201)/(-9)*3 + n?
True
Suppose 9*h = 233 + 505. Does 6 divide h?
False
Let p(z) = 43. Let q(g) = g - 22. Let m(n) = 6*p(n) + 10*q(n). Is 8 a factor of m(7)?
False
Suppose -82*p = -56*p - 17264. Is p a multiple of 8?
True
Let o(q) = 2*q**2 - 24*q + 37. Is o(-12) a multiple of 5?
False
Let m = -9 - -33. Suppose 18 = 10*z - 12. Suppose 3*g - m = -z*x + 42, -2 = -g. Does 20 divide x?
True
Let n(c) = -c**2 - 37*c + 17. Let l = 92 + -117. Does 59 divide n(l)?
False
Suppose -34*d + 23 + 11 = 0. Suppose c = 5*c - 40. Is 20 a factor of 48*(c/8)/d?
True
Suppose u - 226 = 4*l, -2*u + 7*u - 3*l - 1079 = 0. Suppose 0 = -6*m + u + 110. Does 17 divide m?
False
Let z(h) = 4*h**2 + 1462. Is 34 a factor of z(0)?
True
Suppose 0 = -2*o - 2*w + 3074, 10*o = 6*o + 3*w + 6113. Is 4 a factor of o?
True
Suppose 2*a - 5*a + 276 = 0. Let i = a + -48. Is i a multiple of 7?
False
Let f(c) = c**2 - 9*c + 23. Let n be (-76)/(-6)*(3/6 - -1). Does 14 divide f(n)?
False
Let g = 239 - -289. Is 48 a factor of g?
True
Let m(o) = o**3 - 8*o**2 + 14*o - 2. Let v be m(6). Let a(f) = 3*f**2 - 18*f + 6. Does 17 divide a(v)?
False
Suppose -4*r = 2*u - 6, r - 1 = 2*r. Suppose 9*c - 56 = u*c. Suppose 0 = -w + c - 4. Is 3 a factor of w?
False
Suppose -3621*m = -3627*m + 4428. Is m a multiple of 82?
True
Let g = 37 + -34. Suppose -3*y = g*w - 12, 3*y - 2*w - 11 - 11 = 0. Suppose l - y = 44. Is l a multiple of 25?
True
Suppose 2*l - 5*m = 515, 7*m - 10*m = 4*l - 1069. Does 15 divide l?
False
Let j(q) = -q**3 - 11*q**2 + 14*q + 43. Is 2 a factor of j(-12)?
False
Let a = -1119 + 1540. Does 4 divide a?
False
Let c(q) = -21*q**3 - 4*q**2 - 4*q - 4. Suppose 3*z = -66 + 60. Is 13 a factor of c(z)?
True
Is 369 - 0 - (-1 + 4 + 2) a multiple of 14?
True
Let d = -18 + 50. Suppose -j = d - 107. Suppose -j = -4*a - a. Is a a multiple of 15?
True
Let b be -5 + 6 + 10/2. Suppose -296 = -b*n + 376. Is 16 a factor of n?
True
Let q = 7 + -80. Let h = 77 - q. Is h a multiple of 25?
True
Suppose -4*a = -9*a + 2*p + 25, 25 = 5*a - 5*p. Suppose a*y + 3*o - 113 = 0, -35 - 44 = -3*y + o. Is y a multiple of 25?
True
Suppose 0 = -11*n + 13*n - 2452. Is n/9 + (-258)/(-54) + -5 a multiple of 17?
True
Let m be -3 - 0 - (13 + -250). Suppose 4*r - m = r. Does 41 divide r?
False
Let y = 162 + -115. Suppose 0*u - 3*u = -9, s = -4*u + 12. Suppose -2*q + y + 37 = s. Is q a multiple of 21?
True
Let h be (20 + -19)/((-2)/(-538)). Suppose h = 6*a + 53. Is a a multiple of 5?
False
Suppose 12*g + 891 = t + 9*g, -2*t + 1782 = -5*g. Is t a multiple of 43?
False
Suppose -q + 3*f - 15 = 4*q, 4*q - 5*f = -12. Suppose 0 = -c - j - 3*j - 10, 10 = 5*c + 5*j. Is q/c*0 + 47 a multiple of 7?
False
Does 12 divide 0 - 8 - (-380 + -46)?
False
Let a = 5297 + -2657. Is a a multiple of 110?
True
Let c be ((-2)/(-4))/(-2*(-4)/16). Does 11 divide c/(-6) - 2500/(-24)?
False
Suppose 4*g = 9*g - 10. Suppose 0 = 2*x + 3*f - 121, 3*x - g*x = -2*f + 63. Is 19 a factor of x?
False
Let a = 52 + -50. Suppose a*g = -4*g + 216. Does 9 divide g?
True
Let o be 135/(-25) + 12/5 + -2. Is (o/(20/(-6)))/((-3)/(-100)) a multiple of 15?
False
Let y = 42 - -261. Suppose -5*n - 235 = -4*b, -2*b = 3*b + 3*n - y. Does 20 divide b?
True
Suppose -2*d = -390 + 54. Is 14 a factor of d?
True
Let q = 33 + -30. Suppose q*r = 256 - 46. Does 7 divide r?
True
Let g = 2 - -22. Let n be (-1 - (1 - 3))*g. Suppose -2*y - y = -n. Is y even?
True
Let h = 25 - 21. Suppose 3*b - 4 = 4*f - 27, -3*f + 26 = -h*b. Is f even?
True
Let h = 9 + -3. Suppose -285 - 117 = -h*n. Is 22 a factor of n?
False
Let f be (2/6)/(6/(-18)). Let k be (26/3 + f)*-6. Let q = k - -94. Is 18 a factor of q?
False
Let f be 1185/(-20)*16/(-6). Suppose -g + 2*u + 68 = 0, -5*u = 4*g - 311 + 26. Let c = f - g. Does 18 divide c?
False
Suppose q + 3 = 0, 0*q - 2*q = -3*h + 18. Suppose 6*z = 5*z + h. Suppose -2*k + 2*v + 3*v + 5 = 0, z*v = 5*k - 21. Is 3 a factor of k?
False
Let z = 1 + -36. Let q = 31 + z. Let g(h) = 3*h**2 - h + 3. Does 11 divide g(q)?
True
Suppose 14*i - 6*i - 56 = 0. Is i/(35/2) + 474/15 a multiple of 10?
False
Suppose 3*h + 17 = 4*h + 3*z, 2*z + 62 = 3*h. Let j be (2 - 48/h)*-5. Suppose 0 = j*o - 7*o + 15. Is o a multiple of 3?
True
Let w(n) = n**2 - 3*n - 20. Let y be (-2)/8 + (-147)/(-28). Suppose 2*f - 5*a + 2*a = -12, f = -y*a - 6. Is 34 a factor of w(f)?
True
Let j(p) = 2*p**3 - 2*p**2 - 2*p + 1. Let d = -2 - -5. Is j(d) a multiple of 3?
False
Suppose -15 = 3*i + 18. Let h = i - -16. Suppose -69 = 3*d + 3*x - 306, x - 391 = -h*d. Is d a multiple of 13?
True
Suppose 4*g - 12*s + 13*s - 709 = 0, g = -4*s + 181. Is g a multiple of 17?
False
Suppose -3*n + 37 = -59. Let q be (2 + -3)/((-2)/4). Suppose n = 2*s + q*s. Is s a multiple of 2?
True
Suppose -3*p + 220 = -575. Suppose 5*f - p = -45. Is f a multiple of 5?
False
Let k be 6/(-5)*45/(-27). Suppose -2*f = -k*m - 3*m - 58, -3*m + 90 = 4*f. Is 8 a factor of f?
True
Let y = -532 - -2142. Is y a multiple of 23?
True
Suppose -2*b + 2*z + 4956 = 0, -4*z - 6369 = -2*b - 1423. Does 12 divide b?
False
Suppose 3*j = -w - 0 + 1, -w + 1 = 4*j. Suppose -4*g + 32 = -3*l, -l - 5 = g + w. Is (12/l)/(3/(-72)) a multiple of 35?
False
Let f be 1 - ((-1800)/(-4) - 2). Let m be (6 - 1)*f/(-15). Let y = m - 104. Is y a multiple of 14?
False
Let r(d) = 3*d**3 - d**2 + d. Let u be r(1). Suppose -20 = u*k - 182. Is 14 a factor of k?
False
Let o(m) = 162*m + 9. Let f be o(3). Suppose 6*l = 3*l + f. Suppose -5*g - l = -515. Is 27 a factor of g?
False
Let j(t) = -t**2 + 10*t - 6. Let q be j(7). Suppose 0 = -5*g - 0*g - q. Does 16 divide 77 - ((1 - g) + -2)?
False
Let a(p) = 4*p**3 + 9*p**2 - 7*p - 14. Let n(m) = -9*m**3 - 17*m**2 + 15*m + 29. Let k(f) = -13*a(f) - 6*n(f). Is 42 a factor of k(9)?
False
Let g be -1 + 0 + (2 - -3). Suppose 4*n - 22 = -2*f - f, -g = -n. Suppose -f*l - d + 91 = 0, -3*l + d + 167 = l. Is l a multiple of 14?
False
Suppose 2*z + z = -2*z. Suppose -3*i = -2*i. Suppose -6*r + 3*r + 12 = i, z = 2*m - 5*r. Is 5 a factor of m?
True
Let i(j) = 74*j - 684. Is 99 a factor of i(36)?
True
Let l(r) = 2*r + 37 - 4*r - 21. Does 17 divide l(-9)?
True
Let a(f) = -2 + 69*f**3 + 4 - 1 - 2*f. Let j be 11*(-1 + (-12)/(-11)). Is 22 a factor of a(j)?
False
Let t = -2557 - -3852. Is t a multiple of 37?
True
Let u(v) = -5*v**2 - 3*v + 6. Let a(b) = 6*b**2 + 4*b - 7. Let p(m) = -4*a(m) - 5*u(m). Let z be p(6). Does 28 divide z + 1 + (0 - 1)?
True
Suppose -90 + 5 = -b. Let p = 148 - b. Suppose u - p = -3. Is 30 a factor of u?
True
Suppose 0 = -0*k - 4*k, 2*f - 10 = 5*k. Let v(w) = 28*w - 19. Does 29 divide v(f)?
False
Suppose -z = -0*f - 4*f + 15, z = 5*f - 19. Suppose -17 = 4*v - z. Is -129*(v/(-12))/(-1) a multiple of 11?
False
Is 33 a factor of (-2962)/(-6) - (-8)/6?
True
Let k(z) = 16*z**3 - 6*z**2 + 26*z - 4. Is 12 a factor of k(3)?
False
Let x(w) = -4*w - 2 - 1 + 3*w**2 - 2*w**2 + 0*w**2. Let z be x(5). Suppose c - 66 = -z*c + 2*u, -44 = -2*c + 2*u. Is 10 a factor of c?
False
Suppose -34*p = -78*p + 145068. Does 70 divide p?
Fa