(f) = f**3 + 4*f**2 - f - 2. Suppose -3*q = -7*q - 12. Is l(q) a multiple of 5?
True
Let m be (1/2)/((-2)/(-208)). Suppose -4*a + 32 = -4*w, 3*a = -2*w - 2*w + m. Is a a multiple of 6?
True
Let o = -53 + 57. Suppose -o*y = -9*y + 800. Is 20 a factor of y?
True
Let v = 80 - 9. Does 4 divide v?
False
Let z(c) = -86*c + 1. Let s = 20 + -21. Let m be z(s). Suppose -4*w = -3*l + m, 2*w = -4*l + 7*l - 81. Is 13 a factor of l?
False
Suppose 762 = 6*n - 498. Is 21 a factor of n?
True
Suppose -5*x = -x - 72. Is 6/x - 214*(-4)/6 a multiple of 13?
True
Suppose 0 = 35*o - 665 - 385. Is 3 a factor of o?
True
Is 113*(33 + (6 - 11) - 6) a multiple of 62?
False
Let n be (96/40)/(2/360). Suppose 576 = 4*c - 5*i, -2*c - c - 5*i + n = 0. Is 18 a factor of c?
True
Let p(a) = 9*a**2 + 50*a + 453. Is p(-11) a multiple of 59?
False
Suppose 0 = t - 2*j - 4, 8 = -2*j. Let v be (9/(-2) - t)*-186. Suppose -v = -5*l + 87. Is 36 a factor of l?
True
Let s be (-22)/(-5) - (-2)/(-5). Suppose -3*u + 109 = 3*w - 2*w, 0 = -w + s. Suppose 5*h + 0*t - 107 = -4*t, -u = -2*h + t. Does 7 divide h?
False
Let y be (-2)/(((-8)/6)/(-4)). Let o = y - -91. Suppose -5*n = -5*b - o, 0*b - 2*b = n - 17. Does 13 divide n?
False
Suppose -5*h + 65 = -0*h. Let t = 25 - h. Is t a multiple of 4?
True
Let q(l) = l**2 + 5*l. Suppose 2*u - 8*i - 8 = -3*i, -5*u - 3*i + 20 = 0. Suppose -u*m - 21 = -m. Does 12 divide q(m)?
False
Let l(t) = t**2 + t - 1. Let x be l(-3). Suppose -m + x = -n - 6*m, 0 = -n + 3*m + 35. Is 13 a factor of n?
False
Let f(k) = 48*k + 66. Is 30 a factor of f(8)?
True
Let h = 373 + -220. Is 20 a factor of h/85*(-1 - -66)?
False
Let m(i) = 5*i + 22. Let c be m(-4). Suppose -7*z - 3*y + 501 = -c*z, 5*z - 5*y - 485 = 0. Does 8 divide z?
False
Let n(w) = -5*w + 219. Is n(-6) a multiple of 12?
False
Let j(h) = -1 + 3*h - 2*h**2 - 7 + 4 + 5*h**2. Let m be j(-3). Suppose 0 = -u + 2*u - m. Is 14 a factor of u?
True
Let f = -8 + 14. Suppose 31 - 5 = g. Suppose -2*u + g = 2*m, 2*m - f = -3*u + 29. Is u a multiple of 9?
True
Let g be 26/13 + 117 + 1. Let s = 12 + -7. Suppose -g = -s*l + l. Is l a multiple of 8?
False
Let d = -56 - -925. Is d a multiple of 79?
True
Let g = 11 + -7. Let i be -1*(g/(-2) + -65). Let k = i + -41. Does 13 divide k?
True
Let n be (8/(-3))/((-1)/3). Let y be 76/n*(-4 + -2). Let x = -1 - y. Does 14 divide x?
True
Let f(m) = 2*m**2 + 2*m - 1. Let p be f(-3). Is (16/5)/(p/330) a multiple of 25?
False
Let d(b) = 6*b**2 + 7*b + 1. Let q(t) = -t**3 - 6*t**2 - 6. Let l be q(-6). Let k be d(l). Suppose 2*w + 3*h - 5*h = 120, 3*w - 4*h = k. Is 13 a factor of w?
True
Suppose -2*j = -4*j + 4. Suppose -j*l = -4*l + 8. Suppose -l*y = -59 - 149. Is 11 a factor of y?
False
Suppose -a + 42 = -0*a - 5*s, -2*a + 60 = 2*s. Let d = 98 + a. Does 10 divide d?
True
Let m = 0 - -10. Let q be (88/(-10))/(m/100). Let f = -48 - q. Is f a multiple of 22?
False
Suppose 0 = 3*k - 3*t - 18423, 5697 = 4*k - 3*t - 18863. Does 17 divide k?
True
Let u(t) = 14*t + 12. Is u(15) a multiple of 14?
False
Suppose -3*c = -4*w - 30 - 3, 3*c = -5*w + 60. Suppose -14*b - c = -17*b. Is (0 + 1)/(b/145) a multiple of 6?
False
Let z be (1 + (-12)/8)/(4/592). Let q = z - -112. Does 4 divide q?
False
Let g = -6 - -8. Let a(r) = -17*r**3 - 30*r**2 + 4*r + 11. Let t(y) = -3*y**3 - 6*y**2 + y + 2. Let k(i) = 2*a(i) - 11*t(i). Does 10 divide k(g)?
True
Let w(p) = p**3 + 8*p**2 - 11*p - 11. Let c(d) = 2*d**3 + 16*d**2 - 23*d - 22. Let x(f) = 3*c(f) - 7*w(f). Let z be 14*4/(-4) + 5. Is 4 a factor of x(z)?
True
Let j(m) = m**3 - 5*m**2 - 8*m + 6. Let d be j(6). Let w = 14 + d. Is 11 a factor of (29*1)/(w/24)?
False
Suppose 4*f = -f + 780. Is 4 a factor of f?
True
Suppose 463 = a + 3*x, -12*x + 14*x = -5*a + 2354. Does 46 divide a?
False
Let l(q) be the third derivative of q**5/30 - 5*q**4/6 + 19*q**3/3 + 31*q**2. Is l(14) a multiple of 30?
True
Suppose -168 = -2*g + 6*g. Is 3 a factor of (6 + -8)*g/4?
True
Let n(c) = c**3 - 5*c + 504. Is 46 a factor of n(0)?
False
Let m be (5/(-10))/((-2 + 3)/12). Let t(r) = 3 - 13*r - 3*r - 4. Does 12 divide t(m)?
False
Let s(p) = -2*p + 9. Let v be s(5). Let i be ((-1)/v)/(2 + -3). Does 14 divide (-2028)/(-24) - i/(-2)?
True
Suppose 3*n - 832 = -n. Suppose 0 = 7*x - 3*x - n. Suppose x = 3*z - 74. Does 16 divide z?
False
Let u = -41 - -41. Suppose -115 = -4*v - 5*n + 34, -3*v - 5*n + 113 = u. Is v a multiple of 12?
True
Let f be 2/(-4)*-3*(-32)/(-12). Suppose 20 = 2*i - 4*n, -2*i + f*n + n + 21 = 0. Does 4 divide i?
True
Suppose -5*u + 82 = -2*y, 3*y + 38 = 3*u - y. Suppose i + 6 = 2*b - 2, -5*b = 3*i - 42. Let n = b + u. Is 17 a factor of n?
False
Suppose 7*j - 1079 = 2155. Suppose -s = -8*s + j. Is 11 a factor of s?
True
Let r(x) = -x - 2. Let h be r(1). Let t be (-28 + 4)/(2 + h). Suppose m = t + 26. Does 22 divide m?
False
Let u be 12/(-54) - (1 + (-114)/27). Let b be ((-6)/4)/(6/(-248)). Suppose 4*w - b = 2*c, -3*c = u*w - 0*w - 42. Is 5 a factor of w?
True
Let i(v) = v**3 - 4*v**2 + 24*v - 51. Does 22 divide i(7)?
True
Let g(f) = 5*f + 1 + 0*f**3 - 6*f**2 + f**3 - 2*f**3. Let o be 77/(-11)*(1 + 0). Does 5 divide g(o)?
True
Let k be 0/(-1) - 177/(-3). Suppose -169 - k = -12*h. Is h a multiple of 2?
False
Let p(c) = c**2 - 7*c. Let w be p(-6). Let y = w + -42. Does 12 divide y?
True
Suppose -37 + 3 = -2*v. Suppose 2*y + 0*t - 3*t + 1 = 0, y + 2*t - v = 0. Is 3 a factor of y?
False
Let g(v) = v**3 + 17*v**2 + 15*v - 14. Let k be g(-16). Suppose 23 + k = 5*p. Suppose -166 = -p*s - 4*o + 285, 3*o + 75 = s. Does 29 divide s?
True
Suppose -5*v + 0*r + r + 10 = 0, 16 = 2*v + 2*r. Suppose -3*l + 1 = -2, 0 = -5*u - 3*l + v. Suppose u = f - 50 - 26. Does 36 divide f?
False
Suppose 5*y - 436 = -4*u, -y - 2*u - 2*u + 84 = 0. Suppose y = x + 44. Does 8 divide x?
False
Let q(x) = x**2 - 7*x + 18. Let n be q(6). Let m = n - -24. Does 7 divide (-3)/(-18)*3*m?
False
Let n be (-2 + (-21 - 1))*-2. Let r be ((-6)/4)/((-8)/n). Suppose 63 = 4*o - 5*p, -4*p - r = -p. Is 4 a factor of o?
True
Let g(l) = l**3 - 17*l**2 + 21*l - 40. Is g(16) a multiple of 3?
False
Let v be -14*(-2)/(-8)*-6. Let j be 14/4*12/v. Is 16 a factor of 30 - (j + -2) - -2?
True
Let u(o) = o + 3. Let n(m) = m**2 - 8*m + 5. Let c be n(6). Let g be u(c). Does 5 divide g*(9/(-4) - 3)?
False
Let b = -97 - -277. Suppose -4*g - 19 + 475 = 0. Let f = b - g. Is 22 a factor of f?
True
Suppose -3*u + 12 = 0, 2*b - 2063 = -5*u + 345. Is 36 a factor of b?
False
Let l = -1 - 2. Let m be -2*l/((-3)/(-14)). Does 9 divide 7/m - (-118)/8?
False
Let f(n) = -n**2 - 14*n - 15. Let g be f(-12). Suppose g*o - 2 = 10*o. Let d(q) = 9*q**2 + q + 2. Is 12 a factor of d(o)?
True
Is 16/(-176) - 77444/(-44) a multiple of 20?
True
Suppose 0 = -4*s + 1073 - 225. Is s a multiple of 53?
True
Suppose -2*b - 28 = -6*b. Suppose 555 = b*a - 26. Is a a multiple of 6?
False
Suppose 6*g = -4*g - 10. Let l(h) = 19*h**2 + h. Is l(g) even?
True
Suppose 13239 - 2928 = 7*u. Is 7 a factor of u?
False
Let p(j) = 4*j**2 + 5*j - 5. Suppose 3*t - t = 4*x + 32, 0 = x + 5*t + 30. Let r be 2/(0 + x/(-15)). Is p(r) a multiple of 15?
False
Suppose -29*l + 1980 = -17*l. Does 11 divide l?
True
Let j = -74 + 59. Does 20 divide (-1190)/j*9/6 - 2?
False
Suppose -w - 1 = 2*z - 4, -w = 4*z - 11. Suppose z*h - 53 = 3. Suppose 60 = h*q - 12*q. Is q a multiple of 10?
True
Does 48 divide 28/70 + -1 + (-10089)/(-15)?
True
Suppose 0*p - 8 = 2*g - 2*p, 0 = -3*p - 12. Suppose 2*c + 0*c = -3*q + 11, -q = -5*c + 53. Let l = c - g. Is l a multiple of 9?
True
Let o(w) = w**2 - w + 90. Let n(t) = 7*t + 35. Let s be n(-5). Is 18 a factor of o(s)?
True
Suppose 12*k = 15*k + 27. Let g = 7 - k. Is 7 a factor of g?
False
Does 14 divide 1/(66/7854*1/2)?
True
Let b = 264 + -39. Does 45 divide b?
True
Let c be (-760)/(-6) - (-19)/57. Suppose -17 + c = 2*q. Does 16 divide -3 - (3 + (4 - q))?
False
Let c be 3/(-12)*2 - 42/(-4). Suppose -2*k + c*k - 944 = 0. Does 7 divide k?
False
Let b = 300 + -237. Is b a multiple of 25?
False
Let l be 25/3 - (-2)/(-6). Suppose 1 + l = 3*d. Suppose 2*o = -d*o + 85. Is o a multiple of 17?
True
Suppose -482 - 72 = -f. Suppose 3*m + 4*g - f = -0*m, 5*m - 918 = -4*g. Is 26 a factor of m?
True
Suppose 5*g = 2*s + 2155, 0 = 3*g + 4*s - 9*s - 1312. Does 14 divide g?
False
Suppose 0*r - 