u + 866, -646 = -3*g + 2*u. Let c = g - -453. Is 21 a factor of c?
False
Suppose 8*p = -2*p - 1260. Let z be p/84*(-1 - 1)*-1. Let w = z + 83. Is w a multiple of 16?
True
Suppose -o + 0*h = h - 22, -3*o - 5*h = -70. Suppose 2*q = -4*u - o - 24, 3*q + 61 = -5*u. Let c(x) = x + 26. Does 14 divide c(q)?
True
Let y be (-2 - 1 - -2)*(-24)/6. Let f(k) = 13*k**2 - 7*k + 17. Is 30 a factor of f(y)?
False
Let s = 425 - 253. Let g = s - -53. Is 25 a factor of g?
True
Is 150 a factor of (5 + 10)/((-14 - 0)/(-49420))?
True
Suppose 4*w = z - 2 + 6, z - 20 = -4*w. Let y be ((-28)/z - -4)*6. Is 5 a factor of y + 3*10/15?
True
Let y(b) = 59*b**3 - 2*b**2 + 6*b + 13. Let j be y(-2). Let c = j + 847. Is 23 a factor of c?
True
Let n(r) = -10*r - 8*r - 15*r + 0*r - 4. Let q be n(-2). Suppose -3*a - 4*c = -q, 0 = 2*a - c - c - 32. Is a a multiple of 9?
True
Suppose -15*x + 14*x = -180. Suppose w + x = 2*w. Is w a multiple of 23?
False
Suppose 31*q = 41*q - 110. Let y = 253 + q. Is y a multiple of 11?
True
Let b = -15 + 12. Let f = 8 - b. Suppose 178 = 5*z + 4*d, z - 3*d + f - 58 = 0. Is z a multiple of 20?
False
Let l(f) = f**3 + 2*f**2 - 3*f + 3. Let o be l(-3). Let x(s) = 1 + 4*s**2 - 3 + 9 + 4*s - o. Does 4 divide x(-2)?
True
Let o(l) be the second derivative of -l**4/12 - 5*l**3/6 + 43*l**2 - 53*l. Is o(-9) a multiple of 2?
True
Let a = -316 - -386. Suppose 67*f + a = 69*f. Does 17 divide f?
False
Suppose 5*o = -3*u + 156282, -213*o + 209*o = 3*u - 125022. Does 10 divide o?
True
Let c be 1 + -1 - 2*1967/14. Let w = -106 - c. Is w a multiple of 52?
False
Let q(w) be the second derivative of 17*w**4/12 + 29*w**3/6 + 123*w**2/2 - 50*w. Does 19 divide q(-6)?
False
Let t = 2943 + -604. Is 17 a factor of t?
False
Let s be (382/4)/((-7)/(-42)). Suppose 5*b + s = -392. Let l = b - -337. Is l a multiple of 24?
True
Let u be ((-11)/4)/(184/64 + -3). Suppose o + o - u = g, -3*o + 35 = -2*g. Suppose 225 = -o*w + 900. Is 5 a factor of w?
True
Let h(w) = w**2 + 13*w - 4. Suppose -s - s = z - 271, 5*z = -s + 149. Let t = s - 128. Does 10 divide h(t)?
True
Let q be (-4)/16 + 2/8. Let k(m) = -m**2 - 3*m + 5. Let x be k(q). Suppose h = 6*h + 10, x*c - 4*h - 118 = 0. Does 5 divide c?
False
Let f = -114 + 115. Let h be f/((-3)/8)*45/(-60). Suppose -2*q - 2*q + 56 = -5*t, 0 = 2*q + h*t - 46. Does 13 divide q?
False
Let y be 49 + (-1*1)/1. Let d(t) = t**3 + 2*t**2 - 36*t - 102. Let i be d(-6). Let k = i + y. Does 17 divide k?
False
Let z be (28/49)/((-4)/(-14)). Suppose z = -6*v + 20. Is v*(-2)/24 + 125/4 a multiple of 8?
False
Let x(o) = -8*o**3 + 11*o**2 + 3*o - 21. Is x(-12) a multiple of 129?
True
Suppose 0 = -3*n + 4*p + 8683, -4*n + 13548 - 1984 = -2*p. Is n a multiple of 38?
False
Let d be (1 + (-26)/(-6))*(-2565)/380. Suppose 0 = 3*l + 6 + 69. Let h = l - d. Does 11 divide h?
True
Let z(g) = -9*g**3 - 63*g**2 - 30*g - 936. Is z(-20) a multiple of 53?
False
Does 55 divide 7348*(798/56 - 13)?
True
Let p(l) = 25*l - 20 + 83 + 2*l - 43. Is 13 a factor of p(5)?
False
Suppose 2*t - 56803 = 26*j - 399391, -2*j + 4*t + 26376 = 0. Does 108 divide j?
True
Let h = 92 - 86. Is 4/h + (3970/30 - -8) a multiple of 11?
False
Let i = 11860 - 11431. Does 13 divide i?
True
Let x be 6/(-24)*-1 - (-3886)/8. Let q = x - -2. Does 13 divide q?
False
Let c = -179 + 178. Let a be 12/(-7) - (-4)/(-14). Does 25 divide 125*(2*-1 - (c + a))?
True
Is 9 a factor of ((-6)/10 - 2288/(-55))*(-1 + 32)?
False
Suppose 3*z + 6 = 4*z + y, -22 = -3*z + y. Suppose -z*l = -0*l + 602. Let q = 49 - l. Does 9 divide q?
True
Suppose 386 = 4*r - 5*f + 39, -2*r + 3*f + 175 = 0. Suppose 79*l - r*l = 16. Is 13 a factor of -1 + (l - (-603)/(-6))*-2?
True
Suppose -2*y = -0 + 10, 3*o = 4*y + 974. Let u = o + 271. Does 19 divide u?
True
Let u(m) = 432*m**2 + 36*m + 305. Is u(-6) a multiple of 91?
False
Let f(w) = 9*w - 107. Let n be f(20). Suppose 0 = 75*y - n*y - 1116. Does 90 divide y?
False
Does 107 divide 420/(-90)*(-933)/4*(-4 - -10)?
False
Let s(i) = -4 + 0*i + 11 + i. Let j be s(-3). Suppose -j*w - 2*x = -196, -w = -x + 7 - 53. Is 18 a factor of w?
False
Let v(x) = x**3 + 10*x**2 + 12*x - 2. Let d(l) = l**2 + l. Let w(o) = 2*d(o) - v(o). Let i be w(-6). Let f(k) = k**2 + 10*k + 13. Is f(i) a multiple of 13?
True
Is 18 a factor of (-25)/(1612/538 + -3) + 7?
True
Does 111 divide 62515244/1045 + 16/(-5) + 2?
False
Let g be (1 + (-1)/2)*(-136)/68. Let w(o) = -54*o**3 - 3*o - 2. Let s(v) = -v**2. Let m(j) = s(j) + w(j). Is 6 a factor of m(g)?
True
Suppose -5*i - 2*p + 29433 = 0, 5*i - 10178 - 19231 = 4*p. Is i a multiple of 11?
True
Let j(m) = 8*m - 127. Let t be j(24). Suppose -4*u = -y - 2*y - 221, 0 = u - 4*y - t. Is 6 a factor of u?
False
Let g = 180 - -22. Let z = 252 - g. Is 3 a factor of z?
False
Let s = -1963 - -5247. Is 17 a factor of s?
False
Let c = 14255 - 4655. Is 240 a factor of c?
True
Suppose 43*k + 4360 = 2*c + 48*k, -5*c - 4*k + 10917 = 0. Is c a multiple of 5?
True
Let s(w) = 71*w**2 + 23*w + 11. Let b be s(-4). Suppose 5*k = 7*k - 2*a - 700, 0 = -3*k + 2*a + b. Is 12 a factor of k?
False
Let z(b) = -2*b**2 + b - 1. Let w(o) = -5*o**2 + 80*o - 7. Let s(h) = w(h) - 6*z(h). Does 16 divide s(5)?
True
Does 114 divide 45/27 - 22632/(-18)?
False
Suppose 4*y - 117*g - 42271 = -120*g, 4*g + 42320 = 4*y. Does 194 divide y?
False
Let k(i) = 0*i**3 + 25*i**2 + 17 + i**3 - 23*i**2 - 2 - 8*i - 5. Is k(6) a multiple of 18?
False
Suppose 744*g - 16831417 = 2183569 + 11775454. Is g a multiple of 156?
False
Suppose 1508745 = 157*n + 227*n - 1445367. Is n a multiple of 49?
True
Let d = 1089 + -1950. Let u be (-1)/(-4 + d/(-216)). Suppose w - u = -3*w. Does 18 divide w?
True
Let d = -22 + 30. Suppose -50 = -d*y - 10. Suppose y*k = -3*i + 163, -k + 28 = -5*i + 1. Does 18 divide k?
False
Suppose -14 = 58*m - 60*m. Suppose -5*w - 30 = -3*i, -2*i + 2*w - 3*w = -m. Suppose -o - 120 = -i*o. Does 3 divide o?
True
Suppose -3*t + 5*c + 5156 = 0, -3*t - c + 5196 = 2*c. Suppose 5*i - 2903 = 4*d, 0 = -3*i - 0*i - 5*d + t. Does 30 divide i?
False
Let y = 224 - 199. Suppose -3*i + 100 = y. Is i a multiple of 4?
False
Suppose 267*q - 213*q - 789264 = 0. Does 63 divide q?
True
Does 21 divide ((-18)/90)/((-2)/120040)?
False
Suppose 20*q - 6052 = 17*q - 5*v, -5*v - 16157 = -8*q. Is 12 a factor of q?
False
Let s = 4068 + -4050. Does 9 divide s?
True
Let p(c) = -5*c**3 + 10*c**2 + 24*c - 173. Is p(-15) a multiple of 14?
True
Suppose -63*q = -54*q + 27. Let u(o) = 24*o**2 - 12. Is 12 a factor of u(q)?
True
Suppose 932*h + 153657 = 1121*h. Does 6 divide h?
False
Suppose b - 66 = 2*c, 0 = -11*b + 6*b + 2*c + 314. Let i be 2/((4 - b/15)*-5). Suppose 0 = -q, -i*q + 0*q - 142 = -2*t. Is t a multiple of 14?
False
Let u(c) = -2*c**3 - 5*c**2 - 8*c - 3. Let h be u(-4). Suppose h = 4*t - 67. Suppose 5*v - t = -s + 19, 3*v - 82 = -2*s. Does 6 divide s?
False
Let x(f) = -f**2 - 31*f - 34. Let o(m) = m. Let w(t) = 2*o(t) + x(t). Suppose -23 = a - 4. Does 39 divide w(a)?
True
Let x be (18/(-1))/(-6) + 5. Suppose -389 - x = -5*o - 3*w, 2*w = 8. Is o a multiple of 4?
False
Let l be -1 + (-32)/(0 - 4). Let b(k) = -k + 9. Let m be b(l). Suppose -m*v = v - 36. Is 6 a factor of v?
True
Suppose 113 = d - 3*y, d + y + 206 = 3*d. Suppose 3*f - 381 = -4*q, -d - 96 = -2*q + 5*f. Suppose -103*m + 102*m = -q. Does 8 divide m?
True
Let i(d) = d**3 + d - 2. Let h be i(2). Is 57 a factor of 6244/16 - (-6)/h?
False
Let j(p) = 24*p**3 + 6*p**2 - 29*p + 123. Is 6 a factor of j(4)?
False
Does 96 divide -3 + -3 - (-7 + -5 + -3450)?
True
Does 3 divide (2817/(-4))/((-342)/304)?
False
Let a = -11709 + 37844. Does 23 divide a?
False
Suppose -13*t = n - 18*t - 2225, 7*n - 15535 = -5*t. Does 4 divide n?
True
Suppose -18*o + 15*o = -264. Suppose 2*b + 88 = 4*l, -2*l = 2*l + 2*b - o. Is 6 a factor of l?
False
Is 312/(-16*(-7)/616) even?
True
Let b be 90/4 + (15/6 - 2). Let t = 7 + b. Is 12 a factor of t - (-7)/((-35)/15)?
False
Suppose -4*s + 24621 = 4*p - 22139, s + 4*p = 11681. Is s a multiple of 284?
False
Let c = 2656 - 1596. Suppose 58*n = 54*n + c. Is 19 a factor of n?
False
Suppose o = -2*j + 227, -4*o + 328 = -5*j + 8*j. Suppose 2*d = -7*m + 5*m + 184, -d = -5*m - j. Is 16 a factor of d?
True
Suppose -4*w = 5*t - 565, -t + 5*t - 144 = -w. Suppose 3*i - 5*x - 320 = 0, 0*x - 5