130 = -5*v. Let a = 1 - -1. Suppose -p + v = a*p + 5*b, 5*b = 2*p - 61. Does 10 divide p?
False
Is 14 a factor of (1 - 0) + -2 + 30?
False
Let f(v) = 35*v**2 - v. Is f(-2) a multiple of 20?
False
Suppose 4*u - 18 + 134 = 4*h, 5*h - 138 = -2*u. Is h a multiple of 2?
True
Let k(f) = -2*f + 2*f**2 - 2 + 1 - 2. Let l(v) = -v - 5. Let m be l(-10). Does 16 divide k(m)?
False
Is ((-5)/2)/((-6)/252) a multiple of 35?
True
Let x(d) = d**2 + 7*d + 9. Let k be x(-6). Suppose 0 = -0*z + 4*z - 44. Suppose -k*q = -13 - z. Does 4 divide q?
True
Let h(d) = 10*d**3 - 2*d + 2. Let y(p) = -p**3 - 10*p**2 + 11*p + 1. Let r be y(-11). Does 3 divide h(r)?
False
Let j be 0 + (-2)/4*-34. Suppose 0 = -3*d + 1 + j. Is d a multiple of 2?
True
Let d(i) be the second derivative of -1/2*i**3 + 1/20*i**5 - 2*i - i**2 + 0 - 1/6*i**4. Is 9 a factor of d(4)?
True
Suppose -2*f - 2*y = -3*y + 38, 5*f + 88 = -y. Let b = f + 33. Is b a multiple of 5?
True
Suppose 5*u + a = 85, 4*a + a + 39 = 4*u. Is 16 a factor of u?
True
Suppose 3*z - 7*z + 160 = 0. Is 3 a factor of ((-12)/(-10))/(12/z)?
False
Let v be ((-15)/(-9))/(-5)*-9. Suppose -4 = v*a - a. Let k = a + 30. Is 9 a factor of k?
False
Suppose 0 = 3*y + 4*i - 48, 4*y - 4*i = i + 95. Is y a multiple of 19?
False
Let v(x) = -x**2 - 12*x - 7. Let k be v(-11). Suppose k*c + 291 = 7*c. Is 22 a factor of c?
False
Let b = 11 - 8. Let k(z) = z**3 - 3*z**2 - z + 1. Let a be k(b). Let x(l) = -5*l. Is 5 a factor of x(a)?
True
Suppose 0*m = -2*m + 14. Is 7 a factor of m?
True
Let x be ((-18)/15)/((-6)/20). Let k be (2/(-1))/(x/(-78)). Is k + (-2)/(-2) + -2 a multiple of 16?
False
Let y(q) = -q**3 + 1. Let t = 11 - 19. Let f be 10/(-4)*t/(-10). Is 3 a factor of y(f)?
True
Suppose -w + 0*w = -x, -2*x - 5*w + 21 = 0. Suppose 0 = x*q - 0*l - 2*l - 15, 0 = l + 3. Is q a multiple of 3?
True
Let n(f) = f. Let p(b) = 6*b + 10. Let x(h) = -5*n(h) + p(h). Is x(-8) a multiple of 2?
True
Suppose 4*u = -u. Let j(o) = -5*o + 2 - 3 + 32*o + u. Is 15 a factor of j(2)?
False
Suppose c + 4*c - 225 = 0. Suppose 4*d - 277 - 43 = 0. Suppose 5*r - 15 = -3*a + c, 3*r = 4*a - d. Does 8 divide a?
False
Is 7 a factor of (15/12)/((-3)/(-72))?
False
Let i(k) = 6*k**2. Does 2 divide i(1)?
True
Let o = 85 - 20. Is o a multiple of 24?
False
Let y be (-1 - -1) + -7 + 0. Let l(c) = -2*c + 1. Is l(y) a multiple of 15?
True
Suppose 4*r + 12 = 0, 3*r + 5 = -y - 0*r. Suppose -2 = 2*g + 2, 257 = 5*o + y*g. Does 14 divide o?
False
Does 11 divide (-691)/(-7) - (-5)/((-35)/(-2))?
True
Let t(d) = 3*d - 7. Suppose 24 = -0*z - 2*z. Let g = z + 18. Does 10 divide t(g)?
False
Let t(y) = y**3 - 4*y**2 - 11*y + 17. Is t(7) a multiple of 29?
True
Is (-955)/(-10) - (2/4 - 1) a multiple of 16?
True
Let f(o) = 19*o + 1. Suppose 0 = -0*s - 3*s + 9. Is 17 a factor of f(s)?
False
Suppose 3*f - 830 = 5*v - 212, 789 = 4*f + 5*v. Is 40 a factor of f?
False
Let b = 24 + 18. Is 7 a factor of b?
True
Let x(r) = r**2 - 4*r + 3. Let s be x(4). Suppose -z = j + 2*z + s, -j + 3 = -3*z. Suppose -12 = -f - j. Does 6 divide f?
True
Let d = 6 - 2. Suppose -5*l = d*t + 110 - 8, 5*t = -5*l - 100. Let a = 9 - l. Is 8 a factor of a?
False
Suppose -2*l + 83 = -21. Does 26 divide l?
True
Suppose -2*c + 18 = 4*u, 3*u - 15 = -2*u. Suppose 52 = c*j + j. Let o = j - -1. Is 4 a factor of o?
False
Suppose 2*z = 2*j + 2*j + 4, 0 = -2*z - 4*j - 4. Let m = z + 6. Does 6 divide m?
True
Let n(g) = -g**3 - 11*g**2 + 3*g + 4. Let t(w) = w**3 + 10*w**2 - 3*w - 5. Let x(f) = 4*n(f) + 5*t(f). Is x(-6) a multiple of 4?
False
Let q be (3 - -11) + -2 - 3. Suppose -4*f - 20 = -q*f. Suppose w + w + f*g = 80, 4*w + 2*g - 148 = 0. Does 12 divide w?
True
Does 6 divide (-56)/(-5) + (-4)/20 + 1?
True
Let j = -110 + 69. Let q = j - -74. Does 15 divide q?
False
Let j(n) = -n**3 - 3*n**2 + 3*n - 2. Let w be j(-4). Suppose -131 = w*q + 115. Is 6 a factor of q/(-11) + 6/(-33)?
False
Let p(x) = x**2 + x + 29. Does 7 divide p(0)?
False
Suppose -3*y + y + 52 = 0. Suppose 0 = -5*q + 4*d + 23, -4*d - 32 = 5*q - 79. Suppose -2 = f, -a = 2*f - q*f - y. Does 8 divide a?
True
Let y = 8 + -6. Let n be ((-4)/(-10))/(1/5). Is 0 + n/y - -9 a multiple of 10?
True
Let h(k) = -k**3 + 3*k**2 - 3*k + 3. Let f be h(2). Let n = f - -8. Let x = 16 - n. Is 7 a factor of x?
True
Suppose 0 = 3*d - 5*s - 601, -2*d = -4*d - s + 392. Is 32 a factor of d?
False
Let c be -12*((-2)/(-1))/(-6). Does 18 divide c/6 - (-165)/9?
False
Let z(g) = g**3 - 6*g**2 + 5*g - 3. Let f be z(5). Let s be (5/f)/((-6)/18). Let x = 11 + s. Does 8 divide x?
True
Let l(y) = -y**2 - 6*y - 3. Let j be l(-2). Suppose -j*k + 84 = -71. Is 11 a factor of k?
False
Suppose -2*c = 2*o + 3*o - 15, 5*c - 3*o - 22 = 0. Suppose -c*q + 99 = -21. Does 20 divide q?
False
Let w = -48 + 29. Let m = 27 + w. Is 4 a factor of m?
True
Is 9 a factor of 5 + -6 + (41 - -1)?
False
Let i(p) = 4*p**2 - 2*p - 2. Is 22 a factor of i(5)?
True
Suppose -n - 2*n = -342. Suppose 5*m - 26 = -2*w + 8, 5*w - 2*m = n. Does 11 divide w?
True
Let l be -2 + (-3 - -2) + 7. Suppose -l*o - 5*i = o - 35, -3*o = 2*i - 23. Does 6 divide o?
False
Suppose w + s + 10 = 6*w, 5*s + 10 = 5*w. Suppose 0*b = -w*b + 60. Is b a multiple of 22?
False
Suppose -4*i = -5*z - 566, 4*z - 6*z = 4*i - 580. Is i a multiple of 32?
False
Suppose 4*z + 3*n + 1 = 11, 0 = z + 5*n - 11. Let h(c) = 11*c - z + 5*c - c**2 - 6*c + 2. Does 22 divide h(7)?
True
Let u(c) = -2*c - 14. Is u(-21) a multiple of 14?
True
Suppose 0*n - n = -4*b - 17, b + 4*n = 0. Let f(m) = -m**3 - 4*m**2 - 7*m - 7. Does 7 divide f(b)?
True
Let u(s) be the first derivative of 2*s**3/3 + 2*s**2 + 2*s + 2. Let k be u(-3). Does 16 divide (k/(-1))/((-3)/12)?
True
Let v = -10 - -6. Let f(h) = -6*h + 4. Is 8 a factor of f(v)?
False
Suppose -5*p = 42 + 18. Let l(j) = -j**3 - 5*j**2 + 9*j - 7. Let o be l(-7). Let c = o + p. Does 13 divide c?
False
Let j(r) be the third derivative of 2*r**4/3 - r**3/3 - 3*r**2. Is j(2) a multiple of 17?
False
Does 15 divide -5 + 4 + 132 + 4?
True
Let r = 107 - 51. Suppose -u + 3*m + 48 = -0*m, -2*u - 4*m = -r. Is u a multiple of 12?
True
Let u(f) = 2*f - 16. Let t be u(12). Let k = 48 + t. Is k a multiple of 14?
True
Let y(i) = i + 5. Let z be y(5). Suppose -8 = s - 4*s - 2*b, -4*s - 3*b + z = 0. Suppose -3*w + 68 = 2*w + t, t = -s*w + 55. Does 13 divide w?
True
Let v = 3 - 1. Let m = 7 - v. Suppose a - m*s - 29 - 4 = 0, 3*s + 15 = 0. Is a a multiple of 7?
False
Suppose 0*j = -2*a + 5*j + 19, 3*j = -4*a + 51. Let h(n) = 1 + n - a + n. Does 3 divide h(11)?
False
Let l(c) = c**2 - 8*c - 2. Is 5 a factor of l(10)?
False
Let a(o) = o**3 - 5*o**2 + 2*o - 5. Let p be (-20)/(-3) - 18/27. Let w be a(p). Suppose 1 = 4*j - w. Is j a multiple of 11?
True
Let q = -55 + 130. Is q a multiple of 5?
True
Let p be -1*12*(1 + -2). Let t = p + 5. Is t a multiple of 6?
False
Suppose 0*d = 2*d - 3*q + 8, -5*d = 2*q + 20. Is 548/16 + 1/d a multiple of 17?
True
Suppose -36 = 3*v - 5*v + 3*z, -3*v + 51 = -3*z. Is 2 a factor of v?
False
Let r = -85 + 51. Let a be (-8)/20 + r/(-10). Suppose 0*v - a*v = -87. Is v a multiple of 10?
False
Suppose -7*o + 170 = 2*p - 2*o, 2*p = -2*o + 164. Does 20 divide p?
True
Let i(t) = -7*t - 3. Let n be i(3). Let z = n + 41. Does 13 divide z?
False
Let a(f) = f**2 + 5*f - 4. Let u be a(-6). Suppose -u*h = h - 15. Is h a multiple of 2?
False
Let r(f) = -17*f - 1. Let u be r(-2). Let m = 59 - u. Is 11 a factor of m?
False
Let v = 406 + -244. Is v a multiple of 32?
False
Let t = 26 - 5. Is 6 a factor of t?
False
Suppose -8*r + 4*r = 4. Let t(f) be the first derivative of 3*f**3 - f**2 - f + 1. Does 4 divide t(r)?
False
Suppose 0 - 5 = -g. Let w be 2/4 + (-31)/(-2). Suppose g*i - 7*i = -w. Does 4 divide i?
True
Let a(q) = q - 1. Suppose 4*x + 6 = -j, 0 = -5*j - x + 4 + 4. Let z(c) = 2*c - 4. Let y(h) = j*a(h) + z(h). Does 18 divide y(6)?
True
Suppose -i - 168 = -4*t + 3*i, t - 4*i - 27 = 0. Does 2 divide (-16)/(-56) + t/7?
False
Suppose -3*u + 6 = 3*h - 36, 3*h + 94 = 5*u. Is 11 a factor of u?
False
Let g(i) = -i**2 + 5. Let s be g(5). Let f be 2/4*s/(-2). Suppose -40 = j - f*j. Is j a multiple of 5?
True
Suppose 4*j - j = 21. Let m = 37 - j. Does 7 divide m?
False
Is 62/15 + 26/(-195) a multiple of 3?
False
Let s(j) = j**3 - 5*j**2 + 3*j. Is s(5) a multiple of 