 249*k = 340*k - 85995. Is k a multiple of 9?
True
Suppose 2*p - x = 5, -8 = -5*p + x + 3*x. Suppose -3*a - 10 + 35 = -5*k, 5*a - p*k = 33. Suppose 3*z - 140 = s - 2*s, -a*s = 4*z - 172. Is z a multiple of 16?
True
Let a(t) = 368*t**3 + t**2 - 3*t + 1. Suppose -5 = -51*h + 46*h. Does 44 divide a(h)?
False
Let l = -22260 + -4374. Is 41 a factor of 4/(-18) + l/(-54)?
False
Let n = 40803 - 21410. Does 57 divide n?
False
Let o = 156 + -101. Does 5 divide o?
True
Let x = 32 - 34. Suppose 45 = 5*g + 2*h, -4*h + 27 = 5*g - 2*g. Let b = x + g. Is 5 a factor of b?
False
Let d(b) = -6*b + 22. Let v be d(-6). Let l = 116 + v. Does 30 divide l?
False
Let o(d) = 41*d + 215. Let z be o(-14). Let x = z + 449. Does 10 divide x?
True
Suppose -532 + 108 = -4*w. Let x = 67 - w. Does 4 divide -3 + ((-1)/((-1)/x))/(-1)?
True
Let r(z) = -z**3 + 12*z**2 - 3*z + 10. Let h(t) = -t**3 + 22*t**2 - 20*t - 13. Let l be h(21). Is r(l) a multiple of 19?
False
Suppose -2*r - 40214 = -4*r + 4*p, 0 = -2*r - p + 40244. Is 13 a factor of r?
False
Let g(a) = 11*a**3 - a**2 - 9*a - 40. Is g(5) a multiple of 55?
True
Let l be (21/(-6) + 5)/(9/12). Suppose -d - 4*t + 52 = 0, d + 62 = l*d - t. Is 5 a factor of d?
True
Let s = 67 + -65. Suppose -n - 48 = -3*x + s*n, 4*x - 54 = -n. Is (-530)/(-7) + 4/x a multiple of 6?
False
Suppose 14*y - 5679 - 11443 = 0. Is 60 a factor of y?
False
Suppose -54838 = -26*f - 3*f - 13339. Does 108 divide f?
False
Let d = -564 + 15444. Is 31 a factor of d?
True
Let w = 150 - 148. Suppose 0 = w*p - f - 165, 5*f + 209 + 211 = 5*p. Is 9 a factor of p?
True
Suppose -p + 0*k - 1 = -k, -4 = 2*p - 4*k. Let i(l) be the second derivative of -l**3/3 + 13*l**2/2 - 91*l. Is 4 a factor of i(p)?
False
Let h(l) = l**3 + l**2 - 2*l - 2. Let d be h(-1). Suppose 2*a - 5*a + 90 = y, 5*a = d. Let x = y - 36. Does 6 divide x?
True
Let t(h) be the second derivative of -9*h**4/4 - h**3 - 3*h**2 + 10*h. Let w(j) be the first derivative of t(j). Is 51 a factor of w(-2)?
True
Suppose 0 = w - 3*w. Let v(y) = 65*y - 253. Let z be v(5). Suppose -2*f + w*f = -z. Does 4 divide f?
True
Is 42 a factor of ((-241420)/8)/(35/(-14))?
False
Let k(g) = -g**2 - 6*g + 6. Let y be k(-7). Does 65 divide ((-30)/20)/((y/(-260))/(-1))?
True
Let y be (-1579)/(-4) - ((-30 - -30) + (-2)/8). Let g be 0 + 1 + -1 - 0. Suppose g = -3*r + k + y, 4*r - 5*k - 168 = 355. Is 10 a factor of r?
False
Let r = 34647 + -6267. Is 43 a factor of r?
True
Is ((-14384)/40)/(20/(-100)) a multiple of 18?
False
Suppose -2*x + 3194 = 2*h, 5*h + 2*x = -2*x + 7983. Suppose 2*q - h - 2322 = -5*d, 3 = 3*q. Is 27 a factor of d?
True
Let g(o) = 14*o + 123. Let x(p) = -19*p - 124. Let s(b) = 6*g(b) + 5*x(b). Is s(-22) a multiple of 24?
True
Is 89 a factor of -76*(-10155)/60 + 3 + 0?
False
Suppose 33*f - 34*f + 2 = 0. Suppose -s - f*a + 622 = 0, 24*a = 22*a - 2. Is 52 a factor of s?
True
Suppose 11859 = 6*s - 0*s - 7947. Does 39 divide s?
False
Let p(m) = 2*m**3 - 2*m**2 - 2*m - 3. Let o be p(3). Suppose 0 = o*k + k - 21896. Is k a multiple of 17?
True
Let o be (2 + -3)*5*(2 + -3). Suppose -2*q = -7*q - o. Is 16 a factor of ((-2)/(-4))/q + (-1866)/(-12)?
False
Suppose -4*u + 11 + 13 = 0. Suppose u*b + 48 = -150. Is 3 + -2 + (7 - b) a multiple of 29?
False
Let c(d) = -2167*d - 10278. Does 93 divide c(-15)?
True
Let o(l) be the third derivative of -l**6/20 - l**5/20 - 3*l**4/8 + l**3 - 29*l**2. Does 21 divide o(-3)?
True
Let v be 29/3 - 8*(-7)/(-84). Let h(p) = -3*p**2 + 9*p + 6. Let o be h(v). Does 8 divide o*((-4)/12 - 0)?
False
Let h(w) = 425*w**2 - 8*w - 11. Is h(-3) a multiple of 8?
False
Let h = -249 + 341. Let n = 322 + h. Is n a multiple of 9?
True
Let d be ((3 - 2) + 0)/((-2)/(-324)). Let s = d + 94. Suppose s + 264 = 5*q. Is q a multiple of 26?
True
Let x(d) = -1050*d + 2626. Is x(-26) a multiple of 13?
True
Suppose 5*v = -2*r + 2077, 23*v - 24*v + 1043 = r. Does 3 divide r?
False
Suppose 19*i = 25*i - 24. Suppose 0 = 4*p - 5*u - 313, 4*u = i*p - 44 - 264. Does 12 divide p?
True
Suppose 24*m - 4176 = 24. Let u = -95 + m. Is 16 a factor of u?
True
Suppose -10 = 2*n + 3*i, -4*n - 4*i - 16 - 4 = 0. Let u(l) = -2*l**3 - 3*l**2 - l + 9. Is u(n) a multiple of 26?
False
Let y = -1493 + 1729. Is y a multiple of 59?
True
Suppose -54670 + 198506 = 78*h - 87122. Is h a multiple of 22?
False
Let j be (32 - 15) + (-1 - 2). Suppose -4*v + j*v - 5370 = 0. Is v a multiple of 33?
False
Let q = 602 - 602. Suppose -3*g + 2595 = -q*j + 5*j, -5*j - g + 2605 = 0. Is 4 a factor of j?
False
Let m(h) = 3*h**3 - 18*h**2 + 35*h - 14. Let q(x) = x**3 + x**2 - 2*x - 1. Let t(f) = -m(f) + 2*q(f). Is 87 a factor of t(16)?
False
Let m(l) = l**3 - 10*l**2 + 8*l + 13. Let u be m(8). Let z = u - -50. Is 11 a factor of 4*z + (16 - (5 + -5))?
False
Suppose p = z - 2*z + 3, 0 = z - 2*p - 3. Suppose -z*x + 1110 = -0*x. Suppose 6*h = h + x. Does 13 divide h?
False
Suppose 4 = k + 7, 3*u - 2196 = -3*k. Suppose s - 5*i - u = 0, 14*s = 19*s + i - 3649. Is s a multiple of 21?
False
Let y = 2 + 4. Let q(z) = -6*z**2 - z - 5*z**3 + 6*z**3 - 4 + 2*z - y*z. Is q(8) a multiple of 14?
True
Let t(s) be the second derivative of s**4/12 + s**3/6 - 67*s**2/2 + 8*s + 7. Is t(-11) a multiple of 2?
False
Suppose -7*a + 19990 = -32*a + 55315. Is 3 a factor of a?
True
Suppose 10*n - 6*n = 48. Let y be n/9*((2 - 8) + 3). Is 17 a factor of 1211/14 - (-6)/y?
True
Suppose -r + 9969 = 6*v - 8*v, -v + 9942 = r. Does 31 divide r?
True
Let z(d) = 46*d**2 - 13*d + 22. Is 6 a factor of z(8)?
True
Is (45/(-20))/((-207)/2807196) a multiple of 21?
True
Suppose -48*l - 52*l + 1748800 = 0. Is 74 a factor of l?
False
Suppose 3*c + 400 = 86728. Is 99 a factor of c?
False
Let f = 375 + 10. Suppose -17*p - 9830 = -9949. Suppose -f = -p*j + 2*j. Is 11 a factor of j?
True
Let n(f) be the second derivative of 0 + 1/2*f**4 - 1/2*f**3 - 5/2*f**2 - 11*f - 1/20*f**5. Does 7 divide n(3)?
False
Let b be 1/6*(1 + 53). Does 73 divide ((-1265)/(-143) - b) + 24340/26?
False
Let v(d) = 20*d**2 - 2*d - 26. Let l(b) = -7*b - 30. Let r be l(-5). Is 29 a factor of v(r)?
True
Suppose -10669 = -23*a + 147571. Is a a multiple of 80?
True
Let r be 3/7 + (-14)/((-98)/(-3)). Let s(i) = -3*i + 40. Does 4 divide s(r)?
True
Let t = 6562 + -5314. Is 52 a factor of t?
True
Let j(v) = -v**3 - 6*v**2 + 4*v + 6. Suppose -5*q - 3*p + 0 = -47, 2*p = -q + 15. Let r be 1/4*0 - q. Is j(r) a multiple of 7?
False
Suppose -54*q + 47*q = -2310. Let b = -222 + q. Is b a multiple of 19?
False
Suppose -83*g = -81*g + 1456. Does 14 divide (-2)/(4/(-6))*g/(-6)?
True
Suppose z = u - 4131, -4*u + 16536 = -5*z + 7*z. Is 73 a factor of u?
False
Suppose -263*u + 266*u = 12. Suppose 5*s - z = 0, -u*s + 3*z = 6*z. Suppose 10*b - 830 = -s*b. Is b a multiple of 7?
False
Suppose 166*o = 165*o + 4*t + 26846, -t + 26816 = o. Is 249 a factor of o?
False
Suppose -25 = -34*a + 315. Does 13 divide (-90)/36*(-764)/a?
False
Suppose d - 3*d + 2 = -c, 0 = -3*d. Let v(r) = r**3 + 2*r**2 - r - 2. Let b be v(c). Is 6 a factor of b/2 + (-72)/(-7 - -4)?
True
Let a be (123 - 0)*20/60. Let t = 44 - a. Does 29 divide (-5)/(172/(-56) + t)?
False
Let r(q) = -q + 92. Let l be r(29). Suppose -61*u - 550 = -l*u. Is u a multiple of 55?
True
Let u(i) be the third derivative of -1/8*i**6 + 0 + 0*i - 5/6*i**3 - 1/6*i**4 - 1/30*i**5 - 18*i**2. Is u(-2) a multiple of 7?
False
Let r = -1904 - -4044. Is r a multiple of 15?
False
Suppose -6*d - 10546 = -45071 - 12755. Is d a multiple of 33?
False
Is 8 a factor of 5204/6*(-4455)/(-990)?
False
Suppose -12*x + 102 = -6. Suppose -x*r = 2*r - 847. Is 7 a factor of r?
True
Suppose 53*n = 63*n - 44200. Does 61 divide n?
False
Let u(t) be the third derivative of 371*t**5/60 + 7*t**4/24 - 8*t**3/3 - 47*t**2. Does 19 divide u(2)?
True
Suppose 3*n + 2*v = 1501, -3*v + 2001 = -3*n + 7*n. Is n a multiple of 20?
False
Suppose -4*b - 32*v + 27*v + 10965 = 0, 0 = 3*b - 2*v - 8218. Is 19 a factor of b?
False
Let o(w) = -57 - 44 + 153 + 18*w**2 - 29*w - w**3. Is o(14) a multiple of 27?
False
Suppose 34 = -l + b, -7*l = -2*l + b + 164. Is (6 + -9)/(9/l*1) a multiple of 11?
True
Let x(l) = -6*l - 9. Let b be x(-9). Let g = 49 - b. Suppose -2*z + 5*y + 30 = 0, z + g*z = -5*y + 5. Is z a multiple of 3?
False
Let u be 1910/15*(7/4 - 8/32). Suppose -3*a - 