(p/42)/((-3)/(-50))?
False
Suppose 0 = -x - 1, -115 = -y + 6*x - x. Suppose y = -w - w. Is 48 a factor of ((-352)/w)/((-2)/(-45))?
True
Suppose 2394*o + 172794 = 2400*o. Is o a multiple of 11?
False
Suppose 5*z - 9133 = 4*d, 3646 = 1240*z - 1238*z - 4*d. Does 7 divide z?
False
Let t be (-8)/(-80) - (-1758)/20. Let u be 16/t - (-444)/(-22). Let f = 32 + u. Is 4 a factor of f?
True
Let w be (18/10 - 2)*-5. Let g be ((-12)/8 + w)*-6. Does 28 divide (-15)/2*(-16)/g?
False
Suppose -27 = -65*s + 56*s. Suppose -5*q = 2 + 23. Is 10 a factor of s + q - 126/(-3)?
True
Suppose 4 = -g - p, g + p = 2*g. Suppose -4*a - 3 = 3*z - 24, -5*a - z + 40 = 0. Is a + (-3 + 2 + g)/(-1) a multiple of 8?
False
Suppose -13*t = -22*t + 41661 + 59274. Does 10 divide t?
False
Let g be 1*-1 - 41/2*-8. Suppose 67 = -j + 2*i, 2*j - 44 = i - g. Is 14 a factor of 4/(-4) - (j/1 - 0)?
True
Let t = -35 - -40. Suppose -3*z = 12, 2*y - t*y = 5*z - 4. Let l = 32 - y. Does 24 divide l?
True
Let o(q) = 548*q - 48. Let k be o(1). Suppose 0 = 4*g - 5*p - 1370, 482 = 3*g - 5*p - 543. Suppose 3*m + 2*h = k, -2*m + h = -0*h - g. Does 17 divide m?
True
Let c = -274 - 63. Let w = c + 355. Is w a multiple of 6?
True
Let q(t) = 5*t**3 + 3*t**2 - 3*t + 12. Let x be q(5). Let v = x + -257. Does 20 divide v?
True
Suppose 53632 + 12694 + 22141 = 37*a. Does 11 divide a?
False
Suppose -84 = -f + 3*t - 5*t, -4*f + 354 = -t. Suppose -b - 4*c + 117 = 0, c - 29 - f = -b. Let n = b - -6. Is n a multiple of 21?
False
Suppose -3936 = 2*b + 30*b. Let v = b - -807. Is 57 a factor of v?
True
Suppose 0 = 36*v - 39*v + 2925. Let i = v + -653. Does 46 divide i?
True
Suppose -4*s - 8*s + 9864 = 0. Suppose 6*x + 66 - s = 0. Let o = x + -62. Is o a multiple of 8?
True
Suppose -6 = -7*n + 2*n + 3*p, 0 = -3*n + 2*p + 3. Suppose 0 = -n*k - 3*k + 24. Suppose k*d - 102 = 10. Is d a multiple of 12?
False
Let r(x) be the first derivative of 3*x**3 - 2*x**2 - 11*x - 37. Let a be r(7). Let n = a - 262. Does 20 divide n?
True
Suppose -2*m - 82 - 8 = 0. Does 6 divide 26 - (-30)/m*18/(-4)?
False
Suppose 7*k - 39360 = -9*k. Suppose 69*c = 64*c + k. Does 41 divide c?
True
Let b be 16/6*56277/26. Suppose -49*y - b = -52*y. Is y a multiple of 26?
True
Suppose -3*d - 4*m = -1170, -6*d + d + 1950 = m. Let x = d + 388. Is 23 a factor of x?
False
Let b(a) = a**3 - 6*a**2 - 4*a + 1221. Is 11 a factor of b(0)?
True
Suppose -3*h = 5*p - 3807, -5*h - 2289 = -3*p - 6*h. Does 2 divide p?
False
Let r be 172*((-20)/8)/5. Suppose -47 = -4*h - 7. Is (-6)/h*(1 + r) a multiple of 17?
True
Suppose -2*y + y - q = -2, -2 = -q. Suppose -m + 297 + 149 = y. Is 5 a factor of m?
False
Suppose -3*n = -12, u + 3 = -n + 22. Let v(m) be the first derivative of -m**3/3 + 7*m**2 + 43*m - 55. Is 4 a factor of v(u)?
True
Let b(p) = -35*p - 17. Let y be b(-4). Let c = y + -96. Suppose -3*k - c = -156. Is 3 a factor of k?
False
Suppose -2*k + 7*k + 11192 = 3*l, -4*k + 3*l = 8953. Let v = 3189 + k. Does 19 divide v?
True
Let y(b) = -2419*b - 1082. Does 121 divide y(-7)?
True
Let z(q) = 639*q - 277. Is 113 a factor of z(14)?
False
Suppose 3*k + 2*x - 11 = 0, 35 = 5*k - 4*x - x. Suppose -5*c - 2*w + 629 = 0, -k*w = 3*c - 2*c - 135. Is 7 a factor of c?
False
Let l = 4785 + -4119. Is 3 a factor of l?
True
Suppose o - 431 = 244. Does 5 divide o?
True
Suppose -3*h = -r + 9, 3*r + 0*h = -h + 67. Suppose -27*c + 1272 = -r*c. Is c a multiple of 35?
False
Let x(h) = 6*h - 68. Let u be x(12). Suppose -3*f + u*f = 30. Is 10 a factor of f?
True
Let x(q) = 13*q**3 + 6*q**2 + 4*q - 32. Suppose -4*k + 13 = 1. Does 55 divide x(k)?
True
Suppose -2*u = 4*q - 22, -4*u + q + 34 = 4*q. Suppose -3*b - 369 = -o - u*b, -5*o + 1807 = b. Does 19 divide o?
True
Let q(s) = 52*s + 2288. Is 130 a factor of q(150)?
False
Suppose 0 = -121*j + 41*j + 597760. Is j a multiple of 8?
True
Suppose 5*b - 4*i - 29145 = 0, 5*i = -3*b + 8*b - 29140. Is b a multiple of 19?
True
Suppose 8*k + 63 = 11*k. Let v(c) = c**3 - 14*c**2 - 88*c - 22. Is v(k) a multiple of 41?
False
Let c be (-4)/(9/(-2) - -4). Does 29 divide (-2)/(c/2668)*-1?
True
Suppose -2*z = i - 66, z + 3*z = 5*i + 132. Let d = z + -27. Suppose -u = 2*f - d*f - 6, -4*u = -f - 69. Does 5 divide u?
False
Suppose 2*x + 7*x - x = 0. Let f(j) = -5*j - 181. Let p be f(x). Let a = p - -274. Is a a multiple of 54?
False
Let d be (0*8/16)/(-2). Suppose 4*w + 230 = -2*c + 1600, -2*c + 4*w + 1330 = d. Is 42 a factor of c?
False
Suppose -18*i = -15*i - 1431. Let p = 817 - i. Is p a multiple of 31?
False
Suppose 57*o + 34*o - 31*o = 1772700. Is 125 a factor of o?
False
Let n(j) = 1420*j**2 + 442*j + 1728. Does 36 divide n(-4)?
True
Let h(d) = d**3 + 19*d**2 + d + 14. Let c be h(-17). Let y = c + -406. Is y a multiple of 10?
False
Suppose -33 = 2*i - 5*i. Suppose 2 = 3*x + i. Let l(b) = b + 18. Is l(x) a multiple of 15?
True
Let b(c) = -128*c - 3. Let i(x) = 19 - 4*x + 15*x - 7 + x**2 + 15. Let q be i(-7). Is b(q) a multiple of 25?
True
Let a be -4*6/(-4)*(-8)/(-12). Suppose t = 3*k - 290, 5*k - a*k + t = 90. Is k a multiple of 9?
False
Let t = -1108 - -2512. Does 27 divide t?
True
Suppose -65*f = -93*f - 61*f + 1638846. Does 66 divide f?
True
Is 21/63 + (-58165)/(-15) a multiple of 14?
True
Let j = -8 - -85. Let d = j + 184. Does 12 divide d?
False
Let a be 30/25*25/15. Suppose -3*q + 852 = 3*c, -q - 284 = -2*q + a*c. Is q a multiple of 15?
False
Does 10 divide 4014/1 + (164 - 178)?
True
Suppose -o + 2 = -j - 0, 0 = -5*j - 2*o + 18. Suppose 4*g + 1 = j*p - 5*p, -12 = 3*g. Is 3 a factor of -2*p/(-2) - (-20)/(-10)?
True
Let u = 30118 + -16952. Does 29 divide u?
True
Let h(k) = k**2 - 19*k - 4. Let t be h(-14). Suppose -91 = 8*g - 21*g. Suppose 0 = g*b - 382 - t. Is 40 a factor of b?
True
Let w(o) = o**3 + 51*o**2 + 212*o + 39. Is w(-46) a multiple of 12?
False
Let x(y) = 736*y**2 + 2*y - 2. Let v be x(1). Suppose -2*p + v - 36 = 0. Suppose -5*a = 5*l - p, 10*a + 4*l - 208 = 7*a. Is a a multiple of 36?
True
Suppose 3*o - 280 = 2*h, h - 3*o + 208 - 71 = 0. Let c = h + 208. Suppose 123 = 4*i + 4*m - 77, c = i + 4*m. Is i a multiple of 9?
True
Let x(u) = -u**3 - 190*u**2 - 229*u - 295. Is 10 a factor of x(-189)?
False
Let r(q) = q**2 - 11*q - 7. Let f be r(6). Let v = f - -395. Is v a multiple of 22?
False
Suppose -21*j + 22*j = 2*l + 11, -4*j + 2*l + 26 = 0. Is 13 a factor of -1*(-4 - 1)/j*149?
False
Let c be -2 - ((-21)/3 - -2)*1. Suppose -95 = -c*b - d, 0*b - d = b - 29. Suppose -u + 27 = -b. Is 19 a factor of u?
False
Let s(g) = g**3 - g**2 - g - 8. Let z be s(3). Suppose -z*q = -1248 - 2196. Let h = -331 + q. Is h a multiple of 11?
False
Let f(u) = -u**3 - 36*u**2 - 23*u - 12. Is f(-36) even?
True
Let w(q) = q**3 - 27*q**2 - 32*q + 115. Let t be w(28). Suppose t*p = b + 517, 0 = -3*p + 6*b - 11*b + 547. Does 14 divide p?
False
Suppose o - 4 = -3. Is 4 a factor of (o - 3 - (-10)/6)*-177?
False
Suppose 20*u + 320 = 24*u. Let x = 228 - u. Suppose 9*w - 104 = x. Is 22 a factor of w?
False
Let r(g) = 778*g**2 + 80*g + 248. Is r(-3) a multiple of 10?
True
Let w(t) = t**3 - 42*t**2 - 40*t + 153. Does 41 divide w(45)?
True
Suppose 4*z = c - 4, 2*z = -5*c + z + 20. Suppose c*b - 23 = -15. Suppose 36 = b*u + 5*p, 14 + 10 = u + 4*p. Does 4 divide u?
True
Let b(t) = 10*t - 10. Let y(k) = -k + 1. Let m(h) = -6*b(h) - 65*y(h). Let s be m(14). Suppose -292 = -7*u + s. Does 17 divide u?
True
Let i(d) = -d**2 + 8*d - 13. Let f be i(3). Suppose 3*v + f = -2*u - 1, 4*v = -u - 4. Suppose u = k + 4*o - 37, -o + 75 = 3*k + 2*o. Is k a multiple of 3?
True
Let w = 9 + -7. Suppose -w*a + 2282 = 5*u, 71*u - 69*u + 2*a - 914 = 0. Does 10 divide u?
False
Let x(f) = -299*f + 17. Let r be x(2). Let n = -221 - r. Is n a multiple of 15?
True
Suppose 4*g - 2161 - 3023 = -2*n, -g = -5*n - 1296. Does 8 divide g?
True
Is 89080/51*75/40 a multiple of 3?
False
Let a be 1 + (-6)/(-42) + (-20)/(-7). Does 21 divide 6/a*(-3104)/(-24) - -3?
False
Does 60 divide 1 + 4 + 39 + 2777 - (0 + 1)?
True
Let n(r) = -r + 11. Let w be n(-8). Suppose -4 = -5*u + 5*z - w, 0 = 2*z + 2. Is (-2)/(-5 - u) - (-128 - -1) a multiple of 43?
True
Suppose 0 = 8*s - 6*s - 116. Let p = -63 + s. Is 3 + -3 + (-320)/p a multiple of 13?
False
Let u(q) = -24*q**2 + 46*q - 50*q**3 + 23*q**3 + 32 + 28*q**3. Does 6 divide u(22)?
Fal