*x - 547. Is 37 a factor of a?
True
Let g(r) = -7*r**2. Let q be g(-1). Let h = q + 17. Does 5 divide h?
True
Suppose 0 = -125*d + 116*d + 495. Is d a multiple of 5?
True
Let j(n) = 130*n - 20. Is j(1) a multiple of 2?
True
Suppose t + 5*s - 650 = 0, -1718 = -2*t + 4*s - 474. Is 45 a factor of t?
True
Suppose 3*q + 4*x = -2*q - 7, -11 = q - 4*x. Let l be 5*q*(-161)/(-21). Is 6*(0 - l/15) a multiple of 33?
False
Let n(u) = -u**3 + 8*u**2 + u - 8. Let b be n(8). Suppose d + 4 - 5 = b. Is 12 + (0/1 - d) a multiple of 6?
False
Let q(v) be the first derivative of v**2/2 - v + 2. Let s be q(4). Suppose 5*t - s*t = 8. Is 2 a factor of t?
True
Let n = 6476 + -4236. Is n a multiple of 10?
True
Let b be 5/(-5)*(5 - 0). Let q be 5/25 - 564/b. Let u = q - 38. Is u a multiple of 25?
True
Let s(x) = -269*x - 2. Is s(-4) a multiple of 13?
False
Let j(k) = k**2 + 6*k + 4. Let i be j(-5). Is 14 a factor of (i - (-2)/(-10))*925/(-10)?
False
Let w(o) = -o**2 - 7*o - 6. Let u be w(-5). Suppose 0 = d + f + f + 1, -3*d = -u*f - 37. Suppose 0 = r + 3*i - 38, 5*r = 3*i - d*i + 135. Does 12 divide r?
False
Suppose -2*t + 420 = -4*f, -f - t - 96 = 3*t. Let n = f + 128. Is n even?
True
Suppose 194 = 4*a - 10. Let y be a - -1*(1 + 1). Let o = y - 23. Is o a multiple of 30?
True
Is 23 a factor of ((-194)/3)/((-38)/171)?
False
Suppose 3*w = 8*w + 85. Suppose o - 26 = l, -3*l = -6 - 0. Let u = w + o. Is u a multiple of 11?
True
Suppose f + 265 = -4*s, -3*f - 2*f = 5*s + 350. Let t = -36 - s. Does 3 divide t?
False
Let x = 2373 - 1595. Is 19 a factor of x?
False
Suppose -4 + 55 = -3*d. Let g = d + 29. Is 2 a factor of g?
True
Is 14 a factor of 56/(-6)*27/(-6)?
True
Suppose -1168 = -4*k - 2*r + 6*r, 3*k - r = 886. Let u = -181 + k. Does 29 divide u?
True
Let b(f) = 2*f - 19. Suppose -4*c - c = -80. Let y be b(c). Suppose y - 217 = -3*d. Is 15 a factor of d?
False
Let y be (1 + 6)*(2 - -1). Let u = y + -13. Let l(w) = -w**3 + 9*w**2 - 7*w. Does 8 divide l(u)?
True
Let u = -561 + 872. Is 68 a factor of u?
False
Let q = -28 + 39. Let u = q - 6. Suppose -u*i - 16 = -3*g, -12 - 36 = -5*g + 3*i. Is g a multiple of 4?
True
Does 16 divide (-5586)/(-35) + (-8)/(-20)?
True
Suppose -4*b + 697 + 75 = 0. Does 21 divide b?
False
Suppose 0 = z + 5*g - 80, -g - 216 = -3*z - 4*g. Suppose -2*a + 6 + 8 = 0. Suppose z = -a*j + 8*j. Is j a multiple of 35?
True
Suppose -4*j - 9678 = -4*f - 2*j, -4*f + 9698 = 2*j. Is f a multiple of 34?
False
Suppose 5*a - 4*v + 13 = -78, 0 = -v - 1. Let x = 21 - a. Does 40 divide x?
True
Let m be ((-32)/20)/(4/(-10)). Let v be m + -1 + 0 + 5. Does 11 divide ((-4)/v)/((-4)/160)?
False
Let a = 2241 - 1367. Is 12 a factor of a?
False
Let q be 25 + -1*(-2 - 0). Suppose 0 = -w + p + q, -3*p + 103 = 5*w - 0*p. Is 5 a factor of w?
False
Let c = -32 + 28. Does 21 divide (-516)/28*-11 + c/(-14)?
False
Does 8 divide 1/(5/84)*200/60?
True
Suppose 70818 = 14*n + 52*n. Is 11 a factor of n?
False
Is 335 + -1 + (12 - 18) a multiple of 8?
True
Let o(u) = -u**3 + 18*u**2 - 32*u + 17. Does 17 divide o(16)?
True
Let n(w) be the third derivative of 17*w**4/8 - w**3/3 - 10*w**2. Does 12 divide n(3)?
False
Let w(x) = 2*x**2 + 5*x + 10. Let b be w(-7). Let z = b - -84. Is 13 a factor of z?
False
Let x(q) be the first derivative of q**3/3 + 40*q - 24. Is x(0) a multiple of 40?
True
Is (-54)/15*(-2080)/39 a multiple of 3?
True
Suppose -3*r = -j - 28, -3*j - 4 = j. Suppose 0 = -r*t - 330 + 1419. Is 8 a factor of t?
False
Let v(w) = -4*w + 6. Let g be v(-5). Suppose -220 = -22*r + g*r. Let o = r - -96. Is 7 a factor of o?
False
Let u(y) = 2*y**3 - 13*y**2 - 4*y + 3. Is u(7) a multiple of 12?
True
Suppose 2*o + 345 - 2471 = 0. Suppose -o - 547 = -7*c. Is c a multiple of 18?
False
Let m(k) = 19*k**2 - 69*k - 73. Is 2 a factor of m(9)?
False
Let d be (-626)/(-8) + 3*5/(-60). Let u = d - -2. Is u a multiple of 13?
False
Let c be -1 - ((2 - -1) + 76). Let q = 0 - c. Is q a multiple of 20?
True
Suppose -8*j = h - 3*j - 13, -5*j = 5*h - 85. Suppose 5*r + 0*m = -2*m + h, -m - 5 = -r. Suppose 4*l + r*f = 3*f + 243, 0 = l + 2*f - 66. Is l a multiple of 15?
True
Suppose l = -j + 553, -l - 2*j + 258 + 300 = 0. Let y be (-1)/((-4)/l*-1). Is 16 a factor of 2 + (1 + y)/(-4)?
False
Let l(z) = -z + 10. Let j(a) = -a - 1. Let t(u) = -2*j(u) - l(u). Let x be t(4). Suppose 5*f + r = 5*r + 35, -5*f + 35 = x*r. Is 3 a factor of f?
False
Let h(c) = 38*c - 4. Let n be h(11). Let x = n + -248. Does 51 divide x?
False
Suppose -o + 29 = 3*u, 70 = 2*o - u + 5. Suppose 0 = 4*x - 8 - 60. Let q = o - x. Is q a multiple of 8?
False
Let a(x) = -5*x**3 - 3*x**2 - 3*x + 4. Let m be a(-2). Suppose -27*v = -m*v + 154. Does 2 divide v?
True
Is (28/4)/((-10)/(-5500)) a multiple of 167?
False
Suppose 0 = 2*n - 2*k - 2654, -5*n = -k - 3840 - 2787. Does 25 divide n?
True
Suppose -3*g + g = -6. Suppose -g*r + f + 108 = 319, 0 = -5*r + 5*f - 365. Let y = r - -102. Does 12 divide y?
False
Let l be 284/(-24) - ((-28)/24)/(-7). Is 10 a factor of (-120)/9*18/l?
True
Suppose 0 = -64*a + 59*a + 2135. Does 4 divide a?
False
Suppose -h - 2*f + f = 3, 0 = -2*h + 2*f + 14. Suppose 0 = 4*s - h*s. Suppose 5*b - b - 36 = s. Is b a multiple of 3?
True
Let p be 9/(-3) + (2 - 2). Let c = 2 + p. Let o(i) = -33*i**3 - i - 1. Is 9 a factor of o(c)?
False
Let v = 2082 + 308. Suppose -v = -10*s - 410. Does 33 divide s?
True
Let b = -308 + 473. Suppose k + 4*k = 5*c - b, 0 = -5*c - 5*k + 115. Is c a multiple of 8?
False
Let j(b) = b**3 + 6*b**2 - 4*b - 4. Let m be j(-7). Let i = -21 - m. Is -70*(-4)/40*i a multiple of 21?
False
Let o(u) = 26*u**2 - 138*u + 36. Does 73 divide o(11)?
False
Let p = -16 - -18. Suppose 15*i = p*i + 221. Does 5 divide i?
False
Let a = 23 + -18. Suppose -a*v + 134 + 206 = 0. Is 15 a factor of v?
False
Let b = -1691 - -2591. Is b a multiple of 50?
True
Let b(g) = -g**2 + 13*g - 13. Let m be (-4)/(-7) - 3224/(-91). Let o be 1/((-32)/m - -1). Is b(o) a multiple of 11?
False
Suppose 27*x - 26*x + 625 = 5*m, 3*x = -5*m + 605. Is 4 a factor of m?
True
Let b(y) = y**3 - 8*y**2 + 10*y - 4. Let u(q) = -q**2. Let h(s) = -s**3 + 7*s**2 + 2*s + 1. Let p(m) = h(m) + 4*u(m). Let a be p(3). Is 17 a factor of b(a)?
True
Let j = -2 + 6. Suppose -3*l + 94 = -4*p - 63, j*l - 230 = -5*p. Let g = 104 - l. Is 9 a factor of g?
False
Let n(m) = -3 + 9 - 5*m**2 + 6*m**2 + 7*m. Let x be n(-6). Suppose x = -v + 2, -3*c - 5*v + 28 = -c. Does 9 divide c?
True
Let s(g) = -6*g**2 - 101*g - 37. Is 19 a factor of s(-15)?
False
Suppose 0 = -5*y + 2*y. Let g(f) = 16*f + y + 3*f**2 + 1 - 17*f - 2*f**2. Is 4 a factor of g(-3)?
False
Let q(m) be the first derivative of 4*m**3/3 - 11*m**2/2 + 22*m - 9. Is 9 a factor of q(5)?
False
Suppose -2 = -5*n + 18. Suppose 0 = 4*b + y - 115, 0 = n*b + y - 3*y - 118. Is b a multiple of 29?
True
Let x be 1 - (-3 + -3) - 0. Suppose 0 = x*t - 87 - 11. Let q = t - -32. Is q a multiple of 17?
False
Let n = 4287 + -2207. Is n a multiple of 32?
True
Suppose 20*c - 3*c = 867. Does 17 divide c?
True
Is 2*(3 - 7) - -744 a multiple of 46?
True
Suppose -5*d = 2*w - 462, -2*d + w + 3*w + 204 = 0. Let l be (-6)/(-30) + d/5. Suppose -2*r - l = -3*r. Is r a multiple of 4?
False
Suppose 31 = 2*d + 11. Let c(p) = -p**3 + 10*p**2 + p + 2. Does 4 divide c(d)?
True
Suppose 4*b + z = 97, 0 = 5*b + 3*z + 2*z - 140. Suppose 26*n - 303 = b*n. Is n a multiple of 12?
False
Let q(n) be the third derivative of -n**6/30 - n**5/20 - n**4/8 - 5*n**3/3 - 24*n**2. Is 42 a factor of q(-4)?
True
Suppose 32*u - 25*u = 28. Is 10 a factor of (3 - 4) + u + 11?
False
Let b = 24 - 20. Suppose r = b*r - 132. Suppose -2*y - 5*a = -0*y - r, 4*y - 4*a = 32. Is y a multiple of 4?
True
Suppose -2*z - 3*z = -20. Suppose 4*g - 205 = 5*m, -3*m = -z*g - 12 + 207. Suppose -35 - g = -2*x. Is x a multiple of 10?
True
Let v(k) = -4*k**2 - 9*k - 12. Let s(i) = 7*i**2 + 19*i + 24. Let j(z) = -3*s(z) - 5*v(z). Let g be j(-10). Suppose 0 = g*f - 10*f + 210. Is f a multiple of 35?
True
Let v(r) = 26*r**2 - 65*r + 397. Is 16 a factor of v(7)?
True
Let d = 11 - 25. Is 21 a factor of (18 - 12)*d/(-4)?
True
Let u be 6/((4/(-24))/1). Let n be 56 + -2 + 4 - -2. Let q = n + u. Is q a multiple of 13?
False
Let a = -27 - -15. Let q be a/(-78) + (-1556)/(-26). Suppose -q = -4*i - 5*z, -2*i + 3