 58 = 3*a - 137. Is 13 a factor of a?
True
Suppose -32 = -5*r + 23. Suppose 5*w - 226 = 3*u, 3*u = r - 2. Is 12 a factor of w?
False
Is 67/1 + (-1 - -1) a multiple of 12?
False
Suppose -2*x - 7 = -u, 0 = -5*x + 3*u - 17 - 2. Is ((-15)/(-12))/(x/(-40)) a multiple of 7?
False
Does 6 divide 2 + -5 + 21 + -6?
True
Let o = -5 + 10. Suppose 2*t + 4*h = 5*t - 75, -o*h - 72 = -3*t. Is t a multiple of 12?
False
Suppose -3*u + 14 = -2*p + u, -5*p + 5*u - 10 = 0. Suppose -3*j + 108 = p*h, -4*j + 3*j + h = -32. Is 9 a factor of j?
False
Let o(i) = i**2 + 3*i - 2. Let t be o(-6). Let a = t - 9. Suppose -2*x + 18 = 5*c - a, 4*x - 29 = -3*c. Is c even?
False
Let b be (6/(-2))/(0 - 1). Suppose -4*h + 104 = 2*k, 4*h - 112 = -b*k - k. Does 8 divide h?
True
Let o(a) = -5*a - 28. Does 18 divide o(-13)?
False
Suppose -2*o + 0*o + 2*l = -6, 0 = -l - 3. Suppose 5*n - 5 = o, -3*p + 6*n - n = -46. Does 7 divide p?
False
Let m(o) = -3 - 1 - o - 5*o - 5*o. Is m(-3) a multiple of 13?
False
Suppose -27 = -7*u + 4*u. Is 8 a factor of u?
False
Let k = 35 + 23. Does 21 divide k?
False
Suppose -240 = -4*y + 2*y. Suppose -3*v + y = 5*m, -3*m = -7*m + v + 113. Suppose -b + 5 = -m. Is b a multiple of 14?
False
Let d = -30 + 46. Does 2 divide d?
True
Suppose 8 = l - 4*v, 2*l + v - 2 = 2*v. Let h be (l - 11/(-4))*4. Suppose -3*z = -2*z - h. Does 11 divide z?
True
Let k = 2 - -63. Is 12 a factor of k?
False
Suppose 0 = n - 2*n - r + 187, 4*r = -2*n + 364. Does 19 divide n/10 + (-1)/5?
True
Suppose l - 6*l - 380 = -5*q, -4*l = 3*q - 228. Is 7 a factor of q?
False
Let x = -135 - -205. Is x a multiple of 13?
False
Let o be (2/(-3))/((-1)/(-3)). Is o/(-6) + 70/6 a multiple of 6?
True
Let g = -66 + 80. Does 14 divide g?
True
Let i(u) = -u**3 + u**2 - u + 104. Let g be i(0). Suppose 0*h - 4*h = -g. Does 9 divide h?
False
Suppose -4 = t - 8. Suppose t*z - 15 = -z. Suppose -5*d + 4 - 2 = 2*b, -2*b + 6 = z*d. Does 6 divide b?
True
Let h(p) be the third derivative of -p**6/120 + 16*p**3/3 + 6*p**2. Is h(0) a multiple of 16?
True
Does 25 divide 2 + (-12)/4 + (53 - 1)?
False
Let l(u) = u**3 + 8*u**2 + 11. Suppose 8 + 0 = -q. Is l(q) a multiple of 11?
True
Let i = 11 - 0. Suppose 0 = 3*b + 15, 2*b - 25 = -i*k + 6*k. Does 7 divide k?
True
Let k = 8 - 0. Does 3 divide k/(-20) - (-34)/10?
True
Let m(j) = -2*j**3 - 22*j**2 + 6*j + 13. Is 14 a factor of m(-12)?
False
Let f(p) = -2*p**3 + 4*p**2 - 3*p + 1. Let j be f(2). Suppose 0 = t + 7 + 6. Let y = j - t. Is 3 a factor of y?
False
Suppose 0 = -5*w + 1 - 16. Let i(h) = h**2 + 12*h - 6. Let g be i(-13). Let p = g + w. Is p a multiple of 4?
True
Suppose -v + 2*v = f - 2, -4*v = f - 7. Suppose 3*a = -f*i + 51, -5*i + 4*i = 4*a - 26. Is i a multiple of 5?
False
Suppose 0*p = -4*p + 3*k + 10, 3*k = -4*p + 22. Let t be (-2)/(-2)*44/p. Suppose t = q + f, -2*q + 5 = -q + 3*f. Does 7 divide q?
True
Let k(f) = -f**3 - 11*f**2 - 12*f - 6. Is k(-10) a multiple of 3?
False
Suppose 3*a = 2*p - 56, -3*a + 16 = p - 12. Suppose -k = 3*k - p. Let f = 14 + k. Is f a multiple of 7?
True
Let b(d) = d**3 + 3*d**2 - 2. Is b(5) a multiple of 10?
False
Suppose 2*q + 5*f = 138, 9*q - f - 345 = 4*q. Let w = q - 49. Does 10 divide w?
True
Let f = -30 + 33. Is f even?
False
Suppose o + 2 = -5. Let l be (-21)/(-6)*(-4)/o. Suppose 5*i + 2*b = 290, i + 4*i - l*b - 270 = 0. Is 18 a factor of i?
False
Suppose -b - 3*b = 3*t - 860, 5*t = 0. Suppose -5*q + b = -3*o, 0*q - 3*q + o = -129. Is 12 a factor of q?
False
Let p(a) = a**2 - a - 5. Is p(5) a multiple of 4?
False
Let b(k) = -k - 6. Let x be b(-9). Suppose -x*w + 75 = 3*v, -59 = 3*w - 6*w + v. Is 8 a factor of w?
False
Suppose b - 150 = -3*l - 3*b, -5*l + 5*b = -215. Is l a multiple of 12?
False
Let o be -1 - -2 - (-2 - -1). Suppose 5*t - 4 = d, o*d - t - 57 = -4*t. Is 6 a factor of d?
False
Let k(f) = f**2 - f - 8. Let x be k(0). Is 7 a factor of (-206)/x - (-1)/4?
False
Let z = -12 - -4. Let j be (z/(-10) + -2)*-85. Suppose 2*p - 4*l - j = 0, -195 = -3*p - 2*l - 42. Is p a multiple of 18?
False
Suppose -2*g = 5*w - 3*w - 90, -w = 2*g - 88. Let p = 5 + g. Does 13 divide p?
False
Let v be (4 + -3)*(3 + -2). Is 50 + (v - 2) + 1 a multiple of 18?
False
Let u(c) = c**2 + 9*c + 9. Is 13 a factor of u(-12)?
False
Let q(n) = -n**2 + 15*n + 10. Let u = 10 + 4. Is 8 a factor of q(u)?
True
Suppose -c + 12 = 9. Suppose -q - 4*t = 3*q - 148, c*q = 3*t + 99. Does 16 divide q?
False
Let l(h) = -h**3 + 4*h**2 - h + 1. Let w be l(4). Let u = 7 + w. Suppose -13 + u = -x. Is 5 a factor of x?
False
Is (-3*24/(-21))/((-2)/(-28)) a multiple of 16?
True
Let l(v) = v**3 - 3*v**2 + 2. Let q be l(3). Let k = 6 - q. Is 14 a factor of (252/(-8))/((-3)/k)?
True
Let a(o) = 4*o**2 - 6*o - 13. Is a(7) a multiple of 20?
False
Let z = -18 - -12. Let v = z - -8. Suppose k = -5*q + 13, -2*k + 4*k - 14 = v*q. Is 3 a factor of k?
False
Suppose -5*c = -20, 3*p + 2*c = -2*c + 43. Is p a multiple of 5?
False
Let w = 20 + 4. Suppose -2 - 3 = -a. Suppose a*f - 66 = w. Does 9 divide f?
True
Let s = -5 + 10. Suppose -s*c + 66 + 9 = 0. Suppose -3*i = -3 - c. Is i a multiple of 3?
True
Let c = 3 - -1. Let j be 16/(-6)*(-6)/c. Is 11 a factor of 6 + j - (-1 + 0)?
True
Let o = 60 + -36. Does 12 divide o?
True
Suppose -4*x - 3*v - v + 12 = 0, -3*x + 3*v + 3 = 0. Suppose 0 = x*n - 0*n - 34. Suppose 2*f - n = 5. Does 11 divide f?
True
Suppose 3*d + 0*d = 6. Suppose -u + 87 = -2*u - y, -5*u - 444 = d*y. Is 6 a factor of (6/4)/((-9)/u)?
False
Suppose 0 = 5*t - t - 72. Suppose 3*i + t = 51. Is i a multiple of 6?
False
Suppose -15*d - 296 = -1136. Is 7 a factor of d?
True
Suppose -3*l - 5*h = -7*l - 13, 2*l + 3*h = 21. Suppose 0 = -b + 2*s + 29, 5*s + 4 = -3*b + 36. Let c = b - l. Is 8 a factor of c?
True
Let p(c) = 8*c**2 + 5*c + 3. Is p(-3) a multiple of 15?
True
Let m(p) = 2 + 3*p - 4 - 4 + 2. Let d be m(3). Suppose 0 = d*y - 31 - 29. Does 12 divide y?
True
Let k be 7/8*-2*12. Does 10 divide 54*(k/(-6) - 3)?
False
Let j = -296 + 524. Is 19 a factor of j?
True
Suppose 18 = -n + 3*n - 3*t, -3*n = t - 38. Does 3 divide n?
True
Let r(w) = -w**2 + 14*w - 12. Suppose 0 = -2*t + 4 + 18. Is 7 a factor of r(t)?
True
Let w be (3/9)/((-2)/(-6)). Let o = w - -4. Is o a multiple of 2?
False
Let w = 139 - 83. Is 8 a factor of w?
True
Suppose 148 = h + 3*h. Let b(n) = -n**3 + 2*n**2 + n - 1. Let g be b(3). Let c = h + g. Is 15 a factor of c?
True
Suppose -q - 4*q + 10 = 0. Let x be (q - -1) + (0 - -2). Suppose x*p - 392 = -102. Does 20 divide p?
False
Let w be -5 + (1 - 1) + 2. Let y be 2 + w*1 + -1. Let n = y + 7. Is n a multiple of 2?
False
Suppose 5*d - d = -5*f + 58, 0 = 4*f - 5*d - 30. Suppose 5*x - 4 = k + 18, -f = -2*x. Suppose -k*t = -t - 102. Does 18 divide t?
False
Let g(q) = -q**2 - 4*q + 1. Does 2 divide g(-3)?
True
Let q(b) = b**2 + 5*b + 4. Let g be (-1 + -3)*(-2 - -3). Let r be q(g). Suppose r = 3*f + 9 - 24. Is 2 a factor of f?
False
Suppose 20 = 4*w, -3*l + 6*w + 218 = w. Is 25 a factor of l?
False
Suppose -16 = 3*d - d. Let p = d - -13. Let h = 14 - p. Is 9 a factor of h?
True
Let q = -37 + 53. Is q a multiple of 8?
True
Let b be 364/126 - (-1)/9. Suppose 17 = 2*g + b. Does 3 divide g?
False
Let s = 516 - 311. Is 15 a factor of s?
False
Suppose -5*n + 7 + 8 = 0. Suppose 3*t = -2*f + 5*f - 39, n*f = -2*t + 44. Is 14 a factor of f?
True
Let k = -292 + 466. Is k a multiple of 12?
False
Let m(h) = h**2 + 3*h - 15. Does 13 divide m(-8)?
False
Let u(w) = -4*w**2 - 5*w + 11. Let r(l) = -5*l**2 - 6*l + 10. Let x(s) = 5*r(s) - 6*u(s). Let y be x(0). Does 2 divide y/(-7) + (-4)/14?
True
Let i(z) = -z**2 - z - 7*z**2 + z**2. Let u be i(1). Is (9 - u) + 3/1 a multiple of 13?
False
Let p(t) = -3*t - t**2 + 0*t**2 + 10*t + 3. Let c(s) = s**3 - 5*s**2 - 6*s + 7. Let u be c(6). Does 2 divide p(u)?
False
Let h(b) = 3*b - 62. Is h(24) a multiple of 5?
True
Let f(d) = 10*d - 1. Suppose -4*w = -2*k - 2, -4*k + 28 = 3*w - 1. Let m be f(w). Does 14 divide (-2 - -1) + 0 + m?
True
Suppose 0 = 4*h - 3*c + 9, -3*h = 2*c - 3*c + 3. Suppose h*d + 2*d = 90. Is 18 a factor of d?
False
Let f = 21 - 13. Let i = f + -3. Suppose -2*u = -i*s - 6, -4*s + 16 = -0*s. Is 13 a factor of u?
True
Suppose -5*f - 41 = -3*n - 151, 110 = 4*f + 2*n. Suppose 3*w = -208 + f. Let t = 100 + w. Is 13 a factor of t?
True
Le