True
Suppose n - 105 = -4*r, -3*r + 100 = -2*n + 7*n. Does 3 divide r?
False
Let i = -213 - -350. Suppose -s = -31 - i. Suppose 0 = x + 3*x - s. Is x a multiple of 18?
False
Suppose 4*z - 12 = 3*l - z, 0 = 2*l + z - 5. Suppose 4*h = l + 143. Is 11 a factor of h?
False
Let m(k) = k**3 + 6*k**2 - 6*k + 8. Let b be m(-7). Does 14 divide (7 + -53)*b/(-2)?
False
Let l(d) = -3*d - 8. Let q(n) = -n + 1. Let j(m) = -l(m) + 2*q(m). Let p be j(-8). Is (222/9 - p)*3 a multiple of 23?
False
Let i = 202 - 67. Is i a multiple of 9?
True
Suppose -2*z = 4*t + t - 562, -5*z + 322 = 3*t. Is 38 a factor of t?
True
Let d = -436 - -172. Does 16 divide (1 - 7)/(36/d)?
False
Let r(u) = u + u + 2 + u. Is r(6) a multiple of 10?
True
Let n = -8 - -44. Does 36 divide n?
True
Suppose 0*t - 6 = -3*t. Suppose -i + t*z = -63, -i + 69 = -0*i - 4*z. Does 19 divide i?
True
Let k = 17 + 58. Does 15 divide k?
True
Suppose 33 + 55 = 2*q. Is q a multiple of 15?
False
Suppose 0 = 4*a - 3*f - 48, -a + 12 = f + 4*f. Does 4 divide a?
True
Let z = 10 + -5. Suppose 5*d - 14 = k - 0*k, 16 = k + z*d. Does 9 divide 19/k - (4 - 3)?
True
Suppose -5*c + 3*c + 10 = 0. Suppose 4*o - 35 = -c*j, 3*o = j + 6 + 6. Suppose -10 = -t - t - n, o*n + 48 = 4*t. Is t a multiple of 5?
False
Is (-4 - (-13 + 5)) + 326 a multiple of 30?
True
Let t(f) = 2*f**2 - 8*f + 5. Does 15 divide t(5)?
True
Suppose -196 = -8*w + 4*w. Is w a multiple of 43?
False
Let p = 118 + 13. Suppose g + 3*w + p = 6*g, 0 = -2*g - 4*w + 42. Is g a multiple of 6?
False
Suppose 5*q + 56 = r + 2*r, 4*r = -5*q + 98. Does 22 divide r?
True
Let g(f) = 3*f - 3. Let b be g(2). Suppose -z - b = -0*z. Is 14 a factor of (192/20)/(z/(-10))?
False
Let v be (-266)/18 + 2/(-9). Does 8 divide v/(-10)*(-32)/(-6)?
True
Let w be (-539)/(-3) - 1/(-3). Suppose 4*m = -m + w. Is 9 a factor of m?
True
Let h be (-272)/(-4) + 0/(-2). Suppose 3*k - 7*k + h = 0. Is k a multiple of 17?
True
Suppose 4*b + 3*o = 9, -3*b - o + 3 = b. Suppose -4*n + m + 17 = b, 3*n - 7 = m - 6*m. Suppose 3*q = n*q - 17. Is 14 a factor of q?
False
Let p be 5/1 + 1/(-1). Suppose p*i = i + 132. Does 11 divide i?
True
Suppose -3*w - 2*b = -472, 0 = 5*w - 20*b + 22*b - 792. Is w a multiple of 10?
True
Let o(h) = 5*h - 3. Let z be o(2). Suppose 4 = -2*l + 8. Suppose 23 = l*x + z. Does 4 divide x?
True
Let q(y) = -y + 7. Does 2 divide q(5)?
True
Suppose 3*d + 13 = 49. Suppose 2*y + 13 = t - 29, -3*y = d. Is 21 a factor of t?
False
Suppose 0 = -6*a + 73 + 53. Does 15 divide ((-150)/a)/(1/(-7))?
False
Let b(r) be the first derivative of 29*r**3/3 + r**2/2 + 4. Let q be (-4)/2*(-1)/(-2). Does 10 divide b(q)?
False
Suppose f + 959 = 4*l, 4*l + 3*f - 840 = 123. Is l a multiple of 30?
True
Let g = -8 - -20. Suppose 12 + g = l. Is l a multiple of 12?
True
Suppose x - 7 = 1. Let t(i) = -4*i**3 + 2*i**2 + i + 2. Let z be t(-2). Suppose 0 = -x*h + 3*h + z. Is 3 a factor of h?
False
Let d = 21 + -16. Does 12 divide 123/d + (-21)/35?
True
Let x(u) = -u**2 + 8*u + 6. Let c be x(9). Let g(p) = -p**3 + p**2 + p + 1. Let b(l) = -l**3 + 3*l**2 + 6*l + 5. Let w(k) = -b(k) + 2*g(k). Does 18 divide w(c)?
False
Suppose 3*u - 21 = -3*q, 0*u = -3*q - 2*u + 26. Suppose 0 = d - q - 2. Suppose 0*y = -2*y + d. Is y a multiple of 3?
False
Let u(o) = 20*o**2 - 2*o + 1. Suppose -4*d - 2*m + 7 = -m, d - 7 = -2*m. Is 12 a factor of u(d)?
False
Let c(w) = -11*w**3 + 2*w**2 - 2*w - 3. Is c(-2) a multiple of 17?
False
Let l(m) = -m + 6. Is l(-7) a multiple of 5?
False
Let r = 1 - -36. Is 19 a factor of r?
False
Is 11 a factor of 504/15 - 3/(-25)*-5?
True
Suppose 2*j - j = 0. Suppose j = -0*w + 4*w + 12. Let u = w - -6. Is u a multiple of 2?
False
Let o be (1*-2 + 2)/(-2). Suppose -t + o*t = 0. Suppose t = i + 4*w - 11, 0 = -5*w + 2*w. Is 6 a factor of i?
False
Let z be (-6)/9*(0 - -6). Let n be (2/(-1))/(z + 3). Suppose 0 = -u - 2, 0 = 2*f + n*u + 3*u - 4. Is f a multiple of 7?
True
Let g be 1 + -5 + (-3 - -3). Let u(x) = 9*x**2 + 4*x + 1. Let c be u(g). Suppose 0 = 3*j + 48 - c. Does 9 divide j?
True
Let t = -5 + 8. Suppose -72 = -3*p - t*r, 121 = 5*p + 3*r + 11. Does 11 divide p?
False
Let o(d) = d**3 + 6*d**2 + 1. Let u be o(-6). Let j = u - 2. Is j/3 + (-155)/(-15) a multiple of 4?
False
Let c(n) = -4*n + 8*n + 2 - n**2 - 2*n - 4*n**3. Is c(-2) a multiple of 13?
True
Suppose 5*z - 3*z - 98 = 0. Is 11 a factor of z?
False
Does 44 divide 18/(-54)*(2 - 1061)?
False
Let s(y) = -y**2 - 8*y + 1. Let d be s(-7). Let i = 4 - d. Does 6 divide 30/(-3)*6/i?
False
Suppose -12 - 9 = -s - 3*w, -5*s + 3*w + 51 = 0. Let y = s + 13. Does 10 divide y?
False
Suppose z = 3*y + 21, y + z = -4*y - 35. Let i(g) be the third derivative of g**6/120 + 2*g**5/15 + g**4/6 - 3*g**3/2 + 2*g**2. Does 12 divide i(y)?
True
Suppose -4 = 2*y - 4*y. Let w(d) = y*d - 2 - 8*d + 3*d - 7*d. Does 9 divide w(-2)?
True
Is 6 a factor of -4 + (-566)/(-12) - (-1)/(-6)?
False
Let p = 26 + 1. Suppose 4*t - 85 = p. Is t a multiple of 9?
False
Suppose -2*i = 12 - 18. Suppose -4*u - 3*n = -3, -i*n = 2*u - 5*n - 12. Suppose c - 2*c = -5*g + 312, 4*g = -u*c + 261. Is 21 a factor of g?
True
Let y = 101 - 59. Is 14 a factor of y?
True
Suppose -4*k = -5*k + 26. Does 13 divide k?
True
Suppose 0*p + 3*p = 0. Suppose -4*g + 0*g - w + 124 = p, 3*w = -3*g + 93. Is 8 a factor of g?
False
Suppose -b - 30 = 4*b. Let v be (57/b)/(1/2). Let s = v - -67. Is 18 a factor of s?
False
Suppose -9 = -6*u + 3. Suppose -3*v - y + 19 = -v, -5*y + 39 = u*v. Is v a multiple of 2?
False
Let k(f) be the first derivative of -f**4/4 + 10*f**3/3 - 3*f**2 + 6*f - 2. Is 9 a factor of k(9)?
False
Let g = -29 - -51. Is g a multiple of 4?
False
Suppose 6*w - 150 = 4*w. Is 5 a factor of w?
True
Suppose -3*q - 8 = -80. Suppose -2 = k - q. Does 11 divide k?
True
Let y(a) = a**2 + 2*a - 10. Let n be y(-7). Suppose -5*t + n = d, 4*d = 3*t - 51 + 13. Is t a multiple of 2?
True
Suppose 5*n + 22 + 23 = 0. Let r = n + 8. Does 10 divide 32 - (-3)/(-4 - r)?
False
Suppose -4*z = 2*x - 262, 2 + 4 = 3*z. Is 13 a factor of x?
False
Suppose 143 - 41 = n. Is 24 a factor of n?
False
Suppose 5*o - 5*k - 215 = 0, -2*o + 3*k + 89 = -2*k. Is 21 a factor of o?
True
Let j(s) = s**2 - 3*s + 1. Let z be j(4). Let w = 8 - z. Suppose w*p - 2*p = 23. Does 8 divide p?
False
Let k(g) = g + 2*g - 6 - 6*g. Let q be k(-4). Is (-4)/q - (-226)/6 a multiple of 13?
False
Suppose 5*d + 12 = 37. Suppose 122 + 28 = d*q. Is q a multiple of 8?
False
Suppose -l + 4 = 3. Suppose 0 = -2*h + 35 - l. Is 16 a factor of h?
False
Suppose 0 = -2*v + 10 + 6. Is 7 a factor of v/6*(-105)/(-10)?
True
Suppose -12 = -9*u + 5*u. Let s = 28 + -25. Suppose 3*m = -u*r + 7*m + 36, -r + 25 = s*m. Is 8 a factor of r?
True
Let n(s) = s - 15. Let t be n(0). Is 9 a factor of 13/((t/6)/(-5))?
False
Suppose -124 = -4*o - b, b = 2*o - 2*b - 76. Is 12 a factor of o?
False
Let a(w) = w**3 - 4*w**2 - 5*w + 2. Let p be a(5). Suppose 0 = -p*y - 4*n + 50, -n - 50 = -2*y + 3*n. Is 23 a factor of y?
False
Let f = 78 + -33. Is 9 a factor of f?
True
Let v(s) = -s**3 - s**2 + 15. Let x be v(0). Suppose -3*l = -4*l + x. Is 5 a factor of l?
True
Let x = 12 - -30. Does 36 divide x?
False
Suppose -b + 3*r + 21 = 3, -2*r - 10 = 0. Suppose b*o = 7*o - 136. Does 11 divide o?
False
Let j(q) = q - 13. Let h be j(13). Suppose h*g + 3*g - 114 = 0. Is 9 a factor of g?
False
Let g = 172 + -129. Is 43 a factor of g?
True
Let c = 516 + -281. Suppose -25 = 5*j, 0*j - 2*j = -5*x + c. Is 19 a factor of x?
False
Let v(t) = -t**3 + 5*t**2 + 8*t + 2. Does 6 divide v(6)?
False
Suppose -5*t - 6*b + 60 = -2*b, 3*t - 5*b - 73 = 0. Is 9 a factor of t?
False
Let h be (76/8)/((-1)/(-2)). Suppose -3*t + 9 = 3*g, -h - 3 = -2*g + 2*t. Is g a multiple of 3?
False
Suppose 3*y - 54 = 6. Does 18 divide y?
False
Let g(z) = -z**3 + 10*z**2 + 5*z - 11. Let u(n) = -n**3 + n**2 - 1. Let a(v) = g(v) - 2*u(v). Let r be a(-7). Suppose 32 = r*j - 23. Is 5 a factor of j?
False
Let s be 33/2*6/9. Suppose -s*u = -6*u - 165. Is 14 a factor of u?
False
Let b(z) = -4*z - 8. Let m be b(-6). Suppose -39 = 4*t - o, -2*o + m = 3*t + 37. Let j(f) = f**3 + 9*f**2 - 2*f - 7. Does 10 divide j(t)?
False
Let n(o) = -3*o - 4. Let x be n(-3). Let b = -1 + x. Is b even?
True
Let y be 12/(-2)*15/10. Let i(k) = -k**2 - 12*k - 7. Let l be i(y). Le