 30 = -3*f. Let y = -29 - -11. Let t = x + y. Does 8 divide t?
True
Let l(p) = 33*p - 1. Let w be l(1). Let r be w/40 + (4292/10 - 1). Suppose 12*d = d + r. Does 6 divide d?
False
Suppose -221*b = -222*b + 2*k + 1739, k = 3*b - 5207. Does 23 divide b?
False
Let v be (5 + (-520)/56)*-658. Suppose -v = -12*m + 2*m. Does 6 divide m?
True
Suppose 24*t - 4072 = 9032. Let r = 1309 - t. Does 75 divide r?
False
Suppose 9*f - 5*f + 308 = 5*j, 61 = j - f. Suppose -12*o + j = 4. Let y = 91 - o. Is 7 a factor of y?
False
Let z(g) = g**3 - 138*g**2 + 2835*g + 142. Does 8 divide z(115)?
True
Let b = -126 - -458. Let t = -147 + b. Is 37 a factor of t?
True
Suppose 4*v = d + 9066, 171*v - 175*v + 4*d + 9084 = 0. Does 3 divide v?
True
Let y(b) = 118*b + 17. Let w be y(-3). Let i = -144 - w. Does 11 divide i?
False
Let w(h) = -13*h + 63. Let o(g) = 6*g - 31. Let x(t) = -15*o(t) - 6*w(t). Is x(-8) a multiple of 16?
False
Let w(y) = 4*y**2 + 42*y + 50. Let l be w(32). Suppose -l = -19*d + d. Does 16 divide d?
False
Let j = -274 + 264. Let v(g) = -3*g**2 - 40*g + 13. Is v(j) a multiple of 29?
False
Is 8 a factor of (1986/(-5))/(306/(-9945))?
False
Suppose 43*v - 484253 + 103459 = -51*v. Is 11 a factor of v?
False
Suppose v = -2*g + 113, 5 = 5*v - 0*v. Let s = g - 53. Suppose 3*i = 4*k - i - 140, 4*i - 105 = -s*k. Is 35 a factor of k?
True
Let a(x) = 9*x**2 + 20 + 7*x**2 - 14*x**2 - x**3 + 21*x. Is 19 a factor of a(-9)?
True
Suppose 0*n = -5*n - 2*a + 35, n - 4*a - 29 = 0. Suppose -21*o + n = -18*o. Suppose 0 = o*b - 123 + 27. Is 4 a factor of b?
True
Let y(r) = -239*r - 570. Does 35 divide y(-45)?
True
Let m = 5406 - 2300. Is 31 a factor of m?
False
Let j = 65 - 96. Let o = 34 + j. Suppose o*h + 3*r = 468, 0 = -2*h - 2*h - 2*r + 624. Is 12 a factor of h?
True
Does 228 divide -10 + (7993 - 27/9)?
True
Let k = -4310 + 6590. Is 95 a factor of k?
True
Let l(t) be the second derivative of t**5/10 + 2*t**4/3 - 4*t**3/3 - t**2/2 + 19*t - 2. Does 4 divide l(4)?
False
Let i = 37 - 32. Suppose 45 = 5*l + 2*g, 5*l - 20 = i*g - 2*g. Suppose -214 = -l*z - 46. Is 12 a factor of z?
True
Suppose 2*u + 3*n = 3479, -4*u + 6988 = -3*n - n. Suppose -l + 9*l - u = 0. Is 17 a factor of l?
False
Let k = 49 + 31. Suppose -5*o - 348 = -4*n - 0*o, -3*o - k = -n. Suppose -5*d + n + 328 = 0. Is d a multiple of 14?
True
Let u = 249 - 243. Let z(p) = 19*p**2 + 22*p - 106. Does 7 divide z(u)?
False
Let y = -732 + 753. Is 2 a factor of ((-33)/y + 3)/(4/476)?
True
Suppose 55*c = 54*c + 4949. Is 11 a factor of c?
False
Let r = 19874 + -12541. Is r a multiple of 42?
False
Let a be (14*-1 + 3)*13/(-13). Suppose 3*h + 505 = c, 3*c + 8*h - 1545 = a*h. Is c a multiple of 26?
True
Suppose 8*a + 3*v + 7462 = 9*a, 5*a + 5*v = 37370. Is 31 a factor of a?
True
Suppose -2*u + 103 = q, 5*u - 201 = -q - q. Suppose 9*n = q + 490. Does 9 divide n?
False
Suppose 3726 + 19334 = 12*f + 1856. Does 149 divide f?
False
Suppose -7213 = -4*y - 15*z, 7156 = 4*y - 2*z - 2*z. Is y a multiple of 16?
True
Is 28/490 - 861406/(-245) a multiple of 24?
False
Is 6 a factor of (-95 - 20392)/(-1 - 2)?
False
Suppose -10 = -0*r - 5*r. Suppose -l + r*l = -2. Is (-107)/(-5 - -4) - l a multiple of 30?
False
Let b(v) = 187*v**3 + v**2 + 22*v - 2. Is 170 a factor of b(4)?
True
Let d(l) = -447*l**3 - 2*l**2 - 3*l - 3. Is d(-1) a multiple of 5?
True
Suppose -26*s = -28*s + 32. Let o = 123 - 45. Does 10 divide 2/s*2 + o/8?
True
Suppose 4*q - 2*z - 12085 = 2913, 3*q - 11246 = 4*z. Is q a multiple of 30?
True
Let v be (-12)/3 + 6 + -2. Suppose -5*l + 25 = v, 243 = x - 4*l + 8*l. Is 6 a factor of x?
False
Let l be (12/10 + 0)*5/1. Does 21 divide -4 + ((-1094)/(-10) - l/15)?
True
Suppose 5*b - 19 = -f, -4*b + 20 = f + f. Let t(n) = 21*n**b + 58*n**3 + 0 - 2 + 15*n**3 + n. Is t(1) a multiple of 9?
False
Let f be 108/45 + 1 + (-14)/10. Suppose -3*b + f*b = 4*q - 22, -5*b + 4*q = 10. Suppose 10*l - 816 = b*l. Is l a multiple of 17?
True
Suppose 34*u + 28*u = -472 - 210. Let f(v) be the third derivative of -v**5/30 - 31*v**4/24 + 5*v**3/6 + v**2. Does 52 divide f(u)?
True
Suppose 0 = -4*c + 2*c + 8, -5*p + 1176 = 4*c. Is 8 a factor of p?
True
Suppose -10*l + 24 = -2*l. Let o(r) = r**2 - 2*r + 1. Let q be o(l). Suppose -269 = -q*d + 3*x, 4*x - 380 = -5*d - x. Is 13 a factor of d?
False
Let v(m) = m**2 - 16*m + 5. Let s be v(11). Let w = s - -165. Is 5 a factor of w?
True
Let l(t) = -9*t + 24. Let z be l(3). Does 2 divide ((-230)/(-30))/((-3)/(27/z))?
False
Let z(g) = g**3 + 5*g**2 - 6*g - 12. Let t be z(-6). Let o(n) = -2*n - 20. Let i be o(t). Suppose i*y - 61 = 495. Is y a multiple of 17?
False
Let n be (-107)/(-3) - (-35)/(-21). Suppose -11 - n = 3*h. Is 33 a factor of (-242)/((-65)/h + -5)?
True
Suppose -z + 5*c + 2866 + 4001 = 0, 2*z - 13721 = -3*c. Is z a multiple of 94?
True
Let d(q) be the third derivative of q**7/1260 - q**6/360 - 11*q**5/120 - q**4/4 + 2*q**2. Let i(j) be the second derivative of d(j). Does 23 divide i(8)?
False
Suppose 5*l - 25466 = 3*u, 5*l - 21199 = -5*u + 4331. Does 2 divide l?
True
Suppose x + 312 - 57 = -2*i, 0 = -4*x - 20. Is 17 a factor of (5 + 0)*(-14150)/i?
False
Let n(x) = 40*x**2 - 11*x + 169. Is 57 a factor of n(7)?
True
Is 9/(216/80176) - (-1)/3 a multiple of 13?
True
Suppose 12*u = 3*u + 9. Let a = 120 + u. Suppose -a = -2*h + 359. Does 42 divide h?
False
Let j = 16159 - 9420. Does 293 divide j?
True
Suppose 2*z = -5*s - 14, -s = z + 2 - 1. Let n(v) = v**2 - 3*v - 9. Let j be n(-4). Suppose -5*t - g = -t - j, -5*g = -z*t + 43. Is t a multiple of 2?
True
Let l(z) = -45*z**3 - 19*z**2 - z + 20. Is l(-4) a multiple of 10?
True
Let a = -5810 + 13937. Suppose -a + 231 = -24*m. Is 19 a factor of m?
False
Suppose 6*w - 3*w = 4*g - 259, -g = -w - 64. Suppose 2*b - 68*j = -g*j + 13, -b = -4*j + 4. Is 4 a factor of b?
True
Let k be -1 + 7/((-7)/(-11)). Suppose -2*y - 2*v = -2560, 0 = k*y - 9*y + 3*v - 1270. Does 44 divide y?
False
Is 468/((-26)/2)*(-1376)/6 a multiple of 258?
True
Let z(w) = -w**2 + 13*w + 72. Let b be z(-4). Suppose 3*j = -j - 5*y + 311, -y + 331 = b*j. Does 6 divide j?
True
Let l = 13075 + -3766. Does 8 divide l?
False
Suppose 0 = 23*r - 12 - 57. Suppose 1458 = -r*c + 8*c + 2*g, 0 = -c + g + 286. Is 10 a factor of c?
True
Let i(k) be the second derivative of k**5/20 - 7*k**3/3 + 37*k**2/2 + 9*k. Is i(4) a multiple of 15?
True
Let l = -728 + 3170. Is l a multiple of 11?
True
Let f(c) = -c**3 - 9*c**2 - 10*c - 2. Let r be f(-8). Let l = -9 + r. Suppose -456 = -l*t + 3*j, 4*j = -t + 3*j + 96. Does 28 divide t?
False
Let p(q) = 227*q**2 - 27*q + 139. Does 27 divide p(13)?
True
Is 129 a factor of 11/198*-258*(1 + 1 - 533)?
True
Is 60*219*315/162 a multiple of 14?
True
Suppose -4*v = -5*m + 2*m + 11, 22 = -4*m - 2*v. Let p be 35/15 + 2*m/18. Suppose 2*s - 3*j - 2*j - 83 = 0, p*s + 4*j - 92 = 0. Does 7 divide s?
False
Suppose 5*u - 17 - 8 = 0. Let c be 4*(15/u - 2). Suppose c*y - 6*y + 318 = 0. Does 51 divide y?
False
Suppose h = -15 + 16, 4*g - 5909 = -5*h. Does 39 divide g?
False
Suppose -3*a + 0*v + 4*v - 250 = 0, -74 = a + v. Is (a/8)/(-2 + (-74)/(-40)) a multiple of 13?
True
Suppose -l = 2*j - 53483, 184*j = 183*j + 2*l + 26734. Is j a multiple of 19?
False
Does 138 divide (-23181158)/(-2156) - 1/(-14)?
False
Suppose 4*w - 7 = -r, 23*r - 19*r = 5*w + 133. Let k(z) = 4*z + 2. Let c be k(2). Let g = r - c. Is 2 a factor of g?
False
Suppose 19*x - 52516 = -x + 140444. Is 16 a factor of x?
True
Is (9 + (-930)/40)/(2/(-16)) even?
True
Let z(g) = g**3 - 4*g**2 + 4*g - 9. Let y be z(4). Let v be 5 - (y + 5 + -10). Let i(a) = 33*a + 11. Does 11 divide i(v)?
True
Let z(l) = -3*l**2 - 12*l - 10. Let v be z(-6). Let u = 49 + v. Suppose -5*m + 972 = -2*o, -4*m + o + u*o = -768. Does 28 divide m?
True
Let x = -373 + 179. Let r = 338 + x. Is r a multiple of 16?
True
Suppose -5*a - 5*u = 5, -2*u + 6*u = 16. Let z(v) = -v**2 - 5*v + 4. Let y be z(a). Suppose 5*p + 37 = -5*g + 202, 2*p - 36 = y*g. Does 14 divide p?
True
Is 79 a factor of 585762/21 - (15 + -17) - 16/(-28)?
False
Let b = 17953 - 8427. Is b a multiple of 11?
True
Let y = 1817 - -2710. Is 17 a factor of y?
False
Suppose -125*t - 39*t = -831676 - 103124. Does 83 divide t?
False
Suppose 14*c - 1702 - 1472 - 3294 = 0. Is 66 a factor of c?
True
Is 4 a fac