 Let v = g - -26. Is v a multiple of 8?
False
Let d be (6/12)/(1/10). Let r = 53 - d. Is 12 a factor of r?
True
Let f = -2 - 1. Does 9 divide (3/f - -1) + 18?
True
Suppose 0 = -2*f + 5*f + 33. Is 9 a factor of 40/(-2)*f/22?
False
Let p be (-204)/28 + (-2)/(-7). Let l(h) be the second derivative of h**4/12 - 9*h**2/2 + 2*h. Does 12 divide l(p)?
False
Let b = -18 + 10. Let u = b - -15. Does 7 divide u?
True
Let r(v) = v**2 - 7*v + 15. Is 23 a factor of r(8)?
True
Let h = -45 - -51. Is 2 a factor of h?
True
Suppose -4*y = -4*u - 8, 5*y - 28 = u - 2*u. Suppose -1 = f - 2*n, -3*f - 3*n = -y*f. Suppose f*q + 5*o - 63 = 0, -2*q + 84 = 2*q - 4*o. Is q a multiple of 8?
False
Suppose 177 + 115 = 4*f. Does 10 divide f?
False
Does 10 divide -17 + 15 - (-12 + 0)?
True
Let c = -3 - -8. Let o(m) = m - 3. Let v be o(c). Is 9 a factor of (v + (-10)/(-4))*2?
True
Suppose 5*i - d - 394 = 0, -2*i + 154 = -0*i - 4*d. Is 12 a factor of i?
False
Is (-15)/6 - (-900)/8 a multiple of 11?
True
Let z = -4 - -5. Is z/(-2) + 122/4 a multiple of 9?
False
Let s = -21 - -28. Is 4 a factor of s?
False
Let k(m) = 2*m**2 + 3*m - 3. Is k(3) a multiple of 7?
False
Suppose -u + 55 + 0 = 0. Is 15 a factor of u?
False
Let q(m) be the third derivative of -m**4/12 - m**3/2 + m**2. Let y = -14 - -10. Is q(y) a multiple of 4?
False
Suppose 3*p = 2*p + 41. Suppose -3*v + 25 = -p. Is 11 a factor of v?
True
Suppose 5*c + 95 - 718 = -3*t, 0 = -4*c - 4*t + 492. Is c a multiple of 9?
False
Suppose 6*p - 1040 = 130. Is 39 a factor of p?
True
Does 18 divide 168/(-18)*(-99)/6?
False
Suppose p + 5 = -2*i, -i - 4*i - 5 = 5*p. Suppose 0 = -5*z + 5*m + 95, -p*z - 3*m + 92 - 11 = 0. Is z a multiple of 23?
True
Let t be 0 - (-7)/2*14. Suppose 2*c = 5*m - 150, -3*m + 3*c = -m - t. Is 26 a factor of m?
False
Let p(m) = -m + 10. Let u(k) = -k + 10. Let s(v) = -6*p(v) + 7*u(v). Is 6 a factor of s(-8)?
True
Let s = -17 + 12. Let y(r) = r**2 + 3*r + 9. Does 11 divide y(s)?
False
Suppose d = 6*d - 240. Is d a multiple of 24?
True
Suppose 0 = -4*x + 51 - 11. Is 2 a factor of x?
True
Let u be (-1)/3 - (-7)/21. Suppose -5*w - 20 - 21 = -2*f, u = -f - w + 17. Is f a multiple of 5?
False
Suppose 4*j + 0*j + h = 4, -2*j - 4 = -h. Let v(y) = -3*y + y + y - 3 + j. Is v(-5) even?
True
Is 11 a factor of (-1562)/(-11) - (0 + -1)?
True
Let l(n) = -2 + 0*n - 3*n + n. Is 7 a factor of l(-7)?
False
Let c(z) = -15*z - 2. Does 10 divide c(-1)?
False
Let k = -24 + 34. Let f = -18 + k. Let d(h) = -h**2 - 9*h - 4. Does 2 divide d(f)?
True
Let f be (-8 - -4 - 1)/1. Let u(m) = 14*m**2 - 1. Let l be u(1). Let t = f + l. Is 8 a factor of t?
True
Let q(d) = 4*d**2 + 3*d - 15. Is 11 a factor of q(5)?
False
Let i(g) = -g**2 + 5*g. Let o be 6/(-9) + (-42)/(-9). Let p be i(o). Suppose 5*r - 4*c - 82 = 0, 0 = r - p*c - 13 - 13. Does 14 divide r?
True
Let g(f) = 3 + 0*f - 2*f - 6 + f**2 - 8*f**3. Let x be g(-2). Is 1/(3 + (-204)/x) a multiple of 7?
False
Suppose 39 = 3*v - 45. Suppose 3*q = 3*n + 57, n + v + 87 = 5*q. Is 14 a factor of q?
False
Let k = -10 - -87. Suppose -4*a - 17 + k = 0. Is 10 a factor of 12/a*(21 + -1)?
False
Suppose 925 = -90*c + 95*c. Is c a multiple of 37?
True
Let n be -1 + 0/(-2) - 0. Let v(p) = -58*p. Let z be v(n). Suppose -4*w + 62 = -z. Is 10 a factor of w?
True
Suppose -d = 2*d - 30. Suppose -d = 3*s - s. Let x(q) = 2*q**2 + 6*q + 4. Is 9 a factor of x(s)?
False
Let c be 2*1 - (4 - 0). Is (15/(-3))/(c/4) a multiple of 10?
True
Suppose 0 = 6*r - 10*r + 208. Is 20 a factor of r?
False
Let h(n) = n + 12. Let r be h(-5). Suppose 4*o + r - 39 = 0. Is o a multiple of 5?
False
Let u(v) be the third derivative of v**4/6 + 7*v**3/6 + v**2. Let g = 2 - -4. Is 13 a factor of u(g)?
False
Let m be -2*5*(-4)/8. Suppose -5 = -m*j, -6*z + 83 = -2*z - 5*j. Is 22 a factor of z?
True
Suppose -8 = -0*g - 4*g. Suppose 0 = -g*d - 2*f + 14, 0 = d + 2*d - 2*f - 1. Suppose 0 = -d*s + 3*z - 6*z + 57, 5*z - 53 = -2*s. Is s a multiple of 5?
False
Let t be -1*1 + 385 + -6. Does 13 divide (-2)/(-5) + t/30?
True
Suppose 24 = -0*x + x. Suppose -x + 4 = q. Is (1 - 0)/((-2)/q) a multiple of 8?
False
Suppose 4*q = -212 + 572. Is 20 a factor of q?
False
Let v be (2 + -5)*1/(-1). Suppose -4*c - 4*m = -16, v = 2*m + m. Suppose -5*r - c = y, -3*y + 4*r + r = -71. Is y a multiple of 16?
False
Let q(v) = v - 2. Let m be q(4). Suppose -10 = 2*t, t = -z + 3*t + 64. Suppose b = -m*b + z. Does 16 divide b?
False
Let q(g) = -g**3 + 4*g**2 + 2*g - 5. Let o be q(4). Suppose -3*j - 94 = -o*a + 47, 2*a = 5*j + 97. Suppose -4*d + a = -n - 2*n, -8 = 4*n. Is 3 a factor of d?
False
Suppose -282 = 4*v - 10*v. Is v a multiple of 25?
False
Let c = -5 + -3. Let i be c/(-20)*(4 + 1). Suppose 2*k + i*f - 50 = 0, 90 = 5*k - 4*f - 8. Does 11 divide k?
True
Let u(c) be the first derivative of -c**4/4 - 4*c**3/3 + 2*c**2 - 3*c + 1. Let l be u(-5). Suppose 0 = -i + 2*a + 2 + 20, l*i - 40 = 5*a. Does 14 divide i?
False
Let q be (-196)/(-10) + 2/5. Let w be q + (1 - 1/(-1)). Is (6 + -2)/(4/w) a multiple of 11?
True
Let v(c) = -c**3 + c**2 + c - 1. Let l be v(1). Suppose l*m - 5*m + 225 = 0. Suppose 2*a = -r + 9, -5*r = 3*a - 7*a - m. Does 5 divide r?
False
Let h(o) = o**2 - 6*o - 2. Let w be h(7). Suppose -4*z = w*r - 16 + 2, 2*r + 4 = 0. Is z a multiple of 2?
True
Let o = 13 + 3. Suppose -2*w = -o - 8. Is 9 a factor of w?
False
Let j(x) = -2*x**3 - x**2 - 2*x + 3. Let d be j(2). Let w = d - -29. Let c = w - 6. Is c a multiple of 2?
True
Let c(m) = -2*m + 8. Let k(q) = q - 8. Let t(i) = -3*c(i) - 4*k(i). Is t(5) a multiple of 7?
False
Suppose 34 - 104 = -5*v. Does 14 divide v?
True
Let y(h) = h**2 - 4*h + 6. Let k = -75 + 107. Suppose -4*b - k = -5*c, 2*b + b - 7 = -4*c. Does 3 divide y(c)?
True
Let y(u) be the first derivative of -u**4/4 + 3*u**3 - 5*u - 3. Let d be y(7). Is -5*(3 + d/(-15)) a multiple of 8?
True
Suppose 105 = 41*h - 38*h. Does 5 divide h?
True
Let u(l) = -3*l - 1. Let f(s) = -s. Let q(o) = -13*f(o) + 6*u(o). Suppose -2*t - 18 = 2*a, 4*t = 3*t - 3. Is q(a) a multiple of 9?
False
Suppose -3*a + 4*a - 3*l + 1 = 0, 0 = 3*a - 3*l - 9. Let n(z) = z**2 - 10*z + 1. Let u be n(a). Is 0/(2/(-2)) - u a multiple of 19?
False
Let s(h) = -h - 5. Suppose 3*z + 5 = a, 3*a + 5 = 7*a + 3*z. Suppose -5*p - 4*w = 31, 4*w + 15 = -a*p + 5. Does 2 divide s(p)?
True
Let z(p) = 15*p - 6. Let w be z(7). Suppose 0*c + 3*c = w. Suppose -j + c = 2*j. Is 11 a factor of j?
True
Let d = 188 + -102. Is 16 a factor of d?
False
Suppose -11 = -2*y + 17. Let j = y - 8. Suppose -n = p - j, -n - 2*n - 10 = -4*p. Is 2 a factor of n?
True
Let y be ((-84)/10)/(6/(-40)). Let p = -38 + y. Is p a multiple of 8?
False
Let a(g) = 74*g**2 - 6*g - 5. Does 16 divide a(-2)?
False
Let w = -31 - -4. Is (-2181)/w + (-8)/(-36) a multiple of 22?
False
Let a(x) = 2*x**2 - 2*x. Suppose -2*c = 5*u - 7*c + 15, 3*u - 2*c = -8. Let h be u/7 + (-12)/7. Is 6 a factor of a(h)?
True
Let g = 19 - 13. Is -1 + 43 + (g - 3) a multiple of 9?
True
Let o = 23 + -14. Is 6 a factor of o?
False
Let z be ((-2)/3)/((-3)/(-126)). Let v = 44 + z. Is 8 a factor of v?
True
Let n(a) = 10*a**2 - 5*a - 4. Let b be n(-3). Suppose -25 = 5*q, -2*f + 2*q = -b + 31. Does 8 divide f?
False
Let b(o) = o**3 + 5*o**2 - 5. Suppose 0*s + 10 = -2*s. Let k be b(s). Is ((-42)/k)/((-8)/(-40)) a multiple of 14?
True
Let f(s) = 1 - 1 + 8*s + 23*s. Let l be f(1). Let a = l - 17. Is a a multiple of 7?
True
Suppose 272 + 108 = 5*t. Is t a multiple of 18?
False
Is 7 a factor of (434/(-5))/(12/(-30))?
True
Suppose -4*w - 2*p = -60, -74 = -4*w - 0*w + 5*p. Let g = -8 + w. Is 4 a factor of g?
True
Let s(n) = n + 12. Is 4 a factor of s(0)?
True
Let r(o) = -o**3 - o + 50. Is r(0) a multiple of 15?
False
Let d(u) = u**3 + 9*u**2 + 8*u - 1. Is d(-6) a multiple of 16?
False
Suppose -3*l + 356 = -o, 0*o + 10 = -2*o. Does 39 divide l?
True
Suppose -5*y = 20, -y = -2*z - 43 + 137. Suppose c = 4*c - z. Let a = -9 + c. Is 6 a factor of a?
True
Let n(h) = 5*h**3 - 4*h**2 + 2*h. Let z be 2/(-5) + 104/10. Suppose 2*f = -3*f + z. Is n(f) a multiple of 14?
True
Is 9 a factor of (-3)/((-9)/(-78))*-1?
False
Let u(d) = -d - 4. Let t be u(-5). Let h be 0 - (0/3)/t. Suppose h = q - 3. Does 2 divide q?
False
Let t = 75 + -65. Is t a multiple of 4?
False
Suppose 3*g = -o + 9, 0 = 