 0. Let k = 148 - t. Does 36 divide k?
False
Let d = -896 - -570. Let l = 191 - d. Is 47 a factor of l?
True
Let c(t) = 28*t**2 - 70*t + 245. Does 7 divide c(7)?
True
Suppose -2*y + 41237 = -44315. Does 36 divide y?
False
Let w(c) = 26133*c**2 + 63*c - 65. Is w(1) a multiple of 13?
False
Suppose -163047 = -89*q + 3383. Is 95 a factor of q?
False
Suppose -2*n = -46*n - 44. Let c(m) = -620*m**3 + m**2 + 2*m + 1. Is c(n) a multiple of 18?
False
Suppose 60 = -819*k + 824*k. Suppose 0 = k*l + 5*l - 3094. Is l a multiple of 14?
True
Suppose 3 = -k + 6. Suppose -212 = -k*m + 5*m. Let a = m - -283. Does 14 divide a?
False
Suppose -28086*b = -28101*b + 33555. Is 66 a factor of b?
False
Let f(j) = 5*j + 2. Let q be f(-2). Let k be 1110/q - (-29)/(-116). Let y = k + 235. Does 6 divide y?
True
Suppose 0 = -4*b + 3*r - 47, 2*r - 30 = 5*b + 34. Let k = b + 249. Is k a multiple of 16?
False
Let k(a) = 278*a**2 - 46*a - 75. Does 31 divide k(-8)?
False
Suppose 2*d - 5*b = 1180 - 90, 3*b = -5*d + 2787. Does 10 divide d?
False
Suppose 0 = 3*b - 4 + 4. Let r(l) = -l**2 - 4*l + 7. Let d be r(-5). Suppose b = d*m - 10, 3*m + 37 + 11 = w. Does 9 divide w?
True
Suppose 2*w = 2*b - 8254, 4*b - 8*b + 16543 = 3*w. Is b a multiple of 22?
False
Let a(x) = 295*x**3 + 6*x**2 - 35*x + 53. Is 20 a factor of a(2)?
False
Suppose -m = 3*d - 25594, -5*d - 51*m = -46*m - 42650. Is 18 a factor of d?
True
Let a = 115 + -119. Let d be (-3 + (-57)/(-15))*(-10)/a. Suppose -s + 4*h = -20, -4*s + 2*h + 116 = -d*h. Does 4 divide s?
True
Let q(l) = 8169*l + 1285. Is 10 a factor of q(5)?
True
Let b(v) = 3*v + 317. Let u be b(12). Let q = 429 - u. Is q a multiple of 4?
True
Suppose -d + o = 3*o - 8, -o + 4 = d. Suppose -h - 1923 = -3*n - 4*h, -n - 2*h + 643 = d. Is 30 a factor of n?
False
Suppose -93*h + 322806 = 41*h. Does 33 divide h?
True
Suppose -3*w = 3*z - 26520, 44209 = 5*z - 3*w - w. Does 128 divide z?
False
Let g = 30845 - 17141. Does 12 divide g?
True
Let b = -12 - -3148. Does 49 divide b?
True
Let o(x) = x**2 - 4*x + 19. Let j(u) = -u + 1. Suppose 48*l = 53*l - 5. Let c(h) = l*o(h) - 3*j(h). Is c(0) a multiple of 10?
False
Let f be ((-12)/5)/(2/(-235)). Let v = 7219 - 7021. Suppose 5*x = f + v. Is x a multiple of 26?
False
Let g = 37887 - 18300. Is g a multiple of 39?
False
Suppose -2*m + 4789 = 3*f - 1219, -4*m + 11962 = -3*f. Is m a multiple of 43?
False
Suppose 5*v + 3963 = -4*c, -2*c - 3970 = 2*c - 2*v. Let w = c + 1408. Is w a multiple of 52?
True
Let w(g) = -2 + 9*g + g - 4*g - 11*g + 14*g**2. Suppose -2*h + 1 = -3*h - s, -2*s - 18 = -2*h. Is 49 a factor of w(h)?
False
Let n(f) = -2*f**2 + f**2 - 17*f + 985 - 10*f - 944. Does 13 divide n(-12)?
True
Let f(p) be the first derivative of p**3/3 + 19*p**2/2 - 20*p + 34. Is 4 a factor of f(-23)?
True
Suppose 9*y + 17*y = 9*y. Suppose -2*u + 491 = 3*z, y = 10*z - 7*z - 3*u - 486. Is z a multiple of 5?
False
Let q be (-4)/22 + -1211*(-16)/88. Let b = -70 + q. Does 9 divide b?
False
Let p = 54 + -50. Suppose p*w + 22 = a, 3*w + 1 = -14. Suppose 3*v - 4*q - 40 = 68, 2*v - 86 = -a*q. Is 20 a factor of v?
True
Let z be 12 + -8 - 2/2. Suppose -h = -2*h - 5*p - 8, z*p = -3*h. Suppose 12*a - h*a = 350. Is a a multiple of 26?
False
Is (-1 - -11453)/((39/(-65))/((-33)/55)) a multiple of 14?
True
Let v(s) = -311*s - 1055. Does 16 divide v(-4)?
False
Let u be (-290)/116 - (-37)/(-2). Is 106 a factor of 4110/u*4/(-12)*21?
False
Let u = 88 + -27. Suppose -u*b + 15 = -58*b. Let i = 0 + b. Is 5 a factor of i?
True
Let t(y) = -y**3 + 24*y**2 + 2*y - 41. Let i be t(24). Let f(o) = 2*o**3 - 8*o**2 + 13*o + 11. Is f(i) a multiple of 36?
True
Let z(m) = m**3 + 2*m**2 + 7. Let d be z(-5). Let j = d - -305. Suppose -3*l = -15, -2*l - j = -3*r + 269. Is 43 a factor of r?
True
Let c(x) = -28*x**2 - 4*x - 4. Let y be c(-1). Is 31 + y - (-113 + 0) a multiple of 3?
False
Let u(d) = 4450*d**2 + 24*d + 7. Is 10 a factor of u(-1)?
False
Suppose -1304 - 5170 = -t. Suppose -1858 = 8*c - t. Is c a multiple of 18?
False
Suppose 17*s - 10*s - 31713 + 12302 = 0. Does 45 divide s?
False
Let p(z) = z**2 + z + 10. Let x be p(0). Let m(k) = -30 + 5 - 5 - x*k. Does 15 divide m(-12)?
True
Is (65044 - (-1 - 0))/(767 - 762) a multiple of 10?
False
Suppose -o - o = 3*f - 11, -17 = -2*o - 5*f. Let m be (2/(-1))/(2/(-6)) - 4. Is 40 a factor of o/((m/6)/(1480/30))?
False
Suppose 31*u - 40*u + 36 = 0. Suppose -2*c = 2*n + 3*c - 974, 0 = -u*n - c + 1912. Is 7 a factor of n?
False
Suppose 170*m = 223679 + 120401. Is m a multiple of 6?
False
Suppose 0 = 22*v - 21*v - 2. Suppose -7 = -v*y + 5. Let n(b) = 19*b - 20. Does 24 divide n(y)?
False
Let h(d) = 72*d**2 + 19*d - 68. Does 15 divide h(4)?
False
Let l = 4228 - 2146. Suppose -3*n + l = 5*h, 4*n - 5*h + 704 = 5*n. Is n a multiple of 53?
True
Suppose 5*v + c - 35490 = 0, 0 = 27*c - 23*c. Does 12 divide v?
False
Suppose 4*f - 3102 = -2*m, 496 + 281 = f + 2*m. Let d = -494 + f. Does 34 divide d?
False
Let a be 4 - 277/7 - (-198)/(-462). Suppose 3*c = 2*j - 20, 4*c = 8*j - 4*j - 32. Does 16 divide (-1 + -6)*a - (0 + c)?
True
Let y = 1696 - 2960. Does 16 divide (-11)/(44/y) + 4?
True
Let i(t) = -1446*t**3 + t**2 - 18*t - 94. Is 18 a factor of i(-3)?
False
Is (-27)/(-756)*140 - 1/(2/(-35168)) a multiple of 39?
True
Suppose -q - 2673 + 1074 = 4*t, -4*t - 1601 = -q. Let k(o) = -56*o**3 - o**2 + o + 1. Let l be k(-1). Is 9 a factor of -3 + 155/l - t/22?
True
Suppose -585 = -u - 4*u + 2*k, -u = -5*k - 140. Let r = 59 - u. Is 36 a factor of (-18)/((-11)/(-42) - (-24)/r)?
True
Let p(f) = 44*f + 34. Let v(w) = 4*w**2 + 4*w - 5. Let t be v(-2). Does 83 divide p(t)?
True
Suppose -5*q = -g - 17206, 2*q + 14*g - 3073 = 3867. Is 126 a factor of q?
False
Suppose 7*c - 9219 = 7056. Suppose -6*n - 1550 = -2*j - 2*n, 0 = 3*j - 4*n - c. Does 25 divide j?
True
Suppose -24*v = -20*v - 44. Suppose -v*c + 3*c = c. Suppose c = -4*p + 4*o + 140, 76 = 5*p + 3*o - 123. Is p a multiple of 8?
False
Is -14 + (4 - -17584) + 0 a multiple of 174?
True
Suppose 26*b - 24*b + 44968 = 4*l, l = -3*b + 11242. Is l a multiple of 14?
True
Suppose 19*c - 30 = 4*c. Suppose 0 = -c*w + 341 + 19. Is 15 a factor of w?
True
Does 76 divide (5323 - 0)*(-69 - -70)?
False
Suppose 50*u - 69860 - 2399740 = 0. Does 126 divide u?
True
Let u = 766 - 522. Suppose -757 + u = -3*x. Does 3 divide x?
True
Suppose b - 4*i = 3, 6*i = 5*b + 4*i - 51. Suppose -8330 = -b*d - 6*d. Is d a multiple of 70?
True
Is 231 a factor of 6/8 + -1 - -102*(-69138)/(-368)?
False
Suppose -c = -27*d + 28*d - 2635, d = -2*c + 2630. Does 6 divide d?
True
Suppose 0 = 5*t + 4*b + 41, -3*t = -t + 4*b + 26. Let r(f) = 58*f - 113*f + 55*f + 3*f**2. Does 25 divide r(t)?
True
Let b be (-15)/(-120)*56 + 2. Let o = 1005 + -485. Suppose s + o = b*s. Is s a multiple of 13?
True
Suppose -320 = y + 4*k, 3*y = 2*k + 2*k - 992. Suppose 6 + 18 = 3*q. Is (6/q)/((-2)/y) a multiple of 13?
False
Let l = -74 - -121. Suppose -44*i - 555 = -l*i. Is 5 a factor of i?
True
Suppose -83*u = -96*u + 54769. Does 11 divide u?
True
Let g = -297 - -299. Suppose 0 = 5*b + g*c - 798, -5*b = 4*c - 311 - 495. Is 8 a factor of b?
False
Suppose -10*c + 15*c - 55 = 0. Let j(g) = -34 + 20 + c*g - 5. Does 10 divide j(6)?
False
Let o(w) = w**3 - 2*w**2 - 7*w - 15. Let p be o(6). Suppose -p*k = -85*k - 610. Does 15 divide k?
False
Let w = 3 + -2. Let n be (2 - w)/(10/140). Is 6 a factor of 4/n - 1403/(-161)?
False
Let w(a) = 52*a**2 + 10*a - 11. Suppose 2*z + 15 = 5*h - 0*z, 27 = 2*h - 5*z. Does 14 divide w(h)?
False
Let r be (26 + -6)/(-1*1). Let w(t) = -t**2 - 18*t + 25. Let s be w(r). Let c = s + 108. Does 14 divide c?
False
Suppose 403*h = 404*h + j - 19744, 5*h = j + 98702. Does 22 divide h?
False
Let p be 6/18*9 + 4*1. Suppose -7*g - p*g = -4116. Is 37 a factor of g?
False
Let q = -239 + 131. Let w = q - -114. Suppose 4*m - 256 = -4*z, -w*z - m + 200 = -3*z. Does 17 divide z?
True
Let v(o) = -42*o + 20. Let z be v(-14). Let n = z + -363. Does 13 divide n?
False
Suppose 5*a = 5*g - 20600, -42*a - 16552 = -4*g - 47*a. Is 172 a factor of g?
True
Let g = -383 - -992. Suppose 3*h - g = -3*w - 240, 5*h - 4*w = 588. Is 5 a factor of h?
True
Let f = 73380 - 50151. Is 9 a factor of f?
True
Suppose 3*m - 3*s + 6*s - 33 = 0, -15 = 5*s. Let j = m - -98. Let d = 222