*i - 10. Does 23 divide u(m)?
True
Suppose 4*l + 2048 = 4*d, 3*d + 0*d = 4*l + 1540. Is d a multiple of 26?
False
Suppose 3*p - 1 = 5*q, -5*q - 3*p - 24 = -5. Is -22*1*q/4 a multiple of 11?
True
Let l be (-6)/(-15)*10*(-1)/(-2). Suppose 0 = 3*a + 2*w - 57, 0 = 3*a + l*a - w - 82. Is 8 a factor of a?
False
Suppose m + 1958 = 5*r, -32*r = -28*r - 2*m - 1564. Is 70 a factor of r?
False
Suppose 1731 = 3*k + 117. Does 4 divide k?
False
Let j(k) = k**3 + 49*k**2 - 64*k + 23. Is j(-50) a multiple of 26?
False
Suppose 5*m - 4*t = -252, 4*m + 5*t = 6*m + 94. Let c(s) = -37*s - 2. Let p be c(2). Let z = m - p. Does 8 divide z?
True
Is 24 a factor of (-4 - 1) + (517 - -5)?
False
Let g(l) = -l - 6. Let w be g(-6). Suppose 5*f = v + 7, -4*v = -4*f - w*f - 4. Is (-2)/f + 11 - 2 a multiple of 8?
True
Suppose l + 4*p = 9 + 12, 84 = 4*l + 2*p. Suppose -z + l = -4*z. Is 12 a factor of 8 + z - 34*-1?
False
Let a = 554 - -789. Is a a multiple of 17?
True
Is 15 a factor of (-17242)/(-16) - 57/(-152)?
False
Let z(i) = -90*i - 9. Let a(r) = -45*r - 4. Let h(u) = 9*a(u) - 4*z(u). Is 6 a factor of h(-1)?
False
Let p(l) = 37*l - 8. Is p(2) a multiple of 6?
True
Let b(c) = -c**2 - 7*c + 2. Let d be b(-7). Let l be d/(-4)*(-188 + 2). Suppose -5*p + 4*x = -226, -x + 2*x - l = -2*p. Is 10 a factor of p?
False
Let v(j) = -j**3 - 36*j**2 - 283*j - 4. Does 22 divide v(-26)?
True
Let k(q) = -q**3 - 4*q**2 + 5*q + 3. Let t be k(-6). Let m = -45 - -18. Let u = m + t. Does 8 divide u?
False
Is 56 a factor of -4 - (12/10)/((-7)/12425)?
False
Suppose z = r - 63 - 20, 3*r = -5*z + 209. Suppose -5*t + r = -22. Does 20 divide t?
True
Let n(l) = -l**2 + l + 5. Let u be n(0). Let f(t) = 2*t - 7. Let b be f(u). Suppose 0 = -3*k + 3, b*r - 19 = 2*k - 6*k. Is 3 a factor of r?
False
Let w = -16 + 41. Suppose -4*c + w = -3*z, c + 5*z - 35 = -0*c. Is 5 a factor of c?
True
Let k(t) = -126*t**2. Let w be 12 + -8 - (4 + -1). Let u be k(w). Does 21 divide 2/(0 + (-4)/u)?
True
Let a(h) = -21*h**2 - 332*h - 17. Is 17 a factor of a(-15)?
True
Let q = -107 + 186. Suppose 74*v = q*v - 1635. Is 39 a factor of v?
False
Suppose -5*k + 85 + 93 = 3*m, k = -4*m + 39. Does 8 divide k?
False
Suppose 0 = 3*a - 2*k + 12, a - k = -3*a - 11. Let w be (11 + a)*(-3 - 1). Let z = -13 - w. Is z a multiple of 12?
False
Let o be ((-2)/(-5))/(3/30). Suppose o*y = 99 - 27. Is y a multiple of 9?
True
Suppose -k + 100 = -2*v, -6*v = 3*k - 7*v - 280. Is 4 a factor of k?
True
Suppose -18*q - 4*g = -23*q + 1717, 4*q - 1367 = g. Is q a multiple of 11?
True
Let j(y) = 14*y**2 - 10*y - 1. Let u(n) = -5*n**2 + 3*n. Suppose -5*f - 6*p = -4*p - 49, 35 = 4*f + 3*p. Let h(s) = f*u(s) + 4*j(s). Does 4 divide h(8)?
True
Does 2 divide 4/(-6) + 287/21?
False
Let j(q) = 2*q**3 - 2*q**2 - 2*q + 1. Let b = -1 - -1. Suppose b = -y - 4*y + 10. Is j(y) even?
False
Let d be (2 - 6/2)/((-2)/28). Let c(t) = -t**3 + 13*t**2 + 20*t + 2. Is 43 a factor of c(d)?
True
Let z(b) = -6*b - 1. Let q be z(-2). Let v = q + -10. Let m(y) = 43*y**2 - y + 1. Is 11 a factor of m(v)?
False
Suppose -4*i + 16 = 0, -2*o + i + 0*i = -2108. Is 24 a factor of o?
True
Let w be (10/(-7))/(8/(-112)). Is 5 a factor of (-18)/(-4)*w/3?
True
Let c be 4/(-6) - (-636)/9. Suppose c = 19*v - 18*v. Is 14 a factor of v?
True
Is 4 - (-1740)/(-24)*(-5 - 1) a multiple of 41?
False
Suppose -5*d - 3748 = -13068. Does 9 divide d?
False
Suppose -2*o + 422 = k, -416 = -k - 2*o + 6*o. Suppose 5*u = -0*u + k. Does 21 divide u?
True
Let j be (-7964)/66 + (-4)/(-6). Let c = 176 + j. Is 8 a factor of c?
True
Let m(t) = 2*t**3 - 4*t**2 - 3*t + 7. Let h be m(3). Suppose -3915 + 331 = -h*b. Is 29 a factor of b?
False
Suppose 3*g + d - 9 = -3*d, 5*g + 4*d - 15 = 0. Suppose -4*f + 500 = -2*s + 3*s, -g*f + 376 = s. Is 12 a factor of f?
False
Let i(a) be the first derivative of -a**4/4 + 14*a**3/3 - 9*a**2/2 - 9*a + 26. Is 3 a factor of i(13)?
False
Suppose -10*x - 3*x + 1144 = 0. Is x a multiple of 11?
True
Let v = -1 - -3. Suppose -g = -3*n + 373, -v*n + g - 502 = -6*n. Does 16 divide n?
False
Is 2 a factor of 1/((-552)/111 - -5)?
False
Let x(c) = -c + 20. Let q be x(17). Suppose 52 = -q*w - 125. Let f = w + 139. Is f a multiple of 16?
True
Suppose 5*n = n. Suppose f - 3*f + 84 = n. Is f a multiple of 39?
False
Suppose -13*i + 12*i - 967 = -3*d, 341 = d - 5*i. Is d a multiple of 32?
False
Suppose -26*f = -523 - 3663. Does 15 divide f?
False
Let i(q) = -2*q + 7. Let t be i(12). Let x = t - -29. Does 8 divide (-9)/x*(-29 + -3)?
True
Suppose 2*p - 3*k + 76 = 652, 1427 = 5*p - k. Is 5 a factor of p?
True
Suppose -176 = -a + b, -2*a + 3*b + 350 = -0*b. Suppose -5*v + a = -222. Is v a multiple of 8?
True
Let j(g) = -52*g - 416. Is 3 a factor of j(-15)?
False
Is 9/(-11 + 20)*(121 + 1) a multiple of 45?
False
Suppose 2*f - 4 = -0. Let b be 6/10*5*f. Let l = 15 - b. Is 8 a factor of l?
False
Let m be (-639)/(-4) - 5/(-20). Suppose -c = c - m. Is c a multiple of 16?
True
Suppose -5*g - 3 = 2. Let a(k) = -4*k + 1. Let z be a(g). Suppose -z*n - 5 = 0, 3*n = 3*q + 2*n - 250. Is q a multiple of 27?
False
Let d(y) = 79*y**3 + y + 2. Does 106 divide d(2)?
True
Let t be ((-99)/(-12))/((-12)/(-16)). Suppose -5*g + 14 = -t. Is g even?
False
Suppose -3*p - 2 = 1. Let d(x) = -19*x**3 + x**2 + 2*x + 1. Does 9 divide d(p)?
False
Is 62 a factor of (465/2)/((-13)/((-2184)/18))?
True
Let c = -7 + 10. Suppose n + c = 2*n. Suppose v = -n*x + 39, 3*v - 2*x - 18 = 99. Does 22 divide v?
False
Let b(k) = -k**2 + 7*k + 5. Let s be b(8). Let l = s - -8. Suppose l*u - 4*p = 188, 23 + 23 = u - 5*p. Does 10 divide u?
False
Let x = -2 + -2. Let l(c) = c**3 + 10*c**2 + 4*c - 4. Is 38 a factor of l(x)?
True
Let y be -3*(-8)/(-12) - (-10)/2. Suppose n + t = y, -4*n + 4*t + 54 = 10. Is 7 a factor of n?
True
Let a = 11 - 8. Suppose a*h - 99 = 2*h. Is 33 a factor of h?
True
Let r(i) = 11 - i**2 - 7 + 14*i + 9*i - 42. Is r(17) a multiple of 13?
False
Suppose 5*x - 67 = 63. Suppose 4*o - 5*o - 2*s = -26, s + x = o. Suppose -235 = -4*g - 5*l, g - 4*l - 38 = o. Is g a multiple of 10?
True
Let n = -102 - -942. Does 42 divide n?
True
Suppose -30*f - 2*f = -17920. Is f a multiple of 35?
True
Suppose 5*f = 7*s - 12*s + 5040, 0 = f - 4*s - 998. Suppose 0 = 13*d - f + 44. Is 4 a factor of d?
False
Let f be (2/(-4))/(2/(-12)). Let n(p) = 2*p**2 + 0 + 2*p + 2 + 0 - 39*p**f - p**2. Is 20 a factor of n(-1)?
True
Is 28 a factor of (-8)/(-2) - 13568/(-32)?
False
Suppose -6*r - 1183 = -115. Let a = -126 - r. Is 13 a factor of (12 + -6)*a/6?
True
Let c(f) = -f**3 + 16*f**2 - f + 26. Does 31 divide c(11)?
True
Is (1 + -2 + (-28)/(-70))*-60 a multiple of 4?
True
Suppose 14*v - 126 = 98. Let l = -3 + v. Does 2 divide l?
False
Suppose 0 = h - 2*n - 13, 2*h + 18 = 4*h - 2*n. Suppose 3*b - g = 3*g + 72, -5*b + h*g = -115. Suppose -6*k + b = -5*k. Does 5 divide k?
True
Let u(w) = w**2 - 20*w - 16. Let a be u(21). Suppose a*o - 149 = 4*m, 4*o + 2*m = 123 - 9. Is o a multiple of 4?
False
Suppose 0 = 5*i + 2*f - 21, -5*i - 4*f + 8 + 9 = 0. Is 209/i - 7/(-35) a multiple of 14?
True
Let b = 29 + -18. Suppose -3*w = -b - 7. Is 2 a factor of w?
True
Suppose 0 = -2*v - 0*v - 2. Let a = 79 - 85. Does 15 divide ((-15)/a)/(v/(-18))?
True
Let r(j) = 61*j + 33. Is 57 a factor of r(6)?
True
Suppose -2*f = -4*f. Suppose 4*r + 14 - 142 = f. Does 4 divide r?
True
Let h be 12/(-60) + (-16)/(-5). Suppose -3 - 5 = -5*n + 2*d, h*d = 5*n - 7. Is n + (-16)/(-6)*6 a multiple of 18?
True
Suppose -8*k = 4*k - 828. Let u = 2 + k. Is u a multiple of 6?
False
Let f be (-1 - 6/3)*-1. Suppose 0 = f*i + 6*d - 2*d - 14, -5*d = i - 12. Suppose -i*k + 48 = -0*k. Is k a multiple of 12?
True
Let d = 15 - -3. Is (-1)/(1 - d/17) a multiple of 4?
False
Suppose s = -4*s + 15. Suppose v - u = 3, -s*v + 18 = v - u. Is v a multiple of 5?
True
Let b = -77 + 85. Does 9 divide (-6182)/(-88) - 2/b?
False
Let s be 4/6 + 1184/6. Is (s/(-10))/(27/(-180)) a multiple of 33?
True
Let c(v) = -21*v - 4. Does 4 divide c(-16)?
True
Let h(a) = a**2 + 48. Let i = -11 - -31. Let t be (i/8)/(-5)*0. Does 16 divide h(t)?
True
Suppose 9*l - 2286 = 1845. Is l a multiple of 14?
False
Let k(b) = b + 2. Let u be k(1). Let a = -17 - -81. Suppose -a = -u*z + z. Does 16 divide z?
True
Let l(w) = -100*w - 1. Let f(b) = 3*b + 6*b + b 