 divide x?
True
Let t = 41 - 13. Is 9 a factor of t?
False
Let q(c) = c**3 - 3*c**2 + 5*c - 4. Does 8 divide q(4)?
True
Is (-1)/((-3)/(3*10)) a multiple of 3?
False
Let d = -40 - -100. Is 34 a factor of d?
False
Let w = 6 - 1. Suppose -4*g = -w*t - 0*t - 28, -4*g = -3*t - 20. Suppose 3*m + 4*k = 52, -5*m + g*k + 0*k + 78 = 0. Is m a multiple of 10?
False
Does 13 divide 1 - 86*(-3)/6?
False
Let z(h) = -5*h - 1. Let q(t) = -t**2 - 4*t - 6. Let k be q(-4). Is 12 a factor of z(k)?
False
Suppose -3*y + 207 = t + 59, -t = 2. Does 25 divide y?
True
Let u(s) = -s**2 - 20*s - 16. Does 20 divide u(-8)?
True
Let d(j) = -3 + 6 - 5*j - j**2 + 2*j. Let w be d(2). Let q = -4 - w. Is q a multiple of 3?
True
Let u = 9 + -6. Suppose 0 = u*l + 5*r - 4, -3*r - 16 = -2*l + 12. Suppose -l*s + 4*s = -48. Does 4 divide s?
True
Let g be (-1)/(-3) - (-116)/12. Suppose 2*y = -g + 70. Is 15 a factor of y?
True
Suppose 5*w + p = -2*p + 185, 148 = 4*w + 3*p. Let l = 68 - w. Is 13 a factor of l?
False
Let x be 13/(-2)*20/5. Let z = x - -36. Is 10 a factor of z?
True
Let w be 2*(2 - 75/(-6)). Suppose 5 = -4*o + w. Is 6 a factor of o?
True
Let q(h) = -15*h - 1. Let r(x) = x. Let d(k) = q(k) + 4*r(k). Does 10 divide d(-1)?
True
Let q(l) = l**3 + 7*l**2 - 4*l - 18. Does 2 divide q(-7)?
True
Suppose 0*v + 12 = 4*v. Let l(m) = -m**2 + 5*m + 4. Let x be l(v). Let k(c) = 4*c - 4. Does 18 divide k(x)?
True
Suppose -4*u = -0*u - 696. Suppose 2*h + 74 = 2*g - h, -u = -5*g + 2*h. Does 17 divide g?
True
Let d(k) = k**3 - k**2 - k + 5. Let p be d(0). Suppose -p*u - 61 + 201 = 0. Suppose -2*a = 5*z - u, a + z + 5 - 19 = 0. Is a a multiple of 6?
False
Let l be ((-2)/6)/((-5)/30). Suppose 12 - 3 = 3*y. Suppose 0 = -2*n - y*v - l, -1 + 9 = -n - 5*v. Does 2 divide n?
True
Let o = -6 - -12. Does 3 divide (1 + 1)*21/o?
False
Suppose 0 = 4*y - 7 - 5, 114 = 5*z + 3*y. Let k be (-1)/4 - (-291)/12. Suppose 2*c - z = -3*b, 3*c - 2*b - b - k = 0. Does 9 divide c?
True
Let r be -62*1 + (-2)/(-1). Let s = 86 + r. Is s a multiple of 13?
True
Suppose -5*s + 0*s = 190. Let c = 11 - s. Does 14 divide c?
False
Let n = -6 + 3. Let w be 1/(n/(-9)) + 6. Does 3 divide (-2)/(-3*2/w)?
True
Suppose d - 91 = h - 6*h, 89 = d + 4*h. Is d a multiple of 30?
False
Suppose 3*p - 229 = 2*z - z, -4*z + 209 = 3*p. Suppose -4*j + p = -d, 2*j - 18 = -4*d + 6. Is j a multiple of 15?
False
Suppose f - 260 = -3*f. Is f a multiple of 20?
False
Let s = -9 + -1. Is 9 a factor of (-456)/s + 9/(-15)?
True
Suppose 0 = 4*v - 34 - 22. Suppose 56 = -5*k + 2*d, 3*k + 5*d - 1 = -16. Let z = k + v. Is 2 a factor of z?
True
Let t be (11 - -2)/(3/3). Let d = 35 - t. Is 11 a factor of d?
True
Does 9 divide ((-90)/(-7))/(-5)*(-560)/12?
False
Let y(q) = -17*q + 7. Is 10 a factor of y(-3)?
False
Let w = -12 - 13. Let l = 45 + w. Does 8 divide l?
False
Suppose -5*j - 2*s = -4*j + 3, 5*j + 3*s + 1 = 0. Let w = -12 + 8. Is 5 a factor of j/4 + (-23)/w?
False
Let u = 9 + -10. Let x = 8 + u. Is x a multiple of 7?
True
Let y(j) = -j**2 - 21*j + 11. Is y(-9) a multiple of 50?
False
Let i(l) = -l - 1. Let s be i(2). Let f(m) = -m + 1. Let g be f(s). Suppose 0 = g*u + d - 21 - 1, 0 = u - d - 3. Is 3 a factor of u?
False
Let a(y) = 104*y + 32. Let j(k) = 16*k + 5. Let b(w) = -5*a(w) + 32*j(w). Let p(f) = f**2 + 4*f - 1. Let g be p(-4). Does 3 divide b(g)?
False
Suppose -152 = -3*q - 2*g, -4*q - 3*g + 200 = -g. Is 12 a factor of q?
True
Suppose -g = 0, -3*q = -8*q - 4*g + 50. Is 4 a factor of q?
False
Let z = 10 - 5. Suppose 0 = -z*i + 8 + 182. Is 19 a factor of i?
True
Suppose -x - 16 = -2*x - 4*d, d = 5*x - 164. Suppose -5*m + 253 + x = 0. Does 19 divide m?
True
Suppose 0 = -4*t + 5*o + 69, -27 = -t - 4*o + 6. Is 3 a factor of 29/7 - 3/t?
False
Suppose 5*o - 2*j = j + 26, 5*o + 2*j - 41 = 0. Let l(m) = 2*m - 4. Let h be l(o). Suppose -2*a - 2 + h = 0. Is a a multiple of 4?
True
Let o = 159 - 63. Suppose -5*s + 74 = -o. Is s a multiple of 21?
False
Suppose 2*a + 27 = -45. Let m be (-844)/14 - 2/(-7). Let n = a - m. Is 8 a factor of n?
True
Suppose v + 2*q = 58, 4*v - 223 - 61 = 5*q. Does 22 divide v?
True
Let z(n) = -29*n**3 - n**2 + n + 1. Let j be (2/4)/((-2)/4). Does 6 divide z(j)?
False
Let x(l) = 2*l + 3. Let n be x(-8). Let q = 118 + n. Is 35 a factor of q?
True
Let b = -14 - -28. Does 14 divide b?
True
Let d(l) = 2*l**3 - 4*l**2 + 3*l + 3. Suppose -4*o = 0, 9 = -2*b + 5*b + o. Suppose b*y + 15 = 8*y. Is 13 a factor of d(y)?
False
Suppose 2*c = 7*c. Suppose c*m = -m + z - 179, -3*m = -4*z + 542. Is 3 a factor of 2/(-9) - m/54?
True
Suppose -1 - 4 = -g. Suppose 1 + 4 = -5*m + 5*b, 3*m + 13 = g*b. Suppose -m*u = -3*z - 2*z - 3, u - 12 = -z. Is u even?
False
Let c = -3 - -5. Let n(q) be the first derivative of q**3 + q**2/2 - 2*q + 8. Is 12 a factor of n(c)?
True
Let q = -130 + 271. Suppose -d + c = d - q, 0 = -3*d - c + 199. Is d a multiple of 34?
True
Let f = 200 - 131. Is f a multiple of 12?
False
Suppose 0 = -3*k + 30 + 39. Is 3 a factor of k?
False
Let u(k) = k + 3. Let x be u(-2). Does 2 divide x/(-2)*1*-10?
False
Let x = 44 - 23. Is 14 a factor of x?
False
Suppose 0 = 4*o - o - 12. Suppose b + 55 = -o*b. Let f = -7 - b. Is 4 a factor of f?
True
Let s(d) = d**3 + 4*d**2 + d - 4. Let c be s(-3). Suppose -r - 3*x + 1 = c, -8 = 4*x. Is r a multiple of 2?
False
Let g = 19 + -16. Is 9 a factor of g + -1 - 1 - -14?
False
Let a = 104 + -33. Is 13 a factor of a?
False
Suppose 3*r = o - 1 - 4, 3*o - 4*r = 0. Let q(s) = s**3 + 5*s**2 + 3*s + 3. Is q(o) a multiple of 6?
False
Suppose 3*f - 9 = 0, 2*f - 4 = -4*t + 254. Does 12 divide t?
False
Let p(u) = 2*u**2 + 3*u + 3. Suppose 8 = -5*h + 23. Does 15 divide p(h)?
True
Let i(y) = 21*y**3 + y**2 - y + 2. Does 7 divide i(1)?
False
Suppose 0 = 4*i + 12, 3*m - 42 = -0*m - 3*i. Is 16 a factor of m?
False
Let x = 1 + 6. Let t(z) = -z**3 + 7*z**2 + 7*z - 13. Is 28 a factor of t(x)?
False
Let v = 51 - 22. Let w = 57 - v. Is 10 a factor of w?
False
Let y(h) = 4*h. Let r be y(-3). Suppose -4*n - 5*z = 4, 3*n = 2*n - 4*z - 1. Is (r/18)/(n/12) a multiple of 8?
True
Suppose 0 = -2*t - 4, 36 = 2*f + 3*t - 60. Is f a multiple of 17?
True
Suppose 2*k + 7 = 3*f, 0 = -5*k - 2*f + 34 - 4. Suppose -k*s + 204 = -0*s. Does 18 divide s?
False
Let w = -2 + 2. Let r(v) = -v + 7. Is 7 a factor of r(w)?
True
Suppose 2*a = 16 + 12. Is 7 a factor of (-1)/((-2)/a) - -3?
False
Let v(x) = x**2 + 12*x + 8. Let j be v(-11). Let m = 16 + j. Is 8 a factor of m?
False
Let v(k) = -k + 22. Does 9 divide v(7)?
False
Let w(s) = s + 5. Let k be w(-12). Let z(b) = -3*b + b + 3 + b. Is 10 a factor of z(k)?
True
Suppose 3*u = -3*b, -3 = -5*u - 4*b + 2. Let p(w) = w**2 - w + 7. Is 9 a factor of p(u)?
True
Is 8 a factor of (-7)/14 - (-97)/2?
True
Let l(i) = -2*i + 34. Is 11 a factor of l(6)?
True
Let g(o) = 19*o**2 - 1. Let h be g(1). Let u = -22 - -64. Suppose h = -c + u. Is 10 a factor of c?
False
Let s = 11 + 2. Suppose -4*u - 22 = 2*h - 0*h, 0 = -4*u - h - 27. Let b = s + u. Is 2 a factor of b?
False
Let b(t) = -t**3 - 4*t**2 + t + 1. Let z be b(-4). Let y be (35 - (-6)/z)/(-1). Is 2 a factor of 1/(y/(-15) - 2)?
False
Let b = 123 - 3. Is b a multiple of 24?
True
Suppose 3*o + 2*r - 82 = 0, r = 2*o - r - 48. Suppose -5*m + m = 2*d - 4, 0 = 2*m - 5*d - o. Suppose 12 = 4*a, 0 = m*t - 3*a - 25 + 1. Does 10 divide t?
False
Suppose 2 = 3*a - 7. Suppose 2*s = 3*q, -1 + 13 = a*q. Is 6 a factor of s?
True
Let n(r) = -5*r - 17. Does 18 divide n(-13)?
False
Suppose 3*o + n = 11, -4 - 3 = -5*o + 4*n. Suppose 5*v - 2*p + 2 = 6*v, -2*v + o*p - 10 = 0. Let j(h) = -13*h. Is 10 a factor of j(v)?
False
Suppose 194 = -4*b + 642. Is b a multiple of 16?
True
Let j(t) = -t - 2. Let k be j(0). Is ((-1)/(-1) + k)*-49 a multiple of 17?
False
Suppose 0 - 2 = -h + 5*l, 2*l + 8 = -2*h. Let t be h/6*1*-6. Suppose -2*o = t*o, -r - o = -5. Is r a multiple of 5?
True
Let m = -36 + 77. Does 4 divide m?
False
Let n(g) = -2*g - g**3 + 6 - 4 - 2 - 2*g**2. Let b be n(-2). Suppose -37 = -b*q + 27. Does 11 divide q?
False
Let v(b) = b**2 + 2*b - 7. Does 10 divide v(5)?
False
Suppose -d - 3*s = s - 26, 0 = 3*d - 4*s - 30. Is d a multiple of 7?
True
Suppose -945 = 4*r - 3*q, 2*r + 451 = q - 20. Does 13 divide (r/45)/(1/(-5))?
True
Let j be (7/(-3))/((-2)/(-54)). Let a be 6/(-8)*(-4 + -16