3)/3*31?
True
Suppose -5*u - 5 + 15 = 0. Suppose 2*r - 416 = -u*r. Is r a multiple of 30?
False
Let x be (-33)/12 + 3/4. Let n be 0 + x - 7*-1. Let g(p) = -p**3 + 5*p**2 + p - 3. Is g(n) even?
True
Suppose -4*r - 2 = -1518. Suppose -8*y + r = -261. Is y a multiple of 40?
True
Is 23 a factor of 2847 - (10 + -6)/4?
False
Let i be ((-2)/(-1))/(-1 - (-14)/10). Suppose 5*y - 3*g = 197, g + g + 193 = i*y. Is y a multiple of 8?
False
Suppose 5*j - 4*o = 972, j + 5*o = -j + 402. Suppose j + 209 = 3*f + 3*a, -2*f = -4*a - 300. Is 28 a factor of f?
True
Does 26 divide (1/2)/(4/(26*32))?
True
Suppose 4*w + 2 = -y, y + 2*w = 2*y - 4. Suppose 0 = -3*v - 2*g + 17, 0*v - 3*v + y = 5*g. Let i(m) = -m**2 + 12*m - 6. Is i(v) a multiple of 7?
True
Suppose -g = -3*g + 6*g. Suppose 2*j + 55 = 3*d - 2*j, -4*d - j + 67 = g. Does 4 divide d?
False
Suppose -z + 5*z = 4*s + 4, -z = 5*s - 7. Is 38/z - (-1 + -2 - -5) a multiple of 3?
False
Let o(p) = p**3 + 7*p**2 - 8*p + 6. Let x be o(-8). Let j(a) = 2*a**2 - 8*a + 10. Does 17 divide j(x)?
True
Suppose -392 = -3*z - 68. Is 3 a factor of z?
True
Let y be 5/25 - (-8)/10. Does 22 divide (2/(-2) - y)/(1/(-33))?
True
Let b(i) = 53*i. Let x be b(1). Suppose 9*p - 161 + x = 0. Is 12 a factor of p?
True
Let k be -6 - 0/(1 - -2). Let q(x) = -18*x - 8. Let n be q(k). Is (9/(-6))/((-6)/n) a multiple of 14?
False
Let o be 5 + (-1)/(-2)*2. Let x(d) = d**2 - 5*d - 1. Let t be x(o). Suppose t*b + 45 = h, h - 3*b + b = 30. Is h a multiple of 20?
True
Let f be (8/(-4))/(2/(-17)). Suppose f*s + 320 = 22*s. Is 16 a factor of s?
True
Suppose -12*a = -2*i - 13*a + 7394, 4*a - 7382 = -2*i. Does 14 divide i?
False
Let k be 10/3 - (-4)/6. Let w = -146 + 152. Suppose k*i = 46 + w. Is i a multiple of 5?
False
Let x = 0 + -6. Let f be (2 - -28)*x/(-12). Does 22 divide (-1827)/(-35) - (-12)/f?
False
Let v be (-1 + 460)*(4 + -1)/3. Suppose -717 = -12*g + v. Does 14 divide g?
True
Let b be -1 + 7 - (13 - 11). Let u be b + (-1 - 2) + 2. Let l(i) = -i**3 + 4*i**2 - 3*i + 2. Does 2 divide l(u)?
True
Is 21 a factor of (-140)/21*(-942)/8?
False
Let z = 4178 - 1965. Is z a multiple of 57?
False
Let m be (5/5)/((-2)/(-52)). Suppose 0 = -2*s + 3*b + 2*b + 38, -2*s + 2*b = -m. Suppose 0 = 7*p - 6*p - s. Does 9 divide p?
True
Let b(s) = -46*s - 409. Is 24 a factor of b(-16)?
False
Let w = 251 - -293. Is 16 a factor of w?
True
Let f = -8 - -13. Suppose 6*p - 44 = f*p. Does 44 divide p?
True
Let y(n) = -10*n**2 + n**3 + 3*n - 13*n - 2 - 2*n**3. Let j be y(-9). Does 11 divide 75/7 - (-2)/j?
True
Let z(l) = -l**3 - 9*l**2 + 4*l + 23. Does 6 divide z(-10)?
False
Suppose -5*d - 413 = -12*d. Is d a multiple of 36?
False
Suppose -3*w + 7*w = -92. Let o = w - -21. Does 3 divide (10/4)/(o/(-4))?
False
Let k(m) = -m - 12. Let h(v) = -1. Let t(w) = -6*h(w) + k(w). Let f be t(-11). Suppose -2 = -s + f. Does 2 divide s?
False
Let y be 0/1 + (-6 - 10). Let c = y + 15. Is ((-7)/(-21))/(c/(-27)) a multiple of 9?
True
Let v(y) = -2*y + 4. Suppose -4*m + 4*g - 8 - 8 = 0, -g + 6 = -2*m. Is v(m) a multiple of 5?
False
Let c(q) = 5*q**2 + 9*q - 6. Let x(i) = 7*i**2 + 8*i - 7. Let s(z) = 4*c(z) - 3*x(z). Let o = 13 - 3. Is s(o) a multiple of 6?
False
Let u = -2039 - -2483. Is u a multiple of 7?
False
Let t(m) = m + 12. Let x be t(-4). Suppose 3*u + 4*j = 20 + 11, -u + x = -j. Is 9 a factor of u?
True
Let z = 57 - 54. Suppose -5*w + z*x + 126 = -157, 114 = 2*w - 2*x. Is w a multiple of 8?
True
Let y be 23 + 6/(-15)*-5. Suppose -6*u = -u - y. Is ((-4)/u)/(2/(-10)) even?
True
Is 70*(-10)/(3/((-12)/8)) a multiple of 10?
True
Suppose -22*c + 797 = -4637. Is c a multiple of 13?
True
Suppose -32*w + 5153 = -32223. Is 16 a factor of w?
True
Suppose -3*f + g = -6005, -14*g = 5*f - 9*g - 10035. Is f a multiple of 82?
False
Does 38 divide -1 - 44*(57/(-12) + 3)?
True
Let h(y) = y**2 + y + 5. Suppose -2 = -i + 4*v, 2*i - i - 3*v - 3 = 0. Let a be h(i). Suppose 33 + a = r. Does 20 divide r?
True
Let w(m) be the first derivative of -5*m**2 - m - 10. Is 12 a factor of w(-6)?
False
Let n = 11 - 10. Suppose -6*q + 7 = n. Is 27 a factor of 3*(15 + 2 + q)?
True
Let a = 5 + -6. Is 15 a factor of (a/4)/(19/(-7676))?
False
Let b = -319 + 622. Is 50 a factor of b?
False
Let y(l) = 12*l**3 - l**2 - 3*l - 3. Let m(j) = -12*j**3 + j**2 + 4*j + 3. Let o(g) = 4*m(g) + 5*y(g). Is 10 a factor of o(2)?
False
Let j(i) = -178*i - 468. Is 8 a factor of j(-6)?
True
Let x(i) = 190*i**2 + 2*i - 16. Is x(2) a multiple of 81?
False
Suppose 0 = 4*s - 19*s + 2040. Does 8 divide s?
True
Let o(i) = -46*i**3 + 7*i + 6. Does 36 divide o(-2)?
True
Let v(s) = 14*s**3 + 25*s**2 + 35*s + 62. Let q(j) = -5*j**3 - 8*j**2 - 12*j - 21. Let b(r) = -11*q(r) - 4*v(r). Does 16 divide b(-13)?
True
Let d(n) = 6*n**2 - 195*n**3 + 6*n**2 - 14*n - 9 + 194*n**3. Is 9 a factor of d(10)?
False
Let t(p) = -1 + p - 4*p - p**2 - 3*p**3 + p**3 - p**2. Let d be t(-2). Suppose 0 = 2*x - d - 25. Is x a multiple of 11?
False
Suppose -5*s + 121 = 3*n, -s - 3*n - 35 = -2*s. Let g = 5 - 10. Let m = s - g. Is m a multiple of 21?
False
Let l(g) = g**3 + 3*g**2 + 5*g + 27. Does 94 divide l(8)?
False
Let s(j) = 12*j + 16. Let i(x) = 11*x + 16. Let n(c) = -c**3 + 10*c**2 - 9*c - 4. Let w be n(9). Let t(m) = w*s(m) + 5*i(m). Is t(8) a multiple of 24?
True
Let p(d) = d**3 + 8*d**2 - 4*d - 10. Is 24 a factor of p(5)?
False
Let d(b) = b**2 + 63. Does 8 divide d(9)?
True
Let b(g) = g**3 + 35*g**2 - 2*g + 61. Does 3 divide b(-35)?
False
Let y(v) = -v**3 - 3*v**2 + 4*v + 3. Let l = -11 - -7. Let j be y(l). Suppose -5*s = -s + u - 54, 5*s - 64 = -j*u. Is 6 a factor of s?
False
Let z(f) = -2*f - 2. Let p be (-1 - -8)*(4 - -1). Suppose -3*w = 2*t + p, -w = -3*w + 4*t - 34. Does 8 divide z(w)?
True
Let t(b) = b**2 + 3*b - 44. Let f be t(-17). Suppose 842 = 6*a + f. Does 30 divide a?
False
Let v(n) = -n**3 + 2*n + 5. Let u be v(-5). Suppose 0 = w - 2*w + u. Is (26/65)/(2/w) a multiple of 24?
True
Let g = 59 - 55. Suppose 3*c - g*x - 16 = 24, 4*c + 3*x = 95. Is c a multiple of 4?
True
Let m be ((-5690)/(-75) - (-10)/75)/2. Let v(c) = -26*c + 4. Let p be v(-3). Suppose f - m = p. Is 30 a factor of f?
True
Suppose 0 = -5*o - 3*s + 2*s + 19, 0 = 4*o + 5*s - 32. Suppose 4*h - 192 = -r, 888 = 5*r - h + o*h. Does 16 divide r?
True
Suppose -2*a - 3*a + 2983 = 4*b, 3028 = 4*b - 4*a. Is 16 a factor of b?
True
Let f(q) = -4*q + 21. Is f(-24) a multiple of 9?
True
Let c = -57 + 59. Suppose 0 = -3*d - 4*x + 132, x + 15 = 6*x. Suppose -5*b = 4*f - 124, c*f + 2*f - d = -2*b. Does 8 divide b?
False
Is 6*((44 - 6) + 4) a multiple of 42?
True
Let p be 3/(2 - 20/12). Let q(j) = -j**3 + 9*j**2 - 9. Let u(c) = -c**3 + 9*c**2 - c - 10. Let w(y) = 3*q(y) - 2*u(y). Does 2 divide w(p)?
False
Let m be 1 + 4*33/(-6). Let a = m + 21. Suppose p - 4 = 0, p + 11 = l - a*p. Does 5 divide l?
True
Let i = 734 + -377. Suppose i = 7*z - 182. Is z a multiple of 7?
True
Let v = 151 - 19. Does 11 divide v?
True
Let o be (-2)/(-6) + (-105)/45. Is (-1)/16*o + 22763/104 a multiple of 36?
False
Let r(j) = 501*j**2 + 38*j - 2. Does 9 divide r(-2)?
True
Let s be 22521/(-15) - 10/(-25). Let r = -1049 - s. Suppose 0 = 7*h + 81 - r. Is 14 a factor of h?
False
Suppose 2*v + 1802 = 5*f, 2*f - v + 359 = 3*f. Is f a multiple of 27?
False
Suppose -1338*l + 1339*l - 63 = 0. Does 30 divide l?
False
Does 8 divide (2*(-2 - -1))/(5/(-320))?
True
Let f be (-4 + 16)*(-4)/(-6) + -3. Suppose k + 2*u - 68 = -2*u, f*u - 10 = 0. Is 20 a factor of k?
True
Let c(x) be the third derivative of -19*x**4/24 + 7*x**3/6 + 10*x**2. Is 21 a factor of c(-8)?
False
Let l be (-3)/6*-6 + 0. Suppose -3*w = -5*n - 14, -2*n + 5*w - l = -5. Let g(c) = c**2 - 2*c + 4. Is g(n) a multiple of 13?
False
Suppose -2*x + 2 + 82 = 0. Does 2 divide x?
True
Suppose 0 = -3*m - 3, 4*c + 0*m = m - 31. Let x be (38/c)/(4/(-16)). Suppose 5*q - x = 6. Is 5 a factor of q?
True
Let f = 79 - 8. Let d = f - 43. Is d a multiple of 14?
True
Let z = -179 - -371. Is 5 a factor of z?
False
Let k = 5 + -3. Let f(t) = 6 - k - t + 4*t - t**2. Does 2 divide f(3)?
True
Let z(b) = -6*b - 1. Let m = 20 - 22. Does 3 divide z(m)?
False
Let u(l) = 23*l**2 - 22*l - 133. Does 30 divide u(-7)?
False
Let s(p) = 2*p**3 - 6*p**2 - 6 - 4*p - p + 0*p**3 - 4*p**3. Let v(j) = j - 19. Let w be v