x = d - -45. Does 11 divide x?
True
Suppose -3*r + 576 + 177 = 0. Suppose -3*x = -5*f - 8*x + 265, 5*f - 2*x - r = 0. Does 18 divide f?
False
Is 6 a factor of ((-4)/(-9)*39)/((-4)/(-108))?
True
Let u be -3 + 111 - 0 - 9/(-3). Suppose 10*b + u = 13*b. Is b a multiple of 9?
False
Let b(i) = -2*i + 3 + 17 - 7 + i**2. Does 39 divide b(-11)?
True
Suppose -16*o + 136 = -20*o. Let z = 81 + o. Is z a multiple of 15?
False
Suppose b + 4 = 3*y, -2*b + 4*b - 2 = y. Suppose 0 = -6*d + 2*d. Suppose b*p + p + 6 = d, -14 = -4*f - 5*p. Is f a multiple of 3?
True
Suppose -5*x = -64 - 6. Let a = -100 - -161. Let u = a + x. Does 23 divide u?
False
Let l(b) = 1046*b - 287. Is l(2) a multiple of 56?
False
Suppose 0 = 4*x - 9 - 703. Suppose 3*m - 106 = -2*v + 3*v, v + x = 5*m. Suppose -3*d + 14 = -2*d - l, 4*d - m = -l. Does 10 divide d?
True
Suppose -5*h - 3*v = 49, -5*h + 8*v - 25 = 3*v. Does 13 divide ((-260)/h)/(1/2)?
True
Suppose 3*n - 3*u = -189 + 15, -4*n - 4*u - 224 = 0. Let k = -6 - n. Is k a multiple of 13?
False
Let l(j) = -j**2 + 30*j - 89. Is l(20) a multiple of 3?
True
Suppose f - 8 = -8. Suppose f = -5*q - 75 + 270. Is q a multiple of 10?
False
Suppose -12*x = -9*x + 102. Let u = 91 + x. Is 27 a factor of u?
False
Let a(s) = 6*s**2 - s - 2. Let b be a(7). Suppose -3*d + h = -448, -b - 167 = -3*d + 2*h. Is 26 a factor of d?
False
Let z = -67 - -73. Suppose 4*o - z*o + 22 = 2*k, o = -3*k + 21. Is o a multiple of 3?
True
Suppose 0 = 3*g + 4*a - 33, g = 3*a + 9 + 15. Let x = 44 - g. Suppose -x - 109 = -6*z. Does 4 divide z?
False
Suppose 4693 = -58*f + 109267. Does 4 divide f?
False
Let u = 22 + -26. Let a(p) = -2*p**3 - p - 1. Let y be a(-1). Is 14 a factor of y/(u/(-84) + 0)?
True
Let h(g) = 70*g - 770. Is 10 a factor of h(45)?
True
Let d(g) = 2*g - 18. Let q be d(12). Suppose -2*h + 4*z - 15 = z, -5*z = 5*h - 25. Suppose -t + q*t - 70 = h. Is t a multiple of 12?
False
Let i = -1 + -6. Let c = i + 10. Suppose -4*h = -4*w + 204, c*w - 4*h - 267 = -114. Is w a multiple of 17?
True
Let x = -538 + 623. Is 17 a factor of x?
True
Suppose 832 = 5*n + 112. Let d = n + -59. Suppose 4*m + 21 = d. Does 8 divide m?
True
Suppose -5*k - 1008 = -14*k. Suppose -2*z = 5*z - k. Is 4 a factor of z?
True
Suppose -33*z + 26460 = -27*z. Does 98 divide z?
True
Let n(l) = -43*l. Let r be 4/(-6) + 7/(-3). Let p = r + 2. Does 16 divide n(p)?
False
Let z(u) = 2*u**2 + 14*u - 82. Does 19 divide z(5)?
True
Let d(p) = -p**2 - 4*p + 1. Let g be d(-3). Suppose q - 5*q = -3*w - 64, 5*q + g*w = 111. Let z = 30 - q. Does 11 divide z?
True
Suppose 5*l = -0*l + 825. Suppose 0 = r - 3*y + 4*y - l, -r + 165 = -4*y. Is 33 a factor of r?
True
Let j(b) = b**3 + 30*b**2 - 45*b + 36. Is 11 a factor of j(-30)?
True
Does 18 divide (-34)/4*(-8 + 2)?
False
Suppose 0*a + 4*a = 60. Let m be (a/6 - 3)*0. Suppose q + 3*c - 16 = 0, -4*q + c + 19 + 19 = m. Is 5 a factor of q?
True
Is 9 a factor of (6/10)/(196/94080)?
True
Let a = 334 + -130. Suppose -4*h + 5*q + a = -h, 0 = -h + q + 68. Is h a multiple of 34?
True
Is (0 + 3)/(6/88) a multiple of 2?
True
Let z = -199 + 379. Is 6 a factor of z?
True
Let x(b) = -2*b**2 - 3*b + 100. Is x(0) a multiple of 5?
True
Let d = 7 - 3. Suppose d*g + 465 = 9*g. Is 12 a factor of g?
False
Suppose -2*h - 4 + 12 = 0. Let a(d) = 6 - 5 + h*d + 3*d + 13. Does 31 divide a(13)?
False
Suppose 0 = -9*p + 6710 - 284. Is 14 a factor of p?
True
Let c(f) = f**3 + 4*f**2 - 4*f + 7. Let l be c(-5). Let k(q) = 3*q + 5 - 1 + q**l + 0 - 2. Is 21 a factor of k(-8)?
True
Let a be 2/(-7) - (-790)/70. Let w = -9 + a. Let i = w - -16. Is i a multiple of 12?
False
Let z be (-8)/(-20) + (-14)/10. Let n be z/3*(-8 + -10). Suppose 9*b - n*b - 156 = 0. Is b a multiple of 14?
False
Let s(u) = -878*u - 48. Is s(-6) a multiple of 30?
True
Suppose 3*t = -0*t + 3. Let s = 75 + -77. Is -1 + 14/t - s a multiple of 5?
True
Let n = 43 - 45. Is (1 - (-3 - n)) + (7 - 1) a multiple of 4?
True
Let q = -46 - -67. Let v = -21 + q. Let x(c) = c + 51. Is x(v) a multiple of 13?
False
Let c = -59 - -97. Is (-6 + 1 + 0)*c/(-2) a multiple of 19?
True
Suppose -7117 = 18*c - 29*c. Is c a multiple of 24?
False
Let a(m) = -m - 12. Let o(d) = 1. Let r(t) = -a(t) - 6*o(t). Is 2 a factor of r(-4)?
True
Let q be (-2)/13 - 5796/182. Let z be ((-48)/q)/(1/48). Let y = -32 + z. Does 10 divide y?
True
Let v(r) = -r**2 - 14*r + 2. Let z be v(-14). Suppose 0 = -3*l + z*f + 360, 5*l - f = l + 480. Is l a multiple of 20?
True
Let q(w) = 24*w - 40. Is 11 a factor of q(21)?
False
Suppose -4679 = -12*t + 1. Is 8 a factor of t?
False
Let u be -3 + 8/(-12)*-3. Let v be (8 - 4)*u + 2. Does 8 divide 9*(v - (-20)/6)?
False
Let x(a) be the second derivative of a**4/12 - 4*a**3/3 + 12*a**2 + a. Is 9 a factor of x(10)?
False
Let c = -53 + 58. Does 16 divide c + (-6)/3 + 28?
False
Let m(a) = -8*a + 10 + 23 - a**2 + 20. Is m(-12) a multiple of 5?
True
Suppose 0 = 4*h - 2*c - 22, h = 3*h + 3*c - 7. Suppose -2*i - 16 - 12 = 4*l, h*i + 22 = 2*l. Let q(f) = -f**3 - 6*f**2 - 6*f - 9. Is q(i) a multiple of 27?
True
Let w(f) = 2*f**2 - 10*f + 32. Does 20 divide w(8)?
True
Let g = -13 - 20. Let v = g - -43. Does 5 divide v?
True
Let r(x) = 152*x**3 - x**2 + 3*x - 2. Let k be r(1). Suppose v + o - 299 = -3*v, -2*v = -2*o - k. Let b = -23 + v. Is 26 a factor of b?
True
Suppose -8*r + 19 = 3. Does 13 divide (-2*(-1)/r)/(3/195)?
True
Suppose -30*g - 8475 = -37635. Is 54 a factor of g?
True
Suppose 2*a = i - 1 - 9, -16 = -4*i + 2*a. Let o(t) = 9*t - 5 - 13*t + t**i + 9*t + 10. Is o(-5) even?
False
Is 4*((-5 - -4) + 36) a multiple of 9?
False
Suppose 3*p = -4*q + 27, -7*q - 16 = -10*q + 2*p. Is 5 a factor of 1008/20 - q/15?
True
Let x = 504 - 450. Does 7 divide x?
False
Suppose -5 = p, h + h - 22 = -4*p. Does 21 divide h?
True
Let m = 256 - 146. Does 4 divide m?
False
Let l = -95 - -204. Suppose -5*j + 211 = -l. Does 15 divide j?
False
Let n(q) = -19*q + 87. Does 29 divide n(0)?
True
Suppose 3*h - h = -2*a - 8, -4*h = 3*a + 17. Let v be 5/10 + a/(-2). Suppose -2*n - 4*w + 36 = v, 3*w + 2 = n - 1. Is n even?
True
Let d(b) = -2*b + 56. Suppose 3*h - 4*g - 12 = 0, -3*h - 2*h = 4*g + 12. Does 8 divide d(h)?
True
Let d(r) = r**3 + 25*r**2 - 28*r - 23. Let a be d(-26). Suppose l - a = 166. Is 15 a factor of l?
True
Suppose 10 = 3*g - 5. Let n(s) = 4*s**2 + 5 - 4*s**2 + g + s**2. Is n(-7) a multiple of 27?
False
Suppose 36 + 4892 = 4*u. Does 88 divide u?
True
Is 18/21*(-14)/9*-51 a multiple of 3?
False
Let a = 16 + 5. Suppose 20*c + 14 = a*c. Does 10 divide c?
False
Let c be 1 - ((-30)/45)/((-4)/(-6)). Suppose c*d = -134 + 326. Does 32 divide d?
True
Let w = -1 + 28. Let d = -7 + w. Suppose 0 = 4*o + 4*q - 96, -3*q - d = 2*q. Is o a multiple of 23?
False
Let k(g) = 4*g**2 - 5*g - 3. Suppose 4 = -2*b + 3*l - 0, 2*l = -4*b - 8. Is k(b) a multiple of 14?
False
Let l(z) = -z**3 - z**2 - 1. Let a(i) = -i**3 - 5*i**2 - 9*i + 2. Let y(m) = -a(m) + 2*l(m). Is 13 a factor of y(4)?
False
Suppose 950 = 5*d + 2*j, 4*d - 3*j = -0*d + 737. Is d a multiple of 8?
False
Let u(y) = 21*y - 9. Let r be u(-11). Let j = r + 361. Suppose 151 = 4*k - 2*n - 13, -3*k + 2*n = -j. Is k a multiple of 18?
False
Let h = 12 + -10. Suppose 8*c = 3*c + 125. Suppose 0 = -2*q, h*q + 0*q = 5*b - c. Does 5 divide b?
True
Let b(i) = 332*i**2 - 40*i + 76. Is 5 a factor of b(2)?
False
Is 9 a factor of (30/72)/(60/96)*4473?
False
Let k(y) = -y**2 + 2*y + 2. Let d be k(0). Let a be -8*1/d - -9. Suppose -5*u = -3*f - 14, -2*u = -0*u - a*f + 2. Does 2 divide u?
True
Suppose 0 = -2*b - 2*b - 8. Let f be 2*((-15)/b)/5. Suppose f*t + 57 = 138. Is t a multiple of 9?
True
Suppose -4*k - k - 135 = 0. Let m = k + 31. Suppose f + 4*i = -f + 88, m*i = -20. Is 10 a factor of f?
False
Let s(o) be the first derivative of -23*o**4/2 - 2*o**3/3 + 2*o**2 - 3*o - 4. Let z(i) = i**3 - i + 1. Let j(c) = -s(c) - 3*z(c). Is 11 a factor of j(1)?
True
Let q(y) = y + 6. Let k be q(0). Let p be k/(2 + 0) + 0. Suppose p*r = 5*r - 2*o - 16, 2*r + o - 19 = 0. Is 3 a factor of r?
True
Let a(g) = 71*g**2 + 9*g + 34. Does 9 divide a(5)?
True
Let o = -68 + 65. Is 8 a factor of (-2 + (-10)/o)/(7/336)?
True
Let v = 223 + -103. Suppose 0 = -12*w + 16*w - v. Does 3 divide w?
True
Suppose -62*q + 13728 = -49*q. Does 44 divide q?
True
Suppose