 + 11 a multiple of 7?
False
Suppose 9*n - 8 = 5*n. Suppose -5*r - n - 31 = -3*d, -3*d + 9 = 3*r. Let l = d - 4. Is l even?
True
Suppose -6*n + 3*n = 42. Let u = -66 - -101. Let z = u + n. Does 10 divide z?
False
Let g be 2/6*5*3. Suppose 4*s + 5*t - 48 = 0, 2*t = -g*s - 0*s + 60. Is s a multiple of 4?
True
Let j be (-1)/2*(-5 - -3). Let v(r) = 10*r - 1. Let t be v(j). Is 7 a factor of 75/t + 2/3?
False
Let c = -6 - 31. Let s be (-596)/28 - 6/(-21). Let l = s - c. Does 16 divide l?
True
Suppose -6*p + 10 = -4*p. Let i = p + -3. Suppose i*b + 102 = 7*y - 3*y, 5*y - 132 = -2*b. Is y a multiple of 11?
False
Suppose 0*s + 210 = 7*s. Does 11 divide s?
False
Let b = 9 + -4. Suppose w + 5*k = 0, -k + 19 = 3*w - b*k. Is w even?
False
Let x(k) = -k**2 + 5*k. Let o be x(5). Suppose -l + o*l + 6 = 0. Is l a multiple of 3?
True
Suppose 2*q + k - 16 = -3*k, -5*k = -3*q - 31. Is (1/q)/(-1)*62 a multiple of 13?
False
Let h(o) = 6*o - 1. Let q be h(-4). Let v = -18 - q. Does 2 divide v?
False
Suppose -8 = 4*f, -3*f + 8*f = 2*q + 10. Let s = -14 - q. Let v = 8 + s. Is v even?
True
Let t(h) be the third derivative of h**5/30 + h**4/24 + h**3/3 + h**2. Is 8 a factor of t(-3)?
False
Suppose 0 = 2*w - w - 6. Is 6 a factor of w?
True
Let p(d) = d**2 + 11*d - 15. Does 25 divide p(7)?
False
Suppose -2*z - 2*z + 12 = 0. Suppose 0 = -4*t - s + z*s + 56, 0 = 5*s + 20. Does 4 divide t?
True
Let d be (-6)/10 + (-81)/15. Let s = -6 - d. Suppose -64 = -2*b - 4*h, -h + s*h - 137 = -4*b. Does 17 divide b?
True
Let q(a) = 9*a**2 - 2*a + 1. Let v be q(1). Suppose -4*d + v*d = 32. Is 8 a factor of d?
True
Let k = 26 - 8. Let i(q) = q**2 - 8*q - 7. Let z be i(9). Suppose 0*s - k = -z*s. Is s a multiple of 5?
False
Let i(v) = v**3 - 9*v**2 + 11*v + 6. Is i(9) a multiple of 24?
False
Let g(i) = -i**3 + i**2 - 2*i + 4. Is g(0) a multiple of 4?
True
Let c = 116 - 80. Suppose -4*i + c = 3*l + l, -2*i + 22 = l. Is i a multiple of 13?
True
Let w = -3 - -33. Suppose -l + 2*u + 48 = -3*u, l = -4*u + w. Is 19 a factor of l?
True
Suppose 2*g + 5*p - 87 = 0, 4*g - 2*g + 3*p - 89 = 0. Suppose -x + 14 = -4*q - 0, -2*x = q - g. Suppose -v - x = -3*v. Does 11 divide v?
True
Let p(r) = -11*r - 8*r + 14*r + 7*r**2 + 3 - r**3. Suppose z + 12 = 3*n, -4*n + 26 = -0*n + 2*z. Does 10 divide p(n)?
False
Suppose 0 = 2*h - 0*h. Suppose 38 = -h*d - 5*d - r, 18 = -3*d - 3*r. Is (d - -4)*1*-8 a multiple of 16?
True
Suppose 2*w = -0*h - 5*h + 118, 3 = -3*w. Is 14 a factor of h?
False
Let b(r) = 25*r + 11. Is 54 a factor of b(3)?
False
Suppose 2*s - 5*j + 7 - 27 = 0, -3*s + 4 = -j. Suppose -3*c - c = -n - 2, s = -3*n + 4*c + 2. Is n a multiple of 2?
True
Suppose 7*i - 164 = 1705. Does 56 divide i?
False
Suppose 0*v - 5*z = -5*v + 380, 5*v = -z + 374. Let d = 127 - v. Is 13 a factor of d?
True
Let k be (21/2)/(3/(-330)). Is (-6)/(-27) + k/(-27) a multiple of 13?
False
Let w be -6 + 9 + 1 + -1. Suppose -w*v + 30 = 2*v. Is 6 a factor of v?
True
Let a(z) = z**2 + 3*z - 7. Let j be a(-5). Suppose 0*k - 60 = -j*k. Is 8 a factor of k?
False
Let c = 142 - 33. Suppose 55 = 2*p - x, 5*x = -2*p - 24 + c. Is 15 a factor of p?
True
Let q be ((-8)/(-5))/((-2)/(-10)). Let w(s) = s**3 - 7*s**2 - 5*s - 10. Does 14 divide w(q)?
True
Let t(d) = 127*d - 3. Is t(1) a multiple of 37?
False
Let z(j) = j**3 + j - 2. Does 8 divide z(5)?
True
Let j = 21 + -21. Let o = j + 10. Does 4 divide o?
False
Is 21 a factor of (12/33)/(-2) - 9195/(-55)?
False
Let s = 2 - 11. Let q be (-174)/s*(-3)/(-2). Let k = q + -16. Is k a multiple of 13?
True
Suppose 2*s + s = 0. Does 13 divide (-75)/(-3) + s/(-3)?
False
Suppose -5*k = 5*c, -c = -3*k + c. Is 1 - (k + 0 - 9) a multiple of 5?
True
Let n(t) = t + 4 + 0*t + 4. Let b be n(-6). Is (-6)/(3/2 - b) a multiple of 12?
True
Suppose 3*o - 2*o = 58. Suppose -5*d + 4*z = -o - 0, -2*z = -3*d + 34. Is 134/d + 4/(-10) a multiple of 13?
True
Suppose x - 20 - 1 = 3*k, -3*x - 9 = 3*k. Let n = k + -15. Let z = 50 + n. Is z a multiple of 12?
False
Suppose 0 = r - 77 - 17. Let f be 15*1*(-2)/(-3). Is 9 a factor of (-4)/f - r/(-10)?
True
Let t = 33 + 25. Does 29 divide t?
True
Let n(t) = -t**2 - 14*t + 12. Let r(y) = y - 5. Let z be r(-9). Does 4 divide n(z)?
True
Suppose 2*l = 2*o + 2, 4*l - 6 = -3*o + 8*o. Suppose -4*h + 5 = -7. Let r = h - o. Does 2 divide r?
False
Suppose 2*n - 2 = 0, u - 4*n + 2 - 3 = 0. Suppose -u = -d + 6*d. Is d/9*-3*15 a multiple of 3?
False
Suppose q + 4*q = 0, 4*q + 11 = -c. Let r = -7 - c. Suppose -r*b = -16 - 60. Is 19 a factor of b?
True
Suppose 0 = -51*i + 46*i + 250. Is 8 a factor of i?
False
Let a(w) = -w**2 - 22*w + 17. Is 22 a factor of a(-13)?
False
Let i be 0*(-1 + (-3)/(-2)). Suppose h - 2*k - 7 = -0*k, 4*k = 5*h - 29. Suppose h*v - v - 24 = i. Is v a multiple of 6?
True
Suppose -q - 4 = -3. Let f = 7 + q. Suppose -2*k + f = -0. Is k even?
False
Suppose 2*t - 6*t + 692 = 0. Suppose -3*r + 90 = 4*m, 5*r + 23 = 2*m + t. Is 16 a factor of r?
False
Let v(c) = c**2 + 3*c - 4. Let i be v(-4). Suppose -114 = -3*d - i*x - 2*x, 2*d - 75 = -x. Is d a multiple of 12?
True
Let m = 137 + -77. Is 15 a factor of m?
True
Let a be 1/(-6) - (-284)/(-24). Let p = 26 + a. Is p a multiple of 10?
False
Suppose -u = -3*q + 61, 2*q + 76 = 6*q - 4*u. Let g = q + 35. Does 7 divide (3/(-2))/((-6)/g)?
True
Let d(r) = -r**3 - 14*r**2 - 3*r - 18. Is d(-14) a multiple of 8?
True
Let j = -7 - -22. Is 15 a factor of j?
True
Let l = -4 - -4. Let q be (-3)/9*l + 2. Suppose -2*g + 2*k = -20, -g + k + 30 = q*g. Is 10 a factor of g?
True
Let v be (-80)/(-44) + (-4)/(-22). Suppose -6 = v*g - 60. Does 19 divide g?
False
Let w(r) = 10*r - 2. Is 2 a factor of w(1)?
True
Let t = -83 + 152. Suppose -o = 3*n - 15, 3*o - 5*n - t = -2*n. Does 6 divide o?
False
Let z(n) = 14*n - 10. Does 12 divide z(5)?
True
Suppose -2*j - 5*g + 158 = -0*j, -4*j - 5*g = -316. Does 12 divide j?
False
Suppose 4*h + a - 23 = 16, -25 = -2*h + 5*a. Suppose -3*c = -6, 0*s + h = 4*s + c. Suppose 0 = l + s*o + 2 - 12, 2*o + 14 = l. Is 6 a factor of l?
True
Is 0 + (-3)/6*-22 a multiple of 11?
True
Suppose 10 = 5*i, -5*s + 230 = 6*i - i. Suppose -2*o = -o - s. Does 11 divide o?
True
Let m(g) = -3 + 0*g**2 + 5 + 12*g - 1 - g**2. Is m(11) a multiple of 4?
True
Let c be 16/8 + 31*1. Suppose 3*x = 129 - c. Does 13 divide x?
False
Let o be ((-4)/(-5))/(9/90). Is 124/o + (-2)/4 a multiple of 4?
False
Let b(t) = -t**3 - 4*t + 2*t - 3 - 3 - 10*t**2. Is 8 a factor of b(-10)?
False
Let g = 22 - 16. Let o(t) = 1 + 1 + 64*t - 60*t. Is 13 a factor of o(g)?
True
Let m(s) = 61*s - 25. Is 28 a factor of m(4)?
False
Let n = 0 + 1. Suppose h - 1 + 18 = 4*s, -s - n = -2*h. Suppose s*m = 21 + 19. Is 8 a factor of m?
True
Let c(t) = -22*t - 31. Is c(-10) a multiple of 21?
True
Suppose k - 2 = -0*k + 2*a, 4*k = 3*a + 8. Let p be 2168/56 + k/7. Suppose 4*c + p = 3*n, -8*n = -3*n + c - 42. Is n a multiple of 9?
True
Let r = 38 + 33. Is r a multiple of 42?
False
Let y(x) = -x**2 - 6*x - 4. Let p be y(-4). Let j(q) = -p*q + q + 4 + q. Is j(-8) a multiple of 17?
False
Suppose c = -1, -4*j = -2*c + 6*c + 168. Let f = j + 83. Is 11 a factor of f?
False
Let b(p) = 2*p. Let a be b(-4). Let x = -14 - a. Let z(m) = m**3 + 7*m**2 - 8. Does 15 divide z(x)?
False
Let w = 19 - 11. Is w a multiple of 3?
False
Let b = -59 + 95. Suppose 5*t - 2*n - 117 = -b, 55 = 3*t + 2*n. Does 14 divide t/1 - 12/4?
True
Let r = -7 - -20. Suppose -h + 0*h = -4*l - 8, -3*l + r = 4*h. Suppose h*v - v - 120 = 0. Is 20 a factor of v?
True
Suppose -3*p - 3*p = -198. Is p a multiple of 7?
False
Let u = -5 - -8. Suppose -4*i = -2*m - 102, u*i - 3*m - 73 - 8 = 0. Is 8 a factor of i?
True
Suppose -3*y - 6*q + 11 = -7*q, -5*y = -4*q - 16. Suppose -4*x + x - 4 = -2*p, 5*x = -2*p + y. Let w = 6 - p. Is 3 a factor of w?
False
Let h = -15 - -17. Is h a multiple of 2?
True
Let s(p) = -2*p + 24. Let c be s(10). Does 18 divide (-2)/c*(-67 - 7)?
False
Let f(g) = -g**3 - 4*g**2 - 7*g - 6. Let z be f(-7). Suppose 3*u = 6, -4*y + z = -0*y + 3*u. Does 21 divide y?
False
Let a(j) = 5*j - 25. Is a(10) a multiple of 5?
True
Let v = -34 - -68. Does 3 divide v?
False
Let k(g) = -6*g + 5. Suppose -6*t + 4*t - 14 = 0. Does 21 divide k(t)?
False
Let h(d) = -d - 8. Let f be h(-6). Let g = -45 + 16. Does 8 divide g/f - 3/(-2)?
True
