b = 2*y - m. Is 12 a factor of y?
False
Let f(x) = -290*x - 10. Let l be f(-3). Suppose 2*y = -3*y + l. Is 22 a factor of y?
False
Suppose -o + 5*t - 6 = -3*o, 0 = -5*o + t - 12. Is 551 - (o - -5 - -2) a multiple of 13?
True
Suppose 153 = 4*j + 597. Let b = j - 11. Let r = 235 + b. Is r a multiple of 24?
False
Does 63 divide (12053600/(-48))/(-10) + (-2)/(-6)?
False
Let x(h) = -6*h + 12. Suppose -1 = 11*l + 98. Let k be x(l). Suppose -z - 101 = -3*u, -4*z - k = -4*u + 66. Is 34 a factor of u?
True
Let m be (7 - 6)/(-1) + 3. Suppose 2 = -k + 7. Suppose -k*x + 206 = 2*b - 39, -4*b + 498 = m*x. Is b a multiple of 25?
True
Let c be (6 + -4 + -3)*-44. Is 26 a factor of 4*798/11 - 8/c?
False
Suppose -v + 459 = -p, 1198 = -2*p - 3*v + 270. Let t = p - -536. Is t a multiple of 2?
False
Let z(w) = 29*w + 21. Suppose r - 5*f + 8*f + 6 = 0, -f = -5*r + 34. Is 10 a factor of z(r)?
False
Let s(u) = u**3 + 8*u**2 - 23*u - 25. Let m be s(-10). Suppose -t + 83 = m*x - 256, -1805 = -5*t - 3*x. Does 13 divide t?
True
Suppose 11*j = j + 70. Suppose -168 - 252 = -j*d. Is d a multiple of 15?
True
Suppose -128*f - 1505 = -295 + 198. Let y = 15 + 3. Let s = f + y. Is s a multiple of 3?
False
Let f be ((-2)/(-1))/((3/12)/1). Suppose -2 = 6*r - f. Does 19 divide r/(-6) + (-883)/(-6)?
False
Let c(f) = 13*f - 8. Suppose -4*k + 0 = 4, n - 3*k - 6 = 0. Suppose 5 = -5*z - 15, -n*z + 9 = 3*q. Is 18 a factor of c(q)?
False
Let o = 137 + -129. Suppose -o*a + 59 = 19. Suppose -s - 3*m = -162, s + 648 = a*s + m. Is s a multiple of 9?
True
Suppose 2*t - 6161 = -3*d, -52*t + 53*t + 4*d = 3083. Is t a multiple of 17?
False
Let g = 18516 - 3850. Is 31 a factor of g?
False
Suppose -5*r - 5 = 0, -r = 2*n + 2*n + 13. Let k(v) be the third derivative of v**5/6 + v**4/24 - 5*v**3/6 - v**2. Is 14 a factor of k(n)?
False
Let h(a) = 2*a**3 + 5*a**2 + 30*a + 2. Let q be h(-4). Let u = -154 - q. Is 34 a factor of (u - 16) + (36*-2)/(-1)?
True
Let x(a) be the first derivative of -733*a**2/2 + 15*a + 103. Is 17 a factor of x(-1)?
True
Suppose 3*t + 3*u - 231 = 0, 0*t - 2*u + 308 = 4*t. Let d be (-1)/7 - (-781)/t. Is 21 a factor of d/(-35) - 590/(-7)?
True
Let k(f) = -f**3 + 14*f**2 + 6*f + 20. Let g(j) = 5*j + 4. Suppose -5*n - 13 = -23. Let x be g(n). Is 13 a factor of k(x)?
True
Let o = 9965 - 8797. Is o a multiple of 8?
True
Suppose 17*g - 409864 = -152518. Is 7 a factor of g?
False
Let u(f) = -2*f**3 - 21*f**2 - 13*f - 26. Let o be u(-10). Suppose q + o*g = 92, 4*g = -0*q + 3*q - 324. Does 18 divide q?
False
Suppose -4*h + 23829 = 5*v - 106934, 0 = -5*v - 25. Is h a multiple of 21?
True
Let c(z) = -23*z**3 - 48*z**2 + 20*z + 48. Let v(o) = 8*o**3 + 16*o**2 - 6*o - 16. Let i(h) = -6*c(h) - 17*v(h). Is i(-8) a multiple of 13?
False
Let k be (112/35)/((-2)/(-35)) - 3. Let o = k + -49. Suppose 3*r - 4*n = -0*r + 392, -o*r + 508 = 2*n. Is r a multiple of 32?
True
Let t be (-4)/(-14) - 16/56. Suppose 4*g - 4*c - 44 = t, 3*c + 70 = 5*g + c. Is g even?
True
Let a(t) be the third derivative of 31*t**5/15 + 5*t**4/8 - t**3 + 15*t**2 - 1. Is a(3) a multiple of 21?
True
Let y = 118 - 118. Suppose y*l + 195 = 4*w + 3*l, -3 = l. Suppose 2*x - 3*x + w = 0. Is x a multiple of 19?
False
Let f(m) = -25*m - 42. Suppose -41 = -2*h + 3*z, -7*z = -h - 2*z + 24. Let a be (-20 + h)/((-2)/(-14)). Is f(a) a multiple of 7?
True
Suppose -5*j - 1227 = -8*j. Let k = j + -138. Let f = -137 + k. Is f a multiple of 20?
False
Let v(k) = -k**2 + 3*k + 5. Let d be v(0). Suppose -9*f = -2*t - d*f + 254, -2*t + 5*f = -253. Is t a multiple of 13?
False
Suppose 17*u - 236*u = 97*u - 4631296. Does 19 divide u?
False
Suppose 485892 = 1831*i - 1777*i. Does 20 divide i?
False
Let c(l) be the second derivative of 0 - 2*l + 5/2*l**2 + 17/6*l**3 + 1/4*l**4. Does 16 divide c(-9)?
False
Let h(s) = 3*s**2 - 17*s + 2. Let f be h(0). Suppose -6*c + 1182 = 2*x - 10*c, -3*c - 1178 = -f*x. Does 9 divide x?
False
Let n be ((-8)/2)/(132/(-21) + 6). Suppose -g = 4*t + n, 3*t + 4 - 13 = 0. Let c = 34 - g. Is c a multiple of 3?
True
Suppose 0 = 3*h + 3, -4*z - 13*h + 8*h = -163. Is -885*((-2)/21 - 24/z) a multiple of 19?
False
Suppose 2*m - 4*m = 4. Let x be 3 - 4 - (143 + 1)/m. Suppose -x - 49 = -3*j - 5*v, -3*j + 120 = 2*v. Is 40 a factor of j?
True
Let x = 13 + -7. Let f(v) = v + 60*v**2 - x*v + 0*v + 6*v. Does 17 divide f(-1)?
False
Let r(v) = 2*v**3 - 3*v**2 + 4*v - 127. Is r(11) a multiple of 40?
False
Let b(f) = -6575*f + 794. Is b(-2) a multiple of 12?
True
Suppose 18*b - 1059 = 201. Suppose -b*v = -61*v - 4158. Is v a multiple of 11?
True
Suppose 13*w - 8*w = 25. Let b = w + -5. Is 13 a factor of (-1 - (-51 + -3)) + b?
False
Let d(n) = -1652*n**3 + 3*n**2 + 2*n + 1. Does 5 divide d(-1)?
False
Let k(r) = r**2 - 10*r + 19. Let p(a) = 8*a + 14. Let o be p(-6). Let g = o - -48. Does 15 divide k(g)?
True
Suppose 4*q + 8 = 8*q. Suppose -t + 3*h = -348, 2*t + h - q*h = 691. Suppose -3*p + 4*r + t = 0, -3*r = -5*p + p + 467. Is p a multiple of 17?
True
Suppose 0 = 81*n - 66147 - 50655. Is 14 a factor of n?
True
Let g(k) = 12*k**2 - 4*k - 84 - 84 + 168. Does 5 divide g(4)?
False
Let k(x) = x**2 - 5*x + 11. Let c be k(3). Let v(l) = -l**3 + 5*l**2 + 2. Let s be v(c). Suppose -3*h = -2*h - d - 5, -s*d + 8 = 0. Is h a multiple of 3?
True
Suppose -32 = -3*o - 4*r, -r + 11 = -o + 10. Suppose o*a - 1657 - 843 = 0. Is a a multiple of 65?
False
Does 8 divide 16/1*(-71)/((-2911)/13448)?
True
Suppose 4*m = j - 10012, 2724 + 17260 = 2*j + 2*m. Is j a multiple of 84?
True
Let b(q) = -q**3 - 5*q**2 + 27*q - 14. Let y be b(-6). Let c = y - -455. Is 105 a factor of c?
True
Let g = 34 - 34. Suppose g = 9*l - 2*l - 616. Let j = 133 - l. Is 9 a factor of j?
True
Suppose 10*h - 7160 = 6270. Suppose 730 = 2*x + 2*t, -t = -3*x - 252 + h. Does 46 divide x?
False
Suppose 2*c - d = -5, -4*d + 2 = -2*d. Let h = -345 - -368. Does 29 divide 1/c*16*h/(-2)?
False
Let l(r) = 5*r + 54. Let b be l(-12). Is 34 a factor of b + 181 + -11 + 6?
True
Let u = -315 - -340. Let d = u + 66. Does 13 divide d?
True
Suppose j + 3*y + 57033 = 5*j, -5*y = -4*j + 57039. Is j a multiple of 22?
True
Suppose -j + 3*y = -3, 6 = j - 4*y + 1. Let g be j/(-2) - 223/2. Does 11 divide (7/(175/g))/(3/(-90))?
True
Suppose 0 = -5*s - 5*n + 30, 5*s + 4*n - 38 = 7*n. Suppose 312 = s*i - 4*i. Does 11 divide i?
False
Let t(v) = v**3 + v - 1. Let k be t(0). Let z = 47 - 47. Is 14 a factor of (k + z - -3)/(12/690)?
False
Suppose -2*l = -8*j + 4*j - 66, -2*j - 21 = 3*l. Let c = j + 40. Let o = c - -3. Is 28 a factor of o?
True
Let d = -1091 - -621. Does 17 divide ((-12)/((-480)/d))/((-2)/40)?
False
Suppose -4*o - 5*r + 47 = -644, o - 3*r = 177. Let h = o - 34. Is 5 a factor of h?
True
Suppose -11 + 16 = 5*b. Does 20 divide 45/(-180) + (3202/8)/b?
True
Let z be 13/(-91) + (-1136)/(-14). Let d = -76 + z. Suppose 0 = d*c - 2*l - 483, -289 = -8*c + 5*c + 2*l. Does 23 divide c?
False
Let r = 3 - -2. Suppose -r*s + 567 = -983. Suppose 0 = 4*n + x - 456, -3*n + 3*x + 47 = -s. Is 23 a factor of n?
True
Suppose -4*y + 2*a - a - 757 = 0, -5*a = y + 184. Does 5 divide (5 - 0) + (4/4 - y)?
True
Suppose 216*p - 230*p = -194040. Is p a multiple of 45?
True
Suppose -147*c + 2129782 - 234805 = 0. Does 6 divide c?
False
Suppose 2*k + 106 = 3*k. Suppose 144 = 2*q - k. Suppose 0*v + 3*v + 2*m = q, -5 = -5*m. Is 12 a factor of v?
False
Suppose -4*y - 29 = r - 32, y - 27 = 5*r. Suppose 0 = -2*o + j + 537, -y*o - 4*j + 398 + 154 = 0. Is 45 a factor of o?
True
Suppose k + a - 807 = -0*a, -2 = 2*a. Is 3 a factor of k?
False
Suppose 0 = 153*v - 315*v + 641520. Does 3 divide v?
True
Suppose -2*t - 26 = -36. Suppose -5 + 1 = 2*v, t*v - 1306 = -4*r. Does 7 divide r?
True
Suppose 7*c - 11*c - 648516 = -26*c. Does 51 divide c?
True
Suppose -406 = 42*b + 182. Let d(r) = 18*r**3 - r**2 + 3*r. Let v be d(3). Does 11 divide b/(-35) + v/10?
False
Let a(r) = r - 8. Let l be a(10). Suppose -27*p + 185 = -247. Let n = p + l. Is n a multiple of 3?
True
Let u = 36 - 32. Suppose 0 = -u*n + 9*n - 4*l + 19, -2*n - 10 = -4*l. Let d(h) = -2*h + 5. Does 7 divide d(n)?
False
Suppose -407*q + 2818177 = -11337999 - 3336684. Is q a multiple of 251?
False
Let p(t) = t**3 - 6*t**2 + 7*t - 10. Let f be p(5). Suppose f = 3*g + 3*g - 1008. Is 24 a factor of g?
Tr