+ 4648, -5*t + 5*b + 7742 = -3918. Does 51 divide t?
False
Let m(k) = -44*k - 348. Let r be m(-8). Is 4 - (-110)/r - 4/8 a multiple of 2?
False
Suppose -6*p - 21 + 9 = 0. Let z(h) = -17*h + 8. Does 21 divide z(p)?
True
Let d be (-78)/18 + (-4)/(-12). Is 96 a factor of ((-12)/10)/(d/4800)?
True
Let n = -12912 + 17274. Is n a multiple of 27?
False
Let g be (-1)/2 + 66/4. Suppose -7*a = 4*u - 3*a - 36, 4*a - g = 0. Suppose -u*l = -2*l - 54. Is 5 a factor of l?
False
Suppose -41*d + 34*d = -14. Suppose 3*v - 488 = k, -d*v - k - 41 + 368 = 0. Is 9 a factor of v?
False
Let x(g) = 7*g**2 + 19*g - 257. Does 7 divide x(23)?
False
Let v(x) = x**3 - 9*x**2 + 17*x + 40. Let y be v(11). Suppose -4*h = -y + 117. Is h a multiple of 8?
True
Let t = 4912 + -3873. Does 3 divide t?
False
Suppose 0 = -264*t + 270*t - 9594. Is t a multiple of 15?
False
Let f(i) = i**2 - 7*i - 1. Let u be f(-7). Let g = u - 61. Suppose 5*w + g = -2*s + 316, 4*w - 221 = -s. Is w a multiple of 6?
True
Let p be -2 - (3 + -1 - 9). Suppose -p*c + 0*f + 3*f + 460 = 0, c + 3*f - 92 = 0. Is c a multiple of 46?
True
Suppose 4*j + 35 = -21. Let i be 3/((15/j)/5). Does 8 divide i/63 + (-870)/(-27)?
True
Let a(b) = -b**2 - 6*b + 16. Let z be a(-8). Is 44 a factor of (z - 2) + (53 - (-9 - -16))?
True
Let q(j) = 10*j**2 + 10*j + 44. Is q(8) a multiple of 4?
True
Let m = 1 + 1. Let q be (-8)/10*m/4*-955. Suppose 937 = 5*g + q. Is g a multiple of 37?
True
Suppose -349*a + 324*a = -74550. Is 7 a factor of a?
True
Let a = -109 + 117. Suppose -a*s - 570 = -18*s. Does 57 divide s?
True
Does 3 divide ((-2)/(-2) - (14 + (-108)/12)) + 452?
False
Let z = 3862 - 2627. Suppose 2*f = 3*f - 4*k - 253, -5*f = -5*k - z. Suppose 2*m + l = m + f, -981 = -4*m - 3*l. Is m a multiple of 26?
False
Suppose 3*k - 5*f = 7*k - 3663, 920 = k - 3*f. Suppose 4*h = k + 799. Does 19 divide h?
False
Suppose -3*w + 2*j = -2*w + 817, 0 = 2*w + 4*j + 1602. Let r = w - -1137. Suppose 2*f - r + 94 = 0. Does 17 divide f?
False
Suppose -387 - 702 = -9*l. Suppose 5*m = -4*u + 193, 0*m = 3*m + 3*u - 114. Suppose -m + l = 2*b. Does 20 divide b?
True
Let n(f) = -f**2 - 3*f + 17. Let y be n(-5). Suppose 4*i = -12, y*i - 411 = 2*b + 4*i. Let u = -140 - b. Is 10 a factor of u?
True
Let f(t) = 5196*t**2 - t - 4. Is f(1) a multiple of 74?
False
Let c = 288 + 1930. Does 3 divide c?
False
Suppose 64*l - 7421 = 23*l. Does 49 divide l?
False
Is 10 a factor of (-153 - -152)/(1/(-44777))?
False
Suppose 10 - 32 = -2*m + 2*t, 2*m - 27 = t. Suppose 8*b - 4*b = m. Is ((-9)/(-2))/((-5)/(-240)*b) a multiple of 18?
True
Let b = 77570 + -51617. Is b a multiple of 123?
True
Suppose 23 = 9*o - 22. Suppose o*b + v + 2 = 10, 0 = 2*v - 6. Is 21 a factor of b*5/(-2)*(-26)/1?
False
Suppose 5*v - v - 3*q = 8320, 8320 = 4*v + q. Is 20 a factor of v?
True
Suppose -2*f + 3*z = 8*z - 10334, 3*f - 15486 = -5*z. Is f a multiple of 14?
True
Suppose 43*p - 420657 = 23791. Suppose 35*f - p = -3*f. Is f a multiple of 68?
True
Suppose -81*w + 198959 = -48976 - 7539. Is 166 a factor of w?
True
Let p = 3030 + -1455. Does 35 divide p?
True
Suppose 5*g = -c + 3807, 8*c = -34*c - 2*g + 160102. Does 69 divide c?
False
Let d be (-4)/((-250)/35 + 7). Suppose k + 95 = 2*k. Suppose 5*n = -q + k, -6*q = n - 4*q - d. Is 6 a factor of n?
True
Suppose 314*z - 5020006 - 271810 = 1971004. Is 12 a factor of z?
False
Suppose g + 8 = 2*h, -3*g - 22 = -g + 2*h. Is 8 a factor of (-9835)/(-40) + g/(-80)?
False
Let a = -8834 - -19027. Does 118 divide a?
False
Suppose 3*w = -3*j + 12181 + 2021, 14207 = 3*j - 2*w. Is 20 a factor of j?
False
Let t(i) = -i**2 + i. Let p(f) = -7*f**2 + 14*f - 3. Let x(g) = p(g) - 6*t(g). Let y be x(8). Is (-3 + 2 + y)/((-15)/435) a multiple of 20?
False
Let w(q) = -4*q**3 + q**2 + 3*q + 1. Let k be w(-1). Suppose 0 = -5*r + k*r + 4. Suppose 6*n = 7*n - 1, 0 = -3*i + r*n + 58. Is 12 a factor of i?
False
Let u(c) = -6*c**2 + 103*c - 17. Let w be u(17). Is (w - -1) + 150 + -4 + 1 a multiple of 15?
False
Let z(j) = -9*j**3 - 3*j**2 + 1 - 2*j + 3*j**2 + 10*j**3. Let p be z(1). Is 11 a factor of (-292)/(-5) + (p - (-18)/30)?
False
Suppose -7*u - 37 = 33. Is 49 a factor of (-2448)/(-10) + (-6 - 62/u)?
True
Let v(x) = 6*x + 41. Let t = -69 + 61. Let s be v(t). Does 6 divide (-1 - 1/s)/(15/(-105))?
True
Let x be ((-9537)/6)/(-11) + (-1)/(-2). Let t be 1 + (x - (-6 - -2)). Suppose t = 4*p - 162. Does 15 divide p?
False
Let t be (((-65)/10)/13)/(1/(-14)). Let x be t/((2/44 - 0) + 0). Suppose 3*i + 0*i = -v + x, 3*v = 2*i + 429. Is v a multiple of 20?
False
Suppose 0 = 25*n - 18*n - 308. Suppose 476 - n = 2*b. Does 36 divide b?
True
Let o(q) = -7*q + 14. Let t = 371 - 383. Is o(t) a multiple of 14?
True
Suppose -44714 = -21*v - 2252. Is 14 a factor of v/12 - (-2)/(-4)?
True
Let m(r) = -87*r + 540. Is 12 a factor of m(-40)?
True
Let o(x) = -x**3 - 2*x**2 + 7*x + 1. Let b be o(-4). Suppose -b*i + 93 - 8 = 5*q, i - 2*q = 20. Is 21 a factor of ((-14)/4*-2)/(6/i)?
True
Suppose 3*w + 136*v - 137*v = 69840, -3*w - 5*v = -69840. Is 80 a factor of w?
True
Let l = 40 + -37. Suppose -l*c = -c - 162. Suppose 0 = -3*t + 6*t - c. Is 5 a factor of t?
False
Suppose 1695 = -123*n + 118*n. Let m = n - -474. Is 8 a factor of m?
False
Suppose 10*y = 14*y - 72. Let f(w) = 4*w - 14*w + 6 - 6*w - y. Does 33 divide f(-9)?
True
Suppose 0 = -7*d + 1 - 1. Suppose -4*i - 2999 = -5*o, d = -4*i + 16. Is o a multiple of 67?
True
Does 95 divide 338 + (-5)/(-20)*32?
False
Does 11 divide ((-59598)/(-56))/(-7*(-3)/1764)?
True
Let o(m) = 5*m**2 + 20*m - 134. Let b be o(10). Suppose -w + 5*g = -166, -3*w + b = 6*g - 4*g. Is 7 a factor of w?
False
Let u(j) = -118 + 25*j - 14 - 25 + 4. Is u(9) a multiple of 15?
False
Let q(o) = -30*o**2 + 10 - 9*o**3 + 26*o**3 - 16*o**3 + 7 + 8*o. Is 48 a factor of q(30)?
False
Let z = -91 - -42. Suppose 5*f - 6*l - 20 = -5*l, 20 = f + 3*l. Let x = f - z. Is x a multiple of 6?
True
Let g(b) be the first derivative of -75*b**2/2 + 109. Does 18 divide g(-2)?
False
Suppose 27168 = 90*j - 296562. Is j a multiple of 55?
False
Let t = 284 - 293. Does 10 divide -20*(t - -1)/2?
True
Let u = -3464 + 5774. Suppose 0 = 365*o - 370*o + u. Is o a multiple of 11?
True
Suppose 5*h + 130 = n, -h + 6*n - 26 = 4*n. Let d be (-2)/(-13) + (-256)/h + -3. Let g = d - -28. Does 17 divide g?
False
Let k(j) = 2*j**2 - 17*j - 19. Let z be k(7). Is z/(-15)*(-3)/2 - -217 a multiple of 8?
False
Let v(g) = 0 - 9*g + 6 - g. Let u = 178 - 182. Is 7 a factor of v(u)?
False
Let j be (15*4/6)/((-4)/(-16)). Let h = j - -12. Suppose -4*t = -5*g + 246, -g - 5*t = -3*t - h. Is g a multiple of 18?
False
Suppose 0 = 3*g - 20 + 8. Suppose -g*f - 10 = -6*f, -33 = -4*j - 5*f. Is 9 a factor of (1 - j)/((-2)/242)?
False
Let a = 82 + -72. Suppose a*n - 1984 = 356. Does 9 divide n?
True
Let j(t) = 7*t**2 + 17*t + 3053. Does 107 divide j(0)?
False
Suppose -17 = 10*m - 67. Suppose -b + 5*i + 781 = 0, 5*i - 2365 = -m*b + 1600. Does 63 divide b?
False
Does 14 divide (146*1 - -2)*(-197 - -281)?
True
Suppose 47*a = -2*a + 294. Let j(o) be the second derivative of o**4/6 + o**3/6 - 23*o**2/2 + o. Is j(a) a multiple of 11?
True
Suppose -951*d + 945*d = 0. Suppose 22*x - 393 - 2467 = d. Is 6 a factor of x?
False
Let m = 328 + -92. Suppose 2*g + 3 = -1, m = 3*y + 2*g. Is 4 a factor of y?
True
Is 136 a factor of (-29)/((-638)/763928) + 10?
False
Let v(p) be the third derivative of p**4/8 + 5*p**3/2 - 2*p**2. Let g(m) = 21*m - 141. Let j be g(7). Is 3 a factor of v(j)?
True
Suppose -l = 3*s - 1507, 3*s - 2*l - 1510 = -6*l. Suppose -2*t + 4*x - 1520 = -5*t, 0 = t - x - s. Does 42 divide t?
True
Suppose 22572*i = 22584*i - 31572. Is i even?
False
Let v = 159 + -432. Let o = v + 544. Is o a multiple of 57?
False
Suppose -3*q - 4*x = -5*x - 22, -4*x - 16 = -4*q. Let w(s) = -18*s + 108. Let r be w(-22). Suppose -r = g - q*g. Does 17 divide g?
False
Suppose 32586 = 3*j + 7486 - 5827. Is j a multiple of 169?
True
Suppose -41*c + 11934 = 3*c + 58*c. Is c a multiple of 26?
False
Suppose 3*p - 222 = 4*p. Let f = 14 - p. Let b = -136 + f. Is b a multiple of 10?
True
Let h be (-1353)/55 - 2/5. Let r = 14 + h. Is 3 + 0 - (2 + r + 5) even?
False
Suppose -118*r = 174*r - 9952528. Is 115 a factor of r?
False
Suppose 0 = -5*q - 47 + 202. Let y = 36 - q. Su