 -15*z + 10*z + 1400 = h. Is 35 a factor of z?
True
Let d = 172 - 67. Suppose 10*m - 3*m - d = 0. Does 3 divide m?
True
Let t(q) = -q - 3. Let p be t(-17). Suppose p*c - 18*c = -20. Suppose -2*f = -f + 2, 4*g - 50 = c*f. Does 2 divide g?
True
Suppose -4*h = 2*o - 17584, -2*o - 11634 = -2*h - 2854. Does 9 divide h?
False
Let p(b) be the first derivative of 1/2*b**2 + 29 + 1/4*b**4 + 110*b + 2/3*b**3. Is 22 a factor of p(0)?
True
Let t = -64 + 68. Suppose -t*u + 20 = u, 2*c - 92 = u. Is -1 - (c/((-1)/1) - 3) a multiple of 25?
True
Let k = 137 + -102. Suppose -33*g + k*g - 192 = 0. Is 8 a factor of g?
True
Let l = -367 + 369. Suppose 0 = -5*o + s + 6194 - 1673, l*o - 1813 = 5*s. Does 8 divide o?
True
Let u(s) = 40*s - 1. Let c(i) = -119*i + 4. Let j(z) = z**2 - 17*z + 24. Let g be j(16). Let w(v) = g*u(v) + 3*c(v). Is 5 a factor of w(-1)?
False
Let r(h) be the third derivative of 7*h**4/12 + h**3/6 + 3*h**2. Let w = 48 - 42. Is r(w) a multiple of 5?
True
Let w(u) = u**2 - 19*u - 36. Suppose 0 = 5*s + 25, -s - 2*s = -3*l + 78. Let n be w(l). Suppose 460 = -2*x + n*x. Does 15 divide x?
False
Let y(z) = 12*z + 58 - 9*z - 21*z + 25*z. Suppose -3*t + 65 = -d + 6*d, 5*t = 25. Is y(d) a multiple of 8?
True
Suppose 55 = -15*f - 80. Does 11 divide (-343)/f - (-25)/(-225)?
False
Is (549 - 541)/(2/6626) a multiple of 76?
False
Let g be (-3 - -1) + (-35)/5 + -34. Let l(y) = -13*y + 7. Let q be l(-6). Let v = q + g. Is v a multiple of 13?
False
Does 4 divide (18 + (-259)/14)*29*-40?
True
Let g(u) = -20*u - 5. Let k(j) = j**2 - 4*j - 31. Let p be k(8). Let o be g(p). Is 4 + 2 - (1 + 2) - o a multiple of 14?
True
Suppose -84*f + 505907 - 132443 = 0. Does 171 divide f?
True
Does 187 divide ((-1687)/56 + 0)*-536?
False
Let x(t) = -285*t + 3591. Is 38 a factor of x(5)?
True
Let z(a) = 291*a**2 - 204*a + 5. Is 28 a factor of z(-5)?
False
Let s = -80 - -112. Does 9 divide (720/(-64))/(2 + (-70)/s)?
False
Let c(s) = 30*s + 13. Let j be c(10). Let d = j - 12. Does 21 divide d?
False
Does 54 divide 1174185/54 + 150/180?
False
Let l = -2083 - -1354. Is 63 a factor of (-91692)/l + 4/18?
True
Let r be 14/49 + (-33)/42*-48. Suppose 9115 = r*z - 18055. Is z a multiple of 75?
False
Let j be ((-4)/3)/(22/(-153087)). Suppose j = 29*r + 1970. Is 24 a factor of r?
False
Let h(j) = 7*j**2 - 5*j + 4. Let d(b) = -b + 1. Let i(l) = -6*d(l) + h(l). Let t be 1/(-3) + (-15)/9. Is 8 a factor of i(t)?
True
Suppose 12*s + 2910 = 18. Let w = s - -481. Is w a multiple of 16?
True
Let m = -236 + 85. Let t = m - -239. Does 4 divide t?
True
Let m be (-47)/2 - (-15)/10. Is 28 a factor of 22/m + 211/1?
False
Suppose 0*h + 3*h = b - 14, -3*b - 5*h - 28 = 0. Let s be 8 + 5 + -1 - b. Suppose -8*w + s*w - 15 = 0. Does 3 divide w?
True
Let f(g) = -20*g - 1. Let o be f(-5). Suppose -100*a = -o*a. Suppose -7*p - 2*p + 792 = a. Is p a multiple of 22?
True
Does 51 divide 30/(3/((-3672)/(-7347)) - (56 + -50))?
True
Let s = 61 + -59. Suppose 0 = -s*l + 2*b + 892, -460 - 879 = -3*l + 4*b. Suppose -7*m + l = -150. Does 7 divide m?
False
Suppose 130*a + 134*a = 220*a + 1057056. Is 13 a factor of a?
True
Is 9 a factor of 6/(4*(-9)/(-33588))?
True
Let g = 117 - 29. Let v = 47 - g. Let x = 180 + v. Is x a multiple of 7?
False
Suppose 0 = -2*k - 8, 3*k = -b + 12 - 30. Let n(c) = -16 - 157*c + 5*c**2 + 313*c - 161*c. Does 25 divide n(b)?
False
Let p = 7464 + -4296. Does 66 divide p?
True
Let i(a) = a**3 + 14*a**2 + a - 3. Let d be i(-9). Does 33 divide (-4)/((-24)/d)*(10 + -8)?
False
Let c(o) = 3*o**2 + 5*o - 25. Let r be c(-8). Let j = 128 - r. Does 22 divide j + ((-1735)/(-20) - (-1)/4)?
True
Suppose 5*g + 24 = 84. Suppose 0 = -f + 3*u + g + 105, 0 = 3*u + 9. Is 36 a factor of f?
True
Suppose 11*h - 854 = 1302. Suppose -9*v + 13*v = h. Is v a multiple of 4?
False
Let n(j) = -1555*j + 533. Is 141 a factor of n(-4)?
False
Let h = -3453 + 5106. Is 4 a factor of h?
False
Let y(i) = -i**3 - 43*i**2 + 19*i - 44. Does 40 divide y(-44)?
False
Let y = -9838 - -15238. Does 18 divide y?
True
Let u(p) = 5*p - 10. Let k be u(3). Suppose 3*r + 2 = 2*d - 3, -d + k*r = 1. Suppose -2*w - 496 = -3*c, -2*c + 320 = -d*w - 0*w. Is 42 a factor of c?
True
Let c = 14 + 13. Suppose 0 = -h + 58 + c. Let n = 259 - h. Is 22 a factor of n?
False
Does 56 divide 8807/4 + 6/6*84/(-112)?
False
Let f = 218 - 214. Suppose 0 = -3*s + f*d + 1296, -2*d - 276 = -s + 154. Is s a multiple of 30?
False
Suppose p + 7 = 0, -27493 = -2*l + 5*p + 41422. Is l a multiple of 35?
True
Let k = -2439 - -7101. Does 18 divide k?
True
Let s = -11 - -15. Suppose -13*g = -s*g - 1287. Let o = -17 + g. Does 31 divide o?
False
Let g(b) = 4 + 3 + 114*b**3 - 2 - 8*b**2 - 115*b**3. Let u be g(-3). Is (-6)/15 + (-936)/u a multiple of 23?
True
Suppose -17*r - 27 + 112 = 0. Is 22 a factor of r/10 + (-2106)/(-12)?
True
Suppose 64 = 2*u - 5*u - 4*c, 0 = -u - 4*c - 24. Let s be 5820/(-70) - 18/(-126). Let h = u - s. Is h a multiple of 7?
True
Let o(x) = 8 + 9*x - 17*x**2 + 6*x**2 + 0*x + x**3. Let v be o(10). Does 9 divide 2170/30 - (v - (-14)/6)?
True
Suppose -4*y - 5*g - 45 = 0, 0 = -y - 2*g - g - 20. Let m be (-66)/(-6) + 2 + y. Suppose -m*i = 161 - 1177. Does 21 divide i?
False
Let o = -3032 - -5496. Suppose -o = -4*m - 836. Is 6 a factor of m?
False
Let q(v) = 11*v - 10*v**2 - 2 - 16*v**3 + 8*v**3 - 2*v**2 + 7*v**3. Let k be q(-13). Let x = 57 + k. Is x a multiple of 13?
False
Let z = -206 + 227. Is 2049/z - 3/(-7) a multiple of 7?
True
Let j = -16210 - -25875. Is j a multiple of 57?
False
Suppose -32602*u = -32671*u + 1046868. Does 5 divide u?
False
Let m(h) = -h**3 - 23*h**2 - 84*h + 138. Is 25 a factor of m(-26)?
True
Let k(j) = -195*j**3 - 46*j**2 + 10*j + 46. Is 10 a factor of k(-4)?
True
Suppose 0 = 8*z - 229 - 83. Let r = z + -35. Suppose -u + 5*u = -k + 130, 152 = 5*u - r*k. Is 8 a factor of u?
True
Let w(z) = 5*z + 4. Let y be w(2). Let o be y + 1 + 12/3. Let q = o + -8. Does 7 divide q?
False
Let f = -309 - -311. Suppose -f*a - 44 = -6*a. Is a even?
False
Let p(d) = d**3 + 6*d**2 + d + 28. Let o be p(-9). Let t = 124 - o. Is t a multiple of 46?
False
Suppose 16*n = 98 + 46. Suppose -6*v - 5*b - 2074 = -n*v, 2*v - 3*b - 1382 = 0. Does 52 divide v?
False
Let r(h) = -10*h + 12. Let f be r(-4). Let i = -53 + f. Is 32 a factor of i/((10/(-346))/5)?
False
Let t be ((-129)/9)/((-4)/168). Let m = -953 + t. Is 5 a factor of (-4)/(-6)*m/(-6)?
False
Suppose -2*b = -5*g - 3907, -16*g = -18*g - 6. Is b a multiple of 13?
False
Suppose 0 = k - 3 + 1, 3*k = -5*q + 21. Suppose -f - q*f + 740 = 4*s, 4*f + s - 752 = 0. Is f a multiple of 9?
True
Let w(d) = -d**3 + 19*d**2 + 29*d - 12. Let a = 205 - 185. Does 8 divide w(a)?
True
Let d(f) = -4*f**3 - f**2 + 20*f + 3380. Does 4 divide d(0)?
True
Let p(q) = -q**3 - q**2 + 2*q + 2. Let y be p(-2). Let w(r) = -7*r**y + 3 - 5 - 3 - 19*r - r**3 - 5. Is w(-5) a multiple of 8?
False
Let p = 87618 + -37893. Does 153 divide p?
True
Let h = -2119 + 1487. Let y = h + 715. Does 8 divide y?
False
Let v(m) be the first derivative of -2*m**3/3 - 3*m**2 + m + 30. Let l(k) = -k**2 + k - 1. Let f(x) = 2*l(x) - 2*v(x). Is f(-11) a multiple of 28?
True
Let w = 334 - 248. Suppose -4*x + 231 - w = h, 5*h - 4*x = 725. Is 29 a factor of h?
True
Let j(l) = 5*l - 15. Let g be j(-12). Let o = g + 72. Is (3/(-6))/(o/660) a multiple of 10?
True
Let w = 6760 + 20853. Is 237 a factor of w?
False
Let l(t) = -t**3 - 17*t**2 - 18*t + 4. Let f be l(-16). Does 6 divide (43/3 - 5)/(2/f)?
True
Let h(g) = 4*g - 12. Let l be h(7). Let p(a) = 17*a**2 + 1 - 6*a - 4 + 1 - l*a**2. Is 2 a factor of p(8)?
True
Let t(i) = -55*i + 94. Does 6 divide t(-20)?
True
Suppose -5818 = -18*c - 1840. Suppose c + 787 = 2*m. Does 14 divide m?
True
Let j = 12572 + -11288. Is j a multiple of 26?
False
Is 16 a factor of 0 + -2 - (-13854)/4*892/669?
False
Is 16 a factor of (21/14)/(6/7976) + 6?
True
Suppose 48*j - 9638 = 1162. Is 3 a factor of j?
True
Is 19 + 234306/(-144)*-8 a multiple of 28?
False
Let q be (-315)/10 - (-9)/6. Let f = -17 - q. Does 6 divide f?
False
Suppose 3*c + 891 = 5*y - y, 3*y - 3*c = 669. Let q = -49 + y. Suppose 0 = 4*i + 3*m - 2*m - q, -3*i + 4*m = -125. Does 14 divide i?
False
Suppose -4*j = -3*j + 3. Is (40/(-6))/(j + (-1202)/(-402)) a multiple of 34?
False
Let h = -