se -40*r = -37*r - m. Is r a multiple of 20?
False
Suppose -3*r + 5*o = -871, 975 = -5*r - 5*o + 2360. Is r - (-4)/(-4)*2 a multiple of 20?
True
Suppose m - 26 = 5*a, 0 = -m - 4*m - 5*a + 70. Suppose -m*u + 11*u = 0. Suppose u = -5*w - 3*c + 648, -125 = -3*w + 5*c + 291. Is w a multiple of 22?
True
Let d = 34343 + -32825. Does 46 divide d?
True
Suppose 38*m = 36*m. Suppose 5*g + 3*s - 186 = m, -4*g + 17 = -4*s - 119. Suppose -5*l = -39 - g. Does 5 divide l?
True
Suppose -6 = -3*d + 3. Let t(s) be the first derivative of s**3 - s**2/2 - 6*s + 81. Does 4 divide t(d)?
False
Suppose -136*v + 59*v + 455840 = 0. Is v a multiple of 148?
True
Suppose -1464*u + 27540 = -1459*u. Is u a multiple of 81?
True
Let f(y) = -y**2 + 26*y - 37. Let h be f(20). Suppose 0 = 2*q - 10, t - 2*q + 3*q + 18 = 0. Let a = t + h. Is a a multiple of 12?
True
Suppose 4*i = -5*j + 7*j - 564, -3*j - i = -804. Suppose z = -5*a + 16, -5*a + z + 14 = -0*z. Is 0 + a - j/(-9) a multiple of 33?
True
Let s(x) = 17*x**2 - 5*x - 4. Let m(u) = -u**3 + 10*u**2 + 10*u + 8. Suppose 0 = b - 68 + 57. Let z be m(b). Is 21 a factor of s(z)?
False
Let n(i) = -i**2 + 22*i - 28. Let p be -7 + 21 + 2 - (-1 - 0). Does 6 divide n(p)?
False
Suppose -25*s + 3*z = -24*s - 3097, 0 = 2*s + 3*z - 6230. Does 11 divide s?
False
Let f = 1567 - 1558. Suppose 0*w = -w + 2211. Suppose w = f*i - 867. Is i a multiple of 57?
True
Let j = -54488 + 82973. Is j a multiple of 23?
False
Let z(y) = 3*y**2 + 9*y - 9. Let w be z(-5). Let x = 32 - w. Suppose x*o - 16*o + 500 = 0. Does 20 divide o?
True
Suppose -25811 = -3*k + 5*x + 2506, -k = 3*x - 9439. Does 48 divide k?
False
Let z(r) = r**2 + 12*r - 16. Let l(c) = 5*c - 26. Let s be l(6). Does 2 divide z(s)?
True
Suppose 10*j = -22 - 58. Let y(l) = -17*l - 37. Is y(j) a multiple of 5?
False
Let g(t) = -t**2 + 9*t + 3. Let y be g(9). Suppose k + 0*n + 4 = -y*n, 4*n = 4*k - 16. Suppose 2*w = k, -2*q - 2*w = -0*q - 62. Is q a multiple of 7?
False
Let i be 758 - 4*(-3)/(-4). Let j = -533 + i. Is 25 a factor of j?
False
Suppose -3*j = j + 4*h + 60, -5*h = -j - 21. Let v(f) = 3*f**2 + 24*f + 22. Is v(j) a multiple of 29?
True
Is 16 a factor of (-1035)/60*(0 - 280/15)?
False
Let y(k) = -k**3 - 17*k**2 - 19*k + 3. Let t(c) = -c**2 - 23*c + 8. Let i be t(-24). Does 17 divide y(i)?
True
Let t = -65 - -70. Let s(b) = 4*b**3 - b + 9*b**2 - 5 - 5 - t*b**3 - 4. Is s(6) a multiple of 8?
True
Let b(s) = 2*s - 6. Let l be b(5). Suppose 546 = -3*f - l*f. Let m = -43 - f. Is 22 a factor of m?
False
Let z = -3349 - -3913. Is z a multiple of 4?
True
Let c(k) = -k**3 - 19*k**2 - 23*k - 2. Let o be c(-18). Let s be (-16)/o - (-27458)/11. Does 16 divide (s/(-130))/(6/(-40))?
True
Let m(j) be the first derivative of j**3/3 + 3*j**2 + j + 12. Suppose -88 + 121 = 3*z. Is m(z) a multiple of 29?
False
Suppose -81*b = 88*b - 7559370. Does 171 divide b?
False
Suppose 2653 = j - 5*i, -6*j = 4*i - 5*i - 15744. Is j a multiple of 105?
False
Let h = 365 + -219. Let s = 75 + h. Does 17 divide s?
True
Let i(j) = -11*j - 17. Let v be i(-15). Let r = 84 - v. Let p = 83 + r. Does 14 divide p?
False
Suppose 5*i = 4*w + 60030, -4*i + 41*w - 39*w = -48024. Does 29 divide i?
True
Suppose -79*t = 29*t + 35*t - 560560. Does 7 divide t?
True
Suppose 3*s - 4*d + 10 = 0, -3*d = 2*d + 10. Does 10 divide (s - (-3 + 2))*(-30 + -14)?
True
Is 6 a factor of 4 - (63/(-7) - -6 - 121)?
False
Let f = 1769 + -295. Is 53 a factor of f?
False
Suppose -327 = -5*g + 108. Suppose 2*v - g = -f + 27, 0 = -f + v + 123. Is f a multiple of 2?
True
Suppose -221496 = -21*m + 9*m. Suppose -22*n = -0*n - m. Is n a multiple of 9?
False
Is 732/3904 - (-2757927)/48 a multiple of 9?
False
Is 30 a factor of 117129936/6720 - (-2)/(-40)?
True
Suppose -174*u - 640094 + 2320934 = 0. Does 45 divide u?
False
Let v(d) = d**2 - 8*d + 7. Let w be v(8). Let t(h) be the second derivative of -h**5/20 + 3*h**4/4 - h**3/3 + 3*h**2 - 10*h + 4. Does 10 divide t(w)?
True
Let w be (-2)/(-16)*-2 - (-21)/(-12). Let k = 19 + w. Suppose -47 = -h - k. Is 15 a factor of h?
True
Suppose 3*g + 30 = -393. Suppose 4*a - 175 = 761. Let i = a + g. Is i a multiple of 17?
False
Suppose -12*g + 41192 + 47938 = -25230. Is g a multiple of 10?
True
Suppose -7*r + 11*r - 5*t = 20, 5*t + 20 = -3*r. Suppose -76 = -4*a + 4*d, r = -7*a + 12*a - 2*d - 101. Is 5 a factor of a?
False
Let a = 41 + -39. Suppose -5*z = 4*c - c - 206, -2*z + 3*c + 74 = 0. Suppose 0 = a*w - w - z. Is w a multiple of 19?
False
Let j be (4 + -4)/(2/1). Suppose j = -4*o - 66 + 74. Suppose 0 = -o*x - i + 129, 3*x - 61 = i + 140. Is x a multiple of 11?
True
Let l(s) = -s**3 - 2*s**2 + s + 2. Let g be l(-2). Let u = 730 + -720. Suppose g = -u*f + 1130 + 1790. Is f a multiple of 38?
False
Let s(d) = -d**2 + 18*d + 37. Let c be s(19). Let o(y) = -2*y + 58. Let f be o(c). Let h = f + 26. Does 11 divide h?
False
Let p(f) = -16 - 6*f + 3*f**2 + 21 - 9*f - f**3. Let v be p(6). Let z = 343 + v. Is 25 a factor of z?
True
Suppose t - 1399 = 4*u + 101, -5*t = -u - 7557. Is 21 a factor of t?
True
Let m(r) = -r + 30. Let l be m(16). Let o = l - 6. Suppose -o*s + 82 = -6*s. Does 20 divide s?
False
Suppose -2*q + 1232 = 3*p, -1350*p - 2462 = -4*q - 1355*p. Is q even?
False
Does 8 divide (-82)/(-574) - 62380/(-28)?
False
Let k = -782 + 791. Let f(j) = j**3 - j**2 - 4*j + 2. Is 9 a factor of f(k)?
False
Let p(o) = 49*o**2 - 2*o + 8. Suppose 118*i = 114*i + 8. Does 14 divide p(i)?
False
Let a = -221 - -618. Let i = 459 - a. Is i a multiple of 3?
False
Suppose 4*u + 86 = 2*g, 0 = -g - 3*u + 59 - 16. Let h = g - 35. Is h/(-2)*(-516)/16 a multiple of 21?
False
Let m = -61 - -126. Suppose 18*c - 41*c = -17*c - 30. Is 66 + (13/m - 6/c) a multiple of 13?
True
Let u(o) be the third derivative of -o**6/120 + 19*o**5/60 + o**4/6 - 7*o**3/6 - o**2 + o. Is 34 a factor of u(19)?
False
Let m be 45/(-60) + ((-2661)/4 - -1). Let v = m - -938. Does 62 divide v?
False
Is 99 a factor of (-1518)/(-8)*(-174 + 198)?
True
Let a(t) be the first derivative of 37*t**7/420 + t**6/360 + 8*t**3/3 + 3. Let n(q) be the third derivative of a(q). Does 15 divide n(1)?
True
Suppose 2947*b - 2986*b + 52611 = 0. Does 7 divide b?
False
Suppose 23 = g + 17. Suppose 2*s + 2 = g. Suppose -693 = -5*b - s*b. Is 42 a factor of b?
False
Let n = -10143 + 16009. Suppose -6272 = -21*x + n. Is 54 a factor of x?
False
Let l(w) be the third derivative of -w**4/24 + 5*w**3/3 + 19*w**2. Let b be l(5). Let c(j) = 5*j**2 - 5*j + 28. Is 22 a factor of c(b)?
False
Let m be (1 - -12)/(11/22). Suppose m*f - 2806 = 1822. Does 7 divide f?
False
Suppose 5*c + 5*m + 5 = 2*c, -5*c - 3*m = 3. Suppose c*d = -2*d - s - 91, 3*s = 3*d + 159. Let g = d - -71. Is g a multiple of 14?
False
Let f = 36207 + -24671. Is 11 a factor of f?
False
Suppose -u = -2*v + 626, 4*u = 4*v + 7*u - 1242. Let t = 368 - v. Does 32 divide t?
False
Suppose -2560 - 1096 = -q + 3*f, 5*q - 18340 = -5*f. Is q a multiple of 29?
False
Let b(p) = 3*p**2 + 45*p + 404. Does 10 divide b(-8)?
False
Let l be -8 + (8940*1)/4. Suppose l = 2*w + 925. Does 11 divide w?
False
Is 28 a factor of -1182*2/(-6) - 32/4?
False
Let w(s) = -5 - 5 + 1 - 9 - 4*s. Let c be w(-6). Let q(g) = -g**2 + 7*g + 1. Is 7 a factor of q(c)?
True
Let c(d) = d**3 - 30*d**2 - 87*d - 115. Suppose -27 = -3*f + 5*h + 62, -140 = -4*f - 4*h. Is c(f) a multiple of 9?
False
Let h = -43895 + 63351. Is 12 a factor of h?
False
Let w(k) = 3*k**2 + 8*k + 48. Suppose -5*a + 44 = -8*a - 2*h, 5*a + 100 = 2*h. Is w(a) a multiple of 34?
False
Suppose 27 = 2*q + 7*q. Suppose -r + q*j = 8, -j - 16 = 4*r - 5*j. Does 18 divide -2596*1/(-18) + r/9?
True
Suppose -194 = 15*x - 16*x + 6328. Is x a multiple of 24?
False
Suppose -4*g + 9 = -3. Let z(f) = 20*f**2 + 18*f + 7. Let c(p) = -7*p**2 - 5*p - 3. Let y(s) = -7*c(s) - 2*z(s). Is 25 a factor of y(g)?
False
Let g(f) = 17*f - 6. Let l be g(-10). Let b = l - -194. Does 18 divide b?
True
Let k = 32 - 30. Suppose 0 = -5*t - j + 147, k*t + t - 87 = -j. Is 4 a factor of ((-8)/10)/((-12)/t) - -16?
False
Let d = -22 + 24. Let c(l) = 19 + 25*l + 14 - 25. Is c(d) a multiple of 14?
False
Is (-90)/(-63) - 2 - (-34075)/35 a multiple of 139?
True
Does 10 divide -59*(-6 + 2*((-5)/10 + -2))?
False
Suppose 0 = -6*a - 1693 + 5077. Is 4 a factor of a?
