- 36*b - 2. Let t(f) = 7 + 0*f**2 - f**b + 20*f + 2 - 6. Is 9 a factor of t(17)?
True
Suppose 2*l + 10 = 2*s + 16, 0 = 4*s. Suppose 5*b + 1219 = -4*k + 3406, -3*b = l*k - 1314. Does 29 divide b?
True
Let j be 2970/(-130) + (-4)/26. Let n(f) = f**2 + 44 - 25*f - 66 - 2*f**2. Does 12 divide n(j)?
True
Let z(r) = -2*r - 16. Let n be z(-10). Is n/(-1) + -2 + 426 a multiple of 15?
True
Suppose 6*c = 10*c + 24, 0 = 5*v + 4*c - 22846. Is 23 a factor of v?
False
Suppose 4*y - 2*d = 94712, -4*d + 23705 = -515*y + 516*y. Is y a multiple of 17?
True
Let r = 19 + -14. Suppose r*x - 3*t = 49, -3*x - 4*t = -t - 15. Suppose x*k - 150 = 3*k. Is 6 a factor of k?
True
Let o = 12829 - -1886. Is o a multiple of 103?
False
Suppose -2*d + 56 - 46 = 0. Suppose -d*a + 10*a + 5*l = 105, 0 = 4*l + 12. Is a a multiple of 8?
True
Let h be 4/((-16)/60) - (-1 + 2). Let c be 66/17 + h/(-136). Is 22 a factor of (154/3)/((-4)/((-48)/c))?
True
Suppose -377248 = -48*s + 378272. Does 17 divide s?
False
Is 8 - 90222/(-44)*(-16)/(-3) a multiple of 11?
False
Let f(p) = p**2 + 10*p + 4. Let c be f(-4). Suppose 2*u - 5*b = -27, u + 13*b - 19 = 9*b. Does 52 divide (40 + u)/(-1 - 25/c)?
True
Let w = 126 + 443. Is 106 a factor of w - (4 - 0*(-6)/18)?
False
Suppose 2*q - 4*c - 184 + 26 = 0, 0 = 2*q - 5*c - 159. Suppose -4*o - 3726 = q*z - 82*z, -o = z - 738. Does 28 divide z?
False
Let t be (-4845)/6*1/(-5)*2. Suppose q = 2*q - o - t, q = 4*o + 338. Suppose 0 = x + 5*x - q. Is x a multiple of 27?
False
Suppose 22593 = y - z + 2*z, -4*y + 4*z + 90300 = 0. Is 77 a factor of y?
False
Let t(r) = 21*r - 57. Let y be t(15). Let k = 182 + y. Suppose -106*w - k = -110*w. Does 10 divide w?
True
Suppose 7*m - 24728 - 10552 = 0. Suppose -8*z = 2*z - m. Is z a multiple of 42?
True
Suppose 0 = 3*x - 2*c - 1580, 3*x - 3*c = 2398 - 814. Is x a multiple of 34?
False
Let s(a) = 5*a**2 - 3*a + a**3 - 3 + 5 - 5*a + 2*a. Let w be s(-6). Suppose 3*m - 3*c = -m + 183, w*m - 99 = 3*c. Does 6 divide m?
True
Let u(v) = -39*v - 1427. Does 31 divide u(-50)?
False
Let v = 81 + -76. Suppose 4*x = -v*m + 236, 4*x + x + 112 = 3*m. Is m a multiple of 22?
True
Let n(s) = -3*s**3 + 163*s**2 + 279*s + 121. Does 44 divide n(55)?
True
Suppose 4*j - 2174 = 4*n + 1102, -2*j = 5*n + 4123. Let s be 4/8*n*-6. Is s/12 + 9/(-12) a multiple of 41?
True
Let f(w) = -78*w + 6. Let x(q) = -149*q + 19. Let c(h) = -h - 1. Let s(d) = -6*c(d) - x(d). Let i(u) = -5*f(u) - 2*s(u). Does 39 divide i(2)?
True
Suppose 314 - 359 = -d. Is 7 a factor of d/(-60) - 4881/(-12)?
True
Let h be (-3 + -1)*21/(-84). Is ((-46)/(-3))/((-68)/(-60) - h) a multiple of 10?
False
Suppose 3*t + 10 = 628. Let n = 30 - 127. Let p = t + n. Is 16 a factor of p?
False
Let f be 4/(-10)*1 - 126582/(-255). Suppose -r - 2*j + f = 0, 2*r + 5*j - 1175 = -185. Is r a multiple of 50?
True
Let y be 162/(-24) + (-3)/(-4). Let f be (-7 + 0)/(y/(-36)). Let n = 54 + f. Is n a multiple of 2?
True
Let k = -79 - -79. Suppose k = c + 4*u - 254, -5*c + 1338 = 7*u - 4*u. Is c a multiple of 41?
False
Suppose -462*d = -467*d + 45745. Suppose -d + 41 = -9*s. Is 23 a factor of s?
True
Is 13 a factor of ((-32)/4 - 5)/(16/(-20096))?
True
Let n(b) = 2*b**3 - b**2 - 9*b + 87. Let h be n(0). Suppose 2563 = 5*f - h. Is f a multiple of 53?
True
Suppose t = -2*a + 7, -t = a - 2*t - 5. Let n(g) = 41*g - a + 7*g - 4*g + 2*g. Is n(1) a multiple of 5?
False
Let g = 66 - 79. Let m = g - -695. Is 16 a factor of m?
False
Let g(u) = -4*u + 48. Let z be g(12). Suppose q + 27 - 115 = z. Is q a multiple of 11?
True
Let j = -36 - -37. Let h = 33 + j. Suppose -4*y + 186 = y - b, -y + b = -h. Does 38 divide y?
True
Let q(p) be the first derivative of p**5/60 + 3*p**4/8 - 37*p**3/6 - p**2 + 19. Let s(l) be the second derivative of q(l). Does 15 divide s(-15)?
False
Let v(w) = 180*w**2 + 11*w - 11*w + 2*w. Is 43 a factor of v(-1)?
False
Suppose -22 = -2*n - 0. Let q = n + 7. Does 37 divide q/(-4)*1/((-12)/176)?
False
Does 22 divide 6 + (-3)/(-24) + 382*(-7690)/(-160)?
False
Let l(x) = -x**2 - 6*x + 30. Let g be l(-9). Suppose -5*m - 21 - 4 = 0, -154 = -g*r + 2*m. Is r a multiple of 30?
False
Let u(x) = -x**3 - 2*x**2 + 6. Let d be u(0). Let v(f) = f**2 - 5*f - 3. Let w be v(d). Suppose -2*s + 122 = 2*o, s - w*o + 120 = 3*s. Is 3 a factor of s?
True
Suppose -7*k - 281149 = 11*k - 754063. Is k a multiple of 11?
False
Let d = 1878 + 10422. Is d a multiple of 20?
True
Let i = 13975 - 9968. Is i a multiple of 2?
False
Is 91 a factor of 0/((-70)/(-7)) - -3913?
True
Suppose 0 = -6*v + 38998 - 6238. Is 156 a factor of v?
True
Let n = 103 - 97. Suppose 2*s + 770 = 3*j - 0*s, 3*s = n. Is 43 a factor of j?
True
Let q(t) = t + 33. Suppose -k = -5*k + 12. Suppose 2*i - 5*n + k = -2*n, -i - 2 = -n. Is 4 a factor of q(i)?
False
Let l(r) = 2*r**2 + 8*r - 2*r**2 + 14 - 4*r**2. Let x be l(-7). Let s = x + 383. Does 14 divide s?
False
Suppose 5*u = -2665 - 575. Let r = u + 915. Is r a multiple of 32?
False
Suppose -5*d - 2 = -4*d. Does 15 divide 204 - (-1)/(d/14)?
False
Suppose 32814 = -81*a + 289422. Does 33 divide a?
True
Suppose -20 = j + 5*p, -7*j - p = -8*j + 10. Suppose -4*b + j*b = -2*g + 923, 0 = g + 2*b - 460. Is 14 a factor of g?
True
Let k = -291 - -128. Let z(c) = 5*c**2 - 2*c. Let s be z(2). Is (-40)/s - k/2 a multiple of 25?
False
Let r = -12029 + 24790. Is 60 a factor of r?
False
Let x = 138 - 130. Suppose -25*v = -x*v - 3009. Is 32 a factor of v?
False
Let w(n) = -3*n**3 - n**2 - 7*n - 133. Is 3 a factor of w(-17)?
True
Suppose 21*f - 2765 = 19453. Suppose -f - 818 = -4*q. Is q a multiple of 11?
False
Let s(i) = i**2 - 14*i - 8. Let g be s(-4). Let d = g - 50. Is d a multiple of 5?
False
Let q = 340 - 336. Suppose x - 4*g = 174, 3*g - q*g = -4. Does 10 divide x?
True
Suppose 0*z - 5*z + 55*z - 47500 = 0. Is z a multiple of 4?
False
Suppose 0 = -6*c + c - 950. Let s = 879 + c. Is s a multiple of 53?
True
Suppose 0 = 33*v - 15055 - 38801. Is 12 a factor of v?
True
Suppose 2*z - 24 = 3*v, -2*z + 5*v - 4*v + 16 = 0. Suppose -z*c = 390 - 2082. Is 27 a factor of c?
False
Let v(a) = -a**2 - a + 56. Let z be v(7). Suppose 5*c + 4*h = 2291, z = -5*c + 2*h + 925 + 1372. Is c a multiple of 51?
True
Suppose -5*y + 3*y - 78 = 2*o, o = 2*y + 63. Let t be (2/(-4))/((-3)/(-744)). Let h = y - t. Does 9 divide h?
True
Let j = -207 + 215. Is ((-460)/(-8))/(j/16) a multiple of 10?
False
Suppose 96588 = 40*b - 35*b + 4*z, 19305 = b + 5*z. Is 138 a factor of b?
True
Does 126 divide (-14)/((-18)/2745*40/144)?
True
Let b = 10082 - -9514. Does 23 divide b?
True
Suppose 2*h + 14 = -3*y + 37, 2*y = 2. Suppose -5*g + d - h = -33, 0 = -2*d - 6. Let v(i) = -i**3 + 3*i**2 + 3*i + 6. Is v(g) even?
True
Suppose 4*o - 331 = 4*h + 1597, 0 = -h - 5*o - 458. Let z = h + 766. Does 18 divide z?
True
Suppose -7*r - 145 = -166. Suppose -43 = -2*o - r. Is o even?
True
Let t be ((-20)/6)/(1/(21/14)). Let h be 42 - (t - (-7 + 2)). Is 13 a factor of (2 - (-728)/(-6))/(h/(-63))?
False
Let s = -3367 + 5131. Suppose -s = -2*z - z - q, z + 2*q - 583 = 0. Is z a multiple of 31?
True
Let f = -6966 - -9525. Is f a multiple of 18?
False
Let l be 3 + (2 - (2 - -2))*1. Let i(q) = 58*q**3 - q**2 + 4*q - 1. Let b be i(l). Suppose -68*w = -66*w - b. Is 10 a factor of w?
True
Suppose 50*z - 1080574 = -241024. Is 87 a factor of z?
True
Suppose 3*o = -4*k + 41853, -11234 - 9689 = -2*k - 5*o. Is k a multiple of 16?
True
Suppose 0*t - 6*t - 41202 = -13*t. Does 108 divide t?
False
Suppose -3*i = -s - 87 + 1004, 5*i + 1830 = 2*s. Suppose -2*z = -s - 179. Is z a multiple of 5?
False
Suppose -1399 + 6697 = z. Suppose z = -5*l + 2*i, 2125 = -3*l + l - 5*i. Let p = -754 - l. Is p a multiple of 17?
True
Let b(s) = -116*s + 1516. Does 54 divide b(-67)?
True
Let k be -1*(-3 - (-5 + 2)). Suppose k = -64*a + 58*a + 3300. Does 55 divide a?
True
Suppose 3*m + 26 = 2*t, 3*t - m = -2*t + 65. Suppose 0 = t*p + 4*p. Suppose -3*r = 5*s - 4*s - 211, p = -4*s - 20. Is 18 a factor of r?
True
Let c(v) be the first derivative of 7*v**6/360 + v**5/120 - 28*v**3/3 - 2*v - 16. Let k(o) be the third derivative of c(o). Does 8 divide k(2)?
False
Let b(q) = -2. Let v(z) = -1. Let i(g) = -2*b(g) + 5*v(g). Let d(h) = -13*h + 4. Let c(p) = -d(p) - 3*i(p). Is 19 a factor of c(10)?
False
Let z = -5799 - -124