5*i = -m. Is 19 a factor of r?
False
Suppose 0*i - 8 = -4*i. Suppose 4*g - 41 = i*m + 55, 4*g = -3*m + 76. Does 22 divide g?
True
Let i be (-226)/(-6) - (-8)/(-12). Let r = i - -1. Does 20 divide r?
False
Does 14 divide (-252)/16*(-8)/3?
True
Suppose 8 = 4*b - 0*b. Is b + 4/(8/162) a multiple of 23?
False
Suppose 3*s - 1 = -4. Is 10 a factor of 10/((-7)/(-5) + s)?
False
Let j(u) be the third derivative of -u**4/24 + 11*u**3/6 - u**2. Let r be j(6). Let o(a) = a**3 - 5*a**2 + a + 3. Does 3 divide o(r)?
False
Is ((-4)/(-8))/(1/62) a multiple of 10?
False
Suppose 110 = 4*h + h. Does 11 divide h?
True
Suppose 0 = 2*p + 2*p - 64. Does 8 divide p?
True
Let m(k) = 4*k**2 - 2*k - 3. Let a be 5/(-1)*3/(-5). Is 14 a factor of m(a)?
False
Suppose -4*b = -390 + 14. Is b a multiple of 47?
True
Suppose -3*z + 360 = -0*z. Does 27 divide z?
False
Let o(d) be the first derivative of -d**3/3 + 11*d**2/2 + d - 2. Let w be o(8). Let u = 45 - w. Does 7 divide u?
False
Let l(h) = 6*h + 7*h - 1 + 2*h. Is l(1) a multiple of 14?
True
Suppose 1473 = 4*x + 153. Is x/18 - (-4)/6 a multiple of 19?
True
Let w be (-28)/(-2) + (-1 - -3). Suppose r + 3 = 0, -w = -6*d + 5*d + 2*r. Is d a multiple of 5?
True
Let a(j) = -j**2 - 2*j + 8. Let l be a(-6). Is (-284)/l - (-3)/12 a multiple of 18?
True
Suppose -4 = -4*y + 4*s, -y + 16 = y + 5*s. Suppose y*n + 13 = z - 5, -n = 2. Is 6 a factor of z?
True
Suppose -19 = -3*t - 1. Suppose t*g - 164 = 2*g. Does 7 divide g?
False
Let n(v) = v - 4. Let m be n(6). Let u be 1 + -4 - (m - -8). Let g = -3 - u. Does 5 divide g?
True
Is 21 a factor of (-2)/10 - 348/(-15)?
False
Suppose 20 = -2*g + 6*g. Suppose -13 = -3*l + o, 5 = -3*l + g*o - 2. Is l a multiple of 4?
False
Let o(i) = -107*i**3 - i. Suppose -2*v - 3*v - 25 = -4*y, -v = -y + 6. Let p be o(v). Suppose p = -0*g + 3*g. Is 12 a factor of g?
True
Let q = 286 + -160. Is q a multiple of 14?
True
Let r = 29 + 10. Does 17 divide (-123)/(-4) - r/52?
False
Suppose -i = x - 30, 4*x - 2*x = 2. Suppose -19 = -2*w + i. Is 15 a factor of w?
False
Let f(x) = -x**2 - x. Let s(q) = -4*q**2 - 3*q + 3. Let v(j) = -5*f(j) + s(j). Is 2 a factor of v(-2)?
False
Let y be ((-2)/5)/((-1)/(-5)). Let l = y + 4. Suppose 5*r - 120 = -0*r + l*i, -2*r + i = -49. Is 6 a factor of r?
False
Let a(q) = q**3 - 6*q**2 + 7*q + 14. Is a(9) a multiple of 20?
True
Suppose 4*m - 8 = 2*m. Suppose l + m*l = 25. Is 2 a factor of l?
False
Is 15/5 + (-68)/(-1) a multiple of 19?
False
Let k be 2 + ((-16)/4 - -2). Suppose 2*q - 108 = -4*w, -2*q + k + 107 = 5*w. Is 14 a factor of q?
True
Suppose -9*x + 7*x + 272 = 0. Is 22 a factor of x?
False
Let g(q) = q - 4. Let j be g(5). Let z be -3*(2 - j) + 3. Suppose 0 = 2*x - 3*u - 63, z = -x - 5*u + u + 37. Is x a multiple of 11?
True
Suppose 0 = 2*a + 10, 4*m - 2*a - 38 = 156. Let u = -18 + m. Is 14 a factor of u?
True
Let t(f) = -7*f + 2. Does 4 divide t(-3)?
False
Let i be (-204)/(-26) - (-4)/26. Let r be (-1 + -1)/(2/(-3)). Suppose w = r*w - i. Is w even?
True
Let q = -8 + 27. Suppose -3*x = -8*x - f + q, -4*f + 1 = -5*x. Is 2 a factor of x?
False
Suppose -66 = 4*q + 5*s - 185, 0 = -5*q - 5*s + 145. Is q a multiple of 7?
False
Suppose 11 = a + z, a - 13 + 5 = 2*z. Suppose -2 = -3*j + a. Suppose -3*y = -5*g + j*g - 107, -15 = 3*g. Is 13 a factor of y?
False
Suppose -3*d + 2*u + 2 = 0, 5*d - u = -0*d + 8. Is 2 a factor of d?
True
Is 12 a factor of (-575)/(-4) + (-1)/(-4)?
True
Suppose -6*s = -4*s + u - 87, 0 = 4*s - 5*u - 139. Let a = -28 + s. Does 5 divide a?
False
Is 25/2*(-1 - -3) a multiple of 25?
True
Let s = 5 + -2. Let p(b) = 7*b**2 - 1 - 3*b + 1 - 5*b**2. Is 9 a factor of p(s)?
True
Let m be (28/(-2))/(-3 - -1). Suppose z + 5 = m. Is 2 a factor of z?
True
Suppose 0 = 3*v - 2*d - 8, -12 - 4 = -5*v + 4*d. Suppose v*c = 3*c - 114. Is c a multiple of 19?
True
Let b(z) = -23*z**3 + 1. Is b(-1) a multiple of 12?
True
Suppose -5*o - 9 = -3*m + 6, -5*o - 3*m = -15. Suppose 3*q + 3*s = 9, -2*s + 4*s - 2 = o. Let u(n) = 8*n + 2. Is u(q) a multiple of 6?
True
Is ((-132)/(-20) - -3)*10 a multiple of 32?
True
Let x(w) be the second derivative of w**3/6 + w**2 + 2*w. Let h be x(-2). Suppose j + h*j = 15. Is j a multiple of 12?
False
Let c = -66 - -132. Is c a multiple of 13?
False
Suppose 2*b - 3*b - 4 = 0, 2*f + 8 = b. Let d be (2/3)/((-4)/f). Suppose -d = k - 13. Is 6 a factor of k?
True
Suppose 2*b - 4 = 2. Suppose -3*p + b = -0*p. Does 17 divide ((-5)/3)/(p/(-21))?
False
Let l(a) = -45*a - 5. Is l(-2) a multiple of 17?
True
Let r(a) = 26*a**3 + a. Does 3 divide r(1)?
True
Suppose 9*s - 9 = 8*s. Is 3 a factor of s?
True
Suppose 3*o + 48 = -2*p - 31, -5*o = p + 29. Suppose 0 = -2*i, -3*f - 52 = i + 5. Let x = f - p. Is 12 a factor of x?
False
Let y(w) = 2*w**3 - w. Let n be y(-1). Let g(l) = 74*l**2 - l - 1. Let a be g(n). Let h = a - 35. Is h a multiple of 13?
True
Let x be (-5)/(-5)*1/1. Let o = x - -11. Is o a multiple of 7?
False
Let t be (-4)/6 + (-200)/(-12). Suppose 3*k - 35 = t. Is 17 a factor of k?
True
Is (-2)/3 - 2380/(-15) a multiple of 20?
False
Let n(q) = q**3 - 2*q**2 + 2. Let i be n(2). Let v(f) = 9*f**2 + 32*f**i - f - 6*f**2 + 0*f. Is 12 a factor of v(-1)?
True
Suppose 0*n - 3 = -n. Suppose 2*y - 8*i + 3*i - 139 = 0, -5*i = 5*y - 295. Suppose -7*c + 2*c + 10 = 0, -n*c = -4*r + y. Is r a multiple of 9?
False
Let z be (-10)/(-3) - 8/(-12). Suppose 0 = -r + z*r + 4*f - 79, -5*r - 5*f = -125. Is 7 a factor of r?
True
Suppose 0 = -5*t + 3*t + 124. Does 9 divide t?
False
Suppose -130 = -4*m - 38. Is m even?
False
Suppose -5 + 35 = 2*q. Let s = q - 10. Suppose -68 - 12 = -s*m. Is 8 a factor of m?
True
Let g be (-2 - 20)/(-1) - 1. Suppose -3 = -5*k - 4*p, 0 = -k - k - p. Does 7 divide (k/3)/((-1)/g)?
True
Let r = -49 + 63. Suppose 3*o = -n - 19, -5*n - 37 = 5*o + 8. Let g = n + r. Is 4 a factor of g?
False
Let f be ((-29)/2)/((-1)/2). Suppose -f = -3*x - 2. Suppose 0 = -4*j + 47 + x. Does 14 divide j?
True
Let m(l) = l**3 + 8*l**2 - 2*l + 1. Is m(-7) a multiple of 29?
False
Suppose v - 2 - 4 = 0. Suppose -m = -2*m + v. Suppose -36 = -p + m. Is p a multiple of 14?
True
Suppose 2 = -4*r + 10. Let d be ((-6)/(-6))/(r/(-4)). Let p = d + 26. Is p a multiple of 12?
True
Suppose 2*g = 4*g - 156. Suppose -9*n + g = -3*n. Is 10 a factor of n?
False
Let g(p) = 3*p - 7. Let b(m) = 3*m - 6. Let h(w) = 5*b(w) - 4*g(w). Let l be 9/2 - (-2)/(-4). Is 4 a factor of h(l)?
False
Suppose n = -v + 24, n - 4*v = 2*n - 33. Is 7 a factor of n?
True
Let j = -48 + 112. Is j a multiple of 16?
True
Let i(h) = h**3 + 11*h**2 + 11*h + 7. Let n be i(-10). Let u = n - -3. Suppose u*o + 5*o - 190 = 0. Is 11 a factor of o?
False
Suppose 3*v + 5*z - 15 = 2*v, 0 = 4*z + 12. Does 5 divide v?
True
Let u be -3*1*2*-1. Let t be 63/u + 1/(-2). Let k = t + -3. Is 6 a factor of k?
False
Let m = 4 - 1. Suppose 2*p + 3*x - 23 = 0, 3*p - 2*p = -m*x + 16. Suppose 5*i - p*i = -20. Is i a multiple of 10?
True
Suppose -3 = -r - 0*r. Let l(h) = -h + 11. Let d be l(9). Suppose r*p + d = 14. Is p a multiple of 4?
True
Is 4 a factor of 2/(-6)*(9 + -57)?
True
Let q = 6 + -4. Suppose q*a + 1 - 3 = -4*i, 3*i - 3*a = 24. Let o(x) = 6*x - 2. Does 16 divide o(i)?
True
Suppose 2*f - 4 = -0. Suppose -f*b - b = -6. Suppose 6*s = b*s + 36. Is s a multiple of 6?
False
Let q(g) = -2*g**3 - g**2 + 1. Let i be q(-1). Let a be (i/4)/1*-82. Let j = 23 - a. Does 23 divide j?
False
Let m be (-2)/(-8) + 7/4. Suppose 0 = q - 3*z - 13, 3*z + 6 = m*q - 17. Is q a multiple of 5?
True
Suppose -7*x - 7 = -8*x. Does 2 divide x?
False
Suppose 3*f - 7 = 5. Suppose f*y + 24 = -5*h + 3*h, 0 = -5*y + 2*h - 12. Is 6 a factor of 38/3 + y/6?
True
Let k be 20/28 + (-4)/(-14). Let z(t) = t**2 + 8 + t**3 - 13*t**2 + k. Is z(12) a multiple of 9?
True
Let q(a) = -a**2 - 17*a - 13. Let x be q(-16). Suppose -3*g + 3*j = -87, x*g - 7*g - 2*j = -110. Does 7 divide g?
True
Let t = 223 + -159. Is t a multiple of 4?
True
Let q(i) = 132*i**2 - i + 2. Does 22 divide q(1)?
False
Let d = 72 + -29. Does 14 divide d?
False
Let i(l) = -3*l**2 + 18*l + 18. Let p(t) = t + 1. Let r(h) = -i(h) + 18*p(h). Let c(q) = q**2 + 6*q - 6. Let v be c(-7). Is 2 a factor of r(v)?
False
Let z(a) = -a**2 - 11*a + 14. Let p be z(-12). Is 5/(-10) - (-79)/p a multiple of 13?
True
Is 4/((-4)/(-31)) + 0 