a multiple of 10?
True
Suppose -5*b + 32 = -4*b. Is b a multiple of 23?
False
Suppose -5*d + 238 = -197. Is 22 a factor of d?
False
Suppose -l = -56 + 8. Is l a multiple of 12?
True
Let b = -21 - -33. Is b a multiple of 12?
True
Suppose -4*y - 134 = -6*y. Does 12 divide y?
False
Let s(b) = -11*b. Does 23 divide s(-5)?
False
Suppose 60 = 5*o - o. Let l = o - 11. Suppose 14 = 5*f + l. Does 2 divide f?
True
Suppose -2*v = -u - 6, 0*v = -4*v + 4*u + 20. Suppose 6*b = 4*b + 4, -v = -z + b. Suppose -2*l - q = -15, -q = -z*q - 2. Does 3 divide l?
False
Let p = -122 - -182. Is 11 a factor of p?
False
Let i = 8 - 5. Suppose 0 = -i*y - 5 - 10. Let k = 5 - y. Is 10 a factor of k?
True
Let v(m) = m + 1. Let l be v(-1). Suppose l = -4*w + 4*i + 140, -2*i + i = -1. Does 18 divide w?
True
Let g = 30 - 19. Does 8 divide g?
False
Let u(j) = -39*j**3 + 24*j**2 + 15*j - 69. Let l(w) = -8*w**3 + 5*w**2 + 3*w - 14. Let q(h) = 24*l(h) - 5*u(h). Does 17 divide q(3)?
False
Let d(k) = k**3 - k**2 - 6*k + 6. Let m be d(-5). Let t = 164 + m. Does 8 divide t?
False
Let f(n) = n + 4. Let b be f(-5). Let k(q) = 11*q**2 - 1. Is 4 a factor of k(b)?
False
Suppose 29 + 27 = -4*n. Let p = n + 50. Is 9 a factor of p?
True
Let x = 17 - 4. Does 6 divide x?
False
Suppose 0 = -4*x + 4*n + 76, -x + 18 = 4*n - 6. Is 5 a factor of x?
True
Let y = -49 - -69. Is 10 a factor of y?
True
Let h be 3/((-1)/1) + 5. Let n = h - -3. Let l(c) = -c**3 + 6*c**2 - c - 2. Does 10 divide l(n)?
False
Let h(k) = 15*k - 7. Is h(4) a multiple of 11?
False
Let w(g) = 3*g**2 - g - 5. Is w(4) a multiple of 5?
False
Suppose -333 = -4*n + 55. Is 9 a factor of n?
False
Suppose 5*y + 142 = 4*a, 0 = -2*a - y + 4*y + 72. Is a a multiple of 3?
True
Suppose -1377 = 4*c - 493. Let j be (-1)/(c/(-111) + -2). Suppose 0*l = 3*l - j. Is l a multiple of 17?
False
Suppose -3*i + 3*y + 10 = 4*y, 0 = -4*y - 20. Is i even?
False
Let n = -10 - -20. Let k = 18 - n. Is -21*(k/6)/(-2) a multiple of 7?
True
Suppose z + 4*b + 0*b - 24 = 0, -2*b - 28 = -2*z. Is 6 a factor of z?
False
Suppose k - u - 48 = -10, 0 = -4*k - 4*u + 176. Let j = -20 + k. Is j a multiple of 7?
True
Suppose 2*c + 3 = 5*c. Let v be (c - -1)*14 - 1. Suppose -v = -2*h - 7. Is h a multiple of 10?
True
Let t(f) = -2*f - 1. Suppose 3*d - v - v + 19 = 0, 5*v - 34 = 3*d. Let z be t(d). Suppose -4 = 2*s - 0*s, -z*y = -5*s - 85. Does 15 divide y?
True
Let c = -456 - -1544. Let v be c/12 + (-4)/6. Suppose 2*m = 4*m - v. Does 16 divide m?
False
Let n be ((-606)/4)/((-9)/18). Suppose 7*i - o - n = 2*i, -5*i - o = -297. Is i a multiple of 12?
True
Suppose 11*n + 22 - 1045 = 0. Is 19 a factor of n?
False
Does 14 divide (0 - -1) + (-7 - -6) - -55?
False
Let a = 11 - 7. Suppose 2*l + 10 = a*p, -15 = 3*p + p + 3*l. Suppose p*y + 5*y - 155 = 0. Does 10 divide y?
False
Suppose -j = 3*q - 53, -5*q + 3*j - j = -70. Does 4 divide q?
True
Let j(q) be the second derivative of -q**3/2 - 8*q**2 + q. Is j(-11) a multiple of 12?
False
Suppose 3*c - 26 = 31. Is c a multiple of 5?
False
Let a = -3 - -8. Suppose 0*v = -v - 2, 30 = 2*n - a*v. Let y = 52 - n. Is y a multiple of 21?
True
Let m(b) = -5*b - 6 + 6*b + 0*b. Let g be m(7). Let t(d) = 13*d**2 - d + 1. Does 12 divide t(g)?
False
Let y = -48 + 68. Is 5 a factor of y?
True
Let s(k) = -k + 7. Let f be s(9). Let n be ((-9)/(-3) - -1) + f. Suppose 0 = z + n*z - 9. Is z a multiple of 2?
False
Let t be (4/2 - 1)*229. Suppose 4*h + 65 = s, -5*s - h - 3*h = -t. Is 15 a factor of s?
False
Let j(i) = -197*i**2 + 2*i - 1. Suppose 5*v + 3 - 8 = 0. Let r be j(v). Does 10 divide r/(-10) + 4/10?
True
Let v = 1 - -2. Suppose -2*o = 2*f - 16, -2*f - o - 6 = -v*f. Suppose -j = -0*j - f. Is 7 a factor of j?
True
Let j = 41 - 34. Is j a multiple of 7?
True
Let x be 9/18 - 6/4. Does 8 divide ((-27)/(-5))/(x/(-5))?
False
Suppose 6*u - u - 100 = 0. Suppose -1 = 2*m + 1. Is u - (1 - 2 - m) a multiple of 10?
True
Let r(f) = f**2 - 5*f - 5. Let y be r(5). Let d(i) = 2*i**2 + 6*i + 4. Does 9 divide d(y)?
False
Let j be (-4 - -3)/(2/214). Let f = -61 - j. Suppose h - f = -h. Is 15 a factor of h?
False
Let g = 88 + -40. Does 8 divide g?
True
Is 12 a factor of (-24)/(-30)*101*5/2?
False
Suppose -3 = 5*q + 22. Let x(l) = 2*l**2 + 10*l + 2. Let t(g) = -4*g**2 - 19*g - 4. Let z(j) = -3*t(j) - 5*x(j). Is 8 a factor of z(q)?
False
Let i = -515 + 1445. Suppose -i = x + 4*x. Is x/(-30) - 1/5 a multiple of 6?
True
Suppose -6*v = -v - 340. Is 20 a factor of v?
False
Let n = 24 - -36. Is n a multiple of 16?
False
Let f be (-2 + 10/4)*2. Suppose f = -m - 0. Let c(q) = -50*q**3 + q + 1. Does 17 divide c(m)?
False
Let u be 5*(59/5 - -3). Suppose 2*v + 0*v - u = 0. Suppose l - v = -l - r, 2*r = 2*l - 40. Is 19 a factor of l?
True
Is (6 - 7)/((-5)/40) a multiple of 8?
True
Let r be 2/(-2)*66/1. Let s = r + 109. Does 17 divide s?
False
Let l(f) = 2*f**3 + 3*f + 1. Let c be l(3). Suppose -3*g + g = -32. Suppose v + 13 = -p + c, 4*v - g = 0. Is 16 a factor of p?
False
Let h = -136 + 236. Does 16 divide 4/2 + h/2?
False
Does 28 divide (-428)/(-5) - 8/(-20)?
False
Suppose -t + 4*t - 3*o = 135, 37 = t - 5*o. Does 15 divide t?
False
Let u(i) be the second derivative of i**4/2 + 11*i**3/6 + 9*i**2/2 - 6*i. Does 14 divide u(-4)?
False
Let p = 12 + 23. Suppose 4*j = -3*q + 23, -p = -0*j - 4*j + q. Is 4 a factor of j?
True
Let w(x) = -7 + 4*x + 0 - x**2 + 5 + 6*x. Is w(7) a multiple of 7?
False
Let j be (-1 + 1)/(-1) + 6. Let m be j/8 - 26/(-8). Suppose 3*w - 139 = -m*g, -3*g + 39 + 66 = 3*w. Is 13 a factor of g?
False
Let k(s) = 0*s - s + 4*s + 2*s - 1. Does 8 divide k(5)?
True
Suppose 2*q = -5*i + 226, 3*i - 137 = 3*q + 7. Is i a multiple of 23?
True
Let v(l) = -3*l + 4. Let o(u) = 5*u**2 - 2*u + 1. Let h be o(1). Let c be v(h). Let s = c - -30. Is 11 a factor of s?
True
Is 6 a factor of (-1)/((-10)/645)*2?
False
Suppose -6*w + w + 165 = 0. Is w a multiple of 15?
False
Let o(j) = -j**3 + 11*j**2 - 8*j - 14. Is 6 a factor of o(10)?
True
Suppose 0 = 4*v - v - 4*t - 194, -v - t = -67. Is 11 a factor of 3/(9/v - 0)?
True
Suppose 5*n - 3*g = 11, n - 1 = -0*n + g. Let t be (-4154)/(-18) + n/18. Is t/9 + (-2)/(-6) a multiple of 11?
False
Let m = 35 - 8. Let z = -13 + m. Is 13 a factor of z?
False
Let o(y) = y**2 - y - 1 + y**2 + 0*y. Let l = 34 - 30. Is 9 a factor of o(l)?
True
Suppose -2*u + 8 + 2 = 0. Suppose 164 = 5*f + y - u*y, 3*f - 5*y = 88. Is f a multiple of 19?
False
Let v(z) = z**2 - 2*z + 3. Let r be v(2). Is 13 a factor of 1/r + 114/9?
True
Suppose -4*n + 24 = -4*f, -6*f = -2*f - n + 12. Does 3 divide (f/(-4))/(1/14)?
False
Does 24 divide 6/10 + ((-2060)/(-25) - 2)?
False
Let v = -3 - 0. Is 6 - v/1 - -2 a multiple of 11?
True
Let z(h) = -22*h - 8. Does 12 divide z(-2)?
True
Suppose -251 = -4*k - a, 5*a = 2*a - 3. Is k a multiple of 26?
False
Is 24 a factor of 87/2*2/(-3)*-1?
False
Let n(a) = -a**2 + 6*a - 4. Let p be n(6). Let k be -1 + 4 + p - -2. Suppose x - 7 = -k. Does 6 divide x?
True
Suppose d + 5*r - 13 = 0, 0*d + 5*d - 4*r = 7. Is 98 - (-6 + d - -5) a multiple of 32?
True
Suppose -40 = -8*i + 3*i. Suppose 3 = z, b - 3*z - 1 + 4 = 0. Is -5 + b - i/(-2) a multiple of 3?
False
Suppose 8*y + 510 = 13*y. Is (1/3)/(2/y) a multiple of 17?
True
Let i(c) be the second derivative of c - 1/3*c**3 - 7/2*c**2 + 0. Is 2 a factor of i(-6)?
False
Let y = 0 + 0. Let m = 2 + y. Does 7 divide (m - (-3 + 1)) + 3?
True
Let q(p) = 8*p - 5. Let j be q(5). Suppose j + 3 = 2*x. Let k = x + 11. Is k a multiple of 15?
True
Suppose 0 = 4*v - 2*x, 1 = -2*v - x + 9. Suppose 0*n - v*n + 12 = 0. Does 2 divide n?
True
Suppose -35 = -5*k + 3*s, -3*k + 4*s + 24 = -2*k. Suppose -b + 65 = k*b. Is b a multiple of 7?
False
Is ((-22)/4)/((-4)/40) a multiple of 30?
False
Let r be 18/4 + 2/4. Let k = -3 + r. Is k/2*-1*-19 a multiple of 19?
True
Does 8 divide 528/(-84)*14/(-4)?
False
Let n = 98 + -18. Does 12 divide n?
False
Let p = -38 - -52. Is p a multiple of 4?
False
Let y(i) = -i**3 - 3*i**2 + i + 3. Suppose 0 = 5*q + 4 - 9, 4*c + 22 = 2*q. Does 16 divide y(c)?
True
Let q(y) = 3*y - y - 8 + 0*y + 0*y. Let v(m) = 2*m + 2. Let a be v(2). Is q(a) a multiple of 3?
False
Let q be 33 - 2/8*4. Suppose q = 5*j - 38. Does 7 divide j?
True
Is 63/6 - 5/(-10) a multiple of 7?
False
Suppose -16 = -2*u - 0*u. Suppose 0 