le of 4?
True
Let w(y) = 2*y + 2. Let u be w(2). Suppose -u*k = -4*k - 18. Is k a multiple of 9?
True
Suppose -z - 30 = 2*z. Let v be ((-152)/z)/(7/35). Let k = v + -43. Is k a multiple of 9?
False
Let p = 219 + -6. Suppose 2*j = -4*c + 530, p - 78 = c + j. Let h = c - 88. Is h a multiple of 11?
False
Suppose 0 = -2*p - 0*p + 330. Suppose r + 5*f + 20 - p = 0, -4*f - 262 = -2*r. Suppose -3*i + r = 2*i. Is i a multiple of 11?
False
Let n = 124 + -69. Suppose 0 = -4*l + 9 + n. Does 3 divide l?
False
Let f(r) = 2*r**2 + 6*r + 4. Suppose -8 = 3*o + 10. Does 9 divide f(o)?
False
Let r(j) = j**3 - 6*j**2 + 4*j - 7. Let s be r(5). Let h = 47 + s. Is h a multiple of 12?
False
Let t = 6 + -6. Suppose t = -3*a - 5*s + 74, 5*a + 0*s + s = 160. Is 11 a factor of a?
True
Let h be 1/((-2)/36) + 2. Let n = 4 - h. Does 10 divide n?
True
Let z be 14/4 + (-4)/8. Suppose k + 6 = z*k + 2*w, -9 = -k - 3*w. Suppose k*u = 3*u - 24. Is u a multiple of 8?
True
Suppose 3241 - 1131 = 10*q. Does 38 divide q?
False
Suppose -3*j = 2*j + 90. Let s = -2 - j. Is s a multiple of 11?
False
Suppose -3*d - r - 40 = -4*d, -d - 5*r + 70 = 0. Is 15 a factor of d?
True
Suppose -5*n - n + 120 = 0. Is n a multiple of 10?
True
Let r = 3 - 1. Suppose -z + 5*u = -14, -2*z - r*z - 4*u = 16. Let c(y) = -30*y. Is c(z) a multiple of 15?
True
Let x be (1 + 38)*(-30)/(-18). Let p = 104 - x. Is p a multiple of 11?
False
Let m(w) = -w**2 - 10*w - 6. Does 5 divide m(-5)?
False
Let l = 69 + -32. Suppose -3*u = -2*u - l. Does 12 divide u?
False
Suppose -7*l + 4*l + 206 = 2*y, -5*y = 3*l - 506. Does 50 divide y?
True
Suppose -6 = 2*t - 14. Suppose -3*w - t*i = -122, w - 4*w = -4*i - 106. Is 19 a factor of w?
True
Let p = 23 - -37. Is 10 a factor of p?
True
Suppose 5*n - 3*j = 360, 12 - 84 = -n + 3*j. Is n a multiple of 10?
False
Let i = -11 - -6. Let d = i - -13. Is d a multiple of 4?
True
Suppose -16 = -3*d - d. Is (d/5)/(2/25) a multiple of 6?
False
Suppose 0 = -2*a, n = 3*n + 3*a. Let l = n + 2. Is (-14)/((l - -2)/(-2)) a multiple of 2?
False
Let l(p) = -4*p + 5. Let f(v) = v - 1. Let z(g) = 3*f(g) + l(g). Suppose c + 54 = -5*h, 2*h + 5*c = -10 - 7. Does 13 divide z(h)?
True
Let y be (-20)/30 - (-10)/(-3). Does 8 divide 3 + y + (48 - 1)?
False
Let n = -10 + 13. Suppose n*y = 7*y - 24. Is y a multiple of 2?
True
Let s be 132/10 + (-6)/30. Let h(p) = 4*p - 4. Let c be h(s). Let r = c + -22. Is r a multiple of 13?
True
Let w = -19 - -38. Is w a multiple of 9?
False
Let s = -48 + 76. Let y = s - -12. Suppose 28 = 2*l + t, 3*t - 7*t + y = 2*l. Is 11 a factor of l?
False
Let u(w) = -w**2 + 8*w + 3. Let y be u(6). Suppose 3*b = -2*b + y. Does 11 divide b/(((-30)/(-32))/5)?
False
Let w(m) = 8*m - 13. Is 19 a factor of w(4)?
True
Let i(y) = 7*y**3 + 17*y**2 - y - 6. Let h(z) = 4*z**3 + 9*z**2 - z - 3. Let k(c) = 5*h(c) - 3*i(c). Does 9 divide k(-6)?
False
Let o(k) = -k**3 - k**2 + k + 2. Let y = 6 + -8. Let p be o(y). Suppose -41 = -p*f - 1. Is f a multiple of 5?
True
Let t be (-12)/(-10) + 5/(-25). Let r = t - -2. Does 12 divide 22/1 - (r + -5)?
True
Suppose 4*k + 18 = -22. Let i be (10 + -5)*(-4)/k. Suppose 16 = -f + i*f. Is 10 a factor of f?
False
Let y(z) = z**3 - 13*z**2 + 11*z + 12. Let s be y(12). Suppose -3*j + 4*v = -58, -4*j + 5*v + 8 + 68 = s. Does 13 divide j?
False
Suppose 18*h - 19*h + 161 = 0. Is h a multiple of 25?
False
Is (-78)/(-10) - 10/(-50) a multiple of 4?
True
Let n(y) = 4*y + 2. Let g be n(-5). Let a = 2 - g. Suppose u = -3*u + a. Is u even?
False
Suppose 0*v = v + 30. Is 8/(64/v)*-4 a multiple of 15?
True
Is (18/7)/(14/98) a multiple of 6?
True
Suppose 4*k = s + 3*s - 464, k = 2. Suppose -6*w + s = 16. Does 11 divide w?
False
Is (22/3)/((-46)/(-1035)) a multiple of 33?
True
Let j be 1 - (0/2 + -2). Suppose -1 = -j*p - 4. Let x(m) = -18*m**3 + m**2 + m. Is x(p) a multiple of 9?
True
Let r(d) = -d**3 + 8*d**2 + 4*d + 10. Let l be r(8). Suppose l + 30 = 4*w. Is w a multiple of 10?
False
Suppose -6*y = -7*y + 2. Let f be 3 + -5 + 0/y. Does 12 divide (9/f + 3)*-8?
True
Let n = 42 + 98. Is n a multiple of 7?
True
Suppose -3*u - u = -280. Suppose -2*k = 3*k - u. Is 5 a factor of k?
False
Suppose -225 = l - 4*l. Suppose 0 = -5*i + 5*j - 10, -3*j - 2 = -3*i - 4*j. Suppose 2*g - 5*g + l = i. Is 13 a factor of g?
False
Let a be (-2)/5 - 198/(-45). Suppose -12 = -f - a*h, 3*h - 3 + 0 = 0. Is 8 a factor of f?
True
Let w(i) = i**3 - 3*i**2 - 11*i + 22. Is 3 a factor of w(5)?
False
Let p(k) be the first derivative of k**4/4 - 7*k**3/3 + k**2 + 2*k + 4. Is p(7) a multiple of 16?
True
Suppose -2 = -2*m, 12 = 4*q - 4*m - 36. Is 13 a factor of q?
True
Suppose 2*k = -2 + 12. Suppose -k*n - 3*y + 109 = 0, 0*y + 2*y + 74 = 4*n. Is n a multiple of 9?
False
Let r be -1 + 1 + -3 + 3. Suppose -2*o + 51 + 47 = r. Suppose 3*y + 5*x - 2*x = 36, -4*y = 5*x - o. Is y a multiple of 3?
False
Suppose 93 = -2*v - v. Let r = 83 + v. Suppose 5*h - h - r = 0. Is 13 a factor of h?
True
Let h be 6/(-2)*6/9. Let b be -54*(-2 - h/2). Suppose 3*d + 195 = 5*s - 2*d, 4*d = s - b. Is s a multiple of 20?
False
Suppose 4*s + 3*i - 73 = 266, 1 = i. Is 14 a factor of s?
True
Suppose -2*i + 59 = -15. Let c = -9 + i. Is 14 a factor of c?
True
Let z(a) = -287*a. Let y(n) = -12*n. Let g(m) = 98*y(m) - 4*z(m). Let j be g(-1). Suppose -4*l + j - 8 = 0. Does 5 divide l?
True
Let m = 39 + -6. Is m a multiple of 11?
True
Let t = -221 + 477. Is 16 a factor of t?
True
Is 14 a factor of 17 + (-5)/(25/15)?
True
Suppose 0 = -2*n - 0*n + 138. Is 23 a factor of n?
True
Let n = -2 - -6. Suppose -n*h = -17 - 3. Is 2 a factor of h?
False
Let t(h) = -h**3 + 5*h**2 - 3*h - 4. Let w be t(3). Suppose 2*x = 3*x. Suppose x = -3*l, w*q = 2*q - 4*l + 57. Is q a multiple of 11?
False
Let g = -105 - -241. Does 34 divide g?
True
Let f(h) = 2*h**2 - 2 + 10*h + 1 + 2 + 5. Suppose 4*d - 4 = -28. Does 18 divide f(d)?
True
Let r(z) = -z + 13. Let h be r(11). Suppose 5*l - h*k = 31, -l - 4*k - 2 = l. Suppose l*t + 25 = 155. Does 13 divide t?
True
Suppose -2*o - 2*o + 552 = 0. Suppose -o = -5*d + 2*d. Is d a multiple of 16?
False
Let w(y) = y**3 + y**2 - y + 4. Let p be w(0). Suppose -5*o - 14 = -p. Is 10 a factor of 10/(1/(-6)*o)?
True
Let f(r) be the first derivative of 2/3*r**3 - 2 + r - r**4 + r**2. Does 5 divide f(-1)?
True
Suppose 3*s + 4*a - 6 = 7*a, -2*s + 3*a = -2. Let h be (-6)/(-2 - -1) - 2. Suppose -s*g = 4*x - h, 0*g + 3*x = g - 9. Is g a multiple of 2?
False
Suppose -b = -3 - 2. Let t = 13 + b. Is 7 a factor of t?
False
Let s = -5 + 5. Let l be 60 + (-2 + 0 - s). Suppose 0 = 4*m - l - 42. Does 20 divide m?
False
Does 6 divide -1 - (3 - (7 + 3))?
True
Let r be (-2)/((-4)/(-6))*-1. Suppose 3 + 7 = c. Let x = c - r. Is x a multiple of 7?
True
Suppose 2*w + 1 = 11. Let c(m) = -3 + 4*m - 4*m**2 + 2 - 4 + m**3 - 6*m. Is c(w) a multiple of 5?
True
Let s be 0 + -1 + 5 - 0. Suppose s*k + b - 53 = 0, -4*k + 4*b - 2 = -30. Let t = -7 + k. Is t a multiple of 5?
True
Let h(y) be the first derivative of y**4/4 + 8*y**3/3 - 3*y**2/2 - 11*y + 11. Let z be 34/(-4) - (-1)/2. Is 11 a factor of h(z)?
False
Suppose -4*h + 5*d = -464, -2*h + h - 5*d = -141. Is 14 a factor of h?
False
Suppose 0*f + 30 = -y - 4*f, -168 = 4*y + 4*f. Let q = y - -68. Is 22 a factor of q?
True
Let a(q) = -4*q**3 - 2*q**2 + q - 1. Let g(n) = 5*n**3 + 2*n**2 - n. Let x(l) = 4*a(l) + 5*g(l). Is 19 a factor of x(2)?
False
Suppose -2*a = 7 - 17. Suppose 4*x + 4*n = 100, -a*x = 4*n - 3 - 125. Is x a multiple of 14?
True
Let l(i) = 4*i**2 - 1. Let w be l(-1). Does 10 divide (w + -3 - -8) + 2?
True
Let y(n) = 4*n. Let q(i) = -7*i. Let f(t) = 3*q(t) + 5*y(t). Let z be 32/(-56) + 62/(-14). Is 2 a factor of f(z)?
False
Let q(y) = -y**2 - 6*y + 3. Suppose -3*m + l - 9 = 0, -m - m - l = 11. Is q(m) a multiple of 11?
True
Let q be (-3)/(-4)*(-24)/(-9). Is 10 + -2 - (q - 1) a multiple of 4?
False
Let w(n) = 2*n**2 + 6*n + 5. Let v be w(-3). Suppose -4*q + v*q - 9 = 0. Is 3 a factor of q?
True
Let i(a) = 2*a**2 - 12*a + 12. Is i(10) a multiple of 20?
False
Suppose -5*w + 2*d + 218 = 0, 2*w - 47 = w - 3*d. Is 44 a factor of w?
True
Suppose 39 = -3*n + 315. Suppose 6*o + 4*k = 2*o + n, 85 = 5*o - k. Does 15 divide -8 - -5 - o/(-1)?
True
Let w(v) = v**2 - 14*v - 2. Let r be w(7). Let b = 77 + r. Is b a multip