le of 68?
True
Let q(a) = -a**2 + 2*a**3 - 3*a**3 + 2*a - 9 + 8*a**2. Let y be q(8). Is 38 a factor of y/4*252/(-27)?
False
Let q be (-3)/(-6)*9*14/21. Suppose -158 + 209 = q*c. Suppose -21*v + 832 = -c*v. Does 26 divide v?
True
Let d(q) = 1401*q**3 - 10*q**2 + 7*q - 99. Is 33 a factor of d(4)?
False
Let i be -8 + (22 - 11) + 22/(-2). Let w(u) = u**3 + 21*u**2 + 27*u + 24. Is w(i) a multiple of 64?
True
Let i(n) = -n**2 - 8*n + 3. Let l be i(-4). Suppose 0 = 4*w + l - 3. Let j = 65 + w. Is j a multiple of 10?
False
Let j = -284 - -251. Let r(i) = -5*i**3 + 4*i**2 + 6*i + 3. Let v be r(6). Does 9 divide v/j + 4/(-22)?
True
Suppose 6489441 + 2363883 = 113*q. Does 30 divide q?
False
Suppose -4*p - 4*a + 2 = -14, 5*p + a = 20. Suppose -304 = -2*f - 4*z, p*z + 32 + 240 = 2*f. Is 32 a factor of f?
False
Let m(y) = 2*y**3 + 118*y**2 - 115*y - 336. Does 89 divide m(-56)?
True
Let m(w) = -3*w**3 + 18*w**2 - 11*w + 23. Let r(f) = f**3 - 9*f**2 + 5*f - 11. Let n(b) = 2*m(b) + 5*r(b). Is 10 a factor of n(-11)?
True
Let v be 8/(-10)*15/1. Let i be v/(-66) + (-1962)/22. Let g = i - -165. Is 38 a factor of g?
True
Suppose -3 = -2*v - y + 10, -41 = -4*v + y. Suppose -1 + v = 2*c. Suppose 2*o + 92 = c*o. Is 5 a factor of o?
False
Suppose -4*n - 3*s = -4415, -3*s + 412 = 3*n - 2897. Is 14 a factor of n?
True
Suppose -275*i + g = -277*i + 1364, 2*i + 4*g = 1370. Is i a multiple of 13?
False
Let q(c) = -78*c + 712. Is q(-23) a multiple of 32?
False
Let f(w) = 854*w - 2490. Is 205 a factor of f(25)?
True
Let p = 3792 - 2419. Is 25 a factor of p?
False
Suppose 0 = -146*r + 142*r + 2828. Does 22 divide r?
False
Suppose 4*w + 688 = -5*i, 0 = 3*w - i + 4*i + 519. Let s = 55 - w. Suppose 0 = 4*f - r - 194, -3*r = 5*f + r - s. Is 16 a factor of f?
True
Let u(q) = 2*q - 1. Let t be u(7). Suppose t = y - 53. Let h = y - 39. Is h a multiple of 27?
True
Suppose -5*b = -o + 8, -2*o + 17 = 2*o - 5*b. Let d be (-1)/o*-1 - 14/42. Suppose d = 9*r - 140 - 40. Is r a multiple of 20?
True
Suppose -m + 142970 = -2*f, -f + 33131 - 104623 = -4*m. Is 62 a factor of f/(-63) - 2/(-6)?
False
Let f = 19229 + -7619. Is 73 a factor of f?
False
Let g(v) = -147*v - 49. Let b be g(-15). Suppose -5*o - 266 = -b. Is 14 a factor of o?
True
Let w be (-4)/(-10) + (-26)/(-10). Suppose 0 = -33*k - 11*k - 6*k + 150. Suppose 0 = -3*i + w, 5*i + 36 + 25 = k*c. Does 3 divide c?
False
Suppose 0 = -697*d + 685*d + 1716. Is 11 a factor of d?
True
Suppose 0 = -b - 5*y + 103 - 62, 3*b - 2*y = 38. Suppose 3*k - 5 = 2*q, 5*q - 2*k = k + 10. Suppose 180 = 4*l - q*j, -3*l - 4*j + b = -150. Is 25 a factor of l?
True
Let a be ((-9)/(-6))/(1/((-140)/(-3))). Let n = 74 - a. Is 5 + 644/12 + n/3 a multiple of 20?
True
Suppose -12*n + 153 = -99. Suppose n = 8*c - 7*c. Is 3 a factor of c?
True
Is 21 a factor of (3564/42 + -6)*(-945)/(-10)?
False
Suppose 2087 = 29*p - 24*p + i, -3 = i. Does 5 divide p?
False
Suppose 5*l + 2*r - 4 = 3*l, 5*l + 3*r = 6. Suppose -2*a + 392 = 2*k, 2*a + l*a - 4*k = 386. Does 20 divide a?
False
Let l(y) be the second derivative of 34*y**3/3 - 54*y**2 + 197*y. Is l(6) a multiple of 5?
True
Let f(p) = -3*p - 20. Let l be f(-14). Let c be l/33 + (-586)/6. Let u = c - -184. Is u a multiple of 17?
False
Suppose 29*g = -437 + 2641. Suppose g - 478 = -6*m. Is 20 a factor of m?
False
Suppose -k = 4*h + 29165, h + 7295 = -26*k + 25*k. Does 35 divide -7 + h/(-9) + -5*1?
False
Let j(a) = -a**3 - a + 6. Let r be j(0). Suppose -4*x - 28 = 5*o + r, 4*o + 23 = x. Let t(i) = -i**3 - 7*i**2 - 11*i. Does 5 divide t(o)?
True
Let v = 2280 - 1880. Does 80 divide v?
True
Suppose 2*w - 21 = 19. Suppose w*t - 690 = 2950. Is t a multiple of 4?
False
Suppose 7*u + 3471 = -736. Let d = 722 + u. Is 11 a factor of d?
True
Suppose -f = -15 - 2. Suppose 4*a = y + 23, y = -8*a + 4*a + f. Suppose 5*m = -2*h + 79, a*m + 19 = 2*h - 70. Does 7 divide h?
True
Let g(v) = v**3 + 25*v**2 - 234*v - 26. Does 13 divide g(-26)?
True
Suppose 14*u - 9*u - 45 = 0. Suppose 3590 = 19*j - u*j. Is 12 a factor of j?
False
Suppose 0 = -9*c + 4 - 40. Does 18 divide c + (-3 - -3 - -5) - -666?
False
Let i(l) = 3*l + 11. Let m be i(7). Let g be m - 1/(2/(-8)). Suppose -c = 4*u - g, -3 - 6 = -u + c. Does 2 divide u?
False
Let t(q) = -174*q - 11726. Is 34 a factor of t(-135)?
True
Let k(g) = 2*g. Let v be k(-14). Let n(m) = -5*m - 38. Let w be n(-8). Does 9 divide w/(-7) - (-3 - (-428)/v)?
True
Suppose -8*o + 27*o = 1007. Let y = o - -496. Is 35 a factor of y?
False
Suppose 29*v + 2415 = 3*k + 32*v, 0 = -2*k - 5*v + 1622. Is k a multiple of 20?
False
Let v = -5 - -5. Let u(o) be the second derivative of o**3/6 + 23*o**2 + 3*o - 6. Does 23 divide u(v)?
True
Suppose -3*q + 590 = 4*b, 4*b - 191 - 803 = -5*q. Suppose 3*l + o = -187, -4*o + q = -3*l - 2*o. Does 16 divide 48/l - 835/(-4)?
True
Suppose 0 = 4*x + 224*a - 222*a - 1514, 3*x = -3*a + 1131. Does 5 divide x?
True
Suppose 0 = -4*g - 162*g + 443884. Is g a multiple of 10?
False
Suppose -28*k = -8030 - 3170. Is 19 a factor of k?
False
Let r = -3775 - -14773. Is r a multiple of 78?
True
Let l(w) = 32*w**2 - 561*w + 81. Does 11 divide l(20)?
True
Let n(h) = 16*h + 16. Let y(p) = 31*p + 33. Let f(b) = 5*n(b) - 3*y(b). Let k(z) = -1. Let v(j) = f(j) + 2*k(j). Is v(-5) a multiple of 11?
True
Suppose -329380 = -32*m + 123804. Does 147 divide m?
False
Let m = -2028 + 3605. Does 83 divide m?
True
Let q = -537 - -540. Suppose -q*x - 7*b = -2*b - 690, 3*b = x - 230. Is 5 a factor of x?
True
Let r be (7/6)/((-15)/(-90)). Suppose r = c + 2*k + 2*k, -9 = -2*c - 3*k. Is 16 a factor of 20/1 - 12/c?
True
Let j(s) = -s**3 + 125*s**2 + 706*s - 802. Is 75 a factor of j(130)?
False
Let x(m) = -7*m + 68. Let v be x(9). Suppose v*d = 29*d - 14688. Is 12 a factor of d?
True
Let s = -346 - -416. Let i = 187 - s. Is i a multiple of 13?
True
Let w(o) = 37*o**2 + 43*o - 26. Does 23 divide w(6)?
True
Suppose -12*o = -8*o + h - 4, h - 4 = 0. Suppose o = -3*z + 2*g + 344, -z - 5*g + 18 = -91. Is z a multiple of 9?
False
Let r(q) = q**2 - 5*q - 33. Let f be r(9). Let v(x) = 4*x**2 - 412*x - f*x**2 + 345 + 410*x. Is 28 a factor of v(0)?
False
Let t(a) = -16*a - a**2 + 5*a**2 + 105153 - 105121. Does 40 divide t(10)?
False
Let q(v) = -v**3 - 2*v**2 + 25*v - 20. Let c be q(-12). Suppose 7*y - c = -y. Does 20 divide y?
True
Let j be 7 + (-8 + -5 - -8). Is (-1 + j)*1602/6 + 3 a multiple of 15?
True
Suppose z - 44 = -21*z. Suppose -5*s + z*s = -636. Does 9 divide s?
False
Let t be ((42/(-105))/(1/35))/(-1). Let b = 967 - 499. Suppose t*r - b = r. Does 6 divide r?
True
Let w = -265 - -1585. Suppose m = 7*m - w. Does 43 divide m?
False
Let h = 15500 + -8798. Does 36 divide h?
False
Let z be 67 + (0 + 6 - 5). Suppose z = -n + 2*n - 2*g, -5*n - g = -351. Is 10 a factor of n?
True
Let n(u) = -3*u + 30. Let y(h) = -1. Let m(v) = -n(v) - 15*y(v). Does 22 divide m(14)?
False
Let f = -13 - -32. Suppose -f = -4*u - m, 7 = 4*u - 3*m - 0*m. Suppose 4*n - 251 = -3*p, -n - 6*p + 69 = -u*p. Does 11 divide n?
False
Let h = -332 + 1004. Is h a multiple of 4?
True
Let r = -252 + 251. Suppose -2*w = 2*l - 7*w - 102, 5*w = -2*l + 82. Let f = r + l. Does 14 divide f?
False
Let w(y) = -67 - 13*y + 8*y + 8*y + 8*y. Is 19 a factor of w(11)?
False
Let p(y) = -5*y**3 - 8*y**2 + 9*y - 5. Let s(j) = j**3 + j**2 + j + 1. Let u(t) = p(t) + 4*s(t). Let d be u(-6). Let l = d - -65. Is 29 a factor of l?
True
Suppose -3*z + 0*x + x + 8 = 0, -z - 5*x - 8 = 0. Let m(l) = 82*l**z - 7 + 86*l**2 - 167*l**2 + 18*l. Does 12 divide m(-23)?
True
Suppose -26*k = 5*l - 21*k + 860, l + 154 = 5*k. Let t = -155 - l. Does 4 divide t?
False
Let o(j) = -19578*j**3 - 3*j**2 - 23*j - 19. Is 19 a factor of o(-1)?
False
Suppose 20*r - 306 = 21*r. Let f = 52 - r. Does 10 divide f?
False
Let n(b) = -131*b**3 - 3*b**2 - 7*b + 25. Let x be n(3). Does 62 divide ((-15)/(-25)*-4)/(6/x)?
False
Suppose -h - 2 = -0*h. Let v(l) be the second derivative of 11*l**4/12 + 5*l**3/6 - 49*l. Is 17 a factor of v(h)?
True
Let s = 86622 - 45042. Does 154 divide s?
True
Suppose -37*o - 14785 = -42*o - x, 2*x = 3*o - 8858. Does 85 divide o?
False
Suppose 1 = -2*l + 4*d + d, 4*d - 2 = l. Suppose 157 + 3 = l*z. Is z a multiple of 21?
False
Is 20 a factor of (-6580)/(-40) + 2/((-8)/18)?
True
Suppose 19*k - 371 = 