48 + 252. Does 6 divide d?
False
Let f = -8 + 7. Let d(l) = l**3 - 2*l**2 - 2*l - 1. Let h(y) = -4*y**3 + 6*y**2 + 6*y + 3. Let v(k) = 8*d(k) + 3*h(k). Is 5 a factor of v(f)?
True
Let p be (-12)/(-42) + 135/(-7). Let f = 43 - p. Let l = f - 38. Is 8 a factor of l?
True
Let f be -208 + (0 - (0 - -2)). Let g = -121 - f. Is g a multiple of 26?
False
Let z(b) = -43*b**3 + b**2 + b + 1. Let m be z(-1). Suppose -m = 2*l - 6*l. Does 9 divide l?
False
Suppose -2*c = -0*z - 5*z + 312, 4*z + 3*c = 268. Does 16 divide z?
True
Does 2 divide 1 + 0 + 0 + 8?
False
Suppose 2 = 3*i + 29. Let f(g) = -g**2 - 8*g + 9. Let r be f(i). Suppose -3*m = 2*c - 50, 0 = -3*c - r*c + 3. Is m a multiple of 8?
True
Let w(u) = -u - 2. Let a be w(-7). Suppose a*v - 23 = 82. Is v a multiple of 7?
True
Let z be 2/(-4)*1*0. Suppose 9 = -3*x + 3*d + 27, z = 5*x - 4*d - 32. Does 3 divide x?
False
Suppose 4*m - 16 - 220 = 0. Suppose -5*i = 4*h - m, -4*i + 64 = -h - 0*h. Does 7 divide i?
False
Suppose 0 = g + 5*c - 58 + 18, 2*g + 2*c - 40 = 0. Does 8 divide g?
False
Is 190/2 + -5 + 4 a multiple of 59?
False
Suppose -2*f = -2*g + 96, 0 = -f + 4*f + 2*g + 139. Let l(h) = -2*h**2 - h + 1. Let p be l(-4). Let k = p - f. Is 20 a factor of k?
True
Let s(l) = 2*l**2 + 2*l + 4. Does 16 divide s(-3)?
True
Let o = 5 + -3. Is o/(-4)*(-60)/2 a multiple of 11?
False
Let u = 22 + -18. Suppose -5*g + 24 = 2*z, 4*z + 0*g + u*g - 24 = 0. Is z a multiple of 2?
True
Suppose 3*t - t - 4*i - 80 = 0, -4*i - 116 = -3*t. Is 18 a factor of t?
True
Let h(x) = -x**3 + 11*x**2 - 5*x - 4. Let n be h(10). Let q = n - 66. Let o = 30 + q. Is 5 a factor of o?
True
Let g(w) be the first derivative of 1/2*w**2 + 6*w + 2. Does 11 divide g(5)?
True
Let y(q) be the first derivative of q**3 - 7*q**2/2 + 6*q + 9. Does 13 divide y(5)?
False
Let n = -9 + 15. Let k = n - -24. Does 15 divide k?
True
Suppose -6*c + 5*p = -4*c - 91, 2*c - 4*p = 86. Does 4 divide c?
False
Suppose -5*n - 3*v + 157 = 0, -v + 132 = 4*n + 3*v. Is 29 a factor of n?
True
Let d = 11 + -8. Suppose -7*u = -d*u + 4, -2*u = -y + 10. Is y a multiple of 6?
False
Let r = -68 - -111. Does 35 divide r?
False
Suppose 0 = 4*d - 0*d - 16. Suppose 3*t - 4*t = -d. Suppose n + t*g = 19, -n - 2*g + 4 = -3*g. Is n a multiple of 5?
False
Let k(o) = 5 - o + 2 - 4. Let x be k(4). Is 6 a factor of 11 - (0 - (x + 0))?
False
Let d(i) be the third derivative of -i**6/120 + 2*i**5/15 - i**4/3 + 4*i**3/3 + 2*i**2. Let y be d(7). Is 15 a factor of 1*(-2 - y) - -33?
True
Let a(j) = j**3 - 3*j**2 + 3*j - 2. Let o be a(3). Let k(m) = m**2 + 1 + 5 - 2*m - 2*m. Is k(o) a multiple of 13?
False
Let x(l) = 2*l**2 - 7*l - 1. Let q(b) = b + 3. Let v be q(-3). Suppose v = -2*j + 10 + 2. Is x(j) a multiple of 11?
False
Let b be (4/5)/((-4)/(-10)). Let o be -3 + 0 + (b - -88). Let h = o + -59. Does 11 divide h?
False
Let f = -17 + 25. Is 2 a factor of f?
True
Does 12 divide 1 - (-1 + 119)/(-2)?
True
Suppose -595 = -12*x + 5*x. Does 17 divide x?
True
Let u(q) = 4*q**2 - 21*q + 17. Is u(8) a multiple of 35?
True
Let z be (3 - 1) + (-2)/1. Suppose 0 = -z*l - l + 5. Does 2 divide l?
False
Suppose -3*p - 9 = 0, 0*y + y = 4*p + 20. Suppose 0*q = 4*q - y. Suppose q*t - 3*s = -4*s + 13, 0 = -4*t + s + 35. Does 5 divide t?
False
Suppose 139 = 6*o - 29. Does 14 divide o?
True
Is 26 a factor of -6*6/27*-78?
True
Is 7 a factor of (37 + -3)*(-2)/(-4)?
False
Suppose -4*y - 2*w = -0 - 4, -5*y + 3*w - 6 = 0. Suppose y = 3*b - 23 + 5. Does 3 divide b?
True
Let x = -3 - -1. Let q = x - -7. Is q a multiple of 3?
False
Suppose -62 + 250 = -4*i. Let j = -94 + 67. Let d = j - i. Is d a multiple of 10?
True
Suppose -236 = -4*w + 56. Does 19 divide w?
False
Let c(x) = -x**3 + 8*x**2 + 10*x + 1. Let l be c(9). Suppose 36 = q - l. Is q a multiple of 18?
False
Is (4/(-8))/((-2)/456) a multiple of 11?
False
Suppose -3*r + 32 = -2*r. Suppose 0 = -4*s - 3*o - 39 + 142, 0 = s + 2*o - r. Is 11 a factor of s?
True
Suppose 0 = -5*w, 5*w - 120 = 3*s + 21. Let y = s + 115. Let h = y - 48. Is 16 a factor of h?
False
Let b(c) = 30*c + 42. Does 24 divide b(8)?
False
Let q be (35/(-3))/(4/(-12)). Let l(o) = o**2 + 8*o + 5. Let u be l(-7). Is u + 1 - -1*q a multiple of 9?
False
Let q be 4/8*32/(-2). Let l be (-47)/(10/q - -1). Suppose -5*h = -l - 87. Does 21 divide h?
False
Let w(l) = l**2 + 2*l. Let a be w(-2). Let h(k) = 1 + a - 13 + 0 + 4*k. Does 16 divide h(10)?
False
Let k(m) = 5*m - 21. Let i(r) = -3*r + 14. Let n(f) = 8*i(f) + 5*k(f). Let x be n(-4). Suppose -b = x*b - 56. Does 14 divide b?
True
Let g = 94 + -5. Is 19 a factor of g?
False
Let u = -21 - -16. Let i(s) = -13*s + 5. Does 19 divide i(u)?
False
Let x = -95 + 190. Suppose -3*v = -x + 14. Suppose -2*a = -5*w + 44, -5*a + v = 4*w - 28. Does 6 divide w?
False
Let b = 434 + -304. Does 26 divide b?
True
Suppose 17 = 4*r - 15. Let x = 14 - r. Is x even?
True
Suppose 0 = -0*u + 4*u - 20. Let c(a) = 2*a**2 - 6*a + 7. Let w be c(u). Let b = 4 + w. Is b a multiple of 8?
False
Let m(q) be the first derivative of 5*q**2/2 - 2. Let i be m(1). Suppose r + p - 4 = 0, -3*r - i*p = 6 - 18. Does 2 divide r?
True
Let m(q) = q**3 - 5*q**2 - 3*q + 4. Is 11 a factor of m(6)?
True
Does 32 divide 4/1 + (230 - 10)?
True
Suppose 0 = 4*m + 5*u - 0*u + 32, 4*m + 4*u + 36 = 0. Let r = m + 20. Suppose -a = -2*z - 7, 3*a = r*a + 2*z - 38. Is 8 a factor of a?
False
Let y(b) = 3*b**2 + 2*b - 1. Let h be y(1). Suppose h = 2*f - 0. Suppose -11 - 1 = -f*m. Does 6 divide m?
True
Suppose 0*k + 16 = 4*k. Is (-4)/3*(-18)/k a multiple of 2?
True
Let g(l) = l**2 + 5*l - 4. Let b be g(-6). Suppose 3*q - 39 = -w, b*w + 3*w - 175 = -5*q. Is 7 a factor of w?
False
Suppose -1 = 5*a - 151. Suppose -4*y - a = -6*y. Does 10 divide y?
False
Let u be 2/((-2)/(1 - 43)). Is u*(-18)/(-21)*1 a multiple of 11?
False
Suppose 5*u - 2 - 13 = 0. Suppose -4*j + p + 11 = 0, 0 = 5*j - p - u*p. Is j a multiple of 4?
True
Let c(i) = i**2 + 1. Let o(d) = -4*d**2 - 4*d - 5. Let w(k) = 6*c(k) + o(k). Is 27 a factor of w(-4)?
False
Suppose -5*d + 5 = -3*l, -5*l + 13 = -d - 8. Suppose -96 = -8*u + d*u. Is u a multiple of 5?
False
Let d be 3/(-6)*-8 + -4. Let w(f) = -10 + 35 - f + 3*f**2 - 4*f**2. Is w(d) a multiple of 10?
False
Suppose -r + 210 = 4*d - 162, -465 = -5*d + 5*r. Is d a multiple of 30?
False
Let x = -64 + 289. Is x a multiple of 25?
True
Let k = 5 - -81. Is k a multiple of 43?
True
Let u = 1 + 2. Let f be (2/u)/((-12)/(-738)). Suppose -3*t + f = 4*o, -t = -3*t - 2. Is o a multiple of 11?
True
Let k = 4 + -8. Does 4 divide (-4)/(10/k + 2)?
True
Is 33 a factor of ((-125 - 1)/3)/(4/(-22))?
True
Let u(a) = a**2 - 2. Suppose -2*s + 2 + 4 = 0. Is u(s) a multiple of 7?
True
Suppose -6*r + 92 = -262. Does 24 divide r?
False
Suppose 0 = 3*w + 1 + 2, 3*j - 30 = -3*w. Suppose 3*m = -1 - j, 0 = -4*b + m - 52. Does 9 divide 332/14 - 4/b?
False
Let b(i) = i**3 - 8*i**2 + 7*i + 4. Let j be b(7). Is ((-2)/j)/(5/(-470)) a multiple of 14?
False
Suppose 10 = 3*x + a + 2, 5*x = 4*a + 36. Suppose 0 = o + 4*o + x*d - 76, -44 = -3*o - 2*d. Is 18 a factor of (o/9)/((-2)/(-27))?
True
Suppose 5*j - 6 = 2*j. Suppose j*a - 6 = -0*a. Suppose a*w = -0*w + 126. Is w a multiple of 15?
False
Suppose c - 4*c + 36 = 0. Let m = -7 + c. Suppose -3*d + 12 = 0, k + m*d - 24 = 4*d. Is 9 a factor of k?
False
Suppose 2*x - 8 = v, 3*x - x + 4*v = 18. Suppose -5*n - 114 = -x*r - 2*n, 0 = -5*r - 2*n + 99. Let p = r + 13. Does 15 divide p?
False
Suppose 245 = 5*m - 2*i, i + 29 - 176 = -3*m. Is 7 a factor of m?
True
Suppose 0*y + 140 = 5*y. Suppose y = n - 6. Suppose -4*o + 86 + n = 0. Is 15 a factor of o?
True
Suppose 0 = -4*v - 8, p = 6*p + 5*v - 25. Suppose -3*d - p = -22. Is 2 a factor of d?
False
Let l(x) = -x**2 + 7*x - 1. Let a be l(6). Suppose -d + 0*d + a = 0. Does 3 divide d?
False
Let u = 6 + -8. Let i = u - -2. Is 8 a factor of (i + -1)*-15 + 1?
True
Let l be 0 - (50/(-2) + -2). Suppose -5*g - 7 + l = 0. Is ((-10)/(-6))/(g/12) a multiple of 3?
False
Let u be -6 + 2 - (0 - -3). Let h(g) = -g - 7. Let s be h(u). Is 8 a factor of (s/(-1))/(-1) + 21?
False
Let z(n) = -9*n + 15. Does 30 divide z(-9)?
False
Is 319/4 + 2/24*3 a multiple of 20?
True
Suppose -23 + 418 = 5*u. Does 6 divide u?
False
Is 14 a factor of (14 - -3)*(2 + -1)?
False
Suppose a - 2*z = 50