o*d(g) + q(g). Is 11 a factor of n(4)?
False
Suppose 0 = 2*m - 2*y - 968, m + 5*y = y + 484. Does 44 divide m?
True
Let r = 24 - -15. Suppose 3*v = 5*f - r, -5*f = -3*f + 3*v - 3. Is (-1)/2 + 87/f a multiple of 14?
True
Let x(l) = 49*l - 21. Let u be x(-3). Does 14 divide (-2)/(-2 + (-332)/u)?
True
Suppose -5*y - 89 = -3*b + 111, 2*b = 3*y + 120. Let z be 3/((-5)/(y/6)). Suppose 2 - 26 = -z*c. Does 2 divide c?
True
Suppose 4*p = -f + 3 + 4, -3*p + 4*f = -10. Suppose -4*c - 3*o + 135 = 0, 4 - 49 = -p*c + 3*o. Does 30 divide c?
True
Suppose -3*q = 2*t - 583, 13*q - 11*q - 392 = -2*t. Suppose 3*z = u - 0*u - 68, q = 2*u + 5*z. Does 12 divide u?
False
Suppose -6*z + 76*z = 69160. Is 52 a factor of z?
True
Suppose 5*k = x - 392, -2*x + 1027 = -k + 279. Is x a multiple of 72?
False
Let x(t) = 2*t**2 + 3*t + 9. Let s be ((-1)/3)/((-5)/(-105)). Does 20 divide x(s)?
False
Let l(o) = -2*o**3 - 4*o**2 - 2*o + 2. Let m be l(-2). Let u be (-20)/m*(-246)/5. Suppose 4*t = 5*d + 158, 0*t = -4*t + 2*d + u. Is 21 a factor of t?
True
Let y = -12 - -19. Suppose 0 = -2*x + y - 1, 0 = -4*s + 3*x + 175. Is 15 a factor of s?
False
Suppose 2*r + 6*x - 712 = x, 4*r = -4*x + 1424. Does 16 divide r?
False
Let m(b) be the second derivative of -4*b**3/3 - 27*b**2/2 - 15*b. Is 7 a factor of m(-13)?
True
Let v(h) = 2*h**3 - 7*h**2 + 4*h + 18. Let i(f) = 0 + 8*f**2 - 2*f**3 - 9 - 2*f + f**3 - 4*f**2. Let o(j) = 5*i(j) + 2*v(j). Is 5 a factor of o(4)?
True
Suppose 3*a + 5*r = -1, -a - 19 + 2 = 5*r. Let q = 9 - a. Suppose 7 = 2*i - 4*j + q, 5*j = i. Does 4 divide i?
False
Suppose -5*a = -3*n - 396 - 201, 4*a - 485 = -5*n. Suppose 8*g - a = 5*g. Does 7 divide g?
False
Does 86 divide 24/(-20) + (-147096)/(-30)?
True
Let r(z) be the second derivative of z**6/120 + z**5/15 + 5*z**3/6 + z**2/2 + 3*z. Let l(u) be the first derivative of r(u). Is l(-4) a multiple of 3?
False
Let c = -37 - -41. Let x(b) be the first derivative of 3*b**2/2 + 8*b + 2. Is 11 a factor of x(c)?
False
Let p(s) be the first derivative of s**3/3 + 7*s**2 + 16*s + 7. Let k be p(-16). Suppose 5*c = -c + k. Is 3 a factor of c?
False
Suppose 1709 + 55 = 7*c. Does 10 divide c?
False
Let y = 221 + -67. Does 38 divide y?
False
Suppose -3635 = -16*f + 2845. Is 45 a factor of f?
True
Suppose m = -4*u + 1237 - 137, -u = 4*m - 290. Is u a multiple of 33?
False
Let a(g) = 11*g + 25*g - 6 - g + 3 + 4. Let q be 2/(-3)*(-6)/4. Is a(q) a multiple of 11?
False
Let w(r) = -r**2 + 11*r - 5. Suppose 7*v - 49 - 21 = 0. Does 2 divide w(v)?
False
Let w = -86 + 135. Suppose -4*k - 9 = -3*k. Let g = w + k. Is g a multiple of 21?
False
Let x = 76 + 142. Let o = -98 + x. Is o a multiple of 15?
True
Suppose -16564 = -14*g + 2616. Does 6 divide g?
False
Suppose 180 - 36 = m + 5*n, -4*n + 804 = 5*m. Is 41 a factor of m?
True
Let s be 1/(((-5)/82)/(-5)). Let i be (-6)/(-4) + 356/8. Let d = s - i. Does 18 divide d?
True
Let l = -17 + 22. Suppose 157 = l*d + 37. Is 8 a factor of d?
True
Let m(a) = 98*a - 10. Is m(5) a multiple of 40?
True
Let j = 312 + -54. Is 86 a factor of j?
True
Let f(u) = u**3 + 21*u**2 + 34*u + 28. Let t be f(-19). Suppose 4*d - t = -c, 3*c - 3*d + 0*d = 237. Is c a multiple of 28?
True
Let o be 576/15*100/8. Suppose -24 + o = 4*g. Is 20 a factor of (g/4)/(63/84)?
False
Suppose -20*n + 18*n = w - 1174, -n = 4*w - 4675. Is 4 a factor of w?
True
Let t(i) = -i**3 - i + 44. Is 3 a factor of t(-6)?
False
Let q(l) be the second derivative of 0 - 1/6*l**3 + 12*l + 1/2*l**2. Is 4 a factor of q(-11)?
True
Let l(k) = 14*k**3 + 2*k**2. Let a be l(1). Suppose -q + 45 - a = 0. Is q a multiple of 28?
False
Let v = 616 - 440. Does 22 divide v?
True
Let s be 12/8*(-30)/(-9). Let m(a) = -30*a - 1 - 5 - 15*a + s. Is 17 a factor of m(-1)?
False
Suppose 0 = -4*u + k + 1181, 4*u - 1196 = -11*k + 15*k. Is 11 a factor of u?
False
Let f(d) = d**3 - 13*d**2 - 2*d + 10. Let q be f(13). Let m = 14 - q. Suppose u = -4*u + m. Is u a multiple of 5?
False
Let z(g) = -g**2 + 2*g + 1. Let p be z(3). Let q be -1 - (-38 + (0 - p)). Let r = 50 - q. Is r a multiple of 3?
True
Let f(t) = t - 1. Let s(o) = 2*o + 9. Let m(d) = 3*f(d) - s(d). Let q be m(14). Suppose 3*p - q*p = 15. Does 15 divide p?
True
Let c = -1476 + 2076. Is c a multiple of 25?
True
Suppose -4*p + 107 = -l, -p + 2*l - 4*l + 29 = 0. Suppose -3*g + 3*m = m - 32, -3*g + 3*m = -p. Suppose g - 9 = f. Is 2 a factor of f?
False
Let r(x) = 6*x + 6. Let z = -27 + 29. Is r(z) a multiple of 3?
True
Suppose z - 2*z = -3*c, -5*z = -c + 70. Let a(y) = -y**3 - 14*y**2 + 13*y + 12. Does 6 divide a(z)?
True
Let p be -17 + 13 + 5 + 1. Suppose -n = -0*n. Suppose n*y = p*y - 60. Is y a multiple of 15?
True
Let o be 1182/(-14) + (-54)/(-126). Is 6 a factor of 3*7/o + (-49)/(-4)?
True
Suppose 0 = 5*c - 15, 0*c + c = -5*i + 283. Let b = -24 + i. Does 11 divide b?
False
Suppose 11*g = 1839 + 4365. Is g a multiple of 12?
True
Suppose -16*l = -8*l - 1584. Is l a multiple of 18?
True
Suppose -179*l + 176*l + 1461 = 0. Is l a multiple of 33?
False
Suppose 3095 = -6*m + 10*m + 5*v, -3*v = -9. Is m a multiple of 41?
False
Does 16 divide (-36)/(-126) - 10744/(-28)?
True
Let i(x) be the third derivative of -x**6/120 - x**5/15 + x**3/2 - 4*x**2. Let z be i(-4). Is z*3/((-6)/(-10)) a multiple of 5?
True
Let m = 1156 + -491. Is m a multiple of 26?
False
Let z = 32 - -3. Let g be (50/z)/(2/7). Suppose 4*b - g*b = -154. Is 31 a factor of b?
False
Let j(z) = 3*z + 2. Let q be j(-1). Let x(k) = -171*k**3 + k**2 - k - 1. Let g be x(q). Suppose 3*d + 20 = s, s = -4*s - 3*d + g. Does 14 divide s?
False
Let s = -86 - -225. Let b = s - 213. Let q = b + 111. Is 14 a factor of q?
False
Suppose 0 = 4*o + 3*w + 44, 4*o + 4*w + 44 = 8*w. Let d(m) be the second derivative of -m**3/3 - 3*m**2 + m. Is 5 a factor of d(o)?
False
Let f = -74 - -394. Suppose -14*r + 18*r = f. Suppose -d = -5*d + r. Does 10 divide d?
True
Suppose 2107 - 483 = 8*t. Is 11 a factor of t?
False
Let c(f) = -5*f**2 + f**2 + 5*f - 1 + 3*f**2 - f**2. Let y be c(4). Let g = 3 - y. Is g a multiple of 4?
True
Let c(s) = 14 - 18 + 9 + 9*s - 4*s + s**2. Let w be c(-4). Let b(a) = 50*a + 2. Does 26 divide b(w)?
True
Suppose -5*q + 4*q - 19 = -5*p, -4 = 4*q - 2*p. Does 8 divide (30/(-4))/q*144/(-27)?
True
Suppose -3*s + 167 = 2*z + 3*z, -2*z = 5*s - 272. Suppose 9*w - 7*w = s. Is 14 a factor of w?
False
Let h = -173 + 177. Suppose 4*o - 8 = 20. Suppose 0 = o*z - h*z - 84. Does 14 divide z?
True
Suppose -43*c + 9232 = -53419. Is c a multiple of 31?
True
Let p(a) = a**2 - 4. Let w be p(-4). Let c be (-1)/(-3) + 20/w. Does 6 divide (0 - -27)/(c - 1)?
False
Suppose 5*b - 10*b + 15 = 0. Let x be -4 + 4*b/(-6). Does 15 divide x/3 + 61 + 1?
True
Let b(r) = 2*r + 63. Let h be b(-23). Suppose -12*c - 805 = -h*c. Does 23 divide c?
True
Let z(j) = j**3 - 3*j**2 + 6*j - 4. Let n be z(4). Suppose 32*h + 176 = n*h. Does 11 divide h?
True
Let t = 620 + -421. Suppose -5*c + t + 36 = 0. Is 26 a factor of c?
False
Suppose 2*b + 2*r = -0*b + 2310, -2*b = -r - 2295. Is b a multiple of 25?
True
Let i = -532 - -354. Let q = -83 - i. Is 26 a factor of q?
False
Suppose -17*j - 12 + 454 = 0. Suppose -j*n + 48 = -24*n. Is 4 a factor of n?
True
Let z(h) be the third derivative of -h**6/120 - h**5/6 - 5*h**4/12 - 25*h**3/6 - 5*h**2. Is 25 a factor of z(-10)?
True
Let z(f) = 27*f + 2. Let v be z(-1). Let u be (1 + -75)/(-4 + 2). Let x = v + u. Is x a multiple of 12?
True
Let r = 32 - 32. Suppose 0*n + 5*n - 30 = r. Does 2 divide n?
True
Let u = -204 - -483. Is u a multiple of 3?
True
Let l = 1 + 1. Suppose -l*t = -s - 269, 2*t - 5*s - 377 + 128 = 0. Does 13 divide t?
False
Suppose -4*b = -5*r - 31, 2*b + 3*r = 3*b - 13. Suppose -2*g + b*g - 14 = 0. Suppose 3*u + 2*z - 6 = 12, -2*u - 3*z + g = 0. Does 8 divide u?
True
Let z = -49 + 105. Suppose -z = -g - 3*g. Is g a multiple of 3?
False
Let x = 22 + 322. Suppose 3*k = 76 + x. Is 10 a factor of k?
True
Is (-142)/(6 + -1 - (-117)/(-23)) a multiple of 68?
False
Is 24/(-42) + (-3170)/(-35) a multiple of 9?
True
Let h = 125 - 57. Does 9 divide h?
False
Suppose -2*u - 3*i + 2*i - 5 = 0, -4*u + 25 = -5*i. Suppose -3 + u = -3*d, -42 = -5*g + 3*d. Is g a multiple of 2?
False
Let u(q) = -820*q + 315. Is u(-2) a multiple of 23?
True
Let j be 1/4 + 185/(-20). Let