, -3*w - 2*k + 545 = 0. Is 19 a factor of w?
False
Let c(u) = -26*u**3 + 6*u**2 - 27*u - 76. Does 56 divide c(-4)?
True
Suppose 0 = 3*i + 3*i. Suppose i = g - 26 - 10. Is g a multiple of 6?
True
Is 15722/28 + 1/((-2)/3) a multiple of 35?
True
Let d = -26 + 32. Suppose -d*g + 17 + 313 = 0. Is 7 a factor of g?
False
Let j(g) = -g**2 - 6*g + 10. Let o be j(-6). Is 3 a factor of -66*(15/o)/(-3)?
True
Is (18/(-39))/3 - 99864/(-156) a multiple of 16?
True
Let u(a) = -a**3 - 32*a**2 + 63*a + 75. Is u(-34) a multiple of 35?
True
Let c = -65 + 4. Let j = c + 99. Suppose n + j = 3*n. Does 8 divide n?
False
Suppose 418 = 4*c - a, -c + 2*a = 6*a - 113. Is c a multiple of 35?
True
Let s = -3441 - -9650. Is s a multiple of 14?
False
Suppose t - 5 = 0, -3*t = -10*q + 12*q - 2511. Does 24 divide q?
True
Let m(l) = 20*l - 8. Suppose -f + 5*k + 1 = 3*f, 3*f - 6 = 2*k. Let d be m(f). Suppose s = -8 + d. Does 16 divide s?
True
Suppose 5*u + 2*a + 3*a = 25, 5*a = -4*u + 21. Let i(h) = 12*h - 39. Let m be i(7). Suppose -u*l = 5*q + m - 322, 2*q + 179 = 3*l. Is l a multiple of 21?
True
Let g(r) = -2*r + 17. Let a be g(7). Does 14 divide (-42)/27*a*-3?
True
Suppose 5*j + 5 = -q, -3*j - j - 4 = -q. Let m be -1 + 1 + q - -2. Suppose 0 = m*h - 4*n - 8, 12 + 12 = 2*h + 4*n. Is 4 a factor of h?
True
Let s = -24 + 27. Suppose -17 = s*t - 134. Suppose 0 = -2*j + 5*v + t, -33 = -6*j + 3*j - v. Does 9 divide j?
False
Suppose -4*s - 4*c = -20, -3*s - 4*c + 10 + 4 = 0. Is 2 a factor of s?
True
Suppose 314*u - 4416 = 310*u. Is 24 a factor of u?
True
Suppose -473*m + 462*m = -24618. Is 16 a factor of m?
False
Let d = 182 + -76. Let f = d - 1. Does 37 divide f?
False
Let t = -1295 + 1709. Is 23 a factor of t?
True
Let z(k) = -16*k - 9 - 14 + 32*k. Does 5 divide z(10)?
False
Let o = 1113 + -639. Let v = o + -253. Suppose 4*z + 29 = v. Is z a multiple of 16?
True
Let u(m) = -7*m - m + 17 - 10*m. Is 43 a factor of u(-11)?
True
Is 8 a factor of 204/(-153)*((-201)/2 - 0)?
False
Let k be (-34)/(-3)*(-6)/4. Let m be ((-5)/(-2))/((-5)/(-10)). Let i = m - k. Is i a multiple of 16?
False
Suppose 2*n - 11 = -1. Suppose -n*a + 25 = 0, i - 85 = a - 2. Is 26 a factor of i?
False
Suppose -3 = 3*b - 4*n - 0, 3*b - n = 6. Let t(p) = -3*p**2 + 2*p**2 + 9 + 3*p**2. Is t(b) a multiple of 27?
True
Suppose 6*c - 5*c = -3. Is 21 a factor of (-2)/c*15*69/6?
False
Let c(o) = -9*o + 3. Let r be c(5). Let v = r - -21. Let t = v - -41. Is t a multiple of 13?
False
Let b(k) = k**2 + 3*k - 4. Let r be b(-4). Suppose 5*p - 20 - 50 = 4*a, 4*a = r. Is (-699)/(-21) + (-4)/p a multiple of 11?
True
Let i = 93 - 51. Is 11 a factor of 324/i*(-7)/(-1)?
False
Let p(j) = -29*j + 194. Is 23 a factor of p(-6)?
True
Let v(p) = p**2 - 10*p - 4. Let r be v(11). Let l(f) = -f**2 + 10*f + 9. Does 15 divide l(r)?
True
Let s = -607 + 1755. Is 22 a factor of s?
False
Let c(g) = -g**2 + 5*g + 69. Is 8 a factor of c(10)?
False
Let x(t) = -3*t + 29. Let m be x(0). Let z = -3 + 15. Let u = m - z. Does 4 divide u?
False
Suppose 4*t - 85 = -5*o, 42 - 103 = -3*t - o. Does 13 divide t?
False
Let t be 12/(-42) + (-402)/14. Does 16 divide (-1 + t)/(-2) - -1?
True
Let f(j) = 103*j - 376. Is f(9) a multiple of 19?
True
Let q be (-114)/(-3)*2/4. Suppose -j + 4*n = -n - 47, -5*n - 10 = 0. Let p = j - q. Is p a multiple of 13?
False
Suppose 14*g - 134 = 12*g. Let f = g + -99. Let r = f + 84. Does 14 divide r?
False
Let f = -107 + 26. Let r = 21 - f. Is 17 a factor of r?
True
Let j(b) = -122*b - 1. Let v be j(-1). Let u = -171 + v. Let r = u - -72. Is r a multiple of 5?
False
Let c = -22 - -25. Suppose -2*g + 20 = c*g. Suppose -g*n - n = -35. Is 3 a factor of n?
False
Let d = 24 + -20. Suppose -2*w = -14 + d. Suppose 2*q - 79 = -3*r + 2*r, -205 = -w*q + 5*r. Is q a multiple of 8?
True
Is 6 a factor of 18876/78 + 1*7?
False
Suppose 8574 + 5220 = 22*v. Is v a multiple of 11?
True
Let h(o) = -o**2 + 7*o - 1. Let g be h(6). Let y be (6/5)/(2/g). Suppose -41 = -y*f + 58. Is f a multiple of 32?
False
Is 61 a factor of 96*(1 + 70/8)?
False
Let a be 0 + (1 - -1) - (10 - 10). Suppose 7*i - a*i - 470 = 0. Is i a multiple of 22?
False
Let z(a) = 7*a - 20. Does 13 divide z(26)?
False
Let l be (-7 + -62)*178/6 + 1. Does 17 divide l/(-48)*2 + (-1)/4?
True
Let s be (4/(-5))/(8/(-1780)). Let j(y) = -3*y**2 + 12*y - 4. Let a be j(8). Let o = s + a. Does 26 divide o?
True
Let q be -17 - (-1 + 5 + -2). Let w = 8 - q. Is w a multiple of 9?
True
Suppose -13*b - 14*b + 17496 = 0. Does 36 divide b?
True
Suppose c - 5*a + 24 = 0, -2*a = -4*c - 0*c - 6. Let g(i) = -9*i**3 + 2*i**2 - 1. Let f be g(c). Is 1 - (-76)/f*-2 a multiple of 4?
True
Suppose 3307 - 1101 = 2*w + 3*s, 3302 = 3*w + s. Does 11 divide w?
True
Let y(t) = 45*t + 3 + 4 - 4 - 4. Is 22 a factor of y(1)?
True
Suppose -3*y - 9 = 0, 2*p = -p + 2*y + 282. Suppose -4*c + p = 28. Suppose -2*b = -3*b + c. Is b a multiple of 14?
False
Let p be (-15)/120 + (21761/(-8))/(-1). Does 21 divide 2/3 - (-7 - p/15)?
True
Let v be 3 - 0 - (9 + -316). Suppose 5*p = -3*w + v, w + 3*w - 5*p = 390. Suppose 0*u - 5*u = 2*o - w, -u + 23 = o. Is 18 a factor of u?
True
Suppose -2*a = 10, 2*t = 4*a - a + 161. Is t a multiple of 9?
False
Suppose 5*y - 25 = 0, -4*r - y = -2*r - 23. Suppose m - 2*m = -r. Is 2 a factor of 51/m - (-3)/9?
True
Let q(k) = 4*k - 10. Let i(s) = 7*s - 21. Let m(v) = 3*i(v) - 5*q(v). Let b(d) = 6*d - 66. Let r(g) = -4*b(g) + 21*m(g). Is 3 a factor of r(-6)?
True
Does 6 divide 2 + (276/10)/(12/80)?
True
Suppose 17*x + 30 = 27*x. Let b(g) = g - 1. Let h be b(4). Suppose -324 = -x*v - 5*t, -2*v + 0*v + 216 = -h*t. Is v a multiple of 27?
True
Suppose 9*r = 4*r + 2815. Let a = r - 263. Does 12 divide a?
True
Let d = 1 + 650. Is 74 a factor of d?
False
Suppose 4*u - 40 = -4*r, -4*r + 25 = 3*u - 12. Let j(p) = 2*p**3 - 10*p**2 + 6*p - 5. Is j(r) a multiple of 27?
False
Let z be 2/8*-2*-6. Suppose -z*c + 172 + 98 = 0. Is 21 a factor of c?
False
Suppose 29*o = 3378 + 7091. Does 37 divide o?
False
Suppose -5*l - 2*o = -7*o - 30, 0 = -4*o. Is 4 a factor of 280/l*(4 + 28/(-10))?
True
Suppose 0 = -3*i + 3*r + 264, 0 = i + 4*r - 6*r - 90. Is i a multiple of 31?
False
Suppose 0 = -3*s + 5*h + 46, -4*s + 28 = -s + 4*h. Let z(l) = l - 10. Is z(s) even?
True
Let t(a) = a**3 + a**2 + 8*a - 6. Let p(j) = -3*j**3 - 2*j**2 - 23*j + 18. Let k(w) = -4*p(w) - 11*t(w). Is 13 a factor of k(4)?
True
Let u = -9 - -11. Suppose -7*n = -u*n. Is 19 a factor of -1 - (n + -3)*27?
False
Is 8 - (-248)/(-32) - 127/(-4) a multiple of 8?
True
Suppose -3*i + 5*k = -103, 43 = -4*i - 4*k + 127. Is i a multiple of 13?
True
Is 40 a factor of ((-21700)/(-245))/((-4)/(-14))?
False
Let f(u) = 50*u - 258. Is 25 a factor of f(8)?
False
Let m(r) be the first derivative of -9*r**2 - 16*r + 10. Is 30 a factor of m(-5)?
False
Let v = 790 - 784. Let s(b) = 2*b**2 - b - 2*b - 3*b - 13. Is s(v) a multiple of 10?
False
Let g = -4 - -11. Suppose -g*q = -2*q - 1380. Suppose q = -3*o + 7*o. Is o a multiple of 23?
True
Let q(f) = 0 + 2*f**2 - 11*f + 3 + 3*f. Let c(m) = 4*m**2 + 7*m + 8. Let i be c(-1). Does 4 divide q(i)?
False
Is ((-2)/4)/(19/152) - -39 a multiple of 35?
True
Let l be -7 + 3 + 58 - -2. Let q = -1 + l. Is q a multiple of 11?
True
Suppose 47*p - 5 = 46*p. Suppose 39 + 59 = 5*o + d, o - 34 = -p*d. Is o a multiple of 3?
False
Let z(j) be the third derivative of -j**6/120 - 7*j**5/60 + j**4/8 - 7*j**3/3 + 2*j**2. Let s(u) = u**2 - 9*u + 10. Let p be s(6). Is z(p) a multiple of 11?
False
Let k(s) = -s**3 - 17*s**2 + 21*s + 22. Let x be k(-18). Let r = x + 66. Is r a multiple of 10?
False
Suppose 2*a = -5*w - 2 + 92, -3*a = -w - 169. Suppose a = -4*v + 179. Is v a multiple of 13?
False
Let x(u) = u**3 - 2*u**2 - 2*u + 2. Let a be x(4). Let w(y) = -y**2 - 11*y - 6. Let l be w(-10). Does 6 divide -3 + a + -3 + l?
True
Suppose -3*w + 2*a = -a - 174, -3*a + 15 = 0. Suppose -5*c + 337 = 4*u, -2*c = -3*c - 3*u + w. Is 23 a factor of c?
True
Does 5 divide (233 - 10) + 9 + -4?
False
Let s be 6 + (-3*2)/(-2). Let v be 210/s*6/4. Suppose -22 = 3*u - 3*a - 136, -4*a = -u + v. Is 13 a factor of u?
True
Does 18 divide (-3)/(-2) + 1287/6?
True
Suppose -b = -6*s + s + 47, -s - 3*b + 19 = 0. Suppose 1732 - 412 = s*v. Is 33 a factor of v?
True
Suppose -165 = -94*m + 97*m. L