se j - o = -w*j. Is j a multiple of 12?
True
Let a(z) = -z**3 + 16*z**2 + 17*z + 20. Is 7 a factor of a(15)?
False
Suppose 5*w + 3*u - 1085 = 159, 1003 = 4*w + 5*u. Does 14 divide w?
False
Let g(u) = 6*u - 1. Suppose -3*j = -0*j + 4*h - 19, 3*j - h = -1. Let v be g(j). Suppose -v*y + 270 = -0*y. Does 27 divide y?
True
Let w(t) be the third derivative of 1/120*t**6 + 0*t + 1/6*t**5 - 1/8*t**4 + 2*t**2 + 0 - 7/6*t**3. Does 23 divide w(-10)?
True
Let n(g) = 238*g - 60. Is 13 a factor of n(2)?
True
Suppose -13*s - 11*s = -12144. Does 11 divide s?
True
Let g be (-96)/(-9) + (-4)/6. Suppose -672 - 348 = -g*c. Does 34 divide c?
True
Suppose 0*x = -8*x + 32. Suppose c = 5, -2*h = -0*h - x*c + 2. Is 3 a factor of h?
True
Does 2 divide 2/4 - ((-796)/8 + 5)?
False
Suppose -2*x = -4*f - 644, -2*x + f = -3*x + 334. Is x a multiple of 22?
True
Let k = 118 + -58. Is 24 a factor of (15/k)/(2/872)?
False
Suppose 5 = -m + 2*g - 3*g, 0 = 4*g + 12. Let x = m + 33. Is 17 a factor of x?
False
Let j(v) = 18*v - 2. Let l be j(1). Let w(b) = -b**2 + 15*b + 24. Does 3 divide w(l)?
False
Let v(t) = -10*t**3 - 5*t**2 - 5*t - 4. Let l be v(-4). Suppose -6*d + l = -3*d. Suppose 10*z = 2*z + d. Is z a multiple of 6?
True
Let p(k) = -k**3 - 8*k**2 - 12*k - 3. Let c be p(-6). Let s(l) = -l**2 + 2*l. Let i(f) = f + 1. Let u(a) = -3*i(a) - s(a). Is u(c) a multiple of 7?
True
Let v(u) = -u**3 + 12*u**2 + 15*u + 9. Let r be v(13). Is 4 a factor of (-2)/5 - (-154)/r?
True
Let g be 289/2 - (-4 + -4)/(-16). Suppose -61*z = -67*z + g. Does 4 divide z?
True
Let t = 64 + -150. Is (-2 - -4)/(-2) - t a multiple of 17?
True
Does 65 divide (-880)/132*(1456/(-10) + -2)?
False
Suppose 8*a = 13*a - 35. Does 6 divide 1250/35 - (-2)/a?
True
Let o = 808 - 582. Does 3 divide o?
False
Let x be (-1)/(1*(-2)/8). Suppose 0 = -0*o - 4*o + 4*q + 208, 0 = o - x*q - 43. Is o a multiple of 11?
True
Let a(z) = -z**3 - z**2 - 3*z - 1. Let l be 6/(6*(-3)/(-24)). Suppose -5*h = l + 7. Does 13 divide a(h)?
True
Let h(b) = -b**3 - 3*b**2 + 4*b + 12. Let c(n) = n**3 - 6*n**2 + 7*n - 1. Let t be c(3). Does 15 divide h(t)?
True
Suppose -162 = 172*z - 199*z. Is 2 a factor of z?
True
Suppose 47*r - 53550 = 37*r. Does 33 divide r?
False
Let h(z) = z**2 - 19*z - 108. Does 6 divide h(25)?
True
Let y = -3 - 2. Let s(m) = -2599 + 2*m**2 + 1298 - m**2 + 1305. Does 16 divide s(y)?
False
Let b(m) = m**3 + 5*m**2 - 3*m - 6. Suppose 2*t = 6, 5*w + 4 = -4*t + 2*t. Let c be (w/5)/(7/70). Does 9 divide b(c)?
False
Suppose 0*i = 3*i - 4*j - 1425, -3*j + 475 = i. Let y = i - 210. Suppose -5*h = -0*h - y. Is h a multiple of 22?
False
Let m(n) = -13*n + 1. Let i be m(-2). Let y = i - 12. Is y even?
False
Let c(h) = 1 - 5*h + 7*h + 1 + 1. Let w(n) = -2*n - 4. Let z(a) = -6*c(a) - 5*w(a). Is z(-2) even?
True
Suppose -5*b = 3*b - 128. Let a = 33 - b. Is a a multiple of 3?
False
Let y be 3/(-18) - (-2521)/6. Suppose -2*o + y + 180 = 0. Suppose -o = 2*r - 6*r. Does 15 divide r?
True
Suppose -1520 = 17*f - 4223. Is f a multiple of 30?
False
Let i = -16 + 29. Let j(q) = -q**3 + 11*q**2 + 31*q - 7. Does 8 divide j(i)?
False
Let w be -24 - (-3 + 2 - -1). Let z = -12 - w. Suppose 5*i = 4*y - z - 63, 3*y = 5*i + 50. Does 17 divide y?
False
Let t = 461 + -276. Is 2 a factor of t?
False
Let o(n) = n - 1. Let k(d) = -73*d**2 + 2*d - 10. Let q(b) = -k(b) + 6*o(b). Is 14 a factor of q(-1)?
False
Suppose 12*z - 5893 = -1465. Is 57 a factor of z?
False
Suppose 0 = -3*b + f + 10, -2*b - 4*f + 2 = -0*f. Does 4 divide b/9 + (-235)/(-15)?
True
Suppose 0 = -7*y + 2*y + 280. Is y a multiple of 7?
True
Let n = 99 + 15. Does 23 divide n?
False
Suppose 3*v - 11 = 2*f - 2, -9 = -4*f - 3*v. Let a be 3 - ((-3)/3 + f). Suppose -a*i = -3*r + 8*r - 51, -5*r = i + 6. Is 15 a factor of i?
False
Suppose 2*d + 4*f - 2424 = 0, -4 = -3*f - 16. Is d a multiple of 10?
True
Let g = 2981 + -461. Is 36 a factor of g?
True
Let s = -13 + 60. Suppose 3*w - 502 = 4*h, -2*h - 609 - s = -4*w. Is w a multiple of 17?
False
Suppose 48 = 9*s - 3*s. Does 4 divide s?
True
Does 9 divide (-78 - 3)*-7 - 0/(-3)?
True
Let m = -6990 + 11385. Is m a multiple of 15?
True
Let n = 298 + 292. Is n a multiple of 14?
False
Suppose 8 = -2*j + 6*j. Suppose 2*t - 5*u + j = -12, 4*t = -2*u + 20. Is 40/t + 14/21 a multiple of 14?
True
Suppose 0 = 6*x - 10*x + 48. Suppose x*v = 15*v - 114. Is 38 a factor of v?
True
Is 20 a factor of (-65)/10*1312/(-8)?
False
Let g be 4/(-16)*0*1. Suppose 5*h - 156 - 179 = g. Is h a multiple of 17?
False
Let a(k) be the third derivative of -k**5/12 + 7*k**4/12 + 5*k**3/6 + k**2. Let b(w) = -w - 1. Let h(n) = -a(n) - 5*b(n). Does 10 divide h(5)?
True
Let h(a) be the second derivative of a**5/20 + 5*a**4/3 - 23*a**3/6 - 9*a**2 - a. Does 9 divide h(-21)?
False
Let p(a) = 6*a**2 - a. Let g be p(1). Suppose -h + 16 = -g*h. Is (h/1)/(1/(-10)) a multiple of 8?
True
Suppose -39 = 3*j - 324. Suppose -5*z - 4*s - 156 - 135 = 0, -296 = 5*z - s. Let h = j + z. Does 18 divide h?
True
Suppose -2*h = 2*y - 64 - 50, 2*h - y = 111. Is h a multiple of 28?
True
Suppose 0 = -4*r - 2*y - 6, 0 = -r + 3*y + 2*y + 15. Suppose f - 6*f + 240 = r. Let v = f - 28. Is v a multiple of 5?
True
Let f(g) = -2*g + 4 - 16 - 24 - 3*g. Let j be f(-18). Suppose -154 = -4*l - j. Is l a multiple of 9?
False
Let m be 4 - (2 + -2 + -2). Let f(j) = j**2 - 6*j + 1. Let y be f(6). Let c = m - y. Is 3 a factor of c?
False
Let u(l) = -32*l + 18. Let o = 85 + -90. Is u(o) a multiple of 17?
False
Let q = 494 - 270. Does 7 divide q?
True
Suppose 15429 = 4*a + 3*y, 5*a - 19280 = -7*y + 2*y. Does 7 divide a?
False
Let f(k) be the first derivative of -7*k**2/2 + 11*k - 34. Is 8 a factor of f(-6)?
False
Let w be 15/(-3)*(-1 - 22). Suppose -g = 5*o - w, -3*o + 5*g = -7*o + 113. Let b = o + -2. Does 5 divide b?
True
Suppose 6 - 26 = -5*x. Suppose -x*t + 4*c + 0*c - 440 = 0, -4*t + 5*c = 442. Let l = t - -155. Is l a multiple of 8?
False
Is (-18 + 3)/(-5) - (0 - 160) a multiple of 13?
False
Suppose 5*z - 3*z + 15 = -3*x, 2*z + x + 9 = 0. Let h be 10 - (2 + z + 3). Is (5*-1)/(h/(-16)) a multiple of 3?
False
Let h(a) = 19*a - 91. Is h(29) a multiple of 48?
False
Let v(w) = -15*w + 168. Is v(-15) even?
False
Let y(t) be the second derivative of 67*t**7/2520 + t**6/360 + t**5/120 + 7*t**4/12 + 4*t. Let m(c) be the third derivative of y(c). Is 22 a factor of m(-1)?
True
Let u = 17 + -2. Is (1 - u)*(-14)/4 a multiple of 15?
False
Does 10 divide 925 - (-2)/8*(-25 + 21)?
False
Let k(t) be the third derivative of -1/3*t**3 - 1/24*t**4 + 0 + 1/30*t**5 + 0*t + 1/120*t**6 - 5*t**2. Is 20 a factor of k(3)?
True
Let i(j) = -51*j**3 + 2*j + 1. Let w be i(-1). Suppose 2*m = -2*a + w, 0*m + a = m - 23. Is 24 a factor of m?
True
Suppose 0 = -q + 5*l - 0 - 11, 2*q - 5*l = -22. Does 27 divide (q - -5)*27*-2?
True
Suppose 5*t = 2*d - 56, 3*d - 3*t = -44 + 119. Let x(i) = -i**3 + 23*i**2 - 2*i + 56. Is 5 a factor of x(d)?
True
Suppose 2 + 2 = 2*q. Let f(h) = h + 1. Let l be f(17). Suppose l = q*p - 2. Is 4 a factor of p?
False
Suppose 4*l = -1 - 7, 0 = 3*v - 4*l - 53. Suppose 0*j = -3*j + v. Let g(u) = u**3 - 3*u**2 - 6*u - 6. Is 4 a factor of g(j)?
False
Suppose 0 = q - 4*w - 19 - 9, 4*q + w = 61. Suppose -q*z + 12*z + 36 = 0. Is z/(-18)*-2*18 a multiple of 9?
True
Let u = -46 + 11. Let x = -32 - u. Suppose -x*g + 2*g = -34. Is 7 a factor of g?
False
Suppose 176 = -71*u + 75*u. Does 14 divide u?
False
Let c be (-1 - 3/3) + -61. Let f = -18 - c. Is f a multiple of 9?
True
Let v(i) = 7*i - 51. Let f be v(8). Is 105 + (-8)/20 + 2/f a multiple of 35?
True
Let v(l) = l**2 - 7*l + 8. Let d be v(6). Suppose -3*q - d*y - 3 = -7, 4*y + 4 = 0. Suppose o = -4*k + 60, q*k = 3*k + 5*o - 15. Is 12 a factor of k?
False
Suppose 2*v = v - 2. Let m be -2 - (v - 3)*1. Is 2 - ((-24)/m + 3) a multiple of 3?
False
Let v(z) = -11*z + 33. Is 6 a factor of v(-23)?
False
Suppose 0 = 2*w + 2*w + 1548. Let m = 559 + w. Does 21 divide m?
False
Let b = 101 + -105. Does 14 divide 1050/60 - 2/b?
False
Suppose u = -5*b - 9, b + 58 = -4*u - 54. Let v = u + 203. Does 18 divide v?
False
Let a(y) = -y**3 - 12*y**2 - 6*y - 2. Suppose -77 = z + 6*z. Let v be a(z). Let s = v - -109. Does 13 divide s?
True
Suppose 26*s - 29*s = -9. Suppose -3 - 63 = -s*b. Is 16 a factor of b?
False
Let