-18*j + 153. Let z be w(21). Let l = z - -456. Does 21 divide l?
True
Let x(m) = -16 - 20*m + 8 - m - 13. Let h(d) = d + 1. Let r(s) = -3*h(s) - x(s). Is r(2) a multiple of 27?
True
Let w be -2 - (-5)/2 - (-18)/12. Suppose -24 = -z - 4*d, 0 = 3*z - w*z - 4*d - 48. Is 5 a factor of z?
False
Let o = -60 + 221. Let j = 213 - o. Is j a multiple of 3?
False
Suppose 11 = 2*s - 5*g, 5*s + 5*g = -0*g + 10. Suppose -s + 146 = 11*d. Is d even?
False
Let z(r) be the third derivative of r**6/20 + 7*r**5/60 - r**4/3 - 5*r**3/6 - 10*r**2 - 1. Does 27 divide z(4)?
True
Let w(t) = -t**3 + 37*t**2 - 107*t - 77. Suppose -73*s + 3*s = -2310. Is w(s) a multiple of 85?
False
Does 7 divide ((-385)/22 + 14)*-46?
True
Let p = -23541 - -26941. Is p a multiple of 68?
True
Let z = 1331 + 7541. Is z a multiple of 8?
True
Let n = -252 + 253. Is 748 + (-6 - ((-6 - -5) + n)) a multiple of 30?
False
Let k(r) = -2*r**2 + 13*r - 5. Let g(n) = 5*n**2 - 27*n + 11. Let m(y) = 4*g(y) + 9*k(y). Let c be m(-5). Is 20 a factor of 172 - c/(-3)*3?
False
Let l = 43 + -42. Let y(i) = 140*i**2 - i. Let n be y(l). Does 35 divide 4*(n/4 + 2)?
False
Let j = -94 - -91. Does 11 divide -4 + -4*(j + 807/(-12))?
False
Suppose 0 = -194*t + 139*t + 330000. Is t a multiple of 125?
True
Let d = -117 + 117. Suppose 0 = 2*h - 3*f - 839, -4*f + d = -20. Does 9 divide h?
False
Let l(o) = -o**3 - 25*o**2 + 5*o - 62. Let c be l(-27). Suppose -2*i + g + 4*g = -511, 0 = -5*i - 4*g + c. Does 26 divide i?
False
Let l be (-2)/(-6) - 1220/(-30). Let w = l + -39. Does 19 divide w/(-1*5/(-60))?
False
Let r(g) = -8*g - 38. Let c be r(-5). Suppose 4*q - 2016 = -i, -4*i - 1008 = -0*q - c*q. Is q a multiple of 45?
False
Let l = 66 + -57. Suppose 767 = -l*c - 367. Is 13 a factor of 12/30 + c/(-10) + 0?
True
Suppose 2*l - 43793 - 9947 = -5*i, 53728 = 2*l + 2*i. Is 17 a factor of l?
True
Does 35 divide ((-38)/19 + 0)/(1/(-6825))?
True
Is (-928736)/(-152) + 20/(-190) a multiple of 20?
False
Let j(c) = -7*c - 11. Let d be j(-2). Suppose 3*l - 24 = -d*l. Suppose -820 = -3*r - l*f, 3*f + 382 = r + 113. Does 17 divide r?
True
Let a = 3227 + 539. Is a a multiple of 94?
False
Let z be (6/(-8))/((45/(-24))/5). Suppose -2*m - z*m + 16 = 0. Does 4 divide ((-41)/m + 2)/(6/(-32))?
True
Suppose 2*c + c + 15 = 0. Let h be ((-6)/c)/(((-84)/(-40))/7). Suppose -7 - 173 = -h*d. Does 6 divide d?
False
Suppose 15*v - 297 + 42 = 0. Suppose z = v*z - 6336. Is z a multiple of 44?
True
Is 28 a factor of (4 + -26)*(-17704)/44?
False
Let m be ((-4)/4 - -1)/2. Suppose m = 15*z - 17*z + 8. Suppose y = -z*y + 3*q + 88, 0 = -2*y - 5*q + 60. Is y a multiple of 4?
True
Let g be -481 + 5 + -4 - -2. Let w = 900 + g. Is w a multiple of 22?
False
Let h(d) = 18 + 33*d**2 - 31*d**2 - 30*d + 5*d. Let c be h(16). Suppose -c = -7*y + 395. Is 12 a factor of y?
False
Suppose -517*q - 125052 = -551*q. Is q a multiple of 6?
True
Let t(n) = -419*n - 15591. Is t(-62) a multiple of 22?
False
Let y = 9157 + 5068. Does 121 divide y?
False
Suppose 19700 + 6018 = 11*m. Does 40 divide m?
False
Suppose 0 = -18*a - 33093 + 87651. Is 101 a factor of a?
False
Let t = -19707 + 25215. Is t a multiple of 2?
True
Let u = -221 + 226. Let d(l) = 40*l**2 - 14*l + 22. Is 17 a factor of d(u)?
True
Suppose -80*r + 23855 = -14225. Is 14 a factor of r?
True
Let a(i) = -i**3 + 7*i**2 + 8*i + 3. Let n be a(8). Suppose 0 = -5*f - 5*w + 16 + 29, -n*f + 17 = w. Suppose -123 = f*k - 607. Is k a multiple of 33?
False
Let v(w) = 4*w**3 - w**2 - 12*w - 12. Let s be v(-4). Let y = s - -365. Is 30 a factor of y?
False
Let j = -589 - -150. Let l = j - -518. Is l a multiple of 2?
False
Let h(m) = -352*m - 86. Is h(-1) even?
True
Suppose -11*h + 741 = -17*h + 1917. Does 3 divide h?
False
Let z be 25*(8/(-12))/(15/(-9)). Suppose 14*y - z*y = 12. Suppose 55 = -y*w + 229. Is w a multiple of 29?
True
Is ((-31779)/535)/(6/(-340)) a multiple of 22?
True
Suppose 3485 = t + 3*v - 3875, -7340 = -t + v. Is t a multiple of 4?
False
Let l = 78387 + -55978. Is 30 a factor of l?
False
Let u(z) = 40*z - 3. Suppose 0 = -2*m - s - 2*s + 58, -2*m + 2*s = -78. Suppose -o = 32 - m. Does 39 divide u(o)?
True
Suppose -2*n + 855 + 115 = -3*v, 0 = -v - 5*n - 329. Is 4 a factor of v/(-18)*6/4?
False
Suppose 83 = 8*k + 51. Suppose k*j - 22 = 14. Is 2 a factor of j?
False
Let o = 44 - 23. Suppose 4*y + 3*u = 114 - 37, 59 = 3*y + 2*u. Suppose -y*j + o*j = -224. Is 28 a factor of j?
True
Suppose -51*y + 152933 + 517688 = -290984. Is 9 a factor of y?
True
Let y(w) = -2*w**2 - 36*w - 18. Let m = -19 - -2. Let v be y(m). Suppose 72 = -14*a + v*a. Is a a multiple of 12?
True
Suppose 175*z - 13818 - 44282 = 0. Does 3 divide z?
False
Let d = -6697 - -7916. Is d a multiple of 23?
True
Suppose 4*x - 2*j = 20, -9 = -x - 5*j + 18. Suppose x*o + 12*o = 152. Does 8 divide o?
True
Suppose 0 = 2*h + 3*h - 5. Suppose -p + h = -2*p. Is 35 a factor of 3/1 - (p + -31)?
True
Let w = -31205 + 34880. Is 21 a factor of w?
True
Let f(z) = 4*z**2 - 107*z + 51. Let o be f(25). Let x be (-4206)/21 + 4/14. Let h = o - x. Is 8 a factor of h?
False
Let r = -2976 - -7889. Is 11 a factor of r?
False
Suppose -36*i = -31*i - 2120. Suppose -3*o = -i - 164. Is o a multiple of 28?
True
Suppose 3*m + 2*t - 128 = 2*m, 5*t = -2*m + 253. Is 18 a factor of ((m - 0) + 1)*232/174?
True
Suppose 3*y - 4*v = 18, 3*v = 5*y + 5*v - 4. Suppose -y*x + 3*z = z - 482, -5*x = 2*z - 1198. Does 7 divide x?
False
Let h(n) = 421*n - 889. Is h(21) a multiple of 9?
False
Suppose -2*s - 8*c = -12*c + 24, -4*c + 12 = 0. Does 25 divide 450/(-4)*(0 + 8/s)?
True
Let l = 7726 - 4753. Suppose -3565 = -7*m + l. Is 73 a factor of m?
False
Suppose -u + 2*i = -1686, 2*i - 6130 = -4*u + 584. Is 120 a factor of u?
True
Suppose 17*p = 4047 + 237. Is 42 a factor of p?
True
Suppose 0 = -17*l + 13*l + 44. Let n(v) = -l*v + 164 - 158 + v. Is 6 a factor of n(-6)?
True
Suppose 0 = -b + 4*u + 2, -2*b - 5*u + 26 = -4. Let m be (1 - 1) + b/(-5) + 6. Is 7 a factor of (2 + -1)/(m/92)?
False
Suppose l + 25 = 39. Suppose -l*h + 1379 = -3325. Does 8 divide h?
True
Let x = 96 - 99. Let i(c) = 20*c**2 - 5*c - 3. Is i(x) a multiple of 16?
True
Suppose 187*d - 188*d = 127. Let g = 132 + d. Suppose 4*i - 4*f - 228 = 0, -f = -6*f + g. Does 30 divide i?
False
Let n(x) = -9133*x - 4383. Does 14 divide n(-3)?
True
Let f be 4/(-10) - (-8285)/25. Let h = f - 777. Let v = -212 - h. Is v a multiple of 39?
True
Suppose -20*u = -2618 + 1238. Is u a multiple of 69?
True
Suppose 0 = 2*y + 5*z - 1588, 0 = 5*y + 2*z + z - 4008. Suppose 4*a - y = -5*i + 4*i, 0 = 5*i. Is 5 a factor of a?
False
Let t = -3673 - -6423. Does 8 divide t?
False
Let o = 246 - -1. Suppose 329 = 3*d - o. Is 12 a factor of d?
True
Suppose f = 2*d - 4, 2*f - 4 = -4*d + 2*d. Suppose 5*i + 2*t - 30 = f, -3*i = -4*i - t + 3. Suppose j + 735 = i*j. Is 19 a factor of j?
False
Suppose 2*r + 1783 = x + 42, 3*r = -4*x + 6931. Suppose -x - 1735 = -10*t. Is 61 a factor of t?
False
Let f(t) = 35*t + 2. Let d be f(2). Suppose 3*o = 4*p - d, 4*p - 4*o - o = 72. Let r = 17 + p. Is 5 a factor of r?
True
Let q = 340 + -337. Suppose -q*k + 0*k - h = -386, 2*k - 3*h = 250. Is k a multiple of 16?
True
Suppose -2*s - 2*h + 83666 = 0, 90*s + 2*h + 41806 = 91*s. Is 8 a factor of s?
True
Suppose -14*r + 30*r = 0. Suppose -7*v + 18*v - 5940 = r. Is 45 a factor of v?
True
Let v(t) = -t**3 + t**2 - 2*t + 148. Let h = -99 + 99. Is v(h) a multiple of 31?
False
Is 67880/64 - 30/48 a multiple of 20?
True
Let x be ((-24)/(-3) - 3) + 9 + -11. Is 19 a factor of 419 + (-2 + x)*(-3)/3?
True
Let w(x) = 18 + 493*x - 180*x + 110*x + 62 + 203*x. Is w(2) a multiple of 12?
True
Suppose 7*t - 3*t - 104 = 0. Suppose -5*o + 11 = t, j = o + 5. Is (j - 3)/(3/(-348)) a multiple of 13?
False
Suppose 7*l + 3*l = 30. Suppose -3*c + p + l*p - 137 = 0, c - 5*p + 31 = 0. Is 6/4*(-2584)/c a multiple of 15?
False
Let h be (-4 - 36/(-10))*-965. Suppose 12*p = 13*p + h. Is 6 a factor of (-10)/(-25) - p/10?
False
Let w be (-10)/(-7) + 40/70. Suppose 581 = a + 3*p - 380, 0 = -3*a - w*p + 2911. Is a a multiple of 53?
False
Let j = -14 + 23. Let w(b) = -78*b + 7041. Let v be w(62). Suppose -v = -0*u - j*u. Is u a multiple of 34?
False
Let p(m) = 14*m**2 - 5*m + 21. Let s be p(-14). Is 31 a factor of s/18 + (4/8 - 0)?
F