 - 12, 3*h = 3*g + 24. Let m be (-263)/(-5) + h/15. Suppose 5*s - 15 = 0, 3*u - u - m = s. Is 14 a factor of u?
True
Let n(x) = -x + 23. Does 15 divide n(-7)?
True
Let y be 10 - (1 - (0 + -2)). Suppose 4*m - y = 93. Is 25 a factor of m?
True
Suppose -14*r + 1386 = -0*r. Is r a multiple of 14?
False
Let o(i) be the third derivative of i**5/60 - i**4/24 + 8*i**3/3 - 2*i**2. Is 16 a factor of o(0)?
True
Suppose x - 6 = p + 1, -x - 2*p - 5 = 0. Let a = -10 + 4. Does 3 divide x + a/3 + 2?
True
Let y(r) be the second derivative of -r**3/3 - 5*r**2 - r. Let l be y(-7). Suppose 2*g + 60 = 5*x, -52 = -2*x - 4*g - l. Does 4 divide x?
False
Suppose -3*t + 33 = -9. Does 7 divide t?
True
Let g = -5 + 9. Does 9 divide (-3)/(-6) + 78/g?
False
Let u = -1 - -1. Suppose u*b + 24 = -b. Is 8 a factor of 6/(-2 + b/(-9))?
False
Suppose -3*b - 91 = -28. Let t = b - -62. Does 17 divide t?
False
Suppose -5*u - 2*f + 147 = 0, 5*u - 151 = -0*u - f. Is 23 a factor of u?
False
Let v be 3 + -2 + 0 - -2. Suppose 0 = -v*p - 9, m - 28 = -0*p + 4*p. Does 9 divide m + 4/(-6)*-3?
True
Suppose -4*l - 2*r = l - 6, 15 = 2*l + 5*r. Suppose l = -3*q + 2*q + 11. Does 7 divide q?
False
Suppose 4*b = -5*q + 702, 4*b - b - 524 = -5*q. Does 30 divide b?
False
Does 28 divide ((-60)/(-16))/((-2)/(-16))?
False
Let b(w) = w**2 - w + 4. Is b(-7) a multiple of 5?
True
Suppose 2*l + g = 74, l + 5*g - 36 = 4*g. Is l a multiple of 19?
True
Suppose -11 = -3*u - 2. Suppose u*y + y = 120. Is y a multiple of 15?
True
Let i be 5 + (-3)/(-6)*-4. Suppose i*u - 125 = -2*u. Is 7 a factor of u?
False
Suppose 0*u = -4*u. Suppose u*l = l - 24. Does 12 divide l?
True
Let r(d) = d**3 - 4*d**2 - 4*d - 1. Let y be r(5). Let v(q) = -q**2 + 5*q - 2. Let w be v(y). Suppose w*a = 5*a - 42. Does 7 divide a?
True
Let h(v) = -11*v - 2. Suppose -2*b = 9 + 3. Is 25 a factor of h(b)?
False
Let a = 183 + -92. Does 21 divide a?
False
Let v(p) = 2*p - 2. Let g(u) = -2*u + 3. Suppose 5*w + 24 = -4*f, f + 21 = -5*w - 0*f. Let n(k) = w*g(k) - 5*v(k). Does 3 divide n(-3)?
False
Let w = -25 + 74. Let d = -13 + w. Is 18 a factor of d?
True
Suppose 0 = 2*o + 3 - 7. Suppose o*i = -3*r - 2*i + 8, -2*r - 5*i + 3 = 0. Suppose 0 = -3*s + 2*f + 55 - r, -5*s = -5*f - 90. Does 15 divide s?
True
Let b be (-1392)/33 + (-6)/(-33). Let o = b + 74. Does 13 divide o?
False
Let c be (-1 - 1)*(-16 + 0). Suppose -k + 6 = -c. Is k a multiple of 13?
False
Let a(h) = -18*h**2 - h - 2. Let w be a(2). Is 19 a factor of (w/5)/((-4)/10)?
True
Let z(i) = -4*i**2 + 2*i**2 + 3*i**2 - i**3 + 2*i. Let f be z(2). Suppose 2*v = 4*k - 40, f = k + 5*v + 14 - 2. Is 5 a factor of k?
False
Let b(v) = v**2 + 9*v - 7. Let m be b(-10). Suppose m*w = 2*k + 9, 2*k - w = -0 + 1. Suppose 3*i - 42 = -k*z + z, -i - 56 = -4*z. Is z a multiple of 8?
False
Is (-1 - (-2 + -2)) + 93 a multiple of 16?
True
Suppose 154 + 35 = 7*j. Is 27 a factor of j?
True
Suppose -4*s + s + 105 = 0. Is s a multiple of 22?
False
Let s be (-5)/(-30) + 2/(-12). Let n(v) = -v**2 + 2*v + 57. Is n(s) a multiple of 12?
False
Let c = 8 + -4. Suppose -c*r + 15 = 3. Is 2 a factor of r?
False
Suppose -h - 4*x = -36, -x = 3*h - 77 + 13. Let v(j) = -2*j**2 + 2*j - 6. Let t be v(5). Is t/(-10) + 8/h a multiple of 2?
False
Does 9 divide 14 + -4 + 5 - (1 - 2)?
False
Let q be (2/(-3))/(3/(-18)). Suppose -l = -4*z - z - 65, q*l - 2*z = 296. Is 25 a factor of l?
True
Let q(l) = l**3 - 11*l**2 + l - 13. Let o be q(11). Let b(z) = 7*z**2 + 6*z + 2. Is 5 a factor of b(o)?
False
Let x(t) = -t**2 + 10*t - 8. Let r be 3/1 + (-12)/(-4). Is 16 a factor of x(r)?
True
Let f = -44 + 69. Is f a multiple of 5?
True
Let n be 4/(-2 + 30/9). Suppose 5*r - 18 = -a, r = -n*a - 3 + 29. Is 7 a factor of a?
False
Suppose -2*b - 2*b - 88 = 0. Let s = b - -34. Suppose 5*a = 2*g - s + 71, -2*a - 5*g = -41. Is 8 a factor of a?
False
Suppose 0 = x + 1 - 3. Let h be -4*2*(-4 - x). Suppose h = 4*z - 0. Is z a multiple of 10?
False
Let t(r) = 2*r**2 + 12*r - 6. Does 24 divide t(-9)?
True
Let f be 3 + 37/(-1 + 2). Let r = f - 26. Is r a multiple of 4?
False
Let d be (21/6)/((-4)/8). Is 60/14 - (-2)/d a multiple of 2?
True
Let d be ((-21)/6)/((-1)/2). Let l = d - -9. Does 16 divide l?
True
Suppose -4*l + 163 = 5*h - 27, 2*l - 3*h - 84 = 0. Is l a multiple of 13?
False
Let d be (-8)/2 - -3 - 1. Let m = d - -4. Suppose m*f + f = 12. Does 4 divide f?
True
Let j(t) = t**2 + 13*t + 24. Let r be j(-10). Does 7 divide 112/r*18/(-12)?
True
Suppose -6 = 2*v - 32. Does 11 divide v?
False
Is 20/6*((-44)/(-20) - 1) a multiple of 4?
True
Let g(k) be the second derivative of -k**5/20 - k**4/4 + k**3/3 + 2*k**2 + 4*k. Is g(-4) a multiple of 12?
True
Let c be ((-6)/15)/(3/60). Let g = c - -14. Does 4 divide g?
False
Let t = 12 - 6. Suppose -c = -4*x + 8, 2*x + 3*c = t*c + 4. Suppose 5*k = x*w - 27, -w + 5*k - 1 = -12. Does 8 divide w?
True
Let i(o) = -4*o**3 - o**2 + o + 2. Let f be i(-2). Suppose 0 = -k + f + 15. Does 10 divide k?
False
Let o = 10 + -6. Suppose -o = -3*i + 2. Does 11 divide i + 1 + -1 + 25?
False
Let m(w) = 2*w**2 - 4*w + 4. Suppose -5*a + 0*c + 12 = -4*c, 0 = 3*c - 6. Let d be m(a). Suppose -26 = -2*v + d. Does 8 divide v?
False
Suppose -6*o + 56 = -4*o + 4*w, -3*o + 70 = -w. Let l = 42 - o. Is 11 a factor of l?
False
Suppose -i + 5*t + 15 = 0, 0 = 2*i - 3*t + t - 6. Let q be ((-28)/20)/((-5)/25). Suppose -q*g = -2*g + 25, -2*h + 2*g + 44 = i. Is h a multiple of 8?
False
Suppose -2*i - 253 = -57. Let r = -59 - i. Is 13 a factor of r?
True
Let y be 538/6 - (-4)/(-6). Suppose -16 = -4*v, 4*v + 284 = 2*r + 3*r. Let h = y - r. Does 12 divide h?
False
Let q = -13 + 33. Does 20 divide q?
True
Let l(c) = -c**2 + 1 - 6 - 2*c + 2. Let i be l(7). Let j = -36 - i. Does 13 divide j?
False
Suppose 170 = 3*r - 4. Does 29 divide r?
True
Suppose 251 = 5*f - 59. Suppose 0 = -2*q - q + 4*n + f, 4*q = 4*n + 88. Is 12 a factor of q?
False
Suppose -316 = -4*z + 2*h, 0 = -5*z - 3*h - 164 + 537. Does 5 divide z?
False
Let r(z) be the second derivative of z**3/6 + z**2/2 - z. Does 5 divide r(4)?
True
Let p = 16 + -16. Suppose p = -2*g + 3*r + 102, 99 = -4*g + 2*r + 287. Is g a multiple of 15?
True
Let r(i) = -i**2 - 7*i + 2. Let l be (-4)/(-1)*(-3)/(-6). Suppose -21 = l*a + a. Is 2 a factor of r(a)?
True
Suppose -4*d = 0, l - 6*l + d + 430 = 0. Is l a multiple of 13?
False
Let h = 36 - 24. Is h a multiple of 6?
True
Is 24 a factor of (3 - -69)/((-6)/(-4))?
True
Let p = 19 - 5. Suppose -2 = -4*s + p. Let n(u) = 8*u + 1. Does 14 divide n(s)?
False
Let d = 102 + -35. Does 24 divide d?
False
Suppose -2*k = 77 - 227. Suppose -4*f + 3*g - 221 = 0, 4*f + 227 = -0*g + 5*g. Let m = f + k. Is 8 a factor of m?
False
Suppose -41*o = -44*o + 132. Is o a multiple of 22?
True
Suppose 3*y - 3*c - 13 = -c, -y + 2*c = -7. Suppose y*a = 6*a - 120. Does 8 divide a?
True
Suppose -118 = -2*h - 2*j, 3*h - 3*j = -2*h + 271. Is h a multiple of 14?
True
Suppose 0 = s - 5*y - 18, 4 + 2 = -2*s - 4*y. Let q(m) = -m**3 - 2*m**2 + 2*m - 1. Let l be q(1). Is 10 a factor of (-3)/s + 31 + l?
False
Suppose 1 = -5*m + 36. Suppose 0 = 3*d - m*d + 168. Is d a multiple of 24?
False
Suppose -310 - 118 = -4*s - 4*a, -5*s = a - 547. Is 21 a factor of s?
False
Let t = 7 - 9. Let c be t*(-1 + -3 - -3). Is 22 a factor of (92/c)/(4/2)?
False
Let h = 120 - 80. Does 8 divide h?
True
Is 14 a factor of (1/2)/(1/8) + 10?
True
Let h(l) be the first derivative of -7*l**2/2 + 8. Let d = 5 - 8. Is h(d) a multiple of 9?
False
Suppose -19 = 3*o - g, 3*o - 2*g - 9 = -29. Let d = o - -10. Does 3 divide d?
False
Let l(b) = -6*b**3 - 3*b**2 - b + 2. Is 14 a factor of l(-3)?
True
Let w(j) = j**3 + 8*j**2 + j + 6. Let x be w(-7). Suppose 0 = -0*t + 3*t - x. Is 8 a factor of t?
True
Let v = 1 + 2. Is 2 a factor of v?
False
Suppose 2*m + 2 + 6 = 0. Does 8 divide m/((-2)/(4*2))?
True
Does 11 divide 5/(-2)*770/(-25)?
True
Let a = 153 + -105. Does 12 divide a?
True
Suppose 4*b + 5*o = -b + 565, 0 = -2*b - o + 227. Does 19 divide b?
True
Let w(c) = -c**2 + 12*c + 13. Let t be w(13). Let l(j) = j**2 - j + 75. Is 25 a factor of l(t)?
True
Let k = -61 + 139. Is 9 a factor of k?
False
Suppose y - 6*y - 26 = 4*w, 0 = -5*y + w - 6. Let j = 26 + y. Is j a multiple of 12?
True
Let r = -34 + 40. Is r a multiple of 3?
True
Suppose 0 = -3*v -