ppose 0*u = 5*u - l. Is 12 a factor of u?
True
Does 173 divide 3 + (43 - 44)/(2/(-11848))?
False
Suppose 38096 = -111*x + 116*x + 4*k, -2*x + 15236 = 4*k. Does 6 divide x?
True
Suppose -9*u + 95232 = -6*u + 4*m, 5*u - 2*m - 158720 = 0. Is 14 a factor of u?
False
Let u(p) = 3*p**2 - p**3 + 19*p + 89 - 8*p**2 - 10*p**2 - 8*p**2 + 0*p**2. Does 11 divide u(-24)?
True
Suppose -33*i = -2*o - 34*i + 1056, 5*i + 20 = 0. Let w = o - 294. Is w a multiple of 26?
False
Let u(o) = -o**3 + 5*o**2 - 3*o + 5. Let w be u(4). Let r(f) = 256*f - 240. Let c(z) = 560*z - 528. Let d(t) = 11*c(t) - 24*r(t). Is 16 a factor of d(w)?
True
Let c(i) = 6*i**2 - 5*i + 46. Let z be c(6). Suppose 0 = -3*d + 3*t - 201 - 189, z = -2*d - 5*t. Let k = 33 - d. Does 9 divide k?
False
Suppose -19*f = -1 - 18. Let d(g) = 542*g**2 - 8*g - 2. Is d(f) a multiple of 19?
True
Let f = 9416 - 5307. Is 2 a factor of f?
False
Let u(y) = 11*y**3 - 141*y**2 + 27. Is u(15) a multiple of 67?
True
Let y(r) = -8*r - 22. Let c be y(-3). Suppose -4*s = -4*k + 8, 4*s = -c*k - s - 31. Let t(q) = -32*q + 20. Is 29 a factor of t(k)?
True
Let k = -4061 - -7882. Let o = k - 1997. Does 48 divide o?
True
Let z(g) = -17*g**3 + 5*g**2 + 44*g + 282. Is 15 a factor of z(-6)?
True
Suppose 44*w - 7780 = 64*w. Let p = -339 - w. Is p a multiple of 21?
False
Let y(q) = 8 + 10 + 7*q - 8. Suppose 3*w - 14 = x - 3*x, w + 3*x = 0. Is 7 a factor of y(w)?
False
Suppose 11*h - 81 = -16*h. Suppose 2*b - 120 = -b + 2*q, -h = -q. Is b a multiple of 21?
True
Suppose -9 + 39 = 15*q. Suppose 3*r = 2*m + 363, 0 = -2*r - q*m + 117 + 115. Is 5 a factor of r?
False
Let v(s) = 4*s**2 + 8*s - 131. Let r(w) = 2*w - 1. Let u(n) = 2*r(n) + v(n). Is u(11) a multiple of 21?
True
Suppose 65*u + 98*u + 63*u - 3006704 = 0. Is u a multiple of 143?
False
Let a(w) = w**3 - w - 2. Let l be a(-2). Is -16*(l + 278/(-8)) a multiple of 76?
True
Suppose 5*x - 124 = -3*m, -5*m + m - 8 = 0. Let a = x + -23. Suppose a*s - 622 = -4*z, -4*z - s - 460 = -7*z. Is 22 a factor of z?
True
Suppose 0 = -42*j - 91*j + 11039. Is 13 a factor of j?
False
Suppose 4*z - 39 = 5*z. Let s = -75 - z. Is 8 a factor of (-154)/(-4) - s/(-24)?
False
Suppose 273*u = 82*u + 3198868. Is u a multiple of 26?
False
Suppose l - 5*h = 3678, 2*l - 3119 - 4201 = -2*h. Does 10 divide l?
False
Let p = 21583 + 1649. Does 44 divide p?
True
Suppose -2*u + 8 = 0, 5*u = 7*q - 2*q + 5. Let y(s) = 25 + q*s**2 + 25 - 5*s - 46. Does 24 divide y(-6)?
False
Let q = -220 + 225. Suppose -q*p = 5*k - 370, -p + 4*k + 54 = -40. Is p a multiple of 13?
True
Suppose -9*v - 11*v = -v. Does 4 divide (65 - 3) + v + 5?
False
Suppose 5*d - 7 = -4*i + i, 0 = 4*i + 5*d - 11. Suppose 10*a - 1330 = 5*a - i*c, 0 = -3*a - 3*c + 798. Let t = a - 184. Is 34 a factor of t?
False
Let s(k) = -39 + 2*k**2 - 5 + 0*k**2 - 20*k + 32. Is s(16) a multiple of 9?
True
Suppose -23 - 153 = -8*d. Suppose 5*m - 74 = 4*z - d, 0 = 5*z + 3*m + 65. Is 7 a factor of -1 - -2 - (-59 - z)?
False
Let w(n) = 94*n**2 + 563*n + 51. Is w(-14) a multiple of 40?
False
Let a = -7908 + 8983. Does 15 divide a?
False
Let a(f) = -3*f**2 + 53*f + 9. Let b be a(16). Let u = -63 + b. Suppose 212 = u*l - 25*l. Is l a multiple of 17?
False
Let r be 3 + 9 + -6 - 2. Suppose 123 = 3*v + 5*i, r*i = -0*i - 12. Does 3 divide v?
False
Suppose -3*z = -z - 2*y, -3*y + 2 = -2*z. Suppose -5*m + 7*m - z = 0, -1171 = -4*k + 5*m. Is k a multiple of 42?
True
Let j(c) = -3*c - 19. Let u be j(0). Let a = 24 + u. Suppose a*o - 120 = -2*n, -4*n = 2*o + 3*o - 120. Is o a multiple of 3?
True
Let s = -98 + 103. Suppose -31 = -s*d - 3*x + 7*x, 0 = 4*x + 16. Does 5 divide d*3/((-9)/(-65))?
True
Let v(m) be the first derivative of 46*m**2 + 164*m + 128. Is 84 a factor of v(11)?
True
Suppose 4*h = -5*t - 9, h - 2*t + 10 + 2 = 0. Is 82 a factor of (3 - -27 - h)/(2/41)?
True
Let h(l) be the second derivative of l**3/2 - 20*l**2 - 6*l. Let f be h(15). Is (f - -21)*(1 + 3) a multiple of 13?
True
Let z(a) = 1176*a - 23. Let j be z(2). Suppose 0 = -11*l - j + 5992. Is 46 a factor of l?
False
Let v(c) = -c**3 + 93*c**2 - 36*c - 382. Is v(92) a multiple of 53?
True
Suppose 3*d - 40 = -76. Let r be 2/(-6) + 11876/d + 2. Is 19 a factor of r/2*4/(-8)?
True
Let m = 99 + -96. Suppose -m*v = -5 - 1, 4*t + 5*v - 3506 = 0. Is 29 a factor of t?
False
Suppose -2*g - 108090 = -4*b, -7*g - 71546 - 9494 = -3*b. Does 29 divide b?
False
Does 11 divide (-121)/(-33)*-9*-369?
True
Let h = 21 + -1. Let y(n) = n**2 - 24*n + 50. Let v be y(h). Let d = 163 + v. Does 9 divide d?
False
Suppose 0 = 3*h - 7*h - 4*s + 2544, -5*s = -4*h + 2517. Is h a multiple of 2?
False
Let y(b) = 6*b**2 + 174*b + 432. Does 54 divide y(-56)?
True
Suppose -23*d - 296505 = 22*d - 1251225. Is 32 a factor of d?
True
Let h(b) = 2*b**3 - 19*b**2 - 22*b + 1. Let m(w) = 3*w**3 - 38*w**2 - 44*w + 2. Let r(s) = -5*h(s) + 3*m(s). Let g = -6 - 12. Does 31 divide r(g)?
False
Let g(r) = 152*r + 2866. Is g(53) a multiple of 242?
False
Suppose -13543 + 1321 = -6*n. Is 15 a factor of n?
False
Suppose -33 = 92*g - 93*g. Suppose g*s = 25*s + 1536. Is 16 a factor of s?
True
Suppose 2*k - 466 + 66 = 0. Suppose 47*n - k = 43*n. Is 10 a factor of n?
True
Suppose 0 = -4*k - 2*d + 26, -2*d = -2*k - k + 23. Let s(g) = -6*g - 35. Let z be s(k). Is (-2)/11 + (-2478)/z a multiple of 5?
False
Suppose 3*v + 2*v - 10 = 0. Suppose -v*c + 4*x = -18, 0 = -3*c - 2*x - 2*x - 13. Is 2 + 3 + 27 + c a multiple of 11?
True
Suppose -34 = -2*w - 28. Let m be 61 - ((9 - w) + -2). Let k = m - 27. Is k a multiple of 18?
False
Let a(t) = 453*t**2 + 75*t - 19. Is 19 a factor of a(6)?
True
Let f(h) = h**3 + 35*h**2 + 30*h - 1026. Is f(-31) a multiple of 236?
True
Let n be ((-4)/6)/((-11)/165). Suppose n*j - 213 = 107. Suppose 40 = 3*p + 2*g, 3*p - g - j = 20. Is p a multiple of 16?
True
Suppose -5*i = 0, 35*p - 5195 = 34*p + 2*i. Is 20 a factor of p?
False
Suppose 0 = -2*q + 3*l + 832, -2*q + 5*l + 1178 = 342. Suppose -5*n + q = -2477. Is 27 a factor of n?
False
Let c(u) = -4*u + 63. Let y be c(12). Is 15 a factor of 1/(y/(-800))*(-15)/2?
False
Let c(g) = 13*g**2 + 1426*g + 8504. Is c(-6) a multiple of 26?
True
Suppose 3*b = 5*t + 95, 5*t = -4*b - 6 - 54. Let x(f) = -4*f - 50. Let m be x(t). Suppose 0 = -y + m*y - 1287. Is y a multiple of 9?
True
Suppose 0*t + 2*t - 624 = -2*d, 2*t = 2*d - 624. Suppose 0 = -5*x + 5*q + 690, 4*x + 4*q - d - 200 = 0. Is 31 a factor of x?
False
Let h = -145 + 150. Is -2*(0/h - 116) a multiple of 58?
True
Let w be (-4 + 4 + -1)/((-2)/586). Let m = -90 + w. Suppose -4*y + 181 = -m. Is y a multiple of 12?
True
Suppose -532*q + 2380368 = -104*q + 178*q. Is q a multiple of 5?
False
Let r be (-118032)/(-1104) - 3/(69/(-2)). Suppose -r + 349 = 11*g. Does 4 divide g?
False
Let g = -392 - -419. Let f(d) = d**2 + 4*d + 47. Is f(g) a multiple of 68?
True
Let p be (2262/(-12))/13*-3*2. Suppose 80*j = p*j - 868. Is j a multiple of 23?
False
Let c = 203 - 105. Let g = -18 + c. Suppose -2*h + g = -4*k + k, 0 = 4*k. Does 4 divide h?
True
Suppose 3*l = 9*l - 96. Is 6586/l - (-2)/(-32)*-6 a multiple of 35?
False
Suppose s = -2*p + 92, 32*s - 5*p - 381 = 28*s. Does 47 divide s?
True
Let v be 79 - (5 - (5 + 3)). Let j = 32 - v. Let c = j - -62. Does 3 divide c?
True
Let g = -513 + 515. Suppose 3*y + 2*x = 3590, y - 5982 = -4*y - g*x. Is y a multiple of 13?
True
Let z = -10290 - -11177. Is z a multiple of 12?
False
Let b(l) = -l**2 - 7*l. Let m be b(-7). Suppose -18*u + 1712 + 556 = m. Is u a multiple of 9?
True
Suppose 2*b + 207 = -3*z + 709, 3*b = -12. Let a = -106 + z. Let o = a + -40. Is 12 a factor of o?
True
Suppose -i - 3*t = -6572, 5*i - 8*t = -12*t + 32871. Is i a multiple of 25?
True
Let t be (5 + 95/(-15))/(2/3). Let c(x) = -33*x - 3. Is 4 a factor of c(t)?
False
Let a(k) = 3*k**2 - 10*k - 19. Let b be a(5). Suppose 5*o = b*o + 2*l - 473, -4*l = -4*o + 1952. Is o a multiple of 23?
True
Suppose 8962 = t - 5*l, 9*t - 8*t - 8974 = l. Is t a multiple of 11?
False
Suppose 0 = -5*c + 2*x + 963, 5*x - 810 = -56*c + 52*c. Is c a multiple of 65?
True
Suppose 0 = 9*p - 44059 - 18653. Does 104 divide p?
True
Let y = -16051 + 23998. Is 17 a factor of y?
False
Let f be (16 - 15)*(-1 + 0). Does 41 divide 3/5 - f*4668/20?
False
Suppose -2*d + 19599 = 3*w, -7*d = 44*w - 45