rue
Let r = -7 - -10. Let o(i) = 8*i**2 - 5*i + 2. Does 13 divide o(r)?
False
Let c(f) = -f + 33. Is c(20) a multiple of 13?
True
Let h be ((-2)/(-3))/(7/(-105)). Does 6 divide (-188)/h - (-5)/25?
False
Let u(v) = 96*v**3 - v**2 + v - 1. Let i be u(1). Suppose -58 = -2*y + 4*j, 0*j + i = 4*y - j. Does 23 divide y?
True
Suppose -1 = -o + 4*n, -5*o + 4*n + 37 = -0*o. Does 3 divide o?
True
Does 23 divide (90/(-18))/((-2)/50)?
False
Let f = -29 - -21. Is 3 + 4/(f/(-14)) a multiple of 5?
True
Let k(z) = 4*z - 6. Let b be k(4). Let a = -5 - b. Is 2/5 + (-309)/a a multiple of 10?
False
Let r = 208 + -132. Is r a multiple of 38?
True
Let w(x) = -x**2 - 8*x - 8. Is 2 a factor of w(-6)?
True
Suppose -5*r = -5*g - 40, -58 = 5*g - 0*r + 4*r. Let f = 15 + g. Is f even?
False
Let k = 9 + -4. Suppose -4*w = -k*w. Suppose 4*d - 27 + 3 = w. Does 5 divide d?
False
Let z be -8 + (-1 - -1*3). Let u(x) = x**2 - 8*x - 8. Let m be u(8). Is 18 a factor of z/m*(0 + 24)?
True
Let j(r) = -r. Let u(k) = 2*k**2 + 6. Let h(v) = 8*j(v) + u(v). Let z be h(5). Suppose 0 = d - z - 9. Does 18 divide d?
False
Suppose -y = -0*y - 12. Is y + 2/6*3 a multiple of 13?
True
Suppose -66 = -3*y - 306. Does 6 divide ((-3)/(12/y))/1?
False
Let m(v) be the third derivative of -2*v**2 + 0*v + 5/2*v**3 + 1/60*v**5 + 0 - 1/24*v**4. Is 10 a factor of m(0)?
False
Let u = 31 + -27. Does 2 divide u?
True
Suppose -c + 3*c - 4*m = 82, 205 = 5*c + m. Let s = c + -29. Is s a multiple of 9?
False
Let j(u) = u**2 + 5*u + 5. Let k be j(-5). Let q = k - 4. Does 8 divide (q - -18)/(4 - 3)?
False
Let v = -6 + 11. Suppose -71 = -2*b - 4*m + 49, -240 = -4*b + v*m. Does 20 divide b?
True
Suppose 5*l - 2*o - 17 = 0, 5*o - 4 = 16. Suppose -5*m + 285 = -l*a, 3*m - 169 = -a + 3*a. Suppose 5 + m = 5*y + 5*x, -12 = -2*y + 2*x. Is 4 a factor of y?
False
Let j = 25 - 12. Suppose y = 1 - j. Let k = 17 + y. Is k a multiple of 5?
True
Let s = -2 + 2. Suppose s*x + 440 = 5*x. Is 15 a factor of x/6 - 4/(-12)?
True
Let g(d) = 7*d**2 - 26*d - 3. Is g(9) a multiple of 10?
True
Suppose -l = l + 12. Let t(i) = -3*i - 5. Does 8 divide t(l)?
False
Let w(a) = a + 3. Let v be w(-4). Is 3 a factor of 6/(-3*v/2)?
False
Let q(a) = 2*a. Let y be q(2). Is 0 - 1 - (-14 - y) a multiple of 17?
True
Let b(d) = -d**3 + 13*d**2 + 27. Does 3 divide b(13)?
True
Let q(r) = r**3 - 3*r**2 + 4*r - 2. Let s be q(2). Suppose -s*d = 3*d - 95. Is 9 a factor of d?
False
Let k(g) = -3*g + 3. Does 9 divide k(-17)?
True
Suppose 3*q + 6 = 5*q. Suppose -2*v + 2*t + 0*t = 16, 4*v + t + 22 = 0. Does 15 divide -1 + v*(q - 8)?
False
Let s(y) = -y**2 + 9*y - 9. Let g be s(8). Is (-3 - g) + 1 + 10 a multiple of 4?
False
Suppose 0 = -3*n + 4*u + 14, 0 = -n - 4*u - 2 - 4. Suppose 0 = -n*r - r - 5*b - 17, 0 = -r + 3*b + 13. Does 3 divide 1/(r*(-1)/(-4))?
False
Let t(i) = 12*i**2 - 1. Is t(-2) a multiple of 19?
False
Suppose -16 = -5*a + 4. Suppose -a*t + 54 + 2 = 0. Is 7 a factor of t?
True
Let k = 21 + -15. Suppose 0 = -i + k - 2. Is i a multiple of 3?
False
Suppose -1 = -c + 1. Suppose 2*q + 6 = -c*t, -t - 4*q - 14 = 4. Does 2 divide t?
True
Let t(y) = -y + 4*y**3 - y**2 + 0*y**3 - 2*y**3 - y**3 + 12. Is 9 a factor of t(0)?
False
Let t(f) = 2*f**2 + 5*f - 3. Let c = -15 + 9. Is t(c) a multiple of 13?
True
Let c be (-14)/4*(0 - -2). Let q = c + 8. Is 7 a factor of 2/(((-2)/(-14))/q)?
True
Let z(d) = -d**3 + d + 35. Let y be z(0). Let h = 58 - y. Is h a multiple of 10?
False
Suppose -7*b = -2*b + 3*g - 370, -4*g = 0. Let t = 116 - b. Does 21 divide t?
True
Does 8 divide (-10)/2*288/(-45)?
True
Let s(i) = 3*i**2 - i - 1. Let x be s(-1). Suppose 26 = x*g - 40. Does 18 divide g?
False
Suppose -2*a - a + 303 = 0. Let y = -45 + a. Is y a multiple of 19?
False
Let b(y) = 12*y**2 + 2*y - 2. Is b(-2) a multiple of 21?
True
Is (-8)/(-32) + 166/8 a multiple of 7?
True
Let f(r) be the second derivative of -2*r**3 - 1/12*r**4 + 0 + r + 7/2*r**2. Is 14 a factor of f(-9)?
False
Suppose 3*c + 243 + 98 = b, 3*c + 4*b = -361. Is (-10)/(-45) - c/9 a multiple of 10?
False
Let q(j) = 11*j - 32. Is q(16) a multiple of 9?
True
Suppose 0 = -3*o, 3*y - 5*o - 852 = -y. Does 23 divide y?
False
Let m(p) = p**3 + 2*p**2 - 5*p - 3. Let h be m(-3). Let w(k) = 9*k - 2*k + 8*k**2 + 4 + h + k**3. Is 6 a factor of w(-7)?
False
Suppose 0 = 2*l - 6 - 6. Let z be 2/(-9) - (-1271)/9. Suppose 0 = 5*r + l - z. Is r a multiple of 23?
False
Let y = -723 + 1104. Suppose 105 = -3*c + y. Is c a multiple of 23?
True
Let h(c) = c**3 - 10*c**2 - c + 14. Let a be h(10). Let m(x) = 2*x + 6*x**2 - 2 - x**3 - 5*x - 3. Is m(a) a multiple of 5?
True
Let j = -11 + 33. Is 22 a factor of j?
True
Let u(m) = 2*m**2 + 7*m + 11. Is 10 a factor of u(-7)?
True
Let m(u) = u**2. Let b(f) = 2*f**3 - 5*f**2 - 5*f - 12. Let x(k) = b(k) - m(k). Does 17 divide x(5)?
False
Let g be ((-18)/2)/((-8)/40). Suppose 4*x = g - 17. Is x a multiple of 3?
False
Let n(c) = -c**3 - c**2 + c + 8. Let f be n(0). Suppose -p - 3*p = -f. Suppose -m = -p*m + 9. Is 4 a factor of m?
False
Suppose 204 = 6*d - 2*d. Does 12 divide d?
False
Let i = -54 + 28. Let g be (i/8)/((-8)/32). Let f = g + -8. Does 5 divide f?
True
Let k be 20/8 + (-1)/(-2). Suppose 2*w = -k*j + 23 + 120, -5*w = 2*j - 110. Is j a multiple of 9?
True
Let j = 5 + -5. Suppose j*l + 3*l - 21 = 0. Is 4 a factor of l?
False
Let r = -72 - -262. Is r a multiple of 20?
False
Let o be ((-3 - -3)/3)/2. Suppose o = -d + 3 - 12. Let r = 5 - d. Is 7 a factor of r?
True
Let t(h) = 13*h**2 + 4*h + 6. Does 33 divide t(-4)?
True
Let b be 27 + (4 + -1 - 1). Let g(p) = -2*p**2 + 15*p + 10. Let x be g(9). Let u = x + b. Is 9 a factor of u?
False
Let n be -11 - (-5 - 1)/(-3). Let m = -8 - n. Is m a multiple of 2?
False
Let r be (0 - 6*-1)/(-2). Suppose 156 = -0*o + 3*o. Let i = r + o. Is i a multiple of 20?
False
Suppose -1 - 5 = -2*q. Suppose 3*n - n - 7 = -q*w, -2*w = -4*n - 26. Suppose -2*i = -4*r - 30, 4*r - 5 + 0 = -w*i. Does 5 divide i?
True
Let i = 150 - 82. Suppose 3*g + g = i. Is g a multiple of 11?
False
Suppose 0 = 3*t + w - 346, -2*w - 120 = -t - 0*w. Is 27 a factor of t?
False
Suppose -3 + 9 = 3*u. Suppose -3*d + 3*s + 219 = 0, d + 3*s + u*s - 55 = 0. Is d a multiple of 14?
True
Let l = -32 + 56. Is l a multiple of 12?
True
Suppose r - 3*k - 11 = 0, -3*r + 5*k = -0 - 29. Let i = r - -22. Is 9 a factor of i?
False
Let i = -5 + 6. Suppose 0 = q + 3*d - i, -q = 2*d - 4*d - 16. Does 10 divide q?
True
Does 5 divide -3*(-1 + (-22)/6)?
False
Suppose 0 = 7*d - 6*d + 143. Let f be 2/(-9) + (-50)/18. Does 15 divide f/(-12) + d/(-4)?
False
Let h = 3 + 0. Suppose -3*p = -a - 5, h*a = -a - 20. Is 20 a factor of -1 + p - (-2 - 39)?
True
Let y be (1/(-3))/(1/(-3)). Let h be (-10)/5 - (0 - 0). Is (h - (-21 + y)) + -2 a multiple of 8?
True
Suppose 5*t + 5 = -5. Let u = t + 0. Does 12 divide ((-36)/15)/(u/20)?
True
Let b(s) = -s**2 + 15*s + 2. Let j be b(10). Suppose -9*p - j = -11*p. Is 13 a factor of p?
True
Let q = 70 + -37. Does 11 divide q?
True
Let n(o) be the first derivative of o**4/4 - o**3 + o**2/2 + 4*o - 2. Let y be n(3). Let r(u) = 7*u + 4. Is r(y) a multiple of 19?
False
Let g(w) = -4*w + 2*w + 0*w - 13 - 8. Is 3 a factor of g(-14)?
False
Let v(l) = -2*l + 2. Let r be v(-6). Is 24 a factor of 330/r - (-3)/7?
True
Let o be 3*(3 + -2 + 0). Suppose 21 = 3*w - 0*z - o*z, 2*w - z = 17. Does 10 divide w?
True
Let x(v) = -2*v + 4. Let b be x(5). Let h = b + 7. Suppose z - 7 = i, z + 5*i = 12 + h. Does 4 divide z?
True
Suppose 11 = -i - 5*s, -2*s - 7 = 4*i - 35. Let n be (0 + -1)*(-5 + 6). Is ((-10)/3)/(n/i) a multiple of 15?
True
Let s be ((-2)/4)/((-3)/138). Let y = 58 - s. Is 17 a factor of 1515/y + 2/(-7)?
False
Does 2 divide (27/15 - 1)/(8/180)?
True
Let x(m) = 98*m**2 - m - 4. Let g(p) = p**2 + 1. Let q(w) = 2*g(w) + x(w). Is 33 a factor of q(-1)?
True
Is (-9 - -5)/(1/((-33)/2)) a multiple of 22?
True
Let h(k) = -k**3 - 15*k**2 - 16*k. Let a be h(-14). Suppose 0 = -3*o + 5*o, 2*w - a = -2*o. Does 7 divide w?
True
Let h = 28 - -7. Suppose 2*d = -2*d + 2*p + 6, 4*p = -4. Let k = d + h. Is 12 a factor of k?
True
Suppose 3*y - 4 = 2*y. Suppose -2*o + 2*h = -24, 4*o - 28 = h + 8. Suppose 0 = -n - n - y*k, 4*k = -3*n + o. Is n a multiple of 8?
True
Let o = -16 + 32. Let h be ((-1)/2)/(1/o). Let u = h -