j + 5. Is 11 a factor of r?
True
Let g = 28 - -38. Is 33 a factor of g?
True
Let l(j) = 5*j + 5. Let q(y) = -5*y - 5. Suppose 16 = 5*h - 14. Let t(m) = h*l(m) + 7*q(m). Is t(-4) a multiple of 15?
True
Let s(r) = 99*r - 26. Is 21 a factor of s(2)?
False
Let g(o) = -o**3 - 3*o**2 - o - 1. Let l be g(-2). Let m(i) = -i**2 - 2*i + 3. Let s be m(l). Suppose -20 = -0*t - 4*t, s = 4*a + t - 165. Is 20 a factor of a?
True
Suppose -4*v + n + 351 = 0, v + 3*n = 3*v - 173. Let g be v/14 - 6/21. Let b = g - -16. Is b a multiple of 11?
True
Let i(r) = 11*r**2 - r. Suppose -7*n = -4*n - 6. Is i(n) a multiple of 13?
False
Suppose -2*f - p + 48 = 0, -f + 5*p + 13 = -33. Does 8 divide f?
False
Suppose -2*a = 3 + 55. Let z = a - -59. Is 7 a factor of z?
False
Let k(f) = -f**3 + 6*f**2 - 2*f + 8. Let g be k(6). Let i(t) = -t**3 - 6*t**2 - 3*t + 2. Let o be i(g). Does 14 divide 3 - (o - (0 + 2))?
False
Let n(x) = 17*x + 1. Does 18 divide n(1)?
True
Let n be 129/(-18) + 7/42. Let c = 16 + n. Is 2 a factor of c?
False
Suppose -h + 8 = -32. Suppose h = -y + 5*y. Is y a multiple of 5?
True
Does 31 divide 6*14*10/20?
False
Suppose -2*r - 46 = 3*o, o = -r + 2*r + 28. Suppose -75 = -2*p - 3*h, 0 = -2*p + 3*h + 53 + 28. Let c = p + r. Does 13 divide c?
True
Let s = 37 - 20. Suppose j + 5*z - 7 = -2*j, -5*j - 3*z = -s. Suppose j*p + 16 = 5*p. Is p a multiple of 8?
True
Let k be 130/30 + (-1)/3. Suppose -k*t + t = -135. Is t a multiple of 15?
True
Let f = -49 + 10. Is 20 a factor of -9*3/(27/f)?
False
Suppose -8*y + 100 = -3*y. Is 4 a factor of y?
True
Let n = -4 + 6. Is (-24)/20*n*-15 a multiple of 18?
True
Let u(t) = -3*t**2 - 8*t - 11. Let h(y) = -y**2 - 1. Let f(r) = 2*h(r) - u(r). Does 9 divide f(-8)?
True
Let s(x) be the third derivative of x**6/120 - x**5/15 + x**4/6 + x**3/2 - x**2. Let h be s(5). Suppose 0 = 3*u - 7*u + h. Is u a multiple of 6?
True
Suppose 2*k - 3*k - 8 = 0. Let y = -4 - k. Is 2 a factor of y?
True
Suppose -2*u - 121 = -427. Does 33 divide u?
False
Let z(i) = 13*i**3 + i**2. Let o be z(1). Is (12/o)/(6/168) a multiple of 7?
False
Let w(y) = 2*y**2 - 6*y + 4. Let g be w(7). Let q be g/33 - 4/(-22). Suppose 0 = -d - 2*k + 2, 4*k + 8 = q*d + 6*k. Is d even?
True
Let a = -1 + 0. Suppose -2*b + 10 = -b. Let k = b - a. Is k a multiple of 11?
True
Let y(r) be the third derivative of -r**4/2 - r**3/2 + 2*r**2. Let h(q) = 11*q + 3. Let w(n) = -5*h(n) - 4*y(n). Is w(-3) a multiple of 9?
True
Let v(h) be the third derivative of h**5/60 + h**4/24 + 4*h**3/3 + h**2. Let b(t) = t + 2. Let f be b(-2). Is 4 a factor of v(f)?
True
Let x(l) = 14*l + 1. Suppose 0 = 4*r - r - 30. Let i(w) = -w**2 + 11*w - 9. Let v be i(r). Is x(v) a multiple of 6?
False
Suppose 83 = 4*w - 229. Let g(y) = 12*y + 4. Let i be g(-5). Let n = w + i. Does 16 divide n?
False
Let w be 61/2 - (-18)/(-12). Suppose 5*s - 119 = -w. Is 4 a factor of s?
False
Let g = 8 + -8. Suppose 5*p - 6 = 19. Suppose -p*s - 4*h = -h - 91, g = -3*s + 3*h + 45. Does 12 divide s?
False
Let q(w) = 2*w - 6. Let u be q(6). Suppose -4*y + 2*y = -u. Suppose y*k = -0*k + 42. Does 10 divide k?
False
Let h(k) = 17*k + 8. Does 13 divide h(6)?
False
Let z = 2 + -12. Does 20 divide ((-16)/z)/(2/50)?
True
Let c(x) = -3*x + 1. Let t be c(-1). Suppose -5*z - 7 = -t*z. Does 16 divide (-990)/(-63) - 2/z?
True
Let j be 3 + -3 + 2*-1. Suppose 2 + 3 = k. Does 5 divide j/k + 54/10?
True
Suppose -3*n - 39 = -4*k, -42 = -5*k - 3*n - 0. Does 2 divide k?
False
Suppose 0 = d - 5*z - 11 - 9, -4*d - 2*z = -80. Does 5 divide d?
True
Let b = -59 - -111. Does 13 divide b?
True
Let y(q) be the first derivative of 7*q**3 - 3. Is 21 a factor of y(1)?
True
Let m(u) = -u**3 - 27*u**2 - 31*u + 4. Does 5 divide m(-26)?
False
Suppose 5*s - 5*k - 25 = 0, -15 = -3*k + 8*k. Suppose -2*f + 5*w = -5 - s, -4*w = -12. Let p = f + 1. Does 8 divide p?
False
Suppose 0*f = 3*h + 4*f - 368, 3*h - f = 343. Is h a multiple of 29?
True
Let f = 58 + 87. Is f a multiple of 16?
False
Let d(h) = h**3 + 10*h**2 + h - 20. Is 8 a factor of d(-8)?
False
Let s be (4 - 0) + (3 - 2). Let t be (210/25)/(1/s). Let q = 92 - t. Is 25 a factor of q?
True
Let x(k) = 8*k**2 + 2*k + 2. Let a be x(-1). Suppose 0 = -4*b + a*b - 160. Is 16 a factor of b?
False
Suppose -2*x + 4 = -2. Suppose l - 9 = x. Does 6 divide l?
True
Suppose 5*n + d + 79 = 5*d, 3*d - 78 = 5*n. Is 7 a factor of (-1 - -2) + (-2 - n)?
True
Let q be 6/(-15) + (-12)/(-5). Suppose -q*t = -2 + 32. Let i = 31 + t. Is 11 a factor of i?
False
Let h be 2/(-9) - 20/(-9). Suppose 15 = h*b - 21. Is b a multiple of 9?
True
Let a(r) = -4*r. Let q be a(2). Let w = 19 + q. Is w a multiple of 6?
False
Suppose 5 = -4*g + 13. Suppose y - g = -5, -2*h - y = 21. Does 19 divide -3*3/h*27?
False
Suppose 0 = -3*s + 3*h - 9, 3*s = -0*h + 2*h - 9. Let y be (-4)/2 + (s - -2). Does 14 divide (-41)/y*(-4 - -7)?
False
Suppose 20 = 5*h - 3*l + 3, 0 = -h - l - 3. Let g = h - -1. Suppose -4*x = -g*x - 30. Is x a multiple of 15?
True
Let q(o) be the second derivative of o**3/6 + o**2/2 - o. Let t be q(-1). Suppose -5*r = -2*k + 13 + 3, t = -2*k + r + 16. Is 4 a factor of k?
True
Let l(t) = -4*t + 2. Let o be l(3). Let p(y) be the second derivative of -5*y**3/6 + 4*y. Does 13 divide p(o)?
False
Let f(u) = u**3 + u - 1. Let a be f(0). Let g be 0 - a/2*-2. Let r(m) = -8*m**3. Is 8 a factor of r(g)?
True
Let l = 72 + -20. Does 7 divide l?
False
Let g(p) = 2*p**3 - p**2 + 2*p - 1. Suppose -2*v - 3*v + 5 = 0. Let r be g(v). Suppose -r*a = 3*n - 15, a = 2*n - 0*a - 10. Is 5 a factor of n?
True
Let h(i) = 51*i**3 - 2*i**2 + 4*i - 1. Is h(1) a multiple of 4?
True
Suppose 2*k - 4 - 2 = 0. Suppose 4*h + 176 = k*w, -2*h + 4 = -4. Let d = w + -43. Is d a multiple of 13?
False
Is 4 + -1 - 90/(-9) even?
False
Suppose -5*t = -151 + 51. Is 5 a factor of t?
True
Let n(m) = m**2 - 16*m - 2. Does 4 divide n(17)?
False
Let z(d) = -d + 3. Let k be z(0). Suppose k*w - 3 = 0, 2*w + 36 = -4*j + 6*w. Let n = 10 + j. Is n a multiple of 2?
True
Let j be 100/(-3)*(-30)/25. Let k = -22 + j. Does 6 divide k?
True
Suppose -v - 1 = -0. Suppose 3*n = -2*u - 2*u - 95, -4*n = 2*u + 50. Let j = v - u. Is 22 a factor of j?
True
Let o = 4 + 0. Suppose -o*b + 0*b + 592 = 0. Let z = -106 + b. Is 15 a factor of z?
False
Suppose 0 = -4*d - d. Suppose -2*t + 5 + 5 = d. Suppose 0 = -4*k - 2*u + 96, t*u + 13 + 0 = k. Is k a multiple of 13?
False
Let z = -45 + 84. Is z a multiple of 28?
False
Let z = -14 - -23. Does 12 divide (-9)/(2*z/(-24))?
True
Suppose 3*k + 4*g = 67 - 18, -3*g = -4*k + 82. Let l = -5 + k. Does 5 divide l?
False
Let g be (-349)/(-2) - (-9)/(-18). Let n = g + -93. Does 27 divide n?
True
Let j(p) = 2*p**2 - 6*p - 8. Is j(-11) a multiple of 50?
True
Let q = 27 + -15. Let v(p) = 2*p - 11. Let k be v(7). Suppose 4*a + 0*a + 24 = c, -q = -k*c - 3*a. Is c a multiple of 8?
True
Does 13 divide (2 - 6) + -2 + 19?
True
Suppose -g = -6 - 0. Is 7 a factor of ((-3)/g)/(2/(-148))?
False
Suppose 4*t - 230 - 182 = 0. Is 4 a factor of t?
False
Suppose -s + 1 = 4. Let t = 6 + s. Suppose -z + b = -3*z + 46, -3*z = t*b - 75. Does 11 divide z?
False
Let u(o) be the first derivative of -o**4/4 + 8*o**3/3 - 3*o**2 - 3*o - 8. Is 11 a factor of u(6)?
True
Let h = 499 + -231. Is 14 a factor of h?
False
Suppose 20 = 4*t - t + m, 0 = 2*t + 2*m - 20. Suppose 0 = 5*a - 75 + t. Is 14 a factor of a?
True
Let h = 23 + -19. Suppose 2*c + 2*c = h*y - 28, -5*c = 5*y - 55. Is y even?
False
Let f(c) = c**3 + 6*c**2 + 4. Let w be f(-6). Suppose -11 = -w*a + 9. Suppose z + a*h = 2*z - 30, -5*h + 10 = 0. Is z a multiple of 14?
False
Let s(n) = n**2 + 6*n - 3. Let o = 9 - -15. Let g be (9/(-3))/(9/o). Is 9 a factor of s(g)?
False
Suppose -5*n + 4*a = -93, 2*a - 1 = 5. Let l = 55 - 18. Let g = l - n. Is 8 a factor of g?
True
Let j be (3 + 4)*-1 + 3. Let q be 1*-3*(j - -3). Suppose -q*m = -79 + 7. Is m a multiple of 8?
True
Let p be ((-2)/2)/(4/(-16)). Suppose -3*n - 2*m + 40 + 38 = 0, -p*m = -5*n + 108. Is n a multiple of 12?
True
Let j = 21 - -19. Suppose 5*x + 33 = 2*x. Let n = x + j. Is n a multiple of 14?
False
Does 10 divide 1/((-2)/6) + (-297)/(-9)?
True
Let s = 703 + -447. Is s a multiple of 32?
True
Is 37 a factor of (-72)/(-6)*74/4?
True
Let m = -21 - -40. Does 5 divide m?
False
Let l(i) = -4*i - 10. Do