h - 5*t + 36 = 0. Suppose h*g - 210 = 9*g. Is g a multiple of 42?
True
Suppose -36*y = -31*y - 5. Let m be (176/(-12))/(y/3). Let j = m + 75. Is j a multiple of 31?
True
Let n = 100857 - 71369. Does 38 divide n?
True
Let a = -70 - -70. Suppose 6*h - 356 - 2812 = a. Is h a multiple of 12?
True
Suppose 2*m = 10, -4*p - 93*m + 88*m + 45 = 0. Let v be 1 + 0 + 73 + 10. Suppose -3*o - v = 5*y - 6*y, -y - p*o + 108 = 0. Is 9 a factor of y?
False
Let b = 23 - 18. Suppose -b*k + 3769 = -1806. Suppose 3*j + 2*j = k. Is j a multiple of 20?
False
Let i = -62 + 80. Let x be 32*(-5)/(-6)*i/8. Suppose -7*a + u - 51 = -9*a, -2*a = 4*u - x. Is 6 a factor of a?
True
Let q be (-3)/(-2)*17568/108. Let d = q + 334. Is d a multiple of 34?
True
Let d = 3391 - 1585. Suppose 12*b - d = -90. Does 43 divide b?
False
Suppose 0 = -2*x - 4*x - 12018. Let v = -1409 - x. Is 9 a factor of v?
True
Let h = -27738 + 52347. Is 39 a factor of h?
True
Suppose -7027 = 3*z - 5834 - 24755. Does 119 divide z?
True
Let b = -17712 - -21190. Does 13 divide b?
False
Let d(c) = c**2 - 7*c + 15. Let r be d(11). Let h be (4 + -58)*(-2)/6*1. Let y = r - h. Is 14 a factor of y?
False
Let f(t) = 2*t**3 - 9*t**2 + 13*t - 1. Let g be (-190)/(-35) + (-4)/(-7). Is 17 a factor of f(g)?
False
Let b(s) = -s**2 + 4*s + 402. Is 7 a factor of b(-15)?
False
Let d be 204/2 - (-2 - -1). Let j(m) = 24*m - 142. Let u be j(11). Suppose -d = -3*s + u. Is s a multiple of 11?
False
Is (-1)/(1/7) + (-20 - (-40 - 4783)) a multiple of 19?
False
Is 16 a factor of 192*21/(378/24)?
True
Suppose 9*z = 2863 + 3554. Let w = z - 411. Suppose -4*s = 3*b - 254, w = 4*b - s - s. Does 26 divide b?
True
Let j = -7015 - -9550. Is j a multiple of 15?
True
Let h be 350/98 + 8/(-14). Suppose -h*b + 0*m + 2*m = 77, -2*b - m - 63 = 0. Let y = 53 + b. Is y a multiple of 3?
True
Suppose -2*w = -4*w - 4*l + 1534, 3*l = -4*w + 3083. Suppose 4*g - w = -413. Does 15 divide g?
True
Suppose 15641 = 4*n - v, 15*v + 15642 = 4*n + 13*v. Does 46 divide n?
True
Let a = -98 + 107. Suppose 1230 = a*p + p. Does 4 divide p?
False
Suppose -4*d + 0*o = -o - 121, -3*d = -3*o - 93. Suppose 2*u + 35*h - 99 = d*h, -5*u + 276 = 3*h. Does 13 divide u?
False
Let p(n) be the first derivative of -1/2*n**4 + 5*n - 5/3*n**3 + 9 + n**2. Is 15 a factor of p(-4)?
True
Suppose -54 + 18 = -6*q. Let u be (225/(-6))/5*(q + -4). Does 50 divide (-2244)/u - (-8)/20?
True
Let v = 19080 - 3448. Does 30 divide v?
False
Let d be (-5)/(-10)*34*-12. Let s = 249 + d. Is s a multiple of 22?
False
Suppose -5*d + 4*t - 2*t - 4607 = 0, -2*d + 5*t - 1826 = 0. Let a = -611 - d. Does 39 divide a?
True
Does 104 divide -96*(1 + (-180)/24)?
True
Let a(c) = c**3 - 26*c**2 + 113*c + 12. Is 3 a factor of a(23)?
False
Let i be 1 - ((-1)/(-2) + 9/(-6)). Is 25 a factor of 350/(3 + (i - 3))?
True
Suppose 77 = 19*s - 265. Suppose -s*p - 740 = -2*x - 16*p, 0 = -4*x + 3*p + 1484. Is 22 a factor of x?
True
Let a(p) = 61*p**3 + p**2 + 5*p - 3. Let g be a(2). Suppose g*d = 492*d + 1120. Does 4 divide d?
True
Suppose -3*t + 8353 = -n - 2883, 5*t = -3*n + 18694. Does 6 divide t?
False
Suppose 0 = 10*a - 6*a - 228. Let p = -189 + 203. Suppose n + p = a. Is n a multiple of 20?
False
Let h(j) = 12*j - 2*j**2 + 3*j**2 + 2 - 10*j. Let s be h(-2). Suppose -s*w + 73 = -33. Is 13 a factor of w?
False
Let k = 79 - 62. Suppose -k*y + 3490 + 1695 = 0. Does 25 divide y?
False
Let q(z) = z**3 - 3*z**2 - 7*z - 9. Let g be q(5). Suppose -g*a - 7*a = -2678. Does 14 divide a?
False
Suppose 217*x + 6859 = 30729. Is x a multiple of 29?
False
Suppose -8 = -3*g - 0*c - 2*c, 0 = 3*g - 2*c + 8. Suppose -5*o = 3*s - g*s - 291, -108 = -2*o - 4*s. Is 4 a factor of o?
True
Suppose 25*h + 100 = -25*h. Let g(o) = -o**3 + 4*o**2 - 2*o - 2. Let b be g(3). Is 5 a factor of 0 + b - (-16 - h)?
True
Suppose 0 = 4*h - h + 3*c - 18, 5*c - 15 = 0. Suppose 2*o + 689 = p + 2006, 3*o - h*p - 1971 = 0. Is 15 a factor of o?
True
Suppose 0 = 4*o - 5*o - 5, -5*o + 263 = 4*x. Does 50 divide 4806/x + (-1)/(-4) + 5?
False
Let r(i) = 11*i - 4. Let t = 60 - 51. Let y be r(t). Suppose 5*h - y = -5*p, h = -3*p + p + 42. Is p a multiple of 3?
False
Suppose -16*o + 2600 = -3*o. Is 26 a factor of (-13)/(-2 - (-396)/o)?
True
Let a(n) = 3*n**3 + 9*n**2 - 8*n - 7. Let q be a(5). Suppose 4*o - 71 = q. Is o a multiple of 16?
False
Suppose 4*j - 3*w - 42 = 0, w = 5*j - w - 56. Let f(u) = -u**3 + 12*u**2 + u - 8. Let q(i) = -i. Let l(k) = -f(k) - 3*q(k). Does 23 divide l(j)?
False
Let r(z) = 14*z - 19 + 4 - 2*z**2 + 3. Let c be r(6). Suppose c = -3*f - 3*v + 59 + 46, -3*f = -3*v - 75. Is f a multiple of 5?
True
Let r be 9/(-2)*2678/39. Let l = r + 365. Is l a multiple of 4?
True
Let i(q) = 16*q**2 + 31*q + 139. Let v be i(-5). Let f = 651 - v. Does 29 divide f?
False
Suppose 15*l + 4 = 17*l. Let n be l*(3 - (-2)/(-4)). Suppose 5*w - 176 = -j - 3*j, 0 = 3*w - n*j - 113. Is w a multiple of 4?
True
Suppose -5*i = -3*k + 166 + 655, -k = -2*i - 274. Let s = k - 235. Is 2 a factor of s?
False
Let o(g) = -162*g + 3310. Is o(6) even?
True
Suppose 3*y + 4*q - 9576 = 0, -2*y - 5*q + 380 + 5990 = 0. Is y a multiple of 4?
True
Let r be 3 - ((-114)/(-3) + (0 - 0)). Let j be (-4)/(-10) - 861/r. Let z = j - -79. Is 13 a factor of z?
True
Let n = 6163 - 1270. Is n a multiple of 39?
False
Let a be (-6878)/(-14) - (-136)/(-476). Let x = -401 + a. Is x a multiple of 9?
True
Let u be (216/60)/(3/10). Let a be ((-18)/u)/(777/(-384) - -2). Suppose -4*j + 96 + a = 0. Is j a multiple of 8?
True
Is 7 a factor of 129/((-8 - -11)/21)?
True
Let g(f) = -2*f + 25. Let n be g(14). Let x be n + 6 - 8/(-2). Is 18 a factor of x/(21/9) + 51?
True
Suppose -22 + 9 = -j. Suppose -4*d = -j*d - 207. Let g = d - -113. Does 9 divide g?
True
Let g(z) = -9*z**3 - 6*z**2 - 7*z. Let b be g(-3). Does 6 divide (-48)/28*b/(-4)?
True
Let a = 2428 + -2176. Does 3 divide a?
True
Let d(o) = 2*o**2 + 13*o + 21. Let f be d(-9). Suppose f - 56 = 5*a. Suppose a*g = 8 + 54. Is g a multiple of 14?
False
Suppose -3 + 4 = h. Let g(a) be the third derivative of 7*a**4/3 - 7*a**2 - 14. Does 13 divide g(h)?
False
Let b(u) = 20*u**2 + 3*u - 3. Let h be b(1). Suppose 4*x - 4 - h = 2*i, -3*x + i + 16 = 0. Suppose n - 3*j - 148 = 1, x*j + 756 = 5*n. Is 22 a factor of n?
False
Suppose -2*c - 10 = 0, -4*c - 36445 = -7*i - 7655. Does 56 divide i?
False
Let j(k) = -k**3 + k - 6. Let u be j(0). Suppose -4*w + 9*w - 5*c - 475 = 0, 5*w = -3*c + 483. Does 8 divide ((-8)/u)/(4/w)?
True
Suppose -28 = 2*s + 3*k, k + 2*k = 4*s + 20. Let p(q) be the third derivative of -q**6/120 - 2*q**5/15 - 7*q**4/24 + 2*q**3/3 + 628*q**2. Is 4 a factor of p(s)?
True
Let m be 10/(-8) + 5/20. Let j(h) = -234*h**3 - 5*h**2 + 6*h**2 - 2*h - 2 + 221*h**3. Is 4 a factor of j(m)?
False
Is 36 a factor of 53/((-212)/(-7104))*(-2)/3*-9?
True
Suppose 2*b - v = 637, 5*b = -11*v + 8*v + 1576. Is 37 a factor of b?
False
Let c = -1431 - -2886. Is c a multiple of 40?
False
Suppose 5*x - 5 = 2*u, 24*x = 13*u - 17*u + 92. Let j = -6 - -13. Suppose -j = -5*d + 13, c - 41 = -x*d. Does 7 divide c?
False
Suppose -4*m = m - 25. Let j be (6/(-2))/(m/(2500/(-6))). Is j/8 + 5/(-20) a multiple of 5?
False
Let x(h) = -8*h - 96. Let q(s) = s - 1. Let u(b) = q(b) + x(b). Is u(-18) a multiple of 5?
False
Suppose 0 = -116*d + 121*d - 725. Does 22 divide d?
False
Does 86 divide 15/(-10)*(-18546)/9 - (-2 - 3)?
True
Let d = 40 - 40. Suppose -o - 5*b = 31, d*o - 4*b = 3*o + 38. Let g(w) = -w**3 - 6*w**2 - 2*w + 10. Is g(o) a multiple of 3?
False
Suppose -a + 18973 = 5*t, -75*t - 2*a = -76*t + 3788. Is 5 a factor of t?
False
Is 22 a factor of (0 - 4) + 7261 + 12 - (-4)/(-4)?
False
Suppose -2*r + 1 = -5. Suppose 0 = r*j + 6*j + 621. Let a = j - -141. Is 8 a factor of a?
True
Is (-41)/(123/12)*4531/(-2) a multiple of 33?
False
Let r(h) = 2*h - 20 - 6*h**2 - 68*h - 48*h - 4*h + 8. Is r(-18) a multiple of 28?
True
Let g(m) = -m**3 + 4*m**2 - 3*m + 3. Let w be g(4). Is (-1353)/w + (1 - 2/6) a multiple of 24?
False
Suppose r - 2 = 0, 4*i + 26*r - 3924 = 28*r. Does 29 divide i?
False
Let p be (-105)/(-42)*2/(-5)*0. Suppose 4*t = -4*j + 220, 0*t + 4*t - 5*j - 229 = p. Is t a multiple of 14?
True
Suppose 3*n - 6219 = 5*p, -n + 0*n + 2083 = -5*p. Suppose 3*o = -8*o + n. Is 24 a factor of o?
False
Let