 3*a + 2*y - 2047 = -3*y. Let l = a + -581. Is 13 a factor of l?
False
Let a be (-4)/(-18) + 318/27. Suppose 0 = 8*w - a*w + 2624. Is w a multiple of 45?
False
Suppose -5*j - 4*r = -7113 - 13689, -2*r + 16638 = 4*j. Does 39 divide j?
False
Suppose l - 6 = -o - 1, -16 = -4*o. Let y be -5 - l*(1 + 2). Does 27 divide 368/10*(-20)/y?
False
Let s(l) = 16*l - 50. Let j be s(25). Suppose 87*x - 92*x + j = 0. Is x a multiple of 3?
False
Suppose 64 = 7*o + 316. Is 6438/14 + o/(-252) a multiple of 46?
True
Let k(s) = 52*s - 19. Let n(i) = 104*i - 37. Let h(x) = 5*k(x) - 3*n(x). Let t be h(-11). Suppose 15*y = y + t. Is 34 a factor of y?
False
Let z = -10879 + 18425. Does 77 divide z?
True
Let g = 5 - -34. Let r = g - 35. Suppose 4*k + i - 125 = 87, r*k - 4*i - 212 = 0. Is k a multiple of 13?
False
Let t(b) = -127*b - 265. Let m be t(-16). Suppose 2*l - 3*h - m = -30, -2*h - 4326 = -5*l. Is 8 a factor of l?
True
Suppose 127*b = -69*b + 972748. Is 18 a factor of b?
False
Let n = -214 - 631. Let f = -504 - n. Does 31 divide f?
True
Does 10 divide (386/9*(-945)/(-420))/((-1)/(-290))?
False
Let s(v) = v**3 + 11*v**2 - 6*v - 12. Let z be s(-9). Suppose -4*p - 99 = c, -4*p = -2*c - 9*p - z. Let x = -35 - c. Is 36 a factor of x?
True
Suppose 9 = 5*a - 16, 0 = 5*u - 2*a. Let o be 23220/24 - 1/u. Suppose 4*x + l - 935 = 0, 5*x - o = 4*l + 207. Is 20 a factor of x?
False
Suppose 125 = -5*t - 3*c - 320, -178 = 2*t + c. Let n be (t - 1)*(-1 - (3 + -3)). Suppose 2*z - n = -x, -5*z + x = -4*z - 39. Is z a multiple of 9?
False
Let v = -2 + -2. Let h be -184 + v/(-6)*6. Is (20/(-6))/(5/h) a multiple of 10?
True
Suppose 12*g = 8*g + 16. Suppose 2*w - 36 = g*u - 0*w, -u - 9 = -4*w. Let t = 67 + u. Is 17 a factor of t?
False
Let z = 6887 + -5987. Is z a multiple of 10?
True
Suppose -9 = -l + 4. Suppose v + 2 = r, 2*r = v - 2*v + l. Suppose 21 = f - 4*o + r, f = -2*o + 4. Is f a multiple of 2?
True
Suppose -424 = 40*y + 13*y. Does 25 divide y/(-4) - (6 + -979)?
True
Let p = -2947 + 9627. Is 8 a factor of p?
True
Let h be 22 + -23 + (-2)/(4/6). Is 16 a factor of (-2348)/80*h - 2/5?
False
Let g = -333 - -333. Suppose 14*w - 8 = 10*w, g = -x - 4*w + 56. Is x a multiple of 12?
True
Let v be (1 - (-3)/3) + (-11 - -11). Does 13 divide (1220/(-427))/((-1)/91*v)?
True
Let c(d) = d**3 + 61*d**2 - 286*d - 112. Does 6 divide c(-62)?
True
Suppose -i + 3*i = -3*x + 5, 11 = x - 4*i. Suppose 0 = x*l + 2*j - 965, 2*l - 648 = 67*j - 66*j. Is l a multiple of 19?
True
Let j be (-250)/(-15) + (-10)/6. Suppose -12*i = -j*i + 276. Is 3 a factor of i?
False
Let s(x) = 1010*x**2 + 6*x + 6. Let p = 299 - 300. Is s(p) a multiple of 49?
False
Let g be (7 + 17)*(-1 + 3). Is 48 a factor of (-1 - (0 - -143))*g/(-24)?
True
Let v(q) = q - 18. Let i(p) = -2*p + 27. Let f(t) = 5*i(t) + 8*v(t). Let z be f(-6). Suppose 4*w + d = 4*d + 170, w + z*d - 50 = 0. Is 5 a factor of w?
False
Let s be (54 - -1)*(4 - 3) + -2. Let w = 157 + s. Does 25 divide w?
False
Suppose 0 = o - 5*i - 14, 6 = -4*i + i. Does 51 divide (-28520)/(-140) - o/(-14)?
True
Suppose 7*j - 3575 = 5189. Let v = j - 856. Is v a multiple of 18?
True
Let n(v) be the second derivative of 241*v**4/12 - 7*v**3/3 - v**2 + 7*v + 2. Is n(-2) a multiple of 9?
True
Suppose -73*v = -62*v - 14157. Is 27 a factor of ((-27)/108)/(v/(-1284) - -1)?
False
Let u = -136 - -136. Suppose 8*o + o + 36 = u. Is (o/(-3))/(-2*(-1)/414) a multiple of 46?
True
Suppose 2*q + q - 20 = -2*o, -2*q - 5*o = -28. Suppose 2*t = q*t + 206. Let p = 9 - t. Is p a multiple of 23?
False
Suppose 9*i - 61692 = -28*i + 180843. Is 19 a factor of i?
True
Does 20 divide ((-1719)/15 - 3)*3800/(-38)?
True
Suppose 4125 = 10*h + 5*h. Suppose -330 = -h*i + 274*i. Is i a multiple of 33?
True
Suppose -145*d - 243372 = -162*d. Does 12 divide d?
True
Suppose 5*t - 4*y + 412 = 0, -4*t + 5*y - 183 - 152 = 0. Let r be 9 - 5 - (0 + t). Is 21 a factor of (r/(-5) + (-16)/80)*-17?
False
Let f(v) = -6*v + 30. Suppose -50 = -5*h + 5*q, 2*h + q - 7 + 2 = 0. Let a be f(h). Suppose -10*l + 13*l = 3*m - 864, a = -5*l - 20. Is 15 a factor of m?
False
Let x be ((-42)/(-4))/7 - 12/8. Suppose 3*w - 13 + 4 = x. Suppose 3*y - 31 = 5*h, 4*h = -w*y + 12 + 1. Is 6 a factor of y?
False
Let s be -140*(-8)/16*(-2)/4. Is 621/(-2 - s/10) a multiple of 25?
False
Suppose 0 = 2*t - 4*t + 5*z + 89362, -4*t + 9*z + 178724 = 0. Does 13 divide t?
True
Let c(h) = -167*h**2 - 6*h. Let g be c(1). Let x = 70 - g. Suppose -7*y + 4*r = -6*y - 105, 3*r = -2*y + x. Is 13 a factor of y?
True
Let q = -92532 - -134070. Is q a multiple of 87?
False
Suppose 5*p = 2*q + 11 + 10, -p + q + 3 = 0. Suppose -p*n = 4*b - 558 - 441, -5 = n. Does 16 divide b?
True
Let o(d) = 8*d**2 - 7*d - 15. Let q be (-1)/(-2)*6 + (0 - 8). Is o(q) a multiple of 10?
True
Suppose -4*a = -2*d - 68, -6*d + 9*d + 4*a + 92 = 0. Let o = 196 - d. Is o a multiple of 6?
True
Suppose 0 = -5*s, -5*d + 0*s + 3*s + 5 = 0. Let w be 12*(34/8 - 2) + d. Let z = 38 + w. Is 22 a factor of z?
True
Is 45 a factor of 3942 - (-7 - (-60)/(-12))?
False
Suppose 0 = 3*i + 4*f + 20, -8*f + 3*f - 25 = 5*i. Is 35 a factor of 468 + -1 + i/(-25)?
False
Let i = 3309 + -3213. Is 10 a factor of i?
False
Suppose 4*z - 2*d = -d + 48, z - 12 = 5*d. Suppose 0 = -3*l + z + 24. Let m(a) = 2*a + 16. Is m(l) a multiple of 19?
False
Let q = 16 - 37. Let p(r) = r + 64. Let b be p(-17). Let a = b + q. Is 13 a factor of a?
True
Suppose 11772 + 2913 = 2*p + 105. Is 54 a factor of p?
True
Let p = 69 + 36. Let b = 180 - p. Is b a multiple of 13?
False
Let w(f) = -140*f + 2731. Is 5 a factor of w(11)?
False
Suppose -8*o + 3070 = 9*o - 12*o. Is o a multiple of 2?
True
Let o = -15832 - -27013. Is 22 a factor of o?
False
Suppose -4107 = -h - 2*t, -4*h + 14021 + 2383 = 2*t. Is h a multiple of 3?
False
Let v = 29 - 29. Suppose 2*i - 19 + 7 = v. Suppose -i*z = -39 - 225. Does 3 divide z?
False
Let h(d) = -d**3 - 13*d**2 - 4*d - 24. Let s be h(-13). Suppose s*m - 756 = 26*m. Is 29 a factor of m?
False
Is 24078 - ((-2662)/110 + 22 - 1/(-5)) a multiple of 35?
True
Let a be (-4)/(4/3) - -15. Let z be 9249/9 + (-8)/a. Suppose -6*r + z = -881. Is r a multiple of 39?
False
Let a = -2261 - -5627. Does 22 divide a?
True
Suppose -337*k + 325*k + 12468 = 0. Is k a multiple of 7?
False
Suppose -3*y - 65 + 95 = 0. Suppose y*z - 11*z + 40 = 0. Suppose z*p - 37*p - 30 = 0. Does 10 divide p?
True
Suppose p = -t - 7 + 10, 0 = -3*t. Is 2 a factor of (-1)/((-110)/35 + p)?
False
Suppose -126694 = -34*z + 271446. Is z a multiple of 30?
False
Suppose 5*h + 5*d = 475, 0 = 2*d - 6*d - 4. Let r = h - 92. Suppose r*k + 3*s - 606 = -k, -k - s + 120 = 0. Does 20 divide k?
False
Let f be ((-11 - -3)/(-2))/((-2)/(-1979)). Suppose 6794 = 28*m - f. Is 16 a factor of m?
True
Suppose 0 = 4*x + 2 + 10. Let r(o) = -o + 12. Let a be r(x). Suppose -67 = -3*n - q, -q = -2*n + 63 - a. Is n a multiple of 10?
False
Suppose 54*n + 128735 = -80299. Let c = n + 5906. Is 37 a factor of c?
True
Suppose 20*b - 720 = -0*b. Let u = b - 34. Suppose -l = u*l + 2*r - 538, 2*r = l - 182. Does 30 divide l?
True
Let n = -23 - -12. Let c be 1/5*(n + 6)/(-1). Suppose -c + 85 = 4*x. Is 7 a factor of x?
True
Suppose -16*k - 72*k = -199672. Does 8 divide k?
False
Let i(a) = 43*a**2 - 9*a - 27. Let f(z) = 22*z**2 - 4*z - 13. Let y(r) = 9*f(r) - 4*i(r). Let w(s) be the first derivative of y(s). Is 6 a factor of w(1)?
False
Let u = -31 - -37. Let s(q) = -q**2 + 6*q + 5. Let h be s(u). Suppose -3*c + h*f + 0*f = -283, 0 = -2*c + 2*f + 190. Is 19 a factor of c?
False
Suppose 13*a = 159395 + 62970. Is a a multiple of 11?
True
Let x(c) be the first derivative of 8*c**3 + 10. Let a be x(4). Suppose -v = 3*v + 2*r - a, 0 = 2*r. Is v a multiple of 29?
False
Let u(h) = -3*h + 24. Let b be u(9). Is 23 a factor of b*5/(60/(-452))?
False
Let s(z) = 2*z**2 + 43 - 61 - 16*z + 3*z. Let f(p) = p + 1. Let u be f(7). Is s(u) a multiple of 2?
True
Suppose 101*g + 843456 = 147*g. Does 96 divide g?
True
Suppose -5*r - 425 = -5*q, -r + 19 = -2*q + 109. Let p = r + 85. Suppose y = -y - p*x + 174, 3*x + 303 = 3*y. Is y a multiple of 9?
False
Let t(o) = 97*o**2 - 17*o + 14. Let z = 493 - 490. Is t(z) a multiple of 22?
True
Suppose -89972 = -44*b + 22008. Does 5 divide b?
True
Let n = 6 - -8. Let b = -13 + n. 