tor of v?
True
Suppose 5*b = 3*w + 43, -w - b + 11 = 28. Let g = 22 + w. Is g a multiple of 6?
True
Suppose -1969 = -37*x + 26*x. Does 6 divide x?
False
Suppose -52 = 3*z - 2*c, -68 = 4*z + 4*c + 8. Is 8 a factor of 14/(-63) - 1336/z?
False
Let x = 391 + -251. Is 4 a factor of x?
True
Let a(i) = 9*i**2 + i. Let d be a(1). Let v be 84/d + (-2)/5. Does 19 divide v/12*(-114)/(-4)?
True
Let o(t) = -166*t - 76. Is o(-5) a multiple of 23?
False
Does 17 divide ((-357)/(-6))/(-3*3/(-18))?
True
Suppose 2*v = 4*o - 4, -4*v - o = -2*o + 1. Suppose 0 = -p + 3*f + 20, -p + f = -v*f - 28. Is p a multiple of 16?
True
Let h(m) = m**3 - m**2 - 13*m + 755. Does 5 divide h(0)?
True
Suppose -2*k = 4*s + 306, k - 2*s = -6*s - 147. Let z = k - -223. Is 19 a factor of z?
False
Let p(c) = 2*c**2 - 21*c + 5. Let x be p(19). Suppose -5*o = 3*w - 799 + 251, 0 = 3*o + 2*w - x. Is 14 a factor of o?
True
Let v(r) = -20*r - 180. Is 8 a factor of v(-29)?
True
Suppose -1495 = -101*n + 78*n. Is 5 a factor of n?
True
Does 7 divide ((-49)/(-2))/(115/4830)?
True
Suppose 4*j = -4*a, 0 + 9 = a - 2*j. Suppose -g + 4*z + 2 = 0, a*g = -z - z + 6. Is 5 a factor of (-4)/5*(-15)/g?
False
Suppose 4*b - j - 1931 - 1192 = 0, 3*b - 2331 = -3*j. Is b a multiple of 20?
True
Let j(i) = -3*i**2 + 0 - 5*i**3 + 4 + 6*i**3 - 2*i. Let n be j(3). Does 14 divide ((-144)/42)/(n/21)?
False
Suppose 61*p - 71*p = -650. Does 13 divide p?
True
Suppose 5*u + 18 = 4*s + 3*u, -5*s + 5*u + 20 = 0. Suppose q - 3*q = -6. Suppose -2*m + g - 43 = -s*m, q*m - 47 = g. Is m a multiple of 15?
True
Let h(b) = b**3 - 6*b**2 - 14*b + 9. Let i be h(9). Let k = -81 + i. Does 14 divide k?
False
Let o = 184 - 96. Let a = -33 + o. Does 31 divide a?
False
Suppose 0 = -3*s - s + 20. Let u(i) = 5*i**3 + 5*i**2 + 5*i - 1. Let z(j) = -j**3 - 1. Let m(y) = u(y) + 6*z(y). Does 6 divide m(s)?
True
Let w(q) = -q**2 - 4*q. Let y be w(-4). Suppose -2*d + 140 + 236 = 5*v, d - 2*v - 170 = y. Is 13 a factor of d?
False
Let i(f) = -f**3 + 2*f**2 + 4*f. Suppose 0 = m + 4*y + y - 12, m + 9 = 2*y. Is 7 a factor of i(m)?
False
Let l be (-2)/(-5) + (-69)/(-15). Is (-18)/(0 + (-2)/l) a multiple of 16?
False
Let l(v) = -13*v**2 - 7*v - 2 + 26*v**2 + 9*v**2 + 9*v. Is 9 a factor of l(1)?
False
Let h be 3/2 + 6612/24. Let x = 36 + h. Is x a multiple of 45?
False
Suppose -2*w + 186 - 984 = 0. Let p = w + 568. Is p a multiple of 13?
True
Is 42/(10/(-15) + 68/84) a multiple of 21?
True
Let x(n) = -n**3 + n - 10. Let c be x(-3). Suppose o - 5*h = 7, 2 = -2*o - 2*h + 4. Is o - 0 - -3*c a multiple of 14?
False
Let s(n) = n**3 + 3*n**2 - 3*n + 9. Let y be s(-4). Suppose 4*g = y*g - 44. Is 11 a factor of g?
True
Let o(k) = k. Let q be o(1). Does 8 divide 2/4*q - 279/(-18)?
True
Is 27/(-162) - 674/(-12) a multiple of 30?
False
Let t(f) = 2*f**2 - 7. Let s(o) = 9*o + 3. Let v be s(-2). Let a be (36/v)/2*-5. Is t(a) a multiple of 17?
False
Suppose o + 3*o - 20 = 0. Suppose f = 3*f + 4, 3*l = o*f - 5. Let v = 10 - l. Is 8 a factor of v?
False
Let j be -2 + (-20)/12*3. Let y(q) = -q**3 - 4*q**2 + 4*q - 4. Is 45 a factor of y(j)?
False
Let i(x) = 41*x**2 - x - 5. Let v be i(-3). Let g = v - 108. Is 22 a factor of g?
False
Let b(d) = 6*d - 9. Let c be b(-2). Is 7/c - 511/(-3) a multiple of 47?
False
Let x(y) = y**2 + 13*y - 38. Let v be x(-11). Let h = v + 78. Is h a multiple of 18?
True
Let b(d) = 25*d - 116. Does 9 divide b(23)?
True
Let s = 1247 + -515. Is 3/(-2) - s/(-8) a multiple of 16?
False
Let a = -683 + 365. Let y = a - -591. Does 43 divide y?
False
Let f be -6 + -4 + 0 + 1. Let x = 21 + f. Let m = x + -3. Is m a multiple of 8?
False
Let v(w) = 10*w**2 + 28*w - 3. Is 13 a factor of v(-9)?
False
Let u = -29 - -20. Let p be (3 + 57/u)*12. Let j = -10 - p. Is j a multiple of 10?
True
Let u(f) = -f**2 - 39*f - 109. Is 3 a factor of u(-35)?
False
Suppose -5*c + 0*j + 3*j = 0, -5*c = 3*j. Suppose 2*o + c*o + 4*a - 54 = 0, 0 = 4*o + 5*a - 96. Suppose z = f + 13, 5*z - 50 = f + o. Is z a multiple of 7?
True
Suppose -2*u + 5*g + 314 = -304, -2*g - 1236 = -4*u. Is 18 a factor of u?
False
Suppose 3*s = 4*s - 2*b + 15, -18 = 3*s + 3*b. Let w = -20 - s. Let h = w - -23. Is 6 a factor of h?
True
Suppose 0 = -2*f + 36 - 32. Is (-6)/f + -27*(-2)/2 a multiple of 6?
True
Let f(d) = -65*d - 67. Does 20 divide f(-6)?
False
Let z be 0/(-4) - (0 + 3). Let u be (2 + 1)*(z + 34). Suppose 2*c - u - 35 = 0. Does 16 divide c?
True
Let v be ((-15)/(-10) + 1)*2. Suppose -2*u = v*z - 297, -5*u + 185 + 485 = -2*z. Is 18 a factor of u?
False
Let o(z) = -20*z + 133. Does 11 divide o(6)?
False
Let m be 30/4*(-48)/9. Is (-20)/14*(m - -12) a multiple of 3?
False
Suppose 4*y = -12, 5*k + y = k - 23. Let o be (-15)/k + 3 + -2. Suppose -112 = -2*m - 4*x, -m = -o*m + x + 147. Is m a multiple of 11?
False
Let f(d) = 14*d**2 + 3*d + 41. Does 83 divide f(8)?
False
Suppose f - 4*v + 6 = -v, -4*v = -2*f - 4. Suppose 2*n = c + 13, -f*c + c - 95 = 5*n. Let i = 1 - c. Is i a multiple of 6?
True
Suppose -12*i = -3172 - 2180. Is i a multiple of 37?
False
Let x = 1713 + -1542. Is x a multiple of 26?
False
Suppose -42*d + 19*d = -40641. Is 31 a factor of d?
True
Is 29/6*40 - 96/72 a multiple of 7?
False
Suppose 4*k - 2*k - 8 = 0. Suppose 7 = 2*l + y, -k*y + 13 = -l + y. Suppose l*o - 26 - 34 = 0. Does 9 divide o?
False
Let h = 1067 + -594. Is 10 a factor of h?
False
Let h be 2*3 - (8 - 9). Suppose -a + 9 = -h. Does 16 divide a?
True
Let q(j) = 33*j**2 + 9*j + 4. Let i be q(-2). Suppose i = 3*l - 71. Is 9 a factor of l?
True
Is 4 + 270*(-3)/45*-18 a multiple of 18?
False
Suppose 3*s - 6*s = 0. Let r = 25 - s. Suppose -3*h = -2*g - r, -h - 2*g = -g. Is h a multiple of 3?
False
Let u(w) = 10*w + 116. Does 8 divide u(26)?
True
Suppose 408 = 5*k - 72. Suppose -m = 3*m - k. Suppose -5*o + 155 = -g, o - 66 = -2*g - m. Is 9 a factor of o?
False
Suppose 0 = -4*r - l + 27, -10 - 55 = -5*r + 5*l. Let i(o) = -3*o + 15. Let p be i(r). Is (-259)/p - 4/(-18) a multiple of 8?
False
Let g(v) = v**3 + 4*v + 6. Let i be g(5). Let j = i - 92. Is j a multiple of 16?
False
Let s = -88 - 4. Suppose f + 2*z + 61 = 0, 2*z - 33 = f - 3*z. Let l = f - s. Is 13 a factor of l?
True
Suppose 28*i - 26*i = 6, -3828 = -4*p + 4*i. Is p a multiple of 20?
True
Let j = 2 - 8. Let o be 1 + j/(-3) + 0. Suppose -o*t + 300 = 2*t. Is 12 a factor of t?
True
Let h(k) = k - 1. Let q be h(2). Let x = 6 - q. Suppose x*r = -0*r - 4*i + 54, -i - 74 = -5*r. Is r a multiple of 7?
True
Let p = -719 - -1031. Is p a multiple of 13?
True
Let z(f) be the third derivative of f**6/120 + f**5/30 + f**4/12 + 5*f**3/3 + 21*f**2. Does 5 divide z(0)?
True
Let m(p) = p**3 - p**2 - p - 1. Let b(w) = 2*w**3 + 5*w**2 - w - 2. Let n(f) = b(f) - 3*m(f). Does 11 divide n(7)?
False
Let g(v) = 24*v**3 + v**2 + v + 1. Let o be g(-1). Let a = o + 26. Does 2 divide a?
False
Suppose 4*g = -3*s + s - 6, -g - 2*s - 9 = 0. Let r be ((-11)/(2 - 3))/g. Let c = 22 - r. Is 4 a factor of c?
False
Let u(m) = 5*m + 102. Is u(21) a multiple of 4?
False
Let x = -195 - -360. Is 33 a factor of x?
True
Let o(w) be the second derivative of 0 + 5/6*w**3 + 2*w - 6*w**2. Is 33 a factor of o(9)?
True
Let h(a) = a**2 + 15*a - 11. Let x be h(-16). Suppose -1 - x = 3*q. Is 19 a factor of q/4 + 95/2?
False
Suppose -127*z - 33124 = -155*z. Is 13 a factor of z?
True
Let a(v) = -2 + 8 - 7 + v**2 - 6*v - 6. Let m be a(8). Let o = 65 - m. Is 17 a factor of o?
False
Suppose -2*d + 324 + 1406 = 0. Is d a multiple of 66?
False
Suppose -4*l + 48 = -4*z, -17 = -3*l + 4*z + 20. Let k = l + 13. Suppose 0*c - k = -c. Is 11 a factor of c?
False
Suppose 4*n - 20*m - 1172 = -16*m, 2*n + m - 580 = 0. Is 97 a factor of n?
True
Let x be (-1)/(-5) + (-192)/(-40). Suppose d - x*f = 87, 148 = 2*d - 0*f + 3*f. Does 9 divide d?
False
Let d = 18 + -13. Suppose -5*w = -d - 0. Let v(l) = 23*l**3 - l**2 + l. Is v(w) a multiple of 23?
True
Suppose -2*d + 15*y + 358 = 14*y, 0 = 5*d - 4*y - 892. Is 30 a factor of d?
True
Let r(z) = -6*z**2 + 12*z + 21. Let f(b) = 5*b**2 - 12*b - 21. Let q(m) = 5*f(m) + 4*r(m). Let y be q(-14). Let s = y - 238. Is 21 a factor of s?
True
Let q(v) = 3 - 8*v - 5 + 0 + 7. Is 20 a factor of q(-5)?
False
Let h(s) = s**3 - s - 2. Let p = 4 + -2. Let x be h(p). Suppose x*d - 35 = 37. Is 18 a factor of d?
T