True
Suppose 5*x - 75 = 5*m, 4*m + 3*x + 10 = -57. Is 6 a factor of (-544)/(-5) - m/80?
False
Suppose -7*o = -4*o - 9. Let b(g) = 4*g**2 - 4*g + 7. Is b(o) a multiple of 14?
False
Suppose 5*i = -4*b + 811, 107 = b + i - 97. Is 19 a factor of b?
True
Suppose -966 = 32*f - 34*f. Does 3 divide f?
True
Let z be 5 - (-1 - (-4 - 0)). Suppose 68 = 2*n - x, 3*n - 7*x = -z*x + 116. Is 8 a factor of n?
True
Let n(w) = 0 - 2*w**2 + 3 + 4*w**2 - w - w**2. Let z be n(0). Suppose z*u - 2*s = s + 57, 5*s + 7 = u. Is u a multiple of 9?
False
Let s(d) = 3*d**2 - 94*d + 51. Is 4 a factor of s(33)?
True
Let g(j) = -3*j + 11. Let i(b) = 4*b - 10. Let l(z) = 5*g(z) + 4*i(z). Is 8 a factor of l(9)?
True
Let q = 132 - 126. Suppose -485 - 607 = -q*f. Does 26 divide f?
True
Let h be -66*((-33)/5 - 8/20). Suppose z + h = 7*z. Is 7 a factor of z?
True
Suppose 0 = 3*m - 8*m + 2050. Is 41 a factor of m?
True
Let l(n) = -n**3 + 6*n**2 - 6*n + 4. Let m be l(5). Let y(o) = -4*o + 1. Let i be y(m). Let j(u) = u**2 + 4*u + 3. Does 12 divide j(i)?
True
Suppose -3*u + 5*u - 4 = 0. Suppose -3*m - 44 = -2*d, d = -u*m - 2 + 10. Is d a multiple of 4?
True
Suppose -5*v = -9*v + 2052. Suppose -6*z = 3*z - v. Is z a multiple of 19?
True
Suppose 4*w + 24 = 5*l, -5 = -2*l + 3*w - 6*w. Suppose 4*x = -y + 21, -3*y - 14 + 85 = l*x. Let f = y + -1. Does 6 divide f?
True
Let r = -2 + -22. Suppose -3*s = 0, 4*n + s + 478 + 702 = 0. Is 10 a factor of 4/r + n/(-6)?
False
Let p(d) = -d**2 + 2*d + 69. Is 5 a factor of p(0)?
False
Let k = 450 - 349. Is 16 a factor of k?
False
Suppose 4*g + 480 = c, -4*c + 1883 = g + 48. Is 2 a factor of c?
True
Let u(a) = -4*a - 11. Let f be u(-4). Suppose -i + 14 + f = 0. Suppose 60 = -i*l + 24*l. Is 12 a factor of l?
True
Let y(r) = -2*r - 17. Is 7 a factor of y(-23)?
False
Let c(o) = 51*o**2 + 23*o - 6. Does 15 divide c(2)?
False
Let w(f) = 11*f**2 - 21*f - 3. Is 36 a factor of w(7)?
False
Let n(o) = -2*o**2 + 57*o - 47. Let d(c) = c**2 - 28*c + 23. Let f(g) = -9*d(g) - 4*n(g). Does 4 divide f(22)?
False
Let z = 1233 - 589. Is z a multiple of 14?
True
Let r be -1 + (372/4 - 4). Does 3 divide -4 - r/(-7 + 3)?
True
Let g = -87 + 87. Let f(b) = b**2 + b - 3. Let t be f(-3). Suppose t*i - 7*i + 80 = g. Is 9 a factor of i?
False
Let z(i) = i**2 - 5*i + 4. Suppose 7*d + 0 = 42. Does 10 divide z(d)?
True
Let r(j) = -19*j - 152. Let o be r(-8). Suppose 0*u - 4*u = -12. Suppose -2*m + u*q + 85 = o, 2*m - 5*q - 53 = 22. Does 10 divide m?
True
Let r = 1522 + -90. Does 8 divide r?
True
Let d = -223 + 414. Is 22 a factor of d?
False
Suppose -7*y + 4*p = -11*y + 2380, -4*y - 2*p = -2378. Is 66 a factor of y?
True
Suppose -2*c + 177 = -o + 48, -5*o + 174 = 3*c. Let n be (1/1)/(1/5). Suppose 72 = n*r - c. Does 9 divide r?
True
Let x(h) = h**2 - 2*h - 8. Let s be x(-4). Let y = 22 - s. Is 3 a factor of y?
True
Suppose 990 = 10*q - 5*q. Does 22 divide q?
True
Let m = 37 + -27. Does 7 divide (252/10)/(4/m)?
True
Suppose -4*v + 3*f = -438, v + 222 = 3*v - 3*f. Is 7 a factor of 4/(-18) + 2400/v?
False
Suppose -2*z - 478 = -2*h, -4*h + 2*z - 482 = -6*h. Let d = -552 + h. Is 4 a factor of d/(-65)*(-10)/(-3)?
True
Let m be 0/3 - 0 - 12. Let p be ((-18)/m)/(6/28). Suppose 0*b = -b + p. Is 7 a factor of b?
True
Suppose -a = -21 + 19. Suppose 3*l - 2*p = -490, 0 = -a*l - 2*p - 97 - 223. Is (-5)/20 + l/(-8) a multiple of 10?
True
Let g(d) = -2*d - 4. Let x be g(-4). Suppose -3*j + 5 = 2*k - 10, 5*k - x*j + 20 = 0. Suppose -4*u - 2*m + 0*m + 174 = k, -5*m + 21 = u. Is 24 a factor of u?
False
Let y = -36 - -178. Does 20 divide y?
False
Let n(j) = -j**3 + 4*j**2 + 5*j - 2. Suppose 65 = -2*d + 7*d. Let c = -9 + d. Is n(c) a multiple of 18?
True
Let m be ((-45)/36)/((-1)/(-8)). Let l = m - -56. Is 28 a factor of l?
False
Suppose -7*a + 4*a = 3. Does 9 divide (-1173)/(-23) + (2 + a - 0)?
False
Does 19 divide 3*370 + (-15 - -7)?
True
Suppose -89 + 21 = -4*w. Let s = 1 - 6. Let p = w + s. Is 4 a factor of p?
True
Suppose 4*m - 7*m + 303 = g, -3*m - 1227 = -4*g. Suppose 5*r - g + 16 = -i, -4*r - 2*i + 232 = 0. Does 10 divide r?
False
Does 40 divide (-220388)/(-204) - (-1 + (-8)/(-6))?
True
Let y = -12 + 198. Suppose y = 13*u - 230. Is u a multiple of 16?
True
Let p(o) = -35*o**2 - 11*o + 3. Let a(i) = -18*i**2 - 6*i + 2. Let w(v) = 5*a(v) - 3*p(v). Is 7 a factor of w(-1)?
False
Let n(k) = 2*k**2 + k + 49. Let h be n(0). Suppose -h = -3*j + 23. Is j a multiple of 4?
True
Suppose 7191 = 4*f + 487. Let i be (-26)/(-91) + f/14. Let b = i + -45. Does 25 divide b?
True
Suppose -11*w = -9*w - 148. Suppose -2*m + w = -118. Is m a multiple of 17?
False
Suppose m - 16 = 1. Suppose 1019 = 7*d - m. Does 22 divide d?
False
Let y(x) = -x**3 + 3*x**2 - x + 7. Let d be y(4). Let j(k) = -10*k - 18. Is j(d) a multiple of 33?
False
Let v = 315 - 294. Is 21 a factor of v?
True
Is (-10)/(-2) + (-10)/(-2) + 160 a multiple of 34?
True
Does 16 divide (-58)/(8 + (-1605)/200)?
True
Suppose -59*x = -69*x + 1190. Does 2 divide x?
False
Let h(o) be the third derivative of o**5/10 - o**4/24 - o**3/3 - o**2. Let c be h(-4). Let k = c + -29. Is k a multiple of 23?
True
Suppose 12*z = 15*z - 30. Let k be 1474/z + 16/(-40). Suppose -4*o + 4*l + 192 = 0, -3*l = -3*o + l + k. Is 13 a factor of o?
False
Let z(g) = -35*g + 9. Let l be z(9). Let t be (3 - 3 - 2) + l. Is 19 a factor of (6/7)/((-4)/t)?
False
Let b be 3*((-64)/(-6))/4. Suppose -5*c = -h + b, 3*h + 5*c + 36 = -0*c. Let a = h - -33. Is a a multiple of 26?
True
Let t = 265 + -181. Does 3 divide t?
True
Let r(w) be the first derivative of -w**4/4 - 2*w**2 - 5*w - 17. Is 5 a factor of r(-2)?
False
Let p = 366 + -261. Let y = -55 + p. Is y a multiple of 10?
True
Let v(t) = 35*t**2 + 27*t - 70. Is 57 a factor of v(-12)?
False
Let f(n) be the third derivative of n**5/60 - n**4/6 + 2*n**3/3 - 5*n**2. Let p be f(3). Let o(q) = 35*q + 1. Does 12 divide o(p)?
True
Let t(d) = 27*d - 106. Is t(11) a multiple of 6?
False
Let q = 67 + -44. Let i = q - 7. Does 11 divide i?
False
Let n = -69 - -1133. Is 76 a factor of n?
True
Let r = -1175 - -2156. Is r a multiple of 19?
False
Suppose 0 = -11*w + 10*w + 4*c + 24, -4*w - 4*c + 196 = 0. Is w a multiple of 44?
True
Suppose 10 = v - 3. Let r(u) = -2*u + 2*u + u - 1. Is 12 a factor of r(v)?
True
Let x be (4/(-7))/(26/(-91)). Suppose -i - 124 = -4*a - x*i, -28 = -a - i. Does 8 divide a?
True
Suppose 0 = 2*z + u - 84, -3*z + 2*u = -0*u - 126. Does 23 divide -22*((-159)/z + (-4)/(-14))?
False
Suppose 12 = -29*y + 25*y. Let o(c) = -2*c + 9. Is o(y) a multiple of 6?
False
Suppose -28 = 3*b - r + 2*r, -5*b - 36 = -r. Does 11 divide (2/(b/(-170)))/((-2)/(-4))?
False
Let g(r) = -r**2 + 27*r - 8. Does 11 divide g(12)?
False
Let t be 1/2 - 15/(-6). Let v(n) = 4 + n**2 + 3*n**3 - n**2 - n**2 - 2*n - 2*n. Is v(t) a multiple of 16?
True
Let b be -1 - 4/((-8)/(-2)). Let m be 9/2 - (-1)/b. Suppose -2*t + h + 60 = -3*h, -m*t + 2*h + 102 = 0. Is 6 a factor of t?
True
Suppose v + 5*x - 65 = 0, 9*v = 4*v - 3*x + 303. Does 44 divide (v/(-28) + -3)/(1/(-14))?
False
Let g(f) be the first derivative of 7/2*f**2 - 9*f + 1/4*f**4 + 3*f**3 - 2. Is 10 a factor of g(-7)?
True
Suppose -2*s = 2*n - 22, -3*s + 5*n - 2 = n. Let i(g) = -g**2 + 14*g - 3. Is 9 a factor of i(s)?
True
Suppose -2*g + 698 = -246. Does 28 divide g?
False
Let v(w) = -10*w**2 - 10*w - 5. Let z be v(-3). Let a = z + 115. Is a a multiple of 5?
True
Let i(q) be the first derivative of q**4 - 2*q**3/3 + 3*q**2/2 - 5*q - 3. Does 5 divide i(2)?
True
Let q = 129 + -130. Let r(a) = -99*a - 9. Is r(q) a multiple of 9?
True
Let f = -220 - -677. Is 48 a factor of f?
False
Suppose -3*k - 2 = -17. Suppose 26 = 3*a - 0*z - 5*z, 5*z + 40 = k*a. Suppose -2*q - 220 = -a*q. Is q a multiple of 15?
False
Let n = -65 - -67. Suppose -5*k = 25, -3 = n*u - 2*k + 5*k. Is u a multiple of 3?
True
Suppose -5*y + 5*z + 9 = -3*y, 0 = -2*y + 4*z + 12. Does 6 divide y?
True
Suppose -2*t + 113 - 13 = 0. Is 4 a factor of t?
False
Let p = 2589 + -2013. Is 8 a factor of p?
True
Let c(r) = r**3 + 3*r**2 - 3*r + 4. Let f be c(-4). Suppose -4*v - 5*u - 65 = f, 36 = -5*v + u - 9. Let x = v + 20. Is 5 a factor of x?
True
Suppose -5*g + 397 = 32. Does 6 divide g?
False
Let s be ((-8)/(-10))/(2/15). Suppose 0 = s*k - k - 295. Is k a multipl