se -2*j = -74 - 66. Is 14 a factor of j?
True
Suppose 105 = 5*w - 4*y, -4*w - 3*y + 2*y + 105 = 0. Does 11 divide w?
False
Let b = -653 + 1. Is (-2)/(-3) + b/(-12) a multiple of 14?
False
Let u(z) be the second derivative of -5*z**3/6 - z**2 + 2*z. Let i(o) = -o**2 - 6*o + 4. Let n be i(-7). Is u(n) a multiple of 13?
True
Suppose -5*j - 3*q + 12 = 0, -2*j - 3*q = -0*j - 12. Suppose j = 3*d + d - 5*a - 43, -5*a - 19 = -2*d. Is 12 a factor of d?
True
Let n be 2 - (-1 + 0 + -1). Does 7 divide 6/(-12) - (-66)/n?
False
Suppose 0*d = -3*k - 4*d + 48, -4*d - 52 = -2*k. Does 20 divide k?
True
Suppose -x + 3 = -2. Is x even?
False
Let s = 14 + -9. Does 17 divide (-344)/(-10) - 2/s?
True
Does 31 divide 275 + 0 - (3 + -7)?
True
Let v = -178 + 273. Is 19 a factor of v?
True
Suppose 5*b + 4*q = 163, -4*b - b - 2*q + 159 = 0. Is 24 a factor of b?
False
Let u(m) be the first derivative of 7*m**3/3 - m - 1. Let p be (1 - 3/6)*-2. Does 4 divide u(p)?
False
Let x(f) = -f**2 - 6*f + 3. Suppose 2*l + 12 = -0. Is x(l) a multiple of 3?
True
Suppose 0 = -5*q + 10, x + 2*q + 11 = 88. Suppose x = 4*y - 39. Is y a multiple of 14?
True
Is 5 a factor of 2 + (-7)/(21/(-24))?
True
Let a be 6776/36 - (-2)/(-9). Suppose -2*w + a = 2*w. Is w a multiple of 12?
False
Let w = -42 - -74. Is w a multiple of 7?
False
Let n = 52 + -32. Let v = 36 + n. Suppose -3*k - 3*c = 2*k - 108, 3*k + 4*c = v. Does 7 divide k?
False
Let q(a) = -7*a - 4. Does 3 divide q(-1)?
True
Is 14 a factor of ((-12)/10)/((-7)/245)?
True
Let v be 2/(-11) + (-272)/(-44). Let r be (27/3)/(2/v). Suppose 2*t - r = 4*c - 149, -3*t + 169 = 5*c. Is c a multiple of 17?
False
Let x(m) = m - 1. Let y be x(3). Suppose -48 = -5*o + y. Is 10 a factor of o?
True
Let r = -6 + 10. Suppose 0 = r*y + 2 + 6. Is 2 a factor of 3/(14/(-10) - y)?
False
Let b(v) = v**3 + 7*v**2 - 2*v - 8. Let l be b(-7). Suppose x + 5*h = 26, 2*x - l*x + 66 = h. Is x a multiple of 8?
True
Suppose 0*k - 10 = -5*k. Suppose -12 = -d - k*d. Is 15 a factor of 118/d - 6/(-12)?
True
Suppose 0 = -3*a - 9. Let j be 3/a - -107*1. Suppose 6*v = 3*y + v - j, -5*v - 138 = -4*y. Does 16 divide y?
True
Is -3*(1533/9)/(-7) a multiple of 11?
False
Suppose 259 = 3*u + 4*u. Is 15 a factor of u?
False
Suppose -2*l - 44 = 3*l - k, -3*l - 36 = -3*k. Does 5 divide 34/4 + (-12)/l?
True
Suppose -9 = -5*m - 4. Does 6 divide (-14)/(-2 + (m - 1))?
False
Let x(i) be the first derivative of 2*i**3/3 - 9*i**2/2 + i - 1. Let q be x(7). Suppose 5*y - 44 = q. Does 12 divide y?
False
Let f = 591 + -330. Is f a multiple of 29?
True
Suppose 3*p = -4*w + 114, 2*p = -2*w - p + 60. Does 9 divide w?
True
Suppose -13*a + 16*a - 720 = 0. Is 12 a factor of a?
True
Let v = -21 - -13. Let h = v - -31. Is h a multiple of 8?
False
Let q = 134 - 5. Let o = q + -90. Is o a multiple of 13?
True
Let y(q) = 3*q**3 - 2*q**2 + 3*q. Is y(3) a multiple of 24?
True
Let q be 614 - ((-8)/(-2) - 0). Suppose 2*i - q = -5*h, 4*h + 2*i - 407 = 83. Is h a multiple of 30?
True
Let u = 153 + -84. Is 23 a factor of u?
True
Let f(u) = -u - 14. Let o be f(-18). Suppose 144 = 4*c - 2*g, -2*g = -3*g - o. Does 17 divide c?
True
Let t(i) = i**2 - 7*i - 7. Let w be t(8). Let m(r) = 40*r**2 + r. Is m(w) a multiple of 11?
False
Let q = 1 - -7. Let h be ((-3)/6)/((-4)/32). Let u = q + h. Is 6 a factor of u?
True
Suppose -2*a + 6 = -0. Suppose a*z = -z + 28. Is z a multiple of 7?
True
Suppose 5*l - 10 = 5*g, -4*g + 6 = l - g. Let w(t) = -l + 2 - 4 + 2*t**2. Is 20 a factor of w(-5)?
False
Suppose s + s - 214 = -4*u, -s + 5 = 0. Does 17 divide u?
True
Let q be 14/8 - 1/(-4). Does 4 divide 10 - ((-4)/q + 4)?
True
Let f = -3 - 0. Does 11 divide (-103)/(-3) + 1/f?
False
Let f be 0 - (-1 + 2*9). Let a = 28 + f. Is 4 a factor of a?
False
Let t(v) be the third derivative of -v**4/24 - v**3/6 + 2*v**2. Let y be t(-1). Suppose 7*p - 2*p - 25 = y. Does 2 divide p?
False
Let v(c) = -c**3 + 6*c**2 + 2*c + 7. Let j be v(7). Let h = j + 70. Is 19 a factor of h?
False
Let j be ((-1)/(-2))/((-5)/(-140)). Let t = 32 - j. Is 18 a factor of t?
True
Suppose -101 = -2*u - 21. Suppose 4*y = -0*y + u. Does 3 divide y?
False
Let s(h) = h**3 - 6*h**2 + 6*h - 5. Let n be -2 + 6 - 1/(-1). Let i be s(n). Suppose 0 = -3*x - i*x + 90. Does 20 divide x?
False
Let r(w) = 7*w + 2. Is 9 a factor of r(1)?
True
Does 13 divide ((-78)/4)/((-6)/8)?
True
Suppose 5*y - 28 = 42. Suppose y = 5*z - 16. Is z even?
True
Suppose l - 87 = -21. Is 10 a factor of l?
False
Suppose 2*x = -2*x + 48. Suppose -s - o + 4 = 0, -4*s + 3*s = 5*o - x. Suppose -b + 108 = s*b. Is 13 a factor of b?
False
Suppose 4*k - 65 = -q, -3*q - 430 = -8*q + k. Is q a multiple of 14?
False
Let i = -9 + 13. Suppose 0 = -z - 4*s + 14, -i*z - s + 9 = -z. Let k = z - -2. Does 4 divide k?
True
Suppose r - 3 = -2. Let i(t) = t - 4*t + 22*t**2 + 2*t. Does 15 divide i(r)?
False
Let y(s) be the first derivative of s**3/3 - 9*s**2/2 - 12*s + 3. Is 12 a factor of y(12)?
True
Let f be 14 + (1 - (6 + -3)). Suppose 135 = 3*l + d, -169 = -4*l - d + f. Is l a multiple of 11?
False
Let u = -9 + 14. Suppose -v - v = -2*m - 34, -3*v - u*m = -19. Is v a multiple of 13?
True
Suppose -4*n - 2 + 0 = 2*i, i - 2*n - 7 = 0. Let v = 5 + 13. Suppose i*b = 4*b - v. Does 7 divide b?
False
Let h(a) = -a**3 - 7*a**2 - 4. Let i be h(-7). Let n = i - -9. Is n a multiple of 5?
True
Let t = 352 + -208. Suppose 0*i + t = 4*i. Is 13 a factor of i?
False
Suppose -107 = -2*y + v + 92, -5*v + 229 = 2*y. Suppose 2*z + 27 = 4*j - z, 0 = 4*j + 5*z + 13. Suppose j*u - y = u. Is u a multiple of 18?
False
Suppose 3*r - 19 = -7. Let f = r + 1. Is 3 a factor of f?
False
Let q be (0 - 0)/(3 - 1). Suppose -2*u - 6*c + 72 = -c, -c + 4 = q. Let i = u + -10. Is 10 a factor of i?
False
Let y(c) = c**3 - 4*c**2 - 10*c + 24. Is y(8) a multiple of 40?
True
Suppose 2*l + 2*l - 288 = 0. Suppose 4*q - 2*m = l, 5*m - 2*m + 72 = 4*q. Is 10 a factor of q?
False
Let v = 53 - 23. Let t = v - 1. Is 15 a factor of t?
False
Suppose -2*c = -4*c + 2*w, 2*c = -4*w. Suppose c*k = -3*k + 60. Does 8 divide k?
False
Let y(m) = m**2 - m + 4. Suppose 0*n - 3*n - 12 = 0. Is 21 a factor of y(n)?
False
Let i(z) = -16*z**3 - z. Is i(-1) a multiple of 10?
False
Let t(j) = 69*j + 1. Does 14 divide t(1)?
True
Suppose 116 = 7*h - 444. Does 20 divide h?
True
Let w = -26 + 131. Is 31 a factor of w?
False
Let w be (-2)/(2/(-117)) + -2. Let b = -61 + w. Does 22 divide b?
False
Let d be (-1)/2 + 73/2. Let f = d - 25. Is f a multiple of 4?
False
Suppose 10 = 3*j - 2. Suppose -j*n + 35 = -133. Is 12 a factor of n?
False
Is 23 a factor of (7 + -80)*(-3 + 2)?
False
Suppose 5*t = -0*t - 2*q + 262, 0 = 5*t - 4*q - 286. Does 13 divide t?
False
Suppose 189 = -4*c - 3*n, -2*n = -4*c - 141 - 53. Let i = c + 104. Is i a multiple of 18?
False
Does 6 divide (-18)/(-4 + 15/6)?
True
Let w(i) = i**3 - i**2 + 4. Let d = 11 + -6. Suppose 2*s - d*s = -9. Is 8 a factor of w(s)?
False
Suppose 14*y - 2331 = 7*y. Is y a multiple of 18?
False
Suppose -3*k - 3 - 1 = -2*b, -4*k + 4 = 2*b. Suppose k = 2*y - 0 - 6. Suppose -3*j = y*w + j - 74, -3*j = -6. Is 19 a factor of w?
False
Suppose -4*g + 5*g = 4*k - 33, -3*k + 15 = -4*g. Let r(f) = -f**3 + 10*f**2 - 6*f - 10. Let a be r(k). Let s = 29 - a. Is s a multiple of 6?
True
Let s be (-123)/(-5) + (-22)/(-55). Suppose 6 = -f + s. Does 7 divide f?
False
Let t = 42 + -1. Suppose -45 - t = 2*j. Let c = 80 + j. Is c a multiple of 14?
False
Let c = 50 - 2. Is 24 a factor of c?
True
Let c = -96 - -141. Does 9 divide c?
True
Suppose 5*d - 98 = 3*u, 51 = 4*u + 3*d + 201. Let k = -24 - u. Does 12 divide k?
True
Let y(r) = -20*r**3 + 2*r + 1. Let m = 6 + -7. Is 19 a factor of y(m)?
True
Is 11 a factor of (13086/(-33))/(-3) - 6/33?
True
Suppose 21*d - 18*d = 144. Is d a multiple of 7?
False
Let f = 225 - 173. Does 13 divide f?
True
Let u(w) = -8*w + 1. Let c(x) = -8*x. Let n(m) = -2*c(m) + 3*u(m). Let d be n(-4). Does 13 divide d/((1/(-1))/(-1))?
False
Let i(l) = 2*l - 12. Let h be i(-15). Let j = -6 - h. Does 12 divide j?
True
Suppose 2*i + 4 = -l, -4*l = -3*l - 2. Let x = 42 - i. Does 17 divide x?
False
Let h be (1 - 0)*1*4. Suppose -6 - h = -5*j. Suppose 0 = -p + 5 - j. Is 2 a factor of p?
False
Let q(r) = -r**3 - r**2. Let w(u) = 9*u**3 - 4*u**2 - 1. Let v(t) = 4*q(t) - 