Is (-1 + 10/6)*147 a multiple of 98?
True
Suppose -k = 4*u - 1, -5*u = -6*u - k + 1. Let j be u + 12/(-9)*-3. Suppose 5*m - 64 = -4*l, 3*l + j*m = 6*l - 48. Does 9 divide l?
False
Let t = -28 + 32. Suppose 0*v + t*v = 300. Does 15 divide v?
True
Let g(u) = 4*u**2 + 4*u + 1. Let o be 1/(-5) + 434/70. Let a(j) = -17*j**2 - 15*j - 5. Let d(l) = o*a(l) + 26*g(l). Is d(-11) a multiple of 28?
True
Let q(i) = 207*i + 620. Does 26 divide q(7)?
False
Suppose -2*r - 4*o = -6 - 20, 4 = o. Let a(i) = 2*i + 2*i - 10 + i**2 - 1. Does 12 divide a(r)?
False
Is 18 a factor of (-288)/(-2) + (10 - 2) + -8?
True
Let h be -2 + (-2 - (1 + -8)). Suppose 0*x = x. Suppose 5*s + 4*g = 40, -4*s + h*g - 3 + 4 = x. Does 4 divide s?
True
Let m be (1/(2/4))/1. Suppose x = 4*x - w - 7, -m*x + 13 = w. Suppose -41 = -x*l + 7. Is l a multiple of 12?
True
Suppose -d + 3 + 20 = 0. Suppose 4*u - 5*w = d, -2*w = 3 + 3. Suppose 4*b = -u*i + 266, -62 = -2*b + b - 2*i. Is b a multiple of 23?
False
Let f(x) = -3*x + 3. Let z(b) = 56*b - 56. Let h(p) = 8*p - 8. Let c(y) = 40*h(y) - 6*z(y). Let r(o) = 4*c(o) - 22*f(o). Is 9 a factor of r(10)?
True
Let k(v) = 76*v + 44. Is 20 a factor of k(10)?
False
Suppose 5*r = -0*r + 30. Let s(o) = 22*o - 6. Let b be s(r). Suppose 0 = -n + 4*n - b. Does 14 divide n?
True
Is (-2)/(-4) + 15*(-19)/(-6) a multiple of 8?
True
Let h = 17 + -17. Let z(i) = 8*i**2 + i**3 - 9*i**2 + h*i**2 + 16. Is z(0) a multiple of 16?
True
Suppose -4*w + 60 = 4*z, 0*w - 85 = -5*z + 5*w. Suppose 10 = -5*b, 3*g - 2*b - z = 69. Is g a multiple of 27?
True
Let m be -4 + 42 + 3 + -2. Let w be ((-5)/3)/((-1)/m). Suppose -4*f = -43 - w. Is f a multiple of 5?
False
Suppose -2*k + 416 = 8*j - 4*j, -2*k + 392 = -2*j. Is k a multiple of 10?
True
Suppose 0*l - 24 = -6*l. Suppose -3*v = -5*s + 252 - 64, -l*s + 143 = 5*v. Does 15 divide s?
False
Let n(s) = 87*s + 4. Let z(u) = -349*u - 16. Let c(y) = 18*n(y) + 4*z(y). Let o be c(4). Does 26 divide o/(-12)*15/(-10)?
False
Suppose -2*q = -21*t + 17*t - 6, 2*t - 2 = 0. Let m = q - -21. Is 13 a factor of m?
True
Let v(w) = -w**3 - 10*w**2 - 24*w + 27. Does 8 divide v(-10)?
False
Suppose 876 = 5*g - t, 5*g = 2*g + 5*t + 530. Suppose 6*j - 137 - g = 0. Is j a multiple of 26?
True
Suppose -5*d - 19 = -2*t, 5*t + 4*d - 2*d = 4. Suppose -3*m = x - 7, t*x - 2*m = -6*m + 18. Does 13 divide x?
True
Let p(t) be the second derivative of -t**4/12 - 7*t**3/6 - t**2 + 41*t. Is p(-5) a multiple of 3?
False
Let r be (-2)/(-8) - (-198)/(-24). Let q(f) = -7*f - 11. Let i be q(r). Is (4/5)/(3/i) a multiple of 12?
True
Let a(x) = x**3 - 6*x**2 + 14. Let u be a(6). Suppose u = -2*o + 86. Suppose k + 5*j = o, j - 6 = 4*j. Does 13 divide k?
False
Let j(b) = -8*b + 11. Let q be j(4). Is q/(-1) - (-1)/(5/15) a multiple of 2?
True
Suppose -4*i + 5*b = -2100, i - 508 = -b - 2*b. Is 10 a factor of (0 + -1)/(i/(-172) - -3)?
False
Let z(c) = c**3 + 13*c**2 + 18*c - 17. Let d be z(-13). Let y = 371 + d. Is 12 a factor of y?
True
Let x(i) = 19*i + 20. Suppose -2*s + 2*t + 1 = -1, -s = 4*t - 21. Is x(s) a multiple of 23?
True
Suppose -361 = 2*h + o, 3*h = -o - 2*o - 543. Let i = h + 310. Let d = -76 + i. Does 18 divide d?
True
Let o = 4095 - 2023. Is o a multiple of 10?
False
Is (-20484)/45*(-15)/12 a multiple of 29?
False
Let c(z) = z**2 - 3. Let l be c(2). Let a(m) = -l + m - 2*m + 14*m + 31*m. Does 6 divide a(1)?
False
Let b = 6 - 21. Is ((-6)/(-15) - 1)*b a multiple of 2?
False
Let m = -1847 - -2987. Is m a multiple of 19?
True
Let q(y) = 267*y**3 - y**2 - y - 2. Let x be q(2). Suppose 4*k - r + x = 0, -2*k + 3*r = -662 + 1736. Is k/(-9) + 1*2 a multiple of 20?
False
Suppose -12*k + 48 = -4*k. Let c(f) = 13*f - 15. Does 21 divide c(k)?
True
Is (-1 + 9/5)*(483 - 18) even?
True
Let z(g) = 4 - 6 + 3 - 13*g + 1. Let k be z(-1). Suppose k = 5*v, 4*s + v - 4*v = 547. Does 30 divide s?
False
Is 6 a factor of ((-236)/(-5))/((-90)/(-1350))?
True
Suppose 3*u + 22 = u. Does 13 divide 2/5 - u/((-275)/(-1290))?
True
Let n(f) = -f**3 + 2*f + 177. Is 41 a factor of n(0)?
False
Suppose -2*m + 2221 = l + 2*l, -3702 = -5*l - 3*m. Suppose 0 = -12*g - l + 2541. Is g a multiple of 15?
True
Let k be (-48)/(-14)*(6 + 1). Let h be -10*(-3 + 0 - 0). Suppose c + p = h + 6, c - k = -4*p. Does 20 divide c?
True
Let q be -3 + 0 + (-6 - 0 - -115). Is 9 a factor of (q/12)/((-12)/(-72))?
False
Suppose 0 = 4*j + j. Suppose q - 84 = -j*q. Does 28 divide q?
True
Let t(j) be the second derivative of 0 + 5/2*j**2 + 7/6*j**3 + 1/3*j**4 + 7*j. Is 14 a factor of t(-5)?
True
Is 48 a factor of 2/(-8) + 19816/32 + 5?
True
Let b(k) = -287*k + 25. Is b(-4) a multiple of 17?
True
Let q(y) = 2*y**2 + 12*y - 22. Let h be (-1 + (-13)/(-3))/(1/(-3)). Does 6 divide q(h)?
False
Let r be (-16)/(-88) + (-167)/11. Let v = -15 - r. Let k(l) = -l + 28. Is k(v) a multiple of 14?
True
Suppose -4 = 3*r + 11, 4*v - 5681 = 5*r. Does 14 divide v?
True
Let w(c) = -39*c**3 - 14*c**2 - 47*c - 4. Does 19 divide w(-3)?
True
Let r be 2/3*(2 + 29/2). Suppose -2*o + 35 - r = 2*s, 0 = 3*s - 2*o - 41. Is s a multiple of 3?
False
Suppose -19*i + 21*i = 0. Suppose -4*m + 4*a = -i*a - 920, 4 = 2*a. Suppose -2*z + 100 = -3*u - u, -m = -5*z + 4*u. Is z a multiple of 11?
True
Let h = 183 - 124. Suppose h + 321 = 5*g. Suppose -4*o + 100 = -g. Is 13 a factor of o?
False
Let l = -766 + 882. Does 2 divide l?
True
Does 2 divide -2 + 2120/76 + 6/57?
True
Let w be (9/4)/((-2)/8). Let j = w - -12. Suppose 25 = j*q + 7. Is q a multiple of 2?
True
Suppose 20 = 5*o - 5*k, -2*o + 24 + 8 = 4*k. Suppose -12*v + o*v = -232. Suppose -3*r + v = -r. Does 14 divide r?
False
Let d(l) = 4*l - 21. Let w(f) = f - 2. Let i be w(8). Does 2 divide d(i)?
False
Suppose 4*m - 5 = 7. Is m*-6*(-2)/9 a multiple of 2?
True
Let n = 0 - -4. Suppose 106 = 2*y + j + n*j, y + 5*j = 58. Does 12 divide y?
True
Let d = -31 + 22. Let q = d - -69. Suppose n - s - q = 0, 6 = -s + 3*s. Is n a multiple of 34?
False
Let v(i) = 2*i**2 + 0*i - 124*i**3 - i + 36*i**3. Let l be v(1). Let w = -58 - l. Is w a multiple of 17?
False
Suppose 5*r - 3*m = -0*m - 437, 3*r + 263 = m. Let x = 148 + r. Is 5 a factor of x?
True
Suppose 948 = 5*v + 3*r, v + 6*r = 2*r + 176. Does 12 divide v?
True
Let c(j) = -j - 4. Let v be c(-6). Suppose -2*u - 308 + 92 = 0. Is 15 a factor of (3/v)/((-6)/u)?
False
Suppose h = o - 1, 2 = -h + 2*o - 0. Suppose u = 2*u + 2. Is 8 a factor of u + h - (0 + -13)?
False
Suppose -4*k = -3*b - 10, -4*k + k + 2*b = -7. Let t = k - -12. Is 13 a factor of t?
True
Let v be 125 + (-8 - 1)/(-3). Is 3 a factor of ((v/(-2))/(-2) - 2) + 3?
True
Let d = -36 + 34. Is 5 a factor of -3 - d/((8/(-116))/(-1))?
False
Suppose -3*y + 2448 = 6*b - 9*b, 0 = -3*y + 4*b + 2445. Is y a multiple of 29?
False
Let p(t) = 2*t + 14. Let i be p(-6). Suppose 0*m - 105 = -5*w - 3*m, 4*m - 56 = -i*w. Is 18 a factor of w?
True
Let z = 8 + 26. Does 34 divide z?
True
Suppose 0 = -10*v + 8*v + 150. Suppose 26*z - v = 23*z. Is z a multiple of 4?
False
Let h = 6 + -15. Let y = 1 - h. Is 4 a factor of y?
False
Let l be (2/4)/(2/36). Let o be 4/22 + 6/11*-4. Does 14 divide (-28)/o*l/6?
False
Does 124 divide 8/(-36) + (-27573)/(-27)?
False
Let f(g) be the first derivative of g**2 + 7*g + 1. Suppose -5*w + 2*u - 3*u = -29, -3*w - 4*u + 31 = 0. Does 11 divide f(w)?
False
Suppose 4*n + 4 = 24. Suppose w + 2*z - 5 = 41, -2*w = -n*z - 65. Does 10 divide w?
True
Let s(a) = a**2 - 7*a + 15. Let u be s(4). Is (2 - 1)/(u/42) a multiple of 3?
False
Let k(d) = -2*d**3 - 3*d**2 + 3*d + 2. Let x be k(-3). Suppose 5*s + 4*v = 44, 3*s = -0*s + 4*v + x. Is 8 a factor of s?
True
Suppose -14*z = 4206 + 3508. Let k = -320 - z. Is k a multiple of 15?
False
Suppose g + 10 = -5*y, 0 = -0*g - 4*g - y + 17. Suppose 3*o + 11 = g*f, -2*o - 2*o - 10 = -2*f. Suppose 33 = n - f. Is n a multiple of 6?
False
Suppose -b - 112 = -143. Is b a multiple of 23?
False
Suppose 3*q + 458 = 5*t, -4*q + 6*t - 614 = t. Let b = -2 - q. Is 14 a factor of b?
True
Suppose 74 + 18 = -w + 4*u, 5*w + u = -397. Let n = 122 + w. Is n a multiple of 11?
False
Suppose -4*g + 11 + 5 = 0. Does 4 divide 36/g - (2 - 1)?
True
Suppose 0 = -3*d + 2*u + 2932, 0 = -22*d + 19*d + 5*u + 2920. Is d a multiple of 20?
True
Let r(u) be the first derivative of 59*u**2 - 32*u**2 + 4*u - 23*