Let v be -1 + (-2)/(4/(-2)). Suppose v = -5*p - 5*f + 30, -p - 2*p - 2*f + 20 = 0. Suppose 0 = 2*l + 3*l - q - 29, l = -2*q + p. Does 3 divide l?
True
Suppose 3 = 3*o, 4*m + o = -3*o + 676. Does 12 divide m?
True
Let m be 8/(4*2/(-364)). Is (-4)/(-6) - m/12 a multiple of 10?
False
Let n(q) = q**3 + 4*q**2 - 4*q + 3. Let r be n(-5). Let u = -2 - r. Suppose u = k - 5 - 1. Is k a multiple of 3?
True
Suppose 89 = 4*g - 115. Suppose w - g = 4*w. Let a = -3 - w. Does 14 divide a?
True
Suppose 0*n + 4*n - 19 = -q, -3 = -3*n + 3*q. Suppose -3*r = 4*m - 60, -7*m = n*r - 3*m - 80. Is 20 a factor of r?
True
Let p = -1 - -1. Suppose -6 = -p*g - g. Does 2 divide g?
True
Suppose -2*u - 5*d + 37 = 0, -d + 30 - 1 = 4*u. Is 2 a factor of u?
True
Let n(g) = -g + 10. Let l be n(10). Let r(y) = y**2 + 18. Is 6 a factor of r(l)?
True
Does 11 divide (92/115)/(2/75)?
False
Suppose -2*x + 22 = 3*p, 2 = -2*x - 0*p + 3*p. Is 79/(-5 + 1 + x) a multiple of 25?
False
Suppose 0*q = -q + 7. Let h(n) = n + 2. Let u be h(-5). Let w = u + q. Is w a multiple of 4?
True
Let x be 3/2 + (-7)/2. Is (3 + -1)*(-3)/x a multiple of 3?
True
Let i = -6 - -8. Suppose -i = -0*h - h. Suppose -2*y - 118 = -5*z + 33, h*z + y - 55 = 0. Is z a multiple of 15?
False
Let d(n) = 3*n**2 - 3*n - 4. Let c = -8 + 6. Let l be (c - (-3)/2)*-6. Is d(l) a multiple of 6?
False
Let q be (-2)/(-3) - (-364)/12. Let b = 51 + -72. Let n = q + b. Is n a multiple of 4?
False
Let m(w) = -w + 5. Let f be m(7). Let n be 1 + (f - 2) + 6. Suppose 0 = -n*h + 11 + 28. Is 6 a factor of h?
False
Let v(l) = -l**2 + 8*l + 2. Let f be v(8). Suppose 0 = f*g - 7*g + 90. Suppose 5*b + 2*i = g, -6*b - 5*i + 15 = -b. Is b a multiple of 4?
True
Let z(a) = a**2 - 3*a + 7. Suppose -4 - 4 = -4*j, 0 = 4*n - j - 10. Is z(n) a multiple of 7?
True
Suppose -f = f. Suppose w - 2*w = f. Suppose -4*i + i - 2*z + 29 = w, -22 = -2*i - 4*z. Does 5 divide i?
False
Let q = 25 - 20. Is q a multiple of 3?
False
Let b(i) = 8*i + 2. Is b(5) a multiple of 7?
True
Let b(t) = -9*t**2 - 9*t - 9. Let h(k) = k**3 + k**2 + 1. Let y(d) = -b(d) - h(d). Suppose 0 = m - 2*m + 9. Is y(m) a multiple of 8?
True
Let l be (1 + 1)*(-10 + -1). Let i = l - -10. Let z = 27 + i. Is z a multiple of 12?
False
Suppose 4*y + y - 150 = 0. Does 18 divide y + (1 - (2 - -1))?
False
Suppose -6*a = -12*a + 522. Does 29 divide a?
True
Suppose -5*s + s = 0. Let m be (-3 + s)*(-1)/3. Let f(b) = 18*b - 1. Is f(m) a multiple of 17?
True
Let x(v) = 19*v + 6. Suppose 0 = 6*w - 5*w - 3. Is x(w) a multiple of 21?
True
Suppose -24 = -5*f + f. Suppose -f*k + k = -25. Is k even?
False
Let w(d) = 2*d**3 - 4*d**3 + 3*d**3 - 4*d**2 + 9 - 8*d. Does 11 divide w(6)?
True
Suppose -2*r + 0 = -2*g + 2, -5*g + 3*r + 5 = 0. Does 17 divide 51 - 9/(4 - g)?
False
Let l = -1 - -2. Let t be -2 - l*(4 + -2). Does 20 divide (-1 - t)/(2/18)?
False
Let b(o) = -o**2 - 9*o - 6. Let s be b(-7). Does 3 divide (-1 - s/(-12))*-42?
False
Suppose 5*g - g = 88. Is g a multiple of 22?
True
Let n(o) = o**2 - 8. Let i be n(8). Suppose 44 = 2*z + 4*c, -4 - i = -3*z - 3*c. Is z a multiple of 9?
True
Suppose 0*k = k - 13. Suppose -4*y - 7 = k. Is 8 a factor of -2*y/(15/12)?
True
Suppose 6*y - 3*y - 24 = 0. Let x be (y/6)/(1/(-3)). Is 7 a factor of -1 + 12 - (4 + x)?
False
Let u(x) be the first derivative of x**4/12 - 3*x**3/2 + x**2 - 1. Let k(j) be the second derivative of u(j). Is k(9) a multiple of 9?
True
Let j be (3 + 15/(-6))*0. Suppose -5*p - 285 = -5*t, 3*t - 5*p = -j*t + 175. Is 14 a factor of t?
False
Suppose 49 + 46 = 5*m. Let r be (-570)/(-20) - (-1)/2. Suppose 0 = 3*w - r - m. Does 8 divide w?
True
Let x = 7 + -41. Let b = x - -75. Is 12 a factor of b?
False
Let n = -17 - -37. Does 2 divide n?
True
Let h(j) = -j**3 - 5*j**2 + 5*j - 4. Let u be h(-6). Is 9 a factor of (-112)/(-12) - u/6?
True
Let c(u) = -51*u - 22. Is c(-3) a multiple of 7?
False
Let o(g) = 7*g**3 + 3*g**2 + 8*g - 3. Let j(l) = -l**3 - l**2 - l. Let z(c) = 6*j(c) + o(c). Let d be z(3). Let v = d - -1. Is v a multiple of 4?
True
Let k be 3/6 - 89/(-2). Suppose 195 = 5*t + k. Does 11 divide t?
False
Let h = -3 + 0. Is 3*(48/9 - h) a multiple of 12?
False
Let a(c) = -3*c - 8. Let j be a(-6). Suppose -y - 4*y = -j. Suppose 3 = p, -4*i = i + y*p - 16. Is 2 a factor of i?
True
Let t(w) = 8*w - 26. Is 17 a factor of t(16)?
True
Let i = 145 - 91. Suppose 2*a - x + 68 = 0, -3*a + 4*x = 5*x + 102. Let r = a + i. Is r a multiple of 15?
False
Let z = -7 - -4. Let j = z + 7. Is (18/j)/((-2)/(-4)) a multiple of 6?
False
Is 2 a factor of (-16)/(-24) - 13/(-3)?
False
Let l(p) be the third derivative of p**2 + 0 - 1/6*p**3 + 0*p + 1/4*p**4. Is l(2) a multiple of 11?
True
Suppose 3*x = -x - 3*o - 4, 0 = 3*x - 5*o - 26. Suppose 56 = 2*y + 8. Is 3 a factor of x/(-12) - (-196)/y?
False
Let b(t) = -2*t**2 + 1. Let v be b(1). Let x be 24/8*(-1)/v. Suppose -165 = -x*q - 0*q. Does 19 divide q?
False
Suppose 5*n + 2*r - 4 = 0, 0*n + 2*n + 3*r = 6. Is 12 a factor of (-1 - -1) + (14 - n)?
False
Let p(h) = -2*h**3 - 7*h**2 - 7*h + 7. Does 13 divide p(-5)?
True
Let s be 8*(-5)/((-15)/(-6)). Let r be (-2)/((s/(-10))/(-4)). Suppose y + 32 = r*y. Is y a multiple of 4?
True
Suppose 5*v - 158 = -2*j, 63 = 3*j + v - 148. Suppose 2*k = d + 6*k - j, -5*k = -2*d + 73. Is 16 a factor of d?
False
Let w(g) = 43*g**2 + g + 1. Let i be w(-1). Let s = -1 - -3. Suppose -4*f + u + i = -0*u, -20 = -s*f + 2*u. Is 11 a factor of f?
True
Let h(c) = c**3 + 7*c**2 + c + 3. Let f = 3 + -6. Does 12 divide h(f)?
True
Let a(x) = 13*x**3 + 2*x**2 - x + 2. Let c be a(2). Let h = 187 - c. Is h a multiple of 25?
True
Suppose 0 = -2*f - 3*x + 60 - 15, -4*f + x = -125. Let g be (-12)/f - (-2)/5. Suppose -3*j + 7*j - a - 41 = 0, 2*j + 4*a - 16 = g. Is j a multiple of 4?
False
Let j be ((-48)/14)/(14/(-49)). Let h = j - -48. Is h a multiple of 30?
True
Let u(j) = -5*j**3 + j**2 + 2*j + 1. Let o be u(-1). Suppose -o*g = 2*n + 3*n - 250, 4*g - 3*n - 172 = 0. Does 33 divide g?
False
Let d(v) = 13*v**2 - 27*v + 41. Let q(l) = -3*l**2 + 7*l - 10. Let x(a) = 2*d(a) + 9*q(a). Is x(7) even?
True
Let d = 29 + 0. Suppose 0*a - 3*a = 5*t + 30, -2*a = -t - 19. Let i = d + t. Is i a multiple of 7?
False
Let i(g) = 6*g**2 + g. Let m be i(-1). Let l(w) = 4*w - w + m*w + 3 - 2*w + 2*w**2. Does 13 divide l(-6)?
True
Let y(d) = 2*d + 6. Let g = -16 - -35. Suppose 0 = -3*v - i + 25, -4*i = 4*v - 9*v + g. Does 13 divide y(v)?
False
Let q = -69 + 131. Let t = q - -1. Does 21 divide t?
True
Suppose 3*u - 42 = -2*u - 3*s, 2*u + 4*s - 28 = 0. Is 9 a factor of (3/u)/((-2)/(-36))?
True
Is (-4)/(-5) - (-396)/5 a multiple of 5?
True
Let p = -1 - -6. Suppose 3*r + 15 = 3, -2*h - p*r + 22 = 0. Does 20 divide h?
False
Let c = 9 + -7. Suppose -2*w = c*w - x - 67, 3*w = 4*x + 60. Does 8 divide w?
True
Suppose 4 = i + 5. Is i/3 - (-124)/3 a multiple of 12?
False
Suppose l = -3*r - 24 + 124, 26 = r + 4*l. Does 11 divide r?
False
Let u(t) = -t**2 - 13*t + 3. Let w be u(-13). Suppose 45 = w*g + 15. Does 10 divide g?
True
Suppose 0 = -o + 24 - 8. Suppose 0 = 5*r + 51 - o. Does 15 divide r*(-3 - 0) + -1?
False
Let m(s) = 11*s + 3 - s - s. Is m(6) a multiple of 11?
False
Let r(v) = v. Is r(2) even?
True
Let u = -18 + 57. Does 5 divide u?
False
Suppose 5*t = -0*t + 10. Is 3 a factor of t/2 + (8 - 6)?
True
Suppose 0 = -4*z + 5*w + 436, 3*w - 4*w = 5*z - 574. Is z a multiple of 19?
True
Let w(z) = -34*z**3 + 2*z**2 - 1. Suppose 5*q + 3*n + 15 = -2*n, -n = 2. Let c be w(q). Is 6 a factor of ((-90)/c)/((-1)/7)?
True
Let a(x) = x + 12. Let z be a(-9). Is (-3)/(((-36)/104)/z) a multiple of 11?
False
Let c be 88/12*3/(-2). Let j = c - -51. Suppose 5*t - 180 = -j. Is 14 a factor of t?
True
Let m = 24 - 10. Is 2 a factor of m?
True
Let m(i) = i**2 - 3*i. Is m(11) a multiple of 8?
True
Let i(g) = 4*g - 2. Does 14 divide i(4)?
True
Let l(b) = -b**3 + 7*b**2 - 3*b - 6. Does 8 divide l(6)?
False
Suppose g + 30 = w + 2*w, -3*w = -3*g - 30. Suppose 5*c - 27 = -m, 0*m - c + 3 = -m. Suppose 0 = 3*y - m*r - r - 3, 0 = 5*r - w. Does 2 divide y?
False
Let s be -1 + (104 - -1) + 1. Suppose s + 327 = 4*n. Suppose 3*h - n = -3*x, -4*x + 84 = -2*h - 54. Does 13 divide x?
False
Let m(b) = -b**2 + 7*b + 2. Does 9 divide m(4)?
False
Let r = -58 - -256. Is 22 a factor of r?
