 divide t?
True
Let g(y) = -y**3 + 2*y**2 + 4*y. Let h be g(3). Suppose x = a + 4*a + 19, 6 = h*x + 2*a. Is 7 a factor of 20 - -2 - (3 - x)?
False
Suppose 2*a + 3*g = -0*g + 2, -4*g = a - 1. Suppose 0 = -2*t + x + 137, -5*x - a = 14. Does 18 divide t?
False
Let c = -5 + 7. Let g(a) = -26*a**3 + 2*a**2 + 4*a - 4. Let j be g(1). Does 20 divide (c/(-3) + -1)*j?
True
Suppose 118*x - 130*x + 39552 = 0. Is 16 a factor of x?
True
Suppose -m = 4*m - 10. Let y(x) = x**m - 9*x - 1 + 7*x - 2. Is 8 a factor of y(-4)?
False
Let k = -776 - -1192. Suppose -4*a + k = 2*v, 0*a + a = -v + 206. Suppose -o = -5*q + v, -4*o + 140 = 5*q - 44. Does 20 divide q?
True
Let p(f) = 6*f**3 - 7*f**2 - 7*f + 7. Let i(g) = 12*g**3 - 15*g**2 - 15*g + 15. Let k(b) = -6*i(b) + 13*p(b). Is 2 a factor of k(1)?
False
Suppose 4*r = 4*j + 12, 7*r - 2*r = 2*j + 21. Suppose 0 = -r*b + 45 + 15. Is b/66 - (-414)/22 a multiple of 18?
False
Suppose 0*n = -3*n - 3*m - 18, -m = 4. Let q be 0 - (n + (0 - -3)). Let y = 13 + q. Is y a multiple of 3?
True
Let i be 1 + 4/(-5)*(-45)/(-18). Does 20 divide 2*(i/4 + (-2093)/(-52))?
True
Let g(n) = -n**3 + 5*n**2 - 9*n - 4. Let p be g(-5). Suppose p = 5*l - 119. Does 12 divide l?
False
Let c(f) be the first derivative of 6*f**3 + 5*f**2/2 + 13*f + 11. Does 14 divide c(-3)?
False
Let t(b) = 2*b**2 + 3*b + 2. Let f be t(-2). Suppose 4 = 4*a, 70 = c - f*a + 21. Is 12 a factor of c?
False
Let j(s) = s**3 - 5*s**2 + 10*s - 6. Let r be j(6). Suppose -2*g + 19 = i - 29, -4*g - 5*i = -r. Let x = -10 + g. Is 15 a factor of x?
True
Let d(i) = i + 15. Let g be d(-6). Is 46 a factor of 33080/180 + 2/g?
True
Let k = 87 + -83. Suppose 924 = k*d + 284. Does 32 divide d?
True
Suppose -3*p + 2*d = -1117, -4*d + 441 + 309 = 2*p. Is 25 a factor of p?
False
Suppose 0 = -17*j + 26*j - 12474. Is 31 a factor of j?
False
Let g(v) = 42*v**2 + 3*v - 1. Is g(-1) a multiple of 5?
False
Let k(g) = 3*g**3 + 61*g**2 - 69*g + 37. Let s(l) = l**3 + 31*l**2 - 34*l + 19. Let i(f) = -2*k(f) + 5*s(f). Is 7 a factor of i(32)?
True
Let n(q) = 13*q + 5. Let v be n(10). Suppose -o = 3 - 7. Is 15 a factor of v/6 - 2/o?
False
Let x(n) = -n**2 - 20*n - 5. Let q be x(-15). Let a = q - -63. Is 19 a factor of a?
True
Suppose 5*t + 5*q = 960, -3*t - 5*q = -426 - 148. Is t a multiple of 5?
False
Let r(u) = -2*u + 50. Let d be r(8). Let v = 91 - d. Is v a multiple of 13?
False
Let u(b) = -b - 1. Let x(s) = -5*s + 12. Let y(q) = -4*u(q) + x(q). Is 2 a factor of y(5)?
False
Does 3 divide (6 + -5)*(1 + 0) + 38?
True
Let y = 106 - 102. Suppose s + y*r = -s + 168, -5*r = -10. Is 20 a factor of s?
True
Let g(j) = -j**2 - 25*j + 22. Is g(-18) a multiple of 23?
False
Suppose -64*l = -60*l - 5020. Suppose h + l = 5*b - 2*h, 263 = b - 3*h. Is 13 a factor of b?
False
Let w(c) = 2*c**2 + 33*c + 11. Is w(-24) a multiple of 7?
True
Suppose -39 = -3*q - 4*f + 21, -5*q - 5*f + 100 = 0. Is q a multiple of 5?
True
Suppose 3*j = 4*n - n + 363, 0 = 3*j - 5*n - 369. Is 11 a factor of j?
False
Suppose 3*i + 3*l - 69 = -183, i + 3*l + 46 = 0. Suppose -112 = -11*v + 559. Let q = i + v. Is 9 a factor of q?
True
Suppose -2*o + 202 = -4*k, -4*o - 2*k + 412 = -6*k. Is 16 a factor of o?
False
Suppose 1 + 23 = 6*r. Suppose w + r = -3*m, 5*m + 7 = -0*w - 2*w. Let g(c) = -49*c**3 + 3*c**2 + 3*c + 1. Does 29 divide g(m)?
False
Let l be (81/(-6))/(8/(-16)). Let n = 26 + l. Does 7 divide n?
False
Let c(q) = -7 + 6 - 10 + 5*q. Let z be c(-14). Let r = z - -121. Does 6 divide r?
False
Suppose 0 = -5*h + 13*h - 1120. Is h a multiple of 10?
True
Suppose -5*s = 2*v + 2*v, v = -2*s. Suppose s*o = -5*o. Suppose -3*a - 2*a - 3*h + 73 = o, 3*a = -4*h + 46. Is 7 a factor of a?
True
Let x be (-385)/(-22) - (-1)/2. Suppose -2*c + 3*c = x. Suppose 0 = -8*h + 7*h + c. Is 9 a factor of h?
True
Suppose 5*i + 3*x - 3334 = 0, -3*x + 5*x - 1332 = -2*i. Is i a multiple of 22?
False
Is 6 a factor of ((-170)/25 + 5)/(6/(-80))?
True
Suppose 4*t + 247 = h - 1238, 4*h - t - 6000 = 0. Is h a multiple of 11?
False
Let u(v) = -v**3 + 6*v**2 - 5*v + 2. Let m be u(5). Let z = 225 - 139. Suppose -3*x + z = -m*x. Is 22 a factor of x?
False
Suppose -3*z - 48 = -y, 1 = 2*y - z - 95. Does 48 divide y?
True
Suppose 6*f = f - 5*s, -3*f - 5*s - 8 = 0. Suppose 2*d = -8, 57 - 21 = 4*i - f*d. Suppose 50 = i*p - k - 15, 4*k - 20 = 0. Is 7 a factor of p?
True
Suppose -2*a = -4*f + 20, 0 = 2*a - 0*a + 8. Suppose l = -f*s + 96 + 55, -l - 104 = -2*s. Is 17 a factor of s?
True
Is (6 - 423)*(-30)/9 a multiple of 3?
False
Suppose -4*c = -c, n - 3 = -2*c. Suppose d - 20 = -n*d, 2*z = -5*d - 291. Is z/(1 - 3) + -4 a multiple of 15?
True
Suppose 9*d - 579 = 6*d. Suppose 732 = -0*y + 4*y - 4*q, -y - 4*q + d = 0. Is 37 a factor of y?
True
Suppose 0 = -3*w + w. Let f(l) = l**2 - l + 5. Let r be f(w). Does 34 divide (-4 + r)/((-3)/(-204))?
True
Let y(z) = -z**2 + 2*z + 2. Let n be 1/(-3)*3 - 2. Let j(w) = 2*w**2 - 3*w - 3. Let m(o) = n*j(o) - 7*y(o). Does 9 divide m(7)?
True
Let q be (-2)/(-3) + 763/21. Suppose -4*a - 20 = -r + q, 3*a - 377 = -5*r. Is 17 a factor of r?
False
Let p(g) = -3*g**3 + 2*g**2 + 4*g - 6. Let k(q) = 4*q**3 - q**2 - 3*q + 7. Let l(c) = -4*k(c) - 5*p(c). Is l(-7) a multiple of 23?
False
Suppose 0 = 3*x - 5*t - 414, 2*x = -t - 51 + 327. Is 6 a factor of x?
True
Does 14 divide (-5)/15 - 13614/(-18)?
True
Suppose 5*h = 2*a - 16 + 106, h - 31 = 3*a. Let b(u) = -u**3 + 16*u**2 + 12*u + 25. Does 31 divide b(h)?
True
Suppose 0 = q - 3*v + 1, 4*q - 22 = 2*v - 3*v. Let y(b) be the third derivative of 5*b**4/24 - b**3/3 - 17*b**2. Does 8 divide y(q)?
False
Let z be -4*((-6)/28 + 8/(-28)). Is 10 a factor of 3/6*z*(5 - -5)?
True
Let p(y) = 6*y**2 - 2. Suppose -1 - 9 = -5*h. Let d be p(h). Suppose -38 - d = -5*u + 3*w, 0 = -3*u - 5*w + 70. Is 8 a factor of u?
False
Let l(j) = j + 1. Let k be 202/18 - 2/9. Let u be l(k). Does 9 divide -6*(u/3 - 8)?
False
Let k be (1*2)/(-4)*(-864)/(-18). Does 2 divide ((-9)/2)/(18/k)?
True
Let p = 541 - -508. Is 45 a factor of p?
False
Let h(m) = -4*m**2 + 4*m - 8. Let x be h(5). Let y = x + 110. Does 11 divide y?
True
Suppose 2 = -g - 4*z, -z + 4*z = 5*g - 13. Is 60 + (-4 - -5) + g a multiple of 21?
True
Let y = -109 + 288. Is y a multiple of 19?
False
Let p be 1/(1*1/3). Suppose 18 = 131*h - 122*h. Is 17 a factor of (h/p)/((-18)/(-2349))?
False
Let s(w) = -w**3 + 2*w**2 - 1. Let r be s(2). Let a = r - -6. Suppose -3*k = 3*t - 33, 5*k - a*t = -7 + 32. Does 4 divide k?
True
Let j = -23 - -22. Let k be j/(-6) - 2188/24. Let f = -56 - k. Is f a multiple of 9?
False
Suppose -5*o - 4*p = -159, -4*p - 32 = 4*o - 160. Suppose 0 = 5*m - 2*l - 91, 3*l - 4*l + o = 2*m. Does 4 divide m?
False
Suppose 87*u + 2475 = 98*u. Is u a multiple of 5?
True
Suppose 0 = -2*k + k + 1786. Does 11 divide k/14 + (-12)/(-28)?
False
Suppose 1740 = 51*x - 48*x. Is 10 a factor of x?
True
Let f = 104 + -101. Suppose 2*u - 2*a = 144, f*u - 120 = -5*a + 96. Is 36 a factor of u?
True
Let x(s) = 2*s. Let z be x(6). Suppose 0*p + z = 3*p. Suppose p*k - 142 = 42. Is k a multiple of 19?
False
Does 37 divide 20/(-4) + -54*(-255)/6?
False
Let w = -250 - -552. Does 39 divide w?
False
Let n = 34 + -33. Let b = -10 + n. Let u(l) = -l + 20. Is 13 a factor of u(b)?
False
Let t(x) = x**2 + 6*x + 3. Let a be t(-6). Suppose u + 2*u = -a. Does 4 divide 10 - u - (4 - 5)?
True
Let x be 1 + 3*(3 + -2). Suppose 3*f - 6*f = -9. Suppose x*q + f*h - 148 = h, -q + 23 = 4*h. Is q a multiple of 11?
False
Let p = 454 + -204. Let m be (3/6 - 1) + (-1047)/6. Let s = p + m. Does 22 divide s?
False
Suppose 5*o - 12 = 2*o. Suppose 2*a = -4*y + 16, y + 2*a - 2 = -o. Suppose 22 = y*h - 5*h. Does 11 divide h?
True
Let p(d) = -d**3 + 10*d**2 - 24*d + 4. Let i be p(5). Suppose 156 = 13*b - i*b. Does 3 divide b?
True
Suppose -22*d - 5928 = -5*n - 25*d, -4*n + 4772 = -5*d. Is 25 a factor of n?
False
Let w(y) = -y + 1. Let z(v) = 6*v - 2. Let x(d) = 18*w(d) + 2*z(d). Is 28 a factor of x(-7)?
True
Suppose 4*i - 5*z = -144, -z = 2*z. Let b = 109 + i. Let d = b + -49. Is 8 a factor of d?
True
Is 1995 - ((4 - 9) + 0) a multiple of 125?
True
Let x = -8 - -94. Is x a multiple of 25?
False
Suppose 14*y - 1824 = 10*y. Suppose 9*l - l = y. Is l a multiple of 12?
False
Let u = -121 - -349. Is 12 a factor of u?
True
Suppose