oes 43 divide (2/3)/(14/4431)?
False
Suppose 2*r = -3 + 11. Let f = 3 - -7. Is 8 a factor of (-390)/(-25) + r/f?
True
Let g = -14 - -18. Suppose 5*h + g*c - 67 = 0, -h - 3*h - 2*c = -56. Does 13 divide h?
False
Does 17 divide 8/14 + 5910/70?
True
Let b(s) = -19*s. Is b(-4) a multiple of 19?
True
Suppose 3*l + 3 = -4*d + 14, 24 = 4*l - 4*d. Let x(z) = z**2 - 2*z + 3. Is 9 a factor of x(l)?
True
Suppose -2*j - 68 = -4*v, -4*v + 64 = -j - 2*j. Suppose 1 + v = z. Does 6 divide z?
False
Suppose 0*t - t + 49 = 2*y, -5*t = y - 2. Is y a multiple of 19?
False
Let i be 6/(-2)*-1 + -14. Let d = -7 - i. Suppose -4*u + 3*s - 6*s = -62, -46 = -d*u + 5*s. Does 5 divide u?
False
Is 10 a factor of (0 - 3)/((-7)/63)?
False
Suppose z = -5*i + 25, 105 = 3*z - 5*i - 30. Does 20 divide z?
True
Suppose 4*r = r + 63. Let f = -7 + r. Is f a multiple of 5?
False
Let w(c) = 8*c - c + 5 + 6*c - 1. Is w(3) a multiple of 10?
False
Let v(a) be the third derivative of 5*a**4/24 + 5*a**3/6 - 2*a**2. Does 7 divide v(6)?
True
Suppose -r - 4*l = -38, -5*r + 2*l - 23 = -103. Is 18 a factor of r?
True
Let j(u) = 3*u. Let l be j(4). Suppose -2*g + 4*y = -0*g + l, g = -5*y + 22. Suppose 14 = g*f - 0*f. Does 4 divide f?
False
Suppose -4*h = d - 13, 5*d = 5*h - 2 - 33. Suppose h*m = 2*m + 18. Is m a multiple of 9?
True
Let f = -50 - 17. Let x = f + 101. Is 17 a factor of x?
True
Let y = 1 - 1. Suppose 4*o + 8 = 0, -c - o + 5*o = y. Does 12 divide (2 - 10)/(2/c)?
False
Suppose -6*k + 121 = -131. Is 6 a factor of k?
True
Let m(p) be the second derivative of p**4/6 - 2*p**3 + p**2/2 + p. Is m(8) a multiple of 11?
True
Suppose 447 = 6*y - 1173. Does 10 divide y?
True
Let t = 73 + -41. Let l = t - 14. Is 11 a factor of l?
False
Suppose 7*w = 13*w - 144. Is 8 a factor of w?
True
Suppose -5*m + 2*f = -433, 0 = 3*m + 6*f - 3*f - 264. Is 2/(-4) + m/6 a multiple of 7?
True
Let s = 16 + -9. Let i = -6 + s. Is (-2)/(i/((-24)/3)) a multiple of 16?
True
Let g be (-1)/1 + 9/3. Suppose -4*o = -g*o - 6. Suppose o + 5 = j. Does 4 divide j?
True
Suppose 2*u + 3*u - 170 = 0. Does 8 divide u?
False
Let o(d) be the second derivative of -d**5/20 + d**3/3 - d**2/2 - 2*d. Let a be o(-2). Suppose x = a*x - 42. Is 9 a factor of x?
False
Suppose -4*t - 476 = -5*h + 2*h, 0 = -2*t - 4. Is 26 a factor of h?
True
Suppose 3*w - 5 = 157. Is w a multiple of 27?
True
Let d(u) = -u**2 - 11*u - 4. Suppose 0 = -3*q + 21 + 48. Suppose 3*w + 24 = 3*m, -17 = 5*w - 3*m + q. Is 10 a factor of d(w)?
True
Let q(s) = s + 8. Let d be q(0). Suppose 3*g = d*g + 10. Is 5 a factor of 27/(4 - 1) + g?
False
Suppose 50 = -2*g - 18. Let f = -3 + 1. Let u = f - g. Is u a multiple of 16?
True
Suppose -4*f + 5 = -11, 2*f = 4*r. Suppose 180 - 48 = r*a. Is 22 a factor of a?
True
Suppose 1 + 31 = -2*m. Let l = m - -25. Does 6 divide l?
False
Let w(n) = -n. Let d be w(-1). Let g = d + 16. Does 17 divide g?
True
Let p(v) = -v**3 + 7*v**2 + 2*v + 13. Is 7 a factor of p(7)?
False
Suppose -o + 71 = -4*w - 69, 3*o - 5*w = 392. Suppose -3*u - 2*d = -9, -u + 3 = -2*d + 6*d. Suppose 2*x - o = -6*n + u*n, n - 38 = -4*x. Is 21 a factor of n?
True
Suppose g + 2*n = -n + 27, 0 = g + 2*n - 28. Suppose 0*m + g = a + m, 0 = a - 4*m - 35. Is 22 a factor of a?
False
Let t = -29 - -83. Is 15 a factor of -5 + t - 2/(-1)?
False
Is 5 a factor of (8 - 4)/(1/5)?
True
Let a(b) = -11*b + 5. Let r be a(-5). Suppose r - 140 = -5*h. Let w = h + -6. Is w a multiple of 10?
True
Let v = 3 - 2. Let x be ((-2)/(-3))/(v/9). Suppose -3*s + 96 = x. Is 15 a factor of s?
True
Is 7980/154 + 4/22 a multiple of 14?
False
Let v be -1*(-41*4 + -1). Let b be 1/4 - v/(-12). Is b*(0 + 1) - -1 a multiple of 7?
False
Suppose -3*j + 12 = -0*j. Let h be 4*((-18)/j + 3). Is 12 a factor of h/8 + 131/4?
False
Let o(r) be the first derivative of r**2 + 2*r + 2. Is 4 a factor of o(3)?
True
Let q be (16/12)/((-6)/9). Is (10 - q)*(-2)/(-4) a multiple of 6?
True
Let w be (40/12)/((-1)/(-192)). Is 3/(-2)*w/(-30) a multiple of 11?
False
Suppose 2*h - a + 421 = 0, -a - 1053 = 5*h - 3*a. Let r = 373 + h. Suppose t = 2*d + 3*d - 206, -4*d + r = 2*t. Is d a multiple of 20?
False
Let m(a) = a**3 + 9*a**2 - a - 9. Let z be m(-9). Suppose z*d - 2*y = 3*d + 8, 0 = -2*d + 5*y + 20. Suppose 5*x - 146 + 16 = d. Does 13 divide x?
True
Let l(a) = -a**3 + 5*a**2 + 7*a - 6. Let j = 8 + -3. Is l(j) a multiple of 6?
False
Let n(b) = -4*b + 4*b - b**2 + 9*b - 1. Let i be n(7). Suppose 4*a = i + 43. Does 14 divide a?
True
Suppose -2*t = -m - 43, -t + 37 = 5*m - 1. Is t even?
False
Suppose 3*i = -5*n + 267, -63 = -5*n - i + 196. Suppose -z = 2*z - n. Is 5 a factor of z?
False
Let f be (-4)/8 + (-902)/(-4). Let o = f - 139. Suppose v + o = 3*v. Is v a multiple of 16?
False
Suppose -5*g - 13 = 2. Let d(p) = -4*p**2 - 1 + 6 - 5*p - 2*p**3 - 9. Is 11 a factor of d(g)?
False
Suppose 0 = o - 2. Suppose 0 = 5*l + 4*g - 132, o*g - 7*g - 66 = -2*l. Is 14 a factor of l?
True
Suppose 37*a = 33*a + 408. Is a a multiple of 22?
False
Let l(j) = 25*j**3 - 5*j**2 + 4*j + 5. Let y(x) = x**2 - x - 1. Let b(v) = -l(v) - 4*y(v). Is b(-1) a multiple of 24?
False
Suppose -7 = -y - 4. Suppose -v = -p - y*v + 10, 5*v - 25 = 0. Suppose 5*s + 0*h + 5*h + 5 = p, s + 5*h + 21 = 0. Does 3 divide s?
False
Suppose 0 = -4*x + 433 + 527. Is 31 a factor of x?
False
Does 3 divide (-18)/12 - (-49)/2?
False
Suppose -t - 2*t = -117. Is 21 a factor of t?
False
Suppose y - 3*z + 46 = 0, -5*y + 2*z - 249 + 32 = 0. Suppose 5*b = 3*h - 234, 2*b + 2*b + 237 = 3*h. Let q = y + h. Does 15 divide q?
False
Suppose x + 4*p - 22 = 0, 3*x - 4 = -4*p + 62. Does 4 divide x?
False
Suppose k = -0*k + 5. Suppose -k*s = -3*s + 5*r - 116, 0 = 2*s + 3*r - 124. Is 26 a factor of s?
False
Let v(w) = -w + 1. Let h be v(-1). Let l = -3 + 5. Does 3 divide (-1)/(-2)*l + h?
True
Let f(k) = 4*k - k - 9 - 2*k - 2*k. Let j(u) = u + 9. Let h(c) = 3*f(c) + 4*j(c). Is h(-4) a multiple of 5?
True
Suppose n = 3*c + 8, -3*n - 3*c + 50 = c. Is n a multiple of 5?
False
Let y(t) = -t. Suppose 3*b + 2*u = 7, 5*b - 19 - 1 = 5*u. Suppose 2*l + 36 = -b*w, 2*l + 3*l + 24 = -2*w. Does 6 divide y(w)?
True
Let r(s) be the third derivative of s**5/60 + s**4/8 - 7*s**3/6 - 3*s**2. Is 7 a factor of r(-6)?
False
Let u(g) = 3 - 6 - 4*g + 5*g - 3. Is 3 a factor of u(9)?
True
Let f(h) = h**3 - h**2 - h. Let o(y) = 2*y**3 - 10*y**2 - 2. Let m(g) = 3*f(g) - o(g). Is m(-7) a multiple of 12?
False
Let o = 2 - 4. Let y be ((-2)/3)/(o/(-12)). Let v(u) = -u**3 - 3*u**2 - 2. Does 7 divide v(y)?
True
Let z(r) = r**2 + 5*r + 2. Let l be z(-6). Let t = -6 + l. Let c(h) = 5*h**3 - 2*h**2 + 2*h + 1. Does 13 divide c(t)?
False
Let n(x) be the second derivative of 0 + 0*x**2 + x + 1/6*x**3 + 7/6*x**4. Does 9 divide n(-1)?
False
Suppose 0 = 5*h + 5*y - 20, -16 = -y - 3*y. Suppose 2*p - p - 8 = h. Does 8 divide p?
True
Let m(i) = -i**3 - 7*i**2 - 7*i - 9. Let x = 7 + -13. Let a be m(x). Is -1 - 3/(a/44) a multiple of 15?
False
Let g be 26 + (0 + -2)/2. Suppose s = -4*s - g. Let d = 11 + s. Does 6 divide d?
True
Let w(l) = l**2 + 8*l - 10. Let h be w(-8). Does 10 divide (-52)/(-5) + 4/h?
True
Let u(d) = -d**2 + 15*d + 3. Is 6 a factor of u(12)?
False
Let n = -10 - -31. Is n a multiple of 7?
True
Let a(o) = -5*o. Let j = 2 - 3. Let x be a(j). Suppose -l = 2*l + 2*k - 97, 3*l - 62 = x*k. Is l a multiple of 10?
False
Is 10 a factor of 8/(-10)*(2 - (-987)/(-6))?
True
Does 23 divide (20/(-5) - (-1 - 1)) + 55?
False
Suppose -3*b - 4*l - 143 = 2*b, -2*b + 3*l - 48 = 0. Is 7 a factor of (-3)/(1 - b/(-24))?
False
Let l(f) = -44*f**3 - f**2 - 3*f - 3. Is 33 a factor of l(-1)?
False
Is -4 - (-5 - -4 - 36) a multiple of 26?
False
Suppose 0*u = -2*u + 12. Let a = 12 - u. Suppose i - a*i + 170 = 0. Does 9 divide i?
False
Is 9 a factor of (36/14)/(8/112)?
True
Does 4 divide 3 + 4/(-3 - -7) + 0?
True
Suppose -3*u - 2*u + 4*d + 77 = 0, 5*d = -15. Suppose 39 = 2*j - u. Is j a multiple of 13?
True
Suppose 0 = -n - 5*k + 31, 5*n = n - 2*k + 124. Is n a multiple of 5?
False
Suppose 11 = -l + 3*t, -4*t = -4*l - 0*l - 60. Let s = -7 - l. Is s a multiple of 10?
True
Let j be (-3)/(3/52)*-1. Suppose -l - l = -j. Does 20 divide l?
False
Let z(x) = -3*x - 3. Let u be z(-2). Let j(f) = -f**3 + 7*f**2 + 2*f - 4. Is j(u) a multiple of 14?
False
Suppose 5*k 