= 0. Let r = h - -509. Does 26 divide r?
True
Let d(j) = 360*j**2 + 3*j + 4. Suppose -b + 8 - 9 = 0. Is d(b) a multiple of 23?
False
Suppose -559 = -3*w - d, d + 433 = 3*w - 136. Suppose -3*s + 1676 = w. Is s a multiple of 16?
True
Suppose -c - 2*o = -0*o, 4*c - 4*o = 12. Suppose -c*w - 3 - 9 = 0. Is 13 a factor of (-3)/w - 394/(-4)?
False
Let c(g) = 4*g**3 - 12*g**2 + 26*g - 16. Let y be c(8). Let b = y + -536. Does 39 divide b?
True
Let w be (-24)/108 - (-158)/(-18). Is 10 a factor of 3 + w + 1068/3?
True
Suppose -4*s = 4*s - 40. Suppose -3*z - 516 = -4*i, 4*i - s*z = 476 + 32. Is 11 a factor of i?
True
Let r be 4*44/8 + 0. Suppose 0*d - 3*d - 7 = -2*w, -3*d = -4*w + 11. Is 3 a factor of (w + -3)/((12/r)/(-6))?
False
Let t be (-2 - (0 + -4)) + 37. Let b = 44 - t. Suppose -u - 96 = -4*w - 6*u, b*u + 96 = 4*w. Is 4 a factor of w?
True
Suppose 4*v + 241 = 77. Let q = -38 - v. Suppose -19 + 478 = q*s. Is 49 a factor of s?
False
Let k = 9128 - 8134. Is k even?
True
Suppose 7*v = -24 - 46. Suppose 0 = 5*z - 44 - 6. Does 11 divide 4/v - (-2)/(z/167)?
True
Suppose 5*v = -2*p - 67, v - 35 - 26 = 2*p. Is 5 a factor of 5/(-10) - p*(-2)/(-4)?
True
Let j(s) = -15*s + 101. Let k be -2 - ((-1)/(-4))/(22/792). Is j(k) a multiple of 22?
False
Let c = 339 - 399. Does 7 divide ((-608)/(-190))/((-1)/c - 0)?
False
Let m(d) = 403*d**2 + 66*d + 607. Is m(-8) a multiple of 22?
False
Does 3 divide 16 + -750*3/(-6)?
False
Suppose -6*l + 46 = 64. Let q be 430/6 + (0 - 1/l). Does 13 divide (36/q)/(2*(-2)/(-624))?
True
Let m be ((-5)/(-25)*5)/(1/29). Let t = m + 122. Does 64 divide t?
False
Let h = -18100 + 22421. Is h a multiple of 29?
True
Suppose -o = 5*k - 7, -2*o + 4*k = 3*o - 151. Suppose 0 = 34*z - 25*z - o. Is z a multiple of 2?
False
Let c(k) be the second derivative of -k**4/12 - k**3/6 + k**2/2 - 19*k. Let f(b) = 7*b**2 + 39*b - 10. Let r(y) = -5*c(y) - f(y). Is r(-15) a multiple of 13?
True
Let d = 10267 - 1040. Does 56 divide d?
False
Suppose -l - 2 = -3*g, -3*g + g - 5*l + 24 = 0. Let h(p) = 19*p**2 + 13*p**2 + 18*p**g + 49*p**2 + 1. Does 10 divide h(-1)?
True
Suppose 990968 = 329*f - 1453831. Does 72 divide f?
False
Suppose n - 20 = -5*q - n, 2*q - 4*n = 8. Let w be q/14 + 35/49. Let h = w + 3. Does 4 divide h?
True
Let z(b) = -2*b**3 + 2*b**2 + 2*b - 2. Let o be z(2). Let k(f) = -f - 15. Let j be k(o). Is j/6 - 724/(-8) a multiple of 16?
False
Let c(z) be the third derivative of z**6/120 + 11*z**5/60 + z**4/6 + z**3/2 - z**2. Let g = -664 + 654. Does 10 divide c(g)?
False
Let b(z) = -271*z + 2. Let x be b(1). Let r = -99 - x. Let y = r - 75. Is 19 a factor of y?
True
Suppose -9 = -54*k + 45. Let o(z) = -3 + 3*z**3 + 4 - z + 19*z**3. Is o(k) even?
True
Suppose -14*y + 2377 + 2271 = 0. Suppose -5*n - 5*d + 505 = 0, 5*n - y = -d + 157. Does 4 divide n?
False
Let n(z) = z**3 + 3*z**2 - 24*z - 96. Let f be n(-6). Is 34 a factor of 6/4*(-8)/f*1355?
False
Let y be (-6)/24 + (-10)/(-8) - -2. Suppose -5*m - 5 = -20. Suppose -44 = -p - c, -y*p - m*c + 6*c + 156 = 0. Is 5 a factor of p?
False
Suppose 91*j = 53*j - 37085 + 178407. Is j a multiple of 99?
False
Let n(r) = -r + 4. Let o(u) = 17*u + 7. Let h(l) = -5*n(l) + o(l). Does 5 divide h(4)?
True
Let o(j) = -19*j**2 - 15*j. Let n be o(-5). Is 55 a factor of ((-47)/(-4))/((-25)/n)?
False
Suppose 0 = -161*g + 140*g + 36960. Does 32 divide g?
True
Let d = -7493 + 7390. Let y(g) = 9*g**3 + 4*g**2 - g + 1. Let u be y(3). Let q = u + d. Does 58 divide q?
True
Let r(j) = 15*j**2 - 917*j - 185. Is r(67) a multiple of 5?
False
Let i(c) = 6*c + 132. Let s be i(-21). Let w be (-164)/(-2 - 0) - 0. Suppose -7*n = -s*n - w. Is 10 a factor of n?
False
Suppose 33*u = -1460 - 223. Let i = 409 + u. Is i a multiple of 13?
False
Let z be 177/5 + 18/405*-9. Suppose z*a - 33400 = 10*a. Does 16 divide a?
False
Suppose 3*y - 41 = -32. Suppose -v + y*v = 6. Let z = v - -4. Does 7 divide z?
True
Let w(q) = -8*q**3 + q**2 - 1. Let z(o) = -o**3 - 3*o**2 - 2*o - 7. Let t be z(-3). Let a be w(t). Let y(g) = 2*g**2 - 10*g - 10. Does 6 divide y(a)?
False
Suppose 5*r = 2*p + 3946, 1111 - 1115 = -2*p. Is 79 a factor of r?
True
Let u = -614 - -1401. Let h = u - 556. Is h a multiple of 28?
False
Let f(w) = 4*w**2 + 5*w + 17. Let n be f(7). Suppose 3*g = d + 121, -5*g + 239 = -5*d + 3*d. Let v = d + n. Is v a multiple of 42?
False
Let r be 14/259 - (-75240)/333. Let p be 1/3 + (-656)/6. Let b = r + p. Does 13 divide b?
True
Let d be 100/9 - (6 - 371/63). Suppose -d*m + 13001 = 4278. Does 51 divide m?
False
Let l = -23 - -30. Let v(k) = 17*k + 36. Let g be v(l). Does 10 divide ((-1 - -4) + -4)/((-1)/g)?
False
Suppose -64*y - 2 = -65*y. Suppose 0 = -y*d + 183 + 475. Does 47 divide d?
True
Let s(m) = 8*m**2 + 11*m + 368. Is s(16) a multiple of 144?
True
Let b be (-2)/(-8) + (-390)/(-104). Suppose 11*k = b*k + 14. Let a = k + 28. Does 15 divide a?
True
Suppose 44830 = -j + 9*j + 2*j. Is j a multiple of 17?
False
Let i(h) = h**3 + 15*h**2 - 2*h + 3. Let c be i(-12). Does 22 divide c - (6/(-8) + 54/(-24))?
True
Let x(n) = -15*n + 0*n**3 + 7*n**2 + 63 - 1 + 11*n**2 - n**3. Is x(17) a multiple of 4?
True
Suppose 26*a - 2164 = 826. Suppose -a + 147 = n. Is 32 a factor of n?
True
Let u = 57 + -54. Suppose 5*h - 8*q + u*q - 1395 = 0, 835 = 3*h - 2*q. Is 45 a factor of h?
False
Suppose 2*p + 14 = 5*x, -2*p + 4*x - 12 = -2. Let r be (9 - (0 + 5)) + 94/2. Suppose 3*w - 2*s - r = 0, p*w - 51 = -s + 4*s. Is w a multiple of 9?
False
Let c be (-14)/18 - (-3 - (-232)/72). Let i(v) = 489*v**2 - 6*v - 6. Does 29 divide i(c)?
False
Suppose -v - 16 + 0 = -5*o, -4*o + 4*v = -16. Suppose 6*n + 1924 = 10*n + 4*d, o*n - 2*d = 1433. Suppose 5*u + n = 1404. Is 46 a factor of u?
False
Does 15 divide (1755 - 2 - 2 - 6) + -6?
False
Let h = 4736 - 130. Is 98 a factor of h?
True
Does 59 divide 2/3*36*8437/(-312)*-3?
True
Suppose -120 = -4*t + 19*t. Let h(d) = d**2 + 8*d + 1. Let f be h(t). Does 19 divide (-10)/(f - -4) - -78?
True
Suppose -10*p - 59360 = -24*p. Suppose 7*h = -9*h + p. Does 10 divide h?
False
Let o be -4 - ((-16)/(-3))/((-14)/63). Let d be (o/24)/(1/6). Suppose -s + 5*h = -15, -d*s - h + 67 = -86. Is 6 a factor of s?
True
Let j be (0 + (-3)/6)/(3/(-126)). Let o be (-6)/j + 682/(-14). Let y = 89 + o. Is y a multiple of 14?
False
Let o(d) = d**3 - 12*d**2 - 26*d - 23. Let s be o(14). Suppose s*p - 5*k - 2200 = 0, 4*p - 5*p - 4*k + 450 = 0. Does 26 divide p?
True
Suppose -2*d + 5*d + 58 = 4*p, -5*d - 90 = -5*p. Is 17 a factor of 21450/105 + 4/d?
True
Suppose -1207 = 11*g - 12*g. Suppose 9*u = 8227 - g. Is 20 a factor of u?
True
Does 42 divide (2167 - 1080)/(((-2)/(-10))/1)?
False
Suppose 3*r - 13 - 11 = 0. Let j = 15 - r. Suppose j*x - 114 = 446. Is x a multiple of 16?
True
Suppose -2*i - 98 = 5*h, i + h + 2*h = -49. Let o = i + 110. Let s = 101 - o. Does 20 divide s?
True
Suppose 1848 = -681*n + 692*n. Is n a multiple of 7?
True
Let b = -5666 + 9306. Suppose 0 = -17*n - 35*n + b. Is n even?
True
Let l be 26240/30 - ((-14)/6 - -2). Let r = l - 161. Is r a multiple of 6?
True
Let w = -23578 - -34512. Does 77 divide w?
True
Suppose q + 5*h = 2*h + 18, 4*q = -4*h + 112. Suppose 0*f - s = 3*f - 16, -4*f = -s - q. Is 1*(4 - (4 - f)) even?
False
Let s(o) = -23*o + 6. Let g(k) = -22*k + 3. Let c(h) = -h + 1. Let p(b) = -2*c(b) - g(b). Let r(y) = -3*p(y) - 2*s(y). Does 20 divide r(-2)?
False
Let k be 21166/6 + ((-56)/(-24) - 2). Suppose 4*a - 4313 = -5*x - 809, 5*x = 2*a + k. Does 11 divide x?
True
Suppose -f + 5*a = -81, -3*f + 209 = -5*a - 54. Suppose -723 = -146*n - 7439. Let j = n + f. Is j a multiple of 9?
True
Let w = 40697 - 6343. Does 89 divide w?
True
Let q = -150 + -132. Let j = q - -336. Does 18 divide j?
True
Suppose 0 = -6*o - 15 + 33. Suppose 2*b - o*c = -5*c + 180, 4*b - c = 365. Is 7 a factor of b?
True
Let j = -14 - -3. Let k = j - -29. Let y(a) = a**2 - 16*a - 26. Does 5 divide y(k)?
True
Suppose -220*j - 21040 = 215*j - 443*j. Does 5 divide j?
True
Suppose 23 = 6*a - 1. Suppose 3*o = -3*d + 30, 2*o - a*d = d + 27. Suppose 15*u - 8 = o*u. Is u even?
True
Suppose 0 = -12*f + 15*f - 30. Let d(o) = -o**3 + 10*o**2 + 15*o - 13. Let u be d(f). Suppose i - 27 + u = z, -z + 80 = 5*i. Is z a multiple of 19?
False
Let c(d) = d**3 + 5*d**2 + d - 3. Let p be c(-3). 