
Suppose 0 = -13*d + 15*d - 70. Suppose 0 = 5*o + d - 155. Is o a multiple of 12?
True
Suppose 4*j = 4*u + 4, 4*j + 41 = u - 6*u. Let l = j - -10. Is l a multiple of 3?
True
Let u = -33 + 60. Does 13 divide u?
False
Suppose -d = -4*t + 559, -t - 3*d + 39 = -117. Is 15 a factor of t?
False
Let f(q) = 4*q**2 - 2*q - 2. Suppose 0 = -5*b - 13 + 3. Does 10 divide f(b)?
False
Let t = 31 + -6. Is 25 a factor of t?
True
Suppose -5*b + 10*f = 8*f - 609, -4*b = 3*f - 478. Is 28 a factor of b?
False
Let z(v) = 14*v**2 + 8*v + 8. Does 11 divide z(-3)?
True
Let t(c) = -c + 10. Let r = 18 - 13. Suppose 0 = -r*k - u + 18 + 25, -18 = -3*k + 2*u. Is t(k) even?
True
Let f = 351 - 166. Does 29 divide f?
False
Let z be (-1)/3 + 290/6. Suppose l - z = -2*l. Is 8 a factor of l?
True
Let z = -14 - 4. Is (3 - 0)/(z/(-114)) a multiple of 4?
False
Suppose -12*k + 7*k + 75 = 0. Does 11 divide k?
False
Let a(r) = -r + 9. Let g be a(7). Suppose 29 = -g*c + 3*c. Let d = 61 - c. Is d a multiple of 16?
True
Let y = 25 + 147. Suppose 4*i + y = -140. Is 10 a factor of i/(-8) + 2/8?
True
Let d = 209 - 146. Is d a multiple of 9?
True
Is (20/12)/(-5) + (-174)/(-9) a multiple of 4?
False
Let p = -25 - -75. Does 33 divide p?
False
Let j(t) = -t**3 - 9*t**2 + 9*t - 6. Let g be j(-10). Suppose 2*m = -g + 46. Does 8 divide m?
False
Let y = 194 + -86. Is y a multiple of 12?
True
Suppose 4*h - 25 = -h. Let n(l) = l**2 - 4*l - 7. Let r be n(h). Is 3 + r - (-318)/6 a multiple of 27?
True
Does 15 divide -3*(2 + 1 + -21)?
False
Suppose -6*h + 2*h = 0. Suppose h = -k + 1 + 11. Is k a multiple of 12?
True
Suppose 37 - 121 = -2*l. Suppose -q + 3*q - l = 0. Is q a multiple of 7?
True
Suppose 11 = -4*p + 3. Let n be p - 5/((-10)/4). Is 13 a factor of (-1 - n) + (-232)/(-8)?
False
Let x be (20/6)/(2/(-6)). Is 16 a factor of 1/(-5) - 422/x?
False
Let m = -67 - -112. Is m a multiple of 15?
True
Does 34 divide 8/4*-2 + 247?
False
Suppose 4*t - 12 = 0, 4*d - 9*d + 63 = -4*t. Suppose -2*b + d = b. Suppose 0*q - 61 = -2*q - m, -b*q + 2*m + 130 = 0. Does 14 divide q?
True
Suppose 0 = -k - 2*k - 15. Is k/10 - 106/(-4) a multiple of 16?
False
Let m = 3 + 0. Let n(z) = -z**3 + 3*z**2 + z - 2. Let g be n(m). Suppose -2*d + 5*i + 11 - g = 0, 2*i - 10 = -2*d. Does 3 divide d?
False
Let i = -19 + 29. Let x = 20 - i. Is 4 a factor of x?
False
Let c be 4/12 + 39/(-9). Let n = c - -10. Is 3 a factor of n?
True
Let h be (2 + -3)/((-3)/(-12)). Is (46/8)/((-1)/h) a multiple of 11?
False
Let a(q) = 16*q**2 - 1. Is 5 a factor of a(-1)?
True
Suppose 2*s = -2*x + 4*x + 500, 3*x - 744 = -3*s. Suppose 4*w - 3*o - 329 = 0, -3*w + s = -2*o - o. Is w a multiple of 23?
False
Suppose -5*r + u + 107 = 0, 0*r + 4*r = 4*u + 92. Does 21 divide r?
True
Suppose 0 = -0*s - 2*s. Suppose s*t + t = -2*w, -3*t - 3*w + 9 = 0. Does 6 divide t?
True
Let y = -40 - -19. Let q be y/7 + 1 + -2. Let p(l) = -7*l - 5. Is 6 a factor of p(q)?
False
Suppose 7*g - 500 = 3*g + 5*i, -2*g = 2*i - 232. Suppose 0 = -3*o + 8*o - g. Does 8 divide o?
True
Let i = 6 - 4. Suppose -3*n = i*n. Suppose -4*z - 24 + 120 = n. Is z a multiple of 10?
False
Is 28 a factor of 21/(1 - (-4)/(-16))?
True
Let w be ((-6)/12)/((-1)/54). Suppose 2*n = n + w. Is n a multiple of 9?
True
Let d(r) be the second derivative of r**4/12 - 2*r**3/3 + 4*r**2 + 2*r. Let b be d(-8). Let y = b - 61. Is 16 a factor of y?
False
Let d(r) = r**3 + r + 9. Let x be d(0). Let k(q) = 8*q - 6. Let w be k(x). Let o = -36 + w. Does 12 divide o?
False
Let d = -45 + 69. Is d a multiple of 24?
True
Suppose -5*k + 3*k = 0. Suppose k = -3*l + 32 + 10. Does 7 divide l?
True
Let s be (-6)/(-4)*(-4)/2. Suppose -5*n + 31 = -2*z, 3*n = 5*n - z - 12. Let f = s + n. Does 3 divide f?
False
Let j = -53 + 112. Is j a multiple of 9?
False
Let f = 3 + 0. Suppose 3*p = j + 98, f*j + j - 4 = 0. Suppose -i = -2*i + p. Is 18 a factor of i?
False
Let n(j) = -66*j - 1. Let p be n(-2). Suppose 39 = 5*v - p. Is 17 a factor of v?
True
Suppose -2*d = -4*d + 418. Does 19 divide d?
True
Let u(r) = 2*r**2 - 6*r - 11. Is 40 a factor of u(-5)?
False
Suppose -5*y - 2*n - 355 = -31, -5*n - 266 = 4*y. Let a = -40 - y. Is a a multiple of 8?
True
Let l = 172 + -110. Is l a multiple of 13?
False
Suppose 3*r = -2*d + 40, 0 = -r - 2*d + 3 + 5. Does 2 divide r?
True
Let w be (1 + -3 - 0)*1. Let m = -1 - -16. Let t = m + w. Does 9 divide t?
False
Suppose n = 3 + 8. Is n even?
False
Let t be (30/4)/((-1)/(-2)). Let u = 50 - t. Is u a multiple of 9?
False
Let m = 477 - 285. Is m a multiple of 48?
True
Let h = 228 - -31. Does 11 divide (-14)/(-63) + h/9?
False
Suppose -6*a = -4*a - 56. Is 14 a factor of a?
True
Suppose -4*u - 2*q = 20, -u - q - 1 = -2*u. Is 35 a factor of (32/(-12) - u)*327?
False
Suppose -j + 2*j - 3*f = 5, 15 = 3*f. Suppose -4 - j = -2*q. Does 12 divide q?
True
Let d = -10 + 53. Let t(b) = -25*b**2 - 2*b - 1. Let j be t(-1). Let w = d + j. Is 9 a factor of w?
False
Let j = 27 + 21. Suppose 0 = p + 3*p. Suppose 2*c + 0*q - j = -5*q, c + 5*q - 34 = p. Does 6 divide c?
False
Let w(c) = 4*c**3 - c**2. Let u be (-2)/3*3/(-2). Let s be w(u). Suppose -s*z + 5*f = -152, -f - 77 = -5*z + 191. Is z a multiple of 22?
False
Let y = -23 - -14. Let o be (y/(-6))/((-3)/(-28)). Suppose -40 = -2*v + c, c + o = v - c. Does 11 divide v?
True
Does 16 divide 3/(-4)*276/(-9)?
False
Suppose -g + 67 = 50. Does 5 divide g?
False
Let q(r) = -25*r - 11. Does 20 divide q(-12)?
False
Suppose -4*r + 662 = -222. Suppose 2*v = -2*n + 94, 4*v - 5*n + 6 = r. Does 25 divide v?
True
Suppose q + 26 = 4*j - q, 2*q - 9 = -3*j. Let m(i) = -j*i - 2*i**2 - 5 + i**2 + 16*i. Is m(7) a multiple of 12?
False
Let b = 10 - 6. Does 4 divide b?
True
Suppose 0 = -2*h - 2*z + 8, 0*h - 5*h = -5*z + 10. Is h - (-42)/(-4)*-6 a multiple of 16?
True
Let k(n) = -3*n - 7. Let v(x) = -1. Let i(t) = -5*k(t) + 35*v(t). Let w be i(4). Suppose 0 = -0*r + r - 5, 5*f - r - w = 0. Does 13 divide f?
True
Let j(m) = m**2 + 7*m + 3. Let d be j(-5). Let v = -7 - d. Suppose v = 3*l + 15, -4*l + 24 = 4*c - 0*l. Is c a multiple of 11?
True
Let y(h) = h**2 - 9. Does 12 divide y(7)?
False
Let t(p) = p + 5. Let g be t(-4). Let n(y) = 14*y**3 + 0*y**2 + g + 2*y**2 + 7*y - 9*y. Is n(1) a multiple of 10?
False
Let i be (-126)/(-48)*4/3*12. Let r be (-6)/(-8)*2*-10. Let d = i + r. Is d a multiple of 11?
False
Let c = 42 + -21. Is c a multiple of 7?
True
Suppose -4*t - v + 373 = -78, -2*t - v = -223. Does 19 divide t?
True
Is 2 a factor of ((-1)/2)/((-2)/8)?
True
Let m(t) = 2*t**2 - t. Is m(2) a multiple of 6?
True
Let r(g) = -4*g - 11. Does 10 divide r(-7)?
False
Is 25 a factor of (-2 + (-12)/(-3))/(2/185)?
False
Let s(g) = -g**2 - 10*g - 5. Let i(f) = f**2 - 6*f - 4. Let t(d) = d + 2. Let x be t(3). Let q be i(x). Does 4 divide s(q)?
True
Let n = 53 + 19. Is 14 a factor of n?
False
Let i = -23 - -49. Let f = -33 + 31. Let y = i + f. Does 15 divide y?
False
Let b(x) be the first derivative of x**3/3 - 3*x**2/2 - 2. Does 14 divide b(7)?
True
Suppose 7*b - s - 575 = 4*b, 5*b = -3*s + 963. Suppose 5*a = r + b, -125 = -4*a + r + 28. Is 9 a factor of a?
False
Let q = -9 + 15. Suppose 0 = -q*m + 3*m + 6. Is 5 a factor of 1*-2 + 16 - m?
False
Suppose -f = 5*i + 3*f - 1117, -5*i = -3*f - 1096. Is i a multiple of 13?
True
Let n(j) = j + 16. Let o be n(0). Suppose i - o = -i. Is 4 a factor of i?
True
Let f = 19 + -9. Suppose -3*g - f + 40 = 0. Is 6 a factor of g?
False
Let d(z) = -z - 245. Let s be d(0). Let w be ((-6)/(-15))/((-1)/s). Suppose 4*x + 26 - w = 0. Is 18 a factor of x?
True
Suppose 4*d - 4*s - 768 = 0, s = 2*d + 2*s - 399. Is d a multiple of 38?
False
Let p(v) = 2*v**3 + 3*v**2 + 4*v - 4. Is 47 a factor of p(4)?
True
Let f(p) be the third derivative of -p**4/12 + p**3 + 2*p**2. Let h be f(6). Is (-26)/h - 14/(-21) a multiple of 2?
False
Let k = -16 - -11. Let f = 11 + k. Suppose 0 = -v + 6 + f. Is v a multiple of 12?
True
Let r = -90 + 240. Suppose i = o + 2*o - 162, -3*o = i + r. Is 11 a factor of 2/5 + i/(-10)?
False
Let x be 2/(-3) - (-38)/(-6). Let y = -38 - -52. Let f = x + y. Is 7 a factor of f?
True
Let b = -64 + 124. Is 31 a factor of b?
False
Suppose -3 = 2*f - 13. Suppose -m + 2*m + f*n = 9, n + 15 = 4*m. Let t(c) = -c + 7. Does 3 divide t(m)?
True
Let t(a) = 7*a**2 + 9*a - 24. Let r(k) =