31 = 0. Let b = 9 + a. Is b a multiple of 13?
True
Suppose -2*g + 2*o = 0, 0*o - o = -4. Let s = g + -1. Suppose -4*n - 36 = -4*p, -5*p + 27 = n + s*n. Is 4 a factor of p?
False
Let n(x) = 7*x**2 + 2*x - 1. Let p be n(1). Suppose -p = -5*y + y. Let s(m) = 8*m**2 + m - 2. Is s(y) a multiple of 16?
True
Suppose -3*s + 4 = -s. Suppose -s*i + 10 = -74. Does 12 divide i?
False
Let l = 108 + -99. Does 4 divide l?
False
Let r = -12 - -6. Let t(p) = -p**3 - 7*p**2 - 7*p + 6. Does 6 divide t(r)?
True
Suppose 0*n - 15 = 3*n, 4*z - 3*n - 279 = 0. Is 15 a factor of z?
False
Let f(y) = y**3 + 6*y**2 - 7*y. Let v be f(-7). Suppose v = 4*o - 0*o. Suppose 0 = -4*d - o*d + 96. Does 12 divide d?
True
Let h(z) = 55*z**2 - 2*z - 1. Let w(i) = i**2 - i. Let u(k) = h(k) - 2*w(k). Is 22 a factor of u(-1)?
False
Suppose -c - 3 - 3 = 0. Let v = -48 - c. Let g = v + 86. Is 22 a factor of g?
True
Is (-400)/(-8) + -1*2 a multiple of 16?
True
Suppose -3*v - 4*n = -n - 3, 0 = -3*v + n - 1. Is 21 a factor of -2 - v - 32*-1?
False
Let y(w) = -w**3 - 10*w**2 + 16*w - 4. Is y(-12) a multiple of 23?
True
Let x(w) = w**3 + 10*w**2 + 6*w - 5. Let n be x(-9). Let o = -6 + n. Is 16 a factor of o?
True
Suppose n + 32 = 3*n. Does 5 divide n?
False
Let p be (-2)/8 - 82/(-8). Let i be (-50)/(-1)*5/p. Suppose -i = -3*g + 11. Is 6 a factor of g?
True
Suppose -5*u = -7*u + 44. Is 11 a factor of u?
True
Let k(d) = 2*d**2 + 4*d**3 - 5*d**3 + 1 + d + 4*d**2. Is k(6) a multiple of 7?
True
Let x(s) = 8*s - 7. Let t(m) = m. Let y(h) = -6*t(h) + x(h). Let j be 3/2*10/3. Does 3 divide y(j)?
True
Suppose -2*p + 4*x = 3*x + 13, 0 = -4*x - 20. Let i = 7 - p. Is 8 a factor of i?
True
Let k(m) be the first derivative of m**4/4 + 11*m**3/3 + 9*m**2/2 + 12*m + 3. Is k(-10) a multiple of 11?
True
Let k(r) = -r**3 - 7*r**2 - r - 5. Let x be k(-7). Suppose -2*w - x*q = 26, -4*q + 102 - 42 = -4*w. Let n = -5 - w. Does 5 divide n?
False
Let i(r) = -r**3 + 7*r**2 + 3*r - 5. Suppose 14 = 3*v - v. Does 7 divide i(v)?
False
Let x = 3 + 2. Let c = -7 + x. Is 0 + (17*c)/(-1) a multiple of 17?
True
Suppose 5*v = 2*n - 140, 2*v - 22 = -3*n + 226. Is 20 a factor of n?
True
Let j = -58 + 95. Is j a multiple of 6?
False
Suppose -29 = -2*w + w. Is w a multiple of 14?
False
Let y(l) = -l**3 + 7*l**2 + l - 4. Let a be y(7). Suppose 5*g - 5 = -a*u, 0 = -3*g - 0*u + u + 17. Is g a multiple of 2?
True
Let k(a) = -28*a + 3. Does 5 divide k(-1)?
False
Let a = -9 + 11. Does 4 divide (-3)/((-3)/2)*a?
True
Let c = 95 - 10. Does 22 divide c?
False
Let g(y) = -48*y**2 + 2*y + 1. Let b be g(-1). Let u = -27 - b. Does 11 divide u?
True
Let u = -25 - -37. Does 6 divide u?
True
Let z = -16 - -49. Is z a multiple of 9?
False
Let j(y) = y**3 + 7*y**2 + 3*y - 2. Let v be (-2)/(((-9)/6)/3). Suppose 0 = -v*p - 2*g + 3*g - 29, -p = -3*g + 21. Is j(p) a multiple of 8?
True
Does 6 divide 48/20*10/4?
True
Suppose 5*j - 22 = 23. Suppose j*g - 84 = 6*g. Does 8 divide g?
False
Suppose 4*q - 180 = -q. Suppose -u + q = -2*y, -5*u + 7*y + 190 = 2*y. Suppose -11 = -r + j + 9, 2*r = -2*j + u. Is 10 a factor of r?
True
Is (-2)/9 + 3/(27/614) a multiple of 17?
True
Let q = -117 + 171. Let k = q - -6. Is 20 a factor of k?
True
Suppose -5*j - 66 = 3*x, -5*j - 75 = -j - 5*x. Is 8 a factor of ((-2)/(-3))/((-1)/j)?
False
Does 8 divide 4/(-16) - (-222)/24?
False
Let i be (-22)/6*12/(-4). Suppose i + 0 = j. Does 11 divide j?
True
Suppose -3*c = -5*p - 409, 0*p - 497 = -4*c - 3*p. Is c a multiple of 21?
False
Let l(i) = -11*i + 1 + 2*i - 5*i. Is l(-3) a multiple of 10?
False
Let w(s) = s**3 + 6*s**2 - 7*s + 7. Let b be w(-7). Suppose 3*n - b*n + 128 = 0. Does 11 divide n?
False
Suppose -5*f + 21 = -4*u, 4*u + 4 = -3*f + 23. Suppose k + 2 = -3*a, 4*k - 1 - 8 = f*a. Is 14 a factor of (2 - 0)*a - -31?
False
Let a(w) = -w**3 - 7*w**2 - 7*w - 1. Let b be a(-6). Suppose -15 = -2*y - 2*v + 31, 4*v - 116 = -b*y. Does 24 divide y?
True
Let a = -3 + 5. Suppose 0 = -3*r + a*r + 30. Is r a multiple of 15?
True
Let m(q) = q**2 + 20*q - 9. Does 12 divide m(7)?
True
Suppose -4*m = -m - 111. Is 19 a factor of (3 - 2) + m - 1?
False
Let k be (1/2)/(3/18). Suppose k*w - 4*w = -11. Does 4 divide w?
False
Is 2/6 - 148/(-6) a multiple of 13?
False
Let l(t) = 11*t**3 + 2*t**2 - t. Let p be l(1). Suppose 0*r + 6 = 3*r. Is 5 a factor of r/3*90/p?
True
Let q(g) = g**3 - 3*g**2 - 8*g + 6. Let h be q(5). Suppose -4*s + h = -0*s. Suppose -3*a - s*n = -2 + 3, 2*n = 4*a - 28. Is a a multiple of 5?
True
Suppose 5*m - 275 = 230. Does 13 divide m?
False
Let j = 16 + -14. Let f = j - -22. Is f a multiple of 10?
False
Let v = 247 + -121. Does 10 divide v?
False
Let w(x) be the second derivative of -x**3/6 + 3*x**2 - x. Let o be w(8). Is 12 a factor of 1/o - (-472)/16?
False
Let f = 18 + -13. Suppose 2*v = f*c + 67, 0*v - 4*c + 92 = 4*v. Does 6 divide 1/((4/2)/v)?
False
Suppose 3*i + l = 6, 2*l + 3 + 3 = 3*i. Suppose p - 13 = -d, -3*p + 19 = -i*d + 70. Let o = 4 + d. Does 11 divide o?
True
Let i(w) = 48*w**2 - 1. Let b be i(-1). Let m(a) = 4*a**2 + 5*a - 3. Let u be m(4). Let y = u - b. Is y a multiple of 17?
True
Suppose 5*c - 2*c - 12 = 0. Suppose 0 = -2*x + c*m + 156, 0 = -2*m - 5 + 3. Is x a multiple of 25?
False
Suppose -2*o - 98 = -4*n, 0*n + 5*n + 2*o - 109 = 0. Is n a multiple of 9?
False
Suppose 15 = 5*a + 4*l, 3*l = a + 4*l - 3. Suppose a*p - 5*p = -6. Suppose t + 5*i - 58 = -19, -71 = -4*t - p*i. Is 5 a factor of t?
False
Suppose 4*x - 22 = -62. Let w = -7 - x. Suppose 0 = -w*u - u + 16. Does 4 divide u?
True
Let q(n) = 2*n - 2*n**2 - 7*n**2 + 4 + 11*n**2. Does 16 divide q(-5)?
False
Suppose 0 = 7*o - 351 - 314. Is 12 a factor of o?
False
Suppose -20 = -a - 5*m, -4*a + 3*m = 4*m - 23. Suppose -2*s + v - 8 + 40 = 0, 74 = 3*s + a*v. Is s a multiple of 10?
False
Let s(v) = 2 - 6 + 3*v - 7 + v. Is s(9) a multiple of 14?
False
Let r = 2 + -1. Let b = 3 + r. Is b a multiple of 4?
True
Suppose 3*g - 2*g + 11 = 0. Let j be (g + 6)*(-48)/5. Let w = -24 + j. Is w a multiple of 12?
True
Suppose 0 = 4*u - 361 - 83. Suppose 0*g - u = -3*g. Suppose 5*s - 88 = -3*f + g, -130 = -5*s - 4*f. Does 11 divide s?
True
Suppose 5*c + s - 3*s = 20, 3*s = 0. Suppose c*y + 8 = -2*i, 4*i - 2*i - 16 = 4*y. Suppose 2 = -g + 5*u - 1, i*g - 27 = -u. Is g a multiple of 6?
True
Let v be (-640)/(-24) + 2/6. Let o = 9 + v. Is o a multiple of 18?
True
Let k = -109 - -135. Is 6 a factor of k?
False
Let p(z) = 2 + 3*z**2 + 4 - 4 + 4*z - 5. Is 8 a factor of p(2)?
False
Let y(j) = 4*j**2 + j - 6. Does 23 divide y(5)?
False
Let t = 57 + 1. Suppose -r = -5*b - 223, -t = 4*b - 5*r + 112. Is (-1765)/b - 4/18 a multiple of 16?
False
Suppose 4*g - 493 + 65 = 0. Does 16 divide g?
False
Suppose 0 = -y - 3*r + 7*r + 266, 2 = -2*r. Is 16 a factor of y?
False
Does 30 divide (-6)/(-8) - (-4 - (-1844)/(-16))?
True
Let f = -136 - -194. Is 11 a factor of f?
False
Let w = -1 - -13. Is 9 a factor of 3/(w/20)*7?
False
Is 2/1 - (-75)/6*6 a multiple of 8?
False
Let f = 87 - -83. Is f a multiple of 34?
True
Is 2 a factor of (-1 + 3/4)*-28?
False
Suppose 2*b = 7*b - 15. Suppose -1 - 5 = -b*j - 2*p, -4*p = 4*j - 4. Suppose a + 15 = 2*i, 0 = -8*i + 4*i - j*a. Is 2 a factor of i?
False
Let t = 17 + -6. Let p = t - -6. Does 17 divide p?
True
Suppose 0*h - 10 = -5*h. Suppose h*w - 83 = 27. Is w a multiple of 26?
False
Suppose 3*n + 5 = -1. Is 13 a factor of 54 - (-3 - (n + -3))?
True
Suppose -2*j = -6*j + 2*h + 18, -3*j + 4*h + 6 = 0. Suppose -x + d = -4*x + 12, -2*x = -4*d + j. Does 2 divide x?
False
Suppose -r + 700 = 6*r. Is r a multiple of 25?
True
Is (-2)/(-17) - 3668/(-34) a multiple of 12?
True
Let s be 1 + (0 - -1) + -2. Suppose s*q - 180 = -5*q. Does 18 divide q?
True
Suppose -8 = 3*z + 4*r, -6 = 11*r - 8*r. Suppose 0 = -g - 3*g - 3*w + 88, 3*w = 12. Is 8 a factor of 0 + g - (z - 1)?
False
Let y = -1 - -1. Suppose -2*i = -3*f + 56, y*f - 12 = -f + 2*i. Does 22 divide f?
True
Let r(u) = 42*u**2 + 2*u. Let y be r(-1). Suppose -5 = a - y. Does 27 divide a?
False
Let y(o) = o**2 - 9*o + 11. Let n be y(8). Is 24/(-28)*(-14)/n a multiple of 4?
True
Let d be 9/6*8/3. Suppose -4*j + 240 = d*r, 2*r + 32 - 152 = 4*j. Does 23 divide r?
False
Let l(c) = -6*c**2 - 3*c - 4. Let t(v) = -7*v**2 - 2*v - 5. Let i(h) = -6*l(h) + 5*t(h). Does 16 divide i(-11)