+ 350*x, -2*f + 4*x + 11036 = 0. Is 24 a factor of f?
False
Suppose -9*v + 41 = 5. Let a(z) = z**3 + 2*z**2 - 8*z + 25. Is a(v) a multiple of 14?
False
Let h be -4*(-1)/(-2 + 3). Let c(b) = 5*b - 10. Let m be c(h). Is 27 a factor of 3/(-3) + 0 + 820/m?
True
Let l = 3465 + -1905. Does 13 divide l?
True
Suppose 3*a - 3548 = -g, -5*g + 3520 = -203*a + 206*a. Does 24 divide a?
False
Suppose 108*y - 3138 = 105*y. Is y a multiple of 15?
False
Does 61 divide 4/7 - (2 - -69169)*28/(-147)?
True
Let j(k) = 4*k + 38. Let p be j(-7). Suppose 3*n + f = -0*f + 245, 0 = 5*f - p. Does 27 divide n?
True
Let s = -254 - -113. Let u = s + 225. Does 3 divide u?
True
Let s(c) = -c**2 + 9*c + 27*c + 2*c + 0*c**2 - 75. Does 27 divide s(15)?
True
Suppose 4*x - 8*x = z - 8, -z + 4 = 0. Is 7 a factor of x + (-13416)/(-20) - 4/(-20)?
True
Let i(q) = -79*q**3 - 22*q**2 + 5*q - 36. Does 73 divide i(-6)?
True
Is 15 a factor of 31476 + 1 + 1*(-29 + 25)?
False
Let w(v) = 339*v**3 - 5. Let i(j) = 678*j**3 - 9. Suppose -5*u = -4*p - 30, 2*u - 4*p - 13 = -1. Let b(l) = u*i(l) - 11*w(l). Does 54 divide b(1)?
False
Let y(v) = -v**2 + 72*v + 12. Is 8 a factor of y(30)?
True
Suppose -5*f + 50 = 7*u - 4*u, -5*f + 20 = 0. Suppose 0 = u*n - 2688 + 848. Does 15 divide n?
False
Let y(v) = -7*v**3 - 5*v**2 + v - 21. Let d(h) = -4*h**3 - 2*h**2 + h - 10. Let f(b) = 5*d(b) - 3*y(b). Is f(5) a multiple of 63?
False
Suppose -105 = 6*l - 3*l. Let b = l - -40. Suppose -47 = -b*q + 153. Is 30 a factor of q?
False
Let g = 4649 - 3307. Is g a multiple of 26?
False
Is 72 a factor of 11607 - (-180)/(4 + -16)?
True
Suppose -69 - 21 = -45*d. Suppose b - 5*j = -d*b + 2140, b + 5*j = 740. Is 24 a factor of b?
True
Let l(c) = c**3 + 7*c**2 - 2*c - 1. Let d be l(-7). Let f(k) = -3 - 14 + 4 - d*k. Is 21 a factor of f(-5)?
False
Suppose 174 = 11*x - 255. Suppose -x = -11*m - 6. Suppose m*t + t + i - 712 = 0, 4*t = -3*i + 720. Does 38 divide t?
False
Let x(u) = 2*u**2 + 11*u. Let q be x(-6). Does 10 divide 13152/48 + q/(-2)?
False
Let p = 23 - 23. Suppose -2*g = -p - 8. Is 15 a factor of (-354)/(-8) - (-3)/g?
True
Let j(s) = 44*s + 147. Let f(d) = 90*d + 293. Let p(c) = 3*f(c) - 5*j(c). Is 38 a factor of p(12)?
False
Let b be 1/(-7) + (-29)/(-7). Suppose -p - 450 = b*g, -4*g - 3*p = 18 + 436. Let u = g - -137. Is 25 a factor of u?
True
Let v(t) = -3*t + 3. Let i be 222/(-12) + 3/6. Let l be v(i). Suppose -z + l - 46 = 0. Does 11 divide z?
True
Let n(d) = -d**2 + 5*d - 4. Let m be n(3). Suppose 0*h = h + x - 71, 142 = m*h + x. Suppose -h = -11*p + 589. Is p a multiple of 6?
True
Suppose -15*x + 7569 = 20*x - 376. Let o be 54/7*14/1. Let k = x - o. Is k a multiple of 15?
False
Suppose 4*q + 3257 = h, -3*h - q + 5599 + 4107 = 0. Suppose -p - 2*a + 626 = 0, 5*a + 739 - h = -4*p. Is 24 a factor of p?
False
Suppose 954 = 2*f + 2*s, -2*f = 9*s - 5*s - 956. Suppose -180 = 475*q - f*q. Does 3 divide q?
True
Let b(j) = -j**2 + 2*j + 51. Let f be b(-6). Suppose -3 = f*l, 0 = 2*r + l + l - 158. Is 3 a factor of r?
False
Suppose d + 5*x - 44 = -3*d, -5*d = -3*x - 18. Suppose 3*f - 3 = -d. Is 22 + f/(-1) + -5 + 4 a multiple of 8?
False
Let d(c) = 14*c**3 - 11*c**2 + 3*c + 5. Let t be 0 + (-3)/(3/(-4)). Is d(t) a multiple of 63?
False
Let y = 46998 + -26131. Does 7 divide y?
True
Suppose -2*o - 3*n = -4*o - 149, -2*o + 5*n - 155 = 0. Is 4 a factor of 1*o/(-4)*124/217?
False
Is (161/14)/((4/400 - 3) + 3) a multiple of 5?
True
Does 67 divide 14/(-63) + (2708200/45)/10?
False
Suppose 18 = 2*x + 10. Suppose -1248 = -x*b + 600. Does 14 divide b?
True
Let o(s) = 4*s**2 + 379*s + 144. Is o(-99) a multiple of 9?
True
Let f = -640 - -640. Suppose 8*p - 3231 - 3025 = f. Is 46 a factor of p?
True
Suppose 7*h - 6*h = 16. Let z = -16 + h. Suppose 417 = 3*c + 3*s, -2*s + 550 = 4*c - z*c. Does 37 divide c?
False
Let i be 2 - 4/12*(5 - -724). Let n be (6/(-9))/(1/219). Let w = n - i. Does 19 divide w?
True
Let t(m) = -4*m + 41. Let w be t(8). Let k(f) = 2*f**2 + 10 + 4*f**2 - 7*f**3 - 4 + 8*f**3 - w*f. Does 10 divide k(-7)?
True
Let r(w) = -2*w**3 + 9*w**2 + 5*w + 126. Is 36 a factor of r(-9)?
True
Let d(u) = 37*u**2 - 195*u - 12. Is 10 a factor of d(6)?
True
Let h = 5797 - 4913. Is 13 a factor of h?
True
Let x be (-1)/4 + 0 + 3423/12. Let d = -243 + x. Does 14 divide d?
True
Let j(r) be the first derivative of -3*r**4/4 - 6*r**3 - r**2 - r + 72. Is j(-7) a multiple of 3?
False
Let h(m) = 84*m**3 + 148 + 145 - 292. Suppose -t = -2*t + 1. Does 10 divide h(t)?
False
Let j = 286 + 7863. Does 29 divide j?
True
Let r = -667 + 957. Suppose -5*o + r = 5*l, l - 2*o = -o + 64. Let d = l + -18. Does 12 divide d?
False
Suppose -32*o = -30*o - t - 78259, 0 = o + 3*t - 39112. Is 253 a factor of o?
False
Suppose -8*y + 17*y - 144 = 0. Is 2*15/20*12*y a multiple of 24?
True
Let v = -21 - 9. Let h = -27 - v. Suppose 2*c - 167 = 3*x, 0 = -6*c + h*c - 4*x + 225. Is c a multiple of 10?
False
Suppose 3*x - 3252 = 3*m, 38*m - 40*m + 4 = 0. Is x a multiple of 3?
True
Let w(q) = -q**3 + 16*q**2 + 13*q - 188. Suppose 35 + 30 = 5*r. Is w(r) a multiple of 52?
False
Suppose -40*s + 90049 = 29569. Is s a multiple of 12?
True
Let k(c) = 252*c**3 - 9*c**2 + 32*c + 35. Is k(5) a multiple of 6?
True
Suppose -2*j - z + 22 = 306, -3*j - 426 = 3*z. Let y = 545 + j. Is y a multiple of 16?
False
Let q(y) = 3*y**2 - 42. Let j(h) = -2*h**3 - 2*h**2. Let z be j(-1). Let m be (-24)/4 + z - 2. Does 25 divide q(m)?
True
Let c(l) = 2*l**3 + 15*l**2 - 5*l + 37. Let j be c(-8). Is (-52)/(-1) - (-8 + j) a multiple of 4?
False
Let r be (-4 + 6)*15/(-6). Let j be 20/(-6)*(-6)/r. Let k(u) = 2*u**2 + 8*u + 20. Does 17 divide k(j)?
False
Suppose -414 + 40 = 22*h. Let u = 42 - h. Does 3 divide u?
False
Suppose 5*p + b = -1311, -4*p = -3*b - b + 1068. Let t = -183 - p. Is t a multiple of 5?
True
Let y = 31114 + -19594. Is 6 a factor of y?
True
Let f be (-48)/6 + 540*-1. Let c = 1708 + f. Does 46 divide c?
False
Suppose 3*l = -2*l. Let d(x) = -x**2 - x. Let w be d(l). Suppose 5*u - 406 = -4*k + 3*u, w = 5*k - 2*u - 485. Is k a multiple of 33?
True
Let j = -1436 + 1424. Let n(g) be the first derivative of g**4/4 + 14*g**3/3 + 11*g**2 + 9*g - 3. Is 7 a factor of n(j)?
False
Suppose -5*w + 48 = -2*x + 188, 2*x + 140 = -5*w. Is 25/7 + 16/w + 111 a multiple of 9?
False
Suppose 5*u = i + 47700, u + 3*i - 7991 = 1549. Does 18 divide u?
True
Let y = 4276 + -1676. Is y a multiple of 10?
True
Suppose -2*i - 4*b - 7 = 1, -2*i + 4 = -2*b. Let f(y) = -1 - 1 - 11*y - 31*y + i. Is 9 a factor of f(-1)?
False
Suppose -3*v = -0*l - 3*l + 234, 4*v = -3*l + 213. Suppose -4*p - 37 = l. Is 12/(-24)*(p + 0) a multiple of 7?
True
Let r(j) be the second derivative of -j**4/12 + 5*j**3/2 - 9*j**2/2 - 11*j. Let t be r(14). Suppose -t*h + h = -140. Does 5 divide h?
True
Suppose -5*y + 4*x - 85 = -0, 0 = -4*x + 20. Let j(o) = -o - 10. Let d be j(y). Suppose -d*n = -111 - 9. Is 20 a factor of n?
True
Suppose 7*y + 252 = 21*y. Suppose 0 = y*b - 23*b + 4945. Is 30 a factor of b?
False
Suppose 4 + 26 = 5*a. Suppose 3*i - 5*m + 26 = 0, i + a*m = 3*m + 10. Is 8 a factor of (-21)/(i/(-3) + -1)?
False
Suppose -3*b + 15 - 3 = 0. Suppose -44 = b*q - 56. Suppose 0 = -2*a - 7 + q, 3*a + 176 = 2*s. Is s a multiple of 17?
True
Suppose 19*v = i + 1358189, -3*v - 5*i + 240809 = 26322. Is v a multiple of 276?
True
Let k = -18 - -20. Let i be (2 - k)/((-4)/4). Let a(b) = b**2 + 2*b + 76. Is 19 a factor of a(i)?
True
Does 173 divide (-408)/24 + 10 + 23979?
False
Let x = -644 + 3632. Does 18 divide x?
True
Let k be (-34)/(-14) + -1*9/21. Suppose 0 = -5*y + k*g + 396, 0*g + 147 = 2*y + 3*g. Is y a multiple of 39?
True
Let m = -2109 + 4881. Does 11 divide m?
True
Suppose -3*v + 54 = -0*v. Suppose m - 16 = 3*o - 6, m = -4*o - v. Let n(h) = -40*h - 2. Is n(m) a multiple of 25?
False
Let k = 1938 - -936. Is 28 a factor of k?
False
Suppose -20*q = -2085 - 11295. Suppose q = -17*o + 6279. Is 33 a factor of o?
True
Suppose 0 = 11*c + 30*c - 28558 - 115106. Is 105 a factor of c?
False
Let p(z) = z**3 - z**2 + 4*z + 1. Let f be p(2). Suppose -3906 = -f*d - 5*d. Is 7 a factor of d?
True
Let x(a) = 2*a + 1 - a - 5. Let f be x(6). Let r(p) = 18*p - 1. Is r(f) a multiple of 11?
False
Let q be 10 - (1 + -4) - 1. Suppose 16*n - 13*n = q. Suppose 5*m -