(-4)/14?
True
Suppose 0 = 3*t + r - 8 - 0, 0 = 5*t - r - 16. Suppose 3 = -t*z - 9, 176 = 2*g - 2*z. Does 6 divide g?
True
Suppose -8*i = 4*i - 14232. Is 18/(-5 + -1) + i a multiple of 15?
False
Let b(r) = -44*r + 5. Let d be b(-4). Suppose 2*a = 3*a - 3*o + 75, -3*a - 2*o - d = 0. Let f = -51 - a. Is 4 a factor of f?
True
Suppose -62 = -2*y - 54. Let q be (y/(-6))/(-1*4/1506). Let h = -158 + q. Is 31 a factor of h?
True
Suppose 0 = -4*r + 13224 + 13082 + 23782. Does 214 divide r?
False
Let j(v) = -v**2 - 14*v + 25. Let p be j(-15). Suppose 4 = -3*y + p. Suppose -2*r - y*f - f = -246, -3*f + 366 = 3*r. Does 30 divide r?
True
Suppose 34*i + 45 = 37*i. Suppose c = -5*l + 15, i = -0*l + 5*l + 5*c. Is (61 + l - -4) + 3 a multiple of 6?
False
Let g(u) = -8*u + 457. Let z(v) = 3*v - 228. Let i(f) = -3*g(f) - 7*z(f). Is i(-38) even?
False
Suppose 2*t = -5*y - 9, 5*t - 24 = -0*y + 3*y. Suppose -t*l + 52 = -6*l - n, -l - 22 = -2*n. Is 66 - (l/27)/((-2)/6) a multiple of 32?
True
Is 3 a factor of 1*(-2782)/130*-565?
False
Let g(y) = 40*y**2 + 745*y - 37. Is g(-21) a multiple of 11?
True
Let r(j) = -947*j - 413. Is 148 a factor of r(-7)?
True
Suppose -7*f = -10*f - 3*d + 19332, 0 = -3*d + 3. Does 59 divide f?
False
Let u(v) be the third derivative of -13*v**4/24 + 67*v**3/3 + 2*v**2 - 139*v. Is u(8) a multiple of 6?
True
Let y = 36 - 22. Let s(i) be the first derivative of -i**4/4 + 5*i**3 - 7*i**2/2 - 10*i + 9. Does 8 divide s(y)?
True
Suppose -69*m + 15657 = -2283. Does 13 divide m?
True
Suppose 3*m = 5*a - 44, -4*a - 38 = -7*a - 4*m. Let z be (-123)/(-39) + a/(-65). Suppose 0 = -z*o + 2*j + 160, o + 5*j = 5*o - 218. Is o a multiple of 13?
True
Let k = -35 + -27. Let t be k*(-9)/(-15)*(-5)/2. Let b = -53 + t. Is 5 a factor of b?
True
Let a = 85 - 80. Suppose -3*y - a*k + 21 = -3, y - 15 = -4*k. Does 3 divide y + -3 + -1 + 13?
True
Suppose 79312 = -12*u + 248068. Is u a multiple of 12?
False
Let d be (-1)/(28/(-26) - -1). Suppose -d*x + 10 = -289. Is x a multiple of 3?
False
Suppose -61*j + 58*j + 2*r = -2915, 13*r = -2*j + 1886. Is j a multiple of 3?
True
Suppose -q + 30 = s, 18*q = 14*q - 3*s + 125. Is q a multiple of 8?
False
Let w be -1 + -4 + (0 - 1). Does 6 divide (w/4)/(24/(-1840))?
False
Suppose 22*t - 6897 = 17*t - q, 3*t + 4*q - 4128 = 0. Suppose -22*h = -45*h + t. Does 4 divide h?
True
Let y(r) = -r**2 - 129*r + 2477. Is y(0) a multiple of 4?
False
Let y(s) be the second derivative of s**7/840 - 11*s**6/720 - 19*s**5/120 - 3*s**4 + 19*s. Let h(u) be the third derivative of y(u). Is 10 a factor of h(-5)?
False
Let f(y) = -y**3 + 5*y**2 + 16*y - 5. Suppose 53 = 4*s + 5*w, -2*s - 4 + 33 = 3*w. Let r be f(s). Suppose -12*c + r*c = -183. Is 44 a factor of c?
False
Let b(i) be the third derivative of i**5/20 + 17*i**4/8 - 23*i**3/6 + 35*i**2. Does 20 divide b(-23)?
False
Let t(u) = 5*u**3 - 3*u**2 + u - 6. Let r(s) = 5*s - 32. Let q be r(7). Let c be t(q). Suppose -c - 475 = -5*x. Is x a multiple of 16?
False
Suppose 5*p + 874 + 1176 = 0. Let n = -134 - p. Let m = n + -162. Is 38 a factor of m?
True
Suppose 0*n - 220 = -5*n. Suppose x = 5*m + n, 0 = -4*x + 5*m - 5 + 151. Suppose x = l - 9. Is 11 a factor of l?
False
Let x be 11 - (21*(-5)/(-15) - 6). Does 3 divide (-15333)/(-95) - 4/x?
False
Suppose 0 = 5*x - 10*x - 3*o + 395, 0 = -o - 5. Is (-2 - x)*-2*(-3)/(-4) a multiple of 14?
True
Let d(l) = l**2 + l. Let h(v) = v**3 - v**2 - 8*v + 12. Let b(n) = -3*d(n) - h(n). Is 33 a factor of b(-7)?
True
Let w = -9972 - -45661. Is 126 a factor of w?
False
Let c be 3 + (6 - 4/(8/10)). Suppose -3*j + 476 = c*s, -j - j = -4*s - 324. Does 8 divide j?
True
Let t = 17301 - 16059. Is 9 a factor of t?
True
Let d(y) = -y**3 + 7*y**2 + 5*y - 5. Suppose -4*k + 127 = 3*s, 4*k + 0*k - 3*s = 97. Suppose 12*x - k = 44. Does 18 divide d(x)?
False
Let h = -4 + 85. Suppose t = -h + 281. Is t a multiple of 79?
False
Suppose -3*d - 20500 = -5*u, 16343 = 6*u - 2*u + 9*d. Is u a multiple of 52?
False
Suppose 131*u = -131*u + 22859 + 22467. Does 5 divide u?
False
Suppose -11*l - 5*o + 9 = -15*l, -4*l = 4*o. Does 10 divide (-1)/(l/(-5)*50/(-1340))?
False
Let z(m) = 3*m + 3. Let h be z(-1). Suppose 4*l + 98 - 558 = h. Does 30 divide l?
False
Let k(y) = -52*y + 2884. Does 136 divide k(-23)?
True
Let v(c) = -408*c - 15. Let w be v(2). Let d = w - -1416. Is d a multiple of 39?
True
Suppose 2*l + d - 1163 = 1376, 2*d - 6347 = -5*l. Is l a multiple of 47?
True
Let t be 3 + -5 + 3 + -38. Let w = t + 80. Suppose 3*n + 3*f - 279 = 0, 2*f + w + 44 = n. Is n a multiple of 39?
False
Is 23 + -12 + 2162 + -3 a multiple of 40?
False
Let q(u) = 140*u + 554. Does 34 divide q(6)?
True
Let i = -733 - -1334. Let w = -221 + i. Is 19 a factor of w?
True
Does 80 divide (-3 - -5)*(-690615)/(-30) + -3?
False
Let c(g) = 122*g**2 - 183*g + 181. Is c(1) even?
True
Suppose -10*h + 1036032 = 118*h. Does 19 divide h?
True
Let j be (-3)/((-75)/(-10)) + 26136/(-10). Let l be 1 - j/34 - 6/(-51). Let u = -50 + l. Is 6 a factor of u?
False
Suppose 4*c + 272*s = 273*s + 190624, c - 47643 = -3*s. Is c a multiple of 15?
True
Is 2 a factor of (-10*(-6)/18)/((-2)/(-3)) + 69?
True
Suppose 55 = -10*z + 5*z - 5*k, -5*z + 3*k - 15 = 0. Does 5 divide ((-63)/z - -3)*20/2?
True
Suppose -4*h + 26 = 2*v, -4*h + 21 = v - 0*v. Let m = -2999 + 3005. Does 9 divide (-56)/(-6)*m/h?
False
Suppose z - 5486 - 8403 = -4*x, -z = -5. Suppose 0 = -5*t + 2*t + 3*d + 2610, -4*t - 5*d + x = 0. Is t a multiple of 79?
True
Let t = 828 - 873. Suppose -3*a - 177 = -504. Let y = t + a. Is y a multiple of 11?
False
Let s = 280 - 448. Is 11 a factor of (s/(-120))/(2/110)?
True
Let b(s) = 3*s**2 - 15*s + 706. Does 71 divide b(45)?
True
Let t(g) be the second derivative of -26*g + 1/6*g**4 - 1/2*g**3 - 4*g**2 - 1/2*g**5 + 0. Does 7 divide t(-2)?
False
Suppose -14 + 34 = 5*y. Suppose -2*f = o + 146, y*o - 292 = 3*f - 95. Let c = f - -139. Does 9 divide c?
False
Is 1 + (-3)/9 - ((-204495)/45 + 10) a multiple of 25?
False
Suppose 3*i = -4*g - 34, -2*g = i - 3 + 11. Let h(l) = -l**2 - 19*l + 6. Let y be h(i). Let d = y - -1. Is 5 a factor of d?
True
Suppose 4*m + 85187 = -25*l + 28*l, -5 = -5*m. Is l a multiple of 70?
False
Let j(l) = -3*l**2 - 13*l + 4. Let w(f) = -3*f**2 - 14*f + 5. Suppose -6*y + 0*y - 24 = 0. Let r(v) = y*w(v) + 3*j(v). Does 12 divide r(-8)?
True
Suppose j + 3*o = 13, 3*j = 2*j - 2*o + 9. Let u = 5068 - 5066. Is 39 a factor of j/(-6) - (u - (-4251)/(-18))?
True
Let v(c) = c**3 + 17*c**2 + 62 - 44*c - 14 + 75*c. Is 11 a factor of v(-15)?
True
Suppose -4*b + 4848 = 7*g - 3*g, 0 = -4*b. Suppose 4*a - 2*l - 292 = 3*a, 4*a + 3*l = g. Does 16 divide a?
False
Let y(b) be the first derivative of b**4/4 - 4*b**3 + 16. Let o be y(12). Suppose w = 4*n - 40, n + 2*w - 1 = -o*w. Is n a multiple of 7?
False
Let s be 8*(6 + (338/4)/(-13)). Let f(q) = -186*q - 30. Is f(s) a multiple of 14?
True
Suppose 0 = 3*t + 15*h - 18*h - 12471, -3*h = 11*t - 45783. Is t a multiple of 25?
False
Let t be (-4)/2 + 4 + 0. Let o(k) = -5*k**2 - k + 0*k + 2*k**2 + 4*k**t + 13. Is 22 a factor of o(-9)?
False
Is (7220/6)/(-5 + 2877/567) a multiple of 57?
True
Let a be (-16)/(64/(-30)) + 5/(-2). Suppose -4186 = -a*y + 584. Does 9 divide y?
True
Let l(p) be the third derivative of -p**6/120 - 11*p**4/24 + 1550*p**2 - 1. Let h be (-9)/1 + 2 + 2. Does 36 divide l(h)?
True
Let t(k) = k**3 - 2*k**2 - k + 2. Let q be t(0). Suppose 0 = -6*u - q + 20. Suppose 0*s = u*s + o - 161, -5*s - 4*o = -259. Is s a multiple of 11?
True
Suppose -7*x = -3*x. Is 15 a factor of (112 - x)*13/26?
False
Let p(g) = -g**2 + 46*g - 46. Let k be p(21). Suppose 0 = 480*z - k*z - 59. Is z even?
False
Let m be (41339/335)/((-2)/(-10)). Let l = 1177 - m. Is 28 a factor of l?
True
Let r be (28/(-42))/(2/(-9)). Let w be -2 - -1 - (8 - 12). Suppose -2*d + 29 = 5*q, r*d + w*q - 91 = 5*q. Is d even?
False
Suppose 98624 = 37*j - 48*j + 34*j. Is j a multiple of 8?
True
Suppose -119*x + 114*x - 80 = 0. Let q(j) be the second derivative of j**3/6 + 18*j**2 - 2*j. Is 20 a factor of q(x)?
True
Let f(n) = -n - 21. Let s(r) = -2*r + 15. Let w be s(15). Let v be f(w). Let l = v + 35. Is 7 a factor of l?
False
Suppose -2*h - 33 - 27 = 0. Let n be ((-48)/(-5))/((-9)/h). Suppose 12 = -f + n. Is f a multiple of 7?
False
