*g - 42 = u. Is g a multiple of 17?
True
Let h(r) = r**2 - 6*r. Let a be h(6). Suppose 0*t - 4*t + 8 = a. Suppose -2*x + 10 = b - 2*b, -t*b - 8 = 0. Is x a multiple of 2?
False
Suppose 2*l + 69 = 5*l. Does 23 divide l?
True
Is 0/(-1) - 5*-4 a multiple of 5?
True
Let c = 1 + -2. Let l be ((-1)/(-3))/(2/(-6)). Is (2 - l*2) + c even?
False
Let m = -3 + 6. Suppose 0 = -3*o - 2*u + 13, -m*o + 2*u + 22 = -o. Is o a multiple of 5?
False
Let s(c) = -4*c - 6. Let u be s(-8). Does 9 divide (u/(-5))/(2/(-10))?
False
Let g = -4 + 5. Is ((-10)/(-6))/(g/15) a multiple of 12?
False
Is 7 a factor of ((-3472)/6)/(-4) + 8/(-12)?
False
Let m be (81/(-18))/((-2)/(-4)). Does 7 divide (-93)/(-6) + m/6?
True
Let v(h) = -h + 4. Let n be v(-6). Suppose -2*u + n - 4 = 0. Suppose 3*x + 2*r = 62, -5*x - u*r + 106 = r. Is 9 a factor of x?
True
Let v(m) = m**2 - 3. Is v(6) a multiple of 9?
False
Does 10 divide (24 - (-12)/(-3))*2?
True
Let h(c) = 4*c. Let t be h(1). Suppose t*i + 0*i = 124. Is 20 a factor of i?
False
Suppose 0 = -c - c + 20. Is c a multiple of 10?
True
Let n = 14 - 8. Let a = n - 2. Suppose 52 = a*i - 0*i. Is i a multiple of 13?
True
Let l(w) = -w**3 + 9*w**2 - 2*w - 13. Let c(h) = -1. Let b(z) = 5*c(z) - l(z). Let t(v) = 4*v + 1. Let g be t(2). Does 19 divide b(g)?
False
Let u = 95 + 5. Is u a multiple of 12?
False
Suppose 4*u - 3*g - 27 = 0, 0*g + 5 = -g. Is 14 a factor of 41/((5 - u) + -1)?
False
Suppose 5*m - 4*h = -38 - 21, 2*m - 2*h = -24. Let d = m + 17. Is d a multiple of 6?
True
Let d(j) be the third derivative of 17*j**5/60 - j**4/24 + j**3/6 + 5*j**2. Is 32 a factor of d(-2)?
False
Let g = -7 - -4. Let h = g - -11. Suppose h = -f + 59. Does 21 divide f?
False
Suppose -17*y = -21*y + 300. Is 22 a factor of y?
False
Suppose 0 = -4*f + 16, -4*f = -2*s - 2*f. Suppose 17 = 4*t - 5*a, 9*t - 5*a = s*t + 20. Is 38*t/(-18)*-3 a multiple of 15?
False
Let b(s) = s**2 - 6*s + 4. Let f be b(5). Let v = f + 22. Is v a multiple of 7?
True
Let s = -112 - -177. Suppose 9*p = 4*p + s. Is 13 a factor of p?
True
Let h be 2*(-2)/2 + 82. Let g = -2 + 4. Suppose g*k - h = -3*k. Does 14 divide k?
False
Let c be ((-1)/(-2))/(1/6). Suppose -g - 5*b = -c*b + 1, 0 = 2*g - 5*b + 11. Does 11 divide (24/(-10))/(g/30)?
False
Let j(k) = -3*k**3 - k**2 - 2*k - 1. Let y(t) = t**2 - 4*t - 6. Let u be y(5). Does 3 divide j(u)?
True
Let r(w) = -w**2 - 22*w + 53. Is 3 a factor of r(-22)?
False
Suppose 0*u = -u + 64. Let r = u - 35. Does 14 divide r?
False
Suppose 8 + 0 = 4*s. Let i = 3 + s. Does 2 divide i?
False
Let d be -2 + 18 - (2 - 1). Let o = d + -1. Suppose 4*q - 24 = -x, 3*x - o + 2 = 0. Does 4 divide q?
False
Let i(z) = -z**2 - 8*z + 6. Does 9 divide i(-6)?
True
Let s(f) = -2 + 2*f - 2*f**3 - 5*f + f**3 + 8*f**2. Let c be 1/(-2) + (-15)/(-2). Is 13 a factor of s(c)?
True
Let q(z) = 4*z**2 + 3*z. Is 2 a factor of q(-2)?
True
Let t(f) = f - 3. Suppose -r - 4*w + 24 = 0, 4*r - 5*w + w - 16 = 0. Is t(r) even?
False
Let c be (1 + 109)*(-2)/(-4). Is (c + 2)/(6/4) a multiple of 19?
True
Let u(k) = 3 + 4 - k + 2*k. Is 4 a factor of u(7)?
False
Let x(u) = -12*u + 1. Let v(y) = -13*y + 1. Let b(a) = -2*v(a) + 3*x(a). Is 11 a factor of b(-2)?
False
Let x(c) = c**3 + 5*c**2 + 7*c + 7. Let q be x(-5). Let h = q - -64. Is 10 a factor of h?
False
Suppose z + 278 = 3*z. Suppose 2*b - 3*q + z = 4*b, -b + 4*q = -42. Is 26 a factor of b?
False
Let o(b) = b**3 - 10*b**2 - b + 8. Let k be o(10). Is 22 a factor of (-291)/(-9) - k/3?
False
Suppose -5*t - 24 = -9. Let j = t + 9. Does 5 divide j?
False
Let f be 33 + -2 + -2 + 3. Let p = -19 + f. Suppose 0 = -o + j + p, j - 66 = -4*o - 2*j. Is 8 a factor of o?
False
Let f be 50/(-15) + (-4)/6. Let b(i) = -5 + 2*i**2 + 4*i**2 - 4*i**2. Does 22 divide b(f)?
False
Let t = -4 + 7. Suppose 2*a + 39 = t*a. Let m = 78 - a. Does 15 divide m?
False
Suppose 21 + 0 = a. Is 7 a factor of a?
True
Suppose -t - 2*l + 13 = -0*t, -2*t - 2*l + 24 = 0. Suppose -k = -0 - t. Is k a multiple of 5?
False
Let a(c) = -7*c + 1. Does 8 divide a(-3)?
False
Is 6 a factor of (-129)/(-21) + (-2)/14?
True
Suppose -2*q - 27 = 5*c, -2*q - 3*q = 4*c + 42. Suppose 4*b + 4*m = 5*b - 3, 0 = -4*b - 4*m + 12. Let k = b - q. Is 9 a factor of k?
True
Let b be (-1 + -3)*5/(-4). Suppose -3 = g + w - 9, 0 = -b*w + 20. Suppose -h = g*h - 39. Is 7 a factor of h?
False
Suppose 0*d = 3*m - 2*d - 14, 0 = 5*d - 25. Let w be (-363)/12 - (-2)/m. Let g = w - -45. Is g a multiple of 15?
True
Suppose -504 = -3*a - 3*a. Does 20 divide a?
False
Let w(q) = q**2 - 13*q - 11. Let n be w(-9). Suppose 0 = -4*m + 3*u + 185, -4*m + u + n = -0*m. Does 22 divide m?
False
Does 16 divide (0 - 9/(-4))*8?
False
Let s = -89 + 159. Is 10 a factor of s?
True
Suppose j = -j. Suppose j = -4*h + h + 90. Is h a multiple of 10?
True
Is 2 a factor of (5 + -6)/(2/(-6))?
False
Let d(v) = 4*v + 54. Does 3 divide d(-6)?
True
Suppose -d - 3 = 0, 12 = 3*i + 3*d + 39. Is 32 a factor of 75 + i - (0 + -4)?
False
Suppose 13 = 2*z - 15. Is 3 a factor of z?
False
Suppose 0 + 10 = 5*l. Suppose -l = 3*k - 8. Suppose k*j + 3*j - 170 = 0. Is 12 a factor of j?
False
Suppose 5*p = -5 - 10, 5*p = -2*d - 11. Suppose 0 = d*z - 162 + 14. Is 24 a factor of z?
False
Let a(k) = -k**2 - 5*k - 13. Let u be a(-9). Let d = -12 - u. Does 12 divide d?
False
Suppose -2*w + 38 = -8. Suppose 3*g - 5*n + n = w, 4*g = 4*n + 32. Is g a multiple of 7?
False
Let i(s) = -s**2 - s + 3. Let h be i(0). Let f be (-5)/(-5) + (-6)/(-2). Suppose 5*x = f*w - 2*w - 102, h*w - 153 = -2*x. Is 18 a factor of w?
False
Let y(i) = i**2 - i + 12. Let k be y(-9). Suppose 25 = -t + k. Is 26 a factor of t?
False
Suppose -126 = -3*c - 30. Is c a multiple of 17?
False
Suppose 0 = 3*o - 0 - 15. Suppose 4 = 3*y - m - 0*m, o*m - 34 = -3*y. Suppose -30 = -y*b + b. Does 5 divide b?
True
Let q be 1135/(-45) + (-2)/(-9). Let l = 18 - q. Is 11 a factor of l?
False
Let x(h) = -h**3 - 18*h**2 - 18*h - 9. Let w be x(-17). Suppose -148 = -w*n + 4*n. Is 12 a factor of n?
False
Let i be (4 - 3) + (-256)/(-2). Let t = 176 - 111. Suppose w = -4*l + i, -3*l - t = -5*l - w. Is l a multiple of 16?
True
Suppose -2*b = 3*z - 110 - 14, -5*b + z + 276 = 0. Is b a multiple of 15?
False
Let v be 2 - (5 + 3/(-1)). Suppose 5*k + 170 = -v*k. Let n = -20 - k. Is n a multiple of 7?
True
Let t(b) = 23*b - 5. Let h be t(5). Is h/7 + (-28)/(-98) a multiple of 5?
False
Let u = -103 + 59. Let l = u - -62. Is l a multiple of 6?
True
Suppose 0 = -4*x + 16 + 8. Suppose 4*s - x = s. Is (s/((-4)/(-94)))/1 a multiple of 17?
False
Let j(x) = -x**3 + 9*x**2 - 7*x + 7. Let d be j(8). Suppose 3*r - 57 = -d. Suppose 4*y - 50 = r. Is y a multiple of 6?
False
Suppose -5*p - 3*x + 225 = 0, 3*x - 33 = 2*p - 123. Suppose -4*y + p = y. Is 8 a factor of (6/y)/((-2)/(-24))?
True
Suppose -2*c = 6*c - 168. Let y = -16 + c. Is y even?
False
Is 25 a factor of 4056/44 + 8/(-44)?
False
Let v be -2*1/(2 + -3). Let g(j) = 3*j**2 + 2*j. Is 8 a factor of g(v)?
True
Suppose -s = 4*y - 3*s - 146, 4*s = -20. Suppose y = 3*u - 4*z, -z - 10 = -4*u + 18. Suppose -2*m + u*m = 48. Does 12 divide m?
True
Suppose 0*g - 5*q = -4*g + 351, -5*g + q = -423. Let k = g - 34. Let h = 85 - k. Is h a multiple of 9?
False
Suppose 28 = 2*w + 4*d, 0*w = -5*w + 4*d. Suppose w*s + 93 + 29 = p, s + 116 = p. Suppose 5*k - 120 = -5*o, 4*k = 3*o - o + p. Is k a multiple of 9?
True
Suppose 2*m + 27 = 129. Suppose 4 = -2*z - f + m, 4*f = -20. Is 10 a factor of z?
False
Let b(f) = -13*f - 1. Let c be (1/2)/((-4)/(-32)). Let p = 3 - c. Is b(p) a multiple of 6?
True
Let g = 45 + -14. Suppose -5 - g = -h. Is 14 a factor of h?
False
Let r be (-8 - -2)*1/(-3). Suppose -185 = -3*y + 5*q, -7*q - 5 = -r*q. Does 30 divide y?
True
Let w = 121 - 77. Suppose 82 = 5*i - 3*x, 0*i + 2*i - w = 4*x. Is i a multiple of 9?
False
Let v be 14/10 + (-21)/(-35). Suppose 3*p - v - 124 = 0. Is p a multiple of 21?
True
Suppose 9*x - 3*x - 54 = 0. Does 9 divide x?
True
Let p be (0 + -1)/((-3)/15). Suppose -78 = -p*c + 2*c. Suppose f = -0*f + c. Is f a multiple of 11?
False
Suppose -4*l = l - 25. Does 3 divide l?
False
Suppose 0 = l - d + 3, -2*l - 5*d + d = 12. Let z = 12 + l. Is 8 a factor of z?
True
Suppose 12 - 52 = -4*y. Let r = 15 - y. Is 8 a factor of (r/10)/(2/44)?
False
Suppose 0 = 2*x + 4*k - 4