9. Does 18 divide o?
False
Suppose 0 = 3*l + 87 - 24. Let p = l + 35. Is p a multiple of 6?
False
Let n = 16 - 9. Let r(g) = g**2 - 9*g + 7. Let m be r(n). Let z = m + 35. Does 14 divide z?
True
Suppose -5*y + 10*y = -45. Let v = -7 - y. Suppose v*h - 78 = -0*h. Is 17 a factor of h?
False
Does 5 divide 82/6 + (-10)/(-30)?
False
Let o(s) = -s**3 + 18*s**2 - 15*s + 14. Does 16 divide o(17)?
True
Let c(h) = -h + 1. Is c(-19) a multiple of 4?
True
Suppose 3*g + v = 132, 3*g - g - 5*v - 71 = 0. Is g a multiple of 34?
False
Let m(d) = -d + 3. Let b be m(0). Suppose b = -o + 10. Is o a multiple of 3?
False
Suppose 0 = 2*s - 2*f + 182, -208 - 207 = 5*s + 3*f. Let d = -27 - s. Is d a multiple of 20?
False
Let j = -5 + 10. Suppose p = 2, 3*k - p - j - 2 = 0. Suppose n + 3*q - 12 = 0, 0*n - k*n + 78 = -5*q. Is 7 a factor of n?
True
Let b be -3 - -2 - (-3)/1. Suppose 196 + 44 = 3*n + 5*t, -b*n = 4*t - 162. Does 22 divide n?
False
Suppose f - 9 = -2*f. Suppose 3*a = -a - 4*x + 32, 0 = -f*a + 3*x - 6. Suppose -16 = a*h - 5*h. Is h a multiple of 8?
True
Suppose -5 = -5*a, -5*n - 5*a + 67 = -313. Is 15 a factor of n?
True
Let k(u) = 89*u**2 - 3*u - 2. Does 21 divide k(-1)?
False
Suppose 0*u + 6 = 3*u. Suppose 2*n - 23 = 3*b, -u*n + 1 + 24 = -5*b. Suppose -5*m + 45 = -n. Is 6 a factor of m?
False
Suppose 4*b - 11 = -4*v - 3, -v = 2*b. Let c(y) = 5*y - 3. Let q be c(v). Let x = q - 5. Does 11 divide x?
False
Is (-3 - (-9)/3) + 310 a multiple of 62?
True
Let k be 1*2 + 0/1. Let y be (-4)/3 + (-14)/(-6). Is 17 a factor of y + 50 + k + -3?
False
Let c = 8 + -3. Is c + 5 + 2/(-1) a multiple of 4?
True
Suppose -5*s + 27 = 7. Suppose -m - f + 15 = -6*f, 0 = s*m + f - 18. Suppose -20 = -m*w - 4*o + 40, 3*o = 0. Does 6 divide w?
True
Suppose -5*a + 3*f = -51, 0*f + 60 = 4*a + 4*f. Let w = -6 + a. Is 6 a factor of w?
True
Let o be 316/24 + 1/(-6). Suppose -p - 3*h + o = 2*h, -2*p - 5*h + 36 = 0. Is 23 a factor of p?
True
Let c(h) = 25*h. Let r = 4 - 3. Is 16 a factor of c(r)?
False
Let f(t) = 2*t**2 + 6*t - 5*t**2 - 5 + 4*t**2. Let q be f(-7). Is 4 a factor of q + 3*(0 + 2)?
True
Let z be -2 + 4 + 6/2. Let o(c) = c**3 - 5*c**2 + 4*c. Let w be o(4). Suppose -z*g = k - w*g, -k - 4*g = -2. Does 10 divide k?
True
Let k(a) = -3*a - 6. Suppose 5*w - 33 = 3*t + 13, -2*w + 5*t + 26 = 0. Suppose -10 - w = 3*v. Does 12 divide k(v)?
True
Let t(x) = -3*x - 22. Is 2 a factor of t(-9)?
False
Let f(l) be the first derivative of -l**3/3 - 9*l + 3. Let w be f(0). Does 14 divide 6/w - 176/(-12)?
True
Is -6*4/(-12) - -14 a multiple of 4?
True
Let w be 3/(-6) - (-15)/6. Let u(v) = 4*v - v - w*v. Is u(2) a multiple of 2?
True
Let h(r) = 0*r**2 - 9*r - 2*r**2 - 2 - r**2. Let j be h(-6). Let n = -36 - j. Does 10 divide n?
True
Let r(g) = -g**3 + 12*g**2 - 8*g + 5. Does 22 divide r(11)?
False
Suppose -k = -4*b - 3 + 13, 5*k - 22 = -4*b. Let i be b*12/(-9) - -3. Is 12 a factor of 0 - (-1 + i*27)?
False
Suppose 0*q - 176 = -4*q. Is q a multiple of 22?
True
Suppose 2*d + m = 0, -d = 5*m - 0*m - 18. Let b = -1 - d. Suppose 5*o - 11 + b = 0. Is o even?
True
Let z be 5*16/12*-3. Let b = z - -38. Is b a multiple of 9?
True
Let r(n) = -n**3 + 4*n**2 - 2*n - 2. Let i be r(2). Does 10 divide i/(-3) - (-828)/27?
True
Suppose 5*x - 529 = -44. Let s = x - 32. Does 24 divide s?
False
Let l(x) be the third derivative of -2/3*x**3 + 1/6*x**4 + 1/120*x**6 + 0*x + 1/10*x**5 - x**2 + 0. Does 12 divide l(-4)?
True
Suppose -23 = -v - 5*n, -3*n + 7 = -5. Suppose -5*t = -3*y + 48, -v*y - 2*t + 48 = 3*t. Is 8 a factor of y?
True
Is 11 a factor of (-6)/4 + (-100)/(-8)?
True
Let h be (-3)/(-12) + (-1)/4. Suppose -5*w + 2*w + 171 = h. Does 16 divide w?
False
Suppose 306 = -11*o + 823. Does 9 divide o?
False
Suppose 2*x = 5*j - 162 - 111, -5*j + 245 = 5*x. Let o = j + -27. Is o a multiple of 10?
False
Suppose 4*h + 3*l = 309, -4*l - 160 = 3*h - 5*h. Is 12 a factor of h?
False
Suppose -3*o + 9 - 219 = 0. Let j = o - -100. Is 12 a factor of j?
False
Let j(b) = b**2 + b + 3. Let u be j(-2). Let p be (-232)/(-9) - (-2)/9. Suppose 162 = u*a - 0*a - 4*h, 0 = -a + 4*h + p. Does 17 divide a?
True
Let u(c) = 8*c**2 + 3. Let v be u(-3). Suppose 3*s = -0*s + v. Does 8 divide s?
False
Let v(k) = -k**2 + 7*k - 4. Let c be v(6). Suppose 81 = 3*f - 4*w, c*w - 6 = -3*f + 57. Is f a multiple of 8?
False
Let l be 22/6 - 4/6. Suppose 5*j - 8 = -k, 2*k - l*j - 44 = -6*j. Suppose k = 4*y - 4. Is y a multiple of 4?
True
Suppose -6*j - 4*j + 1760 = 0. Does 44 divide j?
True
Let n = -13 + 8. Let s be -1 - 5/(n/2). Is ((-18)/(-15))/s*10 a multiple of 10?
False
Suppose 3*r - 3 = 3. Suppose -2*g = -1 - 9, r*o + 3*g - 35 = 0. Suppose v - 3*z = o, 5*v + 5*z - 30 = -0*v. Is v a multiple of 4?
False
Let i = -16 + 51. Is 7 a factor of i?
True
Let x = 10 - 8. Suppose -x*a - 4 = -60. Is a a multiple of 14?
True
Let q(y) = 6*y + 9. Let v be q(-7). Let d be 8/20 - v/5. Let h = d + -3. Does 2 divide h?
True
Is 3 a factor of (-1577)/(-76) - 2/(-8)?
True
Suppose 3*t + 8 = -1. Does 14 divide 15 - (t - 16/(-4))?
True
Let b be (18/3)/((-3)/(-4)). Let k(t) = -t**3 + 8*t**2 + 2*t - 7. Is 8 a factor of k(b)?
False
Let o(p) = p**3 - 8*p**2 - 9*p + 2. Let b be o(9). Suppose 0 = c - 5*c + 5*a - 156, 0 = -3*c + 2*a - 124. Let g = b - c. Does 23 divide g?
True
Suppose -3*n + 5*n - 388 = 0. Suppose -126 = -5*k + n. Is 13 a factor of k?
False
Let s = -110 - -340. Is s a multiple of 46?
True
Let y(o) = 3*o**2 + 5*o - 2. Let j be y(5). Let x = -43 + j. Let g = 88 - x. Is 16 a factor of g?
False
Let h be (-6)/4*(-2 + -32). Suppose -2*s = -s - h. Is 14 a factor of s?
False
Let p(o) = o**3 - 20*o**2 - 10*o + 51. Is 18 a factor of p(21)?
False
Suppose -2*n - w = w - 110, 0 = -4*w - 4. Is n a multiple of 9?
False
Suppose 0*o - 1240 = -5*o. Suppose 0*q = 4*q + o. Does 3 divide q/(-8) - (-2)/8?
False
Suppose 0 = -f + 2*f. Suppose 3*o - 2 - 4 = f. Is 11 a factor of o/7 + (-519)/(-21)?
False
Is 26 a factor of 8/(0 - -4) + 113?
False
Let c(m) be the second derivative of -m**4/12 - 17*m**3/6 - 9*m**2 - 6*m. Is 22 a factor of c(-12)?
False
Let y(d) = d**2 - d - 2. Let o be y(2). Let u be (4 + o)*(-21)/28. Is 18 a factor of 6/(-9) - 110/u?
True
Suppose 393 + 311 = 4*q. Is 26 a factor of q?
False
Let q(t) = 11*t**2 - 2*t + 1. Does 5 divide q(1)?
True
Suppose 0 = -5*o - 3*f + 31, 2*f + 6 = 2*o - 0*o. Suppose -4*t = -3*n - 59, -2*n - 86 + 14 = -o*t. Is 14 a factor of t?
True
Let q be 1060/(-8)*8/10. Let d = -68 - q. Suppose t - 20 = d. Does 29 divide t?
True
Let x(c) = -c**2 - 7*c - 1. Let v be x(-6). Suppose 39 = 3*q - 3*o, -v*o + 10*o = q + 7. Does 5 divide q?
False
Let z = -9 - -31. Is z a multiple of 11?
True
Suppose n = -5*h - 0*n - 660, -n = -h - 126. Let i = h + 259. Suppose 5*c + 4*q - 121 = 0, q = 5*c - 2*q - i. Is 8 a factor of c?
False
Let q(p) = -2*p + 1. Suppose z - 10 = 6*z. Is q(z) a multiple of 3?
False
Let n(b) be the third derivative of -1/12*b**5 - 1/2*b**3 - b**2 + 0 - 1/8*b**4 - 1/120*b**6 + 0*b. Is n(-5) a multiple of 6?
True
Let v(w) = -w**3 + 2*w**3 + 4*w - 2*w. Let y be v(4). Let n = -44 + y. Is 14 a factor of n?
True
Suppose 4*v = 27 - 7. Suppose 60 = v*k - k. Is 12 a factor of k?
False
Suppose -2*n + 15 = -1. Let f = 15 - n. Is 3 a factor of f?
False
Let x(a) = a**3 - 5*a**2 + 6*a - 6. Let z be x(4). Let c = z + 0. Suppose -92 - 47 = -5*h - r, -89 = -3*h - c*r. Is 10 a factor of h?
False
Suppose 5*q + 22 = -2*t - 11, -2*q + t = 15. Let y(o) = -8*o + 3*o - 1 + 0*o - 3. Is 24 a factor of y(q)?
False
Let b(z) = -z**2 + 14*z - 7. Is b(13) a multiple of 3?
True
Suppose -x + 87 = -3*d, -d - x - 37 = -4*x. Is d/49 - (-144)/7 a multiple of 5?
True
Let l = -10 + 16. Suppose 6*o - l = 3*o. Suppose 2*y - 24 = -3*d, o*d - 1 = y + 1. Is 4 a factor of y?
False
Suppose 4*u = 2*u + 4. Suppose c - 2*n = 26, -u*c + 3*n + 21 + 26 = 0. Does 8 divide c?
True
Suppose 0*d - 2*d + 4*z + 26 = 0, -3*z - 42 = -4*d. Let v = -4 + d. Suppose -c + v*c = 204. Is 13 a factor of c?
False
Suppose 8*g = 3*g. Let l(j) = j + 56. Is 9 a factor of l(g)?
False
Let w(n) = -3*n + 6. Is 18 a factor of w(-5)?
False
Let p be (1 - -80)/(-3 + 2). Let f be p/6 + 6/4. Let y = -8 - f. Is y a multiple of 4?
True
Let p = -18 - -77. Is 19 a factor of p?
False
Suppose 5*i + 28 = 8. Let d be (-410)/i*8/10. Let p 