37*v - 241*v, -3*v = 5*l - 29764. Is 43 a factor of v?
True
Suppose 0 = 5*c + 21 + 9. Let m be -12*(-6)/(-8)*c/9. Is 27 a factor of 3776/20 + 1/(m - 1)?
True
Suppose -2*h + 0*h - 90 = -17*h. Let u be ((-4)/6)/((-2)/162). Let o = u + h. Is o a multiple of 4?
True
Let f(z) = 165*z**3 - 3*z**2 + z + 34. Does 9 divide f(5)?
False
Let x = -12778 - -28154. Does 124 divide x?
True
Let m = -17 + 15. Is (-4 - (46 - m))/(4/(-16)) a multiple of 16?
True
Let v = -27 + 29. Suppose v*j + 27 + 121 = 0. Is 22 a factor of 44/(1*-1)*37/j?
True
Let x = -892 + 1302. Suppose x = 4*f - 134. Suppose 2*b + f = 2*r, -r + 6*r + 2*b - 312 = 0. Is r a multiple of 32?
True
Let b = 188 + -188. Suppose -4*q + 837 = -s, 0 = 4*q - b*q + 3*s - 833. Is 19 a factor of q?
True
Let h = -254 + 146. Does 19 divide (-18660)/h + 8/36?
False
Let m be ((-90)/(-25) - 2)*(-50)/(-4). Suppose 759 = -m*u + 9*u. Let o = -47 - u. Is o a multiple of 22?
True
Let r(q) = -q + 28*q**2 + 15 - 35*q**2 - 1 + 14*q**2. Does 31 divide r(5)?
False
Suppose 24 = 2*u - 0*p + 4*p, -3*u = 5*p - 38. Does 2 divide 1580/(-8)*u/(-10)?
True
Suppose 3*g - 2*d = 3 + 9, -d - 7 = -2*g. Suppose -g*z = -0*z - 4*x - 100, 0 = 2*z + x - 75. Suppose 2*o - 4*y = z, -70 = -3*o - 2*o - 5*y. Is 8 a factor of o?
True
Does 10 divide (1 - (8 - -1)) + 3190 + 8?
True
Let o(w) be the first derivative of -3*w**2/2 + 45*w - 18. Is o(-12) a multiple of 9?
True
Let s(x) = -x**2 + 20*x - 8. Let d be s(8). Let m = d + -84. Suppose 0 = m*u - 375 + 87. Does 7 divide u?
False
Is 90/(-16*(-6)/2784) a multiple of 10?
True
Let x(u) = -u**3 + 27*u**2 - 58*u + 12. Let v be x(24). Let i = 582 - v. Does 12 divide i?
False
Suppose -5*f - 6 = -2*f + 3*l, -2*l - 16 = -4*f. Suppose f*i + 928 = 6*i. Suppose -a - p = -i, 4*a - 1043 = 3*p - 101. Is 39 a factor of a?
True
Let g = -2927 - -4191. Is 17 a factor of g?
False
Suppose 5*c - 20 = 0, -24 = 4*r - 8*r + 2*c. Does 3 divide r/36 + (-5467)/(-63)?
True
Let y = 2665 + -8110. Is y/(-22) - (-1)/2 a multiple of 10?
False
Is 20/(-330)*-22 - 91322/(-3) a multiple of 129?
False
Let h(t) = 331*t - 516*t - 39 + 10. Does 53 divide h(-6)?
False
Suppose 40 = -2*t + 6*t - 4*u, t = 5*u + 30. Suppose 2*i - 236 = 4*f, -3*i - t*f = -6*i + 353. Suppose 8*n - 92 = i. Is 10 a factor of n?
False
Let g be 105/(-2)*(-432)/7. Suppose -16*k + g = -2280. Is k a multiple of 12?
False
Let j(m) = 3*m**2 - 11*m + 44. Let h be (-44 - -28) + (4 - 1/(-1)). Is j(h) a multiple of 48?
True
Let x(s) = 97*s - 1026. Does 144 divide x(33)?
False
Suppose 3*t + 2*g - 261 = 0, -4*t - t = 4*g - 435. Suppose t = -3*r + 219. Is 4 a factor of r?
True
Suppose u + 5*p - 1216 = 0, 17*u + 4780 = 21*u - p. Is 50 a factor of u?
False
Let z = -148 + 183. Let n = z + 34. Is 47 a factor of n?
False
Let m(i) = -3*i - 44. Let p be m(-17). Let l be p/28 + (-71)/(-4). Suppose -l + 426 = 6*a. Does 17 divide a?
True
Suppose 5*i = 5*w + 50, w + 23 = 4*i - 14. Let a(b) = -b**2 + 9*b + 3. Let j be a(i). Suppose 0*g - g - v + 63 = 0, j*v - 6 = 0. Is g a multiple of 12?
False
Suppose 5*u + 33 = -2, -5*i - 6*u + 2428 = 0. Is 13 a factor of i?
True
Let a be 52072/115*(10 - (0 - 0)). Is 4/6 - 1/((-12)/a) a multiple of 54?
True
Suppose 612 = 18*k + 144. Let s(p) = -2*p**2 + 57*p - 64. Is 6 a factor of s(k)?
True
Suppose 5*q + 4*k = 4331, 5*k + 1148 = 2*q - 558. Does 2 divide q?
False
Let z(d) = d + 1. Let c be z(2). Suppose c*q + 344 - 125 = 3*o, 198 = -3*q - 4*o. Let i = q - -238. Does 25 divide i?
False
Suppose 290 = -5*s - 5*y, -s - 2*y - 73 = -6*y. Let l = s + 88. Suppose 0 = 5*b - 4*u - 191, 0*u - l = -b - 2*u. Is b a multiple of 7?
True
Suppose -6*x + 10*x - 5*t + 3773 = 0, 0 = 3*x - 4*t + 2830. Let r = x - -1680. Is 41 a factor of r?
True
Suppose -14*p + 19993 = 18047. Does 2 divide p?
False
Suppose -39915 = -7*m + 5*b, -4*m = -5*b + 4*b - 22803. Is m a multiple of 15?
True
Let d be 3/12 + 130/(-40) - -1299. Is 110/33*d/15 a multiple of 6?
True
Let c(q) = 2*q + 257. Let p = -49 + 49. Let k be c(p). Suppose 19 = 3*f - k. Is 11 a factor of f?
False
Let c = 466 + -469. Is 37734/190 - c/(-5) a multiple of 22?
True
Suppose b + 4 = 0, -2*f + b + 4*b = -82. Let s = f + -10. Is 7 a factor of s?
True
Suppose 2*l - 15 = r + 7*l, 3*l = 2*r - 9. Is 34 a factor of (-43 + -19)*(0 + -2 + r)?
False
Suppose -f + d = -9, 0 = 3*f - 8*f - d + 39. Let w be f - (-3)/6*-6. Suppose w*m = b + 1225, m - 4*b + 224 = 2*m. Is 25 a factor of m?
False
Let s(n) = -37*n**3 - 7*n**2 - 53*n - 188. Does 19 divide s(-4)?
True
Let a(s) = -16*s**2 + 124 - 258 + 131. Let h be a(-2). Let g = 127 + h. Does 15 divide g?
True
Suppose -3*i = o - 83, -3*i - 3*o + 63 = -18. Let u(v) = 2*v - 34. Does 2 divide u(i)?
True
Is 186/31 - (-1)/(2/2)*4657 a multiple of 10?
False
Let l(w) = -5*w**3 + 6*w**2 + 2*w + 24. Let f be l(-6). Suppose 7*h = 897 + f. Is h a multiple of 15?
True
Suppose g - 7*u = -0*u + 608, 0 = 4*g + 5*u - 2531. Is 16 a factor of g?
False
Let m(y) = -129*y + 477. Is 72 a factor of m(-51)?
True
Let b(p) = 2*p**3 - 316*p - 34. Is 7 a factor of b(15)?
False
Suppose -2*d - 33974 = -4*r, -6*r + 11*r - 5*d - 42465 = 0. Does 56 divide r?
False
Suppose -5*o + 17 + 3 = 0. Let w be (o/(-12))/((-2)/12). Suppose -w*v - 6*h = -7*h - 369, v = 2*h + 192. Does 26 divide v?
True
Let y(d) = -9*d - 29. Let r(s) = 7*s + 0*s - 8 + 12 + 26. Let w(k) = 6*r(k) + 5*y(k). Does 3 divide w(9)?
False
Suppose 457 = -3*j + 256. Let y = j + 266. Does 29 divide y?
False
Let g(z) = 8*z + 20. Let r(c) = -2*c + 1. Let y(h) = -g(h) - 3*r(h). Suppose -2*x - x - 5*s - 47 = 0, -5*x - 87 = 4*s. Is 3 a factor of y(x)?
True
Let x = 632 + -534. Let u(i) = 17*i + 1. Let f be u(-3). Let z = x + f. Is 16 a factor of z?
True
Let i(l) be the second derivative of 113*l**4/12 + l**3/3 - 11*l**2/2 + 2*l - 41. Is 22 a factor of i(3)?
True
Suppose 0 = 26*r - 14*r - 11508. Suppose -2*p - t + 479 = 0, -15*p - t + r = -11*p. Is 60 a factor of p?
True
Let h = 25410 + -11250. Is 23 a factor of h?
False
Let v(p) = -2*p**3 - 19*p**2 - 13*p + 30. Does 54 divide v(-15)?
True
Let k(a) be the second derivative of 5*a**4/12 - a**3 - 9*a**2/2 - 15*a - 3. Is 11 a factor of k(-10)?
False
Let v(a) = -25*a - 155. Let z be v(-12). Let c = 223 - z. Is c a multiple of 7?
False
Let l(n) = 108*n - 26. Let k = -335 + 336. Is l(k) a multiple of 18?
False
Let w(u) = -u**3 + 13*u**2 + 3*u + 7689. Is w(0) a multiple of 29?
False
Let i(j) = j**3 - 77*j**2 + 101*j - 2232. Does 17 divide i(78)?
True
Let y(w) = 56*w**2 + 32*w - 5. Suppose 0 = 5*a - d - 16, -2 = -d - 3. Is 15 a factor of y(a)?
False
Let s(p) = -p**2 - 16*p + 156. Let x be s(-23). Let d(w) = -242*w - 61. Is 39 a factor of d(x)?
False
Let n = 77 - 160. Let q = n + 132. Let j = -29 + q. Does 20 divide j?
True
Let j be 9 - (-2 + (-2 - -3 - 3)). Suppose -j*v - 1064 = -32*v. Is 14 a factor of v?
True
Let r = 186 + -187. Does 10 divide 113/2*(5/r + 7)?
False
Let f be 44/66*1*6/(-4). Let s be -2 - (-58)/2 - f. Suppose -25*k - s = -29*k. Does 6 divide k?
False
Suppose -8*b - 52 = 5*b. Is 2739/165*(1 - b) a multiple of 8?
False
Let v(d) = d**3 - 11*d**2 - 13*d + 30. Let g be v(12). Is (-100)/(((-3)/(-9))/((-33)/g)) a multiple of 22?
True
Let x be 1692/156 - 11 - (-11)/(-13). Let i(r) = 4*r**2 - 12*r - 12. Does 4 divide i(x)?
True
Suppose 78*r - 721072 - 398704 = 8806. Is 107 a factor of r?
False
Is (-334194)/(-546) + 4/(-52) a multiple of 17?
True
Suppose -2*i = -4*q + i - 4458, -3*q - 5*i - 3358 = 0. Let h = -749 - q. Is h a multiple of 39?
False
Suppose 3*h - 12705 = -32*h. Does 7 divide h?
False
Is 15 a factor of 10/(10/(-59640)*-7)?
True
Let u be (-34)/(-17) + 1 + 696 + 2. Let c = u - 357. Is c a multiple of 50?
False
Let v(r) = 17*r**3 - 3*r**2 - 2*r - 11. Let c be v(4). Let b = c - 454. Is b a multiple of 63?
True
Let q(z) = 28*z + 7. Let t(o) = 2*o + 10. Let j be t(-6). Let i be q(j). Let a = 55 - i. Is 26 a factor of a?
True
Let j = 15 - 15. Suppose -6*z - z - 140 = j. Let k = 55 - z. Is k a multiple of 9?
False
Let m(l) = -134*l + 1530. Is 12 a factor of m(-27)?
True
Suppose 2267627 + 1600618 = 335*c. Does 9 divide c?
True
Suppose -2105 = 5*t - 220. Let k = t - -46. Let s = -227 - k. Is s a multiple of 20?
False
Let c(t) = -t**2 - 62*t - 48*t + 89*t. Let p be c(-11). Suppose -248 = -5*s - 4*y, -3*s + 2*y + p + 52