26 divide h?
True
Let q(g) = 196*g + 8. Let o be q(5). Let f = -689 + o. Is f a multiple of 14?
False
Suppose 7*v - 5*v = 24. Let c = 17 - v. Does 10 divide -5*4*(-15)/c?
True
Suppose 0 = -8*m - 4*m + 4548. Let b = m + -137. Is b a multiple of 35?
False
Let c = 1442 - 2945. Is 20 a factor of (-2)/(30/c) + (-5)/25?
True
Let p = 7289 + -4649. Let z = p - 1706. Is 38 a factor of z?
False
Let a(g) = -5*g - 38. Let y be a(-8). Suppose y*b = -23 + 7. Is 5 a factor of 35 + (-20)/b*-2?
True
Let h(m) = 5*m + 1. Suppose 2*o + 5*d = -26, 2*o + 38 = -3*o + d. Let i be (o + 36)*(-4)/(-14). Is h(i) a multiple of 16?
False
Let r(b) = b**3 - 6*b**2 + 16*b - 9. Let x be r(6). Let s = 82 - x. Is 3*s/(15/(-9)) a multiple of 9?
True
Let x(l) = 3672*l - 1497. Does 219 divide x(5)?
True
Let y be (-6)/((-108)/2750) - 4/(-18). Let h = 331 - y. Suppose -h - 352 = -5*s. Does 9 divide s?
False
Let c(x) = -3873*x - 69. Let f be c(-3). Does 20 divide (-4)/(-32) + -2 + f/16?
True
Let m = 153 - 155. Is 65 a factor of m/(-3)*3 - -9*42?
False
Let r(k) = k**3 + 8*k**2 - 12*k - 8. Let g be r(9). Suppose -7*m + 4*f = -2*m - g, -3*m + 764 = 5*f. Is 20 a factor of m?
False
Let u(v) = 431*v**3 + v - 1. Let j be u(1). Suppose j = -4*x + 1935. Is 18 a factor of (-2 + x/(-28))*-7?
True
Let o(n) = 0 - 1 + 5*n**2 - 5*n - 6*n**2 - 5. Let y be o(-3). Suppose a + 39 - 218 = y. Does 49 divide a?
False
Let m = 4553 + 711. Is m a multiple of 29?
False
Suppose -29*c + 12*c + 12*c = -17225. Is 3 a factor of c?
False
Let j = 68 - 61. Suppose -j*i = 2*i - 1251. Is 5 a factor of i?
False
Let l(c) = 252*c - 374. Does 8 divide l(8)?
False
Let m = -156 - -13. Let k = 164 - m. Is 7 a factor of k?
False
Suppose -6*m + 2*m - 47720 = -12*m. Is 65 a factor of m?
False
Let a(h) = h**2 + 19*h - 121. Let g be a(-24). Does 38 divide 112 - (4 - g - 7)?
True
Let z(a) = 1811*a**2 + 93*a - 194. Does 108 divide z(2)?
True
Let x(j) = 3*j**2 + 65*j + 9593. Does 19 divide x(0)?
False
Let l(w) = 2*w + 31. Let g be l(-16). Let y be 3 - 7 - -243 - g. Is 5 a factor of (-6)/(-4)*y/45?
False
Suppose c = 4*w - 2*c - 9, -5*w + c + 3 = 0. Suppose -3*h + 11 - 2 = -3*d, 0 = -2*d - 4*h + 24. Is ((-18)/(-5) - w)/(d/50) a multiple of 10?
True
Suppose 64 = 16*d - 1728. Let k = d + -106. Is 4 a factor of k + (2*-2 - (-3 - 4))?
False
Is (-20)/12*-3*(5 - 66676/(-20)) a multiple of 52?
False
Let h(p) be the third derivative of -p**6/120 + p**5/2 + 149*p**4/24 - 29*p**3/6 - 75*p**2. Does 9 divide h(34)?
False
Suppose 1787 - 7214 = -9*c. Suppose 5*j = -3*o - 681, -4*j - 305 = 4*o + c. Let v = -110 - o. Is 25 a factor of v?
False
Let j(v) = 9*v + 20. Let x be j(-4). Let a be x/56 + (-74)/(-14). Suppose -a*m + 462 = m. Is 14 a factor of m?
False
Suppose 3*r - 32 = 16. Suppose 38*y = r*y + 2310. Is 25 a factor of y?
False
Let j(a) = 1163*a**3 - 12*a**2 + 52*a - 61. Does 12 divide j(2)?
False
Is 1266 - (13 + -39 - -12) a multiple of 32?
True
Let f = -2452 - -2520. Is f a multiple of 34?
True
Suppose -3*f - 2*f + 590 = 0. Suppose 5*h - 2 = 13, -2*h = -4*o + f. Let y = o + 16. Is y a multiple of 7?
False
Let v = -25960 + 38685. Does 25 divide v?
True
Is 99 a factor of 8/20*(3956 - -4)?
True
Suppose 2*y = -1266*u + 1263*u + 69198, 172975 = 5*y + 5*u. Is y a multiple of 61?
True
Let r = 3534 + -440. Suppose r = 4*w + 1222. Is w a multiple of 39?
True
Let n(p) = -p**2 - 63*p + 11624. Does 3 divide n(-115)?
False
Let d(v) = 49*v - 153. Let f be (190/(-114))/(10/(-36)). Is 47 a factor of d(f)?
True
Let m = -31843 + 43947. Is 4 a factor of m?
True
Does 3 divide (-5 + (6 - 0))/((-3)/(-13341))?
False
Suppose -2*m + 26*u - 23*u + 94564 = 0, m - 47300 = -3*u. Is 23 a factor of m?
True
Is 16 a factor of (814/(-148))/((-3)/(27054/3))?
False
Suppose -2*k - 90118 = -2*v, -4*v + 2*k + 148868 = -31382. Is 111 a factor of v?
True
Suppose -2*y + 15 = -19. Suppose -2*j - 1077 = -5*t, 0 = t + 25*j - 20*j - 237. Let k = y + t. Is 9 a factor of k?
True
Suppose 39*t - 25806 = 334554. Does 154 divide t?
True
Suppose -13*d - 331 + 175 = 0. Let y = 34 - d. Is y a multiple of 7?
False
Let q(o) = -315*o + 15. Let h be q(-1). Let g = h + 511. Does 18 divide g?
False
Let g be (-14)/21*(0 - 3). Let z be 12/27*-3*(-141)/g. Suppose 3*a + 144 = 4*n + 27, -3*n = -a - z. Does 11 divide n?
True
Let f = 255 - 259. Suppose -4*h + 1 = 4*u - 19, h + 3*u = 7. Is f/(h/(-1))*5 a multiple of 2?
False
Let w = 19285 + -13105. Does 103 divide w?
True
Let v = 95 - 48. Let c be ((-1)/(-2))/(-8 + (-1084)/(-136)). Let s = v + c. Is s a multiple of 10?
True
Suppose -1141 = -s + 6*l - 11*l, 2*s - 2297 = 5*l. Let y = s - 371. Is y a multiple of 31?
True
Let j = -67 - -67. Suppose -3*r + 324 = 3*h, j*r = 2*r. Let i = h + -68. Does 9 divide i?
False
Suppose 255 + 174 = 33*m. Suppose -m*o = -48*o + 8750. Does 5 divide o?
True
Suppose 4 + 49 = v. Suppose -2 + v = -3*r. Is 62 a factor of 32/(-272) - 3164/r?
True
Let q(c) = 14 + c**3 - 5*c + 2*c - 13 - 4*c. Let y be q(4). Let t = -34 + y. Does 3 divide t?
True
Let s = 115 + -111. Is 268 - (5 - 4/s) a multiple of 44?
True
Does 10 divide 27/(1053/104)*450?
True
Suppose 0 = g - 2*v - 1516, 28*g - v = 32*g - 6055. Is g a multiple of 4?
False
Let n = 22980 + 8523. Does 10 divide n?
False
Suppose 3802 = 37*b - 5531 + 1341. Is 8 a factor of b?
True
Let x(u) = 82*u - 101. Let j be x(15). Suppose 529 = -3*c + j. Is c a multiple of 50?
True
Let m be 12*(5 - (-49)/14). Suppose 3*t + m = -0*h + h, 222 = 2*h + 3*t. Is 18 a factor of h?
True
Suppose 2*m = 7*m - 10, 0 = 2*z - m. Let j be 3/3 + (z + 4)/1. Let t = j - -14. Is 11 a factor of t?
False
Let z = -33 + 16. Let l = z + -373. Let w = -230 - l. Is w a multiple of 32?
True
Let r(t) = 49*t - 22 - 80 - 40 - 22. Does 62 divide r(16)?
True
Let a = -4 - -4. Suppose 2*o - 5*o - 2*l - 64 = a, -5*o + 5*l - 90 = 0. Does 10 divide (o/(-3))/((-6)/(-36))?
True
Suppose 5*h - 24*h = -11001. Let t = h - 461. Does 59 divide t?
True
Let b(s) = -5*s**2 + 5*s. Let h be b(1). Suppose h = -19*g + 1912 - 354. Is g a multiple of 27?
False
Let q be 32/(-40) + ((-158)/10)/(-1). Suppose -y = -2*u + 5*u + 14, 0 = -5*y + 20. Is u/q + (-2816)/(-40) a multiple of 14?
True
Suppose z + 49108 = -525*y + 527*y, -122784 = -5*y - z. Is 7 a factor of y?
True
Let m(w) = -10*w + 17. Let b be m(7). Let q be b/159 - ((-937)/3 + 0). Suppose 5*s - q = 568. Does 7 divide s?
False
Let k(x) = -10120*x - 6208. Does 17 divide k(-4)?
True
Is 516 - ((-1064)/(-228) + (-7)/(-3)) a multiple of 211?
False
Is (8459/(-22) - -14)/((-3)/42) a multiple of 13?
True
Let m = 7579 + -1116. Is m a multiple of 29?
False
Let d(r) be the second derivative of -r**5/20 + r**4 - 16*r**3/3 + 2*r**2 - 2*r. Let p be d(8). Suppose 4*f = 5*b - 1240, -7 = p*f - 27. Does 12 divide b?
True
Let j(i) = 8*i - 23. Let z be j(10). Let h = -55 + z. Suppose 2 - 21 = -w + h*a, 0 = a + 2. Is 3 a factor of w?
True
Let q = -17 - -27. Let u be (-60)/(-2)*195/q. Suppose -3*r + 12*r = u. Is 16 a factor of r?
False
Let v(p) = 5*p - 13. Let t(j) = j**2 + 14*j - 23. Let x be (-46)/3 - 16/24. Let y be t(x). Is v(y) a multiple of 8?
True
Let g(z) = -114*z - 60. Suppose 0 = -21*w + 8*w - 52. Is g(w) a multiple of 66?
True
Let f be (-970)/(-679) - 8/(-14). Is 7 a factor of 1264/48 + f/(-6)?
False
Let x be 169 + 0 + 1/(2/(-6)). Let h be (3 - -3) + (-5 - -2) - x. Let t = h + 363. Does 38 divide t?
False
Let p(y) = 52*y**2 - 4*y + 10. Suppose 3*k - 6 = -x - 19, 4*x + 16 = 0. Is 19 a factor of p(k)?
False
Let v(u) = 714*u**2 - 160*u + 29. Does 103 divide v(-8)?
False
Suppose -4*v + 98612 = 9*v + 2282. Does 65 divide v?
True
Suppose 0 = -28*p - 33*p + 249368. Does 13 divide p?
False
Suppose 5*c + 3*w - 8*w = 30, 4*c - 33 = w. Let o be -2*1 - c/(-3) - -1. Suppose -o*l = 3*l - 260. Is 22 a factor of l?
False
Suppose 0 = 5*d - 86 - 34. Let q(u) = u**3 - 9*u**2 + 4*u + 23. Let i be q(8). Let m = i + d. Is 11 a factor of m?
False
Let h(w) = -709*w - 323. Does 26 divide h(-7)?
False
Let g = 6354 - 384. Does 15 divide g?
True
Suppose 757*l - 3*u + 19 = 761*l, -5*l = -5*u - 85. Suppose 3*m = -m + 20. Suppose w - 2*r = 11 + l, -m*w - 3*r = -118. Does 6 divide w?
False
Suppose 8*g = 4*g + 2*m + 28, -5*m = -g + 7. Let w(d) = 4*d**2 - 8233*d + 4 + 4 + 8232*d - 2. Does 13 divide w(g)?
True
Suppose s = 22 - 20. Let h(c) = 3