a factor of b?
True
Suppose 0 = -u - 4*l + 1123, -2*u - 18*l = -13*l - 2252. Is u a multiple of 13?
True
Let c be 5 + 0 + (-133 - 11). Let w(p) = p + 203. Let z be w(0). Let g = z + c. Is 16 a factor of g?
True
Let v(n) = n**2 + 9. Suppose 2*m + 0*m - 4 = 0, -3*m = 4*x - 42. Is 9 a factor of v(x)?
True
Does 3 divide 1425 + 1*(-2 + -1)?
True
Does 26 divide 2*(-3 - -2)*(-803400)/240?
False
Suppose 5*r + 11 = 2*c + 10*r, -2*r + 6 = 0. Let l(g) = -225*g + 18. Is 12 a factor of l(c)?
True
Let i(h) = 1723*h + 34. Suppose -3*r - 5*o = -17 - 18, -14 = -2*r - o. Let n be i(r). Is n/45 + 2/(-10) a multiple of 48?
True
Let d(l) = 6*l**2 + 9*l + 20. Let t be d(-10). Suppose -j + 0*j = -2*m - t, -2*j = 2*m - 1030. Is j a multiple of 40?
True
Suppose 12 = 3*l, -2*l + 1 + 7 = -4*m. Suppose -12*q + 993 + 4419 = m. Is q a multiple of 36?
False
Let d = 17388 - 7979. Is 130 a factor of d?
False
Suppose -175*x - 156729 = -1098579. Is x a multiple of 9?
True
Suppose 3*v + 5*j - 227 = 2*v, -v + 5*j = -187. Does 68 divide (-3812)/(-14) - (v/63 - 3)?
True
Let k(n) = n**2 + 7*n - 31. Let q be k(-11). Is (-22)/(-1 + (-3)/3)*q a multiple of 9?
False
Suppose -3*c + 13043 = 2*f, 19575 = -52*f + 55*f + c. Is f a multiple of 26?
True
Is 707538/72 - (-8)/96 a multiple of 48?
False
Let g be 15/2 - (-15)/(-30). Suppose -4*i = -5*y + 10, i + 4*y = 1 + g. Suppose -5*t + i*t = -170. Does 33 divide t?
False
Suppose -3*k + 3*i = -8*k + 50724, 3*k + i - 30432 = 0. Does 23 divide k?
True
Suppose 3*i = 5*k - 72334, i = k - i - 14457. Is k a multiple of 37?
False
Let r = 875 - -2349. Does 52 divide r?
True
Let y be 5 + 114 + 3/((-6)/8). Suppose -76 + y = s. Suppose 300 = -35*h + s*h. Is h a multiple of 15?
True
Let o = 4743 - 2762. Is o a multiple of 7?
True
Is 55/(-11) + ((-2321528)/(-217) - (-4)/(-14)) a multiple of 17?
True
Let u be (240/18)/((-8)/(-12)). Let z(g) = g**3 - 19*g**2 - 18*g - 24. Does 2 divide z(u)?
True
Is 1080/(-3600) - 1249606/(-20) a multiple of 55?
True
Suppose -2*g = -5*l + 45, -5*l + g + 45 = -0*l. Suppose 5*p - 3704 = 2*h, l*p - 5*h + 3690 = 14*p. Suppose -7*k - 103 + p = 0. Is k a multiple of 10?
False
Is (((-2)/5)/((-3)/(-5)))/((-16)/284328) a multiple of 188?
False
Suppose 0 = -15*b + 23*b - 128. Suppose -b = 2*f + 3*n - 218, -5*n + 408 = 4*f. Is 6 a factor of f?
False
Let a be 2/(-9) - 11072/(-9). Let n = 4381 + -4378. Suppose 5*i = -n*r + a, 0 = -2*r - 2*r. Does 38 divide i?
False
Suppose -16*r = -22*r. Is 13 a factor of (r - 39)*(0 + 12/(-9))?
True
Is 17 a factor of 281307/12 - (2679/76)/(-47)?
True
Suppose 35*m + 92 = 12*m. Is (-3 - 378)*(m + 3) a multiple of 11?
False
Suppose 1172 = -35*w + 138512. Is 20 a factor of w?
False
Suppose v = g + 3*v - 113, -5*g = -2*v - 589. Suppose o - h - g = 0, -2*o = -o - 3*h - 113. Is 9 a factor of o?
False
Suppose -271*g = -341*g + 17150. Does 131 divide g?
False
Let j(t) = -t**3 - 11*t**2 + 8*t - 2. Let o be 17/(-102) + -2 + (-118)/12. Is j(o) a multiple of 6?
False
Suppose 3*d - 27*d = 144. Is (351/26)/(d/(-232)) a multiple of 36?
False
Let r(g) = -729*g - 333. Does 18 divide r(-9)?
True
Let d = 22 - 7. Let f be 15/20 + d/12. Suppose f*k = 6*k - 332. Is 33 a factor of k?
False
Let n be (-4 + 2)/((-5)/75). Suppose -n*r - 1352 = -34*r. Is r a multiple of 25?
False
Suppose -3*d - 4*o = 0, -33*o = -2*d - 31*o. Suppose d = -4*g - 2*p + 120 - 28, 4*p - 100 = -4*g. Is g a multiple of 21?
True
Let n = 51145 - 25387. Does 23 divide n?
False
Suppose -h = -4*g + 4059, 31*g - 32*g - 5*h + 1020 = 0. Is g a multiple of 35?
True
Suppose 0 = -4*i + 1 - 5, -2*n = -i - 3925. Suppose -g + 3558 = 5*s + 1123, -2*g = -4*s + n. Suppose -3*v + v = -s. Does 61 divide v?
True
Let l(t) = 225*t - 7. Let y be l(3). Suppose 707 = 4*f - 5*x, y = 5*f + 4*x - 185. Is f a multiple of 9?
False
Suppose 17*v - 134158 = 164702. Is 7 a factor of v?
False
Let j = -183 + 193. Let o(h) = -h**2 + 29*h - 31. Does 8 divide o(j)?
False
Let g(j) = 3*j - 65. Let r be g(23). Suppose -1941 = -r*a + 651. Is a a multiple of 8?
True
Suppose 5*w = 3*w + 6. Suppose -350 = -5*u - 4*o, w*u = o - 111 + 321. Suppose 5*d = 5*g + u, -2 = -3*g - 5. Is 13 a factor of d?
True
Let s = 12 + -6. Suppose -s = 2*v, -y - 3 = -2*v + 3*v. Suppose f - 9 = 4*f, y = 4*x + 2*f - 354. Is x a multiple of 9?
True
Suppose -90 = -5*l - 4*c, 0 = -4*l + 2*c - 1 + 47. Suppose 1618 = l*k - 944. Does 17 divide k?
False
Suppose -11*u + 14564 = p, 16*u = 5*p + 11*u - 73300. Does 33 divide p?
True
Is 3 a factor of 4/((1*2/20)/((-14)/(-2)))?
False
Is 7756 - ((0 - 7) + (-13 - -16)) a multiple of 40?
True
Suppose -4*q - 30 = c + 30, -3*c - 138 = -2*q. Let v = c + 114. Is 33 a factor of v?
True
Suppose 16*i + 158304 = 118*i. Does 9 divide i?
False
Let h = 6887 - -15469. Is h a multiple of 18?
True
Let i(j) = 235*j**2 + 20*j + 87. Is 8 a factor of i(-5)?
False
Let f be (-68)/4 + (-1 - 3). Let p be ((-14)/f)/1*(-35 - 1). Does 5 divide (-3 - -1 - -27)*p/(-10)?
True
Let l(n) = -21*n - 78. Let s be l(-4). Suppose s*j = 1165 + 2201. Is 56 a factor of j?
False
Let k(v) = 3*v**3 - 15*v**2 - 41*v + 92. Is k(12) a multiple of 2?
True
Suppose -540*y - 31857 = -581*y. Is 7 a factor of y?
True
Let j(t) = 9*t + 8. Let i(y) = y**3 - 4*y**2 + 2*y - 4. Suppose -n - 2*b = -6, 5*n + 6*b = b + 25. Let z be i(n). Is 11 a factor of j(z)?
True
Let u(y) = -y**3 - 12*y**2 + 22*y - 18. Let b(g) = -g**3 + 10*g**2 + 8*g + 19. Let m be b(11). Is u(m) a multiple of 22?
True
Suppose 209*z - 228*z + 16302 = 0. Is 33 a factor of z?
True
Suppose 164852 + 355603 = 67*p + 90*p. Does 15 divide p?
True
Let n(m) be the first derivative of 2*m**3 + m**2/2 - 5*m - 91. Suppose 4*k + 4 = -12. Does 12 divide n(k)?
False
Let n(k) = 117*k**2 - 26*k + 91. Is 7 a factor of n(-7)?
True
Suppose 43852 = 3*b + 2*v, -7*b + 8*b + v = 14618. Does 14 divide b?
True
Let d be 6/9 + (-56)/12. Let h(c) = -3*c**3 + 5*c**2 - c + 10. Is 13 a factor of h(d)?
True
Let j be 2/4 + 11/(-22). Suppose 5*g - k - 12 = 40, 4*g - 2*k - 44 = j. Suppose g = -4*i + 38. Is 4 a factor of i?
False
Let r = 5005 + -3490. Is 8 a factor of r?
False
Is 32 a factor of 2 - (4/(-34) + (-27)/(1377/30696))?
False
Let k be -12 + 1 + (1/(-1))/(-1). Let n(o) = o**3 + 7*o**2 - 24*o + 5. Let z be n(k). Let x = z - -226. Is 9 a factor of x?
True
Let w = 17101 + 7511. Does 12 divide w?
True
Let s = -539 + 849. Does 45 divide -2 + -2 + s - 1?
False
Let d be (-1)/4 - (-437)/(-76). Let j = -21 + d. Does 15 divide (-14)/63 + (-3)/(j/677)?
True
Let c be 3018/(-48) + -4 + 124/32. Suppose 3*w = -b - 46, -4*w + 0*w = 8. Is 8 a factor of ((-168)/c)/(b/42 + 1)?
True
Let n(v) = -169*v + 243. Does 9 divide n(-7)?
False
Suppose -2*j + 24 = -0*j. Suppose q + 33 = j*q. Suppose 0*z - 123 = -q*z. Is z a multiple of 25?
False
Let x be 0 + 5 + (-74 - 0). Let z = x - -69. Suppose z = 5*i - 159 - 96. Does 14 divide i?
False
Let v(n) be the second derivative of n**4/12 - 7*n**3/6 + 4*n**2 - 2*n. Let f be v(0). Does 3 divide 4/(-1) + f + 12?
False
Suppose -5*n + g + 4 + 7 = 0, 4*n - 4*g - 12 = 0. Suppose 5*w + n*q - 709 = 0, 289 + 136 = 3*w + q. Does 10 divide w?
False
Let x(j) = -j**3 + 18*j**2 + 50*j - 18. Let f be (3 - 5)/(3/(-30)*1). Is 13 a factor of x(f)?
True
Let a(g) = -44*g**3 + 19*g**2 - 26*g - 152. Does 40 divide a(-8)?
True
Let h = 100 + -315. Let j = 1059 + h. Is 32 a factor of j?
False
Let z be (-16)/(-5) - 66/55. Suppose 4*p + 1510 = 5*b - p, z*b - 574 = -4*p. Does 11 divide b?
True
Suppose 4*l - 43 + 7 = 0. Let h(c) be the second derivative of -c**5/20 + c**4 - c**3 - 15*c**2/2 - 4*c + 6. Does 22 divide h(l)?
False
Let d(l) = 2*l - 18. Let r be (1 - (-22)/(-6))/(45/1080). Let m = r + 93. Does 10 divide d(m)?
True
Let d = -424 + 664. Let h = d + 16. Does 5 divide h?
False
Let g(i) = -i**3 - 2*i**2 - i + 63. Let f be g(0). Let c = 135 + f. Does 9 divide c?
True
Suppose 120*c - 126*c = -24. Suppose -4*w + 144 = -c*j, -3*w + 13 = j - 79. Is 4 a factor of w?
True
Let r(b) = 68*b + 29. Let z(l) = l + 2. Let d(k) = -r(k) + 5*z(k). Does 16 divide d(-13)?
True
Let o(a) = -1344*a**3 + a**2 - 41*a - 68. Does 32 divide o(-2)?
False
Let c = -64406 - -98263. Does 16 divide c?
False
Let c(m) = 16*m**2 + 3*m + 6. Let u(y) = 3*y**2. Let z(v) = 3*c(v) - 15*u(v). Is z(-5) a multiple of 5?
False
Let m = -43126 - -69805. Is m