*h**2 + 39*h - 24. Is 15 a factor of l(k)?
True
Let h(l) = -l + 42. Let z be h(10). Is (-765)/2*z/(-40) a multiple of 25?
False
Let h(k) = 242*k**2 + 36*k - 189. Is 14 a factor of h(7)?
False
Let w be 2/((28/(-8) - -3)/(-1)). Suppose a = 3*q - 292, w*q = -5*a - q - 1540. Let k = -154 - a. Is 18 a factor of k?
False
Is (1 - 16) + 772380/180 a multiple of 4?
True
Suppose 2586 = y - 5*r, -3*y = 210*r - 215*r - 7768. Is y even?
False
Suppose -37584 + 2252 = -2*z + r, 5*z + 3*r - 88330 = 0. Does 22 divide z?
True
Let m = -649 + 2299. Suppose m = 11*i - 2904. Does 46 divide i?
True
Let o(q) = 362*q - 9 - 153*q - 186*q - 2*q**2 - 3*q**2 + 3*q**2. Let v be (-1 + 2)/(1/9). Does 9 divide o(v)?
True
Let j = -35 - -32. Let f be (-1)/j - (0 - (-1268)/(-12)). Let b = f - 49. Is 19 a factor of b?
True
Let z(m) = m**3 - 5*m - 4. Suppose 5*n + 4 = 6*n. Let b be z(n). Let v = b - -59. Is v a multiple of 33?
True
Suppose -n = -3*i + 113 - 43, -3*n = 3*i + 234. Let f = n + 31. Is (-65)/(-9) - (-10)/f a multiple of 7?
True
Let a = -2560 - -6057. Does 8 divide a?
False
Is 41 a factor of 14518 - (4/16 + ((-7)/(-4) - -2))?
True
Suppose 0 = 4*n - 4*r - 41 - 15, -58 = -4*n + 2*r. Suppose n*t - 4679 + 419 = 0. Suppose -4*w + v + t = 0, -4*w + 5*v + 47 = -253. Is 10 a factor of w?
True
Let o = 306 - 296. Let m(z) = -z**3 + 4*z**2 + 7*z - 7. Let g be m(5). Suppose -5*t + o*t - 77 = -j, 0 = g*t. Is 6 a factor of j?
False
Let k be (3 - 4)*4/(-6)*6. Let g be (-1 - 0) + -8*k/(-8). Suppose d - 39 = -g. Is d a multiple of 18?
True
Let n = -152 - -792. Suppose -5*b + 11*a = 8*a - 640, 5*b - n = a. Let w = b - 44. Does 12 divide w?
True
Does 10 divide ((-60)/(-35))/4 + (-38346)/(-49)?
False
Let n(k) = -3*k**3 - 25*k**2 - 4*k - 15. Let y be n(-10). Let l be ((-5)/15)/(2/(-12)). Suppose 7*x - l*x - y = -5*d, -4*d + 5*x + 420 = 0. Is 34 a factor of d?
False
Does 45 divide -690*3*(-12)/(11 - -1)?
True
Let n = 46 - 24. Let x(u) = -33 - u + n + 30. Does 7 divide x(5)?
True
Suppose 8*a = 114 + 110. Suppose 4*h = -4*g + 36, 5*g - 44 = 4*h + a. Suppose 0 = -g*f + 13*f - 23. Is 3 a factor of f?
False
Suppose -20*a + 873600 = 13*a + 15*a. Does 28 divide a?
True
Suppose 11518 + 16844 = 58*m. Is m even?
False
Let c(g) = -80*g**2 - 5. Let q be c(-4). Let t = 3499 + q. Suppose 7*i = t + 166. Is i a multiple of 34?
True
Suppose 242*x - 3003806 = 4350332. Is x a multiple of 23?
False
Let o be (1 + (-3 - -2))*-1. Suppose y - 6*y = -15, -r + 2*y + 98 = o. Is 13 a factor of r?
True
Let r(h) = 4*h - h**2 + 0*h + h + 7. Let g be r(7). Let d(c) = -4*c + 1. Is 29 a factor of d(g)?
True
Suppose -387*y + 3*i - 34855 = -391*y, 0 = -2*y + 5*i + 17447. Is y a multiple of 205?
False
Let r be -159*3/(-99) - (-2)/11. Suppose r*g - 51 - 404 = 0. Does 13 divide g?
True
Let m = 80452 + -50402. Does 10 divide m?
True
Suppose 0 = 19*g - 29*g. Suppose 285 = o + r - 4*r, g = 2*r - 8. Is o a multiple of 9?
True
Let a = 21508 - 20743. Does 9 divide a?
True
Let i(d) = -1306*d + 766. Is i(-22) a multiple of 301?
True
Let c(y) be the second derivative of -y**5/20 - 3*y**4/4 - 2*y**3/3 + y**2 - 2*y + 72. Does 12 divide c(-11)?
True
Suppose -28*v - 111*v + 32*v = -364014. Does 9 divide v?
True
Let p = -10690 - -17416. Is 57 a factor of p?
True
Suppose -5*t = -10, 5*t + 50 = 4*o - 56. Suppose 0*g = -o*g + 11136. Is g a multiple of 32?
True
Suppose -5*s + 8 - 8 = 0. Suppose g - 5*g + l + 4181 = s, l - 4179 = -4*g. Is 8 a factor of g?
False
Let s(v) = -11*v**3 + 53*v**2 + 45*v + 13. Let i = -72 - -81. Let b(o) = -5*o**3 + 26*o**2 + 23*o + 7. Let c(l) = i*b(l) - 4*s(l). Does 7 divide c(23)?
False
Suppose 4*a = -1564 + 1644. Is (-32)/(4*(-1)/a) a multiple of 10?
True
Suppose -2*b - 4*q + 56 = 0, 0 = -2*b + 4*q - 0*q + 16. Suppose -5*x + b = -397. Suppose 577 = 5*m - x. Does 22 divide m?
True
Let b = 6825 + -3652. Does 5 divide b?
False
Let j = 8 + -4. Suppose 4*h - 16 = -j*h. Suppose 3*u = 5*w + 590, -3*u = u - h*w - 782. Does 15 divide u?
True
Let k be 6*52/(-32)*(-4 - -464). Is (-5)/(-40) + k/(-24) a multiple of 11?
True
Let k(d) = d**2 - 5*d - 24. Let v = 152 - 138. Suppose -10*r + 8*r - v = 0. Is 4 a factor of k(r)?
True
Let q be 2/(-3) + (-7 - (-52)/6). Let t(j) = 2*j + 2. Let u be t(q). Suppose -462 = -5*c - 4*i + 18, 2*c = u*i + 220. Is c a multiple of 25?
True
Let w be 2134/(-6) + (-72)/216. Let s = -62 - w. Does 3 divide s?
True
Let u = 227 - 151. Let b be (-3)/1 - (784/(-8) + -7). Let q = b - u. Does 8 divide q?
False
Is 241 a factor of 27755722/2215 - 12/(-10)?
True
Let i = 25702 + -20092. Does 5 divide i?
True
Let v(j) = 42*j - 206. Is 8 a factor of v(7)?
True
Let a = -1128 - -5121. Is 7 a factor of a?
False
Suppose 3*z - 247 = 2*x, -3*x = -33*z + 34*z - 86. Suppose -k + 0*k = -4. Suppose 5*p - k*b - z = 107, 0 = b. Is p even?
True
Let t = 11 + -3. Suppose -t + 4 = 2*s. Does 22 divide (-8)/(s/(-1)) - -59?
False
Let w(y) = -19*y**2 + 124*y + 109*y - 264*y + 39 + y**3. Does 5 divide w(21)?
True
Let g = -246 - -246. Suppose g = -x - 0*f + 4*f + 314, -5*f = -3*x + 956. Does 46 divide x?
True
Does 55 divide (1/3)/(-3*((-1985448)/283635 + 7))?
True
Let n be 1788/18 + (-4)/3. Suppose n*v - 100*v + 708 = 0. Is v a multiple of 24?
False
Let j = 76 - 119. Let d = -19 - j. Is d*(-4 + 4/(-32)*-86) a multiple of 27?
True
Let y(r) = -r**2 - 12*r - 1. Let m be y(-6). Is 57 a factor of (42/m)/((-2)/(-380))?
True
Let o = -110967 - -157871. Is 27 a factor of o?
False
Suppose -d - 5766 - 5868 = -5*j, -2*j - 3*d = -4657. Does 13 divide j?
True
Let f = -32087 + 33487. Is 2 a factor of f?
True
Let i(d) = 18*d**2 + 7*d + 34. Let v be i(-6). Suppose -2*o + v = o - 5*r, 863 = 4*o + 3*r. Is o a multiple of 13?
False
Let i(j) = -8*j**2 + 31*j - 7. Let d(c) = -7*c**2 + 30*c - 6. Let q(z) = 7*d(z) - 6*i(z). Let b be (2 - 9)*(5 + -6)*3. Is 9 a factor of q(b)?
True
Let q(c) be the second derivative of -11*c**3/6 - 7*c**2 + 16*c. Let w be q(-8). Let i = -14 + w. Does 20 divide i?
True
Is ((-138)/(-9) - 3)/(22/81312) a multiple of 22?
True
Suppose -23 = -3*n - 8. Let b be 40/6*(-3)/(-2). Suppose b*h - 35 = n*h. Is 2 a factor of h?
False
Let a = -29 - -1131. Does 36 divide a?
False
Let h(b) = 2883*b**2 + 63*b - 6. Does 37 divide h(-3)?
True
Suppose 3*g + g = -4. Is g*(-6)/14 - (-6462)/14 a multiple of 9?
False
Is (-1*20)/(-4) + 14479 + -71 a multiple of 18?
False
Let n(d) = -353*d**3 + 4*d + 2. Let t = 120 - 121. Is 13 a factor of n(t)?
True
Is (-12 - (-832)/(-10))*-70 a multiple of 14?
True
Let d = -188 + 188. Suppose d = 5*y - 1517 - 73. Is y a multiple of 32?
False
Suppose 5*u + 46 = 2*g, -2*u + 5*u = 12. Let l = g + -30. Suppose 2*w + 2 = -l*c - 3, -2*c - 10 = 0. Is w a multiple of 2?
False
Let d be (-436)/(-4)*(7 + -3)/(-4). Let n = -101 - d. Is 8 a factor of n?
True
Let f be 947 + 0 + (0 - -3). Suppose 5*p - f = 25. Suppose p = 4*t - 33. Does 19 divide t?
True
Let h(t) = -t**3 - 6*t**2 + 3*t + 16. Let i be h(-6). Is i/(-4) - 49/(-14)*7 a multiple of 7?
False
Suppose -12 = -4*o, -4*f + f + 2*o = -3. Let a be ((-33)/66)/(-1)*(-732)/(-1). Suppose f*s = -3*x + a, 0*s - 113 = -s - 4*x. Does 7 divide s?
False
Suppose 0 = 7*j - 803 - 380. Let w be 2/6 - (-1020)/(-9). Let s = w + j. Is s a multiple of 4?
True
Let o(m) = -m**3 + m - 135. Let z be o(0). Suppose -2*f + 111 + 415 = 0. Let j = f + z. Is 16 a factor of j?
True
Suppose 2*v = 4*h + 6, -2*v - 17*h + 18*h + 9 = 0. Suppose -v*z = 3*o - 3540, 0*o - 5*o - 680 = -z. Does 15 divide z?
True
Suppose 4*w + 2*j = 42422, -2022*w + 4*j = -2024*w + 21184. Is w a multiple of 10?
True
Does 7 divide 3/6*(-5056)/(-1)?
False
Let p(k) = 183*k**2 - 3*k - 1. Does 16 divide p(-2)?
False
Let c be 2 + 1 + (0 - 3). Suppose 4*r - 12 = 4*d, r - 4 = 2*d - c*d. Suppose -2*h - t + 62 = -2*t, 0 = h + r*t - 36. Does 10 divide h?
False
Suppose 4*q = 23*q + 17632. Let r = q - -2151. Does 27 divide r?
False
Suppose -2*z = 2, -t + 6 = -3*z - 1. Suppose -t*i + 0*x - 3*x + 2252 = 0, 4*i - 2*x = 2272. Does 39 divide i?
False
Suppose -5*l = 4*t + 40177, -2*t + 0*t = -4*l + 20056. Is t/(-33) + (-100)/(-55) + -2 a multiple of 21?
False
Let b(n) = n**3 - n**2 - 12*n + 4. Let v be b(-3). Let u(t) = 27 - 5 + 432*t - 397*t. Is u(v) a multiple of 21?
False
Suppose -25595 = 14*a - 19*a. Suppose 1521 = 5*l - a. Suppose -l + 140 = -9*p. Do