t a be r(h). Does 14 divide (a + -379)/(78/(-52))?
True
Let q(o) = -o**3 + 5*o**2 - 2*o - 6. Let i be q(4). Suppose -4*l + 18 = -i. Suppose -3*t = x - l*x - 137, 3*t + x - 142 = 0. Is 14 a factor of t?
False
Let n(u) = 3*u + 69. Let x be n(-20). Suppose x = 14*o - 11*o. Suppose o*q - 52 = 4*v, -2 + 28 = q + 3*v. Does 12 divide q?
False
Let g be (-2 + 2012/6)*(-60)/(-16). Let y = 40 + g. Is 11 a factor of y?
False
Suppose y - 17 = 4*n, -4*y - 12 = 4*n - 0. Is 978*n/(-24) + 1*2 a multiple of 11?
True
Does 24 divide 4/(-48) + 286209/108 + 7?
False
Suppose -8*c = 2*c + 360. Let f = c + 164. Suppose 5*a = 3*a + f. Is a a multiple of 16?
True
Let v = 35858 + -23167. Does 49 divide v?
True
Let s = -2842 - -1964. Let t = 1220 + s. Is t a multiple of 38?
True
Let l(z) = -1994*z + 81. Is 9 a factor of l(-3)?
False
Suppose 0 = -h - b + 9512 - 993, -34076 = -4*h - 5*b. Is h a multiple of 15?
False
Let j(c) = -c**3 - 2*c**2 - 4*c. Let n(b) = 2*b**3 - 5*b**2 + 25*b + 6. Let f(x) = -3*j(x) - n(x). Let o be (-62)/5 + 4/10. Is f(o) a multiple of 3?
True
Suppose 3*k = -j + 37563, 5*j = 4*k - 62353 + 12269. Is k a multiple of 20?
False
Suppose -38*h - 162 = -47*h. Suppose -h*q + 1150 = -13*q. Does 4 divide q?
False
Let m(z) = 2*z**3 - 81*z**2 + 94*z + 157. Is 127 a factor of m(40)?
False
Let r = -486 - -491. Suppose 4*v - w - 5374 = 0, v - r*w - 631 = 703. Does 48 divide v?
True
Let v = -714 - -1224. Let t = 724 - v. Suppose -b + t = 2*m, m - 895 = -4*b - 53. Is b a multiple of 31?
False
Suppose -7*b - 3*b = 680. Let q = b - -72. Is 313/5 + q/10 a multiple of 7?
True
Is 13 a factor of 2761 - 3 - (-47 - -36)?
True
Let l = -15406 - -27982. Does 12 divide l?
True
Let p be 1/3 + (-70)/(-105) - -2. Let a(j) = 156*j - 28. Is a(p) a multiple of 40?
True
Let c(k) = -16*k**2 + 81*k + 10. Let x(m) = 3*m**2 - 16*m - 2. Let q(n) = -2*c(n) - 11*x(n). Let z(l) = -39*l - 28. Let w be z(-1). Does 3 divide q(w)?
False
Let m be (4/6)/((-3)/27). Let c = m + 9. Suppose 0 = -c*j + a + 100, -3*j + 59 = 3*a - 49. Is 3 a factor of j?
False
Let w(r) = -529*r + 11. Is w(-3) a multiple of 47?
True
Suppose 0 = 3*i - 4*y - 32, -7*i + 5*y + 43 = -3*i. Suppose 20*z - 12416 = -i*z. Does 42 divide z?
False
Suppose 5*p = -6*i + 3*i + 10, -2*i + 13 = -3*p. Does 21 divide ((-157094)/(-7))/7*p/(-2)?
False
Let b(d) = -d**2 + 33*d - 191. Let u be b(25). Suppose -4*g - 4*t + u*t + 1000 = 0, 4*g - t - 984 = 0. Is g a multiple of 24?
False
Suppose -419*u + 1070998 + 2487830 = -13734559. Does 127 divide u?
False
Suppose 57 - 9 = -48*j. Is 22 a factor of (j*(11 - 9))/(2/(-796))?
False
Let u(k) = k**3 - 8*k**2 + 19*k - 8. Let w be u(4). Suppose -w*q = -9*q + 220. Does 6 divide q?
False
Let z(q) = 3*q**2 + 16 - 2*q + 0*q + 9*q**3 - 2*q**3 - 27. Let d be z(-3). Let w = d + 252. Is w a multiple of 17?
True
Suppose w - 3*w = -4*v + 580, 566 = -2*w - 3*v. Suppose -2230 = -5*f + 4*c, -4*c + 892 = f + f. Let a = f + w. Does 16 divide a?
True
Let d be ((-658284)/(-21))/4 - 2/(-7). Let a = d - 18645. Is (a/44)/(-2) + (-2)/(-11) a multiple of 44?
False
Let p(x) = x**2 - 2*x + 1. Let v be p(11). Let t = -40 + v. Suppose -t = -r - 0*r. Is r a multiple of 10?
True
Let x = 8 + -40. Let n = 36 + x. Is 18 a factor of -1 + 89 + -2 + n?
True
Let u(b) = b**2 - 23*b + 29. Let w be u(22). Let y = w + -5. Suppose -c + 394 = y*d + d, -4*d + 5*c = -500. Does 26 divide d?
True
Let u = 21 + 6. Let o = u + -28. Is 26 a factor of (o + 3)/((-25)/(-825))?
False
Suppose 20*r + 2400597 = 64*r + 798337. Is r a multiple of 156?
False
Let q(m) = 40*m + 214. Let g(a) = 27*a + 142. Let w(l) = -7*g(l) + 5*q(l). Is 6 a factor of w(-6)?
False
Let v be -8*(0 + 1/(-2)). Suppose v*g - 884 = 784. Is 19 a factor of g?
False
Suppose 3*j + 35 = v + v, 3*j - 4 = -v. Suppose -v = -5*l + 2*l + 2*h, -5*l - 4*h - 15 = 0. Let t(n) = 20*n**3 - n**2 - n + 1. Does 2 divide t(l)?
False
Let z be (-28)/(-70) + (-102)/5. Let j = 22 + z. Suppose 0 = j*r - 4*r + 232. Is 8 a factor of r?
False
Let x(m) = 2*m**3 - 15*m**2 + 95*m - 7. Is 17 a factor of x(17)?
False
Let l = 11 - 17. Let y(s) = -3*s**3 - 27*s**2 + 3*s + 36. Let w(j) = 2*j**3 + 18*j**2 - 3*j - 24. Let v(x) = -7*w(x) - 5*y(x). Is 20 a factor of v(l)?
True
Let n(b) = -b**2 + 48*b - 4. Does 62 divide n(6)?
True
Suppose 0 = -3*v - 3*j + 1965, -651 = -4*v + 2*j + 1957. Is 6 a factor of v?
False
Suppose -23*a - 6*a = 0. Suppose 3*d + 2*k = 2533, a*d - k + 844 = d. Is 44 a factor of d?
False
Let y be -1 - ((2 - 20) + (-4 - -9)). Let z(h) be the first derivative of h**2/2 + 3*h + 1. Is z(y) a multiple of 15?
True
Let c be 11/((-44)/(-24)) + 1723. Let n = -659 + c. Is 89 a factor of n?
False
Suppose 3*s = -2*h + 71 + 323, 2*s + 5*h - 248 = 0. Let d = 206 - s. Is 4 a factor of d?
True
Let a(r) = -r**2 - 10*r + 27. Let w be a(-12). Suppose z + 218 + 277 = b, -w*b + 1450 = 4*z. Is b a multiple of 35?
True
Let y be -6 + 1 + -8 + 54. Suppose -37 = 2*m - y. Suppose -38 = -m*v + 2*d, 6*d = 5*d + 5. Is 5 a factor of v?
False
Let h be (30/(-4))/(4/(-776)). Let g = h - 395. Does 91 divide g?
False
Suppose 591 = 4*x + 43. Let t be (-74)/37 + -1*x/(-1). Let i = 235 - t. Does 10 divide i?
True
Suppose 3*j = 7 + 2. Let q(o) be the second derivative of 8*o**3/3 - 11*o**2/2 - 355*o + 5. Does 26 divide q(j)?
False
Let b(u) = -u**2 + 18*u - 61. Let f be b(8). Suppose 5*v = -5*o + 70, o + 6*v = 10*v + f. Is 15 a factor of o?
True
Suppose 0 = 10*z - 743 + 73. Suppose -z = -3*n - 109. Is 28 a factor of (1/((-1)/n))/(4/40)?
True
Suppose l + 11 = -k + 6*k, -2*l + 2*k + 18 = 0. Let n be 4*(-15 + l)*625/(-2). Suppose 626 = 2*u + 4*z - 2*z, -2*z + n = 4*u. Is 13 a factor of u?
True
Suppose 4*w + 20*x = 25*x + 41085, -5*x + 30840 = 3*w. Is 25 a factor of w?
True
Let z(p) = p**3 + 90*p**2 + 15*p - 614. Is z(-84) a multiple of 56?
False
Suppose 0*s = -s + 11. Let j(y) = 2*y**2 + 4*y**2 + 4*y**2 - s*y**2 + 6 + 22*y. Is 13 a factor of j(17)?
True
Suppose 7 = -46*d + 47*d. Suppose 16 = d*r - 3*r, -3*r = -k + 68. Is 8 a factor of k?
True
Suppose 34*s + 3*q = 45*s - 48526, 5*q - 10 = 0. Does 13 divide s?
False
Suppose -3*w + 177 - 81 = 0. Is 14 a factor of (-1012)/(-9) + w/(-72)?
True
Let n = 8966 - -5986. Is n a multiple of 43?
False
Let g(a) = -756*a + 5546. Is 2 a factor of g(6)?
True
Let u(x) = -x**2 + x - 1. Let l(d) = 38*d**2 + 4. Suppose 11*f - 16*f = 15. Let b(s) = f*u(s) + l(s). Is b(2) a multiple of 15?
True
Let x = 18 - 14. Suppose -3*w = -2*w + 4*k + 87, 55 = -w + x*k. Is 18 a factor of w/(-3 - 8/(-4))?
False
Let h = 618 + -615. Suppose 2156 = 4*j + 3*f, 18*f - 1617 = -h*j + 14*f. Does 5 divide j?
False
Suppose 19*i + 3877 + 3723 = 0. Let u = i + 603. Does 16 divide u?
False
Suppose 0 = 35*y - 40*y + 50. Suppose 12181 = y*q + 3341. Does 26 divide q?
True
Let j(m) = m**2 - 21*m + 21. Let u be j(20). Let h = -8 + 6. Is (u + 4)*(h - (-46)/5) a multiple of 17?
False
Suppose -45*n + 56*n + 164268 = 29*n. Is 169 a factor of n?
True
Let z be (8/(-7))/((-30)/420). Suppose -1290 = -26*d - z. Is d a multiple of 3?
False
Let q be ((-3 - 0)/3)/(2/(-82)). Let n = q - 23. Suppose n*u + 225 = 23*u. Does 5 divide u?
True
Does 35 divide (21 + -19 - -39)*6*1?
False
Let m(n) = 2*n**2 - 3*n + 1789. Let g be m(0). Let t(u) = -u**2 + 13*u + 19. Let b be t(14). Is 15 a factor of b/(-180)*-8 - g/(-9)?
False
Suppose -2*v + 0*v - 4 = 0. Suppose -81 = -11*q + 1382. Is -1 + (-4 + q - v) a multiple of 26?
True
Let q(h) = h**3 + 6*h**2 + 6*h + 35. Let g be q(-6). Is 21 a factor of (-1 + 2)/g - 694/(-1)?
True
Suppose 0 = 42*m + 92912 - 511820. Is 32 a factor of m?
False
Let t(k) = -4*k**3 + 4*k - k**3 + 6*k**3 - 6*k**2 + 13. Let h be t(5). Suppose h*a - 2*a = 738. Is 26 a factor of a?
False
Is 3 a factor of 416 + -1*(-16)/(-2)?
True
Let m(g) = g**3 - 4*g**2 + g + 828. Let t = -448 - -448. Is 23 a factor of m(t)?
True
Let h(m) = -m**3 - 5*m**2 + 14*m + 3. Let j be h(-7). Let b(q) = 44*q - 27. Is 21 a factor of b(j)?
True
Let w = -2921 - -4594. Does 29 divide w?
False
Suppose -9*o = -12*o + 36. Let a(h) = -5*h - 99. Let n be a(-22). Let r = n + o. Is r a multiple of 3?
False
Let v(t) = t**3. Let j(c) = -5*c**3 - 8*c**2 - 3*c + 13. Let h(s) = -j(s) - 6*v(s). Let b be 22509/3843 - 2/(-7)*(-2)/(-4). Is h(b) a multiple of 20?
False
Let h = -33233 - -112289. Is 61 a fa