or of (7 - 7) + o*2?
True
Let f = 59 - 54. Suppose 0*c + f*c = 65. Is c a multiple of 6?
False
Let s = 2 + 2. Suppose s*m - 23 = 3*j, 0 = 3*j - 8*j - 25. Suppose m*u - 81 = 19. Is 14 a factor of u?
False
Suppose 6*s = s - 5. Let z(u) = u**2 - 12*u - 12. Let f(w) = -w + 1. Let c(i) = s*z(i) - 3*f(i). Is c(15) a multiple of 5?
False
Let i = -8 - -29. Suppose 5*q - q + t - 9 = 0, -3*q + 4*t + i = 0. Suppose -q*k = -2*u - 200, k + 4*u = -2*k + 176. Does 32 divide k?
True
Let u(a) = -108*a - 73 + 11*a + 76. Does 28 divide u(-2)?
False
Let l = 506 + 394. Does 75 divide l?
True
Let g(c) = -4*c - 27. Let n(a) = -3*a - 26. Let d(q) = 5*g(q) - 6*n(q). Suppose 0 = 4*j - 8, 2*i + 4*j + 6 = -0. Is d(i) a multiple of 9?
False
Let a(w) = -7*w + 192. Does 31 divide a(-39)?
True
Let n = 661 - 166. Is n a multiple of 15?
True
Suppose 3*k = -3*x - 0*x + 12, 5*x = -2*k - 4. Suppose -2*y - k = 0, -y + 5*y = -3*t + 17. Is t a multiple of 5?
False
Let b = -56 - -56. Suppose b = -3*v - 6*v + 72. Is 4 a factor of v?
True
Let z = 2103 + -1029. Is z a multiple of 21?
False
Let y be -25 - (-2 - 0 - 1). Does 13 divide (2 + 27 + -3)*y/(-4)?
True
Let g be ((-72)/(-5))/((-9)/(-240)). Suppose 2*o - g = 2. Is 44 a factor of o?
False
Let w(j) = 4*j**3 + 2*j**2 + j - 2. Let n be w(2). Let p be (n/(-30))/(2/15). Let f = p + 30. Does 19 divide f?
False
Let j(r) be the first derivative of -r**2/2 - 12*r - 4. Let l be j(-15). Suppose -25 = -l*x - 1. Does 2 divide x?
True
Suppose 0 = -3*j - 5*x + 3274 + 107, 2*x = 2*j - 2254. Is j a multiple of 19?
False
Let a be (3 + 2 - -2) + -3. Suppose -a*b - 11 = 9, 0 = 5*t - 2*b - 150. Does 10 divide t?
False
Let f be 3/((-3)/16*-4). Suppose 5*u - 257 = 2*m, f*u + m - 208 = 2*m. Does 12 divide u?
False
Let k = 8 + -6. Suppose -4*o = 3*i + 396, 3*o - o + 266 = -k*i. Let m = i + 244. Is m a multiple of 29?
False
Let n(r) = 2*r**2 + 5*r - 17. Suppose -m - 4*m - 130 = 0. Let u = 32 + m. Is 21 a factor of n(u)?
False
Suppose -2*a - 2*q - 2 = a, a = 3*q + 14. Suppose t = -0*t + a. Is 52/(t + 0) + -2 a multiple of 6?
True
Let v(u) = -u**2 - 6*u + 10. Let f be v(-7). Suppose 0 = -4*g + f*a - 2, 2*a = 3*g - a + 3. Let c = 8 - g. Is c a multiple of 2?
False
Let r(m) be the first derivative of 5*m**4/4 + m**3/3 + 5*m**2/2 - 15*m + 21. Does 8 divide r(3)?
True
Suppose -3 = h + 2. Let i(f) = f**2 + 3*f. Let j be i(h). Suppose x - j = 8. Is 7 a factor of x?
False
Is 11 a factor of (902/55)/(2/60)?
False
Let j(g) be the first derivative of g**3/3 - 3*g**2/2 - 8*g - 13. Is 10 a factor of j(11)?
True
Let q(h) be the third derivative of h**5/60 - h**4/24 + 2*h**3/3 - 7*h**2. Let o be q(0). Suppose o*g - 16 = -0*g + 5*n, 12 = 3*n. Does 3 divide g?
True
Suppose p + 177 = 5894. Does 18 divide p?
False
Let q(o) = 155*o**2 - 2*o. Let a be q(-1). Suppose -5*w + 133 = -a. Does 12 divide w?
False
Let q(k) = 10*k**3 + 3*k**2 - 4*k - 1. Suppose 6 = 2*l + 2. Does 16 divide q(l)?
False
Let v(s) = 37*s + 29. Let j be v(3). Is 80/(-3)*(-336)/j a multiple of 4?
True
Let w(u) = u - 26. Let n be w(0). Let j = n + 23. Is 23 + (-9)/j + -1 a multiple of 6?
False
Suppose 34*o = 21*o + 50271. Does 97 divide o?
False
Suppose -198 = 6*o + 354. Let v = o + 106. Is v a multiple of 7?
True
Suppose -75 - 15 = -5*y. Suppose -y = -14*p + 17*p. Let i = 13 + p. Does 7 divide i?
True
Suppose 2 = 2*r - 2. Suppose 5*z + 21 = -r*a, a - 2 - 25 = 5*z. Does 7 divide (-1)/a*1*-54?
False
Suppose -3170 = -4*u - 526. Is u a multiple of 5?
False
Let g = 27 - 23. Suppose -g*m - 16 = 0, -2*m = -4*b - 4 + 12. Suppose 0*h - 7*h + 588 = b. Is 12 a factor of h?
True
Is 12 a factor of -6 - (-5 + 2 + -736 + -2)?
False
Let u(m) = -2*m + 16. Let v be 4*9/12 + 5. Let o be u(v). Suppose 51 = 3*n - o*n. Does 5 divide n?
False
Suppose 3*a = 2*u + 2245, 1224 = 2*a + u - 268. Does 83 divide a?
True
Suppose -p - 3*x = -2, -p = -2*x - 1 - 1. Let n be 13/6 - p/12. Suppose 0*z - 5*z = -2*k + 14, -5*k + n*z + 56 = 0. Does 3 divide k?
True
Suppose -h - t + 107 + 453 = 0, -h = 4*t - 545. Is 47 a factor of h?
False
Let w be 20/30 + 13/3. Suppose -4*v + 480 = 4*y, -2*v + 7*y + 256 = w*y. Does 31 divide v?
True
Let o(r) = -r**3 + r**2 + r + 1. Let s be o(-1). Suppose 2*d + s*j - 10 = 0, -j + 4 = 2*d + 4*j. Let x = d + -5. Is x a multiple of 2?
True
Let c be (4/7)/((-2)/(-14)). Suppose -18 = -2*u - c*x + 6, -3*u - 3*x + 21 = 0. Suppose 6*l = l + 4*z + 23, u*l - 29 = -5*z. Is l a multiple of 7?
True
Suppose -4*k - 24 + 4 = 0. Is 11 a factor of (((-1980)/25)/3)/(1/k)?
True
Is 154/(-55)*310/(-4) a multiple of 10?
False
Let k(r) = -r**2 + 9*r + 1. Suppose -2*a + 8 = y, y - 2*a - 28 = -4*y. Is k(y) a multiple of 19?
True
Let m = -129 - -732. Is 9 a factor of m?
True
Suppose 16*m = 15*m + 1040. Does 20 divide m?
True
Suppose j - a = -15, -7*j + 2*a = -2*j + 78. Suppose 0 = -4*s - 36 + 56, -4*i = 4*s - 92. Let r = j + i. Is r even?
True
Let u(c) = 3*c**2 + c + 1. Suppose 5 = -d - 4. Let y(q) = q**2 + 9*q - 4. Let g be y(d). Does 7 divide u(g)?
False
Let y = -6 + 3. Suppose 0 = 3*w + 5*n + 30, 2*n - 66 = w + 3*w. Is 3/w*y*65 a multiple of 13?
True
Let z be (-2 - (-128)/28)*14. Suppose 4*x - 6*x = d - 28, 0 = 3*x + 3*d - z. Let w = 0 + x. Does 4 divide w?
True
Let k be (-2)/(-11) + 100/55. Suppose 2*q - 3*r - 20 = -k*q, 2*r = 0. Suppose -57 = 2*i - q*i. Does 7 divide i?
False
Let o be 2212 - (-5 + (-2)/((-8)/12)). Suppose -o = -16*c + 7*c. Does 32 divide c?
False
Suppose 0*o - 12*o = -24. Let p(h) = 4*h**2 + 1 + h**3 - h**3 - 3*h + 4*h**3. Does 20 divide p(o)?
False
Let t be 166 - (1 + -4 + 1). Suppose 7*f - f = t. Does 22 divide f?
False
Let q(k) = 20*k**2 - 2*k. Let f be q(1). Is f/1*64/24 a multiple of 16?
True
Does 7 divide 1/(-8) + 120492/96?
False
Suppose -2*f - 213 + 647 = 0. Let k = -133 + f. Is k a multiple of 7?
True
Let x = -19 + 18. Let m(d) = -147*d**3 + d + 1. Does 17 divide m(x)?
False
Let r be 1 - (-5)/(-4) - (-122)/8. Is ((-250)/r)/(3/(-36)) a multiple of 25?
True
Let x be (5/3 - 1) + (-335)/(-15). Suppose 3*r = 8*r + 5. Is 11 a factor of r + x/(-2 + 3)?
True
Suppose -3*r + r = -178. Let v = 33 - r. Let w = v - -82. Is 9 a factor of w?
False
Suppose -4*o + 4*y = -6*o - 32, 3*y = 5*o + 106. Let p be 6/(-8) - 1115/o. Suppose -c + p = r - 6*c, -r = -c - 75. Is 20 a factor of r?
True
Suppose 14*c = 24359 - 1651. Is 20 a factor of c?
False
Let q be (-7 + 12/(-3))/(2/(-2)). Suppose 2 = 2*y, -3*t + 5*y + 41 = -q. Does 19 divide t?
True
Let i(q) = 2*q**2 - 7*q - 4. Is i(-3) a multiple of 7?
True
Suppose -4*u + 3*u + 201 = 0. Suppose u = 3*o + 3*b, -3*o + 178 = 4*b - 25. Suppose -4*s - o = -9*s. Is s a multiple of 13?
True
Let c(f) = -f**2 + 7*f + 12. Let p be c(-7). Let i = p - -186. Is i a multiple of 16?
False
Suppose 0 = 3*y + 4*q + 2, -q - 11 + 1 = -4*y. Is ((-6)/(-9))/(y/105) a multiple of 7?
True
Suppose x + 82 = a - 11, 3*a + 4*x = 286. Let c = 95 + a. Does 21 divide c?
True
Is (-3 - -1130) + -9 + -6 + 13 a multiple of 75?
True
Suppose 0*l + 2*l + 2 = -4*u, 4*l + 2*u - 2 = 0. Suppose 11 = 5*b + l. Suppose 17 = k + 2*s, 3*k - 61 = -2*k + b*s. Is 13 a factor of k?
True
Let p(a) = -a**2 - a + 12. Let h be p(0). Suppose -k + 2*m = -h, 4*m = 5*k + m - 95. Suppose -6*u = -44 - k. Does 11 divide u?
True
Let d = 1225 + -989. Does 4 divide d?
True
Suppose 0 = -3*m + 6 - 0. Suppose -2*r = 4*q - 100, m*r = 3*q - r - 57. Is q a multiple of 22?
False
Suppose 345516 = 44*s + 59164. Is 23 a factor of s?
False
Let g(l) = -2*l - 7. Let x be g(-6). Suppose x*h - 295 = -5*t, 3*h + 102 = 4*t + 286. Is 12 a factor of h?
True
Let o be 8/10 + 1919/95. Suppose b - 4*x = o - 8, 3*x = b - 15. Does 7 divide b?
True
Let f be ((-7)/(-4))/(12/1056). Suppose -9*p + 386 + f = 0. Does 12 divide p?
True
Is 58 a factor of ((-10)/(-3) - (12 + -12))*147?
False
Suppose -5*p - 32 - 19 = -z, 5*z - p - 327 = 0. Is 11 a factor of z?
True
Let x = -502 - -1228. Is x a multiple of 26?
False
Let o = -567 - -1462. Is 5 a factor of o?
True
Suppose -2*r - 16 = -10*r. Is 39 a factor of ((-10)/30)/(r/(-1482))?
False
Let h = 31 + -27. Suppose 21 = 7*y - h*y. Suppose 340 = y*o - 2*o. Is o a multiple of 13?
False
Suppose -j + 4 = -2*q - 2*q, -5*j - 20 = 0. Let v(p) = -17*p + 6. Is 16 a factor of v(q)?
False
Let k be -1*(-2)/(3/3). Is 16 a factor of 116 - (14/k + -3)?
True
