6 a multiple of 21?
True
Let r be (-9)/((-1)/(9/(135/20))). Is 15 a factor of (-1 - (-9)/r) + (-7330)/(-40)?
False
Is (1/(3/818))/((-796)/(-72) + -11) a multiple of 12?
True
Does 26 divide ((-16)/(-56) - (-34)/(-70)) + (-478923)/(-15)?
True
Suppose 76 = 18*n - 16*n. Suppose -35*h + n*h = 0. Suppose 4*g = -h*g + 84. Is g a multiple of 3?
True
Suppose -9*z - 29 - 61 = 0. Let m = -6 - z. Suppose m*n - n - 203 = -5*q, -5*q + 71 = n. Does 20 divide n?
False
Let n(a) = -30*a**3 + 3*a**2 - 210*a + 140. Does 268 divide n(-12)?
False
Suppose -7*d = -14*d + 952. Suppose -2*z - t - 62 = -3*z, -4*t = 2*z - d. Does 4 divide z?
True
Let l(h) = 2*h**2 - 5*h + 123. Is l(-9) a multiple of 6?
True
Suppose r - 4 = -3. Let o be (r/(-2))/(7/(-140)). Suppose 3*a - 691 = -f - 4*f, 5*a = o. Is f a multiple of 33?
False
Suppose t + 15*l = 11*l - 1085, 0 = -4*t - 2*l - 4396. Let h = -737 - t. Is h a multiple of 13?
True
Suppose -24*l = 31*l + 41*l - 130272. Is 59 a factor of l?
True
Let o = 83 + -83. Suppose 3*u + 1559 = 2*w + 409, o = -4*u - 16. Is w a multiple of 26?
False
Is 63 a factor of 28941/3 + 3/(27/(-72))?
True
Let a = -13319 - -29350. Is a a multiple of 41?
True
Suppose -17*j + 14*j = -6. Suppose z + 133 = l - 0*l, -5*l + j*z + 680 = 0. Suppose 4*r + 18 + 0 = s, -4*r = -5*s + l. Does 30 divide s?
True
Let p = 84 - 79. Suppose -2*t = -p*t - t. Suppose 4*m + 5*g - 31 - 152 = t, 84 = 2*m + 4*g. Is m a multiple of 3?
False
Suppose -4907 + 36220 = 4*w - f, -4*w = 3*f - 31341. Is w a multiple of 90?
True
Is 13 a factor of 2050 + ((-20)/(-60))/(1/12)?
True
Let z(a) be the third derivative of -a**6/40 - 7*a**5/60 - 13*a**4/24 - a**3/2 - 40*a**2. Is 7 a factor of z(-5)?
False
Let g(z) = z**3 - 12*z**2 + 3*z - 5. Let s be g(7). Let b = s - -385. Suppose 7*c - c = b. Is c a multiple of 13?
True
Suppose -15*p + 3*l = -431322, 0 = -5*p - 3*l + 154715 - 10937. Does 14 divide p?
False
Let s = -2675 + 6332. Does 9 divide s?
False
Suppose 83*f - 65*f - 30942 = 0. Is f a multiple of 32?
False
Let m(x) = -31*x**2 + 14*x - 27. Let y(o) = -11*o**2 + 5*o - 9. Let i(h) = 6*m(h) - 17*y(h). Is 2 a factor of i(-4)?
False
Suppose 670 = 5*i + 65. Let k be (-2)/9 + (-100)/(-45). Suppose i = 2*j + 5*l, -123 = -2*j - l - k*l. Is j a multiple of 14?
False
Let t be 3*1 - 264/(-8). Suppose -2*m + 2 = -4*f + t, 2*f = -m + 11. Suppose 9*x - 224 = f*x. Is x a multiple of 13?
False
Let g(c) = -17*c + 164. Let h(b) = 2*b + 1. Let q(j) = g(j) + 2*h(j). Is 7 a factor of q(-35)?
False
Does 13 divide 24143/3 + (-13 - 1) + (-240)/(-18)?
True
Suppose 16*t = 5*t + 33. Suppose 2*i + 4*a - 41 - 59 = 0, -t*i = -3*a - 141. Is 12 a factor of i?
True
Let j be (1 - 12/30)*-395. Let d = j - -103. Does 13 divide 11/(33/(-6)) - d?
False
Let j = 256 - 140. Suppose -9*y = j - 1367. Is 10 a factor of y?
False
Does 7 divide 993*(-10)/(-120)*(2 + 52/2)?
True
Let c be (-9)/9 + (6 - -1). Let g(i) = 88*i - 62. Is 38 a factor of g(c)?
False
Let r(h) = -3*h - 6. Let b be r(-5). Let c(f) = 30*f + 65. Does 67 divide c(b)?
True
Suppose 4*a = -32*r + 31*r + 935, -4*a - 24 = 0. Is 8 a factor of r?
False
Let m = 4105 + -948. Is 11 a factor of m?
True
Let l(w) = 35*w**2 - 3*w + 45. Let n(a) = -17*a**2 + a - 23. Let c(i) = 3*l(i) + 5*n(i). Does 36 divide c(4)?
True
Is 9 a factor of 1926/642*(-7816)/(-3)?
False
Suppose -36*i + 81661 + 5027 = 0. Does 28 divide i?
True
Suppose 0 = -5*p - 3*i + 61, -3*i + 16 = 2*p + i. Suppose p*z + 2109 - 17509 = 0. Is z a multiple of 12?
False
Is -7*1*(2736/(-7) - (-15 - -19)) a multiple of 7?
False
Let a = 3592 + -2939. Is 7 a factor of a?
False
Let o be 1/(4/8) + 25. Suppose 0 = -o*q + 1995 + 3459. Is 12 a factor of q?
False
Suppose 2*s = -907 + 1215. Let v = s - -143. Does 9 divide v?
True
Let l(n) = 5*n + 34. Let h be l(-6). Let s be (-712)/20 - 3 - h/10. Is 4/(-26) + 33/s + 37 a multiple of 3?
True
Let b be (-3)/7 + 45/105. Is 6/2 + (34 - -35) + b even?
True
Suppose 0 = 3*k - 5*x - 94167, 15*k - 2*x - 188358 = 9*k. Is k a multiple of 13?
False
Suppose 5*r - 5*q = 43115, 56*r = 51*r + 3*q + 43127. Does 57 divide r?
False
Let q be 12/42 + (-69)/21. Let f be -1 + (q + -46)*-1. Suppose -3*u + 2*r = -69, u - 5*r = 4*u - f. Is u even?
False
Does 65 divide (232 - 229)/((-504)/505 + 1)?
False
Let f(r) = -7*r - 52. Let u be f(-11). Let d = -4 + u. Is 16 a factor of d?
False
Is -2949*(4 - -5 - 448/48) a multiple of 88?
False
Let c(s) = 7*s + 10. Let x(i) = i**2 - 3*i - 6. Let v be x(5). Let q = 6 - v. Is 5 a factor of c(q)?
False
Let a(u) = -u**3 + 13*u**2 - 11*u - 3. Let t be a(12). Suppose t*k = -12 - 6. Does 3 divide 30/((k - (-4 + 2)) + 2)?
True
Suppose -5*y - 29 = h, h + y + 8 + 1 = 0. Does 25 divide 1/3*(h + -2)*-75?
True
Suppose -514 = -3*u + 5*d, 54 = -3*u + d + 560. Let v = u + 83. Is v a multiple of 24?
False
Let l be (-9)/12*16/6. Is 1/(l + 2715/1355) + -2 a multiple of 108?
False
Suppose 2*f - 7 = -5. Is 4*(-3426)/(-24) - f a multiple of 80?
False
Suppose 8*c - 7 = -7. Let z be (c/2)/(5 - 4). Suppose 0 = -a + 2*r + 48, -6 = -3*r - z. Does 21 divide a?
False
Suppose -47*l - 63*l = -24526 - 1764. Is 57 a factor of l?
False
Let d(m) = 11*m**2 + 5*m - 4. Let p be d(4). Suppose 0 = 60*o - 58*o - p. Is 6 a factor of o?
True
Suppose -264 = -g + 12*g. Let f be ((-18)/g)/((-1)/4). Is (-16)/f*(-1 - -33 - -1) a multiple of 22?
True
Let b(l) = 20*l**3 - 4*l**2 - 18*l + 15. Let u be b(7). Suppose -1529 = 16*k - u. Does 20 divide k?
False
Let c be (-2 - 15/5)/(-1 + 0). Let s(h) = -h**3 - 115*h + h**2 + 4*h**2 + c + 4*h**2 + 113*h. Does 51 divide s(7)?
False
Let p(h) be the second derivative of -61*h**6/720 + h**5/24 + 7*h**4/4 + 28*h. Let y(j) be the third derivative of p(j). Is 14 a factor of y(-2)?
False
Does 161 divide ((-25549)/(-116) + -19)/(2/120)?
True
Let k = -1376 + 921. Let s = k - -949. Does 13 divide s?
True
Suppose -2*t + m = -0*m - 19567, -9*t + 4*m = -88054. Does 21 divide t?
True
Let h be ((-325)/15 + 5)*-30. Suppose 5*b - 9*b - 4*s = -504, -h = -4*b - 5*s. Let c = b - -20. Is c a multiple of 25?
True
Let n(b) = -597*b + 1888. Does 11 divide n(-16)?
True
Does 9 divide (-1745926)/(-2968) - 2/(6/(-15) - -2)?
False
Suppose -2*s + 16 = -5*q, -4*s + 16 = -q - q. Let w be (-210)/(47/(-34) + 46/(-391)). Suppose w = -s*f + 10*f. Is 20 a factor of f?
True
Suppose 199236 = 41*k + 29496. Is 20 a factor of k?
True
Suppose 2*a + 4 - 8 = 0. Suppose -r + 305 = 3*y + 4*r, 3*r = a*y - 235. Is y a multiple of 18?
False
Suppose -21*r - 53 = -26*r + 3*g, -3*r + 25 = 5*g. Is r*7/(-14) + 760 a multiple of 60?
False
Suppose 3*c + 7*q = 7186, 3*c + 4*q = 5738 + 1454. Is c a multiple of 25?
True
Suppose -14*u - 952 = 3*u. Let c = 111 + u. Is 38 a factor of c?
False
Let b(o) = o**2 + 313. Let t be b(0). Suppose r = 5*g + 321, -r + 2*g = -g - t. Does 47 divide r?
False
Let v = 50 + -42. Suppose 2*l - 2*b + 12 = -v, 14 = -3*l - 5*b. Let n(h) = h**3 + 13*h**2 + 21*h + 16. Is 21 a factor of n(l)?
True
Let j(q) = -6*q**2 - 424*q + 137. Is j(-42) a multiple of 92?
False
Let c be 48/456 + (-19118)/38. Let n = 1 - c. Is 18 a factor of n?
True
Let a = 55 + -29. Let d = a - 21. Suppose d*f - g - 65 = -6*g, 0 = -4*f + g + 32. Is 2 a factor of f?
False
Let j = 10191 + -437. Is j even?
True
Let s = -240 + 136. Let j be s/(-12) + 8/(-12). Suppose j*b - 240 = -7*b. Is b a multiple of 12?
False
Let q = 1218 + -534. Does 171 divide q?
True
Let c(j) be the second derivative of -j**4/12 + 2*j**3 + 17*j**2 + 38*j - 1. Is 3 a factor of c(13)?
True
Suppose -4*q = 5*u - 280, 5*q + 280 = 5*u + 3*q. Suppose -51*k + u*k - 1050 = 0. Is k a multiple of 15?
True
Let r = 603 + -207. Suppose 14*v - 34 = 8. Suppose -r = -4*h - 3*q, -573 = -5*h - v*q - 78. Is 12 a factor of h?
False
Suppose 0 = -2*w + 5*o - 398, 3*w + 796 = -w + o. Let p = -116 - w. Suppose -14 = -j + p. Does 7 divide j?
False
Suppose -4*j - 2697 = -10713. Is j a multiple of 61?
False
Let b(h) = -82*h + 10026. Is b(0) a multiple of 15?
False
Suppose -10*c + 205727 = -266403. Suppose -15*t + 46*t - c = 0. Does 49 divide t?
False
Suppose 0 = s - 1, 1 = -3*x + 4*s - 3*s. Does 9 divide x + -2 - (-9 + -2)?
True
Suppose -4*x - 3*c - 1076 = 0, -8*c = -2*x - 11*c - 538. Let r = x + 325. Does 4 divide r?
True
Let u be 30/(-15) + (-14)/(-2). Let w(c) = c**2 - 4*c + 3. Let a be w(u). Doe