s f a multiple of 13?
False
Suppose 0 = -3*i - i + 16. Suppose i*h + 22 - 142 = 0. Does 10 divide h?
True
Suppose 2*z = 3*o - 10, -2*o - 3*o + 24 = 4*z. Let w be -1 + 1 - 0/z. Let n = 10 + w. Is n a multiple of 8?
False
Suppose u + 4*u = -3*d - 9, -5*u - 25 = -5*d. Suppose -2*x - 6 + 74 = -5*r, d*r = -3*x + 83. Let o = -7 + x. Is 11 a factor of o?
True
Let s = 76 - 50. Is s a multiple of 14?
False
Suppose 3*m - 272 = -41. Is m a multiple of 6?
False
Suppose 2*d - 5*d = 0. Let h(k) = -56*k - 2. Let c be h(-1). Suppose d = 4*u - 7*u + c. Is 6 a factor of u?
True
Suppose -2*q + 161 - 3 = 0. Let z = q - 39. Does 20 divide z?
True
Let o be -1*(1 - 3/1). Let f(r) = -2*r**2 - r**3 - 3 - 4*r**2 - r + 4*r + 4*r**o. Does 13 divide f(-4)?
False
Let h = 25 + -12. Let y = h - 26. Let l = 29 - y. Does 11 divide l?
False
Suppose 0 = 4*y - 174 + 38. Let r = y + -24. Is 7 a factor of r?
False
Suppose -b = -3*b + 78. Let f = b + 0. Does 13 divide f?
True
Suppose -12 + 3 = -3*s. Suppose 3*c - 8 = -2. Suppose c*v = 2*y + 50, v - s*v = -y - 45. Is 12 a factor of v?
False
Suppose -5*s + 2*s = -4*u + 405, 2*s = -6. Let a = -63 + u. Is 18 a factor of a?
True
Let w be (-6*2)/((-3)/22). Suppose -2*l + 88 = -4*g, 5*g = -2*l - 0*l + w. Is 11 a factor of l?
True
Let r(x) = 2*x**2 - x - 17. Is r(5) a multiple of 15?
False
Suppose 4*j - 92 - 100 = 0. Suppose 10 = -v + j. Is v a multiple of 13?
False
Let a(i) = 3*i**2. Suppose 2 = -t - 0. Let s(k) = -k**2 + k - 1. Let p(x) = t*s(x) + a(x). Is p(2) a multiple of 8?
False
Let g = -22 + 22. Suppose 4*t + 4*s - 140 = g, 0*t - 2*t + 2*s = -58. Is 16 a factor of t?
True
Let i(c) be the third derivative of 0*c + 1/12*c**4 - 2*c**2 - 1/2*c**3 + 0. Is 9 a factor of i(6)?
True
Let i(q) = -q**3 - 7*q**2 - 2*q - 9. Let u be i(-7). Suppose 37 = t + 5*y, -u*t + y = -y - 104. Does 17 divide t?
False
Suppose 4*p = 74 + 226. Does 15 divide p?
True
Suppose -2*y = 3*y. Suppose o - 5*o + 32 = y. Does 4 divide o?
True
Let l = 13 - -21. Does 4 divide l?
False
Let t(m) = m**2 + 6*m - 1. Let l(n) = -5*n**2 - 29*n + 5. Let z(o) = -2*l(o) - 11*t(o). Let f be z(-8). Let g = f + 21. Is 9 a factor of g?
False
Suppose 6 + 2 = 2*q. Is q a multiple of 2?
True
Is 79 + -2 + 0 + -3 a multiple of 29?
False
Let p be 5 - (1/1 + 2). Suppose -71 - 37 = -4*v - 4*n, -p*v + 33 = -5*n. Is v a multiple of 14?
False
Suppose 9 = 3*z - 2*z. Is 357/9 + 3/z a multiple of 14?
False
Suppose 47 = m + 5*o - 6*o, -4*m + 3*o + 188 = 0. Does 9 divide m?
False
Does 6 divide 12/(8/6 - 1)?
True
Suppose a + 13 = 39. Does 21 divide a?
False
Suppose -3*y + 3*f + 277 = -y, -399 = -3*y - f. Suppose y = 5*l - 16. Is 15 a factor of l?
True
Let y(a) = -3*a**3 + a + 1. Let v be y(-1). Let n(g) = 2*g**v + 0*g - 1 + 0*g**3 + 2*g - 5*g**2. Is n(3) a multiple of 7?
True
Does 19 divide 511/9 + 14/63?
True
Let g = 24 + -21. Suppose 2*k + 5*n = 49, 2*k = g*n + n + 94. Does 14 divide k?
False
Let p(g) = 15*g**3 - 27*g**2 - 17*g - 8. Let t(d) = -7*d + 6 - 13*d**2 + 7*d**3 - 8 - d - 2. Let s(l) = 6*p(l) - 13*t(l). Does 18 divide s(7)?
True
Let b = 138 + 0. Is 23 a factor of b?
True
Suppose m - 5*m = -216. Suppose 3*z = 5*z - m. Does 11 divide z?
False
Let h = -9 - -10. Does 19 divide 2*57/6*h?
True
Let h(u) = u**2 + 7*u + 1. Is h(-11) a multiple of 15?
True
Let c(w) = 4*w**2 + 2*w + 2. Let t be c(-5). Let v = -53 + t. Does 13 divide v?
True
Suppose -4*j = 2*v + 114, -5*v + 2*v = -5*j - 137. Let a = j - -40. Is 7 a factor of a?
False
Let i = -14 + 10. Let f be 3/(-2) - 386/i. Suppose -k = 4*k - f. Is 19 a factor of k?
True
Is 9 a factor of (-4 - 14)*-1 - -4?
False
Let r(i) = i + 11. Let d be r(0). Suppose -90 = -3*a - 3*t, d = 3*a - t - 71. Does 15 divide a?
False
Suppose 68 = 5*w - m, m + 16 = 2*w - w. Is w a multiple of 10?
False
Let t(u) = -29*u + 15. Let r be t(10). Let p = r + 122. Is p/(-4) + 1/(-4) a multiple of 18?
False
Suppose -l - 5*g = -g, 0 = -l - g. Suppose l = v - 4*h - 15, -3*h - 5 = -2*v + 20. Is 7 a factor of v?
False
Suppose 5*j + 141 - 371 = 0. Is 14 a factor of j?
False
Suppose 3*m + 2*t - 270 = -t, 0 = -2*m + 2*t + 164. Is 13 a factor of m?
False
Suppose -2*r = -r - 8. Suppose 5*a - 24 = 3*f, 3*f + 5*a + 28 = 2*f. Let i = r - f. Does 10 divide i?
False
Let o(q) = -65*q - 4. Is o(-4) a multiple of 50?
False
Let j(s) be the second derivative of -7*s**3/6 + 5*s**2/2 + 3*s. Is 16 a factor of j(-4)?
False
Does 14 divide (-6)/(-4)*(-196)/(-21)?
True
Let f(t) = -t**3 + t**2 + 3. Let v be f(0). Suppose -26 = -5*l - 3*d, 0 = v*l - d + 2 - 26. Is 7 a factor of l?
True
Does 6 divide 4 + (22 - 5 - -3)?
True
Let g(o) = 6*o. Let r be g(-1). Let n = r + 4. Let y(v) = -7*v - 1. Does 13 divide y(n)?
True
Let r(u) = 33*u**2 + u - 11. Is 20 a factor of r(2)?
False
Suppose 0 = -3*o - d + 294, o + 3*o + 5*d = 381. Let a be (162/(-15))/((-1)/(-5)). Let n = a + o. Is 16 a factor of n?
False
Let s be 150/(-40)*(-176)/3. Suppose 245 = 5*n - s. Does 22 divide n?
False
Suppose 5*q + 4 = -26. Is 20 a factor of 24/(-15)*105/q?
False
Suppose -h + 5*z + 9 - 2 = 0, 2*h = 2*z - 2. Is -13*h/3 - 2 a multiple of 4?
False
Suppose -1130 = -3*l - 284. Is 45 a factor of l?
False
Suppose 2*f + 29 = 89. Is f a multiple of 30?
True
Suppose -o + 2*a = 6*a, 24 = 4*o + 4*a. Let n = -6 + o. Suppose 0 = -u - n*u + 9. Is u even?
False
Suppose 0 = -7*m + 355 + 93. Does 11 divide m?
False
Let m = 235 + -136. Is 15 a factor of m?
False
Let q = 21 + -4. Is 7 a factor of q?
False
Let o(c) = c + 10. Let q be o(-5). Suppose -3*z + 2 = -10. Suppose -q*h + 21 - 3 = g, 5*h + z*g - 27 = 0. Is 3 a factor of h?
True
Does 21 divide ((-56)/(-16))/((-2)/(-60))?
True
Let v(s) = -3*s + 7*s**3 - 4*s**3 + 2 + 0. Is v(2) a multiple of 20?
True
Suppose 4*m + 5*b = 340, -b = -5*m + 3*b + 384. Is 16 a factor of m?
True
Let c(i) = 4*i - 30. Is c(10) a multiple of 2?
True
Let r = -92 + 157. Suppose r = w + 2. Suppose l + 3*l - 3*m - w = 0, l = -4*m + 30. Does 15 divide l?
False
Let a = -1 + 5. Suppose 0 = -k - 4*c + 52, 0 = 5*k - 0*k + a*c - 276. Suppose 2*z - k = -0*z - 5*b, -5*z = -b - 140. Is 15 a factor of z?
False
Let y = -12 + 24. Let k be (16/y)/((-4)/(-6)). Let s(g) = 7*g**2 - g - 2. Does 24 divide s(k)?
True
Let n(m) = 3*m + 1. Suppose 3*y - y + 2*b = 20, 3*y - 5*b - 22 = 0. Does 14 divide n(y)?
True
Suppose 0*q = -q + 4. Let d(c) be the third derivative of 3*c**4/8 - c**3 + 12*c**2. Does 10 divide d(q)?
True
Suppose 3*g + 0 = 4*z + 6, -g + 2 = 3*z. Let q be g/3 - (-264)/9. Suppose 5*y - 3*v - q = 2*v, y - 5*v = 10. Is 5 a factor of y?
True
Suppose 2*u + 2*n = 20, u - 4*u + n + 42 = 0. Does 4 divide u?
False
Let q(a) = -a**2 + 10*a - 5. Let o be q(5). Let z(w) = -w**3 - 7*w**2 - 5*w + 8. Let y be z(-6). Suppose -o = -n - 4*h + 2, y*n - 56 = -2*h. Does 11 divide n?
False
Suppose -2*w + 4*t + 42 = -0*t, 0 = -3*w - 2*t + 55. Does 7 divide w?
False
Suppose 4*b + 3*v - 402 = 0, 365 = 3*b - 4*v + 51. Suppose 3*s - 17 = 2*f - 54, -5*f + b = 2*s. Is 11 a factor of f?
False
Suppose 80 + 139 = 3*d. Is d a multiple of 10?
False
Let z = 66 - 15. Does 17 divide z?
True
Let y(q) = -q**3 + q + 1. Let k(u) = u**3 + 2*u**2 + u + 1. Let h(l) = -k(l) + 2*y(l). Let s be h(-2). Is 3 - 5/(s/(-18)) a multiple of 9?
True
Let x(g) = g + 10. Let j be 0 + 2 + 4/(-2). Suppose 4*h + j*d = -5*d - 5, -d = -h + 1. Is x(h) a multiple of 5?
True
Suppose 2*a - 3 - 107 = 0. Is a a multiple of 15?
False
Let q(g) = 3*g**2 - 7*g - 1. Let x be q(-9). Suppose 3*u - x = -95. Does 14 divide u?
True
Suppose 3*w + 16 = -17. Let d = w + 8. Does 9 divide 58/3 + (-2)/d?
False
Suppose -2*p - 150 = -3*p. Is 50 a factor of p?
True
Suppose 10 = -2*u - q + 83, 4*q = 12. Is u a multiple of 3?
False
Let x be (20/6)/(1/6). Let r = x - 9. Does 11 divide r?
True
Does 16 divide (2/6)/(12/2988)?
False
Let w(b) = 6*b**2 - 12*b - 5. Let c(f) = 9*f**2 - 18*f - 7. Let x(m) = -5*c(m) + 8*w(m). Let y be (-4)/(2/1) + 7. Does 20 divide x(y)?
True
Suppose 69 = -2*d - 0*d - f, 3*d = 2*f - 107. Let w = d - -50. Does 13 divide w?
False
Let n = 39 - 19. Suppose 0 = 4*z - n - 224. Let r = -23 + z. Does 17 divide r?
False
Let x = 41 - 22. Is 19 a factor of x?
True
Suppose 2*a = -a + 147. Let x = -11 + a. Is 20 a factor of x?
False
Let o(b) = b**3 + b**2 + 3*b - 5. Is 9 a factor of o(2)?
False
Let d be (-4)/22 + (-2