b - (-4)/3). Does 15 divide (-3)/(k/(-16)) - 1?
True
Let v = -118 - -202. Is 14 a factor of v?
True
Suppose 0 = 5*d - 3*d. Suppose -g - y + 166 = 4*g, d = -g + 5*y + 54. Is g a multiple of 14?
False
Suppose 3*v - 166 - 106 = -2*u, -v + 93 = 3*u. Let c be v/11 + (-2)/11. Does 4 divide c/(-12)*-3*2?
True
Let d(x) = -x**2 + 9*x. Let k = -6 - -10. Does 10 divide d(k)?
True
Let r = 15 - 1. Does 14 divide r?
True
Suppose -4*z = -r - 218, -2*z + 102 = -0*z + 3*r. Is 9 a factor of z?
True
Let l(o) = o + 2. Let k be l(-5). Let g = k + 7. Suppose 2*i + 14 = g*i. Is 3 a factor of i?
False
Let k(r) = 4*r**2 + 4*r. Is 15 a factor of k(4)?
False
Is ((-64)/(-5))/(5/25) a multiple of 16?
True
Let z be 1611/5 + 2/(-10). Is z/10 + 2/(-10) a multiple of 16?
True
Let t = -35 - -57. Does 11 divide t?
True
Let x(i) = 8*i - 1. Let s = -10 - -13. Is 9 a factor of x(s)?
False
Let f be (-1)/(-5) - (-33)/(-15). Let v be 11*(-1 + f) - -2. Let r = v + 52. Does 8 divide r?
False
Let n be (-1)/3 + (-23)/3. Let j(o) = -o**2 + 4*o**2 + 0*o**2 - 2*o**2 + 2*o. Does 19 divide j(n)?
False
Let x(y) = y + 8. Let q be x(-6). Let f be 0/(-2) - (4 + -23). Is f*3*(-1 + q) a multiple of 20?
False
Suppose -60*b + 66*b = 1404. Is b a multiple of 18?
True
Let v be (-2 + -1)*(-4 - -3). Suppose 5*q = 25, -v*x - 2*q - q = -3. Does 15 divide (x/(-3))/(2/66)?
False
Suppose 3*k - 268 = -88. Suppose 7*u - k = 108. Is u a multiple of 19?
False
Let n be 12/10*50/(-3). Is ((-8)/n)/((-2)/(-30)) a multiple of 3?
True
Suppose h + 3*h = t + 85, -4*t + 12 = 0. Is 11 a factor of h?
True
Suppose 0*q + 4*q = 12. Suppose 0 = -q*l - 0*l + 165. Suppose -8*z + l = -3*z - 5*h, 14 = 4*z + 2*h. Does 6 divide z?
True
Let p be (1 + 1)*(-24)/16. Does 12 divide 35 + p*6/(-9)?
False
Let v(h) = 35*h**3 + h**2 + 2*h - 2. Is 10 a factor of v(1)?
False
Let f(s) = 53*s**3 - 3*s**2 + 5*s. Let k(y) = 26*y**3 - 2*y**2 + 3*y. Let p(g) = -3*f(g) + 5*k(g). Does 11 divide p(-1)?
False
Is 4 a factor of (6*-3)/((-2)/2)?
False
Let s(c) = -10*c + 1. Let k(j) = -7*j + 1. Let a(q) = -7*k(q) + 5*s(q). Let v be a(-8). Suppose 30 = -3*l + v*l. Is 8 a factor of l?
False
Let p(q) = -q**3 + 4*q**2 + q - 2. Let l be p(4). Let i be l + 4 - (-2 - -3). Suppose i*y = y + 80. Is 20 a factor of y?
True
Suppose 3*h - 5*c - 434 = -0*h, h - 178 = -5*c. Is 9 a factor of h?
True
Let d(n) = -n**3 + 3*n**2 + 5*n - 4. Let f be d(4). Let m = f + 2. Suppose -4*h + h = -15, -43 = -3*x - m*h. Does 5 divide x?
False
Suppose -5*n + d = -764, 7*n + 763 = 12*n - 2*d. Is 22 a factor of n?
False
Is 19 a factor of ((-34)/(-8))/((-1)/(-16))?
False
Let c = 52 - 12. Let g = -21 + c. Does 16 divide g?
False
Suppose -364 = 3*s - 7*s. Let v = s - 13. Is 26 a factor of v?
True
Let y(l) = -3*l - 1. Let c be y(-2). Suppose c*f - 313 = 3*b, 0 = -3*f + 7*f - 4*b - 244. Is 13 a factor of f?
True
Suppose x = 4*x - 6. Suppose -27 = -8*t + 5*t. Let p = t + x. Does 5 divide p?
False
Suppose -8 = -9*a + 64. Is a even?
True
Let x = 165 + -77. Does 44 divide x?
True
Let y = 149 + -88. Is y a multiple of 20?
False
Let l be -5*(7/5 - 1). Suppose 2*m + 4*t - 2*t = 0, 3*t - 4 = -5*m. Is 9 - l*m/2 a multiple of 5?
False
Suppose 618 = 4*h - 2*r, -4*r + 32 = 12. Is 13 a factor of h/4 + (-2)/8?
True
Does 7 divide 3*1 + 46 + 7?
True
Suppose -4*o + 24 = 2*t + 2, t - 20 = -5*o. Let n = -3 + t. Does 2 divide n?
True
Let t be -2 + 4 + -2 + 5. Let z(h) = h**3 - 4*h**2 - 4*h. Let s be z(t). Suppose -s - 19 = -3*p. Is 7 a factor of p?
False
Let u(y) = 2*y**2 + 2*y + 3. Suppose -4*r + r = 6. Let i = -1 + r. Is u(i) a multiple of 15?
True
Suppose 10 = 5*k - 5. Suppose 16 + k = x. Is x a multiple of 19?
True
Let c(b) = b**2 + b - 14. Does 14 divide c(6)?
True
Let a be 1*(-1 + -1 - 1). Suppose 9 = -n + 2*n. Let z = n + a. Is 6 a factor of z?
True
Let d be (-2)/8 + (-191)/4. Does 15 divide (d/9 + 2)*-6?
False
Let t(y) be the first derivative of -y**4/4 + 7*y**3/3 - 7*y - 2. Let j be t(5). Let m = j - 28. Does 10 divide m?
False
Let t be (-18)/(-63) - 628/(-7). Is t/12 - (-3)/6 a multiple of 2?
True
Suppose 0 = -6*n + 644 - 236. Is 20 a factor of n?
False
Suppose -3*m - 3 = 3*u, -2*m + u + 4 = 3. Suppose m = -w + 5*g + 3 + 25, 5*w - 44 = g. Is w a multiple of 3?
False
Let c(n) = n**2 - 5*n + 6. Is c(-3) a multiple of 6?
True
Suppose -48 = -6*d + 2*d. Suppose 0*w = -3*w + d. Suppose p + 2*b = 6*b + 20, 5*b + 58 = w*p. Is 5 a factor of p?
False
Let w = -33 + 124. Let p be (3 - 2)/((-2)/(-6)). Suppose 4*x = -p*o + w, -8 = -4*o + 12. Does 13 divide x?
False
Let c be (-202)/(-5) - 4/10. Suppose 0 = -0*y - 4*y + 12. Suppose -m = y*m - c. Is 4 a factor of m?
False
Let i(h) = h**3 + h**2 - h - 2. Let y be i(2). Suppose -2*v = -16 - y. Is 4 a factor of v?
True
Let n be 206/4 - 2/4. Let z = n - 15. Suppose 4*q = -2*t - 0*q + z, 4*t - 116 = 3*q. Does 11 divide t?
False
Suppose 0 = -7*h + 8*h - 157. Does 16 divide h?
False
Let l = -12 + 34. Suppose 2*b + 0*b + 3*i - 15 = 0, -l = -3*b - 5*i. Does 9 divide b?
True
Let z(y) = 5*y - 42. Let r(i) = -2*i + 14. Let n(a) = -8*r(a) - 3*z(a). Let j be n(-11). Suppose 23 = j*o + 3*v + 5, 2*o + 4*v - 12 = 0. Does 3 divide o?
True
Let q(f) = -f**3 + 5*f**2 + 5. Let d be q(5). Suppose 0 = d*m + 20, v + 6 = -4*m - 5. Is v a multiple of 3?
False
Let s be 1/2 - (-28)/8. Suppose -4*f = 2*n - 60, f + 0*n = s*n + 6. Is f a multiple of 7?
True
Let t be 21/(-14)*(-4)/3. Suppose -s - t*s = -27. Is 2 a factor of s?
False
Suppose 0 = -3*z - z + 156. Is 10 a factor of z?
False
Suppose 63 = -3*p + 4*k, -5*p + 4*k = -k + 110. Is 8 a factor of ((-80)/p)/(1/5)?
True
Let l be (-12)/2*20/(-12). Let z be 45/l*2/(-3). Let r = z + 12. Is 6 a factor of r?
False
Let r be (-18)/4*(-8)/12. Let k be (-58)/10 - 2/10. Is 6 a factor of ((-9)/r + 0)*k?
True
Is (-4)/(-14) - (-492)/42 a multiple of 3?
True
Let a = -310 - -710. Does 27 divide a?
False
Let s = -16 - -21. Suppose 60 = -s*z + 8*z. Is 20 a factor of z?
True
Let j(g) = -g + 14. Suppose 0 = -3*u + f + 52, 3*u + f - 53 = 3*f. Let t = -9 + u. Does 3 divide j(t)?
True
Suppose -40 - 30 = -2*u. Is 18 a factor of u?
False
Let t(w) = w**2 + 6*w - 3. Let q be t(-7). Suppose 5*r + 168 = 3*s, 0 = 4*s - q*r - 138 - 94. Suppose y - 48 = 2*v, 2*y + 3*v = -0*v + s. Is 20 a factor of y?
False
Does 9 divide (-1945)/(-20) + (-2)/8?
False
Suppose -4*q + 0*q + 336 = 0. Does 21 divide q?
True
Let q(v) = -v**3 - 6*v**2 + 8*v + 5. Let c be q(-7). Is (-9*2 + 2)/c a multiple of 8?
True
Let u(a) = 2*a**2 - 6*a - 6. Let z be (-35)/(-14)*(2 - 0). Let c be u(z). Suppose -3*p - 2 = 5*m, 2*p + c = -3*m - 3*p. Does 2 divide m?
True
Let t = 34 + 8. Does 7 divide t?
True
Suppose 3*l + 2*l = 40. Is 8 a factor of l?
True
Let t = -5 - -10. Let s(n) = -8*n + 4 + 0 - n**3 + 0 + 7*n**2. Is s(t) a multiple of 14?
True
Let g be ((-12)/(-15))/((-2)/20). Let q(m) = m**2 + 6*m - 6. Is q(g) a multiple of 6?
False
Let q be (-2)/(-3)*63/14. Suppose -v + 4 = 2*i, 24 = -q*v + 4*v - 3*i. Is 5 a factor of v?
False
Let a(j) = -3*j**3 + 2*j + 1. Let m be a(-1). Let v be -20 - (-2 + 2)/m. Let o = -1 - v. Does 9 divide o?
False
Let d(f) = -f**2 + 1. Let y(z) = -3*z**2 - 3*z + 2. Let a(u) = 2*d(u) - y(u). Let w be a(-3). Is (w/3 + 1)*10 a multiple of 8?
False
Suppose 3*a + 9 = 5*l - 2*l, -3*l = -12. Let k = -4 - a. Is (0 + (2 - 6))*k a multiple of 10?
True
Let l(x) be the third derivative of -x**4/8 - x**3 + x**2. Let a(u) = u**2 - u - 10. Let h be a(0). Is 12 a factor of l(h)?
True
Suppose 16*a - 20*a = -240. Is 15 a factor of a?
True
Suppose 0 = -2*h + k + 1 + 1, 3*h - 10 = -2*k. Suppose 5*n + h*z - z = 45, -4*n + 27 = -z. Is 3 a factor of n?
False
Let g(r) = r**2 + 6*r - 2. Let z be g(-6). Let b be -9*(-12)/9 - z. Suppose b = 2*d - d. Is d a multiple of 14?
True
Let k be (-6)/9*9/6. Does 5 divide (k - -2) + 24/1?
True
Let y be 52/6 + 4/(-6). Let i = y + -2. Suppose 2*w + i = 0, -3*w - 45 = -3*o + o. Does 7 divide o?
False
Let t(f) = 7*f**3 - 3*f**2 + 2*f + 2. Suppose -6*s + 5 = -7. Is t(s) a multiple of 10?
True
Let c = -15 - -21. Is 2 a factor of c?
True
Suppose -3*y + 0*i + 2*i = 35, -31 = 3*y - 4*i. Let h = y - -19. Let d = 15 - h. Does 8 divide d?
False
Let w(o) = o**2 + 6*o + 6. Let h(n) = 7*n**2 + 1. Let f be h(-1). Let g = f + -14. Is 4 a factor of w(g)?
False
Suppose 5*a = -3*g + 18, 2*g + 10 =