et u = q + 42. Is 4 a factor of u?
False
Let q(d) = 2*d**3 + 35*d**2 + 15*d + 18. Is q(-17) a multiple of 26?
True
Suppose 0 = -3*f - r - r - 889, -2*f + 3*r = 597. Let n = -209 - f. Does 11 divide n?
True
Does 7 divide 2/(-3)*(-999)/1 - -6?
True
Suppose 5*j = v + 2 + 7, -2*j = -5*v - 22. Is -2 + (-2 - v) + (46 - 10) a multiple of 6?
True
Let v = -415 + 238. Let q = v + 114. Let g = q + 105. Is g a multiple of 9?
False
Suppose -51 = -k + 38. Suppose -3*z + 55 = -k. Suppose -23*b = -26*b + z. Is 10 a factor of b?
False
Suppose 3*n + 663 = -2*q, q + 2*q + 986 = 4*n. Let m = q - -525. Is m a multiple of 15?
True
Suppose -571*i = -572*i + 473. Does 4 divide i?
False
Let k be (-12)/36 - (-1)/3. Suppose 6*a + k*a = 528. Is a a multiple of 5?
False
Let k(h) = 6*h**2 + 2*h + 17. Let u(v) = 7*v**2 + 2*v + 18. Let o(w) = 6*k(w) - 5*u(w). Is 17 a factor of o(-5)?
False
Suppose 5*l + 2*j = 2 - 4, -5 = l + 5*j. Let x(h) = h - 15. Let r(y) = y**2. Let o(c) = r(c) - x(c). Is 15 a factor of o(l)?
True
Let g(a) = a**3 + 6*a**2 - 8*a - 1. Let f be g(-7). Let l(z) = -z**2 + 6*z + 4. Is 3 a factor of l(f)?
False
Suppose 61 = 4*p - 87. Let f = -69 + p. Let n = f - -56. Does 12 divide n?
True
Let j(g) = -g**2 - 11*g - 4. Let d be j(-10). Let r(i) = i**3 - 4*i**2 - 4*i + 2. Is r(d) a multiple of 9?
False
Let q(o) be the third derivative of o**6/120 + 3*o**5/20 + o**4/4 - 5*o**3/3 - 52*o**2. Suppose -4*r = -0*r + 32. Does 3 divide q(r)?
True
Let j be (935/(-22))/(1/(-2)). Suppose -5*z + j = 4*i, 0*z = 3*z - 15. Is i a multiple of 5?
True
Suppose -3*a - 5 = -2*d, -d + 0*a = -2*a. Suppose -15*y + d*y = 0. Suppose 2*s - 128 = -y*s. Does 16 divide s?
True
Let j(l) = 2*l**2 - 7*l + 5. Let v be j(4). Let h be v/18 - (-7)/2. Suppose h*n + 0*n - 22 = -d, -4*n = -3*d + 98. Is d a multiple of 14?
False
Let h be 84/10 + 15/25. Suppose 0*b = -3*b + h. Suppose n = -4*n - 5*l + 250, -2*l = -b*n + 160. Is 26 a factor of n?
True
Let v be 1*2*(0 + 4). Let j(c) = -c + 23. Let p be j(8). Let d = p - v. Is 7 a factor of d?
True
Let y = -12 - -17. Suppose g = x - 6, 0 = -3*g - y*x - 20 - 14. Does 3 divide 8/(-32) - 114/g?
False
Suppose 40*o - 2100 = 35*o + 2*b, 2*o = 4*b + 840. Is o a multiple of 29?
False
Suppose 0*h - h + 56 = 0. Let y(w) = -3 - 1 + h*w - 2. Does 23 divide y(2)?
False
Let s be (-34)/16 + (-14)/(-112). Let l(c) = -6*c**3 + 5. Is 6 a factor of l(s)?
False
Is (3857/((-35)/(-5)))/1 a multiple of 19?
True
Suppose -3*n = 4*k - 4*n, 3*n = -5*k + 17. Let c be 4/(-6) - 3/9. Is c*((-276)/4)/k a multiple of 19?
False
Let h be 3 + (-2 - -1) + 0. Let t be (-5 + h)*-1 + 1. Suppose -t*r - 14 + 74 = 0. Is r a multiple of 5?
True
Let r(d) = 86*d - 81. Is r(6) a multiple of 15?
True
Let a = -9 + 14. Suppose -2*v - 2*u + 12 = u, 0 = a*v + 2*u - 30. Is 3 a factor of v?
True
Let r = 16 - 23. Let o(n) = -2*n - 7. Let u be o(r). Suppose 0 = -5*w + u*w - 90. Is w a multiple of 19?
False
Let c(w) = -12*w + 5. Does 13 divide c(-5)?
True
Let x(n) = -n**2 - 6*n - 1. Let u be x(-3). Suppose 12*o - u*o = 248. Is o a multiple of 45?
False
Suppose -349*z = -372*z + 18193. Does 7 divide z?
True
Let t = 257 - 229. Does 2 divide t?
True
Let o = -11 + 17. Let y(x) = 3*x + 16*x**2 - x - 4 - 3 + o. Is y(1) a multiple of 4?
False
Let y = 15 - 11. Let b be (y/4 - -1) + 0. Suppose -2*a + a - 10 = -3*h, -4*a + 10 = -b*h. Does 2 divide h?
False
Suppose -5*t + 494 + 221 = 0. Does 51 divide t?
False
Does 11 divide 3 + 709 + (0 - (-1 - 2))?
True
Suppose -10*r + 649 = 249. Suppose -r = -6*s + 14. Is 2 a factor of s?
False
Suppose -5*o + o = -3*m + 11, m = -o + 13. Let i be (m/(-6) - -1)*2. Is -36*((-1)/i + -3) a multiple of 29?
False
Suppose -11*j + 50611 = 8569. Does 18 divide j?
False
Let a(j) = 5*j**2 - 8*j + 4. Does 10 divide a(8)?
True
Let k = 17 + -90. Let r = 204 + k. Does 15 divide r?
False
Suppose -o + 317 = 4*n - 1457, o + 3*n = 1779. Suppose 0 = -8*f + o + 606. Does 10 divide f?
True
Suppose -t = -w + 2*t - 9, -5*w + 5*t = -5. Let k(a) = 17*a + 12. Let r be k(w). Let u = r + -75. Is 13 a factor of u?
True
Let w(x) = 4*x**2 + 18*x - 1. Is w(-13) even?
False
Suppose -2*a - 95 = -105. Suppose -2*i = -a - 3. Does 4 divide i?
True
Let g(n) = -n**2 - 5*n + 1. Let v be g(-4). Suppose -4*b - 5*r = 12, v*b + 0*r = 5*r + 30. Suppose -22 = -b*s + 12. Is 5 a factor of s?
False
Suppose -p + 591 - 191 = 0. Suppose 5*a - 10 - p = 0. Suppose -3*c + a = -c. Is c a multiple of 17?
False
Suppose 0 = 9*n + n - 2170. Suppose 2*o = 413 + n. Is o a multiple of 21?
True
Suppose -706 = 2*t - 2934. Is t a multiple of 49?
False
Let d = 3073 + -2067. Is 24 a factor of d?
False
Let q = -8 - -18. Suppose 0 = 2*a + 2, 4*k - q = -3*a + 11. Does 21 divide 3/9 + 442/k?
False
Suppose -992 = -172*c + 170*c. Is 8 a factor of c?
True
Let b = 71 + -51. Let k(l) = 2*l - 8. Let c be k(5). Suppose c*a - 4*a + b = 0. Is a a multiple of 9?
False
Suppose 267 = 6*n + 51. Does 4 divide n?
True
Suppose -20*x = -18*x - 400. Suppose 0*n - x = -10*n. Is n a multiple of 10?
True
Let i = -17 - -10. Let r(v) = 297*v**2 + 0*v + v - 2 - 296*v**2. Is 10 a factor of r(i)?
True
Suppose 0 = -11*z + 1297 + 2223. Is z a multiple of 16?
True
Let x(b) = b**3 - 3*b**2 - 5*b. Let d be x(5). Suppose 3*u + 1 = d. Is u a multiple of 6?
False
Suppose -103*m + 105*m = 520. Does 9 divide m?
False
Suppose -3*x + 3 = -2*z - 15, 18 = -2*z + 2*x. Let r be -1 - 1 - 54/z. Suppose -2*b = r*t - 74, -11 = -t + 4*b - 2*b. Is 2 a factor of t?
False
Suppose 2*v - 106 = v. Let g = v + -56. Is g a multiple of 10?
True
Suppose 0 = -k - 4*f - 249, 3*f + 3 = -k - 246. Let a = k - -456. Does 23 divide (-2)/((6/a)/(-1))?
True
Let q = 26 - 24. Suppose 0 = -q*i - 2*i + 540. Suppose -3*t + i = -t - 3*f, -3*f + 225 = 4*t. Is t a multiple of 30?
True
Suppose -984 = -3*w - f - 2*f, 3*w - 5*f - 1016 = 0. Is 27 a factor of w?
False
Suppose 0 = -5*t - 8*t + 143. Suppose -6*m = -t*m + 70. Is 7 a factor of m?
True
Let c be (-6 - -3)/(-1*1). Suppose 2*h - 40 = -r, 4*h = h - c*r + 66. Suppose 4*g = -2*d + h, -5*d + 24 = -2*d + 3*g. Is 4 a factor of d?
False
Let z(j) = -55*j + 3. Let h be z(5). Is 2/5 + h/(-20) a multiple of 10?
False
Is 9 a factor of (-1636)/(-4) - (-5 + 11)?
False
Suppose 2*r = -3*h + 7*r + 7411, -2*r = 4. Is 13 a factor of h?
False
Let p(r) = -r**3 + 3*r**2 + r - 1. Let w be p(3). Suppose 5 = -x - 5*g, -w*g + 2 = 4. Suppose x*y + 2*y = 38. Is 19 a factor of y?
True
Suppose 46 = 2*m - 4*m. Let c = m - -47. Is 6 a factor of c?
True
Let a(w) = -w**2 - 11*w - 7. Let f be (-62)/5 - 2/(-5). Let d = f - -4. Is 4 a factor of a(d)?
False
Let d(c) = -c**3 + 6*c**2 + 8*c - 3. Let n be d(7). Suppose b = n, b + 224 = a + 2*a. Suppose -4*l + 0*l + a = -2*o, 5*o = 10. Is l a multiple of 10?
True
Let d(p) = -p**3 + 10*p**2 - p - 6. Let g be d(10). Let h = -10 - g. Suppose -80 = s - h*s. Is s a multiple of 7?
False
Let h = -53 - -68. Suppose -h*x = -16*x + 135. Is 18 a factor of x?
False
Does 13 divide (-76)/(-418) + (-21591)/(-11)?
True
Suppose 25 - 265 = -8*r. Does 10 divide r?
True
Let d be (-318)/(-5)*10/4. Suppose 5*q = d + 51. Let j = 137 - q. Does 32 divide j?
False
Suppose -2 = x, -x - 287 = -z + 2347. Is 47 a factor of z?
True
Let x(s) = -s**3 + 2*s**2 + 6*s + 3. Let f(c) = -c**2 + 5*c + 2. Let l be f(6). Does 25 divide x(l)?
True
Let x = -1070 + 1883. Is x a multiple of 2?
False
Let n(i) = -i**2 + 3*i + 273. Let l be n(0). Suppose 14*q - l = 11*q. Is q a multiple of 19?
False
Let g = -222 - -740. Let k = g + -370. Suppose 3*m - k = 50. Is 11 a factor of m?
True
Let d = -14 - -22. Suppose 4*n = d + 132. Suppose m + n = 2*x, -67 = -5*x + 3*m + 20. Is 11 a factor of x?
False
Let t(v) = 207*v**3 + 2*v**2 - 3*v + 1. Is 23 a factor of t(1)?
True
Suppose -122*b + 121*b - 4132 = -2*y, -b + 6203 = 3*y. Is 14 a factor of y?
False
Let a be (-1 + -1 + 2)/1. Suppose -y - 2*j - 37 = a, 0 = 3*y + 2*j + 3*j + 112. Is 22 a factor of (806/y)/(2/(-6))?
False
Let m(p) = 5*p + 6. Let b(c) = -c**2 - 6*c - 7. Let d(s) = 5*b(s) + 6*m(s). Let u be d(-1). Is (-1)/u - 117/(-12) a multiple of 7?
False
Suppose 2*g - 68 = -4*j - 0*j, -3*j - 3*g + 57 = 0. Let m be ((-6)/j)/(4/(-20)). Suppose -51 = -4*x + 4*d + 33, -30 = -m*x - d. Is x a multiple of 10?
False
Let g = -30 - -34. Suppose 0 = -3*n - g*r + 193, r + 325 = 4*n