de h?
True
Suppose z = 6*z - 40. Let b(l) = 9 + 3*l - 2 + z*l. Does 11 divide b(4)?
False
Suppose 2*o + 2 = 10, -2*o = 4*v - 8. Let b be -3 + 5*(1 + -4 + 4). Suppose b*r - 47 - 39 = v. Is r a multiple of 9?
False
Let t be (-46)/8 + (-1)/4. Let b = 9 + t. Is 16 + (1 - (-2 + b)) a multiple of 8?
True
Let l(h) = h**2 + h + 2. Let x be l(2). Let i(r) = 24*r - 162. Let m be i(7). Suppose 8*o - m*o = x. Does 2 divide o?
True
Let n be (-4)/(-8) - 1/(-2). Suppose 0 = -3*i - 32 - n. Let l(g) = -g**2 - 12*g + 11. Is 14 a factor of l(i)?
False
Does 49 divide 6175/6 + 492/72 + -7?
True
Suppose -x - 2*x = 27. Let a(m) = -4*m + 8. Is a(x) a multiple of 11?
True
Let x(f) = -f**2 - 15*f + 48. Is x(-13) a multiple of 7?
False
Let b(y) = -52*y - 32. Is 8 a factor of b(-4)?
True
Suppose 0 = -10*a - 1207 - 7333. Let p = -560 - a. Is p a multiple of 14?
True
Is 7 a factor of 62 - (-6)/(11 + -5)?
True
Let v = -13 + 18. Suppose -4 = -b - 2. Suppose 0 = 3*a + b*a + 4*g - 325, -v*g - 130 = -2*a. Is 13 a factor of a?
True
Let a(d) = -d**3 + 5*d**2 + 3*d - 6. Let t be a(5). Suppose t*y = 6*y + 6. Suppose -b + 5*l + 62 = 0, -3*b + 256 = y*b + 2*l. Is 26 a factor of b?
True
Let i(v) = v**2 + 6*v + 3. Let y be i(-6). Suppose y*b - 2436 = -0*b. Does 10 divide b/16 + (-6)/8?
True
Suppose -5*g = -4*w + 685 + 1100, 0 = 5*w - g - 2226. Does 10 divide w?
False
Let d = 452 + -116. Is 48 a factor of d?
True
Suppose -w - 4*w + 160 = -d, 3*d - 15 = 0. Does 2 divide w?
False
Suppose 43856 + 9109 = 15*m. Is 33 a factor of m?
True
Suppose -12*w + 2*w = -4460. Does 10 divide w?
False
Is (-1)/(9/(-10584)*3) a multiple of 64?
False
Let u = -9 - -13. Let d be (-3)/5*(18/(-3) + 1). Suppose u*r - 196 = -3*o, d*o = -o. Does 25 divide r?
False
Suppose -5*v = -5*c + 4335, -7*c + 6*c = v - 861. Does 16 divide c?
True
Let u = -46 + 61. Let f(a) = a**3 - 13*a**2 - 25*a - 44. Is 8 a factor of f(u)?
False
Suppose c - 437 = -r, 4*c - r - 865 = 2*c. Is c a multiple of 14?
True
Let o(v) = v**3 + 9*v**2 - 11*v - 1. Let x(d) = -10*d**2 - d - 1. Let b be x(-1). Let n be o(b). Does 13 divide n/3 - (-28 - 4)?
False
Is 10 - (-10 + -379) - -3 a multiple of 33?
False
Suppose -63*x + 69796 + 16388 = 0. Is 6 a factor of x?
True
Let n(m) = m**3 - 11*m**2 - 10. Let c be n(11). Let l be c + 6 - (-6)/1. Suppose -o + 15 + 9 = 3*q, 5*o = -l*q + 107. Does 7 divide o?
True
Let o(u) = u**2 - 11*u + 16. Let y be o(10). Let a = y + -36. Does 2 divide (-3)/2*100/a?
False
Let k(v) = 23*v + 2. Let t = -1 + 12. Let l(h) = h**2 - 12*h + 12. Let a be l(t). Is 25 a factor of k(a)?
True
Let z = -761 + 1606. Is 17 a factor of z?
False
Let m be (120/(-100))/((-1)/(-55)). Let p = 3 - m. Does 22 divide p?
False
Let u be 3452/6 - -3*(-6)/(-27). Suppose -3*y - u = -5*d, 434 = 3*d + 4*y + 71. Does 17 divide d?
False
Suppose -5*s + 11*s - 96 = 0. Does 4 divide s?
True
Suppose -24 = -8*t - 0*t. Is 15 a factor of (-2)/t*(-6)/(-4)*-83?
False
Suppose -5*c = -c + 4*p - 1472, 5*c - 1872 = 3*p. Suppose 4*i - 5*m - 225 = 70, -5*i + 3*m = -c. Does 34 divide i?
False
Suppose -g = 4*v - 5*v - 343, 2*g - 696 = -3*v. Is 5 a factor of g?
True
Suppose 0 = -11*y + 16*y + 5, 4*j + 4*y = 456. Does 5 divide j?
True
Let w(j) = j**2 - 6*j + 1. Suppose -4*n + 4*d = 3 + 17, 3*n + 3*d + 3 = 0. Is w(n) a multiple of 7?
True
Suppose 6*j = 5*j + 32. Does 14 divide j?
False
Suppose -5*f - 5*a + a = -64, 2 = 2*a. Suppose 3*x = -3*x - f. Does 12 divide x - -44 - (2 + -2)?
False
Let b be (-465)/(-27) + (-4)/18. Suppose b = 4*y - 3*h, -y - 3*h - 1 = -2*h. Suppose -y*s + 108 + 30 = 0. Does 23 divide s?
True
Suppose -126 = 13*a - 4*a. Let l(m) = m**3 + 15*m**2 + 11*m + 23. Is l(a) a multiple of 13?
True
Let h = 21 + -35. Let j = -14 - h. Is 3 a factor of (-7 + 6)*(-3 - j)?
True
Let s = -48 - -81. Let u = s + 6. Is u a multiple of 24?
False
Suppose 40*h - 16913 - 5087 = 0. Is 110 a factor of h?
True
Suppose -7*b = 3*a - 5*b - 8, 5*a - 5*b - 55 = 0. Suppose 238 = -a*k + 772. Is k a multiple of 14?
False
Suppose -4*m - 7*a + 24 = -3*a, 2 = 2*m - 3*a. Suppose 0 = -f + r + 44 - 3, -4*r - m = 0. Is f a multiple of 10?
True
Suppose -5*h - 9 - 6 = 0, -4*f + 94 = 2*h. Suppose 561 = -f*g + 28*g. Is 44 a factor of g?
False
Let n(a) = -4*a**3 + 5*a - 16. Let r(h) = -5*h**3 + 6*h - 15. Let c(x) = -6*n(x) + 5*r(x). Is 6 a factor of c(0)?
False
Let y = -379 + 147. Let k = y - -328. Let i = -46 + k. Is 12 a factor of i?
False
Let p = 4 + -2. Suppose -96 = -p*b - 0*b. Let f = b + -4. Is f a multiple of 14?
False
Suppose 3*i - 2*g = 176, 2*i + 3*g = g + 134. Let t = 150 - i. Suppose 2*x = 24 + t. Is x a multiple of 12?
False
Let i(f) = f**3 - 9*f**2 + 22*f - 5. Let k be i(5). Suppose 728 = 4*t + 4*o, -k*t - 880 = -10*t + 5*o. Is t a multiple of 27?
False
Let w = -318 - -224. Let t = w - -170. Is t a multiple of 19?
True
Let n = -188 - -258. Is 17 a factor of n?
False
Let n = 530 - -100. Is n a multiple of 70?
True
Let f(y) = -y + 4. Let i(j) = -j + 5. Let a(z) = 6*f(z) - 5*i(z). Let b be a(-1). Suppose 0 = h - b*h - 20. Is h a multiple of 6?
False
Let n(z) = 63*z**2 + z + 9. Is n(-2) a multiple of 87?
False
Let w(j) = -j**2 + 5*j + 2. Let a be w(4). Is 17 a factor of -46*(a/8*-2 + 1)?
False
Let x(q) = -q**2 - 20*q - 18. Let t be x(-18). Let w = 123 + -69. Does 13 divide 500/t + 12/w?
False
Let p(d) = -d**2 + 9*d + 3. Let g be p(9). Let v be (-5 + -7)*(-10)/g. Suppose 0 = -f + v - 1. Is 13 a factor of f?
True
Let c(f) be the first derivative of f**4/4 - 2*f**3 - 4*f**2 - 4*f - 3. Is 15 a factor of c(8)?
True
Does 11 divide 187*1/(-14)*-14?
True
Suppose 0 = 4*v, -7*j + 9*j + v - 1524 = 0. Does 22 divide j?
False
Suppose 0 = -3*s - 2*p - 78, -4*p = 13*s - 10*s + 84. Suppose -5*i + 134 + 46 = 0. Let z = s + i. Is z a multiple of 12?
True
Suppose -25*k + 16*k = -81. Is k a multiple of 3?
True
Suppose -2*a - 2*m = -6566, 27*a + 3*m = 22*a + 16417. Is a a multiple of 13?
False
Let k be (4/4 + -1)*-1. Suppose k*r + 3*r - 6 = 0. Suppose 0 = -4*g, -g = c + r*g - 14. Is c a multiple of 7?
True
Let r be (-1)/3 + (-20)/(-6). Suppose 5*n - 30 = -r*t, -5*t + 32 = 5*n + 2. Is n a multiple of 6?
True
Let c(h) = -2*h**2 - 27*h + 18. Let x be c(-14). Suppose -433 + 1153 = x*o. Is 18 a factor of o?
True
Let i(t) = t**3 - 7*t**2 + 8*t - 9. Let h be i(6). Is 36 a factor of 1*h/(-6)*-76?
False
Let c be 10/45 + (-1664)/36. Let q be (-7 - c)*38/6. Suppose 5*g - q - 59 = h, -h + 128 = 2*g. Is 28 a factor of g?
False
Let g(y) = 2*y**2 - 20*y - 5. Let u be g(9). Let n = u - -59. Is n a multiple of 9?
True
Let n = 194 - 138. Suppose -w = -5*y + 70, 2*w + n = 4*y + w. Suppose 3*o = -y + 134. Is o a multiple of 10?
True
Let t = -14 - -18. Let b(v) = -7*v + 8*v - 29*v + t. Is 19 a factor of b(-4)?
False
Suppose -2*f = -u + 759, 5*f + 3024 = 3*u + u. Is u a multiple of 18?
False
Suppose 0 = 3*g - 21 - 33. Suppose 20*l = g*l + 12. Does 4 divide l?
False
Let c = -20 - -28. Let m be (11 - c) + 39 + 0. Suppose 2*d - m = -4*u, 0 = -u - 0*u + 4. Is d a multiple of 13?
True
Suppose -3*j + 105 = 5*a, 3*j - 14 = 3*a - 53. Let k = 18 + -39. Let x = a - k. Does 7 divide x?
False
Let s(h) = h + 18. Let f be s(-16). Suppose -f*b - 16 = -2*y - 7*b, -7 = -5*y + 4*b. Suppose -20 = -y*c + c. Is c a multiple of 3?
False
Let v = 133 + 20. Is v a multiple of 8?
False
Let v(n) be the first derivative of -2*n**2 - 6*n - 2. Does 11 divide v(-5)?
False
Let s(g) = -19*g - 23. Let h be -1 + 1*1/(-2)*8. Is 9 a factor of s(h)?
True
Let v = -5 - -8. Let a(p) = 4*p + 10. Is a(v) a multiple of 7?
False
Let p(w) = w**3 - 16*w**2 + 15*w + 4. Let a be p(15). Let y(f) = -2*f + 11. Let i be y(a). Suppose -2*d - 4*j = -24, -5*d + i*j = -0*j - 8. Does 3 divide d?
False
Suppose 34 = d - 3*c - 34, 5*d - 425 = -2*c. Suppose 4*n - 13 = d. Is (n/(-28))/(2/(-182)) a multiple of 17?
False
Let v(b) = 48*b**2. Let y be (22/(-66))/((-1)/3). Is v(y) a multiple of 19?
False
Let h(m) = -13*m - 1. Suppose -2*j + 5*d = 9, 7*d - 6 = 2*j + 3*d. Suppose -j*n + 2*n = -3*l - 9, 3*l - 2*n = -12. Is h(l) a multiple of 14?
False
Let c(u) = 7*u - 11. Let m be c(-7). Is -4 + ((-8)/(-4) - m) a multiple of 29?
True
Suppose -k - 3*l + 344 = 0, -999 = 10*k - 13*k + 2*l. Is k a multiple of 67?
True
Does 24 divide (-5420)/(-16) + 5/20?
False
Let s(d) = -2*d**3 - 6*d**2 - 3*d + 7. Let 