 0 + 1/(-1)*u?
True
Suppose 4 = 4*u - 0. Let t(j) = 10*j**2 + 4*j. Let o(d) = -20*d**2 - 7*d. Let q(y) = -3*o(y) - 5*t(y). Does 8 divide q(u)?
False
Let o(k) = k**2 - 13*k + 13. Let f be o(14). Suppose 0 = 3*g - 2*j - f, -5*g - 3*j + 8*j + 45 = 0. Does 8 divide g?
False
Let q = -3 - 3. Let b = -2 - q. Suppose 0 = 2*o + 3*m - 51, m = -b*o - 0*m + 107. Is 9 a factor of o?
True
Let x(n) = 22 - 11 + n + 19. Is 15 a factor of x(0)?
True
Let o(z) = z**3 + 11*z**2 - 15*z + 11. Does 10 divide o(-12)?
False
Suppose -2 = -3*l + 4. Suppose -l*f + 0*f = -10. Suppose 3*m + f*t - 20 = 80, -5*t + 25 = 0. Is 12 a factor of m?
False
Let c(l) = 2*l - 10. Let i be c(7). Suppose i*o - 103 = -3*s, -16 = -0*s - s - 5*o. Does 11 divide s?
False
Suppose -105 = -4*p - 9. Suppose 0 = -3*z + a - 6*a - 8, 5*a = z - p. Is (-2 + 2/z)*-18 a multiple of 9?
True
Let h(b) = -9*b + 2. Let x be h(-1). Suppose -10 = -z + x. Is 6 a factor of z?
False
Suppose 133 + 71 = 3*n. Is 34 a factor of n?
True
Let n(h) = -h + 44. Is n(-14) a multiple of 9?
False
Suppose -6*r + 194 = -202. Is r a multiple of 13?
False
Does 7 divide 62 + (-6)/3 - -3?
True
Let u(f) = -3*f + 18. Let a(c) = -c + 6. Let l(p) = -11*a(p) + 4*u(p). Is l(0) a multiple of 4?
False
Suppose p = 4*p - 12. Suppose -v + 3*f + 11 + 2 = 0, p*f + 92 = 4*v. Is v a multiple of 8?
False
Let o = -39 - -20. Let u = 36 + o. Does 17 divide u?
True
Let y = -67 - -103. Is y a multiple of 18?
True
Suppose 6*w + 5*q = 2*w + 135, 3*w + 5*q = 105. Is w a multiple of 2?
True
Suppose 5*q = q - 2*j - 20, 2*q - j + 6 = 0. Let z(g) = g**2 - 2*g - 1. Does 13 divide z(q)?
False
Suppose x + 2*s + 56 = -3*x, 5*x - 5*s + 100 = 0. Let q = x + 52. Is 17 a factor of q?
False
Suppose 0 = -3*q - t + 12, -3*t = 4*q - 18 - 3. Suppose q*u + u - 176 = 0. Is 15 a factor of u?
False
Suppose 0*f + 2*f = 32. Suppose -3*s = s - k - 44, -2*s + f = k. Does 3 divide s?
False
Let s(m) = 2*m + 2. Let p be s(2). Is 3 a factor of p*-1*2/(-4)?
True
Suppose -9*g + 60 = -13*g. Is 16 a factor of (164/6)/((-10)/g)?
False
Let t(s) = s**3 - 7*s**2 + 2*s - 6. Suppose -4*h - 5*v = -48, -4*v - 14 + 2 = -4*h. Is t(h) a multiple of 8?
True
Suppose 4 = -2*m + 4*m. Let g = 6 - m. Suppose -3*h = -g*w + h + 60, 3*w - 55 = h. Is 8 a factor of w?
False
Suppose -663 = -5*y - n, -20 = -y - 4*n + 105. Is y a multiple of 39?
False
Suppose 0 = -3*a + 4*u + 36, -20 = -2*a + 5*u + 4. Is a a multiple of 4?
True
Let l(m) = -19*m**2 + 3. Let c be l(-3). Let v = c + 240. Suppose -v = -4*z + z. Is z a multiple of 12?
True
Does 24 divide 15/(-6)*(-56)/2?
False
Let x = 1 - -5. Suppose 0*r - x = -r. Suppose 4*k + 158 = 5*c, c - 2*k - r = 22. Does 17 divide c?
True
Suppose 7 = -3*b - 8, -5*g + 3085 = -b. Is 17 a factor of (-2)/9 + g/18?
True
Let j(i) = i + 7. Let q be j(0). Is 12 a factor of 2 - q/(14/(-72))?
False
Suppose 2*f - 12 = 4. Let v be 8/20*5 + -1. Suppose v = p - f. Is 4 a factor of p?
False
Let l be 1 + (-3 - -2 - -1). Is (l/3)/((-4)/(-312)) a multiple of 13?
True
Suppose -5*a = -5*p + 8*p - 139, -116 = -4*a - 4*p. Is 13 a factor of a?
True
Let h be (3/3)/(2/6). Suppose -h*i = 2*i - 160. Does 11 divide i?
False
Let v be (-4)/6 - 20/(-3). Suppose -4*o = -v*o + 28. Does 13 divide o?
False
Suppose -3*p - 3*y = 15, 3*p - 4*y = -p - 20. Is 12 a factor of (54/p)/((-3)/10)?
True
Let h(l) = -45*l. Let x be h(-1). Suppose -k + x = 8. Is k a multiple of 16?
False
Let y be (-24)/(-9) - (-4)/(-6). Suppose y = t + 8. Does 2 divide (18/(-15))/(t/20)?
True
Let h(a) = 18*a**2 + 12*a - 2. Suppose -4*n + 6*n + 4 = 0. Let s(g) = -6*g**2 - 4*g + 1. Let v(p) = n*h(p) - 7*s(p). Does 17 divide v(2)?
False
Let n(f) = f**2 - 2*f + 4. Let v be n(4). Let d = 32 - v. Does 15 divide d?
False
Let o = -23 + -1. Let k = 46 + o. Is 22 a factor of k?
True
Let m(h) = h + 35. Is 13 a factor of m(-22)?
True
Let w(o) be the third derivative of o**4/8 - 4*o**3/3 - o**2. Let u = 2 + 5. Does 13 divide w(u)?
True
Let i(f) = -2*f**2 + 9*f + 8. Let x be i(7). Let m be 6/(-3)*-1 + x. Let k = m - -46. Is k a multiple of 10?
False
Let h(r) = 2*r - 1. Let z be h(12). Let k = z + 5. Is 14 a factor of k?
True
Suppose -11 = -2*v + 3*v. Let m = 23 - v. Does 11 divide m?
False
Suppose 5*w = 5*k - 55 - 0, -2*k - 3*w = -2. Let j(t) = -t**3 + 8*t**2 - 2*t - 8. Does 9 divide j(k)?
True
Let t(c) = -c + 48. Suppose 3 = 5*m - 5*z - 7, 5*z = -5*m - 10. Does 24 divide t(m)?
True
Let p(r) = -11*r - 4. Let b be p(-7). Let y = 103 - b. Is 9 a factor of y?
False
Is ((-68)/51)/(2/(-135)) a multiple of 15?
True
Suppose -4*l - 168 = -0*n + 4*n, 5*n + 206 = -3*l. Let a = -22 - n. Is a a multiple of 12?
False
Let w be 10 - 6 - (-1 - -3). Is 18 + (6/1 - w) a multiple of 11?
True
Let b = 5 - 8. Let r be (-2)/(b*3/(-117)). Let d = r + 44. Is 9 a factor of d?
True
Let w(z) = z**2 + 3*z - 5. Let c be w(-5). Suppose -4*t + 2*t - 2*h - 18 = 0, 2*h = -c*t - 36. Let y(g) = g**3 + 7*g**2 + g + 4. Is y(t) a multiple of 17?
True
Let o(g) = -4*g + 9. Is o(-5) a multiple of 9?
False
Let g(f) = f**3 - 2*f - 3. Let r be g(-2). Let c(q) = q**2 + 8*q + 4. Let n be c(r). Is -3 - n - (-25 + 1) a multiple of 12?
True
Suppose -h = h - f - 171, -2*f - 430 = -5*h. Is h a multiple of 44?
True
Let h(l) = -l**3 + 10*l**2 - 7*l + 6. Does 4 divide h(9)?
True
Let y be -154*(3/(-2))/3. Suppose 4*s = -4*q - 34 + 102, -4*q + y = -5*s. Is q a multiple of 14?
False
Suppose -2*w = -7*w + 135. Is w a multiple of 13?
False
Let t be (-8*(-2 - 60))/1. Does 14 divide (-4)/(-18) - t/(-36)?
True
Let h = -14 - 30. Suppose -80 = -p - 9. Let v = p + h. Is 9 a factor of v?
True
Is 13 a factor of 2*(0 + -1)/(12/(-156))?
True
Let y(k) = -6*k + 6. Let g(a) = -a**2 + 6*a - 10. Let d be g(5). Is 12 a factor of y(d)?
True
Suppose 2 = 2*f - 2. Suppose 2*m = -f*u + 4*u - 20, 0 = 5*u - 3*m - 42. Is 5 a factor of u?
False
Let t = -27 + 24. Is 10 a factor of 9*(-1)/t + 7?
True
Let k(h) be the second derivative of -2*h**3/3 + h**2 + 3*h. Let j = -2 + -3. Is k(j) a multiple of 11?
True
Suppose 5*v - 3*d + 90 = 0, 5*d = -3*v - 10 - 10. Let t = 0 - v. Suppose 9*h - t = 4*h. Does 3 divide h?
True
Is 62*4*2/8 a multiple of 18?
False
Suppose 4*t + f + 111 = 0, 0 = -3*t - 5*f - 0*f - 96. Let p = -7 - t. Is p a multiple of 10?
True
Suppose 2*x + 3*x = 225. Does 9 divide x?
True
Let z(v) = -v**3 + 4*v**2 + 3*v. Let p be z(5). Suppose -15 = -4*y - y. Let x = y - p. Is 13 a factor of x?
True
Suppose 3*x - 660 = -x. Is x a multiple of 11?
True
Suppose 3*p - 12 = -3*y, -2*y + p - 1 = -0*y. Is 6 a factor of 3/(6/46)*y?
False
Let i(m) = m**3 - 6*m**2 - 2*m - 5. Let b be i(4). Let v = -8 - b. Is v a multiple of 19?
False
Suppose 3*r - 2*d - 2*d = 18, d + 11 = 4*r. Suppose -5*u + 3*c + 82 = 0, -5*c = -r*u + 28 + 20. Is u a multiple of 7?
True
Let j = 3 + -3. Suppose 0 = -4*a - 2*h + 26, -4*a + 36 = -j*h + 4*h. Let o = a + 2. Does 6 divide o?
True
Let f(x) = -10*x**2 + 0*x**3 - x**3 + 10 - 3*x - 6*x. Let d be f(-9). Suppose -3*s - 2*s + 3*q = 2, 3*s - 4*q = -d. Does 2 divide s?
True
Is 19 a factor of 17/(-8)*10*-8?
False
Let i = -122 + 275. Is 17 a factor of i?
True
Suppose 0*g - 3*g + 3 = 0. Let d = g - -2. Suppose 0 = x + d*x - 24. Does 6 divide x?
True
Let c(b) = 8*b - 7. Let h be c(5). Let a be (-2)/5 + (-24)/(-10). Suppose 0 = -a*l + 5*l - h. Is 11 a factor of l?
True
Is (0 + 1)/(1/62) a multiple of 9?
False
Let r = -29 - -22. Let z(j) = -j**3 - 4*j**2 + 10*j + 3. Does 22 divide z(r)?
False
Let q = 14 - -13. Is q a multiple of 9?
True
Suppose -4*r + 5*n + 108 = 0, r = -3*r + 2*n + 120. Is 16 a factor of r?
True
Let n(u) = -17*u - 24. Does 28 divide n(-12)?
False
Let q be 2*(-3 + 13)*1. Suppose u + 2*u + 5*b = 32, -q = -2*u - 3*b. Is u a multiple of 4?
True
Suppose -15*o + 192 = -9*o. Does 8 divide o?
True
Let l = -132 + 94. Let q(p) = 11*p - 13. Let t be q(6). Let h = l + t. Is h a multiple of 7?
False
Suppose -2 = -2*s + 3*y - 11, -4*y = 3*s - 12. Suppose -4*z + z - 15 = s. Let h(r) = r**2 + 5*r + 5. Is h(z) a multiple of 2?
False
Let v be ((-7)/2)/(7/(-14)). Let n(k) = -k**2 + 7*k + 5. Is n(v) a multiple of 3?
False
Is (-3)/(-3) + 3 + 315 + -5 a multiple of 43?
False
Suppose 0*u - u = z - 191, 4*z + 740 = 4*u. Is 5 a factor of (-2)/(-7) - u/(-28)?
False
Let w = 77 - 53. Let t be (-3)/(((-10)/w)/5). Suppose -3*x - t = -7*x. I