oes 13 divide b?
True
Let v be 12/3 + 1 + -5. Suppose v = l + 3*w - 110, 5*l + 4*w + 0*w - 583 = 0. Does 17 divide l?
True
Let w(g) = -g + 1. Let q be w(-2). Suppose -98 = q*n - 2*n. Let p = -31 - n. Is 14 a factor of p?
False
Let w be (-54)/(-126) - 1840/14. Let v = -126 - w. Does 5 divide v?
True
Let y(u) = -u**2 - 3*u - 13. Let l be y(-5). Let d = l + 44. Is 3 a factor of d?
True
Let o(i) = i**3 + 6*i**2 + 5*i + 4. Suppose -3*t - 25 + 8 = 5*q, -3*t + 5*q = 7. Is o(t) a multiple of 9?
False
Let z be (-1 - (1 + 125))/(-1). Suppose 0 = 4*r - 2*l - 178, 0 = 3*r - 2*l + 7*l - z. Is r a multiple of 11?
True
Let d(b) = -20*b + 4. Let m(j) = -j**3 - 4*j**2 + 5*j - 3. Let x be m(-5). Let f be d(x). Let k = f - 28. Is 18 a factor of k?
True
Let v(n) = 2*n**2 + n + 1. Let b be v(-1). Suppose -4*u + 100 = -2*a, -u + 7 + 7 = 5*a. Suppose b*w - 62 = u. Is w a multiple of 12?
False
Is (-5 - -2 - -330 - 0) + -3 a multiple of 71?
False
Suppose -9*u = -10*u + 23. Suppose -v + 7 = -u. Does 30 divide v?
True
Let p(y) = y + 67. Let f(j) = -j - 33. Let h(b) = 5*f(b) + 2*p(b). Is 4 a factor of h(-15)?
False
Does 6 divide 175/2*240/140?
True
Is 33 a factor of (-16628)/(-24) + 2/12?
True
Suppose -w + 3*k + 8 = 0, -2 = -4*w - 3*k - 0. Is (-261)/(-9) + 1 + w a multiple of 5?
False
Is 16/(-12) - (3567/(-9) - -3) a multiple of 116?
False
Let p(d) = -71*d + 28. Let w(s) = s**2 + 10*s - 42. Let i be w(-13). Is 18 a factor of p(i)?
False
Let p be (-6)/24 - (-26)/8. Suppose 2*g = -q + 38, -p*q - 3*g + 132 = q. Is 5 a factor of q?
True
Suppose 2*y = 4*x - 20, -5*y + 5*x - 2*x - 15 = 0. Let p = 4 + y. Suppose 8*d - 160 = p*d. Is 10 a factor of d?
True
Suppose -l = -5*r + 1825, -2*r - r + 3*l = -1107. Is r a multiple of 50?
False
Let c be (-4)/6*(-6)/(-4). Is c/2 + 334/4 a multiple of 14?
False
Let d(f) = -6*f + 1. Let j = -2 - 0. Let h be ((-16)/8)/((-4)/j). Does 4 divide d(h)?
False
Let j be 81/36*(-8)/(-3). Suppose 0*b + 15 = b + 2*u, 2*u = j. Is b/6 - 147/(-6) a multiple of 13?
True
Suppose l - 9 = r, 5*l = -4*r + 2*r + 10. Let b = l + 101. Does 15 divide b?
True
Let w be 5*4/(12/(-3)). Is 15*2 - 0 - (-7 - w) a multiple of 16?
True
Let v = 40 + -36. Is 4 a factor of v?
True
Suppose -3*n + 4*i + 4 = -4, -2*n = -2*i - 6. Let o(a) be the first derivative of 2*a**2 - 13*a - 80. Does 3 divide o(n)?
True
Let j = 40 - -93. Does 4 divide j?
False
Let k(f) = 69*f - 194. Does 11 divide k(6)?
True
Let a(n) = -n**3 - 10*n**2 + 2*n + 14. Let r be a(-10). Is 10/(-20)*(0 + r) a multiple of 2?
False
Let h be -3 + 6 + -1 + 65. Suppose -f = -h - 5. Is f a multiple of 12?
True
Suppose 10*g = 155 + 275. Is 14 a factor of g?
False
Let o(g) = 613*g**2 + g. Is 38 a factor of o(-1)?
False
Let q(f) = 668*f + 59. Is q(2) a multiple of 32?
False
Suppose 0*b - 5*b + 19090 = 3*a, 0 = 5*b - 2*a - 19115. Is 15 a factor of b?
False
Suppose z = -5*l + 77, 233 = 4*z + 5*l - 0*l. Let d(m) = 12*m + 31. Let p be d(-3). Is (-1 - p) + z + -4 a multiple of 13?
True
Suppose 5*i - 2*i = 9. Suppose 5 = 2*o - i*x - 1, -3*x = 0. Suppose -150 = -o*r - 2*r. Is 10 a factor of r?
True
Suppose 19*f - 15*f - 3*l - 21 = 0, -l - 29 = -5*f. Is f a multiple of 3?
True
Suppose k - 29 = 5*r + 57, 237 = 2*k + 3*r. Does 9 divide k?
False
Let d(f) = -6*f + 38. Let v be (51/(-34))/((-42)/(-20) + -2). Is 32 a factor of d(v)?
True
Let d = 485 - -241. Does 22 divide d?
True
Suppose 7*a + 5083 = 24*a. Does 8 divide a?
False
Suppose -x = 4*s - 3*s - 1362, -s - 4098 = -3*x. Is 15 a factor of x?
True
Is 17707/10 + 6/20 a multiple of 11?
True
Suppose -y = 4*q + 90, 27 = -q + y + y. Let o = q + 82. Does 3 divide o?
False
Let f(o) = -o + 6. Suppose 0 = -2*a + p + 4, 4*a + p - 10 - 4 = 0. Let u be f(a). Suppose 3*c - 168 = -u*z, 0 = 5*z - 4*c + c - 312. Is 17 a factor of z?
False
Let v = 0 - -2. Suppose 2*l - 4 = -v*h + 2, 0 = -h - 4*l + 6. Suppose 0 = h*f - 17 + 5. Does 2 divide f?
True
Let g(y) be the first derivative of y**3/3 - 5*y**2 - 17*y - 5. Is g(13) a multiple of 11?
True
Let x be 10/5 + (-22 - -1). Let s = -11 - x. Does 2 divide s?
True
Let b(c) = -156*c**3 + c**2 + c. Let w be b(-1). Suppose 5*y + 41 - w = 0. Suppose -4*d + 135 = y. Is d a multiple of 11?
False
Suppose -2*h + 10 = 2*o, -2*o - 11 = -4*h - 51. Let c(v) be the first derivative of -v**4/4 + 10*v**3/3 + 6*v + 2. Is c(o) even?
True
Let k(d) = -11*d + 10. Let j(a) = 5*a - 5. Let g(h) = -5*j(h) - 3*k(h). Let i be g(2). Suppose -8*s = -i*s + 243. Is 30 a factor of s?
False
Let a(z) = -6*z - 4. Let h = -37 + 29. Is 22 a factor of a(h)?
True
Let i(f) = f**3 - 3*f**2 - 3*f - 5. Let b be i(4). Is 5 a factor of b - -30 - (1 + 3)?
True
Let t = 31 + -33. Let p be (10/4 + -3)*t. Let b(g) = 110*g**2 - g + 1. Is 22 a factor of b(p)?
True
Suppose 0*x + 5*c = 4*x - 25, 2*c + 10 = 4*x. Suppose x*f = -3*f + 354. Let l = f - 68. Does 25 divide l?
True
Let p = 14 + -11. Let n(l) = -4*l**2 - 8*l + p*l**2 + 3 + 21*l. Does 15 divide n(7)?
True
Let k(v) = 4*v**3 - 3*v**2 - 2*v - 9. Suppose -15 = -2*z - y, -2*z + 5*y = -5*z + 40. Let a be k(z). Is a/3 - 4/12 a multiple of 27?
True
Let c = 35 + -35. Suppose c = 5*p + n - 2*n - 3, -3*p + 12 = -4*n. Suppose 6*t - 3*t - 279 = p. Is t a multiple of 31?
True
Let s = 25 - -15. Let r = 21 + s. Does 3 divide r?
False
Suppose -3*o + 40 = 4*x - 7*o, -x = -2*o - 15. Suppose 3*s = -4*d - s - 4, x*s - 9 = 2*d. Is 12 a factor of (4 - d)/((-2)/(-16))?
True
Let k be (-64)/(-5) - -1 - 7/(-35). Suppose 2*r - 30 = 5*r. Let q = r + k. Is q even?
True
Suppose 2*k - 3 = 1. Let u(m) = 5 - 10 - m**3 - 3*m - 2*m**k - 2*m**2. Does 3 divide u(-4)?
False
Let i = -20 - -34. Let h = i + -12. Let t(x) = 3*x**3 + x + 1. Is t(h) a multiple of 9?
True
Let v be -21 + 5/(4 + -9). Let s = v + 38. Is s a multiple of 4?
True
Let q = 784 - 742. Is q a multiple of 7?
True
Suppose 0 = -2*s + z + 465, -3*s - 3*z = -647 - 46. Is s a multiple of 9?
False
Let m = 158 + 440. Is 26 a factor of m?
True
Suppose -3*i = -5*i - 6. Let x be 7*(2 + 3/i). Suppose 47 = -x*d + 180. Does 5 divide d?
False
Let c(w) be the third derivative of -w**4/24 + 35*w**3/6 - 16*w**2. Does 20 divide c(15)?
True
Does 12 divide 3/2 - (-9979)/34 - 7?
True
Let p(u) = u**3 + 26*u**2 - 3*u + 56. Is p(-26) a multiple of 15?
False
Suppose 2*z + 3*g + 18 = 0, 3*g + 0*g = -5*z - 45. Let i be -1 + -4 - (z - -12). Let d(b) = -b**2 - 9*b + 1. Is 9 a factor of d(i)?
True
Suppose -l - 3*g = 8 - 24, 4*g - 40 = -2*l. Is 4 a factor of 10/(-35) - (-540)/l?
False
Let x(w) = -6*w**2 - 4*w - 2. Let l be x(2). Let v = l - -79. Is v a multiple of 15?
True
Let j = 6 - 63. Let x be (-70)/6 - (-2)/(-6). Is j/(-2) - 6/x a multiple of 4?
False
Let r be (-158)/4 - 1/(-2). Let o be (-2 + 4)/(2/r). Let n = o + 83. Is n a multiple of 22?
True
Let j(b) be the third derivative of 5*b**4/24 - 4*b**2. Let d be j(1). Does 7 divide 2/(-10) + 81/d?
False
Let y(p) = -32*p**2 + 9*p + 9. Let d(i) = 48*i**2 - 13*i - 13. Let a(m) = 5*d(m) + 7*y(m). Suppose 2*h - 2 = -4. Does 5 divide a(h)?
False
Let t = -1418 - -1450. Is 8 a factor of t?
True
Does 2 divide 28/(-49) + (-464)/(-28)?
True
Let i = 540 + -326. Is 30 a factor of i?
False
Let y(v) = 251*v + 90. Is 18 a factor of y(12)?
False
Suppose 0 = -3*a + 15, 0 = i - 0*i - 5*a + 6. Let y(m) = 3*m - 2*m - 2*m + 8 + 2*m. Is 14 a factor of y(i)?
False
Let h be 2 - 1 - 2548/(-14). Let o = h + -100. Is 16 a factor of o?
False
Let j(f) = -f**2 + 11*f - 5. Let b be j(4). Suppose 0 = 4*v - b - 9. Suppose -v*z = -4*z - 44. Is 9 a factor of z?
False
Let i = 113 - 109. Does 11 divide ((-247)/(-2) - i)*2?
False
Suppose 3*r + 0 + 9 = -z, 3*r + 3 = -3*z. Suppose -z*t = -6, 3*n - 178 = -n + 3*t. Suppose 7*w - n = 59. Does 5 divide w?
True
Let w be (-2)/(-12) - 1068/(-72). Let y(l) = -l + 24. Is y(w) a multiple of 5?
False
Suppose 0 = -2*a + 22 - 4. Suppose 0 = a*l - 5*l - 192. Is l a multiple of 12?
True
Let n = 10 + -11. Let q(x) be the third derivative of -25*x**4/24 - x**3/6 - 4*x**2. Is 21 a factor of q(n)?
False
Suppose 61*p - 67*p - 12 = 0. Does 7 divide 161 + p + (4/(-4) - -1)?
False
Let p(y) = 10*y. Let d be p(-6). Let m = d - -145. Is m a multiple of 9?
False
Suppose -j = -2, 3*j - 22 = 5*u + 2*j. Let h be 5*u/(-20) + 50. Suppose -3 = -d + 2*d, 2*c - 3*d = h. Is 6 a factor of c?
False
Suppose 0 = 7*u + 10*u - 54