0 = -5*i - u - 128. Let a = -22 - i. Does 13 divide a?
True
Let c(i) = -i**3 - 2*i**2 + i + 1. Let s be c(0). Let d be (47*s)/((-9)/(-18)). Let m = d - 64. Is 10 a factor of m?
True
Let o(a) = 21*a**3 - a**2 - 14*a + 8. Does 16 divide o(4)?
True
Let w(j) = -5*j**2 - 4*j. Let i be w(-5). Let y = i + 157. Is y a multiple of 15?
False
Let s(u) = -6*u**2 + 3*u - 4. Let c(f) = -f**2. Let h(v) = 3*c(v) - s(v). Is 6 a factor of h(-3)?
False
Let b(f) = -f**3 - 2*f**2 + f. Let i be b(-2). Let j(m) = -3*m**3 - m**2 + 3*m + 1. Does 6 divide j(i)?
False
Let z(m) = -m**3 - 15*m**2 - 14*m + 5. Let t be z(-14). Let r be -22 - (0/t + -1). Is 18 a factor of (5 - 2)*-1 - r?
True
Is 6/2 + 297/(3 + -2) a multiple of 20?
True
Suppose 3*v = 5*o + 161, -v + 9 + 56 = 4*o. Is 2 a factor of v?
False
Let b(v) = 4*v**3 - 14*v**2 + 9*v - 64. Is b(6) a multiple of 5?
True
Suppose 4*y - s = -7, 5*y - s + 8 + 2 = 0. Is 35 a factor of 9*((-44)/(-6) - y)?
False
Suppose -3*a + 91 + 101 = 0. Is a a multiple of 4?
True
Let o(q) = -q**3 - 3*q**2 + 5*q + 8. Let u be o(-4). Suppose 0 = -u*h + 669 + 655. Is h a multiple of 45?
False
Let f(d) = d**3 - 2*d**2 + 3. Let t be f(3). Suppose -8*q = -t*q + 208. Does 13 divide q?
True
Let x(b) = -b**3 + 9*b**2 + 11*b - 12. Is x(9) a multiple of 5?
False
Let n(x) = x**3 - 12*x**2 + 12*x + 5. Suppose -5*g + 20 = -3*g. Let c = 21 - g. Is 8 a factor of n(c)?
True
Suppose 57 = 3*b - 3*s, 3*b - 122 + 30 = -4*s. Suppose -o + 2 = -d - 4, -3*o - 3*d = -b. Suppose -136 = -o*g + 3*g. Is 13 a factor of g?
False
Suppose 7*q = 6*q - 3*r + 188, 2*r = 2*q - 336. Is q a multiple of 18?
False
Let i(a) = -a - 12. Let d be i(0). Let b = -8 - d. Let w(f) = -f**3 + 6*f**2 + f - 6. Does 13 divide w(b)?
False
Is 75 a factor of ((-9)/3)/((-399)/(-400) - 1)?
True
Let i = 5 + 25. Suppose -2*z - 2*s + i = -6*s, 0 = -z + 4*s + 5. Is 8 a factor of z?
False
Let l = -649 - -922. Let d = l + -182. Is 23 a factor of d?
False
Suppose 2*o - 3*q + 22 = 4*o, -5*q + 50 = 5*o. Suppose -2*f + o = -2. Suppose 0 = -3*x + 3, -f*x + 0*x = -4*j + 23. Does 7 divide j?
True
Let p(r) = 17*r - 1. Let y(k) = 17*k - 1. Let b be 3*((-16)/6 + 2). Let o(s) = b*p(s) + 3*y(s). Does 10 divide o(2)?
False
Suppose 13*s + 5*s - 5580 = 0. Is 10 a factor of s?
True
Suppose -j = 3*j - 224. Let b = j - 2. Is b a multiple of 46?
False
Let p(t) = 3*t**2 + 2*t + 3. Let a be p(-5). Suppose -2*q + 0*y + 96 = 2*y, -5*y + a = q. Is q a multiple of 7?
False
Suppose -5 = -2*x - 1. Let n(a) = -x*a - 12*a - 4*a. Is 18 a factor of n(-2)?
True
Suppose 0 = -5*i - 2*h - 25, 5*h = -0*h + 25. Let m = i - -10. Does 14 divide (-7)/(((-9)/12)/m)?
True
Let j(v) = -4*v + 2. Let u be j(-3). Suppose -5*k + 1 = -u. Suppose 0 - k = 3*i, 4*i = 2*d - 30. Does 13 divide d?
True
Suppose 4*x - 4 = -8*j + 3*j, 3*j - 24 = 3*x. Suppose -5*t - 20 = 0, t = j*c - t + 216. Let b = c - -94. Is b a multiple of 21?
False
Let w(b) = 2*b**2 - 2*b - 4. Let t be w(-3). Let j be (24/(-10))/((-8)/t). Is 5 a factor of (9/j)/(9/120)?
True
Let z = 1543 + -807. Suppose 5*w - b - z = b, w - 2*b = 144. Is w a multiple of 17?
False
Suppose 0 = -19*o - o + 1600. Is 7 a factor of o?
False
Let m = -587 + 862. Is 16 a factor of m?
False
Is 3 a factor of (378/(-49))/(3/(-21))?
True
Is 13 a factor of 6/(-33) + (-22320)/(-66)?
True
Suppose -n - 4*j - 9 = j, -2*n + j = -4. Is (0 + n + -11)/((-42)/63) a multiple of 3?
True
Let l(g) = 606*g + 881. Is 47 a factor of l(5)?
False
Let u = -283 + 802. Let t be u/(-21) - 6/21. Let m = 58 + t. Is 11 a factor of m?
True
Let c be 13/39 - (-10)/6. Does 36 divide 313/c - 11/22?
False
Suppose -c - 11 + 10 = 0, 3*f - 3*c = 693. Is f a multiple of 46?
True
Suppose 5*s = 10*s + 25. Let w(u) be the second derivative of u**5/20 + u**4/2 - u**3/3 - 7*u**2/2 - u. Is 7 a factor of w(s)?
True
Suppose 4*g - 395 + 51 = 5*r, 5*g - 3*r = 443. Does 13 divide g?
True
Let g(i) = 16*i**2 + 2*i - 6. Let n(b) = -b + 5. Let k be n(2). Is 45 a factor of g(k)?
False
Suppose 33*o - 41301 = 11697. Is 22 a factor of o?
True
Let r(s) = 1. Let p(v) = 0*v**2 + 8 - 51*v + v**2 + 38*v. Let y(n) = -p(n) + 6*r(n). Is y(6) a multiple of 20?
True
Suppose 0 = 11*k - 9706 - 10369. Does 36 divide k?
False
Suppose 2*f = 4*x + 154, -4*f - 5*x = -2*f - 154. Suppose -2*v = -7*v + 4*k - 177, 2*k - 6 = 0. Let l = v + f. Does 19 divide l?
False
Let k be -220 - 9 - 2*1. Let a = k + 591. Suppose -3*s - a = -4*o, -2*s + 121 + 59 = 2*o. Is 18 a factor of o?
True
Suppose -3*g + 0*g - 3*l + 6 = 0, l = 0. Suppose -2 = q, -25 = h - 2*h + g*q. Does 3 divide h?
True
Suppose 3*x + 0 = 27. Suppose -1895 + 410 = -x*o. Is 28 a factor of o?
False
Let n(h) = h**2 - 11*h + 7. Let p be n(10). Let a be p - -70 - 1/(-1). Suppose 5*q + a = 333. Is 19 a factor of q?
False
Suppose -x + 0*x + 104 = -2*b, 2*b - 580 = -5*x. Suppose f + 4 - x = 0. Is f a multiple of 22?
True
Let m(p) = -p**2 + 10*p - 7. Let u be m(12). Let b = 97 + u. Is 10 a factor of (0 + 4/12)*b?
False
Suppose -6 = -2*o - 2*z, -z - 2 = 1. Suppose -o*m - m = -490. Does 7 divide m?
True
Let r(g) be the first derivative of -g**4 + g**3 + g**2 + g - 21. Is 19 a factor of r(-2)?
False
Does 120 divide (-177*4/6)/((-8)/68)?
False
Suppose -4*k + 102 = -342. Suppose 4*x - k = x. Let d = x - 22. Does 15 divide d?
True
Suppose 0*x = -x - r + 4, 5*r = 3*x + 4. Let k(u) = 4*u - 6. Let z be k(x). Suppose -b = 3*o - z*o - 56, -4*b + 20 = 0. Is 12 a factor of o?
False
Let i = -11 - -8. Let q(u) = 4*u**2 + u + 2. Let j be q(i). Suppose 4*x - 239 = -j. Is x a multiple of 13?
False
Suppose -7*i = -11*i. Suppose -t = -i*t - 252. Suppose -5*r + t = -43. Is 11 a factor of r?
False
Suppose 3*j = 19 - 1. Suppose 0*n + j = n. Is n a multiple of 4?
False
Let u = -2740 - -5060. Is u a multiple of 80?
True
Suppose -5*o + 249 = -q + 9, 3*q = 0. Does 48 divide o?
True
Suppose 2*a + 3*z = 94, -2*z + 254 = 5*a - 4*z. Is (-86)/(-6) + a/75 even?
False
Suppose 3*p = -4*u - 883 - 46, 0 = -2*u - 4*p - 462. Let h = u - -502. Suppose -i = -3*i + 3*b + 112, -2*b = -5*i + h. Is 16 a factor of i?
False
Suppose 84*j - 1209 = 71*j. Is 2 a factor of j?
False
Let a(i) = 38*i - 12. Let m(t) = 114*t - 36. Let d(y) = -7*a(y) + 2*m(y). Is 21 a factor of d(-6)?
False
Let z = 120 + -30. Does 24 divide z?
False
Let h(t) = -t**2 - 12*t - 19. Let y be h(-10). Let f = 23 - y. Is 11 a factor of f?
True
Let w = -453 - -821. Let i = w + -206. Is 27 a factor of i?
True
Let z be (-1)/4 + 556/(-16). Let w = z + 23. Let f = -2 - w. Is 10 a factor of f?
True
Suppose -3*b + 3*x + 80715 = 0, 3*x - 53808 = -2*b + 6*x. Suppose 3*y = w + 11144, 2*w - 4*y = 4613 - b. Is 13 a factor of w/(-171) + 2/(-9)?
True
Is (-441 + 4 - -5)*(1 + -2) a multiple of 36?
True
Let m(u) be the second derivative of u**4/2 + 5*u**3/3 - 2*u**2 + 5*u. Is m(2) a multiple of 36?
False
Suppose 5*q - 5*k = 5, -k + 1 - 2 = 2*q. Suppose 5*t + 4*i = -67 + 247, -t - 2*i + 42 = q. Is t a multiple of 13?
False
Suppose 5*n + 5*x - 1520 = 0, 2*n - 4*n = x - 605. Suppose -5*b + n = 21. Is 5 a factor of b?
False
Let r(l) = -17*l**2 - 1. Let o be r(1). Let x be (-3)/o + (-22)/(-12). Does 5 divide x + (2 - -3) + 0?
False
Suppose h - o = 3*o + 20, 0 = -3*o - 15. Let w(i) = i + 4. Let r be w(h). Suppose -g + 46 = 3*j - 18, -r*j + 77 = 3*g. Does 6 divide j?
False
Let v(u) = -u**2. Let d(w) = w**2 - 4*w - 2 - 8*w**2 + 4*w**2. Let k(g) = -d(g) + 2*v(g). Is 34 a factor of k(-8)?
True
Let h(d) = d**3 - 11*d**2 - 2*d + 25. Let j be h(11). Suppose -8*p + 170 = -j*p. Does 34 divide p?
True
Let d be -2 - ((2 - 4) + 0). Suppose d*n - 4*n = 0. Suppose -2*x = -n - 104. Does 14 divide x?
False
Suppose 12*w - 17*w = -260. Suppose -v = -47 - w. Is v a multiple of 11?
True
Let d(z) = -z**3 - 12*z**2 - 2*z + 5. Let l(j) = j**3 + 11*j**2 + j - 5. Suppose -6 = -0*n + n. Let q(h) = n*l(h) - 5*d(h). Is 13 a factor of q(-7)?
True
Let h = 267 - -987. Does 57 divide h?
True
Suppose -4*d + 38 = 4*o + d, -6 = -3*d. Suppose -60 = -3*c - o*n + 8*n, n = -3*c + 66. Does 4 divide c?
False
Let f(o) = o**2 - 2*o + 5. Let q be f(-5). Does 4 divide q/(-32) + 682/8?
True
Does 23 divide (13374/27)/(6/9)?
False
Let o(x) = x**3 - 5*x**2 + 6*x + 3. Let z be o(5). Does 21 divide (-6)/z + (-695)/(-11)?
True
Suppose 3*f - 226 = -2*b, -b - 4*f = -6*f - 99. Let h = b + -45. Does 