et h be (2/3)/(2/(-3)). Let t be (-2)/(3/(-9) - h). Let w = 1 - t. Does 4 divide w?
True
Suppose 0 = -5*u - h + 2*h + 20, -8 = -u + h. Suppose 10 = 4*g - i, 2*i + u = -4*g + 7. Suppose 4*s = 5*z - 2, -g*s + 8 = 3*s - z. Is s even?
True
Suppose -s - l + 35 = -39, -5*l - 10 = 0. Let n = -40 + s. Does 12 divide n?
True
Suppose 2*l - 2 = 52. Is 27 a factor of l?
True
Suppose 4*d - 6 - 6 = 0. Let b be 4/14 + 44/(-7). Does 7 divide (-10)/(b/d) + 2?
True
Suppose 5*g = g + 308. Does 19 divide g?
False
Let a(n) be the second derivative of 3*n**4/2 - n**3/3 + n**2 + 3*n. Let d be a(2). Suppose 3*v = -2*v + d. Is v a multiple of 9?
False
Let o = 30 - 9. Suppose 3*a - o = 9. Does 3 divide a?
False
Let n be 2*(-1)/2*12. Let h be (n/(-10))/((-24)/(-80)). Suppose -3*x + 12 = 0, 23 - 87 = -h*d + x. Is 7 a factor of d?
False
Suppose 3*x = 2*x + 3*d - 15, -5*x - 2*d = 24. Let f = 42 + x. Does 12 divide f?
True
Let k(l) = 2*l + 1 + 1 - 16*l. Does 3 divide k(-1)?
False
Let x(c) = -58*c - 4. Let o be x(-2). Suppose -4*n + 6*n = o. Is n a multiple of 9?
False
Suppose 8*a - 2*a - 840 = 0. Is 14 a factor of a?
True
Let n(f) = 2*f - 2*f + 5*f + 3. Let w be n(-3). Let j = w - -18. Is 6 a factor of j?
True
Suppose -3*p + 2*p + 14 = 4*d, -2*d + 12 = 3*p. Let f = -5 - -5. Suppose 2*h + d*h - 20 = f, -n - 13 = -4*h. Is n a multiple of 2?
False
Suppose 2*f + 4 - 8 = 0. Suppose -65 = i - f*i. Does 19 divide i?
False
Let x = 26 + -36. Let k be ((-4)/(-10))/(2/x). Let i(o) = 9*o**2 + 4*o + 3. Is 11 a factor of i(k)?
False
Let t(h) = h**3 - 3*h**2 + 2*h + 4. Let s be t(4). Suppose -6*m + 2*m = -s. Is 6 a factor of m?
False
Let v = -2 + 2. Let s(q) = -5*q + 3*q - 3 + v*q. Does 4 divide s(-5)?
False
Let w be ((-173)/(-1))/(2/4). Suppose -5*y = 5*s - 3*y - w, -s + 59 = -3*y. Is s a multiple of 22?
False
Let b(x) = -x**2 + 6 - 5*x - 9*x - 4. Suppose 0 = 2*p - 9 + 31. Is 22 a factor of b(p)?
False
Does 13 divide 88/4*(-52)/(-8)?
True
Let w = 8 + -5. Is 5/(-15) + 58/w a multiple of 5?
False
Let y be ((-19)/3)/(3/(-9)). Suppose 2*u - 3 = y. Is u a multiple of 3?
False
Let g(n) = n**3 - 5*n**2 - 5*n + 6. Let w be g(6). Suppose 42 = j - w. Is 27 a factor of j?
True
Is -1*(-100 + 1 - 1) a multiple of 25?
True
Let x = 70 + -53. Is x even?
False
Suppose -j + 131 = -z + 27, 2*z + 2 = 0. Is 22 a factor of j?
False
Is 7 a factor of 16/(-6)*231/(-28)?
False
Let n(a) = 6*a - 2. Let w = 2 + 1. Is 8 a factor of n(w)?
True
Let t(o) = -o + 2. Let g be t(-3). Suppose 0 = -0*s - g*s - 5*n + 145, 19 = s - n. Does 8 divide s?
True
Let y = 20 + 20. Let z(c) = -8*c - 1. Let a be z(2). Let h = y + a. Does 23 divide h?
True
Suppose -4*l + 27 - 3 = 0. Is l a multiple of 3?
True
Let u(q) = 3*q**2 - 3*q + 1. Let a(t) = -t**3 - 4*t**2 + 3*t - 2. Let v(s) = 3*a(s) + 4*u(s). Let r be v(-2). Suppose 3*p - r = 8. Is p a multiple of 6?
True
Let g = 7 + -5. Is ((-1)/g)/((-4)/288) a multiple of 18?
True
Let v = 3 + 74. Does 11 divide v?
True
Let i be (-1884)/(-8)*2/3. Suppose -c + 0*h + h = -40, -4*c + i = -h. Is c a multiple of 23?
False
Let s(c) = c**2 - 2*c + 11. Suppose -9*o + 45 = -4*o. Is s(o) a multiple of 19?
False
Suppose -46 = -3*n - 1. Let i = 35 - n. Does 10 divide i?
True
Let g = -16 + 27. Let m(r) = r**2 + 0*r**2 + 6 - 12*r + 10. Is m(g) a multiple of 5?
True
Let u = -3 - 1. Let v(p) = -7 + 1 + 0 - 8*p - 2*p. Is v(u) a multiple of 12?
False
Suppose -q + 3 = -0. Suppose q*n = n + 32. Does 4 divide n?
True
Let g(a) = 3*a - 81. Does 7 divide g(34)?
True
Let d(g) = -g**2 + 16*g + 1. Is d(9) a multiple of 4?
True
Suppose -3*w = -7*w + 80. Let b be (-8)/w - (-24)/10. Is 8 + b + 4/2 a multiple of 6?
True
Let z = 35 - 25. Suppose 2*w - 4*o = -z, 8*o = -w + 3*o + 23. Is 4 a factor of (w/(-2))/(3/(-16))?
True
Suppose -35 = -w - 5. Does 4 divide w?
False
Does 3 divide (14/42)/(-1 + 28/27)?
True
Let q(y) = -y**2 - 28*y - 69. Is q(-21) a multiple of 9?
False
Let x(b) = 36*b**2 - 3*b + 2. Let u be x(2). Suppose 4*f - u = -f. Does 14 divide f?
True
Let t = 14 - -35. Is 20 a factor of t?
False
Suppose l + 4*c - 4 = -0*c, 2*l - 68 = 4*c. Let m = -13 + l. Is m a multiple of 11?
True
Suppose -2*x - 1490 = -5*n + 3*x, 1505 = 5*n - 2*x. Is n a multiple of 17?
False
Is 12 a factor of (-798)/19*(-12)/14?
True
Let z be 3 - (5 + -2) - -1. Let u(i) = 9*i**3 + 1. Is 4 a factor of u(z)?
False
Let j be 6*4/60*25. Let i = 34 - j. Is i a multiple of 17?
False
Let t(g) be the first derivative of g**3/3 - g**2/2 + g - 3. Is t(-4) a multiple of 7?
True
Suppose 3*t + 2*t - 15 = 0. Suppose t*l - 66 = -3*o, -o - 3*l = -l - 21. Does 14 divide o?
False
Let i = 146 + -69. Does 17 divide i?
False
Suppose 2*s - 15 = 4*t + 61, 0 = s - 2. Does 5 divide (2 + -1 - 2)*t?
False
Suppose -t + 50 + 27 = -2*n, 4*t + n = 281. Does 28 divide t?
False
Let z(a) = -a. Let k be z(-4). Let d(i) = i**3 - 3*i**2 - 3*i + 4. Does 7 divide d(k)?
False
Let a(j) = j - 1. Let c(p) = p + 12. Let r be c(-10). Let m be a(r). Let t(q) = 28*q - 1. Is 12 a factor of t(m)?
False
Suppose 0 = -o - 3 - 2. Let b be ((-2)/5)/(1/o). Is -2*(-11 - 0) - b a multiple of 14?
False
Is (-1)/(4/(-12)) + 102 a multiple of 10?
False
Suppose -8 = 5*s + 2. Let i be (-3)/s*2/(-3). Is i/3 - (-100)/12 a multiple of 8?
True
Suppose 0 = -5*w + 3*t - 16, 3*w - 5*t + 18 = -w. Is 4 a factor of -11 + 10 - w*5?
False
Let s(m) = m**2 - 4*m + 5. Let y be s(4). Let d(h) = h**3 - h**2 - 5*h - 3. Let r be d(y). Suppose r + 21 = 2*g + 5*u, 0 = -2*g + 4*u + 48. Is 12 a factor of g?
False
Let t(m) = 5*m**2 - 4*m + 1. Let b = 5 - 2. Let a = b - 0. Does 17 divide t(a)?
True
Let d(p) be the second derivative of p**3/6 + 3*p**2/2 + 4*p. Is d(4) a multiple of 7?
True
Let x(v) = v + 5. Let w(l) = l + 10. Let s(f) = 4*w(f) - 7*x(f). Let m be s(-7). Suppose 5*g - m = 3*g. Is 13 a factor of g?
True
Let o(b) = 3*b. Let m(u) = 2*u**2 + 4*u. Let y be m(-3). Let c be o(y). Suppose -c = 3*g - 51. Is 3 a factor of g?
False
Let s be (-7 - 3)*1/(-2). Suppose 0*n = -s*n + 155. Is n a multiple of 15?
False
Suppose 0 = 3*g - 2*g - 90. Let m = g - 61. Is 10 a factor of m?
False
Suppose 5*k + a = 3, 2*k + a + 0*a = 0. Suppose -q = -k - 8. Suppose -y + 9 = -q. Does 9 divide y?
True
Let a = -6 + 0. Let p = a + 4. Is ((-3)/p)/3*50 a multiple of 9?
False
Is ((-290)/5 + -1)*(1 + -2) a multiple of 18?
False
Suppose -4*f = -9*f + 5. Let v(q) = 57*q**3 - q. Let m be v(f). Suppose 3*d + d = m. Is d a multiple of 14?
True
Let a(i) = -i + 11. Let y be a(9). Suppose x = 3*k - 24 - 50, -4*k = -y*x - 98. Is k a multiple of 10?
False
Let y(f) = -51*f + 3. Let n be y(2). Does 6 divide 2/8 - n/4?
False
Suppose -3*d + 19 = -2*l + 4*l, 5*d - 35 = -4*l. Is 3 a factor of (d + -4)/(1/(-11))?
False
Let h(u) = u + 5. Let b be h(-4). Let o(f) = 2*f**2 + f + 1. Let g be o(-1). Let a = b + g. Is a even?
False
Suppose 0 = u - 3*m + 2*m + 25, -u - 3*m = 5. Let b = 38 + u. Does 6 divide b?
True
Let n(w) = 13*w**3 + w**2. Let v be n(1). Is 5 a factor of 4/v - (-1170)/70?
False
Does 5 divide (-6)/(-9) + (-52)/(-12)?
True
Let v = -1 - 3. Let z = -29 - -9. Let k = v - z. Is 7 a factor of k?
False
Let b(m) = -46*m**2 - 2*m - 1. Let k be b(-1). Let u = -27 - k. Is u a multiple of 6?
True
Is 10 a factor of (1 - -3)/8*142?
False
Let p = -10 - -17. Does 3 divide p?
False
Let h be ((-1 - 0) + 0)*-3. Suppose z - 32 = 4*j, -2*z + 0 = -h*j - 44. Is 8 a factor of z?
True
Let o(a) = -2*a. Let x be o(10). Let s = 34 + x. Does 7 divide s?
True
Let k be (-3)/(9/4 + -3). Suppose -k*p + 60 + 72 = 0. Does 20 divide p?
False
Let c be (4 + -4)/((-1)/1). Suppose -5*a = 3*p - 110, c = 2*a - a + 5. Is 15 a factor of p?
True
Let w(u) = -u**3 + 8*u**2 + 6*u - 10. Does 9 divide w(8)?
False
Let g be (-2 - (-12)/(-4))/(-1). Suppose 6*q = g*q + 21. Is q a multiple of 21?
True
Let y(o) = o**3 - 11*o**2 + 15*o - 8. Let d(h) = h**3 - 9*h**2 + h + 1. Let f be d(9). Does 14 divide y(f)?
True
Let u be 9/(-2)*4/(-6). Suppose b - 4 = 0, -u*p = 5*b - 62 - 66. Is 12 a factor of p?
True
Suppose 0 = -p + 3, 2*p = -4*x + 4*p - 14. Is 9 a factor of (8 + -4)/(x/(-15))?
False
Let u(a) = 2*a - 6. Let d = -4 - -8. Is u(d) even?
True
Suppose 4*t - 2*t = -118. Let u = 107 + t. Is 10 a factor of u?
False
Let n = -3 + 5. Suppose n*o + 20 = w - 3*o, 4*w = -5*o + 30. Is 10 a factor of w?
True
Suppose 0 = m - 4*m