. Let z = 10 - 5. Suppose -z*i + 15*i = g. Is i a multiple of 24?
True
Suppose 2*m - 3*m - 4*q = 11, 2*m + 3*q = -2. Suppose 5*f - m*h = 2085, 4*h = -3*f + h + 1269. Does 14 divide f?
True
Let a(v) = -126*v**2 - 7 + 0 + 139*v**2. Is 21 a factor of a(-7)?
True
Is 102 a factor of ((-3563203)/365 + 16/2)*(0 + -5)?
False
Let k = -27385 - -40695. Does 32 divide k?
False
Let d(j) = 3*j**2 - 3*j - 20. Let i be d(14). Let o = 757 - i. Is o a multiple of 11?
True
Suppose -3*j = -5*u + 11307 - 31628, 0 = -2*u - 14. Is j a multiple of 42?
True
Suppose w - 7*u = -11*u + 17210, -u = w - 17222. Is w a multiple of 54?
True
Suppose 9*p + 155 = 56. Let x(i) = -i + 61. Is 2 a factor of x(p)?
True
Suppose 26*y + 18*y - 19533 = -7*y. Is 6 a factor of y?
False
Suppose 2*d = 3*p - 5*p + 10, -2*d = 4*p - 12. Suppose -d*r = 2*q - 4876, -3*r + 3*q = 441 - 4098. Is 17 a factor of r?
False
Suppose 0 = -2*u - 2065 - 1191. Let a = -861 - u. Is a a multiple of 13?
True
Let c(n) be the first derivative of -n**4/4 + 2*n**3 + n**2 - 4*n - 1. Suppose -4*f + 18 = 2*k, -8*f + 3*f + 29 = -4*k. Is 9 a factor of c(f)?
False
Let o(t) = 9*t + 13179. Does 11 divide o(0)?
False
Let g(x) = x**2 + 3*x + 11. Let d be g(0). Let m be -2 - (8 - 4 - d). Suppose -m*y + 7*y = 408. Is y a multiple of 51?
True
Does 37 divide (-247079)/(-28) + 55/20?
False
Let y(r) = 12*r**2 + 176*r + 988. Is 5 a factor of y(-6)?
False
Let d(f) = -2562*f - 382. Does 5 divide d(-1)?
True
Suppose r = 2*w + 26, -3*r - 2*w + 6 = -2*r. Suppose -2*x + 9 + 1 = 0. Let k = r + x. Is k a multiple of 5?
False
Let z = -237 - -233. Let n(l) = -7*l**3 - 21*l**2 + 2*l - 4. Is n(z) a multiple of 5?
True
Let v(h) = 69*h + 27. Let y be v(48). Suppose 8794 = 11*z - y. Is 58 a factor of z?
False
Let s(f) = 18*f - 200. Let z be s(11). Is (1914/99)/(z/(-54)) a multiple of 6?
True
Suppose 2*r + 0 = 5*x - 1, -4*r + 5*x = -3. Suppose r*h + 4 = -k, -4*k - 17 + 1 = -3*h. Suppose -4*u + 5*u + 118 = g, h = 3*g + 4*u - 326. Does 19 divide g?
True
Let i be ((-22)/(-6))/((-4)/1632) + 3. Let t = -983 - i. Suppose 9*q + q = t. Is q a multiple of 5?
False
Let w = 34 + -34. Suppose -q - 3*q = 20, 2*n - 3*q - 19 = w. Suppose 343 = n*g + g - 2*v, 3*g = -v + 337. Is g a multiple of 16?
False
Suppose -697*x = -703*x + 13284. Does 54 divide x?
True
Let b(c) = -2*c**3 - 28*c**2 - 5*c + 68. Let q(x) = x**3 + 13*x**2 + 2*x - 34. Let m(t) = -3*b(t) - 5*q(t). Does 23 divide m(-17)?
False
Is 30/18 + (-1547572)/(-39) - 11 a multiple of 24?
True
Let g(t) = t**3 - 7*t**2 + 2*t + 24. Let d be g(6). Suppose 0 = -10*a - d*a + 1650. Does 11 divide a?
True
Suppose 2*u = 3*w + 88420, -3*u - 44230 = -4*u + 4*w. Does 41 divide u?
True
Let r be ((-20796)/(-8) - 3)/(2/4). Suppose 11*b = 2463 + r. Suppose 2*k = -4*c + 288, 5*k + 2*c - b = -2*c. Does 26 divide k?
False
Suppose 28*b - 26863 = 115782 + 114451. Is 13 a factor of b?
False
Let j(w) = -6*w - 11. Let h be j(-4). Let s(z) = -1 - 2*z - 6 - 20*z + h. Is 32 a factor of s(-7)?
True
Suppose -2*h = 16 + 6. Is 8/44 - ((-50498)/h)/(-7) a multiple of 13?
False
Suppose 222*i - 3*x = 218*i + 62166, 9*x + 46638 = 3*i. Does 21 divide i?
True
Let k(h) = 735*h**2 - 245*h + 1416. Is 27 a factor of k(6)?
True
Let f be 2*(2756/(-8) - 1). Let j = f + 1169. Is j a multiple of 24?
False
Suppose 0 = 3*v - 4*o - 844, 4*o - 308 = 6*v - 7*v. Is v a multiple of 5?
False
Suppose 35 = -5*c, 2*m - 6*c + 3*c - 41019 = 0. Does 23 divide m?
False
Let j(l) = -28*l + 1779. Does 75 divide j(-57)?
True
Let x be -1 + 2512/5 - 86/215. Suppose 516 = -3*p + 5*p - 2*i, -3*i + x = 2*p. Let z = p + -137. Does 15 divide z?
False
Does 16 divide 10057 - ((-298)/5513 + (-670)/(-74))?
True
Let m(b) = -94*b - 752. Is m(-98) a multiple of 30?
True
Suppose -39*x + 35*x = -2*m - 38, 46 = 3*x - 5*m. Let a(c) = 3*c**2 + 12*c + 71. Is a(x) a multiple of 7?
False
Suppose -9*u + 548 + 1360 = 0. Let b = u - 14. Is 4 a factor of b?
False
Suppose 5*m - 8300 = 4*v, -v = 41*m - 40*m - 1660. Is 5 a factor of m?
True
Let j(o) = 5*o + 22. Let x(v) = 1. Let u(d) = -j(d) - 2*x(d). Suppose -4*y - 67 = 5*p, 0*p - 19 = 2*p - y. Is u(p) a multiple of 5?
False
Does 16 divide (-155)/(1/(-14 - 7))?
False
Let f = -80 + 85. Let k(b) = -2*b**3 + b**3 + 86 - 98 + 2*b**2 + f*b + 5*b**2. Is k(7) a multiple of 6?
False
Let m = 7420 - 92. Does 31 divide m?
False
Let r(j) = 2*j**3 + 9*j**2 - j - 31. Is 9 a factor of r(7)?
True
Suppose 4*u - 3*a - 1109 = 242, -u + 3*a = -340. Is u a multiple of 5?
False
Suppose 6*a - 24*a = -234. Let w(d) = 6*d + 25. Does 5 divide w(a)?
False
Let m = 14406 + -11615. Does 3 divide m?
False
Is (1*3 + (-2856)/504)*-3*124 even?
True
Suppose 3*a - 4*q + 6*q = 22, 28 = 2*a - 2*q. Let s(h) = -h**2 + 4*h - 3. Let j be s(2). Is 8 a factor of j/(a/(-72))*-5?
False
Let g(q) = -q**2 + 23*q + 10*q + 5*q**2 + q - 16. Is 73 a factor of g(-14)?
True
Suppose -20*b = -24*b + 280. Suppose -3*u + z - 337 = -4*u, -2*u = -2*z - 686. Suppose y = i + b, -u = -4*y + i - 48. Does 23 divide y?
False
Let f = -7574 + 13370. Does 92 divide f?
True
Let s(f) = -6*f + 44. Let r be s(-8). Suppose -r*b + 27755 = -31*b. Does 13 divide b?
True
Suppose -149*y + 73240 = 20345. Is 92 a factor of y?
False
Let x(g) be the first derivative of 40*g**3 - g**2 + 3*g + 21. Is x(1) a multiple of 16?
False
Suppose -39527 = -14*i + 7149. Suppose 4*w - 672 = -p - w, -5*p + i = -w. Is 39 a factor of p?
False
Let k = 577 - 372. Suppose 22*l - k = 2875. Is 14 a factor of l?
True
Let m(k) = 17*k**3 + 12*k**2 - 33*k + 131. Is 26 a factor of m(7)?
False
Let c be 24/3 - 4/1. Let n(j) = 5*j**2 + 7*j - 7. Let h be n(1). Suppose y = -2*y - 5*k, c*y - h*k = 35. Is 2 a factor of y?
False
Suppose u - 91*d = -93*d + 19055, 0 = -4*u + d + 76283. Is u a multiple of 15?
False
Let i be 2 + (-15)/(-1 + 4). Let q(m) = -113*m + 21. Is 30 a factor of q(i)?
True
Let g be 18368/192 - (0 - (-15)/9). Let b = 463 + g. Is 5 a factor of b?
False
Let j(a) = a**2 + 24*a + 98. Let k be j(-5). Suppose -d + 4*q = 6*q - 322, d - k*q - 317 = 0. Does 40 divide d?
True
Let m be (503 - 2) + -3 + 1. Suppose 749 = 4*f - m. Is 8 a factor of f?
True
Suppose 62*b + 3*q = 58*b + 34323, 3*q + 25779 = 3*b. Is 27 a factor of b?
True
Suppose 6*h - 2 = 5*h. Suppose w + h*b = -3*w - 10, -5*b - 15 = 0. Is 14 a factor of 679/14 + w/(-2)?
False
Suppose -4*h + 4775 = 3*j, -12*h + 9*h + 3600 = -4*j. Suppose 1232 = 3*f - 5*m, -5*m = 3*f - m - h. Does 24 divide f?
False
Is 6 a factor of (-4)/(-18) - (-6702560)/2313?
True
Suppose -6689 = -10*t + 2401. Suppose -4*j = 3*y - t, -15 = 5*y + 10. Does 21 divide j?
True
Let j be (-4 + 3)/((-2)/(-6)). Is j + 7 + (4 + -2 - -608) a multiple of 35?
False
Let f be 4580/(-6)*((-336)/30 + 10). Let l = f + 96. Is l a multiple of 23?
True
Suppose 0 = 5*c + 82 + 38. Let d be 279 - 0 - c/(-8). Suppose -5*m + d = w + 67, 0 = m + 5*w - 37. Is 5 a factor of m?
False
Suppose -6 = -4*x + 2. Suppose -y = -x*h + 99, 0 = -0*h - 2*h + 4*y + 114. Suppose -6*u = -h - 751. Is u a multiple of 42?
False
Let v(t) = -t**3 - 6*t**2 + 26*t + 14. Let a(i) = i**3 + 7*i**2 - 26*i - 16. Let m(q) = 3*a(q) + 2*v(q). Is m(-8) a multiple of 12?
True
Is 20 a factor of ((-2940)/(-126))/((-1)/(-138))?
True
Let n(m) be the third derivative of m**6/60 - m**5/60 + m**4/24 + 7*m**3/2 + 2*m**2 + 5*m. Is 3 a factor of n(0)?
True
Does 182 divide 1/(2/(-4500))*45/(1710/(-551))?
False
Let z = 534 + -533. Does 3 divide z + 1 - 1560/(-13)?
False
Suppose -1704 = -1415*l + 1409*l. Suppose 0 = -2*z + z + n + 284, -z - 5*n + l = 0. Is 12 a factor of z?
False
Let u(o) = -o**3 - 9*o**2 - o + 6. Let f be u(-10). Is 7 a factor of f/(6 + (-138)/24)?
False
Let w = 60 + -60. Suppose -5*m = -3*b - 0*m - 128, -2*b + 4*m - 84 = w. Let x = b + 102. Does 38 divide x?
False
Let t(h) = -h**3 - 13*h**2 - 13*h. Let g be t(-12). Let m be (g/14)/(10/(-14))*-5. Is 11 a factor of 862/m + -4*(-5)/(-30)?
True
Let v(d) be the second derivative of d**5/6 - d**4/24 - 2*d**3/3 - 2*d**2 - 9*d. Let a(j) be the first derivative of v(j). Is a(-4) a multiple of 36?
False
Let r = -28905 - -42349. Is r a multiple of 49?
False
Let g(r) = -7*r + 26. Let v(n) = -15*n + 52. Let p(s) = -5*g(s) + 2*v(s). Let i(f) = -5*f - 12. Let l be i(-4). Is 14 a factor of p(l)?
True
Suppose -u - u + 114 = -b, 2*u + 2*b = 102. Let