 multiple of 4?
True
Let n(r) = -92*r + 25. Let v be n(3). Let g = 177 + v. Let k = -50 - g. Is 3 a factor of k?
True
Let q(c) = 2*c**3 + c**2 - c. Let j(t) = 13*t**3 + 11*t**2 - 3*t - 9. Let y(s) = -j(s) + 6*q(s). Does 3 divide y(-5)?
True
Suppose 0 = 3*a - 9*a + 54. Suppose 5*r + a = 8*r. Is 4 a factor of ((-174)/(-10) - 4/10) + r?
True
Let c(i) = -i**2 + 5*i + 53. Let s be c(10). Suppose 2*d + 394 = 4*f, -s*f + 247 + 65 = 4*d. Is 9 a factor of f?
False
Let u be 9/(-6) - ((-140)/(-8) - 2). Is 13 + u + 166/1 a multiple of 10?
False
Suppose 0 = 9*r - 7*r + 24. Is (-2920)/(-32) - (-3)/r a multiple of 19?
False
Let a(x) = 210*x - 3703. Does 29 divide a(36)?
True
Let m = 5425 - 3742. Is 17 a factor of m?
True
Suppose 0 = 4*h - 19*f + 20*f - 11135, -5*f = -15. Is 11 a factor of h?
True
Let q be (-22 + 17)/((-10)/24). Suppose 10*z = q*z - 720. Is z a multiple of 36?
True
Suppose -6*x + 2*s + 22 = -x, 0 = -2*x + 3*s + 11. Suppose -x*z + 64 = 3*u + 26, -4*u = -3*z - 59. Is 3/(-2) + 1701/u a multiple of 30?
True
Let u(z) = 40*z**2 + 17*z - 7. Suppose 4*d + 16 = 0, 3*o - 9 - 16 = 4*d. Does 55 divide u(o)?
False
Suppose -47*s = -48*s + 604. Let t = s - 280. Does 11 divide t?
False
Let d(i) = -12*i**3 - 55*i**2 + 29*i - 18. Does 48 divide d(-12)?
False
Suppose -14*d + 420 = 6*d. Suppose d*k = 27*k - 1296. Is 24 a factor of k?
True
Suppose 14123220 = 152*g + 435*g. Is 7 a factor of g?
False
Suppose -9*q + 4*q + 310 = 0. Let u = 1 + q. Does 19 divide u?
False
Let c(u) = 3*u**2 + 118*u - 5. Let z be c(-40). Suppose -3*s = -p - 2*p + z, -2*p = -3*s - 47. Does 14 divide p?
True
Suppose -19 = 2*j - 3. Let v = -10 - j. Does 17 divide (4 + v + -1)/((-1)/(-116))?
False
Suppose 4*p = 2*h + 104 - 14, 3*h + 114 = 5*p. Suppose 5*i - 3*i - 104 = 0. Let y = i - p. Is y a multiple of 8?
False
Suppose 11992 = 2*a + 2*v, -6770*v + 6767*v + 23986 = 4*a. Is a a multiple of 35?
False
Let a(b) = 3*b**2 - 9*b + 31. Let v be a(7). Let d = v - 47. Is 40 a factor of d?
False
Let o = 7818 + -1749. Is 21 a factor of o?
True
Suppose 2*i - 19 = 5*x, 0 = -4*x + 3 + 9. Suppose -i*q + 6 = -15*q. Is 2*((-12)/q + 113) a multiple of 37?
False
Let t = 53 + -35. Let y = t - 28. Does 14 divide 5/y*-2*67?
False
Let z be (-7)/(-4) + 11/44 + 208. Suppose -5*l = -j + 93, -5*j = 4*l - z - 371. Does 4 divide j?
False
Let i(v) = -42*v**3 - 2*v**2 - 5*v - 13. Let r(m) = -m**3 - 23*m**2 - 45*m - 66. Let g be r(-21). Is 26 a factor of i(g)?
True
Let l(k) = k**3 + 7*k**2 - 13*k - 76. Let a be l(-6). Suppose -48*r = -a*r - 4310. Is r a multiple of 42?
False
Let o be 6/1 - (8 - 3 - -8). Is -8 + (o + 8 - -25) a multiple of 10?
False
Suppose -612 = -3*y + u, 0 = 2*y - 0*u + 3*u - 408. Suppose -129 = -a + y. Does 8 divide a?
False
Suppose -78 = -b - 12*b. Let q be (-6 + 5 + b)*29. Suppose -725 + q = -2*t. Does 12 divide t?
False
Let b(k) = -2*k + 8. Let t be b(2). Suppose 6*j + 6 = t*j. Let a(i) = 4*i**2 - 8*i - 17. Is 30 a factor of a(j)?
False
Let w = -10901 + 15547. Is 46 a factor of w?
True
Let n be -5 - -1*(-15)/(-3). Does 23 divide 1 + (5 - -408) + n?
True
Suppose -58801 = 74*h - 1346118 + 182793. Is h a multiple of 12?
False
Let l = 82881 - 57877. Is 188 a factor of l?
True
Suppose -11*u = -10*u - 2*d - 40012, -5*u + 200105 = 5*d. Does 187 divide u?
True
Suppose -215 + 55 = 4*x. Let f be (-46)/(-10) + (0 - 16/x). Suppose -221 = 4*u - 6*u + f*z, 225 = 2*u - z. Is 12 a factor of u?
False
Let y(z) = 4148*z**2 - 52*z + 158. Is 11 a factor of y(3)?
True
Is 43 a factor of ((-1018)/(-3))/((-4)/(-66))?
False
Let k(o) = 2*o + 27. Let d be k(-20). Let i = d + 16. Suppose -q - 4*b = -b - 227, i*q = 3*b + 633. Is q a multiple of 19?
False
Suppose -1384 + 1202 - 2743 = -45*c. Is 65 a factor of c?
True
Suppose n + 5*y - 10 = 0, -2*n + 5*n = -y + 16. Suppose -2*k - 5*u = -280, -2*k = -5*k + n*u + 370. Is k a multiple of 26?
True
Let h be (15 + -11)*-1*(-1)/(-2). Is ((80/15)/4)/(h/(-567)) a multiple of 54?
True
Let c(h) = -12*h - 226. Suppose -3*v - 121 = -w - 4*w, -5*v - w - 211 = 0. Is 4 a factor of c(v)?
False
Suppose 6*b = 2*b + 16, 3*r = -3*b + 18. Suppose -10 = -r*x + 2*h, 2*x + h = 7*x - 29. Suppose x*s - 461 - 403 = 0. Is s a multiple of 24?
True
Does 22 divide (-1)/(-14 + (-188357)/(-13455))?
False
Let x be (27/6*2)/(1/87). Let i = x + -243. Is i a multiple of 12?
True
Suppose -5*z = -m - 19623, 5*z - 1286 = 4*m + 18331. Suppose -1619 = -12*b + z. Is 21 a factor of b?
True
Let m be ((-10)/5)/((-10)/115). Suppose m*h = 13*h + 440. Is 4 a factor of h?
True
Let a(v) = 12*v + 25. Let g be a(-2). Let o(r) be the second derivative of 11*r**4/6 - r**3/3 + r**2 + 16*r. Is 5 a factor of o(g)?
False
Let g(n) = 910*n + 2678. Does 33 divide g(-2)?
True
Suppose -79734 - 59802 = -52*b + 43*b. Is 152 a factor of b?
True
Let v be (-7)/(-21) + 2756/12. Is v + -1 - (-10)/(-10) a multiple of 29?
False
Suppose 0 = -5*x - 8*x - 1443. Let a be 4/(84/x) + 4/14. Let j(z) = -33*z + 3. Does 14 divide j(a)?
True
Let o be 22/8 + (-6)/144*-6. Suppose -6*v + o*v + 3*b = -1527, 4*v - 2*b = 2036. Is 51 a factor of v?
False
Let f be (-1)/(-5) + (-4)/20. Suppose -5*d - 34 = -3*k, 0 = -5*k + 7*k + 2*d - 12. Suppose k*r - 31 - 1 = f. Is 2 a factor of r?
True
Let p(a) = a**2 + 10*a + 21. Let o(d) = d**3 - 8*d**2 + 21*d - 6. Let q be o(4). Is 15 a factor of p(q)?
False
Suppose 0 = -m + 2*m + 3*b + 8, 0 = m - 5*b - 24. Suppose 8 = -6*k - m. Does 9 divide (0 - 89/k)*2?
False
Suppose -43*p - 135099 = -60*p. Is 68 a factor of p?
False
Let k(w) = 15*w + 51. Let o(i) = 30*i + 100. Let n(m) = 5*k(m) - 3*o(m). Does 9 divide n(-24)?
True
Suppose -2*o - 48 = -2*k + 2, 3*k - 2*o = 76. Suppose 0 = -k*q + 18*q + 1808. Does 36 divide q?
False
Let n = 2035 - 1629. Is n a multiple of 108?
False
Suppose p - 28779 = -3*a, -2*a - 28809 = p - 2*p. Does 62 divide p?
False
Suppose 689931 = 146*h - 45*h. Does 11 divide h?
True
Let k(h) = -52*h - 11. Let m = -38 - -42. Suppose 2*u - u + 1 = -2*j, m*u - 14 = j. Does 31 divide k(j)?
True
Let j(s) = 21*s**3 + 9*s**2 - 3*s + 1. Let x be j(-3). Let t = x + 975. Does 35 divide t?
False
Is (-82400)/6*(-85)/(5610/99) a multiple of 50?
True
Let l be 10 + (-62148)/(-52) - 2/13. Let b = l + -639. Is b a multiple of 13?
False
Let t(j) be the first derivative of 5*j**2 - 26*j - 2. Let u = -864 - -870. Is t(u) a multiple of 5?
False
Suppose 2*o - d = 11, -2*o = -10*d + 5*d - 7. Let n = 5 - o. Does 8 divide ((-60)/24)/(n/10)?
False
Let y = -13 - -33. Let s = 2 - y. Let v = s + 41. Is 23 a factor of v?
True
Let l = 28 + 10. Suppose -51*r = -l*r - 2457. Is r a multiple of 12?
False
Let b(c) = -c**3 + 20*c**2 - c + 23. Let k be b(20). Is 28 a factor of (-5199)/(-15) - k/5?
False
Suppose 0*n - 2*l = -2*n + 1434, -2186 = -3*n - 4*l. Does 38 divide n?
True
Suppose 3665 = 2*t - 299. Let b be -3 + (-49)/(-21) + t/3. Suppose d = 12*d - b. Does 15 divide d?
True
Let k(y) = 3*y + 27. Let d be k(-8). Suppose -d*a - 231 = -5*h, 0 + 3 = a. Is h a multiple of 6?
True
Suppose z - 2*o = -0*z + 26, -4*z = o - 122. Let p = 34 + z. Suppose -56 - p = -3*v. Does 8 divide v?
True
Does 36 divide (33/(-6) + 4)*(-107464)/42?
False
Suppose 11*s - 160 = 7*s. Let v = s - 34. Does 3 divide (-705)/(-65) - v/(-39)?
False
Suppose 4*m + 16 = 0, -31*x - 3511 = -34*x - 2*m. Is x a multiple of 51?
True
Let j = -367 - -692. Suppose -4*x + 522 + 107 = -5*r, -2*x + j = r. Does 12 divide x?
False
Let m(q) = q**3 - 6*q**2 + 2*q - 9. Let o be m(6). Suppose -f + o*f = -5*y - 951, -y - 4*f = 183. Let u = -76 - y. Does 23 divide u?
True
Let v = -45 - -46. Let f be (3 + -9)*v/(-2). Is 7 a factor of ((-25)/(-10))/(f/6)*7?
True
Is ((-63634848)/6060)/((-4)/14 - (-4)/(-35)) a multiple of 11?
False
Does 2 divide ((-6660)/40)/(((-9)/(-26))/(-3))?
False
Let c = -837 - -493. Let y = c - -1024. Is y a multiple of 17?
True
Let u = -23 - -22. Let h be (0 + 1)/(1/(-211)*u). Let n = -139 + h. Is 36 a factor of n?
True
Let a(q) = -q**3 - 6*q**2 - 5*q + 6. Let v be a(-5). Suppose 3*p = v*p - 4*p. Suppose 0 = -b - w + 100, b + 2*w = -p*w + 104. Does 32 divide b?
True
Suppose -4*y - 19*k = -16*k, -4*k - 22 = -2*y. Let t(a) be the third derivative of 71*a**4/24 + a**3/2 + a**2. Is 41 a factor of t(y)?
False
Suppose z - 2*a + 511 = 2*z, -5*z + 2585 = -5*a. Let q = z + -442. Is 15 a factor of q