tiple of 11?
True
Let v be (-18)/(-4)*-1*-2. Does 5 divide (44/6)/(6/v)?
False
Let g(s) = -149*s + 1. Is g(-1) a multiple of 30?
True
Let b = -119 + 31. Let y = 7 - b. Suppose 0 = 4*r - 9*r + y. Is 6 a factor of r?
False
Let t be 11/(-4) + 12/16. Is 7 a factor of 1 + t - 80/(-10)?
True
Let z = -324 + 357. Is z a multiple of 4?
False
Let a(k) = 46*k. Let l be a(1). Let f = l + -20. Let v = -2 + f. Is v a multiple of 12?
True
Is 18 a factor of 2767 - -46 - (1 + 0)?
False
Let h(a) = a + 16*a + 19*a. Suppose 0 = 2*i - 5*j - 22, i - 2*i - 19 = 5*j. Is h(i) a multiple of 18?
True
Suppose 0 = 5*x - 2*y - 264, 16*y - 14*y = x - 56. Is x a multiple of 4?
True
Is (1 - (0 - 241)) + -5 a multiple of 14?
False
Let k(l) = l**2 - 21*l - 96. Is 7 a factor of k(45)?
False
Let x(z) = -6*z**3 + 47*z**2 + 3*z + 1. Does 13 divide x(-5)?
True
Does 7 divide (-8)/(-3)*(-10485)/(-20)?
False
Let c be (-1 - -28)*(-2)/(-2). Suppose q = 4*q - 0*q. Suppose q = 3*b - m - 38, 2*b - c = 5*m - 4*m. Does 11 divide b?
True
Suppose -9 - 9 = -6*s. Suppose -s*t + 8*t - 5*h - 145 = 0, 4*h = 5*t - 144. Is 7 a factor of t?
True
Suppose -23 + 3 = -4*z. Suppose -3*r = 9, -26 = z*c - r + 191. Let j = 17 - c. Does 20 divide j?
False
Let d(y) = -23*y**3 - 2*y**2 + 2*y - 1. Let z(b) = b**3 + 13*b**2 - 13*b + 15. Let q be z(-14). Let m be d(q). Is (-448)/m*(-9)/(-6) a multiple of 14?
True
Suppose 245 - 935 = -c. Is 57 a factor of c?
False
Let m(o) = 4*o + 4. Let u(y) = -y**2 - 10*y - 5. Let w be u(-8). Is 8 a factor of m(w)?
True
Let x be (-4)/4 - 2*1. Let y(p) = 7*p**3 - 7*p**2 - 9*p + 6. Let m(r) = -4*r**3 + 4*r**2 + 5*r - 3. Let u(f) = -5*m(f) - 3*y(f). Is u(x) a multiple of 13?
False
Let o(u) = -u**3 + 8*u**2 + 8*u + 11. Let p be o(9). Let f(a) = -2*a**p - 12 + 14*a - a**2 + 2*a**2 - 3*a. Does 8 divide f(8)?
False
Let g be (3 - (1 - 0)) + -2. Suppose -441 = -4*q - i - g*i, i = 4*q - 431. Suppose -3*p - 5*z + q = 0, 68 + 118 = 5*p + 4*z. Does 15 divide p?
False
Suppose -4*k - 748 = -2*l + 3040, -5*l = -k - 9443. Is 43 a factor of l?
False
Suppose 4*z + 21 = -4*h + 93, 2*h = 4*z + 60. Is 9 a factor of h?
False
Suppose 4*h - 1037 = -0*h - 3*k, 0 = -h - k + 258. Is 14 a factor of h?
False
Let z be -14*(-8 - -7)/7. Suppose -5*k + 184 = -3*k. Suppose z*d + 5*v = 52, v + 2*v - k = -5*d. Is d a multiple of 8?
True
Let p = -109 - -126. Is 2 a factor of p?
False
Let n(w) be the third derivative of -w**5/60 + 5*w**4/24 + 7*w**3/3 - 2*w**2. Let h be n(6). Does 4 divide 2/h - 1425/(-60)?
True
Suppose 10*b - 3221 = 979. Is 60 a factor of b?
True
Suppose 0 = -4*n + 6 + 2. Suppose -l = -n*l + 6. Is ((-10)/3 - -4)*l even?
True
Let h be 17/(663/(-1566)) - (-2)/13. Let y = 173 + h. Is y a multiple of 19?
True
Suppose -37*v = -114*v + 380149. Is 42 a factor of v?
False
Suppose 0 = 2*i + 3*l - 16, -4 = -2*i - 4*l + 16. Let o be ((-44)/(-12))/(i/48). Is (-4)/14 - o/(-14) a multiple of 4?
False
Suppose 9*p = 14*p - a - 2800, -3*a = 2*p - 1120. Is p a multiple of 8?
True
Does 43 divide 10 - (4 - 6775/5)?
False
Suppose -18*g + 19*g + 4*r = 79, 0 = -4*g + 5*r + 274. Does 55 divide g?
False
Suppose -f + 2*f - 285 = 3*t, -3*f - 4*t = -894. Does 21 divide f?
True
Suppose g + 4*c = 91, 5*c = -5*g + 413 + 42. Suppose -319 - g = -5*p. Let u = 146 - p. Is u a multiple of 17?
False
Let g = 811 + -780. Does 11 divide g?
False
Suppose 2563 + 3461 = 6*q. Is q a multiple of 9?
False
Suppose -16*n + 18*n = -264. Is 13 a factor of 314/12 + 22/n?
True
Let k(i) = -65*i**2 - 1. Let j be k(-1). Suppose v = -3*a - 52, 5*v + 0*v - 5*a = -220. Let h = v - j. Is h a multiple of 10?
True
Suppose 72193 + 27420 = 61*c. Is c a multiple of 23?
True
Suppose 0 = -12*r + 5*r + 28. Suppose h - 3*v = -0*v + 90, 0 = -r*v. Is h a multiple of 15?
True
Let m(x) be the first derivative of -x**4/4 + 7*x**3/3 + x**2/2 - x - 1. Suppose 10 = 2*b - 0*b. Is 29 a factor of m(b)?
False
Let q = -24 - -22. Is 6 a factor of 3 + 26*(14/4 + q)?
True
Suppose 6*o - 12*o + 948 = 0. Does 9 divide o?
False
Let k(d) = d**2 + 7*d. Suppose v + 3*v + 15 = 3*g, -2*v - 18 = 2*g. Let x be k(v). Does 4 divide 6 + 3/(x/(-4))?
True
Let m(t) = -18*t - 69. Does 18 divide m(-18)?
False
Let b(u) = -2*u**2 - 102*u + 14. Does 14 divide b(-35)?
True
Let i(x) = -x**3 + 11*x**2 + 10*x + 15. Let q be i(12). Let j(n) = -3*n - 11. Does 5 divide j(q)?
False
Suppose -y + 4*j + 298 = 0, -2*y - 10*j + 9*j + 569 = 0. Is y a multiple of 8?
False
Let d = 47 + -43. Suppose r = d + 38. Is 7 a factor of r?
True
Suppose z = 2*z + 11. Let f = z + 68. Is f a multiple of 19?
True
Let p be 16/40 - (-376)/10. Suppose 0 = 4*j + 86 + p. Let o = -13 - j. Is 6 a factor of o?
True
Suppose -o - 5*n + 13 = 0, 5*n - n + 4 = 4*o. Suppose -o*k + 38 = -16. Does 7 divide k?
False
Let p(o) = -22*o + 451. Is p(0) a multiple of 44?
False
Let g = -10 - 24. Does 4 divide 2*(0 + -1) + g/(-2)?
False
Let v = -1 - -2. Let u(a) = -1 + a + 8*a**3 + 0*a - a**2 + 21*a**3. Is u(v) a multiple of 17?
False
Let u(p) = -3*p - 14. Let s be u(-8). Let x(q) = 2*q**3 - 21*q**2 + 16*q + 4. Is 16 a factor of x(s)?
True
Let q = -6 + 11. Suppose b + q*f - 97 = 0, -2*b - 2*f = 3*f - 184. Suppose -b = -4*i - 3*t, -5*t = -2*t - 3. Is 14 a factor of i?
False
Is (-3399)/(-6) - ((-9)/(-6))/(-3) a multiple of 34?
False
Let r = -8 - -7. Let x be r + 8 - 3 - 2. Is (-130)/(-8) + x/(-8) a multiple of 16?
True
Suppose -f + 514 = 3*k - 3*f, -2*f - 174 = -k. Does 34 divide k?
True
Let c(p) be the first derivative of -9*p**2/2 + 16*p + 15. Does 8 divide c(-10)?
False
Suppose 2*a + 943 = 5*o, -5*o + 5*a - 2*a = -947. Is 6 a factor of o?
False
Suppose -2*t - 14 = -4*u, -5*u - t + 32 - 4 = 0. Suppose -4*x - 65 = -f, u*x + 97 = -5*f + 422. Is f a multiple of 19?
False
Does 12 divide 10/(30/1017) + -3?
True
Let n = 35 + 302. Is n a multiple of 11?
False
Let m be 3*2/3 - 0. Suppose -b = -m*d - 234, -d + 6*b - 117 = b. Is 13 a factor of 2 + (d - 3)/(-4)?
False
Let z be 1 + 183*(2 + -1). Let g = 114 - z. Is (-6 - 1)*g/14 a multiple of 9?
False
Let x(b) = 2*b**2 - 4*b + 10. Let n(g) = g + 16. Let s be n(-7). Suppose -2*c - 1 = -s. Is 13 a factor of x(c)?
True
Suppose 0 = -16*y - 3735 + 9719. Is y a multiple of 17?
True
Let s = 1993 - 982. Suppose 10*h + 321 = s. Is 4 a factor of h?
False
Suppose 0 = 4*m + 4*n - 2428, 6*n = m + 5*n - 615. Does 93 divide m?
False
Is (279*1)/(60/240) a multiple of 12?
True
Let j = -73 - -128. Let v = j - 45. Does 5 divide v?
True
Suppose 3*n - n = 2, 0 = 2*l + 3*n - 3. Let c(f) = -f**3 - f**2 - 2. Let s be c(l). Is ((-64)/(-20))/(s/(-20)) a multiple of 14?
False
Let i(n) = -4*n + n + 5*n + 21 - n. Is i(-10) even?
False
Let u(o) = -24*o + 4. Let p be u(-22). Suppose -12*n = -8*n - p. Does 7 divide n?
True
Let c = -15 - -20. Suppose z - 6*z - c*q + 15 = 0, -q - 9 = -3*z. Suppose -5*v + 3*g + 222 = 0, 4*v - 2*v + z*g - 93 = 0. Does 15 divide v?
True
Suppose -4*z + 364 = 4*b, 3*b - 2*z + 273 = 6*b. Does 13 divide b?
True
Let s = -1795 - -2321. Is s a multiple of 9?
False
Is (-206)/(-18)*22 - 6/(-27) a multiple of 14?
True
Suppose 2 = p + 3. Let s be -3*p/(-3)*-3. Does 36 divide -4 - 95*(-3)/s?
False
Suppose -2*n = -7 - 1. Suppose 2*v - 36 = -v - 2*u, n*u = v - 26. Is 7 a factor of v?
True
Is 8 a factor of 4674/(-205)*30/(-4)?
False
Is 295 + -5 + -1 + -1 a multiple of 32?
True
Suppose -2*s + 12 = s. Suppose 4*y + s*j - 2 - 26 = 0, -2*j = 4*y - 28. Let q = y + -4. Does 3 divide q?
True
Let c(w) = w**3 - 2*w**2 - w - 1. Let n be c(3). Suppose 0 = 11*x - 61 - 93. Let k = x - n. Is k a multiple of 3?
True
Suppose 129*b + 1924 = 133*b. Does 10 divide b?
False
Is 2 + -17 + 2191 - (1 + 2) a multiple of 53?
True
Let z(x) = x**2 + 3*x - 5. Let p be z(2). Suppose p*b - 138 = -4*n + 171, -127 = -2*n + 3*b. Does 21 divide n?
False
Suppose -15*j = 18*j - 33033. Does 11 divide j?
True
Let q(l) be the first derivative of -l**3/3 - 11*l**2 + 14*l + 20. Is q(-15) a multiple of 17?
True
Suppose 1207 = 3*f + 4*w - 1503, -2*f + 5*w + 1822 = 0. Is 20 a factor of f?
False
Suppose 3*o = 43*o - 400. Does 3 divide o?
False
Let v be ((-60)/(-18))/(1/18). Suppose -65 = -5*d - 2*m, 0*d - 3*m - v = -3*d. Let f = d + 16. Is 31 a factor of f?
True
Suppose -3*s = 4*a + 8, 15 = -4*s - 5*a + 5. Suppose 12 + s = 2*l. Is l even?
True
Let w be (-1 - -1)/((-2)/(-4)*-2). L