 Does 15 divide f + 1 + (4 - 2)?
False
Suppose -b = -5*b + 92. Suppose b = 2*o - m, -5*o + 4*m + 18 = -38. Is 5 a factor of o?
False
Suppose -342 = 9*i - 15*i. Is i a multiple of 26?
False
Let s(m) = m + 2. Let d be s(-8). Let t(u) = u**2 + 4*u + 14. Is t(d) a multiple of 13?
True
Suppose -3*y = 3*s - 261, -3*y + 2*s - s = -265. Is 23 a factor of y?
False
Suppose h = 2*x - 394, -4*x + 983 = x - 2*h. Suppose -2*d + x = 3*d. Does 13 divide d?
True
Let a(b) = -b**2 - 8*b + 7. Let y be ((-30)/(-8) - 3)*-20. Let h = y - -7. Does 7 divide a(h)?
True
Suppose -95 = -3*w + p, -4*p + 129 = 3*w + 29. Let c = w + -1. Is 31 a factor of c?
True
Suppose 38 = -4*w + 194. Is w a multiple of 13?
True
Let i(g) = -4*g + 11. Does 5 divide i(-28)?
False
Suppose 186 - 21 = y. Is y a multiple of 33?
True
Let m be ((-12)/(-10))/(2/30). Let o = 25 - m. Suppose 2*s - 34 = 3*k + o, -92 = -5*s + 4*k. Is 7 a factor of s?
False
Let d be 32/(-12)*3/2. Let u(l) = -3*l**2 + 1. Let m be u(1). Is 24 a factor of (d - m) + (-37)/(-1)?
False
Suppose -g - 139 = -4*l, -4*l + 60 = 5*g - 61. Let s = -21 + l. Is 8 a factor of s?
False
Suppose 2*y = d + 80, 5*d + y = -80 - 276. Let b = 243 - 139. Let s = d + b. Is 12 a factor of s?
False
Let p = 118 - 74. Suppose -18 + p = 2*d. Is d a multiple of 4?
False
Suppose 0 = 6*o - o + 5, 19 = 4*j - 3*o. Let w = 81 + -49. Suppose -196 = -j*f - w. Is 14 a factor of f?
False
Let r(p) = 2*p - 2. Let u be r(6). Let o be (-4)/2 + u/2. Let i(x) = 2*x**2 - 2*x - 1. Does 11 divide i(o)?
True
Let y be (0/2)/(-2*1). Suppose y = 4*n + 2*x - 102, -6*n + 2*x = -4*n - 54. Does 13 divide n?
True
Is 1/(-4) - (-999)/12 a multiple of 24?
False
Let s(r) = -r - 2. Let l be s(-5). Suppose l*p + p - 76 = 0. Let x = p - 12. Is x a multiple of 5?
False
Let m(s) = 3*s + 108. Does 16 divide m(12)?
True
Let x(w) = -4 + w - 5*w + 3*w. Let y be x(-7). Suppose 3*m + 45 = 3*s, y*s - 41 = -m - 0*m. Does 6 divide s?
False
Suppose -2*n = -3*r - 0*n + 18, 0 = r + 3*n + 5. Is 81/r - (-6)/(-24) a multiple of 3?
False
Suppose -46 = -4*s - 1306. Is ((-4)/10)/(3/s) a multiple of 21?
True
Let p be 15/(-4) + (-4)/16. Is 3 a factor of 2/p*(5 + -29)?
True
Let b = 63 + -36. Does 18 divide b/(3/(-2) + 2)?
True
Suppose -5*z - 2*z = -1554. Is 18 a factor of z?
False
Suppose 0 = 5*i - 5310 - 2650. Suppose u + 0*u - 36 = 0. Does 17 divide (-4)/18 + i/u?
False
Let n(a) = -a + 33. Let f be n(0). Suppose -k = -t - 23, -3*k + 2*t + 99 = f. Is 17 a factor of k?
False
Let g be (-10)/(-4) + (-4)/(-8). Suppose g*m + n = 163, -3*n + 57 = -3*m + 4*m. Suppose 2*k - 5*k + m = 0. Does 18 divide k?
True
Let d(o) = o**3 - 16*o**2 - 15*o - 14. Is d(17) a multiple of 4?
True
Let a(w) = 2*w - 1 + 3 + w. Does 10 divide a(9)?
False
Let l be -14*(28/8)/(-7). Suppose 3*j + l = 43. Is j a multiple of 4?
True
Does 24 divide ((-16)/5)/(24/(-540))?
True
Let t(a) = -a**3 - 17*a**2 - 17*a + 9. Does 18 divide t(-16)?
False
Let t(v) = -4*v. Let c be t(-1). Let j(n) = 3*n**2 - 2*n - 2. Is j(c) a multiple of 19?
True
Let l(r) = -27*r + 6. Is l(-6) a multiple of 24?
True
Suppose 4 = -3*j + 10. Suppose -c - j*c + 51 = 0. Suppose -c = -2*d - 3. Is d a multiple of 4?
False
Let n(u) = u**3 + 5*u**2 - u - 5. Let x be n(-5). Suppose x = -2*i - 0 + 6. Suppose 15 = -a - 3*o + 36, i*o + 9 = 4*a. Does 5 divide a?
False
Let p(m) = -3*m**3 - 2*m**2 + 2*m. Suppose 0 = -h - 4*h + 20. Let d = -6 + h. Is p(d) a multiple of 11?
False
Let p(x) be the second derivative of x**4/2 - x**2/2 - 3*x. Does 5 divide p(-1)?
True
Let t be (3 - 1)/(5/15). Suppose t*l + 24 = 2*l. Let p(b) = b**3 + 7*b**2 + b - 1. Is p(l) a multiple of 13?
False
Let s = 6 - -1. Is 2 a factor of s?
False
Let r(g) = 2*g**2 + 0*g - g + 1 - g**3 + 2*g. Is 16 a factor of r(-3)?
False
Suppose -2*m + 9 = -0*m + 5*o, 3 = -m + 5*o. Suppose 0 = -5*b + 3*b + 6. Suppose i + 14 = m*g - 6, -20 = -b*g + 4*i. Is g a multiple of 10?
False
Suppose 2*o = o - 5*d - 4, 3*d + 24 = 3*o. Suppose 3*y = o + 6. Is y a multiple of 2?
True
Is (251/(-4))/((-20)/80) a multiple of 60?
False
Is 11 + -9 + (-74)/(-2) a multiple of 13?
True
Suppose d + 10 = -18. Is 70/d*6*-1 a multiple of 8?
False
Let p be (0 - -13)*(-3)/(-3). Let y = p + 6. Does 19 divide y?
True
Is 32/112 + 164/(-42)*-3 a multiple of 7?
False
Suppose 6*c - 28 = -4*r + c, -3*c + 36 = 4*r. Suppose -l + 5*l - r = 0. Suppose 10 = -5*h, -5*z - l*h = -4*z - 19. Is 10 a factor of z?
False
Suppose 15*n = -281 + 1901. Is n a multiple of 6?
True
Let i = 0 - -3. Suppose i*k = -k + 80. Does 4 divide k?
True
Let i(b) = 2*b**2 + 5*b + 2. Let q be i(-3). Suppose -4*s = 3*o - 0*s - 68, q*s = -o + 19. Suppose o = -u + 2*u. Does 8 divide u?
True
Suppose 2*p - 5 - 5 = 0. Suppose -4*x + p + 2 = -u, -5*x + 13 = 3*u. Let b(k) = 22*k - 1. Does 7 divide b(u)?
True
Let k(u) = -u**3 + 11*u**2 + 14*u - 4. Is k(12) a multiple of 8?
False
Suppose 0 = 2*t - 8 - 32. Suppose 2*j - 4*j = t. Is (-256)/j + (-4)/(-10) a multiple of 15?
False
Let y = 58 + 46. Suppose -2*l + 6 = -2, 4*d - y = -4*l. Is d a multiple of 7?
False
Let k = -2 + 2. Suppose -2*n - 11 + 33 = k. Let u = 13 + n. Is u a multiple of 12?
True
Let x(w) = 26*w - 55. Is 30 a factor of x(12)?
False
Let q(s) = -4*s + 10. Is 21 a factor of q(-7)?
False
Let h(o) = -o**3 + 14*o**2 - 13*o + 2. Let w be h(13). Is 151/5 + w/(-10) a multiple of 10?
True
Suppose 2*j - 10 = -0*j. Let n(s) = j - 11*s - 3 - 3 - 2. Does 10 divide n(-2)?
False
Let k be (-2)/6 + (-174)/(-9). Suppose 2*h = k + 29. Is h a multiple of 12?
True
Suppose -a + 6 = 2*a. Suppose -2*k - 12 = -4*h - 32, 16 = -a*k - 5*h. Does 6 divide 23/4 - k/(-8)?
True
Let l = 17 - 12. Let c(r) = 8*r - 12. Is c(l) a multiple of 5?
False
Let x be 6750/40 - (-6)/(-8). Suppose -3*s - 3*r = -126 - x, r + 2 = 0. Does 29 divide s?
False
Suppose -4*p - 2*v + 195 = -591, -p - 3*v + 189 = 0. Does 22 divide p?
True
Suppose -3*w - 2*r + 55 = 0, -w + 27 = 3*r + 4. Does 5 divide w?
False
Let q be 3 + 46/(-3)*-3. Let w = q - 34. Is w a multiple of 5?
True
Let i = 1 + -1. Suppose 5*f + 1 - 21 = i. Is 2 a factor of f?
True
Let s(o) = 24*o - 2. Let b be s(2). Let w(n) = n**2 - 8*n. Let g be w(11). Let d = b - g. Is d a multiple of 5?
False
Let t(o) = 7*o. Let f be (2/3)/((-4)/(-30)). Let w be t(f). Is 6 a factor of 164/14 - (-10)/w?
True
Suppose 0*s - s = -72. Suppose m - s = -m. Is 10 a factor of m?
False
Suppose -6 = -3*i - 0. Suppose 45 = i*v + v. Suppose -6*k - 2*a + 110 = -k, v = k - a. Is 10 a factor of k?
True
Suppose 3*q = -4*s + 110, 0*s = -5*s + 25. Does 10 divide q?
True
Suppose 37 = -7*w + 2*w + x, w = -2*x - 14. Is (w/(-6))/(14/105) a multiple of 10?
True
Suppose -o - 2*p = 2*o - 7, 2*p = -2. Does 9 divide (43 + -1)*o/9?
False
Does 7 divide (-38)/(-2) + 1 + 1?
True
Suppose 2*v = 6*v - 12. Suppose 2*z - 3*w + 10 = -0*z, 4*w - 13 = v*z. Let m = z - -10. Is 3 a factor of m?
False
Let g = 124 - 84. Does 8 divide g?
True
Suppose 0 = -0*z - 3*z - 6. Let j be (1 + -4)*z/3. Suppose -10 = -f - j. Is f a multiple of 3?
False
Let f(z) = 39*z - 1. Does 11 divide f(2)?
True
Let a = -271 + 550. Is 13 a factor of (-4)/14 + a/21?
True
Is 7 a factor of (4*49 - -3)/(0 + 1)?
False
Let j be (5 + -3)*38/2. Let z = j + 22. Does 12 divide z?
True
Let q = 100 + -36. Is q a multiple of 8?
True
Suppose 3*f - 5*h = -8, 2*f - 4*h = -2*f. Let i(c) = -c + 5. Let k be i(f). Is k/(-2) + (-82)/(-4) a multiple of 14?
False
Let k be (-28 - 2)*52/(-10). Suppose 4*u = -2*p + 7*p - k, 2*p = -2*u + 66. Suppose -4*i = -p - 8. Is i a multiple of 10?
True
Let g(r) = -r + 1. Let h be g(6). Is (h/10)/((-2)/36) a multiple of 4?
False
Suppose 4*j - 1048 = -4*o, -8*j = -3*j + 20. Let r = o + -131. Suppose 3*x + 4*t - 48 = 58, 4*x - t - r = 0. Is x a multiple of 17?
True
Suppose -4*u + 1572 = -4*a, 4*a - 614 = -5*u + 1396. Does 55 divide u?
False
Let o = -58 + 93. Is 5 a factor of o?
True
Suppose -5 = 3*u - 26. Is u even?
False
Let k be 235/15 - 3/(-9). Let j(y) = y + 14. Is j(k) a multiple of 6?
True
Let v(g) = -g**2 - 14*g + 19. Does 19 divide v(-13)?
False
Suppose 14 = 4*w - 6. Let m(u) = u**3 - 5*u**2 + 2*u + 5. Is 15 a factor of m(w)?
True
Suppose 0 = -o - 19*o + 3580. Is 18 a factor of o?
False
Suppose 0 = -2*a + 3*a - 19. Is 6 a factor of a?
False
Suppose 0 = 7*m - 42 - 49. Does 13 divide m?
True
Let n = 707 + 