-9 = 127*c - 126*c. Does 18 divide ((-15)/c)/j*-189?
False
Let c = 6000 - 4222. Is c a multiple of 14?
True
Suppose 10*z + 10 = 15*z. Let v(o) = 19*o**3 - 3*o**2 - o + 6. Is v(z) a multiple of 12?
True
Suppose -3*s - s = -32. Let q = s + -12. Is 21 a factor of q/(0 - -4) - -22?
True
Suppose 0 = -2*f - 3*f + 690. Is 69 a factor of f?
True
Let v(j) = 110*j - 1. Let k be v(1). Is 5 a factor of (-28)/168 + k/6?
False
Suppose -5*o + 3*c + 417 = 0, 5*o - 39*c + 43*c - 424 = 0. Does 12 divide o?
True
Suppose 32*r = -4*s + 31*r + 1446, 4*r - 8 = 0. Is s a multiple of 43?
False
Does 29 divide 11*2/22*427*1?
False
Suppose -3*m = m. Suppose 3*f - 37 + 16 = m. Is 5 a factor of f?
False
Let i(v) = -v + 6. Let m(k) = -k - 1. Let f(j) = i(j) + 3*m(j). Let l be f(-5). Suppose t + t + 6 = -5*o, 3*o = -5*t + l. Is t a multiple of 7?
True
Let w be (1 + 1)*(-18)/(-12). Suppose 0 = -w*f + 8*f. Suppose f*j - j + 27 = 0. Is 9 a factor of j?
True
Suppose 4*l - 2*m = 34, -2*l + 4*l + 4*m - 32 = 0. Let h(j) = 6*j - 24. Does 33 divide h(l)?
False
Let c = -64 + 208. Suppose 188*n = 185*n + c. Does 12 divide n?
True
Let m(d) = -d**2 + 9*d - 11. Let y be m(5). Suppose -13*q = -y*q - 160. Suppose -x = x - q. Is 20 a factor of x?
True
Let i(n) = -2*n + 4. Let p be i(2). Let q be 3 - (-2)/(1 + p). Suppose -q*w - 29 + 0 = -a, 2 = -2*w. Is a a multiple of 12?
True
Let d(q) = -2 + 12*q + 6*q**2 - 10*q + 0*q. Let r = -1 + -2. Is 23 a factor of d(r)?
True
Suppose 3*g + 3*b = -0*b + 366, 0 = -g + 3*b + 122. Does 61 divide g?
True
Let k = -20 + 138. Is 10 a factor of k?
False
Suppose 8*x + 1284 = 10*x. Does 8 divide x?
False
Is 9 a factor of (162/(-48)*2)/((-3)/8)?
True
Suppose -3*j + 21*r + 1202 = 22*r, -778 = -2*j + 4*r. Does 21 divide j?
True
Let l(y) = 5*y + 9*y**2 + 0*y**2 - 7*y**2. Does 9 divide l(-6)?
False
Let b be 2/(14/7) + (1 - 1). Does 4 divide 5 + (-4 - b)/5?
True
Suppose 2*r = f + 948, 5*r - 2*f - 2*f - 2373 = 0. Suppose 471 = -0*u + 2*u + m, -r = -2*u + m. Is 17 a factor of u?
False
Let w = -48 - -18. Is 49 a factor of -5*((-3)/(-15) + 594/w)?
True
Is 6 a factor of 20/(3/(-5) + 380/300)?
True
Let k(c) = -c**2 + 18*c + 22. Let p be (24/(-32))/(1/(-12)). Let x be k(p). Suppose -4*g - 7 = -x. Is g a multiple of 12?
True
Suppose 16*o - 11*o + 50 = 0. Is 6 a factor of 3/(-1) + (-5)/o*162?
True
Let l(z) = 2*z + 31. Let h be l(-15). Let r = h + 4. Suppose 25 = r*g, -5*b - 4*g + 73 + 67 = 0. Is b a multiple of 12?
True
Suppose -15*q + 16718 = -2227. Is q a multiple of 52?
False
Let l(a) = 9*a - 1. Let m(r) = r**2 - 3*r - 7. Let i be m(5). Let u = 6 - i. Is l(u) a multiple of 10?
False
Let f = -86 - -49. Let k = -1 - f. Suppose -3*w + 33 + k = 0. Is 8 a factor of w?
False
Let t(u) = u**3 + 3*u**2 + 16*u + 4. Is t(7) a multiple of 6?
True
Suppose 4*g + d = -797, 4*g - 4*d = g - 612. Let u be g/15*36/10. Is 2 a factor of 5*(u/(-20) - 2)?
True
Suppose 5*q - k = 3447, 2*k + 3840 = 4*q + 1086. Does 69 divide q?
True
Let m = 116 + -69. Suppose 5 = 2*s - m. Let f = s + -18. Is 2 a factor of f?
True
Let w = 5 - 6. Let k(i) = 107*i**2 - 2*i - 3. Is k(w) a multiple of 20?
False
Let y(r) = -r**3 - 3*r**2 + 20*r + 10. Let s be y(-6). Does 6 divide s*1/5 - 5589/(-135)?
False
Suppose 0 = -25*k + 6*k + 33288. Is k a multiple of 65?
False
Suppose -s - 7*m + 30 = -3*m, 5*m = -4*s + 120. Suppose -3*r - 2*r + 3*g - s = 0, -r = 2*g + 6. Let a(f) = f**2 - 3*f + 8. Is a(r) a multiple of 15?
False
Let w(o) = 221*o - 2. Let d be w(-2). Let i be 3/(-6) - 105/6. Does 6 divide 2/(-3) + d/i?
True
Is 24 a factor of (163 + -28)/(6/16)?
True
Suppose 2*i - 226 - 36 = 0. Let z(c) = 2*c**3 + 7*c**2 + 3*c - 3. Let d be z(-5). Let m = d + i. Does 19 divide m?
True
Does 16 divide 4 + -4 + -2 - (-2 + -345)?
False
Let p be 3 - (-12)/16*-4. Suppose 4*l + 2 - 30 = p. Does 6 divide l?
False
Let l = 30 - 70. Is ((-154)/88)/(2/l) a multiple of 35?
True
Does 14 divide 17/((-102)/(-2304)) - 6?
True
Let z = 64 - 32. Suppose -8*d - z = -6*d. Is 18 a factor of d/4 + 26 - -1?
False
Suppose 8496 = 22*i - 6*i. Is i a multiple of 13?
False
Suppose -2*r - 9 = -3*r. Suppose -g = 2*g + r. Is g*3/(15/(-10)) a multiple of 6?
True
Suppose -5*p + 104 + 1459 = 4*a, -4*p - 5*a = -1245. Is 34 a factor of p?
False
Suppose -253 = 4*q - 841. Let s = -97 + q. Does 3 divide s?
False
Let z(d) = 2*d**2 - 26*d - 152. Is z(32) a multiple of 28?
True
Let z(l) = l**2 + 7*l - 3. Let k be z(-8). Suppose 4*f - k*q + 6 = -35, 0 = f + 2*q + 20. Does 10 divide f/4*(-76)/7?
False
Let u be 173/4 + 5/(-20). Let i = 2 - 5. Let d = i + u. Is 20 a factor of d?
True
Suppose 96 = 4*l + 8. Let q = 21 - l. Is (-642)/(-24) + q/(-4) a multiple of 9?
True
Let u(w) = w**3 + 11*w**2 + 21*w + 22. Does 46 divide u(-8)?
True
Let l be -1 - ((1 - 3)/(-1) + -11). Let s be 0 + 17 - (0 + 1). Let o = s - l. Is 2 a factor of o?
True
Is 3 a factor of (22/(-5))/((-16)/1560)?
True
Is (-30)/255 - 137710/(-85) a multiple of 10?
True
Suppose 0 = 2*z - 3*p + 59, -37 = 5*z - 4*z - 4*p. Is 9 a factor of ((-2)/(-5))/(-2) - 680/z?
True
Let o(r) = -6 - 24*r**2 + 8*r - r**3 + 2 - 23*r + 11*r**2. Suppose -3*z - 38 = 2*b, 20 = -4*z + 2*z + 4*b. Does 10 divide o(z)?
False
Let b be (64/(-6))/4*-3. Let s = 8 + -6. Is 18 a factor of 134/b*2*s?
False
Let d be 21/(-14)*(-137 - 1). Suppose 96 = p + 2*t - 7*t, 0 = 2*p + 5*t - d. Let h = p - 56. Is 15 a factor of h?
True
Let i(p) = p**2 - 5*p + 1. Let c be i(5). Is 213*(-4)/(-12) - c a multiple of 13?
False
Let x(r) = -46*r + 456. Let d be x(10). Suppose -5*a = -4*a + 3. Does 15 divide a*(d - 356/12)?
False
Let w be (0 - 0)/(72/18). Suppose w = -2*c + 18. Is 24 a factor of (c - 5)/((-1)/(-18))?
True
Let p = -8 - -11. Suppose 0 = 3*s + l - 37, -3*s + 6*s = p*l + 45. Let m = s + -7. Is 4 a factor of m?
False
Let v(u) = u**3 - 17*u**2 + 21*u + 16. Is 8 a factor of v(17)?
False
Let r(f) = 68*f + 55. Does 49 divide r(10)?
True
Let q(g) = 1003*g + 33. Is q(3) a multiple of 117?
True
Let a(o) = -4*o - 10. Let v be a(-4). Suppose 0 = -s - 0 + v. Suppose -h + 11 - s = 0. Is 5 a factor of h?
True
Let d(m) = -12*m - 10. Suppose -133 + 781 = 3*f. Let u be 2/14 + f/(-42). Is d(u) a multiple of 25?
True
Let v(x) = -x - 4. Let i be v(-10). Let s(d) = 114*d - 4. Let p be s(i). Is 11 a factor of p/18 - (-4)/18?
False
Does 53 divide -98*(159/8)/(168/(-224))?
True
Suppose -3*v = -3*h - 861, 5*v + 12*h - 11*h = 1459. Is 44 a factor of v?
False
Suppose -48 - 42 = -5*n. Suppose 46 = 4*s + 5*j, -2*j - 41 = -5*s - 0*j. Does 14 divide (-1 + 8)/(s/n)?
True
Suppose n - 263 = -95. Does 65 divide n?
False
Let k(d) = 2*d - 8. Does 5 divide k(25)?
False
Suppose -u + 5*p = -0*p - 20, 5*u - 3*p - 12 = 0. Let s = 86 - u. Is 14 a factor of s?
False
Is (372/(-10))/(144/(-1440)) a multiple of 12?
True
Let g(r) = -r**2 + 12 - 12*r + 0*r**2 + 19*r - 11*r. Let q be g(-6). Suppose 4*o = 2*v + 2*v + 260, 3*o + v - 187 = q. Does 21 divide o?
True
Suppose 44*z - 24*z - 8400 = 0. Is z a multiple of 52?
False
Let h be 0/(4/(-1)) + 118. Suppose -5*u + 267 = -5*d - h, 3*u = -d + 247. Suppose -2*x + i = -u, -x + 205 = 4*x - 5*i. Is x a multiple of 14?
False
Let x(h) = h**3 + 3 + 3 - 19*h + 11 + 15*h**2 + 2. Does 23 divide x(-16)?
False
Let r(u) be the third derivative of -u**6/120 + u**4/3 - u**3/3 + 6*u**2. Is 20 a factor of r(-5)?
False
Suppose 5*g - 5*r - 4085 = 0, 4*g + 6*r - 3268 = 3*r. Is g a multiple of 16?
False
Suppose 0 = 2*m + 5*f - 2, -m = 6*f - f - 1. Let q = m + 4. Does 3 divide 4/q - (-92)/10?
False
Suppose 5*t - 2*a = 439, -182 = -0*t - 2*t + 4*a. Suppose -5*i + q - 25 = -t, -4*q = -3*i + 27. Is i a multiple of 2?
False
Let b = 357 - 359. Suppose 2*v + 2*m = m - 132, 3*m - 124 = 2*v. Does 13 divide (8/10)/(b/v)?
True
Suppose 2*i - 6 = -0*i, f = 5*i + 455. Let j = -319 + f. Does 36 divide j?
False
Suppose -2*j = -1 - 7. Suppose r = -n, r + j*n = 2*r - 15. Is 3 a factor of r?
True
Let s = 51 + -60. Let b = s + 60. Is b a multiple of 6?
False
Let j be (-20)/(-35)*21/6. Does 2 divide ((-12)/(-9))/(j/3)?
True
Suppose -3*z + 0 = 6. Let b = -4 + z. Does 8 divide (16/b)/((-2)/18)?
True
Suppose -432 = -b + 3*n, 5*n = -0*b + 5*b - 2150. Is b a multiple of 5?
False
Suppose -4*o + 9*o = 400. Suppose 0 = 5*w - 3*w - o. Let n = -23 + w. Does 7 divide n?
False
Let m(q) = -2*q + 6. Let c be m(2).