b + s - 1594 = -0*b. Suppose -2*m + 9*m = b. Is 38 a factor of m?
True
Is 89 a factor of (2/(-4))/((-297)/(-54)) + 1042638/33?
True
Suppose -17*v - 202838 - 32119 = 0. Is 5/(-2) + v/(-102) a multiple of 19?
True
Let f(i) = i**2 - 19*i - 183. Let q be f(-7). Suppose -5*j = 4*s + 53, 0 = -2*j + 3*j + 5. Is q/s - (-1360)/35 a multiple of 4?
False
Suppose 3 = 3*u + 3*n - 0, 5 = -5*n. Suppose 0 = -u*j + j - 60. Let q = 77 + j. Is 2 a factor of q?
False
Let q(j) = j**2 - 8*j + 13. Let h be q(-7). Let z = h + -76. Let i = z - -6. Is i a multiple of 8?
True
Let k(n) = -53*n**2 - 16*n - 20. Let r be k(-6). Let z = r - -2742. Is 53 a factor of z?
False
Suppose m - 3*d = -0*m + 46, 2*m - 72 = -4*d. Suppose a + 2*t - 64 = 0, 6 = -2*t - 2. Suppose -m*p + 38*p = -a. Does 22 divide p?
False
Suppose 0 = 156*h - 87616 + 15856. Is 115 a factor of h?
True
Let p(b) = -b**2 + 8*b + 11. Let z be p(9). Suppose 2*v - 22 = -z*m, -4*m - 4*v + 20 = -2*m. Is m a multiple of 3?
True
Let d(f) = -f**3 - 16*f**2 - 17*f - 12. Let m be d(-15). Suppose m = -6*v + 18. Suppose 4*k - 4*z + 6*z - 546 = v, -k = -3*z - 147. Does 6 divide k?
True
Suppose -9*l + 4*l = -4*k + 51400, -4*k + 51400 = -4*l. Is k a multiple of 65?
False
Let z be 516/6 - (-2 - -3). Suppose o + v + 33 = 0, 3*o + 0*o + 2*v + 99 = 0. Let t = o + z. Is t a multiple of 5?
False
Suppose -3*w + 6 = -6. Suppose -11*i - w = -12*i. Is (i/8 + -2)*-10 a multiple of 15?
True
Let f = 9186 + -5524. Is f a multiple of 68?
False
Let d(g) = 2*g**2 + 44*g - 45. Let l(q) = -22*q + 148. Let v be l(6). Does 14 divide d(v)?
False
Let f(k) = -40*k + 37. Let p be f(-9). Does 39 divide -12 + 8 - (p - 0)*-1?
False
Let v = -74 + 76. Suppose v*u - 4*h = -h + 249, -3*u + 4*h = -373. Is 19 a factor of u?
False
Let q = 88 + -94. Let o(c) = -c**2 + 19*c - 27. Let g(t) = t**2 - 19*t + 26. Let v(j) = q*o(j) - 7*g(j). Does 8 divide v(12)?
True
Suppose 5312*r = 5310*r + 6624. Does 72 divide r?
True
Suppose 9*y = 3*r + 14*y + 1415, 942 = -2*r - 2*y. Let q = r - -610. Is 4 a factor of q?
True
Let p(j) = -1 + 4*j + 6*j + 6 - 9*j. Let x be p(-8). Is -13*(1 + 18/x) a multiple of 38?
False
Let g be (-14)/28 - (-1)/2. Suppose g*f = -3*f + 60. Suppose 7*o + f = 69. Is o even?
False
Suppose 10*f - 6594 = 8*f + 2*p, 5*f + 2*p - 16443 = 0. Does 24 divide f?
False
Suppose -4*z = -7*z + 4*b + 520, -2*b + 190 = z. Does 7 divide z?
False
Let t be 2/5 + ((-168)/(-30) - 4). Suppose -t*s = -0*s + 68. Let y = 64 + s. Is 5 a factor of y?
True
Suppose -4774 = -160*z + 4826. Is z a multiple of 2?
True
Let l be 16/10*(-9)/(36/10). Is l - 29/(-4 - -3) a multiple of 3?
False
Suppose 4*v + 1221 = l, 8*v - l + 1527 = 3*v. Let k = v + 500. Is 20 a factor of k?
False
Suppose q - 9 = 2*g, -g - 2*g = -4*q + 11. Let d(z) = 225*z**2 - 6 + z + 4 + 3 + 1. Is 8 a factor of d(q)?
False
Let x(b) = 2*b - 1. Let j(k) = 22*k - 5. Let s(a) = j(a) - 3*x(a). Let u be s(1). Suppose t + 338 = u*t. Does 10 divide t?
False
Does 36 divide (19 - 19) + -6 + 4434?
True
Let c = -922 + 1268. Suppose 5*a - 10*a + 265 = 0. Suppose -c = -3*k + a. Does 19 divide k?
True
Does 64 divide 6*632/(-48)*-15?
False
Let x = 420 - 469. Let a = x - -283. Is 5 a factor of a?
False
Suppose 11*l - 186299 - 62235 = 0. Does 21 divide l?
False
Suppose -47*j - 138282 = -24*j - 42*j. Does 16 divide j?
False
Let i(j) = j**3 - 44*j**2 + 34*j - 945. Is i(45) a multiple of 29?
True
Let n(h) = -188*h - 1010. Does 34 divide n(-41)?
True
Suppose -9107 = -37*u - 16*u - 627. Does 4 divide u?
True
Let s be (-1)/2 + (-1141)/(-2). Let k = s - 560. Is k a multiple of 2?
True
Let n(d) = 1230*d**3 + 6*d**2 - 8*d + 1. Is 9 a factor of n(1)?
False
Suppose 7*o - 3*o - 5*x + 63 = 0, 61 = -3*o + x. Let z = -18 - o. Is 2 a factor of (35/10 + 2)*z?
True
Let k = 113 + -100. Suppose 1513 = -k*g + 83. Is 7 a factor of (114/95)/((-2)/g)?
False
Suppose 0 = 4*q + 3*n - 7, 9*n = 4*n - 15. Suppose -1908 = -2*j - q*j. Is j a multiple of 14?
False
Let t = -30028 - -63976. Is t a multiple of 80?
False
Let s be -3*1 + -202 + 24/(-6). Let m = s + 372. Suppose -4*v + m + 65 = 0. Is 9 a factor of v?
False
Let x = -57 - -320. Suppose -3*u - 3 = 0, 9*u = 3*l + 8*u - 16. Suppose -x - 62 = -l*y. Does 9 divide y?
False
Let u be (-310)/(-75) - (1 + 26/(-30)). Suppose 4*t + u = -p + 14, 3*p - 2*t - 2 = 0. Let c(y) = 27*y - 12. Does 14 divide c(p)?
True
Let h(t) be the first derivative of -30 - 13/2*t**2 + 5/3*t**3 - 4*t. Is h(6) a multiple of 14?
True
Let m(u) = -u**2 + 14*u + 34. Let d be m(18). Let f = d - -34. Does 16 divide 4 + f - (-72 + 3)?
False
Is 13 a factor of 2/(-4) + (56695/58 - -12)?
False
Let d be (-2)/(-5)*(-7 + 22) + -3. Let r be 89 + (2 - 5) + d + 3. Suppose b = -4*c + r, -2*c - 106 = -b - 26. Is 12 a factor of b?
True
Suppose -5*f + 10 = 0, 2*g - 5*f + 26446 = 6*g. Suppose -g = -19*q - 2448. Is 16 a factor of q?
False
Suppose -d + 15*f + 1565 = 11*f, -4*d + 5*f + 6304 = 0. Does 31 divide d?
True
Suppose -2*z + 62 + 40 = -4*d, 3*d + 74 = 2*z. Suppose -205 = -14*b + 845. Let s = b + d. Does 9 divide s?
False
Is 162 a factor of ((-27091)/(-6))/((-106)/12 - -9)?
False
Let y(o) = 2424*o**2 - 11*o - 70. Does 9 divide y(-3)?
False
Is 102/136 - (-3802)/8 a multiple of 4?
True
Suppose 5*r + 339 = 2*r. Suppose 0 = -c + 5*z + 62 - 133, 106 = -2*c - 2*z. Let s = c - r. Is s a multiple of 20?
False
Let s(r) = -r**3 + 17*r**2 + 2*r - 8. Suppose -2*j + 50 = -4*z, -2*j + 0*j + 3*z + 46 = 0. Is 13 a factor of s(j)?
True
Let d be 3/6 + 116/16*2. Suppose -d = 3*b - 6*b, 4*h = 4*b + 3588. Is h a multiple of 41?
True
Let g = 22 + -18. Suppose g*q - 33 = -29, 3*n - 574 = -4*q. Is n a multiple of 38?
True
Suppose -2*m + 28*m - 82082 = 0. Suppose -25*y + 868 = -m. Does 28 divide y?
False
Let h(z) = 24*z - 58. Let d(r) = 24*r - 56. Let v(n) = 5*d(n) - 6*h(n). Is 8 a factor of v(-7)?
False
Suppose 1178*o = 1104*o + 968512. Does 32 divide o?
True
Let h be 134*(-2 - (-12)/8) - -2. Let z = h - -131. Is 6 a factor of z?
True
Let s(t) = -81*t - 13. Let y(r) = -81*r - 11. Let n(i) = -4*s(i) + 5*y(i). Let d be n(-9). Suppose 0 = -4*v + f + d, 0*f - 8 = 4*f. Is v a multiple of 32?
False
Let r(c) = 32*c - 164. Let v be r(4). Does 5 divide (405/v)/(1/(-12))?
True
Let l = 32815 - 13630. Is 227 a factor of l?
False
Let r be -2*(-6)/(-8)*46/69. Is (300/(-40))/(r/24) a multiple of 20?
True
Suppose 3997 - 4105 = -18*j - 0*j. Let u(p) be the third derivative of p**5/10 - p**4/12 + 3*p**3 + 2*p**2. Does 14 divide u(j)?
False
Suppose 7*h + 20 = -134. Let f be -2*(-10 - (2 - 1)). Let y = f - h. Does 22 divide y?
True
Is 143 a factor of 453*(106/10 + 15/(-25))?
False
Suppose 4*p - g = 19, -5*g + 6 - 1 = 5*p. Suppose p*b = -4*z + 240, -2*z - 115 = -3*b + 40. Does 5 divide b?
True
Let a = 709 + -699. Is (1 - a) + 68*7 a multiple of 13?
False
Suppose -2*j = -5*p - 1131 - 32, 1148 = 2*j - 2*p. Let z = -229 + j. Is 28 a factor of z?
False
Suppose -j = 5*m - 33520, 0 = -136*j + 131*j + 7*m + 167600. Is j a multiple of 16?
True
Suppose 886 - 346 = 5*w. Suppose f - 3 = i + 4*f, -5*i + 5*f + 45 = 0. Suppose 486 - w = i*o. Is o a multiple of 17?
False
Let i(r) = 48*r**2 - 24*r - 317. Is 15 a factor of i(18)?
False
Let b be -17 + -181 + (6 - 0). Let q = b + 231. Is 23 a factor of q?
False
Suppose -r - 7*b = -4*b - 17, -3*b + 12 = 0. Does 54 divide (r - (8 - -1)) + 490?
True
Suppose 42 = 2*y + 10. Let j = 12 - y. Does 2 divide 2 - (1 - (-20)/j)?
True
Suppose -12 = 14*u - 20*u. Suppose u = 62*b - 61*b. Suppose -i - 670 = -4*i + b*r, 4*i - 890 = 2*r. Does 14 divide i?
False
Let h = -2348 - -2296. Let l(n) = -30*n + 4. Let p be l(4). Let d = h - p. Is 8 a factor of d?
True
Does 9 divide (-1*(-2)/(-6))/((-11)/50886)?
False
Suppose -3*f = -3*m + 201, 4*f + 15*m + 304 = 10*m. Let u = f - -115. Is u a multiple of 22?
True
Let u = 23 - 16. Suppose 30 = 2*p - 3*z + 14, -16 = 2*p + 5*z. Suppose -5*r + 291 = 2*k, -2*r - u*k + 108 = -p*k. Is r a multiple of 12?
False
Suppose 0 = 3*q + 4*u - 25, q + 5*u = 2*u + 15. Does 5 divide (-2)/5*(7200/q)/(-8)?
True
Let y be 870/27 + (-7)/189*6. Let l = y - -57. Is 2 a factor of l?
False
Let b(m) = m**2 + 14*m + 10. Let n be b(-20). Let o be (-33)/99 - n/(-12)*10. Is 6 a factor of (-2)/(-9) - 172*(-30)/o?
True
Let r = 25 - 23. Suppose -2*j + r*k + 610 = 0, -1220 = -4*j + 