divide (a - (-4 + -2))*7?
True
Let c be (0 - -5)/((-814)/(-136) - 6). Let b = 400 + c. Does 6 divide b?
True
Let f(u) = -106*u**3 + 6*u + 5. Let m be f(-1). Let i = -94 + m. Suppose 27*n = i*n + 480. Does 10 divide n?
True
Is 40 a factor of 1/14 - 65899822/(-1204) - (-2)/(-14)?
False
Suppose 8947 = 6*b - 4006 + 1871. Is 5 a factor of b?
False
Suppose 92*p = 25*p + 136653 + 46123. Is p a multiple of 62?
True
Suppose 2*o = q - 1824, -14*q + 16*q - 5*o - 3648 = 0. Is 16 a factor of q?
True
Let p be (-1 - (-33)/5)/(6/30). Let s be -1 - ((-2)/(1 + -3) - p). Suppose -r = -4*k - 26, 0 = 2*r - k + 9 - s. Does 2 divide r?
True
Let o(g) = 8*g**2 - g - 1. Let x be o(-1). Let p(b) be the first derivative of 5*b**2/2 + 11*b + 604. Is 10 a factor of p(x)?
False
Let r(v) = 88*v + 5. Let d = 187 - 178. Is r(d) a multiple of 12?
False
Let q be -37 - -6*(-1)/2. Is (-24)/(((-78)/q)/(-13)) a multiple of 32?
True
Let d be -6*(21/(-6) + 2). Suppose 11*h - 10*h - 5*o = d, 2*h + 27 = -5*o. Is h/14 + (-3051)/(-63) a multiple of 8?
True
Let v = 416 - 437. Is (-156 + 0 + 2)/(v - -20) a multiple of 77?
True
Suppose 35*x - 15*x - 14290 = 8210. Does 8 divide x?
False
Let k(z) = -3*z + 8. Let u(w) = w - 1. Let m(l) = -k(l) - 2*u(l). Let g be m(0). Does 3 divide (-4)/6 - 34/g?
False
Let s(p) = -6*p + 2. Let u be s(19). Let w = 312 + u. Is (-18)/(-5)*w/60 a multiple of 2?
True
Let s(n) be the second derivative of n**5/12 - n**4/4 - 2*n**3/3 - 3*n**2/2 - 8*n. Let m(g) be the first derivative of s(g). Is 35 a factor of m(6)?
True
Let y be (-47)/(-7) - 24/(-84). Suppose -y*d + 3*d = 616. Let k = -110 - d. Does 8 divide k?
False
Let k = 278 - 266. Suppose k*a = 3185 + 3943. Is 9 a factor of a?
True
Let t(s) = 7*s**2 - 7*s - 586. Is 27 a factor of t(-28)?
False
Let a(z) = -68*z - 1 + 95*z + 13*z + 91*z. Let f be a(1). Is f/5 + 3 - 0 a multiple of 10?
False
Suppose -33252 = -f + j, -f - 5*j - 12596 + 45848 = 0. Does 34 divide f?
True
Let l = 398 - 424. Is 604 - (46/(-299) + (-4)/l) a multiple of 31?
False
Let v(x) = x**3 + 7*x**2 + 2*x - 16. Let t(m) = m - 14. Let j be t(17). Suppose k - 19 = -5*z, 2*k + 3*z = -k - j. Does 8 divide v(k)?
True
Let i(a) = 9738*a + 474. Is i(4) a multiple of 23?
False
Let q = -36 + 42. Suppose -13*f + 10*f = q. Does 31 divide (-2)/(f*(-1)/(-124))?
True
Suppose -253*d - 5*l - 56152 = -257*d, -5*d + 70224 = -2*l. Is 41 a factor of d?
False
Let g = 12 - 89. Let c = -986 - -849. Let z = g - c. Is z a multiple of 20?
True
Let c be ((-4)/(-6))/(-7 + (-585)/(-81)). Suppose 0 = c*t - 2*z - 464, -3*z + 4*z - 314 = -2*t. Does 13 divide t?
True
Let g = 28 + 17. Let k be (-2)/(1/(-5) - (-19)/g). Is 41 a factor of (-982)/(-6) - 3/k?
True
Suppose 11*j - 596 = 2715. Is 43 a factor of j?
True
Suppose -3*d - 39 = -3*a, -3*d - 19 = 2*a - 3*a. Suppose 4*w - a*w = -1158. Suppose -w = -75*q + 74*q. Is q a multiple of 37?
False
Suppose -3*j = 0, 0 = 3*l - 3*j - 0*j - 9. Suppose l*d = 6*d - 9. Suppose 5*y - d*y = 32. Is y a multiple of 3?
False
Suppose 9*b - 119 = -38. Does 15 divide b/135*-12*150/(-4)?
True
Suppose -z = -3*z + 16. Let p = z - 6. Let i(m) = 13*m**2 - 5*m + 5. Is i(p) a multiple of 10?
False
Suppose 5 = -2*o + 4*n - 19, -5*o + 3*n - 25 = 0. Is 38 a factor of ((-114)/5)/o*10?
True
Let l = -543 - -555. Suppose l = -2*y + 222. Is y even?
False
Suppose -9*f = 4*j - 4*f - 74, 3*f = -4*j + 78. Is (2 + (-64)/6)/((-1)/j) a multiple of 14?
True
Suppose 4*q = 1856 - 1020. Is q a multiple of 19?
True
Suppose 0 = 5*d - d + 776. Let l = 1700 - 1804. Let y = l - d. Does 15 divide y?
True
Let t(o) = o**3 + 19*o**2 + 11*o + 29. Suppose 106 - 362 = 16*h. Does 27 divide t(h)?
True
Suppose 0 = -17*y - 19364 + 62000. Is y a multiple of 19?
True
Let k(a) = -1145*a - 8944. Is 13 a factor of k(-13)?
True
Suppose -881 = 30*y + 679. Does 6 divide (y + -4)/(-4 + 2)?
False
Let p be (-9 + 8 - 1)/((-4)/6). Suppose -199 + 52 = p*u. Let l = 199 + u. Is l a multiple of 50?
True
Let n = 65 - 16. Let q = 54 - n. Suppose -2*s + 880 = 5*d, q*d - s + 161 = 1056. Is d a multiple of 22?
False
Is (-2 - (-5)/10 - -29)*712/10 a multiple of 2?
True
Is 0 + 636472/36 + 3/(-108)*-8 a multiple of 85?
True
Let s be 0/(-1 + 5 - 5). Let j(n) = n**3 - 2*n**2 + 2*n + 343. Let y be j(0). Suppose -3*h + s - 467 = -4*q, y = 3*q + 5*h. Does 29 divide q?
True
Suppose -4*c + 3*k + 39130 = 0, 580*k - 584*k = -24. Is c a multiple of 9?
False
Suppose -168442 = -132*t - 2122. Is 10 a factor of t?
True
Does 14 divide -1*(-11 - 100/(-10)) + 4290?
False
Is (-9)/(630/(-20))*((-2883)/(-6) + -1) a multiple of 4?
False
Let z(w) be the third derivative of -w**8/20160 - w**7/180 - 11*w**6/360 + w**5/20 + 22*w**2. Let g(q) be the third derivative of z(q). Does 25 divide g(-21)?
True
Suppose h = -2 + 4. Let w be (h/4)/((-17)/1326)*-1. Suppose -w = -41*o + 40*o. Is 13 a factor of o?
True
Let l(p) be the first derivative of p**3/3 + 17*p**2/2 + 31*p - 44. Let m be ((-28)/8 + 4)/((-1)/40). Is l(m) a multiple of 21?
False
Let g(a) = 3*a**2 + 321*a + 5202. Is g(-129) a multiple of 2?
True
Let s(o) = 84*o**3 + 6*o**2 - 15*o + 22. Is 11 a factor of s(4)?
True
Does 10 divide (-115953)/(-75) + (-31)/775?
False
Let j(w) = -w**3 + w**2 + w + 204. Let b = -45 - -48. Suppose -5*x = -2*g - 15, 2*x - 3 = b*g + 3. Is 11 a factor of j(g)?
False
Suppose -18 = -4*i - 2*g, -2*g = -4*i + 2 - 4. Let c = 5108 + -4980. Suppose 0 = 3*a + t - c, i*a + t - 5*t = 90. Is a a multiple of 30?
False
Let l(p) = p**3 - 5*p**2 - 2*p + 12. Let j be l(5). Let y(v) = 448*v + 4. Is 18 a factor of y(j)?
True
Let r(q) = -q**2 - 18*q - 77. Let a be r(-10). Suppose 37 - 97 = -a*d. Does 10 divide d?
True
Let i = -35 + -1. Let k = i + 40. Suppose -d + 2*t - 1 = 0, -3*t - 16 = -k*d - 0*d. Is 3 a factor of d?
False
Let o(m) = -m - 1. Let y be o(-4). Let h be y/(27/30)*(2 + -5). Let i = 105 + h. Is i a multiple of 20?
False
Let n(m) = 35*m + 59. Let l be n(8). Let o = 494 - l. Does 4 divide o?
False
Let n = 16 - 10. Let k(v) = -4*v + 3*v**2 + 2*v - 20 + 3*v - 2*v + 4*v. Is k(n) a multiple of 33?
False
Let j(u) = 2*u**3 - 331*u**2 - 76*u - 1206. Is 14 a factor of j(166)?
True
Suppose -3945*m = -3942*m - 63756. Is m a multiple of 132?
True
Suppose 0 = 5*n + 2*o - 23, 2*o = 3*n - n + 2. Suppose 6*t - n*t = 6. Suppose -2*h + a + 4 = 0, -5*h - 4*a = -t*a - 10. Is h even?
True
Suppose -r + 6*r + 175 = 0. Let v = r + 37. Suppose v*h + b = 105, -b = 2*h - 4*b - 117. Is 18 a factor of h?
True
Suppose 65 = 4*q - 119. Let u = 54 - q. Does 2 divide (u/(-3))/(32/(-48))?
True
Does 25 divide 12080*1 - ((27 - 46) + 24)?
True
Let b be (49/14)/7 + 63/14. Suppose 5*j - 2*k = -k + 151, -4*j + 124 = -4*k. Suppose -a = -3*l - 15, b*a - 28 = -2*l + j. Is a a multiple of 2?
True
Let g be 6/(1 - (2 + 0)). Let h(c) be the third derivative of -c**5/60 - 5*c**4/8 + 7*c**3/3 + 311*c**2. Does 8 divide h(g)?
False
Let y(w) = 4*w**3 + 2*w - 1. Let p be y(1). Suppose -20*i + p*i + 570 = 0. Is 19 a factor of i?
True
Is (-26)/(-6) + 170/102 - -494 a multiple of 5?
True
Suppose 5*k = 2*f + 2758, 119 - 115 = 4*f. Is 12 a factor of k?
True
Suppose 20*u = 306 + 894. Suppose 12*w = -u + 12. Is 30 a factor of ((-45)/w)/(1908/(-320) - -6)?
True
Let b(w) = 4*w**2. Let x(h) = 13*h**2 - 23*h + 28. Let o(d) = -3*b(d) + x(d). Is o(-12) a multiple of 16?
True
Suppose -1 + 1 = -8*a. Suppose a = 5*h - 323 + 23. Is ((-3)/1 - -5) + h a multiple of 10?
False
Let r be 9 + -8 - (-340)/1. Let f = -146 + r. Is 24 a factor of f?
False
Suppose 0 = -5*k + 10*k. Suppose k = 2*n - 4*n. Is (-5 - n)*-11 - 0 a multiple of 5?
True
Let l(o) = -176*o + 18091. Does 15 divide l(41)?
True
Suppose 94*o - 2*n = 89*o + 33488, 0 = 5*o + 5*n - 33460. Is 24 a factor of o?
True
Let k = 251 - 380. Let a = 315 + k. Suppose u - 82 = d + 4*d, -d = 2*u - a. Does 6 divide u?
False
Is 64 a factor of 12 - (9 + 15) - -2508?
True
Let d(o) = 3*o**2 - 13*o - 11. Let n be d(-7). Suppose -3*t - 4*a + 134 = 0, -5*t + 0*a - 3*a = -n. Does 4 divide t?
False
Let l = -87 + 347. Let j = 414 - l. Is j a multiple of 14?
True
Suppose 2*z = 10, -z + 5200 = 5*m - 600. Does 19 divide m?
True
Suppose 0 = -10*q + 9*q. Suppose 3*v - 7*v + 8 = q. Suppose v*s = -s + 180. Does 12 divide s?
True
Suppose 4*l + 16 = -2*x - 3*x, -3*x - 4 = l. Suppose x = -4*i - 2*q + 338, 2*q = i - 2