ivide a(i)?
True
Let h(i) = -3*i**3 + 61*i**2 - i - 16. Does 76 divide h(12)?
True
Suppose -4*i + 18 + 63 = s, 43 = 2*i + s. Suppose 0 = a + c - 8, a + 5*c = i + 9. Suppose -4*k + a*l - 7*l + 528 = 0, -3*k + 4*l = -389. Does 35 divide k?
False
Let m be 2*(1 + 365/2). Let l = 697 - m. Is 24 a factor of l?
False
Suppose -170*d = -167*d - c - 45345, 3*d + 4*c - 45345 = 0. Is 7 a factor of d?
False
Let l(j) = j**3 - j + 3. Let t be l(0). Suppose -5*x = -t*r + 300, x = -2*x + 5*r - 164. Let u = x + 99. Does 12 divide u?
True
Let k(j) = -j**2 - 11*j - 25. Let a be k(-7). Suppose a*f = -3*c + 6, 2*f - 7*f - 2 = 3*c. Suppose c*s = s + 85. Does 3 divide s?
False
Let m(l) = -711*l**3 + 2*l**2 + 13*l + 25. Is 17 a factor of m(-2)?
True
Let x(s) = s**3 - 64*s**2 + 247*s + 120. Does 61 divide x(63)?
True
Is 20 a factor of (-5)/(50/(-2225)*(-1)/(-8))?
True
Does 13 divide 37/481 + (627470/13 - -2)?
True
Let b(q) = q**2 - 2*q - 13. Suppose 3*z - 66 = 4*a, z + 20 = -a - 0*a. Let r be -1*14*9/a. Is 3 a factor of b(r)?
False
Let r(m) = 61*m - 39. Let l(p) = 15*p - 10. Let k(u) = 18*l(u) - 4*r(u). Is k(5) a multiple of 4?
False
Suppose -40*f + 37*f + 579 = 0. Let l = -25 + f. Is ((l/15)/4)/(1/60) a multiple of 42?
True
Suppose 5*c - 8685 = -5*x, -5*c + 22*x + 8709 = 21*x. Suppose -10*j = -c + 501. Is 2 a factor of j?
True
Let d(q) = q**3 - 7*q**2 - 7*q + 20. Suppose 0 = 2*m - 0*m - y - 16, 5*m = 3*y + 40. Let j be d(m). Let w = 59 - j. Is w a multiple of 5?
False
Let f(q) = 28*q**2 - q. Let k be (3 + -4 + 25)*1/(-2). Let n be 6/k - (-1)/(-2). Does 23 divide f(n)?
False
Let s = -21 - -49. Let a = -25 + s. Suppose -5*c + a*w = -0*w - 366, -290 = -4*c + w. Does 15 divide c?
False
Let t = 30 - 21. Suppose 0 = -t*p + 701 + 1459. Suppose m = 0, 4*w - m + 3*m - p = 0. Does 45 divide w?
False
Let j = 376 + -372. Suppose 6*u - 5*u + 130 = 2*s, -j*s + u = -258. Is 7 a factor of s?
False
Let x(v) = 641*v - 793. Is x(8) a multiple of 51?
True
Suppose -3*q - 85000 = 4*q - 24*q. Is q a multiple of 40?
True
Suppose 2*p = 4*a - 1376, 276 = 3*a + 2*p - 770. Suppose -933*b + 932*b = -a. Is b a multiple of 23?
False
Suppose -6*m + 49016 = 5*m. Suppose -2*a = -4*k + m, -9*k = -6*k + 4*a - 3353. Does 49 divide k?
False
Suppose 2*y = 5*m - 1135, -3*y - y - 20 = 0. Suppose -r - m = -524. Is 23 a factor of r?
True
Let y be ((-6)/(-21) - (-21600)/56) + 4. Suppose 33*n = 46*n - y. Is 6 a factor of n?
True
Suppose 0 = 3*s - 38 + 32, -3*l - 4*s + 44534 = 0. Does 11 divide l?
False
Is 11 a factor of (-7 + 20/2)/((-6)/(-6094))?
True
Suppose -17*u + 1697 = -6*u - 3671. Does 61 divide u?
True
Suppose -4*p + 4*i + 13764 = 0, -5*p + 14*i - 12*i + 17202 = 0. Does 43 divide p?
True
Suppose -u = -3*z - 11817, -5*z - 2384 = -5*u + 56701. Is u a multiple of 13?
True
Let l be -66 + (4 + (-7 - -5))*-1. Let v = -63 - l. Is v a multiple of 4?
False
Suppose 0 = -62*d + 273866 + 182950. Is d a multiple of 21?
False
Let h = 340 + -346. Let w(n) = 12 - 4*n + 3*n + 0*n. Does 6 divide w(h)?
True
Let d(s) = -s**2 - 66*s - 135. Is 15 a factor of d(-60)?
True
Suppose -52440 = -5*a + 4*q, 11680 = 4*a - q - 30272. Does 92 divide a?
True
Is (-1)/2 + 61399/26 + -13 a multiple of 69?
False
Is 10/20*((-16368)/28 + 0)*-42 a multiple of 18?
True
Let u(o) = o**2 + 6*o + 4. Let x be u(-4). Let c(g) = -g**3 + 4*g**2 - 3*g + 10. Let z be c(4). Is 5 a factor of (z - (-12)/x) + 10?
True
Let j(h) be the third derivative of 17*h**4/8 - 131*h**3/6 + 273*h**2. Is j(10) a multiple of 19?
False
Let s(j) = j**3 + 2*j - 22. Let q be s(5). Suppose -487 = -6*y + q. Is y a multiple of 6?
False
Suppose -3*m + 3*i + 87 = -12, 4*m + 4*i = 92. Let h = 45 - m. Suppose -h*l + 23*l - 42 = 0. Is l a multiple of 7?
True
Let r(g) = g**3 + 15*g**2 + 14*g + 3. Let b be r(-14). Suppose -3*p - 169 = -5*q, -3*q - b*p + 5*p + 102 = 0. Is 32 a factor of q?
True
Suppose 0 = -4*k - b + 1741, 4*k - 12*b + 14*b = 1742. Suppose 1839 = 6*m - k. Does 11 divide m?
False
Let g = -3104 + 5467. Is g a multiple of 10?
False
Let u = -1947 - -3579. Suppose 9*d - u = 6*d. Is 1/(2/(-2) - d/(-527)) a multiple of 5?
False
Let b be 79/(-3)*(6 + (6 - 6)). Let r = -486 - -252. Let q = b - r. Is 24 a factor of q?
False
Let k(q) = -30*q - 461. Does 53 divide k(-43)?
False
Let f(m) = -2*m**3 + 20*m**2 + 137*m + 35. Is f(-21) a multiple of 175?
True
Suppose 5*h + 216 - 216 = 0. Is 796/3*(h/(-1) - -3) a multiple of 39?
False
Let l = 38 - 31. Suppose l*g - 6*g - 25 = 0. Suppose 4*j = 3*t + 2*t - g, 70 = 5*t + 5*j. Is t a multiple of 3?
True
Is 48 a factor of 13 + 19045 + (-6 - -4)?
True
Let a(q) = 9*q**2 + 11*q - 6. Let g be a(-6). Let b = g + -156. Suppose 6*x - b = 1344. Is 40 a factor of x?
True
Let n = 346 + -376. Is 39 a factor of (54/n)/(9/(-390))?
True
Let s(p) = p**2 + 6*p - 13. Let u(x) = -5*x**2 - 31*x + 66. Let a(f) = 11*s(f) + 2*u(f). Let i = -2888 - -2878. Is 5 a factor of a(i)?
False
Let d be (60/(-21))/(14/(-49)). Suppose -d*r - 15309 = -37*r. Is r a multiple of 33?
False
Suppose -957178 = -120*z + 1205102. Is 10 a factor of z?
False
Let p(w) = -88*w**2 - 3*w + 1. Let y be p(2). Suppose -95*c + o = -90*c + 681, -399 = 3*c - 3*o. Let z = c - y. Is z a multiple of 26?
False
Is 16 a factor of (242272/565)/((-4)/(-210))?
True
Let y(q) be the third derivative of 7*q**5/60 + 13*q**4/24 - 7*q**3/2 + 20*q**2 + q. Is 51 a factor of y(9)?
True
Suppose 0 = -3*h - 9 - 3, -4*h - 13 = 3*k. Let j(y) = 47*y**2 + 4*y - 3. Is 6 a factor of j(k)?
True
Let l = 410 + 98. Suppose -4*f + 3*f + 2*y = -l, -506 = -f + y. Is 28 a factor of f?
True
Let d = 1237 + 609. Is 3 a factor of d?
False
Suppose 4*l + n = 86, -5*l - n + 112 = -2*n. Suppose 4*s = -l + 2830. Is 13 a factor of s?
True
Let l be ((-1350)/(-20))/(2 - (-6)/(-4)). Suppose 5*t - w - l = -51, 0 = -2*t - 2*w + 24. Suppose -t*i + 17*i = 96. Is i a multiple of 16?
True
Let r(d) = d**3 + 6*d**2 - 3*d - 18. Let v be r(-6). Suppose v = 2*b, -3*z + 182 = 4*b - 919. Let h = 539 - z. Is h a multiple of 48?
False
Let w(u) = 3138*u - 959. Is w(4) a multiple of 4?
False
Let f = 541 - 1273. Let b = -357 - f. Is b a multiple of 5?
True
Suppose 2*d = -2*b - 2*d + 312, 0 = 2*d - 6. Let p be (0/((-4)/2))/(-2 + 0). Suppose p*w = -w + b. Is 30 a factor of w?
True
Suppose 7 = 5*s - 2*x - 4, 4*x = -2*s + 14. Suppose s*j + 0*j - 2079 = 0. Does 11 divide j?
True
Let m(y) = 65*y**2 + 17*y - 151. Does 9 divide m(-6)?
False
Does 17 divide (1 + 0)*(-154734)/(-18)*3?
True
Let c(h) = 18 - 5 - 41 + 44*h + 97*h. Is 14 a factor of c(7)?
False
Let m be 14/8*(-47 - 25). Does 12 divide (86/4)/(1001/m + 8)?
False
Suppose -6*w + w - 40 = 0. Let v be (-36)/w*(3 + -2 + 3). Is 22 a factor of (698/v + (-14)/(-63))/1?
False
Suppose -2443 = -h - 3*i, -5*h + 5*i = -6612 - 5563. Let v = h + -1631. Suppose -3*o + 0*o = -9, -4*y + 2*o = -v. Does 29 divide y?
True
Suppose -7*h = -230 - 106. Suppose h*g - 6178 = 5150. Is 12 a factor of g?
False
Let w be (1 - -77)*(-39)/(-26). Suppose 3*d + 256 = -d. Let l = d + w. Is l a multiple of 31?
False
Let o be (1045 - -4) + -1 + -5. Suppose 0 = 10*h - o + 53. Is h a multiple of 26?
False
Suppose -74 = -3*d - 53, -2*d + 29070 = b. Is 16 a factor of b?
True
Suppose -18*g - 603288 = -186*g. Is 21 a factor of g?
True
Let g(i) = -i**3 + 7*i**2 - 4*i. Let t(h) = h**3 + 2*h**2 + 6. Let p be t(0). Is g(p) a multiple of 6?
True
Suppose 9*x + 98 - 26 = 0. Let n be (x/(-4) - -2)*262 - 1. Suppose -p - p - 216 = -r, -5*r - p = -n. Does 42 divide r?
True
Suppose -5*p + 357 = -4*m + 1080, 4*m + 3*p - 763 = 0. Suppose g + 5*c - m = 244, 4*g + 2*c = 1760. Does 49 divide g?
True
Let g be 0*(-3 + 2) + 12. Suppose 0 = 4*i - g. Suppose 3*a + 45 = z, 4*z + 0*z + i*a - 135 = 0. Is 9 a factor of z?
True
Let z(p) = 2*p**2 - 27*p - 10. Let j be z(13). Let m(i) = -i**2 - 33*i + 40. Does 21 divide m(j)?
False
Let m = 45 - 43. Does 15 divide m/10 - 8588/(-10)?
False
Suppose 43 = 3*b + 745. Let q = -159 - b. Let z = 41 + q. Does 29 divide z?
True
Suppose -4*y - 80 = 32. Let n = -53 - y. Let o = n + 165. Does 35 divide o?
True
Does 2 divide (34/8)/((-41)/(-1476))?
False
Suppose -42*c + 861 = -c. Suppose -305 + 2972 = c*h. Is h a multiple of 64?
False
Suppose -c + 2 = -1. Let u = -322 + 338. Suppose c*a = 5*a - u. Does 3 divide a?
False
Let n be (16/(-6))/((-7)/(-4