t u(k) = -3*k + 1. Let f be u(-1). Let z be 2*f/(-8) - 2. Is 11 a factor of a(z)?
False
Is (63 - -1) + (-14)/2 + 10 even?
False
Let z = -190 + 1127. Is z a multiple of 14?
False
Let s(i) = 10*i + 7. Let m(c) = 5*c**3 - c**2 + 5*c - 5. Let u(r) = -4*r**3 + r**2 - 4*r + 5. Let a(b) = 3*m(b) + 4*u(b). Let w be a(0). Is 20 a factor of s(w)?
False
Let j(p) = -6*p + 1. Suppose -3*v + 11 + 10 = 0. Let f(k) = k**2 - 8*k + 6. Let q be f(v). Is j(q) a multiple of 2?
False
Does 8 divide (225/5 + -3)*8?
True
Let a = -1147 + 1260. Suppose -130 = -3*l - i, -l - 3*l - 4*i = -168. Let q = a - l. Does 16 divide q?
False
Suppose 4*p - 515 = 5*i, 144 - 531 = -3*p + 4*i. Is p a multiple of 5?
True
Suppose 5*l + 146 + 4 = 0. Let i = 26 + l. Is i + -3 + (-240)/(-3) a multiple of 28?
False
Suppose 4*t - t + 3*f - 21 = 0, t + 3*f + 3 = 0. Suppose 15 = -7*u + t*u. Suppose u*s = s + 52. Is 13 a factor of s?
True
Suppose 5*t + 10 = -5*d, 0 = 4*t - 4*d - 9 + 25. Let u be 3/3 - t/3. Let j(p) = 7*p**3 - 2*p**2 + 2*p. Is 12 a factor of j(u)?
False
Let f = 12 - 6. Suppose 0*a = -3*a + f. Is (a - 1) + (13 - -25) a multiple of 13?
True
Let m(p) = 28*p - 14. Let x be m(5). Suppose -f = 0, -2*d - x = -4*d + 3*f. Is 21 a factor of d?
True
Let z = -11 + 15. Suppose z*g = 229 - 53. Let b = g + -22. Is 22 a factor of b?
True
Let g(q) = 2*q**3 - 4*q**2 - 9*q + 5. Let a be g(4). Let k be -2 - (0 - 1)*2. Suppose k = -r + a. Is r a multiple of 11?
True
Let t(c) = c + 26. Let n be t(0). Let m = 26 - n. Suppose -2*r + 10 = 0, -3*f = -4*r - m*r - 127. Does 17 divide f?
False
Does 2 divide 808/72 - (-4)/(-18)?
False
Let n(w) = -w**2 - 73*w - 39. Is 21 a factor of n(-34)?
False
Suppose 3*r = -6*r + 27. Let t = 28 - r. Is t a multiple of 5?
True
Let m(u) = 8*u + 91. Let l be m(-32). Let j = 188 + -610. Does 10 divide j/(-22) - (-30)/l?
False
Suppose 0 = 39*l - 40*l + 266. Is 3 a factor of l?
False
Suppose -5*h + 24 = -11. Is 2375/35 + (8/h - 1) a multiple of 34?
True
Let v(g) = -365*g**3 + 2*g**2 + 3*g + 1. Is 18 a factor of v(-1)?
False
Let i(j) = 2*j**2 - 2*j - 4. Let q be i(5). Let v = -82 - -58. Let g = q + v. Is 6 a factor of g?
True
Does 3 divide 38 + -41 - (2*-1 - 314)?
False
Let l = -52 - -93. Let i = 66 - l. Is 3 a factor of i?
False
Suppose 6*v = 3*v + 3. Let b = v - -1. Suppose -b*d - 34 = -4*d. Is 8 a factor of d?
False
Suppose 18*d = 25*d - 728. Is 13 a factor of d?
True
Let m be 4/14 + (-200)/14. Let k = 16 + m. Suppose 0 = k*x + 2, -3*x = 3*l - 153. Does 20 divide l?
False
Let s be (5/(-2))/(3/(-6)). Suppose s*d - m - 57 = m, 0 = 3*d - 2*m - 35. Suppose -d*p = -15*p + 240. Does 15 divide p?
True
Let j(l) = l**3 + 10*l**2 - 24*l + 1. Let p be j(-12). Is p/2*(-11 + 123) a multiple of 8?
True
Suppose 2*m + a - 31 = 6*a, -2*m - 4*a - 14 = 0. Let z(k) = k**3 + k**2 - 2*k - 4. Is 10 a factor of z(m)?
False
Suppose -31*p - 3*p = -16320. Is p a multiple of 32?
True
Let p(b) = 16*b + 9 - b**2 - 16 - 7. Is p(9) a multiple of 7?
True
Let i = 812 - -131. Is 9 a factor of i?
False
Let o(z) = z**2 - 17*z - 1. Let k(w) = -w**2 + 16*w + 2. Let u(q) = -6*k(q) - 5*o(q). Let t be u(7). Is 7 a factor of 3/(-10)*2*t?
True
Let g = -85 + -38. Let m = g + 293. Is 10 a factor of m?
True
Suppose -2*s - 3*h + 657 = s, s - 209 = -3*h. Suppose -9*x + 5*x + s = 0. Is 14 a factor of x?
True
Suppose -8 = 2*n - 7*i + 12*i, -5*i = -3*n + 13. Suppose 4 = w + 5, 5*w - 25 = -5*m. Suppose 23 = m*f - n. Is 2 a factor of f?
True
Does 93 divide (-12 - 2) + 10 + 2553?
False
Suppose 8 - 36 = p. Is 26 a factor of (-1 + p/20)*130/(-4)?
True
Suppose -1706 = -20*v + 10774. Is 6 a factor of v?
True
Let m(p) = 2*p**3 + 17*p**2 - 8*p - 12. Is 29 a factor of m(-8)?
True
Let s = 560 - -1602. Does 66 divide s?
False
Let v(h) = h**3 - 20*h**2 - 14*h + 27. Let g(y) = 2*y**2 - 8*y - 43. Let i be g(-4). Does 16 divide v(i)?
False
Let x = 193 + -144. Is x a multiple of 7?
True
Suppose -467*m + 478*m - 12397 = 0. Does 23 divide m?
True
Let o(l) = -l**2 + l - 13. Let i(w) = -2*w**2 + 3*w - 27. Let a(f) = 2*i(f) - 5*o(f). Is 13 a factor of a(-7)?
False
Let j(u) = u**3 - 2*u**2 + 8*u - 1. Let a be j(4). Let z = 113 + a. Does 16 divide z?
True
Suppose -40 = -2*i - 4. Let d = i - 18. Suppose d*a = a - 6. Is a a multiple of 3?
True
Suppose 0 = -d + 5*c + 268, -d - 5*c = -c - 295. Is d a multiple of 4?
False
Suppose -2*o = 3*o - 75. Does 26 divide 2/(-6) - ((-2690)/o + -3)?
True
Does 18 divide 26488/126 + 2/(-9)?
False
Let h(a) = 2*a**3 - 21*a**2 - 29*a - 128. Is 56 a factor of h(17)?
True
Suppose 0 = 2*k + 6, 0 = m + 3*m + 3*k + 13. Is 7 a factor of m/((3/17)/(-3))?
False
Suppose -3*f - 184 = -316. Does 44 divide f?
True
Let s(k) = 37*k + 86. Is s(10) a multiple of 24?
True
Is (76/(-95))/((-4)/6430) a multiple of 17?
False
Let h = -411 + 475. Is 8 a factor of h?
True
Let b(p) = 3*p - 3. Let x(c) = c**3 + 4*c**2 - 3. Let k be x(-3). Is b(k) a multiple of 9?
False
Let m(t) = t**3 - 9*t**2 - 23*t + 8. Let h be m(11). Let z = 6 + h. Is z a multiple of 2?
False
Let v(q) = 3*q**3 - 94*q**2 + 46*q - 41. Is v(31) a multiple of 33?
False
Let x be 0 + -6 + 4 + 4. Suppose x*f = -4, -4*f + 5 = 5*d + 3. Suppose d*m = -3*m + 45. Is 5 a factor of m?
False
Suppose 2*p = 2*x - 14, -5*p + x + 7 = 38. Let i(q) = -1 - 3*q**2 - 1 - 9*q + 2*q**2. Is i(p) a multiple of 11?
False
Suppose -4*k + s - 54 = -13, -52 = 3*k - 5*s. Let j(t) = -t**2 - 13*t + 6. Is 7 a factor of j(k)?
True
Suppose 36 = -3*z + 3*y, -4*y = -2 - 6. Does 22 divide -4 + -171*z/15?
True
Let p be -6*(-3)/6 - -3. Suppose 2*j = -m + 76, -4*m - 2*j + 328 = -p*j. Is 8 a factor of m?
True
Let t = 1200 + -210. Does 15 divide t?
True
Let t(g) = 4*g**2 + 131*g - 83. Is 14 a factor of t(-35)?
False
Let r be (96/(-20))/((-3)/15). Is (-2 + r/9)*-10*-3 even?
True
Let t(u) = 21*u + u**2 - 12*u**2 + 2*u**3 + 5*u**2. Is t(6) a multiple of 38?
True
Let g(t) = 2*t + 278. Let b(d) = d + 185. Let w(f) = -7*b(f) + 5*g(f). Is w(0) a multiple of 9?
False
Suppose 8*v - 7 = 7*v. Let u = 36 + -91. Let r = v - u. Is r a multiple of 31?
True
Suppose -4*c - 3 = -3*c. Let n(a) = -a**2 - 3*a. Let x be n(c). Suppose -3*t + 2*k + 86 = -t, 4*t + 3*k - 179 = x. Is t a multiple of 13?
False
Let p = -10 + 29. Let d(k) = k + 37. Is d(p) a multiple of 20?
False
Let w be 2/2*(-13 - -15). Let k(t) = 57 + 0*t**2 + 0*t**2 + t**w + 0*t**2 + t. Is k(0) a multiple of 19?
True
Let n be 2*-7*1/(-2). Let z be (12/5)/(74/2220). Suppose n*i + z - 387 = 0. Is 21 a factor of i?
False
Suppose 0 = 3*b - 5*b + 4. Suppose -v + b*w - 10 = -2*v, -4*w + 38 = 5*v. Suppose -n - n = -v. Is n a multiple of 3?
True
Let g = -23 + 13. Let q be g/(-4)*(-80)/(-25). Let n = q - -46. Does 9 divide n?
True
Let k = 9 - 5. Suppose -4 = -k*d - 5*v + 11, 4*d + v - 3 = 0. Suppose -3*h + 48 = -l, -54 = -4*h - d*l - 2*l. Does 11 divide h?
False
Let x(i) = -6*i + 11. Let v(z) = -6*z + 1. Suppose 3 = 5*g - 2*g. Let w be v(g). Is 11 a factor of x(w)?
False
Let w be ((-15)/(-12))/(2/112). Let i = w - 56. Is 7 a factor of i?
True
Let b(a) = -a + 4. Let p be b(2). Suppose 3*c = 3*w + 165, p*c - 107 = -0*c - w. Does 27 divide c?
True
Let j(k) = -k**3 + 3*k + 14. Does 2 divide j(-3)?
True
Let h(m) = 14*m**2 - m. Let c be h(-1). Suppose 0 = -3*s + c, 0 = 4*t + 4*s - 9*s + 45. Is 159/15 + (-2)/t a multiple of 11?
True
Suppose 5*m - b = 18, 2 = 2*m + 3*b - 6*b. Let a(v) = v**2 + 5*v - 8. Let k be a(-10). Suppose 5*x + m*i + i = 190, -x = -i - k. Is x a multiple of 10?
True
Let u(d) = 77*d - 8. Let b be u(4). Suppose 4*m + 108 - b = 0. Is 16 a factor of m?
True
Suppose -1419 = 8*y - 7499. Is 40 a factor of y?
True
Let j(q) = 5*q - q + 3*q**2 - 7*q**3 + 0 - 1 - 3*q. Let c be j(-2). Let o = c - 35. Does 10 divide o?
True
Let g = 60 + -52. Suppose 6*f - g = 4*f. Is f even?
True
Suppose -4*j = 3*o - 28, 3*o = 2*o - 4*j + 20. Let w = 6 - o. Suppose w*a + 0*a = 228. Does 34 divide a?
False
Let o(i) = -2*i**2 + 3*i + 3. Let a be o(3). Let w(u) = -9*u - 2. Let h be w(a). Let n = h - 32. Is 8 a factor of n?
False
Suppose 0*x - 4*o + 8 = -3*x, -5*o = 2*x + 13. Let z be x - (-1 + 0) - -23. Suppose 0 = -m - 0 + z. Is m a multiple of 9?
False
Let c = -4758 - -6662. Is c a multiple of 17?
True
Let f(w) = -2*w**3 + 15*w**2 + 2*w + 4. Let q(l) = -l**3 + l**2. Let i(j) = -f(j) + 3*q(j). Does 20 di