?
False
Suppose -149 = -4*l - k, -4*k - 6 = -10. Does 11 divide l?
False
Let y(d) = d**3 + 2*d**2 - d - 2. Let u be y(-2). Suppose -4*b - 78 = -2*x, 5*x - 170 = 5*b - u*b. Suppose 4*q - 39 = x. Is 9 a factor of q?
False
Suppose -3*o - 4 = -o. Let k be (3 - (-3 - o))*2. Does 15 divide (5 + 0)/(2/k)?
False
Suppose -3*w = -5*n + 30, 2*n + w = -2*n + 7. Let b be 3*(-2 - (-14)/n). Does 3 divide ((-4)/5)/(b/(-60))?
True
Let f(a) = 8*a**2 - 4*a - 3. Let g be f(-4). Suppose g + 274 = 5*d. Let t = d - 59. Is 8 a factor of t?
True
Let u(w) = w**3 - 6*w**2 + 7*w - 4. Let h be u(5). Suppose 5*j = h*j - 26. Is 4 a factor of j?
False
Suppose 3*t + 13 = 6*d - 4*d, 3*d + 3 = -3*t. Is (t - 0)/(6/(-76)) a multiple of 19?
True
Let c(t) = -t**2 + 38. Let l be c(0). Let y(j) = -j**3 + 6*j**2 - 2*j + 4. Let d be y(5). Suppose 3*x - l - d = 0. Is 19 a factor of x?
True
Let i(n) = n**3 + 11*n**2 + 6*n - 3. Let z be i(-8). Suppose 264 = 3*o - z. Suppose -5*k + 105 = -o. Does 19 divide k?
False
Let c be 3/(-3 + 0) + 3. Suppose -c*w + 75 = w. Is w a multiple of 19?
False
Suppose 7*g + l + 10 = 4*g, -3*g = -2*l - 2. Let a be (-59)/(-2) - (-1)/g. Suppose p + a = 3*f, 67 = 5*f + 6*p - 3*p. Is 5 a factor of f?
False
Let l(c) = -c + 7. Let d be l(6). Suppose r - 3*x = -3*r + 1, -d = r - x. Suppose 3*o - r*a - 69 = 0, 3*o + 5*a + 12 = 4*o. Is o a multiple of 9?
True
Let u = 514 - 44. Does 53 divide u?
False
Let d = 6 + -10. Suppose -c - 18 + 0 = -4*b, 3*b + 15 = -4*c. Is (-30)/(-1*d/c) a multiple of 15?
True
Let n(g) = 6*g**2 + 7*g + 4. Let t be n(-6). Suppose 0 = -5*o - 48 + t. Does 13 divide o?
True
Suppose 0*v - 4*v = 24. Suppose 10*k = 2*k - 168. Is (v/7)/(3/k) a multiple of 4?
False
Let y = -4 - -5. Let n = 5 + -31. Let w = y - n. Does 9 divide w?
True
Let s = 29 + -20. Suppose w + s = 7. Let l = w - -17. Is l a multiple of 15?
True
Let g(h) = 12*h + 5. Is g(6) a multiple of 11?
True
Let q(n) = -5*n**2 - 3*n + 4. Let p be q(5). Suppose -b - 33 = 63. Let v = b - p. Is 21 a factor of v?
False
Does 9 divide 2/(1/((-41)/(-2)))?
False
Let z(h) = -6*h + 1. Let m be z(-1). Let c = m - 3. Suppose -155 = -c*q - 31. Is 12 a factor of q?
False
Let b = 54 + 36. Does 15 divide b?
True
Suppose -2*f - 2*f + 328 = 0. Let w = f - 30. Does 26 divide w?
True
Let d(i) = -6*i + 10. Is 10 a factor of d(0)?
True
Suppose 0*a + 3*a = 156. Suppose 5*m - 65 = 4*z, 3*z = -3*m - m + a. Is 12 a factor of m?
False
Suppose 2*k + 6 = 3*k. Let v(a) = -a**3 + 8*a**2 - 6*a + 9. Is v(k) a multiple of 19?
False
Let f(c) be the second derivative of c**4/12 - c**3/2 - 5*c**2/2 - 2*c. Is 13 a factor of f(6)?
True
Let w be -4 + 12 + (0 - 2). Suppose 0 = -3*s + w*s - 21. Is 6 a factor of s?
False
Let i(t) = -t**3 + 3*t**2 + 3*t + 1. Is i(-2) a multiple of 4?
False
Suppose -4*y = -9*y + 100. Suppose -2*c - y = -5*m, -2*m - 2*c = -2 - 20. Is 6 a factor of m?
True
Let g(x) = 2*x**2 + 6*x - 2. Suppose 0 = -3*f - 0*f + 45. Suppose -f = 2*i + 5*a, 4*a - 2*a = 2*i + 8. Is g(i) a multiple of 9?
True
Let b = -11 - -42. Does 18 divide b?
False
Suppose -6 = -3*l, 6*r - r - 4*l - 312 = 0. Is r a multiple of 16?
True
Suppose 0*v = 3*v. Suppose -2*g + 5*g - 30 = v. Is 3 a factor of g?
False
Let r be ((-7)/3)/(2/6). Let u be -2 + r/(-1) - 1. Let t = u - 2. Does 2 divide t?
True
Let v = -19 - -33. Does 7 divide v?
True
Let q be (-33)/(-2)*16/(-3). Let w = -52 - q. Is 12 a factor of w?
True
Let b be (9 - (-1 + 3)) + 1. Suppose g + b = 4*d - d, 0 = -d - g - 4. Does 5 divide (-9)/(-2*d + 1)?
False
Let q be ((-6)/(-3) + -3)*2. Does 16 divide 2 + q + 16*2?
True
Let j(g) = -g - 3. Let m be j(-6). Let y(u) = -u**2 + 4*u - 1. Let s be y(3). Suppose s*q = -m*q + 10. Is q even?
True
Let x be (-4)/(-1) + -2 - 2. Suppose 2*f - 23 = -4*t - f, -5*f - 15 = x. Is t a multiple of 5?
False
Suppose -l = l + 5*d - 170, 0 = 3*l + 4*d - 241. Suppose n - l = 3*y, 2*n - 47 = n - 4*y. Does 21 divide n?
True
Let c(t) = -t**3 - t**2 + 2*t - 2. Suppose 2*l = -l - f - 10, -3*l = 3*f. Let o = 2 + l. Is 5 a factor of c(o)?
True
Let y(d) = -2*d**3 - d**2 - 4*d. Is y(-3) a multiple of 30?
False
Suppose 56 = -4*t + 2*t. Let x = t + 52. Does 9 divide x?
False
Suppose -u - 2*u + q + 12 = 0, 2*q + 16 = 4*u. Suppose 0 = -u*g - 4*h, -5*g - 24 = h - 2*h. Let j = g + 12. Is 7 a factor of j?
False
Let f(t) be the second derivative of t**5/20 + t**4/12 - 2*t**3/3 - t**2/2 + t. Is 8 a factor of f(3)?
False
Let c be (-1 - -1)*2/4. Let r = 5 + c. Is r a multiple of 5?
True
Let m(l) = -l**2 + 15*l + 5. Is m(5) a multiple of 8?
False
Let q = -48 - -30. Let t be (-156)/(-27) - 4/q. Let j(s) = s**2 + 2*s - 6. Is j(t) a multiple of 18?
False
Let a(f) be the third derivative of 1/12*f**4 + 0 + 0*f - f**2 - 1/3*f**3. Is 2 a factor of a(2)?
True
Let p = -6 + 16. Suppose 5*f - 2*b = 6, 4*b = -3*f - p - 2. Suppose f = -3*d + 55 + 59. Is d a multiple of 18?
False
Suppose -20 = -2*j + 4*t, 4*j + 3*t + 3 + 12 = 0. Suppose -4*x = -j*x + 32. Is 51/12 - (-2)/x a multiple of 4?
True
Let i(z) = 4*z**2 - z - 1. Let h be 3 + (-1)/((-3)/(-15)). Does 14 divide i(h)?
False
Is 4/(1*(-1)/(-4)) a multiple of 8?
True
Suppose -3*x + 3*n = 4*n - 332, -3*x + 3*n + 348 = 0. Is 8 a factor of x?
True
Suppose -y - 25 = -3*g + 5, -4*g = -5*y - 117. Let h be (-352)/(-7) + 6/y. Suppose 0*l = -5*l + 4*i + 55, 0 = -5*l + 3*i + h. Is 3 a factor of l?
False
Let b = -144 + 368. Is b a multiple of 32?
True
Let h be (2 - 7/3)*-9. Suppose -5*z = -3*d - 8*z + h, 4*z - 8 = -5*d. Let g = 21 - d. Is 9 a factor of g?
False
Suppose -4 = r - 3. Suppose -2*q + 3*q + 9 = 0. Does 10 divide (r + q/(-6))*36?
False
Let k(p) = 2*p**2 + 4*p - 7. Let v be k(-7). Let g = v + 0. Is g a multiple of 16?
False
Let j be -1*3/((-9)/21). Let l(a) = a**2 - 3*a**2 - 2*a + j*a**2. Is l(-2) a multiple of 12?
True
Suppose -2*l - 4 = -7*l + 3*n, -n + 12 = 5*l. Let u = l + 7. Does 8 divide u?
False
Let t(l) = -l - 11. Let y be t(-14). Suppose 5 - 53 = -y*v. Is v a multiple of 8?
True
Let b(r) = 21*r**2 + 5*r + 5. Is b(-2) a multiple of 26?
False
Let c(b) = b**3 - b**2 + b - 2. Let d be c(2). Suppose 3*f - 35 = -d*u, 0*f - 45 = -5*f - 4*u. Is f a multiple of 5?
True
Let z(f) = -f**2 - 17*f - 32. Is 5 a factor of z(-5)?
False
Let c(j) = j**3 - 5*j**2 - j + 7. Let v(b) = -b**3 + 5*b**2 + 8*b - 7. Let k be v(6). Does 2 divide c(k)?
True
Let a(h) = h**3 + 1. Does 11 divide a(3)?
False
Let c = 35 + -53. Let l = -5 - c. Suppose -5*r + 17 = -l. Is r a multiple of 3?
True
Suppose 0 = 2*k - 5*h - 6, -h + 6 = 2*k - 2*h. Let m(d) = -4*d**3 + 6*d**k - 3 + 5*d**2 + 1 - d**3. Does 14 divide m(-4)?
True
Let v(a) = 5*a**3 - 5*a**2 + 2*a + 12. Is v(3) a multiple of 6?
True
Suppose -3 = -5*o + 7. Let t(l) = -35*l - 1. Let h be t(o). Let n = h - -115. Is n a multiple of 22?
True
Let z = -12 + 30. Suppose 6 - z = -a. Is 4 a factor of a?
True
Suppose 4*s + s - 25 = 0. Suppose -8*x + s*x = -54. Does 9 divide x?
True
Let s(p) = 6*p - 54. Is s(10) even?
True
Suppose 5*z - 4*p = 94, -z + 2*z + 3*p = 15. Does 14 divide z?
False
Let j be 3*(4/6 + 0). Suppose j*i - 20 = -2*p, 3*i = 2*p - i + 10. Does 2 divide p?
False
Let v be 0/(3 - (1 - 0)). Suppose 2*i - 11 = -v*i - r, 2*i + 5*r - 7 = 0. Is i a multiple of 5?
False
Suppose 12 = -r - 0*r - 4*v, 0 = 3*r - 5*v - 32. Suppose -2*g - 84 = -r*g. Is 7 a factor of g?
True
Suppose 16 = -4*c, -3*p + 0*c - 5*c + 166 = 0. Is 12 a factor of p?
False
Let p be (-18)/(-4)*8/(-3). Let j be p/(-5)*(-20)/(-8). Suppose -n + o - j*o + 27 = 0, 3*n = 3*o + 81. Is n a multiple of 13?
False
Let s = -21 - -16. Let y be -1*10/((-4)/2). Is 5 a factor of (-1)/y - 81/s?
False
Suppose -6 = -3*c - 4*z + 173, -z - 4 = 0. Does 19 divide c?
False
Suppose -2*p + 3*x - 9 = -3*p, 3*p - x + 3 = 0. Suppose 0*q - 2*q + 24 = p. Does 4 divide q?
True
Let h = 2 - -4. Let g(j) = j**3 - 6*j**2 + 8. Is 2 a factor of g(h)?
True
Let r(g) = -3*g + 9. Let z be r(-10). Let n = 121 - z. Let d = 135 - n. Does 16 divide d?
False
Let c(i) = i**3 + 2*i**2 - i. Let d be c(-3). Let f(r) be the second derivative of -r**5/20 - r**4/3 + 3*r**3/2 + 2*r**2 + 3*r. Is f(d) a multiple of 14?
False
Let z(h) = 6*h - 6. Suppose -3 = -0*u + u, 4*c = 3*u + 37. Is 15 a factor of z(c)?
False
Let h = 2 + 0. Let g(u) = -12*u - 2. Let r be g(h). Is r/(-7) - 8/(-28) a multiple of 2?
True
Let a(w)