e r(-4). Suppose 43*b - 486 = c*b. Is b a multiple of 27?
True
Let w(r) = -2*r + 55. Let f be (-82)/(-4) + 2/(7 + -11). Does 13 divide w(f)?
False
Let j = -475 + 1524. Is j a multiple of 6?
False
Let t be (-25)/9 - (-18)/(-81). Let q(o) = -12*o**2 + 2*o - 1. Let j(d) = 11*d**2 - 3*d + 1. Let m(w) = t*q(w) - 2*j(w). Is 26 a factor of m(-3)?
False
Let j = -30 + 96. Suppose 4*u - 498 = -j. Does 9 divide u?
True
Suppose x = -4 + 11. Let y(z) = -8*z - 8*z**2 + 5*z + 2*z**2 + 8 + z**3. Is 6 a factor of y(x)?
True
Does 42 divide ((-2)/6*-1)/(739/10572873)?
False
Suppose 11 = 2*t - t. Does 11 divide t?
True
Suppose 0 = 4*l + 3*k - 191, 0 = -3*l - 2*k + 3*k + 140. Is 3 a factor of l?
False
Let p = 19 + -17. Let l = 2 + p. Suppose -l*h - 20 = 0, -4*h = 5*k - 169 - 201. Is k a multiple of 26?
True
Suppose 2*c - 7474 = 3*w, 4*c + 10*w - 8*w = 14948. Is 22 a factor of c?
False
Let q be ((-3)/2)/(2/(-4)). Suppose -5*l - 3*v = -504, -l - 3*l + 414 = -q*v. Is 17 a factor of l?
True
Let d = -19 - -18. Does 3 divide 4/(-8)*d*38?
False
Suppose 11*n = -372 + 1604. Is 14 a factor of n?
True
Let k(u) = u**3 + u**2 + 3*u + 72. Let y = -61 - -61. Is 18 a factor of k(y)?
True
Let k(q) = 71*q**2 - q - 4. Suppose 2 = 25*f - 26*f. Is 16 a factor of k(f)?
False
Suppose -d = -5*d + 4*i + 1000, 3*d = -i + 750. Is 50 a factor of d?
True
Let f(b) = -b**3 - 59*b**2 - 86*b - 88. Is f(-58) a multiple of 32?
True
Suppose 0 = -5*y - 30 - 30. Does 32 divide 224*(y/14)/(-1)?
True
Suppose 241 = -7*i + 2866. Is 3 a factor of i?
True
Let a = 654 + -567. Is a a multiple of 3?
True
Does 17 divide 2 + -9 - 3918/(-6)?
True
Let g(h) = 4*h**2 + h**3 + 4*h - 2 - 3*h**2 + 4*h**2 + h**2. Let m be g(-5). Suppose m*p + 2 = 80. Does 13 divide p?
True
Is 2 a factor of (-65 + 47)*4/(-3)?
True
Let x(i) = 186*i**2 - 22*i - 4. Is x(-1) even?
True
Let m = 5 - 2. Suppose -f - m*r - 372 = -4*f, -f - 4*r = -99. Does 37 divide f?
False
Suppose -61*h + 65*h = 672. Is h a multiple of 4?
True
Let z(h) be the first derivative of -h**6/360 + h**5/60 + 35*h**4/24 + 8*h**3/3 + 7. Let y(j) be the third derivative of z(j). Is 8 a factor of y(0)?
False
Let c(z) = z**3 + 14*z**2 + 20*z - 13. Is c(-10) a multiple of 11?
True
Let c = -29 + 20. Does 12 divide 3/c + (-300)/(-9) - -3?
True
Let f(g) = -g**3 - 3 + 2*g**3 - 4*g**2 + 1 - 5*g + 6. Let z be f(5). Suppose 5*h = s - 53, 5*s + h = -z*h + 205. Does 21 divide s?
False
Let j be (-22)/(-14) + (-12)/(-28). Is 17 a factor of (-9 - -8)*(-54)/j?
False
Suppose -1937 - 1348 = -5*k. Is k a multiple of 43?
False
Suppose -3*g + 2*w = -1643, 5*g - w = 2*w + 2740. Is g a multiple of 29?
True
Suppose -4*o - 3*j - 166 = -11367, -4*o = 4*j - 11200. Does 14 divide o?
False
Let f be ((-1)/2)/(7/14). Does 5 divide 162/24 - f/4?
False
Let u(q) = -19*q**2 + 7 + 18*q**2 + 9 - 26*q. Is 47 a factor of u(-21)?
False
Let d(f) = -f**2 - 7*f - 3. Let l be d(-6). Suppose 4*c + 4*m = 48, -11 - 21 = -l*c - 2*m. Is 8 a factor of (c/10)/(2/20)?
True
Suppose 85*r - 82*r = 6. Let v = -23 + 37. Suppose 4*c - v = 5*m + 1, -9 = -r*c + m. Is 5 a factor of c?
True
Suppose 38*h = 36*h - 14. Let x = 40 - h. Is 13 a factor of x?
False
Does 15 divide 4/(-10) - -26*2148/120?
True
Suppose 7*h - 222 = 1549. Let k = -86 + h. Is k a multiple of 37?
False
Let v(w) = 143*w + 41. Is v(5) a multiple of 30?
False
Let k(w) = 13*w**2 + w - 2. Let z = 9 - -11. Let a = z - 18. Is 26 a factor of k(a)?
True
Is 2/(-5) - 51874/(-185) a multiple of 10?
True
Let p = -1222 + 2326. Does 46 divide p?
True
Suppose 0 = -3*g - 34*g + 83472. Does 141 divide g?
True
Suppose 5*k + 11 = 6*k. Suppose k*d = 6*d + 1055. Does 11 divide d?
False
Is 7 a factor of (6/(-4))/(2588/(-1288) + 2)?
True
Suppose -19*d = -22*d + 210. Suppose 5*u - 3*x + 0*x = -166, 0 = 2*u - x + 66. Let b = d + u. Is b a multiple of 12?
False
Suppose 2*t - 20 = 7*t, 0 = 4*k - 4*t - 400. Suppose -4*v - k = -10*v. Is 8 a factor of v?
True
Suppose -40063 = -23*p + 1291. Does 62 divide p?
True
Suppose 0 = 3*g - 0*g + 2*l - 40, -4*l + 16 = 2*g. Let v = g + 15. Is 8 a factor of v?
False
Let i = 1557 - 1089. Is i a multiple of 39?
True
Let q = -11 - -1. Let t be (3 - q/(-4))*84. Let l = t - 0. Does 14 divide l?
True
Let m = 3129 + -1060. Is m a multiple of 91?
False
Suppose -3*t = -2*a + 4994, 53*a - 51*a - t - 4994 = 0. Is 43 a factor of a?
False
Let k = -65 - -99. Suppose 0 = -2*f + 5*j + 2 + k, 80 = 3*f - j. Does 14 divide f?
True
Let t be 6/12*(0 + 10). Let z be 1269/(-15) - 2/t. Let j = -59 - z. Is 12 a factor of j?
False
Let g(l) = l**2 - 16*l + 30. Let w be g(14). Suppose 2*v + 2*s - 144 = 0, -v + w*s = -14 - 46. Is 4 a factor of v?
True
Suppose g = -g - 10. Let n be 3*g*(-1)/(-1). Let h = -3 - n. Is h a multiple of 4?
True
Let u(j) = -j**3 + 5*j**2 + 14*j - 22. Does 19 divide u(6)?
False
Let q(w) = w**3 + 7*w**2 + 6*w. Let j be q(-6). Suppose 5*k + 32 - 284 = -2*i, 2*k - 4*i - 120 = j. Is 13 a factor of k?
True
Suppose 4*f = 0, 0*f = -2*x - 3*f + 94. Suppose -89*h - 25 = -90*h. Let t = x - h. Is t a multiple of 13?
False
Suppose 0 = 4*s - 3*g + 35, -s + 5*g - 26 - 4 = 0. Let z = s - -46. Let p = z - 23. Does 9 divide p?
True
Suppose 0 = 8*q - 8*q - q. Suppose q*n - 285 = -5*v + n, n = -v + 51. Does 8 divide v?
True
Does 136 divide 120/(-90)*(-14265)/20?
False
Let v(d) = -d**3 + d**2 - d - 32. Let c(t) = -4*t**3 + 3*t**2 - 3*t - 96. Let q(j) = -2*c(j) + 7*v(j). Let u be q(0). Let x = -11 - u. Is x a multiple of 7?
True
Let c = -96 + 68. Let x = 108 + c. Is x a multiple of 16?
True
Let g(u) = u**2 + u - 7. Let o be g(3). Suppose -50 = -o*s + 4*n + n, -3*s + 28 = -5*n. Is 6 a factor of s?
False
Suppose -3*r - 77 = 3*s + 94, 0 = 5*r + 15. Let o = s - -64. Is 6 a factor of o?
False
Let v(x) = -x**2 + 33*x + 18. Does 3 divide v(0)?
True
Let v = 1769 + -1417. Does 8 divide v?
True
Does 63 divide 12/36*-6*2729/(-2)?
False
Suppose 21*a = 19*a + 1440. Is 80 a factor of a?
True
Let h(r) = r**3 - 8*r**2 - 4*r - 3. Let n(b) = -2*b**3 + 8*b**2 + 3*b + 3. Let c(s) = 3*h(s) + 2*n(s). Let d = 318 - 326. Does 15 divide c(d)?
True
Is 10 a factor of 325320/135 - (-10)/45?
True
Let w(g) = 118*g**3 + 2*g. Suppose 5*o = 4*n + 25, -5*o + n - 10 = 4*n. Does 27 divide w(o)?
False
Suppose 11*c = 5*c + 30. Suppose 2*h = -4*k + 68, 0 = -3*h - 0*h + c*k + 91. Does 16 divide h?
True
Let f(j) = 24*j**2 - 6*j - 14. Is f(-7) a multiple of 64?
False
Let n = -939 - -1401. Does 33 divide n?
True
Is 12 a factor of 354*(-1 - 16/(-6))?
False
Suppose -4*c + 29 = 9. Is 13 a factor of 14 + (c - 4/2)?
False
Let g(v) be the third derivative of -13*v**4/24 - v**3/3 - 2*v**2 - 34*v. Let j = -1 - 0. Is 2 a factor of g(j)?
False
Is ((-84)/(-7) - 3) + -5 + 126 a multiple of 3?
False
Let p be 1/4 - (-8)/(-32). Suppose p = 2*n - 7*n + 150. Is 16 a factor of 2 + n + (2 - 2)?
True
Let u(c) = -2*c - 11. Let s be u(-8). Suppose 5*b - 6*a = -2*a - 40, s*a = -25. Is (1*-10)/(8/b) a multiple of 5?
True
Let s(l) = l**2 - 11*l + 2. Let b be s(-8). Let u = b - -9. Does 31 divide u?
False
Let h(t) = 2*t**2 - 4*t - 15. Let w be h(12). Suppose -11*z - w = -16*z. Is z a multiple of 7?
False
Let z(l) be the third derivative of l**6/40 + l**5/20 + 2*l**3/3 - 4*l**2. Does 16 divide z(3)?
True
Suppose -5*n - 4*l + 168 = -2*l, -116 = -4*n + 3*l. Let d(q) = -q**3 + 8*q**2 - 5*q + 6. Let b be d(5). Suppose 4*v = n + b. Is 11 a factor of v?
True
Let z(m) = 4*m**3 - 3*m**2 - 3*m - 16. Let h(j) = -9*j**3 + 5*j**2 + 5*j + 33. Let o(g) = 3*h(g) + 7*z(g). Let f be o(7). Let t = f + 11. Does 3 divide t?
False
Let c(l) = 97*l + 3. Let d be c(-1). Let v = -40 - d. Does 5 divide v?
False
Let l = 16 - 17. Let f be (0 - 57*-1) + l. Let c = f + -27. Does 14 divide c?
False
Suppose -k = -0*k - 2*k. Suppose -10*g + 318 + 172 = k. Does 7 divide g?
True
Let w = 5 + -2. Suppose 9*y - 4*y + 5*z - 210 = 0, w*z + 62 = y. Suppose -5*s + 58 + y = 0. Is s a multiple of 18?
False
Suppose -3958 = -9*v + 2468. Suppose 0 = -c - 6*c + v. Is c a multiple of 24?
False
Let b be -16*6*1/4. Is 9 a factor of -3 + (-276)/(-10)*(-60)/b?
False
Let i(l) = -3*l**3 - 73*l**2 - 25*l - 22. Let c be i(-24). Let d be (34/6)/(2/(-18)). Does 5 divide (-606)/d - c/(-17)?
False
Suppose 4*b - 2*u = 3*u - 35, -4*u - 3 = 3*b. Let v(t) = 2*t**2 + 9*t + 10. Is v(b) a multiple of 5?
True
Le