 = 0. Is 12 a factor of y?
True
Let y(k) = -13*k**3 - k + 19*k**3 + 73*k**3 - k**2. Let f be y(-1). Let n = -45 - f. Does 13 divide n?
False
Suppose 2*y - 20 = 28. Is y a multiple of 3?
True
Suppose 3*o - 383 = -4*s - 0*o, -5*o = 15. Is 25 a factor of s?
False
Let b = 59 - -13. Does 12 divide b?
True
Suppose -y = -3*k + 2*k, -5*y - 5*k = -30. Let b(f) = -f**3 + 3*f**2 - f - 2. Let m be b(y). Let n = 21 + m. Is n a multiple of 13?
False
Let c = 8 + -6. Let w be c/4 + (-2)/4. Suppose w = 3*m - 9 - 120. Does 13 divide m?
False
Let q(j) = 2 - j**2 + 6*j + 2 + 4*j**2 - 4*j**2. Let d be q(6). Suppose -5*c - 25 = d*x - 129, -78 = -3*x - 5*c. Is x a multiple of 13?
True
Let u(a) = 38*a - 13. Is 17 a factor of u(3)?
False
Does 14 divide (-203)/(-6) + 8/48?
False
Let h = 17 - -6. Does 13 divide h?
False
Suppose -3*m = -0*m - 303. Is 17 a factor of m?
False
Let o = -18 - -12. Is 15 a factor of (-183)/o - 1/2?
True
Let c be (-4 - -4)/(0 + 1). Suppose 3*h - 76 - 110 = c. Does 29 divide h?
False
Let w = -4 - -42. Is 19 a factor of w?
True
Let u be 2/(-8) + 34/8. Suppose -5*y = -u*a - a + 70, -2*a + 43 = y. Let o = a - -13. Is o a multiple of 16?
True
Let p = 10 - 6. Suppose 0 = 5*c - 3*w - 5, 3*c + w + 0 = 3. Suppose -2*h = -5*g + 40, -p*h + c = 2*g - 39. Does 10 divide g?
True
Suppose 3*k = -22 - 2. Let z = 13 + k. Suppose -3*s - 3*n = -24, -z*s + 4 = 4*n - 39. Does 6 divide s?
False
Let h be ((-18)/15)/(1/(-5)). Suppose -3*s - 12 = -h*s. Suppose 0 = s*r - 40 + 12. Is 3 a factor of r?
False
Let f(d) = 10*d - 12. Does 24 divide f(6)?
True
Let v(i) = 27*i + 1. Suppose 8*p = -3*d + 3*p - 16, -2*d = -2*p. Let m be v(d). Let y = -28 - m. Is 20 a factor of y?
False
Let i be (-3 + 50/(-6))*-3. Let d = 56 - i. Does 11 divide d?
True
Let h(u) = -u**3 + 12*u**2 + 3*u - 10. Let r be h(12). Suppose -3*c - f = -r, -3*f = 3*c + 3 - 21. Is c a multiple of 10?
True
Let u = -7 - -28. Let d be -2 - 20/((-6)/3). Let k = u - d. Is k a multiple of 8?
False
Let p be 14 - (2 - -1)/(-3). Suppose -2*k = k - p. Let d = k - -4. Is d a multiple of 5?
False
Let d be (-7)/(-7)*(3 - 2). Is 4/d + 0 + 28 a multiple of 16?
True
Suppose -3*u + 38 = t - 3*t, -4*u - 4*t = -24. Does 4 divide u?
False
Does 5 divide 165/(-6)*8/(-10)?
False
Suppose b - d - 37 = 0, -2*b + d = b - 113. Is 9 a factor of b?
False
Let c(s) = 5*s**2. Does 11 divide c(-3)?
False
Let i = 61 + -88. Is (i/18)/(6/(-40)) a multiple of 10?
True
Suppose w - 415 = -2*g, 2 = -2*g + 3*g. Does 41 divide w?
False
Let a(z) = z**2 - 11*z + 2. Suppose 0 = 4*l - l + 4*n - 29, 4*n = -4. Let i be a(l). Suppose 0*f + i*f = 22. Does 8 divide f?
False
Let h = 7 + -7. Suppose 171 = 3*r - h*r. Is r a multiple of 19?
True
Let g(m) = -m**3 - 7*m**2 + 4*m - 4. Let w be g(-8). Suppose 0 = f + u - 38, 0 = -3*f + 2*f + u + w. Does 11 divide f?
True
Let v(o) = o**2 - 4*o + 5. Let i be v(4). Suppose -p = -2*p + i. Suppose p*z - 77 = -7. Is z a multiple of 5?
False
Let g be (-69)/(-2) + 2/(-4). Suppose 2*u = 5*l - g, 2*l + 0*u = -4*u + 28. Is l a multiple of 6?
False
Let d = 0 + 6. Let h(j) = d*j - j - 3*j + 2. Is h(3) a multiple of 3?
False
Let b(h) = -11 + 15*h + h**3 + 3*h**2 - 4*h - 13*h**2. Is b(9) a multiple of 5?
False
Let m = 6 - 0. Suppose m = -a + 2*a. Is 6 a factor of a?
True
Let c = 138 - 96. Does 14 divide c?
True
Let r be (-2)/(-4) - (-5)/2. Suppose -k = -r*g + 21, g + 3*k = -k - 6. Does 3 divide (-63)/g*(-2)/3?
False
Let x(y) = -2*y - 1. Let t be x(-3). Let l = t + 9. Is 7 a factor of l?
True
Suppose 6 = 5*d + 1, -d - 449 = -5*m. Is m a multiple of 10?
True
Let l(w) = -w - 3. Let i be l(-6). Suppose 0 = -5*h + 15, h - 16 = 2*g - i*h. Does 13 divide (-3)/(-2) + (-41)/g?
False
Suppose 3*q + 0*k - 4*k = -95, 0 = 3*q - 5*k + 100. Let j = q - -51. Is j a multiple of 14?
False
Let u(h) = -h**3 - 4*h**2 - 9*h + 6. Is u(-6) a multiple of 33?
True
Let y = 6 + 4. Let p be (3/(-2))/((-1)/4). Is ((-8)/y)/(p/(-135)) a multiple of 7?
False
Suppose -t - 30 = 5*k - 10*k, -5*k + 50 = -5*t. Let b(x) = -x**3 + 2 - 7*x**2 - 3*x + 4*x**2 - x**2 + 7*x. Is b(t) a multiple of 7?
True
Let h(a) = a**3 + 15*a**2 + 8*a - 10. Is 10 a factor of h(-13)?
False
Suppose -8*q = -2*q - 450. Is 5 a factor of q?
True
Let p be 5*(0 - (-12)/(-10)). Let c be 3/9 - (-2)/p. Suppose 2*i - 11 - 9 = c. Is i a multiple of 10?
True
Suppose 2*a = 2, -505 = -5*q + 2*a - 7*a. Is q a multiple of 24?
False
Suppose 2*f = 2*v - 76, 0 = -2*v - 2*f - 45 + 133. Let h = -15 + v. Is h a multiple of 10?
False
Let m(h) = -h**2 + 9*h - 5. Let l be m(8). Is 8 a factor of 24 - l/(3 - 0)?
False
Let r be (-1)/(2 - (-65)/(-33)). Let c = 83 + r. Suppose h = -h + c. Does 8 divide h?
False
Let z = 5 - 0. Suppose -4*a - z + 21 = 0. Suppose -5*y - a*c = -116, 0 = 5*y + 3*c - 0*c - 112. Does 6 divide y?
False
Suppose -3*f - 3*q = -6*f + 60, 0 = 2*f - 3*q - 42. Suppose -4 + f = w. Is w a multiple of 8?
False
Suppose 2 - 322 = 5*u. Let w = u - -97. Is 11 a factor of w?
True
Let u(s) = s**2 - 4. Let a be u(-3). Suppose q - 129 = -a*o, 0*o - 51 = -2*o - q. Is o a multiple of 13?
True
Does 11 divide 12/(-30) - (1 + (-1334)/10)?
True
Let v = 51 + -12. Does 7 divide v?
False
Let i(w) = w**2 + 4*w - 1. Let g be i(-3). Is 15 a factor of 186/4 - (-6)/g?
True
Let c = 7 - 5. Suppose 13 - 3 = -c*i. Let h(n) = n**3 + 7*n**2 + 5*n + 1. Is 9 a factor of h(i)?
False
Suppose -3*h - 7*h = -220. Does 5 divide h?
False
Let f(j) = j**3 - 6*j**2. Let q be f(6). Let h = q - -4. Does 5 divide (-25)/(-10)*h*1?
True
Suppose 0 = -2*s + 7 + 115. Let c = -41 + s. Is c a multiple of 14?
False
Let r(u) = 16*u**2 - 49*u - 2. Is 14 a factor of r(6)?
True
Does 36 divide -18*(-3 - ((-13)/(-2))/1)?
False
Is 18 a factor of 82 - -2*(2 + 2)/8?
False
Suppose -2*m + 45 = m. Is 6 a factor of ((-4)/6)/((-1)/m)?
False
Let n = 1083 + -742. Is n a multiple of 31?
True
Let q = 80 + -42. Let d = q + -27. Does 3 divide d?
False
Let b(c) = c**2 - 3*c - 2. Let v be b(3). Is 16 a factor of 1 + v*(-75)/6?
False
Let q be 6/4*8/6. Let v(s) = -28*s + 2. Let z be v(-2). Is -1 + z/2 + q a multiple of 15?
True
Suppose 4*u + 2*f = -f - 15, 4*f + 4 = 0. Let r be 2/u + (-12)/(-18). Suppose r*p + 34 = 2*p. Does 8 divide p?
False
Let q(y) = 9*y**2 + 1. Suppose -1 = 2*d - 3. Let i be q(d). Is 5 a factor of 0 - (0 - i/2)?
True
Let g(t) = t**2 + t + 4. Let p = -18 + 13. Is 9 a factor of g(p)?
False
Let h(q) = -4*q + 16. Let m be h(11). Does 2 divide 21/m*16/(-6)?
True
Let h(r) = 3*r**3 - 2*r**2 + 3*r + 3. Does 32 divide h(4)?
False
Let s(n) = 10*n**3 + n**2 - 9*n + 5. Is s(2) a multiple of 5?
False
Let t be 4/(-1) + 1/(-1). Let c = t + 9. Suppose -2*y + c*h = 3*y - 154, -h + 59 = 2*y. Is y a multiple of 13?
False
Let v(o) = 4*o - 1. Let t be v(2). Suppose t*q - 2*q + 40 = 0. Let p = 61 + q. Does 19 divide p?
False
Suppose 4*f = 2*y + 514, 0 = -y + 3*y + 2. Is f a multiple of 16?
True
Suppose -2*f + 5*q = -16 - 15, f - 2 = -2*q. Does 3 divide f?
False
Let j(h) = -2*h + 5. Let v(l) = -l**3 + 8*l**2 - 7. Let b be v(8). Is 10 a factor of j(b)?
False
Let f = 10 + -7. Suppose f*g + 10 = -8. Is 8 a factor of ((-56)/21)/(2/g)?
True
Let c = 3 - -2. Suppose 0 = c*b - 2*f - 419, -4*b + 3*b + 3*f + 76 = 0. Suppose -80 = -5*k - 3*q, -5*q + b - 21 = 3*k. Does 8 divide k?
False
Let x = 5 + 11. Does 3 divide x?
False
Let z be 3/((-1 + 2)/3). Suppose 3*m - 4*g = -8*g - 65, -3*m - 55 = 2*g. Does 13 divide ((-15)/z + 0)*m?
False
Let f(r) = 0*r - 5 + 3 - r**2 - 7*r**2 - 2*r - r**3. Suppose -2*k - 10 = 0, 4*k - 25 = 5*t + k. Does 14 divide f(t)?
True
Suppose 19 - 29 = 5*f. Is 1 + 9/(-2)*f a multiple of 5?
True
Let v(j) = j**2 - 5*j + 12. Let m be v(8). Suppose 3*l + m = 3*d + 210, -4*d = 4*l - 208. Is 17 a factor of l?
False
Is 15/(-2)*12/(-10) even?
False
Let a = -9 - -16. Suppose a + 9 = x. Is 16 a factor of x?
True
Let p be 4/(-18) + 202/18. Suppose 2*o + p = -3*i, 3*o - i = 3*i + 26. Is 6 a factor of (-75)/(-6) - o/(-4)?
False
Suppose -2*j + 25 = -5*f - 53, -141 = -5*j - f. Suppose -10 = -2*w + 4*z, -2*w - 3*w - z + 14 = 0. Let t = j + w. Is t a multiple of 16?
True
Suppose -59 = -4*f + 41. Does 8 divide f?
False
Let r be ((-29)/(-4))/(4/(-16)). Let n = -13 - r. Is n a multiple of 16?
True
Suppose 5*a - a - 8 = 0. Suppose -3*l = -v - 63, -l = -3*v - 10 - 19. Suppose a*x - l = -6. Does 7 