 + 7). Is 21 a factor of 3182/l - (-20)/30?
False
Suppose x + s - 15279 = 0, s = 23*x - 21*x - 30534. Is x a multiple of 21?
False
Let o(n) = -4*n - 1. Let q be o(-1). Suppose -2*s + 14 + 2 = 5*i, 4*s = -3*i + 18. Suppose s*b - 144 = -q*b. Is 6 a factor of b?
True
Suppose 123*o - 119*o = -848. Let g = 320 - o. Suppose -189 = -n + 5*h - 56, -4*n + 4*h = -g. Does 22 divide n?
False
Let y(k) be the third derivative of k**4 + k**3/3 - 37*k**2. Let b be y(1). Suppose 5*l - b = 219. Is l a multiple of 8?
False
Suppose -4854 = 2*a - 5*a + 34398. Is a a multiple of 27?
False
Suppose 0 = -16*j + 2157 + 3715. Suppose -4*k - 570 = x + 196, 0 = 3*k - 2*x + 580. Let o = k + j. Does 20 divide o?
False
Let x(w) = -w**3 + 9*w**2 - 8*w + 2. Let u be x(8). Let r be ((-17 - 69) + 4/u)/(-1). Suppose -5*h + r = -61. Is 14 a factor of h?
False
Suppose -10*q = y - 11*q - 76985, -230997 = -3*y - 4*q. Is y a multiple of 11?
False
Let d = -155 - -175. Let m(o) = -o**2 + 18*o + 53. Does 4 divide m(d)?
False
Let r be 1/(-1 + 2) - (7 - 1). Does 19 divide ((-38)/3)/(r/285)?
True
Let b(u) = 773*u**2 - 155*u - 1. Is 11 a factor of b(-2)?
False
Let l = 288 - -974. Suppose 0 = 4*m + 4*j - 2512, 3*j = -2*m - 8 + l. Is m a multiple of 14?
True
Let t be (-6)/(-33) + 11260/22. Let d be (-7)/((-35)/15) + (324 - -2). Let m = t - d. Is m a multiple of 18?
False
Let t(o) = o**2 + 4*o - 15. Let v be t(-7). Let p be (18/7)/(v/56). Suppose -k = p - 92. Does 17 divide k?
True
Let d(i) be the second derivative of i**5/20 + i**3/3 - 5*i**2 - 10*i. Is 88 a factor of d(6)?
False
Is 12 a factor of (3 + 221/(-39))/(-4) + (-38300)/(-6)?
True
Suppose 4*n - 5 = 3*n. Let a = -5 + n. Suppose j = -a*v + v + 190, 4*j = 3*v + 761. Does 43 divide j?
False
Let x be (((-54)/(-8))/(-9))/(2/24). Is 6 a factor of (10 + 147/x)/(1/(-18))?
True
Suppose -15*m = -3*c + 1674, 5*c - 2760 = 59*m - 64*m. Is c a multiple of 7?
True
Suppose 0 = 5*w + 4*x + 112, -3*x + 4 + 87 = -5*w. Is w/6*136/80*-12 a multiple of 68?
True
Let w(l) = 66*l**2 + l + 6. Let s be w(-2). Suppose -3*x + 344 + s = 0. Suppose -32*j + 34*j = x. Does 17 divide j?
True
Let s be 2/13 - 46/299. Suppose 3*y = 4*g + 100, 0*y + 4*y - g - 142 = s. Is 4 a factor of y/((-2)/(-12)*9)?
True
Does 50 divide ((-13 + 5)*381/(-6))/(14/175)?
True
Suppose 4*c + t - 29469 = 0, 14721 = 2*c - 75*t + 80*t. Does 12 divide c?
True
Suppose -14157 = -6696*r + 6693*r. Does 39 divide r?
True
Suppose -s - 34 + 40 = 0. Is 2 a factor of (-5 - (-72 + 7)) + (s - 2)?
True
Suppose 2*n - 4 - 8 = -3*g, -2*n + 3*g + 12 = 0. Suppose -584 + 14 = -n*v. Suppose -3*p + 24 = 2*k - 9, 5*k - 5*p = v. Is k a multiple of 9?
True
Suppose 0 = 777*c - 780*c - 12, 2*t = 2*c + 1070. Is t a multiple of 18?
False
Let h = 2245 - -275. Suppose 31*m - 22*m = h. Is 8 a factor of m?
True
Suppose 769*g + 1734 = 770*g. Suppose -5*v - l = -2856, 3*l + g = 3*v + 24. Does 36 divide v?
False
Let a be (-860)/(-180) + (-2)/(-9). Suppose -16*b + a = -11*b. Is 12*b*(-2 - -10) a multiple of 16?
True
Suppose 3*q + 108 - 12 = 3*v, 3*q + 92 = v. Does 5 divide -103*((-4)/q + 235/(-75))?
False
Is 20 a factor of 2828/(-303)*(-782 - -2)?
True
Let l(v) be the first derivative of -3/2*v**2 + 21 + 38*v. Is l(9) a multiple of 11?
True
Suppose -5*r + 5*f - 795 = 0, 6*r - f = r - 811. Let c be r*2*2/(-4). Let h = c + -98. Is h a multiple of 13?
True
Let g = 5957 + 280. Is g a multiple of 33?
True
Suppose 0*x + 3*n - 1 = -2*x, 0 = -3*x - 2*n + 9. Suppose -x*c = -c. Suppose 0 = 2*p - c*p - 78. Is p a multiple of 25?
False
Let k(t) = -58*t + 18. Let u be k(-6). Suppose 5*p - 374 = -2*o, 2*p - u = -3*p + 2*o. Is p a multiple of 44?
False
Let l = -34 - -194. Let a be (-1)/(12/l)*-6. Suppose -4*v = -a - 0. Is 2 a factor of v?
True
Suppose 2*h - 342 = -334. Is (h + 1 - 0) + 35 a multiple of 4?
True
Let s(c) = 330*c**3 - 3*c**2 + 6*c - 3. Is 6 a factor of s(1)?
True
Suppose z - 34*z = -18678. Suppose -2*a - 1674 = -5*a + 3*i, -5*i = -a + z. Does 22 divide a?
False
Let a = 31137 + -18936. Does 21 divide a?
True
Suppose -218 = -l + 150. Suppose -4*i + 5*o + 0*o = -736, 2*o + l = 2*i. Does 14 divide i?
False
Let l = 30 + -31. Let d(u) = 13*u + 11. Let h(g) = g + 1. Let s(v) = l*d(v) + 2*h(v). Does 17 divide s(-7)?
True
Let z(b) = -b**2 + 9*b - 12. Let m(u) = -u**2 + 17*u - 23. Let l(y) = 6*m(y) - 11*z(y). Suppose 4*t - i = 10 + 6, 2*t = -5*i + 8. Is 26 a factor of l(t)?
False
Suppose 0 = -5*v + 2*d + 21, 5*v + 6 = 4*v - 3*d. Suppose -v*m + 360 = -84. Does 49 divide m?
False
Is (-32)/10*(-303 - (-30 - -27)) a multiple of 12?
True
Let u = 7088 - -16126. Is u a multiple of 24?
False
Does 14 divide -149412*20/(-240) - -9?
True
Suppose -6797453 + 1468941 = -304*a. Does 27 divide a?
False
Let a = -237 - -252. Is 119 + -3 - (-60)/a a multiple of 3?
True
Let w = 7 - 3. Let k be -4*((-6)/(-8))/((-3)/2). Suppose -k*v + 108 = d, -w*d - 240 = -4*v - 0*d. Is 14 a factor of v?
True
Suppose -x + 608 = -4*h - 466, -4*h = 0. Is 12 a factor of x?
False
Let w(b) be the third derivative of -23*b**4/24 + 76*b**3/3 - b**2 - 7*b. Does 4 divide w(5)?
False
Let l = -219 - -221. Is (-7497)/(-136) + l/(-16) a multiple of 5?
True
Let t(c) = c**3 + 5*c**2 + c - 11. Let q be t(-3). Suppose -257 = -3*j - 5*h, 0 = 5*j - 0*h - q*h - 453. Is j even?
False
Let h = 827 + -815. Suppose -h*d + 15*d - 126 = -q, 4*q = 2*d + 476. Does 7 divide q?
False
Suppose -140*s + 89456 + 1530344 = 0. Is s a multiple of 54?
False
Let g = 9 - -23. Suppose -14*v = -16*v - g. Is 33 a factor of ((-276)/v*1)/((-1)/(-4))?
False
Suppose 2640 = -2*g - 3*z, 7*g + 5*z = 10*g + 3960. Let j = -772 - g. Does 13 divide j?
False
Suppose -38*r + 27 = -41*r. Let t(g) = g**2 + 7*g - 24. Let c be t(r). Let z = c + 40. Is 13 a factor of z?
False
Let b(i) = -78*i - 3121. Is 5 a factor of b(-47)?
True
Suppose 47*u = 42*u + 25. Suppose -5*g + 6*i - 3*i = -723, 719 = u*g + i. Does 16 divide g?
True
Let l(a) = 2*a**3 + 13*a**2 + 5*a - 43. Is l(10) a multiple of 2?
False
Let s(p) = 17*p**2 - 116*p + 1110. Is s(13) a multiple of 55?
True
Let t(p) = p**2 + 5*p - 1. Suppose -2*i + 6 = 0, i - 24 - 42 = 3*n. Let c = n + 25. Does 7 divide t(c)?
True
Let i be (-942)/(1*((0 - -1) + -2)). Suppose 3*j - i = -3*x, -3*x + 2*j = -x - 620. Is 41 a factor of x?
False
Let j be 3/((-42)/10 + 4). Let o = -2 - j. Suppose -18*p = -o*p - 85. Is p a multiple of 17?
True
Let f(z) = 399*z + 1676. Is 32 a factor of f(6)?
False
Suppose 4 = 2*x, 0 = -3*h + 2*x + 3334 + 1846. Is h a multiple of 12?
True
Does 13 divide (372 + (2 - -3))/(2/30)?
True
Suppose -3*o - 7*l + 9*l + 52 = 0, 3*o + 3*l = 72. Let b = 235 + o. Does 51 divide b?
True
Let n be 6 - (20/(-5) - (-5 - -1)). Let v be ((-6)/(-12))/(3/n). Is ((-312)/(-6))/(v/2) a multiple of 8?
True
Let i = -48 - -170. Let k = i - -93. Is 24 a factor of k?
False
Does 20 divide ((-3282)/(-8))/((-10)/30*9/(-8))?
False
Let m = 290 + -299. Suppose -3*q + 4 = -k - k, k + 2 = -q. Is 14 a factor of (-3 - q)*(m + 8) - -123?
True
Is 41 a factor of (-4)/(-8)*(6919 + 63)?
False
Suppose 10*z + 2802 = -2068. Let f = z + 861. Is f a multiple of 34?
True
Let l = -464 + 768. Suppose 0*v - 5*v = -r + 172, 2*v = 2*r - l. Does 21 divide r?
True
Let q(p) = -9*p**3 + p**2 - 4*p + 2. Let i be q(1). Does 13 divide (2/i)/((-1)/(-5)) - -378?
True
Let b = 1 + -6. Let c be (b - -3) + 0 + 5. Suppose 0 = -3*k + 5*f + 266, 422 = 5*k - 0*f - c*f. Does 14 divide k?
False
Let c = 42293 - 19778. Is c a multiple of 95?
True
Suppose -5*m - 6 + 16 = 0. Let x(h) = 17*h - 4. Let z be x(m). Let j = 90 - z. Is 12 a factor of j?
True
Let q be (-3075)/(-27) - 0 - 6/(-54). Let w = q + -111. Suppose -2*i - 80 = -5*t, 0*i = -3*t + w*i + 57. Is 7 a factor of t?
True
Let a(t) = -2*t - 19. Let r be a(-11). Suppose -4*u - 7 = -2*u + r*q, -3*u = 5*q + 11. Is ((-9)/(-3))/((-2)/u) a multiple of 2?
False
Let i = -14037 - -44595. Is 39 a factor of i?
False
Let j be 19 - -11 - (-1 - -5). Suppose 21*d - 4*n = j*d - 106, -4*d - 5*n + 92 = 0. Does 3 divide d?
True
Let l(w) be the third derivative of w**5/10 + w**4/24 + w**3/2 - w**2. Let h be l(-5). Suppose -5*q = -h + 23. Is q a multiple of 25?
True
Let k(m) = -3*m - 32. Let b be k(-11). Let j(q) = 84*q + 2. Let u be j(b). Suppose r + 21 = p - 0*r, 0 = 4*p - 2*r - u. Is 12 a factor of p?
False
Suppos