 62*o = 58*o + i. Is 7 a factor of o?
True
Suppose 5*k - 10 = 0, -2*k = -4*c - 5*k + 18. Suppose 4*w - 72 - 48 = 5*r, -4*r - 89 = -c*w. Suppose 5*a - 250 = -w. Is a a multiple of 3?
False
Let p(u) = -u**3 + 4*u**2 - u - 4. Let k be p(2). Suppose -4*w + 2 - 10 = 0, -h = k*w - 556. Is 16 a factor of h?
True
Let l(m) be the second derivative of m**4/12 - m**3/3 + 22*m. Let r be l(3). Suppose 0 = -5*i - r*y + 6*y + 556, -3*y - 336 = -3*i. Is 10 a factor of i?
True
Suppose -107*k - 15136 = -150*k. Does 32 divide k?
True
Suppose -4*r = -4*t + 8, 3*r - 17 - 26 = -4*t. Suppose 0 = t*j + 33 + 30. Let f = j + 28. Is f a multiple of 5?
False
Suppose 343*w - 346*w = -c + 11147, 0 = -c - 2*w + 11147. Does 15 divide c?
False
Suppose 3*k + k = -n + 6041, 0 = 4*k + 5*n - 6029. Suppose 5*m - k = -4*w + 2*w, -w = 4*m - 1207. Does 17 divide m?
False
Let j(z) = 2*z - 4. Let a(l) = -5*l + 8. Let b(s) = 4*a(s) + 9*j(s). Let u be b(3). Does 13 divide 5/u + 54/4?
True
Let m = 23261 - 16216. Is m a multiple of 46?
False
Let o = 1561 - 1441. Does 6 divide o?
True
Let h(j) = -j**3 + j**2 - j + 35. Suppose -4*k - 16 = 5*u, k + 4*u + 25 = 8*u. Is h(k) a multiple of 14?
True
Let g be (4 + 0)*((-4 - -9) + -4). Suppose -5*r = -4*p + 9, -r + g*r - 39 = -5*p. Is 11 a factor of (9/p)/((-65)/68 - -1)?
False
Let z be 4*5/((-60)/(-27)) - 4. Suppose c = 4*o - 572, -z*o + 555 + 169 = c. Does 36 divide o?
True
Let w = 22 + -22. Suppose w = 5*j - 2*c - 2214, -2*c + 408 = 5*j - 1818. Is j a multiple of 37?
True
Suppose -40591*p = -40611*p + 188240. Does 13 divide p?
True
Suppose -53*n = 73*n + 152446 - 686560. Is n a multiple of 26?
False
Let w = -74 - -44. Let a = -46 - w. Is a/32 + -2*482/(-8) a multiple of 30?
True
Let y be 2 - (-1 + -1 - -109). Suppose v - 19 + 80 = 0. Let b = v - y. Does 29 divide b?
False
Let b(n) = -73*n + 91. Let v be b(-8). Does 54 divide (-1 - 7/(-5))/(5/v)?
True
Suppose -4*o + 8 = 0, o = -y + 2*y - 465. Is 1 - (4/6 - y/3) a multiple of 13?
True
Is 2 + -15 + (27326 - -310) a multiple of 209?
False
Suppose -163*h - 4609 = -164*h. Does 11 divide h?
True
Suppose 2*u + 478 = q, -7*q + u = -4*q - 1419. Suppose 4*y - 140 - q = 0. Let t = y - 71. Is t a multiple of 5?
False
Let l(i) = -1077*i**3 + 4*i**2 - i + 12. Does 15 divide l(-3)?
True
Let c(x) = -x**2 - 20*x + 21. Let h be c(-18). Let j = h - 49. Suppose j + 17 = 5*v, -y + v = -48. Does 15 divide y?
False
Suppose -4*b + 171 = -5*x, -4*x - 144 = 2*b + 2*b. Is (-14)/x + 9592/20 a multiple of 19?
False
Let u be 0 - (-5 + 1) - (36 - 35). Suppose -2*q + 221 + u = 0. Suppose -21*i = -20*i - q. Is i a multiple of 14?
True
Let j(a) = -a**3 + 77*a**2 - 883*a - 63. Does 21 divide j(57)?
False
Let f(u) = -2*u - 20. Let h be f(-11). Suppose t = -4*w - 0*w, 0 = -h*t + 4*w. Let c = 36 - t. Does 12 divide c?
True
Let v = 2727 + -1587. Is v a multiple of 59?
False
Let p(w) = -11*w + 2 - 44*w + 1 + 1. Let x be p(1). Let i = x - -201. Does 30 divide i?
True
Let i(g) = 243*g + 17. Let w be i(6). Let u = -350 + w. Does 18 divide ((-4)/(-10))/(5/u)?
True
Suppose 10265 + 5599 = 24*p. Does 4 divide p?
False
Suppose 0 = 83*f - 79*f + 208. Let t = f + 52. Suppose 4*o + j + j = 102, t = 5*o - 3*j - 111. Is o a multiple of 12?
True
Let b(o) = 2*o**2 - 19*o + 53. Let c be b(4). Is 15 a factor of c/24 + (-8477)/(-8)?
False
Let o(r) = 9*r**2 - 29*r - 44. Let x(t) = -t**2 + t + 1. Let j(i) = o(i) + 6*x(i). Is 24 a factor of j(11)?
True
Let q = 149 + -136. Suppose -89 - q = -3*g. Is g a multiple of 7?
False
Let w(g) = 2*g**3 - 17*g**2 - 16*g + 68. Let c be w(9). Suppose 368 + 1526 = 3*y + 4*v, c*v - 1265 = -2*y. Is y a multiple of 45?
True
Let l(n) = -17*n + 5. Let j(v) = 9*v - 2. Suppose -5*z + 16 + 19 = 0. Let a(k) = z*j(k) + 4*l(k). Is 12 a factor of a(-5)?
False
Let r = -13 + 12. Let o be ((-1)/r)/((-6)/318). Let q = o - -170. Is 39 a factor of q?
True
Let x = 29085 + -12932. Is x a multiple of 29?
True
Let j(x) = 911*x**3 + 3*x**2 - 389*x + 778. Is 4 a factor of j(2)?
True
Is 7 a factor of 220/88*(-8)/10 - -14094?
False
Suppose -61*o - 176 + 847 = 0. Let j = 109 + 3. Suppose -o*x = -18*x + j. Is 4 a factor of x?
True
Suppose -4*g = 600 - 88. Let i(s) = 79*s - 1656. Let m be i(21). Let l = m - g. Is l a multiple of 30?
False
Suppose -13*w = 85*w - 19523 - 905009. Is 106 a factor of w?
True
Let z = 925 - 757. Is z a multiple of 6?
True
Suppose -43044 = -5*n + c, -108*c + 110*c - 12 = 0. Does 35 divide n?
True
Let u = 10906 - 7074. Is u a multiple of 174?
False
Let x(r) = 9173*r + 906. Does 28 divide x(1)?
False
Suppose -4*p = 2*g + 16, 0 = 104*g - 103*g + 5*p + 11. Is (4 + -664 + 1)/(3/g) a multiple of 20?
False
Let p be (-1)/(-4 - (-33)/9). Suppose -4*l - 436 = -m, -2*l - 2*l + 1228 = p*m. Does 16 divide m?
True
Suppose 5*h + 114 = 974. Is h a multiple of 3?
False
Let k be -2*(12/2 - 4). Let z(a) = -a**3 - 2*a**2 + 6*a + 8. Let x be z(k). Suppose 2*s - 4 = x. Is 5 a factor of s?
True
Let l(w) = 441*w - 1. Let f be l(-1). Let n = 1044 - 1040. Does 19 divide 2/n + f/(-4)?
False
Let g(x) be the first derivative of x**3 + 21*x**2/2 - 6*x - 7. Let t be g(-9). Suppose -15*q + t = -14*q. Does 12 divide q?
True
Suppose -197511 = -3*b + 4*j, 191*b = 196*b - 4*j - 329209. Is 23 a factor of b?
True
Let p(h) = -111*h + 428. Is p(-14) a multiple of 2?
True
Let y be 1780/35 - (0 + (-3)/21). Suppose 5950 = b - 6*b. Is 5 a factor of ((-12)/10)/(y/b)?
False
Suppose 5*p - 31 = -2*o, -3*p + 74 = 3*o - p. Let u(j) = 14*j**2 + 2*j + 4. Let a be u(3). Suppose -o*d = -24*d - a. Is d a multiple of 23?
False
Let g(k) = 22*k**2 + 4*k - 799. Is g(-22) a multiple of 10?
False
Let a(d) = 7*d + 13. Let r(h) = -5*h + 126. Let p be r(21). Is 16 a factor of a(p)?
True
Let d(s) = 3*s - 55. Let f be d(19). Suppose -14 = -2*y - 2*o, -5*o + 2*o = -f*y + 4. Is 1 + (-3)/y - (-39)/15 a multiple of 2?
False
Let m(q) = -25*q + 6. Let j(y) = -y + 1. Let l(z) = 18*j(z) - 2*m(z). Let f(g) = 13*g - 206. Let b be f(16). Is 14 a factor of l(b)?
True
Let t(i) be the second derivative of 9/2*i**2 + 0 + 7/6*i**3 - 1/12*i**4 + 17*i. Is 2 a factor of t(5)?
False
Let f be 4/(22/10 + (-2)/10). Suppose -s = 4*q + f*s - 236, -2*q = 3*s - 112. Is 2 a factor of q?
True
Suppose 191*r - 180*r = 1716. Is r/(6/(-16) + 30/40) a multiple of 16?
True
Suppose -24283 = -4*q + 21893. Is q a multiple of 74?
True
Let i be (-1 + -237)/((-13)/26). Let d = 392 + i. Is d a multiple of 31?
True
Let p = 13084 - 9472. Is p a multiple of 14?
True
Let u(j) = j**3 - 6*j**2 + 15*j - 32. Let v be u(5). Suppose -193 + 3973 = v*w. Is w a multiple of 2?
True
Let b = -1637 - -913. Does 9 divide (9/12)/(-1 + b/(-720))?
True
Let u(n) = n**2 - 23*n + 42. Suppose -p = 3*p - 84. Let b be u(p). Suppose c = 4*y + 67, b = -4*c - y + 3*y + 296. Does 15 divide c?
True
Let s = -174 - -412. Let a = s + 92. Is 33 a factor of a?
True
Let x(u) = 4153*u - 369. Is x(1) a multiple of 16?
False
Suppose -5*y = 4*h + 98, -5*h + 70 = -8*h - 2*y. Is (-8100)/h - ((-225)/33 - -7) a multiple of 23?
True
Let c(g) = g - 2. Let q be c(11). Let o = 389 - 279. Suppose q*f - 250 - o = 0. Does 3 divide f?
False
Let k(a) = 10*a**2 - 55*a + 379. Does 8 divide k(11)?
True
Suppose -6*i + 3*i + 8*i = 20520. Is 12 a factor of i?
True
Suppose 3*z + 936 = 2*b - 1016, -3*z - 2928 = -3*b. Suppose 8*g - 4845 = 3*g + 3*d, -g + 2*d = -b. Is 46 a factor of g?
True
Suppose 20 = 5*y, -y = 2*i - 3*y + 62. Is 15 a factor of i/((-1)/(16/12))?
False
Let z be 8/(51/18 - 3). Suppose v - 2 = -0*v. Does 16 divide z/2*v*-1?
True
Let f = 6655 - 113. Is f a multiple of 30?
False
Let h(u) be the third derivative of 31*u**4/24 - 7*u**3/6 - 3*u**2 - 6*u. Let v = 1 + 2. Is 19 a factor of h(v)?
False
Is 6484 - 6 - (-4 - (10 + -6)) a multiple of 23?
True
Suppose 5*a + 4*p - 6572 = 0, 2*p + 7209 = 5*a + 625. Is a a multiple of 58?
False
Let g = 14966 + 2859. Does 31 divide g?
True
Suppose -95*h + 4214524 - 370864 = -h. Is h a multiple of 235?
True
Suppose -2*n - 13 + 27 = 0. Suppose -11*z = -n*z - 908. Is z a multiple of 4?
False
Suppose 0 = -104*o + 108*o + 2608. Let a = o + 1268. Does 28 divide a?
True
Let s(x) = -3*x**3 - 4*x**2 - 30*x - 15. Is s(-4) a multiple of 65?
False
Let y = -2830 - -1861. Let a = 1761 + y. Is a a multiple of 24?
True
Let y(j) = -j**3 - 9*j**2 + 67. Let t b