se
Suppose 0 = -4*i + 3*o + 28, -2*o - 14 = -2*i - o. Let g(r) = r**2 - 6*r + 2. Let h be g(i). Suppose -3*b = -h - 18. Does 9 divide b?
True
Let w(y) = -y**3 - 7*y**2 + 6*y - 7. Let r be w(-8). Let l = 9 - r. Suppose 0 = -2*t - l*k + 5*k + 76, 5*t = -2*k + 190. Does 11 divide t?
False
Suppose -4*c = -8*c + 152. Does 4 divide c?
False
Suppose -5*c - 24 = -4*o + 8, -5*o - 5 = 5*c. Let q be (o/((-6)/(-8)))/(-2). Does 14 divide 5/(-10) + (-29)/q?
True
Let q = -12 + -23. Let y = -21 - q. Is 14 a factor of y?
True
Let f = 0 + 18. Is 6 a factor of f?
True
Suppose 5*j + 2*u = 385, 0 = -3*j + 2*u - 3*u + 230. Is j a multiple of 15?
True
Let x = -185 - -292. Let y = 50 - x. Let v = 83 + y. Is v a multiple of 9?
False
Let n(l) = -l**3 - 6*l**2 + 4*l - 5. Let q be n(-7). Let u = q + 4. Is 14 a factor of u?
False
Let t(m) be the third derivative of m**5/60 + 3*m**4/8 + 11*m**3/6 - 2*m**2. Let o be t(-8). Suppose -2*g + 110 = o*g. Is 11 a factor of g?
True
Suppose 2*l - 5*f = 108, -l + 3*f + 32 = 6*f. Does 8 divide l?
False
Suppose 4*h + 0*h = c - 32, -c + 3*h = -28. Does 8 divide c?
True
Suppose w - y = 25, -1 + 132 = 5*w + y. Is w a multiple of 14?
False
Let x(z) = -91*z**3 - 2*z**2 - z. Does 30 divide x(-1)?
True
Suppose 0 = 5*h - 4*w - 1040, -242 + 45 = -h + 3*w. Is 18 a factor of h?
False
Let j be 10/4 - (-1)/2. Suppose 0 = -j*x + x + 84. Suppose -5*q - x = -122. Does 16 divide q?
True
Let r(q) = -q**3 + q**2 + 2*q + 5. Is r(-3) a multiple of 14?
False
Let y(l) = 11*l - 5. Is y(9) a multiple of 24?
False
Suppose 2*y = 3*y + 54. Let i = -22 - y. Does 23 divide i?
False
Suppose -3*h + 0 = -9. Suppose 1 = -h*g + 7. Suppose 3*l - 84 - 36 = 3*x, x = -g*l + 77. Is 13 a factor of l?
True
Suppose -8*l + 2*l = -570. Is l a multiple of 12?
False
Let h be 90/20 + (-1)/2. Let c = 2 + h. Let s(m) = 7*m - 2. Does 20 divide s(c)?
True
Is 20 a factor of ((-3)/(-2))/(27/990)?
False
Let r be (-1)/(1*(-1)/3). Let h = -3 + r. Suppose a - 2*i - 5 = h, a - 15 = -2*a - 5*i. Is 3 a factor of a?
False
Suppose 11 = o + 2. Let d = 0 - o. Does 12 divide 4/(-6) - 222/d?
True
Suppose 0 = 4*h + 5*u - 25, 3*h - 3*u = -1 + 13. Does 3 divide h?
False
Let a(i) = -i - 5. Is 2 a factor of a(-7)?
True
Let n(h) = h + 6. Let t be n(-6). Suppose -5*p + 3*j = -2*p - 132, 2*j - 6 = t. Does 14 divide p?
False
Let t = 20 - 17. Suppose -3*b = -t*c + 93, -3*c - 151 = -8*c + b. Is c a multiple of 10?
True
Let a be 25 + (-3)/(-3)*-1. Suppose 2*i - a = -2*i. Let l(f) = -f**2 + 8*f + 1. Is 6 a factor of l(i)?
False
Let r(b) = 7*b + 4. Let x be r(8). Suppose 5*j + 15 = u - 0, 0 = 4*u + 5*j - x. Is u a multiple of 5?
True
Suppose 5*r = 2*q + r + 32, -5 = -q - 5*r. Let k = 19 + q. Let w = k + 1. Does 4 divide w?
False
Let z = 151 - 76. Suppose -5*i + z + 25 = 0. Is 20 a factor of i?
True
Let a = -10 + 65. Does 7 divide a?
False
Suppose -2*m + 3*m - 17 = 0. Let f = -7 + 13. Suppose m + f = l. Does 15 divide l?
False
Let f(a) = a**2 - 1. Let w(p) = -p + 1. Let n(o) = -5*o**2 + 4*o - 3. Let t(b) = -n(b) - 4*w(b). Let g be t(1). Is 8 a factor of f(g)?
False
Suppose 5*t + p = 845, 4*p - 78 = -2*t + 242. Is 17 a factor of t?
True
Let j(z) = 6*z**3 - 4*z**2 + 3*z - 1. Let i = -5 - -7. Does 13 divide j(i)?
False
Let i = -115 - -210. Suppose -4*l - 9 - i = -4*m, 4*l = 20. Is m a multiple of 7?
False
Let o(z) be the second derivative of z**4/6 - z**3/2 - z**2 - z. Let t be (-20)/15 + 2/(-3). Is o(t) a multiple of 4?
True
Let i = -5 - -31. Suppose 5*p + 0 = 5. Let f = i + p. Is 20 a factor of f?
False
Suppose -24*b + 26*b = 224. Is b a multiple of 14?
True
Let f(q) be the second derivative of -3*q**2 + 2/3*q**4 + q + 1/20*q**5 + 5/6*q**3 + 0. Does 8 divide f(-7)?
True
Let u(h) = -2*h + 3. Let p be u(2). Does 5 divide 55/5 + (-1 - p)?
False
Suppose -2*l + 40 = 3*l - q, -17 = -l + 2*q. Suppose -11*o + 132 = -l*o. Is 11 a factor of o?
True
Suppose -2 = -2*d - 2*g, 5*g - 5 = -2*d - 2*d. Suppose 2*u - 14 = -b + 29, d = -b - 4*u + 41. Is b a multiple of 15?
True
Let n = 73 - 19. Is 18 a factor of n?
True
Suppose 0 = -2*j + 5*r + 25, -10 = -4*j - j - 5*r. Suppose -4*t + 281 = j*a + 37, -5*t = -2*a + 91. Is a a multiple of 14?
False
Suppose -z = 4*z + 3*c - 786, 3*z + c = 470. Suppose -148 + 418 = 5*g. Suppose -g = -5*d + z. Is 11 a factor of d?
False
Suppose 11*t - 30*t = -2755. Does 29 divide t?
True
Let z = -34 - -65. Let m = z - 16. Does 9 divide m?
False
Let i = -8 + 20. Is 6 a factor of i?
True
Suppose -2*h + 3*o + 45 = h, 5*h - 79 = 4*o. Is h a multiple of 16?
False
Suppose 0 = 2*h + 5*l - 124, -h + 4*h - 2*l = 224. Is 9 a factor of h?
True
Suppose 39 = 3*n - i, -3*i = -4*n + 2*i + 52. Let w = n + -21. Is 13 a factor of w/(-20) - 213/(-5)?
False
Suppose 2*z + 12 = -z. Let o be ((-3)/(-2))/((-3)/z). Is (o + -3 + 0)*-6 a multiple of 5?
False
Suppose 6*f + 11 = -19. Let u = 10 - f. Does 6 divide u?
False
Let v(a) = -a**3 - 5*a**2 + 2*a + 5. Suppose 4 = -s - 1. Let c be v(s). Is c/(45/(-6))*6 a multiple of 4?
True
Let o = -1 - 4. Let u(p) = 2*p**2 + 3*p - 6. Does 11 divide u(o)?
False
Is (-1 - -7)*(-104)/(-12) a multiple of 27?
False
Suppose -2*h = 2*x - 116 + 10, 2*x + 188 = 4*h. Is 7 a factor of h?
True
Let k(z) = -15*z - 1. Suppose -5*i - 20 = -0*i. Does 24 divide k(i)?
False
Let b(q) = -2*q**2 + 3*q - 1. Let h be b(2). Let r be h/(-6) + (-21)/2. Is (-2)/5 - 84/r a multiple of 4?
True
Suppose 2*d - 26 = -18. Is 3 a factor of d?
False
Let n(u) = -5*u**3 + 2*u**2 + u. Let j be n(-1). Let g be 3/(-6) - 165/j. Does 7 divide g/1*1/(-2)?
True
Suppose -3*z - 3*r = -69, 8*r - 3*r - 55 = -2*z. Does 10 divide z?
True
Let i be (-2)/(2/(-50)*1). Suppose 0 = 4*p + 2*x + 46, -p + x = -6*p - i. Is 3 + 0*3/p a multiple of 2?
False
Let p(g) = g**3 - 8*g**2 + 5*g + 9. Does 27 divide p(9)?
True
Let v(w) = -w**3 + 2*w**2 + w + 2. Is v(-2) a multiple of 8?
True
Let i(b) be the first derivative of b**4/4 + 7*b**3/3 - 11*b**2/2 - 6*b + 6. Does 14 divide i(-8)?
False
Let l(b) = 4*b + 1. Let j(g) = g + 2. Let a be j(0). Is l(a) a multiple of 9?
True
Suppose 3*r + 2*r - 90 = 0. Suppose 0 = 3*f - r. Let o(l) = 2*l - 5. Does 7 divide o(f)?
True
Let q = -10 + 10. Suppose 2*l - 46 = 2*g, 0 = -l - q*l - 3*g + 39. Let x = l + -5. Is x a multiple of 12?
False
Suppose 0 = w - 8*j + 3*j - 139, -4*w - 3*j = -510. Is w a multiple of 43?
True
Let f = 48 - -24. Is 8 a factor of f?
True
Let g(w) = -w - 3. Let p be g(-7). Let u(b) = -b**2 + 5*b - 1. Is u(p) a multiple of 3?
True
Suppose 19 = 3*a + 4*y, -3*a + 33 - 4 = -y. Does 5 divide a?
False
Suppose 4*x - 567 = 353. Is x a multiple of 27?
False
Suppose -3 + 1 = -u. Suppose -j = -u*j + 2. Suppose r + 2*g - 2 - j = 0, -3*r - g = -22. Does 3 divide r?
False
Let s(h) = -5*h - 5*h**2 + 2*h**2 + 7 + 5*h**2 - h**2. Does 6 divide s(5)?
False
Let x(c) = 7*c - 17. Let m be x(12). Suppose -4*d = -4*o + 44, 2*d - m = -5*o + d. Does 4 divide o?
False
Let j(t) = -t - 2. Let l be j(-4). Let s(z) = -4 + 3*z**3 + 4*z**3 - l*z - 4*z**3 - 4*z**3 - z**2. Does 12 divide s(-3)?
False
Let s(q) = -q**2 + 10*q + 10. Let h be s(10). Suppose -30 = 8*w - h*w. Is 12 a factor of w?
False
Let f be 6 + -8 + 14/(-1). Does 5 divide f/(-3) + (-3)/9?
True
Let i(l) be the third derivative of 13*l**4/12 - l**3/3 + 2*l**2. Let k be i(2). Suppose 0*r + k = 2*r. Is r a multiple of 9?
False
Let m(i) = i**2 + 9*i + 8. Let v be m(-6). Is (v/(-4))/(7/14) a multiple of 5?
True
Let f = 3 - -5. Let y = 14 - f. Does 2 divide y?
True
Let t be 3/((-6)/4) - -2. Suppose 4*g - 113 + 13 = t. Suppose g = 5*a - 170. Is 15 a factor of a?
False
Let z = 2 - -2. Suppose 8*k - 280 = z*k. Is 17 a factor of k?
False
Suppose 3*o + 2*o - 182 = -2*v, 2*o - 5*v - 67 = 0. Is o a multiple of 8?
False
Let n be (-22)/3 + 16/(-24). Let h = -60 + n. Is 9 a factor of (12/(-8))/(6/h)?
False
Let c(a) = -a**2 + 2*a + 51. Is c(0) a multiple of 17?
True
Let s(r) = -4*r - 1. Let n be s(-2). Suppose 35 + n = 2*z. Is z a multiple of 7?
True
Suppose -3*s + 2*x = -22, 0*s - 3*x + 2 = -s. Is 3/(-3 - -6)*s a multiple of 10?
True
Let d(n) = -3*n**3 + 5*n**3 + 6*n + 8*n**2 - 3*n**3 - 8 + 2. Does 14 divide d(8)?
True
Suppose 3*v + 0*w = 5*w + 33, 2*w + 6 = 0. Suppose v = -o + 2. Is 8 a factor of -26*(o - -3) + -2?
True
Let i = 97 - -15. Does 15 divide i?
False
Suppose 2*d - 37 = 4*f - 16