de q?
False
Let h(y) = 20*y + 68. Let v be h(9). Let p = 420 - v. Is 10 a factor of p?
False
Let y = -7705 + 7915. Is 2 a factor of y?
True
Let a(g) = -9*g - 367. Let h be a(13). Let i = h - -1319. Is i a multiple of 16?
False
Suppose -3401 = -5*p + 8579. Suppose -p = -5*h - 21. Is h a multiple of 14?
False
Is 25 a factor of 40/(-25)*(-3 + 2958/(-24))?
False
Let r be ((-11 - -4) + 8)/(2/164). Suppose 0 = 2*v - 32 - r. Is 57 a factor of v?
True
Does 133 divide (12/10)/(846/5696400)?
False
Suppose 4 = -2*c + f + 1, 2*f = 10. Let l(d) = 3*d - 5. Let a be l(c). Does 17 divide 5 - (-91 + (a - -1))?
False
Suppose -3*u + 44977 = -m, -3*u - 22*m = -21*m - 44987. Is 14 a factor of u?
True
Does 23 divide (-2 - (-32)/24)/((-17)/166566)?
True
Let p(b) = -2*b**3 + 32*b**2 + 31*b - 142. Does 5 divide p(16)?
False
Is -499326*(-9)/324 - (5 + 105/(-18)) a multiple of 11?
True
Let w = -42 + 157. Suppose -2*a = w + 45. Is (-48)/a + (-237)/(-5) a multiple of 8?
True
Let g = 15 + -12. Let z(o) = 13*o**2 + o**2 - o**2 + 2 - 2*o**2 - g*o. Does 10 divide z(2)?
True
Is ((-1920)/56)/((-20)/13300) a multiple of 57?
True
Let a(y) = -8*y**2 - 5*y + 1. Suppose 4*z - 5 = 3. Let t be a(z). Let g = -9 - t. Does 4 divide g?
True
Let f(u) be the second derivative of u**6/360 - u**5/20 + 3*u**4/4 - 10*u**3/3 - 15*u. Let k(s) be the second derivative of f(s). Is 22 a factor of k(7)?
False
Suppose 262*f = -298*f + 585*f - 22900. Is f a multiple of 3?
False
Suppose -9820*k = -9833*k + 616044. Does 44 divide k?
True
Suppose -r + 4*t + 14431 = 0, -5*t = -30*r + 26*r + 57768. Is r a multiple of 140?
False
Let k = -2191 + 5236. Does 24 divide k?
False
Let n be 32/48 - (-227)/(-3). Let j(i) = -8*i. Let a be j(3). Let h = a - n. Does 17 divide h?
True
Suppose 4*n + 0*n = -12. Let p be 1419/6 + n/(-2). Suppose 2*z - 82 = -0*v - v, p = 3*v + 4*z. Does 21 divide v?
False
Let m be (-5)/(-1) + -1 + (533 - -250). Let z = -280 + m. Does 39 divide z?
True
Suppose -90 + 89 = m. Does 13 divide m/((-8)/312) + -4?
False
Let k = -212 + 325. Suppose -2*t + d + 80 = 0, 4*t - t - k = -2*d. Suppose -2*c + c + t = 0. Does 34 divide c?
False
Let f be 7/(28/(-12)) + 32. Let y(p) = -118*p**3 + 2*p**2 - 1. Let o be y(-1). Let t = o - f. Does 13 divide t?
False
Let f(n) = -7*n - 12. Let t(c) = 14*c + 22. Let b(v) = 7*f(v) + 3*t(v). Is 10 a factor of b(-10)?
False
Let l be -3 - 1 - (-7 - (1 - 2)). Let a(r) = -6 - 4*r - 3 + 5*r - 5 + 3*r**l. Is 20 a factor of a(6)?
True
Let b be 8*(-3 - -1)/(-4). Suppose 0 = -2*o + b*l + 26, 3*o + 0 = -3*l - 6. Is 173 + (-4 - (-5 + o)) a multiple of 19?
True
Let w = 11801 + -8968. Is 7 a factor of w?
False
Suppose -5*h = -2*d - 19 - 22, -h = 3*d + 2. Suppose -h*o - 584 = -11*o. Suppose 5*s = -3*r + 148 - 47, -3*r = -4*s - o. Does 10 divide r?
False
Let y = -326 - -806. Is 8 a factor of y?
True
Suppose -4 = -s, 4*t + 5*s - 9 = -5. Does 11 divide 165/(0/(t/1) - -1)?
True
Let t = 2585 + 3471. Suppose -8*u + 1240 = t. Does 11 divide (-22)/(-33) - u/6?
False
Suppose 3*a - 6 = 5*a + 2*q, 2*a + 4*q = -12. Suppose 5*l = n - 359, 2*n + 5*l - 389 - 344 = a. Does 13 divide n?
True
Suppose -53*a - 38*a - 13*a = -349024. Is 16 a factor of a?
False
Let v be -1*4 + (-20 - -26). Suppose -2*y + 3*y = -v*z - 42, 0 = -4*y + z - 159. Does 23 divide 30/10 + (-1 - y)?
False
Suppose 117*z = 2781363 + 2879511 - 2122209. Is z a multiple of 186?
False
Suppose 10 = -5*i, -t - 23 = 2*i - 1. Suppose 31 = -0*n + n. Let o = n + t. Does 13 divide o?
True
Suppose -10*v = 1078 + 1452. Let p = -166 - v. Is p a multiple of 4?
False
Let c be 1/(-2*(-4)/(-8)) + 5. Let o(k) = -2*k**2 - 3*k + 32. Let s be o(c). Let b = s - -34. Does 2 divide b?
True
Let b(j) be the first derivative of 11*j**3/3 - 2*j**2 + 3. Let z(m) = -49*m - 732. Let u be z(-15). Is b(u) a multiple of 16?
False
Let g(b) = -4*b**2 - 5*b + 4. Let l(r) = -3*r**2 - 4*r + 4. Let f(a) = -6*g(a) + 7*l(a). Let u be f(-5). Suppose -9*o + 10*o = u. Is o a multiple of 13?
False
Let p = -21567 - -30855. Is 72 a factor of p?
True
Suppose 63 = 5*l - s, l = 6*l - 2*s - 66. Let m be (-1 - 681/l)/(1/(-4)). Let v = -141 + m. Is 6 a factor of v?
True
Suppose 12*q - 13*q + 2 = 0. Suppose 4*l = -2*c + 6, -q*l = -3*c + 1 + 8. Is 2/3 + (-170)/(-15) + l a multiple of 3?
True
Suppose 4*b = -26 + 258. Let w = b + -22. Is (7 - 0)*(-8)/(-16)*w a multiple of 9?
True
Let h = 63 - 63. Let v be h*(-1 + 0 + 0). Suppose 0*p - 11*p + 231 = v. Does 4 divide p?
False
Let a(u) = 14*u**2 - 5*u - 93. Let p be a(10). Let z = p + -496. Is z a multiple of 13?
False
Suppose 474445 = 110*j - 273555. Is j a multiple of 9?
False
Let u(d) = -420*d - 25. Let a be u(-10). Suppose -11*k + a + 874 = 0. Does 27 divide k?
True
Let b = -75 + 43. Let g be (b/6)/((-6)/72). Is 1360/g - 6/(-8) a multiple of 16?
False
Let f be (18 - 15) + (-3)/1. Let y(s) = 9*s + 5*s**3 + f*s + 17*s**2 + 14 - 3*s - 6*s**3. Is 9 a factor of y(17)?
False
Let v(n) = -256*n + 7066. Is 2 a factor of v(26)?
True
Suppose 18*z = -z - 304. Does 5 divide ((-294)/(-4))/((-1)/(z/12))?
False
Let i be ((-16)/(-12))/(3/9). Suppose i*q - 86 - 1474 = 0. Is q a multiple of 26?
True
Let c = -22 - -30. Suppose 0 = i - c*i - 196. Let y = i - -127. Is 24 a factor of y?
False
Suppose -3*j - u + 3632 = 0, 3*j + 0*j = -3*u + 3642. Is j a multiple of 6?
False
Suppose 5790 = 6*o - 3*o + 5*k, -5*o + 9650 = 4*k. Is o a multiple of 11?
False
Suppose -15*f + 133799 = 81*f - 112729. Is 8 a factor of f?
True
Let n = -28919 + 31074. Is n a multiple of 5?
True
Let v(j) = -31*j - 2. Let h = -63 + 47. Is v(h) a multiple of 19?
True
Let u(h) = 1. Let a(d) = -d**2 + 10*d - 24. Let n(c) = a(c) + 4*u(c). Let q be n(5). Does 9 divide ((-498)/30)/((-1)/q)?
False
Let w(d) = -556*d - 860. Does 31 divide w(-4)?
True
Let y = 23301 + -474. Is y a multiple of 41?
False
Suppose 0 = 7*o - 27*o + 16560. Let s = 486 + o. Is 18 a factor of s?
True
Suppose -v - 29218 = -4*m + 225405, 0 = 5*m - v - 318278. Is m a multiple of 32?
False
Let f(c) be the second derivative of c**4/12 - 4*c**3/3 + 5*c**2/2 + 19*c. Let v be f(7). Is 29 a factor of 2 + 0 + 7/v*-16?
True
Let q(g) = 100*g - 278. Let f be q(11). Let r = f + -268. Is 10 a factor of r?
False
Let r(n) = -2*n**2 - 12*n - 1. Let v be 6/8 - 108/16. Let o be r(v). Is (-514)/(-14) + o - (-8)/28 a multiple of 4?
True
Let q(w) = w**3 + 21*w**2 - 45*w + 39. Let u be q(-23). Suppose 14*h - u*h + 102 = 0. Is 17 a factor of h?
True
Let u(r) = -10*r + 8. Let n be u(6). Let d = n - -59. Is 23 a factor of 4152/21 - (-2)/d?
False
Let a = -920 - -76. Let v = a + 1370. Does 12 divide v?
False
Let j(l) = 32*l**3 - 5*l**2 - 17*l - 1. Let s = -10 - -15. Let i(v) = 48*v**3 - 7*v**2 - 26*v - 1. Let u(n) = s*i(n) - 8*j(n). Is u(-2) a multiple of 23?
False
Does 62 divide (-12 + -2)*236691/(-578)?
False
Suppose q = -5*v + 1344 + 10534, 0 = 2*v + 3*q - 4746. Suppose v - 276 = 15*i. Is i a multiple of 35?
True
Suppose 5*q - 4 = g + 16, 4*q - g = 15. Suppose q*k - 5*u = 3*k - 153, -4*k - u = 317. Let b = k + 157. Is 13 a factor of b?
True
Let p(v) = -v**3 + 32*v**2 + 12*v - 131. Does 76 divide p(17)?
True
Let d be ((-4)/5)/(28/(-70)). Is 58 a factor of (108/15)/(-3*d/(-435))?
True
Suppose 14*i = 2*s + 15*i - 4594, -4576 = -2*s - 10*i. Is 22 a factor of s?
False
Let d(h) = h**2 + 3. Let u be d(-2). Let b = u + -4. Suppose 0 = -5*g + 4*f + 506, b*f - 97 - 8 = -g. Is 12 a factor of g?
False
Let w = 385 + 11. Suppose 6*a = w - 102. Does 11 divide a/1 + 4/((-24)/(-6))?
False
Suppose -37*w - 10798 = -26449. Is 6 a factor of w?
False
Let b(m) = 5836*m - 179. Is 97 a factor of b(3)?
False
Let g(c) = 10*c**2 + 106*c + 24. Let m be g(-9). Is (m/(-72))/((-15)/(-2196)) a multiple of 2?
True
Let y = 537 - 273. Suppose -5*v = v - y. Suppose -5*x - z + 164 = 0, 5*z = -9*x + 11*x - v. Is 14 a factor of x?
False
Suppose 0 = -4*f + 3*f + 116. Let o be 4/(-3)*2616/(-16). Let p = o - f. Is p a multiple of 30?
False
Let g = 521 - 518. Suppose 4*f + 92 = g*r - f, 5*f + 58 = 2*r. Is r a multiple of 3?
False
Let m = -3582 + 9511. Is 26 a factor of m?
False
Suppose 4*k + k = 3*k. Suppose -17*l + 14*l = k. Suppose 4*u - 87 - 625 = l. Is 18 a factor of u?
False
Let t be (-3610)/(-114) - 1/(-3). Let c(j) = 26*j - 207. Is c(t) a multiple of 67?
False
Suppose 2*a + 2*n = 2, 0*a 