 + s = q + 2*q. Does 16 divide (-8)/(0 + o/(-4))?
True
Let u(g) = -6 - g**2 + 0*g**2 + 14*g + 15*g - 13*g. Is 12 a factor of u(12)?
False
Suppose g - 12 + 1 = 0. Let s = -2 - -6. Let d = s + g. Does 6 divide d?
False
Suppose 7 = -5*k + 32. Suppose v + 30 = 2*v + 5*u, 2*v - u - k = 0. Does 2 divide v?
False
Let n be (-8)/12 + 23/3. Let p = n + -5. Suppose -3*m = p*m, 5*m = -4*g + 32. Does 3 divide g?
False
Let k = -22 + 14. Let t be (-34)/4*k*1. Suppose 127 = 3*o - t. Does 24 divide o?
False
Let j(d) = d**3 - d**2 - d + 17. Is 17 a factor of j(0)?
True
Let m(j) = -j - 1. Let g be m(-2). Let t be (-132)/15*(-5)/g. Is (-2 + t)/3 + -1 a multiple of 12?
False
Let a = -9 - -7. Let o be (8 + -4)*a/1. Is 10 a factor of ((-2)/o)/(1/116)?
False
Let m = 60 + -39. Let o = 35 - m. Is o a multiple of 14?
True
Suppose -3*t - 147 = -423. Let g be (t/12)/((-1)/(-3)). Suppose -3*o + g = -88. Does 18 divide o?
False
Let j be 0/2 + 3 + -3. Suppose 5*u - 19 + 4 = j. Let y = 8 - u. Is y even?
False
Let p(o) = -4*o**3 - 5*o**2 + o - 2. Let h(r) = -r**3 - r**2. Let q(z) = 3*h(z) - p(z). Let l be q(-3). Does 12 divide (-49)/(-2) - (-2)/l?
True
Let w(p) = -4*p + 3. Let s(m) = m + 5. Let i be s(-8). Let a be w(i). Is 267/a - (-2)/10 a multiple of 18?
True
Suppose -2*c = -2*i - 0*i + 860, i - 2*c = 434. Is 2/6 + i/18 a multiple of 8?
True
Let f(k) = -8 + k**2 - k**2 + 7 + 62*k**3. Does 14 divide f(1)?
False
Suppose -4*s + 11 - 31 = 0, 0 = -2*i + 4*s + 14. Let o(q) = q**2 + 3*q + 3. Let z be o(i). Suppose 0*g + g = z*w - 69, -5*w = -3*g - 111. Does 12 divide w?
True
Suppose -60 = m - 6*m. Is m a multiple of 12?
True
Let t be (-18)/4 - 7/(-14). Let u be (-2 - t) + -2 + 3. Suppose -u*w = -w - 60. Is 15 a factor of w?
True
Is 22 a factor of ((-9)/(-18))/(2/600)?
False
Suppose -4*c = 1064 - 5864. Suppose -3*f = 0, 7*z = 2*z - 3*f - c. Is 9 a factor of z/(-9) + 2/6?
True
Let o(l) = 4*l + 5. Does 15 divide o(12)?
False
Is 27 + (-5)/((-20)/(-12)) a multiple of 13?
False
Let a(c) = 3*c**2 - 2*c + 5. Let m(s) = 2*s**2 - 2*s + 4. Let g(f) = 3*a(f) - 4*m(f). Let d(w) be the first derivative of g(w). Is 6 a factor of d(2)?
True
Let b(c) = -c**3 - 2*c**2 + c - 4. Let a be b(-3). Suppose 27 = 4*d - 5*n, a*d + 12 = d + 5*n. Does 13 divide d?
True
Let u(s) = s**3 + s + 10. Let m be u(0). Suppose -7*q - 15 = -2*q. Let r = m + q. Is 5 a factor of r?
False
Let d = 31 + 26. Is d a multiple of 17?
False
Let o(c) = -5*c**3 + 5*c**2 - 7*c + 4. Let t(q) = 4*q**3 - 5*q**2 + 6*q - 3. Let i(w) = 5*o(w) + 6*t(w). Let m be i(-5). Does 13 divide 1 + m - -2 - -26?
True
Suppose 78 = 2*s - s - 2*i, 236 = 3*s - 4*i. Is 10 a factor of s?
True
Let a(t) = t + 1. Let x be a(-3). Let m = 2 - x. Suppose -m*d + 18 = -118. Is 17 a factor of d?
True
Let q(l) be the first derivative of -l**3/3 - 3*l**2 + 7*l - 2. Does 6 divide q(-5)?
True
Let f be 4*(2 + 3/4). Suppose 4*a + f = 5*a. Is 8 a factor of a?
False
Let p = 241 - 165. Is 38 a factor of p?
True
Let l(h) = h**2 + 6*h - 7. Let t be l(-9). Suppose -2*r + 60 = t. Is r a multiple of 15?
False
Let u = 3 - -14. Is u a multiple of 17?
True
Let b(i) = 2*i**2 + 0 + 6*i - 1 - i - 2*i. Let q be ((-8)/(-20))/((-1)/(-5)). Is b(q) a multiple of 13?
True
Let c(u) = -u + 3. Let q be c(5). Let h be -4*(-1 - q/(-4)). Suppose 5*d - h = 29. Is d a multiple of 3?
False
Suppose 0*s = s - 6. Let l(m) be the first derivative of m**3/3 - 2*m**2 + 8*m - 2. Is l(s) a multiple of 8?
False
Suppose 5*c - 10 = -0*c. Is (-1)/((c - 1)/(-7)) even?
False
Let c be 10/40 + 39/4. Let i = c + 2. Is 4 a factor of i?
True
Suppose 2*m = -3*m + 210. Is 7 a factor of m?
True
Let m(n) = -n + 2. Let l be m(-2). Is -12*(l + 0)/(-8) a multiple of 2?
True
Suppose 25*r = 24*r + 83. Does 11 divide r?
False
Suppose -2*f = -t - 0*t - 11, -3*t + 15 = 0. Let p be (1*f)/(4/2). Suppose p*q - 67 = 21. Does 11 divide q?
True
Suppose 0*q + 2*q = 3*r - 65, 0 = q + 2*r + 29. Let u = q + 12. Let a = u - -27. Is a a multiple of 4?
True
Let g = -44 - -77. Does 7 divide g?
False
Let r(f) = -f**2 - 20*f - 9. Does 5 divide r(-11)?
True
Let d = -36 - -67. Is 15 a factor of d?
False
Suppose -4*g = -12, -2*g - 536 = -4*v - 6*g. Is v a multiple of 26?
False
Is 6 a factor of (0 - 20)*-1*1?
False
Suppose -3*n = 2*n - 5. Let o be (2 - n)/(2/6). Suppose o = 3*p + 2*r - 8, 5*p - 31 = 3*r. Is p a multiple of 3?
False
Suppose -g = 2*j - 62, 6*g - 2*j - 46 = 5*g. Is 9 a factor of g?
True
Let s(j) = -j + 3. Let z(q) = q**3 - 3*q**2 - q - 1. Let u be z(3). Let t be s(u). Does 2 divide 2/t + 52/14?
True
Let t(n) = 2*n + 2. Let w be t(2). Is 11 a factor of -6*(2 - 46/w)?
False
Suppose -11*k = k - 4752. Is 44 a factor of k?
True
Let q = -26 + 34. Is q a multiple of 3?
False
Let m be (-258)/4*(-4)/6. Let q(x) = -x**2 + 6*x - 4. Let z be q(4). Suppose 5*l + 5*p = 11 + 24, -m = -z*l - p. Is l a multiple of 12?
True
Suppose 43 = -4*a + k, -32 = 3*a + 4*k - 5*k. Let y(m) = m**3 + 12*m**2 + 8*m - 10. Is y(a) a multiple of 6?
False
Suppose 5*h + 580 = h. Let f = h - -212. Does 21 divide f?
False
Let f be 29/(-3) - 4/(-6). Let w(t) = -t**3 + 10*t**2 - 7*t + 4. Let p be w(9). Let s = p + f. Is 6 a factor of s?
False
Let c(f) = -f**3 - 8*f**2 - 7*f + 2. Let s be c(-7). Suppose 2*i = -z - s - 3, 3*z = -i - 15. Let b(x) = x**2 + 2*x - 5. Is b(z) a multiple of 10?
True
Let d(n) = -n**2 + 15*n - 6. Let a be d(6). Suppose -3*u - a = -3*z, -2*u = z - 7*u - 32. Let b = 30 - z. Is b a multiple of 9?
True
Suppose -z + 3 + 18 = -2*x, -3*x - 24 = z. Is 3/x - (-158)/6 a multiple of 10?
False
Suppose 0 = -4*o - 5*j - 33, j + 11 = -5*o - 46. Let w = o + 39. Is 14 a factor of w?
False
Suppose -6*j = -11*j + 30. Let i be 22/(3*4/j). Suppose -g - i = -56. Is g a multiple of 12?
False
Suppose -5*r = -6*r + 5. Suppose -5*j = r*o - 35, -3*o + 6*j - 7 = 2*j. Suppose -w = o*w - 160. Does 17 divide w?
False
Let z = 77 + -48. Is z a multiple of 3?
False
Let k be 2 - (4 + -2) - 0. Let y = -2 - k. Does 5 divide (-46)/(-4) - 1/y?
False
Suppose 5*n = -0*n + 15. Let t(g) = 8*g - 4. Does 4 divide t(n)?
True
Let b be 15/12 - 1/4. Suppose 0*o - 151 = -5*i - 4*o, 0 = 4*i + 5*o - 119. Suppose u = 5*n - b, 4*n = -u + n + i. Is u a multiple of 9?
False
Is 0 + 349 + 1/(-7)*-7 a multiple of 25?
True
Let p be ((-102)/(-9))/((-4)/(-6)). Suppose -2*h + p + 79 = 2*y, -y + 3*h = -60. Is 17 a factor of y?
True
Suppose 2*d - 1 = -3*o + 2, 3*d = -2*o - 3. Is 14 a factor of -1 + (d + 4 - -35)?
False
Let i(g) = -2*g**3 + g**2 + 2*g - 1. Let r = -11 + 9. Does 15 divide i(r)?
True
Let v be (-1)/(-2) - (-15)/(-10). Is 3 + (-40)/(-2) + v a multiple of 9?
False
Suppose 0 = -3*m + m + 6. Suppose -5*c + 32 = -3*c. Suppose q + 0*q = -4*l - 4, -2*l - c = -m*q. Does 2 divide q?
True
Let t(k) = 6 - 4 + 6 + 0*k + k. Is 13 a factor of t(5)?
True
Let x(r) = r + 1. Let b be x(1). Let u = b - -20. Is 22 a factor of u?
True
Suppose -10*o + 60 = -6*o. Does 8 divide o?
False
Let b = -6 + 11. Suppose 5*a - b = 3*c, -3*c - 2*c + a = 45. Is 5 a factor of 61/9 - c/45?
False
Suppose -4 = 4*m + 4. Let x be (-124)/12 - m/6. Is 20 a factor of (-24)/x*100/6?
True
Suppose 61*s - 336 = 59*s. Is 42 a factor of s?
True
Let i(h) = -h**2 + h + 48. Suppose 4*z + 5 = -5*c - z, -5*c = -z - 1. Let m be i(c). Suppose 0*o = 4*o - m. Does 4 divide o?
True
Let q = 13 - -4. Suppose z + 4*z + 3*b = -18, -5*z - q = 2*b. Is (-1)/(z/54) - 2 a multiple of 16?
True
Suppose 2*f = j - 49, 2*j + 31 = -f + 104. Let x = j + -27. Does 12 divide x?
True
Let t(f) be the first derivative of 4*f**3/3 + f**2/2 - 2. Does 13 divide t(3)?
True
Suppose 4*k - 12 = 12. Suppose 2*m - 10 - 8 = 0. Suppose 0 = 5*w - k - m. Is w a multiple of 3?
True
Let m = 283 + -170. Suppose 6*q - 3*q = 5*j - m, -j - 3*q = -19. Does 20 divide j?
False
Is 16 a factor of (-2)/(-5) - 316/(-10)?
True
Let n be -2 - -2 - 4*-1. Is 17 a factor of (-944)/(-52) - n/26?
False
Let m(r) = r**2 + 2*r - 1. Let v be m(-4). Let i = v + -10. Does 3 divide 6/(-2) - 3*i?
True
Let k(s) = s**3 + 8*s**2 + 6*s + 2. Is 4 a factor of k(-7)?
False
Suppose 3*g - 12 = g. Suppose 3*m = g*m - 33. Does 10 divide m?
False
Let b = 52 - 24. Let g = b - -20. Suppose 5*i - g = 3*i + 2*x, 2*i - 5*x - 60 = 0. Is i a multiple of 10?
True
Let w = -4 - -9. Let u be (w/(-10))/((-2)/8). Does 18 divide (-2)/(u/(-27) + 0)