 t + 46, -4*x + 74 = 5*t. Suppose 0 = -4*j + r + 52, x = 3*r + r. Is 4 a factor of j?
False
Suppose 5*r = -3*z + 4*r + 247, 3*z = -3*r + 237. Is z a multiple of 28?
True
Let t(m) = -4*m**3 - 3*m**2 + 2*m. Let u be t(1). Let a(c) = -2*c**3 - 4 + 2*c**2 + 2*c**2 + 3*c**3 - 8*c. Does 7 divide a(u)?
False
Let i(x) = x**2 + 4*x - 7. Let c be i(-6). Suppose -60 = -3*n + 3*z, 2*n + c*z = -0*n + 40. Is 11 a factor of n?
False
Let y = -110 + 308. Is 21 a factor of y?
False
Suppose -1 = 5*v - 26. Let f(p) = 2*p - 2. Let q be f(v). Suppose 5*h - q = 2. Does 2 divide h?
True
Suppose -3*j = -j - 50. Let k = j - 12. Does 3 divide k?
False
Let t(z) = z - 3. Let q be t(6). Suppose q*u = 55 + 11. Is 16 a factor of u?
False
Let n = 53 + -25. Let z = n - -10. Is 19 a factor of z?
True
Suppose -4*g - 3*m = 12, -2*m = g - 3*g + 8. Suppose 37 = -g*r + r. Let y = 81 - r. Is y a multiple of 15?
False
Suppose -r - r + 4*o = -230, -2*o = 6. Is (-5)/20 - r/(-4) a multiple of 9?
True
Let q be 1/(-2 - (-1 + 0)). Let a be ((-6)/(-7))/(q/14). Let j = a + 30. Is 9 a factor of j?
True
Suppose 3*g + 2*v = 3*v + 146, 0 = 3*g - 5*v - 154. Suppose 0 = -3*w + w + g. Suppose -4*u - w + 112 = 0. Is u a multiple of 6?
False
Let z = -92 - -253. Does 23 divide z?
True
Let y = 84 - 25. Does 3 divide y?
False
Let h be 154 - (4 + -2)*-1. Suppose -2*u = 4 - h. Let i = u - 40. Is 18 a factor of i?
True
Suppose -242 = -5*u + 3*j, 77 + 66 = 3*u - 4*j. Does 7 divide u?
True
Let u = 2 - -23. Is u even?
False
Suppose 5*q + 66 = -2*v - 94, -5*q - 160 = 4*v. Let p be 1/(-3) - 166/(-3). Let b = p + q. Is 15 a factor of b?
False
Let o(i) = -5*i**3 - 3*i**2 - i. Suppose 3*b = 6*b - 12. Suppose -4*l - 6 = -3*j, 9 = -b*l + l. Is o(j) a multiple of 10?
True
Suppose -9*r = -7*r + 10. Is 35 + 3 + r + 3 a multiple of 9?
True
Suppose 423 + 415 = 5*p + 2*r, 676 = 4*p + 3*r. Is 26 a factor of p?
False
Let i be 57/12 + (-6)/8. Let s(b) = 4*b**2 - b + 3. Let g be s(i). Suppose -g = -3*y - 3*w, w + 36 = -5*y + 149. Is 23 a factor of y?
True
Let b(k) = k**3 + 9*k**2 + 4*k + 6. Let d be b(-4). Let x = 11 + -5. Suppose f = x*f - d. Is f a multiple of 14?
True
Let u = -32 - -83. Is 15 a factor of u?
False
Suppose -211 = -5*l + 2*d - d, -l + 44 = -2*d. Is l a multiple of 12?
False
Let t be (-1 - -13)*(-2)/4. Let v be t/3 - (0 + -6). Is (-5 + 4)/((-2)/v) even?
True
Let v(y) = y**3 + 2*y - 4. Suppose -4*x - 3*c + 16 = 2*c, -c = 0. Let q be v(x). Suppose q = 3*f - 61. Is 19 a factor of f?
False
Let h be 174/8 - (-2)/8. Suppose -7*b = -8*b + h. Does 13 divide b?
False
Suppose -4*y = 3*z - 306, z - 10 = -4*z. Is 27 a factor of y?
False
Let c = -58 + 100. Is c a multiple of 7?
True
Suppose -5*x + 2016 = 481. Is x a multiple of 53?
False
Suppose -u = -0*u + 138. Let q be u/9 - 2/3. Let j = 24 + q. Is j a multiple of 3?
False
Let n = 20 + 13. Does 11 divide n?
True
Let p(h) = -14*h + 1. Is p(-2) a multiple of 7?
False
Let u(j) = j**2 + 7*j + 9. Let n be u(-6). Suppose -4*o - 7 + 27 = n*y, 0 = 2*o + 2*y - 8. Is 7 a factor of o?
False
Let o(r) = -r**3 + 2*r**2 + 2. Is 13 a factor of o(-2)?
False
Let x be -1 + (-3 - -2) - -10. Let f(y) = 25*y - 2. Let v be f(x). Is 17 a factor of ((-3)/9)/((-3)/v)?
False
Let l(h) = h**2 - 5*h - 5. Does 7 divide l(8)?
False
Suppose -4*b + 42 = -0*b - 2*m, -32 = -4*b + 4*m. Suppose 0*q + q = b. Is 3 a factor of q?
False
Let n be (-1*2)/(4/58). Let i = n + 52. Is 7 a factor of i?
False
Suppose 4*z + 0*z = -2*p + 8, 4*z = -3*p + 12. Suppose -7 + z = -o. Let a(m) = m**3 - 5*m**2 - 9*m - 7. Is a(o) a multiple of 10?
False
Let t be (135/25)/((-2)/(-10)). Let f = t + -13. Is 8 a factor of f?
False
Let r(f) = -f**2 + 8*f - 4. Suppose -5*t = 2*v - 50, 5*t = 2*t. Suppose 2*i = -3*i + v. Is r(i) a multiple of 11?
True
Let o(c) = -5*c + 2. Let g(j) = -5*j + 3. Let t(u) = 3*g(u) - 4*o(u). Is 12 a factor of t(6)?
False
Suppose -6 = 3*b + 3*s, -3*s + 15 = -5*b - 7*s. Let v = -5 - b. Is -3 - -1 - (-20)/v a multiple of 8?
True
Suppose -5*x + 2*x = -2*a + 27, -2*a = 4*x - 20. Does 6 divide (a/(-30))/((-1)/45)?
True
Let m be (12/(-21))/(4/(-14)). Suppose m*l - 42 = -0*l. Is 7 a factor of l?
True
Let p = 27 - 20. Let l = 23 + p. Does 6 divide l?
True
Let n = 15 + -9. Is 6 a factor of n?
True
Let f(h) = -32*h**3 - 2*h**2 + h + 2. Does 4 divide f(-1)?
False
Let x be 0 - -2*1/1. Suppose s = 5*q + 3*s - 348, 0 = -2*s - x. Let o = -41 + q. Is o a multiple of 12?
False
Let t(r) = r - 2. Let u be t(2). Suppose -6*k + 2*k + 12 = u. Let l(g) = g**3 - 3*g - 2. Is 8 a factor of l(k)?
True
Let f be (20/6)/(4/6). Let y(x) = -x**3 + 6*x**2 - 5*x + 4. Let u be y(f). Suppose -4*m - n = -3*n - 172, 172 = 4*m + u*n. Is 18 a factor of m?
False
Let h(z) = 3*z**2 - z + 2. Let a be h(-3). Suppose 3*b - a = 34. Does 11 divide b?
True
Let o = 4 + -1. Let c = 6 - o. Suppose 0 = -c*h + 4*h - 35. Is h a multiple of 16?
False
Let v(z) = -z**3 + 7*z**2 - 5*z + 2. Let o(k) = -6*k**3 + 35*k**2 - 26*k + 9. Let y(f) = 2*o(f) - 11*v(f). Let b be y(-6). Let j = b + 82. Is 12 a factor of j?
True
Let g = 64 + -28. Is 23 a factor of g?
False
Suppose 144*d - 207 = 141*d. Is 27 a factor of d?
False
Let d be ((-7)/14)/(2/(-28)). Let l = d + -43. Is l/(-14)*(-35)/(-5) a multiple of 9?
True
Suppose -4*x + 990 = 5*x. Does 19 divide x?
False
Let u(t) = -t**3 - t**2 + 4*t + 1. Let i be u(-3). Suppose -i = p - 25. Suppose 4*f - p = f. Does 6 divide f?
True
Suppose -3*u + 0 = -4*h - 1, -5*h = -2*u - 11. Let c = 19 - u. Does 7 divide c?
False
Let g = -3 + 6. Let o be g/12 - 1/4. Suppose -5*s + 131 = -s + x, o = 2*s + 5*x - 43. Does 17 divide s?
True
Suppose 0 = -6*y + 3*y + 243. Let l be 2*(-3)/(-4)*2. Suppose 0*m + 3*f = m - 14, y = l*m + 4*f. Is m a multiple of 15?
False
Let p = -24 - -75. Suppose -2*v - 4*n + 0*n = -72, 3*n + p = 2*v. Is v a multiple of 15?
True
Let h be (-1)/2*(0 + -10). Let i = 7 - h. Suppose i*q + q = -2*k + 38, -5*q = -k - 7. Is 13 a factor of k?
True
Let g(d) = -2*d**3 - d**2 - 2. Let k = 2 + -4. Does 10 divide g(k)?
True
Suppose -3*f + 3*l - 3 = 0, 3*f - 1 + 14 = -2*l. Is 13 a factor of -1 + -3*52/f?
False
Let a(m) = m**3 - 7*m**2 + 12. Is 3 a factor of a(7)?
True
Suppose -5*c - 105 = -810. Does 10 divide c?
False
Let u be 1*-2*5/(-2). Suppose 3*d = 2*d. Suppose 4*r = -u*a + 128, d*a = a + 4. Does 13 divide r?
False
Let r = -307 - -478. Is r a multiple of 30?
False
Let u(a) = -a**3 + 2*a**2 + 1. Let l be u(2). Let b = l + 8. Is b a multiple of 3?
True
Suppose 0 = -4*t + k - 39, -2*t = -0*t + 2*k + 32. Does 4 divide (2/1)/(t/(-66))?
True
Let z(i) = 2*i**2 - 5. Let a = 3 - 7. Is 11 a factor of z(a)?
False
Let h(z) = -2*z + 3. Let m(b) = b - 2. Let r(y) = -6*h(y) - 7*m(y). Let t(x) = x**3 - 3*x**2 - 3*x - 1. Let s be t(4). Is r(s) a multiple of 10?
False
Let h(x) = 5*x**2 + x + 6. Let w(d) = 5*d**2 + 2*d + 6. Let o(i) = -5*h(i) + 4*w(i). Let q be o(-6). Is 7 a factor of 2/5 - q/15?
True
Let y = 34 + 13. Is y a multiple of 12?
False
Let k(t) = t**2 - 5*t + 1. Let c be k(7). Let z = c - -36. Is z a multiple of 17?
True
Let g(z) = z**3 - 4*z**2 + 3*z - 1. Let w = -3 - -6. Let n be g(w). Let m = n - -4. Does 2 divide m?
False
Let m(h) = 5*h**2 + 27. Is m(-7) a multiple of 39?
False
Suppose 3*q - q = 34. Is 2 a factor of q?
False
Suppose 0 = -2*c - t + 273, -2*c - 2*t = 2*t - 282. Is 27 a factor of c?
True
Suppose 0 = -6*g + 611 - 35. Is 12 a factor of g?
True
Is 9 a factor of ((-5)/((-15)/(-249)))/(-1)?
False
Let u be (-1 - 0) + (2 - 7). Does 6 divide (-204)/(-18) + (-4)/u?
True
Let p = 87 + -56. Is 5 a factor of p?
False
Suppose 0 = -2*a - 0*d + 5*d - 37, a + 17 = 3*d. Is 13 a factor of (a/(-6))/(3/9)?
True
Let t(l) = -2*l - 6. Is t(-19) a multiple of 16?
True
Does 6 divide ((-22)/(-55))/(2/180)?
True
Suppose 0 = -0*h - 2*h - 5*t + 4, -3*t = -3*h + 27. Suppose 20 = -h*g + 2*g. Is 3 a factor of g/14 + (-185)/(-35)?
False
Let a = 37 + 29. Is a a multiple of 17?
False
Suppose -2*j - 265 = -5*x, 2*j - 2*x + 414 = -j. Let n = -98 - j. Is n a multiple of 14?
True
Let r be (-244)/28 + 2/(-7). Let d = 15 + r. Does 5 divide d?
False
Suppose 0 = -2*u - 2*u. Is 21 a factor of (1 - -1 - u) + 60?
False
Let z(s) be the third derivative of 11*s**5/20 - s**3/6 + 8*s**2. Does 16 divide z(1)?
True
Let v be 116/8*(0 + -2). Let m = v + 55. Is 5 a factor of m