se 4*l - 1145 = 383. Is 4/(-18) + l/18 a multiple of 7?
True
Suppose 0 = 3*g - 0*g. Suppose g = -0*s - s + 16. Is 8 a factor of s?
True
Suppose -6*a - 32 = -10*a. Does 8 divide a?
True
Suppose -2*n + 10 = -n. Does 3 divide n?
False
Let p = 39 - 60. Let w = p + 34. Does 13 divide w?
True
Does 25 divide (-253)/(-5) + 27/(-45)?
True
Let o(z) = 99*z**2 + 4*z - 4. Is 44 a factor of o(1)?
False
Let j = -17 - -24. Suppose -p - 1 = -j. Suppose -90 = i - p*i. Does 9 divide i?
True
Let m(g) be the second derivative of g**4/6 + 9*g**2/2 + 9*g. Is 19 a factor of m(-5)?
False
Suppose 543 - 1478 = -5*t. Suppose -3*z = 5*k + z - t, 2*k - 5*z = 55. Is k a multiple of 18?
False
Suppose 0 = 2*z - 3 - 33. Is 3 a factor of z?
True
Let a be (-2 + 5 - 2) + 2. Suppose w + 4 = f + 2*w, a*f = -5*w + 14. Is 11 a factor of 4/(-6) + 74/f?
False
Let x(f) = f + 1. Let v(m) = m + 6. Let r(o) = -v(o) - 3*x(o). Let n be (-1)/(-3) + 75/(-9). Is 23 a factor of r(n)?
True
Let m(g) = 3*g - 8. Suppose 3*x + n - 21 = -2*n, x = -2*n + 7. Is 13 a factor of m(x)?
True
Suppose -5*l - 3*t = -128, -t - 92 = -3*l + t. Does 15 divide l?
False
Suppose -2*c + 296 = 2*g, c = -2*c - 5*g + 452. Suppose -h - c = -3*h. Suppose v - h = -4*o - 14, 3*v - 139 = -5*o. Does 19 divide v?
True
Let g be 20 - 2*6/3. Suppose 0 = -2*f - 2*f + g, 0 = -m + 3*f - 7. Is m a multiple of 3?
False
Let j(p) = 6*p - 2. Is 46 a factor of j(9)?
False
Suppose 0 = 2*j - 5*j + 159. Suppose 5*p + j = -0*v + v, 2*v - 82 = 4*p. Does 33 divide v?
True
Is 710/15 + (-8)/(-12) a multiple of 22?
False
Suppose 0 = -3*o - 3*c - 2*c - 1, -2*c + 4 = -o. Let s be o/(-1)*5/2. Suppose 0 = -s*b + 22 + 18. Is 4 a factor of b?
True
Suppose 5*u = 0, l - 4*l - 2*u = 3. Does 4 divide (-3 - 0) + 17 - l?
False
Let k(c) = -c**3 + 8*c**2 + 11*c - 6. Suppose 2*i + 7 = 3*i. Let y be k(i). Suppose -y = 4*s - 9*s. Is s a multiple of 13?
False
Let q be -1 + 1 - (-2 - 0). Is 20 a factor of (80/12)/(q/6)?
True
Let k be ((-9)/(-18))/(1/(-2)). Is 16 a factor of 1/((-80)/(-76) + k)?
False
Suppose -4*y + 0*i + 30 = i, -37 = -5*y - i. Let l = y + 1. Is 3 a factor of l?
False
Let u be (2 + -1)*(-4)/(-2). Suppose u = 2*o - 2. Suppose 0 = -o*g - 4*m + 36, 8*g - m = 3*g + 134. Is g a multiple of 14?
False
Let g(v) be the first derivative of 2*v**3/3 + v**2/2 + 3*v + 2. Is 15 a factor of g(-5)?
False
Let y = 49 + -19. Is 10 a factor of (-2 + 1 - -2)*y?
True
Let u = 7 - 13. Let k = 10 - u. Does 8 divide k?
True
Suppose 0 = 2*h - 4. Suppose 4*f = -3*i + 4, -3*f + 3 = h*i - 1. Suppose 3*n - f*j - 108 = 0, 2*n - 5*j = -2*n + 144. Is n a multiple of 18?
True
Suppose 3*d - 89 = -3*f - d, 171 = 5*f + d. Let y be (4/5)/(1/f). Suppose z = -0*z + y. Is z a multiple of 15?
False
Let d(w) be the second derivative of w**5/60 - 7*w**4/24 + 7*w**3/6 - w**2/2 + w. Let c(q) be the first derivative of d(q). Is c(8) a multiple of 15?
True
Let t(s) = 7*s**2 + 2*s - 4. Let g be t(-4). Suppose -5*u - c - 96 = 0, -28 + g = -4*u + 4*c. Let m = 40 + u. Does 8 divide m?
False
Let p(a) be the second derivative of -a**5/10 - a**4/4 + a**3/3 - a**2/2 + 4*a. Suppose -3*j - 6 = -j. Is 15 a factor of p(j)?
False
Let u = 4 + 0. Suppose 0 = -4*r - 4*z + 16, 2*r - 10 = -3*r + 5*z. Suppose 3*i - 84 = 4*v, -5*i = r*v - 165 - u. Is 20 a factor of i?
False
Let r = -2 - -5. Suppose 5*j + 2*b = 224, 6*j + 5*b = r*j + 123. Does 23 divide j?
True
Let j(x) = 83*x**2 - 3*x + 4. Is j(1) a multiple of 14?
True
Let g = -21 - -26. Suppose -4*q + 54 = 5*a, g*a = -3*q - 11 + 64. Is a a multiple of 10?
True
Let y(z) = 19*z - 4. Let x(j) = -20*j + 5. Suppose f = 4*f + 3, 0 = -4*b + 3*f - 17. Let v(d) = b*x(d) - 6*y(d). Is v(-2) a multiple of 9?
True
Suppose -5*h - 4*m = -h - 280, 5*m + 154 = 2*h. Does 12 divide h?
True
Let p(h) = h**3 - 5*h**2 + 4*h + 2. Let c be p(4). Suppose m = -w - 4*m - 66, -4*m - 138 = c*w. Let y = -29 - w. Does 21 divide y?
True
Is 8 a factor of 4 + 102/(-24) + (-245)/(-4)?
False
Let d = -13 + 9. Is 7 a factor of (-6)/d*28/6?
True
Let m(g) = g - 8. Let v be m(13). Suppose 4*b = z - 57, -162 = -v*z + b + 123. Does 13 divide z?
False
Let g be (-7)/((-28)/30)*-2. Let m = 55 + g. Does 10 divide m?
True
Suppose 15 = 5*m + 2*o - o, 0 = -5*m + 4*o - 10. Let s be (-1)/m*28/(-7). Suppose 5*q + z - 17 - 33 = 0, -z = s*q - 17. Is 11 a factor of q?
True
Suppose -2*z = 2*z. Let a(i) be the third derivative of -i**6/120 + i**5/60 + i**4/24 + 10*i**3/3 + 8*i**2. Does 10 divide a(z)?
True
Let r(a) = a**3 - 3*a**2 + 3*a. Let u be r(2). Suppose 80 = u*x - 6*x. Let o = x + 30. Is o a multiple of 5?
True
Suppose -7*i + 61 + 2 = 0. Is 3 a factor of i?
True
Is 3 a factor of ((-4)/16 - 159/(-12)) + -3?
False
Let x(b) = 12*b - 12. Let n be x(9). Let g be (-2)/(-9) + n/54. Does 4 divide ((-12)/(-15))/(g/10)?
True
Let q = -6 + 9. Suppose -6*g - 145 = -5*j - g, 112 = q*j + 2*g. Does 12 divide j?
False
Suppose -5*a = -a - 40. Is a a multiple of 3?
False
Let c = 29 + -14. Suppose -3*w + c = -60. Does 19 divide w?
False
Let m(x) = 3*x + 10. Does 23 divide m(19)?
False
Let g = -9 + 12. Suppose u - g*u = -8. Does 3 divide u?
False
Let y = 25 + 1. Does 18 divide y?
False
Suppose 71*s = 75*s - 684. Is 19 a factor of s?
True
Let i = 0 + -2. Let x = i - -2. Suppose 4*h + 84 = 4*f, x = -2*f - 2*h - 2*h + 48. Is f a multiple of 11?
True
Suppose 2*r = 5*k - 0*k - 176, -138 = -4*k + 3*r. Let f(u) = u**3 - u**2 + u - 1. Let v be f(2). Suppose -v*o + k + 59 = 0. Is 13 a factor of o?
False
Let l be 4/7*(-7)/(-2). Suppose 0 = -l*b - 2*b - 2*c - 4, -4*b + 2*c = 20. Is 13 a factor of (-152)/(-12) + b/(-9)?
True
Let w(r) = 2*r. Let h be w(1). Let i(b) = 11*b. Is i(h) a multiple of 12?
False
Suppose 2 + 2 = a. Suppose -2*f = -5*v + 68, 5*v + a*f - 50 = -6. Does 8 divide v?
False
Suppose 0 = o + 4*o - 620. Suppose 0 = 2*r + 2*g - o, 5*g = -r + 38 + 40. Does 24 divide r?
False
Suppose 0*s - 5*f - 169 = -3*s, 5*s - f - 267 = 0. Let i = s - 19. Is 17 a factor of i?
True
Suppose -j - j - q = -17, 13 = j + 5*q. Is j a multiple of 3?
False
Suppose 0 = -4*d - 2*l + 5*l + 6, -2*l - 4 = 2*d. Suppose -4*x + x + 156 = d. Does 23 divide x?
False
Let f(r) = 3*r + 14 + 0 - 7. Does 6 divide f(3)?
False
Let s be 24/(-9)*(-39)/(-2). Let i = -28 - s. Is i a multiple of 12?
True
Let d(b) = -b**3 - 7*b**2 - 4*b + 16. Is d(-6) even?
True
Let n(x) = 1 + 6*x - 2 + x**2 - 1. Let m be 20/6*36/(-15). Is 7 a factor of n(m)?
True
Let r = -6 + 11. Let q be (3/2)/((-4)/(-144)). Suppose -r*s + 41 = -q. Is s a multiple of 17?
False
Let v(g) = g**2 + 2*g - 1. Suppose -4*d = 4, 3*c + 5*d - 6 = 4. Suppose 0 = 5*y - 4*h - c, 5*y + 3*h - 4 - 1 = 0. Is v(y) even?
True
Let j = -11 - 0. Let t = j - -5. Let d(m) = -m**3 - 4*m**2 + 8*m + 4. Does 14 divide d(t)?
True
Does 5 divide 2/(-15) - (-11174)/555?
True
Suppose -5*s - 34 = -3*m + 2*m, 2*m = -2*s + 8. Let t = m - 6. Is 3 a factor of t?
True
Suppose 4*i = 3*c - 34, -3*c = c + 3*i - 87. Let o be c/15*10/(-4). Let n(k) = -k**3 - 3*k - 1. Does 10 divide n(o)?
False
Suppose 2*r = -0 + 10. Suppose q + 20 = r*q. Suppose 0 = -q*z - 15 - 10, -g - z = 0. Does 4 divide g?
False
Let n(f) = -2 + 0*f - 5*f + 3*f - 1. Does 9 divide n(-13)?
False
Let v(g) = -g**3 - 9*g**2 + 2*g + 13. Suppose -3*d - 16 = 11. Let m be v(d). Let k = 9 + m. Is k even?
True
Is (18/21)/((-1)/(-224)*4) a multiple of 30?
False
Let x be (0 - 6) + (-4)/(-2). Let t = 24 + x. Is t a multiple of 10?
True
Suppose 0 = w - 2*r - 36, 3*r = -5*w + 4*r + 144. Suppose 3*m = -k + w, 2*k - m = 39 + 24. Does 17 divide k?
False
Suppose 6 = f + f. Let s(p) = -4 + 5 - f + p. Is s(9) a multiple of 7?
True
Let m = 235 + -155. Is 20 a factor of m?
True
Is (-3 - -262) + (-4)/2 a multiple of 41?
False
Suppose -f = f - 2*i - 12, -3*f + 4*i = -19. Suppose f*u - 2*u = 0. Suppose -5*x + 163 + 72 = u. Is 18 a factor of x?
False
Suppose -48 = 5*m + a, -5*m - 4*a = -20 + 77. Let g = m - -26. Does 7 divide g?
False
Let c(a) = -a + 0*a - 6*a + 2*a. Is 5 a factor of c(-2)?
True
Suppose 0 = -0*m - m + 7. Is 2 a factor of m?
False
Suppose -29 = -d - 16. Is 6 a factor of d?
False
Let w(n) be the second derivative of 2*n**3/3 - 2*n**2 + 2*n. Does 4 divide w(3)?
True
Let l(m) = m**2 + 4*m. Let b be l(-5). Suppose 5*s - 449 = 4*j + b, -4*s = -5*j - 365. Is s a multiple of 18?
True
Suppose -22 = -4*v 