o?
False
Suppose 3*d + 4 = -2. Let t be (1 - d)/(3/(-39)). Let z = 77 + t. Is 19 a factor of z?
True
Suppose k + 90 = 4*k. Is k a multiple of 5?
True
Suppose 4*m - 1076 = -5*i + i, 4*m = 3*i + 1083. Does 27 divide m?
True
Let a = 6 - 4. Suppose -6*j + 160 = -2*j. Suppose j = t + 5*u, -5*t = -a*t - 4*u - 120. Does 14 divide t?
False
Suppose 8 = -5*b + 93. Suppose 0 = 3*g, 0 = j + 3*g - 5*g - b. Suppose a - 6 = 5*t + j, 0 = 2*t. Is 14 a factor of a?
False
Let a be 1/(-2) + 6/12. Suppose a*d - 8 = -2*d. Suppose -5*p + 4*o = 2*o - 20, -4*p - 12 = d*o. Does 2 divide p?
True
Suppose -2*h - 3*h = 10. Let m be (-4)/(-3)*(-3)/(-2). Does 12 divide -3*(h/m + -7)?
True
Suppose -a - 2 = -v - 2*a, -5*v + 3*a + 42 = 0. Is 10 a factor of ((-20)/v)/(1/(-3))?
True
Suppose 7 = -2*b + 3*q, 14 = -3*b + 4*b + 2*q. Suppose -h - b = -2*m, -h - h - 2 = -2*m. Does 2 divide m?
False
Suppose 16 = -5*k + 1, 5 = -5*v - 5*k. Is (-4 + 6)/(v/8) a multiple of 3?
False
Is 5 a factor of (1*10/3)/(6/45)?
True
Let t(g) be the first derivative of 8*g**2 - 4. Let z be t(8). Suppose -5*j - 58 + 18 = -o, j = 5*o - z. Is 7 a factor of o?
False
Let z(v) = -39*v**3 + v**2 - 1. Let j(u) = -u**2 + 7*u + 7. Let y be j(8). Does 15 divide z(y)?
False
Let g(q) = -31*q + 49. Does 27 divide g(-8)?
True
Suppose d - 3*z - 17 = -0*d, -2*d - 3*z = 11. Let s = 8 + -6. Suppose -6*h - 20 = -s*h, -2*x = d*h - 18. Does 7 divide x?
True
Suppose 5*f + 4*b - 35 = 0, -4*b = f + 2*f - 21. Let m(h) = -h + 1. Let n(i) = -9*i + 11. Let t(r) = 6*m(r) - n(r). Is 5 a factor of t(f)?
False
Let a be (-12)/(-15)*(-15)/(-6). Suppose -5*w = 3*u - 144, a*u = -2*w + 57 + 3. Is 9 a factor of w?
True
Let o be (-3 - 30/(-9))*21. Let k = 53 + o. Does 20 divide k?
True
Is 25 a factor of 100*(12/8 + -1)?
True
Let x be 7/(-21) - 20/(-6). Let f(b) = 6*b + 6. Let i(a) = a. Let h(p) = x*i(p) - f(p). Is 12 a factor of h(-6)?
True
Let z = -3 - -3. Let o be (z - 5)*4/10. Let r(y) = 3*y**2 - 4*y - 3. Is 17 a factor of r(o)?
True
Suppose -5*g = 2*l - 15, -3*g - 7 = l - 17. Suppose r = -g + 45. Is 14 a factor of r?
False
Let a = 4 - 0. Suppose 0*g - 3*g = -2*j + 9, -2*g = -6. Suppose j*b = a*b + 55. Does 5 divide b?
False
Let y be 48/18*6/(-4). Suppose -4*h + i = -0*i - 81, -2*h = 2*i - 48. Let u = h + y. Is 7 a factor of u?
False
Let r = 441 + -293. Does 22 divide r?
False
Let f = -21 - -37. Is 8 a factor of f?
True
Suppose 3*c + c = -3*g + 29, -g + 5*c - 22 = 0. Suppose g = v - 14. Does 5 divide v?
False
Does 8 divide (2*-1)/(7/(-56))?
True
Let g(c) = c + 5. Let z be g(-5). Let x(w) = 6 + 3*w**2 - 3 + 0*w**2 + w**3 + z*w**2. Is 2 a factor of x(-3)?
False
Let q(h) = h**3 + 5*h**2 - 4*h + 4. Suppose -3*l = 5 + 10. Is 8 a factor of q(l)?
True
Suppose -8*a + 3*a + 240 = 0. Is 8 a factor of a?
True
Suppose -4*w - 4*p - 64 = -0*w, -4*p - 16 = 0. Let t = -8 - w. Suppose 76 = t*n - 4*o + 4, n + 3*o = -2. Does 12 divide n?
False
Is 24 a factor of 4 - (-438)/((-6)/(-3))?
False
Let u = 4 - 1. Suppose 3*k - 100 = -g + u*g, 5*g = 2*k - 85. Let b = 42 - k. Is b a multiple of 6?
True
Suppose 5*w + 2*u - 362 = 0, 0 = 5*w + 3*u - 2*u - 361. Is 18 a factor of w?
True
Suppose 0 = 3*u - 4*c - 73 + 1, 2*u - 48 = -2*c. Does 13 divide ((-78)/u)/(2/(-8))?
True
Let w(m) be the third derivative of 7*m**5/30 + m**4/12 - m**3/6 + 3*m**2. Does 14 divide w(1)?
False
Let v(g) = -207*g**3 + g**2 + 2*g + 1. Does 31 divide v(-1)?
False
Suppose 0*v = v - 4. Suppose -2*f = -v*g - 4*f + 22, -4*f = 2*g - 20. Suppose -x = g*x - 120. Is x a multiple of 10?
False
Let j = -113 + 175. Does 14 divide j?
False
Suppose -9 = -3*i - 0*i. Let h = 5 - i. Suppose -k = -h*k + 33. Does 15 divide k?
False
Suppose 0 = -2*k - 0*l - l + 57, -4*l + 112 = 4*k. Does 29 divide k?
True
Does 14 divide 2 + 106 - (-12 - -8)?
True
Let j be (-88)/6 - 9/27. Let n = -3 - j. Let t = n + 23. Is t a multiple of 16?
False
Let j be 1*-4*(-82)/(-8). Is 12 a factor of (-1 - 2 - j) + 1?
False
Suppose 3*b - 679 = -235. Suppose -2*s = -2*c + 4*c - b, c = 4. Is 14 a factor of s?
True
Suppose -3*g + 4*g = 14. Suppose -q - g - 5 = 0. Is q/(-3) - 1/3 a multiple of 6?
True
Is 4 a factor of (0 - 12)*(1 + -2)?
True
Suppose 0*z = 2*z - 4*a - 14, -50 = -4*z - 3*a. Suppose -v + 23 = -z. Is v a multiple of 17?
True
Let x = 147 - 125. Does 11 divide x?
True
Let w(a) = -21*a**2 + 28*a**2 - a**3 + 1 - 2*a - a. Let g be (-21)/(-4) - 2/8. Is w(g) a multiple of 18?
True
Let y(n) = n**3 + 2*n**2 - 3*n - 2. Let h(v) = 2*v**3 + 5*v**2 - 6*v - 5. Let r(f) = -3*h(f) + 7*y(f). Is r(3) a multiple of 10?
True
Does 15 divide ((-30)/(-24))/((-1)/(-36))?
True
Is 1/3*(-1068)/(-2) a multiple of 19?
False
Let l(s) = 6*s**2 + 4*s + 3. Let x be l(-3). Let n = 4 - -1. Suppose 2*o = n*f - x, -4*o = o + 25. Is 7 a factor of f?
True
Let h(o) = -7*o - 9. Let i be h(-6). Suppose -i = -k + 1. Does 12 divide k?
False
Suppose 3 = 2*a + 1, 2*o + 3*a = 11. Let r be (-3)/(-6)*-2 - o. Let j = 9 + r. Is 4 a factor of j?
True
Let f(i) = i**2 - i - 5. Let v(x) = x - 4*x + x**3 + 3 + 7*x**2 + 4*x. Let y be v(-7). Is 11 a factor of f(y)?
False
Suppose 0 = -u - 0 + 1. Suppose u = m - 0, -67 = -3*n - 4*m. Is n a multiple of 21?
True
Let b = 189 - 74. Is b a multiple of 23?
True
Is -25*5/((-50)/24) a multiple of 15?
True
Let o(x) be the first derivative of -x**4/4 - 2*x**3 - x**2/2 - 3. Is o(-6) a multiple of 3?
True
Let m(r) = 2*r**3 - r**2 - 3*r - 1. Let i be m(3). Let h = i + -16. Suppose z - 7 = h. Does 13 divide z?
True
Let x = 3 - 0. Let m(f) = -f**2 - 6*f - 4. Let n be m(-4). Suppose 9 = -x*l + n*l. Is 9 a factor of l?
True
Let c(u) = u**3 - 4*u**2 - 7*u - 1. Let j be c(5). Suppose k = -5*i + 18, 3*i + 29 = -5*k + 9. Let w = k - j. Is 3 a factor of w?
False
Let w(a) = a - 1. Let y be w(3). Suppose 2*s = -3*t + 9, -4*s + y*t - 2 - 4 = 0. Suppose s*o = 4*o - 36. Is 5 a factor of o?
False
Let t(u) = u + 8. Let y be t(-6). Suppose -y*d + 21 = -3*r + 6, -9 = -2*d + r. Suppose 6 = i + d. Is 2 a factor of i?
False
Let g(z) = 2*z + 12. Let q be 1/((4/11)/4). Does 17 divide g(q)?
True
Let x(t) = -4*t**3 - 2*t**2 - 7*t - 9. Is x(-3) a multiple of 34?
True
Does 10 divide 5/15 + (-238)/(-6)?
True
Suppose 2*f + f = 3*z + 39, -4*z - 12 = 0. Does 2 divide f?
True
Let a(w) = -w - 1. Suppose -7 = d + 2. Is 5 a factor of a(d)?
False
Let s = -5 + 5. Let c(b) = s*b + 2*b**2 + b**2 - b**2 - 6*b. Is 10 a factor of c(5)?
True
Let n = 180 - 95. Is 39 a factor of n?
False
Suppose -2*y = y - 4*v - 26, 0 = v + 5. Suppose -2*n = 5*r - 3, -r + 55 = 5*n + y*r. Does 10 divide n?
False
Let w(f) = f**3 + 5*f**2 - 10*f + 12. Does 33 divide w(-5)?
False
Let u = -1 + 1. Let t(l) = -l**2 + l + 5. Let c be t(u). Let w(j) = j**2 - 4*j - 1. Does 4 divide w(c)?
True
Let q(o) = 19*o**3 - 2*o**2 - 2*o. Is 14 a factor of q(2)?
True
Let l = -15 + 30. Does 15 divide l?
True
Suppose 0 = 3*t - 27 - 6. Let h(s) = s**3 - 12*s**2 + 13*s - 13. Is h(t) a multiple of 9?
True
Let m = 59 + -37. Does 20 divide m?
False
Let q(f) = -8*f**3 + 4*f**2 - 3*f - 2. Let c(x) = -15*x**3 + 7*x**2 - 6*x - 4. Let p(w) = 6*c(w) - 11*q(w). Does 12 divide p(-2)?
True
Let z(w) = w + 21 - 5*w - 7 + 3*w. Let s = 14 + -8. Is z(s) a multiple of 3?
False
Suppose 5*q = u + u - 32, 4*q + 19 = u. Does 5 divide u?
False
Let v(z) = 2*z**3 + 2*z**2 - 2*z. Is 13 a factor of v(3)?
False
Suppose 4*d - 1 = -a, 5*d = a - 0*a + 17. Let c = a + 15. Does 4 divide c?
True
Suppose -4*s + 1 = -7. Suppose 4*c + 3*b = 56, s*c - 3*c + 2*b = -3. Is c a multiple of 11?
True
Let l(w) = -39*w - 6. Let t(y) = 13*y + 2. Let j(m) = -4*l(m) - 11*t(m). Is j(3) a multiple of 15?
False
Let f be (-1)/(3*(-1)/(-3)). Let p be ((-30)/f)/((-6)/(-28)). Suppose 7*t - 4*t - p = g, -3*t + 120 = 3*g. Is t a multiple of 17?
False
Suppose 4*j - 10 = 2*j. Let p(v) = -13 - v - 3*v + j. Is p(-6) a multiple of 8?
True
Is 11 a factor of 1 + 2 + (-4)/4 + 141?
True
Suppose 17 = 5*y - 8. Suppose 3*s = -2*d + 22, -2*d - y*s = -3*d + 11. Is 3 a factor of d?
False
Let p = -84 + 220. Let v(r) = r**3 + 5*r**2 - r. Let y be v(-5). Suppose -y*d + d = -p. Is d a multiple of 13?
False
Let q = -2 + 2. Suppose 2*b - 24 = 2*u, b + 4 = -q. Let m = 9 - u. Is m a multiple of 9?
False
Suppose -3*w = 2*w - 755. Is 26 a factor of w?
False
Does 47 divide (54/(-24))/(6/(-448))?
False
Suppose 49 - 343 