54/21)/(-3) - (-2)/(-14). Let u = r + 40. Is u a multiple of 13?
True
Suppose 97*g - 70*g = 11178. Does 2 divide g?
True
Let y(f) = 12*f**2 - 3*f + 348. Does 6 divide y(0)?
True
Let b(z) = -z**3 + z**2 - 27*z - 21. Is b(-9) a multiple of 33?
False
Let u be (-148)/(-6) - 5/(-15). Suppose -u*t + 28*t - 84 = 0. Does 24 divide t?
False
Let j(u) = 136*u**3 - 3*u - 2. Let w(h) = -271*h**3 - h**2 + 7*h + 5. Let g(i) = 5*j(i) + 2*w(i). Is g(1) a multiple of 33?
False
Suppose 593 = 3*r - 8*s + 4*s, -3*r - s = -583. Does 15 divide r?
True
Let i(t) = 340*t - 135. Is i(5) a multiple of 13?
False
Suppose -j + 1645 = 6*j. Suppose -j = 2*w - 7*w. Is w a multiple of 21?
False
Let g be ((-6)/6 - (-8)/6)*0. Suppose -3*r + 5*u + 394 = g, -3*u - 2*u = 2*r - 246. Does 21 divide r?
False
Suppose 4*s + 12 = 0, 4*b - 2*s + 813 = 7*b. Is 63 a factor of b?
False
Let f(x) = -x**3 + 9*x**2 - 2*x - 7. Let a be f(10). Let v = -109 - a. Is 6 a factor of v?
True
Suppose -w - 2*w + 32 = 5*d, 2*d - 16 = 2*w. Suppose -9*r = -d*r - 6. Suppose -2*k = -r*k + 24. Is k a multiple of 6?
True
Suppose 5*x - 5*v = -50, -2 = 3*v - 17. Let u(z) = -23*z + 7. Is u(x) a multiple of 37?
False
Suppose 34 = 3*q - 23. Let t = -133 - q. Is 5 a factor of t/(-10) + 1/(-5)?
True
Suppose 2*b = -3*r + 5*r + 92, -158 = -3*b - r. Suppose h = 2*h - b. Let x = h + -31. Is x a multiple of 10?
True
Suppose -t = 2*h - 62, 6*t - 127 = 4*t - 5*h. Does 4 divide t?
True
Let n(r) = -4*r**2 - 204*r - 35. Is n(-34) a multiple of 33?
True
Suppose 310 = -6*z + 52. Let n = 17 - z. Is n a multiple of 12?
True
Let n be 4/((-4)/15)*1. Suppose 3*y = -5*l + 159, l + y - 3 = 30. Let m = l + n. Is m a multiple of 6?
False
Suppose 49828 + 14540 = 36*m. Is 9 a factor of m?
False
Let m = -128 - -128. Suppose m = -6*k + 8*k - 554. Is k a multiple of 19?
False
Let a(l) = -l + 14. Suppose g = 5 + 1. Let t be a(g). Suppose 2*q - t = 2. Is q even?
False
Suppose -23 = -5*w + 4*a, 5*w = -4*a + 5*a + 17. Suppose 2*c = u + 7, -2*u + 5*c = 2*u + 13. Suppose -5*k = u*q - 33 - w, -4*k + 18 = -3*q. Is k even?
True
Suppose 36*i + 1848 = 42*i. Does 3 divide i?
False
Is 11 a factor of (-8)/(32/(-60)) + 7?
True
Let c(h) = h - 2. Let p be c(-2). Let v be (0 - p/(-10))*-5. Let y = 80 + v. Does 33 divide y?
False
Suppose -14*b = -3577 + 259. Does 25 divide b?
False
Let y(k) = k**2 - 16*k + 12. Suppose -2*p = -4*p + 20. Suppose -m + 2*i = -6, -4*i + p = -10. Is y(m) a multiple of 4?
True
Let x(p) = 45*p**3 + 9*p**2 - 13*p + 24. Is x(3) a multiple of 46?
False
Let a be 1*(1/(-3) - (-574)/21). Let x = a - -25. Is 7 a factor of x?
False
Let w = 2892 - 731. Does 35 divide w?
False
Suppose 5*g - 425 = -5*i, 190 + 148 = 4*i + 2*g. Is 14 a factor of i?
True
Suppose 2*j + 2*k = 7*k + 1, 3*j - 15 = 3*k. Suppose -j*b = -2046 + 534. Is 27 a factor of b?
True
Let g(t) = 34*t**2 - 121*t + 1. Is 13 a factor of g(8)?
True
Suppose 0 = -h - 3*h - 5*i - 1051, i - 529 = 2*h. Let r = 415 + h. Does 22 divide r?
False
Let f be (-74)/26 - 4*(-4)/(-104). Is 12 a factor of (-15)/f*3/((-30)/(-82))?
False
Let u(v) = -v**2 - 6*v - 1. Let p be u(-5). Suppose p*b = 112 - 16. Is b a multiple of 10?
False
Suppose 13330 = 10*d + 33*d. Is d a multiple of 10?
True
Let a(s) = -9 + 0*s - 3*s + 7 + s**2 - 2*s. Let y be a(6). Is y - (-32 - 0 - -2) a multiple of 17?
True
Suppose 3 = 4*l - 5. Suppose -r = l - 27. Suppose -7 = 4*q - i - r, -5*q + 17 = -4*i. Is q even?
False
Suppose 2 = 2*v, -5*a + 59 = 2*v + 17. Suppose -a*z + 98 = -6*z. Is z a multiple of 18?
False
Suppose -2*m + 6 = 4*k - 2, -3*k - 2*m = -5. Is 2/k - 996/(-18) a multiple of 14?
True
Does 60 divide -6 + 10 + 537 - 1?
True
Suppose 45 = -2*q - 3*q. Let u(v) = 2*v**2 + 11*v + 12. Let r be u(q). Suppose -15 = o - 2*o + b, -r = -4*o + b. Is 17 a factor of o?
False
Let k be (1 - 2/3)*-9. Let g(s) = -9*s + 5. Is 7 a factor of g(k)?
False
Suppose 0 = -x - 4*x + 1730. Is x/10 - 24/40 a multiple of 17?
True
Let q(p) = -3*p + 201. Is q(32) a multiple of 7?
True
Let b = 427 + -273. Is b a multiple of 14?
True
Suppose -3*v - 3*b + 93 = -b, -4*v - 3*b = -124. Suppose k + 16 = 3*m - v, 2*k + 78 = -2*m. Let a = 99 + k. Is 16 a factor of a?
False
Is 24 a factor of -5205*4*8/(-96)?
False
Is 13 a factor of 1 + (-18)/30 + 828/5?
False
Let x = 29 - -163. Is 16 a factor of x?
True
Let o(u) = -u**3 - 9*u**2 + u + 12. Let t be o(-9). Suppose -2*q = -t*q + 204. Is q a multiple of 25?
False
Let f(b) = 17*b**2 + 9*b - 18. Does 7 divide f(-9)?
False
Suppose 15094 = 8*m - 1322. Is 108 a factor of m?
True
Let b be (-28)/(-10)*5/2. Let n(j) = j**3 - 8*j**2 + 8*j - 7. Let h be n(b). Is 23 a factor of -46*(h + (-2)/4)?
True
Let c(d) = 3*d**2 - 14*d - 147. Is 6 a factor of c(-15)?
True
Suppose 728 = 13*n - 819. Does 17 divide n?
True
Suppose b - 36 + 12 = 0. Does 10 divide 60/9*126/b?
False
Suppose 3*p - 20 = 7. Suppose -2*c - 4*k + 12 = 0, c + 3 = 4*k - p. Suppose -u - 3*q - 12 = -61, 3*u + 3*q - 129 = c. Does 10 divide u?
True
Let n be 23/6 + ((-15)/18)/(-5). Suppose 5*p - 71 = -f + 84, -n*f = 0. Is 20 a factor of p?
False
Let o(d) = -34 + 4 + 18 - 5*d. Suppose 4*g = 8*g + 36. Is o(g) a multiple of 11?
True
Suppose 5*o = 2*o + 351. Let c = o - 52. Suppose 0*w + 3*w + c = 5*x, 0 = 3*x - 2*w - 40. Does 10 divide x?
True
Suppose 0 = -3*c - 3*t + 8*t - 286, -2*c - 196 = -2*t. Let h = -47 - c. Is h a multiple of 39?
False
Suppose -p = -5*u - 31, 0*p - 23 = -3*p + u. Suppose -4*m = -p*m + 78. Let c = m - 27. Is 7 a factor of c?
False
Let f(u) = 3*u**3 + 11*u**2 + 8*u + 1. Let q(p) = -2*p**3 - 7*p**2 - 5*p - 1. Let a(g) = -5*f(g) - 7*q(g). Let o be a(-5). Is (-8 - 1)*-4 - o a multiple of 11?
False
Let g = 69 + -66. Suppose k - 91 = -3*r - r, -119 = -k + g*r. Is 11 a factor of k?
False
Suppose 4*q + 172 = 2*x, 5*x - 250 - 187 = 3*q. Does 12 divide x?
False
Let t(n) = -2*n**2 + 3*n + 12. Let m be t(-5). Let l = m - -19. Let g = l - -66. Does 16 divide g?
True
Suppose -q = 2*q. Suppose -4*i + 606 = 2*z, -5*z + 4*i + 1459 = -q*i. Is 8 a factor of z/11 + 10/55?
False
Is 68 a factor of (74 - -1)/((-11)/(-55))?
False
Let a(j) = 2*j**3 + 31. Let m(i) = i**3 + i**2 - i - 1. Let v(b) = a(b) - m(b). Let g be (3 + -5)*2 + (0 - -4). Is v(g) a multiple of 5?
False
Let m(g) = -g**3 - 9*g**2 + 26*g - 15. Let j(r) be the second derivative of -r**5/20 + r**4/2 - 7*r**3/6 - r**2 + r. Let h be j(5). Is 21 a factor of m(h)?
True
Let f = -572 + 628. Is 28 a factor of f?
True
Suppose 3*l + 5398 = 7*l + 2*x, 1372 = l - 4*x. Does 13 divide l?
True
Let b(p) = 3*p - 28. Let w be b(13). Let r = 68 - w. Is 19 a factor of r?
True
Let d(o) = o**2 - 6*o**2 + 2*o**2 + 5*o - 5 - o**2 + o**3. Is 5 a factor of d(4)?
True
Let x(i) = i**3 - 17*i**2 + 18*i - 13. Let d be x(16). Suppose -d*f = -21*f + 250. Is 10 a factor of f?
False
Let b(p) = 34*p + 29. Is b(11) a multiple of 31?
True
Suppose -17*c + 677 = -16*c. Does 59 divide c?
False
Suppose 1 = 4*h - 3*h. Is 15 a factor of ((-1482)/52)/(h*(-1)/2)?
False
Let l(n) = -7*n - 14. Let a(u) = 6*u + 15. Let t(c) = 5*a(c) + 6*l(c). Let m be t(-3). Suppose 0 = 8*k - 5*k - m. Is k even?
False
Let h(s) = 84*s - 9. Suppose -3*v + 9 = -3. Let z be h(v). Suppose 0 = -2*p + 5*p - 4*a - z, 3*a - 306 = -3*p. Is p a multiple of 35?
True
Suppose -25*a + 6379 = -23571. Does 3 divide a?
False
Let b(k) = -k**2 - 3*k + 4. Let u be b(-6). Let n be (-7)/u + (-99)/(-2). Suppose 0 = 5*i - 15 - n. Does 10 divide i?
False
Let o(n) = n - 11. Let g be o(14). Suppose 5*s - 72 = g*s. Is 12 a factor of s?
True
Suppose 2*k - w + 22 = -5*w, -k - 3*w - 10 = 0. Does 17 divide k*13/2*-2?
False
Suppose 140 = -a - 2*m + 450, 5*a = -4*m + 1556. Does 15 divide a?
False
Suppose -f - 4 = -3. Let a be ((-20)/(-4)*-1)/f. Suppose 45 = a*t + 5*c, -2*t = -3*t + c + 11. Does 6 divide t?
False
Suppose -2*k = 4*u - 2100, 2538 + 2752 = 5*k + 2*u. Is 89 a factor of k?
False
Suppose -3*o + 1164 = 5*f - 140, 3*f - 1757 = -4*o. Does 13 divide o?
False
Let v = -15 + 29. Let q = -11 + v. Suppose 37 = a + q*k, 3*k + 88 = 2*a - 13. Is a a multiple of 15?
False
Let x(s) be the second derivative of -s**4/24 + 2*s**3/3 + 3*s**2/2 - 5*s. Let z(f) be the first derivative of x(f). Is 13 a factor of z(-9)?
True
Let i = -133 + 243. Is 11 a factor of i/(-4)*6/(-5)?
True
Let y(z) = 6 + 4*z**3 - 2*z - 3*z**3 - 1