s 15 divide b?
False
Let t = -42 + 45. Suppose 2*q - 98 = -5*s, -2*q = 2*s + t*q - 35. Is 4 a factor of s?
True
Let n be (-384)/(-3)*18/4. Suppose -r + 3*b + 152 = 6*b, 4*r + 4*b = n. Is 26 a factor of r?
False
Suppose 42*b = 47*b, -8190 = -3*f + b. Is f a multiple of 7?
True
Suppose -3*u = 4*h - 27 + 5, 0 = h - 1. Is (0 + 24/(-15))/(u/(-390)) a multiple of 8?
True
Let x = 24 + -21. Is ((-2)/(-2))/(152/50 - x) a multiple of 3?
False
Suppose 93*j = 101*j - 5336. Is j a multiple of 23?
True
Suppose -h = 4*v + 26, -3*h - 2*v = -2*h + 16. Let l be 120/65 - h/39. Suppose 0*y - 68 = -l*y. Is 16 a factor of y?
False
Suppose 3*h + n - 576 = 6*n, 0 = 2*h + n - 371. Is h a multiple of 17?
True
Let v = 65 + 47. Let d = v + -79. Is 13 a factor of d?
False
Suppose 20 = -2*f + 3*f. Suppose 0 = -6*b + f + 10. Suppose 0 = -n + 2*o + 92, -3*o - 424 = -b*n - 2*o. Does 21 divide n?
True
Let q = -76 - -766. Is 15 a factor of q?
True
Let j(a) = 2*a**2 - 20*a - 12. Does 18 divide j(16)?
True
Suppose -5*r + 3826 = -2999. Does 21 divide r?
True
Does 13 divide (-50352)/(-88) - (-6)/(-33)?
True
Is 2 a factor of 16*39/60*5?
True
Suppose -194 = 7*l + 51. Let s = 107 + l. Does 9 divide s?
True
Suppose -3*s + 3 = 3*n + s, 0 = -n + s + 8. Suppose 7*h = 4*h, n*h + 84 = 4*x. Is x a multiple of 7?
True
Let h be 52/((-4)/(-1))*1. Let y = 35 - h. Let n = 32 - y. Is 8 a factor of n?
False
Is 27 a factor of 945*(7 - (-1)/((-3)/12))?
True
Let z(g) = -g**3 - 12*g**2 - 12*g - 9. Let m be z(-11). Suppose -t + 57 = 3*c, 95 = m*c + 3*c - 5*t. Does 14 divide c + 0 + 0 + 2?
False
Suppose -536 - 749 = -5*m. Let b = m + -172. Is b a multiple of 17?
True
Suppose -90 = 1292*k - 1293*k. Is 15 a factor of k?
True
Suppose k = -4*d + 11 + 3, 0 = -k - d + 8. Let t be (14/k + -2)*9. Suppose -4*q - 42 = -5*a + 260, -a - t*q = -49. Is 15 a factor of a?
False
Suppose 0 = 4*o - 2*a - 6250, o - a + 0*a = 1561. Does 68 divide o?
True
Let l(y) = -5*y - 2. Let r be l(2). Let d be 175 - 4*(-9)/r. Suppose t + 3*t - d = 0. Is t a multiple of 11?
False
Let q(d) = 3*d - 19. Let u be q(7). Suppose 2*l - 3 = 5*l, u*v + l - 15 = 0. Does 4 divide v?
True
Let r = 737 + 65. Is r a multiple of 30?
False
Suppose 4*b = -5*u + 197, 4*b + 3*u - 171 - 16 = 0. Let p = b - 26. Suppose -13*a = -p*a + 56. Is a even?
True
Let z(o) = -17*o - 2. Let y be z(2). Let q be (-90)/(-42) + 6/7. Is q*6/(y/(-10)) even?
False
Let y(x) be the second derivative of x**4/12 + 7*x**3/6 + 5*x**2 - 24*x. Is y(7) a multiple of 12?
True
Let l(k) be the first derivative of k**3/3 - 9*k**2/2 + 3*k + 7. Is 11 a factor of l(13)?
True
Suppose 6*g = 3*g. Suppose g = -t - t. Does 31 divide (t - -71)/(1 + 0)?
False
Let c(n) = -n - 2. Suppose 0 = -3*i - 0*i - 6. Let l be c(i). Suppose -27*y + 22*y + 330 = l. Is y a multiple of 24?
False
Suppose -4*n + 22 - 2 = 0. Suppose -o + n*o = 20. Does 2 divide o?
False
Let k = -508 - -981. Is 12 a factor of k?
False
Let z be (-3)/6*-8 + -16. Let b = 26 - z. Let r = b - 19. Is 5 a factor of r?
False
Let f(q) = 11*q + 29. Suppose 0 = -3*d - c + 42, -d + 4*c = d - 14. Is 9 a factor of f(d)?
False
Let j(v) = -5*v**2 + 7*v + 2. Let k(n) = -4 - 30*n**2 + 14*n + 1 + 19*n**2 + 7. Let a(b) = -13*j(b) + 6*k(b). Is a(-2) even?
True
Let n be 16/5 - 4/(-5). Suppose -k - 3*k = -3*z + 6, n*k = 12. Is 9 a factor of (6/z)/((-1)/(-19))?
False
Let p(v) be the third derivative of v**6/120 + v**5/10 - v**4/24 - 3*v**3 - 9*v**2. Is p(-5) a multiple of 12?
True
Let c be (-9 - 65/(-7)) + 878/14. Let s = c - -55. Is s a multiple of 9?
False
Let a be ((-6)/(-5))/((-3)/15). Is 9 a factor of (a/(-8))/(14/672)?
True
Does 11 divide 1 - 12126/(-7) - (-552)/(-1932)?
False
Let o(u) = -14*u + 145. Let v be o(0). Suppose 49 + 169 = c. Let l = c - v. Is 28 a factor of l?
False
Let n(l) = -2*l**2 + 11*l + 2. Let g be n(5). Let x(s) = -s**3 + 10*s**2 - 17*s + 8. Does 8 divide x(g)?
False
Let i = -149 + 287. Is i a multiple of 9?
False
Let b = 276 - -246. Does 16 divide b?
False
Suppose -5*r + 610 = 2*i, -8*r + 3*r - 275 = -i. Is 24 a factor of i?
False
Is 7 a factor of (1 + -8)/((4 + -9)/180)?
True
Let g = -50 + 57. Suppose -g*d + 1120 = d. Is 35 a factor of d?
True
Let u(v) = 6*v**2 + 2*v**2 - 2*v + 8*v. Let k be u(-6). Suppose 2*t - 198 = -3*h, -5*t + 5*h + 268 + k = 0. Is 16 a factor of t?
False
Let m(x) = 13*x + 17. Let d be m(5). Does 13 divide 0 - 4 - d*-1?
True
Let w(y) = 49*y**2 + 60*y + 1. Does 16 divide w(-3)?
False
Let w(a) = 121*a - 2. Is w(1) a multiple of 4?
False
Suppose -25*w = -21*w + 20, -2*w = g - 215. Is g a multiple of 25?
True
Is (20/45)/(14/57393) a multiple of 17?
False
Let q = -452 + 732. Suppose h + 3*w + w = q, 3*h - 3*w - 765 = 0. Does 52 divide h?
True
Is 22 a factor of (-9)/(-2)*23150/225?
False
Suppose 130 = 5*v + u, 4*v - 6*v = -4*u - 30. Is 3 a factor of v?
False
Let v(r) = r**3 + 8*r**2 + 8*r - 2. Let q(t) = -3*t**2 + t + 4. Let f be q(2). Let b be v(f). Is (b/5)/((-1)/(-15)) a multiple of 22?
True
Suppose 0 = 4*b - b - 2*y - 175, -3*b + y = -173. Is 57 a factor of b?
True
Suppose -2*f - 19 = -w, 5*w + 4*f - 26 = 69. Suppose -5*b + w = -96. Does 5 divide b?
False
Let g(n) be the second derivative of -n**4/12 - 2*n**3/3 + 5*n**2/2 - n. Let l be g(-5). Suppose 4*q + 4*v - 308 = l, -q + 79 = 2*v - 3*v. Is 10 a factor of q?
False
Let k(a) = 7*a**2 - 9*a + 15. Let h(w) = w**2 - 4. Let l be h(-3). Is k(l) a multiple of 19?
False
Suppose 4*t - 3*t - 39 = 0. Suppose -c = -2*i + 11, -3*i + 5*c + t - 5 = 0. Suppose -i*s = -s - 68. Is s a multiple of 17?
True
Let i(q) = -q**3 + 31*q**2 + 35*q - 15. Is i(32) a multiple of 10?
False
Let m(o) = 4*o**2 - 8*o - 64. Does 38 divide m(-12)?
True
Let m = 40 + -33. Suppose 5*x = m*x - 238. Does 12 divide x?
False
Let t(r) = -r**3 + 15*r**2 - 27*r - 18. Is 18 a factor of t(12)?
True
Let c = -6 - -9. Suppose -5*u + c*u + 2 = 0. Is 5 a factor of -2 - (-24)/(1 + u)?
True
Let m(v) = v**2 + 5*v. Let c be m(-4). Let d = -164 + 163. Does 10 divide (-99)/(c - d) - -1?
False
Let q(k) be the third derivative of -3/4*k**4 + 0 + 1/3*k**3 + 2*k**2 + 0*k. Is q(-3) a multiple of 12?
False
Suppose -2*c = 2*s, -4*c - 4*s - 6 = -2*c. Suppose 9 + 6 = c*b. Suppose 5*t + b*j - 350 = 0, j = 2*j. Does 11 divide t?
False
Suppose 68*v - 58*v = 22140. Does 54 divide v?
True
Let s(t) = -13*t + 177. Does 114 divide s(-22)?
False
Let g(p) = p**3 - 25*p**2 + 52*p - 34. Let h be g(23). Suppose 3*j + 57 - 486 = -4*o, o - h = -4*j. Is o a multiple of 12?
True
Let y(o) = 24*o**2 - 12*o + 67. Does 21 divide y(4)?
False
Let t be (-10)/(-3) + (-13)/39. Suppose -1336 = -4*p + 6*q - 4*q, t*q = 4*p - 1340. Suppose -4*h + 0*v + p = 2*v, 5*v = -20. Does 18 divide h?
False
Let c be ((-1085)/28)/((-1)/(-4)). Let q = -93 - c. Is q a multiple of 31?
True
Let s(c) = 73*c**2 + 5*c + 4. Is 13 a factor of s(-2)?
True
Let x = -42 - -25. Let t = 21 + x. Is (-3 + -5)*(-2)/t a multiple of 3?
False
Suppose 4*f + 4*f - 3960 = 0. Is 9 a factor of f?
True
Let t(o) = -o**3 + o**2 - o + 6750. Let h be t(0). Is h/70 + (-3)/7 a multiple of 32?
True
Suppose 0 = -h - 3*b + 7 + 16, -2*h + 22 = -2*b. Let n be 0/(-1)*(-13)/26. Suppose h*t - 18*t + 144 = n. Is 18 a factor of t?
True
Let g(w) = -w**2 - 6*w + 2. Let r be g(-5). Does 9 divide (-1401)/(-21) - (-2)/r?
False
Let n = -2 + 215. Is n a multiple of 9?
False
Suppose 7*w = 2*w + 15. Let z(g) = -24*g - 3. Let u be z(-7). Suppose -w*i - b = -u, 0 = -i - 2*i + 4*b + 165. Is 23 a factor of i?
False
Let m(o) = -3*o + 11. Let t = -9 + 12. Suppose -2*u = t*u + 45. Does 19 divide m(u)?
True
Let k be (5 - -102) + -3 + (3 - 2). Let o = 360 - k. Is o a multiple of 26?
False
Let j be (-12)/32 + (-38)/(-16). Let h(m) = 3*m**3 - 2*m**2 - 4*m + 4. Is 9 a factor of h(j)?
False
Suppose 208 + 496 = 8*n. Is 20 a factor of (n/1)/((-8)/(-20))?
True
Let l(n) = -261*n**2 - 9*n + 2 + 263*n**2 - n. Let k be l(5). Suppose 87 = b + k*b. Is b a multiple of 15?
False
Let w(q) = -q. Let g(y) = 2*y**2 + 7*y - 3. Let z(x) = 2*g(x) + 10*w(x). Does 18 divide z(-3)?
True
Let w(h) = -20*h + 24. Let r(f) = -f - 1. Let v(t) = 20*r(t) + w(t). Does 12 divide v(-5)?
True
Let r be ((-1)/((-1)/2))/(42/126). Is 15/90 - (-803)/r a multiple of 8?
False
Let t(j) = -3*j**3 - 10*j**2 + 9*j. Let x(h) = h**3 - h**2 + h. Let k(o) = -t(o) + 5*x(o). Is 