0/((-8)/(-12)*3). Suppose j = 4*o - o. Suppose o = -2*f + 53 - 11. Is f a multiple of 7?
True
Let d(k) = k - 14. Let f be d(14). Let h = -7 + 13. Does 14 divide (f - -21)/(h/12)?
True
Does 69 divide (-12420)/40*(-3)/(-9)*-4?
True
Let h = -3 + 30. Is 38 a factor of (-6)/h + (-9252)/(-81)?
True
Let n = 67 + -67. Suppose n*j + 26 = j + h, 3*j - 58 = h. Does 7 divide j?
True
Let o be (7 + 43)/(4/6). Let w = -42 + o. Suppose -g + w = -0*g. Does 11 divide g?
True
Let k(v) = v**2 + 3*v. Is k(-17) a multiple of 15?
False
Let p = 18 - 7. Let h = p - 12. Is 3 a factor of 9 + h + 4 - 3?
True
Suppose 7*c - 5*c + 5*q - 1357 = 0, -4*q = c - 686. Does 21 divide c?
False
Does 10 divide (540/(-14))/((-45)/210)?
True
Let d(o) = o**3 + 2*o**2 - 3*o + 3. Let u be d(-3). Suppose u*g = 5 + 10. Suppose -w + 399 = 4*t + t, -2*t = g*w - 155. Is t a multiple of 20?
True
Let i(f) = 2*f**2 + f. Let g(s) = 37*s**3 + 8*s**2 + 2*s. Let l(o) = g(o) - 3*i(o). Let k be (1/3)/(4/12). Is l(k) a multiple of 7?
False
Suppose -3*v - 2 + 8 = 0. Let l(y) = -4 + y**3 + 7*y + 11*y**v + 7*y - 24*y**2 + 0*y**3. Does 20 divide l(12)?
True
Let r(x) = -2*x**2 + x + 1 + 4*x**2 + x - 53*x**3. Let b be -4*3/(-4)*(-4)/12. Is r(b) a multiple of 27?
True
Let u(g) = 74*g - 4. Let o = -13 + 10. Let w be u(o). Let c = -159 - w. Is 19 a factor of c?
False
Suppose -6*c = 8*c - 11634. Is 14 a factor of c?
False
Let p(a) = -a**3 + 12*a**2 - 13*a + 8. Let h be p(8). Let s = -112 + h. Suppose 3*b + 6 - 2 = -5*w, -4*w - s = -4*b. Does 3 divide b?
False
Let x be (5/2)/(4/16). Let r = x + 11. Does 9 divide r?
False
Is (-23 - 4)/(1*2/(-12)) a multiple of 3?
True
Let k be (-2)/(-11) - (-317)/11. Let w = 58 - k. Is 9 a factor of w?
False
Let j = 13 + -12. Let r = j + 1. Suppose 92 = -r*u + 4*u. Does 23 divide u?
True
Suppose 3*z + 3 = 0, -3*z - 10 + 4 = 3*n. Let x = n - -6. Suppose -4*j + 116 = x*y, -j = -5*y - 59 + 5. Is 7 a factor of j?
False
Suppose -7*v + 8046 = 2*v. Is 6 a factor of v?
True
Let h(m) = 22*m - 23. Is 3 a factor of h(2)?
True
Suppose 47 = -5*y + 17. Let q = -1 + y. Is ((-1036)/12)/q*3 a multiple of 26?
False
Suppose -2*n = 3*n - 15. Suppose -2*q = 3*l + n, 3*q + l + l - 3 = 0. Suppose -3*t - 4*z = 2, 2*t + 5*z + q = 2*z. Is t a multiple of 5?
False
Let q(n) = 2*n**2 - 2*n + 2. Let y be q(-3). Suppose -15*k = -16*k + 30. Let a = k + y. Is 14 a factor of a?
True
Let y be (4/5)/((-4)/20). Suppose 0 = 2*z - 0*z - 2. Is 1/(z/(-204)*y) a multiple of 17?
True
Let v = 4 - -29. Let m = v + 42. Is 15 a factor of m?
True
Let y be 13*1/((-6)/(-6)). Suppose 0 = p - 41. Let k = y + p. Does 18 divide k?
True
Let n(g) = 3*g**2 - 8*g - 10. Let q(i) = -5*i**2 + 16*i + 19. Let m(c) = -7*n(c) - 4*q(c). Let b be m(-6). Let j(d) = -d**2 + 7*d + 7. Is j(b) a multiple of 3?
False
Suppose 3*k - 2*k = n + 1544, 0 = -4*n + 16. Does 66 divide k?
False
Let c = -16 - -9. Let s(i) = 0*i + 6*i + i**2 - 5*i - 12 + 4*i. Is s(c) even?
True
Let n(a) = 51*a + 357. Does 92 divide n(25)?
False
Let s be -10 - (4 + -4 + 4). Let m be (-32)/s - 2/7. Suppose 4*t = m*b + 122 + 92, -3*b + 15 = 0. Does 28 divide t?
True
Let y(n) = -n + 1. Let d(l) = 5*l - 3. Let j(g) = -d(g) - 4*y(g). Let a be j(-3). Suppose -2*o + 249 = 5*m, 3*m - 153 = -5*o + a*o. Does 15 divide m?
False
Suppose -116 = 4*y - 3*r - 695, -y + 5*r = -149. Is 3 a factor of y?
True
Is -1 + 1/1 + (34 - -524) a multiple of 93?
True
Suppose -16024 = -30*v + 33116. Does 7 divide v?
True
Let f(x) = x + 13. Let a be f(-7). Let d be ((-6)/5)/(a/(-15)). Suppose l + 3*t + 0*t = 17, d*l + 3*t = 69. Is 13 a factor of l?
True
Let l = -21 + 25. Suppose -l*r = g - 3*r - 32, 4*g = 2*r + 98. Is 4 a factor of g?
False
Is 3 a factor of 78 - (1 + (1 - -2))?
False
Let t(d) = -d**2 + d. Let w(k) = 22*k**2 - k + 11. Let b(j) = 2*t(j) + w(j). Let n(y) be the first derivative of b(y). Is 8 a factor of n(1)?
False
Suppose 0 = 5*r - 44 - 41. Suppose 5*s = -4*w - 64, -4*s + r = -w + 1. Let c = w + 22. Is c a multiple of 6?
True
Let h(g) = g**3 + 9*g**2 + 18*g + 1. Let m be h(-6). Let w(r) = 32*r**3 + r**2. Is w(m) a multiple of 10?
False
Let l = -16 - -11. Let j(t) = -t**3 + t. Let x(s) = 6*s**3 - 4*s**2 - 6*s. Let n(i) = l*j(i) - x(i). Is n(3) a multiple of 6?
True
Let u = -5 + 65. Let g be 36*(u/(-16) - -4). Is 42/g - (-1)/3 a multiple of 4?
False
Let d = -972 - -2592. Does 18 divide d?
True
Let t be (-1 + -2)*(7 + -8). Suppose -3*h + 101 = -4*c + 372, 202 = t*c - h. Does 16 divide c?
False
Suppose 4*q + 3*v = 463, -2*q - v = -164 - 65. Does 7 divide q?
True
Let r(o) be the second derivative of 7*o**3/6 + o**2 + 7*o. Let m be r(1). Let s = m + -3. Is 4 a factor of s?
False
Let z be 11 - -1*(0 - 0). Let r be 39*-2*(-5)/(-15). Let x = z - r. Is x a multiple of 11?
False
Let t be (-4 + 9)*6/(-10). Let q be ((-1)/t)/((-4)/(-168)). Suppose -n - n = -q. Does 2 divide n?
False
Let f(h) = h**3 + 11*h**2 + 49. Is 2 a factor of f(-9)?
False
Suppose 45*l = 98769 - 25329. Does 24 divide l?
True
Is (2 + (-78)/15)/((-4)/50) even?
True
Let d be (0 + 12/10)*5. Let p(a) = -a**3 - 16*a**2 - 15*a. Let g be p(-15). Suppose g = -d*i + i + 60. Is 3 a factor of i?
True
Let c be 4/(-6) - (-7)/((-126)/(-12)). Suppose o + 2*y + y - 52 = c, 4*o + y - 175 = 0. Does 36 divide o?
False
Suppose -2*n + 0*n - r = -5, -5*r = 15. Let s be (20/15)/((-2)/(-3)). Suppose n*c - s*c = 208. Is 26 a factor of c?
True
Suppose -8*t + 524 = -892. Suppose -2*b = h + h - 90, 0 = -4*h - 3*b + t. Is h a multiple of 23?
False
Let s(l) = l**2 + 2*l + 6. Let m be s(-6). Let v = -50 + m. Is 5*(-1)/4*v a multiple of 11?
False
Let w(a) be the second derivative of a**5/10 - a**4/2 + 2*a**3/3 - a. Is 8 a factor of w(4)?
True
Let d(l) = l**2 - 4*l + 3. Let q be d(3). Suppose -2*w - 2*m + 278 = q, -w + 7*m + 134 = 3*m. Suppose 3*s = 5*s - w. Is s a multiple of 22?
False
Does 14 divide (441/12)/(-7)*-64?
True
Let p be (0 - -1) + 47 + -3. Suppose 0 = i + 5*o - p, 3*i - 6*i + 2*o = -50. Is i a multiple of 10?
True
Suppose -11*z + 31 = -2. Suppose 0 = z*r + g - 139, -3*g + 155 = 3*r + 2*g. Does 3 divide r?
True
Let t be (6 + 2 - 4)/2. Does 9 divide 70/1 + t + -1?
False
Let j(z) = z - 8. Let c be j(10). Let i(u) = u**3 + 4*u**c - 13 + 2*u**2 + 4*u + 19. Does 6 divide i(-5)?
False
Suppose -3*u = -u. Suppose -3*t = -u*t. Is 7 a factor of (-882)/(-36)*(2 + t)?
True
Let b be (-1 - -4) + -2 - -3. Let h be 2*2/4 + b. Suppose 2*l - 29 = -h*w, 0*l = -2*l - w + 25. Is l a multiple of 4?
True
Let g = 1912 + -1636. Is 3 a factor of g?
True
Let i = -10 + 14. Suppose -4*k + i*z = z - 221, -223 = -4*k + z. Is 7 a factor of k?
True
Suppose -209 = -7*k + 22. Is k/55 - 224/(-10) a multiple of 2?
False
Suppose -10 = -4*v - 2*p, -4*v + v + p + 15 = 0. Let y(u) = -u + u**2 - 3 - v*u + 5*u + u. Is 23 a factor of y(8)?
True
Suppose s - 3*p = 172, -7*s + 168 = -6*s - 2*p. Is s a multiple of 10?
True
Is 8 a factor of (45/(-18))/(15/(-552))?
False
Suppose -3*j - j = -3*a - 20, a = j - 4. Let x be 2/((j/(-178))/(-4)). Suppose 4*f - x - 26 = 0. Is f a multiple of 17?
True
Suppose -795*q + 793*q + 1372 = 0. Is 28 a factor of q?
False
Is 73 a factor of ((-1)/4 + (-5)/4)*-1110?
False
Suppose 0 = -2*s - 5*m + 2217, 2*s + 4*m - 947 - 1269 = 0. Suppose 0 = -10*w + 374 + s. Does 28 divide w?
False
Suppose -8 = -5*c + 4*c. Suppose -3*o + 497 = -4*a + c*a, -2*o + 5*a = -316. Does 19 divide o?
False
Let w = 32 - 30. Is 8 a factor of -4 - (-4)/w*46?
True
Suppose 0 = -13*d + 1045 + 17272. Is 11 a factor of d?
False
Let y = 2154 + -1472. Is 62 a factor of y?
True
Let q = 103 + -219. Let n = q + 203. Does 9 divide n?
False
Suppose 25*r - 30*r = -2070. Is r a multiple of 9?
True
Let f = 2 - 2. Suppose a - 38 = -f*a. Suppose -4*m = -66 - a. Is 16 a factor of m?
False
Suppose 1744 = 5*k - 0*k + 4*n, -2*k + 684 = 5*n. Does 34 divide k?
False
Suppose 2*v = 4*d + 196, 5*d = -0 - 15. Let h = -43 + v. Is 7 a factor of h?
True
Suppose -3059 - 1 = -17*a. Is 30 a factor of a?
True
Suppose -7*m = -671 - 1191. Does 38 divide m?
True
Suppose -231*i - 940 = -236*i. Is i a multiple of 6?
False
Let b(l) be the first derivative of 11 + 11/2*l**2 - 1/3*l**3 - 7*l. Is b(8) a multiple of 3?
False
Suppose -27*s = -29*s - 30. Let c(j) = -3*j + 1. Is 46 a factor of c(s)?
True
Suppose -2*v + 7*v = -160. Let l = -8 - v. Doe