3 divide h?
False
Suppose -17*t + 104 = -14*t - 2*i, -132 = -4*t + i. Suppose -7605 = -t*x + 16747. Is 33 a factor of x?
False
Suppose 0 = -2*a - 4*q - 12, -3*a - a = -5*q - 41. Suppose -l + 44 + a = 0. Suppose 5*h - l = -0*s - 2*s, 0 = 5*s - 4*h - 120. Is 4 a factor of s?
True
Let c = -448 - -893. Let j = c + -307. Is j a multiple of 6?
True
Let c(l) = 12*l**3 + 22*l**2 - 89*l + 20. Is 56 a factor of c(5)?
False
Suppose m + 54 = 172. Let h = m + -118. Suppose 2*z + 3*z - 2*v = 50, -2*z - 3*v + 39 = h. Is 3 a factor of z?
True
Suppose -7 = n - 13. Suppose -3*o = 8*d - 3*d - 462, n = -2*d. Is 24 a factor of o?
False
Suppose 7 - 22 = -5*u. Let j(p) = 5*p - 15. Let m be j(u). Suppose -3*s + 2*l = 3*l - 174, -2*s - l + 117 = m. Is 15 a factor of s?
False
Let o(g) = g + 2. Let w be o(8). Is (-684)/w*10/(-6) a multiple of 6?
True
Let d be 15/(-9)*32*(-96)/10. Suppose -88*i = -84*i - d. Is i a multiple of 7?
False
Let u = 81 - 49. Suppose 4*y - 8*r = -3*r - 117, -3*y = 2*r + 59. Let j = u + y. Is 3 a factor of j?
True
Let y = -129 - -131. Suppose -7*m = -9*m + 58. Suppose 3*k + y*b - 21 = -3, 0 = 4*k + b - m. Is k a multiple of 3?
False
Is 78 a factor of ((-69102)/(-12))/((-39)/(-104))?
False
Suppose 3*x + 4*d = 30069, -10*x - 20038 = -12*x - 4*d. Does 7 divide x?
True
Let g be 19/((0 + 1/(-6))*-2). Let p = g - 14. Is 23 a factor of p?
False
Let g = 2452 - -6761. Is g a multiple of 249?
True
Suppose 2*g - 3592 = -5*m, -4*m - 251 + 3085 = -5*g. Is 24 a factor of m?
False
Suppose 4*w - 12 = 11*c - 9*c, -3*w = -3*c - 3. Suppose -2*h + 5*h = 4*v + 87, 5*v + 105 = w*h. Is 4914/56 - 2*3/v a multiple of 8?
True
Suppose -1126 = -19*c + 6778. Suppose 0 = -4*i - 0*i, 2*i + c = 2*b. Does 16 divide b?
True
Let a(b) = 3*b - 160. Let h be a(-6). Let c = h + 206. Is c a multiple of 4?
True
Let a be -70 - (-1)/((-13)/(-39)). Let o(c) = c**3 - c**2 + 100. Let f be o(0). Let l = a + f. Is l a multiple of 33?
True
Suppose 15*r - 5*r + 10 = 0. Is ((-510)/20 - -3)/(r/14) a multiple of 15?
True
Is 2318 + 7 + 3*(-32)/8 a multiple of 13?
False
Let b be (-4)/(-10) - ((-12738)/(-10))/(-3). Suppose 823 = 4*i + 3*r, 5*r + b = 2*i + 2*r. Is 13 a factor of i?
True
Suppose 14 + 1 = -2*y + 5*r, 12 = 4*r. Suppose v - 7*v = y. Suppose -a - 3*j + 45 = v, a - 5*j + 3 - 40 = 0. Is 21 a factor of a?
True
Let c(o) = o - 1. Suppose 10 = f + 6. Let l be c(f). Suppose 26 = l*t - 61. Is 10 a factor of t?
False
Suppose -2*j + 1112 = 361*l - 365*l, 3*l = j - 554. Is j a multiple of 56?
True
Let k(b) = -6*b + 28. Let a be k(4). Suppose -5*i + 4*u + 102 = 0, -i + a*u + 27 = u. Is i even?
True
Let m = 1441 - -9562. Is m a multiple of 41?
False
Suppose -5*z = -11*d + 16*d - 2680, 2179 = 4*z - d. Does 3 divide z?
True
Let f = -42 + 47. Suppose f*g - 28 = g. Suppose 0 = -t + g + 70. Is t a multiple of 28?
False
Suppose -91*f + 88*f + 4*v = -196101, 261447 = 4*f - 3*v. Is 41 a factor of f?
False
Let w = -10 - -21. Suppose 9*l = w*l + 74. Does 6 divide -1 + 4 + (-4 - l)?
True
Let a be 5 - -2276 - 2 - 5. Let o be a/24 + (9/(-12) - 0). Let b = o + -70. Does 12 divide b?
True
Does 94 divide 2/((-128)/(-1070840)) - 5/(-40)?
True
Let f(t) = 0 + 4 - 2*t - 4 + t**2 - 3. Suppose 6 = d + b, -4*d + 13*b + 42 = 8*b. Is f(d) a multiple of 6?
False
Let u = -75 - -44. Let x = u - -28. Does 8 divide -1 + x/(-9) + 322/6?
False
Let v(l) = l**2 - 11*l - 29. Let u be v(12). Let i = 1 - u. Suppose 0 = c - 10 - i. Is 11 a factor of c?
False
Let d = -409 + 616. Suppose -5*u + d = -73. Is 14 a factor of u?
True
Suppose -a = -21*a + 140. Suppose a*o - 1248 = -16. Is o a multiple of 16?
True
Suppose -746526 = -30*s - 10326. Does 69 divide s?
False
Let k be (-16)/(-2) - (-1331 + -45). Suppose 5*s - 4*r = 2320, -3*s = 9*r - 13*r - k. Does 12 divide s?
True
Let g(f) = -f + 82. Let r be g(-28). Suppose 204 = 2*m - 0*m + 2*d, m - r = 3*d. Does 4 divide m?
True
Let x = 100 - -1037. Is 59 a factor of x?
False
Let t(g) = -g - 3*g + 2 - 7 + 114*g**2 + 1. Let x be 6/15 - 21/15. Is t(x) a multiple of 8?
False
Suppose -8*k - 29*k + 71370 = -11*k. Is k a multiple of 27?
False
Let b = -8 + 11. Suppose 2*f + g = 160, 2*f + 90 = b*f + 3*g. Suppose -4*r - l + 101 = 0, f = 3*r + 3*l - 0*l. Does 4 divide r?
False
Let x(g) = -19*g**3 - 412*g**2 - 4*g + 46. Is x(-22) a multiple of 65?
False
Let s = 1617 - 483. Is s a multiple of 7?
True
Let a = -38219 - -57941. Is 38 a factor of a?
True
Let v(j) = -17*j**3 - 2*j**2 + 90*j - 9. Is v(-9) a multiple of 12?
True
Let z(o) = 6*o - 24*o - 1 + 5*o**2 - 3*o**2. Is z(-6) a multiple of 9?
False
Let u(q) be the first derivative of -5*q**4/4 + 2*q**3 + 4*q**2 + 8*q + 37. Let b be u(-3). Suppose 6*r - b - 55 = 0. Does 10 divide r?
False
Suppose 5*m + i = 244, 0*i = 5*i + 5. Let u = m + -35. Suppose v = 46 + u. Is 10 a factor of v?
True
Let d be -1*(-5 - (-1 + 2 + -3)). Let f be (-68)/(-6)*(d - (6 + -6)). Suppose 0 = -2*u - w + f, -3*u + 2*w + 94 = 2*u. Is u a multiple of 6?
True
Let w be (3 - (11/5 + -2))*5. Suppose 71*k - 64*k - w = 0. Suppose -k*r - 2*r = -3*g + 893, -4*g + 3*r = -1186. Is 28 a factor of g?
False
Let m(p) = -3*p - 4. Let n be m(-3). Let j(a) = a**3 - 8*a + 7. Let o be j(-3). Suppose 176 = o*d - n*x, 3*x - 7*x = -d + 33. Does 22 divide d?
False
Suppose 111*m - 549467 = 1016077. Is 86 a factor of m?
True
Let i be 4/8*-3*16. Let v = 171 + i. Is v a multiple of 7?
True
Does 6 divide (-70)/28*((-190926)/315 - 4/14)?
False
Let z = -11392 + 14157. Is 7 a factor of z?
True
Let u(m) = 5*m**3 + 81*m**2 - 78*m - 180. Let z(p) = -2*p**3 - 27*p**2 + 25*p + 60. Let q(j) = -3*u(j) - 8*z(j). Is q(27) a multiple of 20?
False
Let l(k) = -10*k - 12. Let i(y) = 7*y + 15. Suppose 2*z + 6*z + 24 = 0. Let g be i(z). Is l(g) a multiple of 23?
False
Let o = 5214 + -4910. Is o a multiple of 16?
True
Suppose 2*f - 3*f = -55. Suppose -12*n + 7*n = -f. Suppose -n = -10*x + 9*x. Is x a multiple of 11?
True
Let r(v) = 301*v + 6061. Does 20 divide r(19)?
True
Let i = 24884 - 17289. Is i a multiple of 35?
True
Let o(n) be the first derivative of 1/2*n**2 + 45/4*n**4 - n + 8 - 1/3*n**3. Is 4 a factor of o(1)?
True
Let s be 0 - 1 - (-46 - 4). Let m = 52 - s. Suppose -m*c = 3*b + 2*c - 523, -b + 178 = -2*c. Is 8 a factor of b?
True
Let m(i) = 152*i**2 - 47*i + 20. Is m(-12) a multiple of 106?
True
Let q = 620 - 596. Does 40 divide (-16317)/(-14)*q/18?
False
Let p = 18902 + -5574. Does 16 divide p?
True
Suppose -4*o + 0*f = 2*f - 468, 3*o + 3*f = 354. Suppose -5*t - 309 - 1 = 0. Let u = t + o. Does 9 divide u?
True
Let l be 6 - ((3 - -1) + 0). Suppose 3*n - n = -h - 10, -4*h - l*n - 52 = 0. Does 25 divide (-1194)/h + (-2)/7?
False
Suppose -5*p - 15 = 2*l, -2*l + 5 = -0*l + p. Suppose -2*y - 255 = -l*y. Is 17 a factor of y?
True
Is 4/(-16) + 12/(-10)*227395/(-712) a multiple of 57?
False
Let y be 1*(-2)/3 + (-102)/(-18). Suppose 260 = -i + 6*i - 2*p, -235 = -y*i - 3*p. Does 10 divide i?
True
Suppose 0 = -934*u + 932*u + 4, -5*u = -5*w + 38090. Is w a multiple of 12?
True
Suppose 21 = 3*j + 21. Suppose 5*r - k = -60, j = 5*r + 5*k - 1 + 61. Is 210/r*16/(-10) a multiple of 7?
True
Is 2/(-8) + -7 + 351995/28 a multiple of 36?
True
Is 183 a factor of 10068 - (1 + -11 - -12)*6/4?
True
Suppose -3*k + 5 = -7. Suppose -f + k + 0 = n, 0 = n + 1. Suppose -f*c = -53 - 302. Does 40 divide c?
False
Let w(s) = 155*s**2 - 32*s - 222. Is w(-6) a multiple of 111?
True
Let c = -19723 + 19912. Does 5 divide c?
False
Suppose -45896 = -7*r + 2*m - 915, 4*r - 25696 = 3*m. Is 36 a factor of r?
False
Suppose -m - m = -j + 2, -2*j + 4 = m. Suppose -b - 7 = -m*b. Let h(a) = a**3 + 9*a**2 + a. Is 13 a factor of h(b)?
True
Suppose 4*p + 22 - 86 = 0. Suppose -22*q = -p*q - 378. Is 21 a factor of q?
True
Let f(m) = 120*m**2 - 4*m + 6. Let u be f(-3). Let l = -240 + u. Is 39 a factor of l?
True
Let k be (1 - 2)/(4/1904). Let w = 894 + k. Is 22 a factor of w?
True
Let j(d) = d**2 - 21*d + 128. Let h be j(10). Is 54 a factor of -270*(-3 + h/(-30))?
True
Suppose 5*s = -2*t + 518 + 677, -5*s - 3110 = -5*t. Does 41 divide t?
True
Let w(z) = -z**2 - 2*z + 3. Let p be w(-2). Suppose -p*s = s - 432. Does 30 divide 24*352/s - 6/27?
False
Suppose -34 = -4*q - 18. Suppose q*i = i + 27. Suppose -2*n + 373 = -4*o + i*o, -187 = -n - 2*o. Does 7 divide n?
True
Let r be 