0 a factor of j?
True
Suppose -25 = 5*n + 5. Let y(l) = l**3 + 13*l**2 + 10*l - 5. Let k be y(-12). Let w = k + n. Is w a multiple of 7?
False
Let x(v) = v**2 - v - 1. Suppose -1 = u + 1. Let s be x(u). Suppose s*h - 92 = t, -4*t - 44 = -2*h - 0*h. Does 18 divide h?
True
Suppose 35 = 4*d - 29. Does 4 divide d?
True
Let w(p) = 13*p - 8. Does 11 divide w(3)?
False
Let o = 271 + -193. Is o a multiple of 10?
False
Does 20 divide 4 - 16*(-2)/2?
True
Let h be 2/(-2)*1*-11. Let o(l) = -l - 6. Let i be o(-11). Suppose -h = -2*r + i. Does 3 divide r?
False
Suppose k = -1 + 3. Let d(h) = 0*h**k - 9*h - 4*h**2 + 3*h**2 - 6. Is d(-4) a multiple of 14?
True
Let t(r) = -6*r + 9. Let x be t(5). Let b = 31 + x. Is b a multiple of 3?
False
Suppose 0 = 4*b + 12 - 36. Suppose 3*x = -a + 2, 0 = -a + 3*a + 5*x - b. Is 8 a factor of a?
True
Let d(r) = r**3 + 12*r**2 + 4*r + 1. Does 14 divide d(-11)?
False
Suppose 3*o - 201 = -2*d + 23, -2*d + 210 = -4*o. Does 18 divide d?
False
Let s = 14 - 10. Suppose -4*j + 68 = -s*t, 37 = 2*j - 4*t + 3*t. Is 6 a factor of j?
False
Let w(j) = -j**3 + 1. Let h be w(-2). Let v(i) = -i**3 + 9*i**2 + i - 2. Is v(h) a multiple of 2?
False
Let x(t) = t**2 - 5*t - 4. Suppose -4*a - 2*q + 30 = 0, 0 = 2*a - 0*q - 2*q - 6. Let y be x(a). Suppose 2*j - 3*i = -y*j + 32, -4*i + 9 = 5*j. Does 4 divide j?
False
Let p(x) = 3*x**2 - 9*x. Is 3 a factor of p(4)?
True
Is 5 a factor of (18/7)/((-15)/(-140))?
False
Let g be (-1*2)/(-1 + 2). Let c(n) = n**3 + 3*n**2 - 1. Let w be c(g). Suppose -w*u - h = -30, -2*h = -4*u - u + 61. Is 4 a factor of u?
False
Suppose -58 + 2 = 2*o. Is 10 a factor of ((-108)/28 + 3)*o?
False
Let f(z) be the third derivative of 9*z**4/8 - 4*z**3/3 + 2*z**2. Let o be f(8). Suppose 3*l = 2*s - 85, -5*s + o = -l - 2*l. Is s a multiple of 15?
False
Let k(z) = -16*z - 5. Let c be k(-6). Suppose 0 = 3*n + 5*h - c, n + 5*h + 98 = 5*n. Is 9 a factor of n?
True
Let k be 2 + 17 - (3 - 2). Is ((-4)/5)/(k/(-1305)) a multiple of 12?
False
Let c(h) = h - 15. Let j be c(11). Let z = j + 8. Suppose 8 + 21 = 2*r + 3*a, 5*r - z*a = 15. Does 4 divide r?
False
Suppose -4*a + 44 = -0*a. Does 3 divide a?
False
Suppose -3*o - 22 = 5*p, -4*p - 54 = 3*o + 2*o. Let n = 12 - 8. Does 12 divide n/o - 163/(-7)?
False
Suppose t - 2*t = -5. Let v = t - -1. Is 3 a factor of v?
True
Suppose -123 = -k - 3*b, -5*b = 4*k - 658 + 173. Does 24 divide k?
True
Let a = 47 - 10. Is a a multiple of 10?
False
Let m = -133 - -268. Is 5 a factor of m?
True
Suppose 4*s - 44 = -4*i, 4*s = -s - 3*i + 51. Is 3 a factor of s?
True
Suppose 9*t - 336 = 150. Is 12 a factor of t?
False
Let i = 15 + -8. Is i even?
False
Suppose 2*g + 5 = r + g, 4*r + 5*g - 38 = 0. Let u(k) = -k**2 + 10*k - 2. Is u(r) a multiple of 19?
True
Suppose 3*q - 451 = -166. Suppose 0 = -5*l + 3*z + q, -3*l + 0*z + 68 = -4*z. Does 14 divide l?
False
Let n(a) = 2*a**2 - 2*a - 2. Let t be n(2). Does 5 divide 37/5 + t/(-5)?
False
Suppose 0 = -5*x + 17 + 28. Does 8 divide x?
False
Let y = -29 + 158. Does 18 divide y?
False
Let r(b) = -b**3 - 8*b**2 - 5*b + 8. Let a(i) = -2*i + 9. Let m be a(8). Let p be r(m). Let v(f) = f**2 + 2*f - 8. Does 8 divide v(p)?
True
Let u be (-2)/(-4)*(3 - -3). Let k(l) = -l**3 - 4*l**2 + 4*l - 5. Let m be k(-5). Suppose 2*y + u*y - 55 = m. Does 4 divide y?
False
Suppose -z - 16 = -6*z + r, 5*z = -2*r + 28. Suppose -n = 3, 3*o - 10 + 4 = -z*n. Is 5 a factor of o?
False
Suppose -y - 3*y = 0. Suppose -5*p + 4*t + 41 = y, -3*p - 4*t = 1 - 0. Is p even?
False
Suppose -j - 163 = -5*s + 3*j, 2*s + j - 73 = 0. Does 5 divide s?
True
Suppose -2*h - 1 = -37. Does 3 divide h?
True
Is 6 a factor of 3/6*(-2 - -46)?
False
Suppose -15 = -3*m + 3*t, 5*t = 2*m - 0*m - 19. Suppose 33 = c - z, -2*c + 4*z + 78 = m. Is c a multiple of 10?
False
Let j = 1 - 2. Does 6 divide 14 + -2*j/(-1)?
True
Let k(h) = -h**2 - 2*h + 98. Let g be k(0). Suppose 0*r + r + 4*y - 27 = 0, 5*y = 3*r - g. Does 14 divide r?
False
Suppose -2*n - 2 = -46. Is 6 a factor of n?
False
Let g(v) = 63*v - 3. Does 9 divide g(1)?
False
Suppose w = 1, 4*q + 5*w = 502 - 25. Let h = q + -83. Suppose -65 = -4*u - 5*v, 0*u - v = 3*u - h. Is 6 a factor of u?
False
Suppose 6*w - 3*w = 0. Suppose w = 5*i - 72 - 53. Suppose 4*z = 3*z + i. Is 13 a factor of z?
False
Let o(c) = 35*c**3 + c**2 + c. Is 3 a factor of o(1)?
False
Suppose 0 = -2*h + 5*w + 6 - 3, -4*h - 5*w = 9. Let n(b) be the third derivative of -11*b**4/12 - b**3/6 - 2*b**2. Is n(h) a multiple of 6?
False
Let a be (-104)/(-3) + (-2)/(-6). Suppose -2*x - 3*u + a = 0, 5*x + 3*u - 100 = -2*u. Is x a multiple of 10?
False
Suppose 5*r - r = 0. Suppose -16 = -p - 4*c + 10, r = -4*p + 5*c + 20. Is p a multiple of 4?
False
Let k(o) = o**3 - 3*o**2 + 5*o - 4. Let j be k(3). Suppose a - j = 20. Is a a multiple of 12?
False
Is 4/(-22) + (-5346)/(-121) a multiple of 14?
False
Suppose z + 19 = 2*z + 5*l, -4*z + l + 13 = 0. Suppose -3*r = 2*s - 147 + 36, -z*s + 221 = 5*r. Does 27 divide s?
True
Suppose 7*x - 245 = 2*x. Is 13 a factor of x?
False
Let x(l) = -10*l**3 - 21*l**2 - 6*l - 6. Let s(p) = 7*p**3 + 14*p**2 + 4*p + 4. Let w(n) = -7*s(n) - 5*x(n). Does 6 divide w(-6)?
False
Let c(a) = -a**2 - 5*a + 2. Let y be c(-5). Suppose y*v + 0*o + o = 9, 4*v + 5*o - 27 = 0. Suppose 0*u - v*u + 90 = 0. Is u a multiple of 15?
True
Let z(i) = 5*i**3 - 1. Let d = 0 + -1. Let q be z(d). Does 4 divide q*6/(-9)*2?
True
Let r(t) = t - 1. Let g be r(5). Suppose -21 - 247 = g*p. Let j = 99 + p. Is 16 a factor of j?
True
Let j(t) = 22*t - 6. Suppose 3*c - 10 = 2*x, -19 = -0*c - 4*c - 3*x. Is 28 a factor of j(c)?
False
Let l(w) = 24*w - 1. Let t be l(3). Let i = 50 - t. Let d = 33 + i. Does 5 divide d?
False
Suppose -695 = q - 6*q. Let r = q + -97. Is r a multiple of 16?
False
Let n = 27 - 7. Is n a multiple of 17?
False
Let s = 6 + -18. Let i = 3 - s. Is i a multiple of 6?
False
Let m(l) = 2*l**2 - 6*l + 2. Let z be m(4). Let o be (-4)/10 + 24/z. Does 14 divide 55/o + 2/4?
True
Let v(k) be the second derivative of 0*k**4 - 1/20*k**5 + 0*k**3 + k - k**2 + 0. Is v(-2) a multiple of 6?
True
Let h be (-2)/(-6) - 18/(-27) - -2. Suppose -91 = 3*y - 550. Suppose -5*g + 3*b = -261, -5*g + 2*g + h*b + y = 0. Is 18 a factor of g?
True
Let g = 11 + 7. Does 4 divide g?
False
Let l = -77 + 131. Let b = l - 7. Is 21 a factor of b?
False
Let n(j) = j**3 + 7*j**2 - 8*j + 6. Let p be n(-8). Is 17 a factor of (-2)/p + 104/6?
True
Suppose -12 = 3*z + 2*y, -2*z + 0*z - y = 9. Is (4/z)/(3/(-18)) even?
True
Let b(n) = -2*n**2 + 2*n + 3. Let i be b(-2). Let l = -8 - -14. Does 3 divide (-3)/(i/l) - -1?
True
Is 31 a factor of 3945/27 + (-1)/9?
False
Suppose 0 = 3*s - 5*v - 92, 2*s - 4*v - v = 68. Is s a multiple of 13?
False
Let h(m) = m**3 - 5*m**2 + 5*m - 2. Let k = 9 - 5. Let o be h(k). Is 15 a factor of 662/18 + o/9?
False
Suppose -l = 3*l - 72. Suppose n - 42 = l. Is 20 a factor of n?
True
Let q(a) = -a**3 + 6*a**2 - a. Let t be ((-4)/6)/((-2)/15). Is q(t) a multiple of 5?
True
Let q = -7 + 2. Does 3 divide ((-4)/q)/((-8)/(-60))?
True
Let o = 169 - -35. Is o a multiple of 34?
True
Let l(g) = 4*g**3 - 4*g**2 + 2*g + 3. Is l(3) a multiple of 22?
False
Suppose 2*k - 153 = -3*w - k, 0 = 3*w - 5*k - 113. Is w a multiple of 11?
False
Suppose 5*y = 3*s - 2*s - 5, 3*y = -s + 5. Suppose -s*w = -6 - 4. Suppose 0 = -5*x + 5, w*o - 26 = o - 3*x. Does 18 divide o?
False
Let j(n) = -n**3 - 7*n**2 - 6*n + 3. Let a be j(-6). Suppose 25 = a*u + 1. Is 5 a factor of u?
False
Let b(u) = 59*u + 3. Does 9 divide b(1)?
False
Let t(g) = g**2 + g + 1. Let f(y) = -2*y - 9. Let c be f(-6). Suppose d = 3*s - 10, -2*s + 1 = c*d + 9. Is t(d) a multiple of 13?
True
Let u(r) = 3*r**2 + 16*r - 1. Is 16 a factor of u(-8)?
False
Let a be 4/(-18) + (-29)/(-9). Suppose -a*g + 2*g = -2*d + 97, -2*d + 92 = 4*g. Is d a multiple of 12?
True
Let k(s) = 96*s**2 + 3*s + 3. Is k(-1) a multiple of 32?
True
Suppose 2*c + 33 = -1. Let q = -5 - c. Suppose w - 2*t - 60 = -4*w, -q = -w - 2*t. Is w a multiple of 4?
True
Let o = 4 - 10. Is 12 a factor of (-276)/(-9) + (-2)/o?
False
Suppose 2*g - 3*d - 14 = 0, g - 4*g + 2 = 5*d. Let b be (-2)/g + 525/10. Suppose 5*v = v + b. Is v a multiple of 8?
False
Let m be (0 - -3)/((-9)/(-15)). Let d(w) = -1 - w + w + w. Does 2 divide d(m)?
Tr