4 - -6. Does 3 divide 2/4 - (-17)/r?
True
Suppose -3*n = -3*r - r + 298, -4*r - 3*n + 310 = 0. Is r a multiple of 19?
True
Let o = 8 + -2. Is 20 a factor of ((-40)/o)/(5/(-15))?
True
Let a(h) = h + 0*h + 2*h. Is 9 a factor of a(6)?
True
Let w be 12/(-16) - (-483)/4. Let i = w + -52. Is 6 a factor of (i/16)/((-1)/(-4))?
False
Suppose -t + 3*o + 4 = 0, -2*o = t + o + 2. Is t*(-31)/(-2)*2 a multiple of 11?
False
Let q(n) = n**2 - n - 4. Does 8 divide q(4)?
True
Let p(a) = a - 4. Let d be p(0). Let u = d + 30. Is 15 a factor of u?
False
Suppose -12 = 4*l - 32. Suppose l*h + 6 + 649 = 3*o, 4*h + 524 = -4*o. Let u = -93 - h. Is u a multiple of 19?
True
Let n be ((-24)/(-9))/(2/(-12)). Let v = n + 56. Does 8 divide ((-6)/(-15))/1*v?
True
Let n(g) = -3 + 1 - 1 + 2*g**2 - 4*g. Let u = 3 + -5. Does 6 divide n(u)?
False
Let n(b) = b**3 - 4*b**2 - 4*b + 2. Is n(6) a multiple of 6?
False
Suppose 6*r - 611 = -7*r. Is 6 a factor of r?
False
Let d be 0 + 0/3 + 1. Is 11 a factor of 32 + 0 + (d - 0)?
True
Let j(m) = -m + 2. Let q be j(0). Suppose 5*u - 2*x + 6 = -4, 1 = u - x. Is (q/u)/((-1)/6) a multiple of 2?
False
Let y(x) = -x**2 - 2*x + 3. Let q be y(2). Suppose -2*c - 64 = 2*c - 4*b, 0 = 5*c - 2*b + 86. Let f = q - c. Is 13 a factor of f?
True
Let a = -14 - -16. Suppose 0 = -2*o + 4 + a. Is o a multiple of 2?
False
Suppose 6 = 2*z + z. Let f(i) = 2*i - 6. Let c be f(6). Suppose z*k - 38 = -c. Does 7 divide k?
False
Let l = 2 + 2. Suppose l*n - 142 = 2*s, 4*n = -2*s + 5*s + 147. Suppose -k + 81 = n. Is 16 a factor of k?
True
Is (-2 - (-1 + 0)*-129)/(-1) a multiple of 13?
False
Let i = 6 + -4. Suppose -k - a = -i*k + 31, -4*a = -12. Does 17 divide k?
True
Suppose 0 = -2*p - d - 306, -5*p = -3*d + 689 + 76. Let n = p - -233. Does 21 divide n?
False
Does 9 divide (4 + 2)/(-2) - -18?
False
Let l(v) = -v**2 + 3*v + 3. Let q = -3 - -8. Let g be l(q). Let d = 9 - g. Is 8 a factor of d?
True
Let t = -240 + 360. Suppose -3*i + 0 = -t. Is 20 a factor of i?
True
Suppose 2*r - 300 = -2*r. Does 25 divide r?
True
Let p be 4*((-2)/4 + 1). Suppose 0 = -5*w - a + 41, -3*w = -7*w - p*a + 28. Is 6 a factor of w?
False
Does 11 divide 2*((-12)/(-30))/(1/245)?
False
Suppose -2*r = 2*r - 152. Suppose -3*w + r + 48 = 4*d, 100 = 4*w - 2*d. Is w a multiple of 9?
False
Is (-244)/(-10) - 5/(-50)*6 a multiple of 5?
True
Let r(h) = 7*h - 5. Let x be r(4). Suppose -3*t - 4*y = -8 - 26, 0 = -4*t + 3*y + 12. Suppose x = c + t. Is 17 a factor of c?
True
Suppose 0 = -2*p + 32 - 8. Is 6 a factor of p?
True
Is 2/(-7)*1 - (-674)/7 a multiple of 12?
True
Let p = 34 + -26. Is 4 a factor of p?
True
Let t = -5 + 8. Suppose 4*j + t*f - 31 - 14 = 0, 0 = -2*f - 2. Suppose -2*l - j = -4*l. Does 4 divide l?
False
Let n(w) = -w**3 - 5*w**2 - w - 6. Let m be n(-5). Does 9 divide (12 - 3) + (1 - m)?
False
Let f(r) = -1 + 2*r + 3*r**2 - 4*r + 0*r. Let u be f(3). Suppose u = 7*l - 2*l. Is 2 a factor of l?
True
Let m(y) = -2*y - 4. Let j be m(-5). Suppose w = -2*w + j. Suppose 0 = 2*a + w*a - 16. Is a a multiple of 2?
True
Suppose 18*n + 174 = 20*n. Is n a multiple of 29?
True
Let n = 28 - -73. Let c = n - 59. Is c a multiple of 13?
False
Let h(v) = v**3 + 6*v**2 - 5*v - 5. Is h(-4) a multiple of 36?
False
Let j = -19 - -43. Let x = 15 + j. Is 22 a factor of x?
False
Let c(m) be the third derivative of -m**5/60 + 3*m**4/8 - m**3 + m**2. Let b be 0 + 6 - (-2)/2. Does 8 divide c(b)?
True
Is 7 a factor of 1/(3 - (-2)/(-42)*62)?
True
Suppose -27*f + 30*f - 336 = 0. Does 5 divide f?
False
Suppose -10 = -f - 1. Is f a multiple of 5?
False
Let o be 4/(-1 + 1 + 1). Suppose -5*q + 271 = -l, 0 = -o*q - q - 2*l + 283. Let k = -28 + q. Is 20 a factor of k?
False
Suppose -r - 2*r - 15 = 0, 0 = -w + 3*r + 123. Is 34 a factor of w?
False
Let c(z) = 38*z**2 - 2*z + 1. Let q(s) = -s - 2. Let o be q(-3). Is c(o) a multiple of 13?
False
Let a(m) = m**3 + 9*m**2 - 2*m - 4. Let z be a(-7). Suppose -z = -0*i - 3*i. Does 11 divide i?
False
Let m(u) = 4*u - 8. Is m(6) even?
True
Let j = 7 - 3. Suppose j*a + 137 + 75 = 0. Let k = a + 78. Is 22 a factor of k?
False
Let z(q) = -q**2 + 8*q - 3. Let k be z(6). Let b = k - 3. Let t(s) = -s**2 + 8*s - 6. Is 6 a factor of t(b)?
True
Let o(y) = y**2 + 2*y - 2. Let b be (-3)/18 - 25/(-6). Does 11 divide o(b)?
True
Is 12 a factor of (-62 + 2)*(-4)/(-20)*-2?
True
Let m(l) = -13*l + 4. Suppose -4*b = p + 8, -3*p - 5*b - 15 = -2*b. Let n be m(p). Let s = 86 - n. Does 15 divide s?
True
Let h = -27 + 47. Let r be h - 0 - (1 - 3). Suppose v + v = r. Is 5 a factor of v?
False
Suppose -2*f + 12 = 2*f. Suppose -141 = -3*p + f*n - 0*n, 2*p - 4*n = 90. Is 19 a factor of p?
False
Let m(j) be the second derivative of -3*j**5/10 - j**4/4 - j**3/3 - j**2/2 - 6*j. Is m(-2) a multiple of 20?
False
Does 16 divide 52/(-20)*-17 - 1/5?
False
Let p be 3 + 1 + (1 - 0). Is 5 a factor of 6/15 - (-53)/p?
False
Suppose -4*k + 3*d + 189 = -0*d, d - 222 = -5*k. Is 13 a factor of k?
False
Suppose -134 = -4*j - 2*r, 0*r + 2*r + 172 = 5*j. Is j a multiple of 17?
True
Suppose -150 = -5*z - 4*y, -2*y - 120 = -5*z - 0*z. Does 13 divide z?
True
Let d = -14 - -20. Is 3 a factor of -15*d/(-9) - 3?
False
Let x(i) = 7*i**3 - i**2 + 4*i - 4. Is 14 a factor of x(2)?
True
Let u(x) = x**2 + 3*x + 6. Let d be u(-6). Suppose -3*v + 0*v - 5*y = -49, 0 = 2*v - y - d. Does 8 divide v?
False
Let q be (-2)/7 - (-4)/14. Suppose q = z + 3*z - 60. Is z a multiple of 13?
False
Let z(d) = 11*d**2 - 5*d - 21. Is 25 a factor of z(-4)?
True
Is (-243)/(-15) + (-2)/10 even?
True
Let v = 38 - 67. Let l = v + 43. Is l a multiple of 7?
True
Let p(d) = 10 - 2 + 4*d + 4*d + 1. Is p(6) a multiple of 19?
True
Suppose -72 + 208 = 8*m. Does 3 divide m?
False
Let v = -1 + 5. Let a(l) = 4*l**3 - v*l**3 - 8*l**2 + 7*l - 4 - l**3. Does 14 divide a(-9)?
True
Suppose -4*w - 24 = -72. Is w a multiple of 4?
True
Let u = -2 - -34. Is 7 a factor of u?
False
Let p be 10/15 + (-7)/(-3). Let r(z) = z**3 - z**2 - 3*z - 4. Let c be r(p). Suppose -3*j - 3*v + 30 = 0, -3*v = -j + v - c. Is 7 a factor of j?
True
Suppose 0 = -12*g + 9*g + 18. Is 3 a factor of g?
True
Let r = -450 + 832. Let m be r/8 + (-2)/(-8). Suppose -51 - m = -3*n. Is n a multiple of 14?
False
Suppose 6*l - 3*l = 2*x - 139, 5*x = -3*l + 295. Is x a multiple of 16?
False
Suppose 9 = -p - 17. Let o = p + 41. Is 13 a factor of o?
False
Suppose 4*n = 10 - 2. Suppose -n*i - 12 = -3*i. Suppose -2*w + i = -w. Is w a multiple of 6?
True
Let a(x) = -2*x - 6. Let r = 40 - 59. Let p = r - -9. Does 7 divide a(p)?
True
Let i(p) = -p**3 + 7*p**2 - 5*p + 2. Does 2 divide i(6)?
True
Let h(x) = -8*x**3 + x**2 - x + 3. Is 19 a factor of h(-2)?
False
Let a be 2 + 0*(1 - 2). Suppose -3*y + 4*y = 4*u - 27, -2*y = -a. Does 2 divide u?
False
Suppose 5*b = 2*w + 3*w + 1350, -795 = -3*b - 2*w. Does 15 divide b?
False
Suppose 3*h - 133 = 32. Is h a multiple of 11?
True
Suppose -77 = -3*b + 448. Does 35 divide b?
True
Let n(x) = x**3 - 6*x**2 - 6*x - 7. Let l be n(7). Suppose 32 = 4*y - l*y. Let k = -2 + y. Is k a multiple of 6?
True
Let m be (9 + -5)*3*1. Suppose -2*g = 78 - 752. Suppose g = 5*x + m. Is 17 a factor of x?
False
Let x(v) be the first derivative of 9/2*v**2 + 0*v + 1 - 1/4*v**4 + 2*v**3. Does 6 divide x(7)?
False
Suppose -a = 3*v + a - 96, -9 = -3*a. Suppose -3*c = -c - v. Let w = 29 - c. Does 5 divide w?
False
Suppose 5*p - 170 = -5*w, -w = 5*p - 6*w - 160. Does 3 divide p?
True
Let k(i) = -13*i + 3. Let z be k(3). Let n = -12 - z. Is n a multiple of 9?
False
Let s(w) = 9*w. Suppose 0 = k - 0*k - 6. Does 27 divide s(k)?
True
Let v = -33 + 8. Let q = v + 45. Is q a multiple of 7?
False
Suppose 5*p = -2*u + 3*u + 139, 4*u = -2*p + 60. Suppose p = o - 0*o. Does 12 divide o?
False
Suppose -l + 2*l = 0. Suppose -3*m = -l*m. Suppose m = g - 1 - 7. Is g a multiple of 3?
False
Let z(x) = 0*x**2 + 3 - 11 + 7*x + 2*x + x**2. Let u be z(-10). Suppose -2*n + u = -28. Does 15 divide n?
True
Let t(y) = 4*y**2 + 1. Let a be t(-1). Let j = a + -7. Is j/(-7) - 33/(-7) a multiple of 5?
True
Suppose k + 2 = -2*f - 3*k, -4*f - k + 3 = 0. Let x = -72 + 78. Let s = x + f. Is s a multiple of 7?
True
Let q(f) = -4*f - 9. Let w(c) = 7*c + 4. Let y(k) = -8*k - 3. Let p(x) = -5*w(x) - 4*y(x). Let d(r) = -7*p(r) + 6*q(r). Is 4 a factor of d(-