*j. Does 34 divide j?
False
Suppose -i + 6*i = 0. Suppose i*u + u = 39. Suppose -u + 0 = -3*l. Is 13 a factor of l?
True
Let k(d) = -2*d**3 - 4*d**2 - d + 2. Let z be k(-2). Suppose 4*u + 2*r - 17 = -u, z*u + 4*r - 16 = 0. Suppose 4*i + u - 43 = 0. Is 10 a factor of i?
True
Let x be (12/30)/((-2)/(-5)). Let k(n) = 31*n + 1. Is 14 a factor of k(x)?
False
Let f be 2*((-98)/4)/(-1). Suppose 5*r - 2*d - 60 = 43, 2*d = -3*r + f. Does 19 divide r?
True
Suppose -5*c + 8 = 4*p - 0, p - 2 = -4*c. Suppose 23 = 2*o + 5*a, c*o - 3*o + a = -9. Does 24 divide (-726)/(-15) - o/10?
True
Suppose -4*i = -3*r - 171 - 226, 3*r + 197 = 2*i. Does 18 divide i?
False
Suppose 0 = m - 1, 0*p + 2*m - 2 = 3*p. Suppose p = -3*w + x + 176, -186 = -6*w + 3*w + 3*x. Is w a multiple of 17?
False
Suppose -3*r = -2*r. Suppose r = -4*c - c + 25. Suppose -5*m + 5*t = -50, c*m + 0*m + t = 68. Does 13 divide m?
True
Suppose 0 = 2*i + 9 + 33. Let b be (-1 - 0)*i/1. Suppose -3*c + 48 = -b. Is c a multiple of 9?
False
Let c(d) be the second derivative of -d**3/6 + 2*d**2 + 2*d. Let i be c(3). Does 16 divide -69*(5/(-3) + i)?
False
Let i(a) = -a**3 - 3*a**2 - 2*a - 2. Let m be i(-3). Suppose -m*l - 18 = -2*l. Is (39/l)/(3/(-27)) a multiple of 15?
False
Let d = 126 - 81. Is d a multiple of 9?
True
Suppose 4*r + 2*l - 42 = 0, -44 = -3*r + 2*l - 6*l. Does 4 divide r?
True
Suppose 2*w = 3*m - m + 6, 0 = m - 2*w + 8. Suppose 12 + 80 = m*x. Is 23 a factor of x?
True
Suppose 4 + 2 = 2*x + 2*n, 5*x - 3*n - 31 = 0. Suppose x*u + 13 = -q + 5, -5*u - 15 = 0. Suppose -5*o + 50 = 5*b, 3*o + 18 + q = 2*b. Is 4 a factor of b?
False
Let k(o) = 2*o**3 - 5*o**2 + 8*o + 8. Is 10 a factor of k(4)?
False
Let c = -3 - -8. Let p(s) = s**2 + s - 7. Is p(c) a multiple of 23?
True
Suppose 2*v = -3*v + 10. Suppose -2*z - 2*r + 58 = 0, z = v*r + 3*r - 1. Does 8 divide z?
True
Let n(a) = 7*a + 5. Let x(v) = -v + 1. Let l(q) = -n(q) + 6*x(q). Does 14 divide l(-1)?
True
Suppose -2*n = -6*n + 64. Suppose 4*c - n = -2*b, -c + 5*b = -4*c + 26. Suppose c*x = -x + 30. Is 6 a factor of x?
False
Is (112/10)/((-12)/(-30)) a multiple of 8?
False
Let s = 6 + 34. Is 21 a factor of s?
False
Let v(u) = 121*u**2 + u. Let l be v(-1). Suppose 0 = -3*o + 8*o - l. Is o a multiple of 12?
True
Let f = 48 + -39. Is f a multiple of 6?
False
Is 43 a factor of (0 - -481) + (-28)/(-7)?
False
Let t = 12 - -25. Is 19 a factor of (t/2)/(9/18)?
False
Suppose 0 = -6*t + 11*t - 15. Is t a multiple of 2?
False
Let b(y) = y**2 - 2*y + 4. Is 12 a factor of b(-2)?
True
Let p(r) = r**3 + 4*r**2 - 2*r - 4. Let u = -3 - -2. Let g(c) = 4*c + 1. Let k be g(u). Does 6 divide p(k)?
False
Suppose 0 = -27*u + 31*u - 80. Is u a multiple of 6?
False
Let c be -1 + 3 + 0 + 2. Suppose -j = c*j. Suppose -2*i + i + 20 = j. Does 12 divide i?
False
Suppose -12 = -4*w + 16. Is 7 a factor of w?
True
Suppose 1 = 3*f - 4*z, 6 = -3*f + 5*z + 2. Let t(k) = k**3 - 7*k**2 + 7*k + 2. Is t(f) a multiple of 17?
True
Let z = -12 + 6. Is (1 + 15/z)*-10 a multiple of 10?
False
Let o(w) be the third derivative of -5*w**4/24 + w**3 + 5*w**2. Let l = 12 + -18. Does 18 divide o(l)?
True
Suppose -27*d = -26*d - 189. Does 33 divide d?
False
Suppose -4 + 1 = -2*l - 5*f, -l - 4*f = 0. Suppose 2*u = l - 2. Suppose 4*c - 41 = -z - u, -2*z + 62 = 2*c. Is 14 a factor of z?
True
Suppose 8*z = -4*k + 4*z + 124, 5*z - 129 = -4*k. Suppose k = -5*h + 71. Is h a multiple of 4?
False
Suppose -3*o + x + 203 = 0, -2*o + 273 = 2*o + x. Is o a multiple of 26?
False
Let v(b) = -b**2 - 4*b + 7. Let z be v(-5). Suppose 0 = -z*c + 2 + 4. Suppose -4*q - 2*l + 18 = -32, 3*q = -c*l + 42. Is q a multiple of 7?
False
Suppose -4*v + 3*v = 0. Suppose 0 = -4*y - 5*k + 8 + 19, y + 4*k + 7 = v. Is y a multiple of 13?
True
Suppose -4*m = -13 - 167. Is m a multiple of 9?
True
Suppose 3*d - 6 = -5*v, 9 - 3 = 3*v + 3*d. Suppose 0 = -4*x + 3*x + 32. Suppose v = -4*k + x + 12. Is k a multiple of 3?
False
Let v be ((1 - -1) + -2)/2. Suppose 36 = 3*y - v*y. Is y a multiple of 12?
True
Let v be ((-6)/4)/((-1)/10). Suppose -3*z + 15 = -v. Does 4 divide z?
False
Suppose -19 - 3 = -2*g. Let v = -7 + g. Is v a multiple of 4?
True
Let n = 10 - -11. Is 15 a factor of n?
False
Suppose 4*g = 5*m - 0*g - 25, 3*g - 15 = -3*m. Let p(h) = h**3 - 5*h**2 + 3*h + 1. Let q be p(m). Let s = 1 + q. Is 17 a factor of s?
True
Let h be ((-156)/9)/((-2)/(-6)). Let w = -35 - h. Is w a multiple of 15?
False
Let m(n) = n**2 + 5. Does 6 divide m(6)?
False
Suppose f = 2*f - 61. Let m = 101 - f. Is 10 a factor of m?
True
Suppose -18*w = -16*w - 78. Is 13 a factor of w?
True
Is 12 a factor of (2/(-4))/((-8)/1840)?
False
Suppose -2 = -0*k + k. Is 13 a factor of (-12 + 10)/(k/18)?
False
Suppose -7 = -4*w - o + 13, -3*w + 3*o = 0. Let r(i) = 1 + w + i + 2. Is r(5) a multiple of 8?
False
Let o(r) = -26*r - 4. Let v be o(-3). Let u = v - 52. Is 11 a factor of u?
True
Let j(l) be the second derivative of l**5/20 - l**4/12 + 19*l**2/2 + 3*l. Is j(0) a multiple of 12?
False
Let t(o) = -8*o**3 - 2*o. Does 34 divide t(-2)?
True
Is (1 - (-1)/(-4)*4) + 30 a multiple of 5?
True
Suppose 4*x + 58 + 42 = 0. Let d = x - -43. Is 9 a factor of d?
True
Let u = 155 - 123. Does 21 divide u?
False
Suppose -5*q - 5 = -4*d, 2*d - 5 = 2*q + 3*q. Is 11 a factor of 108/10 - q/5?
True
Suppose 0 = f - 0 + 3. Let g = -31 + f. Let d = g - -47. Is 6 a factor of d?
False
Suppose 3*t = 7*t - 5*l - 170, 2*l = 3*t - 131. Let k = 105 - t. Does 20 divide k?
True
Suppose r = 6*r - 145. Is 10 a factor of r?
False
Let w be 1/(1 - (-3)/(-2)). Let s(x) = -2*x**3 - 4*x**2 - 3*x. Let t be s(w). Is 12 a factor of 94/t - (-8)/(-12)?
False
Suppose 4*l = 5*f - 3, 4*f + 0*f + l - 15 = 0. Suppose -r - 14 = -2*t, -f*r + 38 = 2*t + 2*r. Is 9 a factor of t?
True
Let h be ((-4)/(-6))/((-1)/3). Let y be 1 + (-2 - (-1 - 5)). Let m = h + y. Is m a multiple of 3?
True
Let u(g) = -26*g**3 + 3*g**2 + 3*g + 1. Is u(-1) a multiple of 15?
False
Let l(x) = x**2 - 5*x + 4. Let c be l(3). Let f(y) = -y**3 - 1. Let w(z) = 2*z**3 - 2*z**2 - z + 5. Let d(a) = 5*f(a) + w(a). Does 9 divide d(c)?
True
Does 22 divide 12/(-30)*(0 + -170)?
False
Suppose 5*u + 13 = 73. Let h(w) = -w**2 + 19*w - 30. Is h(u) a multiple of 27?
True
Let m(g) = -29*g**2 - g - 14. Let l(s) = 10*s**2 + 5. Let i(c) = -8*l(c) - 3*m(c). Is i(-3) a multiple of 20?
False
Suppose 0 = 8*w - 242 - 230. Does 49 divide w?
False
Let k = 2 - 15. Let v = k + 18. Is v even?
False
Suppose 5*m - 8 = 2. Is 22 a factor of 46 - ((-1 - m) + 0)?
False
Let w(c) = -c - 3. Let s be w(-3). Suppose -5*n - 45 = -s*n. Let x = 14 + n. Does 2 divide x?
False
Let f be -1 + 1*(-61 - 0). Let c = 113 + f. Suppose j + 51 = 3*m, 4*j + 0*j = 3*m - c. Is 6 a factor of m?
False
Let d(x) = 2*x**3 - 4*x**2 - 13*x - 10. Let w(f) = -4*f**2 + 9*f**2 - 2*f**3 + f**3 + 12*f + 9. Let q(j) = -2*d(j) - 3*w(j). Does 12 divide q(-6)?
False
Let m = 15 - 4. Does 3 divide m?
False
Suppose -7*l + 107 + 12 = 0. Is l a multiple of 13?
False
Suppose 7*u + 292 = 11*u. Is 8 a factor of u?
False
Suppose 5*w - 4*c + 55 = -204, 3*c = 2*w + 98. Let k = -20 - w. Does 10 divide k?
False
Let j = 2 - 20. Does 23 divide 150/j*(-2 + -1)?
False
Suppose 0 = -4*n + 2*n + 40. Is n a multiple of 5?
True
Let j(w) = -w + 4. Does 4 divide j(0)?
True
Is 35 a factor of ((-20)/16)/(3/(-108))?
False
Let u = -647 - -461. Is 6 a factor of u/(-9) - 8/12?
False
Let x = -73 + 112. Is x a multiple of 13?
True
Let w be 3*5 + 3 + -5. Suppose 2*k = 3*k - w. Suppose -4*y + 75 + k = 0. Does 11 divide y?
True
Let z = 96 + -14. Is z a multiple of 41?
True
Let y(s) = 17*s**2 + 13*s - 17. Does 20 divide y(-5)?
False
Let d(n) = -n**3 - 9*n**2 - 7*n + 3. Let l be d(-8). Does 8 divide (-4)/l*20*1?
True
Does 9 divide 325/20 - ((-5)/(-4) - 2)?
False
Is (-752)/(-13) + 16/104 a multiple of 14?
False
Let r = -74 - -120. Is 9 a factor of r?
False
Let t(k) = 18*k**2 + 2*k + 2. Let y = 1 + -2. Does 9 divide t(y)?
True
Let z be 1*(2 - (-1 + 1)). Let t = 2 - z. Suppose 5*h = v + 3*v + 43, 3*h + 4*v - 45 = t. Is h a multiple of 11?
True
Suppose -76 = -2*i - 3*y, -3*i + 177 = -5*y + 25. Does 12 divide i?
False
Suppose 0 = 2*q - 14 - 8. Let v = 20 - q. Is 3 a factor of v?
True
Suppose -5*q = 5*z - 20, 3*q = 2*z + q - 16. Let u be (-5)/(10/(-8)) - 1. Is 5 a fact