- 18. Suppose -s = 3*p - 4*p. Is p a multiple of 3?
True
Suppose 4*o - 2*r = 54, -4*r + 9 = o - 9*r. Suppose o = z - 12. Let m = z + -16. Is m a multiple of 6?
False
Does 22 divide (-2 + 1)*0 + 96?
False
Let j be (-3)/(-5 + 2) - -1. Suppose 0 = -j*b + 5*b - 24. Is b a multiple of 4?
True
Suppose 4*l + 4*n - 1648 = 0, l - 392 = 3*n + n. Is 20 a factor of l?
False
Let s(b) = -3*b - 6. Let m be (-2)/11 - 64/11. Does 5 divide s(m)?
False
Suppose 7*h - 3*h = 524. Suppose -184 = -4*l + j, -3*l - 3*j = -2*j - h. Does 19 divide l?
False
Let r be ((-1)/(-2))/((-2)/(-16)). Let u = -1 + r. Suppose -54 = -4*y - 5*z, u*y + z = 5*z + 25. Is 4 a factor of y?
False
Let r be (-90)/(-8)*(-1 - -5). Suppose 2*l = w - 2*l - r, -4 = -2*l. Suppose a = -2, 4*a + 3 + w = 2*s. Is 12 a factor of s?
True
Let n(s) be the second derivative of 9*s**5/20 + s**4/12 - s**3/3 + s**2/2 + 3*s. Is 3 a factor of n(1)?
True
Let x = -34 + 91. Suppose -x = -4*a - 5. Does 5 divide a?
False
Does 4 divide (-78)/(-10) - (-23)/115?
True
Let z(b) = b**3 + 10*b**2 + b + 12. Let x be z(-10). Suppose -n + x*q + 26 = n, -3*q + 31 = 4*n. Is n a multiple of 10?
True
Suppose c + 95 = 6*c + 3*q, 0 = 3*c - 2*q - 76. Does 11 divide c?
True
Let l be 1803/21 - (-2)/14. Suppose -3*r - 5*m = -l, 2*r = 4*m + 37 + 13. Does 8 divide r?
False
Suppose -3*a + 12 = -87. Suppose -5*z = -67 - a. Does 17 divide z?
False
Let m be 6*14/(-4)*1. Does 4 divide (-6)/m - (-246)/21?
True
Suppose 1 = -w + 67. Is w a multiple of 15?
False
Let l be 5*(-1 + 44) - 1. Suppose 0 = -5*a - 4*y + l, y - 125 = -3*a + 2*y. Does 14 divide a?
True
Suppose -4*m = -186 - 230. Let n = -56 + m. Does 24 divide n?
True
Let i(j) be the first derivative of j**3/3 + 3*j**2/2 + 3*j - 2. Let z be i(-2). Is 11 a factor of 2 + 8*1 + z?
True
Is (-1320)/100*(-5)/2 a multiple of 7?
False
Let i(o) = -o + 3. Is i(-4) even?
False
Let m(h) = -h**2 + 8*h + 11. Let g be m(9). Suppose 5*v + 0*s = -3*s + 277, 0 = v - g*s - 58. Is 20 a factor of v?
False
Let r(g) be the third derivative of -g**4/12 - 5*g**3/6 + 5*g**2. Does 6 divide r(-10)?
False
Suppose 0 = -2*k + 3*i + 278, -4*i - 709 = 2*k - 7*k. Is k a multiple of 19?
False
Let j be (-1)/2 + (-44)/(-8). Suppose 0 = x + 4, -2*s + j*s + x = 26. Is s a multiple of 10?
True
Suppose 2*z = -3*z + 360. Is 6 a factor of z?
True
Suppose -2*n - 15 = -5*n, n = -4*r + 201. Is r a multiple of 15?
False
Let u = -42 + 30. Is (-621)/u + 1/4 a multiple of 26?
True
Let k be 1*(-1 + 3 + -104). Let n = k + 174. Suppose 2*z - n = -2*z. Is z a multiple of 9?
True
Let q(v) = v - 3 + 10 + 2. Let m be q(-5). Does 2 divide (m/(-10))/(2/(-20))?
True
Suppose 5*u + 5*d - 125 = 0, -6*u - 3*d + 105 = -2*u. Is u a multiple of 8?
False
Suppose 4*s + 3 = 5*s. Let f(d) = -d**2 + 5*d + 1. Is f(s) a multiple of 7?
True
Suppose 0 = 3*j + 3*j - 756. Does 13 divide j?
False
Let r = -4 - -22. Is r a multiple of 9?
True
Suppose 2 - 6 = -f. Is f/(-4) - (-37 - -2) a multiple of 17?
True
Suppose 0 = 3*v - 135 - 54. Does 21 divide v?
True
Suppose -15 = -5*w + 10. Let u be (4/(-10))/(w/(-25)). Suppose 4*o = -3*n + 160, -u*n - o + 61 = -39. Does 19 divide n?
False
Let t(y) = 13*y + 99. Is 2 a factor of t(-6)?
False
Let x(r) = -r**3 + 2*r**2 + 3*r - 3. Let l be x(2). Suppose 0 = l*w - 0*w. Suppose 31 = h - w*h. Is h a multiple of 8?
False
Let p = 58 - 37. Does 18 divide p?
False
Let k = -154 - -346. Is 24 a factor of k?
True
Let y(r) be the first derivative of -1/4*r**4 + 4*r**2 + 7/3*r**3 + 1 + 8*r. Is y(8) a multiple of 3?
False
Suppose 0*r - 3*r + 6 = 0. Is (-14)/((-6)/r - -2) a multiple of 4?
False
Let h(u) = -u + 20 - 10*u - 23 - u**2. Let v be h(-11). Does 13 divide 6*v/6 + 36?
False
Let p(t) = -t**2 + 6*t - 4. Let i(a) = -a - 4. Let o be i(-6). Suppose -n = o*n - 12. Is 2 a factor of p(n)?
True
Let n(l) = l + 1. Let w be n(9). Let a = -5 + 9. Suppose w = -a*o + 42. Does 3 divide o?
False
Suppose -2*x - 3*x + 180 = 0. Let l = x + -3. Does 11 divide l?
True
Let q(p) = 3*p**3 + 17*p**2 + 6*p - 10. Let s(z) = z**3 + 8*z**2 + 3*z - 5. Let o(a) = -2*q(a) + 5*s(a). Is o(6) a multiple of 7?
False
Let w(l) = 4*l + 4. Let n be w(10). Let c = 3 + 1. Is 9 a factor of n/c - -2*1?
False
Is (-14)/(1/(-3 + 2)) a multiple of 7?
True
Suppose z - 2 = 2*p, -4*z = -2*p - 2 - 24. Suppose -4*h + z*h - 36 = 0. Does 4 divide h?
False
Suppose 0 = 5*p - 11 + 1. Suppose 2*c = -p*c. Suppose 4*h - 9 - 7 = c. Does 4 divide h?
True
Suppose 0*k - h = 3*k - 649, -2*k = 5*h - 424. Suppose 33 = -4*q + k. Does 18 divide q?
False
Suppose -2*r = 3*r - 435. Suppose 3*q + r = 5*t, -t = t - 2*q - 34. Is t a multiple of 9?
True
Is 48/((-9)/(-2) + -3) a multiple of 32?
True
Let d(v) = -v**2 + 2*v + 1 + 3*v**2 + 0*v**2. Let h be d(-2). Suppose h*o - 5*p = o + 47, 3 = 3*p. Is o a multiple of 10?
False
Suppose -5*y = -3*u + 164, 1 = 3*u + 7. Let s = 69 + y. Is 18 a factor of s?
False
Let z be 64/(-2)*(-6)/8. Let h be (z/9)/((-2)/(-33)). Suppose t + t - h = 0. Is t a multiple of 12?
False
Let o be ((-4)/12)/((-2)/18). Suppose o*j - j + 3*z - 46 = 0, 3*z = -6. Is j a multiple of 12?
False
Let o = 27 - 6. Is 7 a factor of o?
True
Suppose 0 = 5*p + 77 - 7. Let x = 4 - p. Is x a multiple of 17?
False
Suppose 3*o + 0*o = 12. Suppose -o = 4*g, 4*g = 5*x - 16 - 138. Is x a multiple of 13?
False
Let v(b) = b**2 + b + 7. Let w be v(-5). Let m = w - 124. Let j = m + 145. Is j a multiple of 24?
True
Let b be 4*-1 + (-12)/(-2). Suppose -5*z + 81 = -b*z. Does 7 divide z?
False
Let c(b) = -2*b. Let f be c(6). Let j be (f/5)/(6/(-20)). Does 8 divide 3/(j - -1)*33?
False
Let l(x) = -7*x**2 - 2*x**2 - 6 - 5*x - x**3 - 4*x. Let b be l(-8). Suppose c - 28 = n - b*n, -c = 3*n - 88. Does 8 divide n?
False
Suppose -3*w + 8 = -4*w. Is (-4)/w*76/2 a multiple of 15?
False
Let u = -264 - -374. Suppose -4*v - 136 = -4*r, -3*r - 2 = -v - u. Does 11 divide r?
False
Is 88 - (7 + 1)/2 a multiple of 28?
True
Let t = 4 - -3. Is 7 a factor of t?
True
Let p(y) = 17*y. Let n(v) = 15*v + 1. Let s(r) = -6*n(r) + 5*p(r). Suppose -5*q - 32 = -2*w - 0*w, -q + 5*w = 11. Is 13 a factor of s(q)?
False
Let v = -46 + 52. Is v a multiple of 6?
True
Suppose 5*n + 3 + 7 = 0. Let v be (-1488)/(-9) + n/(-3). Let z = v - 119. Does 17 divide z?
False
Let y(r) = -r**3 + 6*r**2 + 3*r - 4. Does 11 divide y(6)?
False
Suppose -4*z + 44 = -4*a, -5*z - 2*a + 82 = 2*a. Suppose 4*n - 2*k + 16 = 0, 5*n + 5*k = -0*n - 35. Let v = z + n. Does 9 divide v?
True
Suppose -4*j = 49 - 1. Does 3 divide 3/j*2*-6?
True
Let r(i) = -i**2 + 33. Let h be r(0). Let t = 20 - 13. Suppose 2*x = t + h. Is x a multiple of 10?
True
Let h = 57 - 21. Suppose 2*a = -a + h. Is a a multiple of 3?
True
Let m(t) = -5*t**3 + 3*t - t**3 + 4*t**3 + t**3. Does 6 divide m(-3)?
True
Let s(m) = 2*m**2 + 0 - 2*m + 0 - 4 - m**2. Suppose -5*u - 11 = -3*g, 0 = -g - 4*u + 14 + 1. Does 14 divide s(g)?
False
Let o(f) = 4*f - 3. Suppose u - 6 = -0*u - 2*x, -4*x + 18 = 3*u. Is o(u) a multiple of 15?
False
Let s(y) = -y**2 - 11*y + 16. Let f be s(-12). Let c(q) = 15*q - f - 15 - q**2 + 3. Is c(11) a multiple of 10?
False
Let n(v) = 2*v**2 + 6*v + 46. Does 4 divide n(-8)?
False
Let h(l) be the third derivative of -l**6/120 - l**5/15 - l**4/24 + l**3/3 + 3*l**2. Is 3 a factor of h(-4)?
True
Let y = -3 + 12. Is 5 a factor of y?
False
Suppose 0 = -4*q + 5*q - 28. Let c = -19 + q. Is c a multiple of 9?
True
Let a(n) = n**2 + n + 1. Let c(r) = -7*r**2 + 2*r - 3. Let j(h) = -a(h) - c(h). Is j(2) a multiple of 6?
False
Let v(j) = 4*j + 3. Let y(t) be the third derivative of t**5/60 - 3*t**4/8 - t**3/3 - 2*t**2. Let h be y(10). Does 15 divide v(h)?
False
Let f = 53 + 79. Is f a multiple of 6?
True
Suppose -3*n + 17 = 5*h, -3*n + 2*h = -2*h - 8. Suppose 4*j = 3*u - 20, 3*u - n*u - 15 = 3*j. Suppose u = -4*m + 98 + 6. Is 12 a factor of m?
False
Let m(p) = -p**3 - 8*p**2 - 7*p - 4. Let k be m(-7). Is (3 - (-14)/k)*-20 a multiple of 5?
True
Let o(u) = -12 - 3*u + u + 7*u. Suppose -4 = 2*z + 5*b, 2*z = -2*b - 2 + 10. Is 16 a factor of o(z)?
False
Let k = -2 + 3. Let x = 3 - k. Is 7 a factor of -2 - -1 - x*-4?
True
Let s be (-2)/2 - (-3 + 1). Is 6 a factor of (2/(-2) - s) + 12?
False
Let o(v) = -30*v + 7. Let h be -15*6/(-15)*-1. Let r(z) = -30*z + 6. Let c(j) = h*r(j) + 5*o(j). Is c(1) a multiple of 20?
False
