ue
Suppose 3*g = 3*w + 513, -g + 6*w - w + 187 = 0. Suppose -3*m - 5*l = -4*m + g, -3*l = 4*m - 783. Does 16 divide m?
True
Let d(r) = -r**3 - 11*r**2 - 10*r - 2. Let v be d(-10). Let t = v - 3. Let j(k) = -k**2 - 14*k + 2. Is 9 a factor of j(t)?
False
Let g(t) be the second derivative of t**5/20 - 5*t**4/12 + t**3/2 - 11*t**2/2 - 14*t. Suppose -d = 4*l - l + 4, 5*l + 25 = 2*d. Is 4 a factor of g(d)?
True
Let t(m) = m + 442. Does 16 divide t(-15)?
False
Is -90*3/(-9)*(1 + 0) a multiple of 3?
True
Let o be 5/(10/6) + -1. Let b(a) = -4*a - 8 + 0*a**o + 4 + 4*a**2. Is 11 a factor of b(4)?
True
Let n(q) = -q**3 - 8*q**2 - 7*q - 12. Let s be n(-7). Let m = 30 + s. Does 9 divide m?
True
Let v(g) = 7*g**2 - 2*g + 1. Let f be v(-3). Let n = f - 34. Is 11 a factor of n?
False
Does 16 divide (256 + 0)*10/20?
True
Suppose 0 = -q + 2*g + 72 - 11, 4*q = 4*g + 248. Let m be 88/33*q/2. Suppose -4*l - 4 = -m. Is 10 a factor of l?
True
Let z(m) = 3*m - 11*m**2 - m**3 + 2*m**3 + 7*m. Let b be z(10). Suppose -4*k + 60 = -5*i, k + i - 6 = -b. Is k a multiple of 10?
True
Let k = -22 - -5. Let q = 8 - k. Is q a multiple of 4?
False
Let p = 64 - 59. Suppose -215 = -p*x + 10. Is 9 a factor of x?
True
Let a(r) be the third derivative of r**6/120 - r**5/30 - r**4/8 + 2*r**3/3 - 6*r**2. Does 6 divide a(4)?
True
Let g be 4/(-18) - 10850/(-63). Suppose 2*t + t + 68 = 2*c, -4*c = 3*t - g. Suppose 0*y - 4*d + c = 3*y, -3*d = -3. Does 4 divide y?
True
Suppose -35 = 3*i + 4*l + 8, -i = 5*l + 18. Let o be i/(-4) - 5/20. Suppose 3*p + o*p = 342. Is 12 a factor of p?
False
Let n be 0 + 13 - (0 + 2). Let u(r) = 2 + 5*r - n + 0 - 3*r. Does 3 divide u(7)?
False
Let u = 6 + 14. Let g = 31 - u. Is g a multiple of 2?
False
Let l be (3/(-6))/(2/(-20)). Let t = -2 + l. Suppose 73 = t*z - 2*k, -k = -3*z - 0*k + 71. Does 7 divide z?
False
Suppose -12*k + 13*k = 938. Is k a multiple of 67?
True
Let b be 574/49 + 4/14. Let c = 24 + b. Is c a multiple of 16?
False
Let o = 151 + -69. Let j = o - 55. Is j a multiple of 14?
False
Let q = -13 - -21. Suppose -q*o = -3*o + 60. Let n = o + 23. Is 11 a factor of n?
True
Let i(w) = 45*w**3 - 2*w**2 + 3 - 18*w**3 - w + 2 - 3. Is i(1) a multiple of 26?
True
Let w be (21/(-6) + 3)/(2/20). Does 20 divide 1/w + (-12920)/(-100)?
False
Suppose 0 = p + 10*u - 14*u - 1691, 5*u = -10. Does 73 divide p?
False
Let s(q) = -8*q**3 - 4*q**2 - 5*q + 3. Let g be s(-3). Suppose 2*b = 4*b + 4*c - 404, -606 = -3*b + c. Suppose b + g = 5*v. Does 20 divide v?
True
Let b be (-2)/2 + 6/2. Suppose m = -2*x + b*m + 75, x - 3*m - 40 = 0. Suppose 5*i - x = -2. Does 2 divide i?
False
Let k = 3 + 2. Suppose -g = -k*s + 2*g + 260, -5*g = 0. Does 10 divide s?
False
Let b(l) = 8*l**2 + 3*l + 11. Let k be b(11). Suppose 4*t - 4 = k. Is 45 a factor of t?
False
Let y(r) = r**2 + 28*r - 9. Let s be y(11). Suppose -3*t = t - s. Is t a multiple of 15?
True
Let f = -107 + 367. Suppose 4*t = 3*a + 189, -15 = 5*t + 5*a - f. Is t a multiple of 13?
False
Is -4 + 19/((-76)/(-312)) a multiple of 25?
False
Let t(z) = -z**2 - 7*z + 6. Let y be t(-5). Suppose 4*m - y = -0, -d - 4*m = -19. Suppose -b = 5*a - 32, 4*b - 37 = d*a + 22. Does 7 divide b?
False
Suppose -5273 + 33893 = 9*r. Is r a multiple of 12?
True
Suppose -l + 312 = -4*j, -3*l + 1233 - 258 = j. Is 18 a factor of l?
True
Let y = 156 - 229. Let c = y - -115. Does 21 divide c?
True
Let l = -155 - -292. Suppose -3*f + o + 49 = l, -4*o - 8 = 0. Does 27 divide f/(-20) - 210/(-4)?
True
Let u(w) = -2*w + 21. Let k be u(-5). Suppose 3*q + p = -4*p + k, p - 3 = q. Suppose -q*b + 14 = -18. Does 16 divide b?
True
Let a(u) = -8*u**3 - 2*u**2 + u. Let g be a(1). Let j be (12 - 3) + 0/((-6)/(-2)). Let v = j - g. Is v a multiple of 18?
True
Suppose 5*s - 2*d = -6*d + 3012, -2*s + 1212 = 4*d. Is 30 a factor of s?
True
Is (1 - (-45)/(-6))/((-20)/40) even?
False
Suppose 13 = 5*h + 3*r, -5*h + 14 = r + 3. Is 8 a factor of (-3)/h*-38 + -4?
False
Suppose 3*h + 7*y = 3*y + 1342, -1810 = -4*h + 5*y. Is 6 a factor of h?
True
Let d(k) be the first derivative of -7*k**3 - 2. Let j be d(-2). Does 21 divide (11 - 11) + j/(-2)?
True
Let m(k) = k**2 - 10*k + 16. Let q be m(8). Let s = q + -6. Does 23 divide 276/16*(-32)/s?
True
Let k(i) = i + i**2 + 6 + 4*i - 4*i + 8*i. Let x be k(-9). Let f(p) = 11*p - 9. Does 19 divide f(x)?
True
Let z(k) = -5*k**3 - 12*k**2 - 5*k - 15. Let i(s) = -11*s**3 - 24*s**2 - 9*s - 30. Let m(g) = 4*i(g) - 9*z(g). Is m(-10) a multiple of 25?
True
Suppose 10 = -5*j, -3*n + 2*j + 34 = -342. Is 2 a factor of n?
True
Suppose 0 = 4*j - 211 - 121. Suppose -4*p - j = 141. Does 10 divide p/98 - (-200)/7?
False
Suppose 79*k - 154227 = -22*k. Does 4 divide k?
False
Suppose -21*p + 20*p = -11. Suppose 77 + p = -4*u. Is (-268)/u + 24/(-132) a multiple of 3?
True
Let r(o) = o**3 + 2*o**2 - 39*o + 11. Is r(7) a multiple of 18?
False
Let n(l) = -l**3 - l + 84. Let z(d) = -d**3 + 17*d**2 - 2*d + 34. Let y be z(17). Is n(y) a multiple of 21?
True
Let h(l) = 3*l. Suppose 6*d = -d + 14. Let p be h(d). Is (5/3)/(2/p) even?
False
Let t(r) = -2*r**3 + 27*r**2 - 21*r - 24. Is t(11) a multiple of 50?
True
Suppose 6 = 5*p - 0*j + 3*j, -j + 2 = -2*p. Suppose -13*u + 11*u + 120 = p. Is u a multiple of 15?
True
Suppose 0*o + 3*o = 1560. Suppose 5*j - 872 = -3*n, -n + o = -0*j + 3*j. Is j a multiple of 23?
False
Let y(t) be the third derivative of -t**6/40 - 2*t**5/15 + 5*t**4/24 + t**3 - 16*t**2. Is 12 a factor of y(-6)?
True
Suppose 5*k + 2*o = 5042, -4*o - 2036 = 16*k - 18*k. Is 18 a factor of k?
False
Let z(j) = j**3 + 23*j**2 - 111*j + 151. Is 19 a factor of z(-27)?
False
Suppose 0 = 9*a - 5*a. Suppose -r - 5*r - 222 = a. Is 6 a factor of (-8)/24 + r/(-3)?
True
Let c(i) = 2*i**2 - 2*i - 9. Let j be c(-5). Suppose -7*r = -j - 152. Is 6 a factor of r?
False
Suppose -2*v + 702 = -3*y, -230 = -v - y + 121. Is v a multiple of 27?
True
Let v(n) = n**3 - 6*n**2 - 3*n + 104. Is v(13) a multiple of 13?
True
Suppose 5*a + 4*t - 758 = -0*t, -292 = -2*a + 4*t. Is 6 a factor of a?
True
Let v = 17 + -17. Suppose 0 = -3*k - 0*k - 2*s + 76, v = k - 2*s - 36. Let l = k + 3. Does 12 divide l?
False
Suppose 2*y - 3*y + 5*v - 5 = 0, -5*v = -4*y + 10. Let q be (5 - y) + 1 + 1. Suppose 2*p - 6*x + 2*x = 58, 2*x - q = 0. Is 31 a factor of p?
True
Let l = 208 - 40. Suppose -x + l = x. Does 14 divide x?
True
Let u be 1 - ((-12)/(-4))/(-3). Let l(b) = 5*b**3 + 3 - 2*b**3 - b - u*b**3 - 3*b**2. Does 29 divide l(6)?
False
Suppose -h + 3*h = 370. Let o = h - 90. Is o a multiple of 19?
True
Let f be (-2 - 18/(-15))/((-3)/15). Suppose i = 6*i + q - 305, -f*i = 2*q - 250. Does 15 divide i?
True
Let z be (0 - (-6)/4)*2. Suppose -2*w - z - 1 = -4*d, 0 = 3*w - 5*d + 3. Suppose 4*o - 116 = w*j, 5*o = o + 2*j + 114. Is 7 a factor of o?
True
Let u(p) = 9*p**2 + p + 3. Suppose -2*g + 2*j = -0*j + 8, 4*j - 4 = 0. Let v be u(g). Suppose 4*k = k + v. Is k a multiple of 9?
True
Suppose 7*f = -3*f + 20. Is 14 a factor of (-28)/(f/6*54/(-63))?
True
Suppose -2*w - 29 = -169. Is 23 a factor of w?
False
Suppose 2322 = -13*c + 7431. Is c a multiple of 4?
False
Let n(s) = 2*s**2 + 16*s - 16. Let r be n(-9). Suppose u = -r*z + 130, -5*z + 349 + 165 = 4*u. Is u a multiple of 21?
True
Let c = -23 - -23. Suppose -4*l + f + 213 = c, 3*l + 7*f = 5*f + 168. Does 9 divide l?
True
Suppose -3*i - 155 = 2*s + 54, 3*i + 204 = -3*s. Let r = -27 - i. Does 10 divide r?
False
Let o = -108 + 70. Let i be (4 - -14 - -3)*(-56)/(-21). Let u = o + i. Does 5 divide u?
False
Let h(o) = o**3 + 11*o**2 - 2*o - 13. Let c be h(-11). Let y be (-1149)/(-3)*(c - 8). Is y/6 - 3/(-18) a multiple of 8?
True
Let b = 380 - 206. Is b a multiple of 53?
False
Suppose -5*o + 1645 = -5*y, o - 335 = -24*y + 19*y. Is 4 a factor of o?
False
Let d(p) = p**2 - 3*p - 36. Let o be d(8). Suppose o*j - 228 = 180. Does 34 divide j?
True
Suppose j - 4*b - 19 = 35, -5*j = -4*b - 190. Suppose -39*i + 280 = -j*i. Does 3 divide i?
False
Suppose -13*r + 3499 + 5601 = 0. Does 7 divide r?
True
Let b = -203 + 432. Does 10 divide b?
False
Let g = -51 - -155. Suppose y + 0*j - g = 5*j, 0 = 4*j. Is 13 a factor of y?
True
Let k(n) = 2*n + 9. Let d be k(-12). Does 56 divide (-24)/d + (-6)/(-15) - -169?
False
Let a = -16 + 27. Suppose -o = -a - 3. Suppose -2*k + 6 + o = 