5, l + 4*a = 3602. Does 199 divide l?
True
Let u(n) = -7*n + 7. Let k(w) = -15*w + 13. Let h(t) = -4*k(t) + 9*u(t). Let q be h(6). Is 22 a factor of (21/9)/q*-66?
True
Suppose -14*h + 26212 = -10*h. Is h a multiple of 110?
False
Let y(z) = 7*z**2 - 100*z - 559. Is y(-7) a multiple of 95?
False
Suppose -19*x = 68*x + 51*x - 1522692. Is 75 a factor of x?
False
Let j = -38 + 28. Let a be 6/j + 1 - (-92)/20. Suppose -a*q + 46 + 279 = 0. Is 13 a factor of q?
True
Let p be -2 - ((-3 - -2) + -1). Suppose -16*y + 11*y + 1965 = p. Is 53 a factor of y?
False
Let h(j) = -3*j**2 + j + 1. Let c be h(1). Let r(y) = -9*y**2 + y + 2. Let f be r(c). Is 4 a factor of (-4 - 46/f)*16?
True
Let h(i) = -2*i**2 + 53*i + 2. Let n(k) = -k**2 + 12*k - 12. Let c be n(6). Does 5 divide h(c)?
False
Let j = 18582 + 2726. Is j a multiple of 28?
True
Let l(u) = 4*u**2 + 12*u + 13. Let h(i) = -11*i**2 - 36*i - 40. Let f(p) = -3*h(p) - 8*l(p). Let w be f(-7). Let k = w - -26. Is k even?
False
Let j = 11596 - 6786. Does 65 divide j?
True
Suppose 33 = -i + 16*y - 12*y, -12 = -4*y. Let k = i + 124. Does 11 divide k?
False
Let v(x) = -3*x**3 - 14*x**2 - 4*x - 15. Let m(h) = -2*h**3 - 47*h**2 - 25*h - 53. Let k be m(-23). Is 23 a factor of v(k)?
False
Suppose 21987 + 18347 = 86*m. Does 11 divide m?
False
Let m(g) = 38*g - 108. Let s be m(7). Suppose z + 1035 = 4*b, -b + 3*z + 87 = -s. Does 20 divide b?
True
Suppose -144*i = 346*i + 7618228 - 27969888. Is i a multiple of 38?
True
Let b(y) = -y**3 - 7*y**3 - 4*y - 1 + 0*y + 6*y**3 - 11*y**2. Does 13 divide b(-8)?
True
Suppose 0 = -11*t + 8*t + 8091. Suppose 4*o - 2156 = 4*u, -t = -5*o + 6*u - 3*u. Does 60 divide o?
True
Suppose 0 = 11*t - 9*t. Suppose t = -5*u + 20, 0 = 3*b - 0*b + 2*u - 185. Let y = b + -17. Does 6 divide y?
True
Let s be (-6)/(-4) + 11/(154/(-1421)). Let f = s + 230. Is f a multiple of 10?
True
Suppose -67*b + 39 = -64*b. Let f(i) = -i**2 + 8*i + 30. Let r(j) = 3*j**2 - 25*j - 90. Let y(p) = -7*f(p) - 2*r(p). Is 13 a factor of y(b)?
False
Let k(r) = 2*r**2 + 10*r + 10. Let f(q) = -4*q + 16. Suppose -3*t = 5*n - 0 + 2, 5*n = t - 26. Let b be f(t). Does 6 divide k(b)?
False
Let s = 10537 + -5667. Is s a multiple of 21?
False
Suppose 5*t + 2076*r = 2077*r + 211381, t = -2*r + 42274. Is t a multiple of 13?
True
Suppose 0 = -5*a + 25, -4*m - 4*a = -2*m + 456. Let t = m + 371. Is 10 a factor of t?
False
Suppose 0 = 5*y - 0*y - 25. Let p(o) = 5*o**3 - 11*o**2 - 8. Does 19 divide p(y)?
True
Suppose -4*s + 3*s = -5*c + 24, 0 = 3*s + 2*c + 4. Let k be (-25)/5 + s - -3. Is 14 a factor of ((-6092)/(-9))/4 - k/(-27)?
False
Suppose -346*g + 347*g = 4*y - 17701, -5 = g. Does 79 divide y?
True
Is 8 a factor of (-1)/((-2)/29738) - (-3)/6*-6?
False
Let l = -2496 + 5952. Is 72 a factor of l?
True
Let k = -26 - -74. Suppose k = 4*g - 8. Is g/70 - (-2)/(20/1198) a multiple of 20?
True
Let g(i) = -2*i**2 + 36*i + 3. Let b be g(18). Suppose 4*q = 20*v - 19*v + 682, 504 = b*q + 3*v. Does 10 divide q?
True
Suppose 132*a = 140*a - 10912. Does 11 divide a?
True
Let f = 8694 - 5204. Does 5 divide f?
True
Let r(l) = -2*l**2 - 10*l + 53. Let n be r(-8). Suppose 4*f - 954 = 4*u + u, 2*f = -4*u + 464. Suppose n*w - f = -16. Is w a multiple of 13?
False
Let b = 100239 + -64741. Is 37 a factor of b?
False
Suppose x = -11*i + 10*i + 12851, -2*x = -i - 25720. Does 48 divide x?
False
Let u = -25 - -23. Let q = u - 0. Is (11/q + 4)*-12 a multiple of 10?
False
Suppose -35*q + 276*q - 220203 - 65382 = 0. Does 3 divide q?
True
Suppose -992*q - 329358 - 28824 = -1003*q. Is q a multiple of 6?
True
Suppose -2*j = -4*b, -21*j - 2 = -24*j + 5*b. Suppose 4*v - 3*v = -p + 277, 3*p = 3*v + 825. Suppose 0 = j*x - 8*x + p. Is x a multiple of 15?
False
Let i = 12755 - 3300. Is i a multiple of 61?
True
Let d be ((-10)/(-4) + -2)/((-11)/(-44)). Let b(l) = -3085*l**d - l**3 - 7*l + 3085*l**2. Does 8 divide b(-3)?
True
Let m be (4/6 + 0)/((-6)/27). Let j be (12/(-4))/(-1) + m. Suppose -8*p + 246 - 22 = j. Is p a multiple of 4?
True
Suppose 2*l - 3152 = -4*h, -24*h + 26*h = -10*l + 1540. Does 6 divide h?
False
Let z be (642/8)/(684/48 - 14). Suppose -19*u + z = -1883. Does 6 divide u?
False
Let f = -4760 - -4826. Is f a multiple of 2?
True
Let u = -24 + 27. Let v(l) = -10*l**3 - 10*l - l - u - 4*l + 11*l. Is 43 a factor of v(-2)?
False
Let v = 25538 - 13754. Is 148 a factor of v?
False
Is (-5 + (-38374)/(-70))*25 a multiple of 140?
True
Let n(c) = c**3 - 18*c**2 + 33*c + 17. Suppose 0 = -40*p + 33*p + 112. Is n(p) a multiple of 17?
False
Let p(m) = 15*m - 95*m + 3 - 42*m. Is p(-2) a multiple of 19?
True
Let j(f) = f - 43. Let m(p) = 44. Let y(l) = -3*j(l) - 2*m(l). Let a be y(12). Suppose -3*k + 311 = -a*b, -5*b + 107 + 142 = 2*k. Does 16 divide k?
True
Suppose -s + 1 = 0, -67 = 2*t + 3*s - 2670. Is 25 a factor of t?
True
Suppose -2*i - z = -2, -z - 17 = i + 4*z. Let f be (i - 0)/((-1)/55). Let j = f + 369. Is j a multiple of 34?
True
Is -14 + 66/6 + (-31083)/(2 - 5) a multiple of 26?
False
Suppose -5*z - 14685 = -v, -3*z + 7885 = -2*v + 37213. Does 27 divide v?
False
Let m be 6*(1053/(-156))/(3/(-32)). Suppose m = -60*a + 66*a. Is 4 a factor of a?
True
Suppose 7*o - 26*o + 66690 = 0. Is 18 a factor of o?
True
Let d be -3 - (-3*27 - -1). Suppose 6*x + d + 505 = 0. Let c = x + 109. Is c a multiple of 4?
True
Suppose -4*n + 5*r = 1062, -2*r - 2*r = n + 276. Let t = 728 + -1156. Let a = n - t. Is a a multiple of 32?
True
Suppose -2*n - p + 39 = -11, p + 118 = 5*n. Suppose 0*z + 4*z = 4*h - n, 0 = -4*h - 2*z + 42. Suppose -h*u = -60 - 903. Is u a multiple of 11?
False
Suppose -141*q + 15 = -136*q. Suppose -q*x = 2*m - 710, 3*x - 1070 = 2*m - 352. Does 14 divide x?
True
Suppose 0 = 128*s - 137*s + 2862. Suppose s*p = 323*p - 700. Does 28 divide p?
True
Let x = -48 + 72. Suppose -5*o + 2*b + 1145 = 0, -4*o + 914 = 18*b - 20*b. Suppose -4*j + n + o = 0, -312 = -5*j + n - x. Is j a multiple of 12?
False
Let t(f) = -f**2 + 53*f + 227. Does 61 divide t(45)?
False
Let v(p) = -56 + 27 - 127 + p**2 - p. Is 6 a factor of v(15)?
True
Let z = 120167 - 50555. Does 50 divide z?
False
Let p be (2 + 3/(-3))*0. Let x be 0 - (10/6)/(-5)*p. Suppose x = -5*r + 28 + 117. Is 29 a factor of r?
True
Suppose 5*n + 40824 = 5*o - 14051, -65844 = -6*o + 5*n. Does 113 divide o?
False
Suppose -37998*x - 976374 = -38025*x. Is x a multiple of 49?
True
Let q be (-21)/7 + 6 + 5893. Suppose -1364 = -20*n + q. Does 11 divide n?
True
Let f(a) = a**3 + 2*a**2 - 15*a - 14. Let s be f(-7). Let t = 815 - s. Is t a multiple of 19?
True
Let y = -5634 + 17198. Does 98 divide y?
True
Let s be (1 - 2) + 3 - (-28 + 25). Suppose 83 - 489 = -4*d + 3*v, -5*d + 490 = s*v. Is d a multiple of 10?
True
Suppose l + 146 = -5*w, -4*l + 2*w = 7*w + 509. Let c = 132 + l. Is 3 a factor of c?
False
Suppose -2*r - 11358 = -6*r + 4866. Is r a multiple of 26?
True
Let c be ((-4)/10)/((-16)/40). Suppose f = -c, 2*l = 4*f - 5 + 19. Suppose 3*r + 3*u = 45, -l*r + 0*r + u + 105 = 0. Is 4 a factor of r?
True
Let m(z) = -48*z**3 - z**2 + 7*z + 2. Let p(d) = -29*d**3 - d**2 + 7*d + 3. Let f(t) = -2*m(t) + 3*p(t). Let n be 3/(-2*(-1)/2). Does 10 divide f(n)?
True
Let l(b) = -b**2 - 5. Let q be l(3). Let f = q - -2. Is 12 a factor of (f/8 - 1 - -2)*-30?
False
Let u(h) = -9*h - 1. Let l(g) = -2*g**3 - 6*g**2 + 11*g + 6. Let a be l(-4). Is u(a) a multiple of 3?
False
Let b(t) = -t**2 + 1. Let l(s) = -8*s**2 - 11*s - 31. Let a(y) = -b(y) - l(y). Let z be a(-5). Suppose 4*r - 211 - 93 = 4*n, -4*n + z = 3*r. Does 18 divide r?
True
Let v = 55492 + -22914. Does 179 divide v?
True
Let h(f) = 71*f + 3609. Is h(-50) a multiple of 13?
False
Let j(y) = 2*y**3 - 3*y**2 - 12*y + 23. Let n be j(4). Suppose 5*d - n*z - 6829 = -53*z, 0 = -d - 4*z + 1357. Is 15 a factor of d?
True
Suppose 2*f - 25 = -91. Let y = -31 - f. Is 141/y - 12/24 a multiple of 14?
True
Let y = 82 - 61. Let c = 23 - y. Suppose 134 - 30 = c*t. Is t a multiple of 13?
True
Suppose 41 = -o + 45. Suppose -o*l + 2*p + 704 = -58, 5*l - 939 = -2*p. Does 9 divide l?
True
Does 12 divide 2620 - (-7 - -4)/6*16?
True
Suppose 3*u + 17 = v, 0 = u - 5*u - 2*v - 6. Let h be u*(-4)/16*3. Suppose -3*a - 12 = 0, -h*a - 41 + 7 = -2*k. Does 5 divide k?
False
Suppose -3*n = 3*s - 4*s - 3729, 3729 = 3*n - 2*s