 + 346 = 0. Let r = 248 - v. Is 42 a factor of r?
False
Let s(f) = -f**2 - 13*f + 14. Let c be s(-14). Suppose 3*y + 0*y + 2*n - 726 = c, -241 = -y - n. Is 8 a factor of y?
False
Is 7 a factor of ((-1)/(-4) - (-165)/(-36))*(-172 + 1)?
False
Let g(q) be the first derivative of -29*q**2 + 46*q + 175. Does 21 divide g(-5)?
True
Let p = 153 - -11. Let z = 22 + p. Is z a multiple of 15?
False
Let x be 1/(-1)*(1 + -44 + 1). Suppose 0 = 39*c - x*c + 42. Is c a multiple of 6?
False
Let f be 11 + (12/4 - 1). Suppose -f*s + 1820 = -8*s. Does 14 divide s?
True
Let m(c) = c**3 - 14*c**2 + 10*c - 176. Is 20 a factor of m(18)?
True
Let b(v) = 2*v**2 + 3*v - 66. Let m be b(8). Let n = m - -52. Is n a multiple of 46?
True
Suppose -4*g - 165024 = -28*g. Is 33 a factor of g?
False
Is 26 a factor of (-160)/(-16) - (-4202 + 0)?
True
Let a be (1 - 82 - 1) + 1. Suppose 4*r - 131 = 421. Let t = r + a. Is t a multiple of 19?
True
Suppose 9*b + 0*b - 18 = 0. Suppose 741 = 11*w + b*w. Is w a multiple of 2?
False
Suppose -20460 = -4*f - 4*z, 4*z - 2561 + 23037 = 4*f. Is 17 a factor of f?
True
Is (-18129)/2*10/(-15)*1 a multiple of 95?
False
Suppose -77 = -8*b + 35. Suppose 4*d = 26 - b. Suppose d*u = -o + 97, -4*o - 24 - 53 = -3*u. Is 31 a factor of u?
True
Suppose j - 3 = 2*h, -4*h - h - 12 = -4*j. Is (j/5)/(5 + (-324)/65) a multiple of 5?
False
Let f be (26/13)/(-2 + 8/3). Does 6 divide ((-234)/(-91))/(f/21)?
True
Let a = -170 + 2865. Does 9 divide a?
False
Let z = 250 + -150. Suppose 0 = -2*q + 1949 - 2075. Let g = q + z. Is g a multiple of 20?
False
Let d(k) = k**3 + 3*k**2 - 11*k - 6. Let u(g) = g**2 - 14. Let n be u(3). Let o be d(n). Does 22 divide ((-44)/(-10))/(o/(-30))?
True
Let s(a) = -7*a + 10. Let d(f) = 17*f - 21. Let n(r) = 35*r - 42. Let m(v) = 5*d(v) - 2*n(v). Let o(x) = 6*m(x) + 13*s(x). Is o(-5) a multiple of 2?
False
Let s(d) = -d**3 + 2*d**2 + 7*d + 7. Let n be s(4). Suppose -246 = -n*r - 5*g - 33, 3 = -g. Does 19 divide r?
True
Suppose 2*d + 2*d + 620 = 0. Let q = d + 357. Suppose -10*c + q = -8*c. Is c a multiple of 6?
False
Suppose -378*s + 19057 = -2434163. Does 110 divide s?
True
Let y(m) = -29*m**3 + 13*m**2 + 10*m + 59. Is 109 a factor of y(-7)?
True
Let t be ((-4)/(-10))/((-2)/(-60)). Let r(a) = -a**2 - 7*a**2 + 20 + 17*a**2 - 9*a - 8*a**2. Is 14 a factor of r(t)?
True
Let x(b) = 29*b**2 + 25*b + 1. Let t be x(-1). Suppose -4*h + t*i = -0*h - 3460, 0 = 5*h - 4*i - 4316. Is h a multiple of 13?
False
Let b(r) = -9*r**2 - 4*r - 4. Let l be b(-1). Let s(q) = -67*q + 24. Is 57 a factor of s(l)?
True
Let k(q) = 3*q**2 - 2*q - 2. Let v be k(2). Suppose 7*b - 539 = v*b. Is b a multiple of 11?
True
Let x = 870 + 21. Let t = 1337 - x. Suppose -3*n + 588 = 4*s, -n + t = 3*s - 0*n. Does 30 divide s?
True
Let s = -1936 - -2762. Is s a multiple of 59?
True
Let a(f) = 2*f**2 + 14*f + 2. Let d be a(-6). Let t be 24/40 - 9634/d. Suppose -4*s + 2*n = -2*n - t, n = 5*s - 1201. Is s a multiple of 60?
True
Let n be (4 - (-35547)/(-9)) + 5/(-15). Let m = n - -5817. Is 26 a factor of m?
False
Let k(b) = -58*b - 104 + 104*b - 59*b. Does 37 divide k(-13)?
False
Let t = -134 - -298. Let l = -84 + t. Is 5 a factor of l?
True
Suppose 0 = 603*t - 611*t + 45418 + 12966. Is t a multiple of 97?
False
Let x(n) = -7*n - 33. Let f(m) = 7*m + 33. Let l be (-1)/(4/(-7)) - 14/(-56). Let h(p) = l*f(p) + 3*x(p). Is h(-15) a multiple of 12?
True
Let y(h) = 317*h**3 + 4*h**2 + h + 1. Is y(1) a multiple of 3?
False
Let g = -29 + 26. Suppose 18*j = 13*j + 60. Let s = j - g. Is s a multiple of 4?
False
Let h be -3 + 5 - (-3 - -5). Suppose 139 = 3*k - 4*l, -5*k + 3*l + h*l = -217. Is k even?
False
Let v = -694 + 486. Let o = 231 - v. Is 8 a factor of o?
False
Let r = -3 - -8. Let c(l) = 11 - 11*l - 9 - l**2 - r. Does 27 divide c(-6)?
True
Suppose 0 = 2*u - s - 352, 4*u - 25*s - 680 = -20*s. Does 12 divide u?
True
Suppose -47*j = -53*j + 12. Let b(k) = 6*k**2 - k + 12 + k**2 - 3*k + 0*k**j. Is b(6) a multiple of 48?
True
Suppose -415 = -5*l + 5*g, 2*l = -2*g + 102 + 52. Suppose -l = -a - x, 0*a + a - x = 80. Suppose 25 = m - 3*j, -3*m + a = -j - 3*j. Is m a multiple of 14?
True
Suppose -201*w = -1150568 - 444568. Is 121 a factor of w?
False
Let z be 2*(-1 + 0 + -4). Let h(i) = 18*i - 460. Let r be h(23). Let y = z - r. Is y a multiple of 18?
True
Let l(x) = -214*x + 1440. Is 51 a factor of l(-9)?
True
Let v be 8/(-18)*(-54)/12. Is 137 + (v/6 - (-8)/12) a multiple of 6?
True
Let p(w) = w**3 - 3*w**2 - 2*w + 15. Let h be p(0). Suppose 3*q = -5*z + 500, 0 = -17*q + h*q + 3*z + 327. Does 33 divide q?
True
Let t = -3944 + 14660. Does 114 divide t?
True
Let j be 371/42 - 1/6*-1. Suppose -j*s - 745 = -3553. Does 39 divide s?
True
Let c = -802 + 838. Let p = c + 94. Is p a multiple of 10?
True
Let n = -2427 - -2964. Is n a multiple of 119?
False
Let k(t) = -3*t + 2*t + 9 + 0*t**2 + t**2 - 27. Let a be k(0). Is 26 a factor of (a/15)/3*(-430)/1?
False
Suppose 6*g = -34 + 10. Is 55 a factor of (-4278)/g + 35/(-14)?
False
Let v(a) = 599*a + 14055. Does 11 divide v(0)?
False
Let p(x) = x**3 + 13*x**2 + 24*x + 25. Let z be p(-11). Let y(g) = -8*g + 46. Does 2 divide y(z)?
True
Suppose 5*i - 5*f - 1255 = 0, -444 - 803 = -5*i + 3*f. Suppose 5*h - 3053 - i = 0. Is h a multiple of 33?
True
Let c = 312 - 284. Suppose 8*z - c*z + 4100 = 0. Is z a multiple of 4?
False
Let r = -14 - -24. Let a be r/35 + 2/(-7). Suppose 45 = -a*i + i. Does 9 divide i?
True
Let w(p) = -11*p - 96. Let d be w(-9). Suppose d*k = -4*x + 166, 14*x - 16*x = -k - 78. Does 20 divide x?
True
Let x be (-1451)/2*-12*(-5)/(-10). Let c = x + -3040. Does 29 divide (1/(-1))/8 + c/8?
False
Suppose 0*z + 1671 = 5*g - 4*z, -4*g - 3*z = -1343. Suppose 58*t + g = 63*t. Does 3 divide t?
False
Suppose -2*s - 5*w + 8026 = -4*w, -3*w = 5*s - 20063. Does 11 divide s?
True
Let u = 38395 + -36891. Does 8 divide u?
True
Let j = 32 - 22. Suppose g = 0, 2*g = -17*i + 13*i + 312. Let v = i + j. Is 11 a factor of v?
True
Let a = 212 + -210. Is ((4/3)/2)/(a/312) a multiple of 8?
True
Let i(p) = 1713*p**3 - 7*p**2 + 11*p - 3. Is i(2) a multiple of 122?
False
Let j = -24415 + 41575. Does 88 divide j?
True
Let y(k) be the first derivative of -33*k**2/2 + 72*k - 16. Is y(-12) a multiple of 52?
True
Let i(b) = b**2 - 15*b + 28. Let c be i(13). Let x(d) = -d**3 + d**2 + 5*d - 6. Let f be x(c). Suppose -o - 2*o + 342 = f. Does 23 divide o?
False
Suppose 81440 = 10*x - 13900. Does 42 divide x?
True
Let k(y) = -2*y**3 + 25*y**2 + 4*y - 39. Let j be k(11). Suppose 5*n - n - j = 0. Is n a multiple of 8?
False
Let i = -232 + 728. Let c be (3 - (-12)/36)*-105. Let a = c + i. Is 17 a factor of a?
False
Suppose -4*u - 8438 = -2*j, 12*j - 7*j = -2*u + 21035. Is j a multiple of 23?
True
Suppose -2*a = 2*a - 5*p - 4204, 5*a - p - 5255 = 0. Is a a multiple of 9?
False
Suppose 18 = f - y, -f = 5*y - 18 - 0. Let j = f + 388. Does 13 divide j?
False
Let w be 22/33 - (8/(-6) + 1). Let g be w/(-1 - 180/(-179)). Suppose 3*i - 2*y = g + 44, -4*y + 357 = 5*i. Is 11 a factor of i?
False
Let y(u) = 20*u**2 - 9*u + 22. Let z be y(5). Let v = z - 225. Is 9 a factor of v?
True
Let m = -207 + 690. Is m a multiple of 2?
False
Let d(u) = -1. Let c = -25 - -26. Let l(y) = 3*y**2 - 16*y - 15. Let m(z) = c*l(z) + 3*d(z). Does 21 divide m(8)?
False
Suppose -i - 14308 - 15224 = -2*i. Does 69 divide i?
True
Let q be (-1592)/(1 + 0) - -4 - -1. Let b = -1047 - q. Is b a multiple of 20?
True
Suppose 39*m - 16*m - 69 = 0. Suppose -2*d - 2*d + 2797 = -m*a, 3*d + 4*a - 2104 = 0. Is d a multiple of 50?
True
Suppose 2*j - y = 118, -2*j + 168 = j + 3*y. Let h = 61 - j. Suppose -h*d - 4*n + 481 = 180, -4*d + 408 = 4*n. Is d a multiple of 16?
False
Let l = 2225 - -1648. Does 7 divide l?
False
Let y(l) = l**2 + 16. Let c be y(0). Suppose -c = -70*o + 74*o. Is 5 a factor of 3/(3/(-1)) - (o + -97)?
True
Suppose 32*h - 108 + 12 = 0. Suppose -h*o + k = -999, k + 694 = -4*o + 2033. Is 17 a factor of o?
False
Let k(a) = a - 3. Let u be k(6). Suppose -92 = u*i + 28. Let n = i + 67. Does 6 divide n?
False
Let h = 31 - 25. Is -2*h/18*(-87)/2 a multiple of 29?
True
Let l be ((-4)/(-10))/(2/20). Suppose l*i + 5*h = 5*i - 7, 2*h - 2 = 0. Suppose -p = 3*p - i. Does 2 divide p?
False
Let c(t) be the third derivative of 1