of h?
False
Suppose -6*t = -13*t + 56. Suppose 0*i + 768 = t*i. Let o = 22 + i. Is 12 a factor of o?
False
Let o = -10 - -11. Suppose 0 = -6*l + 193 - o. Does 8 divide l?
True
Let m(g) be the second derivative of g**4/12 - g**2/2 - 2*g + 119. Suppose -2*d = -o - d + 1, 0 = 5*o + 5*d - 35. Is 15 a factor of m(o)?
True
Let y be ((-838)/42 - 24/(-84))*-3. Suppose 2*m - 151 = y. Is m a multiple of 7?
True
Let i be -150 - -1 - (-6)/(-2). Is 5 a factor of i/(-20) - (-4)/10?
False
Let h(n) = -n**3 + 64*n**2 + 229*n - 16. Does 60 divide h(67)?
True
Suppose 3 = s - 3. Suppose 4*y - y = s. Is y even?
True
Let t = -2987 + 4553. Is t a multiple of 32?
False
Let r be -2 + 1 - (4 - 7). Let q be 3 - r - (-14)/(-1). Is 13 a factor of q/2*(4 + -6)?
True
Let c(u) = -u**2 - u + 50. Let g(h) = h**3 + 10*h**2 - h - 10. Let a be g(-10). Is 9 a factor of c(a)?
False
Let t be (-18)/(-15)*(-15)/6. Let h(a) = -49*a - 9. Let l be h(t). Suppose 0*z = -3*z + l. Does 10 divide z?
False
Suppose -4*d + 4 = -3*d. Let k be (d/7)/(2/7). Suppose 5*z = 3*s - 61, 0 = -0*z - k*z - 4. Does 7 divide s?
False
Let k = 174 + -99. Let z = k + -51. Is z a multiple of 11?
False
Let x = 133 + -135. Is (-2)/(-7) + x/(98/(-10619)) a multiple of 48?
False
Suppose 3*m + 6*r - 3209 = 5*r, 16 = -4*r. Does 17 divide m?
True
Let i be 2/(-5) - (-119)/35. Suppose -n - 6 = -i*q - 14, -2*n = 4*q - 66. Let f = 95 - n. Does 25 divide f?
False
Let v(z) = -z**3 - 6*z**2 + 16*z + 7. Does 24 divide v(-10)?
False
Suppose 4*s - 16 = 0, -3*z + 4*s = 14 + 5. Let y(c) = -c - 1. Let b be y(-2). Is 10/(z - (-3 + b)) a multiple of 7?
False
Let h be 9/(27/(-6))*-38. Suppose -8*k + 6*k + h = 0. Is 21 a factor of k?
False
Let z(k) = 4*k**2 - 49*k - 27. Is 5 a factor of z(16)?
False
Let s = 30 - 14. Suppose -l + 216 = -s. Is 47 a factor of l?
False
Let j = -48 - -30. Let x = j - -33. Is 5 a factor of x/6*(2 - -4)?
True
Suppose 0*x - 20 = -4*x. Suppose 567 = x*g + 197. Is g/10 - 2/5 a multiple of 7?
True
Let p = 3 + -5. Suppose -2*h - 2 = -16. Does 18 divide (-7)/(h/p) - -52?
True
Let k(c) = 373*c + 57. Is k(3) a multiple of 56?
True
Does 2 divide ((2223/(-2))/(-19))/((-3)/(-4))?
True
Let m = 10 - -175. Does 5 divide m?
True
Suppose 3*k + 2*t - 54 = 5*t, 0 = -5*k + 4*t + 88. Let a = k - 8. Let n = 1 + a. Does 8 divide n?
False
Is (4/10 - 3236/20)*-5 a multiple of 18?
False
Suppose 2*o = 4*c + 18, -o = -2*o + 5*c + 15. Let q be 72/15*1*o. Let z = q + -21. Is 2 a factor of z?
False
Let b(f) be the second derivative of 4*f**3/3 + 8*f**2 - 15*f. Does 16 divide b(8)?
True
Let z(n) = -n**3 - 5*n**2 + 45*n - 3. Is 6 a factor of z(-11)?
True
Suppose 10 = 5*t - 3*t. Suppose 0 = -5*x + x + 3*m - 84, t*x + 4*m = -105. Is ((-14)/x)/(2/36) a multiple of 3?
True
Let t be (-4)/(-2) - (17 - 5). Is 21 a factor of t/4*(-9 + -35)?
False
Suppose 16 = -10*t - 14. Let s = -5 - -3. Does 15 divide 10*1/s*t?
True
Let r(k) = -18*k - 17. Suppose 0 = 2*w - 9*w - 35. Is 18 a factor of r(w)?
False
Let k(v) = -v**2 - 10*v - 3. Let y be k(-9). Is -10*3/y*-23 a multiple of 31?
False
Let z be ((-3)/(-2))/(1/2). Suppose 0 = -2*r + 3*f - 15, 0 = r + z*f + f - 20. Suppose -2*k - 3*u + 2*u + 51 = 0, r = -k + u + 18. Is k a multiple of 12?
False
Let j = 69 - 34. Let a = 39 - j. Suppose -3*l + 2*o + 235 = 0, -132 = -4*l - a*o + 208. Does 27 divide l?
True
Let q(s) = -3*s**3 + 8*s**2 - 19*s - 6. Let v(j) = j**3 - 3*j**2 + 6*j + 2. Let m(l) = 2*q(l) + 7*v(l). Let r be m(4). Let y = 5 + r. Is 4 a factor of y?
False
Suppose 0 = -3*z - 5*h + 107, 3*h + 72 = 2*z + 6*h. Does 17 divide z?
False
Let a be (6/3)/(0 - 1/2). Does 21 divide (a/(-12))/((-2)/12) + 65?
True
Let r = -2 - 175. Does 9 divide 2*r*(-1)/6?
False
Let y = 21 - -14. Suppose -7 = -g + y. Is g a multiple of 14?
True
Suppose 0*v + 3*v - 444 = 0. Is v a multiple of 5?
False
Let f(h) = -4*h + 71. Is f(0) a multiple of 9?
False
Let l(i) = i**3 - 11*i**2 - 13*i + 24. Does 27 divide l(15)?
True
Does 9 divide (-936)/(0 + -8) + 9?
True
Let t(x) = 1. Let a(n) = n**2 + 6*n - 2. Let r(i) = -a(i) - 5*t(i). Let y be r(-5). Suppose y*f = -5*l + 225, l + f + 81 = 3*l. Is l a multiple of 5?
False
Let w(g) = -g**3 + 20*g**2 - 3*g + 34. Does 34 divide w(17)?
True
Let m(f) = -3*f - 9. Let a be m(-6). Let u = -5 + a. Suppose -5*l - u*k + 7*k = -122, 5*l - k - 114 = 0. Is l a multiple of 11?
True
Let i = 712 + 1174. Does 23 divide i?
True
Suppose 4*n + 4*o - 300 = 0, -250 = 13*n - 16*n + 2*o. Does 10 divide n?
True
Let d be 3 + 0/(1 + 4). Suppose -3*f - 4*v + 275 = 0, v = -4*f - d*v + 372. Is f a multiple of 22?
False
Let v(q) = q**3 + 7*q**2 + 6*q + 3. Let y be v(-6). Suppose 0*f + 129 = 2*f + y*k, k = 3. Is 10 a factor of f?
True
Suppose 0 = -w - 3*p + 5*p + 126, -3*p = 4*w - 559. Is w a multiple of 17?
True
Let x = 487 + -120. Is 11 a factor of x?
False
Let w = 46 + -99. Suppose c + 3 = -13. Let j = c - w. Is j a multiple of 25?
False
Suppose 0 = x - 4*t - 175, -8*t + 334 = 2*x - 12*t. Is 32 a factor of x?
False
Suppose -5*x - 3*k = -49, -k + 41 - 6 = 4*x. Let l(o) = 4*o + 8. Is 40 a factor of l(x)?
True
Suppose -h - 14 = -12, -5*h = 2*g - 1054. Is g a multiple of 38?
True
Let p = -249 - -357. Suppose 7*c - 32 = p. Does 10 divide c?
True
Let q(m) = -41*m - 23. Let y be q(-2). Suppose -2*t + y = -43. Is 7 a factor of t?
False
Let y(v) = v**3 - 6*v**2 + 5*v + 5. Let k be y(5). Suppose 3*m = 3*q - m - 376, 5*q = -k*m + 650. Is q a multiple of 18?
False
Let x be (-6)/(-27) + (-640)/(-36). Let g = x + 14. Suppose -u + z + g = 0, -5*z - 80 - 48 = -4*u. Is u a multiple of 16?
True
Suppose -2 = d, c + 3*c - 2*d = 12. Suppose -115 = c*x + 69. Does 15 divide (-2 + 21/12)*x?
False
Suppose -693 = -5*x + 2*x. Is x a multiple of 33?
True
Let k = 6 + -3. Suppose -s + 8 = -h - h, -30 = 5*h - 5*s. Does 10 divide (h - -5)*38/k?
False
Suppose -5*m + 2097 = 4*m. Let i = 407 - m. Is 6 a factor of i?
True
Let k = 170 + -130. Is k a multiple of 20?
True
Suppose -47*o = -801 - 15696. Is 13 a factor of o?
True
Let d be ((-40)/(-60))/((-2)/(-9)). Suppose -36 = -3*a - d*a. Is a even?
True
Suppose 50 = -4*m - 46. Suppose -272 = -18*k + 14*k. Let p = k + m. Does 25 divide p?
False
Suppose 0 = 30*g - 6811 - 11939. Is 17 a factor of g?
False
Suppose -3*l + 8*l + 2*k = -796, -3*k + 307 = -2*l. Let r = -105 - l. Suppose -145 = -4*z - r. Does 7 divide z?
False
Suppose 3*v + 3*x = -0*x + 1035, 5*x - 681 = -2*v. Is 29 a factor of v?
True
Let q(f) be the first derivative of f**2 + 5*f + 8. Is 13 a factor of q(4)?
True
Let s = 62 - 87. Let x = 156 + -105. Let l = x + s. Is l a multiple of 21?
False
Suppose 3*u = -2*u - 3660. Is 6 a factor of u/(-20) - 6/10?
True
Let r(v) = -11*v**2 + 27*v - 26. Let x(j) = -5*j**2 + 13*j - 13. Let o(s) = 6*r(s) - 13*x(s). Does 13 divide o(-7)?
True
Is 15 a factor of 722 + (-18)/6 + 1?
True
Let y be 24/9*(-6)/(-8). Suppose -3*a = 0, y*k + k = a + 333. Does 24 divide k?
False
Let o be (1 - 2)*((-12)/3 - 225). Suppose -3*u + o = -218. Is u a multiple of 40?
False
Let f be -1*(-4)/(-8)*-38. Suppose -4*s - 5*p - f = -5*s, 0 = -5*s + p + 167. Suppose d - 85 = -4*d + z, z - s = -2*d. Is d a multiple of 5?
False
Suppose h + 3*h = -28. Let u(q) = -q**2 - 7*q - 4. Let k be u(h). Does 18 divide 1/(k/(-8))*9?
True
Let b = 207 - -189. Is b a multiple of 23?
False
Suppose -i = -5*i + 3*i. Is 42 a factor of 88 + i + (-2)/1?
False
Let x(k) = k**2 + k + 2. Let f be x(0). Let g be ((-68)/(-4))/(1 - f). Let o = g + 35. Is 6 a factor of o?
True
Is 47 a factor of (658/42)/((-3)/(-621))?
True
Suppose -6*n = -822 - 654. Is 82 a factor of n?
True
Let l(b) be the first derivative of -b**6/120 + 13*b**5/60 - 7*b**4/24 - b**3 + 2*b**2 + 8. Let t(a) be the second derivative of l(a). Is t(12) a multiple of 9?
True
Let h(p) = 3*p**2 - 23*p + 33. Is 11 a factor of h(-27)?
False
Let y(t) = 0*t - 3*t - 3*t - 27 - 5*t. Does 12 divide y(-9)?
True
Suppose 3669*c - 1368 = 3661*c. Is c a multiple of 3?
True
Let v = -195 - -363. Is v a multiple of 56?
True
Suppose -16*i = -11*i + 20. Let z(h) = -2 + 0 + h**3 - 6*h - 1 + 5*h**2. Does 10 divide z(i)?
False
Does 3 divide (((-456)/(-16))/19)/(6/440)?
False
Let m be 0/(-3 - (-2)/1). Suppose 2*c + c = m. Suppose -5*a - 3*v = -145 + 50, 4*a + 2*v - 74 = c. Is a a multiple of 10?
False
Suppose 3 = 4*u - 5*k - 4, -10 =