 + 318 = -c + 3*c. Does 10 divide c?
False
Let p = -1739 + 1920. Does 45 divide p?
False
Let b(c) = -c**2 + 3*c + 4. Let d be b(3). Suppose 2*x + 112 = d*x. Is x a multiple of 22?
False
Let u be 7*(2 + (-12)/7). Suppose -u*h + 4 = -0*h. Is (-42)/(-12)*(h + 0) a multiple of 7?
True
Let g be 2/(-8) + (-6)/(-24). Suppose 3*b - 2 - 4 = g. Suppose 0*f - 4*r = -f + 62, 0 = b*f + 5*r - 111. Is f a multiple of 29?
True
Let o(r) = 16*r - 279. Is o(52) a multiple of 5?
False
Suppose -4*j + 695 = g - 680, 4*j - 4101 = -3*g. Is 50 a factor of g?
False
Suppose -2688 = 15*a - 31*a. Is 24 a factor of a?
True
Suppose -4*j - f = 24, -f + 9 = -3*j - 9. Let z be 1/2*(-24)/j. Suppose z*a + 5*i + 0 = 80, 4*a = -4*i + 172. Is 15 a factor of a?
True
Suppose -127 = -z - 34. Is 18 a factor of (0 + -4)*3/((-36)/z)?
False
Suppose -1212 + 99 = -t + 5*b, -4362 = -4*t + 2*b. Does 9 divide t?
False
Suppose 5*g - 9430 = -5*u, -4*u + 7572 = g - 4*g. Is 90 a factor of u?
True
Let f be -2 + -1 + (-6)/(-2). Suppose f = 3*c - 34 - 62. Is 11 a factor of c?
False
Is 45 a factor of (75/(-5))/(2*(-1)/96)?
True
Suppose 2*s + 59 - 73 = 0. Is 2 a factor of s?
False
Let m(j) = -6*j**3 + 10*j**3 - 5*j**2 - 6*j + 10*j + 2. Is m(3) a multiple of 22?
False
Let h = -52 - 367. Let a = h + 588. Is a a multiple of 25?
False
Let n(m) = -2*m**2 + 3*m - 2. Let a be n(6). Suppose -4*j = 4*g + 436, 0*g - 3*g + 2*j - 302 = 0. Let x = a - g. Does 16 divide x?
True
Let p = 35 + -9. Let l = p - -42. Is 16 a factor of l?
False
Let i(p) be the first derivative of p**4/4 - p**3/3 + p**2/2 + 7. Is i(3) a multiple of 18?
False
Suppose 0 = -5*q + 4*s + 1662 + 652, -2*q + 916 = -4*s. Does 5 divide q?
False
Let l be (-5)/(20/(-33114)) - (-6)/4. Does 8 divide l/198 + (-2)/(-11)?
False
Let a(c) = c**3 - 12*c**2 + c - 10. Let u be a(12). Suppose 145 = p - 2*l, 0 = 3*p - p - u*l - 280. Is 28 a factor of p?
False
Let o(c) = -42*c**2 + 2*c - 3. Let f(d) = -209*d**2 + 11*d - 16. Let w(i) = -2*f(i) + 11*o(i). Let v be w(-1). Is (-7)/((-42)/v)*-4 a multiple of 30?
True
Let j = 36 + -43. Is (-12)/28 + (-1186)/j a multiple of 13?
True
Suppose -2*a - 12 = -6. Let z be (0 - -1)*3/a. Is (z + 25)*1/1 a multiple of 13?
False
Suppose 0 = 1576*g - 1561*g - 24150. Is 7 a factor of g?
True
Let h be 1/(8/6 + -1). Let u(p) = -16*p + 116. Let c be u(7). Suppose -89 = -c*y - y + a, -h*a = -3. Does 9 divide y?
True
Let k be ((-4)/2)/((-6)/9). Let z = -9 - -24. Is 21 a factor of (z/(-10))/(k/(-42))?
True
Suppose 1 = -3*s + 4*n + 3, -4*n = -s - 10. Suppose -s*t = -9*t + 141. Is 14 a factor of t?
False
Suppose 5*r + 110 = 4*f - 78, -47 = -f + 3*r. Let p = 21 - f. Let y = 7 - p. Is 16 a factor of y?
False
Let u(k) be the third derivative of k**7/840 - k**6/180 + k**5/60 - k**4/12 + 4*k**2. Let a(j) be the second derivative of u(j). Does 7 divide a(3)?
False
Let z(t) be the third derivative of 5*t**4/24 - t**3/3 - 4*t**2. Is z(6) a multiple of 22?
False
Suppose u - 2 = -2*g + 8, -2*g - 2 = -2*u. Suppose -25 = -u*s + 23. Is 12 a factor of s?
True
Suppose -s - 5*g = -246, -5*g = -3*g - 2. Suppose -3*r - 3*p + 9 = 0, 2*r - 4*p - 9 = -r. Suppose r*a + z - 143 = -z, 4*z = -5*a + s. Is a a multiple of 19?
False
Let u = 828 + -540. Suppose -z + u = z. Suppose z = m + 27. Does 39 divide m?
True
Let g = 36 - 36. Suppose g*u = -2*u + 120. Does 12 divide u?
True
Suppose 0*k - 2*z + 118 = 2*k, 0 = -3*k - z + 171. Does 14 divide k?
True
Suppose 9*f = 8*f + 3. Suppose -29 = -f*b + 151. Does 12 divide b?
True
Let f = -20 + 34. Suppose q + 68 = 3*n, 3*q - 23 - 37 = -2*n. Let m = n - f. Is 5 a factor of m?
True
Let j(w) = -w**3 + 6*w**2 + 4*w - 5. Is 5 a factor of j(5)?
True
Let m(a) = 11*a**2 + 11*a - 23. Is m(9) a multiple of 36?
False
Let m(y) = y**3 + 6*y**2 + 6*y + 5. Let c be m(-5). Let s = c - -70. Does 12 divide s?
False
Let n(g) = -2*g**2 + 8*g - 118. Let j(u) = 3*u**2 - 9*u + 117. Let f(r) = -3*j(r) - 4*n(r). Is f(0) a multiple of 39?
False
Suppose 0 = -2*w - w + 222. Let g = 177 - w. Suppose g + 23 = 3*t. Does 12 divide t?
False
Let d(r) = r**2 + 5*r - 19. Is 17 a factor of d(4)?
True
Is (-306)/(-68)*(-4828)/(-6) a multiple of 108?
False
Suppose v - 13 = -5*o, -7*o + 2*o + 9 = 3*v. Suppose -o*k = 139 - 40. Let f = 46 + k. Is f a multiple of 13?
True
Is 73 a factor of (-24)/(-21)*(-7)/(-2) + 69?
True
Let b(v) = -6*v. Let x be (14/21)/((-3)/63). Is 14 a factor of b(x)?
True
Let l = -13 - -40. Let i = l - 2. Is 12 a factor of i?
False
Let d = 391 + 49. Suppose -9*o + d = -4*o. Suppose 3*y - o = -y. Is 11 a factor of y?
True
Suppose -3*l + 2*l = -248. Suppose 3*x + l = 2*u, x - 3*x + 5*u = 147. Let v = x - -138. Is 18 a factor of v?
False
Suppose 3*r - 19*k = -16*k + 1041, 3*r + 2*k - 1026 = 0. Does 43 divide r?
True
Let g be ((-2)/6)/(12/(-72)). Suppose g*f = 2*o + o - 9, 0 = -5*o - 4*f + 37. Suppose -5*k - 45 = -o*b, 5*b - k = 2*k + 35. Is b a multiple of 2?
True
Let s(f) = 10*f**3 - 3*f**2 - 2*f. Let n be s(3). Let i(b) = -b**3 - 2*b**2 - 2*b - 165. Let q be i(0). Let j = q + n. Is j a multiple of 18?
True
Let b be (-1)/((-2)/4) + 0. Let z(o) = 11*o**3 + 3*o**2 - 4*o + 4. Is z(b) a multiple of 24?
True
Suppose 0 = h + 2*u - 75, 0 = -4*h + 3*u - 2*u + 327. Let d be 55 + (2 - (2 - 1)). Let t = h - d. Is 25 a factor of t?
True
Let j = -10 + 12. Let x(g) = -3*g**2 + g**j + 23*g - 6*g + 4*g**2 + 10. Is x(-11) a multiple of 11?
False
Let o be 5/(10/(-4))*(-20)/(-5). Let u(w) = w**3 + 9*w**2 + 3*w - 10. Does 30 divide u(o)?
True
Suppose -5*d - 488 = -2*b, -5*b - 4*d + 1166 = -3*d. Suppose 36 = 5*h - b. Suppose -3*p + 153 = h. Is p a multiple of 11?
True
Let r(t) = t**3 + 12*t**2 - 30*t - 16. Let f be r(-13). Suppose -f = -3*d + 4*z - 0*z, -2*z = -4. Is 13 a factor of d?
False
Suppose n - p = 0, 3*n + n - 2*p + 8 = 0. Let r = 28 - n. Suppose -2*j + 4*a - 3*a = -8, 4*j + 2*a = r. Does 6 divide j?
True
Let w(j) = -30*j + 4. Let z be w(3). Let h = z + 302. Suppose -m - 92 = -2*r, m - h = -5*r - 0*m. Does 11 divide r?
True
Let p = -75 - -91. Suppose -p = -2*v + 28. Is v a multiple of 11?
True
Suppose 0 = -3*g - 3*x + 123, 0 = 2*g + 5*x - 59 - 26. Let k be ((-64)/g)/((-2)/15). Let l = 33 - k. Does 10 divide l?
False
Let a = 136 - 66. Suppose 0 = -0*s + 4*s - 20, -5*s - a = -i. Is 19 a factor of i?
True
Suppose -7*j = -4*j + 75. Let o = j - -27. Suppose 2*h - 39 = a, o*h + 3*a = -2*h + 83. Is 10 a factor of h?
True
Suppose s - 9 + 1 = 0. Suppose 0 = -5*o + o + s. Is 5 a factor of 120/16*o/3?
True
Let w(r) = r**3 + 14*r**2 + 2*r - 12. Let z be w(-11). Let q = 476 - z. Suppose -l + 33 = -i, -5*l + q = -i + 2*i. Does 10 divide l?
True
Let x = 0 - -13. Let d = x + 115. Is d a multiple of 23?
False
Suppose -3*z + 0 + 6 = 0. Suppose 4 = z*k - 12. Is 8 a factor of k?
True
Let a(h) = -h**2 + 6*h - 1. Let n be a(5). Suppose -3*m + 129 + 31 = -n*v, 3*v = -2*m + 135. Does 15 divide m?
True
Let x(l) = -113*l + 34. Is x(-2) a multiple of 16?
False
Suppose 0 = 5*o + 5*n - 6435, 6*n + 3885 = 3*o + n. Is 10 a factor of o?
True
Let g(s) = 1467*s - 12. Is 15 a factor of g(1)?
True
Is 38 a factor of (3 + -2)/(((-30)/2052)/(-5))?
True
Suppose -12 = -4*x + 2*t, 0 = -4*t - 13 - 3. Is 9 a factor of (-66)/((-2)/x) + 3?
True
Suppose 4*x = -1165 + 3005. Suppose 42*w - 47*w = -x. Does 50 divide w?
False
Let q be 4/14 - (-2)/(-7). Let u = -520 + 522. Suppose 0 = u*h - q*h - 88. Does 7 divide h?
False
Let i(q) = q**2 + 1. Let g(c) = -c**2 - 2*c - 8. Let u(b) = -b. Let d(z) = -g(z) + 4*u(z). Let j be d(0). Does 30 divide i(j)?
False
Suppose -16 = -5*r + r. Suppose -5*v + 285 = 4*b - b, -r*v + 206 = -2*b. Suppose -25 = -2*i + 3*h + 14, 0 = -4*i - 2*h + v. Is i a multiple of 5?
True
Let x = -149 + 203. Is 9 a factor of x?
True
Let k(d) = d**2 + 2*d - 1. Let m be k(-3). Suppose 100 = 2*w - 4*y, 158 = 4*w - w + m*y. Suppose -r = r - w. Does 10 divide r?
False
Let i(c) = -2 + 2 - 3*c + 9*c**2. Let y be i(-3). Suppose 4*h = y - 6. Is h a multiple of 7?
True
Suppose -3*p + 313 = -107. Suppose -p + 429 = 3*h - 5*s, 5 = 5*s. Suppose -b = 39 - h. Is 11 a factor of b?
False
Let c(q) = -4*q**2 - 8*q - 5. Let l be c(-5). Let y = 110 + l. Suppose 2*b + y = 3*b + h, -5*h - 15 = 0. Is 16 a factor of b?
True
Suppose 62 = j - 2*t, -j + 4*t = -t - 65. Is j a multiple of 14?
False
Suppose 0 = -p - i + 13, 