 - 29*y + 15505, 4*a = -2*y + 20708. Is 75 a factor of a?
True
Let u = -104 - -105. Let f(w) = 30*w**2 - 2*w - 1. Let a be f(u). Let i = a + 37. Is i a multiple of 17?
False
Suppose 20*t - 44*t = -606072. Is 120 a factor of t?
False
Let d be -2*(-9)/(-24)*4. Let j(y) = 3*y**2 + 9*y + 6. Let q be j(d). Suppose -168 = -q*u + 780. Is u a multiple of 20?
False
Let a be 141/94 + (-3)/(-2). Suppose -5*c = -a*z - z - 148, -2*z - 144 = -5*c. Is c a multiple of 9?
False
Suppose -991 = -h - 5*b, -3*h - 3*b - 661 = -3574. Let o = h - 518. Is o a multiple of 28?
True
Suppose 75*p + 93*p - 221565 + 40125 = 0. Is p a multiple of 4?
True
Let a(s) = 2*s**2 - 81. Suppose 5*r + 3*v - 10 - 41 = 0, 0 = 4*r + 3*v - 42. Does 9 divide a(r)?
True
Let n = -56 + 60. Let b be ((-25)/10)/(2/n). Does 28 divide ((-108)/b)/(9/30) + -3?
False
Let a be (-1 + 1/2)*-4. Is 15 a factor of (-5 - -115)*(-2 - (-7)/a)?
True
Let p(g) = 3*g**2 + 8*g - 1. Let f be p(-3). Suppose s - 872 = -2*s - m, -2*m = f*s - 584. Does 22 divide s?
False
Let d = 20 + 100. Suppose p = -21 + d. Suppose p = 2*z - 13. Does 8 divide z?
True
Suppose -2*g = -7*g - 10. Is 48 a factor of 1 - (-1)/g - 2105/(-10)?
False
Let g = 245 - 440. Let v = g + 384. Does 28 divide v?
False
Let v(o) = 2*o**2 - 20*o - 200. Is v(-30) a multiple of 44?
True
Suppose 5*g = 2*i - 38, 2*g - 8*i + 12*i - 4 = 0. Let x(p) = p**3 - p**2 + p - 910. Let o be x(0). Is 12 a factor of (g/21)/(10/o)?
False
Suppose -3*i = 3*k - 6, 24*k = 27*k + i - 12. Suppose 3*o - 848 = -k*h, -19*o + 23*o = -2*h + 1140. Is 26 a factor of o?
True
Suppose 0 = -4*u - h + 11, -3*h - 9 = -3*u + 3. Let i(m) = -16*m - 2. Let l be i(-3). Suppose -3*z + 0*z + 130 = -t, -u*t = -z + l. Is 16 a factor of z?
False
Suppose 0 = -4*c - 2*f + 37254, 43277 = 4*c - 8*f + 5993. Is 8 a factor of c?
False
Let m = -500 - -207. Let i = m + 667. Is i a multiple of 22?
True
Suppose l = -5, j + l = -4*l + 504. Suppose 535*q - 4368 = j*q. Is 13 a factor of q?
True
Let u be 46/14 - 4*2/28. Suppose 0 = -5*r + r + u*p - 210, 3*p = -3*r - 168. Let f = 139 + r. Does 16 divide f?
False
Let x = 798 + -515. Let w = -137 + x. Is 7 a factor of w?
False
Let v(x) be the first derivative of 2*x**2 + 6 + 2/3*x**3 - 4*x. Is 3 a factor of v(2)?
True
Suppose -4*n - 4*l + 176 = 0, 3*n + 8*l = 11*l + 114. Suppose 749 = -n*g + 48*g. Is g a multiple of 2?
False
Let b(d) = -17*d. Let p be b(-26). Does 2 divide (-23)/((-115)/p) - 4/10?
True
Suppose -14*l + 18*l - 3*h - 8809 = 0, 4*l - 8785 = -5*h. Does 50 divide l?
True
Let z = -59 + 63. Suppose 2*l = -2*x + z, l + x - 4*x - 2 = 0. Does 2 divide (l - 20/8)/((-3)/72)?
True
Let w(i) = 7*i**3 + 7*i**2 - 3*i - 1. Let y(u) = -20*u**3 - 21*u**2 + 9*u + 2. Let j(p) = -17*w(p) - 6*y(p). Let c = 898 + -902. Does 13 divide j(c)?
True
Suppose 6*s + 129 = 45. Let i = s + 10. Let u(w) = w**3 + 5*w**2 - 2*w + 6. Is 6 a factor of u(i)?
True
Let x = -27697 + 44533. Does 244 divide x?
True
Let r(q) be the second derivative of -q**6/120 + q**5/10 - 3*q**4/2 + 38*q. Let x(y) be the third derivative of r(y). Is 6 a factor of x(-2)?
True
Let l = 161 - 144. Suppose v = -x + l + 186, -2*x = v - 407. Is x a multiple of 6?
True
Suppose -4*v + 1162 = -3*r, v = -2*v + 2*r + 872. Suppose 2*g - 48 = v. Is g a multiple of 9?
False
Let n = 22183 - 12721. Does 30 divide n?
False
Let p(i) = i**3 - 22*i**2 - 95*i + 211. Does 5 divide p(26)?
True
Let c be 4*-2*2/(-8) + -66. Let m = -72 + c. Let u = m - -155. Does 5 divide u?
False
Suppose -126953 + 435478 = 28*p - 207123. Is p a multiple of 88?
False
Suppose 21*q = 31357 - 11092. Is q a multiple of 15?
False
Let z be (-22)/(-3)*(149 - -34). Suppose 3*q - z = -427. Is 61 a factor of q?
True
Suppose -107*a + 176576 = -43*a. Is 28 a factor of a?
False
Let q(g) = -135*g + 36. Suppose -4*d - 47 = 4*f - 7*d, 4*f = d - 37. Does 18 divide q(f)?
True
Is 58 a factor of ((-125438)/8)/19*48/(-2)?
False
Let k = 159 + 316. Let c = 275 - k. Is 17 a factor of (2/(-6))/(c/(-204) + -1)?
True
Let a(q) = 101*q**2 + 6*q + 6. Suppose 14 = -4*v + b - 3*b, -4*b - 18 = -2*v. Let r be a(v). Let z = -24 + r. Does 9 divide z?
False
Suppose -35*w + 7*w = -1092. Let j = 507 - w. Is 36 a factor of j?
True
Suppose a + 2*t + 103 + 84 = 0, 2*a - 4*t + 406 = 0. Let l = a - -272. Is 17 a factor of l?
False
Let a be (24/36)/((-2)/63*3). Let s(l) = -l**2 - 17*l + 12. Is 10 a factor of s(a)?
False
Let g = -898 + 343. Let b be (4*(-33)/10)/(74/g). Suppose -d - 63 = -b. Is 18 a factor of d?
True
Let n(u) = u**2 + 12*u. Let k be n(-12). Suppose -3*g + 2*g - 5*f + 4 = k, -3*f = -3*g + 12. Is 9 a factor of 3 + 56 - (3 - g)?
False
Is ((-2052)/(-48))/((-6)/(-336)) a multiple of 19?
True
Let i be 12/(-20) + (-291)/15. Let s(d) = -30*d + 72. Is 21 a factor of s(i)?
True
Let q be (-5)/15 + 10/3. Suppose -q*a + 5*z = -a - 508, z - 2 = 0. Is 23 a factor of a?
False
Suppose -90710 = -52*u - 42*u. Does 5 divide u?
True
Let u(k) be the second derivative of k**4/4 - k**3/3 + k**2/2 + 41*k. Let d be u(2). Suppose d*q - 199 = 71. Is 6 a factor of q?
True
Let m = -17 + 317. Let w = m - 271. Does 4 divide w?
False
Suppose 0 = -3*l + 20 - 2. Is 8 a factor of (55 + -51)/(1/l)?
True
Suppose 0 = -5*o + 9*o + 72. Is 28 a factor of 21/(((o/8)/(-1))/6)?
True
Is (-114)/(-171) + (-57206)/(-6) a multiple of 133?
False
Suppose 14*r - 9*r - 2*i = 140592, 0 = -2*r + 4*i + 56240. Is 17 a factor of r?
True
Suppose 4*m - 210 - 8830 = -4*c, -c - 5*m + 2284 = 0. Is 49 a factor of c?
True
Suppose 4*t = 4*r - 3628, 5*r + 22*t = 23*t + 4555. Let f = r - 904. Does 4 divide f?
True
Let p = -51 + 59. Suppose -3*m + f + 7 + 3 = 0, -2*f - p = 0. Suppose -2*u - 150 = -7*u - 5*h, -m*u + 2*h + 60 = 0. Does 6 divide u?
True
Suppose 4*d = r - 768, -4*d + 177 + 2835 = 4*r. Let t = 1134 - r. Is 6 a factor of t?
True
Let g(o) = 1369*o**2 + 17*o - 18. Is 19 a factor of g(1)?
True
Suppose -66 + 1 = k. Let q = k - -100. Is 12 a factor of q?
False
Let q be (-4)/3*(-3 + (1 - 1)). Suppose -5*b + 5*p = -505, -200 = -q*b + 5*p + 203. Suppose -5*g = -b - 138. Is 11 a factor of g?
False
Let n(s) be the first derivative of -s**4/4 + 2*s**3 + s**2/2 - s + 15. Let p be n(6). Suppose -p*b + 155 = -275. Is b a multiple of 9?
False
Let o(b) be the first derivative of -b**4/4 - 2*b**3/3 - b**2 - 828*b + 6. Let n be o(0). Does 10 divide n/(-42) + 32/14 + -2?
True
Let h be 0/(-2) - (5 + -1). Is 19 a factor of (7*(-2)/h)/(50/5900)?
False
Suppose 4*q = m - 515, -m + 24*q + 509 = 21*q. Is m a multiple of 4?
False
Let v(r) = -r**3 + 12*r**2 - 25*r + 40. Let h(l) = l**2 + 15*l + 63. Let p be h(-6). Does 4 divide v(p)?
False
Suppose 14*x - 39*x = -75. Suppose 8*b = -x*b + 880. Is b a multiple of 14?
False
Let n be 177/295 - (1 + 14838/5). Let m be n/11 - 10/55. Let t = 378 + m. Is 36 a factor of t?
True
Suppose 5*y - 10872 = -2*w, -16*w + 12*w + y + 21678 = 0. Does 39 divide w?
True
Let t(k) = 3637*k - 1497. Does 9 divide t(3)?
True
Let u = 122960 + -65027. Suppose -23*y + 64*y = u. Is y a multiple of 37?
False
Suppose -32 = -4*s + 3*a - 4, 5*s + 3*a - 8 = 0. Is s + (-6)/(-40)*4*105 a multiple of 10?
False
Let w(z) = 147*z**2 + 29*z - 162. Is 14 a factor of w(15)?
True
Suppose -2*d + 4 = 2*t - 6, 3*d - 3*t = -3. Suppose 3*k = 5*r + 685, -d*k + 4*r = 154 - 612. Is k a multiple of 10?
False
Let c = -4808 + 9538. Is 10 a factor of c?
True
Let b(x) = 1340*x + 878. Is 27 a factor of b(23)?
True
Let u be ((-477)/(-6))/((-1)/12). Let f = -642 - u. Let n = 437 - f. Is n a multiple of 34?
False
Does 146 divide (-2)/8 - (-4858473)/708?
True
Suppose -34*g + 41*g = 49. Is 5 a factor of 52/(-8)*(g - 57)?
True
Let k(m) = 104*m**2 + 19*m - 33. Suppose u - 3 = -1. Is 46 a factor of k(u)?
False
Suppose -148 = -6*b + 194. Suppose b = 3*t + 3*s - 6*s, -3*t - 2*s + 67 = 0. Is t a multiple of 9?
False
Let p be (-82)/(-26) + 14/(-91). Let t be (4/(-4))/(26/(-9) + p). Is 4 a factor of ((-96)/t)/(2/3)?
True
Suppose 4*g - 1582 = 490. Suppose 3*a - g = -77. Suppose 56 = 7*k - a. Is k a multiple of 12?
False
Let f be 0 - (-146)/3*3. Let t = 168 - f. Is t a multiple of 11?
True
Suppose 22*x - 1976 = -392. Suppose 0 = u - 44 - x. Does 15 divide u?
False
Let k(y) = -11*y + 75. Let v be k(6). Suppose -267 - 149 = -4*f. Let o = f + v. Does 14 divide o?
False
Let h(i) = -29*i - 266. 