= 2294*s - 2291*s - 4*i. Is 10 a factor of s?
False
Let b(r) = 5*r**2 + 33*r - 106. Is 32 a factor of b(22)?
True
Suppose 39553 = 57*g - 104543. Does 6 divide g?
False
Let j = -3 - -14. Suppose 13*q = j*q + 1824. Does 12 divide q?
True
Let x(s) = 511*s - 122. Let u be x(2). Is 44 a factor of (-489)/(-1) - (u/12)/15?
True
Is 32 a factor of 160/(-64)*2 - 133*-1?
True
Let s(u) = -237*u + 2349. Does 12 divide s(-87)?
True
Is 2799/6*(33 + (-13 - -10)) a multiple of 15?
True
Does 214 divide (-1)/3 + (-513632)/(-96)?
True
Let d(w) = w**2 + 15*w - 43. Let t be d(9). Suppose 262 = 5*p - t. Does 21 divide p?
False
Let b be (2/(-3))/((-75192)/(-6840) - 11). Suppose -4*v = -0*v - 20. Suppose z + b = v*o, -4*o - z + 105 = o. Is 4 a factor of o?
True
Suppose -68 = j - 224. Let f be (-4)/6 - 271/3. Let p = f + j. Is 10 a factor of p?
False
Let s(j) = 75*j - 138. Let d be s(8). Let z = d - 170. Is z a multiple of 34?
False
Suppose 24 - 11 + 23 = -12*g. Let z(u) be the second derivative of u**5/20 + u**4/2 - u**3/6 - 5*u**2/2 + u. Is 5 a factor of z(g)?
True
Is 202 a factor of 26541/2 - (50 - 41 - (-63)/(-6))?
False
Let g = -554 - -556. Suppose -3*o + 2*b + 1900 = 0, 0 = -2*o - 3*b - g*b + 1235. Is 30 a factor of o?
True
Let n be (-52)/(-2) - (1 + -4). Let v = 32 - n. Suppose -202 = -v*i - 67. Is 15 a factor of i?
True
Let b(u) = 2*u**3 - 9*u**2 + 2*u - 32. Is b(14) a multiple of 120?
True
Let p = -94 - -96. Let i be (5 - (7 - 1))*(-8)/p. Let k(l) = 2*l**2 - l + 6. Is k(i) a multiple of 17?
True
Suppose -29*p - 11*p = -1400. Suppose 22*t + 12480 = p*t. Is 96 a factor of t?
True
Suppose -4*c - 107 = -843. Suppose 2*q - n - c = -22, 3*n - 427 = -5*q. Is 8 a factor of q?
False
Let u(m) be the second derivative of m**5/10 + 7*m**4/12 + m**3/3 - 2*m. Let d be u(-5). Does 6 divide (d/20)/(2/(-16))?
False
Let f(x) = 85*x**2 + 26*x + 4. Is 84 a factor of f(-4)?
True
Let c = -36 + 53. Is (43 - 28)/(1 + c/(-20)) a multiple of 16?
False
Let i = -80688 + 122772. Is i a multiple of 126?
True
Let c = 697 + -518. Let a = c + -150. Does 29 divide a?
True
Suppose 0 = -3*q - 3*m + 6, -5*m = -4*q - 13 + 3. Suppose -3*s = -v + 15, -v + q*s - 2*s = 10. Suppose v = -r + 13*r - 2160. Does 45 divide r?
True
Suppose -845 = w - 4*y, y - 2*y = -2*w - 1662. Let h = w - -1405. Is 32 a factor of h?
True
Suppose 0 = -0*o + 5*o - 1530. Let u be o/68 + (-1)/2 + 0. Suppose -5*k - 8 = 17, u*z - 2*k = 570. Does 28 divide z?
True
Let h = -510 + 1904. Is h a multiple of 3?
False
Let z(h) = 16*h**3 - 12*h**2 + 29*h - 48. Is 21 a factor of z(6)?
True
Suppose -6*n + 7*n - 11 = 0. Is n/(462/288)*14 a multiple of 21?
False
Suppose 4*i + 2420 = 4*m, m + 8*i = 6*i + 602. Suppose 3*j + 5*r = 165 + 292, -4*r = 4*j - m. Does 33 divide j?
False
Suppose 51*x = 42*x + 201042. Is 153 a factor of x?
True
Let k(a) = 2*a**3 - 1 + 213*a**2 + 4 - 193*a**2. Is 11 a factor of k(-7)?
True
Suppose 0 = 5*d - 5*c + 350, 8*d + 3*c + 140 = 6*d. Is d/98 + (-14505)/(-21) a multiple of 15?
True
Let g(a) = 173*a + 3803. Let o be g(-22). Suppose -4*p - 2*x = -x + 6, -2*p + 2*x = -2. Is (-296)/(-4) - (p - o) a multiple of 12?
True
Let z(h) = 10*h. Let v be z(6). Let s be (v/50)/((-1)/(-5)). Suppose s*a = -8*a + 1036. Is a a multiple of 10?
False
Let d(x) = -x**3 - 3*x**2 - 2*x - 8. Let g be d(-3). Is (-3 - (-81)/36)/(g/168) a multiple of 7?
True
Let g be -4*((-3)/4)/1. Suppose -g*p = -9 - 6. Suppose -v + p*o - 400 = -5*v, -2*o = -5*v + 533. Is 8 a factor of v?
False
Is 4 a factor of (1*-2253 - -2)/((110/20)/(-11))?
False
Suppose 397693 = 133*z - 44*z - 484475. Is z a multiple of 21?
True
Let o(z) = z**2 - 19*z - 170. Let y be o(31). Suppose 3*v = -4*l + y, v + 132 = 3*v + 2*l. Is v a multiple of 2?
True
Suppose h = -12*h + 125 + 1487. Suppose -4*c + 23 = -f, 4*f + 3*c + 115 = -53. Let q = f + h. Is q a multiple of 22?
False
Let h(p) = p**3 + 2*p**2 - p - 3. Let z be h(-3). Let x(b) be the first derivative of -4*b**2 - 15*b + 113. Is 19 a factor of x(z)?
True
Suppose -4*w + 3 = -w. Let u(y) = -19*y**3 - 2*y + 1. Let v be u(w). Is 6/(-15) - 328/v a multiple of 4?
True
Let m(k) = -186*k + 264. Is m(-32) a multiple of 8?
True
Let n be 29/((2/(-10))/1). Let k(r) = 29*r**2 + 108*r + 7. Let w be k(-5). Let t = w + n. Is 4 a factor of t?
False
Let l(g) = -g**2 + 7*g + 4. Let h be l(7). Suppose 0 = -v - h*v + 325. Suppose -v - 30 = -d. Does 19 divide d?
True
Let q(u) = -103*u - 1824. Is q(-21) a multiple of 4?
False
Let k = 20720 + -3123. Is 14 a factor of k?
False
Let p(l) = l**3 - 6*l**2 + 20*l - 315. Does 19 divide p(18)?
True
Let q = -332 + 49. Let z = -145 - q. Is 6 a factor of z?
True
Let d(h) = 3*h**3 + 8*h**2 + 4*h - 10. Let w be d(-5). Let g = w - 15. Let b = -73 - g. Is 33 a factor of b?
False
Suppose -25 = 4*o - 9*o. Suppose -o*k = 2*r - 6*k - 190, r - 85 = -2*k. Is 2 a factor of r?
False
Suppose -1186*x + 693840 = -1165*x. Does 70 divide x?
True
Let d(z) = z**3 - 8*z**2 + 12*z. Let h be d(6). Suppose 3*x - 460 + 73 = h. Let m = x + -42. Does 17 divide m?
False
Let w = -20 - -24. Suppose -m + 0*m + 4 = -t, 2*m + 28 = -w*t. Let q(b) = b**2 + 2*b - 9. Is q(t) a multiple of 9?
False
Suppose 3*c = -2*i - 4, 4*i + 2*c - 3*c = -22. Let h be (45/3)/(((-10)/14)/i). Does 14 divide (1/21 + 30/h)*135?
False
Let k(x) = 7*x**2 + x. Let p be k(-2). Let n = p + -46. Is 25 a factor of (n/(-6))/((-20)/(-150))?
True
Let t be 1 + 4 + 1 + -5. Is 28 a factor of (-60385)/(-260) + (t*-1)/4?
False
Let q(k) = 3*k - 7*k - 8 + 8. Let r be q(-1). Suppose l - r*h = 42, 6*l - 10*l - h = -100. Is l a multiple of 2?
True
Let t = 73 - 112. Let b = t + 43. Suppose b = -2*u, -192 = -4*v - 0*v + 2*u. Is v a multiple of 11?
False
Suppose 0*f - 4*f = -4*h + 16, -5*h = 2*f - 6. Let g(q) = q**2 - 2*q - 2. Let t be g(h). Is 5 a factor of (t/((-8)/5))/(2/56)?
True
Suppose q + 24624 = 5*w - 35358, -36034 = -3*w - 5*q. Is w a multiple of 54?
False
Let x = -20 - -23. Let o be (-148)/(1 - (-2)/((-2)/x)). Suppose 3*w - o = -11. Does 19 divide w?
False
Suppose 263*h + 248*h = 524*h - 121771. Is 29 a factor of h?
True
Let g(i) = 25*i**2 + 48*i - 265. Is 4 a factor of g(8)?
False
Suppose -9021*u + 29757 = -9008*u. Does 22 divide u?
False
Suppose 4*a = -4*s + 160, -14*a + 194 = -9*a + 3*s. Suppose -30*i = -a*i + 7161. Is i a multiple of 12?
False
Let s(d) = -32*d + 710. Is s(21) a multiple of 7?
False
Let c be 26826/7 - (2 - (-24)/(-14)). Suppose 0 = 4*i + 720 - c. Does 18 divide i?
False
Let d(x) be the second derivative of 25*x**5 + x**4/6 - 5*x**3/6 + 2*x**2 - 3*x + 1. Let u be d(1). Let s = 716 - u. Is 23 a factor of s?
False
Let l(b) be the third derivative of -b**6/60 - b**5/20 - 5*b**4/24 - b**3/3 - 577*b**2. Let z be (-18)/5 - (-12)/20. Is 20 a factor of l(z)?
True
Suppose -6 + 4 = -h. Let w be (h/3)/(2/(-108)). Let x = 0 - w. Is 6 a factor of x?
True
Suppose 0 = -8*a + 3*a - 1760. Does 16 divide (12/1)/(3839/a + 11)?
True
Suppose j - 81733 = -3*v, 3*j - 27255 = -18*v + 17*v. Is 91 a factor of v?
False
Is 89 a factor of ((-9)/(-8) - 1) + (-135275)/(-40)?
True
Let k(b) = -b**3 - 5*b**2 - 3*b - 2. Let y be k(-4). Is ((-142)/y - -3)/(1/12) a multiple of 23?
False
Let q(d) = 15*d**2 - 1200*d + 123. Is 12 a factor of q(86)?
False
Let w = -1907 - -3903. Suppose -8*b + 3*b + 3334 = 2*n, w = 3*b - n. Is 74 a factor of b?
True
Does 9 divide (13585 - (7 + 6 + (-42)/6)) + 1?
False
Suppose 1321 = -6*z - 13415. Let c = z - -3788. Does 12 divide c?
True
Suppose -h - 53 = -92. Let d = 1 + h. Does 8 divide d?
True
Let l = 105 + -60. Suppose 11*h - 6*h - x = l, -5*x = h - 9. Suppose 198 = -h*c + 15*c. Is 4 a factor of c?
False
Let t = -332 - -494. Suppose -24 = -i + t. Is 14 a factor of i/3 - 2 - 1?
False
Suppose -2*c - 4 - 4 = 0. Let g be 1 + c*(-5)/20. Suppose -g*b - l = -15 - 10, -2*l - 58 = -5*b. Is 10 a factor of b?
False
Let l be 20/(-3)*40656/(-40). Suppose -2*k + 16*k - l = 0. Does 44 divide k?
True
Suppose -31*m = -597465 - 3315. Is m a multiple of 255?
True
Suppose 3*a = 3*o - 45, -45 = -5*o - 4*a + 3. Let q be ((-68)/o - -3)*30/8. Does 16 divide (-6)/q + 2 + 282/5?
False
Let q(p) be the first derivative of -p**4/4 - 4*p**3/3 + 7*p**2/2 - 9*p - 32. Let c be q(-6). Is (1 - 37)/(-3) + c/7 a multiple of 11?
False
Suppose 5*y - k - 41 = -0*k, -3*y + 26 = -2*k. Suppose 10*m - 