le of 87?
False
Let h = 48 + -66. Let i = h - -30. Is i a multiple of 4?
True
Let o be 1*5/((-10)/(-8)). Let c = 15 + -14. Does 3 divide (o/12)/(c/9)?
True
Suppose 3*u - 23 + 8 = 0. Suppose -u*d + 0*k = -k - 188, -3*k - 9 = 0. Is d a multiple of 11?
False
Suppose 4*s - 13 = f - s, -2*f - 2*s - 14 = 0. Let h(y) = -4*y + 27. Is 11 a factor of h(f)?
False
Let x(u) = 29*u**2 - 7*u - 12. Let i be x(4). Suppose 3*y - 2*o + 107 = 4*y, -i = -4*y - 4*o. Does 11 divide y?
False
Let q(m) = -m + 12. Suppose 0 = n - 5*n + 128. Let a = n + -26. Does 4 divide q(a)?
False
Let n(b) = 1541*b**2 - 32*b + 31. Is 110 a factor of n(1)?
True
Let t be 16/(-28) + (-44)/(-28). Does 8 divide 4 + (19 - (-1)/t)?
True
Does 9 divide 1154 + (-7)/14*2?
False
Suppose -6 = -y + 4. Let m = -8 + y. Suppose -4*r + m*r = -76. Is r a multiple of 13?
False
Let l be 2*(-111)/(3 - 0). Let d(k) = -2*k + 11. Let r be d(8). Let q = r - l. Is q a multiple of 23?
True
Suppose 5*i + 889 - 2519 = 0. Is i a multiple of 11?
False
Let p(r) = -r**3 - 3*r**3 - 5 + 16*r + 6*r**3 - 16*r**2 - 3*r**3. Is 3 a factor of p(-17)?
True
Suppose 7*q - 10 = 2*q. Suppose 3*y + y - q*s = 490, 5*s = 3*y - 357. Does 17 divide y?
False
Does 24 divide 3/6 - 15480/(-16)?
False
Suppose 3*v - 138 = 4*s + 85, 0 = -4*v - 3*s + 339. Is 17 a factor of v?
False
Suppose -4*i = 4*d - 1784, -3*d = i - 1037 - 305. Is 19 a factor of d?
False
Let s(f) = -f**3 + 5*f**2 + 13*f - 7. Let u = -26 + 32. Let c be s(u). Suppose 2*t - 4*d - c = 3, -4*t + 76 = 2*d. Is 6 a factor of t?
False
Let h = -213 - -243. Is 2 a factor of h?
True
Let q(t) = -26*t**3 - t - 4. Let l be (-1)/(-2 - 10/(-4)). Is 8 a factor of q(l)?
False
Let z = 1443 - 512. Does 95 divide z?
False
Let l(c) = -c**3 + 10*c**2 - 8*c + 5. Suppose 2*z = 5 + 11. Let k be l(z). Let n = k + -42. Is 7 a factor of n?
False
Let p = -120 - -131. Let b be (-74)/8 - (-1)/4. Let u = b + p. Is u even?
True
Suppose 3*v + r + r - 3306 = 0, -3327 = -3*v + 5*r. Does 46 divide v?
True
Let l be (4 + 3/6)*2. Suppose -14 = -2*w + 2*i, -5*i = -3*w - l + 36. Does 3 divide w?
False
Let t = -21 + 25. Suppose -t*u = -124 + 4. Is u a multiple of 15?
True
Let t(b) be the second derivative of 3/2*b**3 + 0 + 8*b + 1/20*b**5 + 3/4*b**4 + b**2. Is 23 a factor of t(-5)?
False
Let s(g) = 6*g**2 + 3*g + 4. Let z be s(-4). Does 28 divide (1*14)/(11/z)?
True
Suppose -363 = -8*y + 357. Does 8 divide y?
False
Let s(w) = -w**2 + 9*w + 4. Let o be s(9). Suppose 0 = 5*i - 0*i + 2*a - 12, -2*i = 3*a + o. Does 2 divide i?
True
Let j(v) = -8*v**3 + 2*v**2 - 2*v + 1. Let w be j(1). Let l = w + 11. Suppose 3*h = -4*n + 19, 0 = -l*h + 4. Does 3 divide n?
False
Suppose 4*w - w + 52 = 2*c, 0 = -w + 4. Does 4 divide c/(-5)*(-35)/14?
True
Suppose 0 = 5*k + 205 + 5. Let s = 1 - k. Is 18 a factor of s?
False
Let u = -263 - -403. Suppose 2*i - 67 + 20 = -o, -5*i = -2*o - u. Is i a multiple of 13?
True
Let u(t) = 8*t**2 + 18*t**3 - 449 + 452 - 7*t - 19*t**3. Suppose 0 = -7*m + 4*m + 21. Is 3 a factor of u(m)?
True
Suppose -29*n + 31*n = -14. Does 34 divide ((-18)/n)/(0 - (-4)/252)?
False
Let s be 24/(0 - (-3)/(-4)). Suppose 26*n - 392 = 22*n. Let y = s + n. Does 15 divide y?
False
Is (-544)/10*(-70)/28 a multiple of 17?
True
Let z(s) = -s**3 - 4*s**2 + 21*s + 12. Let l be z(-7). Does 8 divide (145/3)/(-6 + 76/l)?
False
Suppose 4*z = -4*w + 68, w - 5*z - 67 = -2*w. Let h = -4 + w. Does 12 divide h?
False
Suppose -159*u + 154*u + 8040 = 0. Is u a multiple of 12?
True
Let g = 260 - 185. Let o = g + 54. Is 43 a factor of o?
True
Suppose -194 = 2*d + 2*b + 94, -3*d = 2*b + 430. Let g = d + 193. Does 29 divide g?
False
Let t = 9 + -6. Suppose t*s = 4*s. Suppose -g + s*g + 24 = 0. Is 9 a factor of g?
False
Let i(c) = -11*c - 2. Let v be i(-2). Suppose -u + 101 = -v. Is 13 a factor of u?
False
Suppose 2*n - 245 = -4*v + 627, -1353 = -3*n + 3*v. Does 27 divide n?
False
Let w(i) = i**2 - 4*i - 2. Let z be w(5). Suppose -2*v + 56 = -p + 5*p, -2*p + 16 = 4*v. Let r = p - z. Is 13 a factor of r?
True
Suppose -20 = 4*o, -y - o = -0 - 1. Let q be 202/22 + y/(-33). Does 10 divide (-2)/3 - (-222)/q?
False
Let l = 101 + -25. Suppose -x + 0*x = -l. Is 15 a factor of x?
False
Let k(t) = t**2 + 6*t - 10. Suppose -2*h - h + 30 = -3*o, -2*h = o + 13. Is k(o) a multiple of 11?
False
Suppose 84 = -4*x + 2*m, -36 = 3*x + 3*m + 9. Let v = x + 22. Suppose 128 = 3*w + w - 2*p, -5*w + v*p + 158 = 0. Does 17 divide w?
True
Let p(x) be the second derivative of -x**5/30 + x**4/12 - 5*x**3/6 - 4*x. Let j(t) be the second derivative of p(t). Is 11 a factor of j(-7)?
False
Suppose v + 3*v - 408 = 0. Let z = -72 + v. Suppose -2*s + 0*s - 4*n = -z, -3*n = 0. Does 9 divide s?
False
Let v(f) = -5*f**2 + 28*f + 6. Let p be v(10). Let i = -81 - p. Is i a multiple of 23?
False
Let a(w) = -w**3 + 28*w**2 + 64*w - 8. Does 8 divide a(30)?
True
Does 8 divide (-2)/9 + 12595/99?
False
Let w(g) = -g**3 + 6*g**2 + 2*g - 1. Let v be w(6). Suppose 10*d - v*d + 25 = 0. Is 25 a factor of d?
True
Suppose q = 5*u - 32, u + 9 + 21 = -5*q. Let o = q + 6. Is 8 a factor of o + 13 + -3 + 0?
False
Let a(n) = 10*n - 2. Let k be a(-9). Let u = k + 122. Does 3 divide u?
True
Let o(u) = -25*u + 28. Let v be o(-9). Suppose -2*i + 4*i - 13 = -x, -5*i + 61 = 4*x. Suppose -3*r + v = x. Is 31 a factor of r?
False
Let p = 0 + -3. Let k be ((-9)/12)/(p/8). Suppose 6 = k*o - 6. Does 4 divide o?
False
Let n = -2 + 7. Suppose k = -z - 79, n*k = -2*z - 91 - 67. Let t = z + 134. Does 11 divide t?
True
Suppose 0 = 5*v + 431 - 41. Let m = v + 194. Suppose -3*h + m = -4*u, 6*u - 4*u = -5*h + 176. Is h a multiple of 12?
True
Let t(f) = f**3 - 7*f**2 - 6*f + 7. Let u be 3/((-3)/(-2)) - -4. Suppose -8*w + 16 = -u*w. Does 11 divide t(w)?
False
Suppose 39*f = 41*f. Suppose 3*w + f = -3, -o + 83 = -2*w. Is 9 a factor of o?
True
Let l(y) = 59*y**2 + 9*y + 4. Let s be l(-2). Suppose -4*f + 40 = p - 8*f, 2*f = -5*p + s. Is p a multiple of 13?
False
Suppose -t - 3*h + 223 = 0, -3*h = -3*t - 4*h + 645. Does 15 divide t?
False
Suppose -3*w = 3*l - 34 - 20, 2*l + 3*w - 34 = 0. Suppose 15 = k - l. Is 25 a factor of k?
False
Suppose -9*y = -y + 8200. Is (y/(-20))/(2/8) a multiple of 45?
False
Let n be ((-72)/(-4))/(2 - 0). Let s(c) = c**2 - 9*c + 6. Let g be s(n). Is (-5)/(10/g) - -30 a multiple of 8?
False
Let d = 427 - 82. Is 10 a factor of d?
False
Let s(f) = 2*f - 2*f**2 + 2 + 6*f**2 - 4*f. Let g be s(3). Suppose -10*z + g = -6*z. Does 4 divide z?
True
Let d = -128 - -294. Let p = -80 + d. Is 13 a factor of p?
False
Suppose -132*x + 130*x - 4*z = -5382, -2691 = -x - 3*z. Is 13 a factor of x?
True
Suppose 0 = -t - 3*t, 0 = -5*a - 5*t - 45. Is 4 a factor of 15/(-1)*(a + 8)?
False
Let s be (24/(-32))/(9/(-24)). Suppose 4*x = -4, -6*x + 3*x = s*t - 19. Is t a multiple of 4?
False
Let y(l) = 5*l**2 + 3*l - 2. Let p be 75/27 - 2/(-9). Suppose 3*i + n = 4 + 4, 0 = 3*i - p*n. Does 12 divide y(i)?
True
Suppose -4086 = -6*v - 1206. Does 12 divide v?
True
Let a = -130 - -174. Does 2 divide a?
True
Suppose -8*d - 3027 = -8443. Is 75 a factor of d?
False
Let w = -30 + 35. Let d be 0/(20/w + -5). Let n(m) = -m**3 - m**2 - m + 72. Is 30 a factor of n(d)?
False
Let c(y) = y**3 - 23*y**2 - 269*y + 61. Does 3 divide c(32)?
True
Let j = 33 - 30. Let m(z) = z**2 - 2*z + 2. Is m(j) a multiple of 3?
False
Suppose t - 120 = -3*t. Let d = 22 + -16. Suppose d = -3*j + t. Is 4 a factor of j?
True
Suppose -136 - 76 = -4*b. Does 53 divide b?
True
Suppose -598 = 3*q - 5*m, -2*q + 3*m - 548 = -149. Let j = q - -343. Is j a multiple of 19?
False
Let j(d) = 2 + 3 + 10*d**2 - 5*d**2 + 6 - 13*d. Let v be j(8). Let k = v - 111. Is 32 a factor of k?
False
Suppose 38*q - 10*q = 9016. Is 4 a factor of q?
False
Let n(l) = -l**2 - 15*l + 5. Suppose -h - 4*c + 4 = -3*h, -5*c + 8 = -h. Suppose 4*g = -f - 4*f - 49, h*f + 2 = 0. Is 12 a factor of n(g)?
False
Let l = 75 + 78. Suppose 4*m - l = m + 3*g, -2*g = 3*m - 168. Let k = m - -36. Does 20 divide k?
False
Is (364 + 0)/((-4)/1 - -5) a multiple of 9?
False
Suppose 0 = x + 57 - 165. Does 6 divide x?
True
Let m(j) = j + 21. Let y be m(-9). Let a = 4 + 3. Suppose -a*z - 55 = -y*z. Does 10 divide z?
False
Let c(f) = -f**3 + 2*f**2 - 1. Let p be c(4). Let g be 13/3 - 22/p. Suppose -r = -g*x - 75, 5*r + 5*x - 72