v**2 + 35*v - 18*v. Is k(-3) a multiple of 17?
True
Let u be (9/(-15))/(1/(-5)). Suppose t = u*y + 7, -4*t + 3*t + y = -11. Is t a multiple of 11?
False
Suppose -5*t - 5824 = -3*l + 926, 11228 = 5*l - t. Is 61 a factor of l?
False
Is 388710/720 + (9/3)/24 a multiple of 4?
True
Let b = -8 + 11. Suppose -b*w = -4*z - z - 21, 0 = -w - 2*z + 7. Is (-24)/w*(-4 - 3) a multiple of 4?
True
Suppose 0 = -2*h + 3*h - 5. Suppose 0 = -h*w - 4*t + 124, w - 25 = t - 2*t. Does 30 divide w*5*(5 - 4)?
True
Let s = 127121 + -86960. Does 312 divide s?
False
Let b(d) = -5855*d - 664. Is 14 a factor of b(-2)?
True
Suppose 8*m = 1197 + 675. Suppose 4*j = -12*z + 13*z + 831, j = -5*z + m. Is j a multiple of 19?
True
Let a(m) = m - 3*m + 3*m - 3*m + 8. Let x be a(6). Does 30 divide (-10717)/(-49) + ((-8)/7)/x?
False
Suppose 5*p = -4*z + 12692 - 1471, -5*p = -3*z + 8477. Is z a multiple of 42?
True
Let v = 55571 - 28405. Let w = 10448 - v. Is 49 a factor of w/(-52) - 2/(-4)?
False
Let p be 11/(110/(-28))*30. Let i = p - -91. Suppose -13*r + 126 = -i*r. Does 21 divide r?
True
Suppose 0*z - 4*z + 16 = 0, -m = 5*z - 95. Suppose 205 = 80*s - m*s. Suppose 3*x = s + 169. Is 12 a factor of x?
False
Let k(s) = 131*s**2 + s + 1. Let d = -88 - -86. Let o be d/8 - (-115)/92. Is k(o) a multiple of 7?
True
Let v(z) = -17*z**2 + 14*z + 26. Let a(b) = -26*b**2 + 22*b + 39. Let g(d) = 5*a(d) - 8*v(d). Is 3 a factor of g(-4)?
False
Suppose 4629 = 8*v - 2547. Does 13 divide v?
True
Let z = 4412 - -4922. Is 56 a factor of z?
False
Let u(m) = 14*m**2 + 60*m - 406. Is u(12) a multiple of 5?
True
Suppose -6*x = 27 + 33. Does 14 divide -6 - x - 8*225/(-6)?
False
Let t = -768 - -1847. Let w = t - 344. Is 15 a factor of w?
True
Suppose -5*f + 5*q - 365 = 0, -3*f - 71 - 152 = -q. Is 16 a factor of 0 - (5 + f/(-9))*-24?
True
Let z be 4/(110/(-25) - -4). Let c = z + 4. Is c/(-10) + 2592/80 a multiple of 29?
False
Let k(z) = 2741*z**2 + 197*z - 37. Is 29 a factor of k(-3)?
True
Suppose -63*y + 195236 - 126057 = -283621. Does 27 divide y?
False
Let y = -20741 - -21817. Does 17 divide y?
False
Suppose 806 = 3*z - 433. Suppose 4*q + m = 1383, 2*q + 4*m - 261 = z. Is q a multiple of 10?
False
Suppose -5*h - 42 - 30 = 3*n, -2*h = 5*n + 25. Suppose 20*v - 26*v = 888. Let c = h - v. Does 19 divide c?
True
Suppose 3*f = -7*h + 5*h + 83, -2*f - 45 = -h. Suppose h*l - 30 = 41*l. Does 5 divide l?
True
Suppose -9*r + 23*r - 26848 = 13*r. Is r a multiple of 241?
False
Is 93 a factor of 2*-1 - 54528/(-71)?
False
Let g(l) = 31903*l - 151. Is g(1) a multiple of 28?
True
Let x be (-11624)/14*2/((-24)/42). Suppose 12*v - x = 1294. Is 50 a factor of v?
True
Let m(z) = -100*z - 3995. Let w be m(-40). Let b be (-1)/4 - 13/(-4). Suppose b*g + 446 = w*a, 5*a = -3*g - 9 + 443. Is a a multiple of 26?
False
Suppose 1802933 = 79*s + 172*s. Is 84 a factor of s?
False
Let a(k) = k**2 + 12*k - 24. Let r be a(-14). Suppose 980 = 2*s + 2*v, -r*s + 3*v = -2*v - 1987. Is s a multiple of 41?
False
Suppose 0 = -349*w + 354*w - 20. Suppose 3*r - 13*x = -17*x + 626, -1054 = -5*r + w*x. Does 5 divide r?
True
Does 12 divide 6/24 - (-9 + (-85026)/24)?
True
Let f = 2446 + -1051. Suppose -b = 4*b - f. Is 31 a factor of b?
True
Let x be 34087/(-11) + (6 - (-612)/(-99)). Does 10 divide x/(-9) - 56/(-21)?
False
Suppose -2*o + 9 = 2*g - 5, 2*g = -5*o + 8. Suppose -2520 = -g*a - 6*a. Is 42 a factor of a?
True
Let j = 11950 - 10839. Is j a multiple of 14?
False
Suppose -5*o - 2*g = -2, 12 = -2*o - 2*o - 5*g. Suppose 3*v - 4*b - 277 = 375, -2*b = -o*v + 434. Is 54 a factor of v?
True
Let f be 14/(-133) + 17/(-19). Let k(x) = -39*x**3 + x. Does 7 divide k(f)?
False
Let r = 249 + -250. Is 6 a factor of (-18)/18*71*r?
False
Let q = 12888 - 5655. Does 14 divide q?
False
Suppose 0 = 13*b - 36*b + 184. Suppose -b*f - 1064 = -y - 5*f, -2*y = 5*f - 2161. Does 22 divide y?
False
Let c = -7953 - -13574. Is 11 a factor of c?
True
Let g(h) = 523*h**2 - 189*h + 577. Is g(3) a multiple of 22?
False
Suppose 2*a - 1854 = -314. Does 22 divide a?
True
Suppose 0 = 12*s - 21*s + 1296. Let c = s + 676. Is 13 a factor of c?
False
Let h(o) = 6*o - 36. Let z be h(3). Let u = z - -78. Is 15 a factor of u?
True
Suppose 2*f + t = -4*t + 1782, 2*f = -3*t + 1778. Is 69 a factor of f?
False
Let y(a) = 47*a**2 - 162*a + 1978. Is 15 a factor of y(13)?
True
Let y be (2/5)/(1/20). Suppose -y*c + 63 = -25. Let a(h) = h**2 + 6*h - 12. Is a(c) a multiple of 25?
True
Let z(p) = -13*p - 168. Let l be z(-15). Suppose 46*b - l*b - 10640 = 0. Is b a multiple of 20?
True
Let d be -10 + 12 - (-4 + 1). Suppose -4*z + d*z - 2 = 0. Suppose -z*g - 265 = -7*g. Does 3 divide g?
False
Let k(f) = 8*f**2 - 46*f + 2. Let h = -545 - -561. Does 19 divide k(h)?
False
Suppose 2*l - 5*a - 2 - 5 = 0, a - 1 = l. Let q(u) = 6*u**3 - 6*u - 9. Let x(i) = -5*i**3 + i**2 + 6*i + 8. Let y(p) = 6*q(p) + 7*x(p). Is 8 a factor of y(l)?
False
Let j = -11200 - -11853. Is 6 a factor of j?
False
Let h(c) = 1737*c - 897. Is h(1) a multiple of 21?
True
Suppose 0 = 5*f - h - 17, 5*f = 3*f - 3*h. Suppose f*u + 2*q = 36, u + 2*q - 12 = 7*q. Is 9 a factor of u?
False
Is (3/((-18)/44))/((-404)/2358552) a multiple of 139?
True
Is (-3)/(-3)*12*(-142447)/(-724) even?
False
Let o(y) = 13*y**3 - 52*y**2 - 32*y - 43. Let a(r) = -3*r**3 + 13*r**2 + 8*r + 11. Let i(f) = 9*a(f) + 2*o(f). Does 12 divide i(7)?
False
Let o be 43*((-2)/(-2 - -4))/1. Let a = o - -204. Is a a multiple of 34?
False
Let k(l) = 10*l + 12. Suppose 12 = 4*p, -w = 3*w - 2*p - 6. Let b be k(w). Is (26/56 - (-12)/b)*40 a multiple of 19?
False
Let t(i) = 2*i**3 - 5*i**2 + 6*i - 2. Let s be t(2). Suppose 2*k = 4 + s. Suppose k*u - 216 = -2*n, -3*u + 104 = -n - 19. Is u a multiple of 21?
True
Suppose 11228 = 10*n - 8022. Does 25 divide n?
True
Let f(g) be the third derivative of -31*g**4/24 + 3*g**3/2 - 25*g**2. Let b be f(1). Is 57 a factor of -2 - b/12 - (-27380)/120?
True
Let p(x) = 2*x - 8*x + 0*x + 44*x**2. Let d(z) = -3*z**2 - 227*z - 148. Let m be d(-75). Is 41 a factor of p(m)?
True
Let p(l) = 6*l**3 - 3*l - 5363*l**2 + 5363*l**2. Let k be p(2). Let t = k + -25. Is 17 a factor of t?
True
Let v be ((-3)/(-6))/(16/320). Let s(n) = -n**3 + 12*n**2 - 4*n - 10. Is 5 a factor of s(v)?
True
Let j = 254 + 31817. Does 41 divide j?
False
Suppose -10 = -19*t + 28. Suppose 3*n - 2*h = 217, 0 = t*n - 4*n - 3*h + 136. Is 34 a factor of n?
False
Suppose 0 = -4*l + 3*l - l. Suppose l = -56*p + 62*p - 1368. Is p a multiple of 19?
True
Let u(z) = -7 + 2*z**2 - 17*z - 2 + 0 - 1. Let k be u(9). Does 14 divide 122 - (-4)/((-1)/k)?
True
Suppose 0 = 2*n - 1176 - 2076. Let m = -861 + n. Is 45 a factor of m?
True
Suppose l - 5 = 2. Suppose c + 2*a = 156, 0 = 4*c + l*a - 4*a - 609. Suppose -r - 4*p + c = 0, -750 = 6*r - 11*r + 3*p. Is 14 a factor of r?
False
Is -7 + 408/56 + 42996/(-21)*-4 a multiple of 210?
True
Let i = 5649 + -4084. Is 95 a factor of i?
False
Suppose -16*t + 27*t + 5874 = 0. Let h = t - -755. Is h a multiple of 17?
True
Suppose 3*o - n = 17, 3*n + 7 = 3*o + 7*n. Suppose -180 = -o*v - 0*v. Let s = v + 9. Is 15 a factor of s?
True
Let g = -4341 - -5537. Does 2 divide g?
True
Suppose -f + 30308 - 6425 = 5*k, 0 = 2*k - 3*f - 9560. Is 72 a factor of k?
False
Suppose -2794798 + 980414 = -31*u - 138*u. Is 85 a factor of u?
False
Suppose -4*v + 2798 = -6002. Is 4 a factor of v?
True
Is 2049 - ((-1)/(2/16) - (22 - 35)) a multiple of 292?
True
Let h(m) = -2*m**3 - m**2 + 3*m + 1. Let u be h(-2). Suppose -u*f - 49 = -8*f. Suppose 13*a - 569 = -f. Is 8 a factor of a?
True
Is (-4373)/(7/(-7) - 0) even?
False
Suppose 0 = -7*c + c - 6. Let t be -1*(-1)/1 - c. Suppose -x + 234 = t*x. Is 13 a factor of x?
True
Let a(u) = -26*u + 165. Let q be a(0). Let r = 239 - q. Is r a multiple of 37?
True
Let j = -1114 - -1519. Does 31 divide j?
False
Is (-20)/170 - (24/36 + 1239890/(-102)) a multiple of 143?
True
Does 5 divide 811230/1050 - ((-6)/(-10) - 0)?
False
Suppose z + 2*z - 20 = -2*f, 3*z = f + 8. Let s(l) = 22*l - 26. Let u be s(5). Let g = f + u. Is g a multiple of 26?
False
Suppose -432*u + 277*u = -23250. Does 10 divide u?
True
Let o(p) = p**2 + 17*p - 26. Let n be o(-19). Let v = 54 - n. Suppose 3*b + v = 114. Is b a multiple of 4?
True
Let z(w) = w**2 + 38*w + 39. Let f be z(-