 Is 6 a factor of i?
True
Let m = 344 + -34. Is 14 a factor of m?
False
Suppose -o + 5*o = 0. Let v = o - -2. Does 3 divide 30/3 - (0 + v)?
False
Suppose p + z = -4*z + 8, -3*p = -3*z - 42. Is p a multiple of 6?
False
Let n(z) = -22*z - 69. Is 5 a factor of n(-4)?
False
Let r be (6/9)/(6/27). Suppose 0 = -r*j + 6*j + 93. Let k = j - -57. Is k a multiple of 13?
True
Suppose 0 = -3*c + 31 + 38. Suppose -5*y - 1863 = -c. Is 13 a factor of y/(-14) - 2/7?
True
Suppose w - 7 = -2*c + 5*c, -17 = -4*w + c. Let q = 1 + w. Suppose q*l - 70 - 25 = 0. Is 6 a factor of l?
False
Suppose -6*f - 20 = -11*f, 0 = 3*h - 3*f - 6. Suppose -3*n = -3*a + h*a - 12, 8 = 3*a - n. Suppose 2 = u - 3*d, 5*d - 34 = -a*u - 0. Is u a multiple of 8?
True
Let o be 3*((-33)/(-9) + -3). Is 22 a factor of o/2*1*62?
False
Let m(x) = -9*x - 1. Let d(v) = -2*v. Let r be d(1). Is 17 a factor of m(r)?
True
Suppose -10*j = -7*j - 15. Is 20 a factor of j/(4 + (-188)/48)?
True
Let s = -4 - -3. Is 5 a factor of 32/(1 - s) + -3?
False
Suppose -7*i + 8 = -62. Is 10 a factor of i?
True
Suppose s - 8 = -3. Suppose -11 = -3*o - s*f, -8*f + 2 = -o - 4*f. Is 13 a factor of 19/1*(-1 + o)?
False
Suppose -2*g = 5*p - 240, 2*p = -6*g + g + 642. Is g a multiple of 10?
True
Let j be 2/((2 - 0)*-1). Let u be ((-8)/(-6))/(j/51). Let i = -38 - u. Does 20 divide i?
False
Let s(v) = -v**2 - 5*v - 4. Let j be s(-3). Let w = j - 3. Is 2/4*(45 + w) a multiple of 11?
True
Suppose 0*g = -4*g + 40. Suppose 3*w + u = 2 - 1, 4*w - 3*u - g = 0. Does 7 divide ((-42)/(-1*3))/w?
True
Suppose -4*i + 383 - 128 = -5*t, -4*i - 3*t + 231 = 0. Is 22 a factor of i?
False
Let g(z) = z**3 - 4*z**2 - 4*z - 1. Let x be g(5). Suppose x*j = -y + 34, 7 = 3*y + 1. Is j a multiple of 3?
False
Let u(p) = -6*p**3 + 3*p**2 - 2. Let h be u(2). Let n = -10 - h. Does 14 divide n?
True
Suppose -r - 222 = -5*a, -3*a - r + 159 = 29. Does 22 divide a + 0*4/(-8)?
True
Let h = 71 - -9. Is 20 a factor of h?
True
Suppose -3*m + 2 = -7. Is 6 a factor of 4 - (2 + -11)/m?
False
Let i = 0 - 9. Let h be 38/6 - (-3)/i. Is 59/2 + 3/h a multiple of 12?
False
Let x(w) = -w - 2. Let j be x(-6). Let n = -165 + 295. Suppose -3*a + 20 = 5*f - 134, 0 = j*f - a - n. Does 13 divide f?
False
Let h = -135 + 150. Is h a multiple of 2?
False
Suppose -t = -3*k - 19, -5*k - 2*t = -5*t + 25. Let w = 22 + k. Is w a multiple of 11?
False
Suppose 11 + 1 = -2*f. Let z = 3 + f. Let c = 11 + z. Is 4 a factor of c?
True
Suppose 0*v + 240 = -3*v. Let b = 152 + v. Is b a multiple of 18?
True
Let l(o) = 5*o**2 - 2*o + 4. Let v be l(2). Suppose -v = 5*k, t + 5*k = 4*t - 32. Is 3 a factor of t?
False
Suppose 0 = 4*p + 5*b - 143, p - 3*b = 6*p - 195. Suppose -3 = -3*h + p. Is 7 a factor of h?
False
Let p be (0 + -3)/3 - -4. Let u(c) = c**2 - c - 3. Let f be u(p). Suppose 10 = f*q - 17. Is q a multiple of 4?
False
Let i(k) = 3*k + 15. Is 9 a factor of i(7)?
True
Suppose -21 - 15 = -3*n. Is n a multiple of 4?
True
Let f(w) = -5*w + 1. Let b be f(2). Let d = b + 16. Suppose 0*x - d = -x. Is 7 a factor of x?
True
Let c(d) = 3*d. Let z be c(-4). Suppose -4*r - 5 - 23 = 0. Let q = r - z. Is q even?
False
Let m = -2 + 0. Let y(r) be the third derivative of -r**4 + r**3/3 + r**2. Does 17 divide y(m)?
False
Let i(a) = a**2 - 5*a + 6. Let k be i(4). Let m(j) = -3 + j**2 - 7 + 9 + 2*j**2. Is 9 a factor of m(k)?
False
Let t(d) = 16*d**2 - 3*d + 2. Let z be 9/4 + 3/(-12). Does 15 divide t(z)?
True
Suppose 3*x + 5*v = 386, 3*x - x + 3*v - 257 = 0. Is 37 a factor of x?
False
Let m be (-62)/(-6) - (-2)/(-6). Is (4/m)/(2/60) a multiple of 6?
True
Let o = -6 + 11. Suppose -o*f + 9 = -41. Does 10 divide f?
True
Let m(u) = -22*u**2. Let o(z) = z**2 - z. Let q(i) = -m(i) + o(i). Let f be ((-1)/(-4))/(2/(-8)). Is 11 a factor of q(f)?
False
Does 10 divide (26/(-3))/((-10)/45)?
False
Suppose 5*c + 5*m - 55 = 0, -4*c + 31 = -2*c + 5*m. Is c even?
True
Suppose 5*z - 5 = -3*c, -4*z - 5*c - 5 = z. Let t be (z/(-6))/((-1)/183). Is (-4)/(-6) + t/6 a multiple of 12?
False
Let l(s) = -255*s**3. Let d be l(1). Does 5 divide d/(-25) - 1/5?
True
Suppose 3*b - 2*b - 24 = 0. Suppose -y + b = -v, 2*y - 51 = v - 0*v. Is 9 a factor of y?
True
Let j(h) be the first derivative of h - h**2 + 1 + 5/3*h**3. Is 7 a factor of j(2)?
False
Is 23 a factor of ((-9)/15 - -1) + (-3672)/(-20)?
True
Let z = 8 - 5. Suppose 0 = z*b - 6 - 0. Suppose 0 = 2*v - 10, 2 = n + v - b*v. Does 4 divide n?
False
Let v = -12 - -14. Suppose 37 = 3*m + 4*u, m - 27 = v*u - 8. Is 15 a factor of m?
True
Suppose -2*z = 3*g - 198, -2*z + z = -4*g + 264. Is 33 a factor of g?
True
Suppose 3*v + v = 72. Is v a multiple of 14?
False
Suppose 4*v + 104 = 4*o, 2*o - v - 10 = 44. Suppose -44 - o = -2*j. Is 18 a factor of j?
True
Let n = -15 - -41. Is 12 a factor of n?
False
Let s be 15/(-3)*2/(-5). Suppose -4*z + g + 49 = 0, -g - 3*g = -s*z + 42. Is 3 a factor of z?
False
Let j(b) = -2*b**3 - 3*b**2 - 3*b - 7. Does 10 divide j(-3)?
False
Suppose c = 6*c - 35. Suppose -2*l + 33 = 11. Suppose 3*o - 6 = 0, 5*v = -4*o + l + c. Is v even?
True
Suppose 2*k + 24 = 5*k. Suppose 4*l = -0*l + 28. Let p = l + k. Does 10 divide p?
False
Suppose x = -3*v + 629, -846 = -4*v - 6*x + x. Does 19 divide v?
True
Suppose -g = 3*o - 160, 0 = 3*o - 3*g - 84 - 72. Does 7 divide o?
False
Let r(f) = 3*f**2 - 6. Suppose 2*t - 8 = -0*t. Is r(t) a multiple of 18?
False
Let n(l) be the second derivative of 41*l**3/6 + 4*l. Does 21 divide n(2)?
False
Let q be (-536)/10 - (-8)/(-20). Let c = q - -109. Is c a multiple of 23?
False
Let b(g) = -6*g - 7. Is b(-2) even?
False
Let j(h) = -h**2 + 12*h - 2. Let t be j(5). Suppose 0 = -4*z - 3*w + t + 22, -5*w + 1 = z. Does 16 divide z?
True
Let i = 2 + 1. Let m be -74 + -1 - (i - 3). Is 11 a factor of (m/9 + 1)*-3?
True
Let k be 5/((-26)/(-27) + -1). Let a = -86 - k. Is a a multiple of 13?
False
Let z(c) be the first derivative of c**4/4 + 5*c**3 - 11*c**2 - 6*c - 4. Is 30 a factor of z(-16)?
True
Suppose 0 = -5*t + 19 + 6. Suppose t*n = 25 - 250. Let o = n + 71. Is o a multiple of 10?
False
Does 22 divide (-18)/10*(-2970)/81?
True
Let m(i) = 26*i + 14. Is 16 a factor of m(5)?
True
Let i(j) = j**2 - 8*j - 8. Let f = 3 - -7. Is 10 a factor of i(f)?
False
Suppose -12*m + 10*m + 512 = 0. Is 34 a factor of m?
False
Does 7 divide 30*(-2)/(2 - 4)?
False
Let k = 3 - 0. Suppose k*f - 37 = -2*x, 2*f + 3*f - 30 = 3*x. Does 9 divide f?
True
Suppose -2*v + 205 = -4*z + 71, 0 = -3*z - 3. Is v a multiple of 13?
True
Does 19 divide (-6)/(-27) + (-2 - (-358)/9)?
True
Suppose 4*x + 61 = c + 5*x, -5*c + 311 = 3*x. Is c a multiple of 7?
False
Suppose 0 = -h - 2*h - 273. Does 8 divide (-4)/(-6) - h/3?
False
Let u(v) = 2 - 2*v - v**2 + 0*v**2 - v. Let l be u(-4). Is ((-1)/l)/(1/48) a multiple of 14?
False
Let r be 1*(-2 + 1 - -110). Suppose 0*f - f = -4*b - 39, -3*f + r = -4*b. Is f a multiple of 12?
False
Is -3*(-66)/(-9)*-3 a multiple of 16?
False
Let x(q) = q + 8. Let i be x(-8). Suppose 3*b + 2*b + l - 98 = 0, -4*b - 4*l + 88 = i. Is b a multiple of 19?
True
Let x = 73 + -51. Does 22 divide x?
True
Suppose -115 = -4*u - 5*g, -3*u - 2*u + 137 = 4*g. Suppose 0 = 5*v - u, -x - 5*v + 53 = 17. Does 8 divide x?
False
Suppose 0*h = h + 14. Suppose -o - 6 + 33 = 0. Let v = h + o. Is v a multiple of 13?
True
Let o = 78 - 38. Suppose -3*s + o = -26. Is 8 a factor of s?
False
Let o = 20 - 12. Is 4 a factor of o?
True
Let h be (-5)/2*(-16)/10. Suppose 0 = -h*a - z + 555, -2*z = -2*a + 35 + 255. Suppose n + a = 5*m, 46 = 4*m - 2*n - 66. Is 14 a factor of m?
True
Suppose 9*n + 10 = 4*n + 4*g, 0 = 2*n + 5*g + 4. Let u be 15/9*(-90)/n. Suppose 3*s + 4*x - u = -22, 5*s = 5*x + 135. Is 15 a factor of s?
False
Let f = 58 + 52. Is 13 a factor of f?
False
Suppose 753 = 5*l - 102. Suppose 3*t = 3*y + l, t - y - 163 = -2*t. Does 8 divide t?
False
Suppose 2 - 4 = k. Let j(b) = -2*b**3 - 2*b - 1. Let x be j(k). Let p = -11 + x. Is p a multiple of 6?
False
Let y(m) = 24*m + 2 + 2 - 3. Let b be y(5). Suppose 5*s - 53 = -4*a + b, -5*a = 3*s - 107. Is s a multiple of 17?
True
Let z = -96 - -377. Is z a multiple of 10?
False
Let r(c) = c**2 - 18*c + 14. Does 20 divide r(22)?
False
Let y(p) = p + 2. Let t = -3 - -10. Let c be y(t). Suppose 0 = -2*q + q + 5*f + c, -3*f - 45 = -5*q. Is 9 a factor 