rue
Suppose 13*f + 9082 = -13070. Let s = -740 - f. Is s a multiple of 14?
False
Suppose -18*a + 28 = -14*a. Let p(s) = -s**3 + 8*s**2 + 10*s + 10. Does 43 divide p(a)?
True
Let q(g) = g**2 + g - 19. Let l be q(4). Let j(b) = 12*b**2 + 4*b - 5. Is j(l) a multiple of 2?
False
Let o(v) = 12*v + 200. Is o(46) a multiple of 38?
False
Let a = -32 - -32. Suppose -3*j - 3*i = -441, -j + i + 151 = -a*j. Is 12 a factor of (0 + -1)*(0 - j - 2)?
False
Suppose 504*t - 448*t - 254520 = 0. Does 18 divide t?
False
Let w be 4*5/(60/(-57)). Let r = w + -64. Let g = r - -204. Is g a multiple of 29?
False
Let q(j) = -6*j + 16. Let n be q(5). Let t be 7*(5 + 66/n). Suppose 5*g = s - 87, t*s - 219 = 11*g - 16*g. Is s a multiple of 17?
True
Suppose 2*n - 10 = 10. Suppose 2*y + n = 0, 5*l = -y + 4*y + 335. Suppose 4*g = l + 68. Is 11 a factor of g?
True
Let j(f) = -f**3 + 10*f**2 - 7*f - 13. Let i be j(9). Let k be (43 + -9)/((-2)/i). Let n = -53 - k. Is 16 a factor of n?
True
Let d = 42271 - 25984. Does 267 divide d?
True
Let q be (-2 - -4)/(5/21)*25. Let w(g) = 31*g - 6. Let n be w(4). Let s = q - n. Is 10 a factor of s?
False
Suppose d = -3*r + 128, -3*d = -2*r - r - 432. Suppose -4*y - d = s, 0*y + 2*y + 56 = -4*s. Is 20*y/(-33) + (-2)/(-11) a multiple of 3?
False
Let f(y) = 3*y + 46. Let n be f(-15). Let v be 0 + 45/9 + n*-3. Suppose 4*a - 133 - 25 = v*z, 4*a + z - 161 = 0. Is 8 a factor of a?
True
Let m be (8/(-6))/((-569)/81 - -7). Let k = -95 + m. Let n = k - -176. Is 24 a factor of n?
False
Let g(i) = -i**3 + 18*i**2 + 39*i + 31. Let y(m) = m**3 + 14*m**2 + 31*m + 5. Let j be y(-10). Let b = j - 75. Is 3 a factor of g(b)?
False
Suppose 0 = 3*d + 3*g - 228, -3*g = -5*d + 2*d + 222. Suppose -f - 66 = t + d, 0 = 3*t - 12. Let o = f - -241. Is 11 a factor of o?
False
Suppose -26 + 22 = -2*t, -2*t = -5*l + 30866. Is 14 a factor of l?
True
Let u = -294 - -296. Suppose 2*p = u, -3*p = 3*v + 2*p - 2423. Is 19 a factor of v?
False
Let n(m) = 132*m + 138. Let u be n(25). Let f = u - 2395. Is 35 a factor of f?
False
Suppose 0 = -l + 3*d - 0*d - 26, -2*d = 8. Suppose 0 = 10*t - 5*t - 120. Let y = t - l. Is y a multiple of 29?
False
Let q = -95 + 91. Let u(w) = 16*w**2 + 14*w + 4. Does 17 divide u(q)?
True
Let m(i) = -i**3 - 60*i**2 + 111*i + 286. Does 28 divide m(-62)?
True
Let n(a) = a**3 - 15*a**2 + 40*a - 56. Let z be n(16). Suppose 26*h - 22*h - 4*k = z, -2*h = -3*k - 420. Is h a multiple of 30?
True
Is 46 a factor of 12/(-21) - (-772973)/119?
False
Let r = 50 + -36. Suppose 0 = 4*l - w - 157, 28 + r = l - 3*w. Does 5 divide l?
False
Suppose 8 = -2*m, 4*m = -i - 4 - 7. Suppose -4*w - 4*v + 50 = -7*w, i*w + 65 = 3*v. Does 17 divide (-2230)/(-35) - (w/(-14) - 1)?
False
Let w(a) = -15*a**2 + 6*a + 9. Let z(m) = 2*m**2 + 9*m - 13. Let u be z(-6). Let g(b) = 22*b**2 - 9*b - 14. Let o(x) = u*g(x) + 7*w(x). Does 7 divide o(-4)?
False
Let f = 18282 + -13052. Does 7 divide f?
False
Suppose 3*c = -3*c + 6. Let w be (-8)/(-40) - c/5. Suppose 2*s + 175 = 5*s + i, -2*s - 2*i + 114 = w. Does 12 divide s?
False
Let z = -6921 - -31261. Is 20 a factor of z?
True
Let w(o) = -o**3 + 7*o**2 + o + 4. Let d be w(7). Suppose -d*l - 2475 = 627. Let u = -195 - l. Does 12 divide u?
False
Let y(d) = d**2 + 4*d + 6. Let n = 185 - 171. Is y(n) a multiple of 8?
False
Let t = 9193 - 3603. Does 13 divide t?
True
Let w(v) = 58*v**2 - 5*v - 3. Suppose 0 = 2*k - k - 3. Is w(k) a multiple of 18?
True
Let y(l) = 2*l**2 - 14*l + 100. Let i be y(11). Suppose -i*d + 3380 = -184*d. Does 13 divide d?
True
Suppose 3*d - 41 = -4*t, -5*d - 27 + 74 = 4*t. Suppose -f + 145 = t. Is f + (3/2)/((-6)/(-8)) a multiple of 34?
False
Let d(m) = 2*m**3 - 7*m**2 + 8*m - 2. Let a be d(2). Let t be 3/9*5*(-36)/a. Is 1/6 - (4195/t + -4) a multiple of 48?
True
Let b(w) = -217*w**3 + 9*w**2 + 9*w - 20. Is 71 a factor of b(-3)?
True
Suppose 4 - 1 = f. Let t be (18/(-4) + 6)*(-52)/f. Is 15 a factor of t/(-65) + (-296)/(-10)?
True
Is 48 a factor of (1 + (-6)/18)*15606 + (-25 - -17)?
False
Is 20 a factor of 177/472 - (-48634)/16?
True
Is 65 a factor of (-51 - -351)*39/6?
True
Suppose -98*j - 154*j + 115533 = -916407. Is 39 a factor of j?
True
Suppose 3*c - 276 = 5*n, 5*n + 2*c = -c - 264. Let a be (2 - (-2 + n))/((-2)/(-19)). Let w = a + -373. Is w a multiple of 21?
False
Let m = -7919 - -15915. Is 58 a factor of m?
False
Suppose 154*b = 195*b - 197784. Does 6 divide b?
True
Let n(j) = 502*j**2 - 32*j - 5. Is 171 a factor of n(3)?
False
Does 5 divide (-86)/473 - (-96)/286 - (-4208)/26?
False
Let d(g) = -g**3 - 49*g**2 - 42*g + 655. Does 2 divide d(-48)?
False
Let z be (-4)/22 + (-1904)/176. Let t(w) = w**3 + 11*w**2 - 5*w + 27. Does 41 divide t(z)?
True
Suppose -84*m + 565540 + 56060 = 36*m. Is 140 a factor of m?
True
Let u = 38794 - 34879. Is 9 a factor of u?
True
Suppose -401243 = -89*y + 133825. Is 13 a factor of y?
False
Does 20 divide -1 + 14/98*52927?
True
Suppose 0 = -3*h + w, 5*h - 4*w - 5 - 2 = 0. Let j be (1/(-2))/(h/(-2))*-141. Suppose 665 = -j*f + 146*f. Is 13 a factor of f?
False
Let k be (-3)/(-18) + 118/12. Suppose 0 = n - k + 11. Does 9 divide (-1)/((-2)/(-48))*n?
False
Suppose 18282 = 31*l + 2*l. Is 14 a factor of l?
False
Is 59 a factor of (-23728416)/(-456) - (1 - 15)?
False
Let b(s) = 3*s - 11*s + s + 7. Let r be ((-7)/(-5))/((-1)/5). Is b(r) a multiple of 14?
True
Let h(d) = 5*d + 35. Let r(z) = 3*z + 18. Let a = -46 + 42. Let i(b) = a*h(b) + 7*r(b). Is 2 a factor of i(17)?
False
Suppose q - 21 = -2*b + 1, -5*b + 28 = q. Let i be (1 - 153) + (q/3 - 6). Is 14 a factor of 95/19*(i/(-10) - -1)?
False
Is 11662 + ((-8)/(-6))/(-14 - (-258)/18) a multiple of 38?
True
Let d(s) = -s**2 - 17*s - 15. Let v be d(-16). Suppose v = w - 2. Suppose w*c + 1 + 11 = 0, -4*u - 3*c + 104 = 0. Is 5 a factor of u?
False
Let z(y) = 796*y**3 + 2*y**2 - 3*y - 1. Is 9 a factor of z(1)?
False
Suppose 0 = -5*j + 2*y - 8, -4*y - 2 = 2. Suppose 96 = -8*g + 16. Does 20 divide (j/g + 13/10)*92?
False
Suppose -469*p + 466*p = -3. Let k(b) = -b**2 - 6*b - 6. Let g be k(-5). Is p - g - -1 - -62 a multiple of 19?
False
Let v = 92 - 100. Let k(t) = t**3 - 9*t**2 - 7*t - 20. Let z(a) = -6*a**3 + 45*a**2 + 35*a + 100. Let d(b) = -11*k(b) - 2*z(b). Is d(v) a multiple of 14?
True
Let a(t) = -t**3 - 23*t**2 - 31*t + 519. Is 7 a factor of a(-23)?
True
Let p = -295 + 297. Suppose t + 2*k = 298, -4*t + 2*t + p*k = -584. Is t a multiple of 14?
True
Suppose -360*o - 11552 = -364*o. Is o a multiple of 59?
False
Let j(o) = -7*o + 87. Let c be j(-43). Let d = c + -362. Is 4 a factor of d?
False
Let g(p) = 17*p - 193. Suppose 9 = 3*c, -u - 32*c + 28*c = -37. Does 11 divide g(u)?
False
Let b = 3564 + -1788. Let o = 3173 - b. Does 11 divide o?
True
Let u be (-65)/(-10) + 3/(-6). Suppose 0*h = -u*h + 504. Is 12 a factor of (18/(-7))/((-12)/h)?
False
Let l = 16617 + -11007. Does 110 divide l?
True
Let f(g) be the second derivative of -1/20*g**5 - 14/3*g**3 - 5/2*g**2 + 17/12*g**4 + 0 + 41*g. Does 11 divide f(14)?
False
Let r(z) = 11*z**3 - 17*z**2 + 53*z + 65. Let k(s) = 31*s**3 - 51*s**2 + 159*s + 195. Let d(w) = -6*k(w) + 17*r(w). Is 11 a factor of d(-19)?
True
Let k = 91 - 146. Let l be 31*(20/5 + -2). Let h = k + l. Is h a multiple of 2?
False
Suppose f - 5*p - 1578 = -261, 0 = -2*f + p + 2607. Does 21 divide f?
True
Let r(x) = -3*x**3 - x + 2. Let f be r(1). Let n be (-2 + 0 + 4)/(f/(-1)). Is 8 a factor of (-780)/(-104) - (3/(-2) + n)?
True
Suppose 2*h = 49 - 37. Suppose 43 = h*b - 5. Suppose -b*l + 490 = -l. Does 9 divide l?
False
Let m = 21 + 58. Let d = 369 + -422. Let t = m + d. Does 3 divide t?
False
Let r be (2 - 10)/4 - 3. Let k be (0*r/(-5))/3. Suppose 4*c + 191 - 523 = k. Does 13 divide c?
False
Let w = -152 - -33. Suppose 4*b - 5*f = -69, -12*b - 3*f = -9*b + 72. Let q = b - w. Is 15 a factor of q?
False
Let r(f) = 2*f**3 - 56*f**2 - 61*f + 1462. Is r(46) a multiple of 16?
True
Suppose 20 = 4*q, -3*d = -3*q - 715 - 6707. Is 148 a factor of d?
False
Suppose -188*g + 57537 = -113543. Is g a multiple of 14?
True
Let r be (57012 - -2)*(-4 + (-36)/(-8)). Suppose 20*l = -9*l + r. Is l a multiple of 83?
False
Suppose 4*r + 68*q = 67*q - 5, 3*q = -3. Is 29 a factor of (10856/(-10))/r + (-21)/35?
False
Let m = 41 - 114. Let z = 154 + m. Let h = z - 37. 