Is s a multiple of 10?
False
Suppose 0 = 167*o - 166*o - 137. Does 4 divide o?
False
Let h(y) = -3*y + 2. Let g be h(-9). Suppose 0 = 2*a + 11*v - 9*v - 6, 2*a - 2*v - 22 = 0. Suppose -a = -4*m + g. Is 6 a factor of m?
False
Let v be (-3)/(-6)*82*9. Suppose v = 3*w - 93. Is 44 a factor of w?
False
Let f(v) = 438*v - 1350. Is 12 a factor of f(7)?
True
Let y = -1052 + 1799. Is y a multiple of 18?
False
Let b(l) = -330*l + 33. Is b(-4) a multiple of 41?
True
Suppose 3*p + 4*i = 89 + 255, -2*p - 5*i + 241 = 0. Suppose -276 = -2*k - k + 3*m, 0 = -k - 3*m + p. Is k a multiple of 9?
False
Let x be (22 + -5 - -4)*1/3. Suppose 7*i + x = 651. Is 40 a factor of i?
False
Suppose q - 14 = 3*q. Let d = q - -10. Suppose d*x - x + r = 88, 4*r - 132 = -3*x. Is x a multiple of 11?
True
Let t(a) = a**3 - 11*a**2 - 5*a + 5. Let b be t(5). Let p = -41 - b. Does 22 divide p?
False
Suppose n = 2*n + 14. Let t(l) = 3*l**3 + 11*l**2 - 14*l - 17. Let c(q) = 4*q**3 + 10*q**2 - 13*q - 16. Let z(u) = -2*c(u) + 3*t(u). Is z(n) a multiple of 2?
False
Let r(z) = z**3 + 4*z**2 + 5. Let v be -4*2*3/6. Let k be r(v). Suppose 0 = -g + 1 + k. Does 6 divide g?
True
Suppose -131 - 673 = -6*t. Let h = t + -103. Is 4 a factor of h?
False
Let f(o) = 19*o + 4. Let i be f(14). Suppose 26*v + i = 31*v. Is v a multiple of 27?
True
Suppose 0 = t + 2*t - 315. Does 3 divide t/(-6)*((-22)/10 - -1)?
True
Let m be 12/(-4 + 1) + 4. Suppose 3*t - 75 = -m*t. Is t a multiple of 5?
True
Let r(f) = -2 - 12*f - 6 - 8 + 0*f. Let x be r(-5). Is 16 a factor of 0/(-2) + x + -2?
False
Let h(z) = -z**2 - 12*z + 4. Let k be h(-12). Suppose 3*a + 0*r = 2*r + 53, 0 = 5*a - k*r - 85. Is a a multiple of 4?
False
Suppose 4*o + 2*a = 28, o = 4*a - 16 + 5. Suppose -5*d + 170 = o*p, -3*d - 124 = -4*p - d. Is 2 a factor of p?
True
Suppose -t + 2 = -25. Let d = -24 + t. Suppose 5*x = 4*y + 511, 5*x - d*x = -4*y + 182. Is x a multiple of 13?
False
Let r = -86 - -216. Suppose 5*y + n = 105, 5*y + n - r = 5*n. Is y a multiple of 11?
True
Suppose 2*o + 0*h - 5*h - 27 = 0, 3*o + 3*h = -12. Let z = o + 3. Suppose 2*w + z*q - 20 = 0, -2*w - 3*q + 17 = -7. Does 18 divide w?
True
Let m(j) = -j**3 + 8*j**2 - 2*j - 1. Suppose 3*h + 7 + 31 = s, -3*s - 18 = 3*h. Let q = h + 14. Is m(q) a multiple of 19?
True
Does 15 divide (525 - 2/2) + 3 + -2?
True
Let l(j) = 8*j. Let z be l(3). Let t = 29 - z. Suppose 3*s - t*s = -62. Does 9 divide s?
False
Let d(y) = -y**3 - 7*y**2 - 9*y - 4. Let c be d(-6). Suppose -c*s = -24*s + 50. Does 3 divide s?
False
Let l = 19 + -17. Suppose 4*k + 460 = -4*n, -4*n = -l*k - 5*n - 225. Let u = 188 + k. Is u a multiple of 26?
True
Let n = -706 - -1642. Is 15 a factor of n?
False
Suppose -3*m + 52 = y - 8*m, -2*y + 113 = -m. Is 16 a factor of y?
False
Let r be 22*(35/(-26) - (-20)/(-130)). Is 22 a factor of r*14*4/(-12)?
True
Let v(a) = -16*a - 16. Let r(m) = m**3 - 9*m**2 + 5*m + 9. Let w be r(8). Does 11 divide v(w)?
False
Let a = -9 + 11. Suppose 0 = -4*o - 0*n - 2*n + 38, 0 = -a*n - 10. Suppose 3*b = o, 0 = -6*i + i + 2*b + 22. Is i a multiple of 3?
True
Let a(g) = 7*g + 4. Let r be a(2). Let n(t) = -7 - t**2 + r*t - 9 - 5. Is n(16) a multiple of 6?
False
Let u(p) = -p**3 + 40*p**2 - 104*p - 7. Is u(37) a multiple of 13?
False
Suppose -5*r - 10 = 0, -l + 0*r - 28 = 2*r. Let u(p) = 13*p - 172. Let g be u(11). Let f = l - g. Is f a multiple of 3?
False
Suppose 53*y - 38*y - 9435 = 0. Is 14 a factor of y?
False
Suppose 601 = 3*v - 695. Is v a multiple of 72?
True
Let y = 2482 + -964. Does 46 divide y?
True
Suppose 22*n - 4*n - 8280 = 0. Does 9 divide n?
False
Let c(u) = -2*u**3 - 8*u**2 + 3*u + 2. Let m be (-54)/8 + 1 - (-2)/(-8). Is c(m) a multiple of 8?
True
Let q(x) = 10*x**2 - 2*x + 2. Let a be q(2). Suppose -w - v = -4*v - a, 0 = v - 4. Does 9 divide w?
False
Suppose -4*t = 16, -3*l - 4*t + 2*t - 629 = 0. Let j = l - -295. Is j a multiple of 4?
True
Let g = 42 - 15. Let b be (-4)/(-3) + 18/g. Suppose b = -t, -5*l = -0*l - t - 257. Is 17 a factor of l?
True
Let u be (2/(-6))/(14/(-210)). Let z(j) = 0*j**2 - 4 + 4*j**2 - j**2 - 5*j + 0. Does 25 divide z(u)?
False
Suppose -5 = -h + 2. Suppose -151*u + 16 = -147*u. Suppose -2*c + b = -h*c + 80, -4*c - u*b = -64. Is c a multiple of 16?
True
Suppose 3*x - 23 = 307. Is 22 a factor of x?
True
Let q = -28 + 32. Suppose 3*l = 5*n - 626, -q*n + 630 = n - 5*l. Does 31 divide n?
True
Let l = 0 - -2. Let o(a) = 2 + 2*a**2 - 3*a**2 + 2*a**l. Is o(3) a multiple of 5?
False
Suppose -2*c + 3*a = -2, 5*a = -4*c + 2*c + 18. Suppose c*j - 4*u = 708, -4*j - 28 = -3*u - 735. Is j a multiple of 11?
True
Is 26 a factor of 5 + (3/(-7) - (-130080)/210)?
True
Suppose -70*o + 1840 = -62*o. Is o a multiple of 14?
False
Let c(b) = 8*b**2 + 9*b - 19. Let n be c(6). Suppose -4*z + 12 = 0, 4*o + 2*z - 79 = n. Is o a multiple of 8?
False
Suppose 0 = c + 2*c + 5*d + 148, -d = 3*c + 152. Let j = c - -99. Suppose 5*x = m + 121, -2*m = 2*x + 2 - j. Is x a multiple of 12?
True
Does 30 divide 102/(-136) - (-66909)/12?
False
Let u(q) be the third derivative of 13*q**4/24 - q**3/3 + 12*q**2. Is u(4) a multiple of 14?
False
Suppose 6 = 3*x, -4*p + 10 = -7*x + 4*x. Suppose 278 = p*f - 3*l - 17, -3*f + l + 215 = 0. Is f a multiple of 14?
True
Let c(q) = -17*q**2 - 8*q - 8. Let g be c(-4). Let b be (g/(-12))/((-1)/(-3)). Does 14 divide -3 + (b - (0 - -4))?
False
Let k(b) = -11 - 6*b + 1 + 5 - 11. Is k(-5) a multiple of 4?
False
Let u(d) = d**3 + 17*d**2 + d + 22. Let s be u(-17). Is 23 a factor of 217 - 1/(s/(-20))?
False
Does 20 divide (31/62)/((-2)/4) - -143?
False
Let h(i) = 222*i + 24. Is h(3) a multiple of 15?
True
Suppose r = 2 - 5. Does 10 divide (6 - 2)*39*(-2)/r?
False
Suppose c = -2*w - 3*w + 286, -w + 278 = c. Is c a multiple of 46?
True
Let b(k) = -7*k - 9. Let u(q) = 22*q + 26. Let z(i) = -17*b(i) - 6*u(i). Is 49 a factor of z(-4)?
True
Let f(g) = -24*g**2 - 2*g - 1. Let u(r) = 48*r**2 + 5*r + 3. Let b(p) = -9*f(p) - 4*u(p). Suppose -41*z = -31*z + 20. Is b(z) a multiple of 32?
False
Let w(o) = -85*o. Let t be 1*4/((-16)/4). Is 11 a factor of w(t)?
False
Suppose -s = 4*a + 236 - 3555, -2*a + 3*s = -1677. Does 143 divide a?
False
Let v(h) = h**3 + 7*h**2 - 9*h - 5. Let j be v(-8). Suppose 5 = -r, 2 = j*b + 3*r + 5. Suppose -b*z + 7 = -3*z. Does 5 divide z?
False
Suppose 2*r - 4*p = 330, -r - 3*p + 180 = -0*r. Is 3 a factor of r?
True
Suppose 5*t + 8970 - 2945 = 5*r, -2*t + 3595 = 3*r. Is r a multiple of 67?
False
Suppose 6 = 2*z, -5*x + 0*z = -4*z - 8. Suppose -2*t - 2*q = -764, 388 = t + 2*q - x*q. Suppose 2*f - t = -4*f. Is 16 a factor of f?
True
Let t be 1/(-3) - (-3)/9. Suppose b + 0*b = -5*c + 136, 5*b - 5 = t. Let g = 65 - c. Is 11 a factor of g?
False
Let m(n) = -n**3 + n**2 + 14*n - 9. Let y be m(4). Is (-5 - -88) + 5 - (y + 1) a multiple of 11?
True
Let h be (15/(-50)*-5)/(3/4). Is 5 a factor of 46 + (h - (5 + -4))?
False
Suppose 18*i - 345 = 5505. Is 13 a factor of i?
True
Let h be (16/14)/((-52)/(-182)). Does 3 divide 1 - h - (-17 - 7)?
True
Suppose -5*t + 5 = -5. Let q = 53 + t. Is q a multiple of 11?
True
Let a(t) = t - 5. Let d be a(5). Suppose d = 2*y + 2*b - 178, 0*y = 5*y + 3*b - 443. Is y a multiple of 44?
True
Let r(x) = 5*x - 1. Let n be r(1). Let y(l) = l**3 - 6*l**2 + 11*l - 7. Let o be y(4). Suppose -o*g = -4*f - 377, 74 - 376 = -n*g + 3*f. Is g a multiple of 20?
False
Suppose -k = -4*k - 4*s - 2, 4*s = -4*k. Suppose k*p - 123 = 67. Is 19 a factor of p?
True
Let u(x) = x**2 + 9*x - 16. Let c be u(-11). Is (c/(-4))/(6/(-40)) even?
True
Suppose 2*f + 172 = -2*f. Let w = f + 115. Is w a multiple of 18?
True
Suppose 14 = -4*f - 2, 4*f = -4*c + 96. Suppose 24*y = c*y - 288. Is 34 a factor of y?
False
Let d(u) = 2*u**2 - 3*u + 4. Let a(p) = -3*p + 2. Let g = 15 + -15. Let r be a(g). Is 4 a factor of d(r)?
False
Suppose 11*t - 5869 = 368. Is t a multiple of 9?
True
Suppose 2*k - x - 1 = 0, 3*k - 2*x + 6 = x. Is 9 a factor of k - (-17)/((-34)/(-120))?
True
Let d(p) = 10*p**2 - 2*p + 4. Let f be d(2). Suppose f - 106 = -r - 4*w, -r + 2*w = -72. Is 13 a factor of r?
False
Let c = 128 + -135. Let i = 59 - c. Does 6 divide i?
True
Let o = 4 + 0. Let d be (o - 12)*(-2)/(-4). Does 20 divide ((-66)/d)/(2/4)?
False
Let w(d) = -d**3 + 4*d + 1. Suppose -23 - 73 = -4*x. Let n 