+ 21. Suppose -n = -j*n + 65. Is n a multiple of 6?
False
Let z = 544 + -16. Is 18 a factor of z?
False
Suppose -3190 = -13*r + 3752. Does 40 divide r?
False
Let b(g) = -12*g - 6. Let s be b(-3). Suppose 13*p = 11*p + s. Let y = 39 - p. Does 17 divide y?
False
Let q = 96 + -105. Is 2 a factor of -2*(-3)/q + (-339)/(-9)?
False
Let t = -831 - -1345. Is t a multiple of 23?
False
Let q be (-15)/(-25) - 33/5. Let w(i) = -i - 9. Let f be w(q). Let c(d) = -11*d + 1. Is c(f) a multiple of 11?
False
Let k(g) = -g**3 - 7*g**2 - 5*g + 1. Let z be k(-4). Let c = 3 - z. Is c a multiple of 29?
False
Suppose 0 = 2*n - 165 - 1083. Does 16 divide n?
True
Is 3/12 + 1515/20 a multiple of 6?
False
Let y = 700 - 239. Does 25 divide y?
False
Let h = 312 - 160. Suppose 0 = -4*p + 100 + h. Does 7 divide p?
True
Suppose -g - 4*i + 124 = 0, 5*g - 440 = 2*g + 5*i. Suppose g = 5*d + 5*b, 5*d - 5*b + 2*b - 124 = 0. Is 13 a factor of d?
True
Suppose 0 = -11*x + 6*x + 1740. Does 11 divide x?
False
Let r = -15 - -19. Suppose 6*m - 8*m = r. Does 9 divide (-62)/6*(m + -1)?
False
Suppose 3*l + d - 893 = 349, 0 = -4*l - 4*d + 1664. Is 10 a factor of l?
False
Let m be 8/68 - 10398/(-51). Let y = m + -96. Is y a multiple of 4?
True
Let z = 21 + -6. Let i(f) = -f**2 + 18*f + 4. Is 30 a factor of i(z)?
False
Suppose -5*n - 241 = -4381. Does 23 divide n?
True
Let g(i) = i**3 - 9*i**2 - i + 3. Let t be g(9). Let c be 34/(-3)*(-9)/t. Is 9 a factor of c - -18 - (-8 - 0)?
True
Suppose -h + 2 = j, 5*h + 2 = 4*j + 3. Let a = 5 + j. Suppose n = a*n - 225. Does 9 divide n?
True
Let x = 21 + -30. Let j be 2*(4 + -3) + 16. Let p = x + j. Is p a multiple of 3?
True
Let i(f) = 4*f**3 - 9*f**2 - 8*f. Let s(n) = -n**3 + 3*n**2 + 3*n. Let y(c) = -4*i(c) - 11*s(c). Does 9 divide y(-2)?
True
Let v(c) = 98*c**2 - 8*c + 12. Does 30 divide v(3)?
True
Let m = 12 + -9. Let x be ((-715)/m)/5*6. Does 11 divide x/(-4) + 1/2?
False
Suppose -14 = -2*f - m, -3*f - 2*m = 2*m - 31. Suppose 4*s + f*t = 6*t + 555, -2*t = -5*s + 696. Is 12 a factor of s?
False
Suppose 0 = -4*l - 1145 + 4297. Let c = l + -440. Does 12 divide c?
True
Let z(k) = k**3 - 5*k**2 + 2*k - 4. Let q be z(5). Suppose 0 = -2*v + q*v + b - 124, 2*v = 2*b + 52. Is 10 a factor of v?
True
Let h be 4/16 + (-4413)/(-12). Suppose 5*f - 2*m - h = 0, 4*f - 80 = 3*f + 2*m. Does 22 divide f?
False
Let o = 71 + -75. Does 16 divide (9 + -15)/(o/22)?
False
Let x be -5 - (-2 - (-3 + -2)). Let n(s) = -s**3 - 7*s**2 + 9*s + 11. Let o be n(x). Is 11/((-22)/(-60)) - o a multiple of 9?
True
Suppose 0 = r + 3*r - 12. Let v = r - 0. Suppose -c + 2*a - 3 = 0, -2*a - 3 = -v*c + a. Is 2 a factor of c?
False
Suppose -31*b - 2877 = -34*b. Does 41 divide b?
False
Suppose 0 = 3*r + 2*j - 11, 5*j - 2*j - 13 = -r. Is 3 a factor of ((-104)/(-32))/(r/4)?
False
Let j(t) = -13*t - 96. Let y be j(0). Let f = y + 122. Is f a multiple of 4?
False
Let y = -765 + 980. Is 9 a factor of y?
False
Let u(x) = 2*x**3 - x**2 + 1. Let g be u(1). Suppose g*c + 0 - 18 = 0. Is c a multiple of 3?
True
Is (29 - 9/1) + -1*3 a multiple of 2?
False
Is (120/5)/4 + 91 a multiple of 4?
False
Suppose -4 - 1 = 3*a - 2*r, -2*a - 5*r = -3. Suppose -4*l + 3*w + 7 = -0*l, -3*w = -5*l + 5. Is -1 + a + 9 + l a multiple of 5?
True
Suppose 3*s + 8 = 5*v, 12 = -2*s - 2*v + 7*v. Let r be 21 + 8*2/s. Is r + ((-2)/(-1))/(-2) a multiple of 8?
True
Let k = 1925 + -1187. Does 82 divide k?
True
Suppose 0*v + 2*v - 2*c = -78, -4*v - 3*c - 128 = 0. Let o = 105 - v. Suppose 5*h + 3*a = o, -1 = h - a - 29. Is 7 a factor of h?
True
Let q be 5/1*16/40. Suppose 3*r = q*r + 10. Suppose 0 = 4*c - 0*c + 3*n - 32, 0 = 2*c + 3*n - r. Is 3 a factor of c?
False
Suppose 5*o + 5*g = g + 2, 3*o - 4 = -g. Suppose -4*v = d - 2, -3*v = -d + 2*d + o. Let q = d - -19. Is 2 a factor of q?
False
Let m(i) = 38 - 8*i + 18*i + 2*i**2 - i**2 - 11. Does 18 divide m(-9)?
True
Let l = -49 + 30. Let z = -17 - l. Suppose 125 + 101 = 4*v + z*k, 4*k + 232 = 4*v. Does 34 divide v?
False
Suppose 2*l = 6, 3 = 3*u - 8*l + 4*l. Let n = 11 + -7. Suppose u*p = n*k + 124, -4*k - 3 = -k. Is 6 a factor of p?
True
Suppose -5*l + 4 = -31. Is l*8 - 4/2 a multiple of 9?
True
Let q = -158 - -312. Is 22 a factor of q?
True
Let s(f) = 12*f**2 + 46*f + 381. Is s(-22) a multiple of 149?
False
Let y = -354 + 12. Let k = -230 - y. Suppose s = -s + k. Does 14 divide s?
True
Let g(z) = 4*z**2 + 9*z - 4. Let l = 9 - 12. Let o(i) = -i - 8. Let c be o(l). Is 16 a factor of g(c)?
False
Let p be (-36)/8*40/(-12). Let r = 57 - p. Is r a multiple of 6?
True
Is (-19 + -2)*33/9*-15 a multiple of 21?
True
Let y = -775 + 969. Is y a multiple of 3?
False
Let b(u) = -66*u - 61. Is b(-8) a multiple of 29?
False
Let v(b) = 8*b**2 + 6*b - 17*b + 12*b. Let t be (2/(-3))/((-10)/(-15)). Does 3 divide v(t)?
False
Let z(r) = r**3 + 7*r**2 + 7*r + 6. Let v be z(-6). Is -3 + (v/5 - -27) a multiple of 6?
True
Suppose -10*s + 27 = -473. Does 33 divide s?
False
Let s(i) = -13*i - 13. Let v be s(-3). Suppose -25*q + v*q = 60. Is 10 a factor of q?
True
Suppose 0 = -5*h + 4*d + 6102, 6*h - 3*h + 5*d - 3676 = 0. Is h a multiple of 26?
True
Let k = 349 - 59. Is 25 a factor of k?
False
Let v be 81/(-2)*((-8)/(-3))/(-4). Suppose 2*l + 4*t - 33 = 5*t, -5*t = 2*l - v. Does 2 divide l?
True
Suppose v = 14 - 10. Suppose 0 = x - 16 - v. Does 5 divide x?
True
Let d = -12 + 13. Let y be 8/4 + 1*-3. Is 2 + (d - 23)*y a multiple of 12?
True
Let n = 1523 + -578. Suppose -5*d = 4*d - n. Does 19 divide d?
False
Let a be ((-125)/20)/((-1)/(-4)). Suppose 5*d - 3*d - p - 93 = 0, 5*d - 210 = -2*p. Let v = d + a. Is v a multiple of 4?
False
Suppose 0 = -3*j - 3*h + 6, 0 = -j - 5*h - 4 - 2. Suppose -2*i = -0*i + 6, 4*k + j*i = 440. Is 26 a factor of k?
False
Let n = 52 + -53. Does 27 divide n - (260 - -1)/(-1)?
False
Let b be 3 - (-4 + 521 + 4). Let v = -350 - b. Is 42 a factor of v?
True
Suppose 4*w = 2*o, 4*o + 2*w = -o. Suppose 3*d + 2*d - 20 = o. Is 21 a factor of (-2)/(-4) + 146/d?
False
Let i be (-72)/3*2/(-6). Let l = i - 2. Is 8 a factor of -3*40*(-2)/l?
True
Is (300/80)/(4/1216) a multiple of 76?
True
Let j = 170 + -7. Is 16 a factor of j?
False
Suppose 93*b + 26389 = 104*b. Does 25 divide b?
False
Let s be ((-12)/(-10))/(2/10). Let c be 2 + (-12)/(-1) + (2 - 3). Let w = c - s. Does 3 divide w?
False
Suppose -22*u = -27*u + 240. Does 12 divide u?
True
Let h = -12 + 14. Let c(b) = 5*b - 3. Let u be c(h). Suppose -5*g + u*g = 36. Does 8 divide g?
False
Let v(n) = 10*n**2 - 11*n + 20. Does 4 divide v(4)?
True
Let h be 3/(-27)*3*-15. Suppose -k - 133 = -3*d, -5*d - h*k - 48 = -283. Is 12 a factor of d?
False
Suppose 0 = -26*c + 25*c - 22. Let y = 89 - c. Does 6 divide y?
False
Let v = 0 + 0. Let m(n) = 196*n**2 + 5*n + 2. Let a be m(-1). Suppose 3*q - 6*q + 3*p + 225 = v, 5*p = -3*q + a. Is q a multiple of 28?
False
Let c = -28 - 2. Let q be (-72)/c + 4/(-10). Suppose o + j = 11, 20 = o + q*j + 2*j. Is o a multiple of 3?
False
Let v = -12 + 17. Suppose -v*y - 595 = -10*y. Let u = y - 54. Does 13 divide u?
True
Let z = -29 - -33. Suppose 2*m + 308 = 5*f + 13, -z*m = f - 59. Does 35 divide f?
False
Suppose 70*n = j + 73*n - 818, -j + 813 = 2*n. Does 39 divide j?
False
Let n = 408 - 268. Is n a multiple of 22?
False
Let h = -2 - -4. Let y(c) = -3 - 33*c - 4*c**2 - c**3 + 30*c + 6*c**h. Does 7 divide y(-2)?
False
Let g(l) = -l**3 - 42*l**2 + 81*l - 34. Is g(-44) a multiple of 17?
False
Suppose 2*l + 165 = 431. Is l a multiple of 19?
True
Let o = 154 - 27. Suppose g + 218 = 5*k, 2*k + g + 37 - o = 0. Is 17 a factor of k?
False
Suppose -4*i + 6 = -i. Let a(q) = -q**3 + 3*q**2 - 2*q. Let d be a(i). Suppose d*p + 205 = 5*p. Is 19 a factor of p?
False
Suppose 3*b - 6197 + 1615 = -2*y, 3*b + 3*y = 4578. Is b a multiple of 5?
True
Let q be (-1)/(((-28)/(-12))/7). Does 33 divide 6/9 + (-370)/q?
False
Let r(c) = c**2 + 24*c + 24. Is 57 a factor of r(12)?
True
Let f be (0 + 2)/((-5)/(-50)). Suppose -20 - f = -2*i. Is 4 a factor of i?
True
Suppose -17 + 7 = -5*m. Suppose -15 = -d - m*d. Let x(l) = l. Is x(d) a multiple of 3?
False
Let c(x) = 2 - x**3 + 4*x - 1 - 9*x - x - 6*x**2. Let p be c(-6). Let t = -25 + p. Does 12 divide t?
True
Suppose -14*o + 4468 - 268 = 0. Does 4 divide o?
True
Suppose -3*r + 5*r + 1744 = 4*o, 3*r + 2179 