 = x, 2*m = m + 3*x + 19. Does 2 divide m?
False
Let y = 69 + -73. Does 11 divide 2/4 + (-218)/y?
True
Let r(n) = -n**3 + 13*n**2 - 8*n - 4. Let x(a) = a - 2 - 3*a + 14. Let z be x(0). Is 15 a factor of r(z)?
False
Suppose 3951 = 10*z + 341. Does 4 divide z?
False
Let t = 2421 + -1370. Does 9 divide t?
False
Suppose 14*x + 1344 = 35*x. Does 9 divide x?
False
Let l(d) = 38*d + 468. Does 47 divide l(5)?
True
Suppose 19 + 37 = -7*p. Is 17 a factor of 16*3 + 11 + p?
True
Let l(d) = 8*d + 45. Let o be l(-5). Let n(w) = 4*w**2 - 3*w + 8. Is n(o) a multiple of 31?
True
Suppose 7*l - 1794 = -5*m + 4*l, 4*l = -3*m + 1072. Is 12 a factor of m?
True
Suppose 3*a = -3*x + 1701, -117*a = -4*x - 119*a + 2272. Is 46 a factor of x?
False
Suppose -193 = -5*d + 1477. Suppose -5*y + 376 = 4*f - d, -172 = -f - 4*y. Is f a multiple of 30?
True
Suppose -4*z = -2*d - 514, -2*z + 5*d = -7*z + 665. Is z a multiple of 26?
True
Suppose 0 = -4*s - 5*f - 812 + 4135, 0 = 2*s + f - 1669. Is 47 a factor of s?
False
Suppose -2*s + 3*x + 2*x - 17 = 0, -5*s + x - 8 = 0. Let t be ((6 - 3) + -3)*s. Suppose t = -0*y + 5*y - 390. Is y a multiple of 26?
True
Suppose -5*t - 10583 = -4*o - 537, o - 2513 = 2*t. Is o a multiple of 52?
False
Is 10 + 110232/63 + 2/7 a multiple of 22?
True
Suppose -21*n + 1190 = -16177. Does 57 divide n?
False
Suppose 0 = -y + 2, -3*y - 216 = 2*t - 4412. Is t a multiple of 47?
False
Let y be 17/(-5) - 4/(-10). Let h = -80 + 103. Let b = y + h. Does 5 divide b?
True
Suppose 5*l - 988 - 1222 = 0. Does 13 divide l?
True
Let s be (-2)/5 - 602/(-5). Suppose 4*v = -p + 2*p - 12, 3*v + 10 = p. Suppose 4*x - 40 + 10 = -c, x - s = -p*c. Is c a multiple of 23?
False
Let l(o) be the third derivative of o**5/15 + o**4/3 + 19*o**3/6 + 7*o**2. Is 29 a factor of l(-6)?
False
Suppose 4 = 2*m, -262 = -3*i + 5*m - 10*m. Is 7 a factor of i?
True
Let b be 13/6 + -2 - 1858/(-12). Let q = b + 35. Is 28 a factor of q?
False
Let c = 628 + -353. Is 33 a factor of c?
False
Let n = 135 + -133. Suppose 5*l = -f + 127, -n*f + 4*f - 3*l = 189. Is 34 a factor of f?
True
Let p = 24 - 27. Let c be 1 + p + 6 + -1. Suppose c*x - 34 = x. Is 5 a factor of x?
False
Let t be 14/63 + 94/(-18). Let k be (32/(-20))/(2/t). Suppose 0*g + 186 = k*u - 2*g, 2*u = 5*g + 113. Is 22 a factor of u?
True
Let t(b) = -b**2 + 10*b - 15. Let a(k) = -k**2 - k + 1. Let l(s) = -4*a(s) - t(s). Is l(5) a multiple of 17?
False
Let n = 237 + -77. Is n a multiple of 10?
True
Let y = -119 + 247. Is y a multiple of 8?
True
Is 10 a factor of (17/51)/(1/150)?
True
Suppose -2*w - 692 = -j, 2*j - w - 627 = 754. Suppose 0 = 9*v - 4*v + j. Let s = v + 212. Is s a multiple of 23?
False
Let p = 1077 - 377. Is 36 a factor of p?
False
Suppose 1334 = 24*u - 2530. Is u a multiple of 16?
False
Let n(o) = -2*o + 6. Let d(s) = -s. Let w(y) = -4*d(y) + n(y). Suppose 13*f - 2*f - 121 = 0. Does 28 divide w(f)?
True
Let j(h) = h**3 - 6*h**2 - 9*h - 4. Is 51 a factor of j(10)?
True
Let a(x) be the first derivative of 8*x**3/3 - 3*x**2 + 6*x + 7. Is a(3) a multiple of 15?
True
Let d(t) = t**2 - 14*t + 6. Let y be d(11). Let h = y + 199. Is 43 a factor of h?
True
Let g = 2026 - 933. Is g a multiple of 15?
False
Suppose -900 = -4*m + 5*z, -2*z + z = -4*m + 916. Is m a multiple of 23?
True
Let w(j) = j**2 + 6*j + 3. Let p be w(-6). Suppose 2*f + 79 = 3*s, -5*s = -p*f - 0*f - 131. Is s a multiple of 23?
False
Let l be (-1)/3 - 16/(-12). Suppose -4*z - l = -9. Suppose 0 = r - z*r + 12. Is r a multiple of 12?
True
Let n(y) = -y**3 + 18*y**2 + 40*y - 13. Let r be n(20). Suppose -c + 1 = -7. Does 2 divide 3/8 - r/c?
True
Suppose 0 = -a + 172 + 53. Does 45 divide a?
True
Let p = 362 + -309. Is 30 a factor of p?
False
Let i be 1*57*10/(-15). Let x = -21 - i. Suppose -2*k - a = -33, -2*k = -a - x - 26. Is k a multiple of 4?
False
Suppose 484 = 163*z - 162*z. Is 21 a factor of z?
False
Suppose -2*v + 4*f + 8 = 0, -5*v - f + 42 = -0*f. Does 17 divide (v/2 + -21)*-5?
True
Let s = -330 + 415. Is s a multiple of 2?
False
Let d(k) = k + 4. Let t be (-38)/(-4 - -2)*1. Does 11 divide d(t)?
False
Let d = 0 - -5. Suppose d = 5*m - 5*s, 4*s + 7 = 6*m - 3*m. Is (2 + -6)/(m/45) a multiple of 16?
False
Suppose x - 201 - 1008 = -5*c, 4*c = -2*x + 2418. Is x a multiple of 39?
True
Suppose 5*f + 156 = 3*f. Is f*2/4*(2 - 3) a multiple of 13?
True
Suppose y - 366 = -2*y. Suppose -126 = -z + 3*m, m + y = z - 4*m. Does 22 divide z?
True
Let w = -31 + 33. Suppose -w*r + 5*r + 3 = 0, -2*i + 543 = -3*r. Does 45 divide i?
True
Let d(p) = 6*p + 3. Let c be d(-3). Let m = -14 - c. Suppose -3*j - m + 28 = 0. Does 4 divide j?
False
Let o(g) = -402*g + 10. Let b be o(-2). Suppose -4*s = 114 - b. Is 11 a factor of s?
False
Let j(q) = -76*q + 140. Is 22 a factor of j(-4)?
False
Suppose -5*s + 2893 = -3*o, o = -3*s + 4*o + 1737. Suppose 0 = -8*h + s - 98. Does 39 divide h?
False
Suppose -7*s = -5*s + 3*b - 249, 0 = 5*s - 2*b - 670. Does 44 divide s?
True
Let m = 41 - 27. Let p be (-7)/m + (-18)/(-4). Suppose -p*s + 132 = 3*w, -2*s = 2*w - 33 - 33. Is 11 a factor of s?
True
Suppose -71 = 4*v + 37. Let t be 74/18 - (-3)/v. Suppose t*a = -5*i + 87, 2*a - 4 = 2. Does 4 divide i?
False
Suppose 24 = -4*b - 4*r, 3*r + 30 = -5*b - 0*r. Suppose 53 = 5*h + 4*v, -5*h = -v - 3*v - 77. Let c = h + b. Is 7 a factor of c?
True
Suppose 114*i = 31*i + 35856. Is 36 a factor of i?
True
Let v(n) = n + 6. Let w be v(0). Suppose g + 50 = w*g. Is g a multiple of 6?
False
Let r(x) = -x**2 + x - 1. Let m(s) = 4*s**2 - 9*s - 6. Let d(k) = m(k) + 2*r(k). Let v = -12 - -18. Does 11 divide d(v)?
True
Let g(y) = -2*y + 24. Let j(m) = -3*m + 49. Let t(r) = -7*g(r) + 4*j(r). Does 7 divide t(0)?
True
Let v(i) = 2*i - 26. Let z be v(11). Let l = -325 + 88. Does 9 divide z - (l*1)/3?
False
Let m(u) = u**3 - 24*u**2 + 8*u - 82. Is m(24) a multiple of 3?
False
Suppose -299*m = -272*m - 11070. Is m a multiple of 41?
True
Let k(t) = -t**2 + 15*t - 2. Let c = 19 + -17. Suppose 15 = 2*r + d, 0 = -c*r + 4*d + 17 + 23. Does 16 divide k(r)?
True
Let z = -329 + 593. Is z a multiple of 10?
False
Let d(h) = -h**3 + 23*h**2 - 15*h - 69. Does 10 divide d(22)?
False
Suppose 2*a + 3*a - 10 = 0. Suppose 0 = -7*j + a*j + 40. Does 4 divide j?
True
Let g = -27 - -32. Suppose 5*b = g*n + 97 - 27, 4*n = b - 20. Suppose -5*c - 2 + b = 0. Does 2 divide c?
True
Suppose z - 5*d = -10, -z - 5*d + 14 + 6 = 0. Is 4 a factor of (0 - z) + 3 + 39/1?
False
Does 3 divide 321 - 69 - (-9 + 0)?
True
Let y = -747 - -1006. Is 7 a factor of y?
True
Suppose 7*r = 6*r - 39. Does 13 divide (r/18)/((13/(-6))/13)?
True
Suppose 56*t = 57*t - 4*a - 1488, -a + 7545 = 5*t. Does 39 divide t?
False
Let l(t) be the first derivative of t**3/3 + 3*t**2/2 + 178*t - 24. Is 20 a factor of l(0)?
False
Let t be 16/6*((-405)/(-6) + 3). Suppose -t = -7*q - 34. Is 9 a factor of q?
False
Suppose -4*m + 3*m = 1. Let d = m - -3. Suppose 0 = -d*f + 2*l + 22, l + 3*l = 2*f - 16. Is f a multiple of 3?
False
Let o be 12/(-18)*2022/(-4). Suppose 0*z = -3*z + g + o, -4*z = 3*g - 445. Is 36 a factor of z?
False
Let c be (-24)/(-7)*861/6. Suppose 2*k - c = -k. Suppose -4*x + 8*x = k. Does 6 divide x?
False
Does 10 divide ((-22236)/255)/(2/(-25))?
True
Let z be (-6)/4 - ((-63)/(-6))/(-3). Suppose -84 = -3*g - 3*m, 0 = -z*g + 7*g - 5*m - 100. Is g a multiple of 6?
True
Let i be 34/119 - 2*(-1)/(-7). Suppose 13*j - 273 = 8*j - 4*k, 2*j - 2*k - 120 = i. Is 19 a factor of j?
True
Suppose 0*b + 2 = 2*b. Let p(c) be the second derivative of 53*c**5/20 - c**3/3 + c**2/2 - 13*c. Is 13 a factor of p(b)?
True
Let m(y) = y**3 + 6*y**2 - 5*y + 17. Let j be m(-7). Suppose -653 = -5*l - 2*i + j*i, -4*l - i = -526. Does 31 divide l?
False
Suppose 14*h - 720 = 4*h. Let i be 1/3 - 11/(-3). Suppose h = -s + i*s. Is 12 a factor of s?
True
Let o be 4/6*(-9)/6. Let x be 9/6*104/12. Let w = x + o. Is w a multiple of 12?
True
Let d = -2280 - -3567. Is 13 a factor of d?
True
Suppose -2*l - 110 - 48 = 0. Let i = 150 + l. Is i a multiple of 10?
False
Let a(u) = -1. Let k(p) = p**3 - 8*p**2 + 6*p - 1. Let l(g) = -3*a(g) + k(g). Let f be l(9). Suppose j = f - 51. Does 33 divide j?
False
Let p(k) = -9*k + 240. Does 40 divide p(-19)?
False
Let s(m) = 15*m + 13. Let a = 9 + -6. Does 15 divide s(a)?
False
Let n(x) = 71