ue
Let a(y) = 2*y**2 - 7*y - 9. Suppose 0 = 3*g + 4*g + 77. Is a(g) a multiple of 17?
False
Let w = 29 + -27. Suppose 5*l = w*u + 188, -u + 2 = l - 30. Is l a multiple of 18?
True
Let v(b) = 40*b + 92. Is v(11) a multiple of 76?
True
Let h = 22 + -22. Suppose 440 = 5*i + 5*d, h = i + 4*i - 2*d - 405. Does 13 divide i?
False
Suppose 13*h = 12*h + 512. Does 37 divide h?
False
Suppose -1 = w - 2*i, 0 = 3*w - 2*i - 10 + 29. Let a(q) = -5*q + 3. Let d(m) = -24*m + 15. Let u(c) = 21*a(c) - 4*d(c). Does 28 divide u(w)?
True
Suppose 8*g - 5355 = -9*g. Is g a multiple of 21?
True
Let p(x) = -7*x - 6 + 3*x + 0. Let t(b) = -8*b**2 + 2*b + 1. Let z be t(-1). Does 10 divide p(z)?
True
Let z = -251 + 962. Is z a multiple of 79?
True
Let q = 1208 - 379. Does 24 divide q?
False
Suppose -3*p - 4*b + 6910 = 0, -3*p + 3*b + 711 + 6171 = 0. Let s = 492 - p. Is 1/(-5) - s/30 a multiple of 20?
True
Let o(a) = -a**3 + 4*a**2 + 2*a + 9. Let f be o(5). Is 47 a factor of (16/f - -3)/(1/561)?
False
Suppose 0 = 4*s - 7 - 5. Suppose 0 = -s*q - q + 436. Does 20 divide q?
False
Let g(q) = -q**3 + 4*q**2 + 7*q - 6. Let o be g(5). Is 11 a factor of ((-22)/o)/(4/(-40))?
True
Suppose 5*h + 1327 = 3*u - 3151, 4*u = -4*h + 5992. Does 34 divide u?
True
Let l(t) = 12*t**3 - 2*t**2 + 1. Let b be l(-1). Let g(j) = -15*j - 55. Is g(b) a multiple of 16?
False
Let t(x) = -x**2 - 49*x + 32. Is t(-34) a multiple of 7?
False
Let a = 2 - 7. Is ((-2)/(-3))/(a/(-105)) a multiple of 14?
True
Suppose -s - s + o = -31, s + 3*o = 5. Suppose s*v - 7*v = 420. Is 20 a factor of v?
True
Suppose c - 5*c = -788. Suppose 5*r - c = 298. Is 24 a factor of r?
False
Let t(w) = -w - 1. Let b be t(4). Let n = b + 6. Does 4 divide n + -1 - (-1 - 6)?
False
Suppose 6*x - 62*x + 17192 = 0. Is x a multiple of 5?
False
Suppose 26*a = 22*a + 464. Let g = -76 + 32. Let i = a + g. Is 12 a factor of i?
True
Does 9 divide (-18614)/164*36/(-3)?
False
Is 13 a factor of ((-76)/(-380))/((-2)/(-9490))?
True
Let y be (-3 - -1)/(-6 - (-44)/8). Suppose 68 = 5*k + y*i - 18, -4*k + 3*i + 75 = 0. Does 18 divide k?
True
Let v be 1/(-4) - (-225)/36. Let a be v + (-2 - -1) + 0. Suppose 3*q - 2*c = 17, 0 = 2*q - a*c - 13 - 13. Is q a multiple of 3?
True
Let n(g) = -g**2 + g. Let u(s) = 80*s**2 + 5*s - 1. Let k(y) = -5*n(y) + u(y). Does 21 divide k(-1)?
True
Let i(a) = 2*a**2 + 5*a + 2. Let f = -23 + 20. Let d be i(f). Suppose d*c - 126 = -3*h, 0 = -6*c + 2*c - 2*h + 102. Is c a multiple of 5?
False
Suppose -s = a - 128, 5*s - 246 = -3*a + 394. Suppose 5*k = -2*j + s, -3*k + 6*j + 80 = 4*j. Does 26 divide k?
True
Suppose 0 = 5*m - 4*y + 155, -m - 2*y = -7*y + 52. Does 20 divide (-6)/m + (-4308)/(-54)?
True
Let t(s) = s**3 + 32*s**2 - 11*s - 57. Is t(-32) a multiple of 17?
False
Suppose j + 4*j = -30. Let b(o) = o**3 + 7*o**2 - 2*o - 3. Is b(j) a multiple of 9?
True
Suppose 0*p - 4*a = 3*p + 56, 5*p - 3*a = -45. Is (p/(-6))/(-1) + 89/1 a multiple of 13?
False
Suppose -l = -3*w + 14, -2*l + 5*w - 36 + 10 = 0. Does 22 divide (-852)/l + 4 - 1/2?
True
Suppose -187*y + 201*y = 18900. Does 10 divide y?
True
Let h be (-168)/(-4) - (6 + -4). Let x = h - 29. Is 9 a factor of x?
False
Suppose 201 = -3*n - 3*w, 0*n - 4*w = 2*n + 134. Is (-3 - -2)/(1/n) a multiple of 24?
False
Suppose -16 = d - 4*d + 5*p, p = 5*d - 12. Is (-14 + -526)*(d/(-4) - 0) a multiple of 18?
True
Let a(z) = 2*z - 13. Let u be a(8). Suppose -5*d - 4*g + 26 = -225, -176 = -4*d + u*g. Does 11 divide d?
False
Does 11 divide ((-286)/(-8) + 0)/((-7)/(-56))?
True
Suppose -2*l + 3451 = 49. Is 63 a factor of l?
True
Let h(v) = 4*v**3 + 10*v**2 + 4*v + 2. Let i(o) = 5*o**3 + 9*o**2 + 5*o + 1. Let w(x) = -4*h(x) + 3*i(x). Let l be w(-13). Is 9 a factor of (l/6)/((-2)/(-63))?
False
Suppose -48 = -q - 15*q. Suppose 96 = 4*m - 0*m + 4*n, 2*m + q*n = 53. Is 10 a factor of m?
False
Let d = 717 - 257. Is ((-48)/20)/((-6)/d) a multiple of 29?
False
Suppose -9 = -2*q - 5. Suppose q*z + 132 = 5*z. Is 8 a factor of z?
False
Is 4 a factor of 4 - (-4 - -2) - (15 - 194)?
False
Is 8 a factor of 1 + (-2 - 828)/(-2)?
True
Does 13 divide ((-15)/6)/((-12)/696)?
False
Let p = -908 - -1508. Does 10 divide p?
True
Let k(b) = -b**3 - 17*b**2 - 4*b + 25. Does 40 divide k(-19)?
False
Let m(z) = z**3 + 24*z**2 - 29*z - 68. Does 8 divide m(-25)?
True
Let w be (-2 + -5)/((-3)/51). Suppose 4*x - 25 - w = 0. Is 6 a factor of (x/(-42))/(2/(-28))?
True
Let z = 2603 - 1828. Is z a multiple of 38?
False
Suppose z - 17 = -2*c, -c + 4 - 78 = -5*z. Does 16 divide z/25 + 717/10*2?
True
Let p be (-66)/(-15) + (-6)/(-10). Suppose 5*g - 2*c = p + 10, 15 = -g + 4*c. Suppose -31 + g = -j. Is j a multiple of 13?
True
Suppose -3*x + 14 = -1. Suppose 2*c + 5*y - 216 = 0, x*c + 4*y - 540 = y. Let m = c - 75. Is 7 a factor of m?
False
Is (-11051)/(-7) - 10*15/(-525) a multiple of 10?
False
Does 36 divide 73*(2 + 39) + -5?
True
Suppose 2*k = -3*r + 442, -3*k + 3 = 15. Is r a multiple of 10?
True
Let i(c) = 3*c**2 + 2*c - 1. Let a be (-5)/((-8)/2 - -5). Let r be i(a). Suppose r = 4*n - 2*n. Is 4 a factor of n?
True
Suppose -261 = 2*h - 61. Let c = h - -154. Is 6 a factor of c?
True
Suppose -4*a = -10 - 10. Let g = 74 - a. Does 17 divide g?
False
Let u(s) = 8 + 9*s**2 + 6*s - s - 9. Let h(z) = z**2 + z + 1. Let j(b) = -6*h(b) + u(b). Does 35 divide j(-6)?
False
Suppose -8 - 32 = 4*z. Let o be (-145)/(-25) - 2/z. Let g(y) = 11*y - 6. Is g(o) a multiple of 10?
True
Does 61 divide (-122)/(6 - (-720)/(-117))?
True
Let q(s) = s**2 + 8*s - 11. Let z(y) = -y**2 + y + 1. Let x(b) = q(b) + 2*z(b). Let f be x(9). Suppose f = -0*l + 2*l - 20. Is 7 a factor of l?
False
Let m(d) be the second derivative of 1/6*d**3 + 5*d**4 - 6*d - 1/2*d**2 + 0. Is 17 a factor of m(1)?
False
Suppose -4*p = 4*q - 456, -p + 3*p - 2 = 0. Let v = q + -70. Is v a multiple of 43?
True
Let o(n) = n**2 - 13*n - 122. Does 6 divide o(-7)?
True
Suppose 5*d = -l - 44, -5*l + 5*d - 25 - 135 = 0. Let x = -28 - l. Let y = x + -4. Does 2 divide y?
True
Suppose -6*f = -9*f + 2052. Is 36 a factor of f?
True
Let j(v) be the first derivative of v**2/2 - 13*v + 5. Let b be j(6). Let z = b + 14. Is z a multiple of 3?
False
Suppose -167*l = -162*l - 1445. Does 15 divide l?
False
Suppose -7*v + 4 = -5*v. Suppose v*i + 3*h = -2*i + 258, i + 4*h = 58. Does 33 divide i?
True
Let a(y) = 56*y**2 - 7*y - 1. Let l = 18 + -16. Is a(l) a multiple of 11?
True
Suppose 12772 = 9*l - 5*l + 4*s, 2*l - 6381 = -3*s. Is 13 a factor of l?
True
Suppose -85*u + 23554 + 26001 = 0. Is 9 a factor of u?
False
Suppose -2*v - 1 = -205. Is 3 a factor of v?
True
Suppose 2*v + 9 = 5*v. Suppose v*c - 131 = 2*c. Does 37 divide c?
False
Let z(j) = 525*j**2 - j. Let v be z(-1). Let d = v - 370. Is (16/12)/(8/d) a multiple of 26?
True
Let h(y) = -y**3 - 4*y**2 + 13*y - 5. Let a be h(-6). Let r(n) = 2*n + 37. Is 8 a factor of r(a)?
False
Does 5 divide (-6)/(12/3 + (-444)/110)?
True
Suppose -9*k + 4312 = -2*k. Does 77 divide k?
True
Let i(h) = -4*h**2 - 9*h - 7. Let x(s) = -2*s**2 - 4*s - 4. Let m(d) = -3*i(d) + 5*x(d). Suppose 0 = -f - 4, 3*f = -3*w - 0*f - 27. Is 16 a factor of m(w)?
True
Let q(i) = i**2 - 4*i + 1. Let o be q(5). Suppose v + 630 = o*v. Suppose -2*f - 2*d + v = 0, 5*f - 303 = -0*d - d. Is 15 a factor of f?
True
Suppose -17*i + 3610 = -5910. Does 40 divide i?
True
Suppose 4*j + 548 = -3*z + 2789, -4*j - 4*z = -2240. Does 35 divide j?
False
Suppose -7*q = -q + 24. Is (22/q)/((-3)/30) a multiple of 8?
False
Suppose 0 = 2*p + 24 - 840. Is p a multiple of 12?
True
Suppose 3*j - 21 = -2*w - 0*j, -4*j - 14 = -2*w. Suppose -5*m = -w*m + 280. Is m a multiple of 35?
True
Suppose 1362*i = 1368*i - 960. Is i a multiple of 20?
True
Suppose -4*z - 21 = 35. Let b = z + 5. Let u = b - -20. Is 11 a factor of u?
True
Let z(l) = l + 12. Let c be z(-5). Suppose 0 = 5*s + 3*d - 0*d - 1422, 2*s - 3*d = 573. Suppose -s = 2*p - c*p. Is 22 a factor of p?
False
Let m(t) = 2*t**2 - t - 4. Let x = -4 - -6. Let j be m(x). Suppose -j*g - 12 + 24 = 0. Does 2 divide g?
True
Let v = 603 + -166. Is v a multiple of 19?
True
Suppose 238*n - 246*n = -7400. Does 25 divide n?
True
Let j(k) = 483*k**3 + 4*k**2 - 6*k + 2. Let a be j(1). Let l = a + -54. Is l a multiple of 13?
True
Let j be 1/2*4 - 2. Let b be j*(3 - (-3 + 5)). Suppose b = -