7*i**6/120 - i**5/30 + 7*i**4/12 + 7*i**3/2 - i**2 + 9. Is 10 a factor of v(-3)?
True
Suppose -11*y - 1125 = -11586. Let r = -675 + y. Is 21 a factor of r?
False
Suppose -375*l - 3975 = -380*l. Suppose 3*d - 15 = l. Is 10 a factor of d?
True
Suppose -5*j + 315 = 4*t, -3*t - 66 - 155 = -4*j. Suppose -42 - j = -h + 3*k, -2*k = 3*h - 325. Is 19 a factor of h?
False
Let w(m) = 4*m**3 - 9*m**2 + 8*m + 32. Suppose -2*q + 49*a - 54*a = -9, 5*a + 33 = 4*q. Is 11 a factor of w(q)?
False
Let f be (-23 + 19)/(1/(-3)). Suppose 0 = 3*m - 14*p + 10*p + f, -3*m + 3 = p. Suppose m = -5*s + 142 + 138. Is 14 a factor of s?
True
Let q be (14 - 10) + -1 + -3. Suppose q = -7*o + 10*o. Suppose 0 = -g - o*g + 35. Is g a multiple of 35?
True
Let s(b) = 20*b**2 - 5*b - 26. Let a(x) = -19*x**2 + 4*x + 25. Let g(k) = -6*a(k) - 5*s(k). Let y(q) be the first derivative of g(q). Is y(4) a multiple of 37?
False
Suppose 5*c + 3*p = 7900, -2*p = -c - 3*p + 1580. Suppose -598 - c = -3*q. Is q a multiple of 45?
False
Let k(c) be the second derivative of c**6/360 + c**5/60 - 5*c**4/6 + 23*c**3/6 - 13*c. Let d(n) be the second derivative of k(n). Is 15 a factor of d(-7)?
True
Let r(a) = -a**3 + 3*a**2 + 2*a - 4. Let i be r(3). Suppose -2*y = 0, -4*f + 388 = -0*f - i*y. Suppose -5*m + l = -256, -m + f = m + 5*l. Is 7 a factor of m?
False
Suppose 5*q + 24*g - 25*g = 157089, -3*q + 94203 = 5*g. Is q a multiple of 14?
True
Let i(d) = d**2 - 20*d + 576. Let p = -642 + 642. Is 64 a factor of i(p)?
True
Let i(z) = 535*z**3 - z**2 - 11*z + 37. Is 19 a factor of i(3)?
True
Suppose -38*w + 139858 + 196632 = 0. Is 39 a factor of w?
False
Suppose -40*n - 18 = -42*n. Is 12/n*(1 + -1 - -21) a multiple of 14?
True
Suppose 0 = -46*s + 35*s + 33. Let f(v) = 19*v**3 - 3*v**2 + v - 3. Does 18 divide f(s)?
True
Let l be 12/15*(-1 + (-14)/(-4)). Let x(z) = 15*z - 4*z**3 - 10*z**3 + 18*z**l + 23 + 15*z**3. Does 19 divide x(-17)?
True
Let x = -2538 + 2528. Suppose 5*k - 3*w + 276 = 0, 3*k = 3*w - 175 + 7. Let t = x - k. Is t a multiple of 19?
False
Let q = 244 + -242. Suppose 0*w + 1223 = q*w - 5*a, -4*w + 2*a + 2454 = 0. Does 39 divide w?
False
Does 49 divide ((-198)/(-4))/(7054*(-4)/4704 - -6)?
True
Suppose 228 - 9640 = -3*q - t, 5*t = -2*q + 6305. Does 19 divide q?
True
Suppose 2*c - 2*h - 6380 = 0, -c - 60*h + 58*h + 3199 = 0. Is c a multiple of 31?
True
Suppose 14*x - 178 = 15*x. Let v = -149 - x. Does 5 divide v?
False
Let q(k) = -k. Let f(h) = 120. Let j(z) = f(z) - 3*q(z). Is 18 a factor of j(-26)?
False
Let r(b) = -b + 14. Let u be r(9). Let o(m) = m**3 - 2*m**2 - 9*m. Does 30 divide o(u)?
True
Let a(o) = -10*o**3. Let y = -36 - -35. Let b be a(y). Suppose -499 = -b*i + 7*i + 2*v, 0 = -3*i + 3*v + 498. Is i a multiple of 44?
False
Suppose 15*k = 44*k - 899. Suppose 10527 - 1692 = k*h. Is 49 a factor of h?
False
Suppose -h - 14*s = -19*s - 22075, -5*h = 4*s - 110404. Is h a multiple of 30?
True
Is (4/(-30) - (-286)/(-330))*-1438 a multiple of 13?
False
Let l be 4/(12/1)*12. Suppose -3*q = l*q - 210. Is q a multiple of 6?
True
Suppose 0 = 65*u + 14*u - 594159. Is u a multiple of 47?
False
Let x(r) be the second derivative of 17*r**3/6 - 10*r**2 - r + 6. Is x(5) a multiple of 8?
False
Suppose -5*l = 15 - 30. Suppose -l*i + 3*w + 3066 = -279, 0 = -3*i + 4*w + 3350. Is i a multiple of 18?
False
Suppose 0 = 3*g + 4*g + 1288. Let c = 486 - 169. Let s = g + c. Is 20 a factor of s?
False
Suppose 0 = -5*o - 4*q + 1330, -15*o = -11*o + q - 1075. Suppose 108*l + o = 111*l. Does 10 divide l?
True
Is 11 a factor of (7 - (-51)/(-6))*4441866/(-117)?
True
Let l be -1*18/24*(-88)/2. Suppose -l*v = -14*v - 13661. Is v a multiple of 55?
False
Let m(b) = 6321*b**2 + 7*b - 21. Let s be m(3). Suppose -21*k = -12*k + s. Does 25 divide 4/16 - k/28?
False
Is 101 a factor of 306334/42 + (-16)/6 + 2?
False
Suppose -5*x + 5 = -0*q + 4*q, -5*x + 20 = q. Suppose w = -x + 4. Does 4 divide 10 - ((-8)/12 + w/3)?
False
Let v(a) = -3*a + 54. Let p be 12/(-18) - (-123)/9. Let h be v(p). Suppose -s = -6*s - h, 5*t - 3*s = 64. Is t a multiple of 2?
False
Let t = 1992 - -288. Is 12 a factor of t?
True
Let w = 25052 - 17955. Is w a multiple of 16?
False
Suppose -5*b = -c + 3625, -3*b + 2198 = -6*b - 4*c. Is 6/(-99) + (-642554)/b a multiple of 59?
True
Let k(v) = v + 282. Is k(8) a multiple of 5?
True
Suppose 10*q - 57 = -7. Suppose -3*j + q*j = -34. Let u = j - -47. Does 15 divide u?
True
Let o be (1 - -195) + (-28 - -33). Suppose 63 = 4*p - o. Is 33 a factor of p?
True
Let g = 71 - 76. Let q = -1 - g. Suppose 0 = -2*a + r + 42 + 25, -3*a + q*r + 93 = 0. Is 9 a factor of a?
False
Let y(a) = 4*a**2 + 30*a + 24. Let k be y(-7). Suppose k*b = -536 + 9236. Is 15 a factor of b?
True
Let g be 18/(-12)*(-2)/3. Suppose g = o + 9. Is 134 + 0*(-4)/o a multiple of 19?
False
Let n(d) = 28*d - 55. Let j be n(15). Suppose -5*g + 415 + j = 0. Does 13 divide g?
True
Let m(t) = 6*t**2 - 44*t + 53891. Does 19 divide m(0)?
False
Let g(b) = -20*b - 34. Let j be g(-29). Suppose 14*t = -v + 10*t + j, -5*v + 5*t = -2805. Is v a multiple of 14?
False
Suppose a - 228 = 7*a. Let g = a - -42. Suppose -m = 5*b - 215, -b - m + 43 - g = 0. Is 22 a factor of b?
True
Let r(m) = m**3 + 37*m**2 - 41*m - 109. Let g be r(-38). Suppose i - 3*q = 83, -g*i + 0*q = -5*q - 365. Is i a multiple of 5?
False
Let m(q) = -q**2 + 8*q - 21. Let f be m(7). Let r = 2 - f. Suppose -r*t = -21*t + 140. Does 5 divide t?
False
Let l(a) = a**3 - 13*a**2 + 11*a + 16. Let i = 26 + -14. Let d be l(i). Suppose -2*g = -u - u - 484, -5*u = d*g - 941. Is 37 a factor of g?
False
Suppose 21*s = v + 18*s - 9624, 2*v - 3*s = 19260. Is v a multiple of 59?
False
Does 31 divide (-435244)/(-12) - 26/78?
True
Let p = 467 + -463. Suppose 5*t - 2388 = -p*z, 5*t + 7*z - 12*z = 2415. Is 32 a factor of t?
True
Suppose -24*s = -67527 + 1095. Is s a multiple of 5?
False
Suppose 0 = -4*n - 9 - 3. Let g(f) = 2*f**2 - 2*f - 13. Let b(z) = z**3 - 2*z**2 + 5*z + 25. Let y(k) = -3*b(k) - 5*g(k). Is 25 a factor of y(n)?
True
Suppose -144*z + 151*z - 70 = 0. Does 80 divide -25*51/(-6) - z/20?
False
Let v(x) = -4*x**2 + 13*x + 24. Let p(g) be the first derivative of g**3/3 + g**2/2 - g - 4. Let o(a) = -5*p(a) - v(a). Is o(-16) a multiple of 2?
False
Let t(r) = r**3 + 21*r**2 - 1. Let m be t(-21). Let s(x) = -92*x**3 + 3*x**2 + 2*x + 1. Is s(m) a multiple of 42?
False
Let r = -17641 - -24962. Does 26 divide r?
False
Suppose 336 = 7*d - d. Suppose 0 = -74*g + 82*g - d. Does 7 divide g?
True
Suppose -3*j = 25*t - 29*t + 20157, 3*t = 3*j + 15120. Is t a multiple of 23?
True
Let w = 1825 + 1732. Is 97 a factor of w?
False
Let w be (-7 + 4/(-4))/(1/(-1)). Suppose 49 = a + w. Does 2 divide a?
False
Suppose 144*m = 136*m. Suppose -14*y = -15*y - 3*z + 200, m = 5*z. Is 13 a factor of y?
False
Let w(c) = -c**3 - 9*c**2 - 8*c + 10. Let s(q) = -q**2 + 1. Let g be s(-3). Does 10 divide w(g)?
True
Let l = 146 + -136. Suppose 3*z - 5*z - 44 = -4*u, u + 2*z - 16 = 0. Is ((-355)/l)/((-2)/u) a multiple of 35?
False
Let i = -263 - 404. Let r = i + 1036. Is 41 a factor of r?
True
Suppose 4*h - 5377 = 841 + 1458. Does 19 divide h?
True
Let x = -2468 - -5306. Does 9 divide x?
False
Let g = 15087 - 14031. Is 48 a factor of g?
True
Let z = -21528 + 25532. Does 26 divide z?
True
Let z be ((-10)/(-3))/(6/45). Suppose 8*d - 199 = z. Suppose 0 = -a + 128 + d. Does 39 divide a?
True
Suppose 74103 = 4*l + g, 0 = 17*l + 2*g - 162443 - 152506. Is 72 a factor of l?
False
Let y(l) = 2*l**2 - 277*l - 5. Is y(142) a multiple of 5?
False
Suppose 3*g + 2*z = 38, -2*z - 3*z + 23 = 3*g. Suppose 5*d - 3*d = 0, g = 4*t - d. Suppose h = -3*h + t*o + 472, -4*h - 3*o = -465. Is h a multiple of 9?
True
Suppose 9 = 23*i - 20*i. Suppose -5*o + 2015 = -i*z, -4*o + 2025 = o - z. Does 30 divide o?
False
Let h(y) = 70*y**2 - 29*y**2 - 31*y**2 - y**3 + 5*y. Is 13 a factor of h(8)?
False
Suppose -5*n + 184 = -4*q, -41 = -n + 4*q + q. Let g = -33 + n. Suppose 0 = 3*s, 5*s = b - g*b + 148. Does 9 divide b?
False
Let g(k) = k**2 + 12*k + 40. Let v be g(-5). Suppose 3*i - 380 = v*p, -245 = -5*i + p + 403. Is i a multiple of 53?
False
Is 116 a factor of ((-1770)/(-225) - 8) + (-863044)/(-30)?
True
Let z be 24/(-6) + 94 + -1. Suppose -7*n + 86 + z = 0. Suppose -4*p + 13 = j