 = -28 - -43. Let b be 3*1 - (u + -15). Suppose -14 = -b*y + 16. Is y a multiple of 5?
True
Let z be (-1)/5 - 279684/(-170). Let l = z + -875. Does 11 divide l?
True
Let x(u) = -u**3 - 12*u**2 + 2*u + 22. Let h be x(-12). Is 45 a factor of h + 1 + 0 - (-2 + -157)?
False
Let w = 1582 - 850. Suppose 10*l - 2932 = -w. Is 44 a factor of l?
True
Suppose -76*h + 80*h - 28 = 0. Let p be (h/(-7))/(2/(-768)). Suppose s = 3*q + 19 - 403, -3*q = 2*s - p. Is 18 a factor of q?
False
Let o = 78 + -73. Suppose o*i - 64 = -3*v + 119, i + 122 = 2*v. Is v a multiple of 2?
False
Let b(a) = a**2 - 3*a - 1. Let x be b(4). Let z(m) = -10 + 40*m - 2 + 42*m - 65*m. Does 39 divide z(x)?
True
Suppose -68*h - 3687 = -69*h + i, h + 5*i - 3681 = 0. Does 97 divide h?
True
Let b(y) = 1. Let m(q) = -30*q + 2. Let i(j) = -3*b(j) + m(j). Let c be i(4). Let k = c - -211. Is k a multiple of 15?
True
Let h = -7268 + 15098. Does 135 divide h?
True
Let c(l) = 11*l + 24. Let h be c(-2). Let g(y) = -5 + 2*y - 8*y + h. Is g(-5) a multiple of 9?
True
Is 4995/(9/(-13 + 22)) a multiple of 15?
True
Suppose -15*c = -16*c + 4475. Suppose -5*d - 685 = -c. Is 39 a factor of d?
False
Let a(b) = 51*b**2 + 53*b + 18. Is a(-12) a multiple of 9?
False
Suppose 0 = 2*t - 2, -12*t - 408014 = -17*o - 9*t. Does 10 divide o?
False
Suppose c - 141 = 137. Let l = 352 - c. Is l even?
True
Let x(h) = 64*h**3 + 8*h**2 - 44*h + 284. Is 54 a factor of x(7)?
False
Let a = -349 - -409. Is 3 a factor of a/15 - 8/(-2)?
False
Let o = -16483 + 30866. Is 19 a factor of o?
True
Suppose -6*n + 31 = -3*n - 5*g, -g + 19 = 3*n. Suppose -n*t = -426 - 1002. Does 34 divide t?
True
Let s = -637 + 4489. Suppose i = 5*p - s, 5*i - 13 - 747 = -p. Is p a multiple of 35?
True
Let i(q) = q**3 + 5*q**2 - q - 7. Let j be i(-5). Let s(y) = 5*y + 22. Let p be s(-5). Is 57 a factor of (p - -1)/(-2)*j - -230?
True
Let i(j) = 84*j**2 + j. Let x be i(-1). Let d = x + -67. Does 16 divide (-1585)/(-20) + 12/d?
True
Suppose 2*w = q + q - 14, 4*q - 16 = -2*w. Let d be w/((-4)/(-65))*78/(-5). Does 8 divide (-9)/24 + d/8?
False
Suppose 32*u - 116041 = 61719. Does 11 divide u?
True
Let n = 215 + -204. Suppose 0*p + p = 13. Suppose -n*i - 250 = -p*i. Is i a multiple of 23?
False
Suppose 4*p + 526 + 94 = 0. Let b = p + 335. Suppose 14*m - 2*m - b = 0. Does 11 divide m?
False
Let d(m) = 9*m + 86. Let q be d(-10). Does 8 divide 16*2*(-5 - 27/q)?
True
Let s(b) = -25*b + 63*b + 233 - 222 + 31*b - b**2. Does 44 divide s(15)?
False
Suppose 4*t + 5*l - 29415 = 0, -l + 217 - 214 = 0. Is 21 a factor of t?
True
Let r = -59 + 64. Suppose -8 = -j - 2*f + f, -r*f = 0. Does 8 divide j?
True
Suppose -12*r - 43 = -11*r. Let j = r - -48. Suppose x - 269 = -3*x - j*o, o = x - 74. Does 25 divide x?
False
Let i = 3617 + -3386. Is i a multiple of 21?
True
Let g = 5831 + -5291. Does 17 divide g?
False
Let l = 193 - 278. Let d = -64 - l. Is 3 a factor of d?
True
Let r(k) = -47*k + 3. Let m be r(3). Let p = 1080 + -834. Let l = p + m. Is 18 a factor of l?
True
Let n = 95 - 335. Let f be ((-3)/(-12) + -1)*n/(-12). Is 21 a factor of f/(-3)*-14*(-54)/45?
True
Suppose -3*c + 1124 = 4*i - 125, -4*c - 20 = 0. Is 5 a factor of i?
False
Let c(a) = -a**2 + 20*a + 98. Let d be c(23). Suppose d*u = -0*u + 1218. Does 13 divide u?
False
Suppose -5*q - 4*g = -62046, 5*q - g - 77635 = -15584. Is 85 a factor of q?
True
Let t(i) = i**3 + 4*i**2 + 2*i - 7. Let h be t(-5). Let d = -37 - h. Suppose -g = -4*j - 17, -d*g - j + 21 + 85 = 0. Does 4 divide g?
False
Let r = -81 - -135. Let s be (-18)/10*(-180)/r. Is (7 - 3)/(s/21) a multiple of 3?
False
Let f(h) = -34*h - 3. Suppose -5*l + 28 = 2*l. Suppose 3*m = l*p + 9, -2 + 6 = -4*m. Is 16 a factor of f(p)?
False
Does 12 divide (-78046)/(-6) + -3 - 2 - (-57)/171?
False
Suppose -5*m + 2*o = -21512, 5*o + 8609 = 13*m - 11*m. Does 44 divide m?
False
Suppose -2*l = -2*n - 1742, -4*l - 2*n + 3466 = -0*l. Suppose -3*d = -d - l. Suppose -3*t - 9 = 0, 0*t = 5*m + 2*t - d. Is 7 a factor of m?
False
Let n be (-2)/(-9) + -2 + 10/(-45). Let i be (-1 - 1 - -2)/n. Is 10 a factor of (18/(-15) - i)/(1/(-50))?
True
Suppose -857 = -2*c - 3*q, -837 = -2*c + q - 0*q. Suppose -3*n + c + 65 = 0. Let y = -112 + n. Is 9 a factor of y?
False
Suppose -653 = 2*t + 3*r, 308 = -t + 3*r - 14. Let j = t - -378. Is j a multiple of 12?
False
Let a(u) = -u**2 + u + 12. Let l be a(0). Suppose -l*f - 376 = -4240. Is 12 a factor of f?
False
Suppose 0 = -87*c + 39574 + 17324. Does 8 divide c?
False
Let t(o) = 30*o + 10. Let d be t(3). Let s = d - 96. Suppose -27 = -p - 2*j, -s*p + 4*j + 16 = -32. Does 10 divide p?
False
Let u be 220/(-25)*(-3)/(3/(-5)). Is 4 a factor of 4 + (-2632)/u + 2/11?
True
Suppose r + 0*r + 346 = 0. Let d(p) = -8*p + 3. Let o be d(12). Let c = o - r. Is 23 a factor of c?
True
Is 8 a factor of (52 - 56)*((-4)/8)/(2/4844)?
False
Let f = 86 - 181. Is (0 + f/2)*4/(-1) a multiple of 28?
False
Let p be ((-38)/12)/(12/(-72)). Suppose 0 = -21*u + p*u + 46. Does 2 divide u?
False
Let i = -17 + -10. Let v = 25 + i. Is 9 a factor of (-242)/(-3) + v/(-6)?
True
Suppose 4*z = z - 162. Let y be ((-198)/(-8))/(z/(-144)). Suppose 5*b + y = 8*b. Does 22 divide b?
True
Let y(t) = -4*t - 4. Let h be (-72)/42 - (-1 + (-18)/(-14)). Let r be y(h). Suppose -638 = -2*u - 3*u - 2*n, r*n = 16. Does 14 divide u?
True
Let c(f) = -f**2 + 3*f + 13. Let b be c(6). Let j(x) = 9*x**2 + 5*x + 8. Is j(b) a multiple of 13?
True
Let a = 7098 - 6481. Is a a multiple of 11?
False
Suppose 26*c - 12096 = 14*c. Suppose 18 = 4*r - 2*x, 5*r + 2*x - 16 = 29. Suppose -r*v + 3*v + c = 0. Does 42 divide v?
True
Suppose 3*o = 3*l + 7*o + 244, -3*l - 3*o = 246. Let d = l - -202. Does 13 divide d?
False
Let k be 20/(-8) + 2/(-4) + 1. Let a be 3 - (-31 + 0) - k. Let w = a - -72. Is w a multiple of 18?
True
Let m(a) = -8*a - 11. Let u be m(-7). Suppose 14*c - 9*c + u = 0. Let t(v) = v**2 + 2*v - 19. Is 5 a factor of t(c)?
False
Let w = -233 + 2982. Suppose -8879 = -9*a + w. Is a a multiple of 38?
True
Let h = 945 - 2163. Let f = 1707 + h. Is 55 a factor of f?
False
Let t(i) = 7*i**3 + 11*i**2 + i + 7662. Is 33 a factor of t(0)?
False
Let r = 162 - -2586. Is 12 a factor of r?
True
Let x(y) = 41*y - 35. Let v be x(5). Suppose -z + 94 = 3*q, -2*q - z - v = -7*q. Does 11 divide q?
True
Suppose 133*k - 129*k = 12. Suppose 5*q - 11*r + 6*r = 980, 0 = k*q - 4*r - 593. Is 22 a factor of q?
False
Suppose 219*j = 140*j + 137*j - 784392. Is j a multiple of 21?
True
Let g be 1/(1016/338 + -3). Suppose z + 3*q - g = 2*q, -2*z + 303 = -5*q. Suppose 0 = -5*t + z + 606. Does 22 divide t?
True
Let f(m) = m**2 + 5*m + 3. Let b = -38 - -33. Let t be f(b). Suppose -145 = -2*d - 5*o, 4*d = -t*o + 5*o + 278. Does 35 divide d?
True
Suppose 2*o - 17*o = -75. Suppose 3*b - 216 = -3*d, o*d - 216 = -5*b + 2*b. Is b a multiple of 4?
True
Let b(h) = 10*h - 167. Let y be b(17). Is 85/(-25) + y + 2406/15 a multiple of 10?
True
Let x(j) = j**3 - 6*j**2 + 5*j + 5. Let z be x(5). Suppose 4*p + h = 1415, -z - 10 = -5*h. Does 8 divide p?
False
Let s = 81 + -63. Let y(q) = -2*q**2 + 34*q + 39. Let j be y(s). Suppose -j*u + 44 = -91. Is u a multiple of 17?
False
Suppose 5*w = -1510 - 165. Let v be 2 + -5 - (w + -4). Suppose -7*d + v = -d. Does 19 divide d?
False
Suppose 26 = -2*a + b, -3*b + 40 = -3*a - b. Let m(d) = d**3 + 13*d**2 - d - 1. Let g be m(a). Suppose j + v = 3*j - 79, -v - g = -4*j. Does 19 divide j?
True
Suppose 1728 = -4*t - 2*u + 5810, 1024 = t + 4*u. Is 68 a factor of t?
True
Let x = 106 - 64. Let i = x - 44. Does 16 divide ((-12)/i)/((-4)/(-64))?
True
Is 28 a factor of ((-60)/(-3) + -21)/((-2)/4462)?
False
Let r(q) be the second derivative of q**4/12 - 4*q**3/3 - 9*q**2 + 5*q + 1. Let t be r(-2). Is (t/1)/(-1 + 935/930) a multiple of 17?
False
Is 125 a factor of (-31)/(-62) + 10249/2?
True
Is 20 a factor of ((-462)/(-12))/((-3)/(-120))?
True
Is 913/((3 - -1)/28) a multiple of 13?
False
Let m(h) = 3*h + 3. Let c be m(-1). Let n be 3*(c - 4/6). Does 8 divide (232/(-16))/(n/8)?
False
Suppose 2*k - 6*k = -16. Suppose 0 = 2*g - 3*g + k. Suppose -2*z = g*l + 3*z - 149, -4*z - 68 = -2*l. Does 12 divide l?
True
Let b(p) = 9*p**3 + 17*p**2 - 88*p - 36. Is 11 a factor of b(9)?
False
Suppose 0 = 56*b - 45*b - 21879. Let y = -977 + b. Is