. Is 26 a factor of r?
False
Let a(y) = y**3 + 2*y - 4. Let d be a(-2). Let h be ((-532)/d + 4)*4*-1. Let o = -89 - h. Is o a multiple of 3?
True
Let n = 9332 + -9331. Let o(f) be the first derivative of 57*f**4/4 - 2*f**3/3 + 2*f + 1. Is 26 a factor of o(n)?
False
Let q(o) = 2*o**3 - 13*o**2 - 9*o + 14. Let c be q(7). Suppose c = 23*h - 6*h - 476. Does 4 divide h?
True
Suppose 0*k + 14 = -3*k + f, 0 = 4*k - 2*f + 22. Let j be k + (-52)/(-16) - 159/(-4). Is 21 a factor of ((-1008)/j)/((-3)/10)?
True
Suppose 5*f + 636 = 8*f. Let m = -200 + f. Is m a multiple of 12?
True
Suppose -204663 - 299555 = -43*h. Is h a multiple of 41?
True
Suppose 82*q - 90*q = -56008. Is q a multiple of 98?
False
Let v = -59 + 75. Let n(f) = -17*f**2 + f**3 + 20*f + v - 14 + 29. Does 19 divide n(16)?
True
Let p be (-18)/(-45)*(-20)/2. Is 21 a factor of (p - 36/(-2))*33?
True
Suppose 0*p + 6 = 3*p - 3*y, 0 = 4*p + 5*y + 10. Suppose 4*a = 4*z + 68, -2*z - 70 = -4*a - p*z. Is a a multiple of 6?
True
Suppose 0 = -20*v - 22*v - 42. Does 6 divide (1211/(4 - 11))/v?
False
Let v = -29 + 32. Let j be (v - (-2)/14)*7. Let y = -20 + j. Is y a multiple of 2?
True
Let x(i) = -i - 38. Let d(r) = 8*r + 33. Let q(f) = 3*d(f) + 2*x(f). Let a(w) = w**2 - 3*w + 5. Let y be a(4). Does 30 divide q(y)?
False
Suppose 48*s + 232 = 50*s. Let r = 63 - s. Let f = r + 89. Is 6 a factor of f?
True
Let t(f) be the first derivative of -f**2/2 + 7*f + 21. Let q(a) = -7. Let z(l) = -5*q(l) - 4*t(l). Does 23 divide z(4)?
True
Let s = -10817 - -21953. Is s a multiple of 48?
True
Let v(h) = 7*h**3 - 27*h**2 + 48*h - 237. Is 20 a factor of v(12)?
False
Suppose 5*w - 2*c - 28 = -7, c = -5*w + 12. Let h = w + 0. Suppose 4*d = r + 281, 4*d - h*r - 204 = d. Is 18 a factor of d?
False
Let q(i) = 2*i**2 - 21*i - 3. Let m be q(12). Suppose -m*b + 258 = -27*b. Suppose -b*c = -41*c - 8. Is 4 a factor of c?
True
Let r be (-2850)/(-12)*(4 - 1 - 5). Let j = r - -863. Does 9 divide j?
False
Does 9 divide ((-1945)/(-100)*4)/((-3)/(-195))?
False
Suppose 0 = 4*c - 5*a + 132, 0*c - 3*a - 99 = 3*c. Is 6 a factor of (-5)/(67/c + 2)?
False
Suppose c + 371 = m - 348, 4*m + 3*c = 2827. Is m a multiple of 4?
True
Suppose -5 - 59 = 2*j. Let g = j - -32. Suppose g = 3*v - 2*f - 178, -v - 5 + 61 = -4*f. Does 10 divide v?
True
Suppose 3*n - 567 + 555 = 0. Suppose 4*q + y + 4 = 900, n*y - 1109 = -5*q. Does 9 divide q?
True
Let f(a) = 4*a - 15*a + a - 9 + 4*a. Let z(j) = 13*j + 17. Let d(x) = -5*f(x) - 2*z(x). Does 3 divide d(7)?
True
Let c(g) = -g**3 - 33*g**2 - 30*g + 24. Let y be c(-32). Let s = 468 + y. Is 12 a factor of s?
False
Let p = -389 - -394. Let a(f) = 16*f**2 + 26*f - 98. Is a(p) a multiple of 6?
True
Let d(l) = -5*l - 10. Let s be d(-3). Suppose -s*z = -5*q + 4*q + 275, 5*q = -2*z - 137. Let w = 112 + z. Is 6 a factor of w?
False
Let t = -830 - -840. Is 48 a factor of (24/t - 4)/((-7)/1890)?
True
Suppose -3*b - 3 = -6*b, 4*s - b - 15 = 0. Is 15 a factor of (80/(-4))/(-10)*70/s?
False
Suppose 3 = p + 1. Let y = -3244 + 3246. Does 16 divide (-6)/y*(76/(-6) - p)?
False
Let q = 2881 + -2878. Suppose 277 = 5*n - 78. Suppose q*c = -2*h + 6*h + 31, 3*c - n = -4*h. Is 14 a factor of c?
False
Let q = 437 + 2603. Let s = q + -1661. Does 35 divide s?
False
Let j be 1/(-3*(-7)/63). Suppose -31*b + 34034 = j*b. Is 11 a factor of b?
True
Suppose -14*c + 11*c + r = -25301, 0 = 2*c - 5*r - 16889. Is 156 a factor of c?
False
Let f be (-5*1 + 240/32)*-12. Let i = -31 - 43. Let r = f - i. Is r a multiple of 11?
True
Let b be 1*2/(-8) - (-342)/(-72). Let s be (-3)/(6/b) + 3/(-6). Suppose -3*m + 218 = -0*m + s*k, -287 = -4*m + k. Is 36 a factor of m?
True
Let d(o) = 5*o**2 + 47*o - 336. Is d(13) a multiple of 40?
True
Is 22 a factor of 11*(-8)/(-4)*(2 - 1)?
True
Does 43 divide 52988/14 - 1002/1169?
True
Suppose 0 = -5*m + l + 48486, -m + 5*l + 9690 = 3*l. Suppose -7*c = -m + 591. Is c a multiple of 44?
False
Let r = 125 + -128. Does 6 divide (-5)/(-15) - (r - (-431)/(-3))?
False
Suppose 144 = -10*p + 9944. Is p a multiple of 3?
False
Suppose -5*r - 645 = -d, -2*d - 2*r = -4*d + 1298. Suppose 0 = -3*b + 910 + d. Suppose -5*c - b = -5*z, -2*c = 3*c - 5. Is 21 a factor of z?
True
Suppose 497*d - 16614 = 484*d. Is d a multiple of 6?
True
Suppose 3*v + 4*p - 38288 = 0, -3*v + 18264 + 20068 = -7*p. Does 42 divide v?
True
Let o(g) = -g**3 + g**2 - g + 5. Let z be o(4). Let k = z + -115. Is 6 a factor of (k/15 - 0)/((-6)/20)?
True
Let r(f) = 4 + 143*f - 1 - 1 + 0. Let w be r(1). Does 16 divide (-2)/3*-3 + w + -8?
False
Let b(h) = -25*h**3 + 3*h**2 + h - 1. Let q be b(-1). Suppose 3*f + 5*d - 474 = 0, f + 3*d + q = 188. Is 15 a factor of f?
False
Let m = 3192 + 11702. Is 22 a factor of m?
True
Let v(t) = t**2 - 7*t + 5. Let z(s) = -s**2 + 8*s - 5. Let g(r) = 2*v(r) + 3*z(r). Let q be g(5). Is 59 a factor of ((-472)/5)/((-8)/q)?
True
Let q be (14/(-49))/((-4)/252). Let s(o) = -o**2 + 18*o + 66. Does 11 divide s(q)?
True
Suppose 27*k = -82 + 2944. Suppose -112*t + 792 = -k*t. Does 22 divide t?
True
Let r = -4846 - -6351. Does 26 divide r?
False
Suppose -j = -18*g + 14*g + 29178, 5*j + 14598 = 2*g. Is g a multiple of 14?
True
Let a = -181 + 405. Suppose a = 3*v - 37. Does 9 divide v?
False
Let l(a) = a**2 - 3*a - 34. Let u be l(-5). Let g = 49 + 210. Suppose g = o + u*o. Does 21 divide o?
False
Let l be 109*1 - 8/((-48)/18). Let c = l + 152. Let u = c - 134. Does 26 divide u?
True
Let m be -8 - (-3 + 10 - 17). Suppose 0 = -5*i - 27*b + 29*b + 425, m*i = 5*b + 191. Does 5 divide i?
False
Does 15 divide (2719728/1320)/(2/25)?
True
Let m be ((30/4)/(-5))/((-3)/312). Let g = m + -60. Suppose i + 5*l = 3*l + g, -i - l = -97. Is 10 a factor of i?
False
Suppose -82*r + 486 = -80*r. Is r + 4*18/(-12) a multiple of 21?
False
Suppose 0 = -o - 5*n + 30355, 147*n = 2*o + 144*n - 60762. Does 25 divide o?
True
Let f(d) be the second derivative of -d**5/4 - 11*d**4/6 - d**3/3 - 11*d**2/2 + 168*d. Does 4 divide f(-5)?
False
Suppose -75*z - 3581 + 37256 = 0. Does 11 divide z?
False
Let x = -645 - -1333. Let h = x - 320. Is h a multiple of 25?
False
Suppose -i + 126 = -0*i. Let h = -129 + i. Is 10 a factor of 3/(-3) + 168/(-1 - h)?
False
Let m = 682 - 414. Let x = m + -88. Does 60 divide x?
True
Suppose -b + 175*n = 180*n - 5609, 0 = -2*b - 4*n + 11254. Is b a multiple of 51?
False
Let l be (-21)/(-24) - (-9)/72. Let x(j) = 20*j**2 - 2*j + 1. Is 5 a factor of x(l)?
False
Let f(w) = 2*w**2 + 91*w - 1728. Is 2 a factor of f(23)?
False
Let g be 4*(-15)/(-6) - (-18)/(-6). Let k(c) = -2*c**2 + 15*c - 5. Let j be k(g). Suppose s + 0*m - 219 = -m, m + 432 = j*s. Is 20 a factor of s?
False
Let q = 40 + -37. Suppose o + 5*k - 393 = 0, q*o + k - 1227 = 2*k. Is o a multiple of 12?
True
Let i(p) = 3*p**2 + 9*p + 14. Let w(j) = -2*j**2 - 9*j - 14. Let x(y) = 6*i(y) + 5*w(y). Is x(-4) a multiple of 14?
False
Suppose -5*i = -i + g - 33, -5*i + 40 = g. Suppose 25*w = i*w + 3906. Is w a multiple of 31?
True
Let g(d) = -d**2 - 17*d + 8. Let p(n) = -4*n + 10. Let h be p(6). Let m be g(h). Suppose 5*f - 45 = m. Does 2 divide f?
False
Let z(t) = -t**3 - 4*t**2 - 4*t + 5 - 3 + t - 5. Does 8 divide z(-5)?
False
Let i(x) = x**2 + x - 15. Let p(n) = -3*n - 4. Let q be p(-3). Let m be i(q). Suppose -z - 2*l + 129 = 0, 0*l - m = 5*l. Does 27 divide z?
True
Let n(c) = -c**3 - 2*c**2 - 2*c - 1. Let i be n(-2). Suppose -5*d = -i - 12. Is -4 + (-3 + 51)/d a multiple of 3?
True
Suppose -4*g + 1744 + 1532 = 5*q, 0 = -5*q + 3*g + 3248. Let u = q + -466. Is u a multiple of 31?
True
Suppose -21*a + 104 - 20 = 0. Suppose -a*j - 4*y = -7*y - 2815, -y - 5 = 0. Is 50 a factor of j?
True
Suppose -248322 - 182454 = -18*t. Does 6 divide t?
False
Let d(f) = 10. Let t(j) = -j - 1. Let b(r) = -10*r + 36. Let c be b(4). Let o(y) = c*t(y) + d(y). Is o(15) a multiple of 10?
False
Suppose 1602 + 400 = -13*v. Let j = v - -202. Is 10 a factor of j?
False
Suppose -4*k + h = -3*h - 20, h = 4*k - 5. Let b be (-16)/28 + (0 - (-158)/7). Suppose -x + b + 13 = k. Does 5 divide x?
True
Suppose -7*m = -12*m + 25, 3*s - 4*m = 14500. Is s a multiple of 8?
True
Suppose 18*v = -5*m + 13*v + 1820, -4*v = m - 352. Does 8 divide m?
True
Suppose -28 = 4*v, l = 3*v + 20176 + 18931. Does 47 divide l?
False
Let c(t) = 357*t + 1664. Do