2 - g**2 + 13*g + 4. Does 6 divide d(5)?
True
Let h(s) = -16*s**2 - s + 2. Let n be h(-2). Is (n/(-9))/(2/6) a multiple of 7?
False
Let g = 26 - 12. Let z = 23 - g. Is z a multiple of 4?
False
Let r = -186 - -268. Is r a multiple of 41?
True
Does 35 divide 2/(-3)*70*-3?
True
Let b(w) = w**2 + 9*w + 10. Let j be b(-8). Suppose j*n = 7*n - 40. Suppose n*h - 3*u - 200 = 3*h, 121 = 3*h - 2*u. Is 12 a factor of h?
False
Is 2 a factor of (-1*(-3)/(-3))/(1/(-3))?
False
Suppose 2*x = -5*d + 15, -5*x + 4*d + 37 + 17 = 0. Let t = -46 + x. Let y = 66 + t. Is y a multiple of 8?
False
Let v(w) = w**2 + 8*w - 3. Let g(t) = -t**3 - 3*t**2 + 4*t + 3. Let b be g(-3). Is 6 a factor of v(b)?
True
Let m(s) = 3*s**2 - 4*s - 3. Is 5 a factor of m(4)?
False
Is (9/(-27))/(1/(-462)) a multiple of 6?
False
Let n = 7 - 23. Let r = -2 - 0. Does 7 divide r/(-2) + -3 - n?
True
Let r(p) = 2*p - 8. Let m(n) = 4*n - 1. Let x be m(2). Let l be r(x). Suppose l = 3*d - 2*d. Is 6 a factor of d?
True
Let o be 2/8 + (-5)/4. Let c = o - -7. Is c even?
True
Suppose -4*y = 2*o, 3 = 2*o + y - 9. Suppose 5*j + 0*l + 18 = 3*l, -5*l = 20. Let q = j + o. Does 2 divide q?
True
Let k(h) = -2*h**2. Let d be k(-6). Let v = -41 - d. Suppose 0 = -4*z + b - 6*b + v, 2*b = z + 2. Is z a multiple of 2?
True
Suppose -6*u = -7*u - 14. Is 2 a factor of 2/((-8)/2)*u?
False
Let j = -46 + 83. Does 11 divide j?
False
Let u(w) = -5*w - 26. Is 2 a factor of u(-8)?
True
Let h(i) = i**3 - 6*i**2 - i + 10. Does 21 divide h(7)?
False
Suppose 3*h - j - 10 = 0, 0 = h + h - 4*j + 10. Suppose h - 2 = a. Suppose -3 + 2 = -i + 2*u, -4*i = -a*u - 29. Is 11 a factor of i?
True
Suppose v + 5*a = 18, -3*v + 0*a = -a - 54. Suppose v = 5*g - 17. Suppose -p + 19 = -g. Is p a multiple of 15?
False
Let n = -46 - -136. Let v = n + -54. Suppose -v = -4*m + 60. Does 12 divide m?
True
Is 3 a factor of 2 + (0/4 - -3)?
False
Suppose 0*u = -u - 3. Let t = 7 + u. Suppose 0*y = -t*y + 140. Is y a multiple of 22?
False
Let o(w) = 2*w**2 + 4*w. Let t be o(-3). Suppose -104 = -2*b - t. Is b a multiple of 14?
False
Let l be 1818/(-42) + 4/14. Let f = -11 - l. Is 16 a factor of f?
True
Let a be 38/(-9) - (-2)/9. Let h(o) = o**2 + 3*o + 6. Is h(a) a multiple of 10?
True
Suppose -o = 4*o - 1320. Is 11 a factor of o?
True
Suppose -7 = 3*m + 2*m - 4*a, 4*m + 5 = 3*a. Does 22 divide (-64)/(-6)*(m + 2)?
False
Suppose -h + 2*s = -14, 4*h + 0*h - 104 = -4*s. Is 13 a factor of h?
False
Let d = -42 + 83. Is 41 a factor of d?
True
Let r be (-2)/1*15/6. Let q = r - -11. Is q a multiple of 3?
True
Suppose 5*t = -5*b - 195, t + 3*b + 56 = 15. Let j = 57 + t. Is 19 a factor of j?
True
Suppose 18*o - 1194 = -240. Is 4 a factor of o?
False
Let a(w) = 19*w**2 + w - 1. Does 9 divide a(-1)?
False
Let v be (-23)/3 + (-6)/(-9). Let z be (-2)/v + (-4)/14. Suppose z = 2*m - 0 - 8. Is m a multiple of 3?
False
Does 29 divide (-3 - (-3 - -3)) + 99?
False
Let h(q) = q**2 + 9*q - 12. Let t = -35 - -23. Is h(t) a multiple of 8?
True
Let w(z) = z - 7. Let x(a) = a - 8. Let v(l) = 2*w(l) - 3*x(l). Is v(0) a multiple of 9?
False
Let m(x) = -x**2 - 30*x - 23. Is m(-20) a multiple of 23?
False
Let h(d) be the first derivative of d**2 + 3*d + 4. Is 17 a factor of h(7)?
True
Let v = 20 + 8. Is v a multiple of 14?
True
Let m = 16 + 10. Let y = m + -16. Does 5 divide y?
True
Let k(d) = 4*d**2 - d + 2. Suppose -3*i - i = 8. Let s be k(i). Suppose l - s = -l. Does 10 divide l?
True
Suppose 2*q + 10 = 4*f, -2*q + 4*f - 4 = 2*q. Suppose -q*l + 2 = -4. Suppose -l*o = 2*b + 5 - 13, o - 1 = 2*b. Does 3 divide o?
True
Is 62 a factor of (3/(-12)*2)/(1/(-256))?
False
Does 18 divide ((-318)/24)/((-1)/16)?
False
Let a(v) = 27*v**3. Let h be a(1). Suppose -2*s = -5*t - h, 5*s - 131 + 21 = 4*t. Is 7 a factor of s?
False
Suppose -5*v + 215 = 4*r, 0 = 3*r - r. Is 24 a factor of v?
False
Let t = 1 + -1. Suppose -h = 3*k - t*h - 89, -h = -5. Is k a multiple of 14?
True
Let f be 2 - (0 - (-4)/(-2)). Suppose -5*i = 28 - 8, f*i = -w - 7. Suppose -v - w = -24. Is 9 a factor of v?
False
Is (-40)/(-1) - (1 - 1) a multiple of 40?
True
Suppose 0 = 5*m - 10 - 0. Suppose -5 = 5*h - 5*p, -2*p - p = m*h - 23. Is -4*1/(h/(-26)) a multiple of 9?
False
Suppose -c + 8 = -0*c. Let j(a) = a**2 - 5*a + 9. Is j(c) a multiple of 11?
True
Let j(a) be the third derivative of 0*a + 0 + 1/3*a**4 + 1/3*a**3 + a**2. Does 9 divide j(2)?
True
Let w = 695 - 418. Does 23 divide w?
False
Does 15 divide ((-10)/8)/(725/(-180) + 4)?
True
Suppose 4*s + 115 = s + 4*f, 2*s = -f - 84. Let q = 13 - s. Is 9 a factor of q?
True
Let d(o) = -3*o**2 + 2*o**2 - 3*o**2 - 3 + 4*o. Let q be d(3). Let l = q + 62. Is l a multiple of 20?
False
Does 18 divide 38 - (2 + -5 + 2)?
False
Suppose -2*z + 20 = 3*z, -2*z - 118 = -2*n. Is 19 a factor of n?
False
Let l(s) = -7*s**3 - s**2 - s - 1. Let g be l(-1). Let v = 22 - g. Does 8 divide v?
True
Let g(p) = p**2 + 3*p + 9. Let s be g(-7). Suppose w + x = 35, 135 = 5*w + 2*x - s. Let z = -11 + w. Is z a multiple of 7?
False
Suppose 2*w + 2*s - 4*s + 68 = 0, 4*w = -4*s - 96. Let u = -18 - w. Does 11 divide u?
True
Let k(u) = -u**2 - 7*u - 6. Let m(c) = 7*c + 6. Let n(t) = -2*k(t) - 3*m(t). Suppose 14 = i - 2*l, -5 = -2*i - l + 3. Does 12 divide n(i)?
True
Let l be ((-3)/(-4))/(3/12). Does 17 divide 35 + (0 - (-2 + l))?
True
Does 39 divide (206/(-8))/((-1)/4)?
False
Let p = 22 + -33. Let o = p + 17. Suppose -y + 11 = -s + 4*s, 4*y + o = -2*s. Is 3 a factor of s?
False
Let k(i) = 22*i**2 + 2*i + 2. Is k(-2) a multiple of 15?
False
Let y = 10 + 1. Is y a multiple of 5?
False
Suppose -8*n - 196 = -1492. Is 49 a factor of n?
False
Suppose 4*a - 2 - 2 = -2*t, -2*t = 8. Suppose 4*r - 95 = -a*n + 7, -2*r - 84 = -3*n. Is 10 a factor of n?
True
Suppose 3*z - 8*o + 4*o - 133 = 0, -250 = -5*z + o. Is (1 - 8/12)*z a multiple of 17?
True
Let u(g) = g - 1. Let r be u(-2). Let i be (2/r)/((-5)/45). Does 4 divide (18/5)/(i/20)?
True
Let v(d) = 9*d**3 + 1. Let t(r) = -r**3 + r**2 + r + 1. Let q be t(-1). Suppose q*m + 2*b - 4 = 0, -2*m + 1 + 5 = 4*b. Does 9 divide v(m)?
False
Suppose u - 6 = 4*u. Does 8 divide 4/u*(-11 + -1)?
True
Suppose -2*h + h = -2. Let z be ((-1)/2)/(3/6). Is (-28 - (2 - h))*z a multiple of 14?
True
Let q(f) = 5*f + 25. Is q(7) a multiple of 12?
True
Suppose w + 0 = 2*k - 1, -19 = -3*k - 2*w. Suppose k*m - 5*i - 4 = 0, 4 = 3*m - 4*i - 1. Is 3 a factor of m?
True
Suppose 0 = 3*w + 2*w + 25. Let f = 5 + w. Suppose f = 2*b + m - 41, 2*b = -b - 2*m + 62. Is b a multiple of 7?
False
Let i(x) = -2*x**2 - 4*x + 4. Let n be i(-3). Let m(b) = -b**2 + 6*b - 3. Let r be m(4). Let c = r + n. Is c a multiple of 3?
True
Suppose -2*i = 4*w + 7 - 215, -5*w + 2*i + 242 = 0. Does 5 divide w?
True
Suppose -3*j = -q + 5*q - 13, 0 = 3*j - 4*q - 5. Suppose -5*r + 3*s + 268 = -r, 0 = j*s - 12. Does 17 divide r?
False
Let s be (-1)/(-4) - (-46)/8. Let p(b) = -s*b + 2*b**2 - 3 - 3*b**2 + 2. Is 2 a factor of p(-5)?
True
Suppose 0 = -2*v + 5*x + 5, -4*v - 3*x = -6*x - 17. Suppose -2*c + 5*h = -8, -2*c - 5*h = -v*c + 12. Is c a multiple of 2?
True
Suppose 12*b - 15 - 117 = 0. Does 7 divide b?
False
Let l = -154 - -221. Let k = 99 - l. Suppose 2*i - 16 - k = 0. Is 14 a factor of i?
False
Let w = 9 - 29. Let b = -5 - w. Is b a multiple of 10?
False
Suppose 2*m + 5*n = 321, -354 = -5*m - 5*n + 411. Does 37 divide m?
True
Let r = 17 - -39. Suppose -r = -3*p + 2*w + 92, 2*w = -4. Does 24 divide p?
True
Suppose 0 = 3*l - 5 - 139. Does 6 divide l?
True
Let s be (-18)/(-10) - (-6)/30. Suppose -x + 6*x + s*c - 73 = 0, -72 = -5*x - 3*c. Does 5 divide x?
True
Let f(v) = -6*v**2 - v - 3. Let i be f(3). Let n = -27 - i. Does 21 divide n?
False
Let a(d) = -d + 10. Let w be (2/4)/(1/10). Let g be a(w). Suppose g*c = -37 + 112. Is c a multiple of 9?
False
Suppose 8*s - 1760 = -3*s. Is s a multiple of 40?
True
Suppose -815 = -5*k - 0*k. Suppose -5*o + p = -k, -2*o + o - 5*p + 43 = 0. Does 25 divide o?
False
Let j = 24 + -45. Does 3 divide (-70)/j*(-6)/(-4)?
False
Is 2 a factor of (10 - 3) + 0/(-1)?
False
Let c = -5 - -7. Suppose 5*q - 17 - 37 = -c*n, 3*n - 63 = -3*q. Does 3 divide n?
False
Suppose 3*f + 5*d - 605 = -f, -3*f + 3*d = -447. Is f a multiple of 6?
True
Let m(a) = a - 4. Is m(19) a multiple of 3?
True
Suppose 0 = -y, -5*v + 1 = 5