 = -2*d - 24. Let v = r - -9. Is v a multiple of 13?
True
Suppose -4*f + 69 = i, 4*f + 6 = -10. Does 5 divide i?
True
Let y(c) = -c**3 + 9*c**2 + c - 5. Let o be y(9). Suppose 536 = o*u - 2*j - 0*j, -2*j = -2*u + 264. Suppose 3*i - u = -i. Does 12 divide i?
False
Suppose -3*f + 8*f + 70 = 0. Let b = f + 24. Is b a multiple of 4?
False
Let m be (42/(-10))/((-4)/20). Let t = m + 14. Suppose 4*h - t = -a, -2*h + 4*h = -2*a + 10. Does 10 divide h?
True
Let f(n) = n**3 + 10*n**2 - 6*n + 6. Does 17 divide f(-10)?
False
Let c(k) = -k**3 - 8*k**2 + k + 11. Let l be c(-8). Suppose -l*t + 23 = -3*x - 100, -5*x - 29 = -t. Is 11 a factor of t?
True
Suppose 0*k - k + 3 = 0. Suppose 3*t - 18 = k*n, -5*n - 12 = 2*t - n. Suppose t*x - 74 - 18 = 5*q, -5*x - 3*q = -168. Is 18 a factor of x?
True
Let y be (12/20)/(2/10). Suppose -y*t - 9 = -3. Let z(f) = -11*f. Is z(t) a multiple of 11?
True
Suppose 3*q = -5*q + 520. Is q a multiple of 13?
True
Is (-7)/(-6)*21 - 12/8 a multiple of 3?
False
Suppose 102 = -3*j - 0. Let h = -20 - j. Does 5 divide h?
False
Let i = -3 - -5. Suppose a - i*a - 2*j = -33, 5*j + 55 = 3*a. Is a a multiple of 11?
False
Does 5 divide 7/(-2)*(-300)/105?
True
Suppose 120 = -4*b + 340. Is b a multiple of 11?
True
Let v(l) = 3*l**2 - 7. Is v(6) a multiple of 15?
False
Is (6 - -1) + 0/3 even?
False
Let q be (-1 + 1)*10/20. Suppose -3*o + 25 - 1 = q. Is o a multiple of 4?
True
Suppose -x - 2*x = 5*s - 15, 0 = -3*x + 4*s - 12. Suppose x*p = -p + 15. Is 15 a factor of p?
True
Suppose 0 = -5*l + 2 + 3. Let h(o) = -36*o + 12*o - 8*o + l. Is 15 a factor of h(-1)?
False
Let j(l) be the third derivative of l**5/60 - l**4/4 - l**3/6 - 6*l**2. Suppose 0 = -g - 4*g + m + 42, 33 = 4*g - m. Is 11 a factor of j(g)?
False
Suppose -8*v = -7*v - 35. Does 9 divide v?
False
Let p(r) = -15*r**2 - r - 2. Let z be 3*2/6 + -3. Let q be p(z). Is (-3 - q) + 2 + -1 a multiple of 16?
False
Suppose 8 = 4*w + 36. Let s = -7 - w. Suppose s = -2*z + 5*z + 4*y + 11, z - 8 = y. Is z a multiple of 2?
False
Let f(c) = -c**2 + 7*c - 6. Let s be f(6). Suppose -4*m + 3*b = -189, s = -5*m - b + 170 + 52. Suppose a + 2*a - m = 0. Is a a multiple of 5?
True
Suppose -7*l + 6*l + 2 = 0. Is 3 a factor of (4/(-8) - -3)*l?
False
Let w be 1/(1 + 0) + 2. Is 6 a factor of 8/12*w - -4?
True
Let b(f) = f**3 + 6*f**2 + 4*f - 2. Let x be b(-5). Suppose 0 = 5*g + 10, 0 = -4*y - 0*y + x*g + 62. Let c = y - 6. Is 8 a factor of c?
True
Suppose -3*v - 9 = -0*v, 0 = -4*y - v + 13. Suppose y = 2*j - 10. Is j a multiple of 6?
False
Suppose -378 = -69*z + 66*z. Is z a multiple of 20?
False
Let a(j) be the first derivative of j**2 + 2*j + 3. Is 18 a factor of a(10)?
False
Let i(r) = -2*r**2 + 1 + 2 - 4*r + r**2 + r**3 - 2*r**2. Let b be i(4). Is 1/(b/18 - 0) a multiple of 3?
True
Let m(b) = 94*b + 7. Does 13 divide m(2)?
True
Suppose 0 = -2*u + 46. Does 4 divide u?
False
Let s be 0 - 1 - (-3)/3. Let y be ((-8)/2 + 9)*1. Suppose -y*n + 89 = 3*q, 113 = 4*q - s*n + n. Is 14 a factor of q?
True
Let i(z) = 2*z**2 - 3*z + 2. Let h be i(2). Suppose -3*d = -h - 2. Suppose 0*j - 2*v - 58 = -d*j, 0 = -4*j + v + 125. Does 16 divide j?
True
Suppose 0 = -4*d + d + 6. Let y(m) = -8 + m**d - 5 + 7*m + 2. Is y(-10) a multiple of 10?
False
Let r be (20/25)/(2/20). Suppose -2*s = -s + 4*a - 28, -s + 5*a - r = 0. Does 6 divide s?
True
Let h(t) = -t**3 + 7*t**2 + 9*t. Let x(c) = c**2 + 1. Let q(d) = -h(d) + 4*x(d). Is q(6) a multiple of 29?
True
Suppose -140 = -4*i + 4. Suppose -4*s + i = -4*m, 0 = 2*s - 4*m + m - 14. Is s a multiple of 13?
True
Let v(b) = b**2 - 9*b + 2. Suppose 0 = j + 2*y + 1, -j + 43 = j - 5*y. Let a be v(j). Suppose -3*z + 5 = -a*z. Does 5 divide z?
True
Suppose -4*j + 8 + 0 = 0. Suppose 0 = 5*c - j*c - 63. Is 21 a factor of c?
True
Let d(f) = f**2 - 1. Let j be d(1). Suppose j = 4*t + 2*v - 12, 0 = 5*t + 3*v + 5 - 21. Suppose -5*l - 10 = 0, -2*q + 0*q + 66 = t*l. Does 20 divide q?
False
Let v(w) = 1. Let t(o) = 6*o + 30. Let y(n) = t(n) - 24*v(n). Let r(h) = 2*h - 4. Let b be r(5). Does 18 divide y(b)?
False
Let i(m) = 1 - 2*m**2 - 10 - m**2 - 9*m. Let y be i(-6). Is y/(-12) - 1/4 a multiple of 2?
False
Let f = -17 - -89. Suppose -3*g + f = -g. Is 25 a factor of g?
False
Suppose n + 3 = 22. Let x be (3/6)/((-1)/12). Let h = n + x. Is h a multiple of 13?
True
Is (-2)/(-4) + 236/8 a multiple of 4?
False
Suppose 3*p = 6*p - 216. Is 18 a factor of p?
True
Let i(d) = -d**2 + 7*d + 8. Let j be i(7). Is 12 a factor of 382/j - 5/(-20)?
True
Suppose -12 = 4*k, 1 = 4*i + 4*k - 3. Suppose -i*d = -3*d - 11. Is d a multiple of 4?
False
Let o(i) = -i**2 + 4*i + 3. Let f be o(-4). Let a = f + 66. Is 2 - (-2 - a - -1) a multiple of 20?
True
Let g(w) = w - 4. Let h be g(-4). Does 13 divide (-52)/h*2*1?
True
Let f(m) = -m - 3. Let j be f(-8). Let k = 16 - j. Is k a multiple of 4?
False
Let o = 4 - -31. Does 16 divide o?
False
Let o = 42 - 31. Is 11 a factor of o?
True
Let j be 51/12 - (-3)/(-12). Suppose k - j*k = -63. Is 13 a factor of k?
False
Let i(d) = d**2 - 8*d + 6. Let j be i(7). Is 15 a factor of (-2)/(j*3/45)?
True
Let b be 2/(-7) + 4/14. Suppose -3*w + 16 + 17 = b. Suppose -9 = -2*f + w. Does 10 divide f?
True
Is 4 a factor of (-4)/(-6) + (-88)/(-12)?
True
Suppose 21 = -4*o + 3*o. Let y = o - -33. Is y a multiple of 5?
False
Let d = 133 + -114. Is d a multiple of 19?
True
Let n(s) = s**3 - 5*s**2 - s. Let u = 16 + -10. Let w be n(u). Suppose t = -2*t + w. Is 5 a factor of t?
True
Let m = -8 - -4. Let r be (138/(-9))/(m/6). Let f = r + -5. Is 7 a factor of f?
False
Let t be 1/(3/((-54)/(-3))). Suppose -r - 15 = -t*r. Is 2 a factor of r?
False
Suppose -3*s = 5*f - 193, 0*s - 3*f - 265 = -5*s. Is 14 a factor of s?
True
Let x be 32/6 + 4/(-12). Suppose -x*b + 15 = -5. Is 4 a factor of b?
True
Suppose 5*y + 0*c - 533 = 4*c, -y + 106 = -c. Is 8 a factor of y?
False
Let k = 22 - 15. Suppose 0 = -k*p + 2*p + 170. Is 17 a factor of p?
True
Let y(k) = k**3 + 6*k**2 - 7*k + 9. Let l be ((-3)/2)/(9/(-24)). Suppose -l*p = p + 35. Is 4 a factor of y(p)?
False
Let c(u) = 2*u - 3. Suppose 4*x - 12 = -0*x. Let y be c(x). Is 26/y - (-2)/(-3) a multiple of 8?
True
Suppose -6*r + 2*r + 5*p = -51, 85 = 5*r - 2*p. Does 11 divide r?
False
Suppose -81 = -4*o - 5*x, -5*o + 50 = -2*x - 2*x. Does 4 divide o?
False
Let j(y) = 45*y + 1. Let g = -6 + 7. Is j(g) a multiple of 23?
True
Suppose 7 + 8 = 5*g. Does 3 divide g?
True
Let p = -344 + 484. Does 20 divide p?
True
Suppose -205 = -3*v + 8*v. Let p = -61 - v. Does 2 divide (4/(-5))/(4/p)?
True
Let l = -4 + 0. Does 3 divide -2*8/l + 0?
False
Suppose -20 = 2*q + 2*q, 3*t = -2*q + 17. Is t even?
False
Let f = 527 - 307. Is 27 a factor of f?
False
Let s(d) = -2*d + 4. Let w be s(3). Let x = w + 20. Is 13 a factor of x?
False
Let n be 10/4 + 3/(-6). Is 24 a factor of n/(-3) - (-86)/3?
False
Suppose 3 = 3*l - 12. Suppose h = -l + 1. Let f = h - -10. Does 5 divide f?
False
Let n(w) = w**3 + 7*w**2 - 11*w - 8. Is 6 a factor of n(-8)?
False
Suppose -28 = -8*o + 4*o. Let a(k) = 2*k**2 - o*k - 8 + 0*k**2 - 1. Is 16 a factor of a(7)?
False
Is 6/9*(6 - (-2 + 2)) a multiple of 2?
True
Suppose -3*r + 4*t + 125 = -2, r - t = 41. Does 7 divide (-1)/(-2) - r/(-2)?
False
Let k(u) be the first derivative of u**4/4 + 4*u**3 - u**2/2 - u - 4. Is 8 a factor of k(-12)?
False
Let q(b) be the third derivative of 3*b**2 - 1/60*b**5 - 4/3*b**3 - 1/2*b**4 + 0*b + 0. Is q(-9) a multiple of 9?
False
Let c be (-12)/(-18)*3/(-2). Is 12 a factor of c*(-25)/1 + -1?
True
Suppose -440 = -0*f + f. Is 12 a factor of 6/(-9) - f/12?
True
Let q = 213 - 83. Suppose 9*m - 4*m = q. Is m a multiple of 15?
False
Suppose 0*i = 2*u + 3*i - 68, -i + 32 = u. Suppose -s - s = -u. Let p = s + -3. Does 11 divide p?
True
Let r be 10953/135 + 2/(-15). Suppose -r = -0*y - 3*y. Does 9 divide y?
True
Let u be ((-5)/1)/(2/(-6)). Let a = 6 + u. Does 7 divide a?
True
Suppose 2 = h, 2*u + 0*h + 2*h = 18. Does 9 divide 31 + 0 + 0/u?
False
Let r(u) = -2*u - 1. Let t = -8 + 3. Does 4 divide r(t)?
False
Let y(r) = r - 2. Let c be y(4). Suppose -c*v - v + 39 = 0. Does 13 divide v?
True
Let r = 2 - 2. Suppose -5*f = -2*f - 15, r = 4*o - 4*f + 84. Let x = -11 - o. Is 5 a factor of x?
True
Let x = -17 - -138. Let r be 9/(-27) + x/3. Let t = r - 13. Does 