vide q?
True
Suppose 13*p - 15*p = 3*t - 3743, -4*t = -3*p - 5019. Is 139 a factor of t?
True
Suppose 0*q + 632435 = 89*q + 15398. Does 6 divide q?
False
Let m(a) = -5*a - 83. Let y be -1 - -34*(-2)/4. Let z be m(y). Suppose -z*x + 327 = 47. Is 8 a factor of x?
True
Let k be ((-9)/(-4))/((-12)/(-48)). Let s be (2 - 40/(-15))*k/6. Suppose s*y - 354 = 3. Is 17 a factor of y?
True
Let j be 10 - (-18)/(5 - 2). Suppose -j*v = v - 3672. Does 12 divide v?
True
Suppose -47988 = -37*r + 3738. Let j = r - 774. Does 24 divide j?
True
Suppose -s - v + 3*v = -432, -5*v + 810 = 2*s. Does 14 divide s?
True
Let c(b) = 6*b**2 + 16*b + 56. Let o be c(-5). Does 38 divide -10 + o/12 + 1518/4?
True
Let p be (-20)/35 - 36/(-14). Let w(v) = -13*v + 11*v + 18*v**2 - 1 + 1. Is 13 a factor of w(p)?
False
Suppose -j = j - 4*i - 212, -542 = -5*j - 2*i. Let b be j/15 - (-1)/(-5). Suppose 0 = -b*h + 13*h - 192. Is 13 a factor of h?
False
Let m(q) = 24*q**2 - 160*q + 513. Is 3 a factor of m(14)?
False
Let p(v) = -11*v**2 + 21*v + 83. Let b(o) = -9*o**2 + 22*o + 83. Let w(m) = -6*b(m) + 5*p(m). Is w(-21) a multiple of 9?
False
Suppose -49 = -15*a + 176. Suppose a*b + 5*b = 21840. Is b a multiple of 33?
False
Let g be (78/4)/(9/42). Suppose b - 1 = 3. Let l = g + b. Is 9 a factor of l?
False
Let l = -21 - -67. Is ((-18)/(-3))/3 + l + -2 a multiple of 16?
False
Suppose 4*l - 3501 = 2*g - 3*g, l - 5*g = 849. Suppose -3*t - l = -3*m + 2*m, -2*t - 4 = 0. Is 62 a factor of m?
True
Suppose -2*d + c + 2*c = -18857, -3*d + 28333 = 5*c. Is d a multiple of 14?
True
Suppose -7*f + 62 = 27. Suppose -2*l + 9 = x - l, 2*x + f*l = 3. Is x a multiple of 7?
True
Let f(a) = 207*a**2 - 69*a + 40. Is 35 a factor of f(-6)?
False
Suppose -y + 12658 = 2*c, 0 = -3*c + 5*y + 25666 - 6705. Is c a multiple of 52?
False
Is 30 a factor of (21 + -20 - -3)/(5/7365)?
False
Is ((-105)/(-6) - 3/3)/((-5)/(-150)) a multiple of 45?
True
Suppose 0*u - 4*j = -4*u + 568, -136 = -u - 5*j. Suppose -5*f = -s - u, -18 - 9 = -f - s. Is 5 a factor of f?
False
Let w(u) = 42*u + 4158. Does 15 divide w(-34)?
True
Let b = -1422 + 1013. Let j = 829 + b. Is 38 a factor of j?
False
Suppose -25524 = 377*w - 413*w. Is w a multiple of 5?
False
Let t = -1451 + 2245. Suppose -t = -2*j - 250. Does 17 divide j?
True
Let a = -93 - -83. Let h(r) = 3*r**2 + 24*r - 8. Does 13 divide h(a)?
True
Is 34 a factor of 3864388/660 + (-4)/30?
False
Let d be (-5608)/(-11) - (-9 - 873/(-99)). Suppose -t + d = m - 2*t, -5*m - t + 2526 = 0. Is m a multiple of 33?
False
Let n be (-1)/((-39)/52*2/6). Suppose -o - n*r - 22 = 2*o, -3*o - 38 = -4*r. Let z(m) = m**3 + 8*m**2 - 25*m - 6. Is z(o) a multiple of 22?
True
Let n(q) = 92*q**2 - 2*q + 2. Let m(t) = 90*t**2 - t + 2. Let l(f) = -3*m(f) + 4*n(f). Is 16 a factor of l(2)?
True
Suppose -5*p + 36 = -4*t - 44, -5*p + 5*t + 75 = 0. Suppose -1495 = -5*k - 10*v + 5*v, 0 = -5*v + p. Does 40 divide k?
False
Let p(y) = 506*y - 1840. Does 48 divide p(8)?
True
Let c = -6101 - -7676. Is 62 a factor of c?
False
Suppose 5 = -2*b - d - 0, -b + 10 = -2*d. Suppose b = 2*o - q - 40 - 78, -118 = -2*o + 3*q. Does 4 divide o?
False
Suppose -41*c + 49*c - 158074 = c. Is 7 a factor of c?
True
Suppose 0 = 2*n + 13*n - 116325. Suppose 5*s - n = -4*v, -10*v - 3*s = -15*v + 9703. Suppose 10*b = v - 520. Is 13 a factor of b?
False
Let k(h) = -3*h**3 - 4*h**2 + 8*h + 2. Let u be k(-4). Let v = u + -101. Is 1*-129*((-8)/2 - v) a multiple of 16?
False
Suppose 3*w = -4*o + 6*w + 14443, 0 = -2*o + 5*w + 7225. Is 40 a factor of o?
False
Let g = -2308 - -2313. Let y = 0 + 2. Suppose -2*w = y*w - g*r - 463, -2*w = -4*r - 224. Is w a multiple of 16?
False
Suppose -7*w + 3*w - f = -16, 0 = 2*w + 4*f + 6. Suppose w*a + 56 = j + 975, 2*a = 2*j + 374. Is 2 a factor of a?
False
Suppose 5*i = 5*o - 6155, -2*o - 146*i + 141*i = -2490. Is 5 a factor of o?
True
Let m = -18 - -15. Let n(k) = k**2 + k - 10. Let h be n(m). Does 7 divide h + 22 + 4 - 1?
True
Let s = 128 - 126. Suppose s*k + 4765 = 5*h, -2*k - 2863 = -3*h - 0*k. Does 15 divide h?
False
Let j(q) = 52*q - 10 + 31 + 17*q. Let s = -2526 - -2529. Is j(s) a multiple of 15?
False
Let w(n) = n**2 - 103*n + 2562. Is 116 a factor of w(206)?
True
Let b(c) = c**2 - 3*c + 4. Let r = -40 + 48. Let x be b(r). Suppose -a = -2*j + a + x, -a + 62 = 3*j. Does 5 divide j?
False
Let v = 934 + -930. Suppose v*u - 1397 = 1219. Is 6 a factor of u?
True
Suppose -5*y = -4*r - 1135, -3*r + 13*y = 17*y + 859. Does 10 divide (1 - (-103)/(-3))/(38/r)?
True
Suppose -46*i = -189035 - 27809. Does 20 divide i?
False
Suppose 109 = j - 240. Suppose 5*v = -4*q + j, 2*q - 112 = -3*v + 97. Is 23 a factor of v?
True
Let m = -2729 + 3725. Is 7 a factor of m?
False
Suppose -l + 1456 = 2*i, -4*i = 53*l - 58*l + 7308. Does 3 divide l?
False
Let m(d) = -6*d**3 - 6*d**3 + 15*d**3 - 4*d**2 - 5*d**3 - 3*d - 1. Let u be m(-2). Suppose 4*p - 24 = -2*z, 7 = u*p + 5*z - 28. Is 4 a factor of p?
False
Suppose 3*s + 0 + 4 = l, 0 = -2*l + 2*s + 12. Suppose -2615 = -l*i - 410. Is 45 a factor of i?
True
Let z(w) = -9*w**2 - 18*w + 60. Let h be z(4). Let r = 269 + h. Is 2 a factor of r?
False
Let p(k) = 67*k + 1142. Is p(12) a multiple of 63?
False
Let u = 9504 + -6529. Does 35 divide u?
True
Suppose 0 = -r - 2, 2*z - r - 17 = -z. Suppose -z*g - 2*w = 0, -w + 6*w = g + 27. Does 5 divide 64 - 2 - g/5*-5?
True
Suppose 3*w + 15 = 0, -4*n + 95*w = 96*w - 27963. Is 38 a factor of n?
True
Suppose -111 + 44923 = 17*n. Suppose -n = -11*h + 4657. Does 45 divide h?
False
Is 127 a factor of 5/1 - (-36051 + -4 + -21 + 13)?
True
Let h be 10/75 + 215/75. Suppose 0 = h*a - 93 - 231. Is 19 a factor of a?
False
Does 9 divide ((-240)/(-240))/(-2*1/(-4112))?
False
Suppose -15 = -g + 4*f, 0*f - 6 = -4*g - 2*f. Let j = 4382 - 3837. Suppose -j = -5*n + g*y, -y + 214 = 2*n - 3*y. Does 7 divide n?
True
Let x(s) = 20*s - 2166. Let n(y) = 4*y - 433. Let t(v) = -16*n(v) + 3*x(v). Is t(0) a multiple of 27?
False
Let v = 51 - 17. Let c = 6 + 17. Let r = c + v. Is r a multiple of 19?
True
Suppose -4*w + 7825 = -5*x - 20579, -w = -4*x - 7090. Does 22 divide w?
True
Suppose -24*s + 20*s + 4800 = 0. Is 40 a factor of s?
True
Let d(s) be the second derivative of s**5/20 + 7*s**4/6 - 19*s**3/6 - 37*s**2/2 + 62*s. Is 21 a factor of d(-15)?
False
Let i(k) = 37*k - 337. Is i(45) a multiple of 16?
True
Let g(u) be the first derivative of u**4/4 - 3*u**3 + u**2 - 3*u - 22. Is 4 a factor of g(9)?
False
Suppose 8*m = 67 - 19. Suppose 427 + 563 = m*c. Is c a multiple of 11?
True
Suppose 20*p - 21*p - 13 = 0. Let v(a) = -9*a - 43. Let o(f) = f - 1. Let k(w) = 4*o(w) + v(w). Is k(p) a multiple of 4?
False
Suppose -5*h = -4*w - w + 240, 0 = -5*w - h + 234. Suppose 751 = 2*m + w. Is 22 a factor of m?
True
Let v(u) be the first derivative of -517*u**2/2 + 77*u - 190. Is 20 a factor of v(-2)?
False
Suppose -u - 5717 - 771 = -4*s, -3*s - 6474 = u. Does 18 divide (-3 + (-34)/(-10))/((-6)/u)?
True
Let w(r) = 1 + 4 - 6*r + 4*r + 6. Let x be w(4). Is 21 a factor of ((-42)/10)/(x/(-75))?
True
Let v(p) = -808*p**3 - 10*p**2 + 10. Is v(-2) a multiple of 22?
False
Let c be (14/21)/((-1)/(-9)). Suppose 10*x = 3*w + 6*x - 15, -2*x - 5 = -w. Suppose c*n - w*n = 23. Is n a multiple of 4?
False
Let o be 10/(-2) + -1 + 5. Does 35 divide o/(-2) - (2 + 8029/(-14))?
False
Suppose -2*s - 2*s + 91 = y, 0 = -2*s. Suppose 0 = 5*o - y - 119. Suppose 50*j - o = 47*j. Does 5 divide j?
False
Suppose y = 4*l - 130, -3*y - 3*l - 450 = -0*l. Let b = y + 159. Is b even?
False
Suppose 0 = 5*m + 5*s - 19785, 3966 = m + 156*s - 158*s. Is 30 a factor of m?
True
Suppose v - 6340 = 4*n, 6*v - 11*v = -3*n - 31683. Is v a multiple of 22?
True
Let q(l) be the first derivative of -l**4/4 + 8*l**3 - 43*l**2/2 - 22*l - 15. Let g be q(22). Suppose g = -2*o + 195 + 93. Is o a multiple of 36?
True
Let v(c) = c**3 + 5*c**2 - 6*c - 22. Let k(y) = y**2 + 1. Let r(h) = 2*k(h) + v(h). Let u be r(-8). Is 844/30 - u/(-270) even?
True
Suppose -2*o - 14*o = 11*o - 45144. Is 19 a factor of o?
True
Let r = -222 - -414. Is 6 a factor of 1/(-2)*0/(-7) + r?
True
Suppose 4*y + 3*a = 1, 5 = -5*y + a - 6*a. Suppose 5*w + 2*g = 12 - 2, 8 = y*w + 5*g. Does 6 divide (-8)/4 - (w/2 - 111)?
True
Let t = 48 - -41. Let z = t + -83. Is 13 a factor of ((-3)/