- 4/(-30)?
False
Suppose -3*r = -33 - 15. Suppose -3*b - r = -b. Let n(v) = -v**2 - 16*v - 12. Is n(b) a multiple of 26?
True
Let h = -134 - -239. Let m = 7 + h. Is m a multiple of 16?
True
Suppose i + 81 = 25. Let j = -31 - i. Does 5 divide j?
True
Suppose 83 = -2*d + 2*r - 209, -r - 574 = 4*d. Let s be d/(-27) - 8/6. Suppose 3*z - 2*g - 67 = 63, -s*g - 20 = 0. Is z a multiple of 24?
False
Let i(b) = 4*b - 3 - 72 - 5*b. Let o be i(0). Let m = o + 107. Is 8 a factor of m?
True
Suppose -4*i + 24 = l + 3*l, -i + l - 2 = 0. Suppose 6*h - 368 = i*h + 2*t, -t = 4*h - 356. Is h a multiple of 9?
True
Let n(l) = l**2 + l + 1. Let h(j) = j**2 + 5*j + 5. Let g(y) = -4*h(y) + 20*n(y). Let x(m) = m**2 + 7*m + 7. Let c be x(-6). Does 4 divide g(c)?
True
Suppose -18290 = -12*a + 39310. Is 32 a factor of a?
True
Suppose 18 = 4*g - 2. Suppose -g*q = -q - 24. Is 5 a factor of q?
False
Suppose 52*l - 39*l - 27846 = 0. Does 14 divide l?
True
Let f = -7 + 11. Suppose f*z = -h - 2 + 35, -z + 27 = h. Is 3 a factor of h?
False
Suppose 0 = -56*c + 60*c - 1064. Does 16 divide c?
False
Let q = -258 + 598. Is q a multiple of 17?
True
Suppose -f = 3*v - 6*v + 14, v = 5*f + 14. Let h(l) = 14*l**2 - 4*l - 4. Is 10 a factor of h(f)?
True
Let a = 446 + -402. Is 2 a factor of a?
True
Let v(y) = y**2 + 5*y - 9. Let l be v(-7). Suppose -l*n + g = -3*n + 17, 3*n + g + 28 = 0. Is 14 a factor of (93/n)/((-1)/3)?
False
Suppose 4*s + 6*s - 1870 = 0. Suppose 2*d - 4*d + s = 3*q, 5*d + q = 487. Does 29 divide d?
False
Let q(r) = -r + 24 - 11 + 35 + r**3 + r**2 + 0*r. Is 8 a factor of q(0)?
True
Let g(t) = -t**3 + 6*t**2 - 4*t + 6. Let w(o) = -o**2 - 13*o + 4. Let v be w(-13). Let z = v + 1. Is g(z) a multiple of 10?
False
Suppose -2*m = -5 + 3. Is m/(-4)*(13 + -9) + 8 even?
False
Does 78 divide 11212/26 - (-111)/(-481)?
False
Let z(o) = 16*o**2 - 19*o + 84. Does 91 divide z(6)?
True
Suppose -1182 = 4*f - 390. Let p = f + 128. Let z = -44 - p. Is 13 a factor of z?
True
Let y(k) = -32*k - 10. Let a(p) = -p**3 - 2*p**2 + 10*p + 3. Let i be a(-4). Does 30 divide y(i)?
True
Let a(u) = -4*u**3 - 4*u**2 - u + 9. Let k(r) = -5*r**3 - 5*r**2 - r + 10. Let c(b) = -b**2 + 1. Let t be c(2). Let z(g) = t*k(g) + 4*a(g). Does 3 divide z(0)?
True
Is 11 a factor of 8 - (-3486)/(6/1)?
False
Let d be (-7 - -5)/(885/(-297) + 3). Let a = d + 116. Does 3 divide a?
False
Suppose z = 4*u - 33, 0 = -u - 5*z + z + 4. Is u/12 + 536/6 a multiple of 15?
True
Let h(k) = 16*k + 356. Does 25 divide h(34)?
True
Let s = -83 - -128. Is 7 a factor of 20/(-6)*(-378)/s?
True
Let f(s) = 8*s + 46. Let w be f(-4). Is (-11 + w)/(9/300) a multiple of 10?
True
Let q = -132 + 203. Does 9 divide q?
False
Suppose 12*t - 9*t - 1748 = p, 590 = t - 4*p. Does 36 divide t?
False
Suppose 3*k + 129 = -75. Let u = -26 - k. Is u a multiple of 6?
True
Let w(p) = p + 8. Let j be w(0). Let t(u) = -27*u - 23. Let x be t(-1). Suppose i + x = j. Is i even?
True
Let s(z) = -z + 7. Let w be s(4). Suppose -w*m = -350 + 53. Suppose 145 + m = 4*o. Is o a multiple of 16?
False
Let g(o) = -o**2 - 12*o - 25. Let q be g(-9). Suppose -151 = -4*l + 3*m, -5*m - 195 = -q*l - 3*l. Is 11 a factor of l?
False
Suppose -27*x = 25*x - 8736. Is 8 a factor of x?
True
Let l(n) = -n**3 - 6*n**2 + 9*n + 7. Let m be l(-7). Let w(z) = -z**3 - 6*z**2 + 7*z + 14. Is 4 a factor of w(m)?
False
Suppose 8*u + 3*q = 3*u + 25, 5*u - 4*q = 25. Suppose -i - 32 = -3*v + i, 5*v - 60 = u*i. Does 8 divide v?
True
Suppose -216 = -5*w - 3*w. Let a = w + -8. Is 9 a factor of a?
False
Let q(i) = i + 3. Let t be q(1). Suppose -4*o + 488 = t*b, 259 = 2*b - 0*o + 5*o. Is 9 a factor of b?
True
Suppose -3 = -5*z + 8*z. Let d be (-3 - z - -3)*7. Is 11 a factor of d*3 + (5 - 4)?
True
Let w = -28 + 51. Let q = 68 - w. Is 15 a factor of q?
True
Let z(y) = 63*y**3 - 8*y**2 - 5*y + 6. Let t(n) = 63*n**3 - 7*n**2 - 4*n + 5. Let a = -4 - 1. Let m(g) = a*z(g) + 6*t(g). Is 31 a factor of m(1)?
True
Is 8 a factor of (-14)/6*3 + 208?
False
Let i(n) be the first derivative of n**4/4 - n**3/3 + 5*n**2/2 - 6*n + 31. Let t(q) = q**2 - 8*q - 6. Let y be t(9). Is 9 a factor of i(y)?
True
Let c(x) = -3*x - 21. Let m be c(-13). Let f = m + -11. Does 4 divide f?
False
Let d(u) be the second derivative of u**5/20 - 7*u**4/3 - 19*u**3/6 - 16*u**2 + 6*u. Is d(29) a multiple of 43?
True
Suppose 2*c - 28 = 4*n, 0*c = -3*c - 6. Let v = -18 - n. Let y = 31 + v. Is y a multiple of 7?
True
Suppose 3*n - 4*m - 89 = -3*m, -n + 18 = 2*m. Suppose 0 = -7*d + 3*d - l + 61, -d = -4*l - n. Is d a multiple of 16?
True
Suppose -119*i + 99*i + 17400 = 0. Is i a multiple of 2?
True
Suppose -4 = 2*a + 4. Does 15 divide ((-15)/a)/(1/4)?
True
Is 71 a factor of ((-54)/81)/((-1)/969)?
False
Let h be (-722)/(-6) + 4/(-12). Let v = h + -86. Does 14 divide v?
False
Suppose 3*o = 6, -2*m + o = -6633 - 2715. Is ((-12)/10)/((-34)/m) a multiple of 11?
True
Suppose -40 = r - 5*r - 4*t, -4*r + 38 = 2*t. Let b be ((-12)/14)/(r/(-42)). Suppose -5*n = -b*x + 10 + 12, 0 = 4*n - 8. Does 4 divide x?
True
Suppose -119*s + 124*s = 25. Suppose -210 = -5*u - 3*o, 51 = -3*u + s*o + 177. Does 14 divide u?
True
Suppose 6*l - 1845 - 105 = 0. Suppose -119 = -2*i + 3*v, 9*v + l = 5*i + 7*v. Is i a multiple of 17?
False
Suppose i - 3*f - 402 = 0, -6*i + 4*f = -3*i - 1186. Is 15 a factor of i?
True
Suppose 0 = -z - 3*z + 4. Let i be z/(-2) + 107/(-2). Let x = i + 90. Is x a multiple of 9?
True
Is ((-16)/(-5))/(154/3465) a multiple of 8?
True
Let w(s) = 4*s + s**2 - 3*s + 19 + 15. Let d = -414 + 414. Is w(d) a multiple of 11?
False
Suppose z + 2*z = 2*d - 16, -2 = -2*d - 4*z. Suppose -6*g + 25 = 3*r - g, 35 = 4*r + d*g. Is r a multiple of 5?
True
Let f be -20*2 + -4 + 4. Let o = 76 + f. Is 2 a factor of (-1)/(68/o + -2)?
False
Let h = -49 + 51. Suppose -3*d = h*d + 4*w - 88, -5*d = -2*w - 76. Is 2 a factor of d?
True
Suppose -2*j = -3*t - 1703, 2*t = 4*j - j - 2552. Let v = -565 + j. Does 15 divide v?
True
Let j(v) = 94*v + 63. Does 13 divide j(4)?
False
Let v(q) = -140*q**3 - q**2 + q. Let l be v(1). Let j = -17 - l. Does 19 divide j?
False
Suppose -3*p + 6*p + 2*z - 2010 = 0, 12 = -4*z. Suppose 0 = 5*u + u - p. Is 43 a factor of u?
False
Suppose 0 = a - 0*a - 3. Does 17 divide (1 - -168) + (a - 2)?
True
Let j = -6 + 0. Let k be j/(-15) - (-24)/15. Suppose 24 = 2*f - 5*x - 38, k*x + 8 = 0. Is f a multiple of 9?
False
Let c(x) be the second derivative of -x**7/2520 - 7*x**6/360 - 3*x**5/40 + x**4/3 - 5*x. Let l(j) be the third derivative of c(j). Is 13 a factor of l(-6)?
True
Is -6*3985/(-30) - (7 - 2) a multiple of 24?
True
Let z = 38 + -34. Suppose z*k - s = 117, -2*k - 5*s = -0*k - 75. Does 5 divide k?
True
Suppose r = -1, 3*m - 4*r - 1 = 18. Suppose -l - m + 7 = 0. Suppose -l - 24 = -2*j. Is j a multiple of 3?
False
Let v be -14*(-1 - (3 - 5)). Let r = -14 - v. Suppose 3*s = 4*f + 2*s - 67, r = 5*f + s - 95. Is f a multiple of 5?
False
Suppose 6*a + 8 = 5*a. Is 16 a factor of (-20)/3*(a + -4)?
True
Suppose 6*v - 4 = 20. Suppose -5*r = 4*g - 8*g - 112, -4*r = -v*g - 92. Is 2 a factor of r?
True
Is 18 - 483/28 - (-21042)/8 a multiple of 36?
False
Let w(u) = 2*u**2 - 7*u - 5. Let c(j) = -5*j**2 + 13*j + 10. Let h(n) = -3*c(n) - 7*w(n). Let g be h(-5). Does 11 divide 4/((-22)/g + -1)?
False
Let k be (26*-1 - -3)/(-1). Suppose -3*g + 5*w = g + 16, 2*w = -2*g + 10. Let n = k + g. Is n a multiple of 8?
True
Suppose 0 = -4*v + 20*v - 2480. Is v a multiple of 12?
False
Let y(s) = -27*s + 2. Let v be y(-1). Let h = v - 12. Is 9 a factor of h?
False
Suppose -15*n - 290 = -5*n. Let o = 49 + n. Is o a multiple of 8?
False
Suppose 3*l - 20 - 13 = 0. Suppose 211 + 31 = l*v. Is v a multiple of 13?
False
Let n be ((-3)/(-1) + -4)*-5. Let m(j) = -j**3 + 11*j**2 + 2*j - 13. Is m(n) a multiple of 21?
True
Let b(j) = j**3 + 11*j**2 + 8*j - 2. Let x be b(-10). Let s(y) = 9*y - 6. Is s(x) a multiple of 39?
True
Let m(g) = -11*g - 29. Let z be m(-3). Is 10 a factor of ((-18)/12)/((-2)/z)*10?
True
Let k(z) = 4*z + z**2 - 2*z**3 - 6 - 1 - 3*z + z**3. Does 23 divide k(-5)?
True
Suppose -33 = -l + 2*l. Let j = -13 - l. Does 3 divide j?
False
Let t = 101 - -71. Is t a multiple of 22?
False
Let m(d) = -d**2 - 38*d - 55. Is m(-35) a multiple of 25?
True
Suppose 6 + 6 = 3*f. Suppose -2*u -