f 10?
False
Let z be -2 - -7*2/2. Suppose 4*t - 2*t = -5*o - 20, -t = -4*o - 16. Suppose z*i - i - 36 = t. Does 9 divide i?
True
Does 7 divide ((-24)/(-30))/(1/35)?
True
Let i = 5 - 4. Let u = 6 + -4. Is 2 - i - u - -8 a multiple of 5?
False
Let u(t) = -8*t - 8*t**2 + t**2 + 4*t**2 + 2*t**2. Let h be u(-8). Suppose 6*x - 3*x - 51 = h. Does 14 divide x?
False
Let j(k) = 4*k**3 + 30*k**2 + 13*k + 9. Does 4 divide j(-7)?
True
Suppose 4*w = 5*w + 120. Let u = 77 + w. Let s = u - -68. Is s a multiple of 10?
False
Let g(f) = -8*f**3 - f**2. Let z be g(-1). Suppose 3*v + 12 = 24. Suppose -z - 41 = -v*n. Does 6 divide n?
True
Let q(u) = 5*u - 4. Let m be q(4). Let b = m + 16. Does 16 divide b?
True
Let q be -1*(-3 - (-3 + 3)). Suppose -4*z + 36 = q*o - o, -4*o - 2*z = -72. Is o a multiple of 5?
False
Does 5 divide (-7 + 17)*(-1)/(-2)?
True
Let p be 9 + (-2)/(-4)*-2. Let u = 12 - p. Is 2 a factor of u?
True
Let o = 16 + -8. Is o/14 + (-488)/(-28) a multiple of 18?
True
Suppose 2*v + 0*v - 6 = 0, 2*l - 99 = -v. Let s = 63 + 57. Suppose l = -3*k + s. Is k a multiple of 9?
False
Let d(a) be the second derivative of -13*a**6/40 - a**3/6 + 2*a**2 - a. Let x(t) be the first derivative of d(t). Is x(-1) a multiple of 19?
True
Let k(n) = 3*n + 5. Let x be k(-6). Let a = 54 + -31. Let p = x + a. Does 5 divide p?
True
Let m be (-2)/4*0 - -58. Suppose -11*z + 20 = -6*z. Suppose 0 = z*b + 6 - m. Is b a multiple of 11?
False
Suppose -18 = 5*c + 2*v - 305, 3*c + 5*v - 157 = 0. Let d be (315/(-30))/(6/(-16)). Let y = c - d. Is 11 a factor of y?
False
Suppose -3*f + 87 = -18. Is 10 a factor of f?
False
Let u = -4 + 6. Suppose u*z = z + 6. Let w(y) = -y**3 + 7*y**2 - 3*y + 1. Does 14 divide w(z)?
False
Let c = -306 - -504. Is c a multiple of 47?
False
Let n be (-34)/((-6)/(-3))*-2. Let c = n + 5. Is c a multiple of 13?
True
Let k(n) = 7*n**3 - n**2 + 2*n + 1. Let p(a) = -4*a**3 - a. Let l(b) = 2*k(b) + 5*p(b). Does 25 divide l(-2)?
False
Let u(s) = 2*s + 1. Let r be u(2). Suppose 3*b + 0*o + 16 = r*o, -b - 2 = -o. Suppose -3*t - b = -75. Is t a multiple of 15?
False
Let j = -289 + 407. Is 27 a factor of j?
False
Suppose 0 = 10*u - 912 - 178. Is 7 a factor of u?
False
Suppose -4*i + 8 = 3*o, 8 = 4*i - 0*o - 4*o. Suppose -i*u = -0*u - 44. Is u a multiple of 20?
False
Suppose 7 = 3*t + 1. Suppose 0 = -t*i - 2, -5*i + 67 = h + h. Is 16 a factor of h?
False
Suppose x - 52 = -3*i, -x + 60 = -0*x + 5*i. Does 10 divide x?
True
Suppose -5*r = 6*m - 5*m - 29, 15 = -5*r. Is 12 a factor of m?
False
Suppose 2*z - 2*c - 40 = 0, -c - 8 = 2*z - 33. Is 15 a factor of z?
True
Suppose -95 = -5*c - b + 47, b = 3*c - 90. Does 29 divide c?
True
Let r = -11 - -9. Is 2 a factor of (-13 - (4 - 3))/r?
False
Suppose -10*m + m = -756. Does 28 divide m?
True
Suppose -5*t + 38 = 3*w, 3*t + 3*w - 26 = -2*w. Let k = t + 31. Is 26 a factor of 3 + k + (2 - 3)?
False
Let d = 6 + -1. Suppose 2*z - 1 + 275 = d*y, y = 5*z + 41. Is y a multiple of 14?
True
Suppose 12*m - 220 = 7*m. Does 11 divide m?
True
Suppose 0 = -20*r + 8*r + 2880. Does 60 divide r?
True
Does 6 divide (-1)/(-4) - 366/(-8)?
False
Does 2 divide 6*((2 - 2) + 1)?
True
Suppose 5*j - 4*w + 15 = 0, 4*j - 5*w + 12 = -w. Does 11 divide 11/(-3*1/j)?
True
Let r(a) = 8*a + 4. Let l be r(-8). Let m = -31 - l. Let u = -17 + m. Is u a multiple of 5?
False
Let p be -1 - 117 - (-1 - -3). Let t = 71 + 107. Let v = p + t. Is 22 a factor of v?
False
Suppose 3*g + y = 84, -3*g - 5*y = -51 - 21. Is g a multiple of 20?
False
Let l(f) = -2*f + 9. Is 23 a factor of l(-7)?
True
Suppose -25 = -5*l + 125. Is l a multiple of 15?
True
Let k(w) = 3*w**3 - w**2 + 2*w - 1. Let x be k(1). Suppose -3*o + 2*p + 106 = 0, 0 = x*o + p - 0*p - 100. Is 17 a factor of o?
True
Let a(j) = -j**3 - 6*j**2 - 7*j + 11. Is a(-5) a multiple of 3?
True
Let l(x) = -19*x - 1. Let p = 2 + -1. Suppose t + p + 0 = 0. Is l(t) a multiple of 18?
True
Suppose -5*j + j = -140. Is 12 a factor of j?
False
Let t be 2 - (-3 - (1 + 21)). Suppose -4*d + t = -29. Does 14 divide d?
True
Let n = 30 + -95. Is 5 a factor of 6/(-21) - n/7?
False
Let a(v) be the third derivative of v**5/60 + v**4/6 - v**3 - 3*v**2. Is 3 a factor of a(-6)?
True
Let x be (-3)/((-2)/(-4)*-1). Let w = -4 + x. Let g(y) = 2*y**3 - 2*y + 3. Is 12 a factor of g(w)?
False
Is 2 a factor of -2 - ((-17)/3)/((-3)/(-9))?
False
Let m = 0 - 28. Let d = -17 - m. Is d a multiple of 6?
False
Is 341/22 - (-6)/4 a multiple of 3?
False
Let h(a) be the second derivative of a**6/90 + a**5/40 + a**4/6 - 2*a. Let z(p) be the third derivative of h(p). Is z(6) a multiple of 18?
False
Let z = 3 - -1. Let h be ((-4)/3)/(z/300). Let d = -61 - h. Does 13 divide d?
True
Is 19 a factor of (-4180)/(-18) - (64/(-36))/(-8)?
False
Let s(j) = 1 + 2 + 5*j - 3. Is 6 a factor of s(2)?
False
Let f(g) = g + 34. Let a be f(0). Suppose -a - 10 = -4*k. Is k a multiple of 10?
False
Does 15 divide 6*12 + (1 - -5) + -3?
True
Let f be (4/(-6))/(10/75). Let i = 7 + f. Suppose 5*s = i*s + 66. Is s a multiple of 16?
False
Let l(x) = 92*x**3 + 2*x**2 - 1. Does 11 divide l(1)?
False
Let j(t) = 0*t + t**2 + 3*t**2 - 3*t - 3 + 0*t. Is j(3) a multiple of 12?
True
Is 3 a factor of 1/(((-6)/22)/(-3))?
False
Let a = 139 + -97. Is 19 a factor of a?
False
Let k = 11 + 49. Is k a multiple of 10?
True
Let n be 4/(-1)*(-5 + 4). Suppose u - 4*m = n + 42, -u + 2*m + 42 = 0. Is u a multiple of 9?
False
Suppose -4*b + 85 = -215. Suppose 2*t + t = b. Let h = t - 13. Does 10 divide h?
False
Does 26 divide -43*(-2 - 1) + 0?
False
Suppose -t + 5*b = -3, -5*t - 2*b = 15 - 3. Let c = t - -3. Is 10 a factor of (-145)/(-15) - c/(-3)?
True
Let f be 0/(12/8*-2). Suppose 264 = 5*u + a - 0*a, f = 5*u - a - 256. Does 14 divide u?
False
Let y(c) be the third derivative of -c**4/8 + 7*c**3/6 - 4*c**2. Is y(-11) a multiple of 20?
True
Let i be (0 + -2)/((-2)/4). Suppose 2*v - 3 = k + 3*v, 5*v + 15 = 4*k. Suppose -4*t = m + i, t = -k*m + 5*m - 43. Is m a multiple of 3?
False
Let q(v) = -v - 2. Let g be q(0). Let k be 343 - g/(4 - 2). Does 17 divide 4/(-10) - k/(-10)?
True
Let f(s) = 25*s**2 + 1. Is 13 a factor of f(-1)?
True
Let q = 69 - 52. Is 14 a factor of q?
False
Let j be 5*(-1)/2*-2. Suppose r - j*r + 204 = 0. Suppose -f + 4*i = -16, -2*f + 6*f - 3*i = r. Does 12 divide f?
True
Let g(z) = -z + 19. Is 10 a factor of g(5)?
False
Suppose 93 = 2*y + 3*a + 2*a, y - 45 = -a. Is 6 a factor of y?
False
Does 15 divide -6 + 6 + 178/2?
False
Let k(x) = 3*x + 12. Does 6 divide k(4)?
True
Suppose -69 = -2*t - a, -3*t - 2*a + 0 = -101. Is 10 a factor of t?
False
Does 26 divide 18/(-10)*(2 - 87)?
False
Suppose 0 = -4*a + c - 100 + 570, 0 = -3*a - 3*c + 345. Is 9 a factor of a?
True
Let y = 368 - 151. Is y a multiple of 31?
True
Does 11 divide ((-18)/(-15))/(2/80)?
False
Suppose 112 = 8*p - p. Is p a multiple of 4?
True
Let i(q) = q**3 - 5*q**2 + 2*q. Let w be i(5). Suppose 5*b + 12 = -2*l, -5*b - w = -l - 1. Does 4 divide ((-44)/b)/(0 - -2)?
False
Suppose x - 25 = -4*x. Suppose 0 = -3*k + 4*w + 395, x*k + w + w - 693 = 0. Suppose s = -5*r + k, 0 = 3*r - s - 30 - 49. Does 27 divide r?
True
Let g = 174 - 104. Does 12 divide g?
False
Suppose -a + 124 - 39 = 0. Suppose -2*p = -4*n + 159 + a, -5*n + 305 = 3*p. Does 17 divide n?
False
Let p(z) = -z**3 - z**2 + z + 12. Let b(u) = -u**2 - 7*u - 6. Let h be b(-6). Let a be p(h). Suppose -22 = -m + a. Is 17 a factor of m?
True
Is 37/5 - 2/5 a multiple of 7?
True
Let k = -4 + 0. Let b = 9 + k. Is b a multiple of 5?
True
Let m = 339 + -235. Does 26 divide m?
True
Suppose 0 = 5*b + 4*c - 13, -4*b - c + 5 = 4*c. Suppose -b*u + 183 = -3*y, -2*y + 85 = 2*u + 15. Suppose -u = w - 2*w. Does 18 divide w?
True
Suppose -2*q + 152 = 6*q. Is 9 a factor of q?
False
Is 5 a factor of (-214)/(-3) + (-4)/3?
True
Suppose 7*o - 3*o - 444 = 0. Does 17 divide o?
False
Suppose -o + 6*o + 30 = 0. Does 7 divide ((-2)/o)/(15/360)?
False
Suppose -3*d = -2*h - 101, 11 = 2*d - h - 56. Let u = -13 + d. Does 10 divide u?
True
Let g = 6 + 31. Does 3 divide g?
False
Let w = 0 + -5. Let h = -4 - w. Is 4/(h + 1) - -23 a multiple of 12?
False
Let i(b) = b**3 + 8*b**2 + 7*b + 6. Does 9 divide i(-6)?
True
Suppose -2*n = 2*n - 68. Let h(q) = q - 2. Let c be h(5). Suppose -n = -5*p + c. Does 4 divide p?
True
Suppos