
True
Suppose 7*x - 12*x = -235. Suppose x = 4*z - 37. Does 3 divide z?
True
Suppose 5*s + 14245 = -35*y + 37*y, -5*s = -3*y + 21355. Is y a multiple of 17?
False
Let q(o) = -36*o + 20. Let l(b) = -b + 1. Let r(k) = 5*l(k) - q(k). Is 37 a factor of r(3)?
False
Let u = -3636 + 10438. Is 5 a factor of u?
False
Suppose 31*b - 172009 = -39*b - 23469. Is b a multiple of 4?
False
Let b = 11413 + 284. Is 7 a factor of b?
True
Suppose 522701 = 41*t + 134437 - 501641. Is t a multiple of 32?
False
Let q(g) = 454*g - 262. Is 179 a factor of q(6)?
False
Let a(k) be the third derivative of k**6/120 - k**5/60 + 625*k**3/3 + 18*k**2. Let g be a(0). Suppose -2*o + g = 8*o. Is o a multiple of 25?
True
Let o = 177 + -346. Let j = o + 353. Is j a multiple of 23?
True
Let j = 223 - 225. Let k(n) = 80*n**2 - 2*n - 5. Is 18 a factor of k(j)?
False
Let f(u) = 5*u - 6. Let s(t) = 6*t - 5. Let w(a) = 5*f(a) - 4*s(a). Let g be w(13). Let x(b) = 2*b**3. Does 9 divide x(g)?
True
Let r(d) = 2*d**2 - 12*d + 10. Let y(j) = j**3 + 9*j**2 - 23*j - 3. Suppose -2*f - 2*l - 20 = 0, -5*f - l - 24 = 30. Let g be y(f). Is r(g) a multiple of 17?
False
Let x be (160 - -4)*(2 + 14). Suppose 704 - x = -10*k. Is 7 a factor of k?
False
Let t be ((-5)/(-2))/(7 - (-44172)/(-6312)). Let r = 2195 - t. Is 31 a factor of r?
False
Suppose -2*w = -7*w - 135. Let k = w + 33. Suppose k*z + 17 = 77. Is 2 a factor of z?
True
Let f = 56894 + -3272. Is f a multiple of 81?
True
Let w(z) = -z**3 + 7*z**2 - z + 3. Suppose -4*g + 2*h - 8 = 0, 0 = -2*g + 2*h + 7 - 15. Suppose -4*f + 20 = -g. Is w(f) a multiple of 16?
True
Let w(i) = -i**3 + 33*i**2 + 12*i + 16. Let m be w(31). Suppose 0 = -7*g + 28*g - m. Is 11 a factor of g?
True
Let v be ((-16)/(-14))/((-5)/((-105)/6)). Let p(u) = -6 - 10*u - v*u + 8*u - 9*u. Is p(-4) a multiple of 9?
True
Let x = 147 + 553. Suppose -x*b + 698*b = -224. Is b a multiple of 8?
True
Suppose 17*i = 6*i + 891. Does 3 divide (-3)/(-2)*432/i?
False
Let x(l) = 18*l**2 - 36*l + 3. Let v be x(2). Suppose -5*t - 4*y + 9*y = -1555, v*y = -9. Is t a multiple of 3?
False
Suppose 3*a + 2068*c = 2070*c + 42258, -2*c = -2*a + 28176. Is a a multiple of 47?
False
Let x(m) = -7*m + 31. Let i be x(6). Is (853/4)/(405/36 + i) a multiple of 21?
False
Let g(a) = -12*a - 79. Let x be g(-7). Suppose 0 = 2*j + 4, 5218 = 2*o + 2*o - x*j. Does 16 divide o?
False
Let l be (-261)/(-29) - (0 + 0). Suppose -16*c + 378 = -l*c. Does 2 divide c?
True
Let l(n) = n**3 - 5*n**2 + 8*n - 10. Let y(x) = x**2 + 15*x + 59. Let t be y(-6). Is 30 a factor of l(t)?
True
Suppose 5*s = -2*a + 2*s - 385, a = 2*s - 182. Suppose 5*o - 4*d - 65 = 0, 0 = 5*d + 9 - 34. Is 0/o - a/2 a multiple of 21?
False
Suppose 23*w - 84 - 31 = 0. Suppose -3*m = -o + 64 + 419, 0 = w*m + 25. Is o a multiple of 12?
True
Let q be (-6)/(-9)*(-18)/12. Let w(u) = -28*u**3. Let i be w(q). Is (6/(-4))/((-6)/i) a multiple of 6?
False
Suppose 2*d = c + 3 + 2, -d = -3*c. Let a be 2/(-3)*927*(-6)/12. Suppose 7*o + 20 = d*o, -o = -4*j + a. Is j a multiple of 19?
True
Suppose 4*x = -18*b + 14*b + 1508, 3*b = 2*x + 1136. Is 48 a factor of b - 2*(-3)/1?
True
Suppose 5 = -5*k, k + 2*k - 3 = -2*g. Let h(f) = 22*f**2 - 2*f + 12. Is h(g) a multiple of 34?
True
Is 21 a factor of (-17)/(238/(-64484)) + 14?
True
Let k be (35 - 3)/4 + 4 + -8. Let t(q) = -q**2 + 13*q - 26. Is t(k) a multiple of 6?
False
Let t = 1092 + 1383. Is t a multiple of 15?
True
Suppose 0 = 2*f - 3*z - 19, -f - 3*z - 1 = -6. Suppose 3*d + 2*g - 72 = 0, 128 = 5*d + 2*g + f. Is 8 a factor of d?
True
Let p = -7958 + 17539. Is p a multiple of 8?
False
Let t be (-2*2/(-6))/(12/18). Let r be 90/(t - 0)*30/(-45). Let b = r - -65. Is 5 a factor of b?
True
Suppose -3*m + 2*m + s - 16 = 0, -5*m - 130 = 5*s. Let h(j) = -j**3 - 20*j**2 - 11*j - 31. Is 70 a factor of h(m)?
False
Suppose -11*r = -29687 - 64165. Is 12 a factor of r?
True
Suppose 57*z + 4*f + 1692 = 58*z, 4996 = 3*z - 2*f. Is z a multiple of 4?
True
Suppose -30287 = -21*x - 7397. Is 5 a factor of x?
True
Let i(h) = -105*h - 93. Let k(z) = 26*z + 23. Let a(r) = -2*i(r) - 9*k(r). Suppose -69 = 25*l - 2*l. Is a(l) a multiple of 5?
False
Let f(t) = -382*t - 51 - 112*t - 561*t + 52. Is 22 a factor of f(-1)?
True
Suppose 9*c - 5*c = 2*x + 130, 0 = 5*c + 4*x - 169. Let d = c + 44. Suppose 0 = -3*y - 11 + d. Does 22 divide y?
True
Suppose -3699540 = -44*l - 226*l. Does 13 divide l?
True
Suppose -2241 = -5*u - 10*r + 8*r, 0 = -3*u + r + 1338. Is u a multiple of 30?
False
Suppose 29*z = 42*z + 77077. Is z/(-343) + (-2)/7 a multiple of 4?
False
Suppose -154*m + 5*q - 2856 = -155*m, 2*q - 14280 = -5*m. Does 28 divide m?
True
Let j(w) = -w**3 + 7*w**2 - 4*w - 4. Let c be j(6). Suppose -c*t + 285 = -459. Let b = t + -39. Is b a multiple of 9?
True
Let w(b) = b**3 + 14*b**2 + 15. Let i(a) = a**3 + 9*a**2 + 10*a + 2. Let r be i(-8). Let h be w(r). Is 4/((-12)/9) + h a multiple of 4?
True
Let q(x) = -5*x + 84. Let n(m) = m. Let h(k) = 3*n(k) - q(k). Let y be ((-126)/28)/(4/(-3)*(-5)/(-40)). Does 22 divide h(y)?
True
Let m = -19387 + 34351. Does 129 divide m?
True
Suppose -35*c + 31*c - 2*a = -9366, 4*c = -a + 9367. Is c a multiple of 6?
False
Is 65 a factor of 16838 + -2 - (-118 + 119)?
True
Suppose -10803 = -4*m - r - 2*r, 2*m - 2*r - 5398 = 0. Is 14 a factor of m?
False
Is 52 a factor of 502 - 17 - ((1 - 6) + 9)?
False
Let d = 83 + -86. Let r(b) = -13*b**3 + b**2 + 16. Does 47 divide r(d)?
True
Suppose 0 = 2*w + 14, 5*o + 272*w - 3464 = 274*w. Is o a multiple of 4?
False
Is 2 a factor of (3 - -1)/((-480)/(-16680))?
False
Suppose 2*t - 17 = -5*v, 0 = -v - 5*t + t - 11. Suppose 3*p - 4*j - 7 = 0, -p + v*j + 1 = 4*j. Is 2 a factor of -8*p/6 - -4?
True
Suppose -6*a = -746 - 1444. Let b = 628 - a. Is b a multiple of 2?
False
Let m(b) = b**2 + 2*b - 5. Let t be m(-4). Suppose 0*j = t*j + 114. Does 12 divide (6 + 2)/((-4)/j)?
False
Suppose 4*k - 27 = 29. Let d(y) = y. Let o be d(k). Suppose 3*n - 70 = o. Is 14 a factor of n?
True
Let y be (92/(-20) - -4) + ((-4032)/5)/(-14). Suppose 0*s - 4*s - 4 = -c, 2*c + 4 = -4*s. Is 21 a factor of y - (0 - -3)*s?
False
Suppose 4*f + 16 = 28. Suppose r = -4*s - 306, 0 = -5*s - 7*r + f*r - 388. Let n = -57 - s. Is n a multiple of 6?
False
Suppose -17 + 23 = q. Let f be 15/q - (-3)/6. Suppose -f*o = -104 - 160. Is 12 a factor of o?
False
Suppose 2*m = 2*y + 78, 3*y - 4*y + 176 = 4*m. Suppose -52*t + 6075 = -m*t. Is t a multiple of 25?
True
Let n(y) = -172*y**3 - 5*y**2 - 57*y - 110. Is 42 a factor of n(-6)?
False
Let c = 129 + -116. Suppose c*g - 848 - 1674 = 0. Suppose d - 2*y = y + g, 3*d + 4*y - 530 = 0. Is 15 a factor of d?
False
Let i(q) = 4*q + 25. Let b be i(-5). Suppose 3*m + 2*a = b*a + 1329, -3*m = a - 1309. Does 32 divide m?
False
Let r(o) = -o**3 - 3*o**2 - 19*o - 94. Let u be r(-6). Let c be -1*2 + (-214)/(-1). Let q = c - u. Is q a multiple of 28?
True
Suppose -43*h - 28 + 243 = 0. Does 18 divide (338/(-6))/(h/135*-3)?
False
Suppose -2*c - 317 = 1061. Let n = c + 1046. Does 13 divide n?
False
Let i = 599 - -1643. Is 63 a factor of i?
False
Suppose a - 7493 = k, -33*a + 30*a + 22504 = 2*k. Is 191 a factor of a?
False
Let q be (-1 - 0)/((-15)/(-225)). Let r(g) = g**2 + 17*g - 30. Let x be r(q). Is 5 a factor of 244*(21/x - (-21)/35)?
False
Suppose -665*v + 696*v - 670716 = 0. Is 12 a factor of v?
True
Suppose 14*g - 125 = -83. Suppose -3298 = -5*x - 3*w + 5*w, -g*x = -2*w - 1978. Is 10 a factor of x?
True
Is 7/(-56) + 0/(-5) - 127203/(-24) a multiple of 10?
True
Let i = 34 + -32. Suppose -2*v + i = -v. Suppose -5*d = 4*h - 46 - 83, v*d = 5*h + 78. Is 4 a factor of d?
False
Suppose 5*z - 2*f + 1115 + 105 = 0, -3*z + 2*f = 736. Let g = -127 - z. Is g a multiple of 12?
False
Let m(b) = 12*b**2 + 23*b + 73. Suppose 3 = -2*s - 4*r - 11, r - 28 = 4*s. Is 10 a factor of m(s)?
True
Suppose 0 = -c + 32 + 104. Let p be 10*(4 + 9/(-2)) + 91. Let y = c - p. Is 25 a factor of y?
True
Does 27 divide (-23650783)/(-1896) - (-2)/(-48)?
True
Let f = -6857 - -7593. Is f a multiple of 15?
False
Let g(d) = 10*d - 24. Let f be g(17). Suppose 3*t - f = 7*k - 2*k, -214 = -5*t + k. Is t a multiple of 20?
False
Let t be -24 + 27 + (370 - -2). Suppose 5*c - 4*r - 2932 = 0, -2*c + 799 + t = -r. Is c a multiple of 14?
True
Let b = 2191 + 