. Suppose 4*u - 735 = c - 0*c, -210 = -u - m*c. Suppose -x - u = -4*r, 5*x + 41 + 194 = 5*r. Does 23 divide r?
True
Let x(z) = 2*z + 3. Let t be x(3). Let a = t + -9. Suppose 2*f + 6 = 0, 3*f = 3*l - a*l - 102. Is l a multiple of 29?
False
Suppose -1 = p - 5. Suppose -2*v + 6*v - 2*a - 194 = 0, p*a = -3*v + 140. Is 12 a factor of v?
True
Suppose 0 = 3*y - 3*q - 6843, 4*y - 9100 = -3*q + 38. Does 33 divide y?
False
Let j(f) = -2*f**2 + 9*f + 10. Let v be j(5). Suppose -v*x = -58 - 27. Is x a multiple of 17?
True
Let j(h) = 3*h**2 + 19*h - 52. Let q(u) = -4*u**2 - 19*u + 51. Let l(a) = 5*j(a) + 4*q(a). Is l(9) a multiple of 3?
False
Let q be ((-8)/2 - -4) + 5. Suppose -4*h + f + 249 = -232, 475 = 4*h + q*f. Is 24 a factor of h?
True
Suppose 0 = -4*l + 1317 + 4143. Is l a multiple of 70?
False
Let t = -143 + 148. Suppose 227 = 3*d + 2*u, 5*u + 69 + 193 = 3*d. Let p = d - t. Is 26 a factor of p?
False
Let k(t) = -3*t - 10. Suppose -4*x - 9 - 1 = 2*c, 4*c = -5*x - 20. Let a be k(c). Suppose -3*n + 2*g = -75, 0 = -a*n + 4*g + 49 + 76. Is n a multiple of 10?
False
Let f(k) = 46*k**2 - k + 2. Let n(b) = -b**2 + 2*b + 4. Let h be n(3). Does 9 divide f(h)?
False
Suppose -2*f = 3*f - 850. Suppose s = -4*g + 4*s + 6, 3*g - 15 = -3*s. Suppose 0 = -2*r - 4, 0 = 5*j - 2*r - g*r - f. Does 16 divide j?
True
Does 9 divide 4*(-3 - 281/(-4))?
False
Let n be (-25)/(-4) - (-3)/(-12). Let v = 38 - 23. Is (n/v)/(4/260) a multiple of 13?
True
Suppose -4*t + 2*v + 688 = -2*v, -4*v = -5*t + 858. Suppose -304 = 2*q - 6*q - 5*s, -t = -2*q + 2*s. Suppose 0 = -5*j - 2*b + q, -4*b = 8 - 0. Does 10 divide j?
False
Suppose -15 = 3*a - 6*a. Let v be (-91)/26*(-24)/21. Suppose 5*k - a*y = 60, -4*y + 84 - 4 = v*k. Is k a multiple of 15?
False
Let c = 784 - 727. Does 19 divide c?
True
Suppose 91 = -14*o + 7*o. Suppose 4*m - w = -133, 4*m - 4*w - w + 153 = 0. Let s = o - m. Is s a multiple of 5?
False
Suppose 4*z - 102 = 178. Suppose 6*w = -10 + z. Is w a multiple of 7?
False
Does 24 divide (-1)/(-4) + (6 - (-6181)/28)?
False
Let w = -287 - -305. Is w a multiple of 9?
True
Let b be 6/8 - 99/(-12). Is b/15 + 72/5 a multiple of 7?
False
Let n(s) = 4*s - 4. Let t(p) = p + 16. Let v be t(-9). Is 4 a factor of n(v)?
True
Let x(a) = a. Let q(g) = -66*g**2 - 2*g + 2. Let z(s) = -q(s) - 3*x(s). Let u = -2 - -1. Does 12 divide z(u)?
False
Let b(j) = -j**2 - 2*j - 63. Let r be b(0). Let m = 90 + r. Is m a multiple of 7?
False
Let x(t) = t**2 + 5*t + 8. Let p be x(-9). Suppose 3*h - p = 2*m - 194, -3*h - 12 = 0. Does 25 divide m?
False
Is (-1904)/8*(-4 + 3) a multiple of 34?
True
Let z(p) = -2*p**2 + 22*p + 11. Does 12 divide z(6)?
False
Let r = -42 - -40. Let h(q) = -12*q - 5. Does 10 divide h(r)?
False
Suppose 2*g + 32 = -260. Let q = 388 + g. Does 11 divide q?
True
Suppose -3*q = -4*z + 65, 0 = -3*z - 7*q + 2*q + 27. Suppose -u - 51 = -l, -l - 2*u - z = -56. Does 3 divide l?
True
Suppose 4*v + 25 = 9, -4*x - v - 28 = 0. Let h(d) be the third derivative of d**5/60 + 5*d**4/24 + d**3/6 + 7*d**2. Is h(x) a multiple of 7?
True
Let b(w) = 102*w**2 - 8*w - 13. Is 6 a factor of b(-2)?
False
Suppose j - 3*q - 1086 = 0, -6*j = -10*j + q + 4366. Does 21 divide j?
True
Let c(m) = -8*m**2 + m + 3. Let u be c(-2). Let x = -62 + 43. Let v = x - u. Is v a multiple of 4?
True
Let i(w) = -w**3 - w**2 + 5*w - 5. Suppose 2 - 6 = -4*c. Let j = -6 + c. Is i(j) a multiple of 10?
True
Suppose 4*z + 5*c + 21 = 0, -2*c - 9 = 2*z + c. Is 14 a factor of (0 + -3)*(2 - (-60)/z)?
True
Suppose 4*y - 5 = 3*y. Suppose 2*d + 18 = y*d. Is d a multiple of 6?
True
Let h(g) = 25*g + 4. Let a be (5/5 - -3) + -1. Is h(a) a multiple of 27?
False
Suppose -2*d + 10 = 0, -5*d + 8*d + 93 = 4*r. Let h = -11 + r. Does 16 divide h?
True
Let m(l) = -l**2 + 3*l. Let j be m(2). Suppose -4*h = -4*f, f = -2*h + 2*f + j. Does 19 divide 53 + (-3 + h)*0?
False
Let n = 83 - 20. Suppose 78*a - n = 77*a. Does 28 divide a?
False
Let b(u) be the first derivative of -u**5/20 - u**4/2 + 2*u**3 + 5*u**2 + 3*u + 3. Let m(t) be the first derivative of b(t). Is m(-8) a multiple of 14?
True
Let x(f) be the first derivative of f**3/3 + 2*f**2 - 32*f + 23. Is x(-15) a multiple of 43?
False
Let m = 2246 - 1304. Is m a multiple of 9?
False
Let s = 34 - 30. Suppose s*o = -4*o + 344. Does 18 divide o?
False
Let q(o) = 2*o**2 - o - 21. Suppose -3*y = 4*b + 1, -4*y + 7*b = 8*b - 16. Is q(y) a multiple of 6?
True
Let u(d) = 10*d**3 + d**2 - 6*d. Is u(2) a multiple of 24?
True
Suppose 0 = 4*a + o - 15, 5*a = 4*o + 17 + 7. Suppose 0 = 5*z - c - 223, -a*c + 98 = -3*z + 5*z. Is 8 a factor of z?
False
Is 5 + 4 + -8 + 14 a multiple of 10?
False
Let u(p) = 69*p - 4. Let g(a) = -23*a + 1. Let s(k) = -14*g(k) - 4*u(k). Is 12 a factor of s(1)?
True
Let g(d) be the first derivative of d**4/4 + 4*d**3 - d**2 + 4*d - 2. Let k be g(-12). Does 9 divide 8/k + 124/7?
True
Let o = 177 - -275. Is o a multiple of 14?
False
Suppose 373*t - 372*t = 1501. Is t a multiple of 11?
False
Let v = 41 + -37. Is 10 a factor of (-2158)/(-91) - v/(-14)?
False
Suppose -3*r + 2 = -5*q - 0, 4*r - 3*q = 10. Let n(z) = -2*z**2 + 18 + z**3 - 33 - 2*z**2 + 17 + 2*z. Is 6 a factor of n(r)?
False
Let l(r) = -r + 13. Let n be l(12). Let i be -2 + 2 - (-2)/n. Suppose 4*f + 52 = 4*s, -i*f = -2*s + 2*f + 26. Does 10 divide s?
False
Let p(v) = 93*v**2 + 35*v - 161. Is p(5) a multiple of 119?
False
Let b(n) = n**3 - 14*n**2 + 2*n - 41. Does 10 divide b(15)?
False
Suppose -c - 3*c = 80. Let t = -14 - c. Suppose 3*h - t = h. Is h even?
False
Let y(t) be the first derivative of -1/4*t**4 + 1/3*t**3 + 1/2*t**2 + 1 + 32*t. Does 9 divide y(0)?
False
Let v(c) = c**2 - 2*c**3 + 3*c + 11 - 4*c + 0*c + c**3. Is 11 a factor of v(0)?
True
Let v(u) = u**2 + 9*u + 8. Let a be v(-6). Let z = 2 - a. Is 4 a factor of z?
True
Suppose o - 8*o + 1008 = 0. Does 24 divide o?
True
Let u(x) = x**2 - 17*x + 23. Let h be u(16). Suppose -4*b = -h*b + 48. Is 16 a factor of b?
True
Suppose 3*t = -0*t - 4*a, -5*a = 3*t - 3. Let c be (-5)/(-2)*(6 + t). Is (2 - 12)*(-6)/c a multiple of 4?
True
Let f be -1*-10*(-6 + 13)/14. Suppose -3*k = -0*k - 6. Suppose -2*d = -2*m - 220, 23 = f*d + k*m - 499. Is d a multiple of 24?
False
Suppose 0 = -3*n + 2*v + 560, -8*n - 4*v + 904 = -3*n. Suppose 4*b = 8*b - n. Is b a multiple of 5?
False
Is 30 a factor of (48/28)/(-4 - 52656/(-13160))?
True
Let t = 325 - 57. Does 32 divide t?
False
Let w(q) = -64*q - 28. Is 30 a factor of w(-2)?
False
Let x = 1006 - 697. Let t = -176 + x. Is 19 a factor of t?
True
Let v be ((-25)/5 - -4)*64. Let y = v + 98. Does 13 divide y?
False
Suppose 2*d - 3*h = -0*d + 1, 7 = -5*d - 2*h. Let r(v) = -4*v - 1. Let x be r(d). Suppose -5*c + 17 = -x*y, c = 2*c + y - 5. Does 4 divide c?
True
Let n(r) be the second derivative of r**4/12 - r**3/2 + 3*r**2 + 5*r. Is 10 a factor of n(-7)?
False
Let g(p) = 2*p**2 - 3*p + 2. Suppose 3*s - 11 = n, 4*n = -10 - 10. Let o be g(s). Suppose -92 = -o*h + 96. Is h a multiple of 13?
False
Let k(j) = -49*j**3 + j**2 - 6. Is 13 a factor of k(-3)?
True
Let z be (-2)/(-7) + (-8)/28. Suppose z*h - 4*h + 40 = 0. Does 8 divide h?
False
Suppose -12*k + 88 + 308 = 0. Is k a multiple of 4?
False
Let f(d) = -d**3 - 19*d**2 - d - 144. Is f(-21) a multiple of 69?
True
Let m be (4/(-6))/((-6)/1251 - 0). Let y = -111 + m. Is y a multiple of 7?
True
Let a(n) be the second derivative of 7/12*n**4 - 1/3*n**3 + 3*n**2 - 1/20*n**5 + 0 - 4*n. Is a(6) a multiple of 15?
True
Suppose -9 = -3*b, -3*b + 299 = 2*d - 52. Does 9 divide d?
True
Is -3 - -2 - -352 - (3 + -4) a multiple of 88?
True
Suppose -204 = -3*o + 3*q + 243, 0 = 3*o + 2*q - 467. Let m = o - 55. Let y = -38 + m. Is 20 a factor of y?
True
Let r(c) = c**2 + 2*c + 8. Let s be r(6). Suppose 0 = -3*k - 4*n + 138 + s, 0 = 5*k + 3*n - 327. Does 33 divide k?
True
Let w be (1 - (3 + 4))/((-3)/40). Suppose 0 = -4*u + 3*u + 4. Suppose -n - u*z = -2*n + w, n = -2*z + 50. Is n a multiple of 15?
True
Is (-29)/(1827/54)*-1974 a multiple of 36?
True
Let r(f) = f**2 - 11*f - 1. Let s be r(-12). Is (s/66 - 1/(-2))*24 a multiple of 14?
True
Let m(a) = 262*a + 107. Does 20 divide m(9)?
False
Let k = 16 - 8. Let h = k - 6. Suppose 0 = -2*o + 4*d + 124, 5*o - 219 = h*d + 107. Does 22 divide o?
True
Let k(q) = -7*q + 12. Let j be