oes 13 divide l?
True
Let k(d) = d**2 - 10*d - 51. Let r be k(-18). Suppose -3*s - 157 = 2*h + 181, 4*s = -5*h - r. Let m = -63 - s. Does 5 divide m?
False
Suppose -4 = 5*u + 16. Let o be 0/(4/16 + 5/u). Suppose o = -2*c + 258 - 46. Is c a multiple of 17?
False
Let a = -6405 - -7032. Does 22 divide a?
False
Suppose 36*a + 2*c = 41*a - 42835, -42850 = -5*a - c. Is a a multiple of 47?
False
Let c = -163 + 52. Suppose 0 = 3*l - 5*s + 526, -2*l + 5*s = -4*l - 309. Let m = c - l. Is 14 a factor of m?
True
Suppose -11 = -3*m - 4*i, 11*m - 5*i = 7*m + 25. Suppose -2*j = m*h - 2205, 972 + 312 = 3*h + 9*j. Is h a multiple of 34?
False
Suppose -4116*v + 2*j = -4117*v + 11446, 0 = v + 3*j - 11450. Does 266 divide v?
True
Suppose -6*n + 105 - 339 = 0. Let t = 42 + n. Suppose t*k = 5*i - 2*k - 1500, 3*i = -4*k + 879. Is 34 a factor of i?
False
Let x(f) = 4*f - 10. Let g be x(10). Let k be (-1 + 2)/(g - 29). Let z(j) = 58*j**3 + 2*j**2 - 1. Is z(k) a multiple of 12?
False
Let v(x) = -x**3 - 3*x**2 + 2*x + 638. Suppose 165*j = 162*j. Is 44 a factor of v(j)?
False
Suppose -m = -7 + 3. Suppose -540 = -50*p - 4*p. Suppose -2*w + 5*n + 96 = 0, -3*w + m*n + 147 = p. Is 17 a factor of w?
False
Let q(o) = o**3 - 26*o**2 - 70*o - 136. Does 19 divide q(32)?
False
Let x(g) = -4*g**2 - 4 + 73*g + 428*g**3 - 68*g + 2*g**2. Does 9 divide x(1)?
False
Let u be 3*-1*1219/(-159). Let t(a) = 3*a**2 - 69*a + 15. Is t(u) a multiple of 4?
False
Let c = 18808 + -12330. Is 10 a factor of c?
False
Let o(w) = -5*w + 2. Let h be o(10). Let b = h + 51. Suppose -4*s + 5*g = 28 - 368, b*s = g + 266. Does 30 divide s?
True
Is 7 a factor of 1239/(-252)*(-3 + 0) + (-3)/4?
True
Let u = 0 + 4. Let q = -26 + 26. Suppose -x = u*j - q*j - 157, 4*j + 3*x - 167 = 0. Is 35 a factor of j?
False
Suppose -515*g + 500*g = -189090. Is g a multiple of 90?
False
Let s be -23*(16 + 5 + -2). Is 37 a factor of (23/23)/((-1)/s)?
False
Let u be 24/4 - 14/((-112)/(-24)). Let c(q) = 54*q + 10. Let l(v) = 109*v + 20. Let n(z) = 7*c(z) - 3*l(z). Is 25 a factor of n(u)?
False
Let r be (4/2)/((4 - 8)/(-72)). Is 25 a factor of (-7 - (-40776)/r) + (-2)/3?
True
Let c = -1856 + 3901. Suppose 35*f = -c + 7505. Is 12 a factor of f?
True
Let j(h) = 5*h**2 - 26*h - 105. Let p be j(-11). Suppose -f = 4*b - 2355, -5*b + f + p + 2151 = 0. Is 84 a factor of b?
True
Let r = 514 + -507. Is 95 a factor of (-8)/28 - (-10936)/r?
False
Let b = 76 + -68. Suppose b*s - 5*t = 5*s + 1008, -2*s = -4*t - 672. Does 32 divide s?
False
Suppose 0 = -8*k + 29483 - 18075. Does 2 divide k?
True
Let i(s) = 4*s - 15 + 42 + 3*s - 9*s. Is i(6) even?
False
Let v(y) be the third derivative of 6*y**2 + 1/60*y**5 - 11/3*y**3 + 0*y + 1/6*y**4 + 0. Does 20 divide v(-15)?
False
Let s = -948 + 13124. Is s a multiple of 175?
False
Suppose -5*m - 137 = -3317. Does 15 divide m?
False
Suppose -2076 = -3*j - 4*t + 20800, -4*j = -4*t - 30464. Is 41 a factor of j?
False
Let g(c) = 416. Let k(s) = s + 139. Let r(t) = 6*g(t) - 17*k(t). Is r(-19) a multiple of 14?
False
Let h = -661 - -949. Let g = 1428 - 1424. Suppose -3*u = -4*l + h, -5*l + 2*u + 360 = g*u. Is 14 a factor of l?
False
Let w be (-4)/22 - (408/(-66))/1. Let a(h) = h**2 - 4*h - 12. Let t be a(w). Suppose j = -3*c + 236, t = 5*j - 6*c + c - 1140. Is 26 a factor of j?
False
Suppose d = 4*i - 305, -71 = -i + 3*d - 8*d. Suppose 7920 = 86*o - i*o. Is o a multiple of 99?
True
Let x(a) = 2*a**2 - 8*a + 54. Let b be x(13). Let n(g) = 3*g**2 - 33*g**3 + b + 2*g + 12*g**3 - 285. Does 32 divide n(-2)?
False
Let r = 19 - 13. Let o(k) = -8*k - 4. Let a be o(0). Is 17 a factor of (-2475)/(-22) + r/a?
False
Let s be -8 - 13/(65/(-50)). Let w = 11 - 5. Suppose w*i - s*i - 136 = 0. Does 17 divide i?
True
Suppose -14534 = 28*v - 329366. Is 84 a factor of v?
False
Let n = 33652 + -28196. Is 31 a factor of n?
True
Suppose -h = 8*h - 1197. Let c = 592 - h. Is c a multiple of 51?
True
Suppose 409 + 1194 = -7*l. Let h = 180 - l. Does 24 divide h?
False
Let q(p) = p**3 + 13*p**2 + 87*p - 44. Is q(13) a multiple of 27?
True
Let u(a) = 19*a**2 + 8*a**3 - 36 + 3*a**3 - 5*a**2 - 9*a - 10*a**3. Does 10 divide u(-12)?
True
Let w(x) = -487*x - 50. Let u be w(10). Let y be ((-3)/(-5))/(24/u). Let m = -102 - y. Is m even?
False
Suppose 4*o - 42 = 2*o. Suppose -j + y = o, -3*y + 9 = -6. Let l = 31 + j. Is 15 a factor of l?
True
Suppose -n + 889 = -8*n. Let x = -64 - n. Suppose -66*t = -x*t - 174. Does 10 divide t?
False
Suppose -2*g = -g - 5*p + 4, 3*g = -5*p + 48. Suppose 9*w + 132 = g*w. Is w a multiple of 6?
True
Let i = 151 - 139. Does 3 divide (-10 + (-51)/6)/((-2)/i)?
True
Is 90 a factor of (-2)/7 - 191232/(-168)?
False
Suppose -2*z - 2*l + 463 = 3*l, 2*l = -z + 231. Let i = z - 214. Is 8 a factor of i?
False
Let w(v) = 20*v**2 - 193*v - 79. Is w(20) a multiple of 12?
False
Let r = -57 + 60. Suppose 8*t - 30 = r*t. Is 13 a factor of t/(-18)*-1*309?
False
Let k(x) = -2*x**2 - 3*x - 2. Let d be k(-2). Let n(q) = -q**3 - 19*q**2 + 2*q + 16. Let l be n(-19). Does 2 divide l/d + 2/(-4)?
False
Let y(t) = -324*t + 6700. Is 5 a factor of y(15)?
True
Suppose -3*z = -52 + 58. Let y be (-2586)/(-12)*z*-1*1. Let d = y - 281. Is 30 a factor of d?
True
Let z(o) = 3*o**2 + o - 8. Let i be z(6). Is 15 a factor of (5*15)/(i/424)?
True
Let v(b) = -b**3 - 6*b**2 - 10*b - 4. Let k be v(-3). Let r be (k/(-2))/(7/994). Suppose -5*g - 3*u = -210, -2*g + 13 + r = -2*u. Is g a multiple of 14?
True
Let u(k) = -490*k - 2. Let j be u(-4). Suppose 0*t = 2*c - 2*t - 20, 0 = 4*c - t - 34. Suppose -c*p + j = 3*p. Is p a multiple of 38?
False
Suppose -4*v + 36456 = 55*n - 59*n, v - 9090 = -2*n. Is 13 a factor of v?
False
Let n be (5 + -1)*458/8. Let x be (-7 + 3)/(68/(-51)). Suppose -n = -x*o + 200. Is o a multiple of 10?
False
Let l be 1/((-2)/(-14) + (-8)/(-42)). Is (16 + 66)/(l - 1) a multiple of 15?
False
Let c = 349 - 239. Let i(g) = -g - 9. Let d be i(-11). Suppose -3*w = -2*w - 2*z - c, 5*w - d*z = 582. Is 13 a factor of w?
False
Let r = 34 - 9. Is 26 a factor of (r + -425)*(-3)/((-12)/(-7))?
False
Suppose 83072 = -4*l + 3*u + 203963, -4*u = l - 30256. Is l a multiple of 229?
True
Suppose -44*b = -110*b + 44*b + 181192. Is 142 a factor of b?
True
Suppose -g + q = -161, g = -0*q - 4*q + 146. Suppose 6*l - g - 1300 = 0. Suppose -3*b = -4*z + l, -3*z + 4*b + 104 = -87. Is 27 a factor of z?
False
Let k be (-2)/(-3) - (-5 - (-121)/33). Suppose -k*x = 5*u - 685, 3*u + 7*x = 4*x + 420. Is 9 a factor of u?
True
Let j = 22390 - -1316. Is j a multiple of 34?
False
Suppose 2*v + 175 = v. Let h = 93 + v. Let k = -36 - h. Is k a multiple of 23?
True
Let b(k) = -14*k + 4. Let w be ((-12)/(-3) + -1)/1. Suppose 24 = -4*d + z - 5*z, d = -w*z + 4. Does 41 divide b(d)?
False
Let i = -31 + 36. Suppose -3*w = i*k - 375, -3*k + 241 = 4*w + w. Suppose x + 14 - k = -3*s, 4*s = -x + 76. Is 8 a factor of s?
False
Let o = 22596 + -13034. Does 18 divide o?
False
Let q(f) be the first derivative of 3*f**4/4 + 38*f**3/3 + f**2/2 + 8. Does 46 divide q(-12)?
True
Let y be (5243 + -1)/((-14)/7). Let l = y + 3743. Is l a multiple of 66?
True
Let m(n) = -n**2 + 12*n - 22. Let o be m(10). Let x(l) = -9*l + 14. Is x(o) a multiple of 4?
True
Let w(n) = n**2 - 13*n + 64. Let x be (24/(-6) - -5)/((-2)/(-26)). Is 32 a factor of w(x)?
True
Suppose 4*k - 17 = -1. Suppose -u + 36 = 3*u + k*j, -5*j = 15. Suppose 0 = -30*o + 33*o - u. Is 4 a factor of o?
True
Let g(m) = 4 + 11 - 15 + 9*m - 23 + 60*m**2. Does 17 divide g(3)?
True
Let t(g) = g**2 - g**2 + 1 + 8*g - 3*g**2 - 10*g - 255*g**3. Is 18 a factor of t(-1)?
False
Let j be -6*(-4 + 15/6). Suppose -4*i - h = -j - 9, 18 = 2*i + 5*h. Does 6 divide (0 + 2)/i*20?
False
Suppose 0 = -7*l + 16*l + 342. Let s = l + 42. Suppose s*z + 32 = 6*z. Is 4 a factor of z?
True
Is 4/42 - (1488/(-1512))/((-4)/(-3426)) even?
False
Let a be -3*((-272)/24 - -6). Is (-1 + -419)/((-16)/a) a multiple of 28?
True
Let h(f) = -17*f**2 + 5*f**3 + 17*f - 4*f**3 - 58 + 9*f - 7*f**2. Let y be h(24). Suppose 0 = 14*s - 974 - y. Is 10 a factor of s?
True
Let h = 13 - -5. Suppose -19*p + h*p = -36. Does 3 divide p?
True
Suppose -2*x - 4*w = -5*w - 39, 12 = 4*w. Suppose -x*r + 2160 = -5*r. Does 13 divide r?
False
Is ((-2212)/(-316))/((-1)/(-17 + 0)) even?
False
Is (68100/(-420)