 multiple of 30?
True
Suppose o = w - 1080, 4*o = 3*w - 1215 - 2025. Is 10 a factor of w?
True
Let j be (-68 + 1 - (2 - 0))*-3. Suppose -h + j = -2*s + 4*s, -2*s + 3*h = -219. Is 15 a factor of s?
True
Suppose 4*f - 39 - 13 = 0. Suppose -v = -f*v + 2016. Does 24 divide v?
True
Let z(d) = -3*d - 55. Does 6 divide z(-52)?
False
Let v = -120 + 184. Suppose 0*c + 2*s = -2*c - 60, -s = 5*c + 142. Let a = c + v. Is a a multiple of 18?
True
Let d(z) be the third derivative of -z**6/120 - z**5/4 - 3*z**4/4 - 17*z**3/3 - 2*z**2. Is d(-14) a multiple of 4?
False
Let x = 37 + -41. Is 4 + x + 3 - -5 a multiple of 8?
True
Let d(s) = -s**2 - 18*s + 19. Suppose 4*l - 5*l - 18 = 0. Let x be d(l). Let z = x - 14. Does 2 divide z?
False
Suppose 0 = 5*o - 4*n - 44, 5*n - 1 = o + 7. Is o a multiple of 2?
True
Let r = -10 + 15. Suppose m - 4*p - 257 = 0, r*p = 5*m - m - 1006. Suppose 2*z + n = 99, -5*z + 0*n + m = 2*n. Does 12 divide z?
False
Let f(d) = -3*d + 34. Let g be f(10). Does 7 divide 10/15*g/((-16)/(-498))?
False
Suppose -3*s - 5*m + 115 = s, 0 = 5*s - 3*m - 190. Suppose 0 = 3*c + 4*y + 341, 3*y + s = -3*c - 304. Let u = 191 + c. Is 14 a factor of u?
False
Let s = 408 - -472. Is s a multiple of 20?
True
Is 16 a factor of 33345/39 - ((1 - -1) + -7)?
False
Let k be (-40)/12*9/(-6). Suppose k*c = -10, 624 = 2*x + x - 3*c. Is 14 a factor of x?
False
Let r(h) = 177*h**2 + h - 1. Let q be r(-1). Let v = q + -106. Is 37 a factor of v?
False
Let a(u) = u**3 + 4*u**2 - 4. Let h be a(-3). Let p be h - (6 + -3) - -1. Suppose -2*w + 15 = -p. Is 3 a factor of w?
True
Let v(y) = 2*y**2 - 5*y - 7. Let t be v(3). Is (-1 + 1)/t - -38 a multiple of 19?
True
Let a(q) = 2*q**2 + q - 5. Let x be (-5 + -5)/((-2)/1). Suppose 2*l + l = u - 14, 10 = x*u. Does 6 divide a(l)?
False
Suppose 2*l - 10*l + 32 = 0. Suppose 0 = -l*y - 88 + 188. Does 2 divide y?
False
Let v = 250 + -34. Is 24 a factor of v?
True
Let v(b) = b**3 + 5*b**2 - 3*b - 5. Let s be v(-5). Suppose -l = -2*f - s, -4*l + 2*l = f. Suppose 89 = l*h + 5. Does 21 divide h?
True
Does 76 divide (-21573)/(-12) - ((-75)/(-20) - 4)?
False
Let q(o) = -o**2 + 6*o + 5. Let t be q(6). Let i be 368/t - (-12)/30. Suppose 37 = 3*b - i. Does 14 divide b?
False
Suppose -3*t + 1782 = 8*t. Does 22 divide t?
False
Let z(a) = 2 - 36*a**2 - a**3 + 2 + 41*a**2 + 2*a - 1. Is 9 a factor of z(4)?
True
Suppose 226*r = 217*r + 20790. Is r a multiple of 77?
True
Let h(s) = 3*s**2 + s - 2. Let u be h(6). Suppose 3*a = u + 176. Is a a multiple of 21?
False
Does 64 divide (-2 - 55)*(172/3)/(-4)?
False
Suppose 14*p = -559 - 813. Let u = 29 - p. Is 30 a factor of u?
False
Let y be ((-2)/3)/(2/9). Let o(k) = -2*k - 7. Let t be o(y). Does 13 divide 1 - t - -38 - 3?
False
Suppose -2*m - 700 = -9*m. Let d be (42/(-28))/((-2)/m). Suppose v = -4*k + d + 77, -v + 4 = 0. Does 13 divide k?
False
Let s = -17 + 35. Let w be (-12)/54 + (-13010)/s. Is 1/(-4) - w/12 a multiple of 30?
True
Let s be 4/((-39)/(-12) - 3). Suppose f = -m + 3*m + 37, -s = 4*m. Is 3 a factor of f?
False
Suppose -13 = -q - 1. Let u = 214 - 127. Suppose -q = a - u. Is a a multiple of 15?
True
Let b be 9 + -2 - (-2 + 3). Does 23 divide b/(-4)*(-92)/3?
True
Let y be (21/35 + -3)/((-2)/205). Does 2 divide (27/(-81))/((-2)/y)?
False
Let p be -11*(-38)/7 - 6/(-21). Suppose 0*o - p = -10*o. Is 3 a factor of o?
True
Let v(n) = -n**3 + 3*n**2 + 12*n - 5. Let l be v(5). Let u(j) = 6*j**2 - 5*j - 9. Is 29 a factor of u(l)?
True
Let n = -68 + 341. Does 7 divide n?
True
Suppose 810 = 2*x - 2*v, -3*v + 222 + 981 = 3*x. Suppose -5*r + 4*g + 17 = 0, -r + 3*r - 2 = 4*g. Suppose 0 = -r*c - 133 + x. Is 18 a factor of c?
True
Suppose 4*d + 97 = h, 2*d = -2*h + 3*h - 99. Is h a multiple of 16?
False
Let r(q) = -3*q - q + 0*q + 5*q + 21*q**2. Does 4 divide r(-1)?
True
Let n = 12 - -75. Is 26 a factor of n?
False
Suppose -3*j = -5*j - k + 28, 3*k - 36 = -2*j. Suppose -y - y - j = 0. Let i = y - -44. Does 19 divide i?
True
Let v(p) = -10*p - 19. Let a be v(-5). Suppose -3*c - a = -4*c. Is c a multiple of 6?
False
Suppose -3*s - 141 = u, -2*u - 28 - 14 = s. Is 8 a factor of (-40)/(-6)*s/(-5)?
True
Suppose 0 = -7*d - 4*d + 6831. Is d a multiple of 34?
False
Let v(w) be the third derivative of 7*w**4/24 + 2*w**3/3 - 3*w**2. Let j be v(-2). Let x = j + 46. Is 13 a factor of x?
False
Suppose 141 = 3*n - 3*w, 13*n - 10*n - 106 = -4*w. Does 3 divide n?
True
Let r = -36 + 41. Suppose -3*n + 132 = 2*q + 3*q, -4*q = r*n - 116. Is 22 a factor of q?
False
Let w(a) = 10*a**2 - 23*a + 94. Does 24 divide w(10)?
True
Suppose -6 = 6*w - 3*w. Is 7 a factor of (0 - -1)*w - -51?
True
Let u(h) = -h**2 - 17*h + 3. Let m be u(10). Let a = 403 + m. Does 34 divide a?
True
Suppose -3*x + 2*v - v = -55, -2*x + v = -36. Let f = x - -10. Let a = 53 + f. Does 23 divide a?
False
Let o(a) = -42*a**3 + 5*a**2 + 7*a + 3. Is o(-1) a multiple of 5?
False
Let i(a) = a**2 + 16*a + 24. Let f be i(-10). Let j = f - -50. Is 3 a factor of j?
False
Let y(g) = -g**2 + 5*g - 3. Let b be y(3). Suppose -11 = -5*f - u, -4*f - f + u = -9. Suppose 0 = -s - b*s + 2*l + 50, -f*l = 5*s - 49. Does 7 divide s?
False
Suppose -v + 38 = d, 3*d - 4*d + 110 = 3*v. Suppose -v = -2*j + 34. Is 3 a factor of j?
False
Let z = -11 + 34. Let j = z + 35. Is 7 a factor of j?
False
Let d(i) = -i**2 + 7*i - 3. Let u(h) = 7*h**2 - 3*h - 10. Let v(c) = 15*c**2 - 7*c - 21. Let k(g) = -13*u(g) + 6*v(g). Let o be k(-3). Is d(o) a multiple of 6?
False
Let z = 120 - -34. Does 32 divide z?
False
Let c = -127 + 133. Suppose 0 = 10*v - c*v - 84. Does 3 divide v?
True
Suppose -607 + 2791 = 13*a. Does 6 divide a?
True
Let w(k) = -189*k - 505. Does 10 divide w(-4)?
False
Let t(i) = -i**3 + 17*i**2 + 8*i - 14. Let j be t(14). Suppose 0*q - 260 = 2*q - 4*v, 0 = -5*q + v - j. Let n = -59 - q. Does 33 divide n?
False
Let s(a) = -a**3 - 6*a**2 + a + 3. Let h be s(-8). Suppose 3*t = 6*t - h. Is 41 a factor of t?
True
Suppose -q - 574 = -3*q + 2*k, 0 = -3*q - 2*k + 841. Is 81 a factor of q?
False
Let f(o) be the third derivative of o**4/4 - 8*o**3/3 - 2*o**2. Is f(5) a multiple of 5?
False
Let a(y) = -y**3 - 13*y**2 - 7*y + 23. Let m be a(-12). Let x = -24 - m. Is 13 a factor of x?
True
Suppose -2*j = -5*j + 57. Let n = j - 9. Suppose -5*y + n*y = 60. Is 12 a factor of y?
True
Suppose -5*k = -4*v - 6 - 11, 3*v = 5*k - 19. Suppose -v*z + 539 = 5*z. Does 11 divide z?
True
Is ((-343070)/(-325))/(1/5) a multiple of 26?
True
Let m = -58 + 53. Is 2 + m - (2 - 133) a multiple of 28?
False
Let i(l) = -l + 2. Let v be i(-1). Suppose 3*s + 165 = 4*r - 3*r, v*s - 3 = 0. Is 42 a factor of r?
True
Let p = 9 + -26. Let s(m) = -m**3 - 15*m**2 + 25*m - 5. Let b be s(p). Suppose 5*z + 3*j - j - b = 0, 2 = -2*j. Does 5 divide z?
True
Let g(l) = l**3 + 10*l**2 + 10*l + 12. Let d be g(-9). Suppose 15 + 0 = 5*y. Suppose 108 = 2*k + y*a, d*k = 3*a + 231 - 84. Is k a multiple of 17?
True
Suppose 17*u - 16*u - 4 = 0. Suppose 0 = -5*x + n + 61 + 261, 3*n - 250 = -u*x. Suppose 2*h - 4*p = 2, -3*h - h = 4*p - x. Is 6 a factor of h?
False
Suppose 2*g + 167 = -3*w + 2*w, 314 = -4*g + 2*w. Let h = -39 - g. Is h a multiple of 14?
True
Let m be (-4 + 5 - 2)*-103. Suppose -m = -j - 7. Is 20 a factor of j?
False
Let i = -10 - -16. Let h(v) = -v**3 - 9*v**2 - 6*v + 28. Let q be h(-8). Is (i/(-4))/(q/(-104)) a multiple of 10?
False
Suppose 0 = t + 2*t - 309. Suppose -2*z - 9 = -3, 0 = 5*h + 2*z - 9. Suppose -6*c = h*x - c - t, 3*x + c - 119 = 0. Is 37 a factor of x?
False
Suppose 4*h - 592 = -0*t - 3*t, -4*t = -3*h - 756. Does 64 divide t?
True
Suppose -3*c + 37 = -0*c - 5*x, 2*x = 4*c - 26. Suppose 0 = 5*l - 3*z + 426, -3*l + 5*z - c*z = 258. Is (-4)/(-8) - l/6 a multiple of 11?
False
Does 9 divide 2/(-18) - 45948/(-189)?
True
Let h = -27 - -37. Suppose 4*b + h = -p, -2*p + 4*b - 8 + 36 = 0. Is 6 a factor of p?
True
Let t(l) = -l**3 - 3*l**2 - 11*l - 18. Does 4 divide t(-8)?
False
Let h be 2/5 + 1770/75. Does 30 divide 514/12 + 4/h?
False
Let b = -17 - -20. Let a(p) = 3*p**2 + 15 - b*p**2 + 2*p**2 - 3*p**2 + 2*p. Is a(0) a multiple of 5?
True
Let i(t) = 3*t + t + 2 - 2*t - 3*t. Is 3 a factor of i(-7)?
True
Let l = -689 + 1017. Does 8 divide l?
True
Does 2 divide -3 + (-4)/((-36)/747)?
True
Let w(p) = -3*p + 3 + 20*p**2 - 3 - 5. Is