+ w/10?
False
Let j be 4/(-6) - 98/(-21). Suppose -4*g - c + 237 = 0, c - 249 = -j*g + 4*c. Is g a multiple of 12?
True
Let y(o) = o**3 + 14*o**2 - 18*o + 105. Is y(-14) even?
False
Suppose -4*o - 6 = -26. Suppose -4*z + 387 = -o*w, 3*z - 149 = -3*w + 148. Is z a multiple of 14?
True
Let j(b) = 7*b**2 + b. Let r be j(1). Suppose 5*k - r*k + 144 = 0. Is 16 a factor of k?
True
Suppose -83*i = -84*i - 6. Let z be (-1 - (-23)/2)*2. Is (-61)/(-7) - i/z even?
False
Suppose 240 = -3855*u + 3858*u. Is u a multiple of 22?
False
Let x(q) = -q**2 - 10*q - 2. Let c be x(-6). Let l(f) = 2*f**2 - 4*f + 4. Let p be l(7). Let h = p - c. Is 14 a factor of h?
False
Let k(u) = -11*u - 47. Suppose y + 5*p + 14 = 0, 3*y + 4*p = 8*y + 70. Does 5 divide k(y)?
False
Is (80/(-15) - -8)/((-3)/(-2160)) a multiple of 12?
True
Suppose 0 = -2*t + 428 + 112. Suppose -5*c + 95 = -t. Let m = c + -34. Does 16 divide m?
False
Let h = -354 + 393. Does 3 divide h?
True
Suppose 0*j = 5*j + 5*s + 5, 5*s + 21 = -j. Let r be -2*j/((-12)/129). Suppose o + 5*q - r + 17 = 0, o - q = 39. Does 22 divide o?
True
Suppose 15*d = 11046 - 3921. Is d a multiple of 26?
False
Let o = 13 + -53. Let r = o + 67. Is r a multiple of 9?
True
Suppose -3*b = 2*i + 6, -5*b + 8*i = 5*i + 10. Let p(k) = -3 + k - 3 + 4 + 4*k**2. Is p(b) a multiple of 6?
True
Suppose 9*t = 8*t - 3*w - 9, -t - 9 = -5*w. Let f(r) = r + 25. Is f(t) even?
True
Suppose 5*y + 226 = 1361. Suppose i - 2*i + 179 = 3*t, y = 4*t - i. Suppose -f = -4*v + t, -2*v + 37 = 2*f + 13. Does 12 divide v?
False
Let r(l) = -l**3 - 4*l**2 + 4*l - 6. Suppose s = -s - 10. Let f be r(s). Is -1 - 1 - 22/f a multiple of 10?
True
Does 3 divide 5334/(-105)*(-5)/2?
False
Suppose -92 + 284 = 4*x. Let g(r) = 15*r + 5. Let t be g(5). Let n = t - x. Is 4 a factor of n?
True
Let x = 37 + 75. Does 8 divide x?
True
Let z be ((-3)/9)/((-2)/24). Suppose -5*v - a + 2 = 0, -5*v + 6 = -z*a + 14. Suppose -g + 3*b + 36 = v, -5*g = 2*b - 65 - 183. Is 11 a factor of g?
False
Let q = -61 - 6. Let f = 84 + q. Is 9 a factor of f?
False
Suppose 0 = 9*i - 6*i + 363. Let t = -85 - i. Does 12 divide t?
True
Let g(s) = -s**3 - 8*s**2 - s + 3. Let p be g(-8). Let n(b) = -p*b + 4*b**2 - 3 - 1 - 2 - b**2. Is 12 a factor of n(6)?
True
Suppose -4*c + 10 = 2, 16 = -3*k - 4*c. Let r = k - -61. Suppose 2*x + 6*p - r = p, 0 = 4*x - 2*p - 46. Is x a multiple of 7?
True
Let t = 205 + -191. Is 7 a factor of t?
True
Let h(o) = -1 - 4 + 0*o - 2*o + 1. Let z be h(5). Let c = 24 + z. Is c a multiple of 5?
True
Suppose 3*w = 6*w + 249. Let z(i) = -6*i**2 - 3*i - 2. Let d be z(-5). Let r = w - d. Is r a multiple of 14?
False
Suppose 3 = -m, -10 = -5*v - m + 37. Let a be v/65 - (-141)/13. Suppose 0 = -3*y + 155 - a. Is y a multiple of 10?
False
Let p(n) = -n**3 - 4*n**2 + 4*n - 7. Let g be p(-5). Let c be g + (-1 - 0) + 0. Let x(r) = r**2 - 2*r + 1. Is 16 a factor of x(c)?
True
Let x be (-35)/(-20)*4 + 5. Suppose x*s - 1089 = 3*s. Is 11 a factor of s?
True
Let y be ((-925)/(-9) - (-4)/18) + 0. Is 13 a factor of (-6 - -6) + y + (2 - 0)?
False
Let i(g) = -2*g + 33. Let t(v) = -9*v + 131. Let q(p) = 26*i(p) - 6*t(p). Is 6 a factor of q(0)?
True
Let t = 18 - 19. Let v be 3/t*28/(-42). Suppose -43 + 11 = -v*w. Does 4 divide w?
True
Let q(s) = -3*s**3 - 7*s**2 - 9*s + 5. Let j(r) = 3*r**3 + 7*r**2 + 9*r - 4. Let d(o) = -4*j(o) - 3*q(o). Is d(-4) a multiple of 13?
True
Does 19 divide 1 - ((-4658)/26 + (-4)/(-26))?
False
Suppose 67*i - 1824 = 65*i. Suppose -i = o - 13*o. Is o a multiple of 19?
True
Suppose -4596 = 47*u - 51*u. Is 73 a factor of u?
False
Let k = 10 - 8. Suppose n - k*n + 118 = 0. Is 25 a factor of n?
False
Let l = 29 + 366. Does 109 divide l?
False
Let x(a) = 2*a**3 - 6*a**2 - 5*a + 39. Is x(7) a multiple of 17?
False
Let t be -2 - (-27 + 0)/3. Let w = t - 6. Does 6 divide -2 + w/(3/60)?
True
Suppose -62*k + 63*k - 609 = 0. Is k a multiple of 79?
False
Let g be (-22)/(-6) - (-4)/(-6). Suppose -2*k + 173 = 2*k - g*h, 5 = h. Suppose 3*i + k = 2*l, -i - 66 = -3*l + 2*i. Does 11 divide l?
False
Let s be 6/15 - 26/(-10). Suppose 2*c + 4*p - 43 = 21, -2*p - 72 = -s*c. Does 14 divide c?
False
Suppose -1369 = -6*a + 359. Does 12 divide a?
True
Does 18 divide (-30)/(-36) + (-1477)/(-6)?
False
Let o be 3*(-1)/3 - -4. Suppose o*w + 0*w = 54. Is 14 a factor of w?
False
Suppose 5*o = 3*p - 2044, -5 = -0*o + o. Is 57 a factor of p?
False
Let d(q) = 2*q - q - 9 + 5*q + 17*q. Let l be d(8). Suppose 0 = 5*g - l - 20. Is g a multiple of 17?
False
Suppose h - 148 - 97 = 0. Is 35 a factor of h?
True
Suppose 0*y = 3*y - m - 21, 2 = y - 2*m. Suppose v = 0, 4*v = 5*s - y - 2. Suppose s*l + 50 = 4*l. Is l a multiple of 5?
True
Suppose -3*i - 2*w + 4205 = 0, 5*w - 314 = -5*i + 6696. Does 29 divide i?
False
Let s be 4/(-10) + (-51)/(-15). Let j = 130 - 128. Suppose -s*n + 159 = 2*i + i, -110 = -2*n + j*i. Is n a multiple of 16?
False
Suppose -s = -6*s + 10. Suppose -s*b = -5*a - 142, 2*b - a + 21 - 147 = 0. Does 11 divide b?
False
Let f = 563 + -293. Suppose -87 = 3*v - f. Let a = -4 + v. Is 23 a factor of a?
False
Suppose 5*p = p + 24. Is 15 a factor of 3*(-4)/p - -77?
True
Is (-4956)/(-21) - (2 + 5) a multiple of 21?
False
Suppose 5*x + 31 = -4*r, -x = -0*x + 3*r + 15. Let j be (14 + -2)/4 + x. Suppose j = -4*w - 6 + 38. Does 8 divide w?
True
Suppose 2*b + 2*b - 12 = -4*l, 2*b - 12 = -3*l. Is 10 a factor of (-5*l/15)/((-2)/61)?
False
Let c be (-3998)/(-12) + 2/(-12). Let j = 590 + -411. Suppose 0 = 5*w - 2*k - c, -4*k + 0*k = 3*w - j. Is w a multiple of 15?
False
Let w(y) = -51*y + 58. Does 4 divide w(-2)?
True
Let s = 159 + -45. Let d = -54 + s. Does 15 divide d?
True
Let g = 1485 - 693. Suppose -5*q = -8*q, -3*h + 3*q + g = 0. Does 42 divide h?
False
Let i be 6*(-4)/(-12) - 1. Let n be 0 + i + (17 - 15). Does 2 divide 2 - ((4 - n) + -4)?
False
Let f = 119 + -38. Let n = 86 - f. Is n a multiple of 5?
True
Suppose 224 = 3*j - 11*j. Is (3/2)/((-6)/j) a multiple of 3?
False
Let y(l) = -l**3 - 4*l**2 + 3*l + 1. Suppose 0 = -0*t + 2*t + 10. Does 3 divide y(t)?
False
Let z = -89 - -159. Suppose 30 - 12 = k - 4*x, -k + 16 = -2*x. Suppose -k = -2*q + z. Is q a multiple of 18?
False
Let i be (-2)/(-1)*7/(70/25). Suppose 0 = i*u, -2*b - b + 84 = 5*u. Does 14 divide b?
True
Let m be (0 + -54)*5*480/(-100). Suppose 8*t - 11*t + m = 0. Does 72 divide t?
True
Suppose 0 = 6*o - 2 + 74. Does 2 divide (-129)/(-18) - (-2)/o?
False
Let m(s) = 4*s**2 + 1. Let u be m(4). Suppose 2*v = 2*k - 142, 0 = -4*k + 2*v + 351 - u. Suppose 4*y - y - k = 0. Does 14 divide y?
False
Let y(a) = -2 - 14*a - a**3 + 6*a + 18*a - 13*a**2. Is 27 a factor of y(-14)?
True
Suppose -211 = -14*l + 1665. Let v = l - 68. Is 11 a factor of v?
True
Suppose 24 = -2*y - 2*s, 2*y = -5*s - 2 - 7. Does 6 divide y*(-5)/15*(-9)/(-1)?
False
Let r be 2*(-4 + 7 - 2). Does 21 divide (r - -1) + 5*12?
True
Suppose -16 + 4 = -3*t. Suppose -t*f - h - 63 = 0, 0 = f - 3*h - 0*h + 32. Let n = 41 + f. Is 8 a factor of n?
True
Is 6/(-11 - -23) - (-3442)/4 a multiple of 8?
False
Suppose 0 = 16*m - 6418 - 6222. Does 12 divide m?
False
Suppose -101 = -w - 0*d - d, 3*d - 6 = 0. Suppose 83 = -f + 2*a - w, f - a = -179. Is 11 a factor of (f/(-6))/(6/9)?
True
Suppose l = -10*q + 6*q + 612, -q = 3*l - 1825. Is l a multiple of 11?
False
Suppose -10*t = -13*t + 4*u + 1538, 5*u = -4*t + 2092. Is t a multiple of 37?
True
Let y = -287 - -427. Is 14 a factor of y?
True
Suppose 0 = -4*o + 2*d + 156, -4*o + 3*d = -176 + 16. Suppose o*s = 35*s + 24. Is 7 a factor of s?
False
Let w(z) = 2*z - z + 27*z**2 - 12*z**2 - 13*z**2. Suppose 0 = 5*p - 2*p - 6. Does 10 divide w(p)?
True
Let s = -2 - -102. Let x = -23 + s. Is x a multiple of 23?
False
Let t = -1242 - -1952. Is 9 a factor of t?
False
Let f = -1593 - -1707. Is 19 a factor of f?
True
Let l(c) = 49*c - 67. Is l(8) a multiple of 25?
True
Does 32 divide (-256)/(-3)*(5 + -8)*-1?
True
Let t = 433 + -392. Does 2 divide t?
False
Suppose 6*i = -0*i - 618. Let w = 197 + i. Is 9 a factor of w?
False
Let q = 59 - -89. Let j = -92 + q. Let y = -10 + j. Is 15 a factor of y?
False
Let l be (-1)/3 - (-60)/(-36). Is 15 a factor of 489/33 - l/11?
True
Suppose 100*q - 404 = 97*q + 4*z, 0 = -q + 5*z + 142. Does 6 divide q?
True
Suppose -a - 2 = 6. Let k be 2/a