7*h**2 - 176*h - 42. Does 79 divide l(-13)?
False
Let d = -115 - 75. Let k = d - -217. Is k a multiple of 13?
False
Let v(w) = -113*w**3 - 211*w**2 - 10*w - 9. Is v(-4) even?
False
Let t = -519 + 545. Suppose r + 27600 = t*r. Is r a multiple of 24?
True
Let h(t) = -t**2 - 19*t - 62. Let s be h(-15). Is 90*((-15)/45)/(s/6) a multiple of 30?
True
Does 10 divide -636*(-672)/315*5?
False
Let y = 225 + -220. Suppose -5*f + 312 = -3*m, -f - y*m + 160 = 2*f. Does 10 divide f?
True
Let r(s) = -14*s**2 + 7*s + 1. Let o(g) = 31*g**2 - 15*g - 2. Let v(t) = 6*o(t) + 13*r(t). Let y = -8 + 12. Does 9 divide v(y)?
False
Let s(l) = -9*l**2 - 24 - 10 + 4*l + 52 + 5*l - 10*l**2 - 2*l**3. Does 28 divide s(-10)?
True
Suppose 208*p = 210*p - 4798. Is 5 a factor of p?
False
Suppose -5*c = -4*t + 13083, t - 221*c + 224*c = 3292. Does 113 divide t?
True
Let g = 159 - -88. Suppose -g - 1898 = -5*m. Does 33 divide m?
True
Let r(a) = 30*a**2 + 2*a - 3. Let i be 40/(-4)*(3 + 7/(-2)). Suppose -i*s = 2*v + 3 - 2, 5*s = -v - 3. Is 27 a factor of r(v)?
False
Let g(n) = -n**2 + 77*n - 1463. Let k be g(43). Let j be 6*(9/2 - -2). Is 18 a factor of 117/j + k/((-2)/108)?
False
Let g(d) be the first derivative of d**3/3 + 31*d**2/2 + 108*d + 199. Does 27 divide g(0)?
True
Let j(h) be the first derivative of 2*h**3/3 + 11*h**2/2 - 3*h - 18. Is 6 a factor of j(-7)?
True
Is ((-270)/189)/(5/(-61894)) a multiple of 83?
False
Let m(y) = -y**3 + 3*y**2 + 19*y - 2. Let w be m(6). Suppose -4*c - 3*j - 502 = -2672, -3*c - w*j = -1631. Does 41 divide c?
False
Suppose 0 = -5*m - 2 + 37. Let l(r) = -7 - 2 + 4 + m*r - 5. Is l(6) a multiple of 16?
True
Suppose -3*k - 59*u + 61*u + 6016 = 0, 15 = -3*u. Is k a multiple of 13?
True
Suppose -35456 = -4*j + 3*a, j + 5*a = 13455 - 4591. Is 16 a factor of j?
True
Suppose 46 - 74 = -28*s. Does 31 divide (22320/900)/((-83)/85 + s)?
True
Let g = 93 + -120. Let v(b) = -b**2 - 27*b + 2. Is v(g) a multiple of 2?
True
Let k be ((-14)/14)/((-1)/(-3)). Is 70 a factor of (-53 + k)*120/(-32)?
True
Let r be 6*(-1 + 34/4). Suppose 0 = -5*q + h - 47, 0 = 5*q - 4*h + r + 8. Let x(l) = -8*l - 30. Is x(q) a multiple of 6?
True
Suppose 3*q - 86572 = -w + 7803, 5*q - 5*w - 157305 = 0. Is q a multiple of 19?
False
Let o = 14590 + -9439. Does 89 divide o?
False
Is 115 a factor of 4574 + -75 - (-45)/(-3)?
False
Let d = 98 - 82. Suppose -d*n = 167 + 1337. Let l = 104 + n. Is 3 a factor of l?
False
Let m(b) = -23*b + 198. Let u(w) = -49*w + 396. Let d(f) = -5*m(f) + 2*u(f). Is d(18) a multiple of 9?
True
Let b = -51538 - -78503. Is b a multiple of 30?
False
Suppose -4*s + c + 3645 = 973, -2*c = 5*s - 3353. Let h = 873 - s. Is 17 a factor of h?
True
Suppose 3*c = 4*c + 10. Let k = -3002 - -5624. Is 9 a factor of k/95 + (-4)/c?
False
Let n be 44/10*(-12 - -2). Let m = 73 + n. Suppose 3*q + m = 71. Is q a multiple of 7?
True
Let l(s) = s - 57. Let m(c) = -14. Let h(z) = -2*l(z) + 9*m(z). Is 3 a factor of h(-11)?
False
Let w be 0 + 3 - (11 + -6 + -215). Let h = w + -133. Is h a multiple of 60?
False
Let m be 0 - -3*(-4 + 3). Let p(o) = -3*o - 2. Let k be p(m). Suppose -x + k*x - 216 = 0. Is 18 a factor of x?
True
Let m = -4284 + 5784. Is m a multiple of 125?
True
Let u = -90 - -103. Let p = u + 101. Is 11 a factor of p?
False
Let t be (-3 + 7)*2/((-8)/(-74)). Suppose r + t - 120 = 0. Is 6 a factor of r?
False
Suppose 2*s = -0*s - 5*p - 80, 5*s = -5*p - 230. Let l be 9372/187 + 5/((-255)/6) + 6. Let f = l + s. Is 6 a factor of f?
True
Suppose 0 = -4*f - 50 + 70. Suppose 0 = 2*r + x - 260, f*r + 3*x + 304 - 954 = 0. Is r a multiple of 2?
True
Is ((-25034)/8)/(55/4 + -14) a multiple of 12?
False
Does 69 divide (((-9002)/3)/14)/((-1)/39)?
False
Let k(i) = 179*i**3 - 92*i**2 + 715*i - 19. Does 41 divide k(7)?
False
Let q = -6391 + 12276. Does 5 divide q?
True
Let r be (-22)/55 - ((-2)/5 + 0). Suppose r = -13*c - 97 + 1241. Is c a multiple of 3?
False
Suppose -p - 3*o = -3329, -3*p + 17*o - 13*o = -10026. Does 23 divide p?
False
Let o be 1/((-3)/(-12))*(-19573)/(-37). Suppose 2511 = 7*n - o. Is 11 a factor of n?
False
Let w(u) be the first derivative of -4*u**2 + 18*u - 1. Suppose 11*b + 542 = -39*b + 92. Is w(b) a multiple of 6?
True
Let n = -751 + 768. Let c(o) = 5*o - 68. Is c(n) even?
False
Suppose -4*x - 4*k - 948 = 0, 3*x - 939 = 7*x + k. Let h = 426 + x. Does 24 divide h?
True
Let s = -738 + 1307. Let i = 1252 - s. Is i a multiple of 19?
False
Let j(i) = -i**3 + 50*i**2 - 94*i + 349. Is j(31) a multiple of 38?
True
Let d(w) = 957*w + 30. Let t(j) = j**3 + 3*j**2 - 11*j - 31. Let u be t(-3). Is d(u) a multiple of 18?
True
Does 16 divide 11452/1636 - (78480/(-2) + -1)?
True
Suppose 0 = 7*x - 2*x - 15. Let h be 4 + (3 - x) + -1. Suppose -3*t + h*z = -2*t - 202, -392 = -2*t + 2*z. Is t a multiple of 45?
False
Let j = -294 - -302. Let u(n) = 23*n**2 + 21*n - 106. Does 13 divide u(j)?
True
Suppose 37*c - 272327 = -81110 + 255151. Is 54 a factor of c?
False
Does 41 divide (6 - -2) + 12428 + (-4 - 17 - -8)?
True
Suppose 23920 = 2*j + p, 205*j - 2*p = 207*j - 23920. Is j a multiple of 10?
True
Let q = -722 + 722. Is 7 + 693/7 + 0 + q a multiple of 13?
False
Suppose 59 = 9*t + 230. Let w be (2/(4/t))/(2/304). Does 22 divide (-4)/18 + w/(-18)?
False
Let c(j) = 72*j - 146*j + 86*j - 43. Let z be c(6). Suppose 0 = 2*o - 3*r - 47, 5*o - 83 = 2*r + z. Does 11 divide o?
True
Let v = -42 + 46. Suppose 3*r = -3*k + 2*k, 5*k = v*r. Suppose k = 5*z - 20 - 140. Does 10 divide z?
False
Suppose -k + 2*n = -4907, -3*k + 14717 = -403*n + 398*n. Does 71 divide k?
True
Let q = 125592 + -75398. Does 91 divide q?
False
Let d(m) = 18*m. Let x be d(1). Let r be (-85)/(-255) + 329/3. Let a = x + r. Is a a multiple of 8?
True
Suppose -4*o + 6130 = 6*o. Let y = -341 + o. Is y a multiple of 8?
True
Let o(p) = -2*p**3 - 130*p**2 + 120*p**2 + p**3. Let c be o(-10). Let i(k) = -2*k**2 + 2*k + 356. Does 60 divide i(c)?
False
Suppose -36*f - 7 = -29*f. Let j be (-6)/f + -2 + -87. Let a = j + 181. Is 14 a factor of a?
True
Suppose 4*r = -4*j + 700, -8*j = 5*r - 9*j - 887. Suppose 2*l = r - 7. Does 5 divide l?
True
Let m(g) = -5*g**3 + 5*g**2 + 16*g - 26. Let x(p) = -11*p**3 + 12*p**2 + 33*p - 52. Let u(q) = -5*m(q) + 2*x(q). Is u(5) a multiple of 17?
True
Let a(z) = z**2 + 1. Let b be a(1). Suppose -14*l = -2*c - 13*l + 46, l - 42 = -b*c. Is 3 a factor of c?
False
Let x(i) = 6*i**2 + i**3 - 4 + 0*i**3 - 6*i**3 + 4*i**3. Let r be x(6). Does 12 divide (r + 2 - -4)*12?
True
Let n be (1 + -1)*(1 + -6 + 4). Suppose -4*m - 4*b + 36 = 0, -5*m = 3*b - n - 35. Suppose m*f - 315 - 125 = 0. Is f a multiple of 7?
False
Let x be (15*6/27)/(2/12). Suppose -x*h = 2170 - 6590. Is 5 a factor of h?
False
Suppose -5*z + 6*z - 2 = 0. Let v be (-310)/(-50) - z/10. Is (-11)/((-33)/(-9))*(-116)/v a multiple of 9?
False
Let v = 228 + -173. Does 25 divide 2298/66 - (-10)/v?
False
Suppose -5*v - 14*v - 57 = 0. Let g(a) = -12*a**3 + a**2 + 3*a - 9. Is g(v) a multiple of 34?
False
Let o = -150 - -271. Suppose u - o = 4*n, -6*u + 2*u + 2*n + 414 = 0. Suppose u*b + 156 = 102*b. Is b a multiple of 12?
True
Does 57 divide 22 - (15118/(-2) - 4)?
False
Let j be 2 + 13/5 - (-74)/185. Suppose 4*k - 926 = -2*l, 0 = 41*k - 43*k + j*l + 493. Does 18 divide k?
True
Suppose -2*k = 2*o - 22, 2*o - 18 = -0*o + 2*k. Let t = o + -10. Suppose 230 = 2*w - t*w. Is 23 a factor of w?
True
Let x be (-48)/(-20) + 6/10. Suppose 4*s + 0*s = k - 12, x*k - 3*s = 18. Let p(j) = -2*j + 27. Is 3 a factor of p(k)?
False
Let f(z) = 10*z**3 + 2*z**2 - 6*z + 2. Suppose -6*r - 12 = -8*r + 4*c, 5*c = -3*r - 4. Is f(r) a multiple of 7?
False
Suppose 21*u - 65424 - 20552 - 4765 = 0. Does 8 divide u?
False
Let h = 232 - 247. Let n(o) = o**3 + 13*o**2 - 46*o - 30. Is n(h) a multiple of 35?
True
Let k(b) = b**2 + 3*b + 10. Let g be ((-15)/(-9))/5*-6. Let x be 20/8*-2 + g. Is 19 a factor of k(x)?
True
Let c(h) be the first derivative of h**2 + 6*h + 48. Suppose 3 = 2*u - 3. Is 3 a factor of c(u)?
True
Let b = 89 - 85. Suppose 2*q - 7*q + 25 = 0, 2*c - b*q - 328 = 0. Is 27 a factor of c?
False
Let h(j) = -44*j + 22. Let m(f) = -86*f + 45. Let b(c) = -5*h(c) + 3*m(c). Does 33 divide b(-9)?
False
Let o be (189/36)/((-3)/(-204)). Suppose w - o = -f + 2*f, 3*w = 5*f + 1065. Does 10 divid