x = -123 + 167. Is 22 a factor of x?
True
Suppose 5*r + 0*r = 4*k - 37, -3*k - 6 = 3*r. Suppose g + k*p + 0 = 19, 4*p - 4 = 4*g. Is 13 a factor of (-1 - 1)/g*-68?
False
Let z(u) = 8*u - 1. Let j be z(-2). Let x be 11*(-3 + 1) + 2/2. Let c = j - x. Is 3 a factor of c?
False
Let u(v) = v**2 - v + 1. Let a be u(-3). Let d = a - 8. Suppose 21 = d*b - 4. Is 2 a factor of b?
False
Let i(g) = -117*g - 149. Is i(-9) a multiple of 3?
False
Let k = -19 - -36. Suppose 3*c + 2*c - 15 = 0, 3*c + 316 = 5*p. Let i = p - k. Is i a multiple of 16?
True
Let g = 10 + -7. Let x(d) = -7 + 4 + 4*d - g. Is x(4) a multiple of 10?
True
Suppose 4*v = -9*v + 520. Is 4 a factor of v?
True
Let c = 28 + -28. Suppose -5*h + 8 = -2. Suppose 0 = -5*t - 3*n + 61, c*t + n + 20 = h*t. Is t a multiple of 6?
False
Let y = 46 - 64. Let h = 29 + y. Is 2 a factor of h?
False
Let x = -30 - -17. Let d be (-3 - 0 - 5) + 1. Let n = d - x. Is 6 a factor of n?
True
Suppose -10*a - 101 = -1541. Is 72 a factor of a?
True
Let z(x) = 3*x**2 + 21*x + 49. Let t(f) = -f**2 - 7*f - 16. Let i(m) = -7*t(m) - 2*z(m). Does 11 divide i(-10)?
True
Let g(v) be the first derivative of 40*v**3/3 - v**2/2 - 2*v + 2. Is 22 a factor of g(-1)?
False
Suppose 984 = r - 2*g, 3*r = 5*r + 2*g - 1992. Does 62 divide r?
True
Suppose 2*t - 3*t = m - 3199, m = -4*t + 3202. Does 39 divide m?
True
Let d(n) = n**3 - 9*n**2 - 2*n - 20. Suppose -2*b = b - 30. Is 10 a factor of d(b)?
True
Suppose -2*f - 2*w = -18, 10*w + 35 = 4*f + 15*w. Suppose b - 5 = 0, 5*a = 5*b - f*b + 395. Is a a multiple of 13?
False
Suppose -4*r - 5*h = -0*h + 73, -4*h - 32 = 2*r. Suppose -93 - 187 = -5*p. Let v = r + p. Is 11 a factor of v?
False
Let t = -45 + 57. Let p = t - -43. Is p a multiple of 5?
True
Suppose -350 = -2*m + m - 4*k, 2*k - 1330 = -4*m. Is 55 a factor of m?
True
Suppose t - 2*t = -205. Does 5 divide t?
True
Suppose -3*q + 3*v = -v - 458, 752 = 5*q - v. Does 15 divide q?
True
Is 5 a factor of (117 + -2)/((-17)/(-17))?
True
Let k be -214*(-9)/(-90) + 4/10. Let l = k + 70. Is 10 a factor of l?
False
Suppose 0 = z - 95 - 7. Does 3 divide z?
True
Let x(f) = 102*f - 24. Is 31 a factor of x(13)?
True
Is 13 a factor of 12/8*(141 - -3)/8?
False
Suppose 404 = t + t - 4*n, -4*t - 2*n + 758 = 0. Is 6 a factor of t?
True
Let y(b) = b**3 + 5*b + 7. Is y(5) a multiple of 11?
False
Suppose -3*n + 221 = 14. Is n a multiple of 3?
True
Let o = -1241 + 2129. Suppose -5*s + 2*y = -3*s - 356, -5*s + o = -4*y. Does 44 divide s?
True
Suppose 14*h = 54*h - 53760. Is h a multiple of 12?
True
Let h = -41 + 44. Does 12 divide (128/h)/(18/54)?
False
Let l(m) be the first derivative of m**2 - 4*m - 5. Let f be l(3). Suppose 5*c - 51 = f*c. Does 13 divide c?
False
Is 14 a factor of (-6428)/(-7 - -3) + 3?
True
Is (16 - 52)/(6/(-4)) a multiple of 8?
True
Let s(l) = -l**2 - l + 8. Let w be s(-3). Suppose -2*n + 5*k = -168, w*n + 3*k = -k + 168. Is 6 a factor of n?
True
Let i(a) = a**3 + 2*a**2 - a. Let u be i(-2). Suppose 10 = u*h - 60. Is h a multiple of 10?
False
Suppose 19*g = 11*g + 896. Is 7 a factor of g?
True
Suppose -u + 120 = 4*n, -45 = 5*n - 3*u - 178. Suppose -4*x + 127 + n = 0. Is x a multiple of 5?
False
Suppose -2967 - 6073 = -10*z. Does 19 divide z?
False
Let q(b) = -b - 10. Let c be q(-15). Let y(l) = l**3 - 4*l**2 - 5*l + 4. Is y(c) a multiple of 4?
True
Let t = -286 + 430. Does 6 divide t?
True
Let y = -9 - -12. Suppose -y*t + 75 = -0*t. Is 25 a factor of t?
True
Let y(m) be the third derivative of m**5/60 + 3*m**4/8 + m**3/3 - 15*m**2. Let v be y(-9). Suppose 4*h - 130 = -5*o, -v*o = -2*h + o + 54. Does 6 divide h?
True
Let m(p) = 9 - 32*p**3 + 4*p - 1 - 2*p + 2*p**2 - 7. Let o be m(-1). Suppose -6 = 3*y - o. Is y a multiple of 3?
True
Suppose 2*j - 27 = q, -6*q = -q + 15. Let n(b) = 11*b**2 - 22*b + 18. Let w(a) = 4*a**2 - 7*a + 6. Let u(h) = 3*n(h) - 8*w(h). Does 10 divide u(j)?
True
Let v be 30*(-2 + 12/10). Suppose 2*r + 4 = -2*s, -r = -4*s - s + 14. Let j = r - v. Is j a multiple of 8?
False
Let z(m) = m**3 - 12*m**2 - 37*m + 6. Is 14 a factor of z(15)?
True
Let q be 1 - (-3 + (-10)/(-5)). Does 8 divide 34/(-153) + (958/9)/q?
False
Let o be (1 + 19)*4/10. Let n(b) = -b**2 + 3*b + 5. Let s be n(3). Let d = o + s. Is 13 a factor of d?
True
Does 13 divide 5 + 518 + -11 + 12?
False
Let b be (-75)/(-21) - 15/(-35). Let j(l) = 2*l**3 - l**2 + 2*l. Let c be j(b). Suppose 4*k = -0*k + c. Is k a multiple of 15?
True
Let q(m) = 981*m**2 + 7*m - 4. Is 24 a factor of q(1)?
True
Does 35 divide ((-34)/(-4)*4)/(30/525)?
True
Let l(v) = 5*v**2 + 1. Suppose -19 = -4*t - g - 2*g, -9 = -3*t + 3*g. Let f(x) = -x**3 + 3*x**2 + 4*x - 1. Let w be f(t). Does 4 divide l(w)?
False
Let b(k) = 6*k**3 - k**2 - 5*k + 9. Does 16 divide b(4)?
False
Let p = 858 + -307. Is 29 a factor of p?
True
Does 17 divide (0 + 78/91)/(2/812)?
False
Suppose -6*h - 16 = -22. Is h + 0 - (-14 + 2) even?
False
Let x = 21 - 16. Suppose 56 = -x*a - 64. Does 19 divide 51*4*(-4)/a?
False
Let a = -85 + 93. Let s(c) = 22*c + 54. Does 13 divide s(a)?
False
Let k be (1 + 0)/1 + 0. Let x = -281 - -283. Does 21 divide 6/x + (19 - k)?
True
Suppose 5*g = 98 + 622. Let s = g + -97. Is s a multiple of 12?
False
Let r = 55 - 50. Suppose -2*m + r*u = -7 - 70, 0 = 3*m + 3*u - 84. Does 7 divide m?
False
Is 4 a factor of (0 - 482/(-14)) + (-48)/(-84)?
False
Let x = 20 - 24. Does 31 divide 6/x*1572/(-18)?
False
Suppose -3*a - 13 = -3*w + 8, -4*w + 35 = 3*a. Let t be (-456)/(-15) + w/(-20). Suppose -4*f - 5*r = t - 133, 107 = 5*f - r. Is f a multiple of 11?
True
Let o(q) = -q**3 - q**2 - 2*q - 6. Let s be o(-3). Suppose -2*t + 12 = -4*r, -4*r = -5*t - 2*r + 14. Let k = t + s. Is k a multiple of 19?
False
Let y(l) = l**3 - 3*l**2 + 3*l + 1. Let q = 18 + -15. Suppose s - 4*u + 1 = -8, 0 = 5*s - q*u - 6. Is 7 a factor of y(s)?
False
Let m be 84/16*(-48)/9. Let h be m/3*(3 - 6). Suppose -h = -5*g + 27. Does 11 divide g?
True
Let l(f) = f**3 - f**2 + 1. Let u be l(2). Suppose 4*n - u*s = -28, -2*s = -n + s. Is 24 a factor of (-442)/n - (-11)/66?
False
Let w = 840 - 560. Does 28 divide w?
True
Does 21 divide ((-2257)/122)/(1/(-42) - 0)?
True
Let w(x) = -3*x**3 + 3*x**2 + 4*x + 3. Let z be w(-1). Suppose 2*u = 2*v - 230, -u - 581 = -z*v + 2*u. Does 10 divide v?
False
Suppose r - 29 = -2*s + 65, 2*s = -3*r + 302. Let w = r + -78. Does 12 divide w?
False
Let t(h) = -h**3 - 6*h**2 - 6*h - 2. Let i be t(-5). Suppose 234 - 42 = i*s. Does 37 divide s?
False
Let i(x) = -x**3 + 6*x**2 - x - 6. Let q(o) = -o + 11. Let u = 18 + -10. Let m be q(u). Does 6 divide i(m)?
True
Let m(z) = z**3 - 3*z - 13. Let n = 22 + -16. Is m(n) a multiple of 22?
False
Suppose -m - 23 = -2*k + 2*m, 4*k + 4*m = -4. Does 18 divide k*(62*3/6 - 4)?
True
Suppose -1021 = -9*j + 446. Is j a multiple of 9?
False
Does 35 divide ((-30996)/364 - 4/(-26))*-7?
True
Let o = 1 - -2. Let v be (o + -2 + -1)/(-1). Suppose 0*z + 2*z - 16 = v. Does 8 divide z?
True
Let j(b) = 2*b**2 + 6*b - 21. Let t be j(-8). Let y = t + -47. Does 6 divide y?
True
Let f(r) = r**3 + r**2 + 1. Let k(i) = -4*i**3 - 15*i**2 + 6*i - 2. Let y(n) = -5*f(n) - k(n). Let w be y(9). Let p = w - -27. Does 17 divide p?
True
Let o(u) = 6*u - 10. Let y(h) = h**3 + 12*h + 25 - 14*h**2 - 42 + 33. Let k be y(13). Is 5 a factor of o(k)?
False
Suppose 4*d + 5*z - 29 = 0, -4*d + 3*d + z = -5. Let s(j) = j**3 - 3*j**2 - 9*j + 4. Is s(d) a multiple of 29?
True
Suppose -17*u + 12*u + 20 = 0. Suppose -o = -5, w - u*o = -6*o + 210. Suppose -5*q + 0*q + w = 0. Is 8 a factor of q?
True
Let s(x) = 23*x + 10. Let g be s(2). Suppose -3*v + g = 5*v. Does 6 divide v?
False
Let g(q) = -13*q**3 + 2*q**2 + 3*q + 1. Let s be g(-1). Suppose s*x - 558 = 4*x. Is x a multiple of 27?
False
Let p = 42 - -3255. Is 21 a factor of p?
True
Let r(q) = 4*q**3 - 2*q**2 + 7*q - 7. Let w be r(5). Suppose 0 = -5*d + 422 + w. Does 20 divide d?
True
Let z(c) = c**2 + 8*c - 4. Let f be z(-6). Let x = f - -16. Suppose -3*a + 9 = -x*a. Is a even?
False
Suppose 5*h - 3*n = -n + 12999, -5196 = -2*h + 2*n. Is 51 a factor of h?
True
Let q be (-3)/(18/368) - 25/(-75). Let d = 151 + q. Does 18 divide d?
True
Does 37 divide 38*(-259)/2*(-16)/112?
True
Let p = -42 - -34. Does 8 divide (9 - p/(-4) - 1)*24?
True
Let g be (1 + (-21)/(-3))*19/4. 