)?
False
Let i = 72 - 163. Let j = i - -30. Let b = 10 - j. Is 9 a factor of b?
False
Suppose 4*a = 4*x + 1872, 5*x + 460 = -9*a + 10*a. Suppose 263 + 51 = 2*m + d, -a = -3*m - d. Does 15 divide m?
False
Let h = -13217 - -22146. Is 120 a factor of h?
False
Let s(l) = -20*l - 16. Let g = -245 + 241. Is s(g) a multiple of 12?
False
Let l(h) = -h**2 + 24*h - 52. Let q be l(21). Does 10 divide q/(-5*(-8)/1800)?
False
Let b(s) = -28*s - 54. Let y be b(-2). Is 35 a factor of y*((-5)/5 + 0) - -1553?
False
Let h be (7/14)/(2/76). Suppose -2*m - 7 = -h. Suppose 3*p = -2*g + 132, 3*p + 132 = m*p - 3*g. Is p a multiple of 22?
True
Let g = -2070 + 9606. Does 157 divide g?
True
Let a = 1571 - 1026. Let c = a - 43. Suppose 124 = -14*r + c. Is r a multiple of 9?
True
Suppose 9*b = 9509 - 1463. Suppose 2*j = -3*c + c + b, -2*c + 5*j = -901. Does 32 divide c?
True
Suppose -n = n + n. Suppose 0 = -4*m - 3*z + 17, n*z = 3*m + 5*z - 21. Suppose m = u, u = -3*l + 112 + 220. Does 22 divide l?
True
Let w(u) = -210 + 19*u - 21*u + 35*u. Is 57 a factor of w(15)?
True
Let g(o) = 20*o**2 + 106*o + 1050. Is 66 a factor of g(-9)?
True
Let c = 23866 + -20453. Is 15 a factor of c?
False
Let l(r) = -3758*r**3 - 2*r**2 - 50*r - 50. Is l(-1) a multiple of 11?
False
Let j(x) = 4*x**3 + 5*x**2 + 15*x - 11. Is j(8) a multiple of 103?
False
Suppose 3*w + 15 = 8*w. Suppose 3*k + 4 = 3*j + j, -5*k = w*j - 3. Is 3 a factor of 12/(-3)*(0 - 3)*j?
True
Let t be (-818 - -1) + 4/((-12)/6). Is 2 + t/(15/(-5)) a multiple of 55?
True
Let c = 441 - 436. Suppose h - 6 + 1 = 0, -1151 = -4*w + c*h. Is 6 a factor of w?
True
Does 10 divide (-17)/(-51) - 179578/(-12) - (-60)/72?
False
Let o(g) = -6*g**3 - 49*g**2 + 82*g + 39. Does 71 divide o(-14)?
True
Let f = 14 + 7. Suppose v - 5*y = 0, 241*y - 237*y = -2*v + 14. Suppose 3*z + 2*h - 10 = f, 0 = v*z + 5*h - 45. Is 8 a factor of z?
False
Let h(m) = 78*m**2 + 174*m - 1470. Does 61 divide h(8)?
False
Suppose 4*w - 2*h + 18 = 6*w, 2*w - 2*h - 38 = 0. Suppose -3*l + 2355 = -11*m + w*m, 0 = -5*m + 4*l + 3907. Suppose -4*y + 201 + m = 0. Does 32 divide y?
False
Let t(w) be the first derivative of -w**4/4 - 8*w**3/3 - 8*w**2 - 16*w + 9. Let h be t(-6). Let b(l) = l**2 + 3*l - 8. Does 20 divide b(h)?
True
Let g(y) = 20*y - 49 + 3 - 5*y - 8. Is g(10) a multiple of 32?
True
Suppose -5*j = 10*z - 100425, 40190 = -z + 5*z - 2*j. Does 123 divide z?
False
Suppose 0 = 18*m + 57*m - 576150. Does 5 divide m?
False
Let g(d) = -d**3 - 9*d**2 - 13*d + 12. Let x be g(-7). Suppose 6*r + x*r = -2*r. Suppose 38*l - 40*l + 180 = r. Does 10 divide l?
True
Let j = 15027 - 13155. Is 2 a factor of j?
True
Let g(i) = 2*i**2 + 322*i + 9237. Is 63 a factor of g(0)?
False
Let q(n) be the second derivative of -n**4/12 - 53*n**3/6 - 48*n**2 + 2*n - 11. Is 10 a factor of q(-46)?
False
Let g(k) = -1561*k - 3647. Is 119 a factor of g(-14)?
True
Let m = 6095 - 3244. Suppose -7808 = -11*q + m. Is q a multiple of 57?
True
Let q = 33 + -30. Suppose 3*r - 4 = 2, q*r = -2*u + 112. Suppose 4*p + 3*l + 30 = 242, 5*l = -p + u. Does 6 divide p?
False
Let v be ((-3)/(-6))/(3/12). Let m(p) = -p. Let n(i) = i**3 + 7*i + 1. Let y(u) = 28*m(u) + 4*n(u). Is 6 a factor of y(v)?
True
Let x(k) = -35*k**2 - 3*k + 24. Let r(m) = 6*m**2 - 2. Let v(n) = 6*r(n) + x(n). Let h = -11 - -2. Does 24 divide v(h)?
True
Suppose 3*s - 3722 = 2*t, -2*s = 3*s + 3*t - 6216. Let d = -874 + s. Is 46 a factor of d?
True
Let i = 281 + -265. Is 606*24/i + 6 a multiple of 15?
True
Suppose 2*o = -16, 5*t = 4*o + 62159 + 72273. Is t a multiple of 140?
True
Let w(p) = 7*p - 16. Let g(s) = 9*s - 15. Let h(v) = 6*g(v) - 7*w(v). Let n be h(-5). Is (-1252)/(-8) - n/6 a multiple of 9?
False
Let y be -3 + 1968/(-42) - 2/14. Let f = -63 - y. Let x(b) = -b**3 - 13*b**2 - 11*b - 17. Does 21 divide x(f)?
True
Suppose 0*r - 6*r - 36 = 0. Let b be (r/(-5))/((2 + 0)/10). Suppose -b*d + 48 = -12. Is d a multiple of 6?
False
Let c = -469 - -820. Suppose 5*f - 1799 - c = 0. Is f a multiple of 43?
True
Is 96 a factor of ((-219)/(-2))/((-235)/(-14570))?
False
Suppose -932*t + 126040 = -922*t. Is 23 a factor of t?
True
Let o(q) = -37*q - 7*q + 15*q - 10*q**2 - 2*q + 4*q**2. Suppose 0*z = -4*z + c - 25, -4*c = -2*z - 30. Is o(z) a multiple of 3?
False
Suppose 144*f = 103320 + 67320. Does 31 divide f?
False
Let j be ((-16)/(-20) + -4)/((-1)/100). Suppose w = 2*w - j. Is w a multiple of 16?
True
Let f = -3216 + 4254. Is 12 a factor of f?
False
Suppose -100*l = -95*l + 40. Is (-27 - -9)*l*(-4)/(-8) a multiple of 18?
True
Let x = 97 - 92. Suppose 0 = x*s - 78 - 377. Is s a multiple of 3?
False
Let c(a) = -a**3 + 16*a**2 + 21*a - 94. Let z be c(11). Let l = z + -731. Is 4 a factor of l?
False
Suppose -9 = -3*q + 3*u, -4*u - 2 - 2 = 0. Suppose -5*f = -3*f - p - 28, -19 = -f + 3*p. Suppose q*g - f = 15. Is 2 a factor of g?
True
Suppose -20*i = -11*i + 22*i - 111600. Is 6 a factor of i?
True
Let j(x) = 12*x**2 + 48*x + 16. Is 3 a factor of j(-8)?
False
Let h be ((-296)/10)/((-10)/(-25)). Let p = h - -178. Is p a multiple of 30?
False
Suppose -f = 5*a - 23, 4*a - 5*f - 5 = -4. Suppose -a = 4*w - 2*y, -3*y - 4 = -3*w + 2*y. Does 2 divide 12/((-7)/w + -2)?
True
Let u = 1617 + -1295. Does 35 divide u?
False
Suppose -9*f + 6*f - 155304 = -21*f. Is 98 a factor of f?
False
Let b(l) be the first derivative of -l**4/4 - 4*l**3/3 + 7*l**2/2 + 37*l - 57. Is b(-5) a multiple of 20?
False
Let q(z) = z**2 - 2*z - 1. Let w be q(2). Suppose 0 = 2*a - 33 + 37. Is a + 4 - 97/w a multiple of 11?
True
Let f be (-17)/(-3) + (-4)/(-12). Suppose -320 = -f*x - 104. Let u = x + 50. Is 19 a factor of u?
False
Suppose 4*m = -4*s + 53192, 653*m + 2*s = 655*m - 26580. Is 17 a factor of m?
True
Let u = -26 - -30. Suppose s - 2*j - 495 = 0, -u*s + 1080 = 3*j - 900. Suppose s - 75 = 5*q. Does 21 divide q?
True
Is 5 + 8907 + (6 - -8) a multiple of 39?
False
Let j(k) = 6*k**2 - 179*k + 1. Let p be j(29). Does 9 divide (-28756)/(-68) - (2 - p/(-68))?
True
Let m be (-4)/(-2)*(-3 + (-7)/(-2)). Suppose 0 = -5*d + 2*o - m + 7, -2*d + 12 = -4*o. Suppose -w = -5*w - j + 20, j = d. Is w a multiple of 2?
False
Let r(v) be the second derivative of 0 + 11/6*v**3 - 21/2*v**2 - 6*v + 1/12*v**4. Is r(-21) a multiple of 21?
True
Let k(a) = -40*a + 942. Is 6 a factor of k(3)?
True
Suppose -8*y = 2*a - 347850, -8557 + 95542 = 2*y + 5*a. Is y a multiple of 8?
True
Let p(a) = -a**3 + 13*a**2 - 10*a - 19. Let z be p(12). Suppose -z*y + 104 = 3*y. Suppose -33 = -16*k + y*k. Is k a multiple of 3?
False
Let l = 40921 - 22021. Is l a multiple of 18?
True
Let d(q) = -q**3 - 9*q**2 - 10*q. Let z be (6 - (0 + 2))*(-40)/16. Let x be 8/12*(z + -2). Is 2 a factor of d(x)?
True
Suppose 5*g + 6534 = 23*g. Let k = g + -196. Let n = -85 + k. Is n a multiple of 22?
False
Let p = -31 - -57. Suppose -6*g + 106 = -p. Is g a multiple of 5?
False
Suppose 22*z - 417582 = -16*z. Is 33 a factor of z?
True
Suppose -2*o = -3*m + 4049, 2*o + 2703 = 2*m - 3*o. Suppose 0 = -18*k + 6101 - m. Is 44 a factor of k?
True
Let l be 235/20 + ((-60)/(-16))/(-5). Suppose 0 = -l*f + 3324 + 1637. Does 3 divide f?
False
Let a = -89 + 143. Suppose -a*s = -9*s - 10080. Is 16 a factor of s?
True
Let b(n) = 2*n**3 + 65*n**2 + 33*n + 37. Let r be b(-32). Suppose 905 = r*a - z, 3*a + 3 - 538 = -z. Is a a multiple of 3?
True
Let p = -1032 + 1815. Suppose -6*r = -9*r + p. Is 20 a factor of r?
False
Let m(d) = 12*d + 9. Let k(o) = -o**2 + 13*o + 10. Let y(l) = -5*k(l) + 6*m(l). Is 28 a factor of y(-4)?
True
Suppose 80 = 3*r + 4*w, -w + 30 = 2*r - 15. Let u be (1970/r)/((-2)/4). Let v = -62 - u. Is v a multiple of 15?
True
Let d be (58 + -44)*1/2. Let z(l) = -7 + 14*l - 13 - 3. Does 19 divide z(d)?
False
Let j(h) = h**2 - 5*h - 3. Let p be j(6). Suppose 15 = -p*b, 3*c - 54 - 339 = -3*b. Let x = c - 19. Does 32 divide x?
False
Does 21 divide (176 - (-5)/5)*(-343)/(-7)?
True
Let r(a) = a**3 + 19*a**2 + 41*a + 24. Is 45 a factor of r(-12)?
True
Suppose -254 + 154 = -10*g. Let k(y) = y**2 - 16*y - 18. Let x(i) = -i - 1. Let n(u) = -k(u) + 6*x(u). Does 4 divide n(g)?
True
Let j = 5886 - -1040. Is 26 a factor of j?
False
Let g = -6591 - -15550. Is 45 a factor of g?
False
Let v(z) = 550*z - 525. Is v(5) a multiple of 89?
True
Let j(v) = -12*v + 64*v - 53 + 13. 