(-1 - -4)?
True
Suppose 38 = 2*b + 5*n + 3, n = b. Suppose b*d - 525 = -0*d. Is 35 a factor of d?
True
Let q(w) = 4*w**3 + 12*w**2 + 2*w. Let v(x) = x**3. Let t(l) = -q(l) + 3*v(l). Is t(-12) a multiple of 12?
True
Suppose -80 = -3*d - 2*d. Is 17 a factor of d/(-104) - (-444)/13?
True
Let n(i) = 23*i**2 + 2*i - 1. Is n(-3) a multiple of 17?
False
Let j(g) = 2*g**3 - 5*g**2 - 6*g - 6. Let t be j(5). Let m = 161 - t. Is m a multiple of 12?
True
Suppose -4*g - 2*q + 244 = 0, -3*g = 2*q + 2*q - 188. Does 12 divide g?
True
Let m(l) = -l**3 - 26*l**2 + 52*l + 44. Is 6 a factor of m(-28)?
True
Let l be ((-20)/(-25))/(2/290). Does 9 divide (-2)/(-4) - l/(-8)?
False
Suppose -4*d - 9 = 5*l, -1 = -5*d - 3*l + 4. Suppose -m - 3*z - 135 = -d*m, 10 = 2*z. Is m a multiple of 21?
False
Suppose -q = q. Suppose q*j + 129 = 2*f - 5*j, 2*j - 94 = -2*f. Is f a multiple of 18?
False
Let y(w) = -4*w**2 - 8*w - 1. Let p(x) = -x**2 + 1. Let j(t) = -3*p(t) + y(t). Let u be j(-7). Suppose 8*i = u*i + 35. Is i a multiple of 4?
False
Suppose -q + 24 = 3*m - 7*m, -3*q = 4*m + 8. Suppose 3*g + 1 = q*g + o, 4*o + 17 = 3*g. Does 3 divide g?
True
Suppose 8*y - 26 - 326 = 0. Does 11 divide y?
True
Let c = 69 + -118. Does 14 divide (-770)/c - (-2)/7?
False
Suppose 3*a = 236 + 55. Suppose a = 3*y + 37. Let g = y + 6. Is g a multiple of 13?
True
Let p = -1 - -1. Suppose p = 4*l + 4, -c - 55 = -2*c + 2*l. Does 27 divide c?
False
Let m = -37 - -8. Let p = -13 - m. Is 7 a factor of p?
False
Let z(j) be the third derivative of -j**6/30 - j**5/30 - 2*j**2. Is z(-2) a multiple of 6?
True
Suppose -2*n - 3*n = 5*c - 50, -2*c + 25 = 3*n. Is 3 a factor of c?
False
Let r = 3 - -2. Let f(s) = -4*s**2 - 5*s - 7. Let x(h) = 3*h**2 + 4*h + 7. Let v(z) = -4*f(z) - 5*x(z). Is v(r) a multiple of 18?
True
Suppose 12 = 4*r - 36. Is 12 a factor of r?
True
Let w(i) = i**2 - 4*i + 4. Let l be w(11). Suppose 0 = -5*x + l + 164. Does 16 divide x?
False
Let z be -1*(0/3)/(-3). Suppose -3*y + 17 + 88 = z. Suppose 2*h - y = -3*h. Is 4 a factor of h?
False
Suppose -23*a + 2954 = -4636. Does 30 divide a?
True
Let r = 60 - 29. Suppose 2*w - 5*x = -0*x + r, 5 = -x. Let g = w + 8. Does 10 divide g?
False
Let k(a) = -a**2 - 6*a + 4. Let h be k(-6). Suppose -4*u + 1 = y - u, -h*y = 3*u - 31. Does 5 divide y?
True
Suppose -c + 220 = 4*c. Is c a multiple of 11?
True
Let z(u) = 20*u**3 - 2*u + 1. Is 5 a factor of z(1)?
False
Let k = 122 + -65. Let z = k - 15. Is z a multiple of 15?
False
Suppose 4*l + 20 = 0, -4*w + 2 = -l - 11. Is -1 + 1/w*6 even?
True
Let p(k) = -k**3 - 5*k**2 - 4*k - 2. Let s be p(-3). Let m be 85/4 - (-2)/s. Let y = m + -5. Does 8 divide y?
True
Let d be (-122)/4 - 4/(-8). Does 13 divide d*3*(-16)/30?
False
Does 2 divide -2 - -19 - 20/10?
False
Let w be (-1)/((-5 - -2) + 2). Suppose -w = -f + 4. Suppose -5*o + 2*b + 47 = 0, -6*o - 2*b + 19 = -f*o. Is o a multiple of 11?
True
Suppose 0 = -2*v + 7*v + c + 15, -c = 0. Let g = v + 7. Suppose -5*z + 2*x = -291, 0 = 3*z + g*x - 100 - 59. Is 20 a factor of z?
False
Suppose 0*n + 2*n - 80 = -3*f, -3*n + 86 = -4*f. Is 17 a factor of n?
True
Let b(v) = -39*v - 1. Is 13 a factor of b(-1)?
False
Is 7 a factor of ((-280)/49)/((-2)/7)?
False
Let o be 30/2*(-10)/(-25). Does 10 divide (-61)/(-6) - 1/o?
True
Suppose -5*r = r - 84. Does 12 divide r?
False
Suppose 0 = 5*y + 762 + 83. Let g be y/(-9) - 2/(-9). Suppose r - g = -0*r. Does 12 divide r?
False
Let l(f) be the first derivative of -27*f**2/2 - 2*f - 6. Does 13 divide l(-2)?
True
Suppose -3*i + 104 = -3*z - 67, -108 = -2*i - z. Suppose 2*c - 13 - i = 0. Is c a multiple of 17?
True
Let r(b) = -b**3 + 2*b**2 + b - 1. Let f(q) = q**3 - q**2 - q. Let i(j) = 2*f(j) + r(j). Let n = -21 - -24. Is 23 a factor of i(n)?
True
Let i(s) = -5*s + 7. Let n be i(-7). Suppose 123 + n = 3*g. Does 19 divide g?
False
Let k(q) = 4*q + 2 - 3*q**2 + 6*q**3 + 8*q**2 - 5*q**3. Let b = 9 + -13. Is k(b) even?
True
Suppose -4*c = 2*o - 46 - 82, -4*o - 5*c = -265. Is o a multiple of 10?
True
Let i = 61 - 40. Is 7 a factor of i?
True
Let s(g) be the second derivative of 5/6*g**3 + 0 + 1/20*g**5 - 7/12*g**4 - 4*g**2 - 2*g. Is s(7) a multiple of 13?
False
Suppose 7*c = 2*c + t + 534, -4*c + t = -427. Suppose -x = 2*x + 5*k - 106, -3*x - 4*k + c = 0. Does 10 divide x?
False
Let i = -41 + 6. Let v = -10 - i. Is 12 a factor of 2*(-3)/6 + v?
True
Suppose j = -4*n - 9, -5*n = -3*j + 33 + 8. Let b = j - 7. Is 4 a factor of (28 - b)/(2 + 0)?
False
Let d(j) = -30*j - 34. Does 11 divide d(-6)?
False
Suppose 3*k + 1 - 4 = 0. Suppose 71 + k = 4*h. Is 9 a factor of h?
True
Let z be (-2)/15 + (-64)/(-30). Suppose 5*k = z*l - 82, 5*l + 3*k = -2*k + 240. Does 18 divide l?
False
Suppose p - 11 = 4*p + 2*b, -5*p = -3*b + 31. Let i(s) = -11*s**2 - 17*s - 6. Let w(j) = -5*j**2 - 8*j - 3. Let o(m) = -6*i(m) + 13*w(m). Does 12 divide o(p)?
False
Is -3 - (0 + 1) - -86 a multiple of 17?
False
Is 18 a factor of 12*((-55)/(-10) + -1)?
True
Let d(y) = y**2 + 4*y - 6. Suppose -6*t + t - 6 = 3*o, -o + t + 6 = 0. Suppose 0 = -o*h + 34 - 13. Is 24 a factor of d(h)?
False
Let f = -108 - -154. Is 23 a factor of f?
True
Suppose -4*i = 33 - 345. Is i a multiple of 39?
True
Suppose -65 = -5*n + 5*o + 255, n - 2*o - 62 = 0. Is 21 a factor of n?
False
Let f = -72 + 108. Does 10 divide f?
False
Suppose -4*v = -4*h + 32, v - 25 = -4*h + 27. Is h a multiple of 12?
True
Suppose -2*x - 3*x = q + 111, -5*q - 71 = 3*x. Let l(z) = -z - 10. Let y be l(-10). Let p = y - x. Does 11 divide p?
True
Let c = 0 - -1. Let f = c + 12. Is f a multiple of 13?
True
Let r be 2 - (-4)/4*-4. Does 27 divide r*((-308)/8 - 2)?
True
Suppose -x = 2*u + 2*x - 23, u - 3*x = 7. Is u a multiple of 5?
True
Let y = -160 + 267. Suppose 3*c = y - 671. Is 17 a factor of ((-1)/(-2))/((-2)/c)?
False
Suppose 0 = -3*z + 199 - 34. Is 11 a factor of z?
True
Let n = 2 + 2. Suppose n*b + 47 = 15. Is 3 a factor of (-26)/b - 2/8?
True
Let j(x) = x**3 + 4*x + 1. Let m be j(-3). Let w = 84 + m. Let t = 66 - w. Is t a multiple of 16?
False
Suppose 436 = -9*h + 11*h. Does 18 divide h?
False
Let d = -103 - -126. Is d a multiple of 7?
False
Let t(w) = -w + 1. Let u be t(-2). Let k(j) = -16*j + 1. Let y(p) = -17*p. Let m(l) = -4*k(l) + 3*y(l). Does 14 divide m(u)?
False
Suppose p = -q - 0*p + 404, 5*p = 2*q - 829. Is 48 a factor of q?
False
Let r(s) be the second derivative of -s**3/3 - 5*s**2 - s. Let b be r(-7). Suppose b*g - 3*g = 32. Is 14 a factor of g?
False
Let h = 81 - -15. Is h a multiple of 29?
False
Let h(s) = s**3 + 7*s**2 + 5*s - 12. Let r(f) = 3*f**3 + 22*f**2 + 16*f - 35. Let a = 11 - 7. Let v(t) = a*r(t) - 11*h(t). Does 2 divide v(-10)?
True
Let y(n) = n**3 - 2*n**2 + n. Let z be 0 + -1 + (-111)/(-3). Let a be 64/z - 4/(-18). Is 2 a factor of y(a)?
True
Is 17 a factor of ((-92)/20 + 7)/((-1)/(-100))?
False
Let l(d) be the first derivative of d**2/2 + 18*d + 4. Is 7 a factor of l(0)?
False
Does 15 divide (15/2)/(2/(7*4))?
True
Let q(g) = 27*g**2 - 3*g - 2. Is 2 a factor of q(-1)?
True
Let b = -12 - -3. Let f = -5 - b. Is (f - (-1 + 4)) + 1 a multiple of 2?
True
Does 7 divide (0 + -84)/(-4) + -2?
False
Let o be 0 - 1 - 316/(-4). Let w = o + -40. Is 11 a factor of w?
False
Suppose -4*a - 6 = -2*p, -6*p + p - 5 = 0. Let q(t) = t**2 - 2*t - 3. Let s be q(a). Is (2 - 1) + 17 + s a multiple of 6?
False
Suppose 8 = 2*t, x - 25 = -0*x - 4*t. Does 9 divide x?
True
Let i = 53 + -83. Is -3 - (1/1 + i) a multiple of 19?
False
Let y(p) = -1 - p + 7 - 1 + 3*p. Is 21 a factor of y(8)?
True
Suppose 0 = 3*n - 9 - 9. Does 4 divide n?
False
Let u be (-1)/(-3)*0 + 0. Suppose -2*n + 96 = 4*f, 2*f - 73 = -4*n + 101. Suppose 4*t - 3*y - 60 = u, -n - 3 = -3*t + 5*y. Is 15 a factor of t?
True
Suppose -5*p + 1 = -14. Let d(f) = -2*f**3 - 2*f**p - f**2 + f**2 + f. Does 3 divide d(-1)?
True
Is 15 a factor of (0 - -12)*64/24?
False
Let n(o) = -12*o - 2. Is 24 a factor of n(-3)?
False
Let a = 12 + 21. Is a a multiple of 7?
False
Suppose 4*u = 3*u + 5*w + 123, -5*u + 687 = -w. Is 38 a factor of u?
False
Suppose -3*g = 2*u - 113, -4*g + 2*g = -5*u - 69. Suppose -c = c + h - 9, 0 = -c + 5*h - 12. Let s = g - c. Does 17 divide s?
True
Let v(z) = z**3 - 9*z**2 + 6*z + 7. Does 38 divide v(9)?
False
Let b be 54/10 + (-8)/20. Suppose 160 - 5 = b*w