f = r + 3*r - 4*v, 3*v = -4*r + 67. Is r a multiple of 15?
False
Let n = -26 - -144. Is n a multiple of 23?
False
Let j(b) = -b**3 + 8*b**2 + 17*b - 13. Is j(9) a multiple of 11?
False
Suppose 0 = 5*q - 129 - 11. Does 12 divide q?
False
Does 34 divide (-93)/(-6)*(6 + 4)?
False
Let c = -158 + -50. Let g = -6 - -4. Is 15 a factor of c/(-7) + g/(-7)?
True
Suppose 15 = l - 37. Is l a multiple of 18?
False
Let v(k) = 19*k - 10. Is v(2) a multiple of 5?
False
Suppose -5*a = -2*a - 12. Suppose d - 6*d + 40 = a*i, 25 = 5*i. Does 2 divide d?
True
Suppose 4 = 4*k, 5*m - 5*k = 4*m. Let c = m + -3. Is c a multiple of 2?
True
Let p(i) = -i**2 - 9*i - 2. Does 3 divide p(-8)?
True
Let l(m) be the third derivative of m**5/60 + m**4/6 + 3*m**3/2 + 5*m**2. Is l(-7) a multiple of 15?
True
Suppose 3*a - 8 = -2. Suppose -a*w = -12 - 0. Does 4 divide w?
False
Suppose 0 = -4*l - 0*l. Let a = 11 - l. Is a a multiple of 11?
True
Suppose -3*q + 77 = 5. Let f = 63 - q. Is f a multiple of 14?
False
Suppose 2*x + 4*k + 8 = 3*x, 3*x + 3*k = 9. Suppose -252 = -4*c + 5*u, x*c + 2*u = 8*c - 240. Suppose c = 5*i - 2*i + 5*w, -5*w = i - 6. Does 13 divide i?
True
Let t be (-2)/(-2 + 1) - 20. Let h = t + 34. Does 11 divide h?
False
Let d be 58/6 + 1/3. Suppose -3*h + 3 = -6*h. Does 7 divide (d/(-8))/(h/12)?
False
Let g be (90/7)/((-2)/(-14)). Suppose -g = -2*o - o + 3*q, -3*o = -2*q - 87. Is o a multiple of 27?
True
Suppose 0 = 5*h, -5*s - 5*h - 51 - 39 = 0. Let g = -40 + s. Let j = -31 - g. Is j a multiple of 9?
True
Let v(l) = -5*l**3 + 2*l**2 + 3*l - 1. Let r(t) = 14*t**3 - 6*t**2 - 8*t + 3. Let a(y) = -6*r(y) - 17*v(y). Let p be a(-3). Let b = 6 - p. Is 7 a factor of b?
True
Let v be (45/4)/(6/16). Suppose 10*a - v = 5*a. Does 4 divide a?
False
Suppose 5*r = -0*r + 425. Suppose 0 = -4*f + 5*w - 8 + 63, -3*f - 5*w + r = 0. Is 5 a factor of f?
True
Let b(g) = -3 - 1 + 2*g - 2. Is b(11) a multiple of 5?
False
Let p = -9 - -30. Is p a multiple of 7?
True
Suppose -5*q = 2*z - 275, -z = 3*z - q - 561. Does 14 divide z?
True
Let y(l) = l**3 - 9*l**2 - 5*l - 7. Let p be y(10). Let b(c) = 31*c - 1. Let n be b(1). Let i = p - n. Does 13 divide i?
True
Let y = 262 + -145. Is y a multiple of 6?
False
Suppose 2*n = -0*n. Let h = n - -11. Does 11 divide h?
True
Let t(c) = -c**2 - 2*c + 4. Let h be t(-3). Let a = 6 - 8. Does 3 divide (-4)/a + (h - -1)?
False
Let s(g) = -3*g**2. Let d be s(-2). Let z = -33 - d. Let c = 45 + z. Does 12 divide c?
True
Let j(m) = -m**2 - 6*m - 1. Let w be j(-4). Suppose -w*r = -2*r - 35. Does 7 divide r?
True
Let x = 260 + -150. Is x a multiple of 17?
False
Suppose 4*s + 5*j + 32 = 0, -2*j + 56 = -4*s - j. Let g = s - -42. Does 11 divide g?
False
Let g = 8 - 3. Suppose -g*n + 58 = -32. Suppose 3*s + c + 2 = n, 0 = -5*s + 3*c + 50. Does 7 divide s?
True
Let m = -23 - -67. Is 10 a factor of m?
False
Let y(w) = 2*w**2 + 15*w - 12. Let d be y(-12). Suppose 4*r = -16, 2*k - r - 10 = d. Does 30 divide k?
False
Let v be (-72)/5 - (-4)/10. Let k = -16 + v. Is 12 a factor of 0 - 4/(8/k)?
False
Let v(i) = -i + 71. Let y be v(0). Does 17 divide (0 - 1 - 2) + y?
True
Let c(z) = 3*z + 11. Is 29 a factor of c(6)?
True
Let t = -10 - -15. Let i = t + -3. Let k = 1 + i. Is k a multiple of 3?
True
Let y = 107 + -43. Is y a multiple of 7?
False
Let p(t) = 2*t - 2. Let d be p(4). Let v(a) be the third derivative of a**4/24 + a**3/3 - a**2. Is 4 a factor of v(d)?
True
Suppose 1386 = 4*w + 7*w. Is w a multiple of 18?
True
Let x be -12*-1*2/6. Is 8 a factor of -14*(3 - x)/1?
False
Suppose -2*q = 3*q. Suppose -2*p - p + 3 = q. Suppose p - 9 = -4*w. Is w a multiple of 2?
True
Suppose -w = 5*u - 48, 2*u + 2 = -w + 20. Suppose 0 = -5*n + 3*v - u, 3*n + 0*v + 5*v - 28 = 0. Does 5 divide n*-1*13*-1?
False
Suppose 0 = -2*v + 4*k + 36, v + k - 15 = 6. Suppose -v = -5*t + 60. Is 11 a factor of t?
False
Suppose 16*u + 64 = 17*u. Suppose 14 = -5*k + u. Is k a multiple of 3?
False
Suppose -2*p + 3*u - 1 = -4, -2 = 2*u. Suppose p = -h + 2*h + 21. Let j = h - -39. Is j a multiple of 10?
False
Let k(x) = 2*x**3 + 2*x - 1. Is k(1) a multiple of 3?
True
Is (30/(-12))/(5/(-12)) a multiple of 5?
False
Let f = -81 + 113. Is f a multiple of 16?
True
Let s = -815 + 470. Let c = -13 - -9. Does 13 divide c/(-18) - s/27?
True
Let c(z) = -3*z**2 + 4*z - 4. Let r(x) = -7*x**2 + 7*x - 9. Let a(h) = -5*c(h) + 2*r(h). Is 12 a factor of a(8)?
False
Suppose -h + y - 2 = -17, -35 = -5*h - 5*y. Let j = h - 9. Suppose -5*n + 115 = -o - 4*o, -n + j*o = -27. Is n a multiple of 13?
False
Let w(p) = p**2 - 8*p - 2. Let d = -4 - -4. Suppose -3*z + 30 = -d*z. Does 6 divide w(z)?
True
Suppose 4*g - f = f + 18, -3*f = 5*g - 6. Suppose -2*x + 23 = 3*z, -14 = -4*z - x + 20. Suppose -4*n = -g*n - z. Is 4 a factor of n?
False
Let d(o) = 4*o**2 - 3*o + o**3 - 2*o**2 + 3 - 1 - o**2. Let a(j) = j**2 + 1. Let q be a(1). Is d(q) a multiple of 8?
True
Let a = 106 - 41. Suppose 3*w + 5*t + 55 = 0, 2*t + 3*t = -4*w - a. Let r = -5 - w. Does 2 divide r?
False
Let j(x) = x**3 + 9*x**2 - 12*x - 12. Does 8 divide j(-10)?
True
Let n(p) = -39*p**3 + p + 1. Let v be n(-1). Let k = v + -23. Is 16 a factor of k?
True
Let w = -8 + 39. Suppose -w - 7 = -2*i + 2*n, -4*n = -5*i + 99. Is i a multiple of 9?
False
Suppose 21 = -5*q + 2*q. Let t = q + 23. Is 11 a factor of t?
False
Let n(c) = -3*c - 8. Let s be n(-6). Suppose -2*d - 6 = -4*d. Let q = d + s. Does 5 divide q?
False
Suppose 0 = -6*v + 2*v + 276. Is 23 a factor of v?
True
Let q(u) be the first derivative of -u**5/30 - 5*u**4/12 - 2*u**3/3 - 2. Let j(b) be the third derivative of q(b). Does 16 divide j(-9)?
False
Let u(t) be the second derivative of -t**6/360 + t**5/120 - t**4/6 + t. Let m(f) be the third derivative of u(f). Is 13 a factor of m(-6)?
True
Let p = 20 + -45. Let m = 0 - p. Does 21 divide m?
False
Let v = 155 - 106. Is 24 a factor of v?
False
Suppose -4*n = -4*m + 4, 0 = m - n - 2*n + 1. Is 19 a factor of (-1 + m)/(3/57)?
True
Let q = -5 - -8. Suppose 3*z = 3 + q. Is z even?
True
Suppose 0 = -3*x, 4*a = 5*x - 2*x + 32. Let r be 2/(-4)*a/2. Is 6 a factor of 35/r*(-4)/5?
False
Let n = -74 + 46. Let f = n + 67. Is f a multiple of 9?
False
Let m be -21 + -1 + 0 + 3. Let b = m + 37. Does 8 divide b?
False
Let a = 16 - 9. Suppose -4*z = -5*z + a. Is 3 a factor of z?
False
Suppose -3*f + 4 = -f. Suppose 5*c = 4*r + 13 + 18, f = 2*c + r. Suppose -c*k = -71 - 19. Is k a multiple of 15?
True
Let k = -3 - -5. Suppose 31 = -5*w + k*o - 63, -o + 2 = 0. Let s = 53 + w. Is 12 a factor of s?
False
Let z = -9 + 6. Let s = 33 - z. Is s a multiple of 9?
True
Let k be (-8)/2*(-6)/4. Let z be (0 + 1 + k)*-1. Let w(h) = h**3 + 8*h**2 + 6*h + 7. Is w(z) a multiple of 14?
True
Let r(y) = -2*y - 2. Let i be r(-3). Let w be 2 + (6 - (i + -2)). Suppose 5*s - 40 = 4*d - w*d, -5*s + 2*d = -60. Is 5 a factor of s?
True
Is 5 a factor of (-2 - -19) + (4 - 1)?
True
Suppose -5*m + 6 = -3*o, 5*m + o - 2 = -4. Suppose -f - 2*f = -9. Suppose 32 = j + f*i, m*j - 88 = -5*j + 3*i. Is 12 a factor of j?
False
Suppose 2*u - 38 = -2*q, 0*u + 73 = 4*u + q. Is u a multiple of 11?
False
Let r(x) = 3*x - 3. Is 6 a factor of r(4)?
False
Suppose 2*s - 6 = 4*s. Let x be 2*-1*s/6. Suppose x - 10 = -v. Does 7 divide v?
False
Suppose k + 5*v + 18 = 0, k - 2*k + v = 6. Let n be (k/(-6) + -1)*3. Is 2 a factor of 0 + 0 - (-3 + n)?
True
Let p = -1 + 3. Suppose 2*y = -n - p*y + 47, 94 = 2*n + 4*y. Is 3 a factor of n/9 + 4/(-18)?
False
Let b = -30 - -87. Is 19 a factor of b?
True
Suppose -4*l - f = -195 - 114, 3*f = 3*l - 243. Is l/(-8)*(-24)/9 a multiple of 13?
True
Suppose -7 = 2*q - 3. Does 3 divide (16/(-2))/(q + 0)?
False
Suppose p + 0*p = -2*f + 68, -f = -5*p + 395. Suppose c = 4*c - 6. Suppose -q + p = c*q. Is 13 a factor of q?
True
Let k be (-1)/((-2)/(-8)*-2). Suppose -k*v + 0*v + 2 = 0. Is 14 a factor of v/(-1 + 0) + 35?
False
Let k be ((-3)/(-3))/(3/6). Suppose a - 5 = -k. Suppose a*u + 0*u = 21. Does 7 divide u?
True
Let o be (4/10)/((-5)/(-50)). Is 2 a factor of (4 + -5)/((-2)/o)?
True
Suppose -4*v = 3*v - 567. Is 18 a factor of v?
False
Suppose 2*m + m = -117. Let w be 2 + m + (-1 - 0). Let a = -10 - w. Is 14 a factor of a?
True
Suppose -2*q + 5*q - 465 = 0. Suppose 528 = 5*w - 2*i, i = -5*w + q + 361. Does 18 divide w?