+ 20. Suppose -6*b = -b - p. Does 3 divide b?
True
Let l = 1 - -2. Let v = l - 3. Suppose p = -v*p + 3. Does 3 divide p?
True
Does 8 divide (-169)/(-8) - 8/64?
False
Suppose 2*y = -3*y + 430. Let t = y - 47. Is t a multiple of 13?
True
Suppose -x = 2 - 7. Suppose -x*u = -9 - 6. Suppose -65 = -2*z - u*z. Is z a multiple of 10?
False
Suppose -2*k = 3*k - 25. Let z(m) = 4*m**2 - 3*m + 5. Let h be z(4). Suppose k*d - 7 = 5*b - h, 5*b - 38 = 2*d. Is b a multiple of 6?
True
Let a be 2/7 - (-19)/7. Is -6*(-1 - 15/a) a multiple of 12?
True
Let l(a) = a + 9. Let x be l(0). Let m be 357/(-15) - 2/10. Does 9 divide (x/12)/((-2)/m)?
True
Suppose -4*t = -45 - 35. Suppose -4*m = 2*z + t, z + 4*m - 36 = 3*z. Let w = -4 - z. Is w a multiple of 10?
True
Let g be ((-9)/6)/(2/(-4)). Suppose 2*j = 2*x + 1 - 35, -2*j = -g*x + 46. Does 11 divide x?
False
Let f = -9 + 27. Suppose 2*z - 68 = f. Is z a multiple of 11?
False
Let h be (-1)/(-3) + 176/3. Suppose 0 = -t - t + 62. Let i = h - t. Is i a multiple of 14?
True
Let i = -126 + 217. Is i a multiple of 7?
True
Suppose -5*s = 0, 3*r - 3*s - 15 = 48. Is 16 a factor of r?
False
Let q(b) = -5*b**3 - 1. Let a be q(-1). Let m(s) = s**2 - 4*s. Let w be m(a). Does 19 divide ((-38)/(-1 + w))/1?
True
Suppose 3*o - 51 = -6. Suppose -11 = -2*i + o. Is i a multiple of 5?
False
Suppose -6 = 5*v - 36. Is v a multiple of 6?
True
Suppose -3*l - 34 = -1. Let z = l - -18. Is 3 a factor of z?
False
Suppose 61 = o + 23. Suppose -3*z + 28 = -o. Let l = z + -11. Is l a multiple of 3?
False
Suppose 5*y + 60 = 1590. Is 12 a factor of y?
False
Suppose 0 = -3*j + 2*y + 2*y + 49, 0 = -2*j - 3*y + 44. Let q = 11 + j. Is q a multiple of 15?
True
Let x = -4 + 0. Let w = x - -7. Is w a multiple of 2?
False
Suppose -b - 2*g = 3*g - 55, 4*g - 50 = -b. Is b a multiple of 14?
False
Let d = 7 + -2. Let u(y) be the third derivative of 5*y**4/24 - y**3/3 + 14*y**2. Does 23 divide u(d)?
True
Is ((-15)/(-2))/(36/48) a multiple of 5?
True
Suppose 0 = b + 13 - 18. Is 5 a factor of b?
True
Suppose -8*k + 2*k + 900 = 0. Is k a multiple of 25?
True
Let r = -40 - -109. Is r a multiple of 13?
False
Let i = 54 + -33. Is i a multiple of 21?
True
Let m(a) = a**3 - 4*a**2 - 4*a - 2. Let b be m(5). Suppose -3*g - 22 = -3*q + 32, 4*q = b*g + 73. Does 13 divide q?
False
Let p(v) = v**3 - v**2 - 2*v + 3. Let l be p(2). Suppose x = l*x - 6. Let t(c) = 2*c**2 - 3*c - 3. Does 3 divide t(x)?
True
Is (-7)/(-28) - 15/(-4) a multiple of 4?
True
Suppose -5*p - 444 = -u - 2*u, 4*u - 566 = -2*p. Is u a multiple of 29?
False
Does 12 divide 160/9 - 4/(-18)?
False
Let f(k) = k**3 + 9*k**2 - 11*k + 14. Does 12 divide f(-10)?
True
Suppose 16 = -4*l + 72. Does 5 divide l?
False
Let y be (-2)/3 - (-224)/12. Suppose 78 = 4*k + y. Does 7 divide k?
False
Let f(a) = 10*a**2 - 5*a - 5. Is 8 a factor of f(-2)?
False
Let o(p) be the third derivative of -p**2 + 0 - 5/6*p**3 + 0*p + 1/12*p**4. Does 3 divide o(4)?
True
Does 13 divide (12/16 - 1) + (-1167)/(-12)?
False
Suppose 2*w - 98 + 4 = 0. Is w a multiple of 8?
False
Let c = 143 - 83. Is c a multiple of 30?
True
Suppose -k = c, k + 2*c = 7*c. Suppose -4*a - 22 = -o, k = -2*a - 9 - 1. Suppose o*u + b = 19, -2*b + 4 = 2*u - 12. Does 5 divide u?
False
Let c be (8 + -5)/(0 + -1). Let i(b) = -9*b + 3. Is i(c) a multiple of 12?
False
Let c = 2 - -2. Suppose 35 = 4*d + 3*r - 16, 2*d + c*r - 28 = 0. Is 3 a factor of d?
True
Suppose 0 = -16*s + 13*s + 36. Does 6 divide s?
True
Suppose 5*x + 15 = 2*n + 2*n, -n - 9 = 3*x. Suppose n*a - 212 = -4*a. Is 12 a factor of a?
False
Let w(q) = -q**3 - 8*q**2 - 2*q - 2. Suppose 0 = 5*g + 24 + 16. Is 7 a factor of w(g)?
True
Does 9 divide 4/1 + (580/4 - -2)?
False
Suppose -m = 3*c - 64, -7*c = -2*m - 4*c + 146. Is m a multiple of 14?
True
Suppose 1 = 3*q + 13. Let p(s) = -17*s + 7. Let z(g) = -9*g + 4. Let f(y) = 6*p(y) - 11*z(y). Is 10 a factor of f(q)?
True
Let o = 18 + -12. Is 22 a factor of (172/5)/(o/15)?
False
Suppose -6*u + 907 = 91. Does 24 divide u?
False
Suppose 5*g - 202 = 108. Let c = 117 - g. Does 14 divide c?
False
Suppose 3*t = -0*t + 72. Does 6 divide t?
True
Let d(l) = 69*l**3 - 6*l**2 + 6*l + 1. Is 35 a factor of d(1)?
True
Let s = -58 + 90. Is 16 a factor of s?
True
Let q be (-16)/5 - 1/(-5). Is 3 a factor of 9*(6/(-2))/q?
True
Let u(w) = -3*w + 12. Does 27 divide u(-5)?
True
Suppose 0 = -3*y + 2*y + 49. Is 20 a factor of y?
False
Does 14 divide 2/(-10) - 4336/(-80)?
False
Let i be 0 - (0 - -1)*-163. Let b = -69 + i. Is 20 a factor of b?
False
Let x(u) = -u - 1. Let w be x(4). Suppose -2*p + 9 = 35. Let o = w - p. Is 8 a factor of o?
True
Let c be (9 - 7)/(0 - -1). Suppose 0 = c*m + 8, -4*z + 0*z = 2*m - 80. Does 11 divide z?
True
Suppose 0*z - 106 = -z - 3*y, -4*z + 448 = 4*y. Does 23 divide z?
True
Does 10 divide ((-28)/2)/(-3*(-4)/(-48))?
False
Let x(q) be the first derivative of 2 + 2*q - q**3 + 3/2*q**4 - 1/2*q**2. Is 18 a factor of x(2)?
True
Let u = -264 - -521. Is 18 a factor of u?
False
Let r(y) = y + 22. Is r(0) a multiple of 22?
True
Suppose 3*u = 48 + 141. Is u a multiple of 21?
True
Let m = 13 - -22. Does 23 divide m?
False
Let p = -12 + 17. Is p even?
False
Let x = -233 - -353. Suppose x = -g - 4*g. Is (g/(-7))/((-3)/(-21)) a multiple of 12?
True
Let c(n) = -n**3 + n + 1. Let i(x) = 6*x**3 - 7*x**2 + 4*x - 8. Let w(h) = 5*c(h) + i(h). Is 15 a factor of w(6)?
True
Let j(u) = 16*u - 2. Let a be 38/6 + 2/3. Let c be j(a). Suppose -3*y = 4*r - 142, -2*r - r - 4*y = -c. Does 9 divide r?
False
Let n(c) = c - 1. Let p be n(4). Suppose 4*x - 68 = -4*v, 0 = p*v - 2*x + 6*x - 56. Let o = 33 - v. Is o a multiple of 7?
True
Suppose 2*x + 0*x = -36. Is 12 a factor of ((-39)/(-2))/((-9)/x)?
False
Let z(h) = -h**3 + 10*h**2 + 1. Let t be z(10). Is 21 a factor of (112/6)/(t/3)?
False
Suppose 13*k = 439 + 328. Is k a multiple of 16?
False
Let a = 89 - 53. Does 3 divide a?
True
Let a be 39*(4 - 2)/6. Let i = a + -8. Suppose -3*c + 39 = 2*m + 1, 2*c - 38 = i*m. Is 6 a factor of c?
False
Suppose 4*i = -20, 0 = 6*d - 4*d + 4*i + 12. Is d a multiple of 2?
True
Let y(z) = 2*z + 14. Is 7 a factor of y(11)?
False
Let i(w) = 34*w**3 + 2*w**2 + 2*w + 1. Let h be i(-1). Let p be -33*(h/9 + 2). Is 21 a factor of (p + 1 + -1)*1?
False
Let h(z) = -z**3 - 6*z**2 - 4*z + 3. Let k be h(-7). Suppose 5*i - 5*p + p = k, -p + 55 = 5*i. Does 4 divide i?
True
Let g = -5 - -7. Suppose g*i + 0 = -6. Let u(p) = -3*p**3 - 4*p**2 - 2*p + 3. Is u(i) a multiple of 20?
False
Suppose 0 = -6*t + t - 260. Let n = -28 - t. Does 22 divide n?
False
Suppose -i + 50 = 3*x, 46 = 3*x + 4*i + i. Let o = x - -2. Is 4 a factor of o?
False
Suppose 6*t + 2*w + 268 = 3*t, 243 = -3*t + 3*w. Let m = -48 - t. Does 11 divide m?
False
Suppose 3*t + t = 0. Suppose t = 5*j - 3*l - 16 - 125, 4*j - 104 = -2*l. Does 8 divide (j/(-6) - 1)*-2?
False
Suppose -2*l - 2*l + 24 = 0. Suppose 4*d = l + 18. Is 3 a factor of d?
True
Let t = -3 - -6. Suppose -t*w = -51 + 273. Is 2/(-7) + w/(-14) even?
False
Let i(s) be the third derivative of -s**6/120 + 3*s**5/20 - s**4/4 + s**3/2 - s**2. Let h be i(6). Let w = h - 39. Is w a multiple of 18?
True
Let l = 262 + -435. Let o = -80 - l. Let g = o + -61. Is 11 a factor of g?
False
Let u = -40 - -60. Let d = -12 + u. Is 4 a factor of d?
True
Let g(k) = -2*k + 27. Does 27 divide g(-13)?
False
Let s(w) = -3*w. Let i(h) = 1. Let n(x) = i(x) - s(x). Let a = -3 + 6. Is 10 a factor of n(a)?
True
Is 13 a factor of (14/28)/(2/104)?
True
Let y(p) = 9*p + 7. Let u(f) = -8*f - 7. Let z(h) = 6*u(h) + 5*y(h). Let s = -7 - 0. Is z(s) a multiple of 14?
True
Suppose 4*d + 0*d - 4 = -4*z, -z = -2*d - 1. Suppose l + 6*b - b + 17 = d, 3*b + 5 = 2*l. Is l/4*-72*1 a multiple of 18?
True
Let d(f) = -18*f - 4. Let y(l) = -l - 1. Let r(v) = -3*d(v) + 15*y(v). Does 25 divide r(2)?
True
Suppose 16*r - 72 = 14*r. Is 18 a factor of r?
True
Suppose -5 = -2*h + 7*h. Let b = -146 - -56. Is 15 a factor of (h/3)/(2/b)?
True
Suppose -4 = 4*p + p + d, 4*p - 12 = 3*d. Suppose p = -3*o + 10 + 2. Let h = o + -2. Is 2 a factor of h?
True
Let h(u) = u**2 + 4*u + 1. Let b be h(-3). Let w be 3/1 + 1 + b. Does 4 divide (-130)/(-15) + w/(-3)?
True
Suppose 2*r + 6 = f + 14, -3*r + 26 = -5*f. Let x be (-3)/12 - 229/f. Suppose 2*l - x = 13. Does 20 divide l?
Fa