*b - 291513 = 530385. Is b a multiple of 52?
False
Let p = -420 - -74. Let n = -91 - p. Is 17 a factor of n?
True
Let a be -1*(38 + 9/(-3)). Let h = a - -75. Suppose -h*u + 49 = -39*u. Is 7 a factor of u?
True
Let w(p) = p**2 - 5*p + 12. Let t(x) = -2*x**3 + 27*x**2 + 16*x - 3. Let n be t(14). Suppose 0 = 5*l + n, l - 3 = -3*a + 7. Is 4 a factor of w(a)?
True
Suppose v = 56 - 60, 0 = -5*q + 3*v + 40622. Does 31 divide q?
True
Let b(d) = 71*d**2 - 4*d - 1. Let x be b(-1). Suppose 61*l - x*l = -4186. Is l a multiple of 28?
False
Let f = 69 + -64. Suppose -3*n - 10 = -f*n. Suppose -2*t - 115 = -n*t - k, 0 = 4*t + 5*k - 157. Does 4 divide t?
False
Let d(n) = n**3 + 2*n**2 - 2*n + 5. Let q be d(2). Suppose q*k = 1699 - 33. Does 11 divide k?
False
Let z(u) = -u**2 - 7*u - 1. Let n be z(-7). Let r be (-56)/(-22) - (-24)/(-44). Is n/(r/(-4)) + 248 a multiple of 50?
True
Let c(w) = -w**3 - 4*w**2 - 5*w - 6. Let l be 7/(-4) + 1/(-4) - 1. Let g be c(l). Suppose 5*y - 13*y + 128 = g. Is y a multiple of 4?
True
Let d = -143 + 143. Is 14 a factor of (-6)/(-21) + d + (-1896)/(-28)?
False
Does 25 divide 3/(((-6)/16)/(2/(-16))) + 1531?
False
Is 31 a factor of (-35620)/(-16) + -3 - (-280)/160?
False
Let p = -1431 + 1951. Is p a multiple of 5?
True
Let w be (-24)/(-96) + (2781/(-4))/(-3). Suppose 5*v = 143 + w. Does 15 divide v?
True
Suppose 3*t + d = 2, 0*t - 16 = -2*t + 3*d. Suppose 0 = -h - t*x - 4, 0 = 3*h - 4*x - 8. Suppose 4*m + 4*g = 128 + 92, 4*m - 2*g - 226 = h. Does 7 divide m?
True
Suppose 1197 = -2*a - 1363. Let v = -671 - a. Is 16 a factor of v?
False
Let y = 492 + 350. Suppose 2*j = -53*t + 52*t + y, -2*j - 8 = 0. Is 23 a factor of t?
False
Does 2 divide (-143944)/(-133) - 18/63?
True
Let o(j) = j**3 + 6*j**2 + 69*j - 184. Does 72 divide o(16)?
True
Suppose -2*b + 3*d + 1235 = 0, -3*b + 417 = 3*d - 1443. Let j = b - 313. Does 9 divide j?
True
Does 41 divide (-22)/121 - ((-2684104)/88 + -3)?
True
Let p(j) = 4*j + 6 + 2*j - 3*j - 2*j. Let d be p(-4). Suppose -d*t = -t - 48. Does 27 divide t?
False
Let i = 1967 + 285. Does 11 divide i?
False
Suppose -2974 - 5118 = 17*w. Let x = w - -1155. Is x a multiple of 49?
False
Suppose 129*b - 167110 = 44*b. Is b a multiple of 27?
False
Let o(a) = 364*a + 4924. Does 4 divide o(-13)?
True
Suppose 28*b = 32*b - 668. Suppose -3*c + 37 = -b. Suppose 3*u - 3*x = 2*u + c, 4*u = -x + 207. Is 3 a factor of u?
False
Let g = -629 - -634. Suppose 3*r - 9 = 0, -g*r - 951 = -0*p - p. Does 12 divide p?
False
Let k = 35 + 5209. Is 57 a factor of k?
True
Let p(z) = -z**2 - 14*z - 25. Let v be p(-10). Suppose -10*m - 1295 = -v*m. Does 20 divide m?
False
Let s(g) = -9*g**2 - 13*g + 5093. Does 11 divide s(0)?
True
Suppose 26*d = -44*d + 63000. Is 79 a factor of d?
False
Let s be (9/(-4))/((-48)/128). Suppose s*a - 185 + 1259 = 0. Let h = a - -275. Does 16 divide h?
True
Suppose -3*d + 7*d = f + 100, 2*f + 80 = 3*d. Suppose z + m = 3*z - d, -z + m = -11. Is z a multiple of 3?
False
Let r = -1769 + 2050. Is r a multiple of 34?
False
Let m(r) = r**3 - 6*r**2 + 7*r + 16. Suppose -78 = -7*n - 29. Is m(n) a multiple of 8?
False
Suppose -16*p = -12*p - 2*q - 43898, -32911 = -3*p + 4*q. Is 11 a factor of p?
False
Suppose -2*f + 2*h = -0*f + 54, -h = -3*f - 71. Let c be (f*(-6)/(-16))/(6/(-16)). Let m = 211 + c. Is 42 a factor of m?
False
Let f(b) = -851*b**3 + 16*b**2 + 23*b - 84. Is 66 a factor of f(-3)?
True
Suppose 17*l - 47952 + 15142 = 0. Let q = l + -1040. Is 10 a factor of q?
True
Suppose 3837 = -9*y + 12261. Let v = 1480 - y. Is v a multiple of 11?
False
Let m = 30 + -27. Suppose 0 = 4*l + m*d + 166, 1 = l + d + 43. Is ((-420)/l)/(2/4) even?
False
Let y(n) = 59*n**2 + n + 2. Let o(l) = 3 + l**3 + 2 - 2*l - 3*l**2 + l. Let p be o(2). Does 20 divide y(p)?
True
Let t(v) = -7*v - 308. Let q be t(-39). Is 34 a factor of (-2)/4*(-8810)/(q/(-7))?
False
Let n = -13143 + 25124. Is 4 a factor of n?
False
Let c = -1982 - -1283. Let o = -411 - c. Is 4 a factor of o?
True
Let y = 28153 - 14464. Is y a multiple of 22?
False
Let p = -124 - -133. Let h = 0 + 2. Suppose z - h = p. Is 5 a factor of z?
False
Suppose 19*f = 15*f + 24. Suppose f + 39 = 5*i. Suppose -5*o + 334 = -4*q, 2*q = -o - i + 73. Is 22 a factor of o?
True
Suppose -49*s - 28064 = -w - 48*s, 0 = -5*s + 25. Is w a multiple of 111?
False
Let q(u) = -u**3 + 8*u**2 - 93*u - 7. Let i(t) = 2*t**2 - 23*t - 2. Let g(z) = -9*i(z) + 2*q(z). Is 22 a factor of g(-7)?
False
Let q be 3/(-3)*571/(-1). Suppose 0 = 3*b - 1429 + q. Does 13 divide b?
True
Suppose -t = -5*t + 408. Let a(n) = -n**3 + 28*n**2 - 160*n + 36. Let f be a(20). Suppose -2*w + t = -f. Is 14 a factor of w?
False
Let q = 292 + -171. Suppose -13 = -4*w - 1. Suppose a = -w*g - 22 + q, 5*a - 485 = -5*g. Is a a multiple of 24?
True
Let n(u) = -u**3 - 2*u**2 - 94*u + 11418. Is n(0) a multiple of 85?
False
Suppose -f - 6 = -4*f - 4*d, 0 = -d. Suppose 0 = -f*o + 223 + 519. Does 17 divide o?
False
Is 27 a factor of -22 + (-21 - -45) + (-2)/(2/(-26053))?
True
Suppose 2*n + 12 + 36 = -2*a, 3*a = -4*n - 93. Does 7 divide (138/18)/((-7)/n)?
False
Let h be 3/15 - ((-87)/15 - -3). Does 14 divide h/(-9) + -1 + (-745)/(-3)?
False
Suppose 8*k = -2*v + 10*k + 4, 2 = 2*k. Suppose -3*x + 1275 = 3*q, v*x - 4*q - 874 = x. Is x a multiple of 39?
True
Suppose -264*v + 3927983 + 1072371 = 272906. Is v a multiple of 47?
True
Does 3 divide (-61840)/120*(-9)/2?
True
Suppose 2*d - 4*d = -6. Let o be (1 - d/(-1)) + -1. Is 21 + -3*(o - 2) a multiple of 6?
True
Let v(j) = 8*j**2 + 77*j + 824. Is 13 a factor of v(-28)?
True
Let m be (-16)/(-10)*190/76. Suppose 0 = -2*c + c + r + 317, 4*c + m*r = 1236. Is c a multiple of 28?
False
Let z = -715 - -720. Suppose z*r - 31 - 78 = -2*w, 0 = 3*w + r - 183. Is 9 a factor of w?
False
Let p = -7 + 6. Let r be (1/(-2))/(p/358) + 0. Suppose 4*o + 4*b - 540 = 0, -2*o + 103 = 5*b - r. Is 7 a factor of o?
False
Let b(m) = -5*m - 33. Let l be b(-7). Suppose -50 = -l*w - 3*w. Suppose -2*x + 24 = -w. Is 3 a factor of x?
False
Let n = 1342 - -929. Suppose 8*i - n - 5073 = 0. Is i a multiple of 27?
True
Let i(c) be the first derivative of 10*c**3/3 + 11*c**2 - 7*c - 144. Is 13 a factor of i(7)?
True
Suppose 0 = 13*z - 3*z - 9806 - 38444. Is 25 a factor of z?
True
Let h = 97 + 46. Suppose -3*y = -5*y + 330. Is 11 a factor of 26/h + 5/(y/3294)?
False
Suppose -m - 8*h + 8 = -9*h, -11 = -2*m + h. Suppose -1517 = -m*c - 482. Is c a multiple of 30?
False
Let k(m) be the second derivative of -10*m - 1/20*m**5 + 0*m**4 + 0 + 3/2*m**3 + m**2. Is k(-4) a multiple of 24?
False
Let j = -666 + 670. Is j/(3/(-4824)*-6) a multiple of 16?
True
Let x(q) be the second derivative of 3*q + 5/3*q**3 + 0 + 0*q**2. Is 10 a factor of x(6)?
True
Suppose -4*k + 142603 = -5*u, 12*k + 35677 = 13*k - 5*u. Is 58 a factor of k?
False
Let n = 7588 + 4814. Is 78 a factor of n?
True
Suppose -297*y + 322786 = -819023 - 1680879. Does 16 divide y?
True
Let x = -5170 + 6570. Does 25 divide x?
True
Suppose -134*n = -799976 - 57088. Does 3 divide n?
True
Suppose 47*v - 83828 = 43*v + 4*s, -v + 20952 = -2*s. Is v a multiple of 20?
False
Suppose -4539 = -14*w + 12107. Does 82 divide w?
False
Let z be ((-206376)/6)/(-4)*-1 - -4. Is 2/8 + z/(-36) a multiple of 12?
False
Let t be (-2)/5*5/3*-3. Suppose 0 = b - 4*u - t - 0, 3*u = -5*b + 33. Suppose 2*g + 5*i - 43 = 0, -b*i + 2*i = -5*g + 124. Is 4 a factor of g?
True
Let y be (0 + 6)*4180/285. Is 15*(y/12 + -6) a multiple of 20?
True
Let w = 1398 - -372. Suppose 15 = -2*r + 9, 3*x - w = -5*r. Suppose x = 5*q - 35. Is 10 a factor of q?
False
Suppose 3*x - 257 = -2*h + 11254, 0 = -5*h. Does 55 divide x?
False
Let m be (-1)/(1/(-347)*1). Suppose -3*n - n + 259 = -3*a, 4*a = 5*n - m. Let y = a + 143. Is 10 a factor of y?
True
Suppose -20959 = -379*z + 375*z + v, 3*v + 5237 = z. Does 10 divide z?
True
Let d be (-3 - (281 - -1)) + 1. Let n = 11 - d. Suppose 5*v - x = 277, 5*v + 5*x - n = -0*v. Is 14 a factor of v?
True
Suppose -9 = -3*x + 2*p - 2, 0 = -4*x - 3*p + 15. Does 15 divide x + 1 - (-141 - (-5 - -1))?
False
Suppose 3*a + l + 1 = 0, 2*a + 24 = 5*l - l. Is 71 a factor of a*(-4)/(-12) + (-2537)/(-3)?
False
Let c(n) = -561*n - 44. Let l be c(-9). Suppose 721 = -7*k + l. Is 36 a factor of k?
True
Let m(q) = q**3 + 7*q**2 +