ppose -4*a + 120 = b*l, 3*l + 100 = 4*a + l. Let x = 11 + a. Does 19 divide x?
True
Let p = -21 - -25. Suppose 5*n + t - 21 + 2 = 0, -t = -p*n + 8. Suppose n*m = 5*m - 30. Does 4 divide m?
False
Suppose -190*y = -187*y - 25872. Is y a multiple of 14?
True
Suppose -64*h + 717762 = -264894. Is h a multiple of 24?
False
Let j be 1644/2 + 24/(-4). Is 12 a factor of -1*(5 - j/6)?
False
Suppose 3*j - 147354 = 9*j - 12*j. Is 41 a factor of j?
True
Suppose 80 = 6*i + 26. Suppose 1577 = l + 3*g, -2*l + i*g = 4*g - 3099. Does 96 divide l?
False
Let i(n) = 20*n**2 - 130*n - 47. Let o(f) = -11*f**2 + 64*f + 23. Let k(r) = 4*i(r) + 7*o(r). Does 16 divide k(25)?
True
Let b(c) = 15*c + 73. Let t be b(-3). Suppose t*y - 3824 = 37476. Does 59 divide y?
True
Suppose -6*g + 2952 = 2*g. Let c = g + -297. Is c a multiple of 72?
True
Let m be 22/(-110) - 4812/(-10). Suppose -2*l + 0*l + 5*b + 42 = 0, -84 = -4*l + 2*b. Is 32 a factor of m/3 + (-7)/l?
True
Suppose 281*u + 505092 = -283*u + 585*u. Is u a multiple of 14?
True
Suppose -492*t + 9270 = -488*t + 2*k, k - 9275 = -4*t. Is 33 a factor of t?
False
Let s = 7170 + -389. Is s a multiple of 41?
False
Suppose -2*x + 2634 = 2*v, 5*x - 1317 = 131*v - 132*v. Is 41 a factor of v?
False
Let z be ((-2)/4*0)/1. Suppose 3*t = -5*j - 20, z = 4*t + t + 3*j + 12. Suppose 0 = -n + 4, 4*n = -t*m - 2*m + 34. Does 3 divide m?
True
Let a be (2 - 569/(-2)) + 18/36. Suppose -7*f + 182 = -a. Is 37 a factor of f?
False
Let k = -83 - -85. Suppose k = 2*l - 6. Suppose 0 = -l*q + 496 + 152. Does 9 divide q?
True
Suppose -39*u = -33*u - 10716. Suppose u = 57*c - 55*c. Is c a multiple of 25?
False
Let u = -6921 - -10191. Does 15 divide u?
True
Let w(u) = -1097*u - 277. Is 12 a factor of w(-5)?
True
Suppose -5*u - q = 2*q - 48, 4*u - q - 35 = 0. Let i(g) = g**3 - 8*g**2 - 6*g + 20. Let p be i(u). Suppose 0 = x - p - 33. Does 38 divide x?
False
Suppose 0 = 13*c - 9*c + 12, 4*c - 4392 = -l. Is l a multiple of 91?
False
Let n(a) = 2*a**3 + a**3 + 11*a - 11*a**2 - a**3 - 3*a**3 - 4. Let z be n(-12). Suppose -179 - 1101 = -z*p. Does 40 divide p?
True
Suppose 0 = 1358*n - 1355*n - 10080. Suppose 0 = -60*d + 63*d - n. Is d a multiple of 35?
True
Suppose -84*z = -87*z - 5*y + 2540, -4208 = -5*z - 2*y. Is 3 a factor of z?
True
Let x = 984 - 460. Suppose -4*n - r = 3*r - 1512, 2*r - 1520 = -4*n. Suppose -4*u - s + x = 0, -2*u - u + n = -2*s. Does 26 divide u?
True
Suppose -3*k + 40*j = 42*j - 1672, -1664 = -3*k + 2*j. Let d = k - 88. Is d a multiple of 9?
True
Suppose 11*t - 250 = 16*t. Let q = t + 78. Let k = q - -45. Is k a multiple of 21?
False
Let k(r) = -3*r**2 - 6*r - 14. Let y be k(-7). Let q = y + 121. Does 36 divide 2/q*(342 - -8)?
False
Let g = 86 + -83. Suppose 3*a + 262 = y + 5*a, -4*a + 790 = g*y. Let t = y + -189. Is t a multiple of 11?
True
Let w(a) = -107*a + 77*a + 106*a + 127*a + 7. Does 38 divide w(1)?
False
Let z be 2/(4 + (-90)/24). Suppose -1611 - 181 = -z*y. Does 27 divide y?
False
Let v be ((-8)/5)/2*(-465)/186. Suppose -4*z - 516 = -4*a, -209 - 49 = -v*a - 2*z. Is 3 a factor of a?
True
Let p(q) = 89*q + 1 + 19*q**2 - 82*q + 1. Let d be p(-4). Let g = 422 - d. Is 19 a factor of g?
False
Let c(l) = 5*l**2 + 26*l - 93. Let y be c(15). Does 2 divide (4/(-3))/(1*(-24)/y)?
False
Let z be 2 - -2 - (-4)/(-2). Suppose 151 = 2*p - 45. Suppose -2*w + p = -0*c - z*c, 4*w = -c + 171. Is w a multiple of 22?
True
Let y be 1 + 1/((-1)/(-2)). Let j(v) = 27*v - 5. Let h(q) = -28*q + 7. Let i(p) = 4*h(p) + 5*j(p). Is 38 a factor of i(y)?
False
Let s(d) = -2*d - 7. Let a(f) = -f**3 + f**2 - 2*f + 2. Let g be a(2). Let j be s(g). Suppose -5*i = -4*w - 52 + 3, 5*i + j*w = 85. Is i a multiple of 13?
True
Let g = 8403 + -4916. Does 24 divide g?
False
Let o = 15 + 12. Let y = o + -25. Is 18 a factor of (y - 2) + 27*4?
True
Suppose 138*v + 5 = 139*v. Suppose 0 = -8*f - v*f + 3341. Let o = f + 37. Is 14 a factor of o?
True
Let x = 61877 + -18101. Is 16 a factor of x?
True
Suppose 0 = 4*a + 12*a + 80. Let b(t) = -49*t - 11. Is b(a) a multiple of 9?
True
Let p(y) = -1254*y - 231. Is 33 a factor of p(-2)?
True
Let t be ((-24)/42)/(-1 + (-18)/(-14)). Let d be 696/30*(-15)/t. Let s = d + 131. Does 61 divide s?
True
Let y(h) = -h**3 + h**2 + 4*h - 2. Let x(d) = -d**3 + d**2 + d. Let n(i) = -2*x(i) + y(i). Let g be n(0). Does 15 divide 3/g*(3 - (31 - -2))?
True
Let c be -9*1/(-3)*1. Suppose -4*t - 22 = -2*d, -c*d = -d - 5*t - 25. Suppose 2*n = d*u + 144 + 180, -296 = -2*n - 2*u. Is 38 a factor of n?
True
Let f = -5 - -16. Let g be -4 - ((-8)/(7 + -9) + -104). Suppose 0 = 7*k - f*k + g. Does 5 divide k?
False
Let w = -215 - -386. Suppose -4*u - 36 = 3*b + w, -u + 5*b - 46 = 0. Let t = u - -121. Is 14 a factor of t?
True
Let p = -36 - -40. Let c be -4*1*1/p. Is c/3 - 711/(-27) a multiple of 16?
False
Let v(d) = d**2 + 13*d + 38. Let c(a) = -a**2 - 13*a - 37. Let s(y) = 6*c(y) + 5*v(y). Let z be s(-14). Let m = -31 - z. Is 15 a factor of m?
True
Let q = 2005 - 1218. Let u = -37 + q. Suppose u = 12*z - 7*z. Is z a multiple of 30?
True
Suppose 16*g - 17*g + 21 = 0. Suppose 0 = 26*c - g*c - 625. Is c a multiple of 8?
False
Suppose 0*u + 5*u = 10. Let g(d) = 3 + 5 + u*d**3 - 5*d - 4 - 3 - d**2. Is g(3) a multiple of 29?
False
Let m(n) = 6*n**2 + 24*n - 8. Let c be m(-8). Suppose -c = -4*r + 100. Suppose 2*a + x = 217, -4*a - 5*x - r + 508 = 0. Does 15 divide a?
False
Suppose -45*a = -17*a - 224364. Is a a multiple of 20?
False
Suppose 3*n = 3 - 30. Let s be 5 + 3/n*3. Suppose 0 = -3*q + 3*c + 120, 2*q - s*c = 3*q - 50. Is 6 a factor of q?
True
Suppose 0 = -4*s + 337 - 317. Suppose 484 = 2*c + 4*m + 12, 4*m + 1250 = s*c. Is c a multiple of 3?
True
Let y = 806 - 1377. Let r = -112 - y. Suppose 8*o - r = -11. Is 7 a factor of o?
True
Suppose -3*c = o - 7591, -7*c = 3*o - 9*c - 22762. Is o a multiple of 13?
False
Let p be (-290)/(-4)*216/(-36). Let u = -215 - p. Does 20 divide u?
True
Let f(a) = 102*a - 80. Let z be f(2). Let p = 37 + z. Is p a multiple of 2?
False
Suppose -y + 120 = -12. Suppose g - 65 = 4*m + y, 179 = g + 5*m. Is 27 a factor of g?
True
Let n = 10 + -9. Let a(s) = 159*s**3 + 4*s**2 - 6*s + 1. Let j(y) = -y**3 + y**2 - y. Let r(t) = a(t) - 4*j(t). Does 40 divide r(n)?
False
Suppose -65*d - 54680 = -370580. Is 45 a factor of d?
True
Let i(l) = -2*l**2 + 27*l - 10. Let a be i(13). Let b be ((-51)/(-34))/(1*a/4). Does 17 divide -4 + 1 - (-106 - b) - 3?
True
Let n(d) = 19*d - 1 - 24*d + 31 - 8*d**2 + 9*d**2. Is 2 a factor of n(5)?
True
Suppose -9*o - 408 = -12*o. Does 5 divide -2*(-2 - 0) + o + -37?
False
Suppose 2*a - 43 = a. Let h = -42 + a. Does 2 divide (h - (-3 - -4)) + 10?
True
Let o(w) = 320*w**2 + 22*w - 49. Suppose -126*d - 12 = -132*d. Does 31 divide o(d)?
False
Let d(k) = 34*k + 134. Let r be d(35). Let j = r - 883. Does 12 divide j?
False
Suppose -5*w + 5*k + 50 = 0, -25 = 7*k - 2*k. Does 75 divide w*(-2)/(-30) - (-7198)/6?
True
Let f = -657 - -657. Let r(a) = a**2 + 13*a + 710. Is 56 a factor of r(f)?
False
Suppose -9*c + 3898 + 1304 = 0. Suppose c = -11*m + 13*m. Is 7 a factor of m?
False
Let p be (54 - 54)*(-2)/2. Suppose i + 3 = p, -w - 16*i + 15*i + 429 = 0. Is w a multiple of 25?
False
Suppose -4*s + 7*s - 1807 = -v, 5*s - 3005 = -5*v. Suppose 4*c = 3*c + 427. Let i = s - c. Does 16 divide i?
True
Let r(h) = -h**3 + 11*h**2 - 13*h - 24. Let g be r(9). Suppose -270 = -g*z + 11*z. Is z a multiple of 9?
True
Let j(s) = -25*s - 8. Let y be j(9). Let g = y + 427. Is g a multiple of 18?
False
Suppose 0 = -4*y + 18 - 6. Let n be ((-2)/y*4)/((-6)/(-9)). Let z(c) = -54*c - 7. Is 14 a factor of z(n)?
False
Let t(j) = 2*j**3 + 10*j**2 - 10*j - 9. Suppose -28 = 3*s + 5*h, s - 4*s - 26 = 4*h. Let f be t(s). Does 11 divide (-6)/f - (-3)/(-42)*-766?
True
Suppose x - o - 861 = 0, 4*o - 3225 - 243 = -4*x. Does 24 divide x?
True
Let z(v) = 5*v**2 + 177*v - 24. Is z(-37) a multiple of 3?
False
Let g(m) = -30*m + 26. Let f be g(11). Let c = -142 - f. Is 26 a factor of c?
False
Let v(k) be the second derivative of 2*k**4/3 + 4*k**3/3 + 4*k**2 + 10*k. Let m(x) = x**2 + 15*x + 40. Let l be m(-11). Is 19 a factor of v(l)?
False
Suppose 3*c = -16 - 32. Let j be 0 + 22 - c/(-4). Let m(i) = -i**2 + 20*i - 27. Does 2 divide m(j)?
False
Let a = 17 + -17. Suppose 