-2*c + 2 = 4. Is t a multiple of 14?
True
Suppose -3*l + 20 = 4*h, -4*h - 4*l - 10 = -34. Suppose x - 4*o + h + 3 = 0, 3*o = -3*x. Is 13 a factor of (-104)/(x + (-2)/(-6))?
True
Suppose -14*u - 11413 = 9125. Let j = -844 - u. Suppose -361 - j = -6*c. Is c a multiple of 13?
False
Let q be 2/7 + 226/(-7). Suppose -2*b = 0, 159 + 109 = 4*n + 4*b. Let c = q + n. Is c a multiple of 7?
True
Suppose 3 = -27*j + 26*j. Let f(c) = c. Let r be f(j). Is (20/r)/((-3)/54) a multiple of 20?
True
Let w(y) = 2892*y + 1179. Is w(3) a multiple of 135?
True
Let g(n) = 7869*n**2 - 6*n + 9. Is 192 a factor of g(1)?
True
Suppose -3170811 = -239*v + 313809. Is v a multiple of 81?
True
Let t(h) = 2*h**3 - h**2 + 6*h + 4. Suppose 2*v = 5*a - 3*v - 20, 10 = 3*a - v. Let p be t(a). Let n = p - 3. Does 4 divide n?
True
Suppose 0*r + 4 = 2*r, 5*r = 2*m. Let o(g) = -2*g - 27. Let p(q) = 2*q + 28. Let h(x) = -6*o(x) - 5*p(x). Is h(m) a multiple of 16?
True
Let t(i) = -i**3 + 20*i**2 - 19*i - 24. Let p(r) = 2*r**3 - 20*r**2 + 19*r + 25. Let u(q) = -2*p(q) - 3*t(q). Suppose -15*y + 735 = -50*y. Does 16 divide u(y)?
True
Let y = 24981 - 8633. Is y a multiple of 169?
False
Let v(j) = -64*j + 1. Let x be v(5). Let m = x + 454. Does 3 divide m?
True
Let b = 233 + -234. Let j(f) = -193*f + 15. Does 11 divide j(b)?
False
Suppose 2*m + m = 5*g - 2007, -4*g - m = -1592. Let s(a) = 4*a + 98. Let r be s(-23). Suppose -o = r*o - g. Does 12 divide o?
False
Let l(g) = -7*g**3 - 12*g**2 - 42*g + 10. Let b be l(-6). Suppose 12*k - b = 1286. Is k a multiple of 7?
False
Let a = 50 - 36. Suppose 2*o = -0*o - a. Let s(u) = 2*u**2 - u - 4. Does 16 divide s(o)?
False
Let d(i) = -2*i**3 + 13*i**2 + 21*i - 35. Let q(g) = -3*g**3 + 19*g**2 + 32*g - 53. Let x(u) = -8*d(u) + 5*q(u). Does 4 divide x(10)?
False
Let q(l) = -3*l - 40. Let t be q(-13). Let z be (1/t)/((-2)/(-30)*5). Let d = 36 + z. Is d a multiple of 3?
True
Let m(v) = -72*v + 207. Is 7 a factor of m(0)?
False
Let k(w) = w**3 + 15*w**2 - 13*w - 96. Is k(9) a multiple of 8?
False
Let r(d) = 5*d**2 - d + 1. Let x(l) = 7*l**2 + 5*l - 5. Let m(h) = 4*r(h) + x(h). Does 18 divide m(-5)?
False
Let v(l) = 5*l + 15*l**2 - 20*l**2 + 120*l**2 + 11. Is v(-2) a multiple of 47?
False
Let q = -94126 + 135148. Is q a multiple of 258?
True
Let b = -3721 - -7896. Does 15 divide b?
False
Let s = -25 - 0. Let o be (-25 - s)/(1 + 0). Suppose -25*c + 29*c - 680 = o. Is c a multiple of 9?
False
Let r(d) = 5*d - 20. Let z be r(5). Suppose z = 3*w - p, -3*w - p - p - 10 = 0. Suppose u = -w*a + a - 109, 2*u = 5*a - 554. Is a a multiple of 14?
True
Suppose -4*x = -27*x + 2096 + 9266. Does 26 divide x?
True
Let j be (-41 - 5)*5/(-2). Suppose 64 = 4*b + 3*a, 5*b - a - 4*a - j = 0. Is 19 a factor of (b - 18)*(94 - -1)?
True
Let a = 4203 - 5908. Is 25 a factor of (a/93)/(1/(-16 + 1))?
True
Suppose 20 + 22 = 21*r. Is 0/(-3) - (-1466 + 8)/r a multiple of 27?
True
Let v(x) = -6*x - 37. Suppose 2*q = -5*o + 2 + 23, 0 = -4*q. Suppose -9 - 3 = -3*a, 0 = 3*f - o*a + 86. Is 24 a factor of v(f)?
False
Let w = 131 + -225. Let d = w - -876. Is d a multiple of 52?
False
Let l be 126/8 - 3/(-12). Let f(a) = 4*a - 60. Is 3 a factor of f(l)?
False
Let m(s) = -39*s + 5. Let b = -107 + 105. Does 4 divide m(b)?
False
Suppose 2875205 - 1439626 = -348*z + 19591087. Does 92 divide z?
False
Let m = -3200 - -5702. Suppose g = -17*g + m. Is 6 a factor of g?
False
Let a = -6686 + 31607. Is a a multiple of 117?
True
Is (-5 - 43886/(-2)) + (0/8)/(-8) a multiple of 14?
True
Let b = 51 - 49. Suppose -34*d - 295 = -35*d - k, b*d = -3*k + 595. Is 29 a factor of d?
True
Let d = -6025 + 10165. Is d a multiple of 15?
True
Let x(b) be the third derivative of -5*b**4/24 - 5*b**3/2 - 31*b**2 + 2*b. Suppose 5*l + 24 = -5*f - 6, 0 = -5*l - f - 50. Does 10 divide x(l)?
True
Suppose -19*r - 9*r = 84. Does 53 divide ((-265)/r)/((-15)/(-90))?
True
Let m(l) = 14*l**3 - 10*l**2 - 28*l + 20. Is m(6) a multiple of 148?
True
Let c be 2/(2/3) - 1. Let a = -136 - -138. Suppose c*l + 99 = a*t + 7*l, 2*t - 109 = -3*l. Is 4 a factor of t?
False
Is (391/(-69))/(-17) - (1 + 25664/(-3)) a multiple of 91?
True
Suppose -4*n = 14*d - 173376, -2*d = 5*n - d - 216819. Is 105 a factor of n?
True
Suppose 3*y - i + 7 = 1, 4*y - 3*i + 3 = 0. Is 5 - (y/4 + (-15883)/28) a multiple of 24?
False
Suppose -30*h + 10*h + 8*h = -42636. Is 17 a factor of h?
True
Let l = -19 - -17. Let q(h) = -21 + 1 + 3 - 2 + 7 - 19*h. Does 13 divide q(l)?
True
Let u(q) = -q**2 + 95*q - 478. Is u(34) a multiple of 12?
True
Suppose -3*u - 2*g + 16611 = -935, -4*u + 4*g = -23408. Is u a multiple of 25?
True
Is 104 a factor of 4286 + (-1)/(-4 - (-430)/110)?
False
Let c(j) = -10*j - 6. Let u(z) = 1. Suppose 7*p - 5 = -19. Let l(o) = p*u(o) - c(o). Is 14 a factor of l(7)?
False
Suppose 0 = 2*i + 162*f - 159*f - 37435, 2*f = 6*i - 112228. Does 34 divide i?
False
Suppose -147*u = -145*u + 3*x - 7017, -7027 = -2*u - 5*x. Is u a multiple of 94?
False
Suppose -650 = -5*n - 3*f, 650 = 5*n - 3*f + 7*f. Suppose q + n = 5*b, 4*b + 45 = 2*q + 155. Is 7 a factor of b?
False
Let k = 139 + -133. Suppose 4*u - 111 = -v, k*v - 8*v - 4*u = -226. Is v a multiple of 5?
True
Let r(c) = c**3 - 19*c**2 + 57*c + 14. Let y be r(20). Suppose 3*x - y = -5*s, -s + 1550 = 4*s + 5*x. Does 39 divide s?
True
Let k(x) = -x**2 + 2*x + 4. Let i be k(0). Suppose 1296 = 2*g + i*g. Let j = 326 - g. Is j a multiple of 52?
False
Let o(m) = -m**3 - 12*m**2 + 79*m + 222. Does 54 divide o(-24)?
True
Suppose 33*w - 37*w - 2*q + 334 = 0, -2*w + 5*q + 161 = 0. Suppose -8*x + 1859 = w. Is 9 a factor of x?
False
Let c = -259 + -133. Let r = 940 + c. Is 22 a factor of r?
False
Let v(z) = 30*z**3 - 12*z**2 + 110*z + 6. Does 9 divide v(6)?
True
Suppose 0 = 5*k, 180*g - 183*g = k - 4116. Is 28 a factor of g?
True
Suppose 0 = 3*i - 5*i + 104. Let c = 1501 + -885. Suppose i*g - 56*g = -c. Is 48 a factor of g?
False
Suppose -541085 = -160*r + 154045 + 570790. Is r a multiple of 184?
True
Let f(g) = 46*g**2 + 5*g + 26. Let k be f(-8). Suppose 492*n + k = 502*n. Does 20 divide n?
False
Suppose -31*w + 33*w - 4696 = 0. Suppose -11*r + w = -2063. Is r a multiple of 27?
False
Suppose 7*m = 33*m + 93*m - 1290317. Is m a multiple of 49?
False
Suppose -16*h - 72 = -22*h. Let b(a) = 2*a**2 + 34*a + 1. Is b(h) a multiple of 17?
True
Suppose -9*h + 32 = -7*h. Suppose 0 = -5*l + 3 + 7, 0 = 4*f + 2*l - h. Suppose f*w = 199 + 311. Is w a multiple of 18?
False
Let u(o) = 40*o**3 + 4*o**2 - 2*o - 2. Let p(v) = v**2 - 10*v + 23. Let a be p(3). Is u(a) a multiple of 8?
False
Let f(m) = -2*m**3 - 8*m**2 - 1. Let i be f(-4). Does 33 divide i/((-7)/(-1 - -3592))?
False
Let k = 57 + -12. Let n = k - 43. Suppose n*b = z + 29, 5*z - 52 = -5*b + 28. Is b a multiple of 2?
False
Let k(x) = -968*x - 6033. Does 63 divide k(-24)?
True
Let g = -288 + 475. Let c = g - 123. Suppose -p = p - c. Does 4 divide p?
True
Suppose -486 = 8*m - 6*m. Let t = 422 + m. Is t a multiple of 6?
False
Let r = 120 + -120. Suppose 5*s = 5*w - w + 606, 4*s - 5*w - 483 = r. Does 61 divide s?
True
Suppose -23*s - 4 - 134 = 0. Is 12 - -304 - s/(3 - 2) a multiple of 7?
True
Is 113 a factor of 8133/12 + (-16)/(-640)*10?
True
Let s = 688 + -457. Suppose -29 = -5*p + s. Is p even?
True
Let u(y) = -2*y**2 + 13*y - 17. Let f be u(9). Let l = -45 - f. Suppose q - 3 - l = 0. Is q a multiple of 4?
True
Let b(u) = 3*u**3 - u**2 - 15*u + 42. Let l be b(4). Suppose 0 = 6*c - l - 790. Is 5 a factor of c?
False
Let m(b) = -2*b**2 + 98*b - 5. Let j(a) = -2*a**2 + 48*a - 3. Let d(n) = -5*j(n) + 3*m(n). Is 47 a factor of d(-19)?
False
Let d(o) = -11*o + 234. Let x be d(31). Let j = 93 - x. Does 23 divide j?
False
Let o = 52 - 52. Suppose z - 250 = -o*z. Suppose 366 = 5*f - 2*n + 116, 5*f - z = -5*n. Is f a multiple of 13?
False
Let n = -40 + 113. Let f = -118 + n. Is 29 a factor of 3/((-45)/40)*f?
False
Let l(u) = 7*u - 1. Let n be l(-5). Let x = -34 - n. Suppose 4*b = -d + 2, -x*d + 5*b = 2*b - 15. Is 6 a factor of d?
True
Suppose 18*l + 40800 = 52*l. Does 8 divide l?
True
Let o = 1842 - 234. Does 6 divide o?
True
Let h = -463 - -50520. Suppose -h = -34*d + 14543. Does 25 divide d?
True
Is 22 a factor of (-24314)/(-5) - (-18)/(-630)*28?
True
Let w be 2/(-7) + (-103)/7. Suppose 5*n -