(-1064) - (-19594)/7 a multiple of 80?
True
Suppose 13*x - 18*x = 2*p - 40410, -4*x = p - 32328. Does 21 divide x?
False
Suppose 2*o - 289 - 19 = 0. Let g = -96 + o. Suppose -44 = -g*d + 57*d. Is d a multiple of 9?
False
Let d = -240 - -245. Suppose -8*b + 7*b = -d*i + 4151, -3*i = -5*b - 2473. Is 6 a factor of i?
False
Let i(d) = -d**2 - 82*d - 1446. Is 37 a factor of i(-55)?
False
Let o(s) = 8*s**2 - 75*s + 217. Is 64 a factor of o(3)?
True
Suppose t = -4*t + 65. Suppose 2*g - t = -25. Let d(o) = -3*o**2 - 19*o + 2. Is 6 a factor of d(g)?
False
Let r be (-12776)/(-40) - (34/10 - 3). Let d = r + -217. Is 51 a factor of d?
True
Suppose -4*d - 2*d - 216 = 0. Let u = -12 - d. Suppose -u = 2*t - 234. Is 35 a factor of t?
True
Suppose -44 = -4*d - l, 0 = 5*d - 3*l - 26 - 46. Suppose 1 = -i + 3. Suppose 0 = -i*g + 2*j + d, -4*j = 5*g - 3*j - 60. Does 7 divide g?
False
Let x(z) = -8*z - 23. Let u be ((-1)/(-4))/(19/(-114))*6. Is 23 a factor of x(u)?
False
Let s(x) be the third derivative of x**5/20 - 23*x**4/24 - 2*x**3/3 + 38*x**2. Suppose -3*i - 5*u = -50, 4*i - 52 = 3*u - 6*u. Is 33 a factor of s(i)?
True
Let d(m) = 24*m**2 + 86*m - 50. Is d(-39) a multiple of 19?
False
Let j = 398 + 25. Suppose 4*w + 155 = j. Is 4 a factor of w?
False
Let u(s) = -14*s**3 - 16*s**2 + 70*s + 823. Is u(-11) a multiple of 133?
False
Suppose 5*r = 2*g - 300, -g - 3*r = 4*g - 719. Suppose 4*v + 27*u + 8 = 23*u, 0 = -2*v + u + 11. Suppose g = 2*q + v*j, -7*j = -3*j + 20. Does 39 divide q?
False
Let r(n) = 28*n - 44. Let x = -64 + 70. Is 14 a factor of r(x)?
False
Suppose 0 = 33*x - 117*x + 149688. Is 99 a factor of x?
True
Let a(z) = -z**2 - 16*z + 48. Let p be a(-19). Let d(s) be the third derivative of -11*s**4/12 - 17*s**3/6 - 7*s**2. Is 35 a factor of d(p)?
False
Let w be 55 - 53 - (-1 + (-1)/(-1)). Let g = w - -11. Is g*-4*(-56)/14 a multiple of 13?
True
Let c be (-2)/(3 + 22/(-6)). Let d be (4 - 6*2/c) + 200. Suppose 2*h + 5*f = 80, -5*h + f + 3*f + d = 0. Is 5 a factor of h?
True
Let w = -7709 + 10156. Is w a multiple of 36?
False
Let k(v) = -v**2 - 19*v - 7. Let n = -88 - -74. Let i be k(n). Let w = 76 - i. Is w a multiple of 3?
False
Let k(y) = y**2 - 9*y - 2. Let m be k(-6). Let b = 26 - m. Let p = b - -86. Does 8 divide p?
True
Does 61 divide (7/(-5) - 28/(-70))*-2263?
False
Let u = -55703 + 78453. Does 14 divide u?
True
Let a(r) = 7764*r**2 - 69*r + 68. Is 14 a factor of a(1)?
False
Suppose 10 + 6 = 4*u - o, -4*u - 3*o + 16 = 0. Let s(w) = 33*w - 120. Is s(u) a multiple of 3?
True
Is 60 a factor of (-116*(-5)/(-100) + 11)*1200?
True
Let o(s) = -26*s - 33. Let j = -25 + 17. Is 51 a factor of o(j)?
False
Let w(h) = h**3 - 9*h**2 + 6*h + 57. Let c be w(7). Does 31 divide (77/(-1))/((-6)/(-9) - c)?
False
Let y(z) = -3*z + 22. Let f(m) = 6*m - 43. Let u(x) = 3*f(x) + 5*y(x). Let s be u(7). Does 19 divide -1 + s + (192 + 1 - 4)?
True
Suppose g = 7*g - 126. Is -2 + ((-771)/(-7) - 3/g) a multiple of 10?
False
Suppose -5*c + 22 = 4*d - 4*c, 2*d = 3*c + 4. Suppose 0 = -d*z - 2*o + 698, -188 = 3*z + 3*o - 605. Does 20 divide z?
True
Let o(j) = j**2 + 13*j + 7. Suppose -30 = -7*p + 12*p. Let s be o(p). Let c = s + 50. Is 6 a factor of c?
False
Suppose 0 = -5*z + 4*h - 71, -z + 5*h + 65 = -5*z. Is z*-1*186/10 a multiple of 9?
True
Let c(u) = -4*u**3 + 10*u**2 - 8*u - 135. Does 71 divide c(-7)?
False
Suppose 26*x + 297 = 63. Does 34 divide 1/x - 101002/(-198)?
True
Let q be 336/16 + (-4 - -1). Let h(w) = 17*w - 32. Is h(q) a multiple of 12?
False
Let n(y) be the first derivative of -y**4/4 - 5*y**3 - 9*y**2/2 - 6*y + 11. Let a be n(-14). Let f = 137 + a. Is f a multiple of 31?
False
Let g(t) = -3 + 6 - 2*t - 7 - 2*t. Let i(z) = -z**2 - 1. Let s(h) = 3*g(h) - 6*i(h). Is s(5) a multiple of 14?
True
Let h(a) = -2*a**3 + 184*a**2 - 49*a + 53. Is 21 a factor of h(89)?
True
Let t = 5498 - 3896. Does 6 divide t?
True
Let c(b) = b**3 + 4*b + b**2 + 339 - 67 + 170. Is c(0) a multiple of 17?
True
Let s(h) = h**2 + 27*h + 293. Does 5 divide s(-28)?
False
Is 49 a factor of (-2440)/(-62*(-1)/(-15) + -24 + 28)?
False
Suppose 0 = -170*w + 1825444 + 386172 + 241994. Does 157 divide w?
False
Let u(r) = r**2 + 5*r - 9. Let m be (-7)/(-2) + (-2)/((-8)/6). Suppose m*d = 4*p - 81 + 10, 3*p + 43 = -5*d. Does 8 divide u(d)?
False
Let h(t) = -t**3 - 2*t**2 + 16*t + 9. Let z be h(3). Let l = 1 - -2. Is (1 + 5)*l*86/z a multiple of 18?
False
Suppose 12954 + 7206 = 20*d. Is 16 a factor of d?
True
Let x(v) = -v**3 + 34*v**2 + 38*v + 54. Let k(y) = -8*y - 37. Let w be k(-9). Is 36 a factor of x(w)?
False
Let d = 12857 + -12859. Let p(c) = c**2 + 4*c + 6. Let w be p(-4). Is 0/(-3*d/w) - -32 a multiple of 8?
True
Let n(w) = -12*w**3 - 7*w**2 - 107*w - 181. Is n(-8) a multiple of 40?
False
Is 9 a factor of 423/((-2)/3 - -11 - 10)?
True
Let o be -4 - (3 + 42*1). Let w be 14/o - 5/7. Is -3 + 7 + 51 + w a multiple of 30?
False
Let w be 3 - 0 - 16750 - (-2)/(-1). Let x = w - -9577. Is 10 a factor of x/(-143) + 4/(-26)?
True
Let p(h) = -63*h + 18540. Is p(0) a multiple of 36?
True
Suppose 6 = -3*q, 3*z - 2*z - 12 = 5*q. Suppose 0 = -p + f + 462, z*p + 1858 = 6*p + f. Is 37 a factor of p?
False
Let w = 8 + 5. Suppose -48 = 10*o - w*o. Let c = 6 + o. Does 11 divide c?
True
Let d = 223 + -214. Let o(h) = 4*h**3 - 4*h - 6*h**2 - 3*h**3 - 2 - 6 + 1. Is 38 a factor of o(d)?
False
Let r = 804 - 618. Is 39 a factor of r?
False
Let k = -222 + 145. Let f = k - -167. Is 45 a factor of f?
True
Suppose 5*a + 20 = 30. Let d(z) = 20*z**2 + 2*z - 4. Is d(a) a multiple of 16?
True
Suppose 38*a - 34*a - 5600700 = -86*a. Is a a multiple of 49?
True
Let u(k) = -k**3 - 2*k**2 - k - 5. Let z be u(-3). Let v(p) = -15*p + 1. Let q(n) = -14*n + 1. Let f(m) = z*q(m) - 6*v(m). Is 2 a factor of f(-2)?
False
Let a = 667 + -655. Suppose 0 = 25*v - a*v - 455. Is v a multiple of 7?
True
Let a be 125/(-50)*(-36)/5. Let h(u) = -30*u + 59 + 0 + 36*u. Is 12 a factor of h(a)?
False
Suppose 0 = 30*i - 26*i + 4, o - 3*i - 10803 = 0. Is o a multiple of 144?
True
Let u(l) be the first derivative of l**6/24 + l**5/30 - l**4/12 + l**3/6 + 2*l**2 + 28. Let m(s) be the second derivative of u(s). Is 5 a factor of m(2)?
True
Let k be ((-24)/(-14))/((-44)/(-1694)). Let q = 113 + -44. Suppose q + k = 3*g. Is 15 a factor of g?
True
Let s(o) = o**2 - 10*o + 24. Suppose 0 = 12*d - 5*d - 56. Let w be s(d). Suppose -w*f = -3*f - 35. Is f even?
False
Let v(j) = -j**2 + 10*j - 40. Let x(w) = -2*w**2 + 20*w - 80. Let b(h) = 11*v(h) - 6*x(h). Let o be 16/12*45/6. Does 20 divide b(o)?
True
Suppose -10 = 5*j - 0. Is 6 a factor of 0 - j - (0 - 230)?
False
Let x(t) = -669*t + 20. Does 5 divide x(-9)?
False
Let g = 90 - 86. Let y(x) = 4 - 8*x + 2*x + 7*x**2 + g. Is 24 a factor of y(-4)?
True
Let u = -4253 + 7863. Does 27 divide u?
False
Let m = 11140 - 5155. Does 133 divide m?
True
Let b = 377 - -1703. Is 130 a factor of b?
True
Let r be 31/(-93)*(-1 + -8). Suppose 3*g - 6*g = 4*y - 2177, -r = -g. Is y a multiple of 17?
False
Let i(l) = -l**3 + 68*l**2 + 163*l - 329. Is i(70) a multiple of 7?
True
Let g = -251 + 248. Is 48 a factor of 17*(1/g - (-128)/24)?
False
Suppose 3*z + 10 = a, 0*z = -4*z - 2*a. Let d be z + 2 - -4*1. Suppose -2*x = 3*x + 5*f - 550, -d*f + 216 = 2*x. Is 28 a factor of x?
True
Suppose 0 = 51*h - 85*h + 109888. Is h a multiple of 64?
False
Let r(i) = 48*i + 36. Let z(l) = -l. Suppose 3*d + 4*u + 11 = 0, -d - 8 = d + 3*u. Let a(s) = d*r(s) - 8*z(s). Does 33 divide a(-5)?
False
Suppose -5*q - 34843 + 166894 = -2*u, -3*u = q - 26383. Is 23 a factor of q?
False
Let p(k) = 292*k + 470. Is p(17) a multiple of 19?
True
Let g be 144/(-20)*(-2 + (-51)/2). Suppose -200*h + g*h = -1158. Is 6 a factor of h?
False
Let q be (-28)/70 - (-104)/10. Does 60 divide ((-2 - (-5)/q) + 1)*-1022?
False
Suppose 0 = -r + 4*c + 53, -8*r - c = -4*r - 161. Suppose -4*b + 18 = 2*v, 10 - 4 = -2*v + 4*b. Suppose -5*w + r + 64 = f, 613 = 5*f + v*w. Is 22 a factor of f?
False
Let y(r) = -851*r**3 + 19*r**2 - 5*r - 24. Is 27 a factor of y(-3)?
True
Is 12 a factor of 2/((-8)/42)*8*(-1827)/12?
False
Let u be ((-3)/(-1))/((-1)/(10/(-15))). Let b(t) = 65*t**2 - 4*t + 8. Is b(u) a multiple of 20?
True
Let t = 286 - 288. Is -1 + (402 - t) + -7 a multiple of 22?
True
Suppose 8 = -6*u 