 - 2 = 0. Suppose q + 6 = -5*o, -k = q + 3*o - 5. Is q + -12 - (-3 + 1) a multiple of 5?
False
Suppose 2*x - 3 = 3*m - x, -4*x = 4. Let n(h) = 12*h**2 - 4. Let v(l) = -61*l**2 - l + 20. Let w(y) = 11*n(y) + 2*v(y). Does 18 divide w(m)?
False
Let n = 97 - 95. Is ((6 - 0)/n)/((-6)/(-10)) a multiple of 5?
True
Suppose 12*x - 19236 = 1764. Is x a multiple of 14?
True
Suppose -4*a + 27 = -45. Let q = -16 + a. Suppose -3*x = -q*y - 61 + 9, y = 5*x - 96. Is x a multiple of 15?
False
Suppose -848 = 47*x - 55*x. Does 2 divide x?
True
Suppose 0 = 44*y + 2*y - 73094. Does 58 divide y?
False
Let v(a) = -292*a + 26. Is 41 a factor of v(-3)?
True
Suppose -514*x + 12852 = -502*x. Is x a multiple of 63?
True
Let i(m) = 3*m**2 - 4*m. Let o be i(2). Suppose 2*c = -3*q + 17, -o*q + 23 = 6*c - 3*c. Suppose -4*b + 55 + 9 = 4*t, -2*t - q*b = -35. Is t a multiple of 6?
False
Is -9 - 7236/(-17 + 8) a multiple of 53?
True
Suppose 0 = -5*t - 4*i + 48, 8*t - 2*i - 36 = 3*t. Suppose -28 = -9*s + t. Is 5 a factor of 430/30 - s/(-6)?
True
Suppose 35 = -5*d + w, 1 + 0 = 4*d + 5*w. Suppose -3*p = p - 88. Let j = p + d. Is j a multiple of 16?
True
Let d(n) = -n**2 + 2*n + 1. Let y be d(2). Let w(i) = 17*i**2 + 2*i - 2. Is w(y) a multiple of 17?
True
Let k(j) = 2*j + 56. Let s = 13 + -13. Let p be k(s). Let x = p - 27. Is x a multiple of 12?
False
Suppose -10 = -x - 4*x. Suppose q - 63 = x*b, 3*q = -0*b - 5*b + 189. Is 9 a factor of q?
True
Suppose 61 = 6*i - 401. Is i a multiple of 8?
False
Let r be 2 + (0 + 2)/2. Suppose -4*h = -4*s + 8, -4*h + r*s - s + 2 = 0. Suppose -3*d = -3*v - 63, v + 53 = h*d + 3*v. Is d a multiple of 19?
True
Let y be (6/(-4))/((-3)/6). Suppose -8 = y*j + 76. Let r = j + 52. Is 12 a factor of r?
True
Let m(s) = -s**2 + 19*s - 6. Let b(d) = -3*d + 7. Let q be b(-3). Is 10 a factor of m(q)?
False
Let q(s) = 2*s**3 + 18*s**2 + 17*s + 27. Is 2 a factor of q(-8)?
False
Let x(o) = 2*o**3 + 3*o**2 + 5*o + 18. Let a(b) = 3*b**3 + 4*b**2 + 7*b + 27. Let k(q) = -5*a(q) + 8*x(q). Let g be k(-6). Is 2 - 1 - g/3 a multiple of 20?
False
Suppose 3*m - 8*m + 4*f = -11, -8 = -3*m + f. Suppose -11 = 5*v - m*h, 3*v = 2*v + 4*h - 9. Let o(y) = -54*y**3 - 2*y**2 - y. Does 16 divide o(v)?
False
Let w(j) = j + 2. Let k be w(5). Suppose l + 2 = h + k, 0 = -2*l + h + 6. Is (-4 - 0/l) + 40 a multiple of 12?
True
Let n(f) = 2 + 10*f**2 + 3 - 5480*f + 5496*f - f**3. Let y(x) = -x**3 - 6*x**2 - 3*x - 7. Let r be y(-6). Does 12 divide n(r)?
True
Suppose -5*b + 5*d - 45 = 0, -d + 5*d = -5*b - 54. Let x = -6 - b. Suppose -x*f + 2 = 2*y - 4*y, 0 = -y - f + 8. Is y a multiple of 5?
True
Let j(t) = -t**2 - 33*t + 24. Let m be j(-19). Suppose -6*z - 26 = -m. Is 11 a factor of z?
True
Suppose -7 = 5*l - 5*w - 17, -3*l - 4 = 2*w. Suppose l = 4*s + 7*o - 3*o - 612, 4*s = 5*o + 621. Does 22 divide s?
True
Suppose 0 = -5*c + 318 + 97. Is c a multiple of 8?
False
Let n(m) = -2*m - 1. Let j be n(-1). Is 6 a factor of (4 + (3 - 6))/(j/12)?
True
Let z = -38 + 64. Suppose 4*j = j + 4*p + z, -3*p - 17 = -2*j. Is j a multiple of 5?
True
Let s be 7/(35/(-10)) + -3. Does 5 divide (s - -41) + (1 - 4)?
False
Let a be 1/(-5)*-13 - 34/(-85). Let r(j) = 2*j**2 - 3*j. Let v be r(2). Suppose 4*s + 3*i + 2*i = 0, -s = v*i + a. Does 3 divide s?
False
Let v(o) = -o**2 + 2*o + 82. Let a be v(10). Suppose 12 = -3*p + 48. Suppose 3*q + h - 50 = 0, -p = -a*q - 4*h + 8. Is q a multiple of 6?
True
Let w = 36 + -44. Let i be (-4)/(-6)*51/2. Let z = i + w. Is z a multiple of 6?
False
Suppose -3*p = 2*g - 30, 3*g + 0*p - 35 = -2*p. Suppose g*s - 215 = 4*s. Is s a multiple of 6?
False
Suppose 3*w - 1488 = 4*u + 436, 4*u = 8. Is w a multiple of 46?
True
Let g(c) = c**2 - 3*c + 4. Let y be g(0). Suppose -2*i + 4 = -y, -3*p = 5*i - 488. Is p a multiple of 20?
False
Suppose 43 = 4*v + b - 51, 5*v = 4*b + 128. Suppose 0*i + v = 6*i. Suppose -2*r = -4, -4*c + 0*r = i*r - 52. Is c a multiple of 5?
False
Suppose 0 = 7*z + z - 2472. Suppose 57 - z = -2*s. Is 18 a factor of s?
True
Suppose -7*z + 4 + 10 = 0. Is 14 a factor of 500/35 + z/(-7)?
True
Let o be 35/21 - 4/6. Let k = 1 + o. Suppose k*p + 210 = 7*p. Is p a multiple of 6?
True
Suppose 110 = 4*n - 2*b, -b + 145 = 5*n - 2*b. Does 9 divide (-9)/(-3)*(1 + n)?
False
Let q(y) = y**3 - 40*y**2 + 19*y + 88. Does 14 divide q(40)?
False
Let a = -104 - -122. Does 9 divide 6*(-24)/a*(-10)/8?
False
Let j be (-12)/(-9)*3 + 66. Suppose -6*z = -z - j. Is 5 a factor of z?
False
Let r(h) = -2*h + 504 - 485 + 3*h. Does 4 divide r(6)?
False
Let t(w) = -3*w**3 + 3*w**2 - 2. Let q be t(3). Let l be (-2)/(-5) + q/(-35). Suppose 0 = l*c - c - 28. Is 7 a factor of c?
True
Is -1 + 4 + 14/(-7) + 73 a multiple of 37?
True
Let b(h) = 80*h**3 + 10*h**2 - 7*h + 2. Is b(3) a multiple of 97?
True
Suppose i - 2*d + 9 = 436, 5*i = d + 2135. Does 12 divide i?
False
Let l(f) = 260*f**2 - 3*f + 4. Does 39 divide l(1)?
False
Let i(b) = 211*b**2 - 44*b + 45. Is 5 a factor of i(1)?
False
Is 3526*((-225)/270)/((-5)/3) a multiple of 13?
False
Suppose 2*g = 10*g - 360. Is 9 a factor of 2592/g + 3/(-5)?
False
Suppose -4*i + 5*i + 2 = 0. Does 21 divide (52 - -11)*(-2)/i?
True
Let k(j) = -j**2 + 64*j + 681. Is 51 a factor of k(0)?
False
Let o(q) be the third derivative of q**6/120 - 13*q**5/60 - 13*q**4/24 - 2*q**3 + 57*q**2. Let p = -20 - -34. Is o(p) even?
True
Let g(u) = u**2 - 2*u + 18. Suppose -2*t + 4*t = -4*h - 8, 0 = 4*h + 16. Does 3 divide g(t)?
False
Let h be (4/3)/((-2)/(-141)). Suppose h = -6*z + 358. Is 4 a factor of z?
True
Let n(i) = -32*i + 48. Is 4 a factor of n(-2)?
True
Suppose o + 2285 = x - 4*x, x + 758 = -4*o. Is 7 a factor of (((-14)/(-21))/(-1))/(4/x)?
False
Suppose -2*v = 13*v - 10935. Is v a multiple of 14?
False
Let g be ((-6)/(-4))/((-1)/(-98)). Suppose 0 = 12*n - 1389 - g. Does 19 divide n?
False
Let k(f) = -10*f - 4. Let x be k(-2). Let i be 4/x - (-150)/8. Let p = 30 - i. Is p a multiple of 5?
False
Suppose 2*s = -5*j - 11, 0*s - 4 = -5*s - 2*j. Suppose 226 = 2*t + 2*d, t - 6*t + 593 = -s*d. Is 11 a factor of t?
False
Suppose -2*y + 0 + 16 = 0. Is 5 a factor of 39*(6/y + 2/8)?
False
Let v be (8/6)/(32/33 + -1). Let c = 54 + v. Does 5 divide c?
True
Let b be -1*(50/(-13) + (-20)/130). Does 20 divide -3*((-1)/b)/((-3)/(-112))?
False
Is 65 a factor of 40/15*18/(-12) - -1738?
False
Suppose 266 + 40 = 3*o. Does 7 divide o?
False
Let v(u) = -17*u. Let t be v(-5). Let b(m) = 53*m. Let j be b(-1). Let k = t + j. Is 16 a factor of k?
True
Suppose -2*t + 4 = -3*t. Let o be (-84)/(-8) + 2/t. Suppose 0 = -3*m + b - o + 46, -2*b - 36 = -3*m. Is m a multiple of 5?
False
Let l be (6/(-5))/((-9)/30). Suppose -2*s - 10 = 3*s + 2*a, a + l = -2*s. Is 6 + s/6*-3 a multiple of 2?
False
Suppose -2321 = -4*s + p + 2323, 0 = s - 3*p - 1150. Is 72 a factor of s?
False
Let c be 10/5 + 7 + 1. Suppose -r - c + 24 = 0. Does 3 divide r?
False
Does 15 divide (-435)/(-58)*(-1 - 523)/(-2)?
True
Let x(j) be the first derivative of -j**4/4 + 2*j**3 + j**2 + 2*j - 17. Let g be (-1)/(1/(-5)*1). Is 13 a factor of x(g)?
False
Does 35 divide ((-55)/(-220))/((-1)/(-1476))?
False
Suppose 0 = -18*s + 56*s - 19190. Is 42 a factor of s?
False
Suppose 37*j - 36 = 46*j. Suppose 5*r - 1615 - 75 = 0. Does 16 divide j/(-34) - r/(-17)?
False
Suppose -4*l = 25*f - 27*f - 2500, -l = -f - 626. Is l a multiple of 6?
True
Let s = 15 - 11. Let m be 3/s - (-60)/48. Suppose 2*a - 5 = 5*j, -2 = -a + m*j + 1. Is 5 a factor of a?
True
Suppose 0 = 4*o + 3*j - 118, 25 = 3*o + 4*j - 60. Is 31 a factor of o?
True
Suppose 0 = 13*a - 328 - 1817. Is 11 a factor of a?
True
Let h = 22 + -51. Let t = h + 35. Does 5 divide t?
False
Let x be -8*2 - (-24 - -27). Let m = 36 - -25. Let g = m + x. Is g a multiple of 14?
True
Let p be -2*(108/8)/(-9). Let h = -5 - -15. Let o = p + h. Is 5 a factor of o?
False
Let j(z) = -206*z - 18. Is 8 a factor of j(-11)?
True
Suppose 17*y = 14*y + 12. Is (60/5)/(4/y) a multiple of 4?
True
Suppose 17*y - 22*y = -55. Let s = y - -1. Is 12 a factor of s?
True
Suppose 0*c = c - 161. Suppose 327 = 2*n + 5*x, -2*n + c = -n + 3*x. Does 22 divide n?
True
Let v be 6363/8 - (-9)/(-24). Is v/6*(-28)/(-35) a multiple of 12?
False
Let k be (-901)/(-85) - 2/10*-2. Suppose -6*p = k*p - 238. Does 13 divide p?
False
Let z be -1*1 + (83 - -