se -9*t + 31*t = 11880. Does 5 divide t?
True
Does 72 divide 4/9 + 248784/108?
True
Let q = -11 - -13. Let i(j) = 2*j**3 - j**q - 3 + 2*j - j**3 + 21. Is i(0) a multiple of 6?
True
Suppose 2*a + 10 = w + 5*a, -5 = -5*a. Let m(x) = 23*x - 21. Is 30 a factor of m(w)?
False
Let c = -77 - -40. Let x = 55 + c. Does 12 divide x?
False
Suppose -4*g - 2*a - 264 = 0, 2*g + a = -4*a - 140. Does 5 divide g/(-8) + 1/(-8)?
False
Let w = 4928 - 2151. Is w a multiple of 57?
False
Let o(a) = 1. Let x(n) = 19*n**2 - 2*n + 4. Let y(z) = -3*o(z) + x(z). Is 6 a factor of y(-2)?
False
Suppose 0 = 2*x - 4 - 0. Let a = -32 - -82. Suppose 0 = -x*b - a + 164. Is 19 a factor of b?
True
Let d(s) = -2*s**3 + 32*s**2 + 5*s - 26. Is d(10) a multiple of 54?
False
Suppose -13 + 18 = -5*b, -t + 5*b + 983 = 0. Does 18 divide t?
False
Let m(q) = -3*q + 21. Let t(r) = 5*r - 20. Let g(l) = 5*m(l) + 4*t(l). Does 15 divide g(10)?
True
Let d = 28 + 2. Suppose d = 5*x + 5*a, 11 = 3*x + a + 1. Suppose v - x*s - 32 = 0, 4*s + 127 = 3*v + 41. Is 11 a factor of v?
True
Let v(p) = p**2 - 14*p + 13. Let f be v(13). Suppose 42*s - 43*s + 120 = f. Does 30 divide s?
True
Let d be -6*(-3)/(-18)*-3. Let i be (1/d)/(2/36). Suppose -40 = -10*s + i*s. Is 10 a factor of s?
True
Suppose 396 = -77*p + 80*p. Let a = p - 42. Is 9 a factor of a?
True
Is ((-6)/15*-24)/((-12)/(-560)) a multiple of 32?
True
Let u be (6/(-9) - 0)*-6. Let l(m) = -u + 3*m + 15 - 8*m. Is 14 a factor of l(-9)?
True
Suppose a - 6 = 3*a, -2*a - 1450 = -2*d. Does 35 divide d?
False
Let j be (161 - 2)/(12/8). Let b = 187 - j. Is 9 a factor of b?
True
Suppose 0 = 3*l - 18 - 33. Suppose -2*r - z = -l, 5*r - 2*z = -3*z + 44. Is 4 a factor of r?
False
Let d(a) = -4*a**3 + 6*a**2 - 30. Does 13 divide d(-5)?
False
Let g(d) = 31*d**2 - 5*d + 3. Does 13 divide g(2)?
True
Is (-32)/(-56) + (-54668)/(-28) a multiple of 9?
True
Suppose 17 = c - 213. Suppose -2*m - y + 113 = -0*m, c = 4*m - 2*y. Does 10 divide m?
False
Let k(t) = t**3 - 7*t**2 + 11*t - 13. Let u(r) be the second derivative of -r**4/12 - 3*r**3/2 - r**2 - 7*r. Let s be u(-8). Does 8 divide k(s)?
False
Let w(j) = -j - 20. Let t be w(-12). Is 2 a factor of 22/(-4)*16/t?
False
Let c(n) = 3*n**2 + 3*n - 4. Let s be c(-3). Let v(k) = 2*k + 32. Does 15 divide v(s)?
True
Suppose 0 = 5*n + 3*y - 344, -n = -3*y + 20 - 78. Let j = n - 39. Is 14 a factor of j?
True
Suppose -387 = -5*q + 853. Is q even?
True
Suppose 10 = t + 6. Suppose -x = -4*h + 18, -3*h = t*x - 5*h + 2. Suppose d + 3*d = 4*p - 160, d - 74 = -x*p. Is 11 a factor of p?
False
Let m(a) = a**2 - 6*a + 6. Is 13 a factor of m(-6)?
True
Suppose -4*a - 1088 = 4*n - 3620, -3*n = -a - 1887. Suppose 0 = -26*q + 21*q + n. Does 38 divide q?
False
Suppose 87*z - 30 = 90*z. Let s = z + 74. Is 8 a factor of s?
True
Suppose -4*c = 3*a - 1338, 0*a - 5*c - 427 = -a. Is 4 a factor of a?
False
Let r = -22 + 12. Let n be (-4)/r + 28/5. Does 18 divide (n/(-7))/((-1)/21)?
True
Suppose 15*i - 2430 = 7140. Is i a multiple of 19?
False
Let i(h) = h. Let f(q) = q. Let n(y) = f(y) + 2*i(y). Let c be n(6). Let r = c + -10. Does 3 divide r?
False
Suppose -3*z + l + 409 = -2*z, 0 = -4*l - 12. Is 29 a factor of z?
True
Let a be (-2)/(-8)*-2*-6. Let o be -2 + a - (4 + -6). Suppose -3*n = -21 + o. Is 2 a factor of n?
True
Let c(l) = l. Let s be c(0). Suppose 47*o = 52*o - 30. Suppose -11*g + o*g + 195 = s. Does 8 divide g?
False
Suppose 10*g - 11263 = 7037. Is g a multiple of 10?
True
Let n(v) = -37*v - 66. Does 31 divide n(-11)?
True
Suppose i - 303 = -3*w, 3*w = 2*i - 2*w - 661. Suppose 2*a = -a + i. Is 20 a factor of a?
False
Suppose 4*n - 174 = -3*i + 59, 2*n + 174 = 2*i. Is i a multiple of 5?
False
Let h = 5 - -3. Let k(u) = -u**3 + 8*u**2 - u + 10. Let n be k(h). Suppose 4*l = -n*d + 66, 0*l + 42 = 3*l + 3*d. Is 6 a factor of l?
False
Let j = -133 + 393. Is 10 a factor of j?
True
Suppose -4*p - 12 = -5*g, 0*g = 4*g. Is 27 a factor of -2 + 2*28 - (p - -3)?
True
Let h = 322 - -613. Does 11 divide h?
True
Let z = -12 + 14. Suppose 7*v + z*v = 387. Does 12 divide v?
False
Let p(o) = 32*o**3 - o**2 - o + 6. Does 32 divide p(2)?
True
Does 5 divide 435 - -13 - 5/((-15)/21)?
True
Let i be 16/10*(-5)/(-2). Suppose i*o = -2*g + 56, -8 = -3*o - g + 34. Is o even?
True
Suppose -1209 = 12*s - 6093. Does 11 divide s?
True
Suppose -4*n + 31 = -n + 5*k, -n + 3*k - 13 = 0. Suppose 3*h + 166 = 4*h + 5*t, 4*h - n*t - 620 = 0. Is 12 a factor of h?
True
Let x be 16/56 + 4/(-14). Suppose -k - 2*k = -6. Suppose x = -5*a - 3*q + k*q + 205, 2*a - 59 = -5*q. Does 15 divide a?
False
Suppose -a + 3*g - 20129 = 0, 4*a + 28646 = -5*g - 51819. Is (-4)/30 + a/(-150) a multiple of 14?
False
Let m(v) = v**2 - 11*v + 9. Let t = 35 - 25. Let k be m(t). Does 22 divide 2 - 2 - -21 - k?
True
Suppose -2*l + 3*a = -8, 6*l - 2*l = -3*a + 16. Suppose 0 = -0*z + z - 2*w + 7, l*z = 4*w - 12. Let q(i) = 11*i**2 - 1. Does 10 divide q(z)?
True
Let b = 116 - 83. Let n = 59 - b. Is n a multiple of 4?
False
Let n(i) = 9*i - 24. Let u be n(8). Suppose -47*m - 34 = -u*m. Is m a multiple of 13?
False
Let p(f) = 2*f**3 - 22*f**2 + 7*f - 13. Let j be (-11 + 9)*(-11)/(-4)*-2. Does 8 divide p(j)?
True
Let k(u) = -u**3 - u**2. Let f(v) = -3*v**3 - v**2 - v + 5. Let a(n) = f(n) - 4*k(n). Is a(-3) a multiple of 2?
True
Let k(w) = w**2 + 6*w + 5. Let c be k(-1). Suppose c = f - 2*s - 62, 0*f - 4*f + 237 = 3*s. Does 12 divide f?
True
Suppose -3*d + 0*d - n - 2 = 0, -3*n = 15. Let j(q) = 17*q**2 + 2*q - 1. Is 14 a factor of j(d)?
False
Let y = -8 - -6. Let n = y - -9. Is 9 a factor of (-2)/n + (-466)/(-14)?
False
Suppose 1321 = -7*r + 3470. Is r/3 - (4/(-6) + 1) a multiple of 34?
True
Suppose -a + 4*y + 68 = 0, -2*y = -4*a - 7*y + 188. Is 78/a + (-154)/(-4) a multiple of 23?
False
Suppose -5*k + 490 = -0*k - 4*j, 98 = k + 3*j. Let b = k - 49. Is b a multiple of 23?
False
Let k = 167 - 55. Is k a multiple of 14?
True
Let z be 3/(6*(-2)/(-8)). Suppose 30 = 7*y - y. Suppose 0 = o + 5*b - 3*b - 38, 0 = -y*o - z*b + 230. Is o a multiple of 23?
False
Let k be ((-2)/(-3)*30)/(-1). Let r = k - -11. Let m = r + 23. Is 3 a factor of m?
False
Let n(c) be the second derivative of 22*c**2 + 0 - 1/6*c**3 - 7*c. Does 22 divide n(0)?
True
Suppose -18 = -10*p + 4*p. Suppose 6 = -p*h - 3*o, -3*h - 2*h = -3*o - 30. Suppose a = h*a - 166. Does 16 divide a?
False
Let g = 906 - 378. Is 16 a factor of g?
True
Let v be (10/3)/((-2)/3). Let q be 48/60 + (-41)/(-5). Let b = v + q. Is b a multiple of 2?
True
Let m be (994/71)/(1/1 + 1). Suppose 5*j - 1999 = -649. Suppose m*r - j = 2*r. Is 12 a factor of r?
False
Let o(u) = -11*u - 20. Is 2 a factor of o(-6)?
True
Suppose 0*m - 20 = -5*m. Suppose m*v - 152 = 104. Is 9 a factor of v?
False
Suppose -13*p + 54 = 15. Suppose -5*k = 3*l - 133, -l = p*k + k - 56. Is 4 a factor of l?
True
Let t(p) = -1 + 17*p**3 - p**2 - p - 3*p**3 + 4*p**2 + 10*p**3. Is t(1) a multiple of 16?
False
Suppose 4*l - 3*b = 26, -5*l - 19*b + 15 = -14*b. Is 4 a factor of l?
False
Suppose 0*n - n = 338. Let i = 489 + n. Is 32 a factor of i?
False
Does 9 divide 338 + 24/6 + -9?
True
Suppose 36 + 60 = p. Suppose 4*y + p = 7*y. Is y a multiple of 8?
True
Suppose -5*z = 4*j - 1849, -3*j + 6*j - 5*z = 1343. Is 57 a factor of j?
True
Suppose 53 + 33 = 4*l - 2*p, 0 = -l - p + 29. Suppose i - l = 3*c - 6*c, 4*c + 176 = 4*i. Is i a multiple of 16?
False
Let j(y) = -17*y + 68. Let c be j(3). Let m be (-2)/(-3) - (-158)/6. Suppose m = d - c. Is d a multiple of 11?
True
Suppose 24 = 7*y - 32. Let h(j) = 5*j**2 - 9*j - 18. Does 27 divide h(y)?
False
Let f = -9 - 1. Let w(u) = -3*u - 24. Let o be w(f). Let s(m) = m**2 - m + 8. Does 8 divide s(o)?
False
Let h(b) = b**3 - 16*b**2 - 25*b + 50. Does 24 divide h(18)?
False
Suppose -5*j - 75 = -8*j. Let k = 27 - j. Is 30 a factor of (-3 - (-31)/1) + k?
True
Suppose k = 659 + 169. Suppose 8*p - 2*p = k. Is p a multiple of 23?
True
Suppose -4*l + 765 = -51. Suppose -7*q - l = -3*q. Let k = -35 - q. Is 5 a factor of k?
False
Let u = -282 + 649. Is 39 a factor of u?
False
Let d be (-58)/(-4)*2 - 3. Suppose -d = -w - 8. Let z = w - -60. Does 26 divide z?
True
Let w(i) = -195*i + 30. Let o be w(6). Does 18 divide o/(-9) + ((-10)/(-3))/(-5)?
True
Let r(b) = -4*b**2 - 7*b + 8. Let q(s) = 5*s**