- -7)?
False
Suppose 8*d - 3*d = 4*c + 1238, -259 = -d - 3*c. Is d a multiple of 26?
False
Suppose 6116 = 15*n - 4129. Does 10 divide n?
False
Let n(q) = 12 + 0 + 6 + 45*q - 7. Does 12 divide n(3)?
False
Suppose 0 = -5*x + 177 + 143. Suppose -4*z = -8, 0*v - v + 4*z = -x. Does 12 divide v?
True
Let g(l) = l**2 + l - 1. Let v be g(1). Suppose 2*y + 3 = -v. Is 1/y + (-345)/(-10) a multiple of 6?
False
Suppose 3*b - 2*q = 872, -7*b + 3*q = -4*b - 867. Suppose -18*n + 12*n + b = 0. Is 11 a factor of n?
False
Suppose -14 = -3*l + 25. Let i be l/(-26) + 18/4. Suppose 0 = -7*f + i*f + 180. Is f a multiple of 15?
True
Let a = -28 + 78. Does 9 divide (-1)/((-6)/a) - (-2)/3?
True
Let b be 133 + (46/10 - 12/20). Suppose -37 + b = o. Does 10 divide o?
True
Let l(i) = -4*i + 212. Is l(-28) a multiple of 9?
True
Let x be 12/(-54) + (-11)/(-9). Let l be (14*x)/(3/(-9)). Let m = l + 90. Does 20 divide m?
False
Suppose -35 - 65 = -5*p. Is 20 a factor of p?
True
Suppose -2*b + 2*j = -6, -3*j - 2 - 7 = -b. Suppose 4*c - 9*c + 220 = b. Is 11 a factor of c?
True
Is 16 a factor of (4 + (-9709)/(-56) + 4)*8?
False
Let w(u) = 5*u + 3. Let a be w(-2). Does 4 divide (a + -1)/(36/(-54))?
True
Let s be (14/8)/((-19)/(-152)). Suppose -4*n + 32 = 4*p, 2*p + 5 = 2*n + 1. Let y = s - p. Does 11 divide y?
True
Suppose 2*l - 41 = -9. Let f = -13 + l. Suppose -2*o - f = -31. Does 7 divide o?
True
Let c(b) be the second derivative of -b**4/12 - 4*b**3/3 - 9*b. Let f be c(-8). Suppose 4*n + 5*t - 17 = f, 0 = -5*n + 5*t - 10*t + 25. Does 3 divide n?
False
Suppose -4*l - 5 = -u + 6, -u = -3*l - 11. Let q = -13 + u. Does 11 divide 3/q*-2 - -19?
True
Let t(r) = 2*r + 2. Suppose o - 1 = -4. Let w(m) = m**2 + m - 5. Let c be w(o). Is t(c) a multiple of 3?
False
Let p(c) = -c**3 + 11*c**2 - 22*c + 34. Is 2 a factor of p(6)?
True
Let q = 22 - 11. Suppose -10*b - 94 = -q*b. Is 14 a factor of b?
False
Let b = -14 + 16. Let z(u) = 3*u**2 - u**3 + u + 4*u**2 + b*u**2 - 5*u**2 + 1. Is z(3) a multiple of 5?
False
Suppose 2*w + 3*w - 980 = 5*f, 5*w + 5*f = 1000. Is w a multiple of 22?
True
Suppose -w - w + 0*w = 0. Let p = 14 + w. Is p even?
True
Suppose 3*t = -r - 17, -r - t = r + 9. Let c(z) = -2*z + 1. Let a be c(r). Suppose 4*n - 4*y - 13 = 19, -22 = -2*n + a*y. Is n a multiple of 5?
False
Let o(f) = 16*f**2 - 15*f + 16. Is o(1) a multiple of 12?
False
Is (-10)/((-13)/(-26) - 179/350) a multiple of 35?
True
Let w(f) be the second derivative of f**4/12 + f**3/2 - 9*f**2 - 8*f. Let v be w(-6). Suppose -u = -v*u - 77. Is u a multiple of 17?
False
Suppose -5*m + 0*k = 2*k + 65, 3*m + 4*k = -53. Does 3 divide (5 - -1) + (-8 - m)?
True
Suppose 7*s = m + 11*s - 1212, -m + s + 1197 = 0. Does 16 divide m?
True
Let n = 1209 + -494. Is n a multiple of 13?
True
Is ((-13251)/42)/(((-3)/2)/3) a multiple of 46?
False
Let r = 90 - 33. Let u be r - 0/(9/3). Suppose -x = 2*x - u. Does 10 divide x?
False
Let u = 2006 - 1311. Does 27 divide u?
False
Suppose 2*p - 5*b - 71 + 189 = 0, -p - 3*b - 48 = 0. Let y be (-34)/(-12) + (-9)/p. Suppose 0*f + 336 = 5*u + y*f, 0 = u + 4*f - 57. Does 21 divide u?
False
Suppose -8 + 4 = -2*f. Is 27/90*-5*(-152)/f a multiple of 6?
True
Suppose -5489 - 541 = -10*i. Is 3 a factor of i?
True
Let v(s) be the second derivative of s**5/20 + 4*s**4/3 + 2*s**3 - 13*s**2 - 39*s. Does 17 divide v(-14)?
False
Let k be ((-2)/2)/((-5)/10). Suppose 0 = k*i + x - 5, -2 = i - 0*x - 4*x. Suppose 0 = -i*o - 0*o + 28. Is 9 a factor of o?
False
Suppose 3*r - 183 = p, -4*r + p = 3*p - 244. Suppose 0*u + r = u. Suppose u = -0*i + 5*i - 3*s, 4*i + 3*s = 65. Is 7 a factor of i?
True
Suppose -3*y = 5*u, -2*y - u + 4*u = 0. Suppose -4*x + 33 + 19 = y. Suppose -2*w - 28 = -2*f, 0 = -5*f + 3*w - x + 91. Is 18 a factor of f?
True
Let s be 3 - ((-1 - -3) + -2). Suppose s*i + 5*d = i + 200, -2*i + d = -212. Does 51 divide i?
False
Let b be (0/(-2))/((-4)/(-4)). Let h be 9 + -6 + 1 + b. Suppose 0*o + h*o = 160. Does 20 divide o?
True
Let u = 361 - -319. Does 34 divide u?
True
Suppose 2*i = -4*c + 490, 0 = -3*c - 9. Is i a multiple of 61?
False
Let o(c) = 31*c + 7. Let j be o(-7). Let b be (-8)/52 + j/(-13). Is 11 a factor of -4 - (-4)/(b/212)?
False
Let j be (10/(-45) + 8240/(-18))/2. Let g = j - -390. Is g a multiple of 19?
False
Does 14 divide (-2 - -7) + -2 + 445?
True
Let p(g) = -21*g + 551. Is 17 a factor of p(-28)?
True
Is 6 a factor of (32/(-28)*39)/(4/(-14))?
True
Suppose 5*u = 5*x - 6475, 1924 = 2*x - 5*u - 663. Is x a multiple of 16?
True
Suppose 0 = -7*b + 516 + 23. Does 5 divide b?
False
Suppose -8*d = -4*d - 12. Let q be (28 - -2*1) + 1. Suppose -d*g + 5*l - 9 = -g, -3*l + q = 2*g. Is g a multiple of 8?
True
Suppose a + 308 - 973 = -3*u, u + 3325 = 5*a. Does 19 divide a?
True
Is 9 + (988 - (-36)/4) a multiple of 24?
False
Suppose 4*u + 449 = 3*r - 2120, -r + 3*u = -863. Does 6 divide r?
False
Let d(y) be the first derivative of 2*y + 2*y**2 + 1/3*y**3 + 2 - 1/4*y**4. Does 19 divide d(-4)?
False
Suppose 0 = 33*n - 38*n + 30. Is n a multiple of 6?
True
Suppose s + 2*s = 189. Does 2 divide (s/12 - -3) + (-1)/4?
True
Suppose 2*c - 5*c = 0. Let n(a) be the second derivative of -a**5/20 - a**4/12 + a**3/6 + 33*a**2/2 + 20*a + 2. Is n(c) a multiple of 11?
True
Does 25 divide (45 + 25)*(-20)/(-14)*2?
True
Suppose -116 - 213 = -2*f - 3*x, -4*x + 492 = 3*f. Suppose -3*l = -0*a + a - 5, 5*l - 2*a + 10 = 0. Suppose -5*p + f = -l*p. Is 8 a factor of p?
True
Let j(l) = -574*l + 6. Let c be j(3). Is 0 + (c/(-10) - 8/(-20)) a multiple of 43?
True
Let a(p) = 2*p**2 - 4. Let z be a(-2). Suppose 0*d = -3*d - 3*i + 6, -z*i + 10 = 5*d. Does 2 divide d?
True
Suppose 2*v - 67 = -0*t - t, -5*t = -v + 28. Is 4 a factor of v?
False
Suppose 5*a = l - 3 + 30, -8 = 4*l. Suppose -a*n = 5*s - 343 + 28, 2*s = 4. Does 27 divide n?
False
Let n(r) = -36*r + 1. Let v(w) = -w - 6. Let d(m) = 3*m + 19. Let k(q) = -3*d(q) - 8*v(q). Let y be k(-8). Is n(y) a multiple of 13?
False
Suppose 23*j - 223 = 7. Is 10 a factor of j?
True
Suppose 4*p + 54 = 10*p. Suppose -4*h = y - 69, p = h + y - 9. Does 3 divide h?
False
Let x(s) = s**3 - 17*s**2 - 39*s. Let k be x(19). Let r(w) = w**2 + 10*w + 19. Is r(k) a multiple of 38?
True
Let u(g) = 115*g - 467. Does 6 divide u(5)?
True
Suppose -94 = -2*i + i - x, -2*i = 3*x - 192. Is i a multiple of 15?
True
Let f be ((-6)/9)/(1/(-3)). Suppose 3*h + f*h = 0. Suppose -5*q = -5*k + 120, h = -5*k + k + 2*q + 88. Is k a multiple of 6?
False
Suppose 10*p + 1240 = 15*p. Suppose -99 = -3*a - 3*d + 87, 5*d = 4*a - p. Does 31 divide a?
True
Let w(o) = o**2 - o. Let l be w(1). Let x(c) = -c**3 + 19*c**2 + 3*c + 7. Let k be x(19). Suppose v + 1 = l, -4*v = 3*n - k - 76. Does 24 divide n?
True
Suppose 0*v + c - 143 = -v, -5*v - 4*c = -718. Suppose 18 = -2*i + v. Is 32 a factor of i?
True
Suppose 5*k = -2*a + 2468, k = -5*a + 761 - 249. Does 12 divide k?
True
Let b(c) = 12*c - 22. Suppose -5*a + 2*k = -0*k + 28, -3*a = -5*k + 32. Let n(t) = 11*t - 23. Let q(l) = a*b(l) + 5*n(l). Is q(11) a multiple of 24?
False
Let n(r) = -4*r - 5. Let p = 5 + -10. Let f = 1 + p. Does 3 divide n(f)?
False
Suppose 3*x = 5*r + 6*x - 11760, 5*r + 5*x - 11770 = 0. Does 27 divide r?
True
Suppose -40*m + 5911 = -8849. Does 6 divide m?
False
Let o(g) = 18*g - 141. Is o(32) a multiple of 23?
False
Let s be (150/35)/((-4)/(-28)). Let l = s + 30. Is 12 a factor of l?
True
Suppose 2*l + 44 = 3*y, -2*y - 2*y = -16. Is (l/20)/((-3)/135) a multiple of 36?
True
Suppose 3 = 3*a + 4*u - 12, -4*a + 24 = 4*u. Let i = 100 + -35. Suppose a*n - i = 4*n. Does 13 divide n?
True
Let x = 78 + -52. Suppose 3*z = -2*d + x, 3*d = 3*z + 24 + 30. Is 3 a factor of d?
False
Let d = 111 - 6. Suppose 6*o = o + d. Does 7 divide o?
True
Let u = -37 + 222. Is u a multiple of 3?
False
Let t = -566 - -1546. Does 28 divide t?
True
Suppose -5*y - 4*n = -10, -4*n = -4*y - n + 8. Suppose -4*d = -0*p + 5*p - 237, y*d = -2*p + 120. Does 9 divide d?
True
Let j(l) = 7*l - 49. Let y be j(7). Is 3/(y + 12/908) a multiple of 37?
False
Let u(k) = -k**3 + 15*k**2 + 17*k - 4. Let f be (2/5)/((-1)/(-40)). Let l be u(f). Let s(r) = -r + 19. Does 7 divide s(l)?
True
Is (5 - 12) + (-594)/(-6) a multiple of 23?
True
Suppose 0 = u + u. Let h = 19 - u. Is h even?
False
Let n be 2 - (6/9