o + o. Is 14 a factor of o?
False
Suppose -25 = -6*q + q. Suppose q*m - m = 16. Suppose 0 = -3*v + 2*t + 18, 5*v - 4 = v - m*t. Does 2 divide v?
True
Suppose -170 - 10 = -6*x. Suppose i + x = 2*i. Does 9 divide i?
False
Let b(h) = -h - 1. Let n be b(-1). Suppose n = -6*x + 3*x. Suppose x = a + 4, -2*p = 3*p - 2*a - 98. Does 18 divide p?
True
Let m = -29 - -2. Suppose 10*n = -5*n + 1305. Let o = m + n. Is 20 a factor of o?
True
Suppose 2*h + 3*m = h - 15, -4*m = 12. Is 19 a factor of ((-9)/h)/(6/104)?
False
Suppose 0*j - 16 = -2*j. Let c = j - 6. Does 15 divide 6*20/6 + c?
False
Does 27 divide 1605/30 - 2/(-4)?
True
Suppose -4*f - o + 38 = 0, -36 = -5*f + 2*f + 3*o. Let i = 64 + -33. Suppose 0 = 3*l - i + f. Is 3 a factor of l?
False
Let b(p) = 5*p - 57. Does 18 divide b(18)?
False
Suppose 3*g = 15, 2*g - 51 - 4 = -3*z. Is 6 a factor of (-1)/3 + 185/z?
True
Suppose 2*o - 8 = -126. Let j = 25 + o. Is 4 a factor of j/(-8) - 2/8?
True
Let s(f) be the third derivative of f**4/4 - 3*f**2. Does 4 divide s(2)?
True
Suppose -5*f = 33 - 3. Let r(c) = c + 8. Let i be r(f). Is (-3 + -4 + i)*-1 a multiple of 4?
False
Let u = -6 + 8. Does 4 divide 1/u*2*8?
True
Let r be -1*(-4 + (-1 - -2)). Let m = 13 + -33. Let g = r - m. Is g a multiple of 8?
False
Suppose -4*q + 89 = -x, -4*x + 1 = -5*x. Let p = 33 - q. Does 11 divide p?
True
Let v = 2 - -11. Is v a multiple of 13?
True
Let x(j) = -1 + 1 + j - 2. Let o be x(2). Suppose o*t = 5*b + t - 148, 3*b - 84 = -3*t. Does 11 divide b?
False
Let x = 16 + -8. Suppose -5*s - x = -s. Does 8 divide 6/(-3)*-5 + s?
True
Let n(z) = 14*z - 13. Let u be n(6). Suppose u = 5*r - 19. Is 18 a factor of r?
True
Suppose -3*a = -m + 10, 4*a + 22 = 5*m - 6. Is m a multiple of 3?
False
Let z(i) = 5*i - i + 8*i - 1. Is z(1) a multiple of 2?
False
Let u(y) = y**2 - 7*y + 5. Let k be u(6). Is (-14)/k - (8 + -8) a multiple of 7?
True
Suppose -4*r + 236 = -o, -5*r + o + o = -292. Does 4 divide r?
True
Let t be 120/28 - 4/14. Suppose -2*d + t + 4 = 0. Suppose d*w - 20 = 3*w. Does 10 divide w?
True
Suppose 11 = -2*m - 1. Let h be 3/m*2 + 50. Suppose 2*f - h = -3*w, 1 = -3*f - 5*w + 74. Is 7 a factor of f?
False
Suppose 319 + 677 = 3*f. Does 45 divide f?
False
Let m = -8 + 4. Let i = 29 + m. Is i a multiple of 5?
True
Let m(p) be the second derivative of -p**3/6 - p. Let l(h) = -8*h**3 + h**2 - 1. Let i be l(1). Is 8 a factor of m(i)?
True
Let x = -28 - 2. Let p = -15 - x. Does 15 divide p?
True
Suppose 0 = -4*l + 2*l. Suppose 2*d + 5*g - 89 = 0, l*d + 2*g = 3*d - 124. Is 14 a factor of d?
True
Suppose 132 + 32 = 2*n. Does 10 divide n?
False
Let k(t) = 38*t - 58. Is k(5) a multiple of 33?
True
Let p be -86 - (-4)/(-8)*-4. Let v = -45 - p. Is 11 a factor of v?
False
Let d(h) = h**2 + 4*h + 5. Let l be d(-4). Let q = l - -13. Suppose 18 = 4*f + 3*b - b, 2*f - q = 2*b. Is f a multiple of 3?
True
Let o(t) = t**2 + 7*t + 6. Let y be o(-6). Suppose -4*a + 6*a - 34 = y. Does 7 divide a?
False
Let o = -2 - -2. Let l be -2 + 1 + o + -2. Is ((-3)/l - 0)*13 a multiple of 13?
True
Suppose 4*p + g = -81 + 380, -5*p + 3*g = -378. Is p a multiple of 23?
False
Let x(j) = j**2 + j + 5. Let d be x(0). Suppose -5*k + 3*c = c - 100, -d*k + 120 = 2*c. Is k a multiple of 16?
False
Let j(q) = -15*q - 19. Is 15 a factor of j(-6)?
False
Let y(j) be the first derivative of -1/3*j**3 - 3 - 10*j + 11/2*j**2. Does 5 divide y(8)?
False
Suppose 5*q - 151 = 89. Is q a multiple of 12?
True
Does 8 divide (23/(-4))/((-17)/4 - -4)?
False
Suppose 0 = 5*k - 12 - 3. Suppose -5*f + 37 = k*x, 2*f = -3*x + f + 53. Is 11 a factor of x?
False
Let s(p) = -39*p - 6. Does 13 divide s(-2)?
False
Let a = -26 + 33. Is a a multiple of 6?
False
Suppose -5*q - 1 = -4*q. Let f(l) = l**2 - 2*l - 1. Let i be f(q). Suppose -z + 20 = p, 3*p - i*p = 1. Does 9 divide z?
False
Suppose -107 = -2*h - h + m, -3*h - 3*m = -123. Suppose 3*j + 5*f = 39, f + h + 28 = 5*j. Suppose -4*x - 16 = 0, -4*x + j = 4*g - 3. Is 7 a factor of g?
False
Let j(i) = i**2 - 3*i - 1. Let p = 3 - -2. Is j(p) a multiple of 4?
False
Suppose -3*k - 5 = 2*f - 0, -f = -2*k - 1. Let r be -2 + -1 - -2 - f. Suppose r*d = -5*d + 65. Is d a multiple of 13?
True
Let s = 5 + 1. Suppose -15 = -l - s. Is l/3 - (2 + -2) a multiple of 3?
True
Suppose -5*p = v + 14, -3*v - 5*p - 15 + 3 = 0. Is 23 a factor of (-129)/(-3)*v + 3?
True
Suppose 2*y + 6 + 0 = 0. Let d = y + 23. Is 15 a factor of d?
False
Let a(f) = 4*f - 2 + 4*f + 2*f - 1. Is 10 a factor of a(2)?
False
Suppose 3*a = 7*a - 32. Suppose -x + a + 1 = 0. Is x a multiple of 5?
False
Let b = -28 - -47. Suppose b = -5*o + 174. Is 12 a factor of o?
False
Is (4 - (3 + -2)) + 2497/11 a multiple of 46?
True
Let v(r) = -12*r**3 + r**2 + r + 1. Let p be v(-1). Suppose 0 = -2*n - 2, n = -0*k + k - p. Is 6 a factor of k?
True
Let r = 6 + -4. Let g(q) = -2*q**3 - 2*q**2 + q + 1. Let v be g(r). Let c = v + 29. Is 4 a factor of c?
True
Let t be (0*(-2)/(-4))/(-2). Suppose t = -4*k + 13 - 53. Let l = 18 + k. Does 4 divide l?
True
Suppose -531 = -4*l + 5*y, -4*l - 2*y - 534 = -8*l. Does 19 divide l?
False
Suppose -5 = 4*p - 13. Let u be 5 - 2*1/(-2). Suppose u*l = p*l + 72. Does 9 divide l?
True
Let v(x) be the third derivative of 25*x**4/24 + 2*x**3/3 - 10*x**2. Is v(4) a multiple of 26?
True
Suppose w = -1 - 0. Let v be (21 - w)*1/(-2). Let k(i) = i**2 + 7*i - 14. Is k(v) a multiple of 23?
False
Suppose -2*n + 24 = -0*n. Is n - (-4)/8*0 a multiple of 6?
True
Let b be 2/4 + (-3)/6. Let s be 3*(130/6 + b). Suppose s - 5 = 4*i. Is i a multiple of 10?
False
Suppose -h + 0 = -1. Let z be (-3 + h)/(1/(-1)). Suppose 3*d - 27 = -z*t, -5*t = 3*d - 4*d - 42. Is t a multiple of 9?
True
Let w(h) = h**2 - 8*h. Let i = -5 + 13. Let s be w(i). Suppose -4*u - 5*f + 164 + 18 = s, 2*f = -3*u + 140. Is u a multiple of 16?
True
Let b(a) = a**3 - a**2. Let s(w) = 7*w**3 - 5*w**2 + 4. Let x(h) = 6*b(h) - s(h). Let d be x(0). Let z = d + 9. Does 5 divide z?
True
Suppose -20 = -v + 18. Does 4 divide v?
False
Let x(i) = i**3 - i**2 - 7*i + 2. Is x(5) a multiple of 18?
False
Suppose 0 = 5*a - 10. Let h(p) = 0*p**2 - p**2 + 5*p**a - 2*p + 1. Is 2 a factor of h(1)?
False
Let b(s) = s**3 + 2*s**2 + 2. Is 2 a factor of b(0)?
True
Let w(q) = 5*q - 2 - 6*q - 5*q. Let f be w(-6). Let a = f - 12. Is a a multiple of 22?
True
Is 21 a factor of 0/5 - (-61 + -2)?
True
Suppose 0 = 4*m - 4 + 28. Let h be (-1)/2 - 33/m. Suppose -h*u = 3 - 33. Is 3 a factor of u?
True
Let k be ((-136)/6)/((-14)/84). Suppose 5*b - 143 = -3*t + 102, 4*t - k = -3*b. Does 26 divide b?
True
Let s = 391 + -248. Is s a multiple of 13?
True
Let o(b) = 25*b**3 - 2*b**2 + 1. Let a be o(1). Suppose 0 = -4*n - 2*h + 70, -51 = -5*n - 3*h + 39. Let j = a - n. Is 5 a factor of j?
False
Suppose 124 = -3*q - 8. Let y = q - -65. Is y a multiple of 11?
False
Let y(w) be the second derivative of -w**5/5 - w. Suppose 6*o - 2*o = -8. Is y(o) a multiple of 16?
True
Suppose 357 = 3*s - 279. Is 53 a factor of s?
True
Suppose -1 = -0*i - i. Suppose o - i = -0*o. Is (-1 - -24) + (-2)/o a multiple of 12?
False
Let b(x) = x**3 + 9*x**2 + 7*x - 3. Let m(k) = -3*k - 2. Let r be m(2). Let a be b(r). Let g(j) = -j**2 + 5*j + 3. Is g(a) a multiple of 2?
False
Let q(d) = 6*d**3 - d**2. Let l be q(1). Suppose 5*c - 63 = -s, l*c - s - 17 = 40. Does 4 divide c?
True
Let f = 2 + -4. Let t(l) = 2*l**2 + 2*l - 2. Let k be t(f). Is 2 a factor of ((-4)/k + 0)*-2?
True
Let t = 3 - 0. Let g be t/2*8/6. Suppose 5*k - 183 - g = 0. Does 14 divide k?
False
Let t(o) = -o**2 + 12*o. Let m be t(6). Suppose m = 2*f - 12. Is 10 a factor of f?
False
Let b(u) = u**2 - 11*u + 10. Let v be b(10). Suppose -1 = y - v. Does 8 divide -1 + (-16)/y + 1?
True
Let d(v) = 7*v - 9 + 2*v - 4*v. Does 5 divide d(4)?
False
Let o be 4/(-6)*(-45)/6. Suppose -3*d + 58 = -d + 4*l, -l + 136 = o*d. Does 9 divide d?
True
Let o = -11 + 14. Suppose s + s + 3*n = -3, -3 = 3*n. Does 3 divide (-2 + 3 - s) + o?
False
Suppose o - 35 = 32. Is o a multiple of 9?
False
Let d = -124 + 252. Does 16 divide d?
True
Let d = 4 - 3. Let l = d + 1. Let a = l - -7. Does 4 divide a?
False
Let n(y) = 2*y**3 - 4*y**2 + 6*y - 4. Let z be n(4). Let h = z - -51. Suppose -5*x + h = 50. Is x a multiple of 9?
False
Let m(s) = -s - 6. Let n be m(-6). Suppose 2