ose 0 = 2*g + x + 15. Let w = 17 - g. Does 9 divide w?
False
Suppose -1019 = -5*q + 1511. Is q a multiple of 11?
True
Suppose -1332 = -42*x + 46*x. Let k = -45 - x. Is k a multiple of 48?
True
Suppose -5*x - 15 = -t + 2*t, -5*x + 10 = -4*t. Does 4 divide (3/1 - -9) + x + 0?
False
Let m(h) = h**3 - 5*h**2 - h + 5. Let s be m(5). Let o = -7 - s. Is 550/35 + (-2)/o a multiple of 8?
True
Let p(a) = -3*a + 14. Let w(q) = q - 5. Let s(t) = -6*p(t) - 17*w(t). Let b be s(6). Suppose b*z + 24 = 9*z. Is 12 a factor of z?
True
Let t(a) = 4*a**2 - 11*a + 10. Is t(-13) a multiple of 25?
False
Is -98*(-1 - (-1)/2 - 2) a multiple of 49?
True
Let d = -3509 - -4926. Is d a multiple of 32?
False
Let s = -33 - -25. Is ((-22)/s)/((-10)/(-200)) a multiple of 15?
False
Suppose 3*v = v - 3*b + 6, v - 3 = -2*b. Suppose -h = -v*h - 5*f + 170, 5*h = 3*f + 394. Is h a multiple of 5?
True
Let l = 19 - 14. Let y be 13/l - 4/(-10). Suppose -r - 2*w + 70 = r, 60 = 2*r - y*w. Is r a multiple of 11?
True
Let t be 6/8 - (-4)/16. Let l = -1 + t. Suppose l = 3*s - 87 - 102. Does 13 divide s?
False
Is 26 a factor of ((-26)/(-52))/(2/416)?
True
Let u(w) = 2*w - 24. Let d be u(14). Suppose 0 = -j - d*j + 340. Is 35 a factor of j?
False
Let w(c) = c**3 + 7*c**2 + 2*c - 10. Let d be -6 + (-2)/6 + 36/27. Is 10 a factor of w(d)?
True
Let d = -48 + 26. Let k = d + 16. Is (-248)/k + (-2)/(-3) a multiple of 11?
False
Let b = 2746 + 222. Does 53 divide b?
True
Suppose -104*d = -95*d - 5058. Is d a multiple of 21?
False
Let o = 6057 + -2769. Is o a multiple of 14?
False
Let y(i) = i**2 - 4*i. Let u be y(4). Suppose 4*f + v - 83 = 4*v, u = -3*f + 3*v + 63. Suppose 3*d + d = f. Is d a multiple of 2?
False
Suppose 8 = -2*a + 5*n - 15, 3*a - 18 = -3*n. Let v = 5 - a. Suppose -3*g - v*m + 16 = 0, 0*g + 23 = 5*g + 3*m. Is g a multiple of 2?
True
Let z(u) = -9*u**2. Let n be z(-2). Is (-4)/(0 - (-16)/n) a multiple of 2?
False
Suppose p + y - 23 = 6*y, 3*y + 6 = -2*p. Suppose 3*v - m + 7 = 0, -p*v + 2*m = -0*v + 11. Is 12 a factor of (6/9)/(v/(-36))?
True
Let z = -89 + 283. Does 39 divide z?
False
Let t(g) = -g**2 + 10*g - 5. Let b be t(7). Suppose -3*i - 5*c = -c - b, 0 = 4*i - 2*c - 14. Suppose -3*p + i = -26. Is p a multiple of 5?
True
Let k(u) = u**2 - u - 12. Let s be k(5). Suppose 4*o - s = -3*h, -4*h = -2*o - 28 + 10. Suppose -w - 81 = -h*w. Is w a multiple of 15?
False
Suppose 0 = 6*r + 1 - 31. Is -3 - (r/(-5) + -159) a multiple of 18?
False
Suppose 10*y - 1780 - 3410 = 0. Is 14 a factor of y?
False
Suppose 5*p = -4*v + 463, 2*v - 3*p + 0*p = 215. Is v a multiple of 3?
False
Suppose 0*q + 490 = 10*q. Is 5 a factor of q?
False
Suppose 72 = -3*u + 6*u. Suppose i + 25 - u = 0. Is 5 a factor of (-2 - (-4 - i))*7?
False
Let l be 1*(1 - -3)*1. Suppose -11 - 1 = -l*z. Is (-96)/(-15)*15/z a multiple of 8?
True
Suppose -3*q - 57*r = -52*r - 993, -5*r - 351 = -q. Is q a multiple of 24?
True
Suppose 0 = -2*d + 5*z + 6, 0 = 5*d - 2*z - 8 - 28. Let v = -34 + 48. Is (-64)/(-14) - d/v a multiple of 2?
True
Suppose s - 10 - 5 = 0. Let r = -15 + s. Suppose -v + 33 = 5*f, r = -3*f + 9. Is v a multiple of 8?
False
Let h(d) = -3*d - 16. Let b be h(-6). Suppose b*y + 10 = 0, -4*y = 2*s - 5*y - 285. Is 28 a factor of s?
True
Let n(u) = 3*u + 2*u - 4 - u - 3*u. Let b be n(2). Is 6/((-3)/28*b) a multiple of 12?
False
Suppose 5*i = -4*t + 1972, 3*t - 2*i = 6*t - 1479. Suppose -3*a - 70 + t = 0. Does 47 divide a?
True
Let p(h) = -2 - 2*h + 3 + 3*h + 3*h**2. Let w be p(-1). Suppose -2*r = -3*a + 48, 37 = 4*a + w*r - 44. Is a a multiple of 8?
False
Let o = -38 - -200. Is o a multiple of 31?
False
Suppose 11 = 2*h - t - 9, -5*h = -2*t - 52. Suppose y - h - 28 = 0. Is 10 a factor of y?
True
Let s(t) = 24*t**3 + 2*t**2 + 2*t + 1. Let k = -10 - -9. Let x be s(k). Let w = 39 + x. Is w a multiple of 7?
False
Let l(c) = -c**3 - 5*c**2 + c + 3. Suppose 6*s - s + 4 = r, 3*s - 6 = 2*r. Let y be l(r). Suppose 5*j + 5*t = y + 72, 4*t - 8 = 0. Is 19 a factor of j?
True
Suppose 3837 = 3*i - 22*s + 17*s, 3*i - 3813 = -3*s. Does 37 divide i?
False
Let o be (-4 - (-5 + 0)) + -12. Let x = 53 + o. Is 7 a factor of x?
True
Let b = 414 - 180. Does 36 divide b?
False
Let d = 220 - 189. Is 31 a factor of d?
True
Suppose -4429 = -4*q + 3*r - 836, -r = -4*q + 3595. Does 9 divide q?
False
Suppose b + 5*v + 2 = 21, -5*b + v = -17. Let o(k) = 2*k**3 - 5*k**2 + 3*k. Is o(b) a multiple of 4?
True
Let z(p) = 182*p**2 + p + 1. Let s be z(2). Suppose s = 5*a + 211. Suppose 4*l = 2*d + a, -5*l - d + 4*d + 130 = 0. Is 6 a factor of l?
False
Does 39 divide (-24084)/(-52) - 8/52?
False
Suppose 2*j = -w - 35, 0 = 5*j - w + 2*w + 95. Let r = j - -23. Suppose 4*q - 4*v = 84, v - 76 = -4*q - r*v. Is q a multiple of 10?
True
Let c be 3/5*(-1 + 6). Let n(u) = -2*u**2 + 4*u**2 - 3 - u**2. Does 6 divide n(c)?
True
Let g(n) = -51*n**2 + n. Let v be g(-1). Let w = v + 82. Does 6 divide w?
True
Let c = -23 - -29. Let y = c - -23. Suppose 181 = 5*r - y. Is r a multiple of 19?
False
Let f = 22 - 51. Let n = f + 13. Let p = n - -48. Is 17 a factor of p?
False
Let r(z) = -7*z - 6. Let u(b) = -b**2 + 10*b + 6. Let g be u(11). Let f be r(g). Suppose 0 = -5*k + p + 74, 0*p - p - f = -2*k. Does 3 divide k?
True
Let t(f) = -f**3 - 5*f**2 + 5*f + 1. Does 10 divide t(-9)?
True
Let s(i) = 9*i**3 + 2*i**2 - 4*i + 3. Let o be s(2). Let l = -49 + o. Does 14 divide l?
False
Let j(k) = -44*k**3 + k**2 - 2. Let f be 1/(-1 + 0/(-2)). Does 5 divide j(f)?
False
Suppose -h - 4*n = -0*n - 1, 0 = -2*h + 4*n - 10. Is 11 a factor of (22/(-3))/(h/(-72)*-2)?
True
Let m be 6/9 - (-8)/6. Suppose -m*i - 110 = -7*i. Is i a multiple of 17?
False
Let g(n) = -n - 32 + 18 + 3*n + n. Let u be g(6). Suppose 2 = 2*x - 2, 112 = u*v - 4*x. Is v a multiple of 5?
True
Let q be (-15)/6*28/(-10). Let x(c) = 25*c**2 + c + 1. Let z be x(-1). Let a = z - q. Is 9 a factor of a?
True
Suppose -5*x = 165 - 55. Let d = -12 - x. Suppose 0 = 3*m - 4*a - d - 5, -4*m + 3*a = -27. Does 3 divide m?
True
Suppose -2*v - v = -45. Let n = 2 + v. Let i = n + 6. Is i a multiple of 14?
False
Suppose h = 3*h - 6. Let m = 16 + 76. Suppose o - m = -h*o. Does 6 divide o?
False
Let z(s) be the third derivative of s**5/30 - s**4/8 + s**3/3 - 12*s**2. Let f be -2 + 2 + 15/3. Does 14 divide z(f)?
False
Does 10 divide (-2)/8*4 - -177?
False
Let d be ((-90)/(-180))/((-1)/316*-2). Suppose 269 - d = 2*c. Is c a multiple of 19?
True
Let r(s) = 3*s - 15. Let l be r(12). Suppose -4*y + l = -y. Let g = y + 4. Does 11 divide g?
True
Let o(g) be the second derivative of g**4/12 + 7*g**3/6 - 3*g. Let x be o(-6). Let p(h) = -h**2 - 7*h + 2. Is p(x) a multiple of 6?
False
Does 10 divide 6*(-3)/(-2)*464/48?
False
Let l(h) = -47*h**3 + 3*h**2 + 4*h + 3. Does 12 divide l(-2)?
False
Suppose -3*j + 66 + 57 = 0. Is 15 a factor of (1 + j/(-5))*(-325)/26?
True
Let i(o) = 12*o - 1. Let g be i(4). Suppose y - g = 16. Suppose -4*b = -3*w + 176, -w - 2*b + 9 = -y. Is w a multiple of 11?
False
Let u = -14 - -87. Let s = u + -13. Is s a multiple of 12?
True
Suppose 18333 = 29*l - 2518. Does 28 divide l?
False
Does 18 divide -60*(-429)/(-77)*-7?
True
Is 23 a factor of (5 + (-17)/3)/(18/(-9315))?
True
Let c(q) = -q - 1. Let u be c(-4). Suppose f = u*f - 132. Does 11 divide f?
True
Let j = 14 + -10. Let g be (j/(-4) - 1) + 4. Suppose -10 - 14 = -2*i + g*c, 0 = 5*i + c - 36. Is i a multiple of 4?
True
Is 80/30 + -2 + 1982/6 a multiple of 5?
False
Suppose 208 = d + 24. Suppose 0 = -0*t - 2*t + d. Suppose 7*i = 3*i + t. Does 7 divide i?
False
Let l(t) be the first derivative of 4*t**2 - 42*t - 4. Is 15 a factor of l(12)?
False
Suppose 0 = 3*m - m - 82. Let o = 25 - m. Let s = 2 - o. Is 4 a factor of s?
False
Let q(c) = c + 2. Let o be q(10). Suppose -o*s + 6 = -11*s. Is s/39 + 152/26 a multiple of 2?
True
Let g(y) = y**3 + 22*y**2 - 2*y + 25. Let c be g(-22). Suppose 4*d = 3 + c. Is 3 a factor of d?
True
Suppose -2*s + 10 = 3*s. Suppose 0 = 3*d - 2*f - 13, d + 1 = s*f + 4. Suppose d*p - 2*z - 182 = 0, -191 = -5*p - 2*z - 13. Is 9 a factor of p?
True
Suppose -31*l = -42*l + 3850. Does 7 divide l?
True
Let v(t) = -2*t**3 + 37*t**2 - 36*t + 29. Is v(15) a multiple of 40?
False
Does 55 divide (-1 - (-2)/(-4))*(-171 - -3)?
False
Let p = -2326 + 3646. Does 12 divide p?
T