e of 23?
True
Let n be 1/1 - (-3 + (-2 - -3)). Suppose -m = n*x - 23, 4*m - 10 = -2*x + 112. Suppose -b = -2*b + m. Does 8 divide b?
True
Suppose 1863 + 25273 = 8*y. Does 64 divide y?
True
Let f = -121 + -164. Let u = 1416 + f. Suppose -171 + u = 4*x. Does 24 divide x?
True
Let y(s) be the second derivative of s**4/3 + 2*s**3 + 2*s**2 + 201*s. Let l(j) = -j**3 + 4*j**2 + 3*j + 3. Let a be l(5). Does 25 divide y(a)?
False
Suppose -4*q = 303 + 105. Let f = 287 + q. Let g = -120 + f. Does 9 divide g?
False
Suppose 0 = 44*q - 46*q + d + 39509, q - 19772 = -2*d. Is 37 a factor of q?
True
Let u(z) = -z**2 - 14*z - 66. Let m be u(-8). Does 66 divide m - -10 - (-1195 - 1)?
True
Let l(c) = -c**3 - 4*c**2 - 4*c. Suppose -n - 2*n - 10 = j, 3*n + 2*j = -11. Let f be l(n). Suppose -y + 84 + 10 = f*k, y = 5*k + 134. Is 35 a factor of y?
False
Suppose 51*n - 448 = 49*n. Suppose -641 = -2*a - i, -4*a - 4*i + n + 1068 = 0. Does 11 divide a?
False
Let q(s) = 2*s**3 + s**2 - 4*s + 4. Let f be q(1). Suppose -f*z = z - 4*h - 1020, -4*h - 500 = -2*z. Is z a multiple of 26?
True
Let o = 45 - 48. Let i be ((-37)/1 + o)/(-1). Let w = i - -23. Is w a multiple of 12?
False
Suppose 170 = 14*y - 138. Suppose -2*w + 2 = -y. Is (2 + (w - -1))/(4/4) a multiple of 15?
True
Let k(s) = -7*s + 87. Suppose -5*t - 45 = 6*j - j, -13 = t + 3*j. Does 6 divide k(t)?
False
Let u(f) = -9*f - 72. Let k be (-7 + 5)*1 - 14. Is 24 a factor of u(k)?
True
Suppose -4*l - b = -5*b - 2516, 0 = 4*l - 2*b - 2520. Suppose 7*m - l = 650. Is m a multiple of 2?
False
Let c(v) = -v**2 + 2*v + 1. Let o = -1 - -3. Let l be c(o). Is l/((-25)/13 + 2) a multiple of 3?
False
Suppose -4*b - 1898 = 3*m - 6*m, -5*b + 4*m - 2372 = 0. Let a = 972 + b. Suppose 12 = -3*t, -h - 4*t = -a + 146. Is h a multiple of 61?
True
Does 11 divide ((-1019136)/160)/(4 - (-172)/(-40))?
False
Let b(f) be the second derivative of f**3/3 + 9*f**2 + 5*f. Let x be b(-6). Suppose -10*c + x*c + 144 = 0. Is c a multiple of 18?
True
Let n be (-26)/(-10) + (-2)/(-5). Suppose -n*z - i = -z - 9, 10 = -5*z + 4*i. Suppose -33 = -z*o + 41. Does 37 divide o?
True
Let m(l) = -2*l**2 + 4*l + 8. Let j be m(-3). Is 6912/22 - ((-48)/j + -2) a multiple of 7?
False
Does 74 divide (330/(-66))/(2/(-50))?
False
Suppose 2778 = q + 2*p, 2*q + 42*p - 47*p - 5592 = 0. Does 7 divide q?
True
Let l(b) = 2*b**2 - 5*b + 2750. Is 8 a factor of l(-74)?
True
Let o be (28/(-12))/(-7)*15. Suppose -23*h = -19*h + o*l - 4436, -1124 = -h - 5*l. Is 69 a factor of h?
True
Suppose 0 = 3*n - 5*c - 7, 0 = -c - 5 + 6. Let b be -1*((-20)/(-25) - n/5). Is 11 a factor of (1 - b)/1 - (-29 - 14)?
True
Let x be (-67 - -61)*(1 - 13). Is 12 a factor of (-1674)/(-4) - x/(-48)?
True
Suppose -3*m + 72 = -5*k - 101, 0 = 5*m - 2*k - 301. Is 16 a factor of 2 + -11 - (-7 - m)?
False
Suppose -2*m = -3*c + 4868, -3*c + 3*m - 917 + 5786 = 0. Is 18 a factor of c?
False
Does 8 divide 3 + (-71535)/(-25) + (-12)/30?
True
Is (-1*3504/30)/((19/(-140))/19) a multiple of 28?
True
Suppose -85*t - 79*t = -166*t + 1022. Is 8 a factor of t?
False
Let r = -91 - 9. Let o = r + 104. Suppose 3*h - 658 = -o*h. Is h a multiple of 41?
False
Is 19 a factor of -29 + 2 + (-168 - -40726)?
False
Let w(o) = o**2 + 10. Let v be w(0). Is (-3)/(v/(-3) + 3) a multiple of 6?
False
Suppose -1086688 = -271*t + 89*t + 788276. Does 32 divide t?
False
Let s be 8/12 + (2230/(-6))/(-5). Let j be ((-4)/(-5))/(10/s). Suppose -973 = -13*w + j*w. Is 32 a factor of w?
False
Let l = -24 + -132. Let c = l + 311. Suppose -5*b = 3*a - 226, 15 - c = -2*a + 2*b. Is a a multiple of 12?
True
Let h(b) = -17*b + 4. Let d = -49 - -45. Let z(t) = -18*t + 4. Let n(f) = d*z(f) + 3*h(f). Is n(4) a multiple of 20?
True
Let l(a) = a**3 + 13*a**2 + 5*a. Let p be (686/8)/(-7) + 1/4. Does 28 divide l(p)?
True
Let o = -417 - -422. Suppose -37 = s - 4*c - 66, -o*c + 20 = 5*s. Is 6 a factor of s?
False
Suppose -4*n + 1978 = -6*n. Does 17 divide 48/64 + 1/((-4)/n)?
False
Let k(c) = 20*c**2 + 71*c - 39. Is k(5) a multiple of 3?
True
Suppose -w - 1743 = -3*q + 13428, -w = 2*q - 10119. Does 3 divide q?
True
Let x(d) = -1361*d + 582. Is x(-4) a multiple of 111?
False
Let j(w) = w + 4. Let l be j(-4). Let u(y) = -2*y**2 - 11*y - 5. Let f be u(-5). Suppose f = -n - 2, 3*a + n = -l*a + 265. Is 13 a factor of a?
False
Let j(i) = 10*i + 375. Let q be j(-37). Suppose 0 = q*p - 3*n - 1909, -n = 10*p - 12*p + 764. Is 31 a factor of p?
False
Let q(j) = 7*j**2 + 39 - 37 - 3*j - 2*j. Is 6 a factor of q(-4)?
False
Suppose -2*x + 2664 = -4020. Let t be 2*x/15 - (-4)/10. Suppose -3*z + 64 = 3*f - t, -5*f + 4*z + 868 = 0. Is f a multiple of 7?
False
Let q be 5/(-1*(-1)/(-2)). Let y be q/2 + 82 + 0. Is 3 a factor of 3949/y + (-2)/7?
True
Let j(r) = -3*r**2 + 2*r + 84. Let s(o) = -o**2 + 2*o - 1. Let c(l) = -j(l) - 3*s(l). Is c(8) a multiple of 4?
False
Does 6 divide 24/504 + 118940/84?
True
Let q = 111 + -172. Let v = q + 214. Suppose -223 = -u - 2*u + n, 0 = 2*u - 5*n - v. Is 13 a factor of u?
False
Let m(r) = 2*r**2 - 10*r + 2. Let b be m(-11). Suppose 3*z - 4*z = -b. Let i = z - 250. Does 46 divide i?
False
Suppose -3*b + 53 - 32 = 0. Suppose u = 5*g - 15, 5*g - b - 8 = 2*u. Suppose u = 3*t + 2*t - 110. Does 5 divide t?
False
Suppose -x = 2*r - 14421, -29*x + 2*r + 57744 = -25*x. Is 17 a factor of x?
True
Suppose -4*c + 72708 = 4*h, -54555 = -61*h + 58*h + 9*c. Is 9 a factor of h?
False
Let a(r) = 490*r**2 - 118*r - 361. Is 119 a factor of a(-3)?
True
Let h(b) = 15*b - 89. Let m(f) = -8*f + 44. Let a(q) = -6*h(q) - 11*m(q). Does 3 divide a(8)?
False
Suppose -3 = s + 2*y - 12, 33 = 5*s + 4*y. Suppose 0 = 55*w - 1026 - 74. Suppose -w = s*n - 140. Does 16 divide n?
False
Let t be (126/24 - 6)*16/(-6). Let v be 84 + ((-12)/(-9))/(t/6). Let g = v - 63. Is 10 a factor of g?
False
Suppose 14 = -2*r - 78. Let b = 64 - 160. Let v = r - b. Is v a multiple of 25?
True
Suppose 3*m = -3*m + 30. Let b be 1/(m*4/100). Suppose 37 = l + i, 5*l - 55 = 4*l + b*i. Is 9 a factor of l?
False
Let h be (-3464)/(-6) + 2/(-6). Let y = h + -320. Suppose -u = 2*a - y, 58 = -a + 2*u + 174. Does 42 divide a?
True
Let o = 421 + -420. Does 31 divide o/((-10)/(-30) - (-451)/(-1362))?
False
Let p be 154/(-16) - ((-232)/64 + 4). Is (-2)/p + 3389/5 + 2 a multiple of 17?
True
Suppose -2*q + 8 = -2*x, x + 16 = 5*q - q. Let j = q - 2. Suppose j*f - 221 = -71. Is 25 a factor of f?
True
Let i be ((-2)/(-4))/(11/132). Suppose -2*z = -i*z + 36. Let f(x) = x**3 - 8*x**2 - 7*x - 7. Is 11 a factor of f(z)?
True
Suppose 26*x - 68*x + 179881 + 223823 = 0. Is 27 a factor of x?
True
Suppose 6 + 14 = 5*j. Suppose b = -j*w - b + 194, 0 = 5*w - 4*b - 262. Is 10 a factor of w?
True
Suppose 0 = i + 4*r - 12852, -3*i + 5*r + 16900 = -21724. Is i a multiple of 23?
False
Suppose 2*x - 4*x = 2*z - 1828, -9*z = -x - 8186. Is 5 a factor of z?
True
Is (1/(12/(-111648)) - -9)*6/(-10) a multiple of 14?
False
Let i(o) = 768*o + 1183. Is i(17) a multiple of 87?
False
Suppose -389 + 391 = -2*u, -2*n = u - 46979. Is n a multiple of 10?
True
Let c(h) = h**2 + 12*h + 436. Suppose 18*s + 17*s = 9*s. Does 40 divide c(s)?
False
Let t(m) = 4*m - 13. Let s(w) = -11*w + 37. Let j(h) = -6*s(h) - 17*t(h). Is j(-18) a multiple of 3?
False
Let w(x) = -30*x - 103. Let l be w(-5). Let d = 176 + l. Is d a multiple of 14?
False
Suppose 9*a + 5*a - 2794 = 706. Is 5 a factor of a?
True
Let w be (75/(-20) + 4)*4. Let x(f) be the second derivative of f**4/2 + 5*f**3/6 - 2*f**2 + 4*f. Is 2 a factor of x(w)?
False
Let j(m) = -8405*m - 9. Let a be j(-1). Suppose -2943 = 7*c - a. Does 51 divide c?
False
Let g(i) = -2*i**2 + 20*i + 28. Let h(j) = 5*j**2 - 41*j - 56. Let f(l) = 7*g(l) + 3*h(l). Let r be f(-15). Is (r - 0 - 3)*-17 a multiple of 17?
True
Let r = 503 + 697. Does 35 divide (5 + 46/(-10))*r?
False
Let g(l) = -68*l + 181. Let p be g(-16). Let u = -270 + p. Is u a multiple of 27?
True
Suppose 7*z = -1215 + 137. Let d = z + 336. Is 15 a factor of d?
False
Let y = -112 + 288. Let f = -46 + y. Does 4 divide f?
False
Let v(b) = b**3 - 18*b**2 + 6. Let j be v(18). Is (2/4 + 4)*(j - 0) a multiple of 3?
True
Let k be (3/(-9) - (-1)/3) + 235. Let b = k + -180. Is 4 a factor of b?
False
Suppose 422 = -5*n + 3287. Let f = n - 501. Is 18 a factor of f?
True
Let i =