- 5*v + 16, 0 = -2*v. Let y be 93 - ((-4)/(-4) - o - -4). Is 4 a factor of y/24 - (-5)/30?
True
Let y be (15/(-12))/((-10)/16). Suppose -y*a - 7*a + 396 = 0. Does 2 divide a?
True
Suppose -18786 = -9*q + 6*q + b, -2*q = 3*b - 12546. Is 54 a factor of q?
True
Suppose -78*a = 843182 - 2629070. Is a a multiple of 72?
True
Is (-123)/(-164) - (-56098)/8 a multiple of 105?
False
Let y(t) = 2*t - 9. Let x(u) = -3*u + 6. Let z be x(0). Let r be y(z). Suppose -4*o = -4*m - 92, -10 = -o - r*m - 3. Does 4 divide o?
False
Let k(a) = 2*a**2 - 10*a - 40. Let b be k(24). Suppose -3*y = o - b, 3*o - 876 = -2*y - y. Does 5 divide y?
True
Suppose 2*b - 7704 = q + 13905, -5*q = -3*b + 32417. Is 74 a factor of b?
True
Let n be 18/27*3/2. Is 433 + -427 + (-1 - (-566 - n)) a multiple of 11?
True
Let c be 6*(-7)/(-42) + 4 + -5. Suppose c = 833*m - 834*m + 38. Does 38 divide m?
True
Let y(f) = 871*f - 112. Does 17 divide y(11)?
True
Suppose -u = -4*y - 4*u - 19, -3*y - 13 = 2*u. Let p(s) = -74*s**3 - 5*s**2 - 3*s. Is p(y) a multiple of 24?
True
Is (-107 + 18 - (-9)/(27/(-4)))*-129 a multiple of 146?
False
Let m(b) = 15*b**2 - 154*b - 21. Is m(21) a multiple of 35?
True
Is 4 a factor of -1 - -524 - 12*(-8)/(-12)?
False
Let u(m) = -m**3 + 18*m**2 - 43*m - 18. Let p be u(14). Let h(k) = -17*k + 8. Let y be h(6). Let n = p + y. Is 14 a factor of n?
True
Suppose 5*d + 1129 - 3884 = 0. Suppose x = 4*m - 675, 4*m = 2*x + 811 + d. Does 37 divide (-1)/(-4 + x/(-172))?
False
Let u be (-3 - (-68)/20)*-735. Let b = 79 - u. Is 13 a factor of b?
False
Let u = 9948 - 9122. Is 16 a factor of u?
False
Let j be ((-1)/5*-2)/(24/720). Suppose -80 = -2*f - j. Is 4 a factor of f?
False
Let y(x) = -x**2 + 4*x + 6. Let b be y(6). Let v be (-21)/(-6) - (2 + 15/b). Suppose -2*m = j - 16, v*j - 31 = -3*m + 6*m. Is 8 a factor of j?
False
Let t be ((70/(-15))/7)/(6/9). Let n be t/1 - 2*(-10)/4. Suppose n*v = -4, -2*q - 4*v = -45 - 59. Does 6 divide q?
True
Let q(z) = -z**2 - 14*z + 28. Suppose -3*o + 5*d + 19 = -5*o, -4*o = 4*d + 44. Does 52 divide q(o)?
True
Suppose -2305930 = -84*k - 460786. Is 7 a factor of k?
True
Let p be 11586/10 - (-4)/10. Suppose 0 = k - 3*r - 2, 0 = 5*k - 9*r + 6*r - 10. Suppose -3*j + 2*w + p = k*j, 5*w + 1165 = 5*j. Is 42 a factor of j?
False
Suppose 0 = 119*m - 204166 - 116539. Is 4 a factor of m?
False
Let d = -6 + 23. Suppose -4*m + m + 13 = -4*y, m + 4*y = -d. Does 2 divide ((-2)/4)/(m/12)?
True
Let c(o) = -o**2 - 4*o + 15. Let t be c(0). Suppose -5*n + 0*n = -t. Suppose -n*v - 2*r + 0 = -19, 5*v - 3*r - 38 = 0. Does 7 divide v?
True
Suppose -95*g + 91*g + 16104 = 4*z, g - 2*z - 4014 = 0. Is 57 a factor of g?
False
Suppose -3*c + 1758 = -8*c + b, 4*c + 2*b = -1412. Let g = c - -576. Is g a multiple of 6?
False
Suppose 3*d - 2 = 4*f + 15, -4*f = -2*d + 6. Let q(z) = 44*z + 105. Is q(d) a multiple of 31?
True
Let g(j) = -349*j**3 - j - 2. Let i be g(-1). Suppose -19*p = -21*p + i. Suppose -p = -6*b + 276. Does 10 divide b?
False
Suppose 6*q + 0 - 12 = 0. Suppose -3*o - q*v = -220, 4*o + 4*v = 2*v + 292. Is 34 a factor of o?
False
Let j(y) = -2*y**2 - 8*y + 17. Let s be j(-12). Let o = -267 - s. Let h = 117 + o. Is 25 a factor of h?
True
Suppose 0 = 5*o - 3*i + 871 + 699, 0 = 4*o - 3*i + 1253. Let h = 527 + o. Is 15 a factor of h?
True
Let f be (-392)/(-4)*(6 + 4)/(-10) + 6. Let b be (0 - 10)/(2/11). Let g = b - f. Does 4 divide g?
False
Suppose -2*a + 1 = -9. Let m be (24 - (1 + -3))*(-2)/(-4). Suppose -m - 42 = -a*u. Is u a multiple of 2?
False
Let z(o) = o**2 + 2*o - 9. Suppose 5*q + 37 = -43. Is 28 a factor of z(q)?
False
Let p = -357 + 14324. Does 141 divide p?
False
Suppose -2*q - w + 7482 = -58720, 5*w = 3*q - 99290. Does 24 divide q?
False
Suppose 5*d = 3*d + 3*t - 102, 98 = -2*d + t. Let s = 106 + d. Let j = -26 + s. Is j even?
True
Let y = -258 + 354. Suppose -y - 30 = -2*b. Is b a multiple of 4?
False
Let a = -25 - -29. Let m = -16 + a. Does 5 divide m/(-1*2/5)?
True
Let l be (-20)/35 + (-8)/(-14). Suppose l = 27*w - 25769 + 8192. Is 7 a factor of w?
True
Suppose -5 = -5*a + 5. Suppose 7*x = -a*x - 18. Does 8 divide (-2 - 12)*(x - 2)?
True
Let u = -27 - 0. Suppose 73 = 5*c - 77. Let z = c - u. Does 16 divide z?
False
Suppose 7*t - 6*t - 475 = -4*b, -2*b + 251 = 5*t. Let u = b - 30. Is u a multiple of 33?
False
Let c = 8 - -24. Let j = -39 + c. Does 7 divide 13 + 1 + (42/(-6) - j)?
True
Suppose -5*j + 210964 = -c, 3*j + 3*c - 31357 = 95243. Is j a multiple of 146?
True
Let i = -743 + 1079. Suppose 2*y + i = q + 4*q, -q + 5*y = -58. Does 17 divide q?
True
Suppose -7*n + 106 = 15. Suppose 5*m + n = -37. Let u(i) = -3*i - 8. Is 7 a factor of u(m)?
False
Suppose 4*x = -5*k - 66, -304*k + 5*x = -301*k + 47. Let g be 345/(-10)*(-2)/1. Let j = g + k. Is 22 a factor of j?
False
Let o(m) = m**3 - 12*m**2 + 23*m - 4. Let y be o(11). Let b = 128 - y. Suppose -5*q = -6*q + 2*u + 70, b = 4*u - 16. Does 18 divide q?
False
Suppose 16 = -2*y + 6*y. Suppose -2*u - 5*x + 35 = 0, -y*u - x - x = -46. Is (-230)/(-18) + (u/(-9))/(-5) a multiple of 2?
False
Let l(n) = 122*n + 825. Does 63 divide l(34)?
False
Suppose 11*a - 40 = a. Let i(v) = 32*v**2 - 38*v. Is i(a) a multiple of 36?
True
Is (71/((-923)/(-8229)))/(6/40) a multiple of 10?
True
Let n(m) = m**2 + 10*m + 21. Let o be n(-7). Let l be (0 - (-2 + 36)) + o + -4. Let r = l + 85. Does 6 divide r?
False
Does 5 divide (7 - 3) + (4 - -3) + 4674?
True
Suppose -3*x + 3 = 0, -3*t = -8*t + 2*x + 138. Let p = 3 - 1. Suppose t = p*n - 26. Is 10 a factor of n?
False
Suppose -491 + 3403 = 2*x. Suppose 45*m = 49*m - x. Is m a multiple of 14?
True
Let i(v) = v**3 - v**2 + 1. Let l(k) = -2*k**3 + 5*k**2 - 6*k - 6. Let b(f) = -i(f) - l(f). Let w be (55/22)/((6/(-4))/(-3)). Is 12 a factor of b(w)?
True
Let j be -2*((-929)/3)/((-6)/(-9)). Let a = j + -137. Is a a multiple of 66?
True
Suppose 0 = 3*j - 5*n + 2525, -2*n = 4*j - 2*j + 1678. Does 14 divide ((-336)/(-40))/((-18)/j)?
True
Suppose 62 = 7*d - 1. Let z = d - 24. Is (575/z - -1)*-3 a multiple of 16?
True
Let b = 249 + -25. Suppose 5*p - 3*u = 270, -b = -4*p - 2*u + 6*u. Is 13 a factor of p?
False
Suppose -27*m - 138 = 51. Let a(f) = -15*f - 18. Is a(m) a multiple of 5?
False
Is 77100 - (12/(-32) + 592/(-128)) a multiple of 14?
False
Let n = 63 - 49. Is 9 a factor of (n/3)/((50/(-465))/(-5))?
False
Suppose -8934 - 1434 = -18*s. Does 18 divide s?
True
Let g(v) = -v**2 + 29*v - 78. Is 6 a factor of g(18)?
True
Suppose 0 = 6*z - 8*z + 6. Suppose -4*l = -z*l - 86. Is l a multiple of 6?
False
Suppose -2*u + 120 = -2*l, -u - l + 260 = 3*u. Suppose q - 2*s = 69, -4*q + 224 = 5*s - 0*s. Let w = q + u. Does 25 divide w?
True
Let o = 417 - 417. Suppose o = -14*c + 54*c - 2320. Does 29 divide c?
True
Let t(k) = k**2 + 4*k + 1. Let i(v) = -4*v. Let n(x) = 3*i(x) + 4*t(x). Let g(c) = c**3 - 6*c**2 + 2*c - 7. Let d be g(6). Does 31 divide n(d)?
True
Let d = 4 - -2. Suppose 12*j - d*j = -2634. Is 8 a factor of (-1)/(-5) + j/(-5)?
True
Let m = 68 + -64. Suppose -r = m*r - 10. Does 5 divide (r/(-3))/(1/(-57))?
False
Suppose -101*j - 148 = -105*j - p, 2*j + 3*p - 74 = 0. Let i(l) = 443*l + 1. Let n be i(1). Suppose j*q - n = 33*q. Is 37 a factor of q?
True
Suppose -43*a = -47*a + 12. Let t be (21/(-35))/(6/(-20)). Suppose 338 = 4*q - t*p, 0*p - 248 = -a*q - 4*p. Is 14 a factor of q?
True
Let o be (9 + -12)/(-1 + 0). Let b be 53 - o*6/9. Suppose 47*z = b*z - 360. Is z a multiple of 9?
True
Let r = -5409 + 13153. Is 38 a factor of r?
False
Suppose -15*p - y = -11*p - 1687, -2120 = -5*p - 5*y. Let u = -337 + p. Does 28 divide u?
True
Let q be 94/30 + 16/(-120). Let l(p) = -16 + q - 3*p - p + 3. Is 3 a factor of l(-7)?
True
Let n(p) = -18*p - 72. Let y be n(-15). Let o = y - 159. Is 3 a factor of o?
True
Let x(a) be the first derivative of -a**4/2 - 8*a**3/3 - 3*a**2 - 7*a + 6. Let g be (-108)/24 - (-1)/(-2). Does 12 divide x(g)?
False
Let w = -212 - -390. Let u = w + -306. Let i = 8 - u. Is 21 a factor of i?
False
Suppose 5*j = -10*d + 17870, -4*j - 2*d + 21466 = 7188. Is j a multiple of 2?
True
Let s(r) = 34*r + 83. Let d be s(-13). Let l = d - -580. Is 62 a factor of l?
False
Suppose 3*j - 5*j = 5*j. Suppose -y - u = 0, j = 4*u + 1 + 11. Suppose -6*i + 8*i = -4*f + 118, f - 19 = y*i. Is 28 a factor