- 20. Does 17 divide o(9)?
False
Let a(o) = o**3 - 4*o**2 - 3*o - 4. Let r be (-2)/(-6) - (-42)/9. Let m be a(r). Suppose 2*h + 96 = m*h. Does 12 divide h?
True
Let j(o) = 2*o**3 + o**2. Let k be j(-3). Let h = k - -80. Suppose -5*p = -0*p - h. Does 7 divide p?
True
Is (13/((-13)/(-12)))/((-2)/(-18)) a multiple of 27?
True
Suppose 3*f = 257 + 211. Suppose u - 5*u + f = 0. Does 18 divide u?
False
Let m = -15 - -18. Let z be 4/(-6) - 8/(-3). Suppose z*n = -m*b + 60, 0*b = 2*b - 5*n - 21. Does 9 divide b?
True
Let x(u) = 31*u - 7. Does 11 divide x(2)?
True
Let k be 2/(-9) + 250/(-9). Does 7 divide 8/k + 102/14?
True
Suppose 4*o - 88 = -24. Is o a multiple of 2?
True
Let j(x) = x. Let p be j(-4). Is 7 a factor of p/14 + (-102)/(-14)?
True
Suppose -4*x = -5*t + 37 - 278, 4*x + 4 = 0. Let o = 109 + t. Is o a multiple of 15?
True
Suppose 2*y - 21 - 1 = 0. Is 7 a factor of y?
False
Suppose 5*r = 3*r - 30. Let m be -35*(6/r)/(-1). Is (m/(-6))/((-1)/(-3)) a multiple of 4?
False
Suppose 30*k - 72 = 28*k. Is k a multiple of 6?
True
Suppose -70 = -4*d - 2*u + 7*u, 0 = -4*u - 8. Is d even?
False
Let t = -12 - -8. Let n(x) = 4*x + x**2 + 4 - 9 + 8. Is 3 a factor of n(t)?
True
Suppose -y + 8 = -5*y, -3*y - 22 = -4*a. Suppose -4*h = -2*h + 4*g - 116, -a*h + 2*g + 252 = 0. Is 16 a factor of h?
False
Suppose f + 6 = -f. Let g(p) = -13*p + 3. Is g(f) a multiple of 16?
False
Let b = -13 + 35. Is 11 a factor of b?
True
Let c(r) = r**3 - 8*r**2 + r - 2. Let g be c(8). Suppose z = -p + g, 0 = z + z - 3*p - 12. Is 3 a factor of z?
True
Suppose -h - 3*h = -4*l - 92, -5*l - 117 = -3*h. Let o = l + 64. Is 20 a factor of o?
True
Let l = 69 - 36. Is l a multiple of 8?
False
Let y be 10 - (3 - (-3 - -3)). Suppose -71 = -3*r + y. Is r a multiple of 9?
False
Let m(b) be the third derivative of -b**5/60 - b**4/4 + 5*b**3/6 + 2*b**2. Does 2 divide m(-6)?
False
Suppose h - 7 = -2*a, -3*a + 0*a - 3*h + 3 = 0. Does 4 divide a?
False
Let v be 2*-3*2/6. Is 5 a factor of ((-2)/(-4))/(v/(-40))?
True
Suppose k + 12 = 4*u, -2*u = 3*k - 0*u - 20. Let r be 1/2*0/2. Suppose -4*b + r*a - a = -55, 0 = k*b + 4*a - 52. Is b a multiple of 13?
False
Let v(a) = a**3 + 6*a**2 - a - 5. Let u be v(-6). Let y be ((-68)/10)/(u/(-5)). Let o = 47 - y. Is o a multiple of 4?
False
Let f = -17 - -12. Let t be ((-14)/(-5))/((-1)/f). Does 13 divide (1 + 0 - t)*-1?
True
Suppose 0 = -3*v + 4 - 34. Let t be 114/10 - (-4)/v. Suppose 4*i - t = 33. Does 11 divide i?
True
Suppose 5*r - 5*b = 140, -b - 2*b - 12 = 0. Is 15 a factor of r?
False
Let g = 9 + 3. Is 4 a factor of g?
True
Let f(o) = 93*o**3 - o**2 - o + 1. Is f(1) a multiple of 10?
False
Suppose -1 = z + 4, 4*k + 2*z - 178 = 0. Suppose -4*r + 70 = 3*v, -5*v = 4*r + k - 169. Does 13 divide v?
True
Suppose -2*h - h + 2*l - 114 = 0, -38 = h - 4*l. Let c = h + 55. Is c a multiple of 12?
False
Suppose -2*o - 2*o = -8. Suppose 0 = -o*c - 2*c + 28. Is 5 a factor of c?
False
Let p(x) = -5 - 2*x + 0*x + 3*x. Let b be p(8). Suppose 8 = -d - 3*t, -b*d = -d - 5*t - 39. Does 7 divide d?
True
Suppose 3*r - 123 = 5*z + 245, 0 = -4*r + 4*z + 504. Suppose 3*d + r - 2 = 0. Let c = 83 + d. Does 20 divide c?
True
Let p be 4/(8/2)*-2. Is 17 a factor of 1 + 1 + p - -38?
False
Let f(w) = 89*w**3 + 2*w - 1. Let h be f(1). Suppose -3*x - 6 = -3*j, -2*x - j + 1 = -7. Suppose 3*o = -x*o + h. Is 9 a factor of o?
True
Let j(z) = z**2 + 3*z - 2. Does 13 divide j(6)?
True
Suppose 0 = -192*w + 196*w - 1376. Is w a multiple of 14?
False
Suppose -2*r - 5*m + 10*m + 136 = 0, 2*r - 136 = -5*m. Is r a multiple of 17?
True
Suppose 0*h + 4 = h. Does 2 divide h?
True
Let y be -1*(-3)/(-6)*2. Is 10 a factor of 10 + -2 + (-2)/y?
True
Suppose 5*l + 3*p + 4 = -p, 4 = 4*l - 4*p. Let f = 6 - l. Is f a multiple of 3?
True
Let q = 220 - 113. Is 15 a factor of q?
False
Let m = 2 + 1. Suppose m = -y - 1. Let j(b) = b**3 + 4*b**2 - 3*b - 1. Is j(y) a multiple of 9?
False
Let t = 59 - 55. Is t a multiple of 3?
False
Let a(v) = -v - 7. Let l be a(-9). Suppose l*u = -0*u + 50. Is 12 a factor of u?
False
Let j = -272 + 477. Is j a multiple of 14?
False
Is (-1)/(-1) + (8 + 0 - -8) a multiple of 15?
False
Let g be (4 - 5) + (-4)/(-2). Let k(l) = l**2 + 1 - 4*l + g - 9. Does 13 divide k(7)?
False
Suppose -5*u + 48 = -22. Suppose u - 2 = 2*v. Suppose 0 = -v*c + c + 150. Is c a multiple of 9?
False
Suppose -3*s = -2*s - 12. Suppose 0*f - 4*f = -5*t - 168, 4*f = -s. Does 9 divide 3/(-6)*t/2?
True
Let d be ((-462)/(-9))/((-2)/(-3)). Does 10 divide 6/(-24) + d/4?
False
Suppose 0 = -0*n - n + 16. Does 19 divide 76/n*8/2?
True
Suppose 3*g + 2*s - 122 = 0, -1 = -s - 0. Suppose -k - 5*p + 168 = g, 2*k + 4*p = 256. Suppose 5*q - 67 - k = 0. Does 16 divide q?
False
Let w = -443 - -707. Is w a multiple of 22?
True
Let q(g) = -g**3 + 4*g**2 + 6*g + 7. Let w be q(5). Suppose 16 = -4*s, -i + 3*s + 3 = -w. Suppose -5*t + 40 = 4*o, i*o = 2*t + 3*t - 5. Is 2 a factor of o?
False
Let i(j) = -j**3 + 13*j**2 - 16*j + 13. Let r be i(12). Let v = -4 - r. Is 18 a factor of v?
False
Is 25 a factor of 290/4 - 15/10?
False
Suppose 0 = 3*f, 0 = -5*c + f + 40 - 10. Is 9 a factor of (96/(-9))/(-4)*c?
False
Suppose -28*t = -24*t - 52. Is t a multiple of 13?
True
Let j = -37 + 23. Let y = -5 - j. Is 3 a factor of y?
True
Let c = 10 + -27. Let n = 0 - -2. Does 9 divide (-3 + c)*n/(-4)?
False
Suppose o + 5*v + 8 = -3, -6 = 3*v. Suppose j = 3*y + 40, 0 = -4*y + 9 + 11. Is ((-2)/5)/(o/j) a multiple of 22?
True
Suppose 7 + 105 = -4*f. Suppose -i - 5 = 4*p + 10, -15 = 5*i + 5*p. Is ((-105)/f)/(i/12) a multiple of 16?
False
Is (-4)/(-12) - 74/(-3) a multiple of 18?
False
Suppose -2*u - 421 = -4*p + 3*u, -5*p + 500 = -u. Does 11 divide p?
True
Suppose -f + 16 = f. Is f a multiple of 8?
True
Suppose -2*j + 5 = 3*w, 0*j = 3*j - 3*w + 30. Let i = -17 - j. Let o = i - -23. Does 11 divide o?
True
Let d(y) = 5*y**3 - 5*y**2 + 9*y - 11. Let n(t) be the first derivative of t**4/4 + t**3/3 - t + 3. Let g(m) = d(m) - 6*n(m). Is 13 a factor of g(-12)?
False
Suppose 11*z - 398 - 97 = 0. Is z a multiple of 9?
True
Let w = 42 - 30. Is w even?
True
Let b = 25 + -13. Is 4 a factor of b?
True
Let u = 2 - 0. Let o(a) = 17*a - 4. Is o(u) a multiple of 30?
True
Let i = 60 - 92. Does 13 divide (1 + 0)*-1 - i?
False
Let w(r) = 11*r - 16. Is w(6) a multiple of 10?
True
Suppose -5*w = -8*w + 360. Suppose 0 = 2*o + 3*o - w. Is 6 a factor of o?
True
Let a(v) = 23*v**3 + 2*v**2 + 2*v - 2. Is a(2) a multiple of 38?
False
Let w(u) = -3*u**3 - 1. Let x be w(-1). Suppose -3*o + 2*h = 3*h + 32, o + x*h = -19. Let v(f) = -f**2 - 10*f + 3. Is 6 a factor of v(o)?
True
Let w be 6/4*(-16)/6. Let b = w - -36. Is b a multiple of 11?
False
Suppose 1 - 4 = -z. Suppose -3*b + 19 - 79 = 0. Is (b/(-6))/(1/z) a multiple of 5?
True
Let i(y) = y + 7. Let j be i(-8). Let t be 2 + (-1 - j) - 6. Is (t/(-10))/(5/25) a multiple of 2?
True
Suppose 5*g - 2 = 23. Suppose 2 = -w - g*f, 5*f + 6 + 8 = 3*w. Suppose 0 = 2*c + c - 5*z - 5, -3*c + 45 = w*z. Is c a multiple of 6?
False
Let j be (3 - (-3 + 6))/2. Let d = j - -41. Is d a multiple of 13?
False
Let y = 12 + -1. Let v = y + -6. Does 2 divide v?
False
Let m(g) = -g + 28. Suppose 3*l - 4*p + 12 = 0, 5*l - 3*p + 0*p = -9. Suppose 4*o + o = l. Does 14 divide m(o)?
True
Let a = 6 + -7. Does 20 divide -20*(4 - 3)*a?
True
Suppose -3*l - 3*f + 213 = -303, 0 = -3*l - f + 512. Is l a multiple of 24?
False
Let l(i) = -i**3 + i. Let d(j) = 8*j**2 + 3*j - 2. Let s(r) = -d(r) - l(r). Is 16 a factor of s(9)?
False
Let x(k) = -k**3 + 12*k**2 + k + 14. Is x(12) a multiple of 9?
False
Let c(h) = h**2 - 4*h - 8. Is c(7) a multiple of 4?
False
Is 10 a factor of (5 - (-45)/2)*4?
True
Suppose 0 = -h + 4 - 0. Suppose -39 = -h*q + 5. Is q a multiple of 4?
False
Let z = -192 - -273. Does 6 divide z?
False
Suppose 0 = -5*c - q - 65, c + 5*q + 1 = 3*c. Let k = -6 - c. Let t(y) = y + 5. Is 7 a factor of t(k)?
False
Let t be ((-32)/(-10))/((-12)/(-150)). Let q = -22 + t. Is q a multiple of 6?
True
Is 1 + 32 + 0 + 3 a multiple of 9?
True
Suppose 8 = 3*d - 13. Let b(o) = -o**2 + 7*o + 2. Let a be b(d). Is (-3 - (-2 + a))/(-1) a multiple of 3?
True
Let d be (-2106)/(-8) - (-14)/(-56). Suppose -3*n + 7 = -d. Is 18 a factor of n?
True
Is 8 a factor of (-3)/(5 - 483/96)?
True
Suppo