-7 + 6. Let v be u(i). Suppose z - 61 = -4*h - v*h, 3*z = -9. Is h a multiple of 4?
True
Is 21 a factor of (-10104)/(-30) + 24/(-5) + 4?
True
Let n(a) = -10*a + 24. Let u be n(7). Let r = u + 90. Is r a multiple of 11?
True
Let x = 140 - 100. Does 4 divide x?
True
Suppose 4*w - 26*w + 26862 = 0. Does 11 divide w?
True
Does 31 divide (-5773)/46*(-1 - 1)?
False
Let j be 148/(-12) + (-6)/9. Let t = j - -20. Does 7 divide t?
True
Let a be 12/(-2)*(-27)/18. Suppose 2*w = 3*z - a, 20 = -0*w + 5*w + z. Suppose w*o + 136 = 5*o. Is 19 a factor of o?
False
Let z(g) = 6*g + 11 - 7*g - 3. Let p be z(11). Does 10 divide (-8)/(-4) + 28 + p?
False
Does 103 divide (-10)/(-4) + 28818/12?
False
Let p(w) = 9*w - 73. Let g(u) = -4*u + 36. Let d(c) = -5*g(c) - 2*p(c). Is d(21) a multiple of 2?
True
Does 46 divide ((-696)/60 - -14)*(236 - 1)?
False
Let u = 103 - 100. Suppose 0*h + 3*h + z = 148, 94 = 2*h + u*z. Is h a multiple of 8?
False
Suppose 802 = 5*a - 3*l, 4*a + 6*l - 616 = 2*l. Is 7 a factor of a?
False
Suppose -185 = -2*s - 67. Suppose -i - 5*u = -s, -2*i = -3*u - 155 + 50. Suppose 0*n + n = 3*k - i, -36 = -2*k - 4*n. Is 18 a factor of k?
True
Suppose -5*n + 2 + 3 = 0. Let g be 17 + (8/(-4) - n). Suppose -5*m - 4 = -g. Is 2 a factor of m?
True
Let h(w) = -14*w - 8. Is 55 a factor of h(-32)?
True
Let x(w) = -10*w + 72. Let u be x(0). Let o = -42 + u. Does 30 divide o?
True
Let p be 3 - (-2 - (1 + -2)). Let v(y) = -y**3 + 5*y**2 - 5*y + 3. Let c be v(p). Let r(t) = 74*t**2 + 3*t + 2. Is 14 a factor of r(c)?
False
Let g(h) = 30*h**2 + 65*h - 457. Is 58 a factor of g(7)?
False
Let r be (-34)/4 + 9/(-6). Let z(u) = -3*u + 1. Let t be z(-3). Let h = t - r. Is h a multiple of 10?
True
Let q = -20 - -22. Suppose 3*u - q*z = 409, 2*u + 2*u - 530 = -5*z. Is u a multiple of 45?
True
Suppose s - w = 3*s + 33, 2*w = 10. Let c = s - -15. Is 11 a factor of (1 + 2/c)*70?
False
Let o(n) = 17*n**2 + 3*n - 9. Let t be o(-4). Suppose 3*g + 164 = 2*h, -2*h + 2*g + t = h. Is 15 a factor of h?
False
Let x = -281 - -452. Suppose -3*y - y + x = -5*b, 3*b - 179 = -4*y. Is y a multiple of 19?
False
Let b = 70 - 47. Suppose -5*y + 133 = b. Is 7 a factor of y?
False
Let g = 1 + 1. Let x be (-3674)/(-77) + 4/14. Suppose -q = g*q - x. Is 14 a factor of q?
False
Suppose -3*b - g + 1042 = 2*b, -6 = -3*g. Let s = 282 + -419. Let u = b + s. Does 21 divide u?
False
Suppose -3*y + 93 = -8*t + 4*t, 3*y = -5*t - 150. Let s = t + 115. Is 15 a factor of s?
False
Let k(s) = -158*s - 204. Does 12 divide k(-18)?
True
Suppose 2*u = 4*m - 4, -2*u + 10 = 3*u. Let j(r) = -r + 14. Let g be j(12). Suppose 8 = 2*l + g*y, -1 - m = -3*y. Is l a multiple of 3?
True
Suppose 5*m = -5*p + 3*m - 73, 4*p + 2*m = -58. Let a = -9 - p. Does 3 divide ((-32)/10)/(a/(-15))?
False
Let h(d) = -12*d + 2. Let z(x) = 11*x - 1. Let v(t) = -4*h(t) - 5*z(t). Let y be v(-11). Suppose m = y - 29. Is m a multiple of 15?
True
Is 11 a factor of 26009/124 + 3/(-4)?
True
Let n be (0 + (-9)/(-12))/((-2)/120). Let x = n + 82. Is x a multiple of 13?
False
Let x = 48 - 24. Suppose 0*r - 2*r - 2 = i, -4 = 4*r + 3*i. Is x + (r + 2 - -2) a multiple of 9?
True
Let v(l) = -3*l**2 - 17*l - 1. Let w be v(-8). Let d = -28 - w. Is 15 a factor of d?
False
Let r(h) be the second derivative of h**4/4 + 7*h**3/6 + 12*h**2 + 45*h. Is 15 a factor of r(-6)?
True
Suppose 6*u - 70 = 5*u. Does 5 divide u?
True
Let n(c) = c**3 + 10*c**2 - 6*c + 5. Let x be n(-11). Let y = x - -88. Is 23 a factor of y?
False
Let z(q) = q**2 - 18*q - 59. Let y be z(21). Let c(h) be the first derivative of 13*h**2/2 - 2*h + 1. Is 13 a factor of c(y)?
False
Let n(k) = 3*k - 3. Let l = 6 - 4. Let d be n(l). Is (90/(-24))/(d/(-8)) a multiple of 10?
True
Suppose -12*r + 18972 = 6*r. Does 17 divide r?
True
Suppose -2*z = -z + 3*d + 7, -2*z + 13 = -3*d. Let j(n) = 4*n**2 - 2*n + 1. Let b be j(2). Does 10 divide (b - 0 - -4)*z?
False
Let f(q) = -q + 27. Let m be f(21). Suppose 123 = m*n + 3. Does 3 divide n?
False
Suppose o - 3 = -0*o. Suppose 117 = 5*i - z + 3*z, -5*i + 112 = -o*z. Is i a multiple of 23?
True
Let a = -327 - -459. Does 6 divide a/((-9)/((-45)/10))?
True
Let m be (0 - 1)/((-1)/(-103)). Let l(i) = 3*i + 3. Let j be l(-4). Let c = j - m. Is 30 a factor of c?
False
Suppose 5*c - 4*c = 3. Suppose -c*d = -i - 145, 0 = d - i - 3*i - 52. Is 8 a factor of d?
True
Let r = -164 + 331. Suppose -5*u + r = 17. Let q = -14 + u. Does 16 divide q?
True
Suppose 3*u - 4 = 11, 3*w = -5*u + 1930. Does 8 divide (-1)/3 + w/15?
False
Let x = -159 + 776. Is x a multiple of 41?
False
Suppose -p = p - 188. Suppose -19 - p = -q. Suppose 2*z - 3*o = -o + 114, -o = -2*z + q. Is z a multiple of 14?
True
Suppose 0 = 2*m - 5*d - 724 - 658, 5*d - 2794 = -4*m. Is m a multiple of 4?
True
Let a(t) = -2*t - 16. Let r be -11 + (-2 - -6*1). Let w be a(r). Does 5 divide (-595)/(-40) - w/16?
True
Suppose -5*h = -0*h. Suppose h = 4*i + 23 + 41. Let j = i - -40. Does 8 divide j?
True
Does 4 divide ((-91)/(-14)*-106)/(-1)?
False
Suppose 1018 = 2*u + 5*g, 3*u + 2*g - 2020 = -u. Is 23 a factor of u?
False
Suppose 2*s - 5274 = -4*s. Is 26 a factor of s?
False
Is 23 a factor of (138/4)/((-16)/(768/(-36)))?
True
Let q(h) = 7*h - 4. Let l(d) = d + 2*d + 0*d + 8*d**2 + 11 - d**3 - 4*d. Let m be l(8). Does 17 divide q(m)?
True
Let l(x) = x**2 - 39*x + 372. Does 5 divide l(26)?
False
Let v be 12 - (0/(-3) - 4). Is 9 a factor of 944/v + 2 + 0?
False
Let r(f) = f**3 + 14*f**2 + 2*f + 9. Let y be r(-14). Let m = y - -119. Is m a multiple of 20?
True
Let g be 69/(-2)*(-6)/(-9). Let x = g - -28. Suppose -h - 47 = -x*i, 0 = -i - 3*h + 7*h - 2. Is i a multiple of 2?
True
Let o(x) = 8*x + 12. Let q(f) = 9*f + 11. Let z(h) = -6*o(h) + 5*q(h). Let k be z(-7). Is 948/30 + k/10 a multiple of 10?
False
Suppose -8 = 4*z + 5*v, -v + 3 = -4*z + 19. Suppose -8 - 4 = -3*k, -5*f + z*k = 2. Suppose 0 = 3*d + y - 41, -5*d - y + f*y + 55 = 0. Does 4 divide d?
True
Let l(x) = 20 - 15 - 11*x - 16 - 12*x**2 - 2*x**3. Is 11 a factor of l(-7)?
False
Let v be 214/3 + 6/9. Suppose v = -5*s + 432. Suppose -o - 3*o = -s. Is 9 a factor of o?
True
Suppose -53*q + 140210 = -18*q. Is 14 a factor of q?
False
Let j(d) = 2*d - 13. Let q be j(8). Suppose -119 = -4*n + q*r, 21 + 63 = 3*n - 4*r. Is n a multiple of 16?
True
Let y = 1958 + -780. Does 47 divide y?
False
Suppose -5*v + 2*g - 4*g + 1990 = 0, 0 = 5*v + g - 1985. Is v a multiple of 66?
True
Let a(g) be the first derivative of g**3/3 - 9*g**2 + 25*g - 12. Does 4 divide a(17)?
True
Let z(d) = -d**3 - 5*d**2 - 5*d - 2. Let w be z(-4). Suppose w*i = 7*i. Suppose s - p = 6*s - 107, -p + 2 = i. Does 7 divide s?
True
Suppose 2*a = 3*d - 5136, -a = -5*d + 6245 + 2308. Is 9 a factor of d?
True
Let p(v) be the third derivative of v**5/15 + v**4/24 - v**3/3 - v**2. Suppose 5*w + n - 9 = 0, 8*w - 6*w = -5*n - 1. Is 8 a factor of p(w)?
True
Suppose 1313 = -c - 12*c. Suppose -3*a = -i - 4*i + 477, -a - 152 = -4*i. Let t = c - a. Is 10 a factor of t?
False
Suppose -3*t + 4079 = 5*o - 0*t, 813 = o + 2*t. Is 43 a factor of o?
True
Suppose 2*x + l - 5 = -0, 14 = 4*x - 2*l. Suppose 5*z - 69 = x*r - 354, -5*z - 15 = 0. Is 10 a factor of r?
True
Suppose -6 = -2*y + 18. Let l = y + -6. Does 20 divide -2 - 7/(-1)*l?
True
Let i be (-6)/(-12)*-4 + -4. Let w(v) = 2*v**2 - 5*v - 6. Does 32 divide w(i)?
True
Suppose -4*m - 1033 + 6695 = 5*v, 2*m - 6 = 0. Is v a multiple of 34?
False
Let b(q) be the third derivative of -q**6/120 - q**5/5 - 7*q**4/12 + q**3/2 - 15*q**2 - q. Let z = 18 - 29. Is b(z) a multiple of 18?
True
Let o be -4 + 266/(-35) - (-2)/(-5). Is (-766)/o + 2/12 a multiple of 25?
False
Suppose 50*j - 13227 - 11973 = 0. Is 18 a factor of j?
True
Let y be 17/(-5) + (-18)/(-45). Let v be y + -8 - (0 + -3). Let t = v + 19. Is 6 a factor of t?
False
Let k(n) = -7*n**2 - n + 2*n**3 - 3*n**3 + 7*n - 8 - n. Let q be k(-8). Does 12 divide 30/40*q*3?
True
Let m be 38 + (3 - 6) - -2. Let i(h) = -4*h**2 - 2*h - 1. Let c be i(-3). Let y = c + m. Is y a multiple of 3?
True
Let c(x) = -4*x**2. Let n be c(-1). Let i(o) = o**3 + 4*o**2 - 3. Let f be i(n). Let v(g) = 4*g**2 + 4*g + 1. Does 12 divide v(f)?
False
Suppose -2*u = 10 - 16. Suppose 3*y - u*i - 591 = -y, y = -i + 153. Is 25 a factor of y?
True
Suppose -3*y - 6 = 0, -i -