se
Suppose 4 - 29 = -5*l. Suppose -u - l*g = -27, 0 = -2*u + 3*g - 5 - 6. Does 18 divide (-134 + -27)/(2*(-1)/u)?
False
Let h = 401 - 398. Is 13 a factor of 6 + h/(-6)*-196?
True
Suppose -2*w - w - 3*w = 0. Suppose -2*x - 87 + 227 = w. Suppose 2*i = -t + 195, -5*t + x = -2*i - 845. Is 37 a factor of t?
True
Suppose 0 = -2*k - 5*d + 15, 4*d - 2 = -k + 7. Suppose -k*z - 3*p = -2135, 420 = z - 0*p + 2*p. Is 36 a factor of z?
False
Let x be -292*((-11)/6 - 18/27). Suppose 14 - 59 = -y. Suppose 5*g - x = y. Does 31 divide g?
True
Let y be 231/4 - (-63)/(-84). Is -11 + y + 10/2 a multiple of 11?
False
Let f = 33782 + -10799. Does 392 divide f?
False
Suppose -o + 63 + 46 = 0. Let j = o - 111. Let a(g) = 23*g**2 + 3*g + 3. Is 13 a factor of a(j)?
False
Suppose -1058 = -5*y + 1267. Suppose 0 = -b + x + y, -2*b = -6*b + 2*x + 1852. Is 33 a factor of b?
False
Suppose -13*w + 126 - 5833 = 0. Let x = 566 + w. Is 2 a factor of x?
False
Let u = 1 - -33. Suppose -9*y = -u*y + 1125. Does 28 divide y?
False
Does 2 divide (21/(-105))/(3/(-15))*265?
False
Let g be (-4)/((-60)/987) + 3/15. Suppose 61*q - g*q + 1330 = 0. Is q a multiple of 38?
True
Suppose 6246 = 4*n + 2*u, 64*n + 2*u = 52*n + 18726. Is n a multiple of 24?
True
Let u = -969 + 941. Let b = u - -737. Is b a multiple of 29?
False
Let k = 3596 - -5852. Does 8 divide k?
True
Let i(b) = -b**3 + 7*b**2 + 7*b + 12. Let y be i(6). Let f be 88/18 + 10/y. Is (-10 - 10)*f/((-50)/52) a multiple of 28?
False
Suppose 118*x + 30 = 112*x. Does 36 divide (18/x)/((-21791)/1980 + 11)?
True
Let m(b) = 2*b**2 + 37*b + 21. Let n be m(-18). Suppose -85 = -a + n*c + 34, -5*a + 595 = -3*c. Does 17 divide a?
True
Let d = -56 - -68. Suppose -w = -3*p + p + 15, -p = -2*w - d. Suppose -5*f + p*f = 58. Is f a multiple of 5?
False
Let n be (-52)/(-60) - 3*2/(-45). Suppose -2*k + n = -3, -d + 4*k = -517. Is 7 a factor of d?
True
Let x(u) = 2*u**3 - 5*u**2 + 6*u + 14. Let t be x(6). Suppose -12*r = -14*r + t. Suppose -39 = v - r. Is v a multiple of 28?
True
Suppose 0 = 3*u - 12, -5*u + 498 = z - u. Suppose 4*o - 12*c = -15*c + 387, 5*o = -2*c + z. Is o a multiple of 2?
True
Suppose -5*p = 5*i + 830, -704 = 4*p - 3*i - i. Let b = p + 95. Let c = b + 180. Is 20 a factor of c?
False
Is (49192/6)/(82/123) a multiple of 16?
False
Let k(o) = -2*o**3 - 10*o**2 - 8*o - 38. Let i be k(-7). Let x = i + -119. Is x a multiple of 16?
False
Let b(p) = -4*p**2 + 31*p - 16. Let a be b(15). Let l = a + 976. Is 65 a factor of l?
False
Suppose -11*y + 258733 + 294160 = 0. Is y a multiple of 13?
False
Suppose -16*n - n + 173394 = -8*n. Is 13 a factor of n?
True
Let m = -11175 - -11908. Is 9 a factor of m?
False
Let g(j) = j**3 - 9*j**2 + 4*j - 4. Let a be g(12). Suppose -2*f - 4*i = -a - 1074, -3*i + 2337 = 3*f. Suppose 8*r = 1233 + f. Is r a multiple of 18?
True
Let y be -2*((-9)/6 - 3). Suppose -45 = -y*b + 9. Suppose -12*i + 210 = -b*i. Does 9 divide i?
False
Let a(j) be the third derivative of j**6/60 - 13*j**5/30 - 7*j**4/8 + 31*j**3/3 - 48*j**2. Is 40 a factor of a(14)?
True
Let q(v) = -3 + 5*v**3 + 6*v**2 + v**2 - 6*v**3 - 4*v**3 + 6*v**3 + 4*v. Suppose 5*u = 0, -2*t = t - u + 9. Does 3 divide q(t)?
True
Let f(o) = -6 + 5*o - 3*o**2 + o**3 + 3 - 2*o**2 - 4. Let h be f(3). Let g = h + 18. Does 8 divide g?
True
Suppose 3*b = 2*b + 2*t + 8, 4*t - 24 = -3*b. Let n(i) = -4*i**2 + 8*i + 5*i**2 + 0*i**2 - 7. Is n(b) a multiple of 44?
False
Let a(n) = n**3 + 34*n**2 - 30*n - 438. Is a(-30) a multiple of 10?
False
Let n = -236 + 245. Let s(b) = -b**3 + 23*b**2 - 26*b - 16. Is 16 a factor of s(n)?
False
Let a(v) = 28*v**3 - 18*v**2 + 22*v + 2. Is a(2) a multiple of 66?
True
Suppose 5*d - 3*n - 36 = 29, -5*d + 2*n + 60 = 0. Suppose 4*r = d*r - 1650. Does 25 divide r?
True
Let a(f) = f**3 - 6*f**2 + 22. Let b be a(5). Is (-31)/(5/b + 50/75) even?
False
Suppose -3440 = c - 5*c + 2*m, m = 3*c - 2578. Does 91 divide 3/(9/c)*(-21)/(-6)?
True
Let c(r) = 119*r**2 + 35*r + 186. Is 30 a factor of c(-9)?
True
Let t(g) = 19*g + 187. Suppose a = -m + 21, -6 = 3*a - 0. Is 12 a factor of t(m)?
True
Let u(j) = -31*j**2 - 5. Let v(x) = -6*x**2 - 1. Let n(s) = 2*u(s) - 11*v(s). Let z be n(-1). Let d = z - -9. Is 7 a factor of d?
True
Suppose 28*q - 7*q + 6195 = 0. Let g = -191 - q. Does 8 divide g?
True
Let v = -5302 - -7126. Does 35 divide v?
False
Suppose -5*w = 4*l - 11, 2*w = -l + 6 - 1. Let i be l + (-7)/((-35)/25). Suppose 3*k - i*q + 8*q - 420 = 0, -671 = -5*k + 3*q. Does 22 divide k?
False
Suppose -2377*t + 2386*t - 66191 = 805. Is 88 a factor of t?
False
Suppose 0 = -12*a + 11*a - 2*n + 137, 275 = 2*a + 5*n. Let t = 475 - a. Does 17 divide t?
True
Suppose -3*o = -5*d - 43, o + 6 + 1 = -d. Does 6 divide 0 - -1 - (d + -18 - -11)?
False
Let f(u) = -u**2 - 28*u - 194. Let l be f(-14). Suppose 3*o = -l*o + 4*z + 200, 0 = o + 3*z - 21. Does 12 divide o?
True
Suppose o - 234 = 39. Suppose -3*q - 153 = -n, -4*q + 9*q - o = -2*n. Is 4 a factor of n?
True
Let x be -1*(1 + 6/(-1)). Suppose -x*k - 15 = -0. Is 22 a factor of 100 + (-20)/(-5) - k?
False
Let m(n) = 556*n + 2. Let q be m(3). Let k be (q/8)/1 + 87/(-116). Let j = 394 - k. Is j a multiple of 31?
True
Suppose 0 = 12*f - 4543 - 7553. Suppose 5*u - 692 = f. Does 29 divide u?
False
Let b(d) = d**3 - 6*d**2 - 13*d - 14. Let p be b(8). Suppose 11*y - p*y = 204. Does 17 divide y?
True
Let q = 11820 - 10897. Does 5 divide q?
False
Let u be (-38)/(-12) + (-6)/36. Suppose 5*p - s = -0*s + 16, u*p - 10 = s. Suppose 3*a + 3*c = 252, a = c - p*c + 82. Is 13 a factor of a?
False
Suppose -p = 5*v + 1, p = -4*p - 2*v + 18. Suppose -2 = -p*y + 18. Suppose -h - 470 = -3*h - 2*d, 0 = -2*h - y*d + 470. Does 20 divide h?
False
Suppose 248 = 3*c - c. Suppose -3*t + 192 = 2*l - 200, 2*l - c = -t. Is t a multiple of 9?
False
Suppose 5*k - 3*p = -53, -3*p - 40 = 4*k - 6*p. Let a(b) be the first derivative of -b**4/4 - 11*b**3/3 + 9*b**2 - 6*b - 27. Is a(k) a multiple of 33?
False
Let s(c) = -c**3 - 21*c**2 - 106*c - 19. Let v be s(-13). Suppose 2923 = 5*q - 1317. Suppose 92 - q = -v*f. Does 27 divide f?
True
Suppose 3 = -g, -292 = 5*w - 5*g + 1573. Let i = w - -653. Is i a multiple of 32?
False
Suppose -90 = -49*v + 47*v. Is v/6*(-18)/(-5) a multiple of 5?
False
Let y = -29 - -527. Suppose -4*d + 0*h = 2*h - 1980, -d + y = -h. Is 31 a factor of d?
True
Let j = -54 - -135. Suppose 8*q = 273 - j. Is 11 a factor of q?
False
Suppose -21*h + 25*h + 2072 = 11*h. Does 37 divide h?
True
Suppose 102*z = 108*z - 28704. Is 13 a factor of z?
True
Suppose -28*o = -33*o + 4295. Does 20 divide (-80)/24 + 3 - o/(-3)?
False
Suppose -496*z + 9314 = -494*z. Is z a multiple of 12?
False
Suppose -2*j + 4*r + 7154 = -1270, -37986 = -9*j + 5*r. Is j a multiple of 11?
True
Let y(t) be the first derivative of -1/3*t**3 - 9*t**2 + 6 + 11*t. Is y(-16) a multiple of 14?
False
Suppose -4469 + 14441 = 6*s. Does 36 divide s?
False
Suppose 448 = -62*f + 70*f. Suppose -55*r = -f*r + 360. Does 18 divide r?
True
Suppose 3*k = 5*n + 20891, -19*k - 2*n + 34839 = -14*k. Suppose 16*f + k = 25607. Does 14 divide f?
False
Is ((-21090)/(-666))/(977/(-489) + 2) - 5 a multiple of 20?
True
Let o(d) = 14 + d + 11*d - 10*d. Let y be o(-6). Suppose -3*w + 633 = y*w + z, -2*z - 385 = -3*w. Is w a multiple of 21?
False
Let v(a) = 5*a**2 - 214*a + 209. Is 52 a factor of v(53)?
True
Let p(d) = -2*d + 11. Suppose 0 = 3*i - 7*i + 24. Let c be p(i). Does 23 divide 184 + 1*((-3 - c) + 2)?
True
Suppose 2*h - 4362 = -2*h - 2*t, -4*h + 2*t = -4374. Does 26 divide h?
True
Let a be 208/14 - (232/(-56) - -4). Let b be (-117)/a + 2*(-1)/10. Does 55 divide ((-363)/(-6))/(-1 + (-10)/b)?
False
Let a(f) be the first derivative of 5*f**3/3 + 19*f**2/2 - 6*f + 4. Let z be a(-9). Suppose -v - 2*v + z = 0. Is 19 a factor of v?
True
Let y(k) = -5*k**2 + 528*k - 388. Is 6 a factor of y(102)?
False
Suppose 12*x + 280978 - 48298 = 32*x. Is x a multiple of 42?
True
Let g(u) = 4*u**2 - 6*u - 38. Let s be g(-20). Suppose -2*m - 2*w = -1180, -507 = 2*m + w - s. Is 65 a factor of m?
True
Suppose -8671 = -30*u + 7*u. Suppose 0 = 5*g + 17 - u. Is g a multiple of 11?
False
Suppose 0 = 5*g - 3 - 17, 4*x - 32 = -5*g. Suppose 0 = x*b - 511 - 491. Let v = b + -209. Is v a multiple of 25?
True
Suppose 0 = 5*u + 30, -u +