et t = 38 - q. Does 13 divide t?
True
Suppose 88 = -2*r + 6*r. Is r a multiple of 18?
False
Let c(l) = l + 6. Let y be c(-2). Suppose -2*a - 24 = -p, p + 42 = -y*a - 0*a. Let g = -5 - a. Is 5 a factor of g?
False
Let z be -1*9/6*4. Let w = -18 + z. Let u = 37 - w. Is u a multiple of 24?
False
Suppose 8*f - 2225 = -385. Is 19 a factor of f?
False
Let n(x) = 13*x + 10. Is 6 a factor of n(2)?
True
Does 4 divide 130/3 - 12/(-18)?
True
Let l(m) = m**3 + 4*m**2 + 2*m - 3. Let b be l(-3). Suppose 42 = -b*j + 3*j. Is 7 a factor of j?
True
Let r(l) = -2*l - 10. Let t be r(-7). Let h(p) = p**3 - 2*p - 4. Is h(t) a multiple of 17?
False
Suppose 2*o = -0*x - 3*x, x + 5*o = 0. Let m(u) = -2*u. Let f be m(-7). Suppose x*s = s + 4*q - f, 3*q = 5*s - 185. Does 15 divide s?
False
Let g(m) = -m**2 + 10*m - 10. Let j be g(8). Let t(x) be the third derivative of x**6/120 - x**5/10 + 5*x**4/24 - 6*x**2. Is 10 a factor of t(j)?
True
Let m(n) = n**3 + 10*n**2 + 10*n + 13. Suppose 26 = -3*b + u, -31 = -5*u - 6. Let d be -1 + (-3 - -2) + b. Is m(d) a multiple of 4?
True
Suppose -8 = 2*i + 124. Let x = -17 - i. Does 9 divide x?
False
Suppose -2*a = 4*i + 4, -i = 5*a - 26 - 0. Suppose 0 = 4*s - 0*s + 8. Is (s/a + 1)*3 even?
True
Let f(k) = k**3 - 5*k**2 - 3*k - 5. Let d be 4/6*66/(-4). Let b be -1 + -2 - (d + 2). Is f(b) a multiple of 6?
False
Suppose 3*a = 3*o - 41 - 4, -56 = -4*o + 5*a. Is o a multiple of 5?
False
Suppose 4*g - c - 152 = -0*c, 4*g = 2*c + 156. Does 7 divide g?
False
Let g(y) = -y**3 - 6*y**2 + 8*y + 10. Is g(-7) a multiple of 2?
False
Suppose -5*n - 2*j - 6 = 0, -2*n + 6*n - 6 = 2*j. Suppose 0*z + 2*z = n. Let g(w) = -w**2 + w + 13. Is 13 a factor of g(z)?
True
Let a be ((-1)/(-3))/(4/156). Suppose 0*h = h - a. Does 7 divide h?
False
Let p(c) = -c**2 + 12*c + 17. Let q(i) = i**3 - 15*i**2 + 14*i + 13. Let x be q(14). Is 4 a factor of p(x)?
True
Let c(o) = -24 + 3*o - 4*o**3 - 4*o**2 - 35 + 1. Let n(p) = -3*p**3 - 3*p**2 + 2*p - 39. Let k(l) = -5*c(l) + 7*n(l). Does 6 divide k(0)?
False
Is 11 a factor of 297/22 + 6/4?
False
Suppose 3*q + 271 = 2*n, -2*q - 5*n + 188 = -4*q. Let i be (-1)/2 - q/(-2). Let k = i - -71. Is k a multiple of 12?
False
Let c = 375 - 105. Is c a multiple of 11?
False
Let i(x) = 49*x**2 + x + 1. Let l be i(-2). Suppose l = 3*o - 255. Does 17 divide -1 - 3/((-9)/o)?
False
Does 39 divide 14/((-2 - 2)/(-40))?
False
Let r = -11 - -7. Does 17 divide -1 - 138/(r + 1)?
False
Does 32 divide (36/8)/((-5)/(-110))?
False
Let a be 5/((-10)/4) + 2. Suppose 5*q + 15 = -a. Does 13 divide -2*(39/2)/q?
True
Suppose z = 2*u - 4, -4*z = -0*z + 2*u - 24. Suppose -3*n = -z*b - 1 - 6, 0 = n - 3*b + 1. Suppose 5*a - 50 = -n*s, -3*a + 40 = 2*a + 3*s. Is a even?
False
Let t(d) = -d**2 - 11*d + 12. Suppose 0 = 5*l + 4 + 41. Is t(l) a multiple of 14?
False
Let m(i) = 2*i**2 - 8*i + 7. Let a(h) = -5*h. Suppose -5*c + 4*x - 1 = 12, -3*c + 5*x = 13. Let v be a(c). Does 7 divide m(v)?
False
Let q(k) = -k**2 - 3*k**2 + 2 + 6*k**2 + 0*k**2. Is q(2) a multiple of 10?
True
Let m be 0/(1 + 4/(-2)). Suppose 106 = 4*q - 2*f, m = -q - q - 3*f + 49. Does 7 divide q?
False
Let j(w) = w**2 + 6*w - 1. Let o be j(-6). Let m(z) = -63*z - 1. Let v be m(o). Let d = v - 39. Is d a multiple of 9?
False
Suppose 5*m = 63 + 512. Suppose -2*f = -a + f + 19, m = 5*a + 5*f. Is a a multiple of 5?
False
Is 13 a factor of 1816/14 - ((-222)/42 - -5)?
True
Let x(w) = -4*w - 1. Let j be x(-1). Suppose 10 = 5*q, -4*p = -0*q - 4*q + 40. Is (18/p)/(j/(-24)) a multiple of 7?
False
Suppose 214 = 5*m - 656. Let d = m + -48. Is 32 a factor of d?
False
Let a = 2 + 1. Let f be (-24)/(-10)*30/9. Suppose 23 = a*b + f. Does 5 divide b?
True
Let t(j) be the third derivative of -j**5/60 - j**4/24 + j**2. Let x be t(-5). Let o = 6 - x. Is o a multiple of 13?
True
Suppose -30 = -3*y + 3*h, 3*y + h - 4 = 6. Suppose -3*m + 2*m + y = 0, -55 = -2*b - m. Is 17 a factor of b?
False
Let p = 8 - 6. Let u be 79 - (1*-3)/(-3). Suppose 0 = v + p*v - u. Is 13 a factor of v?
True
Suppose -2*n + 3*q + 5 = 0, -q + 3 = -3*n - 0*q. Let s be n + -1 + 7/1. Suppose u = 4*m + 28, s*u = -4*m + 17 + 55. Is u a multiple of 10?
True
Let k(d) = -d**3 + 3*d**2 + d + 1. Let b be k(3). Let j(l) = l**3 - 2*l**2 - l - 1. Let g be j(3). Suppose g = -b*z + 21. Is 2 a factor of z?
True
Let b be 0*(-1)/(-2)*-1. Let w = 15 - b. Is 7 a factor of w?
False
Let u(l) = -l**3 - 8*l**2 - 11*l - 1. Is 29 a factor of u(-8)?
True
Let o(s) = 4*s - 7. Let z be o(6). Suppose -z*l + 21*l - 132 = 0. Is l a multiple of 19?
False
Let h = 10 - 5. Suppose 3 = l + h. Let p = l - -6. Is 2 a factor of p?
True
Let t be (1 + 4)*-1 - 2. Let n be (-4 - t)/((-3)/(-4)). Is -3*n/(-6) + 4 a multiple of 6?
True
Let v be (-1)/(-4) + (-53)/4. Let c be ((-33)/9)/(2/(-6)). Let w = c - v. Is 9 a factor of w?
False
Let c be 1100 + -1 + (-2)/(-1). Let b be (-2)/9 + c/(-27). Let s = -25 - b. Is s a multiple of 8?
True
Suppose 5*k - 2*k - 30 = 0. Is 7 a factor of k?
False
Suppose 42 = 2*d + 12. Does 2 divide (-13)/(-2) + d/(-10)?
False
Is 10 a factor of 13/(4*2/16)?
False
Suppose -2*s + 0*s = 6. Let a be 7 - 1*(-4 - s). Let j = a - 5. Is j a multiple of 2?
False
Suppose 0 = 4*r + 16, 114 + 45 = 5*z - r. Is 3 a factor of z?
False
Let r(i) = -9*i**2 - 2*i - 71. Let f(h) = -4*h**2 - h - 36. Let z(x) = -7*f(x) + 3*r(x). Let d be z(0). Let p = 59 - d. Is p a multiple of 12?
False
Suppose 4*m - 2*o - 206 = -4*o, -2*o = 2. Is 4 a factor of m?
True
Suppose 0 = o - 13. Let y = 4 - o. Let d = 6 - y. Does 5 divide d?
True
Suppose -7*x = -4*c - 2*x + 1199, -3*c + 5*x + 898 = 0. Does 34 divide c?
False
Let m(k) = -k**3 - 6 - 2*k - 4*k**2 + 19 - 5*k**2. Let q be ((-268)/22 - (-6)/33) + 3. Is 14 a factor of m(q)?
False
Suppose 5*i = -4*w + 351, 4*i + 0*i - 5*w = 248. Does 3 divide i?
False
Suppose -3*n - k = -3 + 22, 11 = -n + 2*k. Let y = n - -8. Is 7*y*180/42 a multiple of 15?
True
Let y(d) = -d**3 + 4*d**2 + 4*d + 7. Let k be y(5). Suppose -5*t - 12 = -v, 5*t - 24 = -k*v - 0*t. Does 4 divide v?
True
Suppose -12*i = 2*i - 924. Is 22 a factor of i?
True
Let k = 3 - 0. Let v be 52 + (k - 0)/(-3). Let d = 71 - v. Is d a multiple of 11?
False
Let g = -8 + 12. Suppose -r = g*r - 20. Suppose -4*k + r*x = -120, -5*k + k - 3*x + 99 = 0. Does 12 divide k?
False
Let c(s) = -s + 1. Let t be c(7). Does 3 divide t/(-8) + (-123)/(-12)?
False
Suppose 4*s - 3*s - 88 = c, -179 = 2*c + s. Let t = -36 - c. Does 18 divide t?
False
Let i(t) = 25*t**3 + 2*t**2 - t - 1. Let d be i(2). Suppose d = 3*v + g, -127 = -3*v - 4*g + 72. Does 15 divide v?
False
Let k(o) = -o**3 + 27*o**2 - 47*o + 33. Is k(25) a multiple of 8?
False
Let q = -119 - -173. Is q a multiple of 32?
False
Let o be 290/4*12/15. Suppose 4*v - 46 = 2*a, -4*v - a - 3 = -o. Does 13 divide v?
True
Is (-2)/4 + 339/2 a multiple of 13?
True
Let b(j) = -44*j + 8. Does 16 divide b(-2)?
True
Suppose -5*t = -0*t - 25, 5*t = -5*w + 50. Suppose -2*h - 11 = w*b, 2*b + 3*b = 2*h - 19. Suppose -h*v = k + 2 - 20, -k - 5*v + 18 = 0. Is 9 a factor of k?
True
Suppose 2*r - 8 = -3*k, -5*r - 14 + 34 = 0. Suppose 2*c = 6, k = -o + 5*o + c - 75. Does 18 divide o?
True
Let l(y) = -y**3 - 4*y**2 - y - 12. Does 9 divide l(-5)?
True
Let z = 4 - 1. Is 13 a factor of 16 - z/((-3)/1)?
False
Suppose -3*r + 4*r + 9 = 0. Let a(n) = n**3 + 8*n**2 - 10*n + 4. Is a(r) a multiple of 12?
False
Let i(t) = -t**2 + 3. Let g be i(0). Does 8 divide g + (-4)/(-12)*111?
True
Let a be 1/(-2) + 7/2. Suppose 3*z = -6 - a, -3*o + z + 201 = 0. Is o a multiple of 26?
False
Let w = -6 - -8. Suppose -3*l + 41 = 11. Does 2 divide (1/w)/(1/l)?
False
Let m(u) = 7*u**2 - 3 - 2*u**3 - 4*u + u**2 + u**3. Is m(5) a multiple of 13?
True
Is -2*((-9)/6 - (-1 - -4)) even?
False
Suppose 5*u + 22 - 52 = 0. Let o be 4*2/(2 - -2). Suppose -u = -o*l, 3*t + 2*t + 5*l = 55. Is 5 a factor of t?
False
Suppose -4*t + 19 = o - 44, -3*o = -5*t - 172. Let n = o - 12. Does 13 divide n?
False
Let c(r) be the third derivative of 3/8*r**4 - 1/3*r**3 - 1/60*r**5 + 2*r**2 + 0*r + 0. Does 6 divide c(8)?
True
Let b = 111 - 89. Is 8 a factor of b?
False
Suppose -5*v + 7 = -2*m, -3*m = 3*v - 21 - 0. Suppose 0 = v*x - 2*x - 14. Is x a multiple of 7?
True
Let a(s) = s + 9. Let g be a(-6). Suppose 2*v + 4 - 15 = -g*x, -4*v = 2*x - 2. 