g/(-11)?
False
Suppose -2*n + 173 = 45. Is n a multiple of 16?
True
Let d(x) = -x**3 - 7*x**2 + 5*x - 8. Let j(q) = -q + 1. Let h(o) = -d(o) + 2*j(o). Let s be h(-8). Suppose 150 = 3*b + s*b. Is 14 a factor of b?
False
Let b(j) = 0 + 7*j + 2*j**2 - 4*j + 5. Let i be b(-5). Suppose -4*l - l = -i. Is l a multiple of 5?
False
Suppose 4*p - 2*p + 11 = 3*l, 0 = 4*p + 4. Suppose -n + i - 292 = -5*n, l*n + 2*i = 219. Is n a multiple of 28?
False
Let s = 19 - 29. Let j(a) = -2*a - 15. Does 5 divide j(s)?
True
Let o = -23 - -89. Does 5 divide o?
False
Does 7 divide ((-21)/(-4))/((-15)/(-280))?
True
Let p(t) = -8*t. Let l be p(1). Let h = 13 + l. Suppose -3*m = v - 13 - 1, -m + 10 = -h*v. Is 5 a factor of m?
True
Suppose -u - 135 = 4*u. Let q = 107 + u. Does 16 divide q?
True
Suppose 2*x = 8, -2*y + 0*x = x - 10. Let m(f) = f - 5*f**2 + 3*f**3 + 3*f**2 + 3 - 2*f**2. Does 18 divide m(y)?
False
Let z be (-5589)/(-36) - (-1)/(-4). Suppose 3*t + 2*r - 108 = 4*r, -4*t - r = -z. Does 19 divide t?
True
Suppose 2*g = -15 + 13. Let z(y) = 26*y**2 + y + 1. Is z(g) a multiple of 13?
True
Let o(x) = -4*x - 13. Does 8 divide o(-11)?
False
Suppose 3*s - 29 = -4*f, s - 5*f = -29 + 7. Suppose -3*i - n + 41 = 0, i = s*i - 4*n - 18. Does 13 divide i?
True
Let y = 5 + -3. Let u be y*-1*(3 - 2). Does 5 divide u + 3 - (2 - 20)?
False
Let j(d) = d**3 + 3*d**2 - 3*d**2 + 3*d**2 - d + 2*d + 4. Let g be j(-3). Does 7 divide (-14)/((2 - 3)/g)?
True
Let n be (-60)/(-75)*(-5)/(-2). Suppose -3*f = -4*j + 54, 2*j - 23 = -n*f + 11. Is j a multiple of 8?
False
Let l(u) = 14*u**3 - 3*u + 2. Is l(1) a multiple of 13?
True
Let k be 1/(3*1/108). Let g = k - -211. Suppose 2*i - 246 = -2*i - 2*w, -4*i - w + g = 0. Does 22 divide i?
False
Suppose -3*r + 2*o + 259 = -3*o, 0 = -2*r + 2*o + 170. Is 22 a factor of r?
False
Suppose -4 = -d, 4*n + 2*d + 0*d = 28. Suppose -n*b + 2*m = m - 248, 184 = 4*b + 4*m. Is b a multiple of 29?
False
Let b(r) = -5*r + 2*r + 2*r - 1. Let s be b(-2). Is 9 a factor of (1 - -27) + s/(-1)?
True
Let r(t) = 3*t**2 - 21*t + 9. Does 2 divide r(7)?
False
Let w(d) = -d**2 - 1. Let l(z) = z**2 + 1. Let k(u) = -2*l(u) - 3*w(u). Let n be k(0). Is (-14)/((-5)/3 + n) a multiple of 7?
True
Let n(b) be the first derivative of 1/3*b**3 + 2*b**2 - 6*b + 2. Is n(-6) a multiple of 3?
True
Is 32241/495 - 1/(30/4) a multiple of 13?
True
Let h(w) be the second derivative of -7*w**4/24 - 7*w**3/6 - w**2 - 2*w. Let i(v) be the first derivative of h(v). Does 14 divide i(-5)?
True
Let u = 18 + -10. Is 2 + -3 + 1*u even?
False
Let n(f) = 10*f + 2. Does 9 divide n(7)?
True
Let l = 2 + -4. Is 1 + l - (0 - 14) a multiple of 7?
False
Suppose -h - 3 = -2*h. Let u be (-10)/h*3/(-2). Is 14 a factor of -3 + u + -3 + 15?
True
Let t be 3 - 3 - (263 - -1). Let g = 374 + t. Does 11 divide (g/15)/((-4)/(-6))?
True
Let l(s) = s**3 - 6*s**2 - 4*s + 2. Suppose 0 = o + 3*m - 1, 0 = 5*o - m - 6 - 31. Is l(o) a multiple of 11?
False
Let b = 11 - 5. Is b a multiple of 6?
True
Suppose 13 = 5*b - 7. Suppose 3*h + 31 = 2*v, 4*v - h - 61 = b*h. Is 7 a factor of v?
True
Suppose 3*b - 28 - 56 = 0. Is 5 a factor of b?
False
Let s = 51 + -47. Is s a multiple of 2?
True
Suppose 0 = 4*z - z - 6. Suppose 0 = 4*m - z*j - 100 - 42, m = -2*j + 23. Is m a multiple of 11?
True
Let q be (4/6)/((-6)/(-9)). Does 14 divide (-43)/(-1) + (3 - q)?
False
Is 12 a factor of -4 + (2 - 2) - 0 - -160?
True
Suppose -v = 2*r - 381, -v + r - 6*r = -387. Is 38 a factor of v?
False
Let t = 19 + -35. Let c(n) = -n**2 + 3*n - 5. Let x be c(-4). Let p = t - x. Is 15 a factor of p?
False
Let q = -6 - -7. Let z(y) = 14*y. Is 6 a factor of z(q)?
False
Let m = 94 - 64. Is 10 a factor of m?
True
Suppose j = 1 + 2. Suppose 4 = -0*l + 2*l. Let w = j + l. Does 3 divide w?
False
Let p = -6 - -7. Is 1 + 0 - -11*p a multiple of 12?
True
Suppose 7*n - 4*n - 291 = 0. Is n a multiple of 25?
False
Let q(p) = -2*p**2 - 22*p + 33. Let s(f) = -f**2 - 11*f + 16. Let w(y) = -4*q(y) + 9*s(y). Is 15 a factor of w(-9)?
True
Let n(l) = 5*l**2 - 7*l + 20. Is n(6) a multiple of 37?
False
Let z(v) = -10*v. Let q(a) = -a + 2. Suppose m + 0 = 4. Let f be q(m). Is z(f) a multiple of 7?
False
Let v be 8/(-10)*(-495)/18. Let w = v + -7. Does 15 divide w?
True
Let l be (-24)/(-60) - (-2)/(-5). Does 35 divide (l - 20/(-8))*14?
True
Let l(w) = -7*w. Let z be l(-1). Let r = z - 5. Suppose 0 = -r*y - 5 + 35. Is 6 a factor of y?
False
Let q(h) = -3*h - h + h + 1 + 2*h. Let i be q(-1). Suppose -i*t + 2*o - 3*o + 24 = 0, 0 = -2*t + o + 28. Is 13 a factor of t?
True
Let v(i) = -2*i**2 + 6*i - 6. Let s be v(4). Let k = s + 24. Is 5 a factor of k?
True
Let m(h) = h**2 - 5 + 0 + 5*h + 0 + 0*h**2. Does 7 divide m(-8)?
False
Suppose -8*j = -267 - 125. Does 19 divide j?
False
Let n(x) = 8*x**2 + x - 2. Does 8 divide n(2)?
True
Let z(u) = -2*u - 13. Let j be z(6). Let k = 36 + j. Is k a multiple of 11?
True
Suppose -27 - 208 = -5*s. Is 12 a factor of s?
False
Let u be 2*1*(3 + -4). Let w(r) = 3*r**2 + 2*r + 1. Let i be w(u). Let m = 13 - i. Is m even?
True
Suppose -44 = 2*c - 3*c. Is c a multiple of 8?
False
Let x(o) = -4*o - 11. Let m(r) = -4*r - 12. Let v(f) = -5*m(f) + 6*x(f). Suppose -7*i + 2*i = -p + 15, 2*p + 6 = i. Is v(i) a multiple of 8?
False
Let y(w) = 2*w - 4. Let j(b) = -b + 3. Let p(q) = 3*j(q) + 2*y(q). Let l be p(2). Suppose 3*f - 100 = 5*d, 3*f - 94 = l*d - d. Is 14 a factor of f?
False
Is 2 + -4 - (-42)/3 a multiple of 4?
True
Let q = 29 - 7. Is q a multiple of 22?
True
Suppose 12 = 5*m - 4*p, -4*p + 0 = -2*m + 12. Suppose 7 = 3*h - u + 2*u, 2*h - 5*u - 16 = 0. Suppose 4*n + h - 147 = m. Is 14 a factor of n?
False
Let o be (-1 - 0)*(-5 + -1). Let g be 3/((-2)/(8/o)). Is 11 a factor of g - (2 - 1 - 20)?
False
Suppose 2*w = 3*n + 21, 0*n - 30 = -5*w + 3*n. Suppose w*i + 2*i = 10. Is 12 a factor of 36*(i - (-8)/(-6))?
True
Suppose -2*v - 29 = 4*y + 1, 0 = 3*v - 2*y + 5. Let g(x) = 2*x**2 + 7*x - 2. Does 6 divide g(v)?
False
Suppose -v = -8*v + 441. Does 25 divide v?
False
Let m be (-2)/8 - 1/(-4). Suppose 2*u + 2 = m, -u - 22 + 1 = -4*j. Suppose -25 - j = -3*d. Is 5 a factor of d?
True
Suppose -150 - 90 = -5*x. Is 8 a factor of x?
True
Suppose 0*y + 3*y + 11 = s, 2*s - 5*y - 19 = 0. Let o = 104 + s. Is 29 a factor of o?
False
Let s(t) = t**2 - 3*t + 1. Let y be s(3). Let b(h) = 3*h**3 + h**2. Does 2 divide b(y)?
True
Suppose 0 = -3*b - 35 + 293. Is 23 a factor of b?
False
Suppose 0 = -r - 4*r - 10, 3*r = -5*t + 104. Is 3 a factor of t?
False
Let u be -4*(-1 - -2)*-2. Suppose 5*s + u = 2*j - 28, 5*s = 5*j - 120. Is j a multiple of 22?
False
Let q(l) = -2*l - 6. Let m be q(-4). Let z be -2 + 52/m - -2. Let n = z + -14. Does 12 divide n?
True
Let d(o) = -o**2 - 12*o + 13. Is d(-12) a multiple of 13?
True
Suppose -3*x = -191 + 17. Is x a multiple of 29?
True
Let z = 3 + 10. Is 13 a factor of z?
True
Let k = -126 + 202. Suppose 3*m - m = k. Does 11 divide m?
False
Suppose 5*g = 3*n + 4, -g - 2*g - 12 = 3*n. Let a be 0/((-1)/3*n). Suppose a*o + 18 = 3*o. Is 3 a factor of o?
True
Let a(b) be the first derivative of b**4/24 + 17*b**3/6 - b**2 - 3. Let d(r) be the second derivative of a(r). Is 5 a factor of d(-7)?
True
Suppose 4*g - 12 = -4*u, 3*g + 1 = 4*g. Suppose -x = 5, x + u*x + 435 = 5*t. Is t a multiple of 21?
True
Suppose -2*t = 3*s - 285, 5*t - 101 = -s - 6. Does 5 divide s?
True
Suppose 0 = -o + 7 - 4. Suppose -o*i - 166 = -22. Let u = 94 + i. Does 23 divide u?
True
Let l = -14 + 12. Is (30/35)/(l/(-42)) a multiple of 14?
False
Let n(u) = -u**3 + 7*u**2 + 2*u. Is n(7) a multiple of 14?
True
Let n(s) = 42*s + 0 - 8*s + 12*s + 1. Is 12 a factor of n(1)?
False
Let i(a) = 3*a**2 - 7. Is i(-5) a multiple of 34?
True
Let y(a) = -a**2 + 11*a + 2. Is y(9) a multiple of 18?
False
Let n = 150 - 66. Is 6 a factor of n?
True
Suppose 0*y - 3*y = -a - 71, 5*y - 4*a - 130 = 0. Suppose 0*z = 4*z - 184. Let x = z - y. Does 9 divide x?
False
Let f = 34 + -21. Is 4 a factor of f?
False
Suppose -3*j = -3*b, 4 = -4*j - 4*b - 12. Let q(y) = 35*y**2 + 6*y + 9. Let x(w) = -12*w**2 - 2*w - 3. Let i(u) = 6*q(u) + 17*x(u). Is 14 a factor of i(j)?
False
Is 10 a factor of (-44)/(-33)*75/2?
True
Suppose -78 = -2*f - 2*k, 0*k + 90 = 2*f + 5*k. Does 35 divide f?
True
Let n be (-8)/44 - (-9)/(-11). Let u