r of l?
False
Let t = -14 + 11. Is 3 a factor of 7 + 70/7 + (t - 1)?
False
Let x = 13 - 8. Suppose x*n + 2 = -4*o, -3*o + n + 10 = o. Let w = 6 - o. Does 3 divide w?
False
Let m be (3/(-6) - 4)*(-4)/3. Is (-3)/((-8)/(2464/m)) a multiple of 22?
True
Suppose -5*a + 0 = 3*s + 16, 4*a + 32 = 4*s. Suppose 0*o = s*o - 126. Is o a multiple of 6?
True
Let o be 14/49*(21 - 0). Is 2 a factor of ((-10)/o)/(2/(-12))?
True
Let n(p) = p - 6. Let l be n(-1). Suppose 2 = -5*r - 43. Does 7 divide l/(-1) + 0/r?
True
Let j = 452 - 103. Is j a multiple of 9?
False
Suppose 0 = 2*y + 14*u - 17*u - 436, -3*y + 5*u + 652 = 0. Does 32 divide y?
True
Let t(g) = 10*g**3 - 4*g**2 + 3*g. Let u be t(2). Suppose -s + u = -2*z - 13, -2*s = -5*z - 205. Is 3 - (-2 - -4) - z a multiple of 10?
True
Suppose -2*s + 8 = -2. Suppose m + 16 = 5*m. Suppose -3 = -m*o + s, 5*o = 2*r. Is r a multiple of 2?
False
Let f be 1 - (4 + (4 - 30)). Suppose 27*b - 56 = f*b. Is 12 a factor of b?
False
Let z be (4/(-6))/(16/(-408)). Let y = z + -14. Suppose 8*q = y*q + 40. Is 6 a factor of q?
False
Suppose 0 = 5*h - 2*c - 5948, -593 - 1784 = -2*h + 3*c. Is 10 a factor of h?
True
Let b(g) = 4*g**3 + 4*g**2 - 4*g + 70. Is b(5) a multiple of 25?
True
Let q be (-4)/(16/(-12)) + 2. Suppose -q*c - 13 + 3 = 0. Is 7 a factor of (-6 - -8)/(c/(-28))?
True
Let u(t) = -t + 10. Let n be u(10). Does 34 divide (3 - n)*1 - -156?
False
Let c(z) = 45*z**3 + 2*z**2 + 7*z + 5. Let s(l) = -23*l**3 - l**2 - 3*l - 2. Let a(r) = 3*c(r) + 7*s(r). Let t = -8 - -7. Does 6 divide a(t)?
False
Let x(t) = -t**3 + 7*t**2 + 9*t - 4. Let b be x(8). Let s(d) = b*d**2 + 4 + 1 - 3*d**2. Is s(-6) a multiple of 11?
False
Suppose -21 + 6 = -5*z. Suppose -z*h - 54 = -6*h. Suppose -45 + h = -3*d. Is 4 a factor of d?
False
Does 12 divide 1 + 7 - (24 - 112)?
True
Let i(p) = -p**3 + 15*p**2 + 87*p + 23. Is i(17) a multiple of 28?
True
Let d = -6 + 7. Is 3*d/((-1)/(-49)) a multiple of 21?
True
Suppose -4*j = 12, -5*q + 4*j = j - 44. Suppose -x = q*x - 208. Is x a multiple of 26?
True
Let b be (1 + -63)*1 - 1. Suppose 3*c = 2*c - 123. Is 21 a factor of (-1)/(c/b - 2)?
True
Let o(y) = y**3 + 4*y**2 - y + 1. Let j be o(-4). Suppose 5*z + j*x = z + 104, -3*z = -5*x - 43. Is z a multiple of 21?
True
Let a(i) = 6*i**3 - 11. Let k(t) = -5*t**3 - t**2 + 10. Let q(r) = 4*a(r) + 5*k(r). Is 54 a factor of q(-7)?
False
Suppose -9*k + 2951 - 395 = 0. Is 9 a factor of k?
False
Let x be -2 - (-5 - -4)*-1. Let o be (153/3)/(x/2). Let v = o - -91. Is v a multiple of 18?
False
Let q(x) = 2*x**2 - 4*x + 4. Let w be q(4). Suppose -5*i + 2*a = -0*a, -3*i - a + 11 = 0. Suppose i*o = 4*b, -o - 5*b - w = -6*o. Does 6 divide o?
False
Suppose -4*t - 6 = f - 0*f, -16 = -5*f + 3*t. Suppose -360 = -4*k - f*k. Does 10 divide k?
True
Let m = -165 - -341. Does 21 divide m?
False
Let h(d) = 4*d**2 - 1. Let q be h(1). Suppose -n = -q*i - 7, -3*n + 0*i + 14 = -2*i. Suppose -y + 2*a = -41, n*a + 121 = 5*y - 2*y. Does 13 divide y?
True
Suppose 0 = 5*h + 15. Is (0 + -10)/(h/6) a multiple of 12?
False
Let j(a) = -18*a + 57. Is 17 a factor of j(-11)?
True
Suppose 226*y + 180 = 228*y. Is 7 a factor of y?
False
Suppose 5*x - 8 = -3*x. Is 14 a factor of (-141)/(-5) - x/5?
True
Let a = -14 - -26. Suppose 93 = 4*n + d, -n + 4*d + 7 = -a. Suppose -l + 15 + n = 0. Is 19 a factor of l?
True
Suppose -4*j = 5*a - 3*j + 5, -2*a = -4*j - 20. Suppose a = -4*c + 307 + 33. Is 15 a factor of c?
False
Let i(x) = x**3 - 3*x**2 - 4*x + 4. Let g be i(4). Let z be (-18)/(-15)*(-10)/g. Does 3 divide 13*1 - (6 + z)?
False
Let d(f) = -8*f + 2*f - 2*f - 18 - 6*f. Is 6 a factor of d(-8)?
False
Suppose -5*u = 2*u - 70. Let v(n) = n**3 - 10*n**2 + 5*n - 23. Is 12 a factor of v(u)?
False
Let t(u) = 0*u - 5*u**2 + 4*u + 2*u + 7 + 6*u**2. Let j be t(-8). Is 6 a factor of (-3 - j/(-3))*3?
False
Suppose -4*n - 19 + 31 = 0. Suppose -5*i - 820 = -4*f, -4*f + n*i + 1038 = f. Is f a multiple of 10?
True
Let w = -30 + 246. Is 18 a factor of w?
True
Suppose -37*v + 41*v + 988 = 0. Let z = -7 - v. Does 20 divide z?
True
Let c(h) = 303*h - 217. Is c(7) a multiple of 37?
False
Let a(n) be the first derivative of n**2/2 - 3*n - 5. Let t = 4 - -2. Does 3 divide a(t)?
True
Let w = -10 - -8. Let x(k) = k**2. Let o be x(w). Suppose 0 = 3*u - o*u + 76. Is 28 a factor of u?
False
Is 6 a factor of (-10)/(-2) - 63/(-14)*76?
False
Suppose -f - f = 3*n + 56, f = n + 12. Let a = -32 - n. Is (-356)/a + (-2)/8 a multiple of 6?
False
Let c(w) be the second derivative of 83*w**3/3 - 3*w**2 - 23*w. Is c(1) a multiple of 15?
False
Suppose -4*c = -3*w + 1, -5*c - 4*w + 25 = w. Let p be 3 + 8/c*10. Suppose k - 2*k = -p. Does 14 divide k?
False
Suppose 0*m + 5*m = 75. Let h = m - -3. Does 7 divide h?
False
Let r = 722 + 286. Is r a multiple of 28?
True
Suppose -9*d = 161 - 881. Is 20 a factor of d?
True
Let z(t) = 8*t**2 - 7*t - 258. Does 9 divide z(-15)?
True
Suppose -12*f + 10*f - 1404 = -2*r, -3*r + 2102 = f. Is 46 a factor of r?
False
Suppose 0 = -3*x - 2*x + 10. Suppose x*c = 6*c - 5*p + 5, -5*c - 2 = -2*p. Let r(n) = n**2 - n + 36. Does 18 divide r(c)?
True
Suppose -2 = 4*m - 14. Let s be ((-5)/10)/(m/54). Let p(w) = -7*w - 3. Is p(s) a multiple of 15?
True
Suppose 18*p = -1315 - 575. Suppose -4*x + 6*x = -4*a - 608, -2*a - 4*x - 298 = 0. Let z = p - a. Is z a multiple of 12?
True
Suppose -2*d - 215 = -21. Suppose -6 = 2*p, -2*p = -3*x - 3*p - 102. Let v = x - d. Does 16 divide v?
True
Let k(l) = -l**3 + 2*l**2 + 26*l - 12. Let j be k(6). Suppose j = 3*f - 102 + 48. Is 2 a factor of f?
True
Let w(q) = -5*q + 62. Let u = -21 - -13. Is 13 a factor of w(u)?
False
Suppose 3*x - 3*r - 12 = 0, 4*x - 6*r - 14 = -3*r. Suppose 7*d = x*d. Suppose c - 2*c + 12 = d. Is 6 a factor of c?
True
Let g(s) = -6*s - 8. Let k be g(-3). Does 3 divide (-15)/k*(-28)/2?
True
Let p(o) be the second derivative of -o**4/12 - o**3 + 7*o**2 - 10*o. Is 2 a factor of p(-7)?
False
Let n(r) = r + 5. Let m be n(-6). Let j(x) = -3*x. Let c be j(m). Suppose -2*h + 5*o - 35 = -97, -c*h - 4*o + 47 = 0. Is 7 a factor of h?
True
Let x(b) = -b**2 - 2*b - 9. Let a be x(-4). Let t = a + 14. Does 26 divide (t/(-2))/(6/328)?
False
Let v(f) = f**3 - 15*f**2 + 13*f. Is 24 a factor of v(16)?
False
Let x(r) = -11*r + 264. Is 5 a factor of x(-6)?
True
Is 33 a factor of ((-1)/2)/((-51)/121176)?
True
Is -1126*(3/12 - 3/4) a multiple of 76?
False
Let y be 13/((-65)/30) + 4. Let z be ((-14)/(-7))/(y/6). Let i = z - -21. Does 3 divide i?
True
Suppose -5*s + 9*s = -16. Let f = s + 6. Suppose -g = f*g - 93. Is g a multiple of 25?
False
Let v(b) = b**3 - 16*b**2 + b - 13. Let l be v(16). Suppose -2*j - 3 = -d, -d = 4*d + l*j - 54. Suppose 2*f = 15 + d. Is f a multiple of 3?
True
Suppose -404 = -j + 45. Suppose 0 = -2*a - 4, -120 + j = 3*y - a. Is 15 a factor of y?
False
Let c(s) = -13*s - 5*s**2 - 2*s**2 + 5*s**3 - 10 - 7*s**2. Let l(i) = -9*i**3 + 27*i**2 + 26*i + 20. Let u(v) = 7*c(v) + 4*l(v). Is u(11) a multiple of 16?
True
Suppose -3*r = -2*v + 867, 4*v - 1970 = r - 241. Does 36 divide v?
True
Suppose 0 = -5*h - 5, -3*s - 3*h = -h + 698. Let t = s + 432. Suppose 5*q - 101 = -2*g, -4*q + 12 = -4*g + t. Is 24 a factor of g?
True
Suppose -2*c = -10, -2*w - 3*c + 1850 = c. Is w a multiple of 82?
False
Suppose 4*f - 20 = 0, -5*v + 3*f + 36 = -14. Let d = v - -130. Does 13 divide d?
True
Let j(k) = -2*k**2 + 38*k + 8. Is j(4) a multiple of 8?
True
Suppose 8 = -z - 22. Let y = z - -48. Is y a multiple of 9?
True
Suppose 5*l - 4*l + 218 = 0. Let k = -123 - l. Is 31 a factor of k?
False
Let p be ((-1 + 7)/3)/(3 - 4). Is -3*(p - 124/3) a multiple of 17?
False
Let f(t) = -28*t + 46. Is 40 a factor of f(-6)?
False
Suppose 3*y = 2*m + 39, -47 = 5*m - 4*y + 47. Let x = m - -33. Is 2 a factor of x?
False
Let w be (5 - 3)/(6/9). Suppose -5*f + w*k - 3 = -2*f, f + 13 = -5*k. Is 18 a factor of (-711)/(-15) - f/5?
False
Let f = 76 + -18. Suppose f = 5*w + 18. Is w a multiple of 4?
True
Let n(u) = -u - 3. Suppose -h - 3*h - 5*p = 27, 2*h + 4*p + 18 = 0. Let q be n(h). Suppose 2*t - 12 - 26 = q. Does 7 divide t?
False
Suppose -2*i = i - 54. Suppose 0 = -15*q + 18*q + i. Does 9 divide (-154)/(-3) + 8/q?
False
Does 19 divide 144080/160 - 6*1/4?
False
Suppose 7*u - 2*u - 130 = -5*v, 5*u + 4*v - 125 = 0. Suppos