True
Suppose -3 = -0*p - 2*p - j, -2*p = 3*j + 7. Let b = -9 + p. Is 2 a factor of 24/10 + 2/b?
True
Let w be (-1 + 0)*(13 + -13). Suppose w = 5*b + 5, 2*c + b + 0*b = 13. Is 3 a factor of c?
False
Is ((-459)/45 + -9)/(3/(-50)) a multiple of 16?
True
Suppose x - 6*x + 15 = 0. Suppose w + 2 = -b + 13, -x*b = 4*w - 47. Does 10 divide w?
False
Suppose -4*a + 59 = 3*j, 4*a - 62 = -0*j - 2*j. Does 12 divide a?
False
Suppose 5*h - 613 - 542 = 0. Does 33 divide h?
True
Let n be (-1)/(-1) + 7 + 2. Suppose -n - 16 = -2*i. Is i a multiple of 8?
False
Let r(z) = -z**3 + 10*z**2 - 11*z + 20. Let k be r(9). Suppose 4*n - 27 = k*y + 39, n = -5*y + 22. Is 4 a factor of n?
False
Is (28/(-10))/(3/(-105)) a multiple of 14?
True
Let s(i) = -4*i + i**2 + 4*i - 1 - 3*i + 6*i. Is 9 a factor of s(-7)?
True
Let v(x) = -42*x - 1. Is v(-1) a multiple of 5?
False
Suppose -5*h + 159 = -206. Does 7 divide h?
False
Let d(s) = s + 14. Is d(7) a multiple of 14?
False
Let n = 29 + -13. Let g = n - -6. Suppose 58 = 3*y + g. Is 4 a factor of y?
True
Suppose -u = 4*u. Let s(k) = -k**3 + k**2 + 11. Let c be s(u). Suppose -5*t = -c - 79. Is 8 a factor of t?
False
Let x = -215 + 485. Is 5 a factor of x/33 - 2/11?
False
Suppose -5*t + 0*u + u = -242, -5*u = 2*t - 113. Is 13 a factor of t?
False
Let l = 172 - 109. Is l a multiple of 7?
True
Let t = 185 + -303. Let p = -66 - t. Suppose -p - 8 = -3*l. Does 20 divide l?
True
Suppose 3*d - o - 152 = -2*d, 2*d + o - 65 = 0. Let l be ((-2)/((-10)/(-25)))/(-1). Suppose -f = -2*r - 24, -3*f + l = 3*r - d. Is f a multiple of 11?
False
Let o(h) = -h**2 - 7*h - 7. Suppose -25 = 5*l - 0. Is o(l) even?
False
Let z = 8 + -11. Is 18 a factor of 1*((-105)/z + 1)?
True
Let u(g) = g - 20. Let k be u(11). Does 5 divide (-30)/(-9)*k/(-6)?
True
Let p = 106 + -27. Does 26 divide p?
False
Does 2 divide 4 + -1 + (-10)/(-2)?
True
Suppose 5*y = -4*m + 35, -y = 5*m - 3*m - 13. Suppose 3*i + 0 = y, 0 = 5*l - i + 16. Does 9 divide 3/(l/2) + 15?
False
Let d(g) = g**2 + g - 4. Let j be d(4). Suppose 3 = 4*s - 5, 0 = -4*v - 4*s + 68. Let r = v + j. Is r a multiple of 20?
False
Let s be 0 + 0 + (-6 - -10). Let t(k) = k + 4. Let m be t(-3). Let b = s + m. Is 5 a factor of b?
True
Suppose 0*l - 15 = 4*l + 5*v, v = -3. Is 6 a factor of 11 - (-3 + l + 1)?
False
Suppose -17*s + 18*s = 139. Is 12 a factor of s?
False
Suppose -4*p - w = 5, -5*p + 4*w + 4 = -16. Suppose k = -p*k + 208. Suppose -y + k = 3*y. Does 26 divide y?
True
Let u(m) = 2*m - 2. Let k be u(-2). Let g(n) = -n**3 - 6*n**2 - 4*n - 4. Is 5 a factor of g(k)?
True
Suppose 0 = -4*w + h + 2, h + 0 = 2*w - 2. Let q(c) = -c + 15. Does 15 divide q(w)?
True
Let v(z) = 11*z**2 + 0 - 3*z**2 + 3 + z**3. Let o be v(-6). Suppose -2*p - p = -o. Does 10 divide p?
False
Suppose -4*g + 15 + 21 = 0. Let q(x) = -x**3 + 10*x**2 - 8*x - 4. Let m be q(g). Suppose -35 = -2*h + m. Is 12 a factor of h?
False
Suppose -q - 5*d = -16, -q - 56 = -6*q - d. Is q even?
False
Let k(o) = 2*o**3 - o**2 - 2*o + 1. Let y be (1 - -1) + 0 - 0. Let x be k(y). Suppose x = r - 14. Is r a multiple of 17?
False
Let k(m) = -5*m**3 - 2*m**2 + m. Let y be k(-3). Suppose -2*h + y = h. Is 19 a factor of h?
True
Let j = 41 - 41. Suppose 2*i = -5*q + 12 + 17, -5*q = -5*i + 55. Suppose j = z + 2*w - 12, 0*w + i = 3*z - 2*w. Is 2 a factor of z?
True
Suppose a = -0*x - 2*x + 23, 2*x - 81 = -3*a. Does 3 divide a?
False
Let v(s) = -s**2. Let u(t) = t**3 - 7*t**2 + t + 1. Let q(a) = -u(a) + 3*v(a). Let p be q(3). Suppose 40 = p*z - 0*z. Does 8 divide z?
True
Let u be (-4)/(-3)*(-12)/8. Let f be 1/2 - 13/u. Suppose 0 = -y + 3*g - f, y + 0*y + 5*g = 17. Is y a multiple of 2?
True
Suppose 0 = -13*n + 25 + 79. Is n a multiple of 8?
True
Let o(v) = 27*v. Let s be o(-1). Let r(n) = n - 6. Let q be r(-5). Let x = q - s. Is x a multiple of 8?
True
Let f = -53 - -83. Is f a multiple of 7?
False
Let l = 390 - 268. Is 26 a factor of l?
False
Suppose -2*j + 155 + 127 = 0. Does 20 divide j?
False
Suppose 4*d + 5*a - 54 = 0, -5*d + a = -53 - 0. Is 11 a factor of d?
True
Let g(k) be the third derivative of -k**6/120 + k**5/12 + k**4/4 + 2*k**3/3 + 2*k**2. Suppose -5*o + o + 20 = 0. Does 16 divide g(o)?
False
Does 15 divide (2/4)/((-2)/4)*-210?
True
Suppose -5*i = 3*v, -2*i = 2*i + 2*v. Suppose i = 3*d + 3*z, 3*z + 2 = -7. Suppose -d*f + u = -u - 110, 5*u - 82 = -3*f. Is 14 a factor of f?
False
Let v(z) = z + 1. Let t(k) = 8*k - 4. Let s(o) = -t(o) - 4*v(o). Let i be s(-2). Suppose 0*y + y - 7 = -n, 3*n = 2*y - i. Does 3 divide y?
True
Let s = -9 + 2. Suppose -2*u + 5*u = -4*z + 43, 3*z = 4*u + 1. Is 2/z - 215/s a multiple of 16?
False
Let v = -726 - -398. Let c be v/(-6)*6/4. Suppose -h = h - c. Is h a multiple of 14?
False
Suppose -2*a - a = -150. Does 3 divide a?
False
Suppose 4 = 5*i - 1. Suppose -2*m + i = -1. Is 8 a factor of (1/2)/(m/22)?
False
Suppose 576 = 5*i + 116. Is i a multiple of 21?
False
Let y(o) = -9*o. Let i be (2 + 1)/(3/2). Suppose -i*p + h = 9, 0*p = -5*p + 2*h - 20. Does 18 divide y(p)?
True
Let u(f) = f**3 - 10*f**2 + 10*f - 12. Does 22 divide u(10)?
True
Let i = -50 + 70. Let a be ((-5)/(-2))/(2/4). Suppose -3*t - a = -i. Is t a multiple of 5?
True
Let x(h) = 2*h**3 - 20*h**2 + 4*h - 15. Is 12 a factor of x(10)?
False
Suppose 3*z + 2*z = 45. Suppose -4*t - 67 = z. Let j = 10 - t. Is j a multiple of 11?
False
Suppose -100 = 3*d - 5*d. Is d a multiple of 10?
True
Suppose -4*x + 2*p = -40, 3*p = x + 2*x - 27. Does 11 divide x?
True
Suppose -2 - 4 = 2*z, 3*q - 300 = 5*z. Is q a multiple of 36?
False
Let t(z) be the third derivative of z**5/60 - z**4/6 + z**3/2 + 4*z**2. Let y be t(2). Is 18 a factor of 7*(75/21 + y)?
True
Is 10 a factor of 250/4*(-4)/(-5)?
True
Suppose -4*d + 44 = -2*d. Suppose k - d = 2*b, 2*k - 2*b - 61 = -17. Is k a multiple of 11?
True
Suppose 15*g = 12*g + 105. Does 8 divide g?
False
Let o(z) = 2*z**2 - 5*z + 5. Let d be o(7). Let q = d - 12. Does 25 divide q?
False
Let g be (-38)/(-3)*6/(-4). Let o = 6 - g. Does 12 divide o?
False
Let w(y) = y**2 - 3*y + 1. Let z be w(3). Suppose -7*r = -6*r - z. Is r*5*(-130)/(-25) a multiple of 10?
False
Suppose -3*f - 68 = -4*u, 3*u + 5*f - 64 = 16. Suppose 0*x = -4*x + u. Suppose -84 = -3*q + z, 0 = -2*q - q - x*z + 66. Does 11 divide q?
False
Let r be 11 + 0 + (-1 - -1). Let v = 5 - r. Does 13 divide 52/3*v/(-4)?
True
Suppose 408 = 18*d - 12*d. Is d a multiple of 3?
False
Suppose 0 = -h - 0*h + 3. Let y(j) = -j**3 + 4*j**2 - 5*j + 3. Let g be y(h). Is (-2)/g + 26/6 a multiple of 5?
True
Suppose -w = -2*h - 4*w + 295, 5*w = 3*h - 471. Does 19 divide h?
True
Let t be (-10)/15 + (-1)/3. Is 2*t - (-44 - 5) a multiple of 23?
False
Suppose 2*v - 5*v = -f - 126, 98 = 2*v + 4*f. Is 43 a factor of v?
True
Let m(l) = 11*l + 2. Let i(d) = -23*d - 4. Let b(n) = 6*i(n) + 13*m(n). Let a = 6 + -2. Is b(a) a multiple of 9?
False
Suppose -9*u + 1305 = -360. Is 37 a factor of u?
True
Let z be (3 + (-42)/8)*-16. Suppose 2*d - 20 = -r, z = 3*r - 0*d - 2*d. Does 7 divide r?
True
Let f = 0 - -4. Let r(w) = -1 - 3*w + f*w + 3. Is r(10) a multiple of 8?
False
Let t(a) = -a**3 - 2*a**2 - a. Let q be t(-2). Suppose -11 = 2*c - 3*y, -7*c - 15 = -q*c - 5*y. Does 22 divide (-69)/(-3) - c - -2?
False
Let g(r) = r**2 - 3*r - 6 + 4 - r**2 + 4*r**2. Does 10 divide g(-2)?
True
Let n(m) = -m**2 - 23*m + 15. Does 3 divide n(-19)?
False
Suppose 0*h + 4 = 2*h. Suppose -h*f + 12 = f. Suppose 3*d - 98 = f*l, 4*d - 32 = 2*d - 4*l. Does 10 divide d?
False
Suppose -190 - 180 = -5*d. Does 37 divide d?
True
Does 42 divide ((-222)/8)/(4/(-16))?
False
Suppose 3*i + 2 = 4*i. Suppose -64 = -i*j + 46. Is j a multiple of 14?
False
Suppose 6 = 2*b - 6. Let l(q) = -2*q**2 + 21*q - 1. Let r(a) = a**2 - 10*a + 1. Let v(u) = 6*l(u) + 13*r(u). Does 10 divide v(b)?
False
Suppose 0 = -2*r + 3*i - 4, 5*r - 5*i - 12 = -3*i. Suppose 0 = -r*u, 2*u = -5*x + 29 - 4. Is x a multiple of 5?
True
Let g(h) = h**3 - 8*h**2 - h + 11. Let q be g(8). Let w = 10 + 30. Suppose q*i = -i + w. Does 10 divide i?
True
Let t(r) be the third derivative of 1/60*r**5 - 11/6*r**3 - 5/24*r**4 + 0 + 0*r + 2*r**2. Does 13 divide t(8)?
True
Let n be -1 - 31*(-2 - -1). Suppose 2*c = 5*c - n. Is 2 a factor of c?
True
Suppose 4*i + 42 = 778. Is i a multiple of 8?
True
Let h = -21 - -