
False
Is (-10 - 42/(-6))*(-11 - 0) a multiple of 4?
False
Suppose -3 = -2*q + 1. Let g = -80 - -82. Suppose 0 = g*d - 34 - q. Does 6 divide d?
True
Suppose -1 - 19 = -c. Does 10 divide c?
True
Suppose 361 - 55 = 9*m. Is m a multiple of 5?
False
Let z(w) = w + 1. Let h = 2 + -1. Is z(h) even?
True
Let h(g) = -15*g - 11. Does 40 divide h(-16)?
False
Let v be (-2)/8 - 205/(-20). Suppose -36 = -b + v. Is 23 a factor of b?
True
Let t be -1*2/4*8. Let z = t + 6. Does 2 divide z?
True
Suppose -5*n - z = -34 + 9, -n - 4*z + 24 = 0. Is 3 a factor of n?
False
Suppose 0 = -3*j, -6*r + 20 = -r - 4*j. Suppose r*f - 56 = -5*m, 5*f - 87 = -0*f - 2*m. Does 18 divide f?
False
Suppose 334 = 5*s - 96. Does 40 divide s?
False
Suppose 3*m + 3 = -0. Is 2*m - (0 - 20) a multiple of 18?
True
Let p be (-3)/(2/((-16)/3)). Suppose 6*c - 2*c = p. Let l = 23 - c. Does 11 divide l?
False
Let q = 7 - 9. Is ((-4)/(-2))/q - -8 a multiple of 5?
False
Is (-1)/((-1)/(-194)*-2) a multiple of 22?
False
Suppose -46 - 64 = -5*p. Suppose 3*o - 4*y + p - 63 = 0, -5*y - 25 = 0. Is o a multiple of 5?
False
Let l(k) = k**2 - 5*k + 2. Let m be l(5). Suppose 5*v = -m*s + 147, 0*s - v = 2*s - 135. Is 33 a factor of s?
True
Suppose 6 = -2*p + 12. Let s(i) be the second derivative of i**3 + 2*i**2 + i. Is 11 a factor of s(p)?
True
Let n(q) be the second derivative of q**4/6 - q**3/3 - 5*q**2/2 + q. Is 10 a factor of n(4)?
False
Let x(l) = -4*l**3 + 6*l**3 - 6*l**2 + 2*l**2 - 3*l**3 + 4*l + 1. Is 3 a factor of x(-5)?
True
Suppose -7 + 235 = 4*a. Let o = a + -37. Is 10 a factor of o?
True
Suppose 2*d = 3*d - 23. Let h = d - 1. Is 7 a factor of h?
False
Suppose 2*x = -t - 2*t + 1, 2*x = 5*t - 23. Let n be 30 + (-1 - -4) + t. Let r = n - 10. Is 13 a factor of r?
True
Let l(d) = -d**3 - 8*d**2 - 10*d - 2. Is 13 a factor of l(-9)?
True
Let o(a) = a**3 + 2. Is o(2) a multiple of 4?
False
Suppose 5*m + 70 = 5*i, -4*m + 3 = i + 4. Suppose -3*t + 7 = -i. Does 6 divide t?
True
Suppose -5*r = -33 + 93. Let j be (-42)/r*(-1 - 1). Let o = j + 18. Is 4 a factor of o?
False
Let a(v) = -2*v - 4. Let r be a(-4). Suppose r*l = 3*l. Suppose l*s - 20 = -5*s. Does 3 divide s?
False
Let v = 7 + -5. Suppose -4*k - 81 = -4*g - 9, 0 = v*k + 6. Is g a multiple of 10?
False
Suppose -5*i = -4*m + 660, -m = -2*m - 2*i + 152. Does 30 divide m?
False
Is 4892/28 - (-4)/14 a multiple of 17?
False
Let w(v) = 3*v**2 + 5*v. Is 4 a factor of w(-3)?
True
Suppose -3*x + 39 = -2*x. Does 15 divide x?
False
Suppose 0 = -m + 4*m - 75. Is 18 a factor of m?
False
Let k be ((-12)/(-8))/((-3)/(-8)). Suppose -2*t = k*b - 126, b - 224 = 3*t - 7*t. Does 22 divide t?
False
Suppose 0 = -4*r + 4 + 8. Suppose -114 + 39 = -r*o. Let h = 38 - o. Is 12 a factor of h?
False
Let y(f) = 2*f**2 + 3*f + 3. Let b be y(-2). Suppose 5*o - p - 37 = -2*p, -b*o + 31 = 3*p. Is 8 a factor of o?
True
Let h(r) be the first derivative of -r**4/4 + 3*r**3 + 6*r - 3. Does 6 divide h(9)?
True
Let u(m) = 5*m**2 - 2*m - 1. Is 16 a factor of u(3)?
False
Let d be (-3)/((-24)/(-20))*8. Does 4 divide d/(-2) - 1/(-1)?
False
Suppose -2*o + 16 = -o - 2*l, 3*o - 50 = 5*l. Is 7 a factor of o?
False
Let w be (-1)/(-3) - 60/(-9). Let t(r) = r - 4. Let z be t(w). Suppose -z*k + 37 = 5*n, k = 4*n + 5 - 4. Does 4 divide k?
False
Suppose 275 = 11*l - 0*l. Is l a multiple of 13?
False
Let k = 86 - 52. Suppose 2*h + 6 - k = 0. Let t = 15 + h. Does 10 divide t?
False
Let u = 10 - 7. Suppose v = 5*z + 3*v - 29, 2*z - u*v = 23. Is 3 a factor of z?
False
Let v(i) = -2*i**3 + 3*i**2 + 2*i - 7. Let w be v(-5). Suppose -x = -3*x + w. Does 13 divide (-2)/3 - x/(-6)?
False
Let a(q) = -q**2 + 6*q + 2. Let d be a(6). Suppose -127 = -d*i - 49. Is i a multiple of 13?
True
Let z(s) be the first derivative of s**2 + 18*s + 3. Let l be z(-12). Does 16 divide 1/l - (-199)/6?
False
Suppose -3*w + 3*k - 2*k = -131, 5*w = -3*k + 223. Is 5 a factor of w?
False
Let o be ((-4)/2)/2 + -12. Let z = 7 - o. Is 10 a factor of z?
True
Does 14 divide (4 - (-23)/2)/((-1)/(-2))?
False
Suppose 3*b = 10*b - 56. Suppose -2*r - 24 = -5*r. Let z = r + b. Is z a multiple of 8?
True
Let z(b) = -3*b**2 + 6*b**2 - b + 2*b**2. Let w be z(-1). Let d = w + 4. Does 6 divide d?
False
Suppose 1 = -5*h + 46. Is h a multiple of 3?
True
Let p = 4 - -26. Does 15 divide p?
True
Suppose -o + 5 = 22. Let r = -37 + -1. Let a = o - r. Is a a multiple of 11?
False
Suppose 428 = 3*u - 5*x, 6*u + 5*x = u + 740. Does 11 divide u?
False
Suppose -36 = 2*j + 36. Let i be (-2)/((-130)/(-134) + -1). Let v = i + j. Is 23 a factor of v?
False
Let n(b) = -b**3 - 2*b**2 - 2*b - 1. Let t be n(-2). Suppose 63 = t*u + 4*o + 14, 2*u - 5*o - 2 = 0. Is u a multiple of 3?
False
Suppose -135 = -3*a - 4*t, 0 = -a - 3*t + 53 - 3. Let v = -24 + a. Is 17 a factor of v?
True
Let k = 97 + 43. Suppose 44 = d - 3*r, -5*d + d + k = -3*r. Does 16 divide d?
True
Let t = -67 + 98. Does 3 divide t?
False
Suppose 2*u - 7*u = 0. Suppose 0 = 2*y - 3*a - 2, 2*y + u*y - 2 = 2*a. Let v(d) = 6*d**2 - d. Does 5 divide v(y)?
True
Suppose -j + 4*p = -1, p + 0*p - 5 = 0. Let k = 14 - j. Let q = 19 + k. Does 12 divide q?
True
Suppose -6*c = -c - 80. Let t(k) = k**3 + 4*k**2 + 2*k - 3. Let q be t(-3). Let d = c - q. Does 16 divide d?
True
Let w = -1 + 3. Does 9 divide (-36)/30*(-45)/w?
True
Suppose -6*u - 44 = -8*u. Does 4 divide u?
False
Let c(u) = -u**3 - 11*u**2 - 12*u - 7. Let x be c(-9). Let d = 162 - 268. Let y = x - d. Is y a multiple of 17?
False
Suppose 3*b + 2*i = -0*i + 37, 4*b + 2*i - 48 = 0. Is 11 a factor of b?
True
Suppose 2*v - 8 = 0, -5*u + v + 938 = 307. Does 25 divide u?
False
Let q = -1 - -10. Is 8 a factor of 38/2 + q/(-3)?
True
Let t = -43 - -67. Does 12 divide t?
True
Let c(g) be the first derivative of -g**3/2 - 3*g**2 + g - 2. Let v(q) be the first derivative of c(q). Is v(-5) a multiple of 8?
False
Let c(r) = r**3 + 5*r**2 - 2*r - 6. Does 16 divide c(-4)?
False
Let t = -4 + 4. Suppose -3*k = -t*k - 15. Is 3 a factor of k?
False
Suppose 3*l + 9 = -2*b + 3, -5*b - 2*l = 4. Let p be 7/1*(b - -3). Let v = p + -9. Is 6 a factor of v?
True
Let l be (-8)/(2/208*4). Is 3*(l/12)/(-2) a multiple of 7?
False
Suppose -11 = -2*i + s, s + 14 = 2*i + i. Suppose i*b - 3*m - 51 = 0, 4*m = -2*b - m + 6. Does 4 divide b?
False
Let s = -6 - -4. Does 3 divide ((-18)/12)/(s/4)?
True
Let o be 78/(-15) + 1/5. Let g(x) = -x**2 - 9*x - 6. Let k be g(o). Suppose 0 = -4*d + 50 + k. Is 8 a factor of d?
True
Let w = 1 - -2. Let o = w - 1. Suppose -o*l - 2*l = -84. Does 8 divide l?
False
Let t(i) = 7*i**2 - 8*i + 63. Is 65 a factor of t(7)?
False
Suppose 2*w = -3*w + 10. Suppose 0 = 5*j + 2*g - 8 - 22, 0 = 3*j - w*g - 34. Is 8 a factor of j?
True
Is 18 a factor of (1*-1)/4 + 13804/112?
False
Let x be 29 + -2 + (0 - -2). Let m = x - -46. Is 21 a factor of m?
False
Let n(k) = -2*k. Let s(a) = a + 1. Let l(g) = -n(g) - 5*s(g). Let q(h) = -3*h. Let v be q(2). Is 13 a factor of l(v)?
True
Suppose 6*x = 2*x - 24. Is (-49)/x + 2/(-12) a multiple of 3?
False
Let h = -67 - -80. Is h a multiple of 12?
False
Suppose -4*z + 8 = -32. Is z even?
True
Let k = -138 - -523. Does 35 divide k?
True
Suppose 3*i - 472 = -5*i. Is 6 a factor of i?
False
Let d(m) = 5*m**2 - 6*m - 3. Let b be d(7). Suppose 4*k = 4*z - 160, -k - b = -5*z - 0*k. Is 20 a factor of z?
True
Let s be 50/4 - (-1)/(-2). Let n be 1/((-3)/(-2))*s. Suppose 0 = -r + n + 16. Does 12 divide r?
True
Let v = -146 - -406. Is 52 a factor of v?
True
Suppose 27*v = 32*v - 530. Is 21 a factor of v?
False
Let q(c) = -c**2 + 6*c - 2. Suppose 9*y = 4*y + 20. Is 4 a factor of q(y)?
False
Let x = -186 - -273. Is x a multiple of 26?
False
Let y = -49 + 85. Is 18 a factor of y?
True
Let k(a) = -a**3 - 7*a**2 + 5. Let n be k(-7). Let x = n - 2. Does 3 divide x?
True
Suppose -4*a - 3*n = -676, 10*a - n = 9*a + 169. Is 13 a factor of a?
True
Let n = 78 + 43. Is 26 a factor of n?
False
Let w(f) = 5*f - 5. Is 12 a factor of w(10)?
False
Let b(w) = 18*w - 27. Does 12 divide b(22)?
False
Let k(c) = -10*c + 12. Let y be k(-9). Suppose 2*p = -0*v + v + y, 3*p - 3*v - 147 = 0. Is 19 a factor of p?
False
Suppose 0 = 4*x + a - 220, -x - 4*a + 3 = -52. Suppose -5*t + 4*d - x = -d, 0 = -2*t - 3*d - 12. Is 5 a factor of 2/t + 92/9?
True
Suppose -5*q + 128 = 3*j - 40, 3*j