6 - (-2 + 1 + m)?
False
Does 62 divide -1 - (-3)/2*2384/24?
False
Suppose -3*u = -p - 4322, -14 = -4*p - 22. Does 6 divide u?
True
Suppose 4*x - 5*t - 11409 = 0, t + 14277 = 29*x - 24*x. Is x a multiple of 8?
True
Let a be 2184/108 + (-4)/18. Suppose 4*r - 9*r = -a. Suppose -14 - 30 = -r*l. Is l a multiple of 11?
True
Suppose -4*c + 4 = 3*d, -4*c + 8 = -d + 5*d. Suppose 2*u + 3*u = -j + 9, -d*j - 10 = -3*u. Is (u/(-8))/(1/(-20)) a multiple of 4?
False
Suppose -3*y + 6*y + 3*h + 39 = 0, -2*y - 3*h - 29 = 0. Is (-2)/4 - 565/y a multiple of 8?
True
Is 2/((-12)/8 + (-1519)/(-1008)) a multiple of 16?
True
Suppose 0 = -0*w - w + 6. Suppose d - w*d = -25. Suppose 0*h = -h + d. Is h even?
False
Suppose -7*p - 188 = -1084. Is p a multiple of 64?
True
Let l = -2 - -51. Suppose 2*h + l = 175. Suppose -8*m + 153 = -h. Is 5 a factor of m?
False
Let c(d) be the first derivative of d**5/30 + d**4/8 + 2*d**3/3 + 5*d**2/2 - 5. Let x(f) be the second derivative of c(f). Is 7 a factor of x(-3)?
False
Let s(l) = 7*l**2 - 2*l + 4. Let m be s(4). Does 36 divide m/((-12)/(-8)*1)?
True
Let m be (1 + -4)*2/3 + 9. Suppose -336 = -0*l - m*l. Is 4 a factor of l?
True
Suppose -613*d + 1068 = -607*d. Does 11 divide d?
False
Suppose -2*z - 430 = -3*u, 6*z = -3*u + 2*z + 436. Is 72 a factor of u?
True
Let g = 884 - 148. Does 46 divide g?
True
Let o(l) = 2*l + 42. Let s(p) = -13 - 7*p + 5 + 60*p**3 - 61*p**3 + 9*p**2. Let h be s(8). Does 10 divide o(h)?
False
Let m be (-2)/(-8)*4 + 3. Let a(b) = -2*b - 7. Let v be a(-6). Suppose -8*n + 4*n = m*t - 68, -v*t = -5*n + 115. Is n a multiple of 12?
False
Let l = 1850 - 1143. Does 109 divide l?
False
Suppose 31*v = 18*v + 24414. Is v a multiple of 11?
False
Let b(i) = 8*i + 53. Is 2 a factor of b(0)?
False
Let g(z) = -z**3 + 10*z**2 + 14*z - 15. Suppose 5*d - 3*v - 16 = 28, 4*d - 48 = -4*v. Does 34 divide g(d)?
False
Suppose -2340 = -3*y - 2*y. Does 26 divide y?
True
Let p(o) = -o**3 + 10*o**2 - 7*o - 12. Let w be p(9). Suppose -14 = 5*k - 5*d + 1, 5*k - 4*d = -13. Let y = k + w. Does 5 divide y?
True
Suppose 0 = -4*d - 3*i - 14, -2*i = -5*d + i - 4. Is 18 a factor of (9/d)/((-5)/60)?
True
Let o(r) = 239*r - 172. Does 31 divide o(5)?
True
Let o(z) = 4*z. Let h be o(8). Suppose h = 5*t - 23. Is (t - 1)*14/4 a multiple of 8?
False
Suppose i = 306 + 46. Does 12 divide i?
False
Suppose 0 = 2*k - 719 - 371. Suppose 2*h - k = -3*h. Suppose f = 4*c - h, 4*c - c - 63 = -3*f. Does 13 divide c?
True
Is 62 a factor of ((-1395)/(-6))/5*8/6?
True
Let j be (-1)/4 - 34/(-8). Suppose -j*f - 3*f = 2464. Let l = f - -495. Does 35 divide l?
False
Suppose w - 30 - 102 = 0. Is 22 a factor of w?
True
Let g be (-5 + (-265)/(-20))*24. Suppose 7*k = 278 + g. Does 9 divide k?
False
Suppose -6870 = -5*w + 2*o, 4*o + 1812 = 2*w - 936. Does 35 divide w?
False
Let o(k) = -k**3 + 12*k**2 + 14*k - 4. Let g(y) = y**3 - 11*y**2 - 13*y + 3. Let f(t) = 7*g(t) + 6*o(t). Let r = -7 - -14. Is 23 a factor of f(r)?
True
Let z be 98/(-2)*(-16 + 11). Let u = z - 17. Is u a multiple of 12?
True
Let t(q) = q**2 + q - 24. Suppose 4*y + 8 = 0, -3*m - 4*y = -5*m + 32. Is 22 a factor of t(m)?
True
Suppose -4*x = -0*x - 28. Suppose 5*f - x*f - 1188 = 0. Is 14 a factor of 2/(-7) + f/(-21)?
True
Let n(f) = 4*f**2 + 2*f + 40. Does 14 divide n(11)?
True
Let r = 49 + 31. Suppose 24 - r = -8*f. Is 7 a factor of f?
True
Suppose 4*c + 5*c = 3996. Is c a multiple of 12?
True
Suppose 24 = 4*l + 2*l. Suppose -c = l*c. Let i(y) = -2*y + 75. Is 14 a factor of i(c)?
False
Suppose -4*g - 4 = -2*n, 2*g + 5 = 2*n - 1. Suppose 4*t + 112 = 5*m, -t = 4*m - 0*t - 98. Suppose n*j - m = 60. Does 4 divide j?
False
Let s = 192 - 118. Is 11 a factor of s?
False
Let j be 43/(44/120 - 2/12). Let y = j - 127. Does 36 divide y?
False
Suppose -9341 = 44*s - 25797. Is s a multiple of 22?
True
Let l(u) be the first derivative of u**6/120 - u**5/60 + u**4/24 + 3*u**3 - 9*u**2/2 + 8. Let d(w) be the second derivative of l(w). Is d(0) a multiple of 8?
False
Let t = 199 - 193. Is 6 a factor of t?
True
Let r(z) = -z**3 + 9*z - 7*z**2 - 5 + 0*z**3 + 13. Let h be r(-7). Let u = -29 - h. Is 6 a factor of u?
False
Let w = 2407 + -1047. Is 16 a factor of w?
True
Let w(d) = -d**3 + 21*d**2 - 28*d + 24. Let y be w(20). Let c = y + 190. Is 12 a factor of c?
False
Let i be ((-1)/3)/(2 + 19/(-9)). Is 195 + -4 + 1 - i a multiple of 27?
True
Let q be (-182)/(-21) - (-4)/(-6). Suppose r - 5*r - 41 = -p, -r - q = 2*p. Does 26 divide (3 - r)/((-2)/(-4))?
True
Does 13 divide (1 - -464) + 21 + -22?
False
Let y(i) = -5*i**3 + i**2 + 6*i + 7. Let b be y(-3). Let o be (-76)/b + 1068/7. Is (0 + -6)*o/(-12) a multiple of 17?
False
Is (-21 - -20)*(1 - 50) a multiple of 3?
False
Let w(x) = -2*x**2 + 26*x - 13. Suppose 0 = -3*b - 3*z + 45, -3*z = -4*b + z + 28. Is 14 a factor of w(b)?
False
Let s = -354 - -367. Let r = 417 - 293. Is s/39*(r - 1) a multiple of 11?
False
Suppose 0 = -288*b + 301*b - 1248. Is 24 a factor of b?
True
Let b(p) = -p**3 - 4*p**2 + 12*p - 8. Suppose n - 2*n - 2*m - 11 = 0, m + 37 = -5*n. Is b(n) a multiple of 11?
True
Suppose -36 = 4*f + 48. Let k = f + 41. Is k even?
True
Suppose -4*d = -0*s - 4*s - 2612, -2*d - 5*s = -1271. Suppose d = 15*y - 6*y. Is 18 a factor of y?
True
Suppose 500*h - 240 = 498*h. Is h a multiple of 30?
True
Let p = 767 + -615. Does 19 divide p?
True
Let o be 2/14 + (-2)/14. Suppose o = 5*m - 38 - 62. Is ((-72)/m)/(6/(-15)) a multiple of 3?
True
Let v(z) = z**3 - z**2 - z + 7. Let u be v(0). Suppose 408 = u*q - q. Is 19 a factor of q?
False
Suppose 3*t - f - 8228 = 0, 319 + 2419 = t + 2*f. Does 105 divide t?
False
Let x = 14 - 12. Suppose 0 = x*c - 0*c - 110. Suppose -4*t + 4*s + 33 + c = 0, 2*s = 3*t - 62. Is 5 a factor of t?
False
Let w = -354 + 536. Does 27 divide w?
False
Is 14 a factor of (-4)/7 + 11816/98?
False
Let j(b) = -b**2 - 9*b - 10. Let y be j(-5). Suppose a + 6 = 4*a, -4*l + 3*a = -y. Suppose 3*o - l*k - 51 = 0, -2*o + 22 = 2*k - 26. Does 21 divide o?
True
Let i(p) = 3*p - 35. Let f(n) = 2*n - 17. Let a(y) = -5*f(y) + 2*i(y). Let s = -3 + -4. Is 21 a factor of a(s)?
False
Is 10 a factor of -1*(-14)/(-4)*2 - -46?
False
Let c = 19 + -12. Suppose 4*v - c*v = -237. Let y = -37 + v. Does 16 divide y?
False
Let p = 337 + -232. Suppose -25 = 5*n, 2*n - 23 = -2*x + p. Is x a multiple of 10?
False
Let v(m) be the second derivative of 11/12*m**4 - 4*m + 0 + 1/20*m**5 + 6*m**2 - 4/3*m**3. Does 35 divide v(-11)?
False
Suppose 4*c = -5*k + 31, 0 = -2*c + 4*k - 9*k + 3. Suppose -5*g + 189 = c. Is 11 a factor of g?
False
Suppose 6 = -2*q + 4*n, 3*n - 2 = -2*q + 20. Suppose -q*c = -5, -l + c = -1 - 22. Is 8 a factor of l?
True
Is 11 a factor of (-426)/(-45)*-3*5*-11?
True
Is 30 a factor of ((-180)/(-21))/((-10)/(-2415))?
True
Suppose -p + 109 = -3*p - z, -32 = p - 4*z. Let s = p + 88. Does 7 divide s?
False
Suppose -86 + 8 = 3*m. Let l = m + 43. Is l even?
False
Suppose 2*x = 71 - 25. Does 3 divide x?
False
Is (-1 + (-8)/(-6))*4044 a multiple of 44?
False
Let h = 41 - 3. Suppose -h*y + 37*y = -10. Is 10 a factor of y?
True
Suppose 5*d + 5*q - 5145 = 0, -q + 2*q = -4*d + 4116. Is (d/14)/(6/8) a multiple of 14?
True
Let g(i) = -9*i + 6. Let q be g(-6). Let c = 20 + q. Does 6 divide c?
False
Suppose 8*c + 8 = 9*c. Suppose 5*y = c + 62. Does 14 divide y?
True
Suppose -30*d = -3*d - 7803. Does 2 divide d?
False
Let n = -13 - -16. Suppose 2*z - n*o = -85, -o + 65 = -2*z - 2*o. Let f = z + 67. Does 16 divide f?
True
Let p(b) = -2*b**2 - 5*b + 3. Let o be p(-5). Let m = o + 62. Is m a multiple of 9?
False
Let h(p) be the first derivative of 4*p**2 + p - 7. Let d(b) = b**2 - 8*b + 4. Let y be d(8). Is h(y) a multiple of 11?
True
Suppose -23*o - 3*o + 47684 = 0. Is o a multiple of 14?
True
Suppose -5*q + 1 = -9. Suppose -q*c + 848 = 340. Suppose 0 = 5*n - 146 - c. Is n a multiple of 20?
True
Let k = -23 - -35. Suppose 3*m - k - 3 = 0. Suppose -m*j + 20 = -35. Does 5 divide j?
False
Let r = -24 + 32. Suppose r*d = -70 + 374. Is d a multiple of 19?
True
Let q(d) = -d**3 + 4*d**2 + 5*d + 3. Is 19 a factor of q(3)?
False
Let c(f) be the second derivative of -f**3/6 - f**2 - 4*f. Let x(o) = -5*o + 80. Let m be x(18). Is 2 a factor of c(m)?
True
Let r = -519 - -565. Is r a multiple of 3?
False
Suppose 5*i + 