ue
Suppose -2 = -5*m - 2*z, 3*m = -m - 5*z - 12. Suppose 18 = m*a + a. Suppose -14 - a = -5*q. Does 4 divide q?
True
Let y = 129 - 127. Suppose -g - y*t = -206, g + 4*g = 2*t + 970. Is 28 a factor of g?
True
Suppose -3*j + 8 = -5*j, -3*i - 4*j - 4759 = 0. Does 24 divide 6/4 - i/34?
True
Let o(w) = -w**2 + 8*w. Let k = -6 + 34. Let g be (21/k)/((-1)/(-8)). Is o(g) a multiple of 6?
True
Let d be (-6*(-8)/12)/2. Suppose -10*q + 14*q = 152. Does 19 divide q*(4/2)/d?
True
Let s = -4067 + 7263. Does 17 divide s?
True
Does 7 divide (1*-4 - 0) + (11 - -77)?
True
Let m = 888 + -48. Does 70 divide m?
True
Let y(d) = d**2 - 14*d + 16. Is y(18) a multiple of 11?
True
Suppose -u - 9280 = -33*u. Is 37 a factor of u?
False
Let u(m) = 26*m + 34. Is u(20) a multiple of 55?
False
Suppose -2*c - 724 = -1940. Is 16 a factor of c?
True
Let h(t) = 7*t - 8. Let m be h(5). Let r = 2 + m. Is 3 a factor of r?
False
Let y = -184 - -324. Does 10 divide y?
True
Let u(l) = l**3 - 4*l**2 + 3*l + 2. Let z be u(3). Suppose -2*j - z*j - 260 = -4*g, 0 = g + 2*j - 50. Is (26/(-8))/((-5)/g) a multiple of 13?
True
Suppose -2586 = 52*s - 46318. Does 29 divide s?
True
Let y(q) = -4*q**2 + 2*q - 3. Let d be y(2). Let m = d + 4. Let z = m - -28. Is 17 a factor of z?
True
Let n(f) = f + 3*f + 7*f**2 - 9*f + 1 + 3*f + f**3. Let v(t) = t**3 - 6*t**2 + 5*t - 6. Let b be v(5). Does 10 divide n(b)?
False
Suppose 25*p = 23*p + 32. Is 10 a factor of p?
False
Let p = -13 - -65. Suppose 652 = 5*h + p. Suppose -4*z - z = -h. Is z a multiple of 9?
False
Suppose 3*t - 3*y = 546, -y + 5*y = -2*t + 340. Is 2 a factor of t?
True
Is 8 a factor of -195*((-189)/(-45))/(-7)?
False
Let z be -54*-1*42/9. Let w = 400 - z. Is 42 a factor of w?
False
Let o be 70/30 - (-1)/(-3). Is -2*21*o/(-4) a multiple of 21?
True
Let m(s) = -s**3 - 12*s**2 - 11*s - 3. Let b be m(-11). Let u = -26 - b. Let j = 41 + u. Is 9 a factor of j?
True
Let z be (11 - 13)*(-30)/4. Suppose -b = d - 14 - z, -10 = 2*b. Does 17 divide d?
True
Let x = -178 - -997. Does 7 divide x?
True
Let l = 3 - -372. Does 25 divide l?
True
Let c be (-1 - (2 + -2))/(14/28). Let j(q) = -21*q - 14. Does 3 divide j(c)?
False
Is 36/24*(8600/(-15))/(-1) a multiple of 20?
True
Let g(o) = 245*o - 58. Does 37 divide g(2)?
False
Let h = -531 + 968. Does 19 divide h?
True
Let c = -171 - -358. Is 11 a factor of c?
True
Let t(r) = r**3 - r**2 - 2*r + 2. Let k be t(1). Let p(c) = c + 24. Is 3 a factor of p(k)?
True
Let m(z) = z**3 - 1. Let p be m(1). Let x(w) = -w - 2. Let s be x(p). Does 18 divide ((-33)/s)/(3/6)?
False
Let p(k) = 13*k**3 - 13. Does 52 divide p(4)?
False
Let x = -168 + 286. Is 15 a factor of x?
False
Suppose -4*u - u + 2*b + 18 = 0, u + 18 = -5*b. Suppose u*y = 3*f - 1, 4*f = y - 0 + 8. Suppose -2*n - 5 = -f*n. Is 5 a factor of n?
True
Let d be (-1)/(((-24)/(-28))/(-6)). Suppose -65 = 2*f - d*f. Is 9 a factor of f?
False
Let t(v) = 19*v + 1. Let m be (-4 + -5 + -1)/(-2). Does 10 divide t(m)?
False
Let x = 18 - -5. Let i = 63 - x. Is 8 a factor of i?
True
Suppose 3*l - 5*s = -l - 15, 4*s = 12. Suppose l = -8*t + 6*t + 8. Let g(b) = 12*b + 9. Is g(t) a multiple of 17?
False
Let v be 0/(4 + (-7 + -2 - -3)). Suppose v = -9*c + 1 + 134. Does 6 divide c?
False
Let f = 47 + -45. Does 12 divide (f - (-1 + 1)) + 75/1?
False
Let m(l) = -l**2 + 9*l + 9. Let u be m(9). Let v be (u + -19)/((-4)/38). Let t = 176 - v. Does 27 divide t?
True
Let j = 5 - 0. Let a = 6 - j. Suppose 3*s - 41 = a. Is s a multiple of 14?
True
Let q = 1312 - 1262. Is q a multiple of 13?
False
Let c(i) = i + 104. Let l be c(0). Is 35 a factor of -1*(-2 + l*-1)?
False
Is 47 a factor of 684/798*(-5306)/(-3)?
False
Let y(s) = s - 1. Let x(t) = -2*t + 3*t - 1 + 0*t**2 + 2 - t**2. Let m(u) = -x(u) - y(u). Is 3 a factor of m(-2)?
False
Let g(z) = -z**3 + 9*z**2 - 7*z - 5. Suppose -100 = -4*l - q, -5*q = 2*l - 7*l + 100. Suppose 2*b = -2*b + l. Is g(b) a multiple of 21?
False
Does 16 divide 1/(-3) - (-9933)/99?
False
Is (24/(-72))/(2/(-20))*351 a multiple of 18?
True
Suppose -228 = 8*n + 300. Let q = 227 + n. Is q a multiple of 7?
True
Let d = 3 + 12. Let g = -9 + d. Let v(u) = 4*u + 1. Is 9 a factor of v(g)?
False
Does 42 divide ((-7158)/9)/((-4)/6)?
False
Let h = 50 - 19. Let d = -9 + h. Suppose -4*j = -d + 2, -5*x + 70 = 4*j. Is 5 a factor of x?
True
Suppose n - 99 = -2*v, 5*v + 2*n = 320 - 70. Is 2 + (-3)/(-6)*v a multiple of 25?
False
Suppose 12 = 3*b - 12. Suppose 2*n - n = b. Suppose -t + n = -0*t. Is 4 a factor of t?
True
Let r(a) = a**2 - a + 3. Let b be r(-3). Let c(m) = m**3 - 7*m + 1 + 0*m - 3*m + b - 10*m**2. Does 5 divide c(11)?
False
Let g(n) = n + 3. Let y be g(7). Suppose -5*v + 0*x = -2*x - y, 4*x - 4 = -2*v. Is (1/v)/((-3)/(-444)) a multiple of 24?
False
Let s = 147 - 83. Suppose -3*v - 2*u = -s - 10, v - 42 = -5*u. Is 10 a factor of v?
False
Let n(i) = -2*i**3 + 92*i**2 - 82*i**2 + 13*i + 3*i**3 + 16 - 6. Is 24 a factor of n(-8)?
False
Let f(v) = -v + 8. Let g be f(14). Is 7 a factor of 13 - g - 2*-1?
True
Suppose -2*m + 5*q = -34 - 572, 618 = 2*m + q. Does 14 divide m?
True
Suppose 3*m - 4*o - 615 - 1707 = 0, -5*m = 3*o - 3870. Does 6 divide m?
True
Let q(p) = -p**3 + 11*p**2 + 2*p - 16. Let a(j) = j**2 + 12*j - 17. Let h be a(-14). Let t be q(h). Suppose t*m = m + 170. Is 14 a factor of m?
False
Is 14 a factor of 12/(-6) + 5 - -95?
True
Let q = -152 - -154. Is 6 a factor of (-13 - q)*((-6)/3 - 0)?
True
Suppose 23*b + 3371 = 8684. Does 2 divide b?
False
Suppose -4*a - 3*m = -28, 0 = -4*a + 2*m + m + 4. Suppose -a*n + 720 = -n. Suppose 3*q - n = -q. Is 12 a factor of q?
True
Let t = -11 + 16. Suppose t*i - 106 + 26 = 0. Is 4 a factor of i?
True
Let m = -33 - -23. Let z(w) = -799 - 5*w + 799 + 3*w. Does 20 divide z(m)?
True
Let o = -449 + 1886. Does 104 divide o?
False
Suppose -k - 22*s + 145 = -21*s, 0 = 2*s + 8. Is k a multiple of 7?
False
Let f(r) = -2*r**2 - 24*r - 6. Let i be f(-12). Does 17 divide (21/i - -4)/(3/918)?
True
Let f = -32 - -17. Let o = f + 18. Suppose -o*g = -88 - 188. Is g a multiple of 17?
False
Let h be (8/(-16))/((-3)/(-240)). Is 12 a factor of h/12*(-2 - 16)?
True
Suppose -5*n + t = -230, -4*n + t + 172 = -12. Let k = n - -2. Let w = k + -27. Does 7 divide w?
True
Let p = -40 + 40. Suppose x = -2*x + 6. Suppose 5*f + x*u - 320 = p, -2*f = 2*f - 4*u - 284. Is 22 a factor of f?
True
Suppose 135*a + 22525 = 160*a. Is a a multiple of 34?
False
Is 17 a factor of (-2)/(-9) + (0 - 370395/(-81))?
True
Let g(h) = 7*h**3 + 2*h**3 - 10*h**3 - 8*h + 10*h**2 + 1. Is 10 a factor of g(9)?
True
Let a = 18 - 15. Suppose a*w + 3*g = -0*w + 159, w - 51 = g. Is 13 a factor of w?
True
Does 6 divide -14*(4 + -6 + 42/(-4))?
False
Let u(j) = -j + 1. Let p(n) = -13*n - 3. Suppose z + 3 = -o, 0 = -4*z + 5*o - o - 4. Let k(h) = z*u(h) - p(h). Does 4 divide k(1)?
True
Is 9 a factor of (6/8)/(15/120)*15?
True
Let m(t) = 25*t**3 + t**2 - t. Let a be m(1). Suppose 20*i = a*i + 100. Let p = i + 49. Does 8 divide p?
False
Let h(l) = -l**2 + 10*l - 9. Let a(r) = r**3 + 5*r**2 - 7*r. Let i be a(-6). Let q be h(i). Suppose 0 = 4*b + 3 - q, 4*n - b = 297. Is 19 a factor of n?
False
Suppose -5*q - 6 = -8*q. Suppose -z - p = -q*p - 26, -3*p + 108 = 3*z. Is z a multiple of 6?
False
Does 10 divide (3 + -2)/1 - (-1393)/7?
True
Let c(j) = 10*j**3 - 8*j**2 + 26*j - 11. Is 13 a factor of c(6)?
False
Does 14 divide (-199)/(-2) - 36/24?
True
Suppose 0*o - 2*o = 4*k - 4604, 3446 = 3*k + 5*o. Is k a multiple of 9?
True
Let w be ((-3)/(-2))/(21/28). Suppose -w*h = -3*h + 112. Let m = -73 + h. Does 13 divide m?
True
Let v = 8 - 6. Suppose 5*i + 12 = 3*w - 4, -w + i + v = 0. Is ((-34)/w)/((-3)/(-9)) a multiple of 23?
False
Is 3*4/24*156 a multiple of 26?
True
Let x = 21 - 19. Suppose 0 = -x*u + 3 + 1. Suppose 5 = 3*l - 4, -219 = -u*d + l. Is 31 a factor of d?
False
Suppose -2906 = -4*h + 2482. Does 52 divide h?
False
Let k(m) = 147*m**3 + 4*m**2 - 15*m + 31. Is 13 a factor of k(3)?
True
Let q(r) = -23*r. Let s(f) = -24*f - 1. Let t(l) = -3*q(l) + 4*s(l). Is t(-3) a multiple of 11?
True
Let n(a) = 3*a - 11. Let m(l) = -4*l + 16. Let k(h) = -5*m(h) - 7*n(h). Let b be k(-5). Suppose 4*y - 277 = -7*j + 2*j, 116 = b*j - y. Is 19 a factor of j?
True
Suppose 1124 = 5*p + 4*n, -p + 2*n + 2*n = -244. Does 14