 a multiple of 24?
False
Let y(x) = -20 - x + 24 - 10. Let k be y(-6). Does 20 divide 3 + (19 - (k - -2))?
True
Suppose -2*s + 1458 = 3*r - 2258, -s + 3*r + 1867 = 0. Does 36 divide s?
False
Let a(g) = -g**2 + g + 62. Let m be a(-10). Is (-348)/8*416/m a multiple of 11?
False
Let r(f) = 37*f + 2806. Is r(54) a multiple of 2?
True
Let h = -11 - -13. Let j be h/(92/(-84) - -1) + -2. Let t = j - -77. Is 6 a factor of t?
True
Let y be (12 + (-56)/6)*(-3513)/(-2). Suppose 3*f + 6*r - y = 4*r, 5*r = -4*f + 6257. Does 38 divide f?
True
Let m(y) = 28*y**2 + 15*y + 316. Is m(-15) a multiple of 7?
True
Does 47 divide ((-24)/(-18))/(16/103152) - 1?
False
Suppose 0 = 9*i + 1149 + 12. Let b = i - -281. Is 31 a factor of b?
False
Let j(q) = -4*q**2 + 18*q - 70. Let z be j(5). Does 2 divide (-7)/((-7)/(-3)) - z?
False
Let f(i) be the second derivative of 5*i**3/6 + 34*i**2 - 79*i. Is 66 a factor of f(26)?
True
Suppose -4*b + 9*b - 79 = t, -4*b + 69 = 5*t. Let h be (-8)/b*1*(-2 + 2). Suppose 3*z + h*c = 5*c + 290, 98 = z - c. Is 10 a factor of z?
True
Let a(o) be the third derivative of o**5/24 + 29*o**4/24 + o**3/3 - 13*o**2. Let m(c) be the first derivative of a(c). Does 10 divide m(12)?
False
Is 60 a factor of 0 - (-88*138/12 + -8)?
True
Suppose 0 = -l + 3*w + 33225, l + 3*w = 5*w + 33227. Is l a multiple of 33?
True
Suppose -77*o - 41808 = -90*o. Is 67 a factor of o?
True
Is 2 a factor of (-2 + 97)/((-4)/(-10)*9/36)?
True
Let i(c) = 40 - 33*c + 40 - 3*c - 87. Is 8 a factor of i(-10)?
False
Suppose -1938 = 32*a - 34*a. Suppose -8*n - 9 = -a. Suppose 38*y = 36*y + n. Does 30 divide y?
True
Suppose 4*t - 18 = -f - 0*t, t = 2*f - 9. Suppose 0 = -2*u + 3*u + f. Does 23 divide 1 + 2*3/u - -71?
False
Let j = 52 - 52. Let b be 290*(j/(0 + 2) + 1). Suppose 6*z - 292 = b. Does 23 divide z?
False
Let w(x) = x**3 - 137*x**2 + 190*x - 428. Is 251 a factor of w(137)?
True
Suppose 25*q - 3240 = 22*q. Let a = -660 + q. Does 42 divide a?
True
Suppose 3*x = 2*i - 7957, x = -0*i - 3*i + 11886. Is 99 a factor of i?
False
Suppose 3969118 = 150*b + 1315918. Is b a multiple of 144?
False
Let l(k) = -k**3 - 12*k**2 + 15*k + 28. Let f be 2*-2*-2*13/(-8). Let u be l(f). Suppose z = u*b - 426, 0*z + z + 856 = 4*b. Is 22 a factor of b?
False
Is (0 - ((-15)/21 - 1))/(158/997059) a multiple of 22?
False
Let b be 18*(7 + 4050/(-12)). Is 16 a factor of b/(-11) + (36/(-66))/(-3)?
False
Let s(c) = -9*c**2 + 3*c. Let n be s(-1). Let p be n/(-18) + 20/(-12). Is 10 a factor of p - ((-1)/(-2))/((-17)/850)?
False
Let z = -3 - -8. Suppose -z*v = -5*c - 16 - 14, 5*v = 4*c + 28. Let q(b) = -3*b**3 - b**2 + 3*b + 2. Is 4 a factor of q(c)?
True
Suppose -16 = -2*m + 48. Suppose -36*u = -m*u - 16. Suppose -5*t + u*s = -0*s - 585, 2*t + 3*s = 234. Does 22 divide t?
False
Let u(a) = 6*a + 169. Let g be u(-30). Let n = g - -674. Is 17 a factor of n?
True
Let k be (-21)/(-7) + (1 - 1). Let q(h) = 16*h - 16. Let t be q(k). Let m = t + -25. Is 2 a factor of m?
False
Suppose 0 = 112*q - 49*q - 3717. Let n = -79 - -52. Let v = q + n. Does 16 divide v?
True
Let l be 0 + 7 - (-857 - -2). Let x = -445 + l. Does 14 divide x?
False
Let s = 181 + -97. Suppose -8*k = -2*k - s. Let f = k - -36. Is f a multiple of 10?
True
Let f = -50 + 52. Let h(l) = 4 + 12 - 245*l**f - 5*l - 2*l + 251*l**2. Is h(4) a multiple of 34?
False
Let y(a) be the second derivative of 13*a**3/2 - a**2/2 + 16*a. Let d be y(-1). Let g = -18 - d. Is g a multiple of 11?
True
Suppose 322*n = 148*n + 7573176. Is n a multiple of 39?
True
Suppose -4*c = -2*q + 56, -3*q + 30 = -2*c + 10. Let n = 49 + c. Suppose n - 21 = h. Is h a multiple of 4?
True
Suppose x - 746 - 1648 + 315 = 0. Does 5 divide x?
False
Suppose -2*m = 6 + 2. Let c = 7 - m. Let l = c + 15. Is l a multiple of 3?
False
Is 10 a factor of 2*9496/40*5?
False
Suppose 2*q = 12*h - 197174, -3*q + q = -2*h + 32854. Is 158 a factor of h?
True
Does 10 divide (-1*(-40)/6)/(230/15525)?
True
Suppose -15*y = -13*y + 8, 5*r - 6950 = 5*y. Suppose 566*z - 573*z + r = 0. Is 22 a factor of z?
True
Let m(h) = -9*h - 25. Let y(f) = -f. Let s(z) = 2*m(z) - 22*y(z). Let g(n) = -9*n - 52. Let t be g(-8). Is s(t) a multiple of 4?
False
Suppose 0 = 4*v + 38263 - 207351. Is 16 a factor of v?
True
Let i(l) = 6 - 31 - 10 + 16*l. Suppose -5*x = -6*v + 5*v + 25, 5*v + 2*x = 44. Is i(v) a multiple of 25?
True
Let u(t) = t**2 + 6*t - 176. Is u(-18) a multiple of 2?
True
Let d = 77 + -54. Suppose 0 = -2*b + 3*r + 106, 3*b - 2*r = d + 146. Does 39 divide b?
False
Let x be -4 - 11*(2 - 3). Suppose 4*o = 3*d - 2130, -x*o + 4*o - 1419 = -2*d. Is 17 a factor of d?
True
Suppose -23*a + 85250 = 10*a + 17*a. Does 11 divide a?
True
Let m(n) = -2*n + 4. Let f be m(1). Suppose 0 = -w + 5*a + 1292, f*w - 13*a + 17*a = 2612. Is w a multiple of 21?
True
Is 5 a factor of 2/(-11) - (1442/(-309))/(22/41991)?
False
Does 3 divide (-7)/35*-762*15?
True
Let y = 576 + -559. Suppose 2880 = y*k - k. Is k a multiple of 45?
True
Let n be (-5 + 6)/((-5)/(-35)). Suppose -n*a + 79 + 194 = 0. Is a even?
False
Let w(s) = 857*s**2 + 2*s - 3. Does 22 divide w(-1)?
False
Is 33 a factor of ((-4940)/(-30) - -5)*99?
True
Let d(k) be the third derivative of -k**9/15120 - k**8/10080 - k**5/4 - 17*k**2. Let x(o) be the third derivative of d(o). Is 8 a factor of x(-2)?
True
Let g = 2919 - 2230. Is 125 a factor of g?
False
Let t(j) = -j**3 - j**2 + j - 15. Let w be t(0). Is 19 a factor of 30/w*(-57)/2?
True
Suppose -5*i + 8 = 4*k, 10 = 5*k - 11*i + 13*i. Suppose k*q - 5*n = -3*q + 235, 4*n = -4*q + 212. Is q a multiple of 10?
True
Let g(c) = 9*c**2 - c + 22. Suppose 0 = 2*x - 6, -4*r + x - 11 = 4*x. Does 14 divide g(r)?
True
Suppose 4*v + 4*o = 4, 3*v - 3*o + 0 = -3. Let w(r) = -r**3 + r**2 - 3*r - 2. Let d be w(-3). Suppose v = -5*c + 803 - d. Is 38 a factor of c?
True
Suppose -4*z + 4*d = -444, d + 563 = 3*z + 2*z. Suppose z*f - 1102 = 111*f. Does 45 divide f?
False
Let a = -2380 - -8230. Is 65 a factor of a?
True
Suppose 4*x - 17156 = -2*l, -3*l = -x + 473 + 3837. Is 37 a factor of x?
True
Let v(n) = -n + 2. Let i(l) = 36*l - 6. Suppose 10*b - 16*b = -30. Let a(y) = b*v(y) + i(y). Is a(1) a multiple of 7?
True
Does 3 divide (-40 + -11)/((-1)/74*3)?
False
Let z = 10436 + -4378. Is 13 a factor of z?
True
Suppose 6*v = -3423 + 11013. Is 46 a factor of v?
False
Let w(l) = 3*l**3 + 2*l**2 + l - 10. Let a(h) = 8*h**3 + 6*h**2 + 4*h - 30. Let i(m) = -4*a(m) + 11*w(m). Is i(5) a multiple of 5?
True
Let y(o) = -45*o**3 - 15*o**2 + 15*o - 39. Is y(-9) a multiple of 43?
False
Suppose 0 = -63*l + 152 - 908. Let w(n) = 9 - 9*n**2 + 12*n - 2*n**3 + n**3 - 4. Does 49 divide w(l)?
False
Let u = 11092 + -6852. Does 80 divide u?
True
Is 8/52 + 70412/(-10)*8750/(-910) a multiple of 84?
True
Suppose 0 = -j + 222 - 221, -37235 = -q + 5*j. Is 280 a factor of q?
True
Let v(o) be the third derivative of 0*o + 0 - 14*o**2 + 8/3*o**3 - 1/60*o**5 + 1/2*o**4. Is v(11) a multiple of 9?
True
Suppose 2*i - 3*c - 4032 = -170, 0 = -7*c - 28. Does 55 divide i?
True
Suppose -2328 = -i + 3784. Is i a multiple of 72?
False
Let h = 16751 + -14759. Is 4 a factor of h?
True
Suppose 19 = -p + 2*h + 2*h, p + 2*h = -1. Let i(o) = -o**3 - 8*o**2 - 5*o - 12. Let j be i(p). Is (j/(-8))/((-18)/(-720)) a multiple of 13?
True
Suppose -2*j - 14798 = -2*c, 669*j - 22183 = -3*c + 670*j. Does 112 divide c?
True
Let u be (-9134)/132*-6 - 4/22. Suppose 210 = f - 4*y, -19 + u = 2*f - 2*y. Is f a multiple of 25?
False
Let y be 1 + (3 - 0 - -122). Suppose r = -r + y. Suppose 3*w + 30 + 111 = 2*x, x - r = 4*w. Is x a multiple of 12?
False
Suppose -11*b = -12*b - 4*n + 33264, 4*b - 2*n - 133092 = 0. Does 285 divide b?
False
Let t be (-13 + 3)/((-1)/2). Suppose 2*h = -2*h + t. Suppose -5*m = 4*q - 430, 0 = 2*q + 2*m - h*m - 204. Is q a multiple of 21?
True
Suppose 30*o - 37*o + 3*r + 306737 = 0, -2*o - 5*r + 87686 = 0. Is o a multiple of 14?
False
Suppose z - 101 = 3*w - 1685, 0 = 3*z. Let m(x) = x**3 - 36*x**2 + 71*x - 100. Let y be m(34). Suppose -y*b + 8*b = w. Does 11 divide b?
True
Suppose 51*n - 169*n = -1959938 + 14944. Is 15 a factor of n?
False
Let g(o) = -5*o - 1. Let d be g(1). Is 13 a factor of d/8 - (-14264)/(-160)*-5?
False
Let i(f) = -f**2 + 6*f - 4. Suppose 2*z + 5 = 5*x, 0 = -4*z - 9 + 29. Let