of 158/c - (-1)/2?
True
Let b = -3420 - -4834. Does 12 divide b?
False
Suppose -3*g - 8*g - 44 = 0. Is 102 - (g + (4/1 - 2)) a multiple of 6?
False
Let m(c) = -c**3 - 7*c**2 + 4*c + 9. Suppose -3*d = 1 + 23. Is 12 a factor of m(d)?
False
Let s(k) = -1 - k**2 + 5 + 2 - 7*k. Let b be s(-7). Is 4 a factor of b/36 + 65/6?
False
Let o = -4 - -8. Let q = o + -8. Is (75 + 3)/(q/(-2)) a multiple of 19?
False
Suppose -41*o - 825 = -44*o. Is o a multiple of 11?
True
Let t(x) = 17*x + 5. Let w be t(-5). Let y be w/1*(-4)/10. Let k = y - 14. Is k a multiple of 9?
True
Let c = -68 - -70. Let z(q) = 65*q + 10. Is 22 a factor of z(c)?
False
Let a(i) = 4*i + 14. Let z be a(-7). Is 9 a factor of (-7)/(z/6) - -32?
False
Let l(v) = 94*v + 85. Is l(6) a multiple of 17?
False
Let s(h) = -8*h + 4. Let o(f) = 15*f - 9. Let g(d) = 3*o(d) + 7*s(d). Let j be g(-4). Let l = j + -17. Does 20 divide l?
False
Let k(d) = 4*d**2 + d - 17. Suppose -1 = c + 4. Does 34 divide k(c)?
False
Suppose -33*g + 630 = -23*g. Is g a multiple of 7?
True
Let q = -679 - -1603. Is q a multiple of 10?
False
Let f be 6/((-12)/(-10)) - 4. Let z(w) = -19*w**2 - 2*w + 1. Let s be z(f). Is 4 a factor of (-464)/s - (-2)/(-10)?
False
Suppose -56 = -3*o - 38. Is 2/3 - (-236)/o a multiple of 20?
True
Suppose 4*h - 3*z + 0*z = -15, h - 2*z = -10. Suppose 3*j + 29 - 119 = h. Does 15 divide j + -1 + (-24)/8?
False
Let w(l) be the first derivative of l**4/4 - 14*l**3/3 + 10*l**2 - 19*l + 4. Does 12 divide w(13)?
True
Let v = 516 + -96. Does 30 divide v?
True
Let w = 629 - 300. Let k = -121 + w. Does 27 divide k?
False
Let y be (-1)/4 + 2/8*33. Suppose y*v = -3*v + 1210. Is 14 a factor of v?
False
Let d(h) = 3*h**3 + 5*h**2 + h + 3. Let r(p) = -2*p**3 - 2*p**2 - 2. Let x(s) = 3*d(s) + 5*r(s). Let a = -5 - -9. Is x(a) a multiple of 15?
False
Let f = 449 + -313. Is 8 a factor of f?
True
Let d = 582 - 516. Is 2 a factor of d?
True
Does 69 divide 4090 - 24 - 10/(-2)?
True
Let s = -221 + 1631. Is s a multiple of 15?
True
Let w be 3 - 3*(-26 + 3). Suppose -q = 2*q - w. Does 12 divide q?
True
Suppose 88 = -26*r + 28*r. Suppose -r = -2*q + 2*f, q + 4*f = -0*q + 27. Suppose 0 = -26*o + q*o + 126. Does 14 divide o?
True
Let k = -1494 - -970. Is 2/8 - (-1 - k/(-16)) a multiple of 19?
False
Suppose 0*w = -4*l - w + 17, -3*w = -15. Let v(t) = 13*t**2 - t - 1. Let g be v(l). Does 9 divide (g - 3)/2 - 0?
False
Let o = -320 - -1055. Is o a multiple of 49?
True
Let l(j) = -j + 2. Let v be l(-2). Suppose 2*a - 4*d = 288, -d = v*a - 5*d - 568. Is 35 a factor of a?
True
Let j = -11 - -12. Let c be (0 + (j - 3))*-54. Let f = -5 + c. Is 23 a factor of f?
False
Suppose -210 = -123*d + 121*d. Is d a multiple of 15?
True
Does 2 divide ((-65)/(-2))/5*(-9 + 11)?
False
Let f be (-4028)/(-14) - (-14)/49. Let z = f + -155. Suppose -2*n + 4*t = -48, -4*t = -5*n - 7*t + z. Is n a multiple of 13?
True
Let x(t) = 3*t + 9. Let z(l) = l**3 - 4*l**2 + 8*l - 9. Let q be z(4). Let w = 23 - q. Does 9 divide x(w)?
True
Suppose -31*o + 229 + 174 = 0. Does 12 divide o?
False
Suppose -35*v + 16226 + 4774 = 0. Does 15 divide v?
True
Suppose 38475 = -141*m + 156*m. Does 17 divide m?
False
Let p(j) = 416*j - 98. Is 27 a factor of p(4)?
True
Suppose 7*y - 2046 = y. Is 11 a factor of y?
True
Is (-89*1)/((11/(-1))/22) a multiple of 4?
False
Let m = 51 + -42. Suppose -m = -2*f + 41. Is f a multiple of 8?
False
Does 17 divide (-882)/(-42)*136/6?
True
Let p(b) = -b**2 - 2*b - 4. Let n be 0/(0 + -4 + 7). Let l be p(n). Is -2 + (l - -75) - -2 a multiple of 33?
False
Suppose 5*u - p = -64, -4*u = -9*u - 3*p - 68. Let y = -17 - u. Let w = y - -13. Is w a multiple of 3?
True
Suppose 4 = 3*l - l. Does 5 divide 3 - (2 - l - -47)/(-1)?
True
Suppose 5*b = -3*h - 11, 6 = -3*h + 2*b + 23. Suppose 4*i = i + 3*a + 69, -3*i = h*a - 63. Is 2 a factor of i?
True
Suppose -5*w + 2*y - 20 = -w, -4 = 3*w + 4*y. Let s be 0*(w/(-2) + -1). Suppose 4*m + 2*d = -s*m + 114, -d + 1 = 0. Is 22 a factor of m?
False
Suppose -234 = -4*n - 2*d, 2*n - d - 105 = 2*d. Is 28 a factor of n?
False
Let f = 21 - 17. Does 4 divide 8/f + 3*6 + 2?
False
Suppose -639 = -9*w - 0*w. Is 6 a factor of w?
False
Does 27 divide 3647/9 - (-2)/(-9)?
True
Let k(w) = 8*w**2 + 9*w + 6. Let c be k(-9). Suppose -c = 5*r - 2*r. Let a = -116 - r. Is 19 a factor of a?
False
Suppose -27161 = -58*f + 1665. Does 34 divide f?
False
Suppose -z - 4*k - 11 = k, 0 = 3*k + 9. Let d = z - -4. Is 6 a factor of d + (-5)/((-10)/6)?
False
Suppose -9*u = -5492 + 1640. Is 26 a factor of u?
False
Suppose 5*q = 275 + 535. Is q a multiple of 9?
True
Suppose 5*g - 1 + 16 = 0. Let c be g/(-1) + 4 - -2. Does 4 divide 24/c*(-3)/(-2)?
True
Let u be 4 + -4 + 1 + -8. Let b(k) = k**2 - 6*k - 19. Is 18 a factor of b(u)?
True
Let t(g) = 3*g**2 - 18*g - 58. Is t(28) a multiple of 26?
False
Let f be (4 - 2 - 3)*-312. Suppose 0 = 5*j + 3*v + f, -3*j - 6*v - 200 = -v. Let s = 100 + j. Does 20 divide s?
True
Let o(y) = -y. Let v be o(1). Is 8 a factor of (-1)/v + 2 - -37?
True
Let l = -19 - -21. Does 9 divide (-1 + -71)*(-1)/l?
True
Suppose -5*m = -4*v - 171, -46 = -0*v + v + 2*m. Is v*(25/20 + -3) a multiple of 11?
True
Let o(d) = 6*d - 11. Let j(g) = -g + 1. Let p(b) = 3*j(b) + o(b). Is p(7) a multiple of 10?
False
Let k(v) = v**3 + 16*v**2 - 22*v - 16. Is 40 a factor of k(-16)?
False
Let q(b) = 8*b**3 + b - 1. Let w be q(1). Suppose w*y + 30 = 3*y. Let r = y - -21. Is 7 a factor of r?
False
Let p(x) = 13*x**3 - 2*x**2 - 7*x + 7. Does 29 divide p(3)?
True
Suppose -109*s + 5040 = -81*s. Does 16 divide s?
False
Let c(u) = 926*u - 174. Is 84 a factor of c(3)?
True
Suppose j - 57 - 153 = 0. Is j a multiple of 30?
True
Let o(z) = -z**3 + 11*z**2 - 23*z + 182. Is 5 a factor of o(8)?
True
Let y be (-5 + -3 + 5)/((-3)/(-9)). Let v(s) = -4 + 1 - 5*s - 4. Does 19 divide v(y)?
True
Suppose 10 = 5*y - 5*h - 40, -2*h = 2. Suppose 3*x + 2*x = 155. Let n = x - y. Is 7 a factor of n?
False
Suppose -6*s + 2641 = -6599. Is 90 a factor of s?
False
Is 8 a factor of ((-39)/(-2))/((-6)/104)*-1?
False
Let w(z) = -2*z**3 - 34*z**2 - 5*z + 87. Is w(-17) a multiple of 17?
False
Let y be 1*(6 + (0/(-2))/(-4)). Let x(b) = 4*b**2 - b**3 - b**3 + b**2 + 4 + 6*b + b**3. Does 2 divide x(y)?
True
Suppose 4*u + 5*z = 90, 0 = -3*u - z - 3*z + 68. Suppose -k = -31 + u. Is k a multiple of 11?
True
Let w be -4*(-1)/(-4)*1 + 26. Suppose -13*u = -12*u - w. Is u a multiple of 25?
True
Let y(z) = -z**3 + 6*z**2 + 9*z - 8. Let p be y(7). Suppose p*l = 2*l + 84. Is l a multiple of 2?
False
Let g = 1222 + -437. Is 46 a factor of g?
False
Suppose c = -2*c. Suppose c = 22*q - 27*q + 10. Is q a multiple of 2?
True
Let t = -11 + 16. Is 2 a factor of (45/(-12))/t*-12?
False
Let p(a) = -3*a**2 + 9*a + 448. Is 15 a factor of p(0)?
False
Let p = -9 - -13. Let l be (0/(p - 0))/(-1). Suppose -b + 56 + 44 = l. Is b a multiple of 25?
True
Does 19 divide (34 - 35)/((-2)/1558)?
True
Let h be 3 + (768/(-2))/(-3). Let v = -86 + h. Is v a multiple of 9?
True
Let n = 280 - 146. Let c = -57 + n. Is c a multiple of 7?
True
Suppose 2*c - 4 = 4. Suppose -17 = -c*t + 107. Let n = 43 - t. Is 4 a factor of n?
True
Let h(x) = -x**2 + 15*x - 16. Suppose 4*p = -4*w + 36, 4*p = -2*w + 3*p + 20. Does 14 divide h(w)?
True
Let q = 83 + 394. Does 9 divide q?
True
Let q(k) be the third derivative of k**5/30 - k**4/12 - 5*k**3/2 + 27*k**2. Does 9 divide q(-5)?
True
Is 20 a factor of -13 - 2120/(-5 + -3)?
False
Let s be 3 + -5 - (1 + -3). Suppose d - 6 = -s*d. Suppose d*j - 37 = -1. Is 5 a factor of j?
False
Let z(m) = -5*m. Let a(i) = i + 1. Let s(t) = 3*a(t) - z(t). Suppose -3*d - 6 - 30 = -5*q, 2 = q + 2*d. Does 17 divide s(q)?
True
Let n be (-56)/(-5) - (-32)/40. Suppose -5*a + n = -a. Suppose a*b - m - 32 = 0, -4*b - b = -3*m - 60. Does 9 divide b?
True
Suppose 2*j + z - 59 = 0, -j + 2*z + 34 = -2*z. Let b be (-1 + 84/20)*j. Suppose b = 4*c - 140. Does 13 divide c?
False
Suppose -5*c = -j + 1570, -6*j + c + 6242 = -2*j. Does 52 divide j?
True
Let i(j) = -j**3 - 11*j**2 + 2. Let g(s) = s + 24. Let p be g(0). Let x = 13 - p. Is i(x) a multiple of 2?
True
Let n(d) = d**2 + 3*d. Let b be n(2). Let j(o) = 46*o - 68. Is j(b) a multiple of 60?
False
Let w(f) = -f**2 + 9*f - 6. Let y(k) = -k**2 - 5*k + 8. Let t be y(-5). Let a