207/68 - r/(-4) a multiple of 6?
True
Suppose g + v - 265 = 0, -v - 9 + 8 = 0. Is g a multiple of 19?
True
Suppose -2*t + 3*l + 143 = 0, -3*t - t = -2*l - 290. Is t a multiple of 24?
False
Let n(x) = 27*x**2 - 2*x - 3. Is 13 a factor of n(3)?
True
Suppose m - 9 = 39. Does 24 divide m?
True
Let a(j) = -j**3 + 9*j**2 + 3*j + 12. Does 20 divide a(9)?
False
Let p = 2 - 1. Let g = -4 - -6. Is 4 a factor of g/(-4)*(p + -15)?
False
Suppose -7*j + 3*j - 36 = 0. Let r be 6/27 + (-754)/j. Suppose 0*o = 3*o - r. Is 14 a factor of o?
True
Let l(k) = k**2 + 7. Suppose -y = -3*y. Let q be l(y). Is 3 a factor of (0 - 0) + q + -1?
True
Let u be 44/(-77) + 22/14. Does 10 divide (1 + u)*245/14?
False
Suppose -4*p + 15 = 5*m, -4*p - 4*m + m + 9 = 0. Suppose -2*j - 4 = 0, p = 4*h + 3*j - 128 - 2. Is 34 a factor of h?
True
Let u(a) = a**3 - 11*a**2 + 11*a. Let m be u(10). Let y be ((-4)/(-10))/(2/m). Is (-14)/(0 - y) - -2 a multiple of 4?
False
Suppose -2*c + 7 = -1. Let v = c - -1. Suppose -2*g + v = -g. Does 4 divide g?
False
Does 12 divide -1*24/28*-42?
True
Let b(a) = -a**3 - a**2 + 2*a - 7. Let i be b(-3). Suppose 382 + 23 = i*n. Is n a multiple of 15?
False
Let u be (-5)/(-10) + 5/2. Let i = u + 0. Suppose 0*n - 156 = -i*n. Is 14 a factor of n?
False
Let t(u) be the first derivative of u**4/4 - 4*u**3 + 3*u**2/2 - 18*u + 9. Does 18 divide t(12)?
True
Let h(n) = n**3 + n + 5. Let c(r) = 0*r + r + 0*r - r**2. Let i be c(1). Is h(i) a multiple of 3?
False
Let w(v) = 2*v - 6. Let t be w(4). Suppose 3*j + 18 = 5*s - 167, -t*s + 3*j + 74 = 0. Is s a multiple of 10?
False
Let l(i) = i**2. Let v(x) = 6*x**2 + 13*x + 9. Let o(m) = 5*l(m) - v(m). Is o(-8) a multiple of 12?
False
Suppose 2*y = 4 + 4. Suppose 3*u = 2*n + 52, -n = -4*u - y*n + 41. Suppose 70 + u = 4*m. Does 16 divide m?
False
Let n(z) = 3*z - 1. Let p be n(2). Let a be 0 + 3/(-6)*-78. Suppose a - p = f. Does 17 divide f?
True
Suppose 4*f - 2*f + 2 = 0. Let g = f - -3. Is g/(-8) - 207/(-12) a multiple of 16?
False
Let a(c) = -c**2 - 5*c - 3. Let s be a(-3). Suppose s*n = n + 4*p + 130, -3*n = -5*p - 194. Does 21 divide n?
True
Suppose v + 26 = n, n - 2*v = -4*v + 20. Suppose -3*b + 4*x + 12 = -5*b, 3*x - n = 4*b. Let f(z) = 2*z**2 + 8*z + 4. Is 14 a factor of f(b)?
True
Let y(r) = 2*r**3 + 5*r**2 - 12*r + 2. Let z(q) = -q**3 + q**2 + q + 1. Let a(f) = y(f) + 3*z(f). Is a(6) a multiple of 10?
False
Let m(s) = -s + 9. Let h be m(7). Suppose 2 = -h*z - 0. Is (7 - z) + (3 - 1) a multiple of 5?
True
Let h = 9 + 64. Is h a multiple of 16?
False
Let h = -5 + 7. Is 11 a factor of (76/2 - h) + 2?
False
Does 13 divide (5 - -2*1)/((-10)/(-130))?
True
Let j = -4 + 3. Let f be (j/(-2))/(5/(-30)). Is (-3)/f + (1 - -28) a multiple of 15?
True
Let o(g) = -8*g**2 - 3*g - 2. Let f(a) = -15*a**2 - 6*a - 4. Let u(s) = 6*f(s) - 11*o(s). Let y be u(-2). Does 7 divide 128/9 - y/(-18)?
True
Suppose -4*n + 20 = 0, -2*v + n + 163 - 10 = 0. Suppose -m + v = 8. Is m a multiple of 27?
False
Let y = -1 + -1. Let l = 22 - 11. Let z = y + l. Is z a multiple of 8?
False
Let a = 8 + 3. Let l be (-3 - 0 - 3) + -1. Let k = l + a. Is k a multiple of 3?
False
Let d be 0 + (-2)/((-6)/(-159)). Let a = -38 - d. Is a a multiple of 11?
False
Is 5 a factor of (-978)/(-66) + (-2)/(-11)?
True
Let s be 2/2 + (4 - 3). Suppose 0 = o - s*o. Suppose -122 = -3*z - j, o*j - 102 = -3*z + 3*j. Is z a multiple of 10?
False
Suppose j = -3*j. Suppose -4*o - 2*i - 98 = 0, 3*o - 5*i + 106 = -j*o. Let y = 45 + o. Is 9 a factor of y?
True
Suppose 5 = -q + 46. Let f = q - 15. Is f a multiple of 12?
False
Suppose 2*u = -0*u - 8. Does 5 divide (10/15)/(u/(-42))?
False
Let o(r) = -r**3 - 2*r**2 + r - 4. Let i = -2 - 1. Let f be o(i). Does 2 divide (f/(-6))/(2/(-24))?
True
Let y(a) = 7*a**2 + a + 1. Does 9 divide y(1)?
True
Let d = 3 + 0. Suppose 0 = -5*l - d*m + 5 + 3, 5*m = -4*l - 4. Is 3 a factor of l?
False
Let h(r) = 2*r**2 + 3*r - 3. Let a be h(-3). Suppose 3*w + 2*w + 5*t = -20, -3*w - 5*t = 20. Let d = a - w. Is 6 a factor of d?
True
Is 25 a factor of (27 + -2)/(5/5)?
True
Let s(v) = v**3 + 12*v**2 + v + 12. Let x be s(-12). Does 13 divide (-4 - -30) + x + -3?
False
Suppose -3*f = -f. Suppose -l + 10 + 1 = f. Let y(w) = w**2 - 11*w + 11. Does 5 divide y(l)?
False
Let d be 6/(-10) + (-9)/(-15). Suppose 85 = 5*u - d*u. Is 14 a factor of u?
False
Let d = -1 - -3. Suppose -262 = -2*s + 4*u, d*s = 2*u - 6 + 276. Suppose -117 = -3*n - j, s - 10 = 3*n - 3*j. Is 15 a factor of n?
False
Let p = -23 + 83. Is 15 a factor of p?
True
Is (-15)/((-27)/(-10) + -3) a multiple of 31?
False
Suppose -6*p + 137 = -667. Does 24 divide p?
False
Let x(r) = -r**3 - 10*r**2 - 11*r - 13. Let h be x(-9). Suppose 3*w - 5*m + 90 = h*w, 0 = -2*w - m + 82. Is 11 a factor of w?
False
Let q(f) = -f**2 + 6 + 19*f + 11*f - 28*f. Is q(0) a multiple of 3?
True
Suppose -21 - 23 = 4*m. Let n = 32 + m. Is 10 a factor of n?
False
Let s = 15 - 42. Suppose -5*t + 39 = -4*t. Let w = t + s. Is 6 a factor of w?
True
Suppose -4*b - 3 + 15 = 0. Suppose -5*j + 2*z + 160 = -3*z, -4*j = b*z - 100. Is j a multiple of 14?
True
Let x = 0 + -20. Let d be (5 - 1)/((-8)/x). Is 12 a factor of (-20)/(-6)*36/d?
True
Does 7 divide 224/3 + 1*(-2)/(-6)?
False
Suppose -3*a + 498 = -111. Is 15 a factor of a?
False
Suppose -4*p - 5*z + 6 = -56, 28 = 2*p + 4*z. Does 6 divide p?
True
Let n = 35 - 97. Let a = -30 - n. Is 16 a factor of a?
True
Let x = -133 - -253. Is 30 a factor of x?
True
Let z(a) = 11*a. Is 11 a factor of z(1)?
True
Suppose 4*a = -z + 9, 4*a - 3*z - 1 = 4. Suppose a + 11 = c. Suppose 0 = -3*s - 4*q + 55, -s + 2*q = -2*q - c. Does 11 divide s?
False
Suppose 2 = 2*p - 0. Let v = -1 - p. Is 4 a factor of (-7)/(-2) + (-1)/v?
True
Suppose 0*r - 4*z = -4*r + 36, -4*r + 21 = -z. Let j = 3 + r. Is j a multiple of 3?
False
Is 190/5 - (2 + (5 - 3)) a multiple of 7?
False
Let h(d) = -61*d - 10. Let v be h(-4). Let w = 332 - v. Does 15 divide w?
False
Let d(i) = -i + 21. Suppose x = 3*x - 18. Is d(x) a multiple of 12?
True
Let j(n) = -n**2 - 27*n - 48. Does 13 divide j(-21)?
True
Let q = 32 + -56. Let k = -9 - q. Is k a multiple of 8?
False
Let t(n) = 31*n**2 - n + 1. Let d be t(1). Suppose 2*h = v - 10 - 7, h + d = 5*v. Is 14 a factor of h/2 - (9 - 26)?
True
Let a be 1/(-1*(-1)/(-1)). Is a/(-4) + (-111)/(-4) a multiple of 14?
True
Suppose 0 = d, j = -j - 5*d. Suppose -x + 12 = -24. Does 13 divide -1 + 1*x + j?
False
Let w(m) = m - 1. Let y(b) = b**2 + 5*b + 13. Let v(h) = -5*w(h) + y(h). Is v(0) a multiple of 9?
True
Suppose 17 + 8 = 5*u, 3*u = -2*x + 3. Let c be (-4)/x - 65/(-15). Suppose -7*d = -3*d + 3*s - 56, -c*d + 5*s + 35 = 0. Does 11 divide d?
True
Is (0 - (1 - 1)) + 3 a multiple of 2?
False
Let p(d) = 12*d**2 + 2*d + 2. Does 12 divide p(-1)?
True
Let r = -128 + 191. Does 12 divide r?
False
Let k(u) = u**3 + 6*u**2 + 3*u - 3. Let m be k(-3). Suppose 3*a = -m, r - 60 = 2*a + 10. Does 11 divide r?
False
Let v(x) = -x**2 - 5*x - 4. Let c be v(-4). Suppose m - 3*n = 30, -76 = -2*m - c*m - 2*n. Is m a multiple of 18?
True
Suppose -2*l - 132 = -4*l. Suppose l = n + n. Suppose -n = -3*m - 3*y, 3*y = -m - 0*m + 19. Is m a multiple of 3?
False
Suppose 0 = 2*u + u + 2*p - 14, -5*u + p = -19. Does 20 divide u/18 - (-349)/9?
False
Does 27 divide (3/9)/(2/174)?
False
Suppose -2*t - 1 + 13 = 0. Let i = 9 + t. Suppose -15 = -3*y + i. Is y a multiple of 5?
True
Let i(q) = -4*q**2 + 2*q - 2 + q**3 + 0 - 2. Let d be i(4). Let j(w) = -w**2 + 6*w - 3. Is 5 a factor of j(d)?
True
Let h = 3 - -25. Is 7 a factor of h?
True
Let u(z) = 35*z - 1. Let i = -5 - -5. Suppose i = -5*x + 5. Is u(x) a multiple of 12?
False
Let a(c) = c**2 - 6*c + 3. Is 25 a factor of a(-6)?
True
Let m(b) = b**3 - 3*b**2 - 4*b + 4. Let h be m(4). Suppose h*i = -0*i + 180. Suppose 4*j + 5 = i. Does 5 divide j?
True
Suppose 4*k + 2*z - 230 = 0, 2*z = k - 6*k + 290. Let n = k + -6. Does 18 divide n?
True
Suppose 0 = -u + 4*v + 8, 4*u - v - 4 = v. Suppose 0 = -3*k - 4*w + 138, 3*k + 2*w - 210 + 72 = u. Is k a multiple of 16?
False
Suppose 4*b - 120 = -32. Is 11 a factor of b?
True
Let k(g) be the third derivative of g**4/24 + g**3/3 - 4*g**2. Suppose -3*z + 6 = 0, 2*m - 5*z + 15 = 3*m. Is k(m) a multiple of 4?
False
Let k(z) = -z**2 + 12*z. Let r be k(10). Let b be