 3*x + 6*c + 1200 = 3*c, 2*x + 804 = 2*c. Let g = x - -632. Suppose 0 = -2*z - z + g. Does 32 divide z?
False
Let u(c) = -c**2 + 9*c - 11. Suppose -3*d + 2*z = -d, -5*d + 2*z = 0. Suppose h + 20 = -d*p + 5*p, 5 = p. Is u(h) a multiple of 7?
False
Let v = -439 - 206. Let m be (-1)/(-2) + v/(-30). Suppose 126 = 4*l - m. Does 25 divide l?
False
Let i(t) = 21*t - 93. Is i(18) a multiple of 5?
True
Suppose -11*g + 17*g = 4512. Is g a multiple of 16?
True
Let m = 321 + -99. Suppose i - 177 = m. Suppose 5*n - 67 = -4*h + i, 104 = h - 5*n. Is h a multiple of 24?
False
Let j(u) = -102*u + 6. Is 39 a factor of j(-3)?
True
Let c(v) = v**2 + 11*v + 8. Let x = -20 + 12. Let t be c(x). Is ((-18)/4)/(6/t) a multiple of 6?
True
Suppose p + 2*p - 6 = 0. Suppose p*v - 41 = 5. Suppose -2*x + v = -4*k - 81, 2*k = 3*x - 148. Does 11 divide x?
False
Let k = -9 + 6. Let p be (-11)/(-33) + (-5)/k. Is -16*(-3 + 5/p) a multiple of 4?
True
Let p = 1137 - 658. Is 65 a factor of p?
False
Let i = 25 - 73. Is ((4/(-6))/(-2))/((-4)/i) a multiple of 2?
True
Suppose -4*d = 4*y + d - 37, 4*y - 2*d = 2. Suppose -y*v = 2*v - 180. Does 18 divide v?
True
Let y = 1165 + -832. Is 37 a factor of y?
True
Let s be -215 + (1/2)/((-6)/12). Let h = -124 - s. Is h a multiple of 46?
True
Let p = 6679 - 4519. Does 36 divide p?
True
Let k(t) = -t**3 + 5*t**2 + 8*t - 8. Let v be k(6). Let c = 25 - 19. Suppose -c*g = -3*j - 4*g + 37, g + 51 = v*j. Does 13 divide j?
True
Let o(t) = 4*t**2 + 11*t - 4. Let s(f) = -3*f**2 - 10*f + 5. Suppose -5 = 5*b, 2*b - b + 13 = 3*k. Let c(d) = k*o(d) + 5*s(d). Is c(7) a multiple of 8?
True
Suppose 7*x + 5 = 8*x. Let k(g) = -3*g + 12. Let i(w) = 7*w - 24. Let b(a) = x*k(a) + 2*i(a). Is b(-11) a multiple of 23?
True
Let d = -39 - -39. Is (-4)/8*d + 13 a multiple of 13?
True
Let q = 2 + -4. Let p be ((-2)/6)/(q/48). Suppose p*y - 76 = 4*y. Is y a multiple of 9?
False
Let v be -3 + 3 + 5 - 2. Suppose -v*s = 22 + 14. Let r = s + 20. Is 5 a factor of r?
False
Is (((-2597)/28)/7)/((-2)/8) a multiple of 2?
False
Does 100 divide ((-32)/96)/(2/(-1356))?
False
Suppose -57*p = -22*p - 15750. Is 15 a factor of p?
True
Let m(r) = r + 21. Let l be m(-9). Let c be (-10)/(-6) - l/(-36). Suppose 4*i + n + 0*n - 142 = 0, 4*i = -c*n + 140. Is 10 a factor of i?
False
Let z(y) = 5*y**3 - 2*y**2 + y - 3. Let g be z(-3). Suppose -81*o = -76*o - 1305. Let v = o + g. Is v a multiple of 29?
False
Let b = 3109 - 1677. Is b a multiple of 64?
False
Let n be (60*-2)/(8/(-20)). Suppose -f - 3*f = -4*r + 264, -n = -4*r - 5*f. Is r a multiple of 25?
False
Let a(g) = 4*g + 8. Let y be a(5). Suppose 0 = -p + 5*x + y, x - 102 = -5*p - 40. Does 4 divide p?
False
Let y(i) = 9*i + 84. Let u be y(0). Is 8 a factor of (0 - u/(-20))*40?
True
Suppose -10*s + 12*s = 18. Let l(i) = 4*i**2 - 17*i - 13. Is 16 a factor of l(s)?
False
Does 40 divide (1*2)/(-10 - 12048/(-1204))?
False
Let s = 5 + -19. Let m(k) = -2*k**3 + k**2. Let o be m(-2). Let d = o + s. Is 3 a factor of d?
True
Let o be ((-3)/(-9))/(1/30). Suppose -o*z = -5*z + 5. Is 5 a factor of z/1*3 - -8?
True
Suppose 3*f + 12 = -3*r, -2*f - 13 = 3*r - 5. Let o be (4 + r - 4)/3. Suppose 2*x - 112 = -o*x. Is x a multiple of 14?
True
Is (-962)/(-4) - 6/(-12) a multiple of 44?
False
Suppose 0 = 10*a + 12*a. Let c be (-404)/(-10) + 2/(-5). Suppose a*j - c = -j. Is j a multiple of 31?
False
Suppose -34*u = -6*u - 15680. Is u a multiple of 40?
True
Suppose 4*b - 356 = -5*y + 5*b, y = -3*b + 68. Suppose l = y - 14. Is 10 a factor of l?
False
Let p(z) = -18*z - 1. Let f = 1 - 2. Let c be p(f). Let w = c - 1. Is 8 a factor of w?
True
Suppose 2*s - 104 - 66 = -3*l, -4*s + 340 = -5*l. Suppose -c = 4*c - s. Does 3 divide c?
False
Let d = -449 - -317. Let p = 192 + d. Does 12 divide p?
True
Let n = 5 - 3. Suppose -n*l + 40 = -0*l. Is 10 a factor of l?
True
Suppose 10 = 3*t - 2. Suppose -4*i + 5*v + 48 = 3*v, 0 = 2*i - t*v - 36. Does 4 divide i?
False
Suppose 3*p + 3*s - 9 = 0, -4*p + 2*s + 18 = -0*p. Suppose 4*j = 3*b + 42, p*j - b = -2*b + 50. Is 12 a factor of j?
True
Let q(j) = -j**3 - 4*j**2 + 9*j + 9. Let k be q(-4). Let h = k - -29. Suppose h*y + 3*g - 116 = 2*g, -3*y = -4*g - 152. Is y a multiple of 14?
True
Suppose -8 = -7*q + 6. Let j be q + 0 + 4 + 2. Suppose 4*u - j*u = -204. Is 17 a factor of u?
True
Let u(z) be the first derivative of z**3/3 - z**2/2 - 2*z - 6. Let q be u(3). Suppose 80 - 267 = -5*n + q*s, s = n - 37. Is n a multiple of 20?
False
Suppose -6*f + 2*f + 8 = 2*c, -3*f - 3*c + 12 = 0. Let i be 2 - (-621)/(3 + f). Suppose 4*t - i = -37. Is 12 a factor of t?
False
Suppose -7*u + 5*u + 1888 = 4*h, u + 8*h - 926 = 0. Does 9 divide u?
False
Suppose 0*b - 4*b = -64. Suppose -14*j + 15*j = b. Let u = 35 - j. Does 5 divide u?
False
Is 5 a factor of -194*(1 + 1/(-2) - 1)?
False
Let d be (8 - 7)/(-1*(-2)/(-98)). Suppose -5*b - 5*m = 535, -2*m + 0*m - 111 = b. Let k = d - b. Is k a multiple of 27?
True
Let z(i) = i**2 - 18*i - 12. Let q be z(19). Suppose -q*w + 2*w = -85. Does 17 divide w?
True
Does 10 divide (-49)/147 + 2/(-6)*-2581?
True
Let n(i) = 2*i**3 - i**2 + 2*i - 13. Let v be n(4). Let w = -2 + v. Is w a multiple of 29?
False
Suppose -2*p - 4*p = 12. Is 9*4/(-24) - 127/p a multiple of 9?
False
Suppose -1108 = -13*m + 1141. Does 13 divide m?
False
Suppose g = -0*g + 3. Suppose -h + 2*j + g*j + 95 = 0, -2*h = -5*j - 185. Is h a multiple of 15?
True
Let y = 40 - -486. Let w = -351 + y. Is 25 a factor of w?
True
Suppose -5*k - 5*t = -0*t - 835, -5*k + 823 = 2*t. Does 7 divide k?
False
Suppose y + 3 = 5. Suppose w = -y*w + 5*q - 10, -4*w + 2*q = 4. Suppose -4*i + 56 = -w*i. Is i a multiple of 11?
False
Let h(v) = -2*v**3 - 4*v**2 - 4*v - 12. Suppose 5*a = 76 - 101. Is 5 a factor of h(a)?
False
Let z be (2 - 4356/(-16)) + 3/4. Suppose -3*m = 2*m - z. Is m a multiple of 11?
True
Let k(i) = -5*i + 25. Let j(n) = 14*n - 75. Let m(d) = -2*j(d) - 7*k(d). Is 5 a factor of m(8)?
False
Let w be ((-4)/(-2) - -2) + 0. Let v(o) = 2*o**2 - o - 8. Does 20 divide v(w)?
True
Let w(o) = 7*o**3 - 2*o**2 + 7*o - 4. Let b(j) = -j**3 + j**2 - j + 1. Let p(i) = 6*b(i) + w(i). Let x be p(-2). Is 15 a factor of -40*(12/x)/(-1)?
True
Suppose 4*j = 4 - 16. Does 2 divide j/4 - (-2 - (-57)/(-12))?
True
Suppose -3*l = 2*l - 10. Let s = -18 - -22. Suppose -l*o + 4*n + 92 = 0, 0*o + s*o - n = 163. Is 17 a factor of o?
False
Let s = 61 - -49. Is 11 a factor of s?
True
Is (-7 + -1)/24*-3862*3 a multiple of 45?
False
Suppose -6*w + 16 - 4 = 0. Suppose n - 4 = w*n. Is 9 a factor of (161/(-28))/(1/n)?
False
Suppose 16*h = h + 7380. Does 8 divide h?
False
Let c(x) = -x**2 + 19*x - 27. Let i be c(17). Suppose -2*j + 108 = -i*j - 2*v, 3*j = v - 67. Is j/(-3)*75/10 a multiple of 11?
True
Let j(q) be the second derivative of 0 + 1/2*q**3 + 1/2*q**4 + 1/20*q**5 + 0*q**2 + 2*q. Is 5 a factor of j(-5)?
True
Suppose -3*d + 15 = -6*d. Let w(o) = -3*o + 11. Does 4 divide w(d)?
False
Is (3 - 6)*(-30)/(-18) + 445 a multiple of 8?
True
Is 16 a factor of (0 - 33 - -1)*-16?
True
Suppose -8*d + 6*d + 26 = 0. Suppose 3 = -2*i + d. Suppose i*p = 20, 3*g - 180 = -g - p. Is g a multiple of 12?
False
Is 86 a factor of 21/42 + (-3438)/(-4)?
True
Let u = 358 + -794. Let z = 644 + u. Does 26 divide z?
True
Let o be 20/(-6)*12432/(-70). Suppose -3*c + o = c. Is 37 a factor of c?
True
Let m(c) = 2*c**2 - c - 1. Let t be (-27)/6 + 5/(-10). Does 9 divide m(t)?
True
Suppose 574 - 6154 = -12*z. Does 11 divide z?
False
Does 34 divide (-1)/13 + (-244680)/(-260)?
False
Suppose p - 629 = -0*p. Let y = p - 398. Does 11 divide y?
True
Suppose -3*n - 15 = -330. Suppose -n = -7*f + 2*f. Is 7 a factor of f?
True
Suppose -5*b + 4*b = -2. Suppose -49 = -b*l - w + 76, -95 = -2*l + 5*w. Does 19 divide l?
False
Suppose 2*o + 5*i = 51, 5*i - 15 = -0*i. Suppose 0 = -2*d + 162 - o. Suppose 96 = 3*a - d. Is 14 a factor of a?
True
Let h = -69 + 69. Suppose -5*x + 23 + 42 = h. Is x a multiple of 2?
False
Suppose -w = 5*k - 4*w + 12, -5*k = -4*w + 16. Suppose k = 5*n - 4*n + 4*z - 153, 3*n + 4*z = 467. Is n a multiple of 23?
False
Let r be (3 + -2 - -2) + -1. Suppose -h + 3*k - 18 = -k, r*k - 18 = -4*h. Suppose h*c + 44 = 3*c. Is 22 a factor of c?
True
Let b(r) = -1. Let c(h) = -h**2 + 17*h + 10. Let p(z) = b(z) - c(z). Does 5 d