-54*b + 119135 + 106855 = -144342. Does 25 divide b?
False
Suppose 4*f = 9*f. Suppose 4*b = 2*t + 176, 4*b - t - 178 = -f*b. Suppose b = 3*r + 5*l, 2*r - 4*r + 30 = -4*l. Is 4 a factor of r?
False
Suppose -134794 = -5*b + u, 3*b - u + 18270 = 99148. Is b a multiple of 274?
False
Suppose -935 - 2005 = -3*g. Suppose 17*r - 12*r - g = 0. Is r a multiple of 7?
True
Let a be (7 + -10)*94/(-6). Let v = a + -43. Suppose 0 = -0*o + v*o - 128. Is o a multiple of 4?
True
Suppose 5*v = -3*o + v + 34, -5*v + 8 = -2*o. Suppose -b = 2*x - 469, 8*x - o*x + 5*b = 489. Is 30 a factor of x?
False
Suppose -3877300 = 20437*l - 20487*l. Is 29 a factor of l?
True
Suppose -5*c - 12 = -6*c. Suppose -c - 4 = -5*w + 3*h, 4*w - h - 10 = 0. Suppose 5*v + 470 = 5*x, v + w*v = 2*x - 192. Does 10 divide x?
True
Let s(r) = -4735*r - 459. Is s(-1) a multiple of 4?
True
Suppose 11603 = -312*h + 406*h - 226405. Is h a multiple of 3?
True
Let p(z) = -4*z**3 - 180*z**2 - 77*z - 235. Is 19 a factor of p(-45)?
True
Let r(v) = -2*v - 65. Let l be r(-7). Does 8 divide (0 - 3)*l*35/45?
False
Suppose -2 + 6 = l. Let f be -6*l/16*(-8)/6. Suppose 3*t = -y - y + 76, 2*y = f*t - 44. Is 24 a factor of t?
True
Suppose -3*d + 4*x = -219, -3*x + 4*x - 311 = -4*d. Let i = -19 + d. Is 19 a factor of (i*(-2)/(-8)*-4)/(-1)?
False
Let f(h) = h**3 + 4*h**2 + 2*h + 6. Let w be 42/2*(2 + 0 - -1). Let k = -66 + w. Does 2 divide f(k)?
False
Let o = -250 - -349. Suppose -o = -9*t + 1296. Does 5 divide t?
True
Suppose -s = 9*p - 4*p - 7340, 2*p = 4*s - 29360. Does 31 divide s?
False
Let v(w) = w**3 - w**2 - w. Let b be v(0). Suppose b = -7*s + 548 - 65. Is s a multiple of 10?
False
Let u(l) = -5*l**3 - 58*l**2 - 53*l - 47. Is u(-14) a multiple of 12?
False
Let f be (-24)/28 - (2 + (-7660)/35). Suppose 0 = 8*x - 4*x + y - 820, -x - 3*y = -f. Is 39 a factor of x?
False
Let f(n) = 16*n**2 + 17*n + 2. Suppose -8 = 5*z + 2*c, -60*z = -64*z - 3*c - 5. Is f(z) a multiple of 30?
False
Let q = -85 + -83. Let r = -108 - q. Is 6 a factor of r?
True
Let b(v) = v**2 + 27. Let k be b(0). Suppose -26*j = -k*j + 4. Suppose -2*y = -3*x - 4*y + 641, -438 = -2*x + j*y. Is 40 a factor of x?
False
Is (126/(-90) - -2)*131*15 a multiple of 2?
False
Suppose 5*x - 694 = -c, -4*x - 667 = -c - 0*x. Let p = -331 + c. Suppose -4*t = 2*t - p. Is t a multiple of 18?
False
Suppose y - 8 = -7*y. Does 5 divide y/(-7) - 2955/(-105)?
False
Suppose 2*p = 22*u - 17*u - 10857, 5*u - 5*p = 10860. Is u a multiple of 13?
True
Let q(b) = 27*b - 40. Let s be q(-6). Let j = 299 + s. Is j a multiple of 6?
False
Let n be (-45)/(-10)*(-8)/(-6). Suppose 100 = n*h - 302. Does 29 divide h?
False
Suppose -5*d + 7*w = 3*w - 5, 0 = 5*d - w + 10. Is 7/21 - 170/d a multiple of 19?
True
Let c be 76/18 - (-14)/(-63). Suppose 8 + 0 = -c*i. Let n = 31 + i. Is n a multiple of 4?
False
Let m(o) = 4*o**2 - 4*o - 130. Is 38 a factor of m(-25)?
True
Let t(z) = z**2 + 21*z + 25. Let b = -157 - -136. Does 5 divide t(b)?
True
Let d = 4767 + -3313. Is 36 a factor of d/13 - 4 - (-10)/65?
True
Let l be ((-33)/99)/(2/(-18)). Let j(w) = 8*w**3 - 9*w**2 + 13*w + 3. Does 5 divide j(l)?
False
Suppose 0 = -5*z - r - 2*r + 18, z - r - 10 = 0. Suppose z*w = 4*w + 4. Suppose 2*l = w*m + 68 - 522, -450 = -2*m + l. Is 13 a factor of m?
False
Suppose -4*v - 6*p + 21 = -5*p, -10 = -2*p. Suppose -223 = v*y + n, -3*n + 11 + 48 = -y. Is 32 - (2/(-6) - y/42) a multiple of 10?
False
Suppose 448 = 4*r + 120. Suppose r = 4*o - 14. Is 33 a factor of 5 - 152/o - (-764)/6?
False
Let h = 42 + -30. Suppose -h = -10*o + 8*o. Suppose -o*f + 3*f = -51. Is f a multiple of 6?
False
Suppose -41 + 24 = -17*u. Is 0 + 19338/24 - u/(-4) a multiple of 62?
True
Does 19 divide 1*-2*(-51775)/218?
True
Suppose -16*w - 31*w = 48*w - 674880. Is w a multiple of 14?
False
Suppose -593*a + 505*a = -1602040. Is a a multiple of 55?
True
Suppose 393*r - 294*r = 495. Let t(g) = -14 + g + 2 - 5*g + 2*g**2. Is t(r) a multiple of 6?
True
Let j = 26 - 17. Suppose -4 - 30 + 1 = 11*s. Is j + 3/(s/(-3)) even?
True
Let t be -2 + -2 + 2 + 306. Let p = -176 + t. Let c = 218 - p. Is 9 a factor of c?
True
Let d(z) = 14*z**2 - 167*z - 5865. Is d(-45) a multiple of 240?
True
Suppose -m = 4*m, 0 = h - 5*m - 15. Let a be 2 + 4/10 + h/25. Suppose -2*b + 373 = a*v, 0 = -4*b + v + 4*v + 713. Is b a multiple of 13?
True
Let w = -15746 - -38546. Does 76 divide w?
True
Suppose 4*p = 13*p - 1350. Is 9 a factor of p/(-25) + (1 - -71)?
False
Let g(u) = 3*u**2 - 223*u + 13. Let a(c) = -4*c**2 + 334*c - 20. Let y(s) = 5*a(s) + 7*g(s). Let q(r) be the first derivative of y(r). Is q(0) a multiple of 21?
False
Let r = -3490 + 4963. Is 3 a factor of r?
True
Let m = -483 + 1380. Suppose q = -a + 228, -m = -4*a - 2*q + q. Is 10 a factor of a?
False
Suppose -5 = r, 2*t - r + 534 = -3*r. Let w be t + 4/2 + -1. Let p = 391 + w. Is 26 a factor of p?
True
Suppose -4*u = 5*k - 11232, -25*u + 6 = -23*u. Is k a multiple of 102?
True
Is 136 a factor of 17*(-3)/(-3)*(1534 - 5 - 1)?
True
Let q(i) = 422*i**3 + i**2 - 52*i + 107. Is 163 a factor of q(2)?
False
Let v(k) = -23*k + 1. Let r(m) = -22*m. Let s(w) = 2*r(w) - 3*v(w). Let d be s(1). Suppose -27*u = -d*u - 920. Is u a multiple of 25?
False
Let i(a) = a**3 + 14*a**2 + 19*a - 4. Let b be i(-10). Suppose 2*m + b + 68 = 0. Let f = -3 - m. Is f a multiple of 15?
False
Let z(j) = -144*j - 271. Is 61 a factor of z(-4)?
True
Let a(k) = -12*k**2 - 5*k - 4*k**3 + 6*k**2 + 12*k**2 + 2*k - 9. Is a(-3) a multiple of 23?
False
Suppose -967*f = -955*f - 91272. Is 13 a factor of f?
False
Let b(f) = f**2 + 58*f + 8364. Is b(0) a multiple of 68?
True
Let j = 24656 - 22560. Is 21 a factor of j?
False
Let s = 204 - 197. Let l(w) = 7*w**2 + 7*w - 43. Is 17 a factor of l(s)?
False
Let a be 0/(36/(-6) + 7). Suppose a = -2*m + 61 + 73. Is 6 a factor of m?
False
Let w be (-2364)/(-16) - ((-2)/2)/4. Suppose 0 = s + 2*p + 41 + 107, 0 = -s - p - w. Let k = 225 + s. Does 8 divide k?
False
Suppose -2*r + 5 = f + r, f + 3 = 5*r. Let q(u) = -u**3 + f*u**3 - 3 + 4*u**2 - 7*u + 8 - 5*u. Is 13 a factor of q(5)?
False
Let d = -480 - -495. Suppose 5*k = -2*g + 4481, 13*g - d*g = 4. Is 13 a factor of k?
True
Let r(t) = t**2 - 13*t + 34. Let k be r(10). Suppose 0 = g + k*f - f - 11, 26 = 4*g + 3*f. Is (2/g)/(8/1200) a multiple of 12?
True
Suppose 5 = -v + 5. Suppose v = -4*a + 5*a - 2. Suppose -3*n = -4*h + 385, -7 = -n - a. Is 50 a factor of h?
True
Suppose -6 = 11*q - 72. Suppose 4*i = 2*z + 180, 2*z + 63 = i + q*z. Is i even?
False
Suppose n + 1 = -9. Let x = 59 + n. Suppose x = 4*y - 135. Does 23 divide y?
True
Let p(h) = h**3 + 6*h**2 - 7. Let d = 20 + -25. Let w be p(d). Let x = 32 - w. Does 5 divide x?
False
Let j(n) = n**3 + 4*n**2 - 15*n - 13. Let o be j(-6). Let u be (1 + -2)*(-1 + o) - -18. Suppose -u*w - 250 = -19*w. Is w a multiple of 30?
False
Let t = 5234 + -2218. Is 26 a factor of t?
True
Let r = -573 + 4227. Is 42 a factor of r?
True
Suppose 0 = 16*g - 1045 - 5787. Does 7 divide g?
True
Let c = 105 + -99. Let y(d) = 182*d - c*d**3 - 91*d - 82*d - 3. Does 41 divide y(-3)?
False
Let g = -270 + 37. Let l = g - -248. Is 2 a factor of l?
False
Does 64 divide (8/12*-24)/(57400/9569 - 6)?
False
Suppose -23*h - 4*l + 2566 = -26*h, 2*h - 3*l + 1712 = 0. Let m = 1267 + h. Is 7 a factor of m?
False
Let i = 12049 - 6505. Is 88 a factor of i?
True
Suppose -4*t - 4 = -6*t. Let w(m) be the second derivative of 3*m**5/5 - m**4/12 - m**3/2 - m**2 - 119*m - 1. Is w(t) a multiple of 3?
True
Suppose -3*s = 3*d - 1164, 0 = d + 3 - 6. Suppose -110 = -9*z + s. Is 55 a factor of z?
True
Let f(t) be the second derivative of t**4/12 - t**3/2 - 11*t**2/2 - 4*t - 11. Is 2 a factor of f(-7)?
False
Let j(h) = -115*h - 69. Is j(-12) a multiple of 23?
True
Let i = 5805 - 3150. Does 16 divide i?
False
Suppose -g + 3*p + 58 = -16, 0 = -p - 3. Suppose -g*i + 62*i + 405 = 0. Does 5 divide i?
True
Let c be (22/4)/((-26)/(-624)). Let k = -114 + 210. Let x = c - k. Is x even?
True
Let f(l) = -5*l**3 + 4*l**2 + 2*l + 20. Let y be f(-5). Suppose 0 = -5*m - 3*k - k + y, -148 = -m - k. Does 3 divide m?
False
Let z = 9 + -6. Suppose -940 = -4*j + 5*q, z*j - q + 3*q = 682. Does 5 divide j?
True
Let o(p) = -p**3 + 38*p**2 - 38*p + 40. Let f be o(37). Suppose -2*c - w = -4