m(r) + 7*n(r). Does 10 divide a(g)?
True
Does 10 divide -1 - -3 - (-18 - 0)?
True
Let z = -25 - -25. Suppose -2*b + 6*b - i - 101 = z, -5*b = i - 115. Is 12 a factor of b?
True
Let i(o) = -2*o**3 + 5*o**2 + 2*o - 2. Let j be i(5). Let z = 42 - 21. Is j/(-7) + 6/z a multiple of 8?
False
Let i(t) = t**2 + 14*t + 21. Is 12 a factor of i(-15)?
True
Suppose 2*q - 400 = -28. Is 21 a factor of q?
False
Suppose -4*y = 4, 0 = -4*u + y - 28 + 9. Let s = -3 - u. Suppose -s*m - 13 = -45. Does 6 divide m?
False
Let n(q) = -q + 3. Let l = -8 + 5. Let r be n(l). Suppose v + 3 = 2*a, r*a - a = -2*v + 39. Is 3 a factor of v?
False
Let p be 8/(4/22*1). Let r = p - 8. Is r a multiple of 9?
True
Suppose -3*n - 3*x - 66 = 0, 2*x + 87 = -4*n - 3*x. Let g = 41 + n. Suppose 0*h + h - g = 0. Is 8 a factor of h?
False
Suppose -501 = 10*o - 1321. Is 24 a factor of o?
False
Let v = 3 - 3. Suppose v = -2*g + 3*g - 2. Suppose 4*j - 72 = g*j. Is j a multiple of 12?
True
Suppose 2 = a - 3, z - a = -4. Let o be (10/(-6))/((-2)/(-6)). Is 6 a factor of (-4)/(1/o*z)?
False
Suppose 0 = -d + 70 + 22. Let g = 136 - d. Does 9 divide g?
False
Suppose -28 = -2*x - 2*l + 14, 5*l = -x + 13. Is 9 a factor of x?
False
Let y be (-2)/12*2*-9. Suppose 4*o - 14 = h - 1, -y*h = -4*o - 1. Let x = h - 5. Is x even?
True
Let l(x) be the first derivative of x**3/3 + 3*x + 1. Is 6 a factor of l(-3)?
True
Let u be (6/4)/(6/8). Suppose -u*f - 12 = -q, -2*q = -0*q + 2*f. Suppose r - 4*w + 5*w = 11, -38 = -q*r + 2*w. Is 8 a factor of r?
False
Does 11 divide ((-21)/(-2))/(2/24) - -2?
False
Let a(v) = 2*v**3 + 2*v**2 + 3*v + 4. Let y be a(4). Let o = -106 + y. Does 18 divide o?
False
Let n(r) = 7*r**2 - 1. Let f be n(1). Let i = 3 - f. Is 3 a factor of i*(2 + -3*1)?
True
Suppose 5 = -2*k - 3. Let d = -3 - k. Let r = d + 10. Is r a multiple of 11?
True
Suppose 3*o - 244 = -w + 58, -3*o + 304 = 2*w. Does 20 divide o?
True
Suppose 3*n - 4*x - 17 = 0, 4*x - 3 = -3*n + x. Suppose -2 = -n*g + 16. Suppose -4*s + 5*l + 41 = 0, -4*l - g = 14. Is 2 a factor of s?
True
Suppose 0 = -6*l + l + 220. Does 44 divide l?
True
Let o(v) = v**3 - 4*v**2 + 4*v - 3. Let g be o(3). Let p(a) = -4*a - a + 6*a - 2*a + 19. Is p(g) a multiple of 12?
False
Let m(r) = r - 4. Let x be m(7). Suppose -x*u = u - 152. Is 19 a factor of u?
True
Let a(d) = 4*d + 3*d + 6 + 7*d + 3*d. Is a(3) a multiple of 29?
False
Suppose 460 = 2*p + 172. Is 31 a factor of p?
False
Is (-12)/(-60) - 608/(-10) a multiple of 14?
False
Suppose 0 = -3*f - 0*f, 5*s - 3*f - 165 = 0. Does 11 divide s?
True
Suppose 2*n + 4*p = 12, -2*n - 5*p = -17 + 5. Suppose -2*k - 5 = 5. Let r = n - k. Is r a multiple of 11?
True
Suppose 3 + 5 = 2*h. Is 10 a factor of (2/h)/(2/56)?
False
Let w = -8 + 10. Suppose a + 4*a + 23 = -3*b, w*b = -2. Is 10 a factor of 6*((-2)/a - -3)?
False
Suppose 4*y = 4, 5*x + 2*y - 174 = -47. Let u be 2/((2/1)/2). Let j = u + x. Is 9 a factor of j?
True
Suppose 0 = -6*m - 14*m + 7600. Is 54 a factor of m?
False
Let h(f) = f. Let w be h(16). Let a(t) = -t**2 + 17*t + 15. Does 27 divide a(w)?
False
Let m(n) = -6 + 11*n + 7*n - 13*n. Is m(6) a multiple of 12?
True
Let o be ((-15)/10)/((-6)/16). Suppose d + o + 4 = 0. Let y(z) = -z**2 - 9*z + 5. Is 13 a factor of y(d)?
True
Let w(k) = k**2 - 2*k - 1. Let y(p) = p**2 - 3*p - 1. Let i(b) = -7*w(b) + 5*y(b). Let j(t) be the first derivative of i(t). Is j(-3) a multiple of 11?
True
Is 20/5*(-33)/(-4) a multiple of 11?
True
Suppose -f - 7 = -3*k, f - 5*k = -6 - 1. Let w = 19 + f. Is 5 a factor of w?
False
Let b be (-1)/(-2)*(6 + -4). Suppose -3*n + b = -2. Is (15/(-10))/(n/(-2)) a multiple of 2?
False
Let m(h) = h**2 - 10. Is 3 a factor of m(5)?
True
Suppose -9*w = -11*w + 130. Suppose 7*v = 2*v + w. Does 13 divide v?
True
Suppose 0 = -2*u - 3 + 19. Suppose d = 19 - u. Does 8 divide d?
False
Let g(l) = l**3 - 9*l**2 + 2*l - 5. Does 13 divide g(9)?
True
Is (1 - 1) + (-154)/(-7) a multiple of 9?
False
Suppose i - 2*w + 8 = 3*w, -3 = -3*w. Let b(l) = l**2 + 4*l + 1. Let h be b(-2). Is i + 1 + (h - -13) a multiple of 6?
False
Let i(p) = p**2 - 4. Let s be i(-3). Suppose -2*o = 3*l - 8, s*o + 6*l - 27 = 2*l. Is o a multiple of 7?
True
Let j = -24 + 16. Does 2 divide (-14)/(-6) - j/12?
False
Suppose -3*v + 0*v = -15. Let d = -3 - 3. Let a = v - d. Is a a multiple of 9?
False
Suppose -6 - 2 = -2*m. Let v be 7/m + (-4)/(-16). Is v/(3/12*1) a multiple of 3?
False
Let h(j) = j**3 + 12*j**2. Let z be h(-12). Suppose 3*t + 86 = 2*x, z = 5*x - 2*x + 5*t - 148. Is x a multiple of 23?
True
Suppose -22 = 5*s + 2*y, -4*s - s - 23 = 3*y. Suppose 4*p = -0*p - 8. Let g = p - s. Is g even?
True
Let y = -1 + 2. Let m = 5 - 21. Is 4 a factor of -2 - (m + y + 2)?
False
Let x be (-16)/(-6)*9/6. Suppose -8*j = -x*j - 152. Does 18 divide j?
False
Let t = -93 - 28. Let s = 216 + t. Let p = -65 + s. Does 12 divide p?
False
Suppose 0 = u + 4*p - 2*p - 13, 0 = -u - 4*p + 17. Suppose 0*l = l + 4*n + 20, -l - 3*n - 16 = 0. Let x = l + u. Is 2 a factor of x?
False
Let g be 1/((12/(-21))/(-4)). Suppose -1 = -4*h + g. Is h a multiple of 2?
True
Suppose 2*d - 3*u = -6*u + 1, 0 = -d + u + 3. Suppose -d*g - 3*q + 8 = q, -4*q = -3*g + 52. Is g a multiple of 12?
True
Let v be (0/(2 + 0))/2. Suppose 0 = 2*l - v*l - 98. Let i = l + -33. Is i a multiple of 8?
True
Let c = 10 - 7. Suppose n = -5, 2*n + 31 = 3*u + c*n. Does 9 divide u?
False
Suppose 6*p + 22 = 5*p. Let j = -14 - p. Is 4 a factor of j?
True
Suppose 16*p + 490 = 21*p. Does 14 divide p?
True
Let k(o) be the first derivative of -3*o**2/2 + 5*o - 3. Does 9 divide k(-5)?
False
Let g be (10/15)/(6/(-27)). Does 16 divide ((2 + 364)/g)/(-2)?
False
Is 22 a factor of (-306)/(-12) - (-2)/(-4)?
False
Let y = 67 - 46. Is y a multiple of 12?
False
Let p be 2/(-8)*2*20. Let l = 17 + p. Does 2 divide l?
False
Let w be -2 - (5 + 9/(-3)). Does 17 divide 170/w*60/(-50)?
True
Let h(p) be the first derivative of 6*p**2 - 2*p + 4. Let g = 6 - 4. Is 11 a factor of h(g)?
True
Suppose -2*u + 3*u + 2*o + 6 = 0, 10 = -3*u + 2*o. Let l = -15 - u. Is 7 a factor of 0 - (1 - 4) - l?
True
Let l = -113 - -167. Is l a multiple of 8?
False
Is 26 a factor of (-698)/(-6) + (28/6 - 4)?
False
Let n = -12 - -18. Suppose n*b - 105 = -21. Is b a multiple of 14?
True
Let l(v) = 5*v**2 - 1. Let b be l(-1). Suppose j + b*j - 115 = 0. Is j a multiple of 22?
False
Let v be (-2)/(-4)*0 - -2. Suppose 0 = -3*h - 2*s - 16, -4*h - v*s = h + 28. Let p = h + 14. Is p a multiple of 4?
True
Is (-1)/(-3) - 0 - (-19866)/126 a multiple of 8?
False
Suppose 0 = -2*c - 3*v + 32, c - 2*v - 13 = 17. Let r = 59 - c. Is 13 a factor of r?
False
Let d be ((-1)/(-2))/((-1)/2). Let a be d - ((0 - -2) + -5). Suppose 5*x = a*x + 21. Is 3 a factor of x?
False
Suppose x = -2*x + 36. Suppose g - 12 = 4*m, 0*g - g - m = -x. Is g a multiple of 6?
True
Let o(d) = -8*d**3 - d**2 - d. Let w be o(-1). Let v be ((-4)/w)/((-2)/(-4)). Does 7 divide -12*(-1 - v - 1)?
False
Let r(y) = -y**3 - 30*y**2 + 32*y + 69. Is r(-31) a multiple of 38?
True
Let g(b) be the third derivative of b**5/30 - b**4/12 - b**3/2 + 2*b**2. Is g(4) a multiple of 8?
False
Suppose 4*z = z + 18. Let f be (-3)/(z/(-20) - 0). Let u = f + -3. Is 3 a factor of u?
False
Let t(f) = 8*f**2 - 2*f + 1. Let k be t(1). Suppose 12 = -4*o, -68 = -5*n - k*o + 3*o. Is 8 a factor of n?
True
Suppose -2*v + 0*v + 10 = 0. Suppose -2*b - v = -3*z, -b - 3*z + 25 = b. Let l = 20 + b. Does 21 divide l?
False
Let q be (-2)/(-6) + 218/(-6). Suppose 0 = 3*y - 4*p - 255, 4*p - 64 = -y + 21. Let c = y + q. Is 14 a factor of c?
False
Suppose 3*r = 2*c - 0*r - 20, -c + 2*r = -8. Does 2 divide c?
True
Let m(t) = t - 2. Let d be m(5). Suppose 0*g + g - 7 = 0. Suppose -d*h + 5 = -g. Does 4 divide h?
True
Is ((-426)/(-8))/((104/(-32))/(-13)) a multiple of 30?
False
Suppose -2*p = -142 - 242. Suppose -4*m - 2*j = -0*j - p, -2*m + 2*j = -108. Is 17 a factor of m?
False
Let s(v) = v**3 + 6*v**2 + v + 5. Suppose w = -2*w - 15. Is s(w) a multiple of 7?
False
Let x(g) be the second derivative of -3*g + 1/2*g**3 + 0 - 3*g**2. Is 6 a factor of x(4)?
True
Suppose 5*c + 98 = -3*k, 0 = k - 3*k + 2*c - 60. Is -1 - (0 + k - 1) a multiple of 13?
False
Let r(w) = 4*w + 2 - 3 - w + w. Let x be r(1). Suppose 2*a + x = 81. Is 16 a factor of a?
Fa