c - 75 - t = 0. Is 4 a factor of c?
False
Suppose -26 = -2*o - 4*k, o - 5*k = -0*o - 1. Suppose o*a = a + 24. Suppose 0 = h - 1 - 2, -a*h = -5*z + 311. Does 16 divide z?
True
Let o be (-28)/(-4) - (4 + -1). Let i be o/(-14) - 48/(-21). Suppose -628 = -5*r + 2*w + w, 2*w + i = 0. Does 11 divide r?
False
Let q be 60/(-24)*(-1)/5*4. Let l be 176/4*1/q*-12. Let n = -186 - l. Is 9 a factor of n?
False
Suppose 35*m - 30*m = 260. Let h be (m/(-12))/1*-3. Suppose 0 = 5*x - h - 217. Does 28 divide x?
False
Let c be 11 + -11 + 6 - (-10)/(-2). Is (c - 1/5)*(1549 + 31) a multiple of 16?
True
Let d(y) = 17*y + 304. Let c(z) = -z**3 + z**2 - z + 6. Let o be c(2). Does 12 divide d(o)?
False
Suppose 0 = 7*b - b - 18. Suppose 24 = b*w + 6. Is 14 a factor of 4654/39 - 2/w?
False
Suppose 0 = 5*k - 3*k + 38. Suppose 4*p = -3*x - 125, 90 = -14*p + 11*p - x. Let u = k - p. Is u a multiple of 6?
False
Let s(v) = -28*v - 668. Let o be s(-24). Suppose -2*b - 70 = -3*b. Does 30 divide (2/(-2) - b/o)*-8?
False
Let p be 6/54 - (-2)/(-18). Suppose 2*q + 43*q - 11880 = p. Is 24 a factor of q?
True
Let l = -227 + 4085. Suppose -23*y + 18095 - l = 0. Is 10 a factor of y?
False
Suppose -47*l = -34*l - 12675. Suppose 5*b = 4*o + 4755, 12*b - 4*o = 13*b - l. Is 10 a factor of b?
False
Let c be 1/(-4) - (-252)/48. Suppose -3*p + 18 = 2*m, 3*m + 3*p + 18 = c*m. Let k(i) = i**3 - 7*i**2 + 5*i - 12. Is 22 a factor of k(m)?
False
Suppose -2*x = -x + 54. Let y = x - -110. Suppose 3*o - 64 = y. Does 20 divide o?
True
Let y(r) = 19 + 11*r + r**3 + 6 - 4*r**2 - 47. Is y(6) a multiple of 58?
True
Let f(h) = 5*h**2 + 9*h - 4. Let q be f(6). Let j = q - 147. Let b = j + -73. Is 3 a factor of b?
False
Is (-9505)/(-6 - 9/9*-5) a multiple of 12?
False
Let y(w) = w**3 + 34*w**2 + 33*w + 4. Let i be y(-33). Suppose i*u + 0*r - 244 = r, -u + 44 = 4*r. Is 15 a factor of u?
True
Suppose 2*d + 2*v = 100275 - 8713, -4*d + 183070 = -2*v. Is 33 a factor of d?
False
Let v = 120 + -102. Suppose v*w - 5909 - 4801 = 0. Does 85 divide w?
True
Suppose 15*t = 9 + 21. Suppose 4*o + t*w = 1386, 4*o + w - 1389 = -0*w. Is 12 a factor of o?
True
Let q = -149 - -153. Suppose 3 = n, -1051 = -q*v - 8*n + 11*n. Is v a multiple of 10?
False
Let k(c) = -2*c + 22. Let g be k(9). Suppose 5508 = -g*r - 1972. Is r/(-30) - 4/(-6) a multiple of 12?
False
Let q(z) = -3020*z - 146. Is 55 a factor of q(-3)?
False
Let v(o) = o**3 + o + 20. Let d be v(0). Suppose -d*w = -18*w - 62. Let k = w - 11. Is 10 a factor of k?
True
Suppose 7*t = 112350 + 91000. Is 10 a factor of t?
True
Let b(g) = -3*g**3 - 19*g**2 - 15*g - 3. Let z be b(-7). Is (z/(-30) - -7)/((-2)/(-486)) a multiple of 9?
True
Let z = 26 - 35. Let b(j) = 4*j**2 - 10*j - 72. Is 9 a factor of b(z)?
True
Let d(g) = -g**2 - 42*g - 90. Let w be (99 + -3)/(-8)*(4 + -1). Is 7 a factor of d(w)?
True
Suppose -5*a = -9629 - 3401. Let h = a + -1575. Is 30 a factor of h?
False
Suppose -2*u + 9040 = 24 - 2072. Is 56 a factor of u?
True
Suppose 3*z + u = -35, -4*z + 1 = -5*u + 16. Let i(s) = 5*s - 12. Let j(p) = -15*p + 36. Let t(f) = 11*i(f) + 4*j(f). Is t(z) a multiple of 13?
False
Suppose -b = 4*j + 2 - 7, -5*b + 3*j = -25. Suppose -s = -4*t + t - 358, -b*t = 3*s - 1018. Does 5 divide s?
False
Let g(c) = 94 - 106*c - 198 + 95. Is 29 a factor of g(-2)?
True
Let w(i) = -23 + 18*i**2 - 8*i**2 + 22*i - 3 + 11*i**2. Does 29 divide w(5)?
True
Let v(t) = t**2 + 10*t - 26. Let b be 2*-1*((-7)/(-2))/(-7). Let d be 1*81/(-6) + b/2. Is v(d) a multiple of 6?
False
Suppose 12 = -11*k + 14*k. Let j be (-868)/(-18) - (-3)/((-54)/k). Suppose 3*a + j = 6*a. Is a a multiple of 6?
False
Suppose 2*p = 56*i - 57*i, 5*p = -4*i - 9. Let m(o) = -72*o - 389. Is 2 a factor of m(i)?
False
Let t = -173 - -178. Does 62 divide t/(10/1728) + 4?
True
Suppose 7 = -2*g - 183. Let j be 31274/g + 1/5. Does 6 divide 2/8 - j/28?
True
Let f = -43 - -44. Let k be (f - 7)*10/(-20). Suppose -4*p + 26 = -2*p - 3*h, 0 = 4*p - k*h - 46. Does 5 divide p?
True
Let j be 16/(-88) - (-9662)/22. Suppose -781 - j = -5*x. Is 26 a factor of x?
False
Does 34 divide (-8)/(-26) - ((-635591)/143 + -9)?
True
Let t(g) = 5*g**2 + 282*g + 9. Is t(-72) a multiple of 15?
True
Let p be (-1 - (-500)/8)*2. Suppose 5*a - a - t = 14, 3*t = 6. Suppose -4*v + 2*r = 7*r - p, -a*v + 5*r = -133. Is v a multiple of 25?
False
Suppose -330 = -2*g + 5*p, -p + 158 = -g + 2*g. Let m be (-2)/9 + g/72. Suppose 2*t + 866 + 316 = 4*d, -d + 303 = m*t. Is 47 a factor of d?
False
Suppose 0 = 5*l + 5*i + 15, 0*l + 2*l = 3*i - 6. Let f = l + 2. Is 2 a factor of f + 3/(-1) + 6?
True
Let n(m) = 9800 + 0*m - 9792 - 14*m**3 + 5*m + m**2. Is 13 a factor of n(-2)?
False
Suppose q + 600 = -6*h + 5*h, 1784 = -3*q + h. Let d be (-10)/(-75) + q/(-30). Does 12 divide -27*(-3 + d/15)?
False
Let w be 9/12*12 + 4. Suppose 0 = w*a - 20*a + 1491. Suppose -4*c = z - 222 - 52, -3*c + 3*z = -a. Is 9 a factor of c?
False
Suppose 15*s - 12 = 12*s. Suppose 2*t + s*h = -18, -t + 17 = t - 3*h. Suppose -r + 35 = -t. Is 36 a factor of r?
True
Let d = -896 - -2888. Does 24 divide d?
True
Let v(k) be the third derivative of -11/6*k**3 - 5/24*k**4 + 0*k + 13*k**2 + 0. Does 4 divide v(-4)?
False
Suppose 6*r + 3*r = 25*r - 97920. Does 18 divide r?
True
Let y = 18944 - 12594. Is y a multiple of 50?
True
Suppose -2*a = -2*u - 0*u + 4868, 2*u + a = 4874. Is 7 a factor of u?
True
Let m = 0 - -4. Let q be m/((-40)/5)*-82. Suppose -44 = -3*r + 5*j + 71, -j = -r + q. Does 14 divide r?
False
Let r(a) = 49*a**2 - 110*a - 14. Is r(-16) a multiple of 78?
False
Suppose -4*s + 3*m = -s - 36, -3*s - m + 24 = 0. Is 13 a factor of (-2)/s + 3784/18?
False
Let z(t) = 3*t**3 + 3*t**2 + 2*t - 1. Let v(o) = -5*o**3 - 4*o**2 - 3*o + 1. Let d(r) = -5*v(r) - 8*z(r). Let h be d(4). Is 20 a factor of ((-22)/6)/(h/12)?
False
Suppose 0 = -2*t + 3 - 11, -4*k - 2*t - 8 = 0. Let u(p) = p**3 + 5*p**2 + 2*p - 1. Let h be u(-4). Suppose h*g - 11*g + 416 = k. Is g a multiple of 13?
True
Let t be (-4)/9 + (-374624)/(-828). Let n = t + -332. Is n a multiple of 4?
True
Let z(w) = -w**3 - 25*w**2 + 26*w + 5. Let s be z(-26). Let p = -34 - -19. Is 7 a factor of 6/p + 282/s?
True
Suppose 0 = 5*f + 30, -202*f - 95160 = -5*d - 197*f. Is 75 a factor of d?
False
Let r(p) = -p**3 - 27*p**2 - 26*p + 5. Let m be r(-26). Suppose 5*t - 6*t + 161 = -5*k, -4*k = -m*t + 868. Does 44 divide t?
True
Let p(b) be the second derivative of 23/2*b**2 + 1/20*b**5 + 0 - 18*b - 1/3*b**4 - 3/2*b**3. Is p(5) a multiple of 3?
True
Suppose 5*o - 2*t = 16703, o + 2*t - 3331 = -0*o. Is 53 a factor of o?
True
Suppose 224940 = 31*t + 26*t - 193839. Does 95 divide t?
False
Let x(n) = n**3 - 11*n**2 + 20*n - 17. Let j be x(9). Is 4 a factor of (714/(-168))/(j/(-52))?
False
Let l = -1773 - -3757. Is l a multiple of 32?
True
Let s(n) = n**3 - 17*n**2 + 81*n - 205. Is 11 a factor of s(24)?
False
Is (115 + -199)*(2 + 310/8)*-2 a multiple of 34?
False
Let r = -372 + 363. Let p(h) = 7*h**2 + 14*h + 69. Is p(r) a multiple of 28?
False
Let c(f) = 129*f**3 - 4*f**2 + 2*f + 8. Is c(2) a multiple of 4?
True
Let a(x) = -94*x - 958. Is 17 a factor of a(-46)?
True
Suppose 17 - 62 = -3*c. Let x(k) be the second derivative of k**4/12 - 2*k**3 - k**2/2 - 2*k - 134. Is x(c) a multiple of 11?
True
Suppose 0 = 8*i + 488 - 6656. Let v = i - -103. Is 56 a factor of v?
False
Let g(b) = 3*b**2 + 191*b - 12 + 201*b - 410*b. Does 9 divide g(8)?
True
Let t(z) = -7 - 2 - z**2 + 8*z - 8 + 4. Let i be t(5). Suppose -i*v + 42 = 4*v. Is v a multiple of 2?
False
Suppose 3666600 = -28*o + 222*o. Is o a multiple of 60?
True
Suppose -3*x + 28 = -10*x. Let h = 24 + x. Suppose -h = -0*d - 4*d. Is 5 a factor of d?
True
Let q(a) = 14*a**2 + 92*a - 1172. Does 10 divide q(18)?
True
Suppose 71*c = 426511 + 1028989. Is c a multiple of 100?
True
Let j = -7954 - -13571. Is j a multiple of 137?
True
Let h be 8/(-16)*(0 - -2) + 17. Suppose 0 = h*i - i - 2040. Let a = i - 73. Is 8 a factor of a?
False
Is ((-108)/(-10))/(376/407020) a multiple of 9?
True
Suppose 5*i - 4 = 1. Suppose -b + 4 = i. Suppose 0 = 3*s + 3, -4*a + 337 = -4*s - b. Does 36 divide a?
False
Is 10 a factor of (5 + (-5404)/(-12))/(8*2/432)?
False
Let i = 6335 + -3815. Is i a multiple of 14?
True
Let g(t) be the second derivative of 4/3*t**3 - 1/