ue
Suppose 5*l - 4*y + 4 = l, 0 = -4*l - y + 16. Suppose -o + 0*o - 8 = -d, l*o = -5*d + 16. Is d a multiple of 3?
False
Let x(n) = n**2 + 5*n - 11. Let k be x(-7). Suppose 2*a = -k*a + 265. Is a a multiple of 14?
False
Suppose 3*b = 8*b. Suppose -g + b*g = 0. Suppose g = 4*r + u - 60, 0 = -4*r + u + 4*u + 84. Is r a multiple of 8?
True
Does 23 divide (98/21)/(6/81)?
False
Let m(g) be the first derivative of -16*g**2 - 3. Let c(o) = -672*o. Let d(a) = 3*c(a) - 64*m(a). Is d(1) a multiple of 12?
False
Is (-6)/(-9) + (-176)/(-6) a multiple of 22?
False
Let t(l) = l**3 + 4*l**2 + 2*l - 3. Let u be t(-3). Suppose 0 = -4*r - u + 8. Does 5 divide r + 4*3/4?
True
Let f(v) = v**2 + 12. Does 4 divide f(0)?
True
Suppose 92 = z + d, -2*d = 2*z - 5*z + 261. Does 28 divide z?
False
Does 8 divide -1 + (4/2 - -7)?
True
Suppose -6*s + 298 + 44 = 0. Does 17 divide s?
False
Let r(p) = 2*p + 3. Is 15 a factor of r(12)?
False
Suppose 13*d + 40 = 18*d. Suppose -d = -19*t + 15*t. Is 2 a factor of t?
True
Suppose k - 7 = 23. Suppose k = 5*p - 50. Is 5 a factor of p?
False
Let r(d) = 3*d**2 - 26*d + 31. Is 17 a factor of r(14)?
True
Let d be 2/(-3) - 8/(-3). Let l(t) = -d - 2*t + 1 + 2 + t**2. Is 16 a factor of l(-3)?
True
Suppose 9*q - 340 = 236. Does 13 divide q?
False
Let h(x) = -6*x - 17. Does 18 divide h(-16)?
False
Does 17 divide (12/(-14))/((-17)/1071)?
False
Let h(r) = r**3 + 9*r**2 + 5*r - 9. Let n be h(-8). Let m = 27 - n. Does 12 divide m?
True
Let f(z) = -2*z**2 + 11*z + 7. Let o be f(8). Let i = o - -63. Is i a multiple of 10?
True
Suppose 3*k - 22 = 4*k + 4*r, -4*k + 5*r - 46 = 0. Is 13 a factor of (-368)/k - (-2)/(-7)?
True
Let f be (-2)/(-7) - (-388)/14. Suppose -6*v + 2*v + f = 0. Is 6 a factor of v?
False
Let u = 137 - 59. Does 26 divide u?
True
Let p(g) = 6*g + 7. Does 11 divide p(6)?
False
Suppose 16 = -2*y - 2*a, 3*y + 4*a + 36 = 7. Is (63 - 1) + 1 - y a multiple of 22?
True
Let c be 90/21*-1*7. Let r be (4/12)/((-2)/c). Suppose -z - 2*h = -8, r*h + 10 + 0 = 0. Is 6 a factor of z?
True
Let n(t) = t**3 - t**2 - 19*t - 6. Is 21 a factor of n(7)?
False
Let l(q) = 203*q + 1. Suppose 2*v - 6 = r + 3*r, 13 = -2*r + 3*v. Let a be l(r). Suppose -2*u + a = 5*m + 24, -m - 2*u + 44 = 0. Is 14 a factor of m?
False
Suppose -201 = -3*g + 351. Suppose -l = -h + 46, g = h + 3*h - l. Is h a multiple of 13?
False
Is 5 a factor of (-183)/(-9) + 3/(-9)?
True
Is (26/(-7))/(1/(-7)) a multiple of 15?
False
Let t = 1 + 2. Suppose -2*d - t*d = 0. Is 14 a factor of 16 + d + -1*2?
True
Suppose -6*m + 3*m = -90. Does 15 divide m?
True
Let k(r) = 3*r**2 + r - 2. Is k(-3) a multiple of 11?
True
Let g(n) = -n**2 + 13*n + 6. Let t be g(7). Let x = t + -21. Is x a multiple of 12?
False
Let w = 19 - -8. Is w a multiple of 12?
False
Suppose 200 + 86 = 11*a. Is a a multiple of 26?
True
Let l be ((-10)/(-4))/((-9)/(-18)). Suppose l*d + 276 = 9*d. Is d a multiple of 23?
True
Let a be ((-4)/(-1))/(-3 - -5). Suppose -39 = -a*f + 237. Suppose 5*z = 3*w + f, 3*z = 5*z - 2*w - 56. Does 14 divide z?
False
Let k = 261 - 179. Suppose -4*b + 18 = -k. Does 10 divide b?
False
Let x be (-2 - 2*-3) + -1. Let j = x - 3. Suppose q - 10 = -j*q. Does 10 divide q?
True
Suppose -4*i - 3 + 19 = 0. Suppose 162 = -i*m + 7*m. Does 8 divide (-292)/(-18) + (-12)/m?
True
Let g(x) = 5*x - 5. Let f be g(-11). Let l = -39 - f. Does 19 divide l?
False
Let b = 135 - 75. Suppose -5*r - 4*m = -b, r + m - 2 = 11. Does 2 divide r?
True
Let k = -56 - -75. Is 19 a factor of k?
True
Let d(c) = -c**3 + c**2 + c. Let t be -3 - -3 - (2 - 1). Let n be d(t). Let q = n + 11. Is 9 a factor of q?
False
Suppose -v + 15 = -21. Does 9 divide v?
True
Let b(h) = -h**2 + 21*h + 10. Does 4 divide b(16)?
False
Let o = 156 - 129. Does 4 divide o?
False
Let d be -3*(-1)/(3/4). Let z = d - 2. Suppose l - 18 = -b, l - 7 - z = -4*b. Is l a multiple of 13?
False
Let t(s) = -s**2 - 28*s - 19. Is 14 a factor of t(-17)?
True
Let r(n) = -14*n**3 - n**2 - n. Let b be r(-2). Suppose -3*h + b = 2*h. Does 11 divide h?
True
Let z(k) = -k**3 - 3*k**2 + 6*k - 4. Let j(s) = -s**2 + 9*s + 5. Let g be j(10). Let c be z(g). Suppose -14 = -3*o + c. Is o a multiple of 10?
True
Let k(s) = -s**3 + s + 2. Let x be k(2). Let t be 1*6*x/6. Is 14 a factor of (-57)/(-4) + 1/t?
True
Let x = 3 - 1. Let c(b) = -b**3 + 5 - 2*b - 6*b**x + 0*b + 4*b + 4*b. Is 5 a factor of c(-7)?
False
Let h(n) = n + 6. Let k be h(-6). Suppose k = -l - l + 6. Does 3 divide l?
True
Suppose -2*q = 3*q - 1875. Is q a multiple of 15?
True
Let q be (3/(-5))/(2/(-50)). Suppose -q - 33 = -2*b. Is 8 a factor of b?
True
Suppose -3*k + 26 = y, -4*y - 2*k + 6*k + 24 = 0. Suppose y = j - 3*u, 17 = 4*j - 2*u - u. Suppose -j*z + 6 = -4. Is 3 a factor of z?
False
Suppose 45 = 4*h - 3*m - 20, h - 5*m + 5 = 0. Is 4 a factor of h/(-6)*(-36)/15?
True
Let n(r) = -r**2 + r + 4. Let i be n(0). Let k = -4 + i. Suppose z = 2*m - m + 11, k = 2*z + 3*m - 27. Does 5 divide z?
False
Let s(r) = r**3 - r - 3. Does 7 divide s(3)?
True
Suppose c - 1 - 54 = 4*j, 5*c = j + 370. Suppose 4*x + x - c = -5*a, 3*x = -2*a + 34. Is 5 a factor of a?
False
Let n(j) = j**2 + 3*j + 4. Suppose 8*y - 3*y = -20. Does 3 divide n(y)?
False
Let w = -9 - -116. Suppose -5*c - 2*t = -121, 4*c + 11 - w = -2*t. Is c a multiple of 11?
False
Suppose 0 = 3*m - m + 2*x - 100, -3*x + 60 = m. Is m a multiple of 9?
True
Suppose 0 = v - 0*v - 3. Let u(f) = 7*f + 1. Is u(v) a multiple of 13?
False
Suppose 0 = g - 10. Is g a multiple of 6?
False
Let k(t) = -9*t**3 - 2*t**2 + 1. Let m be k(-1). Let y = -6 + m. Suppose -3*f + y = -10. Does 2 divide f?
True
Let p be (-3)/3 - (2 + -7). Is (p/(-6))/((-16)/216) a multiple of 4?
False
Suppose w + 306 = 10*w. Does 13 divide w?
False
Suppose 0 = m - 3*m + 178. Does 16 divide m?
False
Let d(s) = s**2 - 4*s - 10. Let i be d(6). Let q = 64 - 25. Suppose -f = i*f - q. Is f a multiple of 13?
True
Let m(f) = -9*f + 6. Is 19 a factor of m(-7)?
False
Suppose -2*f - 198 = -5*f. Let h = f + 6. Does 24 divide h?
True
Suppose 0 = -5*q + 2*o + 220, 4*o + 22 = -3*q + 154. Let i = q + -29. Is i a multiple of 12?
False
Let a(n) = 3*n + 1. Let i be a(-1). Does 4 divide -13*(i + 1) + -1?
True
Does 21 divide -74*(-2)/4*6?
False
Let n = 8 - 2. Suppose n*y = -g + 2*y + 26, 2*g - 3*y = 74. Does 9 divide g?
False
Suppose 44 + 196 = 3*c. Is 16 a factor of c?
True
Suppose 0 = -4*m - 3*v + 10, v + 0*v = 2*m - 10. Suppose 4 = 2*z - m. Let s(g) = -g**3 + 4*g**2 + g - 1. Does 2 divide s(z)?
False
Suppose 514 = 5*n + 2*f, -3*n - n + 418 = 5*f. Is 15 a factor of n?
False
Let v = -4 - -3. Let p = v + 2. Does 3 divide (p - 2*-1)*1?
True
Let v = 9 - -16. Is v a multiple of 4?
False
Suppose -4*s = -2*s - h - 10, -h = 5*s - 18. Suppose -2*q + 3*u = -191, 0*q + s*u - 68 = -q. Suppose 0 = -2*t - 2*t + q. Is t a multiple of 11?
True
Let w(x) = 8*x - 1. Suppose 0 = -2*t - 0 + 4. Does 15 divide w(t)?
True
Let b = -281 - -427. Suppose -5*f + x + b = 0, -26 - 112 = -5*f + 3*x. Does 10 divide f?
True
Suppose -5*c + 3*s + s + 156 = 0, -5*s = 2*c - 69. Is 8 a factor of c?
True
Suppose 3*f - 47 = 73. Does 20 divide f?
True
Let x(y) = y**2 + 3*y + 1. Let g be x(-3). Does 16 divide 3/(-3) + 49 + g?
False
Suppose 13*u + 198 = 2733. Does 15 divide u?
True
Suppose -14*p - 192 = -18*p. Does 9 divide p?
False
Let j = 78 - -12. Is 28 a factor of j?
False
Let j = -10 - -14. Does 9 divide (j - 2)*27/3?
True
Let t(j) = j**3 + 5*j**2 - 7*j. Let p be t(-6). Let q = p + -3. Does 3 divide q?
True
Let p(t) = -2*t - 3. Is 2 a factor of p(-5)?
False
Suppose z - 31 - 25 = -4*v, -165 = -5*z + 3*v. Is 9 a factor of z?
True
Let i be ((-6)/9 - 1)*-6. Let t be 109/3 - i/(-15). Let n = t - 24. Does 13 divide n?
True
Suppose -2 = -j + 17. Suppose j = 3*y - 11. Is 6 a factor of y?
False
Let r(p) = -p**3 + 3*p**2 + 4*p - 2. Let b be r(4). Let c = b - -1. Is ((-2)/4)/(c/52) a multiple of 13?
True
Let h = 1 + 6. Does 3 divide h?
False
Let d(n) = -2*n**3 + 3*n**2 - 2*n + 2. Let b be d(4). Let p = b - -131. Is p a multiple of 19?
False
Suppose 0 = -2*c - 3 - 11. Does 4 divide (-26)/c - (-2)/7?
True
Suppose 2*g - 2 = s, 0 = -3*s + 3*g - 12. Suppose 0 = 2*i - 35 - 1. Is 3/(i/(-32))*s a multiple of 16?
True
Suppose 3*i - 6*i = -177. Does 10 divide i + 0 + 8 + -7?
True
Let k be 0 + 2*20 +