?
False
Suppose 0 = 4*y - 2*q - 3*q - 128, 124 = 4*y - 4*q. Is y a multiple of 18?
False
Suppose -4*r + 57 + 11 = 0. Suppose 4 = 3*h - c, 4*c - r = 4*h - 3*h. Suppose 0 = h*t - 2 - 121. Is 14 a factor of t?
False
Suppose -2*t + 26 + 4 = 0. Suppose -2*k - 3 + t = 0. Let m(p) = 2*p**2 - 8*p. Is m(k) a multiple of 11?
False
Let x(q) = q. Let f be x(5). Is 5 a factor of f*(3 + -2 - -1)?
True
Suppose 5*c + 79 - 1 = 3*u, -4*c + 52 = 2*u. Let p = u + 11. Is 12 a factor of p?
False
Let q(l) = l**3 - 6*l**2 + 6*l. Suppose -3*f + 7*f - 25 = m, 5*f - 3*m - 33 = 0. Does 18 divide q(f)?
True
Suppose 5*o - 13 = -3. Let k(y) = 8*y**2 - 2. Does 28 divide k(o)?
False
Let r = 35 + 41. Suppose -r = 3*c - 214. Does 16 divide c?
False
Let c(z) = 8*z**2 + 3*z + 4. Is c(4) a multiple of 18?
True
Suppose -3*c + 112 = 2*d - 5*c, 4*d - 5*c - 228 = 0. Does 13 divide d?
True
Let q(s) = -s**2 + 4*s + 3. Let u be q(4). Suppose -8*w + 9*w = u. Does 3 divide w?
True
Suppose 5*q + x = -30, -5*x = 4*q - 4*x + 24. Let d be 1/(-2)*2/1. Let h = d - q. Does 5 divide h?
True
Let w(q) = -q + 73. Is 14 a factor of w(0)?
False
Suppose -4*x = -5*f - 1384, -832 = 3*f - 0*f - 2*x. Let h = -163 - f. Does 17 divide (-6)/(-10) - h/(-5)?
False
Suppose -24 = -5*y + 1. Suppose y*k = 50 + 25. Is 15 a factor of k?
True
Suppose -5*b + 76 = 26. Suppose 2*f - b = 7*f. Is 8 - 0 - (4 + f) a multiple of 2?
True
Suppose 4*b = -0*t + 4*t - 924, -2*b = 4*t - 906. Does 57 divide t?
True
Suppose 4*k = -5*p + 33, 4*p = -2*k + 4 + 20. Is (1/k)/(3/108) a multiple of 6?
True
Let z(k) be the third derivative of 0*k - 1/4*k**4 + 0 - 7/6*k**3 + 2*k**2. Is z(-5) a multiple of 23?
True
Let k(t) be the second derivative of -5*t**3/6 - 7*t**2/2 + 5*t. Does 7 divide k(-6)?
False
Let x(c) = 2*c**2 + 18*c - 1. Is x(-13) a multiple of 21?
False
Let o be (-4)/(-6) - 5068/(-12). Let c = o - 271. Suppose -2*x = 2*x - c. Is 19 a factor of x?
True
Let q(t) = 9*t**2 - 6. Is 6 a factor of q(-2)?
True
Suppose -5*g + 4 = -1. Suppose 5*z - m = 1, z + 5*m = -4 - g. Suppose 4*v - 77 - 3 = z. Is v a multiple of 7?
False
Let q(b) = -b**2 + 13*b - 15. Let k be q(10). Suppose 0*i + 4*i = 20. Suppose -2*j - 5 = -2*v - 33, 0 = -i*v - k. Is j a multiple of 5?
False
Is 2 a factor of 0 + 1 + (11 - -2)?
True
Is 5 a factor of (-85)/(-20) - (-3)/4?
True
Let v(r) = -1. Let k(h) = -93*h - 1. Let a(m) = -k(m) + 2*v(m). Let j be a(1). Let y = j + -65. Is 12 a factor of y?
False
Suppose 16*c = -c + 5610. Is 11 a factor of c?
True
Suppose 0 = -w - w. Suppose -48 = -w*h - 2*h. Does 18 divide h?
False
Suppose w - 3*p + 0 = 84, -123 = -2*w - 3*p. Is w a multiple of 23?
True
Is ((777/(-6))/(-7))/((-1)/(-2)) a multiple of 12?
False
Suppose -4*b + b - 21 = 5*v, 2*b + v = -7. Let a be 0 + b - 2*-3. Suppose 6 + a = 2*o. Is 5 a factor of o?
True
Suppose -2*l + 84 = x, l + 3*l + 5*x - 168 = 0. Is 6 a factor of l?
True
Let c(o) = -25*o - 150. Let j(w) = -1. Let n(u) = c(u) - 150*j(u). Does 26 divide n(-4)?
False
Is (-2484)/(-63) + (-2)/(-14)*-3 a multiple of 15?
False
Suppose 6*k - k - 1 = 4*d, -3*k = -4*d + 9. Let r = d - -23. Is 16 a factor of r?
False
Let u be (-15)/(-2)*(-36)/(-10). Suppose -u = -3*i + 93. Suppose k - i = -k. Is 11 a factor of k?
False
Does 33 divide (-11)/(2 - 148/72)?
True
Suppose 2*k - 2 = 0, 4*k - 26 - 48 = -5*g. Is 14 a factor of g?
True
Let z(h) = -h + 132. Does 12 divide z(0)?
True
Let z = -31 - -32. Let y be ((-12)/(-10))/(1/(-5)). Let f = z - y. Is f a multiple of 7?
True
Let m = 123 + 37. Is m a multiple of 16?
True
Suppose 4*r - 571 = -4*q + r, 5*r = 5*q - 705. Suppose 14 + 20 = 17*u. Suppose -5*c - u*l = -q, -4*c + 5*l + 101 = -6. Is c a multiple of 20?
False
Let r(b) = -7*b - 18. Does 19 divide r(-8)?
True
Suppose -3*n + 61 + 50 = -3*p, -2*n + 4*p = -78. Is 13 a factor of n?
False
Suppose 0*f - 4*f = -24. Let q(v) = -8*v - f + 25*v + 3 + 0. Does 19 divide q(2)?
False
Suppose 0 = 5*t - 10*t - 295. Let i = -32 - t. Does 9 divide i?
True
Let h(l) = 3 + 0 - 5*l - 1. Does 16 divide h(-10)?
False
Let p(s) = -s + 9. Is 5 a factor of p(4)?
True
Suppose -w = -r - 11, 5*w + 6*r = 3*r + 15. Does 6 divide w?
True
Let v = 196 + -19. Does 15 divide v?
False
Let n = 7 - 4. Suppose 0 = 4*j + g - 208, -3*j + n*g - g = -156. Does 13 divide j?
True
Let l(u) = 3 + 4*u**2 + 0*u**3 + u**3 + 0*u**2 - 5*u. Is l(-5) a multiple of 3?
True
Let q(g) = g**2 + 7*g + 4. Let n be q(-7). Let r be 134/6 + (-1)/3. Let m = n + r. Is m a multiple of 10?
False
Suppose g + 48 + 43 = o, 2*g - 2 = 0. Is 23 a factor of o?
True
Does 5 divide 12/(-3) + 2 - -20?
False
Let l = 368 + -117. Is l a multiple of 29?
False
Let v = 8 + -4. Let n = v - 13. Is 3 a factor of ((-24)/9)/(3/n)?
False
Let k(s) be the third derivative of 11*s**5/30 + 3*s**2. Let r be k(1). Suppose 2*a - 4 = r. Is 11 a factor of a?
False
Let t be 1 + 0 - -2*1. Suppose t*h + h = 16. Is (-70)/h*(-20)/25 a multiple of 7?
True
Suppose -55 = -5*r - 0*r. Let j(m) = m**3 - 12*m**2 + 14*m + 13. Does 18 divide j(r)?
False
Let y = 14 + -11. Suppose 153 = 5*q + g, 3*g - 59 = -y*q + 28. Does 7 divide q?
False
Let y = -142 - -199. Is 11 a factor of y?
False
Let l(k) = 0*k + 0*k + 1 - k + 5*k. Is 15 a factor of l(5)?
False
Suppose -14 - 10 = -2*f. Is (39/2)/(6/f) a multiple of 11?
False
Let d = -3 + 5. Suppose -d*c + 21 = -35. Does 8 divide c?
False
Suppose -16 + 1 = 5*d. Does 14 divide (1*63/d)/(-1)?
False
Let m = -4 + 4. Suppose -3*a = 2*j - 181, j - 62 = -a - m*j. Suppose a = 4*f + o, 3*f - 2*o = -o + 48. Is 8 a factor of f?
False
Suppose -6*m + 361 = -755. Is 31 a factor of m?
True
Let g = -5 - -9. Let n = 16 - g. Is 12 a factor of n?
True
Suppose -5*d + 772 = 3*i, -d + 5*i - 4*i = -148. Is 23 a factor of d?
False
Suppose -28*n - 992 = -36*n. Is n a multiple of 23?
False
Let v(i) = i**3 + 3*i**2 - 4*i. Let m be v(-4). Suppose 4*u + u - 35 = m. Suppose 3*s = 2 + u. Is s even?
False
Let n = -87 - -185. Is 14 a factor of n?
True
Let a(i) = -i**2 + 4*i + 5. Let g be a(5). Suppose 0*m + 4*m - 156 = g. Is m a multiple of 12?
False
Let t(j) be the first derivative of -j**2/2 + 17*j + 6. Does 7 divide t(8)?
False
Let m = 2 + 0. Let z = 15 - m. Does 9 divide z?
False
Let w(n) be the first derivative of 2*n**3/3 - 7*n**2/2 + n + 1. Let v be 20/(-16)*(-5 - -1). Is w(v) a multiple of 8?
True
Is 19 a factor of 0 - -4 - (-1)/((-3)/(-1122))?
False
Let q(w) = -1. Let g(r) = 5*r**2 - 9*r + 1. Let p(i) = -i**2 + i. Let o(h) = g(h) + 4*p(h). Let j(l) = o(l) - q(l). Is j(5) a multiple of 2?
True
Is 43 a factor of 258*(4 + -2 + -1)?
True
Suppose 37 = 2*u - 3. Is 5 a factor of u?
True
Suppose -5*y + 302 = -3*w, -2*w + 224 = y + 3*y. Suppose 2*n = y - 22. Does 5 divide n?
False
Is -2 + 13/((-39)/(-126)) a multiple of 12?
False
Let m(g) = -4*g + 20. Is 17 a factor of m(-2)?
False
Does 37 divide 74/(6 + -10 - -6)?
True
Let x(m) be the third derivative of m**4/24 + 2*m**3/3 - 5*m**2. Does 2 divide x(0)?
True
Suppose -48 = -2*t - 2*s - 0, 39 = 2*t + 5*s. Is 18 a factor of t?
False
Let g(t) = 7*t**2 + t + 12. Let r(c) = c**2 + c + 1. Let q(z) = g(z) - 2*r(z). Let n(h) = -9*h**2 + h - 19. Let b(j) = 6*n(j) + 11*q(j). Does 10 divide b(7)?
True
Suppose -a + 3*a + 5*z - 207 = 0, -3*a = -3*z - 300. Suppose -d = -3*r - r + a, d + 26 = r. Is r a multiple of 8?
False
Let t = 10 + 0. Does 3 divide t?
False
Suppose 0 = 2*o, r + 2*o - 31 = 1. Is r a multiple of 16?
True
Let s(a) = -a**3 + 17*a**2 - 32*a - 1. Let g be s(15). Suppose -4 = -2*z, -5*q - 4*z + 0*z + 263 = 0. Let o = q + g. Is 11 a factor of o?
False
Suppose 124 = c + 4*d - 2*d, 2*d = -2*c + 256. Is c a multiple of 11?
True
Let i(r) = -r**2 - 14*r + 2. Let j be i(-7). Suppose 85 = 2*a - j. Is a a multiple of 23?
False
Suppose 0*z - 100 = -5*z + 3*v, -3*v = 0. Suppose 0*d + z = 5*d. Suppose -c - c + 3*j = -69, -2*j = d*c - 130. Does 11 divide c?
True
Suppose 0 = 4*c - 4*j - 237 - 31, -c + 77 = j. Is c a multiple of 6?
True
Let b(l) be the third derivative of -7*l**4/24 + 2*l**3/3 + 2*l**2. Let t be b(-5). Suppose t - 147 = -4*i + f, 3*i + 2*f = 70. Is 13 a factor of i?
True
Suppose -o - 7*q = -10*q - 75, -2*q + 342 = 4*o. Is 14 a factor of o?
True
Let d be (-5 - -4)*(9 + -2). Let v be 14*(147/(-6))/d. Suppose 3*c = -5*p + v + 85, p - 10 = 5*c. Is 10 a factor of p?
False
Let a = -20 - -33.