e of 13?
False
Let b(a) = 2*a**2 - 7*a + 3. Does 26 divide b(7)?
True
Let c(g) be the third derivative of -g**4/8 - g**3/2 + 4*g**2. Let q be c(-2). Suppose 3*p + q = l + 4*p, -2*p - 2 = l. Is 8 a factor of l?
True
Let r = 51 + -19. Is r a multiple of 15?
False
Let i(f) = f**2 - 4*f + 10. Let v be (-1)/(2 - (-34)/(-16)). Is i(v) a multiple of 14?
True
Suppose 4*h + 150 = 5*l - 70, -h = -5. Suppose 0*v + l = v. Is (v/(-15))/((-1)/5) a multiple of 8?
True
Let g = -83 + 123. Is 20 a factor of g?
True
Suppose 3*t - 7 = 2*t - n, 11 = 5*t - n. Suppose t*z + 3*z = 90. Is z a multiple of 10?
False
Let h(p) = -33*p + 3. Is h(-4) a multiple of 13?
False
Suppose 5*v = 4*f + 644, 9*v - 13*v + 3*f + 516 = 0. Is 12 a factor of v?
True
Suppose 5*m + 57 = -3*v, -2*m + m - 3*v - 21 = 0. Let t(j) be the first derivative of -j**4/4 - 10*j**3/3 - 11*j**2/2 - 9*j + 9. Is t(m) a multiple of 5?
False
Let i(v) = -v**2 + 8*v + 12. Let m be i(9). Suppose 4*p = 2*p + 10. Suppose 0 = -m*q - c + 86, 0*c + 4*c = p*q - 132. Is q a multiple of 15?
False
Let v = -4 - -32. Let j = 47 - v. Is 15 a factor of j?
False
Suppose -4*a + 515 = a. Is 25 a factor of a?
False
Let p = -106 - -181. Does 23 divide p?
False
Let l(v) = 3*v**2 - 3*v + 2. Does 13 divide l(4)?
False
Suppose 0 = -2*f + f + 8. Suppose -t - 2*t + 2*s = -f, 14 = 4*t - 2*s. Is t a multiple of 2?
True
Let w(j) = 5*j**2 + 9*j + 3. Is w(-4) a multiple of 2?
False
Let j(q) = q**3 - 6*q - 5. Is 30 a factor of j(5)?
True
Let z = -2 - -9. Let f(g) = g + 5. Is 7 a factor of f(z)?
False
Let w(c) = 37*c + 4. Does 25 divide w(1)?
False
Suppose -3*w - m = 0, 2*w - 2 + 16 = 4*m. Let h(j) = -4*j**3 - 2*j**2 + 1. Let u be h(w). Suppose -u*o - k = -35, 3*o - 4*k = k + 5. Does 10 divide o?
True
Suppose 0 = d + 1 - 4. Is 3 a factor of d?
True
Let q(s) = -s**2 + 9*s - 9. Let b be q(7). Suppose -h - 105 = -4*h + 3*v, b*v = -2*h + 91. Is h a multiple of 12?
False
Let a = 119 - 72. Is 18 a factor of a?
False
Let g = 73 - -39. Is g a multiple of 16?
True
Suppose -2*l - 2*l = -12. Let m = 8 - l. Suppose -m*q + 5*a + 40 = 3*a, -q + 8 = 2*a. Is 5 a factor of q?
False
Let y = -7 - -27. Suppose -4*l + 0*l + y = -4*t, -17 = -l - 3*t. Does 8 divide l?
True
Suppose 0*n = -2*n - 1076. Is 15 a factor of (-3)/12 - n/8?
False
Suppose 2*j - 3*j = 0, -4*d = 2*j. Suppose d = -4*c + 5*c + 9. Does 15 divide (-6)/(-27) + (-187)/c?
False
Let a be 4/10 - (-90)/25. Is 204/16 - (-1)/a a multiple of 7?
False
Is 13 a factor of 3 + 1 - (-5 + -66)?
False
Suppose 0 = -3*z + 11 + 7. Suppose -5*x = -1 + z. Let c(t) = -14*t. Does 12 divide c(x)?
False
Suppose 0 = p + 55 - 11. Suppose -4*s = 5*j - 4, 0 - 2 = s + 2*j. Is (p/12)/((-1)/s) a multiple of 11?
True
Suppose -2*v - 5*w = -45, 2*v + w - 38 = 3*w. Is v a multiple of 11?
False
Let b = 5 + -5. Let s(l) = l**2 + 18. Is 16 a factor of s(b)?
False
Suppose -3*y = -4*y - 1. Let z be ((-1)/y)/((-2)/(-8)). Suppose -z - 8 = -4*p. Is p a multiple of 3?
True
Let u = 13 + -7. Suppose -u*b + 3*b - 857 = -5*d, -4*d = b - 689. Suppose -4*a - 24 = -d. Is a a multiple of 24?
False
Suppose -2*g - 12 = -5*g, 3*g + 171 = -3*t. Let r = -42 - t. Is 8 a factor of r?
False
Let q(o) = -6*o + 4. Is q(-6) a multiple of 16?
False
Let h(y) be the first derivative of 31*y**3/3 - y - 3. Is h(1) a multiple of 15?
True
Let g be (104 - -2) + 2 + -3. Suppose v = 6*v - g. Is v a multiple of 20?
False
Let y(p) = 2*p - 4. Let k be y(-5). Let t(f) = 15*f - 3. Let o be t(2). Let n = k + o. Does 8 divide n?
False
Suppose 0 = n - 0*n + 19. Let y = 0 + n. Let k = y + 29. Is k a multiple of 4?
False
Let y(g) = -g**3 + 12*g**2 + 4*g - 10. Let u be y(12). Let a(p) = -5*p - 2. Let d be a(-2). Suppose 0 = 3*w + d - u. Is w a multiple of 5?
True
Let s(l) = l**3 - 5*l**2 + 3*l - 1. Let i(k) = k**3 - 3*k**2 - 5*k + 10. Let w be i(4). Does 25 divide s(w)?
False
Let w = 6 + -6. Suppose w = k - 6*k + 60. Is 5 a factor of (-69)/(-4) + (-3)/k?
False
Is 37 a factor of 24/(-84) + 111/21*29?
False
Suppose 6*u - 19 = 5. Is ((-2)/(-3))/(u/156) a multiple of 13?
True
Let h be 1*-3*40/6. Let m be ((-32)/h)/((-2)/(-5)). Suppose m*b - 46 = -0*c + 5*c, 2*c - 4 = 0. Is b a multiple of 7?
True
Let d = 189 - 112. Does 9 divide d?
False
Let i = 116 - 110. Is i a multiple of 3?
True
Let o = 8 + -39. Let v = o - -21. Is 11 a factor of (-254)/v - 6/15?
False
Suppose t - 77 = -3*l + l, t = -5*l + 83. Suppose -4*z = -4*s - t - 51, 4*s = -5*z + 137. Does 18 divide z?
False
Suppose -2*g + 112 + 96 = -5*d, 0 = -g - 4*d + 104. Is 7 a factor of g?
False
Suppose 0 = 5*m - 3*u - 365, 0 = 2*u - 3 + 13. Does 35 divide m?
True
Suppose -3*r - 26 + 80 = 0. Suppose -n + 1 = 3*l - 6, r = 4*l - 3*n. Does 2 divide l?
False
Let a = 25 - 8. Is 17 a factor of a?
True
Is 20 a factor of ((-8)/(-6))/((-5)/(-75))?
True
Suppose 3*z = 6*z. Suppose 5 = -4*a - k + 12, z = k + 1. Suppose -a*d = -2*c + 40, -c + 2*d = -5*c + 62. Is c a multiple of 8?
False
Let l(i) = -9*i - 1. Let q be (-9)/2*(-8)/12. Suppose 2*m + 3 + 2 = -5*j, 5*j + q*m + 5 = 0. Does 4 divide l(j)?
True
Let l be 12*(-2 - (-24)/9). Does 14 divide (-2)/4 + 116/l?
True
Suppose 7*s - 420 = 4*s. Suppose -u + 140 = 5*v, 0 = -4*v - v - 5*u + s. Does 14 divide v?
True
Suppose 21 = 2*c + c. Is 3 a factor of c?
False
Let o(m) = -m**3 - 13*m**2 - 13*m + 7. Is o(-12) a multiple of 2?
False
Suppose 5*u = -6 - 4. Let v = -5 - u. Let g(n) = -11*n - 1. Does 13 divide g(v)?
False
Suppose m - 27 = 13. Is 40 a factor of m?
True
Let r(k) = 6*k - 46. Does 17 divide r(19)?
True
Let d(g) = g - 1. Suppose -29 - 8 = -4*c - 5*j, -13 = 4*c - 5*j. Let u be d(c). Suppose -33 = -b + u*r, -b + 3*r + 32 = -0*b. Is 9 a factor of b?
False
Suppose 12 = 3*u + 3. Suppose -4*z + 154 = u*q, 4*z + q - 164 = 3*q. Does 13 divide z?
False
Suppose 40 + 4 = -4*a. Let x(r) = -r**2 - 13*r - 16. Let y be x(a). Let u = y + 19. Is u a multiple of 25?
True
Suppose -3*l = 82 - 250. Is 28 a factor of l?
True
Let p(x) = x**3 - 4*x**2 + 4. Let a = 0 - -4. Does 4 divide p(a)?
True
Suppose 2*k = k + 107. Suppose 2*o + k - 323 = 0. Let a = o - 76. Does 12 divide a?
False
Let y = -9 + 3. Let k = y - -9. Suppose l - k = 11. Is l a multiple of 5?
False
Let o = 16 + -10. Let s be 19*3/o*2. Does 18 divide s + -1 + 0/1?
True
Does 20 divide ((-28)/(-10))/(288/140 + -2)?
False
Let p(c) = c**3 - c - 2*c**2 - 2 + 0 + 3*c. Let m be p(2). Suppose -m*t + 17 = 1. Is t a multiple of 3?
False
Does 17 divide (2/(-4))/((-4)/520)?
False
Suppose 196 = w + 3*i, 4*w = -i + 793 - 31. Does 20 divide w?
False
Let s(t) = -t**3 + t - 1. Let i be s(0). Let b(w) = -462*w + 63. Let j(h) = -37*h + 5. Let c(y) = -5*b(y) + 63*j(y). Is c(i) a multiple of 9?
False
Is (-429)/(-15) + 4/10 a multiple of 14?
False
Suppose -2*x = -5*z + 7 + 4, -14 = -4*x - 2*z. Suppose 4 + 22 = x*r. Is 12 a factor of r?
False
Let b(z) = -z**2 - 5*z - 10. Let l be b(-10). Is -1 - (l/4 - 0) a multiple of 8?
False
Let w = 15 - 12. Is 3 a factor of w?
True
Suppose 0 = 3*w + 2*w + 670. Let i = 187 + w. Is 22 a factor of i?
False
Let f = -5 - -8. Suppose f*g + 23 = 56. Let w = g - -1. Is w a multiple of 11?
False
Suppose -6*f - 333 - 105 = 0. Let r = f - -131. Does 22 divide r?
False
Let h(w) = -w**3 + 5*w**2 - 5*w + 3. Let m be h(3). Suppose g + m = -0*g + 5*k, 5*g - 62 = 2*k. Is g a multiple of 8?
False
Suppose -2*o + 4*o = 126. Let h be 329/o - 2/9. Suppose m - 32 = -3*d + 31, h*d - 3*m = 119. Is 14 a factor of d?
False
Suppose -4*p + 132 = 4*j, -30 + 193 = 5*p + 4*j. Suppose 0 = 5*t - 117 - 138. Let x = t - p. Is 10 a factor of x?
True
Let r(j) = 10*j - 2. Does 19 divide r(4)?
True
Let x = 87 + -54. Is x a multiple of 14?
False
Let s(k) = -k**3 + 6*k**2 - 7*k + 1. Let n be s(6). Let h = n - -109. Is h a multiple of 17?
True
Let j(c) = -c**3 - 2*c**2 - 2*c + 57. Is 19 a factor of j(0)?
True
Let g = -1 - -2. Is 9 a factor of ((-3)/g)/((-1)/3)?
True
Is 4 a factor of 3/((-6)/(-98)) - (0 - -3)?
False
Let m(t) = t**2 + t - 1 + 6 - 1 + 6. Suppose 6 = -4*r + 2*n, 0 = -3*r + 2*n - 4*n + 6. Does 10 divide m(r)?
True
Does 6 divide (-2184)/(-70) - (-2)/(-10)?
False
Let t = 49 - 26. Does 6 divide t?
False
Suppose 2*v + 3*l = 54, 4*v = -0*v - 5*l + 110. Is v a multiple of 15?
True
Suppose -4*w + k = 0, -3*k = -w + k. Suppose -3*u + 4*n + 151 = 0, 3*u + u + 5*n - 222 = w. D