f h(6)?
True
Suppose 6*a = -0*a + 108. Suppose -6 = 4*g - a. Suppose -g*x = -0 - 54. Is 6 a factor of x?
True
Suppose 27085 = 4*h - j - 19512, 2*j - 46594 = -4*h. Is 11 a factor of h?
True
Let t be (-6 - (2 - 5))/(2 - 3). Suppose -57*d + 59*d = -4*l + 1064, t*l = 2*d - 1064. Does 4 divide d?
True
Suppose 495495 + 217721 = 28*n. Does 17 divide n?
False
Let u(j) = 83*j**2 + 24*j + 65. Does 9 divide u(-3)?
False
Let g(w) be the first derivative of -w**4/4 - 11*w**3/3 + 19*w**2/2 - 16*w + 5. Let d be g(-14). Suppose 34*o = 31*o + d. Does 17 divide o?
True
Let h(u) = u**2 - 3*u - 501. Let v be h(24). Let j(i) = -3 + 2*i + i**3 + 2*i + 6*i**3. Is j(v) a multiple of 22?
True
Let u be 146*(13 + -6)/7. Suppose -9*i = -214 - u. Does 10 divide i?
True
Let i(s) = -18*s + 1370. Is 8 a factor of i(17)?
True
Let u(v) = 13 + 7*v**2 - 4 - 4*v - 3 + 3*v. Let l be u(-5). Suppose -9*j + 15*j = l. Is 4 a factor of j?
False
Let q = -6 + 4. Let l(k) be the third derivative of 37*k**5/60 + k**4/12 + 3*k**2 - 55. Is 9 a factor of l(q)?
True
Suppose -30*a + 25*a = -670. Let d = 488 - a. Does 56 divide d?
False
Let a = 3388 + -3172. Is a a multiple of 122?
False
Let v(s) be the first derivative of -s**4/2 + 8*s**3/3 - 11*s**2/2 - 7*s + 9. Let l be v(7). Let n = -173 - l. Is n a multiple of 40?
False
Is 2 a factor of ((-26)/(-13))/(-4) - (-20460)/8?
False
Let q(b) = -b**2 - 15*b - 27. Let u be q(-13). Let d be u - (-10 - (-5)/5). Let g(v) = -v**3 + 9*v**2 - 2*v. Is 12 a factor of g(d)?
True
Let q(c) = -3*c**3 - 15*c**2 - 31*c - 175. Suppose 35*o - 30*o = -50. Is q(o) a multiple of 109?
True
Let c be (-52)/(-28) + (-29)/(-7) + -4. Does 8 divide 3380/25 + c + 22/(-10)?
False
Let j(q) = -203*q - 2. Let c be j(-2). Let z = c + 1108. Is ((z/20)/7)/((-2)/(-10)) a multiple of 9?
True
Let w be 4 - 25647/(-21) - 2/7. Does 30 divide (w/140)/((-1)/(-72))?
True
Let t = 603 - 598. Suppose 4*k + 3*n - t*n - 370 = 0, 0 = -4*n - 4. Is 12 a factor of k?
False
Let r(w) = 17*w**2 + 305*w + 2398. Is r(-8) a multiple of 27?
False
Suppose 409*x - 73681 - 22434 = 0. Is 5 a factor of x?
True
Suppose 6139 = g - 2*z - 3499, 2*z = -2*g + 19324. Is g a multiple of 50?
False
Let b(c) = c**3 - 9*c**2 + 6*c + 11. Let v be b(6). Let d = v + 57. Does 4 divide (d/5)/1 - 1976/(-95)?
True
Let q be (218/(-6))/((2/(-6))/1). Let i = q + -104. Suppose -i*s + 758 = -3*g + 304, 0 = -2*g + 4. Does 11 divide s?
False
Let y be (-4 + -2)/((-14)/(-4) - 2). Let h be (-75)/(-30)*(y/5 + 0). Let r(j) = -24*j**3 - j**2 - 1. Is r(h) a multiple of 13?
False
Suppose 12 + 3 = -3*g, g = 5*z - 55780. Does 38 divide z?
False
Let a(k) = 3*k**2 + 7*k - 51. Let n(u) = 2*u**2 + u - 25. Let f(j) = 3*a(j) - 5*n(j). Let s(b) = -5*b - 3. Let z be s(-2). Does 23 divide f(z)?
False
Let a(p) = 256*p + 2. Let o(l) = -513*l - 3. Let v(r) = 11*a(r) + 6*o(r). Let g be v(-2). Suppose 10*m = 182 + g. Does 14 divide m?
False
Suppose 641445 = -162508*x + 162523*x. Is 66 a factor of x?
False
Is 22 + -3 + 2381/1 a multiple of 6?
True
Suppose -3*z = 5*k - 248, 3*k - 80 = -9*z + 8*z. Suppose 8*p = 6*p + z. Suppose 57 = 4*u - p. Is 5 a factor of u?
True
Suppose 14*g + 45*g = 5*g. Suppose -20*x + 15*x = g, 5*y - 1145 = 3*x. Is 20 a factor of y?
False
Let o(a) = -3644*a - 127. Does 47 divide o(-4)?
False
Suppose 0 = 5*c - 66 + 241. Let h = c - -35. Suppose 203 = v - f - 66, h = 3*v - f - 797. Is v a multiple of 24?
True
Let k = -185 + 254. Let g = k - -71. Is 20 a factor of g?
True
Let w(l) = -l**3 + 9*l**2 + l - 1. Let j be w(9). Let s(t) = 12*t + 5. Let y be s(j). Suppose -5*i - 100 = -5*n, 0 = 5*n - 4*i - 0*i - y. Is n a multiple of 3?
True
Let p be (6 + -36)*(-1)/2. Suppose 22*u = p*u + 2807. Does 20 divide u?
False
Suppose -109*n - 2192128 = -365*n. Is n a multiple of 135?
False
Let d be 22/(-4) - (-69)/46. Is (-33)/12 + 3 - 395/d a multiple of 11?
True
Does 35 divide 16/(-28) + 279076/(-21)*(-117)/21?
False
Let m = -119 + 121. Suppose 4*w + 260 = r, -3*w - 804 + 309 = -m*r. Is 15 a factor of r?
True
Suppose 3*c + 6*o = -80 + 1088, 0 = 5*o + 15. Is 9 a factor of c?
True
Let i(w) = -3*w + 28. Suppose -29 = -5*o + 16. Let c be i(o). Suppose -x = -c - 184. Is 37 a factor of x?
True
Let l = -32 + 61. Let k(x) = x**2 - x + 2. Let y be k(4). Let c = l - y. Is c even?
False
Let r(f) = -28 + f**3 + f - 2*f**2 + 17 + 6*f**2 + 18. Let d be r(-4). Does 21 divide d - (0 - (-195)/(-5))?
True
Let r be 36/8*2/(-3)*-1. Suppose -11635 = r*x - 5*i, 3*x - i = 3*i - 11630. Is x/(-35) - (-8)/(-14) a multiple of 26?
False
Does 180 divide (-1)/(-4) + -441*3728/(-192)?
False
Let u(z) = -59*z + 2. Let v be u(-5). Suppose m = 5*y - v, 19 - 25 = -2*m. Is 4 a factor of y?
True
Suppose -5*x + 298 = -2*s, -x + 55 = s - 6. Suppose 0 = -53*y + x*y - 462. Is y a multiple of 22?
True
Is -4*(93/12 + -8) + 37917/3 a multiple of 20?
True
Is (-4 + 41*-14)*68/8*-1 a multiple of 17?
True
Suppose -137 = r - 30. Does 4 divide r/(0 - (0 - (1 + -2)))?
False
Suppose -4*n - 36052 = -2*a, -2*a - 2*n + 7714 + 28314 = 0. Does 286 divide a?
True
Let j = -134 + -192. Let t = 417 + j. Is t a multiple of 10?
False
Let n = 24 - 44. Let g be (-2)/(5 + -9)*(n + -2). Let s(f) = 2*f**2 - 2*f - 49. Does 31 divide s(g)?
False
Suppose -11*z - 23 = 10. Let o(w) = -96*w - 48. Is o(z) a multiple of 12?
True
Let j(b) = 455*b - 4234. Is 3 a factor of j(25)?
False
Let i(f) = 883*f**2 - 29*f + 63. Is 4 a factor of i(2)?
False
Suppose -18*k = -31*k + 26. Suppose 6*x - 3656 = 2*x - 4*r, -2*x + k*r + 1844 = 0. Is 51 a factor of x?
True
Let l(a) = a**3 + 15*a**2 - 15*a - 292. Does 5 divide l(-10)?
False
Let z be 1 - 268/((-16)/4). Let j = -64 + z. Suppose j*y = -b + 183, -240 = -2*y - 3*y - 5*b. Does 14 divide y?
False
Let w(m) = 3*m**3 + 14*m**2 - 56*m + 568. Is w(14) a multiple of 58?
False
Let z = 6504 - 5217. Is 9 a factor of z?
True
Suppose -10*t - 20856 = -22*t. Does 22 divide t?
True
Suppose q - 5*s = 15, 15 = 4*q - 18*s + 13*s. Suppose -113*z + 115*z - 510 = q. Is 49 a factor of z?
False
Is (-1060)/12*(-3 - (2 - 2)) a multiple of 3?
False
Let f be (-12)/(-8)*4/(-3). Does 34 divide (f + (-358)/(-5))/(16/80)?
False
Let q = -2147 + 3652. Suppose -1289 = 2*b - q. Does 2 divide b?
True
Let q(w) = -5*w + 3. Let h be q(-4). Suppose -3*v + 35 = h. Suppose -5*d + 2*j = -45, 3 + 5 = 4*d + v*j. Is d a multiple of 5?
False
Let y = -660 - -664. Suppose 11*a - y*a - 5159 = 0. Does 39 divide a?
False
Let y(b) = 3*b**2 - 6*b + 1. Let f(x) = -16*x**2 + 29*x - 5. Let d(r) = -2*f(r) - 11*y(r). Let p be d(6). Suppose -p*n + 541 = 101. Does 40 divide n?
True
Let m(o) = -o**3 + 7*o**2 + o - 4. Suppose 9*u + u = 70. Let a be m(u). Let s(z) = 3*z**2 - 2*z - 2. Is s(a) a multiple of 19?
True
Suppose 0 = -2*m - 3*b + 3, 0 = 5*b + 28 - 3. Suppose -1750 + 454 = -m*u. Does 4 divide u?
True
Is 26 a factor of 4/(-6) + 1716800/444?
False
Suppose -221 = -5*i + 114. Suppose -p = -109 - i. Suppose 0*z - p = -4*z. Is 4 a factor of z?
True
Let k = 51 + -36. Let z(j) = j**2 + 9*j - 23. Let x be z(-12). Let d = k + x. Does 14 divide d?
True
Is 32 a factor of ((-2259)/502)/((-3)/128)?
True
Suppose 5*z - 2*i = z + 342, -5*z = -5*i - 425. Suppose -2*v + z = 2*y, -y + v + 42 = -3. Does 44 divide y?
True
Suppose 161*l = 159*l. Is 2 - ((l + -4 - -4) + -47) a multiple of 10?
False
Let a = -25219 + 32548. Is a a multiple of 6?
False
Suppose -3*d + 14*g - 17*g = -45069, 75112 = 5*d + 2*g. Is 37 a factor of d?
True
Let m = -758 - -4754. Is 18 a factor of m?
True
Suppose 73*w + 68*w = 46*w + 641250. Does 75 divide w?
True
Let b(o) = o**3 - 26*o**2 - 54*o - 6. Suppose -62 = -2*u - 0*c + 2*c, -4*c = 2*u - 44. Is b(u) a multiple of 5?
True
Let c(z) be the third derivative of 5*z**4/24 + 19*z**3/2 + 7*z**2 + 7. Is 11 a factor of c(6)?
False
Let h(i) = -23*i**3 + 9*i + 10. Is 3 a factor of h(-3)?
False
Let f = -222 - -370. Let j = 487 - f. Is j a multiple of 18?
False
Suppose 4*p + 2*l - 44 = 0, -20*p + 15*p = 2*l - 53. Let m(j) = 22*j - 88. Is 10 a factor of m(p)?
True
Suppose -55*p + 53*p = z - 5089, z = -4*p + 5089. Is 166 a factor of z?
False
Let v = 99 + -100. Is -51 + 49 + v*3*-15 even?
False
Let y be (3/(-6))/(1/(-21588)). Let i = 4809 - y. Does 18 divide i/(-38) - (-2)/(-4)?
False
Let q = -576 + 855. Let m = q - 53. Is 8 a factor of m?
False
Suppose 0 =