= -r*h. Is 31 a factor of h?
True
Suppose -72*g + 463590 = 13*g. Does 18 divide g?
True
Suppose 0 = 2*r + 8, -3*r - r = 4*d - 41328. Suppose -d = -4*o + 1648. Is 15 a factor of (-8)/36 - o/(-36)?
False
Let o be (-1 + 0)*0*1. Let b(z) = -16*z + 101. Let n be b(6). Suppose o = -4*y + n + 7, 5*y = -2*x + 33. Is 9 a factor of x?
True
Let d(p) = p + 31. Let y be 585/54 - 1/(-6). Is 8 a factor of d(y)?
False
Let n(x) = -9*x**2 + 2*x + 1. Let k be n(-1). Let o be (-3)/15 - (-148)/k. Is 15 a factor of o/2*(-10 - -8)?
True
Let z = 1101 + 393. Does 18 divide z?
True
Let q = 81 + 28. Is 12 a factor of q?
False
Let s(n) be the first derivative of n**2/2 + 8*n + 2. Let w be s(-8). Suppose w = -0*z + z - 41. Does 12 divide z?
False
Let s be ((-35)/(-10))/(1/(-98)). Let a = -179 - s. Suppose -4*z + 2*o = -a, -3*o + 8 = o. Is 21 a factor of z?
True
Let f(h) = 2*h**2 - 2*h - 3. Let r be f(-5). Let z = 141 - r. Does 12 divide z?
True
Let s(a) = a**2 - 3 + 3 + 20*a - 22*a. Let d be s(12). Let g = 172 - d. Does 29 divide g?
False
Suppose 1 = 5*j - 4*j. Let u(a) = -24*a**3 - 2*a**2 + 2*a - 1. Let f be u(j). Let s = 42 + f. Is 17 a factor of s?
True
Let s(f) = 295*f**2 + 3*f - 4. Does 21 divide s(1)?
True
Suppose 3*c - 5*c = -10, -55 = 5*i + 2*c. Let q(x) = x**3 + 13*x**2 - 10*x - 30. Does 20 divide q(i)?
True
Does 24 divide 709/10 - (-3)/30?
False
Let x be 686/(-9) - (-2)/9. Let n = 231 + x. Suppose 5*v = n + 45. Is 18 a factor of v?
False
Let j = 4636 - 2476. Does 48 divide j?
True
Let b = 222 + 379. Does 9 divide b?
False
Let v(c) = 22*c**2 + 14*c + 40. Does 9 divide v(-4)?
False
Let d be (-16)/10 + 2 - (-408)/30. Suppose -672 = -d*u + 7*u. Is 11 a factor of u?
False
Let r(s) = s**3 - 6*s**2 - 7*s - 3. Let i be r(7). Let b be (-24)/i + (-4)/1. Suppose -b*g = -7*g + 105. Is g a multiple of 5?
True
Suppose 3*m = m - 2*x - 2, 3*m - 12 = 2*x. Suppose 0 = -m*u + 11 + 11. Let z = 30 - u. Is 10 a factor of z?
False
Let c(n) = -32*n - 34. Does 15 divide c(-2)?
True
Suppose -5*y + 94 = -2*n, 3*y - 57 + 9 = -3*n. Does 9 divide y?
True
Let s = 289 - 417. Does 4 divide 7/((-28)/s)*(2 + 0)?
True
Suppose 4*q + 288 = -0*q. Let n = q + 119. Is n a multiple of 7?
False
Let t be ((-292)/(-6))/(2/(-3)). Let o = -38 - t. Is o a multiple of 6?
False
Is 12 a factor of 1303 - (-5 + 9 + 4)?
False
Suppose -3*x - 9 = 3*p + 27, -4*p + 5*x - 30 = 0. Does 13 divide (-906)/p - 8/(-20)?
True
Suppose 386 = -3*v + 5*v + 5*o, 621 = 3*v - 3*o. Is 6 a factor of v?
False
Is ((11 + -8)*-36)/(2/(-54)) a multiple of 18?
True
Suppose 101*c + 6 = 103*c. Is 6 a factor of ((-10)/c)/((-6)/108)?
True
Let j(c) = -c**3 - 2*c**2 + 3*c. Let m be j(2). Let y = m + 15. Let a(w) = w**3 - 4*w**2 + w - 5. Does 15 divide a(y)?
False
Does 26 divide 23292/(-12)*((-1)/3 - 0)?
False
Suppose u - 206 = 5*r, 0*u - 212 = -u - r. Let a(j) = 1 + 222*j**2 - u*j**2 - 3 + 3*j. Is a(2) a multiple of 12?
True
Suppose -3*u + 7*f = 3*f + 15, 3*f = 9. Let x be 3 + u*3/1. Is (x - 1) + (1 - -25) a multiple of 16?
False
Let k(d) = -506*d + 29. Is 17 a factor of k(-3)?
True
Suppose 0 = 6*g - 3*g - 72. Suppose -o - 2*o + g = 0. Is 11 a factor of 112/5 - o/20?
True
Let p = -5 - -12. Suppose 2*g + 2*d - p*d = 12, 0 = 2*d. Let a(x) = 3*x + 3. Is a(g) a multiple of 9?
False
Let o(x) = x**3 + 27*x**2 + 32*x - 116. Is o(-20) a multiple of 28?
True
Let o be 3 - (2 + (2 - 7)). Suppose 11*x - 525 = o*x. Does 21 divide x?
True
Let c(g) = g + 3. Let z be c(-5). Let d = z + 1. Is (6 - d) + 4/1 a multiple of 5?
False
Let o(s) be the first derivative of 35*s**2/2 - 8*s - 27. Does 13 divide o(3)?
False
Let q(p) = p**3 - 7*p**2 - 2*p + 9. Let y = 0 + 7. Let z be q(y). Let a = z + 8. Is a a multiple of 3?
True
Let k(h) be the first derivative of h**2/2 + 16*h + 6. Let x be k(-6). Suppose -7*r = -6*r - x. Is r even?
True
Let q(f) = -f**2 + 4*f + 2. Let v be (24/16)/((-1)/(-2)). Let o be q(v). Suppose -5*a = 4*h - 271, 5*h + o*a = 476 - 141. Is h a multiple of 16?
True
Let h(u) = u**3 - 13*u**2 + 12*u + 2. Let l be h(12). Suppose 0 = -l*t + 23 + 5. Is 8 a factor of t/8*144/9?
False
Is 9 a factor of 111 + (6 + -3 - 7)?
False
Let p = 16 + -16. Let o be (0 - p) + 2 - -1. Suppose 0*g - 2*a + 337 = 5*g, o*g - 4*a - 197 = 0. Is 16 a factor of g?
False
Suppose -670 = -5*u - 255. Let c(d) = d**3 + 18*d**2 + 20*d - 2. Let a be c(-17). Let g = a + u. Is g a multiple of 5?
True
Suppose -2*m = -2775 - 435. Is m a multiple of 34?
False
Let y = 344 + -146. Suppose 0 = -5*b - y + 1193. Is 11 a factor of b?
False
Suppose 0*m = 3*m + 30. Let n = 1 + -35. Let v = m - n. Is 12 a factor of v?
True
Let a(r) = 23*r**3 + 2*r**2 - 3*r + 3. Let l be a(2). Suppose 4*s = -69 + l. Does 3 divide s?
True
Suppose -5*u + 2000 = 4*m, 2005 = 5*u - 8*m + 11*m. Does 31 divide u?
False
Suppose 2 = -4*z - 34. Suppose 0 = 5*w - 10 - 10. Is ((-6)/z)/(w/30) a multiple of 3?
False
Let j = -1410 - -3217. Does 13 divide j?
True
Suppose 3*d = -2*r + 59, r + d + 12 = 43. Is r a multiple of 17?
True
Does 20 divide 86296/98 + 8/(-14)?
True
Let j(n) be the third derivative of -n**4/8 - 8*n**3/3 + 9*n**2. Let w be j(-12). Is (17 - 2)*8/w a multiple of 6?
True
Let u be (2 + 3)/(4/16). Is 31 a factor of (-8)/20 + 1568/u?
False
Suppose 2*w - 4*z - 2735 - 2357 = 0, -6 = 2*z. Does 127 divide w?
True
Let u(s) = -6*s - 6*s - 4 + 3*s - s**3 + 2*s**3 + 6*s**2. Does 25 divide u(-6)?
True
Let t(d) = 28*d**2 - 69*d + 658. Is 42 a factor of t(9)?
False
Let k(u) = u**3 - u**2 - u. Let s be k(0). Suppose 2*r + s = 3*l - 36, -3*r - 4*l - 71 = 0. Is (66/21)/((-3)/r) a multiple of 15?
False
Let i be -1*5/15*-12. Suppose -4*f - i = -3*u + f, -2 = -2*f. Suppose -u*y = -83 + 26. Is 19 a factor of y?
True
Let l(n) = -717*n - 6. Is l(-1) a multiple of 35?
False
Does 38 divide 6830/2 + 12 + -7?
True
Let p(b) = -b**3 + 0*b + 3*b**2 + 5*b**2 + 2*b - 8 - 7*b. Let z be p(7). Does 12 divide z/21 - (-334)/7?
True
Suppose -2*b = -7*b - 2*i + 20, -4*b = -2*i - 16. Suppose -68 = -b*v - 5*t, 8*v + t - 52 = 4*v. Is 4 a factor of v?
True
Suppose 2*m - 7*m = -35. Let o(b) = b**3 - 2*b**2 + 4*b + 17. Is o(m) a multiple of 58?
True
Suppose -2*c = 228 - 780. Is 4 a factor of c?
True
Suppose 295*b = 313*b - 8964. Is 135 a factor of b?
False
Suppose -5 = -3*b + 1. Is 2 a factor of (-10)/(-3 + b) + -1?
False
Let l(o) = o - 18. Let z be l(0). Let h = -19 - z. Is 303/6 + h/2 a multiple of 10?
True
Let p be 20*15/(-6)*89/(-10). Suppose -b + y + y = -86, 5*b = -5*y + p. Is b a multiple of 44?
True
Let l = 43 + -43. Suppose 5*m + 2*o - 1367 = l, 2*m - 534 = -5*o + o. Is 60 a factor of m?
False
Suppose -5*a = -24*a + 9177. Is 69 a factor of a?
True
Let d = 494 + -262. Is 29 a factor of d?
True
Suppose 6*l = 21*l - 18060. Does 28 divide l?
True
Suppose 4*m - m - 201 = 0. Suppose -m + 19 = 3*h. Let k = 40 + h. Does 8 divide k?
True
Suppose 2028 - 62 = 3*s + 5*t, 0 = 4*s - 2*t - 2578. Is 5 a factor of s?
False
Let i(g) be the second derivative of g**4/12 + g**3/3 - 15*g**2/2 + 15*g + 1. Is i(12) a multiple of 17?
True
Let p(j) = 3*j**2 + 3*j + 9. Let r be p(4). Let k = r + -19. Is 5 a factor of k?
True
Let n be 1*5/15*0. Suppose -j + 4*y = -n*y - 3, 3*y = -3*j + 24. Does 2 divide j?
False
Suppose 0*r + 3*r = 0. Suppose r*c + c = -10. Is 6 a factor of c/(-35) + (-159)/(-7)?
False
Suppose 54*u - 22*u = 55744. Is 107 a factor of u?
False
Suppose 6575 = 5*p + 3*x, -11*x + 13*x + 6550 = 5*p. Does 82 divide p?
True
Let m = 2368 - 1229. Is m a multiple of 17?
True
Let d(s) = s**2 - 23*s - 4. Let j(q) = q**2 - 45*q + 14 - 21 + q**2. Let r(t) = 11*d(t) - 6*j(t). Is r(16) a multiple of 14?
True
Suppose 0 = -0*v - 3*v + 834. Suppose 0 = -9*i + v + 532. Is 15 a factor of i?
True
Let b(f) = f - 5. Let m be b(5). Suppose m = -4*w - 15 + 7. Does 10 divide (3 + w)/(5/50)?
True
Suppose 17 = o - 4*w, -2*o + 69 = -0*o - w. Let g = o + -25. Is 11 a factor of g?
False
Let p = 431 + -207. Is 56 a factor of p?
True
Suppose 3*z - 2793 = -3*r, 4*z - 2750 - 971 = -5*r. Does 61 divide z?
False
Let g(f) = -3*f**3 - 3*f**2 - 3*f + 3. Is g(-2) a multiple of 5?
False
Let k be (-12)/(-72) + 29/6. Suppose k*y - i = -30, -y - 3*i = y - 5. Let g(b) = b**3 + 5*b**2 - 4*b + 4. Is 24 a factor of g(y)?
True
Let q be -1*(1 + -3) - 30/15. Suppose -223 = -4*f - 5*r, 5*r + 149 = -q*f + 2*f. Does