 factor of a(-9)?
True
Suppose 2*y - 494 = -484. Suppose 2*h - 627 = -g, -y*g + 10*g = 2*h - 657. Is h a multiple of 31?
False
Let u(o) = o + 63. Let v be u(19). Let a = 56 - v. Let x = a + 80. Is 9 a factor of x?
True
Let x(p) = -p**3 - 34*p**2 - 391*p + 30. Is 20 a factor of x(-30)?
True
Let b be (-1)/6 - (4143/(-18) - 8). Let s = 357 - b. Let c = 90 + s. Does 10 divide c?
False
Suppose 0 = -l + 3, -3*l + 5 - 28 = -4*r. Suppose 594 + 6 = r*f. Does 4 divide f?
False
Let t(l) = -l**3 + 6*l**2 + 7*l + 8. Let o be t(7). Suppose 12*z - o*z - 456 = 0. Suppose -1045 = -z*r + 109*r. Does 19 divide r?
True
Suppose -4*v + 5*m + 7 - 16 = 0, 3*v = 2*m + 2. Suppose -v*d + 244 = -268. Is 8 a factor of d?
True
Let p(t) = 4*t - 46. Let g be p(12). Does 6 divide (-6)/((4 - (-335)/(-55)) + g)?
True
Suppose 5*t = 2*b + 125 + 103, 68 = 2*t + 5*b. Let v = 64 - t. Does 15 divide (-30)/(-8)*v/1?
True
Let j(l) = l**2 + 8*l - 1. Let d be j(-6). Let x(r) be the third derivative of r**5/30 + 3*r**4/4 + 23*r**3/6 - 302*r**2 - r. Is 20 a factor of x(d)?
False
Suppose -n + 5*d + 5561 = 1193, -4*n - 5*d + 17372 = 0. Is n a multiple of 103?
False
Is 136 a factor of 46523/6 - 1 - 95/114?
True
Let q be -3*(-6)/(-72)*-12. Suppose q*p - 683 = j, 0 = -j + 6 - 5. Does 12 divide p?
True
Suppose 0 = 2*u + 5*u - 63. Suppose -4*q + 3*q - u = 0. Let p(a) = -6*a - 26. Is 6 a factor of p(q)?
False
Let h = 728 + -438. Let f = 400 - h. Is f a multiple of 10?
True
Suppose -5*q = -3*n - 24189, 4*q + n = 20028 - 653. Is 21 a factor of q?
False
Let l(m) = 0 + 462*m + m**3 - 6 + 2 + 1 - 2*m**2 - 461*m. Let g(o) = -o**3 - 4*o**2 + 5*o + 4. Let s be g(-5). Is l(s) a multiple of 17?
False
Let f(u) = 64*u - 176. Let q be f(3). Suppose d = -b + 3, 4*d - b = 5 + 7. Is -6*(-2 + 1)*q/d a multiple of 5?
False
Let q(g) = 398*g + 7322. Does 37 divide q(40)?
False
Let f(d) = 2*d**2 + 12*d - 10. Let z(a) = -a**2. Let g(o) = f(o) + 3*z(o). Is g(5) a multiple of 10?
False
Let a be (-14)/3*6/(-1). Suppose -a = -l - 2*z, 0 = 5*l + z - 5*z - 168. Suppose 20*d - l = 18*d. Does 6 divide d?
False
Suppose -2*x - 3*z - 21 = 12, -4*x - 4*z = 60. Let v(t) = 2*t**2 + 11*t - 15. Is v(x) a multiple of 2?
False
Suppose 24*o + 189000 = 174*o. Is o a multiple of 9?
True
Let i(n) = -4*n**2 + 4*n + 24. Let s(d) = d - 7. Let q be s(8). Let c(k) = -k**2 + k + 1. Let o(l) = q*i(l) - 3*c(l). Is 3 a factor of o(0)?
True
Suppose u - 57346 = 2*s, 5*u + 5*s = 4*u + 57318. Does 21 divide u?
False
Suppose 24 = -41*p + 45*p. Suppose 7*w + h = p*w + 159, 8 = -2*h. Is w a multiple of 49?
False
Let d = -1470 - -3249. Is 3 a factor of d?
True
Let y = 11759 - 7343. Is 48 a factor of y?
True
Suppose -2*w - 68 = 4*p, -5*w - 35 = -2*p + 3*p. Suppose 2*s = -14 + 50. Let j = p + s. Is j even?
False
Suppose 147 = 3*i - 3*h, 0*i - 202 = -4*i + h. Is 8 a factor of (-4)/(-14) + 184/(-56) + i?
True
Suppose -445 = -3*d + 2*c, -3 + 18 = -3*c. Let s = d - 125. Does 8 divide s?
False
Suppose -3*i = 5*k - 13593 - 19219, 0 = 3*i + k - 32828. Is 19 a factor of i?
True
Suppose 15855 = 4*k - 5*t, -35*k - 11891 = -38*k + 4*t. Is 19 a factor of k?
False
Let w(z) = 10326*z - 2139. Is 10 a factor of w(2)?
False
Does 55 divide (-81178)/(-12) + ((-2)/(-15) - (-40)/1200)?
True
Let u(q) = q + 11*q**2 + 7 + 3*q + 3*q. Suppose 0 = s - 5*o + 13, 2*s = -169*o + 172*o - 12. Is u(s) a multiple of 17?
True
Let b(t) = 2*t**2 + 18*t - 30. Let y be b(-11). Suppose -3*i = -y*i + 3960. Is 12 a factor of i?
True
Let z(j) = -4*j - 14. Let i be z(-27). Let f = i - -34. Is 14 a factor of f?
False
Let g(w) = -4*w**3 + 110*w**2 - 50*w + 592. Is 6 a factor of g(26)?
True
Suppose 5*j = -5*z - 94 + 4, 23 = -z - 2*j. Let n(v) = -18*v + 72. Is 9 a factor of n(z)?
True
Suppose 12*y = 4*k + 8*y - 4564, 5*k + 3*y - 5665 = 0. Does 32 divide k?
False
Suppose 0 = -5*j + 25, 187*m - 183*m + 2*j = 24082. Is 102 a factor of m?
True
Let o be ((-4)/(-4) + 15)*(4 - -43). Let d be 1*-80*o/40. Does 20 divide (1 + d/(-2))/3?
False
Does 38 divide ((-100377)/6)/3*(-48)/(5 - -7)?
True
Let t be (-12)/(-20) + 12/5. Suppose -t*i = -6*i + 60. Suppose -i = -2*u - 6. Is u a multiple of 7?
True
Suppose -3*z + 11 = -4, -2*x + 4*z = -19382. Suppose 17*y - 26463 = -x. Is y a multiple of 29?
True
Is 89 a factor of (-169090)/(-25) - (-50)/125?
True
Let h(q) = -q**3 - 51*q**2 - 725*q + 24. Is h(-26) a multiple of 6?
True
Let c be 14*-195*(552/140 + -4). Suppose -157*s = -c*s - 634. Is 51 a factor of s?
False
Let s(k) = 2*k**3 - k**2 - 15*k + 25. Let r(g) = -g**3 + 7*g - 12. Let o(l) = 13*r(l) + 6*s(l). Let q be ((-12)/(-8))/(3/(-14)). Does 13 divide o(q)?
False
Let t = -3189 + 7380. Is 36 a factor of t?
False
Suppose 10*k = -7*k + 68. Suppose 0 = 5*x + 3*z - 850 - 241, 2*z = -k*x + 874. Does 11 divide x?
True
Let a(k) = 3253*k - 58. Is 31 a factor of a(2)?
True
Suppose 0 = 98*r + 15390 - 73014. Does 3 divide r?
True
Suppose 0 = 4*i + 11*i. Suppose -4*g = -20, 2*s + 3 + i = 5*g. Suppose -s*r = -13*r + 240. Is 15 a factor of r?
True
Let z be 0 - ((-4)/1 - -4). Suppose z = -4*a - 5160 - 608. Is 12 a factor of (-1)/8*a + (-1)/4?
True
Is 15 a factor of 5620/26 + 98/(-637)?
False
Suppose -5*g = -i - 56157, 179*i - 183*i - 8 = 0. Is 5 a factor of g?
False
Let z(u) = -972*u - 236. Is z(-19) a multiple of 212?
True
Let z(b) = -b**3 - 4*b**2 - 8*b + 22. Let n be z(-5). Does 7 divide (57/(-2))/(n/18 - 5)?
False
Let v(k) = -k**2 - 2*k + 28. Let m be v(-6). Let s(j) = 10 + 13*j - 7*j**2 + j**3 + m*j**2 + 18*j**2. Does 18 divide s(-14)?
False
Suppose -3*z - 5*l + 29 = 0, -4*z + 2*l + 18 + 12 = 0. Let s(f) = 5*f**2 - 9*f + 67. Is 5 a factor of s(z)?
True
Let n = -17 - -14. Let w(d) = -5*d - 1. Let s be w(n). Suppose 4*p = 20, -4*c - s*p + 193 = -9*p. Is 35 a factor of c?
False
Is 4 + 1038*((-51)/9)/(-1) a multiple of 65?
False
Suppose 120 = 12*m - 7*m. Let i = m + -21. Does 8 divide (12/14)/(((-12)/(-112))/i)?
True
Suppose -5*i = -3*s + 10 + 2701, -3*s - 5*i + 2701 = 0. Does 54 divide s?
False
Let t(d) = -4*d + 33. Let h be t(-9). Let c = 44 - h. Let n = c - -105. Is n a multiple of 8?
True
Let v = 452 + -441. Suppose v*t = 6388 + 1961. Is 33 a factor of t?
True
Let v(m) = -421*m - 402. Does 155 divide v(-12)?
True
Let v = -6384 - -11928. Suppose -2*p = -14*p + v. Is 14 a factor of p?
True
Let g(j) = 1581*j - 3126. Does 14 divide g(5)?
False
Let r(s) = -s**3 + 18*s**2 + 10*s - 29. Let w be 10275/1507 + -1 + (-26)/(-22). Does 20 divide r(w)?
True
Let m(w) = 5*w**3 + 5*w**2 - 11. Let y(k) = -k**3 + k**2 + k + 1. Let h(n) = -m(n) - 3*y(n). Is 10 a factor of h(-4)?
True
Suppose 119 = 4*c + 99. Suppose -x = -2*r - 7 - 8, 0 = c*x + 4*r - 5. Let h(q) = 27*q - 9. Is 9 a factor of h(x)?
True
Suppose -18*v + 1719 = 920 - 2855. Does 43 divide v?
False
Suppose l + 13 = -5*s, -3*l + 0*s + s + 9 = 0. Suppose w + 422 = l*w. Is w a multiple of 12?
False
Suppose 3*b - 30 = 5*o, 2*b - 2*o = -3*b + 31. Suppose 4*n = 3*l - 2882, -l + b*n - 158 = -1104. Is l a multiple of 23?
True
Let t(z) = z**3 + 52*z**2 - 120*z - 301. Is 275 a factor of t(-38)?
True
Let i(d) = d**2 + 15*d + 5. Let f be i(-15). Let j(h) = 5*h**3 - 5*h**2 + 2*h - 21. Let v be j(f). Suppose -5*q = -v - 291. Is 26 a factor of q?
True
Suppose 0 = 2*m + 2*w - 42332, 5*m - 89746 - 16082 = -4*w. Does 52 divide m?
True
Suppose 0 = -2*n + 2*l + 112, 215 = 4*n - 0*l - l. Let t be (-495)/44 + 3/(-4). Let p = n - t. Does 46 divide p?
False
Suppose 27400 = 2*j - 4*n + 9*n, -54734 = -4*j + n. Is 27 a factor of j?
False
Suppose 2*w + 2*l - 12 = 0, -w + 21*l - 2 = 20*l. Is (1/w)/((-35724)/(-4464) + -8) a multiple of 12?
False
Let w be 173/3 + (-35)/21. Let h be ((-16)/w)/((-2)/14). Suppose -h*o = -3*g + o + 90, 146 = 5*g - 3*o. Is g a multiple of 11?
False
Let q be ((-180)/9 - 7)*1. Is 1042 + -24*9/q a multiple of 21?
True
Suppose 98*v + 996136 = 426*v. Is 54 a factor of v?
False
Is 183 a factor of (2*(-4 + 3))/(12/15)*-10980?
True
Let y = 106 + -102. Suppose y*d = o + 22, 8 = 2*o - 5*d + 43. Does 11 divide (8/o)/((-14)/2695)?
True
Let r(n) = 486*n**2 + 77*n + 161. Is r(6) a multiple of 58?
False
Let i be 2 + 21 - (15/(-3))/5. Let m be (i/(-15))/(5/(-650)). Suppose -4*v = 4*s - m, -s = -v - 19 - 37. Is 6 a factor of s?
True
Suppose -4*x + 50*v = 52*v - 15084, 2 = -v. Is x a multiple of 10?
False
S