factor of h?
True
Let y(d) = -5*d**3 + 42*d**2 + 4*d + 15. Does 9 divide y(7)?
False
Let x(j) = -j**3 - 15*j**2 - 10*j + 99. Is x(-17) a multiple of 27?
False
Suppose 100*j - 106*j + 2112 = 0. Is j a multiple of 10?
False
Suppose -155 = -17*w + 100. Let o = w + 72. Is o a multiple of 8?
False
Let j be ((-6)/(-10))/(40/50)*4. Suppose 187 = u - 2*t, 606 = 12*u - 9*u + j*t. Does 57 divide u?
False
Suppose 18 + 18 = 5*a - p, -4*a + p = -28. Suppose 7*u - 2*u = 2*z, -4*z = -2*u. Let j = z + a. Is 8 a factor of j?
True
Let w = -45 - -54. Suppose -600 = a - w*a. Does 25 divide a?
True
Let q(c) = -c**2 - 7*c + 14. Let d be q(-10). Let z be 1 + (d - -3 - 0). Let x = z + 43. Does 9 divide x?
False
Let m = -17 + 27. Let c = m - -67. Is 11 a factor of c?
True
Suppose 3*w + 279 = -4*b, 2*w - 3*b + 143 = -60. Let a = 410 + w. Does 37 divide a?
False
Let n be 10/(-4)*(-6)/3. Suppose 3*g = -2*p + n, -g + p - 5 = 3*p. Suppose -39 = -g*w + 161. Is w a multiple of 13?
False
Suppose -19*o + 20*o = -7. Is (-2)/o - (-40)/7 a multiple of 6?
True
Suppose -t = -3*l - 1002, -l + 0*l = -4*t + 3964. Does 6 divide t?
True
Let q(i) = 19*i + 18. Let n be q(7). Let h = n + -11. Is h a multiple of 14?
True
Does 7 divide 32/112 - 76465/(-35)?
False
Suppose 5*z - 13 - 2 = 0. Suppose 4*m - 24 = -0*i + 3*i, 3*i - 18 = -z*m. Suppose 5*j - 2*x = 199, 4*x = 3*j - 105 - m. Is 10 a factor of j?
False
Let r(q) = 83*q - 164. Is 35 a factor of r(6)?
False
Let y = -4 - 5. Let q = 5 + y. Is (q + 6)*(-132)/(-8) a multiple of 11?
True
Suppose -2*a = -q - 126 - 166, 0 = 5*a - q - 733. Let d(n) = -n + 11. Let w be d(9). Suppose -k + a = w*k. Is k a multiple of 11?
False
Suppose -14*d + 22*d - 496 = 0. Does 8 divide d?
False
Suppose 0 = 3*g + 2*h - 54 + 15, 4*g = 3*h + 35. Suppose g*v - 1217 - 1093 = 0. Does 42 divide v?
True
Is 33584/12 + (5 - (-14)/(-3)) a multiple of 9?
True
Suppose -3*q - 165 = -4*u - 4*q, 0 = 2*q - 10. Let m = 60 - u. Suppose -8*h + 5*k + 110 = -3*h, m = 4*k. Is 8 a factor of h?
False
Let v(n) be the first derivative of -n**6/360 - n**5/10 + 7*n**4/24 + 2*n**3 + 7. Let g(w) be the third derivative of v(w). Is 14 a factor of g(-7)?
True
Suppose 0 = -7*f + 22*f - 2205. Is 12 a factor of f?
False
Suppose 5*f - 7*f = -156. Let k = f + -8. Does 14 divide k?
True
Let w(t) = 85*t + 510. Let r(y) = -3. Let b(k) = -170*r(k) - w(k). Let s(j) = j. Let z be s(-1). Is b(z) a multiple of 25?
False
Let g = 291 + -147. Is 24 a factor of g?
True
Let a = 460 + -243. Suppose -5*d = 3*l - a, 0 = -3*l + 2*l - d + 75. Does 30 divide l?
False
Let x = -362 + 759. Is 13 a factor of x?
False
Suppose 190*x = 202*x - 492. Does 2 divide x?
False
Let r be 8/(-6) - 342/(-54). Suppose -58 = -0*i - 2*i - r*p, 5*p + 59 = i. Does 13 divide i?
True
Let k(p) = -p**3 + 6*p**2 + 6*p + 10. Let x be k(7). Let i(d) = 10 - 15*d - 13*d**2 + d**x + 6*d - 4*d. Is 8 a factor of i(14)?
True
Suppose 0 = 4*r + 20, -4*k + 7*k - r - 4352 = 0. Does 7 divide k?
True
Let d be 9*1*(5 - 3)/6. Suppose 168 = -p + d*p. Does 21 divide p?
True
Let q(v) be the first derivative of v**4/12 - v**3/6 + v**2 - 3*v + 1. Let s(o) be the first derivative of q(o). Does 16 divide s(6)?
True
Suppose 3*y - 5*y + 5*x + 1370 = 0, 0 = 4*y - 2*x - 2756. Suppose 3*l = -z + y, l - 681 = -2*l - 4*z. Is 50 a factor of l?
False
Suppose 0 = 2*w - 5*g - 6, -5*w + g - 11 = -3. Let x(i) = -26*i + 20. Let l(p) = 17*p - 13. Let q(u) = -8*l(u) - 5*x(u). Does 8 divide q(w)?
True
Let h = -10 - -7. Let i(x) be the third derivative of -13*x**4/24 - x**3/2 - 22*x**2 - 1. Is i(h) a multiple of 11?
False
Is 43/(-258) - 1742/(-12) a multiple of 2?
False
Suppose 5*c + 28 = 4*w, -4*w + 2 = c - 2. Is 35 a factor of 141 + (w/2)/(1/2)?
False
Let f = 292 + -240. Is f a multiple of 13?
True
Suppose 0 = -5*o + 5, -3*o - 1941 = 23*d - 26*d. Is d a multiple of 8?
True
Suppose -10*n + 12*n - 3*h - 239 = 0, 2*n = -3*h + 209. Does 8 divide n?
True
Let m be (-3)/((-12)/(-8))*-1. Let a(w) = -10*w + 3. Let h be a(m). Let g = 46 + h. Is g a multiple of 13?
False
Suppose -2*u = 5*g - 290, 4*g - 220 = -0*g - 4*u. Does 13 divide (-40)/(-25)*(g - 0)?
False
Let b(m) = 15*m**2 - 2*m. Is 31 a factor of b(-2)?
False
Does 60 divide 263416/133 - (-8)/(-14)?
True
Let v(b) = 2*b**2 - 13*b + 13. Suppose -4*f = 7 - 51. Does 16 divide v(f)?
True
Suppose i = 4*m + 22 + 13, 2*m + 15 = i. Let p be 15/m + (-71)/(-2). Let b = p - 19. Is b a multiple of 5?
True
Suppose -874*h + 870*h + 3536 = 0. Is h a multiple of 92?
False
Suppose -1 = -z + 1. Suppose z*l - 16 - 354 = 0. Let p = l - 96. Is p a multiple of 21?
False
Let q(z) = z**2 - 18*z - 25. Let v be (64/40)/((-4)/(-50)). Is 3 a factor of q(v)?
True
Suppose 0 = -4*c - 2*t + 148, 0 = -2*c + 6*c + t - 148. Suppose -c = -5*l - 7. Is l a multiple of 6?
True
Let m be 1*(122/1)/(-2). Let z(g) = -g**2 + 2*g + 22. Let j be z(-7). Let b = j - m. Does 10 divide b?
True
Let d = 26 - 24. Suppose d*s - 81 = -2*s + 3*f, -2*f - 6 = 0. Is 9 a factor of s?
True
Is (-4 - (2 - 1)) + 229 a multiple of 14?
True
Suppose 2*h + 2*j = 79 + 177, -2*j + 388 = 3*h. Is h a multiple of 10?
False
Let f(i) be the first derivative of i**4/4 + 10*i**3/3 + i**2/2 - 5*i - 7. Let u be f(-9). Suppose u = 6*d - 5. Is 4 a factor of d?
True
Let d(z) = 26*z**3 - 6*z**2 - z - 6. Let s(w) = 26*w**3 - 7*w**2 - w - 7. Let f(h) = -7*d(h) + 6*s(h). Let r be f(-1). Let l = r - 2. Does 12 divide l?
False
Suppose -m - 1 - 3 = 0. Let n(w) = -5*w + 8. Let b be n(m). Let p = b - 10. Is 18 a factor of p?
True
Let g(w) = -2*w**2 - w + w**2 - 1 - w**2 + 6*w**2. Let y be g(-1). Suppose m - y*m = -225. Does 25 divide m?
True
Suppose -z + 2531 = 4*z + 3*r, -r + 2537 = 5*z. Does 9 divide z?
False
Let s(c) be the first derivative of -c**6/120 - 7*c**5/60 - c**4/6 - c**3 + 3*c**2/2 - 5. Let h(j) be the second derivative of s(j). Is h(-7) a multiple of 22?
True
Let n(w) = -4*w + 4. Let s be n(4). Let r be (-6)/10*(s + -43). Suppose -i = 4*v - r - 22, i - 3 = 0. Is 11 a factor of v?
False
Let x(a) = -a**3 + 9*a**2 - 8*a - 6. Let y(g) = -g - 7. Let c be y(-13). Suppose -2*h - n - c + 20 = 0, 8 = h + n. Is x(h) a multiple of 27?
True
Is 4 a factor of 40/180 - (-1886)/18?
False
Let l(v) = v**2 + 7*v + 2. Let f be 14*(0 + 2/(-4)). Let k be l(f). Suppose 77 = 5*m + 2*n, m = 3*m - k*n - 42. Does 11 divide m?
False
Let a(g) = 42*g - 264. Is 138 a factor of a(26)?
True
Does 40 divide (-2)/(-8) - (-22 + 32637/(-92))?
False
Let c = -14 - -16. Suppose 141 = p + c*p. Let r = p + 17. Is r a multiple of 16?
True
Let d(b) = 14*b**2 - 24*b + 99. Is d(12) a multiple of 29?
True
Suppose o = -4*a + 1, 2*o + a - 14 = -o. Suppose -o*l - 126 = -8*l. Does 7 divide l?
True
Suppose -241 = -3*i - 6*h + h, -375 = -5*i - 3*h. Is 9 a factor of i?
True
Suppose -w + 5*i + 11 + 37 = 0, 4*w - 100 = -3*i. Does 5 divide w?
False
Let n = 18 + -16. Suppose 0 = -3*g - x + 12 + 1, -n*g - 4*x = -22. Suppose -v - 4*d = -39, -g*v + 5*d + 53 = d. Does 5 divide v?
False
Let m(q) = q**3 + 7*q**2 + 9*q - 2. Let o be m(-5). Suppose c = o*c - 288. Does 12 divide c?
True
Let c be 3*-3*(-84)/7. Suppose 0 = 3*h - 3*q - 102, -4*h - q - 2*q = -c. Does 10 divide h?
True
Let x be (-2)/11 + (-456)/(-88). Suppose -x*s = -11 - 9. Suppose 4*z + 2 = 2*z, -136 = -3*c + s*z. Is c a multiple of 22?
True
Let q(s) = 324*s - 2. Let o be q(1). Suppose 8*x - o = 246. Is x a multiple of 5?
False
Let r(l) = 5*l**2 + l + 3. Let z be r(-6). Suppose -z = -2*p + 161. Does 28 divide p?
False
Is ((-120)/25)/(-6)*(-210)/(-2) a multiple of 6?
True
Let m be 28/(-6) - (-3)/(-9). Let t(z) = z + 3. Let o be t(m). Let f(j) = -11*j - 3. Is f(o) a multiple of 19?
True
Suppose 5*u - 2*i + 4*i = 235, -235 = -5*u - 3*i. Suppose 5*z = u + 288. Does 11 divide z?
False
Let s = -201 + 409. Suppose -76 = 2*t - s. Does 33 divide t?
True
Let g(o) = 145*o**3 + 4*o**2 - 34*o + 62. Is 15 a factor of g(2)?
True
Is 35 a factor of 231/(-44)*400/(-12)?
True
Suppose -5*u + 753 = 3*q, 3*q + 0*q + 3*u = 747. Is 41 a factor of q?
True
Let f(a) = -a**2 + a + 36. Let o(n) = -n**3 + 4*n**2 - 3*n - 2. Let m be o(2). Does 13 divide f(m)?
False
Let q(c) = -2*c**2 - 9*c + 1. Let f be q(-6). Let z = -8 - f. Is 3 a factor of z?
True
Let h(u) = -3*u + 2. Let a = -7 - -14. Let t be h(a). Let x = 59 + t. Does 10 divide x?
True
L