uppose 1178 = -a*r + 288*r. Is 19 a factor of r?
True
Let w(h) = 181*h**3 - 7*h**2 - 37*h + 101. Does 161 divide w(4)?
False
Suppose 10 + 29 = 13*k. Suppose 0 = -2*r + k*p + 120, 4*r + p = 280 - 54. Is r a multiple of 5?
False
Suppose 12 = -o - 5*x, 5*o - x - 16 = 2. Let c(h) = 5 - o + 3 - 7*h - 33*h. Is c(-1) a multiple of 21?
False
Let u = -431 + 903. Let d = 1048 - u. Is d a multiple of 48?
True
Let w = 2877 - 2737. Is 20 a factor of w?
True
Let o = -3631 - -13312. Does 8 divide o?
False
Let n(j) = 13*j - 28*j + 16*j. Let c be n(5). Suppose 4*u + 5*x + 58 = c*u, 174 = 3*u - 4*x. Is u a multiple of 18?
False
Suppose -47 + 2 = 9*u. Let q be u + 2 + 3 - -2. Does 3 divide q/(-8) + (-2 - 138/(-8))?
True
Let y(z) = -2*z**2 + 6*z + 13. Let x be y(4). Suppose 1213 + 867 = x*q. Suppose 5*l - q = -3*f, -4*f = 3 + 9. Is l a multiple of 17?
True
Suppose 1 = -i + 2*r, -5*i - 14 = -7*i - 4*r. Suppose 3*u + 871 = 4*u - i*b, u - 868 = 2*b. Is 23 a factor of u?
False
Suppose -4*d + 220*b + 23215 = 215*b, -3*d - 4*b + 17357 = 0. Is d a multiple of 120?
False
Let a be ((-1)/(-6))/(15/(-60))*-657. Suppose 434*l = a*l - 2588. Does 45 divide l?
False
Is -12 - (-36714)/3 - 20 a multiple of 7?
False
Suppose -7*n + 9490 = -30. Suppose -a - 2*t + 281 = 0, 0*t + n = 5*a + t. Is 11 a factor of a?
False
Let s = -705 + 405. Let i = 41 - s. Does 11 divide i?
True
Let z(q) = -q**2 + 1. Let u(l) = -910*l**2 + 4*l - 6. Let a(g) = -u(g) - 5*z(g). Is 19 a factor of a(1)?
True
Let f = 3229 - -1331. Is f a multiple of 20?
True
Suppose 0 = -3*f + 3, 0*f = 5*k + 4*f - 29. Is 4 a factor of k*(-30)/(-1) - (-1 - -2)?
False
Let a(b) = -118*b**3 - 19*b**2 - 42*b - 204. Does 34 divide a(-5)?
False
Let s = -1265 - -4200. Is s a multiple of 29?
False
Let l(x) be the second derivative of 1445*x**4/12 + x**3/6 + x**2/2 - 40*x - 1. Is l(1) a multiple of 32?
False
Let s(d) = d**2 - 188*d - 659. Is 5 a factor of s(-44)?
False
Suppose 5*n + 138 - 599 = 2*t, -463 = 2*t - 3*n. Let z = t - -278. Is 18 a factor of z?
False
Let i(w) be the first derivative of -w**4/4 - 11*w**3/3 - 11*w**2/2 - 12*w - 28. Is 9 a factor of i(-11)?
False
Let s = 774 - -2032. Does 61 divide s?
True
Let o(b) = -3*b + 27. Let l be o(8). Let u be (l/(-2))/((-3)/8). Suppose 0*c = 3*k + 5*c - 380, 0 = u*k - 3*c - 468. Is 15 a factor of k?
True
Let w(g) = -2*g**2 + 26*g + 13. Let h(i) = -i - 1. Let f(q) = 22*h(q) + 2*w(q). Is 5 a factor of f(6)?
True
Let h = 315 - 519. Is (12 - 11)/((-2)/h) a multiple of 6?
True
Let k(n) = 2*n**2 + 8*n + 166. Does 11 divide k(-27)?
True
Suppose 56*b - 102483 - 89037 = 0. Does 20 divide b?
True
Let l = 278 - 271. Let p(k) = 21*k**2 + 5*k + 24. Is p(l) a multiple of 32?
True
Suppose 3*y - 29006 = -4*f, 13*y - 28966 = 10*y + 4*f. Is y a multiple of 5?
False
Is 7 a factor of (-2)/(-9) - (-5816)/216*111?
True
Let f = -21 + 24. Suppose 0 = 4*r + 8*n - f*n, -r + 4*n = 0. Suppose -4*g - 191 + 899 = r. Does 12 divide g?
False
Let b(j) = -45*j. Let r be ((-4)/6)/(24/36). Let x be b(r). Suppose -2*l + x = 37. Does 2 divide l?
True
Suppose 273 = -7*b - 0*b. Let r = b + 43. Suppose -y + 129 = m + 2*y, -516 = -r*m - 5*y. Does 18 divide m?
False
Does 33 divide 11122/2 - (3/(-8))/((-78)/(-624))?
False
Let a = 829 + -802. Let l(j) = -106*j - 6. Let z be l(-6). Suppose -a*p - z = -30*p. Does 30 divide p?
True
Does 8 divide (-8)/((-13)/21684*12)?
True
Let c = -24594 - -31348. Is c a multiple of 10?
False
Suppose -166*r = 2128918 - 7994030. Is 44 a factor of r?
True
Suppose -5*w + 750 = -2*b, 4*b - 9*b - 300 = -2*w. Suppose -153*h = -w*h - 921. Does 12 divide h?
False
Suppose 0 = 78*q - 667224 - 956346. Is q a multiple of 23?
True
Let m = -14378 - -25445. Is m a multiple of 17?
True
Suppose 14*j - 2*j - 40*j = -558208. Does 32 divide j?
True
Suppose 5*u = 4*h + 4433, -2*u + 0*u - 3*h + 1764 = 0. Suppose -1639 = -2*l + u. Does 51 divide l?
False
Suppose z - 5*u + 112 = -282, 0 = -2*u + 8. Let p = -145 - z. Does 38 divide p?
False
Let s = 2 + 7. Let v(n) = -2*n**3 + 5 - 2*n**2 + 19*n**2 - n**2 + n**3 - 7*n**2 + 3*n. Is v(s) a multiple of 7?
False
Let d = 28192 + 3592. Is 8 a factor of d?
True
Let f(o) = -41*o - 77. Let y be f(16). Let u = y + 1273. Is 10 a factor of u?
True
Let z be (7 - 7)*(-1)/3. Suppose 9*v - 46 - 8 = z. Is v a multiple of 5?
False
Let v = 12580 + 3072. Is 14 a factor of v?
True
Let g = 18459 - 14567. Is 107 a factor of g?
False
Let a(y) = y**3 - 44*y**2 + 49*y - 208. Is 43 a factor of a(44)?
False
Let i = -2457 + 4163. Is 21 a factor of i?
False
Suppose 2*w = 9*w - 49. Let r(t) = 2*t**3 - 10*t**2 + t + 14. Let l be r(w). Is (-15)/(-10) + 1/(2/l) a multiple of 11?
True
Suppose -5*h - 15 = 0, 0*h + 3*h + 57 = 4*s. Suppose -4*q - 280 = -s*q. Is 11 a factor of q?
False
Let a = -790 + -898. Let w = 2363 + a. Suppose -9*y + 4*y + 655 = 2*h, 0 = -5*y + 2*h + w. Does 19 divide y?
True
Let j be (0 - 6) + 7 + (-2 - -2). Is 53 a factor of 4 + (-1244)/(-4) + j?
False
Let d(s) = 7*s**2 + 8*s - 7. Let k be d(5). Let j = k + -30. Is 5 a factor of j?
False
Suppose -21 = -0*b - 7*b. Let p(s) = -s**3 - s**2 + 2*s + 97. Let v be p(0). Suppose -2*r = -b*w - v, 0*w + 240 = 5*r - 5*w. Does 11 divide r?
False
Let i = -167 - -269. Let a(z) = -5*z**2 - i*z**3 + 50*z**3 + 54*z**3 + 3*z. Does 28 divide a(5)?
True
Suppose 0*w - 4*w - 1915 = -3*d, -3195 = -5*d + 5*w. Let f = -328 + d. Does 40 divide f?
False
Is ((-1337136)/1565)/(2/(-5)) a multiple of 12?
True
Let g = 5354 - 4105. Is g a multiple of 41?
False
Let v = -17312 + 41463. Is v a multiple of 22?
False
Suppose -5*b - 498 = b. Let t = 89 + b. Suppose -10*a + 36 = -t*a. Is a a multiple of 5?
False
Does 28 divide (4240/(-50))/((-2112)/1050 - -2)?
True
Let a = -263 - -590. Let x be (-2432)/(-24)*(-42)/(-8). Suppose -3*o = -2*v - a, -4*o = o + v - x. Is o a multiple of 31?
False
Suppose -4*o - 2*m = -3 + 5, -5*o = 3*m + 3. Suppose 4*b = 2*y - o - 2, 0 = -5*b + y + 5. Suppose -b*n - s + 343 = 2*n, 251 = 3*n + 2*s. Is 19 a factor of n?
False
Is 15 a factor of (-59745)/(-25)*(-14 + 19)?
False
Let c = -4870 - -17848. Is c a multiple of 28?
False
Let b(y) be the first derivative of -23*y**4/24 - y**3 + 20*y**2 - 32. Let f(i) be the second derivative of b(i). Does 6 divide f(-6)?
True
Let f be -7 - -3*(2 - 1/1). Is 7 a factor of 14/56 - 271/f?
False
Let r = 888 + -601. Let h = r - 147. Is h a multiple of 7?
True
Let k be ((-21)/14)/((-1)/16) + 3. Suppose 0 = y - 81 + k. Suppose 2*z = -2*t + 54, z - 3*z + y = -2*t. Does 19 divide z?
False
Let p(j) = 415*j + 1038. Is p(14) a multiple of 16?
True
Let n = 61 - 43. Suppose 14*d - n*d = -436. Suppose 0 = -2*j + y + d, 2*j + y = 6*y + 97. Is j a multiple of 6?
False
Let v = -17 - -19. Suppose -6*n - v + 26 = 0. Suppose 20 = n*z + x - 4*x, 0 = -3*z - x + 15. Does 5 divide z?
True
Let g be ((-3)/6)/(6/6)*-26. Let d(s) be the third derivative of s**4/8 + 53*s**3/6 - 8*s**2. Is 46 a factor of d(g)?
True
Let o(j) = -j**3 + 24*j**2 - 25*j + 53. Let n = 38 - 15. Let w be o(n). Let f(i) = -i**3 + 8*i**2 + 7*i - 13. Is 7 a factor of f(w)?
False
Let l(w) = w**3 + 5*w**2 + 5*w + 4. Let r be l(-3). Let v(b) be the first derivative of b**4/4 - 4*b**3/3 - 7*b**2 - 4*b - 37. Is 9 a factor of v(r)?
True
Suppose 0 = -r + 13*r + 9*r. Suppose 0 = 3*i - 5*o - 2081, r = -4*i + 11*o - 10*o + 2769. Does 13 divide i?
False
Suppose -u - 3*h + 3889 = 0, u = -2*u - h + 11643. Suppose 48*c - 68*c = -u. Is c a multiple of 21?
False
Suppose -2*v - 104 = -4*v. Suppose 0 = 5*u + 2 - v. Suppose 0 = b - u - 8. Does 16 divide b?
False
Suppose -18*z = -15*z + 3*p + 426, -z + 4*p = 137. Let g = 670 + z. Does 24 divide g?
False
Let r be -1*3/(0 - -1). Let x(t) = 2*t**2 + 4*t - 4. Let j be x(r). Suppose -4*a - j*z = -70, -5*z + 2 = -13. Is 8 a factor of a?
True
Let m(u) = -21*u + 988. Does 16 divide m(13)?
False
Let g(p) = -3*p**3 + 176*p**2 + 93*p + 181. Is 15 a factor of g(59)?
False
Let x be (-10625)/(-20) + 2/(-8). Suppose 3*t + a - x = -2*a, a - 541 = -3*t. Is 12 a factor of t?
False
Suppose 72*y - 9720 = 45*y. Does 15 divide y?
True
Suppose -651608 - 471892 = -250*x. Is x a multiple of 21?
True
Let q(t) = -t**2 + 23*t + 18. Let b(w) = -w**3 + 2*w + 41. Let k be b(0). Let r = 55 - k. Does 18 divide q(r)?
True
Suppose -5*p + 4*b = -131, 8*p + 3*b + 24 = 9*p. L