= m**3 - 18*m**2 + 24*m + 24. Does 16 divide r(u)?
False
Let h(n) = 5*n. Let j be h(2). Let i = -8 + j. Suppose i*f = 100 - 28. Is 12 a factor of f?
True
Suppose -172 - 1520 = -4*s. Is s a multiple of 9?
True
Let j(c) = 11*c - 2. Let s(a) = -11*a + 1. Let w(m) = 4*j(m) + 5*s(m). Let r be w(-4). Suppose 2*k + r = 3*k. Is 6 a factor of k?
False
Suppose 0 = -56*g + 84*g - 88396. Is g a multiple of 7?
True
Suppose 3*p + 4*t - 3211 = 2*t, 0 = 4*p + 5*t - 4286. Is p a multiple of 37?
False
Does 9 divide ((-19134)/(-171) - -5) + (-4)/(-38)?
True
Let h(x) = -x**2 + 2*x + 12. Let b be h(6). Let d(f) = -12*f + 16. Is 14 a factor of d(b)?
False
Let t(i) = -i**3 + 13*i**2 - 9*i - 24. Let u(q) = 2*q**2 + 4*q - 4. Let h be u(2). Does 12 divide t(h)?
True
Suppose 0 = -6*h + 7*h - 70. Is 67 a factor of h?
False
Let o(h) = 659*h**3 - h**2 + 4*h - 2. Is o(1) a multiple of 10?
True
Suppose -o - 2700 = -4*o. Suppose 6*y - 2*y - o = 0. Does 23 divide y?
False
Suppose -4*r + 52 = -4*b, 0 = 2*r - 3*r - 2*b + 16. Is r a multiple of 12?
False
Suppose -3*i + 147 = -3*b, 5*i - i - 3*b = 201. Let g = -80 + i. Let a = -17 - g. Is 9 a factor of a?
True
Suppose -3*l - 2*c + 4 = 675, -3*l + 2*c - 667 = 0. Let s = l - -363. Is s a multiple of 14?
True
Let g(t) = -4*t**3 + t**2 + t + 1. Let o be g(-1). Suppose -3*k - o*d + 114 = 0, 5*d + 190 = 5*k + 3*d. Does 19 divide k?
True
Let z(x) = -x**2 + 9*x + 2. Let y(v) = -v. Let r(w) = 5*y(w) + z(w). Let p be r(4). Suppose 0 = -4*m - p*q + 186, 0 = 3*m - 8*m + 5*q + 270. Does 10 divide m?
False
Let h(q) = 8*q - 8. Suppose -3*u - n + 33 = -4*n, -19 = u + 5*n. Is 10 a factor of h(u)?
True
Let f(x) = 47*x - 5. Is 54 a factor of f(7)?
True
Suppose -4*q = 9*q - 52. Let x(z) = -z**2 + 5*z + 13. Is 4 a factor of x(q)?
False
Let j(s) = s**3 - 3*s**2 - 4*s + 2. Let p be j(4). Suppose -3*z = -3*r + 75, p*r + z = 4*z + 50. Is r a multiple of 2?
False
Let d(u) = 3*u + 4. Let g = 18 + -9. Let z be d(g). Suppose 5*n - 62 = -4*y, -2*y = -4*n + y + z. Is 3 a factor of n?
False
Suppose -4*p = -9*p - 5*r + 10, -14 = -2*p + 3*r. Does 19 divide ((-2)/(-6))/((p/171)/4)?
True
Let o(f) = f**3 - 4*f**2 - 2*f + 6. Let v be o(4). Is 28 a factor of v/(-10) - 1595/(-25)?
False
Suppose 4*j = 3*h + 183, -2*j - j + 138 = -3*h. Suppose 0 = -5*n - j + 160. Is n a multiple of 23?
True
Let z(t) = t**3 + 58*t**2 + 41*t + 415. Is z(-57) a multiple of 35?
False
Suppose -4*u - 5 = 15, -3*d - u = -715. Is d a multiple of 40?
True
Does 86 divide 1088 + (8 - 7)*(1 + -4)?
False
Let q = 2 + 3. Suppose 0 = a - 1 + q. Let x(r) = r**3 + 8*r**2 + 5. Is x(a) a multiple of 21?
False
Let s = 92 + -191. Let l = 235 + s. Is 17 a factor of l?
True
Let u(c) = -6*c**3 - 19*c**2 - 4*c - 7. Is 21 a factor of u(-6)?
False
Let x(m) be the third derivative of -7*m**2 + 0*m + 1/3*m**3 + 1/60*m**5 - 1/3*m**4 + 0. Does 10 divide x(12)?
True
Let v(r) = r**2 + 3*r - 4. Suppose 2*a - 5*a - 33 = 0. Does 12 divide v(a)?
True
Let l = 14 + -14. Suppose l*c = 5*c + 240. Does 16 divide (2/4)/((-1)/c)?
False
Suppose -84*z = -79*z + 30. Is (-29 - z)*(3 - (3 - -2)) a multiple of 5?
False
Suppose 0*l = -l + 7. Is 6 a factor of l/7*118/2?
False
Let n(t) = -3*t. Let g be n(-1). Suppose g*f = 73 - 10. Let x = f - 4. Does 5 divide x?
False
Let c be (3/(-5))/(-3) - 188/(-235). Does 9 divide c/2*(9 + -3 - -212)?
False
Suppose -45 = 4*g - 3*g. Suppose -74 = -p - 0*p. Let j = g + p. Is 18 a factor of j?
False
Is (28/(-10))/(1495/300 - 5) a multiple of 6?
True
Suppose -5*g + 0*g = -495. Suppose b = -5 + g. Does 2 divide 4/(-18) - b/(-18)?
False
Let n(d) = 7*d**3 + d**2 - d. Let l be n(1). Suppose -4*z = 3*f - 22, l*f - 4 = 3*f + z. Suppose -f*h + 3*y + 36 = 0, h - 2*y - 12 = y. Is h a multiple of 12?
True
Let l = 7 + -2. Suppose 0*k = -l*k - 4*j + 20, 2*k - 8 = -j. Suppose 0 = k*d + p - 73, 2*d - 3*p - 87 = -3*d. Is d a multiple of 9?
True
Let p be (3 - 32/12)*0. Suppose -7*j + 13*j - 126 = p. Is j even?
False
Let m be -2*3/2 + -3. Let v(q) = q**2 - q + 22. Is 22 a factor of v(m)?
False
Let u(b) = -b + 9 + 3*b - 8 + b**2. Let q be u(-8). Let n = q - -26. Is n a multiple of 15?
True
Does 146 divide -1 - -1728 - 430/(-86)?
False
Suppose -3*m - 4 = 2. Let x(q) = q**3 + 4*q**2 + q - 2. Let j be x(m). Suppose -c - 2*c + 75 = 3*u, 16 = j*u. Does 6 divide c?
False
Let v(s) = -26 - 16*s + 9*s + 10*s. Does 13 divide v(16)?
False
Let h = 914 + -543. Is h a multiple of 53?
True
Let y(d) = 6 - 6 + 4 + 81*d. Is y(1) a multiple of 17?
True
Let o(m) = m**3 + 9*m**2 - 36*m - 35. Is o(-11) a multiple of 7?
True
Is 20 a factor of (-9)/(180/(-8)) + (-1523)/(-5)?
False
Suppose -8*f = -2552 - 1672. Is f a multiple of 30?
False
Suppose 6738 = -3*j + 4*v, -5*j - v + 1164 = 12417. Is 4/26 + j/(-78) a multiple of 29?
True
Suppose 0 = -l - 3*l + 5*t + 1851, -5*t = 5*l - 2325. Suppose -2*a = -3*i + 434 - 81, 4*i - a = l. Does 18 divide i?
False
Does 22 divide (103/(-206))/(2/(-8008))?
True
Let p be 13 + -9 - (-3 - -2). Suppose k = 3*a - 257, -a - k = -p*k - 71. Is a a multiple of 18?
False
Is (17017/(-39))/((4 + -1)/(-18)) a multiple of 16?
False
Suppose -5*x = -2*s - 22, -5*x + 3*s + 23 = -0*x. Suppose 0 = -2*d - 6*g + 3*g + 211, x*d - 455 = 5*g. Is d a multiple of 11?
True
Does 49 divide (12642/(-210))/(2/(-40))?
False
Suppose -180 = -3*b + 27. Let c = b + -35. Suppose c = 3*q + 3*h - 56, 5*q = 2*h + 164. Is q a multiple of 8?
True
Let r(x) = -x**3 - x**2 - 80. Let o be r(0). Let k be -40 + 1 - (-126)/(-21). Let w = k - o. Does 35 divide w?
True
Let k(d) = -8*d + 5. Let v = 29 + -21. Let m be k(v). Does 5 divide 4/(-6) - m/3?
False
Suppose 0 = s + 4*x + x - 132, -4*s + 592 = 4*x. Suppose -m + 4*y = -s, -4*m + 4*y = -0*m - 548. Is 33 a factor of m?
True
Let z = 201 + 147. Does 12 divide z?
True
Suppose -2*m - 22320 = -18*m. Is 39 a factor of m?
False
Suppose 0 = -62*b + 67*b - 890. Is b a multiple of 2?
True
Let n(g) = 3*g - 10. Let l(p) = 2*p - 5. Suppose 3*t - 7 = 4*y, 5*y - t + 5 = 4*t. Let f(c) = y*n(c) + 7*l(c). Does 13 divide f(8)?
False
Let j(z) = 2*z**3 - 2*z**2 + z - 3. Suppose 2*y - 4*y = 4*k - 42, -2*k + 2 = 0. Let x = -16 + y. Does 9 divide j(x)?
True
Let c(u) = 9*u**2 + 13*u + 31. Let y be c(-7). Suppose y + 269 = 5*b. Does 44 divide b?
False
Suppose -7*i + 0*i = 0. Suppose i = -9*v + 6*v + 12. Does 8 divide (-3)/(3/(-59)) + v?
False
Let f = -193 + 350. Suppose 11*j = 12*j - 76. Let u = f - j. Does 16 divide u?
False
Let u = -340 - -930. Is 21 a factor of u?
False
Let d = -2310 + 3261. Is 13 a factor of d?
False
Let u(o) = -o**3 + 9*o**2 - 14*o - 10. Let y be u(7). Is 39 a factor of (-394)/y + (-10)/25?
True
Let z(j) = -j**3 + 7*j**2 - j + 7. Let u be z(7). Suppose 6*g + 57 - 297 = u. Is g a multiple of 6?
False
Let r(g) = 2*g**2 - 9*g - 3. Let z be r(7). Let a(x) = x + 24. Let l be a(-17). Suppose z = 3*p - 2*d, -3*p - 5*d = -l - 18. Does 3 divide p?
False
Let u = -18 - -37. Let y = u - 5. Is y a multiple of 14?
True
Is 4 a factor of (31 - -4 - -1) + -6?
False
Suppose -4*u = 2*r - 736, 8 = -4*u - 12. Is 18 a factor of r?
True
Let q be 287 + 8*3/6. Let t = -191 + q. Is t a multiple of 24?
False
Suppose -5*a = -0*a - 20. Suppose 0 = -a*v + 3 + 1, -4*n + 322 = -2*v. Does 26 divide n?
False
Suppose -10*a = -131 - 1639. Is a a multiple of 49?
False
Suppose -4*u + 5*k + 10606 + 3286 = 0, 13916 = 4*u + k. Does 47 divide u?
True
Let z = 7045 + -4777. Is z a multiple of 81?
True
Let b(j) = -34*j + 64. Does 20 divide b(-4)?
True
Let i = 84 + -79. Suppose 0*o - 565 = -i*o. Is 25 a factor of o?
False
Suppose -4*h = -3*j + j, 5*h = 0. Is j + -1 - (-32 + 0) a multiple of 31?
True
Let n be 69/(0 - 3)*-1. Let h(o) = -o**2 + 4*o - 6. Let q be h(6). Let b = n + q. Is b a multiple of 5?
True
Let y(f) = -8*f + 5. Let k be y(-3). Suppose 236 = k*b - 25*b. Is b a multiple of 13?
False
Let r(u) = 27*u + 19. Is 21 a factor of r(6)?
False
Let r(y) = -y**3 - 19*y**2 + 53*y - 126. Is 13 a factor of r(-24)?
True
Suppose 2*p = -2*o + 6*o + 26, -o + 3*p = 9. Is ((-114)/(-9))/((-4)/o) a multiple of 19?
True
Let d = -583 + 930. Is d a multiple of 16?
False
Let r(l) = -10*l**2 + 112*l - 12. Does 9 divide r(8)?
False
Let t(j) = 3*j**2 - 6*j + 6 - 3*j + 0*j**2. Does 3 divide t(4)?
True
Let w(f) = 4*f + 42. Let d be w(25). Suppose -444 = -4*m + c, -3*m + 202 