e u + 123 = 2*x, x - 40 = -3*u + 39. Is x a multiple of 32?
True
Let j be (-4)/6*(1 - 4). Suppose j*f = 6*f - 8. Suppose h + 104 = 3*y + 5*h, -f*h + 150 = 5*y. Is 14 a factor of y?
True
Let c = 85 - -5. Does 6 divide c?
True
Let q = -1 - -3. Suppose 0 = i - 2*g + 3*g - 41, 4*g = q*i - 106. Is i a multiple of 15?
True
Let x(r) = -r + 6. Let i be x(3). Suppose 17 = i*u - 19. Is 9 a factor of u?
False
Let u = 2 + -11. Suppose -3*p - 4*o = -46, 2*p - 40 = -7*o + 2*o. Is 60/u*(-24)/p a multiple of 8?
True
Let h be 2 + (-6)/(-1*3). Suppose -12 = -h*v, -2*n = -4*n + v + 5. Let x(p) = 4*p + 3. Does 7 divide x(n)?
False
Suppose 2*o + 4*u = -16, -o = -2*o - 5*u - 20. Suppose o*q + 3*q - 9 = 0. Suppose q*h - 93 = -0*h - 3*s, 4*h - 3*s - 103 = 0. Does 14 divide h?
True
Let r(w) = -92*w - 7. Is 17 a factor of r(-2)?
False
Let k be (0 + 2)*231/14. Is (-6)/k - 68/(-11) a multiple of 4?
False
Does 13 divide (-156)/(-3)*2/2?
True
Let k(l) = 37*l**3 + l. Let c be k(-1). Let y = 53 + -74. Let q = y - c. Is q a multiple of 12?
False
Let l = 32 + -6. Is 13 a factor of l?
True
Suppose 5*l = 8*l. Let j be 1*3*12/9. Suppose l = -j*u - 4*q + 36, 4*u - 3*q + 0 - 43 = 0. Is u a multiple of 5?
True
Suppose 5*p - 3*p = 24. Is 6 a factor of p?
True
Let k be 1*3 + -2 + 2. Let v(z) = -z**3 + 3*z**2 + 3*z - 3. Let s be v(k). Suppose -s*g + g = -205. Does 14 divide g?
False
Let n be 186/18 + 2/3. Suppose -2*y = 3*m - 14 - n, 5 = -m. Is y a multiple of 10?
True
Let m(n) = n**3 + n**2 - 12. Let k be m(0). Is 14 a factor of (-2 + 8)/3 - k?
True
Let n(q) be the third derivative of q**4/24 - 4*q**3/3 + q**2. Let c be n(8). Suppose 2*j - 3*j + 3 = c. Is j a multiple of 3?
True
Is (-2 + -123)*(2 - 3) a multiple of 35?
False
Let n(x) = x**3 + 5*x**2 + 6*x + 3. Let b be n(-4). Let t be 2*1*(b - -13). Suppose t = 2*a - 8. Does 6 divide a?
True
Let p(r) = 4*r**2 + 2*r - 1. Let v be p(-2). Suppose -q = -2 - v. Suppose 5*z - 132 - q = 0. Is 12 a factor of z?
False
Suppose 2*u - 415 = -4*r - 3*u, 5*r - 565 = 3*u. Suppose -r = -7*c + 2*c. Does 11 divide c?
True
Let l be 1/1 - (-2 + 0). Suppose 4*f - 132 = 4*q, -2*q = 5*f - l*q - 161. Does 8 divide f?
True
Suppose 25 = 2*l - 61. Does 29 divide l?
False
Suppose -3*j + 180 = 4*i, i - 3*j - 30 = -0*i. Suppose 0 = -3*p + 6*p - i. Is 7 a factor of p?
True
Let s = -1 - -1. Suppose 5*g + w - 73 = s, -6*g + 2*g + 59 = w. Does 8 divide g?
False
Let m(c) = c**3 - 2*c**2 + c + 1. Let r be m(2). Suppose 0 = -l + r*l - 44. Is 17 a factor of l?
False
Let b(j) = -j**2 + 9. Is b(0) a multiple of 3?
True
Let y(o) = -o**3 + 4*o**2 + 5*o + 3. Let j be y(5). Suppose b = j*b - 16. Let p = b - 4. Does 4 divide p?
True
Let t = -2 - -3. Is ((-30)/9)/(t/(-6)) a multiple of 6?
False
Let b(o) = -8*o. Let g(x) = -232*x. Let h(t) = -176*b(t) + 6*g(t). Is 16 a factor of h(1)?
True
Let f(n) = n**2 + 3*n - 1. Suppose -4*d - 4*m = -19 + 7, 2*d - 5*m + 1 = 0. Let z be f(d). Suppose z = s + 1. Is s a multiple of 4?
True
Suppose 0 = p - 6*p + 20. Suppose -56 = -3*q - 4*b - 0*b, 0 = 4*q + p*b - 68. Is 6 a factor of q?
True
Let o(n) = 2*n**2 + 6*n + 6. Let z = -1 + -5. Is 21 a factor of o(z)?
True
Let i = -33 + 55. Is 11 a factor of i?
True
Does 12 divide ((8/(-6))/2)/(14/(-861))?
False
Let d be (25/(-2))/(3/6). Suppose -28 = -4*t + w, t - 4*w = -0*w - 8. Let s = t - d. Does 11 divide s?
True
Let q(l) = l**3 - 3*l**2 + 4*l - 4. Let p be q(4). Suppose -3*n - p = -k, 5*k + n - 153 = 3*n. Suppose k - 11 = m. Is m a multiple of 20?
True
Suppose 0 = 2*d - 1 - 7. Is d a multiple of 2?
True
Suppose 0 = 3*s + 2*c - 37, -4*c + 4 = -4. Suppose 0 = 3*i - s - 1. Suppose d = i*r - 37, 34 = 5*r + 5*d - 31. Is 9 a factor of r?
False
Suppose -1250 = -5*l - 405. Is 18 a factor of l?
False
Let d = 79 - -103. Is d a multiple of 32?
False
Is (-75)/(-2)*32/40 a multiple of 6?
True
Let k(p) be the third derivative of -p**6/144 - p**5/120 + p**4/8 - 2*p**2. Let v(r) be the second derivative of k(r). Is v(-2) a multiple of 9?
True
Let d = 2 - 15. Let k = 3 - d. Does 16 divide k?
True
Let b(s) = s + 14. Let a be b(-11). Suppose -a*o = -6 - 42. Does 8 divide o?
True
Let p be (1 + 0)/(1/14). Does 4 divide (-4)/p + (-30)/(-7)?
True
Suppose -6 = f - 42. Does 18 divide f?
True
Let m(j) = -j**2 - 4*j + 8. Let r be m(-6). Let i = r - -34. Does 23 divide i?
False
Is 5 a factor of 2/7 - ((-1332)/42 - 3)?
True
Let i(s) be the first derivative of s**3/3 + 2*s**2 - 2*s + 1. Let o be i(-6). Is 7 a factor of 68/10 + 2/o?
True
Suppose -5*f - 14 = -74. Is 5 a factor of 81/12 + f/(-16)?
False
Let z(y) = y**3 + 7*y + 28. Let f(c) = 2*c**3 + 13*c + 55. Let k(v) = 6*f(v) - 11*z(v). Let b be k(0). Suppose 0 = -3*t + b + 62. Is t a multiple of 15?
False
Suppose -3*t + 2*t + 46 = 0. Is 14 a factor of t?
False
Suppose 7*w + 2*r - 162 = 3*w, -2*w + 75 = -5*r. Is w a multiple of 11?
False
Let r = 30 - 3. Let m = -5 + r. Does 11 divide m?
True
Let j(u) = u**2 + 4*u. Let x be 2/((0 - -1)/(-2)). Let a be j(x). Is 27 + a/1 - 1 a multiple of 13?
True
Suppose 2*j = 4*l + 6, 0 = -4*j - 5*l + 4 - 5. Suppose 4*z - 81 = -j. Does 6 divide z?
False
Let y = 77 + -51. Does 20 divide y?
False
Suppose 3 = 4*f - 117. Is f a multiple of 15?
True
Let n(z) = 39*z + 35. Is n(6) a multiple of 16?
False
Suppose -6*z - 25 = -z. Let m be (-4)/(-3)*(-2 - z). Suppose -17 - 3 = -m*p. Is 4 a factor of p?
False
Let v(x) = x + 2*x**2 - 5*x - 2 + 3*x - x. Does 5 divide v(3)?
True
Suppose 2*l = 3*c + c + 16, -8 = 4*l + 2*c. Suppose l = 4*w + 3*h - 39, -5*w - 7*h + 50 = -2*h. Is w a multiple of 7?
False
Let l = -179 + 103. Let y = l + 110. Is y a multiple of 20?
False
Suppose u - 14 = -5*f, 3*u = -2*f + 3*f + 10. Suppose 0 = -j - 3*g, -f*j + 0*g = -2*g + 8. Does 24 divide (9/2)/(j/(-16))?
True
Suppose -9 = -t - 2*t. Suppose 4*j - t*j + 17 = o, 0 = j. Does 17 divide o?
True
Let j(m) = 47*m**2 + m. Suppose -3 = -6*p - 9. Is j(p) a multiple of 16?
False
Let c(s) = -s**3 + 8*s**2 - 11*s + 15. Is c(6) a multiple of 16?
False
Suppose 0 = -2*d, 5*l + 3*d + 14 = 39. Suppose -l*b = -25, 3*u - 3*b - 106 = b. Is 14 a factor of u?
True
Let o be 0/2 - (6 - 1). Let x = 8 + o. Suppose -2*l - 13 = -w + 2*l, 0 = x*w + l - 91. Is w a multiple of 14?
False
Let t = 83 - 13. Suppose 4*p + t = 2*m, 0 = p + 4*p. Let h = -25 + m. Does 10 divide h?
True
Let s(c) = -6*c**2 + 3 + 6*c + 7 - 2 + c**3. Is s(6) a multiple of 22?
True
Let b(t) = -t**3 - 6*t**2 - 5*t - 4. Suppose 5*s - 2*s + 18 = 0. Let v be b(s). Does 18 divide v/(-4)*(-6 - 0)?
False
Let l = 0 - -4. Suppose 40 = l*q - 32. Is 18 a factor of q?
True
Suppose -3*m = -0*m - 309. Let r = m - 69. Is r a multiple of 17?
True
Let o = -61 - -109. Is o a multiple of 16?
True
Suppose 5*u = -j + 77, 3*u - 89 = -2*j + 37. Is 9 a factor of j?
False
Suppose -156 = -4*j - 0*j. Let i = j - 23. Is i a multiple of 8?
True
Suppose 131 = s - 4*q, 5*s + 2*q = s + 470. Does 17 divide s?
True
Let s(g) = g - 7. Is s(11) a multiple of 2?
True
Suppose 0 = -3*c + 12, -m - 128 = -3*m - 5*c. Does 9 divide m?
True
Suppose 0 = -2*o + 4, o = 5*h + 5 - 18. Is 4 a factor of 56/12 + (-2)/h?
True
Suppose 263 + 73 = 7*q. Is 16 a factor of q?
True
Does 8 divide (-3 + 5)/(((-8)/(-174))/2)?
False
Suppose -2*y = -4*y + 16. Does 14 divide y/12 + 246/9?
True
Let f(m) = 2*m**3 + 1 - m - 3 - m**3 - m**2 + 0*m**2. Let q be f(2). Suppose q = 4*l + 16 - 64. Is 4 a factor of l?
True
Suppose 5*o - 5*r - 289 = 571, 5*o - 853 = -2*r. Does 19 divide o?
True
Let u(g) be the first derivative of 3*g**4/4 + g**3/3 - g + 1. Let p be u(1). Suppose p*l - 16 = -l. Does 2 divide l?
True
Let a be (-4)/(3/(-15)*1). Is 9 a factor of a + (2 - (0 - -4))?
True
Let b = -51 + 161. Does 22 divide b?
True
Is 12 a factor of (-212)/(-18) + 6/27?
True
Suppose -4*c = -3*g - 20, 3*c + 5 = -4*g + 20. Let r(d) = -d + 62. Does 13 divide r(g)?
False
Suppose -2*r - 23 + 131 = 0. Let i be r/2 + 0 + 2. Suppose -6*f = -3*f - 9, f - i = -u. Is 13 a factor of u?
True
Let h(u) = 4 + 3*u**2 - 4 + 3*u + 0*u**2. Is 6 a factor of h(-2)?
True
Let i(j) = j**2 + 2*j + 10. Does 10 divide i(0)?
True
Is 179/2 - (1 + (-3)/2) a multiple of 15?
True
Let v(u) = -u + 8. Let x be v(-7). Let k be -2*(-3)/(12/34). Suppose 4*q - k = x. Is 5 a factor of q?
False
Suppose 2*c = 5*c. Suppose c*w + 4 = w. Is 3 a factor of w?
False
Let