120 = 3*f. Does 6 divide z?
True
Let l(w) = w**2 - 5*w - 9. Let k(o) = 3*o - 5. Let h be k(4). Does 5 divide l(h)?
True
Suppose -k - 2*k = -6. Let f(u) = -u**2 + 3*u + 1. Let z be f(k). Suppose z*g = -g + 228. Does 22 divide g?
False
Let w = 31 - 31. Let g = -2 - -7. Suppose -3*d = -3*s + 66, -4*s = -w*d - g*d - 87. Is s a multiple of 20?
False
Suppose 3*s - 831 = 3*t, -5*s + t + 1381 = -3*t. Does 41 divide s?
False
Let r(q) = -3*q**3 + q**2 + q. Let t be r(-1). Let h(d) = d - 1. Let c be h(t). Suppose -25 = -c*o - 3*o. Does 3 divide o?
False
Suppose -72 = -5*z + 48. Does 11 divide z?
False
Let d = 200 + -152. Is 6 a factor of d?
True
Let y(q) = 244*q + 5. Is y(1) a multiple of 10?
False
Let p(r) = r**3 - 12*r**2 - r + 13. Let v be p(12). Let c = v - -26. Is c a multiple of 14?
False
Let k(y) = -y**3 + 5*y**2 + 4*y - 5. Let w be k(4). Let f be w*2 + (-1 - 1). Is 2/3*(-4 + f) a multiple of 11?
False
Suppose 5*r + 3*j = 190, 0 = -3*r - r + 4*j + 120. Does 11 divide r?
False
Suppose 2*q + 2*i - 50 = 0, 5*i + 26 = 2*q - 17. Does 12 divide q?
True
Suppose 2*b + 34 = -0*b. Let z = -8 - b. Does 5 divide z?
False
Suppose 4*s - 4*b + 8 = 0, 7 = -4*s + 5*b - 6. Suppose -4*y = 2*z - 154, 3*y - 132 = z + s*z. Does 27 divide y?
False
Let f(h) = 4*h - 3. Let a be f(-3). Does 5 divide ((-48)/a)/((-4)/(-10))?
False
Is 5 a factor of 47 + (-5)/(10/(-6))?
True
Suppose -4*q = -q - 150. Is q a multiple of 5?
True
Let f(o) = o**2 - 4*o - 6. Let p be f(6). Let k(x) = -6*x + p - 4 + 4*x**2 + x**3 - 6 + 0. Does 14 divide k(-4)?
False
Let o(h) = 7*h - 28. Is 7 a factor of o(5)?
True
Suppose -5*w - 7 = -3*m, 0*m - 4*m + 5*w + 11 = 0. Suppose -m*d = -d - 21. Is d even?
False
Suppose 4*c - 177 = c. Does 16 divide c?
False
Let l(u) = u**2 - 11*u + 3. Let i be l(7). Let g = i + 62. Does 14 divide g?
False
Does 10 divide 3*-65*(-2)/6?
False
Let k(n) = n + 33. Is k(0) a multiple of 11?
True
Suppose -3*f - 3*h + 2*h + 145 = 0, f - 5*h - 43 = 0. Does 8 divide f?
True
Let u(p) = 3*p + 1 - 5*p + 3*p. Is 10 a factor of u(9)?
True
Suppose 6*t - 57 = 177. Does 13 divide t?
True
Suppose -4*s = a - 16 - 20, 0 = 5*a - s - 117. Is a a multiple of 6?
True
Let h be ((-4)/(-5))/(2/20). Let j(o) = -o + 24. Let c be j(7). Let k = c - h. Is 9 a factor of k?
True
Let x(l) = -l**3 + 4*l**2 - 3*l + 3. Let i be x(3). Is 8 a factor of (i/(-2))/(18/(-192))?
True
Suppose -5*a + 3*w = -w + 10, -3*w = -5*a - 15. Let c = -3 - a. Suppose -2*v = 5*z - 34, 0*z - c*z - 50 = -2*v. Is v a multiple of 11?
True
Let r(b) = 2*b**2 - 2*b - 4. Let y be r(3). Suppose y*l - 3*l - 10 = 0. Is 4 a factor of l/4*2*5?
False
Let r(i) = -2*i**2 - 3*i - 3. Let a(u) = -3*u - 7 + 8*u**2 - 13*u**2 - 2*u. Let b(c) = -4*a(c) + 9*r(c). Is 21 a factor of b(6)?
False
Let f(y) = y**3 - 3*y**2 + 2*y - 6. Does 4 divide f(4)?
False
Let h = -142 - -310. Is h a multiple of 21?
True
Let r = 98 - 52. Does 20 divide r?
False
Suppose h = 48 - 10. Is 19 a factor of h?
True
Let l(g) = -g**3 - g**2 + g + 4. Let y be l(0). Suppose -y*q - i + 26 = -0*q, -2*q - 5*i + 22 = 0. Does 3 divide q?
True
Does 4 divide (-4)/(12/(-69)) - 1?
False
Let k(u) = -3*u**3 - 2*u**2 - 2*u - 1. Let l be k(-1). Let h = l + 1. Suppose 8*p - 95 = h*p. Is p a multiple of 10?
False
Let i = -7 + 4. Let p be ((-4)/i)/(-4)*-3. Suppose c = 5*g - 19, 2*c - 8 + p = g. Is 6 a factor of c?
True
Let v(t) = t**2 - 4*t + 6. Let y be v(3). Suppose 53 = y*x - 76. Does 11 divide x?
False
Suppose -6 = -2*q + 2*f - f, q = -5*f + 3. Suppose q*h - 14 - 32 = -5*s, 4*h = 5*s - 67. Does 4 divide s?
False
Let a = -8 + 14. Is a a multiple of 6?
True
Let i = 2 - 3. Let l = 5 - i. Does 6 divide l?
True
Let n = 223 + -111. Suppose 29 = 3*a - n. Is 16 a factor of a?
False
Let l(y) = y - 3. Let a be l(-7). Let q = a - -17. Does 3 divide q?
False
Let r(s) = s**2 - 6*s + 6. Let b be (-6)/15 + (-74)/(-10). Is r(b) a multiple of 13?
True
Let x = 197 - 114. Does 21 divide x?
False
Let i = -1 - -6. Let z be (1 + (-3)/2)*0. Suppose -i*h + 20 = -z*h. Does 2 divide h?
True
Let k(v) = 3*v**3 - 32*v**2 - 23*v. Let i(n) = n**3 - 11*n**2 - 8*n. Let u(p) = -17*i(p) + 6*k(p). Let r be u(6). Suppose -t + r = -0*t. Is 12 a factor of t?
True
Is 1/7 + (-627)/(-21) a multiple of 6?
True
Let w = -58 - -310. Does 36 divide w?
True
Let h(v) = v**2 + 3. Let l be h(5). Suppose -z = 11 - l. Let p = z - -3. Is 10 a factor of p?
True
Suppose -4*w + 24 = 3*p - w, -2*w + 26 = 3*p. Suppose 2*j - p = -z - j, -3*j = -z + 22. Let y = 48 - z. Is y a multiple of 16?
True
Let o(z) = z**2. Let l(w) = -6*w**2 - 8*w + 11. Let s(k) = -l(k) - 5*o(k). Is s(-10) a multiple of 5?
False
Let r(p) = 12*p - 3. Let o = 5 - 1. Is r(o) a multiple of 15?
True
Suppose 0 = 2*b - 4*b - 4*x + 520, 2*b - 520 = 2*x. Suppose 4*u + 260 + b = 4*c, 2*c - 275 = -u. Suppose 0*y = -5*y + c. Is y a multiple of 27?
True
Suppose -5*t + 2*t - 250 = -5*v, v + 2*t - 37 = 0. Is v a multiple of 3?
False
Suppose -3*f + 3 = 3*r - 0, -19 = -4*r + f. Suppose -4*i + 128 = r*s, -4*s = i + 2*i - 126. Is 15 a factor of s?
True
Let g be (-47)/(-5) + 4/(-10). Let o = g + -8. Is 6 a factor of ((-20)/(-1) + -2)/o?
True
Is 10 a factor of (8 - -12)/((-2)/(-5))?
True
Is 55 a factor of 4/10 - 1198*(-4)/20?
False
Let s = 164 - 121. Is s a multiple of 4?
False
Suppose -2*a - 4 = 2*a. Let g be -1*(2*a + 15). Let c = -8 - g. Is 3 a factor of c?
False
Let i(c) = -20*c**3 - 2*c**2 + c - 1. Let x(a) = 41*a**3 + 5*a**2 - 2*a + 2. Let b(h) = -5*i(h) - 2*x(h). Is b(1) a multiple of 9?
True
Let t(l) = l**2 + 7*l + 8. Let v(h) = h + 1. Suppose -4*f - 24 = -0*f. Let p(m) = f*v(m) + t(m). Is p(5) a multiple of 16?
True
Let m be ((-18)/(-15))/((-1)/(-5)). Let j be 7/3 - (-4)/m. Suppose 4*g = -4*l - g + 40, 12 = -j*g. Does 5 divide l?
True
Suppose c = -2*c + 15. Let l = -2 + c. Suppose 0 = -3*o + 2*t + 33, l*o - 4*t = 2*o + 1. Is o a multiple of 9?
False
Suppose 0 = -5*o + g - 5, -4*g - 11 + 1 = -5*o. Let z(h) = -h + 2. Let i be z(o). Suppose 0*p + 143 = 5*d - i*p, p - 52 = -2*d. Is d a multiple of 9?
True
Suppose 3*p - 33 = -0*p. Let q(d) = -d**3 + 11*d**2 + 4*d + 8. Is q(p) a multiple of 13?
True
Let d(r) = -r - 5. Let t be d(-5). Let q(h) = -4 - 6*h**2 + 5*h**2 - 7*h + t. Is q(-3) a multiple of 3?
False
Let l(t) = -10*t - 9. Is 30 a factor of l(-4)?
False
Let z = 16 - -23. Suppose 2*b - z = b. Does 13 divide b?
True
Let h(l) be the third derivative of l**4/8 - 3*l**3/2 - 3*l**2. Does 11 divide h(8)?
False
Let i(g) = -g + 10. Let u = 1 - 1. Is 10 a factor of i(u)?
True
Suppose -2*u - 416 = -6*u. Is 35 a factor of u?
False
Let f(w) = -4*w - 2. Let u be f(-7). Does 19 divide (-3)/1 - (4 - u)?
True
Let d = -15 + 25. Let n = 21 - d. Is 3 a factor of n?
False
Let b = 146 + -98. Does 16 divide b?
True
Let a(x) = x**2 - 15*x + 8. Let y = 35 - 19. Does 24 divide a(y)?
True
Suppose -s + 3 = 2, 5*q + s = 81. Suppose 19*y - 39 = q*y. Is 12 a factor of y?
False
Suppose 2*w - 14*w = -432. Is w a multiple of 33?
False
Suppose -4*n - 2*j - 19 = 3*j, 2*n = 3*j - 37. Let l = 1 - n. Does 11 divide l - ((-6)/(-3) - 1)?
True
Let x(s) = 2*s**2 - 29*s + 27. Does 19 divide x(20)?
True
Let r(i) = i**3 - 3*i**2 + 7*i - 1. Does 11 divide r(6)?
False
Let b = -73 - -113. Does 19 divide b?
False
Let t(o) = -o**2 + 5*o - 2. Let f be t(5). Let d be -6*(2 + 5/f). Suppose 21 + 12 = d*s. Is 9 a factor of s?
False
Let q be (-2)/(-1)*(1 - -1). Suppose 9 = 4*x + 2*i + 3, -q*x + 10 = -2*i. Is 2 a factor of x?
True
Suppose -4*b + 3*c = 6*c - 15, 10 = -b + 2*c. Let i = b + 0. Let k(j) = -j**3 + j + 13. Is k(i) a multiple of 7?
False
Let m be 4/(-6) + 99/27. Suppose m*g = -2*g + 140. Is g a multiple of 13?
False
Suppose i - 8 = -3*i. Is ((-20)/25)/(i/(-45)) a multiple of 13?
False
Let v(w) = -3*w + 3. Let d(q) = -4*q + 2. Let x(h) = 2*d(h) - 3*v(h). Let y be ((-20)/7)/(12/(-42)). Is x(y) a multiple of 2?
False
Let x be 2/8 + 15/4. Suppose 73 = x*m - 59. Is m a multiple of 11?
True
Let h(f) = 34*f - 7. Does 28 divide h(2)?
False
Suppose v - 5*j = 38, -95 - 158 = -5*v + 4*j. Is (0 - 2) + 3 + v a multiple of 14?
False
Suppose 0*w - 98 = -2*w - 3*p, 5*w - 245 = p. Let t = -5 - -5. Suppose -3*q + 3*l - 2*l = -w, -4*q + 2*l + 66 = t. Is 12 a factor of q?
False
Let y = 202 + -139. Is 14 a factor of y?
False
Let y be (1 - 11)/((-20)/10). Suppos