 k - 2, -u*k - 24 = -3*l. Is l even?
True
Suppose -46*o + 384120 = 86*o. Does 15 divide o?
True
Let j be 2/(-10) - 4/(200/(-1410)). Does 5 divide j/35 + (-1384)/(-20)?
True
Suppose 2*r = 2*b - 40 - 88, -b - 3*r = -76. Let p = b - 15. Is 4 a factor of p?
True
Suppose -32285 = -5*g - 5*v, 9*v - 12064 = -5*g + 20201. Is 3 a factor of g?
True
Is 276 a factor of 483*(-21)/28*416/(-3)?
True
Let y(k) = -36*k + 380. Is 46 a factor of y(8)?
True
Suppose 113*z - 16626 - 88045 = 82683. Is 2 a factor of z?
True
Let x be (5 - 5)/(6/4*-2). Suppose 5*s - 246 = -2*p, s - 3*s = x. Suppose 4*o - 66 = -g, 3*g - 3*o - p = -0*o. Is 28 a factor of g?
False
Let g(y) = -26*y**2 + 49*y - 1. Let j be g(2). Let a(t) = -23*t + 168. Is a(j) a multiple of 12?
False
Is 81 a factor of (4727 - -1)*1110/666?
False
Suppose -w = -11 + 4. Suppose -w + 1 = j. Is 4 a factor of (3/(-4))/(j/288 - 0)?
True
Suppose -1690 - 2074 = -5*p - 2*b, -3*p + 2300 = -4*b. Does 108 divide p?
True
Let b = 304 + -299. Suppose -2*o - 4069 = -7*o + 3*n, b*o + 2*n - 4054 = 0. Is o a multiple of 33?
False
Suppose -4*t + 3*u - 198 = 0, -3*t + u = 2*t + 253. Suppose -504 = -5*i - 139. Let x = t + i. Does 10 divide x?
False
Suppose -c = -19*j + 14*j + 31182, 5*j - 4*c - 31173 = 0. Does 81 divide j?
True
Suppose 2*w = -5*y - 1992, 2*y - 5*y = -4*w + 1216. Let u = y + 643. Is 26 a factor of u?
False
Let b = 16867 + -16703. Is 21 a factor of b?
False
Suppose 75*m + 401880 = 45*m + 42*m. Is 240 a factor of m?
False
Let d be (1 - 89)*(-5 - -4). Suppose 4*c - 4*f - d = 0, c + 2*f - 47 = -19. Does 5 divide (5 - (-1 - -1))/(4/c)?
True
Let c = 53 - 37. Let s(r) = -2*r**3 + 3*r + 4. Let n be s(-2). Suppose c*t = n*t + 68. Is t a multiple of 17?
True
Suppose -825*o = -827*o + 7826. Is o a multiple of 13?
True
Suppose -117*w - 194*w + 516882 = 0. Is 9 a factor of w?
False
Let y(a) = -a**2 - 15*a - 7. Let k(v) = -1. Let m(o) = 2*k(o) - y(o). Suppose 3*w = 5*p + 91, -5*w = 6*p - 3*p + 41. Is 6 a factor of m(p)?
False
Suppose 10*t = -2*t - 4320. Let d = t + 1032. Is d a multiple of 21?
True
Suppose -23445 = 12*b - 24*b + 9*b. Is b a multiple of 31?
False
Let l be (-2)/(-12) - (-1 + (-17)/6). Let u be 84/15 + l + 72/(-20). Suppose -m + 2*k + 112 = 0, -3*m + u*m - 5*k = 336. Does 14 divide m?
True
Suppose 2 = q + 2*z, 4*q - 5*z = -16 - 28. Is 64 a factor of 3 + 0 + 0 - (q + -710)?
False
Suppose 0 = 22*x - 32665 - 7886 - 20169. Is x a multiple of 49?
False
Let d be (-2)/3 - (2 + 1588/(-6)). Let i = 496 - d. Is 23 a factor of i?
False
Let f(a) = 68*a**2 - 40*a - 2. Is 38 a factor of f(-7)?
True
Let m be (2130/4 - -6)*-8. Is m/(-9) - (-32)/24 a multiple of 32?
True
Let d(r) = -158*r**3 + 39*r**2 - r + 10. Does 68 divide d(-5)?
True
Suppose -131 = -s - 128. Suppose s*f - 2*i - 648 = 0, f - i - 216 = -0*i. Does 12 divide f?
True
Let o be 15 - (-3)/((-12)/16). Let u = 14 - o. Suppose 415 = 4*v + t - 328, v = -u*t + 194. Is v a multiple of 25?
False
Suppose 5*c + 24 = -4*n + 22, 12 = 4*n - 2*c. Let j(q) = q**2 + 3*q + 2. Let x be j(-3). Suppose 0 = x*r + n*r - 196. Does 5 divide r?
False
Let f be (-1)/((-1)/(-5)) + 3. Let v be (-4 - f) + 20 + -1. Suppose -102 = -5*g - v. Is 17 a factor of g?
True
Suppose -3*z + 8*z = 10. Let p be z/11 + (3 - (-54)/66). Suppose 0 = p*o - 2*h - 500, 5*o - 2*h + 4*h = 625. Does 15 divide o?
False
Let g(s) = 3*s**2 - 16*s + 25. Let x be g(4). Suppose -r + 3*v + 20 = -103, -3*v + x = 0. Does 13 divide r?
False
Suppose -2372761 + 754290 - 2459897 = -252*n. Is 119 a factor of n?
True
Let u(f) be the second derivative of -f**4/12 - 5*f**3/6 - 2*f**2 - 41*f. Let i be u(-3). Let q(y) = 12*y - 6. Is 6 a factor of q(i)?
True
Let c(t) = t**2 + 26*t + 90. Let u be c(-22). Suppose u*f = y - 3*f - 1150, 1154 = y - 4*f. Is y a multiple of 23?
False
Let b = 8757 - 5929. Is b a multiple of 50?
False
Let f = 46 - 53. Let p be (-1)/f + (-2933)/(-49). Let w = p - -2. Is 10 a factor of w?
False
Let l = -110 + 344. Let f = l - -84. Is f a multiple of 8?
False
Let s be ((-16)/6 - -2)/((-7)/(-42)). Let n be (15/(-5))/(9/(-30))*s. Let g = n + 46. Is 2 a factor of g?
True
Let k(f) = 15*f + 107. Let v be k(-7). Suppose -v*q + 4*h = -168, -3*q - 3*h - 255 = -6*q. Does 43 divide q?
True
Suppose -866 - 681 = -7*x. Let i = x - 151. Is i a multiple of 7?
True
Let q be (-3 - (1 - 3))*1 - -971. Suppose 548 = 2*z - q. Is z a multiple of 31?
False
Let q = 18449 + 19927. Is q a multiple of 117?
True
Let n be 126/(-60) - 4/(-40). Let a(l) = -165*l + 40. Is a(n) a multiple of 74?
True
Let g = 8377 - -410. Is g a multiple of 87?
True
Suppose 7*c - 4*c = -5*h + 17834, 2*h - 4*c - 7144 = 0. Is h a multiple of 16?
True
Let w = 794 - 1380. Let s = w + 2065. Does 29 divide (s/(-34))/((-6)/(-4) - 2)?
True
Suppose 963 = -0*y + 3*y + 2*c, 5*y - 3*c = 1624. Suppose 0 = 7*b - y - 2099. Does 8 divide b?
False
Suppose -i - 25 = -4*r, 5*r = 5*i + 48 + 17. Let y(l) = -l**3 - 10*l**2 - 2*l + 10. Let a be y(i). Let x = 61 + a. Is 8 a factor of x?
True
Suppose -u + 2*y = -712, 6*y = 3*u + 7*y - 2115. Is u a multiple of 2?
True
Let c(q) = -116*q - 3853. Does 4 divide c(-80)?
False
Let i be ((-2)/4)/(6/1032). Suppose 241 = p + s - 2*s, 4*s = -5*p + 1196. Let o = p + i. Does 11 divide o?
True
Let w(v) = 107*v + 13. Let z be w(1). Let l = z + 8. Is 8 a factor of l?
True
Let f(x) = -41*x**3 - 2*x**2 + 2*x - 1. Let j be f(1). Let h = 44 + j. Suppose -46 = -h*y + 66. Is 8 a factor of y?
True
Let p(m) = -2*m - 83. Let x be p(-32). Let n(q) = 2*q + 3. Let s(l) = -3*l - 4. Let b(v) = -8*n(v) - 5*s(v). Is 4 a factor of b(x)?
False
Let q(b) = 26*b**2 + 41*b - 513. Does 68 divide q(10)?
False
Suppose -2*s - 5*y = 7, -2*s + y - 2*y = -5. Suppose -6*c + 2*c + 1388 = -s*k, 0 = 2*c + k - 709. Does 44 divide c?
True
Let f = 10598 - 4886. Suppose -1541*o + 1535*o = -f. Is 72 a factor of o?
False
Let n = 388 + -388. Suppose n = 22*k - 20888 - 3862. Is 45 a factor of k?
True
Let u = 18 + -17. Let x be ((-44)/(-6))/(u/3). Suppose l - 53 = x. Is l a multiple of 20?
False
Let l = -202 - -184. Let h(f) = f**2 - 4*f - 36. Is 45 a factor of h(l)?
True
Let r(c) = 49*c**2 - 201*c + 1541. Does 8 divide r(8)?
False
Suppose -k = 3*m - 9, 9 + 3 = 4*m + 2*k. Does 9 divide ((-315)/10)/m*(-102)/9?
False
Let i(y) = y**2 - 12*y - 48. Let c be i(17). Let q = 66 - c. Let l = 31 + q. Is 4 a factor of l?
True
Let s be ((-22)/(-2))/(12/(-36)). Is (-1)/3 - 1958/s even?
False
Does 11 divide (-262545)/(-12) - 2/((-8)/9)?
False
Suppose -88*h - 148670 = 100*h - 198*h. Does 26 divide h?
False
Let l be (-1 + (-3)/((-9)/2))*-186. Suppose 0*w - 43 = -2*w - 3*b, 5*b = -3*w + l. Is 29 a factor of w?
True
Let f(h) = 2*h**2 + 6*h + 6. Let d(n) = -n - 2. Let w be d(1). Let y be f(w). Suppose 3*a - 44 = 2*m, -4*m - 64 = 2*a - y*a. Is a a multiple of 10?
False
Suppose 299360 = -12*x + 47*x - 15*x. Does 22 divide x?
False
Let h = 51 - 45. Let g be 1 + (-6)/2 + h. Suppose -g*s = -s - 2*z - 49, -z = 5*s - 73. Does 3 divide s?
True
Let p(v) = v**3 - 10*v**2 - 12*v + 12. Let x be p(11). Let g = -729 - -720. Is 10 a factor of 2366/117 + x/(g/2)?
True
Let g(i) = i**3 + 45*i**2 - 15*i - 34. Let x = 251 + -296. Is 72 a factor of g(x)?
False
Let j be (13 - 104/13) + 13. Let p(w) = w**2 + 2*w. Let d be p(-4). Suppose 0 = y + d - j. Does 3 divide y?
False
Let y = 17850 - 14826. Does 6 divide y?
True
Suppose -5*m = -3*s - 3942, 52*s - 47*s + 1573 = 2*m. Let x = m + -324. Is 15 a factor of x?
True
Does 5 divide (-6130)/(-3)*33/88*16?
True
Suppose 4*f + 3*z - 116055 = -17424, 3*f - 4*z - 73942 = 0. Does 253 divide f?
False
Suppose 33*g + 18 = 39*g. Suppose -d = g*d + 3*f - 178, 211 = 5*d - 2*f. Is d a multiple of 9?
False
Let p(c) = -8*c - 5. Let x(d) = -8*d - 1 + d - 3 + 0. Let l(z) = -3*p(z) + 4*x(z). Is l(-4) a multiple of 2?
False
Let z = 24959 + 5796. Is 10 a factor of z?
False
Let c = -23 + 26. Suppose 0 = c*h - 12. Suppose 0*x - d + 1015 = 4*x, h*d = -5*x + 1255. Is x a multiple of 16?
False
Let p(r) = 7*r**2 - 103*r - 1773. Is 26 a factor of p(-23)?
False
Let n(w) = w**3 - 136*w**2 - 289*w + 2352. Does 11 divide n(138)?
False
Let j = -3668 + 5684. Is 8 a factor of j?
True
Let h(r) be the third derivative of 0*r**4 + 2*r**2 + 0 + 0*r - 1/6*r**3 + 1/30*r**5 - 59/120*r**6. Is 12 a factor of h(-1)?
True
Suppose -2*o +