divide (-52)/(-3) + 1/(-3)?
False
Suppose -15 = -5*r, r + 1 - 82 = -z. Does 6 divide z?
True
Let x be -5*2/8*-4. Suppose -x*q + b + 152 = 0, 0 = -3*b + 6 + 3. Is 17 a factor of q?
False
Let g(b) = b - 4. Let z be g(0). Suppose 2*l = 7*l + 2*j + 45, 4*l = -3*j - 43. Let r = z - l. Is 3 a factor of r?
True
Let h(q) = 4*q**3 + q**2 + 3. Let l be h(3). Suppose 6*b - 4*b = -4*x + 156, 3*x + 3*b = l. Is x a multiple of 20?
False
Let p = 87 - 42. Is p a multiple of 6?
False
Let q(w) = w**3 - 12*w**2 + 8*w + 4. Let x be q(11). Is 9 a factor of 3 - 1 - 6 - x?
False
Let d = -65 - -109. Suppose -3*n + 1 = -d. Let w = n - 5. Does 10 divide w?
True
Let p = -3 - -28. Does 25 divide p?
True
Let u(y) = 4*y**2 + 1. Let j be u(1). Does 21 divide -2 - (10*j)/(-2)?
False
Suppose -5*k + 4*h = 4, 0 = -3*k - h + 4*h. Let n = k - -6. Suppose -n*f - f = -72. Does 16 divide f?
False
Suppose -14 - 5 = -p - 3*l, -5*p + 95 = -3*l. Does 4 divide p?
False
Suppose 2*u + v = u + 87, -3*v - 199 = -2*u. Is u a multiple of 37?
False
Let i be (2/4)/(3/426). Let h be 1/(-4) - 485/(-4). Let a = h - i. Does 17 divide a?
False
Suppose 0 = -5*k - 2*x + 4*x + 586, 3*k + 4*x = 362. Suppose 2*w = -0*w + k. Is 16 a factor of w?
False
Let f = -226 - -361. Is f a multiple of 15?
True
Suppose 0 = 4*r + 24 - 60. Let k = 32 - r. Is k a multiple of 11?
False
Suppose 4*b = b + 153. Is 6 a factor of b?
False
Let i(u) = 4*u + 16. Does 11 divide i(7)?
True
Suppose -5*c - 8 = -7*c. Suppose -2*p + 3*z + 19 = 0, -5*p - c*z + 7*z + 34 = 0. Suppose 4*t = -4*s + 52, -t - p*s - 3 = -0*t. Is t a multiple of 17?
True
Let s = -20 + 12. Let k(m) = 5*m**3 - 3*m**2 - 5*m - 11. Let b(y) = 14*y**3 - 10*y**2 - 16*y - 33. Let o(t) = 6*b(t) - 17*k(t). Does 13 divide o(s)?
True
Suppose 4*w - 54 = 2*q + 42, 0 = -3*w + 2*q + 74. Is 7 a factor of w?
False
Suppose -4*o = -4*c - 96, 5*o + 4*c = 4*o + 9. Does 7 divide o?
True
Suppose -3*k - 4*o - 16 = 0, k = -3*o + o - 6. Is (6/(-4))/(k/72) a multiple of 9?
True
Does 20 divide 39*(2 + 2 + -3)?
False
Let m(u) = u**3 + 3*u**2 - 4*u + 2. Let z be m(-4). Is 13 a factor of (z/6)/((-3)/(-117))?
True
Does 5 divide (-2)/(-10) - (-856)/20?
False
Does 9 divide 4/(-3)*(-8 - 19)?
True
Suppose 4*t - 1409 = -5*d - 140, 4*t + 3*d - 1259 = 0. Does 19 divide t?
False
Suppose -m - 4*m - 5*c + 195 = 0, -4*m = -4*c - 116. Let z = 57 - m. Does 23 divide z?
True
Let f = 46 - 28. Is 3 a factor of f?
True
Is -65*1*(-14)/35 a multiple of 17?
False
Let b(t) = -26*t + 2. Let y(u) = 51*u - 4. Let v(i) = -5*b(i) - 3*y(i). Is 16 a factor of v(-2)?
True
Let r(w) = -w + 3. Let t be r(10). Is (1 + -2)*t - 4 a multiple of 3?
True
Let a be (3 + -1 + 0)/1. Suppose m + a*m = 60. Is 4 a factor of m?
True
Suppose -o + 85 = 4*o. Let w = o - 10. Is w a multiple of 7?
True
Let q(j) = 4*j**2 - 7*j**3 + 0*j**2 + j - 3*j**2. Is 7 a factor of q(-1)?
True
Suppose 0 = 5*b - 484 + 4. Suppose b = -5*d + 9*d. Does 7 divide d?
False
Suppose 0 = -3*n - 4*u + 380, 8*n + 5*u - 505 = 4*n. Is n a multiple of 30?
True
Let d = -4 - -3. Let x = d - -7. Is 3 a factor of x?
True
Suppose -2*h + 108 = -90. Suppose 3*j = -2*g + 62, -4*g = -4*j - h + 15. Does 16 divide g?
False
Let p(a) = -12*a + 3. Let s be p(-3). Let n = -24 + s. Is 12 a factor of n?
False
Suppose 61 = 2*i - 39. Does 7 divide i?
False
Is (5/10)/(502/(-504) - -1) a multiple of 14?
True
Let y(m) = 10*m**3 - 2*m**2 + 1. Suppose 2*i = -4*h - 18, 0 = 4*i - i - 4*h - 23. Is y(i) a multiple of 5?
False
Suppose -5*p + 515 = -3*m + m, 4*p - 4*m = 424. Is p a multiple of 15?
False
Let c(x) = x**2 + 84. Is 18 a factor of c(0)?
False
Let v(w) = -w**3 - 6*w**2 - 4*w - 1. Let g = -21 + 29. Let o = -14 + g. Is v(o) a multiple of 14?
False
Let g = 4 - -2. Suppose 0 = -3*c - g, 3*h - 4*c = -2*h + 268. Suppose -4*p + h = -156. Does 20 divide p?
False
Let q(k) be the first derivative of k**4/2 - k**3 - k**2/2 - 2*k - 2. Does 11 divide q(3)?
True
Suppose -28 = -5*a - 2*a. Is 4 a factor of 1/(a - 5) + 10?
False
Suppose 0 = -5*v - 4*k + 2, 4*v - v + 5*k = -4. Let b(i) = -v*i**2 - 4 + 1 + 0*i - 2*i - i**3. Is b(-3) a multiple of 12?
True
Let t(i) = 16*i**2 + 0*i + 17 + 3*i - i**3 - 2*i. Does 11 divide t(16)?
True
Does 4 divide 5/(20/18)*2?
False
Suppose -7*u = -76 - 99. Does 19 divide u?
False
Let r(n) = n + 4. Let j be r(0). Suppose -j*s = -s. Suppose -5*c + 45 = -s*c. Does 4 divide c?
False
Let a(x) = x**3 + 5*x**2 - 3*x - 3. Let b be a(-5). Is 3 a factor of (-1)/(-3) + 32/b?
True
Let r be (-70)/(-22) + 8/(-44). Let c = 6 + -4. Suppose c*a = -r*a + 45. Does 4 divide a?
False
Let j = 26 - 9. Let m = j - -39. Is m a multiple of 14?
True
Let o(p) = -p**3 + 9*p**2 + 17*p - 18. Is 13 a factor of o(10)?
True
Let c(z) = 4*z + 6*z**2 - 5 + z**3 - z + 6*z**2 - 6*z**2. Let h be c(-5). Is (-1)/5 - (-26)/h a multiple of 4?
False
Let a(p) = -p**2 - 14*p + 15. Let k be a(-15). Suppose 3*i - 2*i - 33 = k. Does 6 divide i?
False
Let a(c) = 12*c - 10. Let g(b) = 2*b - 12. Let p be g(9). Is a(p) a multiple of 19?
False
Let u = -1 + -2. Is (-24)/16*26/u a multiple of 13?
True
Let f = 151 - 107. Is 22 a factor of f?
True
Let j = -1 - -22. Let k(f) = 2*f**3 + 3*f**2 + 4*f + 3. Let w be k(-2). Let q = j + w. Is q a multiple of 6?
True
Let y(o) = 8*o**2 - 6*o - 2. Does 37 divide y(6)?
False
Let p(a) = a**3 - 7*a**2 - 9*a - 10. Let d be p(8). Let s = -9 - d. Is 9 a factor of s?
True
Let s = 138 + -85. Is s a multiple of 23?
False
Suppose 8*s - 735 = -135. Is 25 a factor of s?
True
Let t be (-12)/20 + (-8)/(-5). Let a = t + 3. Is (-18)/a*(6 - 8) a multiple of 3?
True
Suppose 0 = -z + 3 + 1. Suppose -z*a = -8, 2*a - 13 = -2*s + 67. Is 16 a factor of s?
False
Let y(o) = o**3 - 11*o**2 + 3. Let v be y(11). Let f(s) = 2*s**3 - s**2 - s + 4. Does 11 divide f(v)?
False
Suppose 0 = 5*s + g + g - 312, 5*g - 5 = 0. Let u = s - 37. Is 6 a factor of u?
False
Let h(y) = -5*y**3 - 14*y**2 - 12*y. Let x(p) = 6*p**3 + 15*p**2 + 13*p - 1. Let z(w) = -5*h(w) - 4*x(w). Let v be 2/((-8)/18)*2. Is z(v) a multiple of 13?
True
Let u = -97 + 161. Let b = 112 - u. Is 12 a factor of b?
True
Suppose 0 = 8*b - 3*b - 35. Is ((-6)/b)/((-6)/168) a multiple of 24?
True
Let h be (-33)/12 + (-1)/4. Let d = h - -6. Suppose d*x = 2*x + 2. Does 2 divide x?
True
Let i = 89 + -37. Is i a multiple of 13?
True
Let d = 321 - 66. Is 22 a factor of d?
False
Let r = -97 + 219. Does 11 divide r?
False
Suppose -5*n + 4*n - 23 = 0. Let j = n + 40. Is j a multiple of 4?
False
Suppose 5*l = -4*f - 15, 4*l - 2*f + 12 = -5*f. Let g = l - -11. Is g a multiple of 8?
True
Let i be (3 + 15/(-6))*0. Is (5 + 29)/(i - -1) a multiple of 14?
False
Suppose 4*p + 4*y = 32, -21 = -2*p - p - 2*y. Suppose -p*g = -0*g - 20. Does 3 divide g?
False
Let a(v) = v**3 + 13*v**2 + 6*v + 4. Let c(r) = -r**2 - r. Let i(j) = a(j) + 6*c(j). Is i(-6) a multiple of 10?
True
Let j be 1/(-1*1/3). Does 12 divide (-38)/(2 + j) - 2?
True
Let d(u) = u - 7. Let h be d(10). Suppose 2*g = -h*g + 5, 4*v - 5*g - 7 = 0. Let b = 5 + v. Does 6 divide b?
False
Is 39 a factor of ((-78)/(-4))/(61/10 + -6)?
True
Let t(f) = f**3 - 3*f**2 + 2*f + 2. Let s be t(2). Suppose -115 = -s*p - 3*p. Does 13 divide p?
False
Let z be 4 + -2 - (1 - 2). Suppose 0*j = z*j - 27. Is 3 a factor of j?
True
Let l be (-716)/(-7) - 16/56. Suppose -2*b = 5*q - l, 2*b + 5*q = 4*b - 122. Does 14 divide b?
True
Let g(k) = 3*k**3 + k**2 - 2*k - 5. Let h(s) = -16*s**3 - 5*s**2 + 9*s + 26. Let p(u) = -11*g(u) - 2*h(u). Does 4 divide p(-3)?
False
Let v = -101 + 200. Suppose -v = -5*q + 81. Is 18 a factor of q?
True
Suppose 29 = -5*s - 6. Let i(j) = 6*j**3 - 35*j**2 - 11*j + 41. Let a(m) = -m**3 + 7*m**2 + 2*m - 8. Let o(n) = -11*a(n) - 2*i(n). Is 6 a factor of o(s)?
True
Is (1 + -2 + 3)*12 a multiple of 5?
False
Let m(s) be the second derivative of -s**5/20 - s**4/12 - s**3/6 + 9*s**2/2 + 4*s. Is 7 a factor of m(0)?
False
Suppose 10 + 0 = 5*q. Let x(v) = v**3 - 2*v**2 - v - 4. Let z be x(3). Let y = q + z. Is y a multiple of 2?
True
Let p be -9*(2/3)/1. Let d(j) be the first derivative of -j**2/2 + 8*j + 5. Does 6 divide d(p)?
False
Let l = -10 + 0. Let u = 10 - l. Suppose 6*n = 2*n + u. Does 2 divide n?
False
Let m be 4*2/4 + -12. Let v = 11 - m. Does 10 divide v?
False
Suppose 0 = 3*k - 5*a + 3*a - 329, -k = 3*a - 106. Is k a multip