de (h/4)/(3/(-12))?
False
Let h be ((-45)/(-18))/(1/(-2)). Is 7 a factor of (h/3)/(7/(-105))?
False
Suppose 0 = -3*n + 4*n + l - 21, 5*n - l = 117. Is n a multiple of 23?
True
Let o = 249 + -214. Does 5 divide o?
True
Let h(j) = j - 6. Let t be h(8). Suppose -160 = -6*w + t*w. Is w a multiple of 20?
True
Let r = -4 + 6. Let h(n) = 8*n**2 - 2*n. Let z be h(r). Suppose -p - 4*w = -z, -3*p = -2*w - 0*w - 56. Is p a multiple of 15?
False
Let a = -28 - -19. Is 5 a factor of 2 - a/(6 - 3)?
True
Suppose 3*h - 2*s - 521 = 0, s - 2*s - 348 = -2*h. Does 35 divide h?
True
Suppose -4 = -t - 12. Let h = t - 0. Is 11 a factor of h/(-5)*75/10?
False
Suppose 4*r - 2*u = -3*u + 985, -r = 4*u - 265. Is 48 a factor of r?
False
Let b(d) = -5*d**2 + d**3 + 6 - 3*d + d - 2*d. Suppose 0 = a - 0 - 6. Does 15 divide b(a)?
False
Let a(l) = l + 62. Let r be a(0). Suppose 0 = 5*n - n + 156. Let t = r + n. Does 16 divide t?
False
Let i(f) = -10*f**2 - f - 8 - 4 + 2*f**3 - f**3. Let o(b) = -3*b**3 + 29*b**2 + 3*b + 35. Let j(t) = 11*i(t) + 4*o(t). Does 7 divide j(6)?
True
Let h = -5 + 7. Suppose -k + h + 0 = 0. Is 1 - 2 - k*-10 a multiple of 10?
False
Let b(u) = 4*u**2 + 2*u**2 + 8*u - 2 - 3*u + u**3 + 0*u**3. Is 3 a factor of b(-4)?
False
Let y be -3 - -4*(-3)/(-2). Suppose -4*b - 2*l = -l - 119, 2*b - y*l = 63. Is 20 a factor of (-4)/(-10) + 1458/b?
False
Let c(r) = -2*r**3 - 4*r**2 - r + 1. Is c(-3) a multiple of 22?
True
Let k = -43 + 26. Let u = 31 + k. Suppose 0 = 2*y + u - 54. Is 10 a factor of y?
True
Let j(g) be the first derivative of g**6/180 - g**5/120 + 2*g**3/3 + 2. Let z(h) be the third derivative of j(h). Is z(-1) a multiple of 3?
True
Suppose u + 1 = 26. Does 7 divide u?
False
Suppose 3*y - 5*i - 6 = 9, 4*y - 4*i = 20. Suppose y*v + 3*w = 14, -2*v - w - 2 = -7*v. Is -40*(v - (-21)/(-15)) a multiple of 8?
True
Does 2 divide (-6)/(1/2*-2)?
True
Let q be ((-2)/(-6))/(3/441). Suppose 0 = -m + q + 11. Is m a multiple of 15?
True
Let s(b) = 12*b. Is s(3) a multiple of 6?
True
Suppose -2*p + 5*k = -20, p + 4*k = 6*p - 33. Suppose -c = 2 - p. Suppose c*a - 103 = -22. Is 15 a factor of a?
False
Suppose -3*v + 110 = 2*d, d + 106 = 3*d + 2*v. Is d a multiple of 7?
True
Suppose -4 = 2*r + 2*u, 3*u - 4*u = 3*r + 2. Suppose -f = -r - 4. Is f a multiple of 2?
True
Is 7718/85 - 4/5 a multiple of 10?
True
Let b be -2 + 1 + 58 + 2. Suppose 0 = n - 4*m - b, 59 = n + 3*m + m. Does 11 divide n?
False
Let q(a) = a**2 + 13*a + 4. Let b be q(-13). Let h = b + 12. Is 4 a factor of h?
True
Let t be 5 + 1 + -3 + 31. Let m = 0 + t. Is 24 a factor of m?
False
Let g be (-1)/4 + 802/8. Let h = g + -35. Suppose -2*z = -5*v + 5, -3*z = 2*z + 3*v - h. Is z a multiple of 10?
True
Let p(i) = 6*i**3 - i**2 + i - 1. Is p(1) a multiple of 4?
False
Suppose -c + 93 - 16 = 0. Is 18 a factor of c?
False
Let p = 13 - 14. Is 282/6 + p + 1 a multiple of 13?
False
Suppose 4*s - f = s + 64, 3*s - 68 = 2*f. Is s a multiple of 10?
True
Is (3/2 + -2)*-30 a multiple of 5?
True
Suppose -y + 2*y - 20 = 0. Suppose 3*o - y = -2*o. Is o a multiple of 2?
True
Suppose k - 13 = -3*n - 0*n, -4*k = -5*n + 16. Let o(q) = q**3 - 23*q**2 - 24*q. Let h be o(24). Suppose h = -n*v + 19 + 101. Is v a multiple of 21?
False
Let m be 72/3*(-3)/6. Does 16 divide -1*16/6*m?
True
Let m be (-3880)/(-130) - (-2)/13. Suppose 3*a - v - m = 0, -4*a - 36 = -7*a - v. Does 3 divide a?
False
Suppose 0 = 5*z + 3*r - 27, z + z = 3*r - 6. Let c(l) = l**3 - l**2 + 4. Is c(z) a multiple of 11?
True
Let t(w) = w**3 + 8*w**2 + 3*w - 5. Let s be -1*(-2 - 0) - 7. Does 27 divide t(s)?
False
Is 12 a factor of (-3)/(1/2*2) - -87?
True
Let k = 9 - -21. Let o be ((-40)/6)/((-4)/k). Suppose -20 = -5*f + o. Is 7 a factor of f?
True
Let c(h) = -2*h - 2. Let g be c(-5). Let q(f) = 5*f + 5. Is 17 a factor of q(g)?
False
Let g(h) = -h**3 + 7*h**2 + 9*h + 1. Does 2 divide g(8)?
False
Suppose 0 = 5*h - 5*c + 12 + 33, 2*h = c - 15. Let l(p) = -p**3 - 4*p**2 + 6*p. Is l(h) a multiple of 19?
False
Let z = -13 + 19. Suppose -486 = z*k - 3*k. Is 3 a factor of k/(-24) - (-2)/8?
False
Suppose -215 = -2*s - 3*r, 3 + 1 = 4*r. Is 27 a factor of s?
False
Is 2/4 + 1780/40 a multiple of 9?
True
Suppose 7*d + 3*f = 2*d + 23, -3*d + 9 = -3*f. Let b = -1 + d. Is b a multiple of 3?
True
Suppose 372 = 3*m - 3*h - 63, h + 292 = 2*m. Suppose 0*d = -3*d + m. Does 10 divide d?
False
Suppose 14*s - 12*s - 168 = 0. Does 13 divide s?
False
Is 1 + 0 + (0/(-3) - -77) a multiple of 26?
True
Let y(l) = -l**3 + 6*l**2 + l + 4. Let s be y(5). Does 7 divide s + (5 + -3)/(-2)?
False
Suppose 2*m - 62 = 4*i, 4*i - 5*i + 1 = 0. Is 28 a factor of m?
False
Suppose 260 = 3*t + 4*d, -5*t + 10 = -5*d - 435. Does 22 divide t?
True
Let p(v) = -v - 3. Does 3 divide p(-12)?
True
Suppose 215 = 4*v - 265. Does 12 divide v?
True
Does 12 divide 248/(-12)*(-3)/2?
False
Let i = -326 - 206. Let q be 6/18 - i/6. Suppose -229 = -5*z - q. Is z a multiple of 14?
True
Suppose -4*a - 8 = 4*g, 3*g + g = -20. Let t be (-10)/6*-1*a. Is (20/3)/(t/15) a multiple of 7?
False
Let d be 3*1*(2 - 1). Suppose 5*h - g - 12 = 6, -h + d*g + 12 = 0. Suppose 3*n + 3 = k + 2, 0 = -2*k + h*n + 5. Is 3 a factor of k?
False
Let v = 9 - 15. Let x = 20 - v. Suppose -2*k + 4*k - x = 0. Is k a multiple of 12?
False
Let y = 12 - 6. Suppose 56 = d + y. Does 16 divide d?
False
Let g = -2 + 12. Does 5 divide g?
True
Is 6/3*1 - -18 a multiple of 10?
True
Suppose -8*s = -215 - 449. Is s a multiple of 13?
False
Suppose 3*u + 5 = 4*u. Suppose 2*c + 2*v = v + 60, 0 = u*c - 3*v - 150. Does 10 divide c?
True
Let x be 13*-41 + 3 + -6. Is 16 a factor of x/(-12) + (-2)/(-6)?
False
Let i(c) = -c**3 + 7*c**2 + 8*c - 1. Let y be i(8). Let q be ((-5)/2)/(y/(-8)). Is 4 a factor of (q/(-25))/((-2)/(-10))?
True
Let a = 136 - 94. Is a a multiple of 3?
True
Let m = -103 - -151. Suppose 4*x = 8*x - m. Does 6 divide x?
True
Suppose 0 = -3*p - 9, 3*m + 3*p = 4*m - 113. Is 26 a factor of m?
True
Let i = 37 - 21. Is i a multiple of 9?
False
Let s be (-18)/(-3)*(-17)/(-2). Suppose -3 = -2*r + s. Is 9 a factor of r?
True
Let q be (113 - -2)/1 + -2. Suppose 3*n + 5 = q. Is n a multiple of 11?
False
Suppose x = 5*y + 2 - 4, -3*y + 12 = 3*x. Is 16 a factor of (81/18)/(x/32)?
True
Suppose -4*o = d - 173, -4*o - 552 = -3*d - 5*o. Is d a multiple of 37?
True
Let p = 20 - 15. Does 3 divide p?
False
Suppose 12 = -2*k + 4*r, -k - 3*r - 9 = -6*r. Suppose -2*j + k*j = -20. Is j a multiple of 9?
False
Let k be 6/9 + (-2)/3. Is 12 a factor of 35 + 1/(k - -1)?
True
Let t(w) = 4*w. Suppose -2*o = 3 - 9. Is 6 a factor of t(o)?
True
Let d(a) = -a**3 - 7*a**2 - a - 10. Let z be d(-7). Is 12 - 1 - (z - 0) a multiple of 14?
True
Suppose -12 = -4*c + 72. Suppose -4*k + 3 + c = 0. Is k a multiple of 3?
True
Suppose 0 = b + y + 8, 3*b + 0*y + 29 = -4*y. Let p be (b - (-1 - 0)) + 4. Suppose p*o - 12 = -o. Does 3 divide o?
False
Suppose a - 3 = 5*x - 11, 0 = 5*x - 5. Let r = a - 6. Let u(h) = h**3 + 8*h**2 - 11*h + 9. Is u(r) a multiple of 27?
True
Let a = 2 + 1. Suppose -a*x - x = -228. Is x a multiple of 18?
False
Let r be 130 + -2*(-1)/2. Let v = r - 66. Is v a multiple of 23?
False
Suppose -576 + 2512 = 5*k + g, k = -3*g + 376. Is k a multiple of 37?
False
Let a be (20/(-8))/(2/(-8)). Suppose 4*t - a - 6 = 0. Is 2 a factor of t?
True
Let s = 4 + 12. Is 9 a factor of s?
False
Let k(f) = f**2 + 4. Let y(x) = -x**2 + 15*x. Let w be y(15). Does 2 divide k(w)?
True
Let i(l) = l**2 + 1. Let t be i(-2). Let v = t - 5. Is -2 + v + 40/4 a multiple of 3?
False
Suppose -19*s = -1599 + 478. Is 18 a factor of s?
False
Let q = 14 - -96. Is q a multiple of 10?
True
Let x(v) be the first derivative of 3*v**2/2 + v - 3. Does 10 divide x(3)?
True
Let t(q) = 2*q - 1. Let h be t(3). Suppose -263 = -5*r + 4*c, -4*c - 154 = -4*r + 54. Suppose -2*w - h*a = -r, a + 0 = 3. Is w a multiple of 20?
True
Let o(t) = 5*t**2 - t. Suppose 2 + 6 = 2*r. Suppose r*d - 2 = -3*l, 3*d - 2*l = -d + 12. Is 9 a factor of o(d)?
True
Let n be 134/(-4) - 6/(-4). Let i be 2/(-3) + (-492)/(-9). Let v = n + i. Is v a multiple of 11?
True
Let b(i) = 6*i**2 + 1. Let y = 6 - 8. Let r be b(y). Let t = r + -13. Is 12 a factor of t?
True
Let n(r) = r**2. Let h(z) = 2*z**2 - 6*z + 8. Let g(j) = h(j) - 3*n(j). Is 8 a factor of g(-6)?
True
S