= o - 12. Is m a multiple of 3?
True
Let v(j) = 89*j - 3. Let b be v(3). Suppose 3*w + 377 = -u + 5*u, 0 = 3*u + 4*w - b. Let h = u + -51. Does 10 divide h?
False
Suppose 3 = -y, 0 = -4*d + 145*y - 144*y + 9123. Is 24 a factor of d?
True
Does 28 divide (80/(-7))/(194/(-45493))?
False
Let w(c) = -60*c - 63. Is 20 a factor of w(-8)?
False
Does 9 divide (222/14 - 3)*7?
True
Let d(t) = 6*t**2 - 2*t + 5. Let i be d(-3). Suppose 2*f + 575 = 7*f. Let k = f - i. Is 11 a factor of k?
False
Let x = -6 + 15. Let r be 3 - (-3 + 6)*1. Let z = x - r. Is z even?
False
Let i(x) = -x**2 - 21*x + 46. Is 9 a factor of i(-21)?
False
Let g(n) = 2*n + 23. Let k be g(27). Let x = 80 - k. Does 2 divide x?
False
Let h = -1245 - -1589. Does 20 divide h?
False
Suppose -17*h + 16*h + 720 = b, -b + 4*h = -720. Does 48 divide b?
True
Let d be (1 - 0)*(5 - 3). Let x = 293 + -165. Suppose 0 = -d*z - 2*z + x. Is z a multiple of 18?
False
Let c(a) = a - 9. Let l be c(8). Let x be l - -1 - 82/1. Let o = -42 - x. Is o a multiple of 9?
False
Is 44 a factor of 69*4/24*48?
False
Suppose 424*b - 2366 = 411*b. Is 13 a factor of b?
True
Suppose -31008 = -58*b + 26*b. Does 17 divide b?
True
Let x = -37 + 89. Let g = x + -13. Is g a multiple of 13?
True
Suppose 0 = -13*b - 33 + 111. Suppose -392 = -5*c + 2*q, -b*c + 5*q + 380 = -c. Is c a multiple of 10?
True
Suppose 0 = -10*i + 9279 - 2309. Is 17 a factor of i?
True
Suppose -870 = -5*a + 3*n, -4*n - 510 - 178 = -4*a. Is 11 a factor of a?
False
Let m = -505 + 648. Is 13 a factor of m?
True
Let w = 14 - 19. Let i = w - -8. Suppose i*n + 10 = 55. Does 15 divide n?
True
Let j(b) be the second derivative of 7*b**3/6 + 17*b**2 + 9*b. Is 45 a factor of j(8)?
True
Let g(u) = u**3 - u**2 + 21. Let s(m) = -2*m**2 - 9*m + 11. Let q(y) = y**2 + 5*y - 6. Let v(x) = -11*q(x) - 6*s(x). Let k be v(0). Is g(k) a multiple of 8?
False
Suppose -10*y + 19*y = 1377. Does 5 divide y/9 + (-2 - 3)?
False
Suppose 5*f + 20 = l, l + 2*f + 3*f = 0. Is 8 a factor of l*(45/(-10))/(-1)?
False
Let f = -12 - -136. Let n = 185 - f. Is n a multiple of 24?
False
Let r = -83 - -84. Is 45 a factor of 5/((2/18)/r)?
True
Suppose 10*q = 6*q + 84. Is 14 a factor of (-2)/(1 - q/19)?
False
Let g(w) = w**2 + 6*w + 114. Is 3 a factor of g(-27)?
True
Suppose -13*h = 4*h - 10948. Does 46 divide h?
True
Does 69 divide (2615 - -7)/(5 - -1 - 5)?
True
Let i(o) = 3*o**2 - 13*o - 7. Let u be i(6). Let r = 27 + u. Is r a multiple of 12?
False
Let l = 4459 + -2695. Is 49 a factor of l?
True
Suppose -4*w + 2*l - 65 = -339, 0 = 3*l + 3. Is 14 a factor of w?
False
Let o be -3*(-86)/(-3)*1. Let a = -7 - o. Does 19 divide a?
False
Let g(b) = 5*b**2 - b + 1. Let t be g(1). Suppose 4*d + 3 = t*y - 4, 2 = 2*y - 2*d. Suppose 210 = y*w + 2*w. Is w a multiple of 8?
False
Suppose -2*f + 2777 = 5*i, 6926 = -100*f + 105*f - 4*i. Is 126 a factor of f?
True
Let q(m) = m**3 - 40*m**2 - 4*m - 90. Is q(41) a multiple of 55?
False
Suppose 0 = -2*x + 3*s + 708, -6*x + 2*s + 712 = -4*x. Is x a multiple of 90?
True
Suppose -3*m = -5*z + 720, 5*z - 351 = -2*m + 344. Is 2 a factor of z?
False
Suppose -512*o + 523*o - 12815 = 0. Is o a multiple of 20?
False
Suppose 464 = -0*p + 3*p + 4*c, 0 = -5*p - 5*c + 770. Suppose -k + 5*d = 4*k - 250, p = 3*k - 5*d. Is 22 a factor of k?
False
Suppose -48 = 2*g + k, g - 5*g + 2*k = 96. Let t = g + 16. Let u(o) = -2*o + 11. Is 17 a factor of u(t)?
False
Suppose 4*p + g - 419 = 0, 3*g = -p - 12 + 114. Does 35 divide p?
True
Suppose 500 = 1167*p - 1165*p. Is 27 a factor of p?
False
Let l(s) = 3*s**2 + 3*s - 4. Let c be ((-70)/(-15))/(2/(-3)). Let x be l(c). Suppose 5*k - 2*n - 2*n = 194, -x = -3*k + n. Is 21 a factor of k?
True
Suppose -8 = -2*y, 7*y + 5334 = 5*z + 8*y. Does 41 divide z?
True
Suppose 11*p + 98 = 362. Is 4 a factor of p?
True
Let c(x) = -x**3 - 4*x**2 + 5*x + 5. Let s be c(-5). Suppose 0 = 5*p - s*b - 45, 19 = 2*p - 5*b - 11. Suppose -3*z = p + 7, 5*m = 5*z + 45. Does 3 divide m?
False
Suppose 5*m - 3*d = 5, -5*d + 2*d = 5*m + 25. Let q be 3 + (0 - (m + 0)). Suppose 0 = q*l + 117 - 422. Does 19 divide l?
False
Let x(h) = h**2 - h - 5. Let d be x(0). Let n(k) = -k**3 - 5*k**2 + 6*k - 7. Let c be n(d). Let a = c - -57. Is 4 a factor of a?
True
Let v = -10 - -10. Suppose -5*f - 4*x = -10*f + 62, v = 2*f + 4*x - 8. Is 2 a factor of ((-144)/45)/((-4)/f)?
True
Suppose -6 = -2*x + 8*t - 4*t, 2*t = -4*x - 38. Let w = x - -36. Does 15 divide w?
False
Let i be (-15)/12*(7 + 1). Does 7 divide 18/45 + (-136)/i?
True
Let g(m) = -4*m + 70. Let a be g(13). Is 3 + 12/54 + 2372/a a multiple of 10?
False
Let x(v) = -2*v**2 - 20*v + 4. Let k(f) = -3*f**2 - 20*f + 5. Let q(w) = 3*k(w) - 4*x(w). Is q(17) a multiple of 8?
False
Let a be 9/6*8/6. Suppose v - z - z = -4, -a*v - 5*z = 8. Let o = v + 11. Does 2 divide o?
False
Let t(q) be the second derivative of -q**6/120 + 2*q**5/15 - q**4/12 + q**3/2 - 2*q**2 - 4*q. Let l(p) be the first derivative of t(p). Is 19 a factor of l(7)?
True
Suppose -44 = -3*g + 52. Let r be 162/45*(-30)/(-9). Let m = r + g. Is 22 a factor of m?
True
Let d(h) = -3*h - 30. Let l be d(-14). Suppose a - l = -4. Does 2 divide a?
True
Suppose 234 - 1122 = -8*q. Does 29 divide q?
False
Let l(c) = 125*c + 506. Does 10 divide l(12)?
False
Suppose -5*m + 18 = -2. Let d(q) = 2*q**2 - 10*q - 51. Let h be d(8). Is (9/(-6))/(h/m) even?
True
Let t(j) = 96 - 60 - 3*j + 16*j. Is t(16) a multiple of 51?
False
Let y(q) = 4 - 4 + 7 - 4*q + q**2. Suppose 58*o - 60*o - 35 = -5*h, -4*o - 35 = -5*h. Is y(h) a multiple of 14?
True
Let x = -899 - -1988. Does 35 divide x?
False
Let s(j) = j**3 - 14*j**2 + 20*j - 4. Let b be s(12). Let f = 102 + b. Does 10 divide f?
True
Let z(y) be the third derivative of y**6/24 - y**5/60 - y**3 - 43*y**2. Does 6 divide z(2)?
True
Suppose 14*v = 2*v + 3768. Is v a multiple of 37?
False
Let u(x) = -4*x - 2. Let f(k) = 1. Let w(q) = 4*f(q) + u(q). Let s be w(7). Does 18 divide (s/(-6))/(4/60)?
False
Let v(s) = s**2 + 24*s + 9. Let a be v(-20). Is (a + 1 + -3)/(-1) a multiple of 23?
False
Suppose -4*b + 101 = 29. Let g be (-914)/b + (-12)/54. Let s = -28 - g. Does 6 divide s?
False
Let u = 0 - -2. Suppose -v - n = -17, -2*v - u*n - 50 = -4*v. Is 3 a factor of v?
True
Suppose 36 = x + 35. Is 15 a factor of (x - -2) + -3 + 6 + 128?
False
Suppose -2*g - 44 = -5*k, k + 5*g = 4*k - 34. Suppose -2*b + k*z = 3*z - 653, 0 = 4*b - 3*z - 1341. Does 52 divide b?
False
Suppose -4*d - 4 + 28 = 0. Suppose 0*p - 2*p - d = -3*f, 0 = -4*f + 5*p + 8. Suppose -f*h = -37 - 5. Is 7 a factor of h?
True
Let a(y) = 8*y**3 + 4*y**2 - y - 1. Let g(t) = t**3 + t + 1. Let d(k) = -a(k) - 2*g(k). Is d(-2) a multiple of 28?
False
Let f be (-85)/(-2)*52/(-65). Let s = f + 37. Suppose s = 3*o, y + 2*o = 2*y - 7. Does 2 divide y?
False
Let n = -122 + 282. Does 16 divide n?
True
Suppose 2*t = 4*n + 22, -4*t - t + 28 = -n. Let g(j) = 5*j - 5. Is 10 a factor of g(t)?
True
Let s(m) = -124 + 4*m**2 + 124 - 4*m. Is s(-3) a multiple of 6?
True
Suppose 738 = 16*r - 3006. Does 6 divide r?
True
Suppose 0 = -32*j + 30*j + 168. Is 26 a factor of j?
False
Let k(r) = -r**2 - 8*r + 3. Let j be k(-8). Suppose -4*a - v - j*v = -212, 2*a - 118 = v. Is 19 a factor of a?
True
Suppose 5*i - 8 = -3. Let m be (16/(-40))/(i/70). Let g = m - -59. Is 14 a factor of g?
False
Suppose 5*i + 5 = -4*v, -3*v = 4*i + v + 8. Does 2 divide (-1 + i)*(-12)/(-3)?
True
Let n = 9 + -7. Is n*(-4)/24*-51 a multiple of 6?
False
Let m(h) = h**3 - 3*h**2 + h + 3. Let x be m(3). Let l be (10/x)/(1/3). Suppose -l*f + 45 - 15 = 0. Is f a multiple of 2?
True
Let f(d) = d**2 + 10*d - 19. Let b be f(-13). Let r = b + -18. Let m = 11 - r. Does 3 divide m?
True
Suppose 0 = -4*x + 7*x - 36. Let r be x/8 + (-5)/(-2). Suppose 6*u - 46 = r*u. Does 9 divide u?
False
Suppose -7*b - 18 = -4*b. Let v(r) = r**2 + r. Is 6 a factor of v(b)?
True
Let j(z) = 19*z - 692. Is 29 a factor of j(41)?
True
Suppose 9658 = 61*v - 39*v. Is v a multiple of 2?
False
Let t be 2/(-4) + 14/4. Suppose t - 12 = -3*r. Suppose r*v = -v + 5*c + 20, -3*c = 4*v - 52. Is v a multiple of 10?
True
Let l = -38 - -53. Let k = 36 - l. Suppose 0 = 5*a - k - 4. Is 5 a factor of a?
True
Let j = 48 - 123. Let a = 105 + j. Does 5 divide a?
True
Does 79 divide -65 - -73 - 101*-14?
T