0 - (176/m + -4) a multiple of 10?
False
Is 3 a factor of (-3 + 12)*(-5 + 8)?
True
Suppose 21*n - 7742 = 9457. Is n a multiple of 63?
True
Suppose 438*q + 891 = 449*q. Is 2 a factor of q?
False
Let h(g) = 3*g**2 - 1. Let a be h(1). Does 6 divide a*18*(-4)/(-4)?
True
Let l be ((-1495)/26)/((-2)/4). Let r = l - 65. Is r a multiple of 9?
False
Suppose v + 2*s - 1069 = -160, -2*s + 2707 = 3*v. Is v a multiple of 41?
False
Suppose -u = 4*u - 10. Let v be (1/u)/(7/56). Suppose -a - v = -35. Does 16 divide a?
False
Let l(t) = 3*t**2 - 9*t - 5*t**2 + 3*t**2 + 11. Let x be l(9). Is 16 a factor of 2/x + 12500/220?
False
Let h = -6 + 8. Suppose -393 = -h*l - l. Suppose 0 = 5*p - l - 29. Is p a multiple of 15?
False
Let d = 25 + -18. Suppose d*s - 4*s = 0. Suppose -3*z - 2*z + 260 = 4*o, o + 5 = s. Is 13 a factor of z?
False
Is 14 a factor of 30998/22 - -5*1?
True
Does 9 divide ((-2)/3)/(48/(-324))*32?
True
Let d(g) = -g - 5*g**2 - g**3 + 6*g + 13 + 0*g + 5*g. Let c be d(-6). Let f = c - -20. Does 9 divide f?
True
Does 13 divide ((-565)/2)/(((-24)/4)/12)?
False
Let o(f) = 26*f**3 + 10*f**3 - 11*f**3 - 2 + 81*f**3 + 2*f. Is o(1) a multiple of 22?
False
Let g(m) = m**2 - 19*m + 2. Let i be g(19). Does 14 divide 175/(-50)*(0 + i - 14)?
True
Let c(m) = -8*m**2 - m + 8. Let b be c(-7). Let i = b + 537. Is i a multiple of 10?
True
Suppose 5*l - 2432 + 582 = 0. Does 29 divide l?
False
Suppose 3*p - 1713 = -2*d, -21 + 25 = -4*p. Does 15 divide d?
False
Let w be 2/(-4) - (-3 + (-3)/6). Let k(x) = 44*x - 11. Does 11 divide k(w)?
True
Let o(u) = 2*u - 87. Let j be o(27). Is 11 a factor of j*(-8 + (-3 - -8))?
True
Let x(b) = -2*b**2 + 25*b - 14. Is 3 a factor of x(10)?
True
Is 2820/6 + 14/(-7) a multiple of 52?
True
Suppose 1360 - 1334 = 2*f. Is f a multiple of 8?
False
Suppose -2*a + 6 = -5*w - 57, -3*a + 81 = -3*w. Is 3 a factor of a?
True
Suppose -3*c + 6 = -78. Is 22 a factor of 70 - (128/c + 4/(-7))?
True
Suppose 1 = -q + 2*u, -19 = 5*q + 6*u - 2*u. Let z(f) = -8*f - 1. Let v be z(q). Let h = 1 + v. Is h a multiple of 11?
False
Suppose 0 = 4*n + 20, -4*r - 5*n + 3 = -68. Let b(y) = y**3 + 5*y**2 - 3*y - 4. Let g be b(-6). Let v = r + g. Does 2 divide v?
True
Let v(j) = -9*j - 2. Let y(b) = -1. Let l(h) = -v(h) + 4*y(h). Is 20 a factor of l(4)?
False
Let x(r) = r**3 + 2*r**2 - 4*r + 5. Let j be x(-4). Let i = j + 14. Suppose 4*y = -i*m + 44, 3*y - y = 5*m - 30. Is 3 a factor of m?
False
Let y(q) = -4*q**3 - 3*q - 2. Let p be y(-4). Suppose 0 = 3*m + 11 + 1, 5*s - 4*m = p. Suppose -3*a + s + 40 = 0. Is 14 a factor of a?
False
Suppose 9*a + 25 = 574. Let f = 170 - a. Does 13 divide f?
False
Suppose 5 - 11 = 2*m. Is 29 a factor of -1 - (m + 0 + 2 + -60)?
False
Suppose 2*w - 3*w = 4*r + 129, -4*r - 725 = 5*w. Let u = w - -219. Is u a multiple of 18?
False
Suppose 4*y - 239 = 3*j, 5*j + 413 = -5*y + 8*y. Let h = j - -136. Is h a multiple of 12?
False
Let j be 3/9 - (2 - (-28)/(-6)). Does 15 divide 43 - j/(1*12/(-8))?
True
Suppose 5 = -c + 6*c. Let s = -2 + 3. Is 10 a factor of s/c*(3 - -14)?
False
Let h(r) = r**3 + 8*r**2 - 11*r - 18. Let l be h(-9). Suppose -i + 3*i - 78 = 4*f, l = -5*i + 5*f + 195. Is i a multiple of 14?
False
Let o(y) = 2*y**2 + 8*y - 56. Is 3 a factor of o(8)?
False
Let x = -156 - -93. Let k = -9 - x. Is k a multiple of 6?
True
Let i(r) = -8*r**2 + r**3 - 9 + 30 - r + 3*r - 10. Does 4 divide i(8)?
False
Let x be 26/8 - 1/4. Suppose 0 = -p + 4*h - h + 14, -3*p = -h - 10. Suppose -15 = x*q, 5*d + p*q = -2*q + 130. Does 8 divide d?
False
Let t(w) = -w**3 - w**2 + 2*w + 3. Let y be t(0). Is (-1 + y)/(4/42) a multiple of 18?
False
Suppose l + 7 = -9. Let s = -110 + 67. Let p = l - s. Is 9 a factor of p?
True
Suppose 0 = -r + 4*u - 20, -2*r - 5*u - 73 - 6 = 0. Let j = 285 + r. Suppose -9 + j = 4*l. Does 15 divide l?
False
Suppose 10*q - 25*q + 9240 = 0. Does 77 divide q?
True
Suppose 2*h - 5*h + 12 = 0, 3*p = h + 1955. Is p a multiple of 19?
False
Let s be 2/1 - (-2 - 0). Suppose 261 = -h + s*h. Does 29 divide h?
True
Is 163/2*((3 - -3) + 28) a multiple of 40?
False
Let i be ((-2)/(-6))/(8/24). Suppose i + 38 = d. Let w = d + -22. Is w a multiple of 4?
False
Let y(u) = 2*u - 11 + 9*u - 4 + 3. Does 13 divide y(7)?
True
Let c(h) = 2*h**3 - h**2 - 4*h + 5. Suppose -11*u = -44 - 0. Is c(u) a multiple of 26?
False
Let m(h) = -2*h + 5. Let c be m(2). Let w(p) = 65*p - 1. Is 16 a factor of w(c)?
True
Let u(t) = 15*t**2 - 4*t + 3. Let x be u(1). Let f = x + -7. Is 2 a factor of f?
False
Is 8 a factor of (-2)/(-16) - 205172/(-352)?
False
Let h(f) = f**3 - 10*f**2 + 10*f - 4. Let i be h(9). Suppose -i*a - 51 = -6*a. Is 9 a factor of a?
False
Let p(o) = 11*o + 5. Suppose k - 75 = y - 3*y, 45 = 2*y - 5*k. Suppose -b - 3*b = -5*m - y, -m - 18 = -3*b. Is 15 a factor of p(b)?
True
Suppose -13*d + 12*d = 5*r - 17400, -r + 3*d = -3464. Is 49 a factor of r?
True
Let w(m) = m**3 + 2*m**2 - 7*m + 11. Let x be w(4). Suppose 74*h + 370 = x*h. Does 37 divide h?
True
Suppose 2*o = o + 3*b - 12, b - 4 = -3*o. Suppose -25 = -3*w - 2*n, -n - 37 = -3*w - o*n. Does 11 divide w?
True
Suppose -47 = -4*p + 21. Suppose 8*b - 3*b = 5*z - 40, 4*z = b + p. Suppose u - z = 13. Is 16 a factor of u?
True
Let q = -28 - -59. Is q a multiple of 3?
False
Let r = -1627 - -3928. Does 13 divide r?
True
Suppose 0*y = -2*y + t - 12, 0 = y - 2*t + 12. Let b(q) = -q. Is 4 a factor of b(y)?
True
Suppose 7*q - 13*q = -3024. Let c = q - 330. Does 15 divide c?
False
Suppose -4*l + 269 = r, -l - 4*r + 64 = -7. Is 8 a factor of l?
False
Let h(t) be the third derivative of 4*t**4/3 + t**3/2 + 21*t**2. Is 9 a factor of h(3)?
True
Let d be (-12)/(-9)*(0 - -15). Suppose d = -2*p + 248. Does 11 divide p?
False
Let j = 49 - 45. Suppose -3*i + 112 = w + i, j*i + 284 = 2*w. Is 6 a factor of w?
True
Is 4119/7 - (-12)/21 a multiple of 45?
False
Let a(k) = k**3 + 7*k**2 + 7*k + 9. Let q be a(-6). Suppose 0 = -z + 4*o + 135, 5*z + 8*o = q*o + 650. Is z a multiple of 23?
False
Suppose 0 = g + 3*p - 0*p - 15, 0 = 5*g - 2*p - 58. Suppose g = 2*k - 52. Is k a multiple of 7?
False
Suppose 0 = 2*x - g - 1 + 5, -2*g + 7 = -3*x. Does 11 divide 73 + 6 + -4 + (x - 0)?
False
Let i(n) = n**3 + 7*n**2 + 7*n + 1. Let f be i(-6). Is 13 a factor of (-1340)/f + (0 - -5)?
True
Suppose 58*n - 918 = 49*n. Does 5 divide n?
False
Let i(l) = -l**2 + 79*l + 116. Does 57 divide i(28)?
False
Let f = 9 + -22. Let a = -11 - f. Suppose -z - 5*m + a*m + 88 = 0, -4*m - 421 = -5*z. Does 15 divide z?
False
Let t(f) = -16*f - 12. Let o be t(-4). Suppose -n + 0*n + o = 0. Is 29 a factor of n?
False
Is -11*15/(-385) + (-4418)/(-14) a multiple of 31?
False
Let k(j) = 4*j**2 - 10*j + 3. Is k(-8) a multiple of 26?
False
Let u be (810/(-8))/(-9)*4. Let i(a) = -a**2 + 2*a - 2. Let d be i(4). Does 8 divide (-18)/u - 324/d?
True
Let w(d) = -d**3 - 10*d**2 - 2*d + 15. Suppose 2*k - k = 2*x + 17, 24 = -3*x + 2*k. Does 3 divide w(x)?
False
Suppose -j - 154 + 288 = f, -10 = 2*j. Is 29 a factor of f?
False
Suppose g = -3*g + 80. Let s be (2/(-2))/((-10)/g). Suppose 4*v = s*k + 3 - 17, 4 = v. Is 3 a factor of k?
True
Let q(f) be the second derivative of f**4/24 + 31*f**3/2 + 2*f**2 + 12*f. Let i(v) be the first derivative of q(v). Does 22 divide i(0)?
False
Is 62 a factor of (-20)/(4 + (-735)/182 + 0)?
False
Suppose -5*n = i - 4*i + 19, 5*i - 3*n - 21 = 0. Suppose 4*m - m - 5*q - 32 = 0, m + i*q = 34. Let f = m - -77. Is 32 a factor of f?
True
Let k(m) = -27*m**3 - m. Let g be 10/14 - (-10)/35. Let c be k(g). Is (-2*2)/(c/322) a multiple of 24?
False
Let v(f) = 35*f**3 - f + 2. Let n(k) = 2*k - 1. Let l be n(1). Is 12 a factor of v(l)?
True
Suppose 509 = n + 3*o, 0 = -4*o - 2 + 10. Is n a multiple of 22?
False
Let x(k) = -6*k + 6. Let s be x(5). Let v = -21 - s. Suppose -u - u = 8, -v*d = -u - 73. Is 7 a factor of d?
False
Suppose -18 - 18 = 3*o. Let u = -16 - o. Let f(z) = -14*z - 10. Is f(u) a multiple of 23?
True
Let r(x) = x**2 - 6*x - 10. Let f be (-2)/(-6)*6*-2. Does 15 divide r(f)?
True
Suppose y = -4 - 2. Let z(n) = n**2 + 7*n + 9. Let d be z(y). Suppose -5 = -2*i + d. Does 4 divide i?
True
Let a be 1686/8 + (-45)/12 + 4. Let x = a + -107. Is x a multiple of 26?
True
Suppose 0 = -4*n - 4*q + 56, -q - 14 - 11 = -2*n. Suppose -b + 140 = 4*d, -8*b + n*b - 14