ltiple of 34?
True
Suppose -5812 + 378 = -13*w. Does 22 divide w?
True
Let a(v) be the second derivative of -v + 0 - 2/3*v**3 - 2*v**2. Does 2 divide a(-2)?
True
Suppose -4*i - 218 = -2*k - 18, 0 = -k + 4*i + 104. Let o = -26 - -29. Suppose -k = b - o*b. Is b a multiple of 13?
False
Suppose 9*a + 1860 - 5532 = 0. Does 34 divide a?
True
Let r = -120 + 125. Does 5 divide r?
True
Suppose 0 = 13*t + 54*t - 60099. Is 23 a factor of t?
True
Let z be ((-11)/(-22))/((-1)/(-276)). Suppose z = -4*g + 782. Is 41 a factor of g?
False
Let i(r) = r + 13. Let y(x) = 2*x + 27. Let l(h) = -10*i(h) + 6*y(h). Does 9 divide l(15)?
False
Let q(m) = m**2 - m + 9. Does 9 divide q(-8)?
True
Suppose 4*p - 4 = 0, -l + 26 = -4*l - p. Is 35 a factor of 70/(3*(-2)/l)?
True
Let l(m) = 3*m**3 + 5*m**2 + 2. Let j be l(3). Suppose 94 = 2*s + q - 5*q, 4*q - j = -4*s. Does 21 divide s?
False
Let a(j) = 14*j**2 - 13*j + 5. Does 9 divide a(-3)?
False
Let x(d) = 4*d - 9. Let f be x(-8). Let t = f + 143. Is 17 a factor of t?
True
Let q = 186 - 142. Is q a multiple of 6?
False
Suppose -3*o + 3 = -6. Suppose 5*g - 20 = 0, 2*g + 12 = 5*v - o*v. Suppose a - 5 - v = 0. Does 4 divide a?
False
Suppose -14*x + 12*x - 2*z - 84 = 0, -2*x - 4*z - 78 = 0. Suppose 2*f - 2*q - 152 = -0*f, -q = -5*f + 368. Let k = f + x. Is k a multiple of 9?
False
Suppose 0 = 4*k - 1779 + 387. Does 24 divide k?
False
Let j = 9 + 57. Suppose j = -8*y + 306. Is 9 a factor of y?
False
Let k be 1 - 76/(-8)*6. Let m = k - 88. Let y = m - -57. Does 9 divide y?
True
Suppose -4*l = l - 415. Suppose l = m - 5*m - 3*x, -3*m + 5*x - 55 = 0. Is 6 a factor of m/(-1) + 3 + -6?
False
Is 351 - (18 - 9 - 3) a multiple of 5?
True
Let d be 2 - 4/((-16)/12). Let u be 2/d + 16/10. Suppose -3*s = -3, 5*b - 2*s - 441 = u*s. Is 23 a factor of b?
False
Suppose 0 = -3*k + 5 - 2, -2*k - 228 = -5*p. Let n = p + -31. Is 10/n*54/4 even?
False
Let z(n) = 2*n**3 - 12*n**2 - 19*n + 239. Is z(9) a multiple of 28?
False
Suppose -4*o + 2*o = -2*z - 216, -2*o - 2 = 0. Let y = z + 193. Is y a multiple of 12?
True
Let t be (10/4 - 3)/(1/(-6)). Suppose 304 = t*h + 3*j - j, -5*j = -5*h + 540. Is h a multiple of 13?
True
Is 36 a factor of (-24)/(-11) + -2 - 7110/(-99)?
True
Let f be (1 - 2)*(-20 - -16). Suppose x - 325 = -f*x. Is x a multiple of 12?
False
Let b = -752 - -902. Is b a multiple of 10?
True
Suppose 4*s - 2*l - 8 = 0, 2*s + 3*l - 16 = l. Suppose -a - s*j = -0*j + 22, 25 = -5*a - 3*j. Let k = a - -20. Does 13 divide k?
False
Is (-14)/((-1 + -2)/18) a multiple of 3?
True
Suppose 0 = 4*t - 9*t + 20. Suppose 0*y = -y - t*r, y - r = 0. Suppose y = -3*n - n + 72. Is n a multiple of 6?
True
Let a(y) = -y - 3. Let c be a(-14). Let f = -21 + c. Is 10 a factor of (480/75)/((-2)/f)?
False
Let v = 112 - 110. Let p(o) = o**3 + 3*o**2 - 2*o + 5. Does 3 divide p(v)?
True
Let u(d) = 41*d**2 + 10*d - 11. Is u(1) a multiple of 22?
False
Suppose -71*m = -67*m - 1096. Let f = -183 + m. Is f a multiple of 17?
False
Suppose -2*s - 12 = -5*o, 4*s = o - 2*o + 20. Suppose -u - 10 = s*u. Is (-38)/(-6)*3 - u a multiple of 8?
False
Let l be (-64)/(-10) - (-30)/(-75) - 4. Suppose 0*j + 108 = 3*j. Suppose -j = -l*t + 8. Does 7 divide t?
False
Suppose -30 = 40*v - 37*v. Is 32/v*(-20)/8 even?
True
Let g(m) be the first derivative of 3*m**3 - 2 - 1/4*m**4 - 5*m - 3*m**2. Is g(7) a multiple of 17?
True
Let q(m) = 4*m - 4. Let i be q(2). Suppose 4*g + 4*z - 3*z - 1 = 0, 4*z - i = g. Is 14 a factor of 1/(g - 1/(-28))?
True
Suppose 0 = 3*p - 2*z + 21, 3*p = -5*z - 11 - 10. Let m(t) = t**3 + 7*t**2 + 5. Let v be m(p). Suppose -176 = -v*f + f. Is 9 a factor of f?
False
Let h = 8 - -5. Is h even?
False
Let t be 3/(4 - 7) + 0. Is 9 a factor of (1/(t/129))/((-3)/3)?
False
Suppose -87 = -3*g - 0*k + 3*k, -3*g - 4*k + 108 = 0. Suppose 2*p - 4*p = -g. Suppose 0 = 5*h - u - 90, -3*h + 5*u + p + 38 = 0. Is h a multiple of 6?
True
Let c(f) = 22*f - 9. Let b be (-31)/(-6) - (-3)/(-18). Let y be c(b). Let s = y - 44. Is 19 a factor of s?
True
Let v = 1150 + -25. Is v a multiple of 18?
False
Let t(s) = 6*s**2 + 1. Let v be t(-1). Suppose 0 = 5*f - 13 - v. Does 2 divide f?
True
Suppose 0 = -14*o + 11*o + 21. Let k(a) = -a**3 + 9*a**2 - 5*a - 3. Let c be k(o). Suppose 10*n - c = 5*n. Does 6 divide n?
True
Suppose 7*q - 25 = 2*q. Suppose -8*v = -q*v. Suppose 5*l - 4*h - 220 = h, v = 4*l - h - 188. Is 12 a factor of l?
True
Suppose -561*k + 571*k = 30240. Is 107 a factor of k?
False
Does 7 divide 2/(-19) + (-22)/(418/(-17197))?
False
Suppose 11*a = 7*a - 56. Does 7 divide (90/4)/(-9)*a?
True
Suppose -4*r + 19 = 3*v + r, 3*r - 6 = 0. Suppose v*a = 2*a + 5. Is 7 a factor of a/(-15) + 100/3?
False
Suppose 3*i = -5*l + 51 - 9, -5*l = -i + 14. Let j = i + -24. Let n = 23 - j. Is 11 a factor of n?
True
Let d = 12 + -10. Suppose y = -d - 4. Let l = 9 - y. Does 5 divide l?
True
Let w(b) = -2*b**2 + 2*b - 2. Let l be w(1). Is 30 a factor of -1 + 64 - (l - 2 - -7)?
True
Suppose -5*p - a + 920 = 0, 0 = -2*p - 3*a + 235 + 133. Is p a multiple of 23?
True
Suppose 5*n = 2*n + 684. Let h be 1/(1 + n/(-230)). Suppose 107 = 3*o - h. Is 27 a factor of o?
False
Let r be (-518)/(-21) + 2/(-3). Let d = r - -42. Let j = d + -20. Does 10 divide j?
False
Suppose -4*g - 577 = -g - 5*b, 0 = 3*g - 3*b + 579. Let s = -398 - g. Let p = -132 - s. Is 24 a factor of p?
True
Suppose 4*w = -4*x, -w + 5*x + 19 + 11 = 0. Suppose -w*q = -11*q. Suppose q = -5*k + 42 + 93. Does 9 divide k?
True
Is 12 a factor of ((-3149)/(-188))/((-1)/(-44))?
False
Let w(z) = -219*z - 60. Does 26 divide w(-5)?
False
Suppose 0 = 7*q - 18 + 4. Suppose -3*c + 3 = 0, -c = 6*t - q*t - 145. Is t a multiple of 8?
False
Let p be -12*(-4 - (-1 + 4)). Let q = 11 + p. Is 41 a factor of q?
False
Let p(u) be the first derivative of -6 - 2*u + 3/4*u**4 + 1/3*u**3 + u**2. Is 10 a factor of p(2)?
True
Let n = -1243 - -1749. Is 15 a factor of n?
False
Let b = -3366 - -4993. Is b a multiple of 27?
False
Suppose 4*a = 3*a + 60. Let s = a - -15. Let q = s + -43. Is q a multiple of 22?
False
Suppose 2204 = 4*g + 5*b, -2*g + 655 = b - 441. Is g a multiple of 9?
False
Let r(x) = x**3 - x**2 - 2*x - 11. Does 2 divide r(4)?
False
Suppose -37*w - 3144 = -45*w. Does 10 divide w?
False
Is -4 + (949 - ((-2)/1 + -3)) a multiple of 10?
True
Let c be -2*1/(-2)*15. Suppose -2*l - 9 + c = 0. Suppose -5*a + 2*g + 52 = 0, -7 = l*a - g - 39. Is a a multiple of 12?
True
Does 14 divide (-140)/(-8)*24/15?
True
Suppose 0 = 5*h + 4*z - 5738, -2*h - 4*z + 2476 - 188 = 0. Is h a multiple of 79?
False
Suppose -4*d + u - 260 = 83, 5*d + 5*u = -460. Let h = -11 - d. Suppose -5*s = -3*s - h. Is 9 a factor of s?
False
Is 9 a factor of 0 + 35/(-28) + 10445/4?
True
Let n(z) = -3*z**2 + 28*z - 7. Let j be n(9). Let i be (-6)/(-4)*4/(-3). Let r = j - i. Does 2 divide r?
True
Suppose 23*w = 25*w + 3*f - 348, -3*w = -4*f - 556. Is 5 a factor of w?
True
Is 3/3 + (287 - (6 - 7)) a multiple of 25?
False
Let x(d) = d + 1. Let k be x(6). Is 4 a factor of (-454)/(-28)*2 - 3/k?
True
Suppose 5*y + 17 = -13. Let p = 6 + y. Let x = p - -86. Is 19 a factor of x?
False
Let z = -3536 + 6461. Suppose -7*y = -z + 888. Is y a multiple of 54?
False
Suppose -2442 = 6*v - 17*v. Suppose -5*i = 2*u - 547, -6*i - 4*u + v = -4*i. Is 17 a factor of i?
False
Suppose 0 = -18*n + 13442 + 3442. Is n a multiple of 10?
False
Let l = 3638 - 2524. Is l a multiple of 20?
False
Suppose -3*n - 3*o + 1980 = 0, -3*n + o - 1316 = -5*n. Is 82 a factor of n?
True
Is 30 a factor of ((-520)/(-16))/(-13)*-168?
True
Let n be 24/(-28)*49/(-1). Suppose 0 = -0*b + b - n. Is b a multiple of 14?
True
Let k(y) = 144*y + 333. Does 29 divide k(14)?
True
Let o = 16 + -13. Is (16/o)/(2/30) a multiple of 16?
True
Suppose 4 + 7 = -k + 3*y, -10 = 4*k + 5*y. Is (3 + -1)*-28*10/k a multiple of 16?
True
Let k be -4*(314/8 + -4). Let v = -91 - k. Does 14 divide v?
False
Let t be 1/6 + (-70)/(-12). Let k be 5*t*(-10)/15. Is (132/k)/((-4)/20) a multiple of 10?
False
Let y = 14 + 36. Let j = -30 + y. Is 10 a factor of j?
True
Suppose 2*n = -6 + 18. Suppose 0 = -8*z + n*z - 24. Let l(o) = -o**3 - 12*o**2 - 4*o - 10. Does 17 divide l(z)?
False
Let h = 95 + 55. Is 3 a factor of 13/(65/h) + -1?
False
Suppose 0 = 300*s - 271*s - 81432. Does 54 divide s?
True
Let w(z)