0 = 0. Is 10 a factor of c?
True
Let g = 11 - 17. Is (-2)/(-6) + (-142)/g a multiple of 24?
True
Let m(a) = 4*a**2 - 77*a - 22. Is m(-10) a multiple of 41?
True
Let m(r) be the third derivative of 0*r - 4*r**2 + 0 + 1/12*r**4 + 1/60*r**5 + 4/3*r**3. Is 6 a factor of m(-5)?
False
Suppose 3*w = 2*n + 3306, -15*w + 17*w - 2217 = -3*n. Is w a multiple of 48?
True
Suppose -5*n = 4*n - 5409. Suppose n - 145 = 8*i. Is i a multiple of 19?
True
Let s(o) be the first derivative of -o**2 + 3*o + 13. Let h be s(0). Suppose 0 = h*w - 5*w + 72. Is 5 a factor of w?
False
Let q be (-124)/7 + (-10)/35. Let p be 168/18*q/4. Is (p/7)/((-6)/20) a multiple of 5?
True
Does 11 divide 207/(-2)*682/(-31)?
True
Let l = 23 - 16. Let n(s) = -s**3 + 8*s**2 - 3*s + 11. Is 13 a factor of n(l)?
True
Does 22 divide (-12)/(-18)*627/2?
False
Let w = 2956 + -2576. Does 5 divide w?
True
Let t be (-4)/14 - 905/(-7). Does 21 divide t/6 + 2/(-4)?
True
Is 411 - (1/3)/(10/(-30)) a multiple of 66?
False
Let m(p) = 257*p**2 + 8*p + 9. Does 43 divide m(-1)?
True
Suppose -2*o - 147 = o. Let k be 4/6 - o/21. Suppose -k*b = -117 - 0. Is b a multiple of 26?
False
Let g = 188 - -362. Is 25 a factor of g?
True
Let a(h) = -5*h**3 - 6*h**2 - 16*h + 5. Does 56 divide a(-5)?
True
Let g(u) = 18*u**2 - 5*u + 4. Is g(2) a multiple of 18?
False
Suppose -7*d = -3 + 66. Let o be 2/d - (-208)/(-36). Does 2 divide 3 - (4 + -1 + o)?
True
Let d = -29 - -38. Let k = 53 + d. Does 11 divide k?
False
Let z(f) = -f**2 + 13*f + 101. Is 10 a factor of z(16)?
False
Let m(a) = 3*a + 7. Let s(c) = 6*c + 14. Let x(i) = 7*m(i) - 4*s(i). Let j be x(-7). Is 234/j + 2/7 a multiple of 9?
False
Let m = 78 + -83. Let h(c) = 8*c**2 + c - 1. Is 14 a factor of h(m)?
False
Let g = -22 + 47. Let b = g - 5. Suppose 2*m = -b + 158. Is 23 a factor of m?
True
Is 14 a factor of (-235)/5*-89 + 3?
True
Let w = 58 - 106. Let g = -12 - w. Is 6 a factor of g?
True
Let f be 0 + (4 - -334) - (1 + 1). Is (f/(-4))/(-4) - -4 a multiple of 4?
False
Suppose 2*h - 202 = -4*r, 5*r + h - 175 = 70. Does 12 divide r?
True
Suppose 85 = -4*u - u - 5*m, 2*u + 59 = 3*m. Let v be (-8)/(-48) - u/12. Suppose 0 = -3*j - v*j + 120. Does 8 divide j?
True
Let i be 14120/16 + 3/2. Suppose -j = 3*j - i. Is 40 a factor of j?
False
Let b = 2690 + -2392. Is b a multiple of 86?
False
Is -1 - ((-3536)/10 + 2/(-5)) a multiple of 46?
False
Let u(w) = w**2 + 6*w - 4. Let d(j) = j**2 + j + 1. Let h(x) = 2*d(x) - u(x). Is h(-6) a multiple of 11?
True
Let n(g) = -g**3 - 6*g**2 - g - 2. Let b be n(-6). Suppose -a = -5*a + 3*s + 199, b*s + 196 = 4*a. Suppose a = -0*r + 4*r. Is 2 a factor of r?
False
Suppose -681 = 67*a - 68*a + 3*v, 0 = a + 3*v - 651. Is a a multiple of 25?
False
Suppose -5*p - 5*z = 160, 17 = -p - 4*z - 0. Let a = p - 53. Is (-1)/(2/a*3) a multiple of 5?
True
Suppose x = 2*x - 4*m - 118, -4*m - 232 = -2*x. Does 19 divide (x/(-24))/(3/(-84) + 0)?
True
Suppose -3*t = 3*f - 5*f + 32, 2*t + 4*f + 48 = 0. Let h be 4/t + 12/42. Suppose h*w + w = 12. Is 8 a factor of w?
False
Let a be 2/(-4)*(-6 + -14). Let x(n) be the first derivative of 3*n**2 - 23*n - 27. Is 13 a factor of x(a)?
False
Let w be -4*4/(-3 - 1). Suppose w*y = y + 90. Suppose 0 = -i - 2*i + y. Is i a multiple of 4?
False
Let s = -9 - -9. Suppose s = -2*n + 2*f + 50, -5*n + 4*n = -4*f - 10. Does 18 divide n?
False
Let i = -868 + 1258. Is 13 a factor of i?
True
Suppose -47*b = -31*b - 5184. Is 12 a factor of b?
True
Suppose 2*x - 5*x = -12. Suppose -5*p - 100 = -4*t - t, x*p - t = -86. Let j = p - -48. Does 13 divide j?
True
Let c(b) = 3*b + 58. Let h(w) = 6*w + 117. Let t(v) = -5*c(v) + 3*h(v). Is t(11) a multiple of 5?
False
Suppose 2 + 24 = -2*i. Let a(p) = -19*p + 1. Let z(c) = 29*c - 1. Let t(g) = -3*a(g) - 2*z(g). Is t(i) a multiple of 4?
True
Suppose 3*s = -4 + 13, -3*f + 2*s + 714 = 0. Suppose 33*o - 30*o = f. Does 10 divide o?
True
Is (-170)/(-51)*750/4 a multiple of 20?
False
Suppose -18*q + 25 = -13*q. Suppose 3*d - q*c = 65 + 583, -2*c + 216 = d. Is 41 a factor of d?
False
Let t(s) = -2*s**2 + 3*s**2 + 2*s + 2*s**3 - 5*s**3 - s**3. Let q be t(-3). Suppose 4*i - 41 - q = 0. Is 19 a factor of i?
True
Suppose -2*c - 5*x + 101 = 0, -3*c - 6*x + 2*x = -141. Let j = c - -14. Let q = j + -34. Is q a multiple of 14?
False
Let t be (-75)/(-20)*(-6 + -2). Does 20 divide 36/t*(-100)/6?
True
Suppose 0 = -m - 5, 5*o + 97*m - 4260 = 99*m. Is o a multiple of 17?
True
Let c be 132/6 - (1 - -1). Suppose 3*m - c = -m. Suppose -m*w + 13 = -u, -4*u - 4*w = -2*u - 44. Does 8 divide u?
False
Let a(w) = -w**3 + 8*w**2 - 11*w - 12. Let i be a(6). Is 16 a factor of (543/i - -2)*-2?
False
Let z(l) = 7*l. Let i be z(6). Suppose -3*y - 15 = 4*m - 176, i = m - y. Let u = 7 + m. Is 11 a factor of u?
False
Suppose -29*n = -33*n + 2732. Is n a multiple of 55?
False
Suppose -3*x - u + 9186 = 0, 42*u = 47*u + 15. Is 115 a factor of x?
False
Let r(l) = 5*l + 116. Does 9 divide r(-7)?
True
Let z(v) = -v + 12. Let h be z(8). Suppose 2*q - g - 138 = 2*g, h*q = g + 256. Is q a multiple of 9?
True
Suppose 5*z - 2*i = 637, -z - 2 = -4*i - 133. Is z a multiple of 20?
False
Let n be 2 + (4 + -8 - -6). Suppose -4*x + 83 = 5*p, p + n*x - 68 = -3*p. Is 5 a factor of p?
True
Let a(d) = -d**3 - 18*d**2 - 8*d + 46. Is 21 a factor of a(-18)?
False
Suppose 3*l - 3*z - 39 - 15 = 0, 0 = -5*l - 2*z + 90. Is 14 a factor of (-164)/(-3) - (-24)/l?
True
Let w be 1/4 - (-1)/(-4). Suppose w = z + 3*i + 10, -2*z - 3*i - 6 = -4*i. Does 3 divide 6*(-4)/(z - 4)?
True
Let t be ((-9)/6)/(1/6). Let u(j) = 21*j. Let b be u(3). Is 805/b + (-2)/t a multiple of 8?
False
Let j = 28 + -23. Let t be 4/((-4)/j)*-1. Suppose -t = v + x - 28, v - 19 = 3*x. Is v a multiple of 11?
True
Suppose -5*j + 3506 = 7*h - 8*h, 3*h = 4*j - 2796. Does 27 divide j?
True
Suppose -4*g + 16 = -2*n, 0*n + 2*n + g = 4. Suppose n*s + x = 5*s - 284, 55 = s - 2*x. Is 19 a factor of s?
True
Let u(g) = 39*g - 351. Is u(21) a multiple of 9?
True
Suppose -n + 2*y + 9 = 2*n, 2*n = -y + 6. Suppose n*j - 2*v = 131, 3*v = 3*j - j - 84. Suppose -2*a + j = 13. Is 8 a factor of a?
True
Let l(d) = -d**2 + 2*d + 2. Let j be l(0). Let f be (-2 - (-3 - j)) + -7. Is 15 a factor of 24/14*(-70)/f?
True
Suppose o - 2*o + 3*f = -7, -1 = f. Suppose 5*x - 100 = 5*l, 50 = 7*x - 5*x - o*l. Does 7 divide x?
False
Suppose 0 = 13*r + 2892 - 5349. Is 9 a factor of r?
True
Let i be (-24)/8 - 11*-1. Is 2100/9 + i/(-6) a multiple of 8?
True
Suppose 2 - 6 = -5*t - 2*w, -w - 7 = -2*t. Let k = 5 - t. Let h(f) = f**3 - f**2 - 2*f + 2. Is h(k) a multiple of 6?
False
Suppose 414*v + 360 = 419*v. Is v a multiple of 6?
True
Let b(l) = -17*l**2 + 2*l + 2. Let n(j) = j**2 - j - 1. Let y(q) = -b(q) - 5*n(q). Suppose -3*f = -5*p + 2*f - 25, 4*p - f = -11. Does 15 divide y(p)?
True
Suppose 2*v - 2259 = -3*q, 3*v + 3*q - 3039 = 351. Does 29 divide v?
True
Let i(c) = -826*c + 164. Does 8 divide i(-2)?
True
Let y(k) = k**3 + 2*k**2 - 2*k + 165. Let b(h) = h**3 - 2*h + 4. Let c be b(-2). Does 15 divide y(c)?
True
Let b(y) = 69*y + 3. Let s(j) = j - 6. Let c(f) = -f - 2. Let u be c(-9). Let d be s(u). Is b(d) a multiple of 24?
True
Let n(d) = d**3 + 18*d**2 + 3*d - 3. Let g be n(-10). Suppose 8*b - g = 153. Does 20 divide b?
False
Let i(s) = 61*s - 11. Let c be i(3). Suppose g = -p - 3*p + c, 3*g = p - 30. Is p a multiple of 21?
True
Does 20 divide ((-10)/(-3 + 4))/(13/(-676))?
True
Let y(r) = r**3 + 5*r**2 - 7*r. Let o be y(-6). Suppose o*u - 166 = 320. Is u a multiple of 33?
False
Suppose -229*x = -231*x - 232. Is (x/87)/((-4)/183) a multiple of 15?
False
Suppose 3*m + 4025 = 4*w + 1273, -2*m + 3463 = 5*w. Is 5 a factor of w?
False
Let s(j) = -j**3 - 32*j**2 - 11*j + 168. Is 40 a factor of s(-32)?
True
Let q(b) = 2*b + 29. Let h be q(-12). Suppose 0 = -2*j + h + 23. Does 7 divide j?
True
Suppose -4*j - 16 = -3*n, -n - 2*n + 7 = 5*j. Suppose -149 = n*q - 5*f, -2*q - 3*f - 4 = 43. Let k = q - -58. Is 7 a factor of k?
False
Suppose -8 - 12 = -5*o. Let p = 1 - o. Is 100/(-15)*(0 + p) a multiple of 13?
False
Suppose -5*v - 55 = -5*w, 6 = 5*w + 5*v + 1. Suppose 0 = -w*n + n + 10. Suppose -n*c - 25 = 5*o - 138, c + 116 = 5*o. Is o a multiple of 23?
True
Suppose 0 = -r + 121 - 8. Is 4 a factor of r?
False
Suppose -2*m + 22 = m + 2*r, 25 =