t x = 7500 - -607. Is x a multiple of 91?
False
Let l(z) = -9*z**3 + 155*z**2 + 1217*z - 5. Is l(-9) a multiple of 23?
False
Suppose -2*j = -3*b - 396 - 299, 0 = -4*j - 3*b + 1417. Suppose 4*t = -5*d + 1453, 0*t = -t - 5*d + j. Does 13 divide t?
False
Suppose -3*h - 14000 = -13*h. Does 6 divide (h/(-16))/(4/(-8))?
False
Let o(c) = -7*c**2 + 9*c - 8. Let p(u) = u**2 + 1. Suppose 25 = 5*h, -4*h - 4 + 26 = -2*i. Let q(n) = i*o(n) + 6*p(n). Is 24 a factor of q(2)?
True
Let c be (-20)/(-50) + (-584)/10. Let t = 63 + c. Suppose 3*k + 2*u - 328 = 0, k - 5*k = -t*u - 445. Is k a multiple of 10?
True
Suppose -4*o + 7*o - 5040 = 0. Suppose -6*t + o = -840. Is 35 a factor of t?
True
Let v(k) = 4549*k - 473. Is v(8) a multiple of 257?
False
Let f = -20609 - -30465. Does 112 divide f?
True
Let l = 829 + -828. Let x(r) = -12*r**2 + r - 14. Let v(f) = -13*f**2 + 2*f - 13. Let i(y) = -6*v(y) + 5*x(y). Does 14 divide i(l)?
False
Let m(j) = 0*j**2 + 1 - 1 + 1 + 2*j**2. Let q be m(-1). Suppose -4*v + 96 = -q*v. Does 11 divide v?
False
Let g(x) be the second derivative of -x**5/20 - x**4/12 + x**3/6 + 39*x**2/2 + 2*x. Let b be 20/32 - (-70)/(-112). Is g(b) a multiple of 14?
False
Let t be (((-18)/(-8))/(-3))/((-8)/64). Suppose 0 = -t*x + 7*x - 698. Is x a multiple of 51?
False
Suppose -4*f - 7*n + 1227 = -2*n, -2*f + 617 = -n. Is 3 a factor of f?
False
Suppose 4*i = 6*q - 3*q - 34245, 22804 = 2*q + 6*i. Is 11 a factor of q?
False
Let a = -36 + 40. Suppose -5*h - 265 = q, 0 = 3*h + 4*q + 18 + 124. Is (-230)/a*h/45 a multiple of 23?
True
Let t = -28 + 13. Let a(h) = 2*h**3 + 34*h**2 + 40*h - 9. Is 15 a factor of a(t)?
False
Suppose -7*z - 512190 = -5*z - 20*z. Is 112 a factor of z?
False
Let r be -10*(-3 + 25/10). Suppose 2 = -j + r. Suppose j*x - 124 = -v, -4*x - 5*v + 77 = -81. Does 30 divide x?
False
Let h = -878 + 261. Let a = h - -684. Is a a multiple of 8?
False
Does 13 divide (0 - -4030)/((-6)/(-48))?
True
Let c = 5097 - 2685. Does 17 divide c?
False
Let b = -75 - -208. Let i = b - -237. Does 37 divide i?
True
Let m(l) = -l**3 + 6*l + 2. Let k be m(-3). Let x be (9/6)/((66/(-4040))/k). Is 1/(-4) + x/(-40) a multiple of 22?
False
Let g(h) = 2*h**2 + 8*h + 36. Suppose -2*b + 40 = -4*n, -2*b - 2*b = -3*n - 55. Let z be (-78)/15*25/b. Is g(z) a multiple of 30?
True
Let m(i) = 131 - 133 + 2*i**3 + 2*i + 2*i. Is m(3) a multiple of 16?
True
Does 49 divide -12 + 12 + (-6 - (-2 + -14214))?
True
Let i(f) be the second derivative of 1/20*f**5 + 0 - 11/2*f**2 + 4*f**3 + 4/3*f**4 - 19*f. Is 15 a factor of i(-14)?
True
Suppose -8*a = -4*a. Suppose -25*q + 741 + 184 = a. Is q a multiple of 4?
False
Let o(d) = -21*d**3 - 2*d**2 + 3. Let v = -296 + 293. Does 92 divide o(v)?
True
Suppose 3*t - 12 = 0, -4*u + 2*t + 442 = -602. Suppose -f - 15 = -6*f, f = x - u. Is 7 a factor of x?
True
Let p(r) = -260*r - 970. Does 49 divide p(-34)?
False
Let m(o) = -13*o - 22. Let p(d) = d + 1. Let l(v) = -m(v) - 5*p(v). Let t be l(-3). Let c(x) = -24*x - 8. Is 20 a factor of c(t)?
True
Is 23 a factor of 2/(-17) + (-3544489)/(-629)?
True
Is 136 a factor of 475/380 + -2599*(-270)/24?
True
Let n(x) = -x**3 - 15*x**2 + 26*x + 120. Is 80 a factor of n(-20)?
True
Let p be (-2 + 1)/(1/(-9)). Let y(d) = 15*d**2 + 8*d + 22. Let b be y(-3). Let h = b - p. Is 9 a factor of h?
False
Let f(q) be the third derivative of -31*q**4/12 - 71*q**3/2 - 3*q**2 + 14. Is f(-10) a multiple of 11?
True
Let r be ((-4 + 5)*0)/(-2). Suppose 6*z - 576 = -r*z. Is z a multiple of 8?
True
Let t = -8022 - -14627. Does 27 divide t?
False
Suppose 11*v - 57624 = -v. Suppose 22*t + v = 14460. Does 24 divide t?
False
Is 51/(174/36 - 5)*-42 a multiple of 189?
True
Let w = 2111 + -858. Is 7 a factor of w?
True
Suppose 0 = 2*k + 10, 76 = c - 3*k - 72. Suppose -5*m - 113 = -2*u, 5*u + 5*m - c - 132 = 0. Is u a multiple of 3?
True
Let g(j) = j**3 - 10*j**2 - 23*j - 5. Let f be g(12). Suppose -2*u = -f + 7. Suppose 4*x = 5*v - 230, v - 47 = x - u*x. Is v a multiple of 21?
True
Suppose 59*t + 296639 = 111*t + 64719. Does 57 divide t?
False
Suppose -91*x + 117878 = -4517. Does 4 divide x?
False
Suppose 13*j + 24 - 89 = 0. Let q(s) = -6*s**3 + 5*s + 17. Let x(f) = f**3 - 1. Let m(h) = -q(h) - 5*x(h). Is 44 a factor of m(j)?
True
Suppose 4*r + 6*w - 4*w - 672 = 0, 0 = r + 3*w - 168. Does 21 divide r?
True
Let a(x) = -x**3 + 18*x**2 + 40*x + 5. Let j be a(20). Suppose -2*o = -4*d - 1408, -j*o - 13*d + 3472 = -11*d. Does 60 divide o?
False
Let h be (-28)/14*(-6)/(-4). Is 35 a factor of (-5 - h)*700/(-8)?
True
Let v be 266/(-49) - (-24)/(-42). Let s(c) = 14*c + 77. Let j(y) = y + 6. Let g(o) = 77*j(o) - 6*s(o). Is 4 a factor of g(v)?
False
Let k be 18 + 3 + (-2 - -1). Suppose k = -5*x + 9*x. Does 5 divide 4*x/10 + 25?
False
Suppose -33*c = 17150 + 33538. Suppose 13 = 2*l - 3*l - 4*i, -4*l = -5*i + 73. Is l/(255/c) + 4/(-10) a multiple of 17?
True
Let p = -840 + 2334. Does 9 divide p?
True
Let x = 585 - 586. Is (465 - (x - -3)) + (-8)/2 a multiple of 22?
False
Suppose 8*b = 2*c + 6*b - 6748, 5*c - 16906 = -b. Does 65 divide c?
True
Suppose 3*x + m = 6*m + 32, 2*m + 16 = 2*x. Suppose -27*i + 11564 = -1849 - 10185. Suppose -x*l - 114 = -i. Is l a multiple of 38?
True
Suppose 311*v = -b + 309*v + 21238, v = 2*b - 42481. Is b a multiple of 86?
False
Suppose 360 = -4*g + g. Let h = g - -885. Does 16 divide h?
False
Suppose 2*o = -4*a + 5648, 136*o - 7042 = -5*a + 138*o. Is 143 a factor of a?
False
Suppose 0 = -12*a + 20*a - 50960. Does 35 divide a?
True
Let q be ((-32)/24)/(2/(-3)). Let b(i) = 0*i**2 + 16 - 6*i - 2*i**q + 4*i**2 + i. Does 34 divide b(-7)?
False
Is 63 a factor of (10 - -19)*286*(-3)/(-1) - -6?
False
Let m(z) = -3*z + 37. Let i be m(-10). Let b = -57 - -80. Let r = i - b. Is 10 a factor of r?
False
Suppose 25 = 4*u - 3*u. Suppose -30*z + u*z = -10. Suppose -z*r = -2*g - 40, -4*r + 90 = -4*g + 2*g. Is 13 a factor of r?
False
Let g = 7361 + -6248. Is 21 a factor of g?
True
Let y = 223 - 221. Suppose 2*n + 2*p = 5*p + 250, -3*n + 388 = y*p. Is n a multiple of 7?
False
Let g be 2/12 + 115/30. Let t be g/(-22) - 1*174/11. Is 5 a factor of 108/t*(-6 - -2)?
False
Let b = -17 - -10. Let d be (4 + b/2)*2*257. Let y = d - 110. Is y a multiple of 21?
True
Suppose 0 = -102*k + 107*k + 12480. Let q = -1676 - k. Is q a multiple of 41?
True
Let i(m) = -45*m**3 - 3*m**2 - 7*m - 12. Suppose 15 = 15*r + 45. Does 25 divide i(r)?
True
Let y(f) = 3*f**3 + 111*f**2 + 18*f + 2. Does 13 divide y(-35)?
False
Let l = -25 + -125. Let j = 16 - l. Is 9 a factor of j?
False
Let s(v) = 35*v - 26. Let z(r) = 11*r - 9. Let w(o) = 2*s(o) - 7*z(o). Let l be -5 - (1 + 0)*-1. Does 11 divide w(l)?
False
Let i(q) = -q**3 + 4*q**2 - q - 6. Let z be (6/(-8))/(651/112 - 6). Let o be i(z). Let y(t) = -5*t - 31. Is 3 a factor of y(o)?
False
Is 19 a factor of 875/(-300)*3/(-5) - 18917/(-4)?
True
Let n(v) = 0*v**3 - 26*v - v**3 + 8*v**2 + 2 + 5*v**2 + 10*v**2. Let r be n(22). Let d = 108 + r. Does 11 divide d?
True
Let q = 25400 - 12541. Is 36 a factor of q?
False
Does 7 divide (-81)/(-9)*(1665/74 - 2/(-12))?
False
Is 33 a factor of (11 - 1) + (-220)/20 + 10152?
False
Let u(i) = -i**3 - 5*i**2 - 9*i + 20. Suppose -12*d - 24 = -132. Suppose 0 = 4*w - r + 25, -4*r + r = d. Does 22 divide u(w)?
False
Let k(g) = 2*g**2 + 2*g + 294. Let r be k(0). Suppose -17*v + r = -15*v. Is v a multiple of 21?
True
Is (-3493014)/(-3528) - ((-13)/(-12) - 1) a multiple of 18?
True
Suppose 30*h = 29*h + 2. Suppose 3*q = 2*q - 3. Is h/q - (-47)/3 a multiple of 5?
True
Suppose -487*q + 98*q + 3776050 + 2603939 = 0. Is 21 a factor of q?
True
Suppose 95 = -34*s + 15*s. Let q(f) = 6*f**2 + 4 - 5*f - f**2 - 2. Is 38 a factor of q(s)?
True
Let g(u) = u**2 - u - 6. Let q be g(7). Suppose 31*l = q*l + 345. Let c = l + 104. Is 7 a factor of c?
True
Let q(i) = 3*i + 18. Let t be q(-6). Let o be 9825/45 - ((-4)/6 + t). Let z = 331 - o. Is z a multiple of 28?
True
Let a(y) = 140*y**3 + 13*y**2 - 29*y + 11. Is a(2) a multiple of 9?
True
Let t = 3378 + 46. Does 107 divide t?
True
Let y = -18 - -9. Let i = y + -19. Let g = 158 + i. Is g a multiple of 26?
True
Suppose 6 = -p + 4*g, 2*p - g + 3*g - 8 = 0. Suppose -p*n - 4026 = 14216. Is 19 a factor of n/(-63) - 4/(-18)?
False
Let c(z) be the third derivative of 0