148 + 77. Is 25 a factor of d?
True
Suppose 3*l + 3*b = 0, b + 30 = 5*l - 0*b. Let p = l - 6. Is 23 a factor of (-23)/(-4)*(-8)/p?
True
Suppose 0 = 5*o + 5*x - 605, -o + 5*x + 183 - 32 = 0. Does 6 divide o?
True
Let b(a) = a**3 + 5*a**2 + 3*a + 2. Let f be b(-2). Let y = -4 - f. Is ((-214)/(-3))/((-8)/y) a multiple of 15?
False
Let v = 118 + -71. Is 47 a factor of v?
True
Let g(r) = -r**2 - 10*r - 11. Let k be g(-8). Suppose k*d = 25 - 10. Suppose -d*b + 54 = -b. Is b a multiple of 9?
True
Suppose 32*b + 3386 = 15354. Is b a multiple of 35?
False
Suppose -2*t - 126 = -0*t. Let l be (-4)/14 - (-1683)/t. Let m = -18 - l. Does 6 divide m?
False
Let r = -217 + 222. Is r a multiple of 5?
True
Let g = -467 - -732. Let v = g + -145. Suppose -28 = -4*t + v. Is t a multiple of 8?
False
Let w = -244 - -854. Let d = -436 + w. Suppose 2*q - 2*t - d = 3*t, 5*t = 4*q - 328. Is 11 a factor of q?
True
Let u = 17 + -15. Suppose -5*y + 4*n = -15, -2*y + 6*y - u*n - 18 = 0. Suppose -12 = 5*i - y*i. Is i a multiple of 3?
True
Suppose 0 = 10*g - 13*g + 12. Suppose 5*w - 40 = g*w. Is w a multiple of 8?
True
Let x = -20 - -23. Suppose 48 = x*u - 3. Is 4 a factor of u?
False
Let v(h) be the second derivative of -h**6/120 + h**5/10 + h**4/24 - 5*h**3/6 - 3*h**2 + h. Let f(b) be the first derivative of v(b). Is f(5) a multiple of 8?
False
Let d = 35 - 27. Is 46 - -3*d/6 a multiple of 6?
False
Let k(n) = -n - 11. Let y be k(-8). Let h(p) = p**2 + p - 4. Let f be h(y). Suppose -75 = -f*z - 3*z. Does 15 divide z?
True
Let c = 161 - 111. Suppose 5*q = -10 + c. Suppose -q*x + 9*x = 23. Is 13 a factor of x?
False
Does 37 divide 231/2*(-12 + 608/48)?
False
Let v(s) = 35*s - 26. Suppose f + 0 = 5. Is 40 a factor of v(f)?
False
Let x(j) = -j - 72. Let p be x(0). Let a = 55 - p. Suppose -3*n - 3*y + 37 = -2*n, 4*n + 5*y = a. Is 9 a factor of n?
False
Let q(g) = 7*g**2 + 84*g + 535. Is 18 a factor of q(-7)?
False
Suppose -9 = -20*z + 17*z. Let u(m) = 4*m**2 - 6*m + 6. Is 3 a factor of u(z)?
True
Let o(i) = -17*i + 83. Let p(g) = -4*g + 21. Let j(d) = -2*o(d) + 9*p(d). Does 5 divide j(-6)?
True
Suppose 5*t - 15 = 5*y, 19 = -y - 2*t + 1. Is (-6)/y + ((-86289)/(-28))/7 a multiple of 63?
True
Let h = -42 + 46. Let p be 0/((-2)/(1 + -3)). Suppose -w + h*w - 15 = p. Does 2 divide w?
False
Suppose 3*d + 3*j = 654, -2 = 19*j - 18*j. Does 20 divide d?
True
Let v = -186 - -461. Does 5 divide v?
True
Let o(t) = 227*t - 109. Is 5 a factor of o(3)?
False
Suppose t - z = 14, -4*z - 58 = -3*t - 11. Suppose t*f = 4*f + 10. Suppose 135 = f*l + l. Is l a multiple of 15?
True
Let w be (8 - -2)*((-117)/15 - -3). Let a = 84 + w. Is 9 a factor of a?
True
Suppose 162*s + 462 = 164*s. Is s a multiple of 23?
False
Let r(d) = -d + 11. Let x be r(5). Let u(h) = -h**2 + 4*h + 8. Let q be u(x). Let a(y) = y**3 + 5*y**2 + 2*y + 5. Is a(q) a multiple of 4?
False
Let f = -869 + 1006. Is 12 a factor of f?
False
Let a(j) = 4*j**3 + 3*j**2 - 3*j + 8. Is a(3) a multiple of 38?
False
Is 3 a factor of ((-2788)/(-20) + 2/(-5))*1?
False
Let b(a) = 7*a + 12. Let w(m) = -3*m - 6. Suppose k - 3*k = 10. Let c(r) = k*w(r) - 2*b(r). Is c(-3) a multiple of 3?
True
Let g be 9/((-12)/(-4)) + 0. Let b(i) be the third derivative of 23*i**4/24 - 5*i**3/6 - i**2. Is b(g) a multiple of 16?
True
Let r be (-2 - (-9)/6)*(47 - -1). Does 10 divide 10 + 10/14 + r/(-84)?
False
Suppose 13*l = 11*l + 66. Let y = 62 - l. Is 18 a factor of y?
False
Let s = 6 + -6. Suppose -4*w + 17 = 5*l, 0 = -s*w - 5*w - 5*l + 15. Does 14 divide (9 + -11)/(w/41)?
False
Suppose 0 = -c - 4*q + 115, 5*c + 0*q - 3*q = 506. Suppose 3*v - 202 = 2*j, 2*v + 4*j - c = 21. Does 7 divide v?
False
Let k(h) = -2*h + 23. Let q be k(10). Let z = q + 59. Is z a multiple of 31?
True
Suppose 0 = -4*n + n. Let x(w) = -w**3 + 14. Is 4 a factor of x(n)?
False
Is -126*(-2)/3 + 3 a multiple of 13?
False
Suppose 0 = 4*w - 2*z - 228, -4*w + 4*z - 133 = -365. Is w a multiple of 8?
True
Let z(p) = p**2 - 5*p + 2. Let y be z(4). Let u(o) = -71*o + 1. Is 50 a factor of u(y)?
False
Let v = -39 + -238. Let g = -158 - v. Is 17 a factor of g?
True
Suppose 3*d - 5*d - 14 = 0. Let g = 174 - d. Is g a multiple of 28?
False
Let d be (-2)/(-6)*9/6*4. Suppose -d*t = -5 - 191. Is t a multiple of 19?
False
Suppose 421 + 959 = 4*v. Let q = -135 + v. Suppose 13*d - 8*d = q. Is d a multiple of 14?
True
Let g(t) = t**3 - 10*t**2 - 2*t + 11. Let v be g(11). Suppose v - 8 = 3*u. Is 10 a factor of u - (4/1 + -7)?
False
Let i = -3 + 6. Is 3 a factor of -1 - -2 - (-18)/i?
False
Suppose 3*u + 3*c - 9 = 42, -2*u - 5*c + 22 = 0. Suppose -u - 155 = -4*v. Suppose v = 4*t - 4*l, -2*t + 0*l + 38 = 2*l. Does 4 divide t?
False
Suppose -2*f = f - 9. Suppose -46 = -f*q + 8. Let i = q + -7. Does 9 divide i?
False
Suppose 0 = 4*a - 5*y + 19, 3*y - 13 = 6*a - 2*a. Let c be (a - -2) + 1/(-1). Suppose u = j + 22, 3*j + j + 4 = c. Does 7 divide u?
True
Let j(t) = -2*t**3 + 4*t**2 + 2*t. Let l be j(4). Let i = l + 95. Is 12 a factor of i?
False
Let x(t) = -t**3 - 9*t**2 - 2*t + 6. Let o be x(-9). Suppose 3*l = -0*l + o. Suppose l + 16 = 2*p. Is 10 a factor of p?
False
Let f(p) be the first derivative of p**6/120 - 4*p**5/15 + p**4/24 - 4*p**3/3 + 3*p**2/2 - 2. Let z(n) be the second derivative of f(n). Does 8 divide z(16)?
True
Suppose -2 = -v - 5. Is 23 a factor of -3 - (-2 - v) - -43?
False
Let m(q) = -q**2 + 5*q - 4. Let u be m(3). Suppose j - 122 = 4*h, 0*j + u*j - 205 = -5*h. Suppose j = -7*r + 12*r. Is 20 a factor of r?
False
Let k(o) = o**2 - 35*o - 217. Is k(52) a multiple of 23?
True
Suppose 520 = 28*y - 4436. Does 6 divide y?
False
Let v(m) = -7*m - 140. Is 8 a factor of v(-32)?
False
Suppose 43 = 6*w - 29. Is 182/4 + (-6)/w a multiple of 15?
True
Let f = 919 + -534. Does 11 divide f?
True
Suppose 8*c - 1592 = -3*k + 3*c, c - 4 = 0. Is 15 a factor of k?
False
Suppose -6*w = -0*w - 6. Suppose -4*f = w + 3. Is 17 a factor of (12 - 2)/(f/(-7))?
False
Suppose 5*y = 7*v - 11*v + 697, -5*y + 529 = 3*v. Does 4 divide v?
True
Let t = 16 + -56. Let m be 8/t + 156/5. Suppose 10*k = 9*k + m. Is k a multiple of 14?
False
Let d(h) = -h**2 - 33*h - 75. Is d(-21) a multiple of 6?
False
Let c(s) = -s**2 + 20*s - 6. Let a be c(6). Let q(i) = 22*i + 1. Let x be q(-1). Let h = a + x. Is h a multiple of 9?
False
Suppose -3*w + 4 = w, 2*q + 5*w - 139 = 0. Let f be 48/(-6) - -10 - -2. Suppose -f*x + 217 = 3*n, n - 4*x = -0*n + q. Is n a multiple of 19?
False
Suppose -3*k + 7047 = 5*u + 1632, -4*u = -4*k + 7188. Is k a multiple of 15?
True
Let d = 476 - -97. Does 22 divide d?
False
Is 8 a factor of -7 + -1 - -763 - 0?
False
Let z(u) = -3*u + 15. Let t be z(0). Suppose 3*q = t + 84. Is 11 a factor of q?
True
Suppose 0 = 3*z - 9*z - 102. Let d = -1 - z. Does 2 divide d?
True
Suppose 0 = -2*i + 2*c + 8, -2*i + c - 20 = -4*i. Suppose -d + 2*d + 5*g + 4 = 0, 0 = d + g - i. Is d a multiple of 3?
False
Let d(h) = 2*h - 8. Let m = 32 - 25. Is d(m) a multiple of 2?
True
Suppose h - 152 = -4*o - 24, 124 = 4*o + 2*h. Is 1014/11 + -2 + 60/o a multiple of 5?
False
Suppose 0 = -4*v + 4*t + 3924, -3*t - 2955 = -3*v - 4*t. Is 41 a factor of v?
True
Let p = 803 - 227. Does 36 divide p?
True
Let b be (-2 + 2)/(12/(-4)). Suppose b = -2*h + 117 + 235. Is h a multiple of 22?
True
Let o(p) = p**3 - 11*p**2 + 8*p + 22. Let r be o(10). Is 14 a factor of 27/(-6)*-18 + 6/r?
True
Suppose 32*a + 3 = 33*a. Suppose -5*t = 2*z - 115, -a*z + 3*t + 204 = -0*z. Is z a multiple of 13?
True
Suppose -y - 2*y + 66 = 0. Suppose -10*i = -386 - 114. Suppose 0 = 3*d - y - i. Is d a multiple of 8?
True
Let k(f) = -3 + 12 - 46*f**3 - f**2 - 8. Let n be k(1). Let a = n - -82. Does 18 divide a?
True
Let p = 1140 - -310. Is 50 a factor of p?
True
Suppose 0 = u - 5*r - 715, -8*r + 6*r = 4*u - 2948. Is u a multiple of 5?
True
Suppose 31*k + 8664 = 43*k. Does 64 divide k?
False
Suppose -2*w + 2*x = 5*x - 345, -x - 170 = -w. Is w a multiple of 10?
False
Suppose -t + 3*r = -128, -103 = -t - 0*t - 2*r. Let m = -53 + t. Is m a multiple of 20?
True
Suppose 1916 = -14*n + 8300. Does 12 divide n?
True
Let q be (-2 + 11)/((-9)/(-24)). Let d(s) = -s**2. Let k be d(0). Suppose k*h = -2*h + q. Is 8 a factor of h?
False
Let r(w) = -197*w + 367. Is 56 a factor of r(-18)?
False
Let q be (11 - 16)