) = 2970*w - 164. Is y(4) a multiple of 101?
True
Let f(s) = s**3 + 51*s**2 - 13*s - 136. Does 7 divide f(-51)?
False
Suppose 0 = -16*q + 33072 + 10080. Suppose 3*u - q = 3*l, -5*u - 2*l + 1709 = -2793. Is 36 a factor of u?
True
Suppose 26 - 6 = 5*l. Suppose -z - l*w = -3*z + 24, 0 = 3*w + 15. Suppose -3*r = -a - 288, r - 4*r + 288 = z*a. Is r a multiple of 8?
True
Let c = 465 - -886. Suppose c = 2*i - r, 1348 = -8*i + 10*i + 2*r. Does 27 divide i?
True
Let u = 93 + -94. Does 18 divide ((-24)/18)/(u/24)?
False
Let u = -11 - -16. Let y(j) = 11*j + 2. Let c be y(u). Suppose 54*x - c*x + 33 = 0. Does 4 divide x?
False
Is 8 a factor of (-9 - -23) + 8726/1?
False
Let o = -44 + 173. Let w = 229 - 153. Let d = o - w. Does 15 divide d?
False
Is ((-1800)/(-84))/(7/1715) a multiple of 10?
True
Let w(t) = 328*t - 183. Let g be w(8). Suppose -11*c - 32 = -g. Does 6 divide c?
False
Let n = 252 - 249. Suppose 5*m - 31 = -n*u, -3*u - 2*m = -3*m - 37. Does 9 divide u?
False
Let k(x) = 24*x**2 + 6*x - 7. Let y be (2 + (-6)/12)*2. Does 18 divide k(y)?
False
Let a be 2/(-5) - (-2 + (-69)/(-15)). Let r be (a + 0)*29*-1. Let o = r + -67. Does 2 divide o?
True
Let f = 336 + -576. Is 16 a factor of ((-2)/8 - -1)/((-3)/f)?
False
Let d(w) = -w**2 + 36*w + 110. Let u be d(-3). Let h(p) = -39*p - 57. Does 8 divide h(u)?
True
Let f = 9 + -7. Suppose -d + f + 2 = 0. Suppose 0*g + 53 = 3*g - 5*j, 0 = -d*g + 3*j + 56. Does 11 divide g?
True
Let v(d) = -d + 2. Let c(a) = 3*a - 56. Let u(t) = c(t) - 2*v(t). Let m be u(14). Suppose -m*b = -7*b - 405. Is b a multiple of 15?
True
Let m(r) = 247*r - 2. Let n be m(2). Let f be (-1 - (-26)/(-3))/((-77)/2541). Let w = n - f. Does 33 divide w?
False
Suppose -2*j = 1 - 5. Suppose 42 = -z - 2*b, -j*z - 128 = z + 4*b. Let k = 66 + z. Does 22 divide k?
True
Let u(a) = a**2 - 18*a + 20. Let l be u(13). Let k = -24 - l. Does 15 divide ((-3748)/(-28) - -1) + 3/k?
True
Let j = 283 - -3952. Is j a multiple of 5?
True
Let d be 3/(-3*1/(-39)) - 3. Is 16 a factor of 6*174/d + (3 - 0)?
True
Let p = 29533 + -17628. Does 25 divide p?
False
Is 39/2*(-152)/19*1030/(-12) a multiple of 10?
True
Let x = 2517 - 1361. Is x a multiple of 17?
True
Suppose 43*d + 109701 - 367830 = 0. Is 29 a factor of d?
True
Let t(h) = 7*h**2 - 3*h - 7. Suppose 2*l = 5*n - 4, -10*n + 5*n = -3*l - 6. Is t(l) a multiple of 6?
False
Let u(q) = q + 17. Let x be u(-13). Suppose x*d - 3*i = 1079, 0*d + 547 = 2*d + i. Suppose -5*p - d = -712. Is 13 a factor of p?
False
Suppose 68 = 9*t - 11*t. Let s = t + 37. Suppose -8 = -s*x + 2*a + 104, 5*a = -2*x + 81. Is 19 a factor of x?
True
Suppose 2 + 6 = 2*w. Suppose d = w*d. Suppose 5*h + 4*h - 612 = d. Does 17 divide h?
True
Let z(o) = -7*o**2 - 2*o. Let c(h) = 28*h**2 + 8*h. Let j(s) = -4*c(s) - 18*z(s). Does 2 divide j(-2)?
True
Is 69 a factor of 14/(-35) + (-33328)/(-20)?
False
Let v(o) = -11*o + 20. Let y be v(-5). Let n be 0/(-1 + 0) + 14 - 2. Suppose n*m + y = 13*m. Does 4 divide m?
False
Let c = -6811 - -6811. Let b(f) = 6*f**2 + 7*f + 111. Let k(y) = 5*y**2 + 6*y + 110. Let i(p) = -6*b(p) + 7*k(p). Is i(c) a multiple of 13?
True
Let n = 32833 + -30076. Is 9 a factor of n?
False
Suppose 4*o + o - 15 = 0, -3*o + 288 = 3*v. Suppose 82*b = v*b - 6292. Does 52 divide b?
True
Suppose w + v = 16, -46 = -2*w - 5*v + 1. Suppose -1 = -6*n + w. Does 13 divide ((-9)/n)/((-2)/40)?
False
Suppose -8*l + 24776 = -7*l. Suppose 3*t = l - 4661. Is 52 a factor of (-3)/7 + t/63?
False
Suppose -199*z + 1227975 = 58452. Is z a multiple of 9?
True
Let h be 54/(-4)*16/(-6). Does 8 divide 22*(h/8 - -1 - 3)?
False
Let u be (13 + 2)*(8/5)/(-2). Let v be 1130/4*u/(-10). Let j = -153 + v. Is 31 a factor of j?
True
Let g be 5 - (2 + (-3 - -1)). Suppose -g*t - 4*k = -1567, -5*k - 264 - 61 = -t. Is t a multiple of 16?
False
Let c(g) = 22*g**2 + 132*g + 102. Is c(13) a multiple of 72?
False
Suppose -353*d + 449*d = 110880. Is 11 a factor of d?
True
Let q(r) = -r**3 + 6*r**2 + 7*r + 5. Let g be q(7). Suppose -d = -g*d. Suppose d = -z + 4*h + 31, -2*z = 3*z + h - 113. Is z a multiple of 2?
False
Let t = -593 + 595. Suppose -3*u + 3*r + 626 = -r, -3*u = -t*r - 628. Does 10 divide u?
True
Suppose 0 = 187*s + 990878 - 3661612. Does 55 divide s?
False
Suppose 653 + 847 = 4*z. Suppose 8*d = z + 409. Does 14 divide d?
True
Let m(k) = -171*k - 816. Is 7 a factor of m(-27)?
True
Let y(k) = -k**2 + 213*k - 6545. Is 49 a factor of y(122)?
True
Let v(h) = h**3 - 26*h**2 + 49*h - 12. Let r be v(24). Suppose -r*q + 1120 = 160. Is 6 a factor of q?
False
Let a be 2/(-14) + 2/14. Suppose 12*m - 14*m + 32 = a. Does 23 divide 161/28*m/1?
True
Let o(k) = 61 - 79 + 27*k + 3*k**2 + 10. Is 11 a factor of o(-10)?
True
Suppose 3*y = h + 1, 5*h = -7*y + 2*y + 35. Let z = 5 - 1. Suppose -310 = -3*w + 4*s, z*s = -y*w - 0*s + 200. Does 6 divide w?
True
Suppose -8*b + 5*b = -4*g + 591, 2*b - 6 = 0. Let w = g - 18. Is 11 a factor of w?
True
Let l(r) = r - 19. Let g be l(17). Let y be ((-4)/7)/(3*g/21). Suppose b = -4*b + 2*d + 186, 114 = 3*b - y*d. Is b a multiple of 12?
True
Let v be (-2)/8 + -162*14/(-112). Suppose v = -4*s, 4*h + 25*s - 5260 = 21*s. Is 12 a factor of h?
True
Let j = -31129 + 34440. Is j a multiple of 4?
False
Suppose 2*d - 8340 = -3*y, 8*y - 20 = 13*y. Does 10 divide d?
False
Suppose 13*v - 319 = -280. Suppose d = 4*q + 57, 116 - 333 = -5*d + v*q. Is 41 a factor of d?
True
Suppose m + u - 869 = 0, -5*m + 0*m = -4*u - 4408. Does 46 divide m?
False
Let v(k) = 137*k + 10. Let z be ((-6)/4)/(1/(-2)). Let d be v(z). Suppose -2*g - g + d = -t, -2*g = -2*t - 282. Does 35 divide g?
True
Suppose 3*b = 4*r + 26, -b - 16 = b + 4*r. Let i(m) = -4*m**2 - m - 13. Let w(z) = -3*z**2 - 2*z - 13. Let a(l) = b*i(l) - 3*w(l). Is a(-7) a multiple of 34?
True
Let t be (69972/(-70))/(3/(-15)). Suppose -7*o - t = -21*o. Is o a multiple of 51?
True
Let b = -2722 - -4930. Does 48 divide b?
True
Let a be (-15 - 7)*2/(-4). Is a/((-198)/(-18148)) + 4/(-18) a multiple of 56?
True
Is 137 a factor of 53 + 15435 + ((-4)/(-18) - 130/18)?
True
Suppose -9*o + 13*o = 1416. Let g = -191 + o. Let b = 301 - g. Is b a multiple of 23?
True
Let h = -191 - -191. Suppose -3*u = u - 48. Suppose -m + 2*d + u = -h*m, d = -m. Is m even?
True
Let g = 1581 - 954. Is -45 + g + 7*1 a multiple of 19?
True
Suppose -2*q + 2*o + 22250 = 0, -2*q + o + 11805 + 10452 = 0. Is 242 a factor of q?
True
Let r(s) = -2*s**3 + 144*s**2 - 88*s - 230. Is r(71) a multiple of 26?
False
Is (-12614 + 16/8)/(-2) a multiple of 98?
False
Let x = 1208 - 515. Suppose 4*d - x = 139. Suppose 0 = 4*n - 304 - d. Does 8 divide n?
True
Let r(w) = -18*w - 23. Let u = 388 - 391. Is 6 a factor of r(u)?
False
Let r(x) = -x**3 - 8*x**2 + 9*x + 2. Let f be r(-9). Suppose f*b - 2 + 0 = 0, -b - 44 = 5*l. Let u(q) = -q**2 - 13*q + 1. Does 8 divide u(l)?
False
Let i(g) = 12*g**2 - 8*g - 23. Let y be i(-4). Let p = y + 13. Is p a multiple of 25?
False
Suppose -1840*v + 378620 = -1829*v. Is v a multiple of 57?
False
Let f be (-6)/(-9) + 252/27. Suppose 0 = f*g + 2*g - 1260. Is 12 a factor of g?
False
Let i(s) = 5*s**2 - 3*s + 1. Let f be ((-2)/(-8))/(5/40). Let g be i(f). Is 27 a factor of (-327)/(-4) + g/(-20)?
True
Let m = 189 + 5931. Is 40 a factor of m?
True
Let y(g) = -14*g + 4. Let t(c) = -73 + 13*c + 37 + 33. Let u(f) = -4*t(f) - 3*y(f). Is 9 a factor of u(-1)?
False
Suppose 139*l = 142*l - 6. Suppose l*n = 2*b - 3*b + 905, -5*b = 3*n - 1368. Is 7 a factor of n?
False
Is 1834/(-393)*863*180/(-14) a multiple of 30?
True
Let r = -8533 - -14258. Is r a multiple of 5?
True
Let v = 32 + -33. Let n be (v/3*3)/(1/(-3)). Suppose 0 = 3*f + 3*i - 243, f - 2*i - 330 = -n*f. Does 41 divide f?
True
Let h(b) = 1293*b**2 + 256*b + 984. Is 17 a factor of h(-4)?
False
Does 3 divide 1*-2 + (-23)/((-644)/26936)?
True
Let n = 19 + -16. Let v(f) = f + 3. Let g(w) = 3*w + 9. Let u(j) = n*g(j) - 8*v(j). Is 3 a factor of u(0)?
True
Let i = -5867 + 9050. Is 54 a factor of i?
False
Let x = -118 + 133. Let n(r) = -r**3 + 16*r**2 - 14*r + 9. Does 12 divide n(x)?
True
Suppose 0*c - 9 = -c. Suppose 14*r = 11*r + c. Suppose r*u - 7*u = -76. Does 4 divide u?
False
Suppose 0 = -2*r - 4, -1072 + 28858 = 4*p - r. Does 115 divide p?
False
Let x = -19445 - -29043. Does 48 divide x?
False
Let