 multiple of 27?
False
Let r(f) = -278*f**2 - 4392*f + 29. Does 71 divide r(-14)?
True
Suppose 10*g - 72 = 7*g. Is (-1449)/(-18)*(g/14)/3 a multiple of 12?
False
Suppose -2*t + 24345 = -61471. Does 42 divide t?
False
Let m be (-51)/(-6)*(282 - (-20)/(-5)). Suppose -11*i = -m + 603. Does 13 divide i?
False
Let a be ((-3)/((-18)/(-20)))/(35/(-105)). Suppose -a*j + 426 = -494. Is j a multiple of 18?
False
Suppose -123399 = -83*a - 32*a + 154441. Does 10 divide a?
False
Does 8 divide 8010/40*(-64)/(-6)?
True
Suppose 352*n = 2*h + 355*n - 6887, n = 5*h - 17260. Does 29 divide h?
True
Let l be 3*-10*(6 + (-133)/21). Does 6 divide 30/9*(2268/l)/7?
True
Suppose -4*o + 217 + 312 = -z, 0 = 2*o - 3*z - 267. Suppose 4*t = 4*u + 16, 4*u - 7 = -t + 2*u. Suppose -t*r - o = -11*r. Does 5 divide r?
False
Suppose 16 = 2*s + 20. Let n(r) = -r**2 - r - 1. Let p(t) = -21*t**2 - 2*t - 8. Let u(m) = 5*n(m) - p(m). Is 28 a factor of u(s)?
False
Let p be (-24)/32 - 366/(-8). Suppose -11*b + 6*b = 810. Is 5 a factor of (b/p)/(4/(-30))?
False
Let h(a) = 49*a - 179. Does 8 divide h(69)?
False
Let j be (-1 + 4 - 4)*36/(-3). Suppose 3*u = -u + j. Suppose n + 143 = 4*d - u*d, -5*n = -d + 135. Is d a multiple of 15?
False
Suppose p + 3*u = 40, p + 2*u = 6*p - 166. Let h be (-8)/(-68) + (880/p - 1). Suppose -18 = -3*c - 5*w + h, -5*w = -3*c + 53. Does 5 divide c?
False
Let f be 27 - (2 - (1 - 0)). Let l(c) = -f*c - 26*c + 37*c - 40. Is l(-13) a multiple of 31?
True
Suppose 0 = -2*w + 8. Suppose 0 = -5*v - x + 794, 7*v - 3*v + w*x = 648. Is v a multiple of 18?
False
Let t = 245 + -275. Does 6 divide 6/((-4)/t*55/77)?
False
Let l = -8 + -2. Let f(k) = -5*k**2 + 8*k - 9 + k**3 + 31 + 16*k**2. Is f(l) a multiple of 21?
True
Suppose -176 + 1534 = 7*t. Let k = -115 + t. Does 30 divide k?
False
Let z(s) = 51*s + 4. Let l = -24 - -26. Let t = l + -1. Is 11 a factor of z(t)?
True
Let y = 94 + -74. Let w be (-2)/(-3)*(-510)/y. Let x = w - -56. Is 3 a factor of x?
True
Let b(c) = -5 - 158*c + 96*c - 40*c - 149*c + 32. Is 39 a factor of b(-3)?
True
Suppose 0 = 11*j - 5*j - 126. Suppose 24*b - 1128 = j*b. Suppose -14*d + 18*d = b. Is 10 a factor of d?
False
Suppose -24*p = -40*p + 112. Suppose -p*r + 978 = 2*l - 5*r, -r - 2475 = -5*l. Is l a multiple of 27?
False
Suppose -23*p - 15*p + 44266 - 5810 = 0. Is p a multiple of 23?
True
Let h(w) = 15*w - 4*w + 42*w - 49 - 33. Is h(4) a multiple of 7?
False
Suppose -5*r - 5*y - 50 = 0, 3*r - 2*r - 5*y + 34 = 0. Let b be (95/35 - 3)*r. Suppose -b*s - 4*t = -272, 0*t + 10 = 2*t. Is s a multiple of 21?
True
Let o = 30 - 31. Let a be (3 - (1 + o)) + 2/2. Suppose 5*g + a*z - 3*z = 88, 4*z = 4*g - 56. Is 3 a factor of g?
False
Suppose 2*o = -60 - 78. Let k = 64 + o. Is 9 a factor of 1 + 0 + k + 103?
True
Suppose -63*f = 2806 + 218. Does 37 divide (-22240)/f - (-3)/(-27)*3?
False
Is 77 a factor of (100/25)/((-9)/(-36018))?
False
Let y = -9061 - -16670. Does 73 divide y?
False
Let w(x) = -2*x**3 + 7*x**2 + 17. Let s be w(4). Does 7 divide -1*(-80 + (4 - s))?
True
Let r = 255 - 239. Suppose -18*t + r + 38 = 0. Is t even?
False
Suppose -25 = 5*t, -t - 8845 = -5*l - 0*t. Is l a multiple of 136?
True
Let o = -495 + 1133. Let s = o - 270. Does 46 divide s?
True
Let u(g) = g**3 - 18*g**2 + 22*g - 24. Let f be u(17). Suppose -f*p - 236 = -63*p. Is p a multiple of 22?
False
Let j = 530 + -1072. Let z = 625 + j. Is z a multiple of 37?
False
Let x = 79 + -77. Suppose -5*f = -y + 3, 0 = x*y + 2*f - f - 6. Suppose -y*o + 244 = 2*t, -o = -5*t + 174 + 453. Is t a multiple of 25?
True
Let j = -243 + 9937. Does 43 divide j?
False
Suppose -133*s + 6697509 - 1957522 = 0. Is 15 a factor of s?
False
Let u = -80 - -35. Let p = u + 49. Suppose 36 = 3*q + 2*h, -3*q + p*h + 0*h + 54 = 0. Does 7 divide q?
True
Let g(y) = -y**3 - 6*y**2 - 7*y + 26. Let i be g(-5). Suppose 9*k - i - 270 = 0. Is 4 a factor of k?
False
Suppose -9*r + 10910 + 59209 = 0. Is r a multiple of 53?
True
Let t = 140 - 140. Suppose t = q - 92 - 5. Is q a multiple of 7?
False
Let f(l) = l**2 - 2*l - 6. Let g be f(-2). Suppose -g*z = -4*m, 2*m = -2*z + 3*m. Suppose z = -6*v - 121 + 517. Is v a multiple of 18?
False
Suppose -5*u + 3*o = 5*o - 79200, -2*u + 31680 = 2*o. Suppose -5*k + u = 17*k. Is k a multiple of 48?
True
Let z(s) be the second derivative of s**5/20 - s**4 + 5*s**3/6 + 9*s**2 + 18*s + 3. Is z(13) a multiple of 21?
True
Suppose 0 = 4*z + 2254 - 2. Let i = z + 612. Does 7 divide i?
True
Let j(f) = -2*f**2 + 4. Let m be j(5). Let o = m - -47. Let l(h) = 35*h**2 + 1. Does 8 divide l(o)?
False
Let i = 35770 + -25354. Does 16 divide i?
True
Let j = 45 - 24. Let u = j - 18. Suppose 0 = 4*f + l - 96, 2*f - f - 37 = u*l. Is f a multiple of 2?
False
Let r = -1482 + 1492. Suppose -8*i + 10 = -3*i. Suppose -r = i*s, 332 = 4*q - 2*s + 6*s. Is 11 a factor of q?
True
Let p(l) = 3*l**3 - 7*l**2 - 40*l - 10. Let u be 219/30 - 45/150. Is p(u) a multiple of 33?
True
Suppose -5*f + 12888 = y - 26315, -4*f + 31354 = -2*y. Is 28 a factor of -3*(f/12)/(-7)?
True
Let k(m) = m**2 - 3*m - 3. Let f be k(-1). Let o be (f/(-3))/(3/(-513)). Suppose 0 = -i + o - 3. Is 25 a factor of i?
False
Let x = -46590 - -71073. Does 26 divide x?
False
Let x = 6022 + -5187. Is x a multiple of 6?
False
Suppose x = -m + 3451, m = -3*x + 15712 - 5353. Does 11 divide x?
True
Let i = -172 - -167. Does 31 divide 113 + (-5 - i) + 7?
False
Let j(q) = 30*q - 178. Let w be j(-5). Let p = w - -559. Is p a multiple of 11?
True
Let z = 5 + 3. Suppose 29*i - 10263 - 24827 = 0. Suppose -z*f + 166 = -i. Does 43 divide f?
True
Let k(p) = -5*p**3 - 7*p**2 + 2*p + 12. Suppose -176 = -r - 181. Is k(r) a multiple of 59?
False
Suppose -13720 = -k + 5*i, -189*i + 41262 = 3*k - 187*i. Is 144 a factor of k?
False
Let v be 0/((-13)/((-26)/4)). Suppose v = 2*a + 407 - 1367. Does 21 divide a?
False
Let w(q) = -20*q + 790. Is 62 a factor of w(-10)?
False
Suppose -s - 1447 = -4*x, -65*s + 7 = -66*s. Is x a multiple of 9?
True
Suppose -5*m - 22 = 2*a - 52, 2 = -2*m + 2*a. Is 37 a factor of (-6018)/(-90) - m/(-30)?
False
Let g(x) = -26*x + 150. Let v be g(6). Does 4 divide (-59)/((15/10)/(v + 3))?
False
Suppose -4*b = -j - 769, -b - j = 3*j - 171. Suppose -6*t + 11*t - 250 = -4*x, -4*t + b = 5*x. Is t even?
True
Let x = -3593 - -4957. Does 44 divide x?
True
Let r = -317 - -197. Suppose -5*v - z = 58, v + 9 + 11 = 4*z. Is (44/v + 3)*r a multiple of 8?
True
Suppose 307*t - 165644 - 631732 - 135904 = 0. Is t a multiple of 95?
True
Let p(a) = 2*a**2 - a - 6. Let n be p(-2). Suppose -3*y + o = -3*o - 16, n*y - 5*o - 22 = 0. Let z = y - -27. Does 17 divide z?
False
Let o be 1/(-11) + (-21)/(-231). Suppose 14*c + o*c = 3388. Is 26 a factor of c?
False
Let m(r) be the second derivative of -5*r**3/6 - 2*r**2 + 4*r. Let b be m(-2). Is 8/24 - (-238)/b a multiple of 20?
True
Let l(i) = 5*i**2 - 32*i - 553. Is 28 a factor of l(29)?
False
Let b(s) = -9*s**2 - 15*s - 367. Let r(t) = -4*t**2 - 7*t - 183. Let u(p) = 3*b(p) - 7*r(p). Suppose 9*x + 10*x = -3*x. Is 36 a factor of u(x)?
True
Let k(o) = -12919*o**3 - 5*o**2 - 44*o - 43. Is 123 a factor of k(-1)?
True
Suppose -7*h + h = -198. Suppose h*d = 35*d. Suppose d*v - 142 = -2*v. Is 21 a factor of v?
False
Suppose j - 2*p + 5 = 0, -p + 11 = 5*j + p. Suppose -2*l = 115 + j. Let n = -30 - l. Is 11 a factor of n?
False
Suppose 3*i - 2*p + 44 = 0, 4*i + 53 - 1 = 4*p. Let o(t) = 2*t**2 + 20*t - 17. Is 20 a factor of o(i)?
False
Let g(r) = r**3 - 3*r**2 + 2*r + 1505. Let y be g(0). Suppose 8*j + y = 15*j. Is j a multiple of 3?
False
Suppose 138*x - 141*x = 4*c - 4915, -3*x = -3*c - 4950. Is x a multiple of 47?
True
Suppose -71 = 4*p + 149. Let l be (-10)/p + 2/(-11). Suppose 0*i + 5*i - 780 = l. Does 30 divide i?
False
Let o be 7/((-14)/(-3))*70. Suppose 7*a + o = 1064. Is 16 a factor of a*1*2/(2 - 0)?
False
Let s = 27070 - 15084. Is 33 a factor of s?
False
Suppose -2*g + 35 = 39, 3*g = -4*l + 29526. Is 40 a factor of l?
False
Let v(g) = 62*g**3 - 20*g**3 - 47 - 20*g**3 - 21*g**3 + 25*g**2 - 62*g. Is v(-27) a multiple of 14?
False
Let n(f) = -55*f**3. Let a be n(-2). Suppose -5*l + a = -13*l. Is (l/(-44))/((-1)/(-36)) a multiple of 15?
True
Let s = 310 - 215. Let u be -5 - s/(-15) - (-1)/(-3). Is (2 - 9)/(u + 18/(-15)) a multiple of 6