(-51)?
False
Let r = -123 - -126. Suppose -3*i + r*u - u = -601, 2*u + 404 = 2*i. Is 13 a factor of i?
False
Does 10 divide (-1618)/(-9) + (96/(-54) - -2)?
True
Suppose 5*j - 2*t - 6 - 8 = 0, 2*t = -4. Suppose 5*r - 5*o = -7*o + 33, 0 = j*r - 5*o + 10. Let k = 9 - r. Is k a multiple of 4?
True
Let s be -10*(3/2 + (-21)/10). Is 78/24*-3*(-104)/s a multiple of 35?
False
Let i(u) = u**2 - 8*u + 12. Let m be i(6). Suppose s = 3*s + 2*a - 24, m = -a + 2. Does 10 divide 4/s*5 + 53?
False
Suppose 0 = 6*u - 7*u + 2. Suppose 5*t + 3*c - 59 = -0*t, u*c - 35 = -3*t. Let j = -10 + t. Does 3 divide j?
True
Let w be (-4 - (-32)/12)*-3. Suppose j - 17 = -w*l, 2*l = 7*l - 3*j. Suppose -l*v - 5*a = -159, -a + 6*a - 15 = 0. Is 16 a factor of v?
True
Let o(v) = v**2 + 16*v - 39. Does 27 divide o(-28)?
True
Let w(r) be the first derivative of r**3/3 - r**2/2 + 14*r - 3. Let p be w(-6). Let v = 94 - p. Is 6 a factor of v?
False
Suppose y + 40 = 3*y. Suppose c + 3*z + 6 = -z, 0 = c - 2*z. Is 7 a factor of y + 2 + (c - -1)?
True
Suppose -46*s + 34*s = -12012. Is 13 a factor of s?
True
Let b be (-4)/6 + 30/(-9). Let y be ((-220)/(-33))/(b/(-6)). Let a(r) = 3*r. Is a(y) a multiple of 12?
False
Let g = -247 - -410. Is g a multiple of 21?
False
Suppose 0 = 3*z - 8*z + 3*b + 132, 0 = -3*b + 3. Let d = z + 1. Suppose 0*f + 4*p = f - 26, -4*f = 3*p - d. Does 7 divide f?
False
Let l be (4/(-6))/(14/462). Let m be (-12)/(-66) - (-4)/l. Suppose -2*x + m*x - p = -110, 3*x - 160 = p. Is 21 a factor of x?
False
Suppose -2*z + 3*u = -110 - 81, 2*z = -u + 171. Does 24 divide z?
False
Suppose -5*q - 52 = -3*l, -55 - 3 = -4*l + q. Is (-17 + l)*8/(-6) even?
True
Let m(g) = -12*g**2 + 13*g - 8. Let f be m(5). Let l = -173 - f. Is 15 a factor of l?
False
Let p(r) = 16*r - 1. Let l be p(1). Does 25 divide 1434/10 - (-1 + 21/l)?
False
Let z(p) = 5*p**2 - 14*p + 11. Does 13 divide z(9)?
False
Let o(z) = 62*z**3 + z**2 - 9*z + 17. Is 9 a factor of o(2)?
False
Let r(f) = f**3 - 14*f**2 - f + 17. Let d be r(14). Suppose -d*x = -3*k - 93, -2*x - 2*k = -5*x + 88. Is x a multiple of 7?
False
Let t be 3 + -1 + 1 - -29. Suppose 3*s = 73 + t. Is 5 a factor of s?
True
Let y = 7 + 175. Does 13 divide y?
True
Suppose 0 = o - k - 100 + 40, -4*o + 255 = k. Is o a multiple of 9?
True
Let z(j) = -11*j + 45. Let a be z(0). Let i be 6/21 - 47/(-7). Suppose -4*p - a = -i*p. Is 6 a factor of p?
False
Let g be (2/(-6))/(20/(-18) - -1). Suppose 2*j - 596 = -g*r, -r - 59 + 647 = 2*j. Is 25 a factor of j?
False
Suppose -173*x + 158*x + 5220 = 0. Is x a multiple of 6?
True
Let i = 6088 - 45631. Is ((-4)/(-6))/(-7*14/i) a multiple of 35?
False
Let y be -2 - (1 - (2 - -14)). Let v(z) be the second derivative of 5*z**3/6 + z**2/2 + 27*z. Is 33 a factor of v(y)?
True
Let k be (6/4)/((-1)/(-30)). Let a(w) = -w**2 + 11*w - 54. Let z be a(8). Let s = k + z. Is 15 a factor of s?
True
Let h(p) be the third derivative of p**6/40 - p**5/60 - p**4/12 + p**3/3 - 3*p**2. Let w be h(2). Suppose -2 + w = n. Does 10 divide n?
False
Suppose -p = -q - 1 + 12, 0 = -3*p - 2*q - 38. Let i = 33 + -21. Let z = i - p. Is z a multiple of 16?
False
Suppose -3*h + 2*h + 2 = 0, -4*m - 2*h + 4 = 0. Suppose m = c - 4*c. Suppose j - 3*j + 14 = c. Does 4 divide j?
False
Let w(g) be the third derivative of g**5/60 + g**4/24 - 5*g**3/3 - 8*g**2. Is w(6) a multiple of 13?
False
Suppose h - 77 = 138. Suppose -7*p + h = -100. Does 9 divide p?
True
Suppose -25*a + 1937 = -1888. Does 9 divide a?
True
Let s(y) be the second derivative of -1/3*y**4 - 1/3*y**3 + 0 + 0*y**2 - 1/10*y**5 + 3*y. Does 12 divide s(-3)?
True
Let w(p) be the second derivative of 7/6*p**3 + 5*p - 1/2*p**2 + 0. Is 13 a factor of w(2)?
True
Let w(y) = -y**2 + 9*y - 9. Let a be w(8). Does 26 divide (a + 115/(-2))*(-16)/12?
True
Let c be 386/(-14) - 3*1/7. Does 2 divide ((-1)/(-2))/((-1)/c)?
True
Let s(d) = -2*d**3 + 2*d**2 - 4*d - 5. Let w be s(-2). Is 4 a factor of ((-24)/(-9))/(6/w)?
True
Let f(u) = u**3 - 21*u**2 + 25*u + 33. Does 7 divide f(20)?
True
Is 3 a factor of 3/(7*(-9)/(-5523))?
False
Suppose -z + 1 = -0*z. Suppose -2*y - 3*s + z = -3*y, -4*y + 4*s - 12 = 0. Is 17 a factor of (-51)/2*y/6?
True
Let j(w) be the second derivative of -3/2*w**2 - 1/12*w**4 - 1/20*w**5 + w - 1/2*w**3 + 0. Is 12 a factor of j(-3)?
True
Is (1 - -1) + 366 - 40/(-10) a multiple of 9?
False
Let x(k) = -11*k - 32. Let y be x(13). Let l be (2/(-5))/(7/y). Is (-100)/(-6)*36/l a multiple of 20?
True
Let v = 397 - -131. Does 55 divide v?
False
Suppose -2*t + 36 = -4*l - 6*t, 4*t = 0. Let j be l/(-27)*1*9. Suppose -j*b = b - 84. Does 8 divide b?
False
Does 20 divide (-78)/(-9)*(159 + 0)?
False
Suppose 3*y + 5 = 4*y. Suppose s - z - 5 = 0, 3*s - y*s + 7 = z. Suppose -473 = -s*k - 125. Is 29 a factor of k?
True
Suppose -2*i = -4*s + 14, 5*i - 7*s = -6*s + 10. Suppose -2*u = 4*q - 14, -2*u = -u + i. Is q even?
False
Suppose 0 = 3*b + 9, 5*d - 411 = 2*d - 5*b. Is d a multiple of 9?
False
Let z(n) = n**2 - 17*n + 6. Let k be z(17). Suppose -k*l + 220 = 5*l. Is 12 a factor of l?
False
Let l(v) = v**2 + 12*v + 16. Suppose r = -5*y - 17, 5*y + 3 = -2. Is 8 a factor of l(r)?
True
Suppose -588 = -52*w + 50*w. Does 6 divide w?
True
Does 19 divide (0 - (-4)/(-14)) + (-77895)/(-315)?
True
Suppose 26 = 2*i + 4*p, -4*i + 5 = i - 2*p. Suppose -i*z + 168 = 4*v - v, -3*z - 4*v + 167 = 0. Does 19 divide z?
True
Suppose -3*n + 9 = -0*n. Suppose s - 8 = -n*s. Let g = s - -23. Is 6 a factor of g?
False
Suppose 5*k - 35 + 215 = 0. Let p be 8/k - (-2)/9. Suppose 0 = -l - p*l - 5*w + 72, -2*w = -l + 44. Does 12 divide l?
False
Let w be 15/(-45) + (-28)/(-3). Suppose 4*v - w = v. Is ((-6)/(-4))/v*22 a multiple of 11?
True
Let w(i) = -i**3 - 3*i**2 - 3. Let k be w(-5). Let n(m) = -m**3 - 3*m**2 + 3*m - 5. Let l be n(-5). Let v = k - l. Is v a multiple of 4?
False
Suppose 3*s = 4*y + s + 24, 12 = y + 4*s. Is 5 a factor of y + 20/5 + 6?
False
Let h be (-66)/(-9)*3 + -2. Suppose -h = -7*w + 2*w. Suppose 5*y - 3*z + 92 = 256, w*y = -5*z + 109. Does 6 divide y?
False
Let b = -1098 - -1167. Does 29 divide b?
False
Suppose -7*b = -4*b - 9. Suppose -41 = -f + 2*v, 0 = -b*v - v + 8. Is f a multiple of 15?
True
Let a(q) = -33*q**2 - 5*q + 2. Let y(g) = 34*g**2 + 4*g - 2. Let i(o) = 2*a(o) + 3*y(o). Let c be i(2). Let j = -99 + c. Is j a multiple of 26?
False
Suppose -3*u + 15 = -0*u, -4*d - u = 103. Let c = d - -46. Does 12 divide c?
False
Let u(m) = 2*m - 20. Let o be u(8). Let a(i) = -4*i + 6. Is 11 a factor of a(o)?
True
Let g(u) = -60*u - 158. Does 34 divide g(-10)?
True
Let f(x) = -x**3 + 11*x**2 - 4*x + 7. Let y be f(9). Suppose -v - 42 = -u - 1, 2*v - y = -3*u. Suppose 24 = 2*d - 4*g, 3*d - 9 = -2*g + u. Is 7 a factor of d?
False
Suppose -t + 3*p + 327 = p, 5*p + 651 = 2*t. Is 14 a factor of 19906/t - 2/(-9)?
False
Suppose -4*h + 8 = 4*p, -h + 6*h = 0. Is 6 + -2 - (4/p - 97) a multiple of 11?
True
Suppose 1038*m - 1034*m - 216 = 0. Is m a multiple of 9?
True
Is 45 a factor of (0 + 720/(-28))/(6/(-777))?
True
Let l(y) = -677*y**2 - 11*y + 8. Let h(n) = -338*n**2 - 5*n + 4. Let w(k) = -5*h(k) + 2*l(k). Is 14 a factor of w(1)?
False
Suppose r - 5*t = -38, 0 = -t - 0 + 3. Let a = r + 19. Let q = a + 18. Is q a multiple of 7?
True
Let h(y) = -2*y**3 - 22*y**2 - 3*y + 12. Let p be h(-11). Suppose -4*f = -5*j + 90 + 3, 3*f - p = -3*j. Is j a multiple of 14?
False
Suppose q + 165 - 2613 = -w, -4*w - 12267 = -5*q. Does 9 divide q?
False
Let m = -9 - -12. Suppose 2*i - i = m*f + 110, 3*i + 4*f - 304 = 0. Is 14 a factor of i?
False
Is 14 a factor of 4/(-38) + 8043/57?
False
Suppose 4*u - 20 + 8 = 0, 0 = -2*c - u + 217. Is 27 a factor of c?
False
Let z be (-3)/(-2) + 774/(-12). Let k = z - -166. Does 9 divide k?
False
Let c(g) = -g - 1. Let j(u) = 19. Let o(h) = 5. Let x(l) = -4*j(l) + 18*o(l). Let d(b) = c(b) + x(b). Is 10 a factor of d(-9)?
False
Suppose q + 6 = -2*i + 3*i, 0 = -3*q - 3*i. Let n = 5 + q. Suppose -4*v = -v - 4*m - 160, 0 = v - n*m - 56. Is 17 a factor of v?
False
Let z(x) = -2*x**2 + 134*x + 99. Does 121 divide z(61)?
False
Let o(u) = -18*u + 8. Suppose 7*q - 3*q + 16 = 0. Does 10 divide o(q)?
True
Let o(u) = u**3 - 4*u**2 - 16*u + 8. Is o(7) a multiple of 7?
False
Is 13 a factor of 10/((-10)/(-451)) - -4?
True
Suppose -119