ctor of h?
False
Suppose 16 = -4*o + 4, x - 5*o - 39 = 0. Let d = -14 + x. Is d a multiple of 2?
True
Let m(g) = -g**2 - 8*g + 25. Let o be m(-11). Let a be (-15*(-1)/1)/1. Is 10 a factor of o/(-3)*a/4?
True
Is 16 a factor of ((-30)/35)/(-3) + (-222)/(-7)?
True
Suppose 4*h + 4*i - 356 = 0, -2*h = -h - i - 91. Is 10 a factor of h?
True
Let q(l) = -l**3 + 6*l**2 - 2*l + 6. Let k be q(5). Let i = k + -6. Does 15 divide i?
True
Suppose 4*y + 421 - 1669 = 0. Does 35 divide y?
False
Let t(c) = c**2 + 3*c - 1. Let o be t(-4). Let w be (-7 + 1)*(-120)/9. Suppose o*z = -z + w. Is 10 a factor of z?
True
Let y(g) = -g**3 + 6*g**2 + 5*g. Let c be y(6). Let q = c - 10. Is q a multiple of 12?
False
Suppose -8 = 2*a + 3*l, -3*l + 8 = l. Let u(d) = d**2 - d + 1. Is 19 a factor of u(a)?
True
Let w = -14 + 8. Is 4 a factor of (10/w)/((-7)/63)?
False
Let m = 185 - 37. Is m a multiple of 13?
False
Let i = -21 + 34. Is 7 a factor of i?
False
Suppose 2 = -i - 0*i. Let f be 15*i/12*-2. Suppose -f*z - 2*x = -80, -5*z - x = -3*z - 33. Does 7 divide z?
True
Let b(r) = r**3 - 7*r**2 + 4*r + 8. Does 18 divide b(7)?
True
Suppose -370 = 4*f - 9*f. Is 36 a factor of f?
False
Suppose -5*o = 3*g + 319, 3*g = -6*o + 3*o - 195. Let n = o - -106. Is n a multiple of 18?
False
Let k(u) = -88*u - 6. Let w(t) = -t - 1. Let g(m) = -k(m) + 5*w(m). Let r be g(1). Suppose r = 3*f + f. Is f a multiple of 16?
False
Let u(m) = m**3 - 5*m**2 - 4*m - 2. Let p be u(6). Suppose 0*j + p = j. Is j a multiple of 6?
False
Suppose -3*g = -3*y + 2*g + 417, 0 = -3*g. Is 20 a factor of y?
False
Is 8 a factor of ((-2)/(-2))/1*2 + 22?
True
Let t be 9/6 - 54/4. Let m be (-1)/4 - 39/t. Suppose -4 = 2*h + 4*v, 4*v = -m*h - 0*h + 2. Is 3 a factor of h?
True
Let t(j) = 3*j**2 - 6*j. Does 6 divide t(4)?
True
Suppose 17*u = 20*u - 27. Is ((-18)/(-4))/(u/54) a multiple of 10?
False
Let t(w) = -w - 3. Let v be t(-2). Is 5 a factor of (-3)/(v + 7/10)?
True
Let h = 6 + -3. Let c = -1 + h. Suppose 0 = -7*i + c*i - 2*p + 92, -4*i + 70 = -2*p. Is i a multiple of 9?
True
Let u(s) = 2*s**3 - 5*s**2 - 4*s + 6. Suppose -i + 3*k - 4 - 7 = 0, 0 = -4*i + 2*k + 6. Is u(i) a multiple of 14?
False
Let n(p) = -6*p - 1. Let c be n(-1). Suppose -2*v = c*r - 37, -5*r = 1 + 4. Does 16 divide v?
False
Suppose 4*j - 83 = 237. Is 16 a factor of j?
True
Let j = 11 - -3. Suppose p - j = -p. Is p even?
False
Let h be (0/(-3) - -2)/2. Let f be 1*-17*h*-4. Suppose -b - 2*o = -34, 2*b + 4*o - o = f. Is 17 a factor of b?
True
Suppose 0 = 8*w - 6*w - 204. Suppose 4*l - w = l. Does 17 divide l?
True
Is (-63)/(-42)*(-56)/(-6) a multiple of 11?
False
Let g(a) = a**3 + 6*a**2 + 2*a - 14. Let l be g(-8). Let i = l - -242. Does 28 divide i?
True
Suppose -2*g + 3*g - 30 = 3*t, 4*t = -g - 5. Let d be 0 - (-5)/(g/9). Is 3 a factor of (27/3)/1 - d?
True
Let i = 0 - -6. Suppose -5*a - 15 = 0, 4*a - 6*a = -4*n + i. Suppose n*z = 2*z - y - 37, 1 = z - 4*y. Is z a multiple of 8?
False
Is 27 a factor of (160/(-25))/((-3)/30)?
False
Let q = 25 - -5. Does 10 divide q?
True
Let r be 10 - (2 - (1 + -2)). Suppose -g - 12 = -2*w, 3*w - 3*g + r = 22. Is w a multiple of 7?
True
Let z(o) = -26*o**2 - 2*o + 1. Let s be z(1). Let m = s - -46. Let l = 37 - m. Is l a multiple of 18?
True
Let v(c) = -c**3 - 10*c**2 - 12*c - 2. Suppose 7*k = 4*k - 27. Is v(k) a multiple of 25?
True
Suppose -2*l = l + 5*y - 50, 2*l = y + 55. Does 6 divide l?
False
Suppose -3*z + 46 = s - 8*z, 3*s - 4*z - 149 = 0. Is s a multiple of 5?
False
Suppose 2*x - 134 = -2*c - c, 0 = -5*c + 2*x + 218. Does 3 divide c?
False
Let s(i) = -i**2 - 2. Let h be s(0). Let o(x) = 9*x**2 - 1. Is o(h) a multiple of 12?
False
Suppose 120 = -l - 5*v, -54 - 480 = 4*l + 2*v. Let k = l - -225. Is 27 a factor of k?
False
Suppose -10*u + 7*u + 1047 = 5*p, 0 = -p + 5*u + 215. Does 10 divide p?
True
Suppose i - 19 = 2*m, 4*i + 4*m - 82 - 30 = 0. Suppose -5*z + 25 + i = 0. Is z a multiple of 5?
True
Let s = 23 + 252. Is s a multiple of 43?
False
Let o = -6 + 9. Suppose n = -o*n + 184. Is n a multiple of 25?
False
Let x be -2 + (1*6)/1. Suppose d + 5 = x*v, -3*d + 3*v = -v - 1. Suppose -d*o + 4*o = 7. Is 7 a factor of o?
True
Let k(t) = 2*t**3 - 3*t**2 + t - 2. Let d be k(2). Suppose d*r = -14 + 90. Is r a multiple of 19?
True
Let i = -6 + 8. Does 13 divide i*(0 + 16 + -3)?
True
Let y = 5 + 1. Suppose -d + b = -41, -b + 25 = -y*b. Is d a multiple of 12?
True
Let i be 0/(7 + -4) + 0. Let u be ((-3)/2)/((-6)/(-8)). Does 2 divide -2 + i + (3 - u)?
False
Let n = 19 - 21. Let m = n - -66. Does 16 divide m?
True
Suppose -h - 6 = 2*c, -4*h + 0*c + 24 = -4*c. Does 4 divide h - (-1 - -1 - 2)?
True
Suppose 3*d + 3*f - 6 = -0*f, 2*f + 10 = 5*d. Suppose 2*v + 17 = 2*j - 9, -3*j = d*v - 64. Is 18 a factor of (-1 + j - -1)/1?
True
Suppose -2*m + 3*a + 10 = 0, -m - 41 = -4*m - 2*a. Is m a multiple of 11?
True
Let n = -24 - -39. Is 4 a factor of n?
False
Let h = -3 + 99. Does 20 divide h?
False
Let g(m) = 21*m - 3. Is 17 a factor of g(5)?
True
Let i(r) = -r**3 - 10*r**2 - 9*r + 8. Let z be i(-9). Suppose -4*x + 24 = 4*s, 2*x - s = 1 + z. Does 5 divide x?
True
Let m(s) = 5*s**2 + 8*s + 10. Let h(u) = -4*u**2 - 8*u - 9. Let a(q) = 4*h(q) + 3*m(q). Does 6 divide a(-6)?
True
Let a(p) be the first derivative of p**4/4 + 3*p**3 + 5*p**2 + 6*p - 1. Let j be 2 - (-3)/((-3)/8). Does 27 divide a(j)?
True
Let o = -3 - -1. Is o/8 + (-210)/(-8) a multiple of 13?
True
Suppose -14*l + 15*l = 56. Is 20 a factor of l?
False
Let k be -53*(1 - -2)/(-3). Suppose 6*f + 22 = 2*q + 2*f, 3*q - 2*f = k. Is q a multiple of 7?
True
Let x be (2 - 5)*4/(-6). Let j be (1 + x)/(3/2). Suppose -2*s + 5*s - 39 = -3*g, -j*s - g = -30. Is 8 a factor of s?
False
Suppose 0 = -2*g - 4*i + 540, 2*g - 6*i + 3*i = 505. Is 30 a factor of g?
False
Suppose -4*r = 19 + 1. Let n(t) = -4*t**2 - 7*t - 4. Let g(z) = -9*z**2 - 15*z - 8. Let b(p) = r*n(p) + 2*g(p). Is 12 a factor of b(-5)?
False
Let t be 7/2*16/28. Suppose 1 = t*a - 9. Is 13 a factor of 5/a + (1 - -11)?
True
Let i(f) = 2*f + 2. Let d be i(3). Let n = d + 1. Is 3 a factor of n?
True
Is 10 a factor of 3/12 + (-3)/((-24)/238)?
True
Let r be 28/5 - 3/5. Let u = -5 - r. Let a = u + 36. Is 14 a factor of a?
False
Let z(g) = 3*g - 27. Is 29 a factor of z(19)?
False
Let u(c) = 34*c**2 - c. Let h be u(-2). Let v(n) = -n**3 + 4*n**2 - 3*n + 3. Let x be v(3). Suppose -4*s = 5*q - 0*s - h, q - 21 = -x*s. Is 11 a factor of q?
False
Suppose -5*f = 3*n + 206, -5*n - 90 = 5*f + 110. Let l = -1 - f. Is 14 a factor of l?
True
Let y = 363 - 216. Does 17 divide y?
False
Let v be -3*(3 + (-10)/3). Is 3*(5 + (v - -1)) a multiple of 13?
False
Let u(s) = s**2 + 10*s - 11. Suppose -4*q - 25 = -3*q. Let m = q + 12. Is u(m) a multiple of 28?
True
Suppose 4*j - 3*c = 72, -2*c - 33 = 4*j - 125. Is j a multiple of 17?
False
Suppose t = -3*g - 3*t + 52, -4*g = 3*t - 67. Is 3 a factor of g?
False
Suppose -2*b + 3 = -3*i, -2*b + 13 = 2*b + i. Suppose -2*h + 3*h - 14 = 0. Is (h/b)/((-1)/(-3)) a multiple of 7?
True
Suppose 5*w - 85 = -4*h + 106, 0 = 5*h + 5. Suppose 2*f - w = -4*l - 203, -6 = -2*l. Let m = 130 + f. Is 13 a factor of m?
False
Let h be 7*-1 + -1 - 0. Let t = h - -11. Is t/((-3)/2)*-17 a multiple of 16?
False
Let j(x) = -x**3 - 11*x**2 + 11*x - 17. Let q be j(-12). Is 23 a factor of (-464)/(-20) - (-1)/q?
True
Let p be -1 - -57*(-6)/(-9). Suppose q - 4*q = -2*n + p, 0 = -3*n - 5*q + 46. Is 6 a factor of n?
False
Suppose -58 = 3*s - 5*s. Suppose 5*p - 16 = s. Is p a multiple of 3?
True
Let y(u) = u**3 + 5*u**2 - 2*u - 6. Suppose -5*w - 25 = 0, 36 + 14 = -5*z - 5*w. Does 4 divide y(z)?
True
Suppose 15*r - 22*r = -483. Does 23 divide r?
True
Let m = 19 - 33. Let j be (7/4)/(1/(-4)). Is 12 a factor of (-340)/m - (-2)/j?
True
Let x(s) = -23*s + 11. Is 36 a factor of x(-6)?
False
Suppose 3*l - 4*d - 1 = 151, -3*l - d = -172. Is 7 a factor of l?
True
Let x(q) = -2*q**2 + 32*q + 30. Does 10 divide x(16)?
True
Suppose -2*k = 5*z - 7, -3 = z - 2. Is k a multiple of 6?
True
Let k(r) = 2*r - 6. Let n be k(5). Suppose 4*f = -5*l + 30, -1 = -2*f + n*l + 1. Is f even?
False
Let g = 8 + -5. Does 6 divide (26 + -3 - g) + 0?
False
Suppose -11*a - 8 = -13*a. Does 2 divide a?
True
Let q = -3 + 3. Suppose 23 = -q*i + i. Does 9 divide i?
False
Suppose -11 = 