-8*o + 194. Let g be y(15). Let b = -51 + g. Is 23 a factor of b?
True
Suppose 13673 = 4*b - 48675. Is b a multiple of 50?
False
Let h = 9598 - 5776. Is 31 a factor of h?
False
Let b = 21 - -3. Suppose 0 = -10*w + b*w + 5152. Let r = 523 + w. Is r a multiple of 31?
True
Does 92 divide (23*8)/(214/2889)?
True
Let u be (290/(-6) - 24/(-72))*-5. Suppose 246*h - u*h = 1980. Is h a multiple of 33?
True
Let b(w) = 3*w**2 - 45*w - 13. Let z be b(15). Does 13 divide 2*172/(-8)*z?
True
Suppose 4*m + m + 2*i - 38 = 0, 2*i = -2. Let y(o) = -6*o - 2*o**2 + 3*o**2 + 11 + 0*o. Is 27 a factor of y(m)?
True
Let q(u) = -30*u**3 + 3*u**2 - 4*u - 6. Let h be q(-4). Suppose -9*p + h = 772. Suppose n = k + p, 3*n = -5*k + 168 + 218. Does 33 divide n?
True
Suppose 4*d - 18 = -7*o + 10*o, 5*d - 4*o - 23 = 0. Suppose d*c - 29 = 220. Does 14 divide c?
False
Let a(t) = -366*t - 3264. Is a(-64) a multiple of 15?
True
Let g = 104 - -10. Let m(r) = -56*r - 19. Let u be m(-5). Let a = u - g. Is a a multiple of 31?
False
Suppose -14182 = 30*w + 2168. Let p = w - -595. Is p a multiple of 25?
True
Let z(t) be the second derivative of -7*t**3/6 + 9*t**2 - t - 15. Let a(c) = -c**2 - 2*c + 5. Let l be a(-5). Is z(l) a multiple of 11?
True
Let x(c) = -c**3 - 18*c**2 - 15*c + 44. Let y be x(-17). Does 21 divide ((-28)/y + 0)*30*-2?
True
Let m = 1513 + -2540. Is 37 a factor of m/(-7) + 3/21*2?
False
Let h = 1768 + -1710. Suppose 84 = -4*c - 0*c. Let a = c + h. Is a a multiple of 37?
True
Let b be 124/30 + 6/(-45). Suppose t - u = -0 - b, u - 4 = 0. Suppose -5*o - 2*i - 3*i + 100 = 0, i = t. Does 20 divide o?
True
Let z be (9 + -15)*(-3 - -2). Suppose 5*u = -4*w + 2604, z*u - 3*w + 2084 = 10*u. Is 39 a factor of u?
False
Suppose 3 + 7 = -5*d. Let h be (-1)/(d/(-10)*-1). Suppose -5*t + 335 = h*c, 5*t = c + 4*t - 77. Is c a multiple of 8?
True
Let g = 11557 + 5622. Does 29 divide g?
False
Let d(c) = 6006*c - 4125. Is 87 a factor of d(2)?
False
Let w(n) = n. Let x(d) = -5*d. Let h(m) = 4*w(m) + x(m). Let v(g) = -4*g - 25. Let z(q) = -4*h(q) - v(q). Does 11 divide z(12)?
True
Let x = -473 + 6549. Is x a multiple of 31?
True
Suppose -p = 4*p - 460. Suppose -149*n = -143*n. Suppose -2*l + 6*l - p = n. Is l a multiple of 10?
False
Let w(t) = 2*t**2 + 66*t - 144. Does 12 divide w(-45)?
True
Suppose 3*w - 49 = 2*z, 0*w - 34 = -2*w + 2*z. Let l(y) = 30*y - 44. Is 29 a factor of l(w)?
True
Suppose -36 = -5*b - 1. Suppose c + 2010 = 5*k, -5*c = 5*k - b*c - 2005. Does 13 divide k?
True
Let j(l) = l**2 - 11*l - 56. Let q be j(15). Suppose q*d - d = 1548. Does 12 divide d?
True
Is 5 a factor of (-10)/((1 - -5) + 4/(-664)*997)?
True
Let o be (-48 - -4)*(-12)/33. Let v(g) = 80*g - 1. Let l be v(1). Let f = l + o. Is f a multiple of 19?
True
Suppose 0 = -109*l + 106*l - 378. Let y = -105 - l. Suppose -y = -35*m + 32*m. Is 3 a factor of m?
False
Suppose 2*i - 7944 = 1780. Is i a multiple of 13?
True
Is 1*(14682/3 + -13) a multiple of 17?
False
Is (-90)/(-33) + (-36)/(-132) + 8043 a multiple of 193?
False
Suppose 0 = 3*p + 3*t - 156, -4*p - 124*t = -129*t - 154. Suppose 5*r + 23 = 5*c - 242, -5*c + 2*r + 271 = 0. Let n = p + c. Is n a multiple of 41?
False
Suppose 875*y - 876*y = -k - 7038, -14084 = -2*y + 4*k. Is y a multiple of 142?
False
Let g = 15392 - 9731. Does 8 divide g?
False
Let l(v) = -v + 14. Let q be l(8). Is 12 a factor of (1/(q/4))/(40/4740)?
False
Let p(x) = 29*x**2 - 16*x**3 + 23*x**2 - 53*x**2 + 1. Let d be p(-1). Suppose -a = -61 - d. Is 11 a factor of a?
True
Let h = 714 + 2196. Does 25 divide h?
False
Suppose -277*o + 127*o = -269700. Is 4 a factor of o?
False
Let y(h) = 19*h**3 - 26*h**2 - 25*h + 25. Let q(t) = 7*t**3 - 9*t**2 - 8*t + 8. Let c(j) = 11*q(j) - 4*y(j). Is c(7) a multiple of 15?
True
Let r(m) = 84*m**2 + 10*m + 190. Does 7 divide r(9)?
True
Let j(t) = -7*t - 9. Let c be j(-2). Suppose 14*g - c*g - 54 = 0. Does 2 divide (3/4)/(g/32)?
True
Suppose -68*h + 7*h + 77897 = 0. Is 31 a factor of h?
False
Let g(c) be the first derivative of c**2/2 + 112*c - 67. Is 49 a factor of g(-14)?
True
Let t(i) = i**2 + 6. Let o(s) = -s**2 - 15*s - 36. Let l be o(-12). Let w be t(l). Is 15 a factor of (w/(-12) + -2)*84/(-2)?
True
Suppose 0 = 4*d - 20, -13 = k - d - 2*d. Suppose 2*n = -3*n - 25, -k*n - 18 = -4*x. Suppose -i - 5*g + x*g = -58, 0 = 2*i + 5*g - 118. Is i a multiple of 7?
False
Let f(l) = 7*l - l**2 + 14 + 2*l + 2*l - 7. Let u be f(-7). Is 16 a factor of ((-306)/u)/((-6)/(-224))?
True
Let g(l) = 2*l**3 - 13*l**2 - 8*l - 11. Let t be g(7). Let q be (-10)/6*54/t. Suppose q = -p + 110. Is p a multiple of 15?
True
Let x(g) = 9*g**2 + 43*g + 224. Is 54 a factor of x(-23)?
True
Is (-133797)/(-6) + ((-153)/(-238) - 6/42) a multiple of 31?
False
Let b = -14833 + 21422. Does 11 divide b?
True
Suppose 4*y = -3*x + 92559, 2*y = -9*x + 10*x + 46257. Does 78 divide y?
False
Let m(y) be the third derivative of y**6/120 + 7*y**5/30 - 17*y**4/12 + 11*y**3/3 + 23*y**2 - 1. Is 18 a factor of m(-16)?
True
Let m(h) = -h**2. Let p be m(-5). Let t = -21 - p. Suppose 173 = t*f - 67. Is 12 a factor of f?
True
Let w be (-416)/(-5) + 1 + 15/(-75). Suppose -w = -21*y + 126. Is y a multiple of 6?
False
Suppose 4*q = -q + 20. Let x be (-1)/7 - (-87384)/168. Suppose -h + x = q*h. Is 26 a factor of h?
True
Let g(u) = -u**3 - 15*u**2 + 27*u + 13. Let z be g(-17). Is 28 a factor of (-135)/(-18)*z + -9?
False
Let q(w) = 55*w**3 + w**2 - w + 1. Let f be q(1). Suppose 31*c - 5016 = -26*c. Let o = c - f. Is o a multiple of 17?
False
Suppose 5*m - m - 6568 = 4*g, 8206 = 5*m - 4*g. Does 39 divide m?
True
Let w(i) = 11 + 9*i - 2*i**3 + 1 + 0*i + i. Does 20 divide w(-4)?
True
Let t = 16927 - 11687. Is 2 a factor of t?
True
Suppose 0 = 5*v + 5*n - 142905, -9*n - 85703 = -3*v - 4*n. Does 47 divide v?
True
Let g = 7954 - 946. Is g a multiple of 48?
True
Let b = 348 + -49. Let p = 425 - b. Is 15 a factor of p?
False
Let g(d) = 12*d + 2*d + 3*d**2 - 11 - 2 + 5*d. Let c be g(-12). Let o = -106 + c. Is 16 a factor of o?
False
Suppose -c + h = 2, 3 = -2*c + 3*h - 6. Suppose 0 = -c*a + 4*a - 10. Suppose a = -6*m + 82. Is m even?
True
Is 2 a factor of (2 - 2)*1/2 - -320?
True
Suppose 0 = 3*i + 4*m - 20, -m = 4*i - 3*m + 10. Suppose -3*o - 2*w + 2 = 0, i = -2*o - 3*w - 7 - 0. Let t(v) = 2*v**2 - v - 5. Is t(o) a multiple of 9?
False
Suppose t + 372 + 134 = 0. Let a = t + 1741. Is a a multiple of 19?
True
Let a(b) be the second derivative of -94*b**3/3 - 5*b. Let i be a(-1). Suppose -2*j + i = -3*f, -3*j + 2*f = -105 - 167. Does 8 divide j?
True
Let y(j) = j**3 - 7*j**2 - 17*j - 6. Suppose 0*u + 3*u - 5*x - 27 = 0, 5*u - 5*x - 45 = 0. Let t be y(u). Suppose -35 = -t*n + 136. Does 13 divide n?
False
Suppose -15 - 19 = q + 3*o, o - 1 = 0. Let c = -21 - q. Is 24/(2 - 26/c) a multiple of 8?
True
Suppose -806 = -o - 5*u, -3*u - 49 = -40. Is 178 a factor of o?
False
Let w be (1*21 - 1) + 1. Suppose -12*v = -2*u - 9*v - 750, -3*u - 1124 = -5*v. Is 26 a factor of (36/w)/((-6)/u)?
False
Let w be (3 - (7 + -3))/(2/(-202)). Suppose w = -2*a + 535. Is a a multiple of 7?
True
Let m be 17/(68/432)*10/8. Suppose 919 - m = 2*b. Is b a multiple of 7?
True
Let z(k) = 2*k**2 + 7*k - 5. Let h be z(-6). Let b be -6*((-1850)/3108 - (-6)/14). Does 15 divide -6*h*b/(-2)?
True
Suppose 0 = -130*t + 72780 + 73990. Is 10 a factor of t?
False
Let j be 1/((-154)/(-1102) - (-8)/(-76)). Suppose 3*l = 2*l + 19. Let n = j + l. Does 12 divide n?
True
Suppose 2 = -j, 0*j + 15 = l - 3*j. Suppose l*f - 10*f = -3. Suppose f*p - 37 = 20. Does 5 divide p?
False
Let o(w) = -3*w - 30. Let p be o(-11). Suppose p*z = -2*i + 4*i - 915, z = -i + 460. Does 31 divide 2/(i/(-93) + 5)?
True
Let m = 800 - 796. Suppose -27*c = -22*c + m*x - 5925, 5*c - 2*x = 5925. Is 15 a factor of c?
True
Let z(f) = -5*f**3 + 3*f**2 + 17*f + 28. Let c be -8 - (1*(-5)/(-5) - 4). Does 25 divide z(c)?
False
Suppose -2*j - 4*j - 2244 = 0. Let v(u) = 540*u + 4. Let i be v(1). Let d = j + i. Does 8 divide d?
False
Let u(h) = h + 11. Suppose -4*p + 3*c - 37 = 0, p = 5*p + c + 25. Let m(f) = f**3 + 9*f**2 + 15*f + 16. Let l be m(p). Is u(l) a multiple of 10?
True
Suppose 4*t - 717 - 1551 = -3*t. Is 7 a factor of t?
False
Let u be (-9)/54 - 1283/6. Let l = u - -318. Is 27 a factor of l?
False
Suppos