 11 a factor of r(-3)?
False
Let a = -1 - -24. Suppose 7 = -8*v + a. Suppose 0 = h - 2*n - 90, -v*h = -n - 222 + 51. Is 14 a factor of h?
True
Suppose -2*l - 15*o + 10*o = 33, 0 = l - 5*o - 21. Let c(z) = 9*z**2 + 5*z + 30. Is 43 a factor of c(l)?
False
Let l = 1873 - 748. Suppose -o = -4, -m - o + 5*o = -l. Does 24 divide m?
False
Let b(m) = 133*m**2 - m + 2. Let p be b(1). Let d = 135 - p. Is 13 a factor of 4/12*d*441?
False
Let y(o) = o + 9. Let g be y(-5). Suppose -g*u = 17 + 3. Is (u + -1 + 2)*(-95)/2 a multiple of 38?
True
Suppose -50*k + 54*k - 176 = 0. Suppose -134 = 9*m - k. Let l(u) = -u**2 - 16*u - 10. Is 10 a factor of l(m)?
True
Suppose -b - 32 = -3*d - 0*b, 11 = 4*d + 5*b. Let y be 4/((-6)/d*3). Does 5 divide 2772/60 + y/10?
False
Let u = -3991 - -5097. Is u a multiple of 11?
False
Let n(b) = -b**2 - 16*b + 10. Let c be n(-14). Let z(x) = -3 + c*x - 8 + x**2 - 32*x. Is 4 a factor of z(5)?
True
Let d = -390 + 364. Let y = d + 246. Is y a multiple of 20?
True
Suppose -4*h - 59148 = -5*p, 5*h = 9*p - 90642 - 15842. Does 27 divide p?
False
Is ((-1054)/4)/((-51 + 50)*(-2)/(-144)) a multiple of 76?
False
Let u be -1 + (-25)/(-2) + (-18)/12. Suppose v - 6*v + u = 0. Suppose -v*d + 63 = -205. Is 23 a factor of d?
False
Let n(q) = 88 - 33*q - 70*q + 14*q - 115 - 157. Is 82 a factor of n(-22)?
False
Suppose 5*f + 27 = 87. Let l be -1 + f/4 - -225 - -1. Let m = 384 - l. Is 31 a factor of m?
False
Let l = -16364 - -36428. Suppose 0 = -22*x - 22*x + l. Does 19 divide x?
True
Let h = 12825 - 6609. Is 56 a factor of h?
True
Let j(b) = 4*b + 137. Let l be j(-29). Is 15 a factor of (198/l)/(4/28)?
False
Let y = 162 + -161. Let z(x) = 238*x - 5. Does 23 divide z(y)?
False
Let n = 681 + -126. Let i = n - 327. Suppose 4*t + r = i, -2*t + 30 = -4*r - 66. Is t a multiple of 7?
True
Let i = -221 + 315. Does 94 divide (-16)/(374/i - 4)?
True
Let o(h) = h**3 + 3*h**2 - 5*h + 2. Let a be o(-4). Suppose a*p = 2*p + 880. Let b = p - 145. Does 15 divide b?
True
Suppose 5447 = 5*i + 4*p, -2*i + 6*i - 4*p = 4336. Let j = i - 774. Suppose -j = -4*v + 3. Is v a multiple of 6?
False
Suppose -5*o + 5 + 26 = -3*d, 5*o = d + 27. Let i(j) be the second derivative of -11*j**3/2 + 3*j**2/2 + 31*j. Is 23 a factor of i(d)?
True
Let m be (-20)/(-30)*(-1 + 1 + -3). Is 6 a factor of 1*m/10 + (-571)/(-5)?
True
Let z(r) = 4*r + 44. Let t be (1 - 0)/((-13)/(-182)). Suppose -g = x + t, -x - 4 - 1 = 0. Is z(g) a multiple of 4?
True
Let z(s) = 806*s**3 - 218*s**2 + 217*s + 1. Does 62 divide z(1)?
True
Is 68 a factor of (-2)/(26/(-73229)) + 11?
True
Suppose 0 = -507*f + 512*f + 4*r - 42896, 2*r - 34318 = -4*f. Is 44 a factor of f?
True
Let i = -9980 + 15701. Is 14 a factor of i?
False
Let q = 180 + 1095. Let x = q + -807. Is x a multiple of 10?
False
Let u(l) = l**3 + 23*l**2 - 26*l - 49. Let d be u(-24). Let m(b) = -53*b + 7. Is m(d) a multiple of 20?
True
Suppose 0 = 2*m - m - 5*z + 338, 5*z = -5*m - 1570. Let q = m - -468. Is q a multiple of 8?
False
Let o be 3 + -3 + 7/((-7)/(-2)). Let z be (0 - o/(-3))*(11 + 4). Does 11 divide (z - -1)/((-10)/(-30))?
True
Suppose -4*q - 78 = -6*q. Let a be (q/26)/(0 + 3/4). Suppose 2*r - 20 = a*f - 90, 5*r = f - 23. Does 24 divide f?
False
Let k(t) = -t**3 + 7*t**2 + t - 19. Let i be k(7). Is 42*((-108)/(-105))/(i/(-30)) a multiple of 18?
True
Suppose 4*y = -3*c + 102, -6*c = -2*y - c + 38. Suppose 0 = -o - y*i + 28*i + 161, 5*o + 4*i = 877. Is 11 a factor of o?
False
Suppose 3*z = -5*q + 47658, -212*z + 208*z - q = -63510. Is 14 a factor of z?
True
Let w be 3*6/(-9)*-2. Suppose -5*q - 1471 = -2*b, w*b + 5*q = 2*q + 2955. Suppose -10*s - b + 2558 = 0. Is s a multiple of 13?
True
Let q(z) = -20*z**2 + 1. Let g be q(1). Suppose 66 = -b + 3*b. Let m = b + g. Is m a multiple of 7?
True
Let x(m) = 35*m**2 + 137*m - 80. Does 16 divide x(-15)?
False
Let u(l) = -2*l**2 + 32*l + 50. Let k be u(17). Is (2/(-5))/(k/(-9760)) a multiple of 6?
False
Suppose -80835 = -15*k + 20129 + 18871. Does 14 divide k?
False
Let c(z) = 32*z + 2876. Is c(65) a multiple of 59?
True
Suppose -k = -2*a - 202, -4*a = -3*k - 0*a + 616. Let b = k - 175. Is 3 a factor of b?
False
Let v = -117 - -121. Suppose 4*b - 3588 = -8*k + v*k, -b + 2*k + 894 = 0. Does 16 divide b?
True
Suppose -o + 22*y = 26*y - 51281, y = -5*o + 256424. Is 15 a factor of o?
True
Let g(o) be the second derivative of o**3 - 9*o**2/2 - o. Let c(a) = 44*a - 480. Let j be c(11). Is 5 a factor of g(j)?
True
Let k(z) be the second derivative of z**3/6 - 15*z. Let v(l) = 20*l**3 - 2*l**2 + 4*l + 1. Let h(w) = -4*k(w) + v(w). Is h(1) a multiple of 11?
False
Suppose f - 21*f = 17*f - 139564. Does 13 divide f?
False
Suppose 0 = 28*s - 23*s + 75. Let x be (-2 + 24/s)*-75. Suppose -o + 3*o + 42 = b, 5*b + 2*o = x. Is 26 a factor of b?
True
Suppose -16613 = -7*b - 2452. Is 7 a factor of b?
True
Let d(p) = 16*p + 184. Let s be d(-10). Suppose -8*h = -s*h + 4016. Is h a multiple of 11?
False
Suppose -2*r + 5*r - 1868 = -4*o, r - 932 = -2*o. Suppose 2*v + o = -5*k + 2171, 666 = 2*k + 5*v. Is 16 a factor of k?
False
Is 98 a factor of (-7875420)/(-2870) + (-4)/82?
True
Let r(w) = 2*w**2 - 2*w - 19. Let q be r(-3). Suppose -3*n - 13 = -z, -q*z - 2*n + 6*n + 43 = 0. Does 2 divide (98/(-21))/z*(-126)/4?
False
Let d be (-4)/(40/1705)*-2. Let v = 21 + d. Suppose 598 = 5*g + y, g - y - v = -2*g. Is g a multiple of 20?
True
Suppose -5*a = -10 - 5, -2*a = 2*o - 266. Suppose -1185 = 125*b - o*b. Is 32 a factor of b?
False
Suppose 7*u - 27 = 29. Suppose 0 = -3*l + x + 37, -u*x = l - 6*x - 10. Let n = l + 2. Is n a multiple of 7?
True
Let r(y) = 4029*y - 2957. Is r(4) a multiple of 92?
False
Let y be (-1 - 289/(-4)) + 12/16. Let u = y - 72. Suppose u = 17*f - 104 + 2. Is 2 a factor of f?
True
Suppose 8*z - 4928 = -8*z. Let x(r) = r**3 - 6*r**2 + r - 3. Let t be x(6). Suppose -o + z = t*o. Is o a multiple of 14?
False
Suppose -1692 = -3*l - 3*x, -4*l + 226*x - 229*x + 2252 = 0. Is 14 a factor of l?
True
Does 11 divide (-63)/(-18) - -1 - 15573/(-2)?
False
Let f(h) = 45*h + 1544. Does 8 divide f(-24)?
True
Let p(w) = 2*w**2 + 2*w + 8. Let a be p(-3). Does 25 divide 3276/a - (-2)/10?
False
Let u(g) = g**2 + 47*g - 339. Does 61 divide u(-66)?
True
Let s be (15 - (-5)/(-5)) + 2/1. Let t = 116 - s. Is 25 a factor of t?
True
Suppose -3*p + 4*q + q + 2354 = 0, -4*q = p - 813. Suppose -3*c + 912 = -3*g, 4*c - 5*g - p = 425. Is 32 a factor of c?
False
Let u(m) = -1339*m - 3472. Does 8 divide u(-9)?
False
Let d(t) = -264*t + 1548. Is 15 a factor of d(-37)?
False
Let b(n) = 166*n + 5051. Is b(135) a multiple of 11?
False
Let n = -1593 + 2041. Does 13 divide n?
False
Suppose 3*v = 7*l - 2*l - 29394, 4*l - 29394 = 3*v. Let h be v/(-16) - 30/80. Does 17 divide h/8 - (-1)/(-2)?
False
Suppose -5*k = -2*l - 24, 6*l - 2*l + 4*k + 48 = 0. Let f = 15 + l. Suppose y = -5*m + 86, f*y + 30 = 2*m - y. Is m a multiple of 9?
False
Suppose 7*p - 50 = 62. Is 8/p*(88 - 2) a multiple of 43?
True
Suppose 124*s = 131*s - 12446. Suppose -1774 = -5*w - x, -w + 6*w = -2*x + s. Does 11 divide w?
False
Let g = 171 + -121. Suppose -u = 2*r - g, -u - 7 + 45 = -2*r. Is 22 a factor of u?
True
Suppose 91 = 2*c - 133. Suppose -5*x - 2*z = -c, -10*x + 9*x + 5*z + 44 = 0. Is x a multiple of 12?
True
Let f(a) = -89*a + 951. Does 13 divide f(-42)?
False
Let m(j) = 48*j**2 - 2*j + 6. Suppose 2*r - 8 = 3*c - 2, 0 = -4*c. Is m(r) a multiple of 36?
True
Suppose 5*k + 5*i = -15, -7*k - 3 = -4*k + i. Suppose d + 3 - 7 = k. Suppose c + d*f + 16 = 56, 5*c + 4*f = 184. Is 9 a factor of c?
True
Is (-16 - (-40737)/7) + (-1)/(-7)*3 a multiple of 4?
True
Let g(m) = -8*m - 3. Suppose -1 = -f + 1. Let a be g(f). Let n = 22 + a. Is 3 a factor of n?
True
Suppose -374*h = -372*h - 4. Suppose h*z = -2*r + 4*r + 590, r - 5 = 0. Is 8 a factor of z?
False
Let w(i) = i + 3. Let v be w(0). Suppose 2*b = 4*d + 100, 4*b - b = v*d + 165. Suppose 17*m = 14*m + b. Does 20 divide m?
True
Is 86 a factor of 174/8*(13 - (-4270)/42)?
True
Suppose 343 = -4*l + 319. Does 46 divide 7952/48 + l/(-18)?
False
Suppose -4*l - 4*s + 27931 - 3447 = 0, l - 2*s = 6103. Does 193 divide l?
False
Let r be 7/35 + (5696/(-5))/(-4). Suppose -r = -u + 771. Suppose -53*v + 59*v = u. Does 28 divide v?
False
Let m(y) = y + 11. Let 