m = n + z. Is m a multiple of 22?
False
Let f = 1070 + 217. Is f a multiple of 19?
False
Suppose -196*p + 21 = -193*p. Is 3 a factor of 2 + (p - (-7 + -20))?
True
Let y(r) = -2*r**3 + 85*r**2 - 10*r - 117. Is 15 a factor of y(15)?
False
Suppose 0 = a - s - 722, -4*a - 449 + 3325 = 2*s. Is 6 a factor of a?
True
Let y be (72/(-420)*-7)/((-2)/15). Is 17 a factor of 3826/5 - (y + 5)/(-20)?
True
Let y(b) = -b**3 + 11*b**2 - b - 20. Let f be y(9). Let k = -134 + f. Let d(g) = 35*g**2 + g + 3. Is d(k) a multiple of 3?
False
Suppose -3*n - 2*y = -57 + 51, -n + 3*y = -2. Suppose 13*l - 11*l + 4*c = 2212, 2204 = n*l - 4*c. Does 10 divide l?
False
Suppose -18548 = 2*i - 47108. Does 105 divide i?
True
Let c = 256 + 1675. Does 12 divide c?
False
Suppose -274*f + 905632 = -978876 + 703020. Does 56 divide f?
True
Let o(p) = 68*p + 1184. Is 8 a factor of o(52)?
True
Suppose 2*a + 2*g = 8862 + 13098, 3*a - 32966 = 10*g. Is a a multiple of 289?
True
Suppose 0*d + k - 270 = 2*d, -2*k = 0. Let z = 197 + d. Is z a multiple of 31?
True
Let p(h) = 85*h - 59. Let t = 437 - 434. Is p(t) a multiple of 28?
True
Suppose 5*g - 951*u + 952*u = 153726, g + 4*u - 30768 = 0. Is 126 a factor of g?
True
Let p(f) = -f**2 + 11*f - 4. Let r be p(6). Let i = 90 - r. Suppose -i = -5*w + 171. Does 18 divide w?
False
Suppose -5*k = 2*h - 3*k - 1398, -3*k - 3519 = -5*h. Is 39 a factor of h/6*(0 + (-4)/(-3))?
True
Let v(q) = -q**3 - 66*q**2 + 431*q - 67. Let p be v(-72). Let x(h) = 38*h - 22. Let y(w) = -37*w + 21. Let k(f) = 4*x(f) + 3*y(f). Is 12 a factor of k(p)?
True
Suppose -34*p + 364057 = 11*p - 190793. Does 45 divide p?
True
Let o be (13 + -12)/(3/69). Suppose 0 = -14*u + o*u - 972. Does 18 divide u?
True
Let o(u) = -u**3 - 2*u**2 - u + 9. Let h be o(0). Let k be -5 + 9 + (2 - h). Is 21 a factor of (123 - (-12)/k)*(1 + 0)?
False
Does 11 divide (-156)/(-26) - ((-1182321)/84 - (-2)/8)?
False
Suppose 6*p = -33*p + 5538. Suppose -133*z - 1512 = -p*z. Is 26 a factor of z?
False
Let v be 2*(-3)/(-24) - 8732/(-16). Let f be ((-2)/(-3) + v/18)*-4. Let i = f - -220. Is i a multiple of 12?
True
Let n = 360 + -571. Let q = 101 + -188. Let u = q - n. Is u a multiple of 18?
False
Suppose -40 = -493*f + 483*f. Suppose 0 = -5*t - a + 1950 + 3582, 3*t - 3310 = f*a. Is 14 a factor of t?
True
Let a(n) = n - 11. Let y(x) = -3*x + 21. Let l(j) = 5*a(j) + 2*y(j). Let k be l(-15). Does 20 divide 3/((-24)/(-580))*(0 + k)?
False
Let u = -6511 + 13973. Is u a multiple of 91?
True
Suppose 5*t - 4*l - 67827 = 0, -5*t - 1723*l + 67820 = -1728*l. Does 41 divide t?
True
Let z(y) = 15*y**2 + 4*y + 3. Let s = 31 + -23. Suppose -4*t - 5*c = 19, 4*t - 3*t - s = 3*c. Is 5 a factor of z(t)?
False
Let u = -29 + 17. Let r = u + 105. Suppose 2*o = 2*t - 38, -3*t + 3*o + r = 2*t. Is 9 a factor of t?
True
Let f(w) = 235*w**2 - 3*w + 1. Suppose 5*k = s + 7, 0 = 4*k - 0*k + 2*s. Is f(k) a multiple of 8?
False
Suppose 0 = 5*z - z - 200. Let f be (-734)/(-5) + (-40)/z. Suppose 3*r = -5*l + 497, 5*r + 319 = 5*l - f. Is 39 a factor of l?
False
Let f(t) = -3*t**2 - 81*t + 2. Let y be f(-27). Suppose 0 = -4*b + 4*d + 2108, -50*d + 46*d = y*b - 1084. Is b a multiple of 19?
True
Let q = -545 + 269. Let x = q + 400. Does 3 divide x?
False
Let w be -1 - 4/((-8)/5)*-2. Let s = 49 - w. Suppose -n - s = -99. Does 9 divide n?
False
Let j = -102 - -112. Suppose -n - 13 = -4*o + j, 5*n - 4*o + 35 = 0. Let m(a) = 16*a**2 + 6*a + 4. Is 26 a factor of m(n)?
True
Let x(w) = 4*w**2 + 7*w - 6. Let i(z) = 3*z**2 + 7*z - 6. Let a(l) = -6*i(l) + 5*x(l). Let f = -12 + 20. Does 16 divide a(f)?
False
Let g(q) = -112*q**3 - 12*q**2 - 13*q + 159. Is 57 a factor of g(-6)?
True
Suppose 0 = 5*b - 8 - 17, -4*b + 19 = -j. Let n(q) = 38*q**3 - q**2 + 1. Let w be n(j). Suppose -2*t - 4*s = -w, 0 = 3*t - 4*s - 6 - 1. Is 5 a factor of t?
False
Suppose 0 = 3*q + 281 - 281. Suppose -v - 3105 = -5*h, -5*h - 4*v + 494 + 2586 = q. Does 20 divide h?
True
Suppose -5*p - 18 = -2*r, 11*r = 8*r - 3*p - 15. Let v(w) = -149*w**3 + w**2 - w - 1. Does 10 divide v(r)?
True
Let r be 2 - ((-96)/(-1))/(-4). Suppose -5*y + 59 = -r. Suppose 20*m - y*m = 42. Is m a multiple of 3?
False
Let y = 60 - 102. Let q = 28 + y. Does 10 divide 165/(-22)*(q + -2)/2?
True
Let l(g) = -g**3 - 10*g**2 + 12*g - 9. Let o be l(-11). Let c be o/(-2)*1/(-2). Does 15 divide (-360)/(1 + c)*1?
True
Is 22/(-77) - (-33770)/7 a multiple of 72?
True
Suppose -4*c = -6*l + 9*l - 24970, 0 = -l + 5*c + 8355. Suppose -589*g = -594*g + l. Does 34 divide g?
True
Suppose -1466 - 6212 = -11*b. Is 4 a factor of b?
False
Let p be 628 - (7 + -2 + -11). Let b = -552 + p. Is b even?
True
Suppose -11 + 1136 = -15*u. Let o be (1 - 6)*(-680)/25. Let d = u + o. Is d a multiple of 13?
False
Let b = 25791 - 11441. Is 25 a factor of b?
True
Suppose -387 = -14*y - 93. Suppose 40*a - y*a = 15390. Is a a multiple of 27?
True
Does 5 divide ((-22815)/6)/((-3)/4)?
True
Let a = -966 + 1211. Is 7 a factor of a?
True
Suppose -846 = -8*d + 634. Let b = d + -41. Does 9 divide b?
True
Let k(g) = -g**3 + 4*g**2. Let z be k(4). Let u be 36/66 - (805/(-77) + 8). Suppose n - u*n + 30 = z. Is n a multiple of 3?
True
Let k = 394 - 399. Is ((-2)/k)/((-1)/(-165)) a multiple of 3?
True
Let f(i) = 65*i**2 - 147*i + 678. Is f(5) a multiple of 98?
True
Let q be (-9)/((-90)/(-388))*-65. Suppose 65 + q = 13*s. Does 6 divide s?
False
Let v(s) be the third derivative of s**6/40 + s**5/30 + 17*s**3/6 - 32*s**2 - 1. Is v(5) a multiple of 17?
True
Let m(p) be the third derivative of -1/12*p**5 + 0*p + 0 - 1/12*p**4 + 32*p**2 - 1/24*p**6 + p**3. Is 17 a factor of m(-3)?
True
Let y be ((-20)/50)/(2/(-140)). Suppose p + 13*p = 406. Suppose -p*u + 31 = -y*u. Does 28 divide u?
False
Suppose 11*n - 36508 - 30086 = 0. Does 20 divide n?
False
Does 2 divide (-8)/(-14) + (-6 - (-84780)/105) + 5?
False
Does 44 divide (-189410)/(-15) - 52/(-78)?
True
Suppose -u + 3*p = -4*u + 12, 0 = -3*u + 2*p + 32. Let x(f) = -9*f - 26. Let i be x(u). Is ((-120)/(-14))/((-21)/i) a multiple of 8?
True
Let h = -50 - -52. Suppose -m + 6*m = 2*t - 69, 0 = h*t - 2*m - 78. Is 14 a factor of t?
True
Suppose -5*x = p - 612, 4*p - 97 = -x + 14. Suppose x*k - 930 = 113*k. Does 13 divide k?
False
Let i = 29500 - 18357. Is 70 a factor of i?
False
Let z(s) = 29*s - 244. Let v(l) = l + 3. Let r(c) = 4*v(c) - 2*z(c). Is 2 a factor of r(8)?
True
Is 30*(83 + -3 - (25/(-10) - -3)) a multiple of 53?
True
Let d = 15501 + -13198. Is 3 a factor of d?
False
Let c(m) = -23*m - m**2 + 3 + 46 + 9. Is c(-25) a multiple of 7?
False
Let s(n) = n**3 + 5*n**2 - n - 6. Let h be s(-5). Let v be h/(-7)*12*(-14)/(-4). Let g(o) = 2*o + 10. Is 3 a factor of g(v)?
False
Let x be (1 - -2) + -4 - -16. Suppose -x + 3 = -4*q. Suppose 49 = s - 4*w + q, -102 = -2*s - 2*w. Is 30 a factor of s?
False
Let n = -49850 - -71797. Is n a multiple of 20?
False
Does 4 divide ((77 - 66)/(3 - 860/286))/(-1)?
False
Suppose -15*k = -7*k - 8. Is (-1772)/(-16)*(5 - k) a multiple of 78?
False
Let r = 31 - 180. Let w = 309 + r. Suppose 5*l - 7*l = -w. Does 13 divide l?
False
Suppose -84864 = -217*f + 169*f. Is f a multiple of 13?
True
Let k(r) = -r**3 - 7*r**2 - 14*r + 7. Let f(w) = 2*w**3 + 15*w**2 + 29*w - 13. Let i(p) = -3*f(p) - 5*k(p). Does 3 divide i(-8)?
True
Let s(n) = 60 + n + n**2 - 4*n - 2*n. Let g = -326 + 331. Does 6 divide s(g)?
True
Does 14 divide ((-1218)/9)/(13/(-12) - -1)?
True
Let t(g) = -g**2 + 6*g - 10. Let o be t(5). Let y be 124/o*35/(-14). Let s = y - 38. Is s a multiple of 8?
True
Let n = 11877 + -11399. Let x(a) = a**3 + 3*a**2 - 3*a - 4. Let q be x(-3). Suppose -q*w = -1913 + n. Does 15 divide w?
False
Let c = 15326 + -3204. Does 209 divide c?
True
Suppose 8*z = 5*z + 636. Suppose -4*l + 712 = z. Is l a multiple of 14?
False
Suppose 12*j = 14*j - 3*b - 2566, -5*j - b + 6432 = 0. Is j a multiple of 19?
False
Does 47 divide -9 + (-7)/7 - -1166?
False
Let z(i) = -i**3 - 6*i**2 + 3*i + 13. Let c(u) = u**2 - 12*u + 30. Let x be c(6). Let q be z(x). Let n(d) = -3*d + 11. Is n(q) a multiple of 9?
False
Let o = 4965 - 1525. Is 20 a factor of o?
True
Let g = -9696 + 10788. Does 52 divide g?
True
Suppose 3*u + 36 = 9. Let i(n) = n**2 + 8*n + 2. Let m be i(u). Suppose r = 68 + m. Is r a multiple of 17?
False
Let h be 6/(-1)