9, b + 3*v - 444 = 285. Is b a multiple of 22?
True
Let b(h) = -h**3 - 7*h**2 - 9*h - 7. Let a be b(-5). Is 27 a factor of a/16 + 1341/12?
False
Let f(t) = -t**3 + 6*t**2 - 8*t + 2. Let y be f(4). Suppose -1086 = -5*m - y*p, -m - 3*p = -7*p - 204. Suppose u + m = 5*u. Is 18 a factor of u?
True
Let o(q) = q**3 - 5*q**2 - 5*q - 4. Let l be o(6). Let m = 6 - l. Suppose m*f - 181 = 43. Is 28 a factor of f?
True
Is 15/3 + -9 - -9 - -625 a multiple of 50?
False
Is 41 a factor of -6*(-9)/(-27)*-936?
False
Let w(s) be the first derivative of s**4/2 + s**3 - 2*s**2 + 2*s + 23. Is w(2) a multiple of 11?
True
Let z(q) = -9*q - 23. Let h be z(-9). Does 7 divide h - ((-20)/(-4))/1?
False
Let j(f) = 144*f - 70. Does 44 divide j(10)?
False
Suppose 0 = 2*d + 10, -2*m + 11*d - 9*d = -3364. Is m a multiple of 39?
True
Suppose 5*f = 2*b + 2*f + 6, 5*f - 5 = 5*b. Suppose 4*j = 5*c - 329, -b*c - 4*j = -2*c - 85. Is 21 a factor of c?
False
Let l(s) = s**3 + 8*s**2 + 10*s + 9. Let a be l(-6). Suppose -550 = -26*c + a*c. Is c a multiple of 6?
False
Suppose y + 0*y - 2 = -4*o, -5*y - 5*o = -25. Let z be (-2)/4 + 267/y. Suppose 2*g + z = 4*g. Is 11 a factor of g?
True
Let x = -297 - -654. Suppose -5*j - 3*n = -596, -j = -4*j - 2*n + x. Is 24 a factor of j?
False
Let d(k) = -k**3 - 10*k**2 + 6*k - 10. Let n(x) = -x**3 + 6*x**2 - 6*x - 6. Let w be n(5). Does 15 divide d(w)?
True
Let z(u) = 3*u**2 + 54*u - 10. Is z(-23) a multiple of 5?
True
Let d(a) = -a**2 - 11*a + 4. Let w be d(-8). Suppose -48 = -3*f + 3*x, 4*f + 2*x = 46 - 12. Let q = f + w. Does 10 divide q?
False
Let d = -23 + 49. Suppose t - d = 4*a - 1, 4*a + 35 = 3*t. Suppose -t*y - 10 + 74 = 2*u, u - 3*y = 10. Is u a multiple of 11?
True
Let c = -1434 + 1829. Is 29 a factor of c?
False
Let p be (-1 - -2)*-2 - -279. Does 10 divide p/5 - 6/(-10)?
False
Let v(s) = -s + 14. Let m be v(10). Does 26 divide ((-26)/m)/(8/(-96))?
True
Suppose 4*o - 16 = 0, -4*g = o - 1011 - 973. Is g a multiple of 6?
False
Let g be (-2)/12*3*0. Suppose 3*w - 12 - 33 = g. Let f = 6 + w. Does 7 divide f?
True
Is 36 a factor of 15*((-1414)/(-35) + 4/10)?
True
Let t be 0*(15/(-12))/(-5). Suppose -25 = -5*v + 4*d - t*d, d = -2*v + 23. Is 37 a factor of 550/(-15)*v/(-6)?
False
Let q = -55 + 57. Suppose -4*w = -4*a - 44, -3*w + 0*a + 38 = -q*a. Does 8 divide w?
True
Suppose -430 = 7*s + 39. Let n = s - -87. Is 5 a factor of n?
True
Suppose -18*n + 3153 = -10095. Suppose 5*a = 5, -2*a = 3*s - 4*a - n. Does 41 divide s?
True
Let k = -6 - -8. Suppose 0 = -2*h - 3*a + 1, 3*h - 27 = 2*a + k*a. Let s = 16 - h. Is s a multiple of 11?
True
Let i be 5/((-5)/(-196)) + 2. Suppose -p - i + 53 = -b, -2*b = p - 302. Is 23 a factor of b?
False
Suppose 2 - 14 = -4*j. Suppose 0 = -j*r + 104 + 94. Is r a multiple of 20?
False
Let u be ((-2)/(-6))/(10/60). Let d(k) = -k - 8 + 9*k + 20 - k**u + 4*k. Is 6 a factor of d(11)?
False
Let b(o) = o**3 + 4*o**2 - 6*o - 11. Let m be b(-5). Is 14 a factor of -117*3/m - 3/(-6)?
False
Suppose 7*a - 16*a = -45. Let r be 1 + 1 + (-4)/(-2). Suppose 4*w = -5*b + 120, a*b - 115 = -r*w - w. Is 14 a factor of b?
True
Let d be -2 + (-26)/(-1) + 0. Let x(g) = 21*g + 47*g - d*g. Is 11 a factor of x(1)?
True
Let b be (0 + -2)*(45/(-10) - 0). Is b/36 - (-156)/16 a multiple of 5?
True
Let z(b) = 7*b**2 + 10*b - 7. Let f be z(5). Suppose 0 = -4*j + 14 + f. Does 10 divide j?
False
Suppose 454 = 4*x - 26. Is x a multiple of 12?
True
Let d(s) = -60*s**3 + 5*s**2 - s - 6. Let m(z) = z**2 - 1. Let w(v) = d(v) - 4*m(v). Does 10 divide w(-1)?
True
Let i = 40 - 43. Let a(f) = 4*f**2 - 3*f - 7. Is 6 a factor of a(i)?
False
Let n = -235 - -304. Is 2 a factor of n?
False
Suppose 7*f = -6*f + 1781. Is f a multiple of 22?
False
Let u = 28 + 1. Let y = 40 - u. Is 11 a factor of y?
True
Suppose 0 = -10*n - 14*n + 5040. Does 7 divide n?
True
Let c = -20 + -45. Let y = c - -235. Is 12 a factor of y?
False
Suppose 5*p + 45 = 2*n - 10, 3*p + 19 = 4*n. Let q = 8 - 41. Let k = p - q. Does 10 divide k?
True
Let z be 8/10*(-385)/(-22). Let x = z + 7. Does 21 divide x?
True
Let r be (30 - (3 - -1)) + 3. Suppose 0 = 2*b - 43 - r. Is b a multiple of 9?
True
Let y(i) = -i**3 - 4*i**2 - 4*i + 17. Let f be y(-6). Let j = f - 29. Is 14 a factor of j?
True
Let f(d) = -2*d**2 + 16*d - 7. Let k(x) = 2*x**2 - 15*x + 6. Let b(y) = 3*f(y) + 4*k(y). Is b(10) a multiple of 31?
False
Let l = 15 + 9. Let k = -22 + l. Let m = 85 + k. Is 29 a factor of m?
True
Suppose 4*p - 3*p + 3 = 0. Let i be (1/p)/(3/99). Let t = i - -31. Is 10 a factor of t?
True
Let o(a) = 2*a**2 - 12*a - 6. Let v be o(10). Let d = v + -253. Let u = d - -251. Is 24 a factor of u?
True
Suppose 0 = 6*r + 26 + 64. Let t = -14 - r. Suppose -t = -z + 64. Does 11 divide z?
False
Suppose -91*z + 39363 = -17421. Is z a multiple of 48?
True
Suppose 3*x + 4*y - 351 = 0, 469 - 91 = 3*x - 5*y. Is x a multiple of 24?
False
Let r be (4 + -1 - 5) + 1433. Let z be r/6 + (-9)/(-6). Suppose -k = 3*k - z. Does 20 divide k?
True
Does 58 divide (-5)/(5/(-3596)) - (92 + -88)?
False
Let h = 11 + -10. Let m be (-18)/6 - (-3)/h. Suppose m = 2*v + v - 3*a - 18, 3*v = -2*a + 13. Is v even?
False
Let i(k) = k**3 - 2*k**2 - 7. Let b be i(3). Suppose 3*t + 3*v - 52 = -b*v, 3*t = 2*v + 80. Is t a multiple of 6?
True
Let i(c) = -c**3 - 7*c**2 - 3*c + 11. Let d be i(-9). Suppose -d = -5*g + g. Suppose -g = -3*w - 20. Is 3 a factor of w?
False
Is (-3071 - -2)/(-3) + 8 a multiple of 23?
False
Let b be 1/(3*3/(-2493)). Let y = 591 - b. Is 5 a factor of y/35 + 2/10?
True
Let v(c) = 17*c - 35. Does 9 divide v(9)?
False
Suppose 3*m + 62 = -4*y, -5*m = 2*y + 135 - 13. Is 10 a factor of (1 - -46)/((-13)/m)?
False
Let p = 719 + -386. Let a = p - 189. Is a a multiple of 9?
True
Let i(k) = -k**2 + 3*k + 7. Let t be i(3). Suppose -42 = -t*n + 6*n. Does 13 divide n?
False
Let i = -5611 - -8347. Is 126 a factor of i?
False
Let g(p) = -p**3 + 5*p - 3. Let n be g(2). Let s(i) = -10*i - 4. Does 6 divide s(n)?
True
Let u(t) = t**2 - 4*t. Let h be u(7). Let o be 2 + -4 + h + -1. Suppose -i + 10 = -o. Is 7 a factor of i?
True
Let x(c) = -c**3 - 37*c**2 + 8*c + 319. Is 19 a factor of x(-38)?
False
Suppose -27*s - 107172 + 278217 = 0. Is 31 a factor of s?
False
Let q be ((26 - 4) + 2)/2. Is (-8)/12 + 788/q a multiple of 13?
True
Let i(h) = -9 - 8*h - 5 - 10 + h**2 + 10. Let y be i(10). Is -5 + y - (-14 - -1) a multiple of 12?
False
Let h(u) = u**3 - u**2 + u + 13. Let g = -6 - -10. Suppose 2 = 2*f, -5*f + f + 4 = -g*d. Is 3 a factor of h(d)?
False
Let t(m) = -6*m - 6. Let y(d) = -d. Let f(a) = 8*a + 5. Let s(u) = f(u) + 2*y(u). Let v(h) = -6*s(h) - 5*t(h). Is v(-8) a multiple of 12?
True
Suppose -8*v = -12*v + 3256. Is 23 a factor of v?
False
Let d = 0 - 0. Suppose -8 = -5*u - 4*g, d*u + 2*g + 14 = 2*u. Does 12 divide (-462)/(-39) - u/(-26)?
True
Let y = -140 + 144. Let l(j) = -j + 9. Let o be l(5). Suppose y = -c - c, -o*n + 2*c = -320. Is 18 a factor of n?
False
Let m(j) = 5 - 4*j + 2*j + j. Let g be m(5). Is 24 a factor of 53/4*(g - -4)?
False
Let q be -1*(-2)/(-6)*-75. Suppose 0*n - q = -5*n. Suppose -4*o = -0*o + 3*t - 81, n*t + 57 = 4*o. Is o a multiple of 3?
True
Let b be (225/(-20))/((-2)/16). Is ((-16)/(-4) - 2) + b/2 a multiple of 10?
False
Let j(q) = -11*q**3 + 1. Let v be j(1). Let o be (882/(-10))/(-3) + (-2)/5. Let f = v + o. Does 19 divide f?
True
Let l(c) = -12*c + 13. Suppose -138 = 11*j + 5. Is l(j) a multiple of 13?
True
Let w = -7 + 14. Suppose i = w - 5. Suppose 3*m - i*j - 2*j - 180 = 0, m = -4*j + 60. Is 20 a factor of m?
True
Suppose -5*d = 4*r - 34, -3*d + 10 = 2*d. Suppose 0 = -r*h + 7*h. Suppose h = -g + 6*g - 175. Does 7 divide g?
True
Let f(x) = x**3 + 11*x**2 + x + 13. Let a be f(-11). Suppose -a*z = -4*z + 134. Does 20 divide z?
False
Let a(g) = 113*g - 164. Does 11 divide a(7)?
True
Suppose -4*g = 16, -m - 279 = -4*m + 3*g. Suppose 45 + 4 = -n. Let i = n + m. Does 12 divide i?
False
Suppose 4*c - 28 = i - 4*i, 12 = -i + 4*c. Let z = i + -69. Is 25 a factor of -1*(2/(-2) + z)?
False
Suppose -3*g + 147 = -3*h, -4*h + 11 = -1. Let r be 0 + -1 + -24 + (-9 - -5). Let f = g + r. Is f a multiple of 15?
False
Suppose -23 = -5*s + f, -3 = f - 0*f. Suppose -7*d + 45 = -s*d. Is 5 a factor of d?
True
Suppose 3*a - 6*a - 24 = 0. Let m be