he third derivative of 3*r**4/4 - 25*r**3/6 - 13*r**2. Does 11 divide w(9)?
False
Suppose d + 105 - 305 = 0. Suppose -2*k + d = 4*p, 0 = 2*k - 3*k + 3*p + 115. Does 24 divide k?
False
Let w = 23 + -18. Suppose w*l = -5*b + 15, -4*b - 5*l + 3*l + 10 = 0. Does 2 divide b?
True
Suppose -5*m + 5 + 20 = 0. Suppose -51 + 141 = 2*l + 4*k, 2*l = -m*k + 94. Suppose 3*a - 32 = l. Is 11 a factor of a?
False
Let p(u) = u**3 - 18*u**2 - 17*u - 35. Let n be p(19). Does 59 divide 1/n*(1 - -521)?
False
Suppose 440*l + 2368 = 444*l. Does 18 divide l?
False
Suppose -1802*z = -1804*z + 418. Is 5 a factor of z?
False
Let l be (-14)/(5 - (0 - -4)). Let o(j) = 2*j**2 - j - 23. Does 24 divide o(l)?
False
Suppose -5*h + 18 = 2*g, 5*g = 5*h - 4 - 21. Suppose -4*b - h = 4, -2*b + 22 = t. Does 13 divide t?
True
Let s = -2 - -10. Is (-3)/4 + (2 - (-758)/s) a multiple of 32?
True
Let i = -177 - -266. Suppose i = l + 3*s, 0 = -5*l - 2*s + 384 + 87. Is l a multiple of 5?
True
Let a be (6/(-36))/((-2)/(-6))*-388. Suppose -12*d - a = -2570. Is d a multiple of 11?
True
Let r = -33 + 62. Suppose r*z - 45 = 24*z. Suppose 2*g = -3*v + 32 + z, -g + 3*v = -7. Does 16 divide g?
True
Let k(q) = 8*q. Let j be k(-1). Let n be 32/3*84/j. Let l = 160 + n. Is l a multiple of 24?
True
Suppose -32 = -3*a - 11. Let s = -3 + a. Is -10*(0 - 6/s) a multiple of 5?
True
Let z(a) = 15*a**2 + a. Let g be z(1). Let f = -12 + g. Suppose -f*q + 43 = -5. Is 8 a factor of q?
False
Suppose -6*g = -3*g + 873. Let o = -144 - g. Is 11 a factor of (2/3)/(2/o)?
False
Let g(y) = -y**2 + 7*y - 2. Let p be g(6). Suppose -3*c - 3 = -p*c. Is 29 a factor of c*(-23)/(-1) + 2?
False
Let b = 104 + -45. Suppose 5*s - 25 = 0, j + 3*j - b = 5*s. Let a = j - 8. Does 5 divide a?
False
Let q = 61 - 138. Let n be 2/(-4) + q/14. Does 3 divide (-2 - (4 + n)) + 16?
False
Suppose 5*o - b + 4 = 0, -o - 2*b + 9 = 1. Suppose o = -3*n + 168 + 237. Does 16 divide n?
False
Suppose 7*p - 10 = 5*p. Let d(u) = 3*u**2 + 9*u - 2. Let g(a) = 7*a**2 + 19*a - 5. Let z(x) = -13*d(x) + 6*g(x). Is 16 a factor of z(p)?
False
Is ((-15)/(-18))/(-5) - 2925/(-54) a multiple of 2?
True
Does 13 divide -26*(5 - 12*(-9)/(-6))?
True
Let h(p) = -2*p - 6. Let q be h(-5). Suppose -4*u - 2*w = 3*w + 4, -q = -2*u - 4*w. Let o = u + 13. Is 4 a factor of o?
False
Let n(j) = -3*j + 3. Let u be n(0). Suppose u*c - 9 + 3 = 0. Is c a multiple of 2?
True
Let a(j) = 4 + 3*j**2 - 21 - 2*j**2 - 11 + 10*j. Does 11 divide a(-13)?
True
Suppose -134 = -5*l + 81. Suppose 4*t = 2*y - 72, 5*y - l = 3*t + 109. Is 14 a factor of y?
True
Does 30 divide (-1 + 1595 + 0)/(2/3)?
False
Let l = -6 + 1037. Does 44 divide l?
False
Suppose -174 = 6*w - 1422. Is 22 a factor of w?
False
Suppose -852 = -4*n - 3*y - y, -5*n + 1086 = -2*y. Is 12 a factor of n?
True
Is 2 + -3 + (897 - 5) a multiple of 11?
True
Let j(p) = -4*p**2 + 4*p + 2. Let b be j(4). Let f be (b/3)/((-10)/(-15)). Let a = 36 + f. Is 4 a factor of a?
False
Suppose 5*c = -3*w + 570, -5*c - 262 = -5*w - 872. Let z = c - 69. Does 48 divide z?
True
Let w(t) = 4*t**3 + t + 3. Let c be w(2). Suppose -c - 73 = -a. Does 10 divide a?
True
Let a(z) = 3*z - 12. Let k be a(5). Suppose 105 = 8*g - k*g. Is g a multiple of 7?
True
Let v(r) = -6*r - 2. Let p(n) = -n**2 + 3*n - 3. Let b be p(4). Let s be v(b). Suppose -4*y = -5*o + 3*o - 146, -y + s = -4*o. Is y a multiple of 12?
True
Suppose -4520 - 57640 = -37*m. Is 21 a factor of m?
True
Let j(c) = -45*c**3 + 4*c**2 - 4*c - 7. Let m(s) = -15*s**3 + s**2 - s - 2. Let y(x) = 2*j(x) - 7*m(x). Let v be y(1). Let k = v + -11. Is k a multiple of 3?
False
Let l be (4 + (-33)/9)*-3. Is 9 a factor of (-83)/l + 2/6*0?
False
Let l(k) = -13*k + 179. Is l(11) a multiple of 3?
True
Let q be (-1 - 0)*(13 - 15). Suppose 0 = -3*p + 6*p + q*g - 56, -3*p + 59 = 5*g. Is p a multiple of 9?
True
Let y be (0 + 3)*(-8)/12. Let i = 16 - y. Let u = 29 + i. Does 13 divide u?
False
Let c = 407 - 79. Suppose d - 322 = 6*d - 4*l, -5*d + l - c = 0. Let t = 114 + d. Is t a multiple of 16?
True
Suppose 5*w + 5*g = 375, -5*g + 159 = -30*w + 32*w. Is 4 a factor of w?
True
Let c be -1 + (4 - -4 - -1). Suppose -q = 3*q - c. Suppose 0 = -q*k + 6 + 38. Does 11 divide k?
True
Suppose 7*x - 18 + 1138 = 0. Is 16 a factor of ((-12)/(-5))/(((-42)/x)/7)?
True
Let h(a) = a**2 + 6*a + 7. Suppose w + 5 = g, 5*g + 2 = -5*w - 23. Let x be h(w). Suppose -17 = x*d - 61. Is 22 a factor of d?
True
Suppose 0 = 14*m - 537 - 107. Does 5 divide m?
False
Let m be ((-140)/(-12) - 2)*24. Suppose 0 = 3*t - m - 14. Does 21 divide t?
False
Is -4*(-1 + 0 - 1470/40) a multiple of 33?
False
Let v = 25 + -3. Is 1346/v + (-2)/11 a multiple of 14?
False
Let i(r) be the second derivative of -13*r**3/2 + r**2/2 - 2*r. Let j(f) = -116*f + 3. Let u(c) = 17*i(c) - 6*j(c). Is 16 a factor of u(1)?
True
Let x = -5 - -9. Suppose 0 = x*j + 252 - 88. Let c = j - -71. Does 11 divide c?
False
Let u be -6*(-21)/70 - (-1)/5. Suppose u*p - 21 = 31. Is 11 a factor of p?
False
Suppose -2*f + 3*k - 5*k = -28, -4*k - 58 = -2*f. Is 2 a factor of f?
False
Let v(g) = g**2 - 41*g + 56. Does 27 divide v(66)?
False
Let i = 810 - 492. Is 8 a factor of i?
False
Let y be (-2 + -13)*4/10. Is 5 a factor of 38/2 + (y - -2)?
True
Suppose 6*q - k + 120 = 4*q, -k - 240 = 4*q. Let i = q - -75. Is i a multiple of 5?
True
Let d be 1/4 - 308/(-112). Is (-1 + d)/(30/(-25))*-3 a multiple of 5?
True
Let c(o) = -211 - 4*o + 219 + o. Let y be c(4). Let u = 2 - y. Is 3 a factor of u?
True
Let i = -1839 + 3152. Does 4 divide i?
False
Let v(w) = 3*w**2 + 5*w + 2. Let p(s) = -s. Let z be p(-2). Suppose z*b + 5 + 3 = 0. Is 15 a factor of v(b)?
True
Let p(x) = -208*x**3 - 6*x + 4. Let f(t) = 69*t**3 + 2*t - 1. Let s(k) = -7*f(k) - 2*p(k). Is 17 a factor of s(-1)?
True
Suppose -16*u = -15*u - 22. Let d = -1404 - -2588. Is 18 a factor of d/u + (-4)/(-22)?
True
Let a(s) = s**3 - 27*s**2 - 83*s - 58. Is a(30) a multiple of 76?
True
Let q(k) = k + 33. Let j be q(-10). Let r = -7 + j. Does 8 divide r?
True
Suppose -h = 3*s - 6*h - 3, 0 = s + 4*h - 1. Suppose -2*w = -s - 13. Suppose 8*p = w*p + 17. Is p a multiple of 6?
False
Suppose 5*b + 3*d = 14, 3*d = 7*d + 8. Suppose 10 = -5*q, z - b*q = 5*z - 248. Is z a multiple of 16?
True
Let w be 9/(-27)*24*-4. Let v = 95 - w. Does 9 divide v?
True
Suppose 3*p - 2*u + u = 28, -2*u - 1 = -p. Suppose -4*f - 14 = -p*f. Suppose w + f*w = 117. Does 14 divide w?
False
Suppose 43*h + 4770 = 49*h. Is h a multiple of 15?
True
Let x(a) = -12*a - 2. Let g = 49 + -53. Is 23 a factor of x(g)?
True
Suppose 4156 = 3*m - 17*q + 16*q, -2*q = -4. Is 23 a factor of m?
False
Let b be -4 + -6*2/4. Let x be (-6)/(-10) - b/5. Is 23 a factor of (-529)/(-9) + x/9?
False
Let y(l) = l**3 - 2*l**2 + l - 10. Let v be y(3). Let h(s) be the second derivative of s**4/2 + s**3/2 - s**2 + s. Is h(v) a multiple of 7?
True
Suppose 0 = 68*j - 94*j + 7956. Is j a multiple of 17?
True
Suppose -2*f - 3*l + 22 = 0, -4*f = f - l - 21. Let o be (-1)/(-2) - 166/(-4). Suppose -f*j - o + 207 = 0. Does 11 divide j?
True
Suppose 0 = -2*o - o. Suppose o = -4*v + v + 6. Suppose -7*l + v*l - 2*b + 259 = 0, 0 = 2*l - b - 109. Is l a multiple of 19?
False
Let i be 19/(-2) + 6/4. Let d(y) = -y**2 - y + 1. Let a be d(i). Let n = -29 - a. Does 11 divide n?
False
Let a = -18 + 18. Suppose 0 = 2*t - a - 8. Does 7 divide t/10 - 612/(-45)?
True
Let c = 2 + -2. Is -9 + 7 + c + 89 - -2 a multiple of 5?
False
Let b(t) = t**2 + 9*t + 11. Let r be b(-8). Let w be (1 - 3)*(-4 + r). Suppose g = 1, 2*c + 36 = 3*c + w*g. Is c a multiple of 17?
True
Suppose m - 33 = -2. Suppose -2*d - m = -209. Suppose -d - 261 = -5*r. Does 14 divide r?
True
Let q be 2 - (7 - (5 - 2)) - -180. Let z = q - 79. Does 25 divide z?
False
Suppose 95 = 14*m - 87. Suppose -m*v + 14*v - 14 = 0. Does 2 divide v?
True
Suppose 2*q + 3*u = 30, q - 2 = 5*u - 0*u. Let s = q - 6. Does 2 divide s?
True
Let d(b) = -2*b**3 + b**2 + 3*b + 3. Let j be d(-3). Suppose 2*c = c + j. Suppose 0*l + l = c. Is 26 a factor of l?
False
Let l(x) = x**2 - 9*x + 2. Let b be l(9). Does 5 divide 3*b/(-6)*-37?
False
Let d be -4 - 24/(-15)*(-25)/(-10). Suppose d = w + 7 - 27. Is w a multiple of 7?
False
Is 56/(-8) + 799 - 12 a multiple of 4?
True
Suppose -3*w + 4*h - 7 = 0, -h + 15 = -5*w 