 Is 6 a factor of x?
True
Suppose -12 = -3*q + 30. Suppose -2*c + q = -i, -4*i - 38 = -5*c - 0. Is c a multiple of 4?
False
Let w(t) = -t**3 + 3*t**2 + 7*t + 5. Let r be w(-4). Suppose -r - 1 = -2*a. Is 15 a factor of a?
True
Let d = -30 - -41. Is d a multiple of 3?
False
Let h = 103 + -11. Is h a multiple of 13?
False
Suppose -n - 59 - 56 = -3*p, 0 = -4*p - 3*n + 175. Does 20 divide p?
True
Let y = 524 + -1106. Is 15 a factor of (-3)/15 - y/10?
False
Suppose -2*p + 7 - 1 = 0. Suppose 2*j - 4*z - 30 = 0, 6*j - 29 = p*j + 2*z. Does 7 divide j?
True
Suppose -1 = -2*b + 5. Suppose b*g - 51 = -0*g. Is g a multiple of 13?
False
Suppose 4*j = 2*p + 32, -5 + 2 = -j. Let m = 37 - p. Does 17 divide m?
False
Does 8 divide -4 + 0 + 1 + 26?
False
Does 7 divide (-1620)/(-52) + 8/(-52)?
False
Suppose 2 = 2*i - 2*l, -5*i + 31 = 4*l + 8. Let z(t) = t - 1. Let d be z(i). Suppose 0*j + d*j = 40. Is 6 a factor of j?
False
Let p(l) = -l - 3. Let m(v) = v**3 - 1. Let u be m(-1). Let i be p(u). Does 12 divide (0 - -13) + 2 + i?
False
Let v(w) = 4*w**2 + 4*w - 12. Is 13 a factor of v(6)?
True
Let d(h) = -h**2 + 4*h + 4. Let q be d(5). Is ((-4)/(-10))/(q/(-50)) a multiple of 10?
True
Let g(v) = -v + 21. Does 11 divide g(10)?
True
Let x be (-2 - -1)/((-1)/14). Let m(u) = -u + 26. Is m(x) a multiple of 6?
True
Suppose -3*h = -4*u - 11 - 48, -2*u + 58 = 2*h. Does 11 divide h?
False
Let j = -174 - -314. Does 16 divide j?
False
Let k(q) = -7*q**3 + 3*q**2 - 5*q - 11. Let d(u) = 3*u**3 - 2*u**2 + 2*u + 5. Let x(s) = -9*d(s) - 4*k(s). Let o be x(-4). Let p = -13 + o. Is 5 a factor of p?
True
Suppose -6*b = -b - 70. Does 7 divide b?
True
Let d = 399 - 575. Let s = -100 - d. Does 19 divide s?
True
Let n(q) = q**3 - 6*q**2 - 11*q - 6. Suppose t + 1 = -0*t, -z = t + 6. Let f be ((-15)/z)/(6/16). Is n(f) a multiple of 17?
True
Suppose 0 = -0*u + 2*u - 96. Suppose 0*b = 3*b - u. Is 15 a factor of b?
False
Let l = -19 + 67. Is 13 a factor of l?
False
Let i(y) = 6*y - 4 + 5*y + 3. Is 12 a factor of i(3)?
False
Suppose -3*v + 30 = -2*n, -2*v - 22 - 6 = 4*n. Let c = 33 + n. Does 24 divide c?
True
Let r = -15 - -30. Does 15 divide r?
True
Let n = -6 - -11. Suppose -4*g = -n*x - 38, x + 3*x + 43 = 5*g. Is g a multiple of 7?
True
Is (5 - 7)/(0 + 4/(-164)) a multiple of 11?
False
Let w(g) = 3*g**3 - g**2 - 3*g + 2. Let v be w(2). Suppose -2*k + 3*k - v = 0. Is 12 a factor of k?
False
Suppose 5*p = 3*p - 66. Does 14 divide p/1*(7 + -9)?
False
Suppose 67 = 5*a - 58. Is a a multiple of 25?
True
Suppose -2*i - 15 = 3*i. Let s be i/3*(2 - -88). Does 16 divide 3 + -2 - s/2?
False
Let x(h) = 7*h**3 + 4*h**2 - 11*h + 4. Let g(m) = 5*m**2 - 3*m - 4*m**2 + 2*m + m**3. Let o(s) = -6*g(s) + x(s). Does 6 divide o(4)?
False
Let m be 9/3 - (0 - -39). Let s = 64 + m. Does 8 divide s?
False
Suppose 0 = -o - 5*d - 8 - 54, -o = 4*d + 58. Does 21 divide o/(-1) - 2/(-2)?
False
Let f(v) be the first derivative of -v**2/2 + 12*v - 5. Is 8 a factor of f(-9)?
False
Suppose u - 165 = -2*u + f, -f = 3*u - 159. Let h = -3 + 5. Suppose 4*s + h*b - u = 0, s + 2*s = -b + 39. Is s a multiple of 5?
False
Suppose 2*u - 76 = -0*u. Suppose 2*l - u = l. Is 19 a factor of l?
True
Let g be 30/4 + 2/4. Does 10 divide 30/g*24/9?
True
Suppose -2*o - 15 = -0*m - 3*m, 4*o + 20 = 4*m. Let u(r) = -r**3 - r**2 - 3. Let x be u(o). Let z(h) = -5*h + 1. Is z(x) a multiple of 16?
True
Suppose -2*i = -6, -x + 2 = -5*i + 9. Suppose 2*k = x, -5*q + 7*k + 154 = 3*k. Does 12 divide q?
False
Is 22 + (0 - (1 - -1)) a multiple of 3?
False
Is 18 a factor of 9/12 - (-282)/8?
True
Let g(s) = -s**3 + 5*s**2 + 4*s + 4. Does 12 divide g(5)?
True
Suppose 0*d + 20 = 2*d + 2*r, 4*r = d - 35. Is 15 a factor of d?
True
Suppose 2*o = o - 2*a + 7, 2*o + a = 11. Suppose -m + o*m = 0. Suppose -q - 4*q - 96 = -4*g, m = 4*g + 3*q - 64. Is 19 a factor of g?
True
Suppose 0 = -2*j - 0*j + 8. Suppose -3*t = k + j*k - 14, 0 = -4*t - 8. Suppose d = -2*s + s + 19, 31 = k*d - 5*s. Is d a multiple of 7?
True
Let c(d) = -d**2 - 6*d - 6. Let p be c(-4). Suppose -6 = -p*z + 3*z. Let y = z + 17. Is 4 a factor of y?
False
Let s(j) be the second derivative of -1/2*j**2 + 0 + 5/2*j**3 + 5*j. Is s(3) a multiple of 22?
True
Does 8 divide (-1 + -44)*3/(-9)?
False
Suppose -z + 1 = -1. Suppose -8 - 8 = -z*r. Is r a multiple of 6?
False
Let d be (0 - 0)/(-3 - -1). Suppose d = -m + 25 + 24. Does 22 divide m?
False
Suppose 3430 = 7*x + 7*x. Is 35 a factor of x?
True
Is 6 a factor of (-5 + -4)*40/(-6)?
True
Let r = 4 - 13. Let c be -29 + 6/r*3. Let y = 52 + c. Is 16 a factor of y?
False
Let j(n) be the second derivative of -7*n**5/20 - n**4/12 + n**2/2 - 3*n. Does 3 divide j(-1)?
False
Suppose -q = -0*q. Let r be 2/(-5) + (-17)/(-5). Suppose q = -2*z - 4*d + 38, -z - 2*z + r*d = -21. Is z a multiple of 11?
True
Let y(n) = 19*n + 1. Let u be y(2). Let q = -7 + u. Is 8 a factor of q?
True
Suppose -4*r + 3*k = k - 18, 20 = -4*k. Suppose 0 = 3*o + 5*c - 52, -3*c = r*o - 5*o + 12. Is -21*(15/o)/(-5) a multiple of 5?
False
Suppose -9*a = -2*a - 1666. Does 28 divide a?
False
Suppose 9*r = 70 + 83. Is r even?
False
Suppose 3*d - 96 = -d. Is 8 a factor of d?
True
Let r be 3/(-9)*(2 + -2). Suppose -l + 6*l - 60 = r. Does 12 divide l?
True
Let g = 7 + 13. Let s = g + -9. Let m = s + -8. Does 2 divide m?
False
Suppose 10*v = 5*v. Suppose v = -3*d - 2*w + 3 + 2, 5*d = -2*w + 15. Suppose -3*y = 2*z - 128, -z = d*y + z - 216. Does 12 divide y?
False
Suppose 2 = -2*s + s. Is 25 a factor of (1 - s) + 141/3?
True
Suppose 2*t + 36 = n, -3*n - 3*t + 4*t + 103 = 0. Let g = 48 - n. Is 14 a factor of g?
True
Suppose -4*d - 1 = -5. Let p = d - -5. Is 4 a factor of p?
False
Is (-2604)/(-26) - 8/52 a multiple of 28?
False
Suppose a - 2*z + 2 = -5, 3*a + z = -42. Let l = a + 28. Is 5 a factor of l?
True
Suppose k + 11 = 36. Is 10 a factor of k?
False
Is 2 a factor of (-12 + 13)/(2/14)?
False
Let k(z) = 10*z - 4. Does 12 divide k(4)?
True
Suppose 35 = 4*v + n, -v + 4*n + 1 + 12 = 0. Is v/15*(-50)/(-2) a multiple of 10?
False
Let j = -3 + 10. Is 240/j + 14/(-49) a multiple of 17?
True
Let j = 23 + 177. Suppose -3*r = -2*p + 164, 2*r + 36 = -2*p + j. Does 13 divide 3/9 + p/6?
False
Let m = 196 - 149. Is 7 a factor of m?
False
Suppose 3*n = -2 - 4. Does 11 divide (0 + n)*(-11)/2?
True
Suppose -27 = -2*v + 23. Does 13 divide v?
False
Let m(w) = w**2 + 3*w - 1. Let p be m(6). Let f = p + -75. Is (6/(-2))/(6/f) a multiple of 8?
False
Suppose p = 63 - 13. Suppose 2*q + p = 3*q. Is q a multiple of 19?
False
Let w(k) = -k**3 + 7*k**2 - k - 3. Let i(l) = l**3 - 7*l**2 + 2*l + 4. Let r(h) = 5*i(h) + 4*w(h). Let g be r(6). Suppose v - g = -0*v. Is 4 a factor of v?
True
Let c be (15/(-2))/(27/(-180)). Is 8 a factor of (c/15)/((-2)/(-15))?
False
Is (2992/66)/(4/6) a multiple of 17?
True
Let d(b) = -b**3 + 2*b**2 + 4*b. Let x be d(4). Let o = -5 - x. Suppose 5*s - 4*s = o. Does 6 divide s?
False
Let q(p) = p**2 + 8*p + 7. Let v be q(-7). Suppose v*l = -5*t + 5*l + 15, 5*l = -4*t + 30. Is 2 a factor of t?
False
Let h(a) = 2 + 2*a - 3 - 12*a. Is h(-1) a multiple of 4?
False
Let p(j) = 5*j**2 + 4*j + 1. Let w = 4 - 2. Suppose -o + 3 = -w*o. Is 12 a factor of p(o)?
False
Suppose 2*i - 154 = -4*d - 0*d, 0 = 5*d - 4*i - 160. Does 18 divide d?
True
Let k = 20 - 11. Let x be 2/(-10) - k/5. Is 13 a factor of (-2 - (-31)/(-2))*x?
False
Let d(j) = 88*j**2 - 3*j + 3. Is 11 a factor of d(1)?
True
Suppose g + 12 = -0*g. Let c = 46 + g. Does 18 divide c?
False
Suppose -j - 1 = 2*m, 4*j + 1 = m - 12. Let z = j + 5. Is z even?
True
Let c be 15/21 - (-4)/14. Let t = c + 1. Suppose 5*w + 95 = 3*r, 2*r + 7*w = t*w + 55. Is 15 a factor of r?
True
Let x(l) be the second derivative of 5*l**3/6 + l**2/2 - l. Is x(2) a multiple of 6?
False
Suppose 0 = 2*m - 3*m + w, 2*w = 3*m + 3. Let s be 3 + m/(2 - -1). Suppose 2*o - 68 = 4*g, 3*o - 44 = o - s*g. Is o a multiple of 13?
True
Suppose h = 4*h - 6. Suppose -u = 4*u - g - 10, 0 = h*u + 5*g - 4. Suppose 8 = 4*y + 5*n, 4*y - 32 = -u*n + 3*n. Does 3 divide y?
False
Suppose 0 = -y - 5 + 67. Does 31 divide y?
True
Let m be 15 + (-1 - 2) - 3. Does 18 divide 892/36 + 2/m?
False
Let s be (8/3)/(2/30). Let u be 2/11 + s/22. Suppose -15 = -y - 2*v, 4*y + 0*v - u*v - 10 = 0. Is 5 a factor of y?
True
Let n be ((-