e -6*f = -4*f - z - 46, -3*f = z - n. Is f a multiple of 24?
True
Let d(b) = 4*b**3 - 13*b**2 - 40*b + 32. Does 70 divide d(12)?
False
Let r(v) = -v**2 - 15. Let z be r(7). Let a = 69 + z. Suppose 3 = x, 3*f - a*x - 93 = 15. Does 12 divide f?
False
Let k(g) = -g + 21. Suppose -127 = -3*h - 2*h - w, -h + 5*w + 41 = 0. Suppose -2*f + d = 4 + 15, -h = 3*f - 4*d. Does 6 divide k(f)?
False
Suppose -2*s = -5*j + 71, 2 = 2*s + 8. Suppose -8087 = -j*r - 1405. Is r a multiple of 83?
False
Let g = -23 + 13. Let k be (-2)/g + 2/(-10). Is 2 + 70 - (2 + k) a multiple of 8?
False
Suppose -10*j - 9*j + 27335 = -43345. Is 5 a factor of j?
True
Let c = 2493 - 1473. Is c a multiple of 2?
True
Let t(j) = -j**3 + 16*j**2 + 5*j - 42. Let x be t(17). Let v = x - -294. Is v a multiple of 6?
True
Let h(m) = -18*m + 7. Let f be h(2). Let b = f - -35. Suppose -b*c + 1018 - 112 = 0. Does 10 divide c?
False
Let d = -323 - -453. Let b = -32 + d. Let x = b - 46. Is 46 a factor of x?
False
Let w(f) = 293*f**2 - 83*f - 271. Is 14 a factor of w(15)?
False
Suppose -38 = -3*q + 34. Suppose -499 = -5*w - q. Let h = w + -55. Is 6 a factor of h?
False
Let f(t) = -t**3 + 13*t**2 + 14*t - 25. Is 5 a factor of f(-6)?
True
Let v be ((-6)/10)/(3 + 31/(-10)). Suppose -10 = -2*u, -4*t + 5 + v = 3*u. Is 13 a factor of (t - (242 - -4))*-1?
True
Let b = -14484 + 26342. Does 121 divide b?
True
Let g(t) = -2814*t + 9898. Is g(-19) a multiple of 31?
True
Is (-220)/35 + 6 + (-10650)/(-35) a multiple of 27?
False
Let h(w) = 11*w**3 + 6*w**2 + 5*w. Let q be h(-2). Let j = -68 - q. Is 2 a factor of 2/6 - (j - 344/12)?
False
Let l(g) = -32*g**2 - 3*g + 65*g**2 + 6*g. Is l(-2) a multiple of 9?
True
Suppose 64*o - 3105 = 19*o. Suppose 3*g + 66*q = o*q + 2145, -4*g + 2875 = -q. Is g a multiple of 12?
True
Let u(b) = 10*b**2 - 129*b + 276. Does 11 divide u(34)?
False
Suppose -343*o = -336*o - 14. Suppose -o*t + 5*m + 1064 = -0*t, -2*m = -t + 531. Is t a multiple of 17?
True
Let x(a) = 167*a - 129. Let i be x(7). Suppose -2*t = 6*t - i. Does 5 divide t?
True
Let y(k) = -14*k + 2400. Does 14 divide y(-25)?
False
Is (41259/2)/((-469)/(-938)) a multiple of 165?
False
Let g(m) = m**3 - 10*m**2 + m - 6. Let j = -132 + 144. Is 42 a factor of g(j)?
True
Let m = 1525 - 800. Does 14 divide m?
False
Let z = 9911 - 6526. Is z a multiple of 5?
True
Suppose -10*h - 11 = -31. Suppose -h*b - 4*q - 36 = -4*b, 0 = 5*b - 3*q - 111. Does 4 divide b?
True
Suppose 2*k + 18 = 8, 2*r + 5*k - 10343 = 0. Is r a multiple of 37?
False
Is -3*(31804/(-30) - 46/230) a multiple of 14?
False
Let h(l) be the second derivative of -l**5/20 - l**4/2 + 2*l**3/3 + 2*l**2 + 2*l - 40. Does 13 divide h(-10)?
True
Suppose -1 = -11*k + 21. Suppose -2*o - m + 1383 = o, 932 = k*o + 4*m. Suppose -8*x = 4*l - 6*x - o, 3*x - 110 = -l. Is 29 a factor of l?
True
Suppose 0 = -590*a + 22870257 - 1060317. Does 183 divide a?
True
Let b = 335 + -327. Suppose 0 = o - d - 336, 0 = 2*o - b*d + 12*d - 696. Is 20 a factor of o?
True
Let q = -134 - -200. Suppose 0 = 2*p - 16 - q. Suppose 4*n - 59 = p. Does 7 divide n?
False
Suppose -14558 - 57912 = -21*y + 161386. Is 64 a factor of y?
True
Suppose 27*a = 25*a - 2*o + 2438, 3*o = -a + 1219. Is a a multiple of 23?
True
Let p be 3/((-68)/20 - -3)*28. Let i = p + 147. Let h = i + 123. Is 15 a factor of h?
True
Let i = 2674 - 1846. Suppose -97*u = -94*u - i. Is u a multiple of 18?
False
Let s be (-55)/(-4) - (-2)/8. Let d be (0 - (-468)/8 - 2)*4. Suppose s*t = 12*t + d. Does 18 divide t?
False
Suppose -5 - 15 = -5*z, -4*y = 3*z - 76. Suppose -y*i + 3015 + 2361 = 0. Is 48 a factor of i?
True
Suppose -4*u + 3345 = -35. Suppose 0*z + 506 = 3*z - 4*h, -u = -5*z + 5*h. Let b = z + -110. Is b a multiple of 15?
True
Suppose -3*i = -3*v - 0*i + 111, -5*i - 57 = -v. Let s(b) = b**3 - 32*b**2 + 9*b - 93. Does 15 divide s(v)?
True
Let v(s) be the third derivative of -s**6/60 - s**5/10 + 3*s**4/8 - 4*s**3/3 - 4*s**2. Suppose 0 = 2*l - 10, 5*z - 2*l + 41 = 1. Is v(z) a multiple of 11?
True
Let k be -31*15/6*2. Let f = k - -121. Is (-13 - f)/((-6)/(-58)) a multiple of 12?
False
Suppose -13*g + 10*g - 1584 = 0. Let b = 912 + g. Is 24 a factor of b?
True
Let u(f) = f**3 + 8*f**2 + 6*f - 14. Let v be u(-6). Suppose 0*s + 2*s - 4*a = v, -15 = 5*a. Suppose -5*w = 5, 51 = 3*m - s*w - 191. Does 24 divide m?
False
Suppose 3*y - 29397 = -x, 4*x + 27474 = 3*y - 1938. Does 14 divide y?
True
Let d = 57288 - 19238. Is d a multiple of 10?
True
Suppose 3*r = 2*r. Suppose r = 2*m - 3*j - 119, -5*m + 5*j = -4*m - 49. Is m a multiple of 3?
False
Let i(r) = r**3 + 16*r**2 - 2*r + 5. Let p be i(-16). Let y = 40 - p. Does 20 divide (-157 - y)/(-2 + 2/2)?
True
Let r(z) = 4*z**2 - 6*z - 2. Let t be r(2). Let v(f) = 273*f + 17. Is 24 a factor of v(t)?
False
Let s = 249 + -262. Is 20 a factor of ((-10)/35 - (-36)/(-21))*s?
False
Let j(f) = 11*f**2 + 67*f + 606. Is 22 a factor of j(-12)?
True
Does 17 divide ((-2)/(-3))/(-19*18/(-866970))?
False
Suppose 93 = -3*t + 69. Is 15 a factor of 66*((-22)/t)/(15/20)?
False
Suppose 51*h - 63391 = 92746 + 88204. Does 2 divide h?
False
Is (10407024/(-100))/(-3) - (-32)/(-400) a multiple of 73?
False
Is 139 a factor of 835/15*6255/(27 - 12)?
True
Suppose 16 = -4*s, 5*x - 9*s = -7*s - 667. Let z = x + 185. Is 18 a factor of z?
False
Let i be (-2)/(-3*2/(-36)). Let y = -7 - i. Suppose -2*b + 26 = -2*w, 0*b + 4*b = -y*w + 79. Is 16 a factor of b?
True
Let u = 292 - 235. Suppose -4*t - 639 = -j + u, -j = -3*t - 701. Is j a multiple of 53?
False
Let m(b) = b**3 + b**2 - b + 10. Let v be m(0). Let d be (-7 + v)/(-1 - -2). Is ((-85)/d + 1)/((-7)/21) a multiple of 51?
False
Let w = -13354 - -24641. Does 19 divide w?
False
Suppose -34*i + 9088 = -30*i. Let j = i - 1562. Is j a multiple of 13?
False
Let w = -575 + 579. Suppose -3*b = 19 - w, -b + 2662 = 3*c. Does 18 divide c?
False
Let u(r) = -r**2 - 2*r. Let s(w) = 3*w**2 + 9*w - 43. Let t(f) = s(f) + 2*u(f). Is t(6) a multiple of 4?
False
Let t = 60025 + -31803. Is 10 a factor of t?
False
Suppose -2*b + 8686 = 2*y, 4335 = b + 16*y - 13*y. Is b a multiple of 27?
True
Let l(a) = 161*a**2 - 189*a - 42. Does 31 divide l(5)?
True
Suppose -36*g + 32*g = -2*k + 73740, 0 = -5*g + 15. Is 21 a factor of k?
True
Let y(f) = 46*f + 6 + 37*f**2 - 6 - 42*f. Is 56 a factor of y(2)?
False
Is 97 a factor of 8 - 722/95 - (-578)/10*157?
False
Let g(m) = -m**2 - 34*m + 97. Let p be g(-37). Is 89824/140 + p/(-10) a multiple of 10?
False
Let l(m) = -304*m + 728. Is 13 a factor of l(0)?
True
Let u(n) = -582*n - 624. Does 12 divide u(-2)?
True
Let h(z) = 43*z - 69. Suppose -32 = -4*q - 2*d, -5*d - 3 - 5 = -q. Is 16 a factor of h(q)?
False
Suppose 5*z + 8 = -52. Is 18 a factor of (33/z)/(3/(-228))?
False
Let p(q) = -q**2 - 149*q - 130. Is 98 a factor of p(-61)?
False
Let r be -117*(-4)/6 - (6 - 3). Let x be 7 + r + -4*1. Suppose -l = -c - 22 - 2, x = 3*l + 3*c. Is l a multiple of 20?
False
Suppose -y + 2*w + 11 = 0, -39*y + 40*y - 6 = -3*w. Does 40 divide ((-301)/14)/(y/(-18))?
False
Let i(b) = 3*b**2 + 9*b - 8. Let x be i(8). Let w be 4*-1*(-6 - (-77)/14). Suppose w*t = -6*t + x. Is t a multiple of 22?
False
Suppose 2*o + 4*o = -18. Let x be 1 - (o - -48)/(-3). Is 1/4 - (-188)/x*1 a multiple of 4?
True
Let k(a) = -17*a - 6. Let s be k(-1). Suppose -s*n + 540 = -6*n. Suppose -5*h = -132 - n. Does 4 divide h?
True
Let v(x) = 55*x**3 - 2*x - 1. Let g be v(-1). Let c = -69 - 24. Let w = g - c. Is w a multiple of 15?
False
Suppose -683 + 240 = -53*u + 776. Suppose 0 = 4*f + 2 - 14. Let k = f + u. Does 14 divide k?
False
Suppose 2*w - 26 = 5*s, -w + 7*s + 8 = 2*s. Let t(m) = -m**3 + 21*m**2 - 34*m + 27. Is 4 a factor of t(w)?
False
Let f = 1452 + -690. Suppose -34*j = -31*j - f. Is j a multiple of 11?
False
Is 49 a factor of (-1704822)/(-84) - -40 - (-2)/(-4)?
True
Suppose 38 = -3*x + 83. Does 26 divide (6/x)/((-5)/(-13975))?
True
Let b = 65 - 41. Let g be -10*16/b*6/(-8). Suppose 0 = 5*z + i - 131, g*i - 19 = -z + 3*i. Is z a multiple of 4?
False
Suppose 0*m - 3*m = 0. Let r be 10/(-60)*0/2. Suppose -181 = -g - r*g - 5*i, m = -5*g - 3*i + 839. Does 19 divide g?
False
Let w = 413 + 2705. Does 16 divide w?
False
Let l = -25977 - -46103. Does 142 divide l?
False
Let c be (0*(-2 + 3))/2. Suppose c = 60*l - 