f. Is 10 a factor of q?
True
Suppose 3*q = 2*q + 32. Does 15 divide q?
False
Suppose 6*l - 36 + 0 = 0. Is l a multiple of 6?
True
Let h be (13/(-1))/((-2)/4). Suppose 0 = -2*x + 2*j + h, -3*x + 2*j = 2 - 42. Is 14 a factor of x?
True
Let p(f) be the third derivative of f**4/24 - 7*f**3/3 - 2*f**2. Let l(h) = -h + 15. Let d(b) = -3*l(b) - 4*p(b). Is 3 a factor of d(5)?
True
Is (-4)/18 + (-1700)/(-36) a multiple of 15?
False
Let l(f) be the third derivative of -f**5/60 + 7*f**4/24 - 2*f**3/3 - 3*f**2. Does 3 divide l(5)?
True
Let x be 1 - -5 - (-2 - -3). Suppose x*q - 25 - 20 = 0. Is 11 a factor of 16 - 1/((-3)/q)?
False
Let m(z) = z**2. Let v(d) be the second derivative of -7*d**3/6 - d**2/2 + d. Let t(y) = m(y) + v(y). Does 16 divide t(10)?
False
Let w(y) = -y**2 + y + 62. Let j(n) = n**2 - 7*n + 10. Let x be j(5). Does 32 divide w(x)?
False
Let n(o) = 21*o**2 - 31*o - 4. Let l(y) = -4*y**2 + 6*y + 1. Let s(p) = -11*l(p) - 2*n(p). Let z(q) be the first derivative of s(q). Does 12 divide z(7)?
True
Let n(j) = -34*j + 2. Is 8 a factor of n(-5)?
False
Let z = -6 - -9. Suppose 1 = -4*d - z*s + 4, -2*d + 2*s = -12. Is 14 a factor of ((-6)/(-2))/d*19?
False
Let d(q) = -q**2 - q + 71. Let m be d(0). Let u = 156 - m. Suppose 4*f = -f + u. Does 7 divide f?
False
Let b(z) = 5*z + 7. Does 21 divide b(7)?
True
Does 19 divide 39/((9 - 4) + -4)?
False
Let z = 17 - 8. Suppose -4*u = -u - z. Does 2 divide u?
False
Suppose 0 = -2*f + 7*f - 400. Is 20 a factor of f?
True
Let c(w) = w + 2. Suppose 0 = 2*u + 5*m + 14, 2*m - 10 + 3 = u. Let p be c(u). Is 8 a factor of 4/(-10) + (-72)/p?
False
Suppose 4*d = 2*b + 3 + 1, -d = -2*b + 5. Suppose j = -j - 4*g + 24, -b*g - 26 = -3*j. Is j a multiple of 10?
True
Let f(s) = s**3 - 9*s**2 + 8*s + 8. Let g be f(8). Suppose g = 2*w - 0*w. Suppose 11 = w*v - 25. Is 4 a factor of v?
False
Suppose -3*l - 12 = -0*l. Is (-1)/(l/4) + 7 even?
True
Let d(p) = p + 94. Let c be d(0). Suppose -4*v = 14 - c. Is 20 a factor of v?
True
Let a = -1 + 85. Is a a multiple of 6?
True
Let r(t) = t + 26. Does 4 divide r(-14)?
True
Suppose 0 = -5*u + 15, o + 2*u = 4*u + 6. Does 3 divide o?
True
Let q = 4 - 4. Suppose q = -4*x + 3*o + 19, 5*x - 10 - 9 = -o. Is 9 a factor of x/10 - (-186)/10?
False
Let i(d) = -d**2 - 8*d + 13. Let m be i(-9). Suppose -m*h + 111 = 5*n, n + 3*h - 43 = -n. Is 21 a factor of n?
False
Does 13 divide 43/3 + -1 + 4/6?
False
Suppose -k - 2*k - 3 = 3*p, 3*p - 12 = 0. Let j(w) = w + 7. Let q be j(k). Suppose -39 = -q*f - 9. Is 15 a factor of f?
True
Suppose -2*p + 9 - 1 = 0. Suppose -p*a + 50 = a. Does 5 divide a?
True
Let v = 86 - -34. Does 4 divide v?
True
Let b = -2 - -10. Suppose -5*z - 165 = -5*v, 3*v - 3*z + b*z - 115 = 0. Is v a multiple of 16?
False
Let u(o) = o + 13. Let s be u(-10). Suppose -2*w - 38 + 131 = 3*g, -3*g - 147 = -s*w. Is 14 a factor of w?
False
Let u = 78 + -58. Does 4 divide u?
True
Suppose 0 = -a + 5*a - 48. Suppose 5*l - 20 = -5*n, -2*n = -3*n - 5*l + a. Suppose n*z + 22 = 4*z. Is 11 a factor of z?
True
Let q(w) = -w**2 + 6*w - 2. Suppose 5*g - 23 = 2. Let j be q(g). Is 14 a factor of 15 + 2/(j - 5)?
True
Let l be (12/10)/(3/30). Let t be 105/l - 2/(-8). Let y = -5 + t. Is y a multiple of 2?
True
Let i = -24 + 52. Does 28 divide i?
True
Let p(w) = -w**3 + 14*w**2 - 16*w + 19. Does 11 divide p(8)?
True
Suppose -3*j + f + 122 = 0, -3*j = 2*f + f - 102. Is j a multiple of 13?
True
Suppose 3*z = -z + 12. Suppose 0*f + 6 = j + z*f, -3*j - 4*f = -3. Is (1 + -70)*1/j a multiple of 8?
False
Let d = 2 + 4. Suppose 0 = r - 2 - d. Is 4 a factor of r?
True
Suppose -14*o = -5*o - 36. Does 2 divide o?
True
Let b(x) = 11*x**2 + 2*x - 1. Does 12 divide b(1)?
True
Suppose 0 = f - 4 - 13. Let j = f + 49. Does 10 divide (j/15)/((-1)/(-5))?
False
Let i be (-2)/2 + (-15)/(-3). Suppose -3*d = 3*f + 15, 0*f = -f - i. Is 11 a factor of (10/(-1) + d)/(-1)?
True
Let q = 192 - 92. Is 10 a factor of q?
True
Suppose -2*s = 3*s - 25. Suppose -6*y + 3*y + s*n = -21, 5*n = -4*y - 7. Is y/(0 - -2)*11 a multiple of 11?
True
Let f be (1 + 0 + 1)*1. Let n be 5/f + (-1)/2. Suppose 3*z + 9 - 35 = -n*c, -2*c = -z - 26. Is c a multiple of 13?
True
Let l be (-4)/(-8)*(-3 + 159). Suppose 0 = -p - 5*o + 33, 2*o - l - 60 = -3*p. Does 16 divide p?
True
Suppose -3*h - 4*l + 10 = 0, h + 2*l = -l - 5. Suppose -h + 0 = -m. Is m a multiple of 6?
False
Let q = 31 - -1. Is 6 a factor of q?
False
Suppose 4*g - 252 = 4*y, 317 - 11 = 5*g - 2*y. Suppose 5*b - 5*w = g, 5*b - 21 = 2*w + 27. Does 3 divide b?
False
Suppose m - 23 = -4*f, 6*m - 61 = m - 2*f. Does 11 divide m?
True
Let j = 42 - -104. Does 32 divide j?
False
Suppose 203 = 4*g + r, 5*r - r + 20 = 0. Is 9 a factor of g?
False
Let u = -5 - -10. Suppose 3*f - 4*m - m + 5 = 0, -u*f + 29 = m. Let s = f - -18. Is 11 a factor of s?
False
Suppose -t - 3*t - 56 = 0. Let v = -42 - t. Let h = v + 46. Is h a multiple of 8?
False
Let p = -6 - -19. Is 13 a factor of p?
True
Suppose -2*x + 9 = x. Let s(i) = i**2 - 2*i - 1. Let p be s(x). Suppose p*z + r = 73, 2*r + 51 = -3*z + 159. Is z a multiple of 19?
True
Suppose 0*n = 3*n - 39. Is n a multiple of 2?
False
Suppose 23 = 2*q - q. Is q a multiple of 8?
False
Let i = 3 - -1. Suppose 66 - 10 = i*g. Is 5 a factor of ((-35)/g)/(2/(-8))?
True
Suppose -132 = -2*b + 54. Suppose -4*n + r + 3*r + 420 = 0, -b = -n + 5*r. Suppose 3*l + n = 6*l. Is l a multiple of 18?
True
Let m be (4/(-8))/(2/(-28)). Let p(y) = -y**3 + 6*y**2 + 8*y - 9. Let v be p(m). Let c = v + 6. Is c a multiple of 4?
True
Let s be 2/(-8) - (-18)/8. Let d be 2 + s/(-1 - -2). Suppose d*v - 32 = 2*v. Does 16 divide v?
True
Let u(w) = 2*w - 3. Let y be u(4). Suppose 0 = -0*x + y*x - 765. Suppose x = 5*k - 7. Is k a multiple of 11?
False
Let k = 85 + -28. Is k a multiple of 8?
False
Let a(i) = -i**2 + i - 1. Let u(c) = -3*c**2 + 12*c - 10. Let q(x) = -2*a(x) + u(x). Suppose 2*n - 5*z - 36 = -n, -50 = -5*n + 5*z. Is q(n) a multiple of 9?
False
Suppose 203 - 569 = -6*i. Is 11 a factor of i?
False
Let n be (-1)/(39/18 - 2). Let b be -1*(-2)/(2/11). Let h = b + n. Does 3 divide h?
False
Let z(m) = -3*m. Let b(t) = t + 1. Let w be b(3). Let d = w + -8. Does 6 divide z(d)?
True
Let u(n) = -n**3 + 4*n**2 + 3. Let b be u(4). Suppose -4*j = -3*t + 4, 2*j + 5*t + b - 1 = 0. Does 13 divide (-16 + (-1 - -4))/j?
True
Suppose -j = -6*j + 5. Let s be j + 99 + -2 + 0. Does 10 divide 6/30 - s/(-10)?
True
Suppose -f + 6 + 4 = 0. Is f a multiple of 5?
True
Let s = -31 + 91. Is 20 a factor of s?
True
Is 2 a factor of ((-2)/5)/((-11)/110)?
True
Let x(w) = -w**3 + 3*w**2 - 2*w - 4. Let k be x(-4). Let n = -72 + 76. Suppose u - 52 = -u - 5*a, -n*a = 4*u - k. Is u a multiple of 12?
False
Let b = 43 - 23. Suppose -f = 4*f - b. Suppose -f*u + 2*u + 40 = 0. Is 12 a factor of u?
False
Suppose r - 3 = 0, u - 3*u + r + 111 = 0. Let j = u - -12. Is j a multiple of 23?
True
Let k(p) = p**3 - 9*p**2 + 5*p - 4. Is 8 a factor of k(9)?
False
Let w(z) = -z + 1. Let p be w(-3). Let g be (5 + p)*-1*1. Is (8/(-3))/(3/g) a multiple of 3?
False
Let s(f) = -f**3 - 4*f**2 + 7*f + 7. Is s(-7) a multiple of 15?
True
Suppose 2*t - 40 = 12. Is t a multiple of 13?
True
Suppose 3*q + 3 - 30 = 0. Let k be 57/5 - q/(-15). Suppose 3 + k = -3*g, 0 = -2*o + 3*g + 35. Does 5 divide o?
True
Let f(r) = -r + 3. Let j be f(4). Is (-12 + (j - 2))*-5 a multiple of 16?
False
Suppose 42 = 3*z - 27. Is z a multiple of 11?
False
Suppose -5*t = 2*g + 11, -3*t - 9 = -5*g + 10. Suppose c = g*c - 82. Suppose c = 3*a - 14. Is a a multiple of 15?
False
Let s(c) = 6*c - 1. Let f(o) = -18*o + 3. Let w(l) = -3*f(l) - 8*s(l). Is 18 a factor of w(4)?
False
Suppose -491 + 128 = -11*t. Is t a multiple of 11?
True
Let u(q) = -26*q - 30. Is u(-5) a multiple of 8?
False
Suppose -2*o + 15 = 2*w + 3*w, 0 = 4*o + w - 21. Suppose 0 = j + o*l - 10, -j - l = j - 65. Is 10 a factor of j?
False
Let c(v) = 2*v**2 + 5*v + 4. Is c(-3) a multiple of 3?
False
Let t be (16 + -10)/(1/(-1)). Let c(q) = -q**2 - 6*q - 2. Let n be c(t). Let h = n + 11. Does 9 divide h?
True
Let k be 2/3 + 11/(-3). Let z be 128 - (-5 - k) - 0. Is z/(-2)*8/(-20) a multiple of 13?
True
Let z(g) = -g**2 - 6*g - 1. Let w be z(-4). Let l be 1*w + 6 + -9. Does 4 divide (1/3)/(l/48)?
True
Let l(m) = 10*m - 1. Let n(s) = 1