a - 146 = 49. Is a a multiple of 2?
False
Let b be (28 + 7)/((-2)/6). Let z = b - -217. Is 8 a factor of z?
True
Suppose -90745 = -73*y - 9058. Is 8 a factor of y?
False
Let o = -17 + 56. Let q = -29 + o. Is q a multiple of 3?
False
Let g(u) = -u**3 + 6*u**2 + 8*u - 3. Let i be g(7). Suppose 9 = -0*n - 3*n, i*y - 2*n - 390 = 0. Suppose 0 = -0*c - 2*c + y. Is c a multiple of 16?
True
Let z(w) = w**3 - 6*w**2 + 7*w - 2. Let s be ((-4)/((-4)/5))/1. Let k be z(s). Suppose -4*g + 32 + k = 0. Is g a multiple of 10?
True
Suppose 0 = -5*h - 0*j - 3*j + 34, 0 = -3*h - 5*j + 14. Does 3 divide (1 - -1)*20/h?
False
Suppose -6*q + 2*q + 24 = 0. Suppose q*f = 11*f - 50. Does 2 divide f?
True
Suppose 0 = 2*l + 4*f - 438, l - 5*f - 411 = -l. Is l a multiple of 19?
False
Suppose -5*s = z + 117, z + 5*s + 108 = 3*s. Let t = 244 + z. Does 15 divide t?
False
Let h = 2 + -9. Let s(w) = 7*w - 10. Let d(c) = c. Let a(j) = 5*d(j) - s(j). Does 7 divide a(h)?
False
Let t(c) = -c**3 - 16*c**2 + 44*c + 40. Does 41 divide t(-19)?
True
Let m(h) = h**3 + 15*h**2 + 48*h + 17. Does 11 divide m(-9)?
False
Let d(g) = g**2 + 9*g + 10. Let f be -5 - (-1 + -2)*-1. Let m be d(f). Suppose b = 5*b + m*s - 322, 5*s = 4*b - 343. Is 31 a factor of b?
False
Suppose -5 = 2*z + 4*m + 9, 1 = -3*z - 2*m. Suppose 3*w - 3*q = 2*q + 43, -z*q = -2*w + 27. Let f(r) = r**2 - 3*r + 5. Is 8 a factor of f(w)?
False
Suppose -72*k = -78*k + 6600. Is 20 a factor of k?
True
Let m(n) = n**3 + 8*n**2 + 7*n + 9. Let x be m(-6). Suppose -45 = -5*i - 3*s, -s - x = -2*i + 2*s. Let d(v) = -v**3 + 11*v**2 + 14*v - 9. Does 12 divide d(i)?
False
Let h(v) = -v**2 + 28*v - 17. Is h(14) a multiple of 21?
False
Let l = -111 + 55. Is 24 a factor of 4*6/l - (-1336)/14?
False
Let h(u) = -u**3 + 15*u**2 - 12*u - 72. Does 4 divide h(12)?
True
Let y be (-2)/5 - 669/15. Let i be (-3860)/y + 2/9. Suppose -5*l + a = -i, 4*l - a - 60 = 2*a. Does 18 divide l?
True
Let i be 24/16*(-4)/(-3). Does 14 divide ((-9)/6)/(i/(-24))?
False
Suppose 4*g + 31 - 43 = 0. Let p = -6 + 11. Suppose 23 = g*u + 8, -2*t - p*u = -83. Is 6 a factor of t?
False
Let c = 166 + -163. Suppose -5*d - 5*w = 25, -3*w - 5 = -5*d + 10. Suppose -50 = c*l + 2*t - 269, d = -2*l + 5*t + 165. Does 15 divide l?
True
Let l = -9 + 12. Suppose -3*y - 22 = -7, l*n + 2*y = -163. Let z = -24 - n. Does 9 divide z?
True
Let f(p) = -15*p + 4*p + 14*p**2 + p**3 - 4*p**2 - 6 - 4. Let r be f(-10). Let c = r - 29. Is c a multiple of 19?
False
Let m = -818 - -1811. Does 130 divide m?
False
Let g = 6 - 9. Let n(v) = 5*v + 3. Let s be n(g). Let t = s + 38. Does 14 divide t?
False
Suppose 4*x - 36 = -4*b + 40, 0 = 5*b + x - 115. Let g = b - 28. Does 13 divide 393/6 - (-2)/g?
True
Let f(a) = 4*a**2 + 3*a - 1. Let s(j) = -j**2 - j + 1. Let i(k) = -2*f(k) - 10*s(k). Let d be 2/(10/6 - 2). Is 16 a factor of i(d)?
False
Let s(m) be the third derivative of 5*m**4/24 + m**3/3 - 42*m**2. Let t = 1 + 3. Is 13 a factor of s(t)?
False
Let q(s) = 11*s**2 + 1. Let t be q(2). Let z = t - 30. Suppose -16*i = -z*i - 50. Is i a multiple of 25?
True
Let b(g) = -120*g - 37. Is b(-8) a multiple of 13?
True
Suppose 4*g - o + 46 = 0, -o - 27 - 15 = 4*g. Let z(j) = -j**2 + 5*j + 2 - 8*j - 10*j - j. Is z(g) a multiple of 18?
False
Let l(c) = c**2 + 8*c + 7. Let t be l(-6). Suppose -3*x - 3*o = -165, -355 + 68 = -5*x - 2*o. Let y = x - t. Does 16 divide y?
True
Suppose 3*b = -0*b + 15. Suppose -w + b*w - 40 = 0. Is 3 a factor of w?
False
Let v be (-1 - 2)/(3/5). Let r(j) = j + 10. Let g be r(v). Suppose -82 = -3*o + 4*s, -s = g*o - 0*o - 152. Does 10 divide o?
True
Is 23/(-230) + (-26526)/(-60) a multiple of 13?
True
Let k be (-2 + (-38 - 6/3))*-5. Suppose 6*o - k = -o. Is 10 a factor of o?
True
Is (-12)/(6296/(-3136) - -2) a multiple of 56?
True
Does 16 divide 49/14*480/35?
True
Let i = -25 - 15. Let t be 2/1*-2*i. Let m = -111 + t. Is m a multiple of 22?
False
Suppose 0 = g + c - 47, -194 = -4*g + 4*c + 2. Is g a multiple of 12?
True
Let p(x) = x**3 + 5*x**2 - 8*x - 9. Let b be p(-6). Suppose -8 = -b*c + c. Suppose -5*d + 198 = -u, c*d - 159 = -2*u + 3*u. Is 13 a factor of d?
True
Is 98/42 - 22589/(-21) a multiple of 42?
False
Let h(g) = -7*g + 7. Let x = -32 + 29. Does 16 divide h(x)?
False
Let q(k) be the first derivative of k**4/4 - 10*k**3/3 - k**2/2 + 12*k - 6. Let b be q(10). Suppose 12 = -3*i, b*u = 2*i + 12 + 56. Does 8 divide u?
False
Let c = -205 - -144. Let k = -35 - c. Is k a multiple of 13?
True
Suppose -2*m + 25 = 2*z - 19, 3 = -z. Suppose 4*a + a + m = 0. Is 20 a factor of (0 + -2)/(a/150)?
True
Let j be (-20)/6 + 5*(-12)/90. Is 4 + j*(-15)/4 a multiple of 13?
False
Suppose 5*a = 4*o - 339, 4*o - 246 = -5*a + 143. Is 25 a factor of o?
False
Let w be 115 - 9*(-4)/(-12). Suppose w = 2*f - 4*z, 3*f - z - 163 = -0*z. Does 18 divide f?
True
Suppose -4*s - 370 = -2*a, 7*a + 3*s - 925 = 2*a. Is a a multiple of 35?
False
Let j = 46 + -62. Let x = -20 + 13. Let w = x - j. Is 7 a factor of w?
False
Let z = -14 - -13. Let f be (-3 - -1)*-18 + z. Does 17 divide ((-90)/f)/((-3)/70)?
False
Suppose 3*q + 391 = 5575. Is 12 a factor of q?
True
Let o be (2/4)/(5/21180). Suppose -o + 792 = -13*c. Does 6 divide c?
True
Suppose 0 = -y - 0*y - 1554. Let r be y/(-28)*(-8)/6. Let g = -34 - r. Does 12 divide g?
False
Let f = 92 - -278. Does 74 divide f?
True
Suppose 4706 = 11*u - 10694. Does 28 divide u?
True
Let i = -228 + 2968. Is 10 a factor of i?
True
Is 54 a factor of -14*-3*(-18)/(-8)*20?
True
Let k be (-24)/(-10)*(-20)/(-3). Suppose 5*d - k = 4. Suppose 2 + 8 = v - 2*g, d*v - 3*g - 20 = 0. Is v a multiple of 2?
True
Suppose 6140 + 3160 = 5*u. Is 20 a factor of u?
True
Suppose 2*z = 3*z - 1. Suppose z = -5*i + 11. Suppose 0 = -2*m + 4*f - 6, 9 = -0*m - i*m + 5*f. Is m a multiple of 2?
False
Suppose 4*q = -3*n + 243, -78 = -q + n - 26. Does 40 divide q?
False
Let m = -27 - -24. Let v(k) = -2*k**3 - 5*k**2 - 4*k + 1. Does 4 divide v(m)?
False
Is 44 a factor of (-88)/(-5 - (-95)/20)?
True
Suppose 0 = 8*d + 303 - 2559. Suppose -n - a - 17 = -87, 4*n = -5*a + d. Does 34 divide n?
True
Let g(k) = -k + 44. Let a be 48/(-18)*(-3)/2. Suppose 0 = y - 4*i - 16, -5*y + i + 20 = -a*i. Does 11 divide g(y)?
True
Let b(i) = i**3 - 5*i**2 + 61*i + 6. Is 24 a factor of b(6)?
True
Suppose -3*h + 145 = -191. Suppose -5*q = -h + 27. Does 2 divide q?
False
Let n = -45 + 39. Is 12 a factor of -48*(-5)/((-20)/n)?
True
Let u(h) = -8*h**3 - 15*h**2 + 60. Does 39 divide u(-6)?
True
Suppose 2958 = 5*v - 2*x, 4*v - 3*x + 1312 = 3684. Is 10 a factor of v?
True
Let m(d) = 5*d**2 - 3*d + 5. Let y be m(-5). Suppose -2*h + 7*h - y = 0. Is h a multiple of 16?
False
Does 68 divide (-11)/((-77)/15393) - 6?
False
Let l(x) = 2*x**2 + 33*x + 67. Is l(-24) a multiple of 44?
False
Suppose 0 = -0*b - b. Let d be (-1)/(-1 - b) + 1. Is 12 a factor of (-6)/d - -1*39?
True
Let u be 30/9*(-12)/(-8). Let k(f) = -3*f - 3*f**3 + 8*f**2 + 3*f**3 - f**3 - 1. Does 17 divide k(u)?
False
Let t be 1/6 + (-23)/(-6). Is 7 a factor of (-1026)/(-15) + t/(-10)?
False
Suppose -2*y = -u, -5*y = -0*u + 5*u. Is 5 a factor of 2/((-2)/(-15) + y)?
True
Suppose 0 = 9*u - 6*u + 1098. Let f = -211 - u. Does 30 divide f?
False
Let w = 29 - 22. Suppose w*a + 61 = 8*a. Is 16 a factor of a?
False
Is 10 a factor of (-3232)/(-17) + (-2)/17?
True
Suppose 1 - 22 = -c + 4*u, -5*c + 4*u = -105. Is c a multiple of 9?
False
Let b(z) = z**3 - 54*z**2 + 5*z - 99. Is 25 a factor of b(54)?
False
Suppose -4 = -4*v - 3*l, 3*l - 17 = 5*v + 5. Let q = 989 - 995. Does 5 divide q/(3*v/10)?
True
Suppose -83*o = -82*o - 2. Suppose -347 = -5*n + o*k + 98, 5*n - 5*k - 430 = 0. Is n a multiple of 13?
True
Let v be 0 + 1 - (-1 + -42). Let g be ((-150)/(-9))/5*-9. Let b = v + g. Is b a multiple of 14?
True
Suppose -3*k = -4*l - 7*k + 8, 6 = -5*l + 3*k. Let n be (1 + 7)/((-2)/(-10)). Suppose l + n = 4*h. Is h a multiple of 6?
False
Suppose 5*h - 12 - 48 = 0. Suppose 0 = -4*d - j + h, 0 = -d - 7*j + 2*j + 3. Suppose -5*s + m = -d*m - 54, 5*m + 5 = 0. Does 10 divide s?
True
Let a(f) = -84*f - 2. Suppose 5*y - 3*b = -6*b + 7, 5*y - 3 = -2*b. Is a(y) a multiple of 35?
False
Is 21 a factor of (27/12)/9 + (-32250)/(-24)?
True
Suppose 4*j - 984 = 48. Is 10 a factor of j?
False
Suppose -12*p = -11*p - 4. Suppose 