Let m = 8 - -1. Suppose 0 = 5*g + 4*b - i, 19 = 5*g - 2*b - m. Does 6 divide g?
True
Does 4 divide 1*(-3 + 6/2) - -6?
False
Let y be 0 + -2 + (-6)/2. Let v = 20 + y. Is 9 a factor of v?
False
Is -133*((0 - 0) + -1)/1 a multiple of 19?
True
Let g(j) = -j**2 + j + 4. Let w be g(0). Let p = w + 13. Suppose -2*d + 19 = -p. Is d a multiple of 9?
True
Suppose 2*c + 3*l - 75 + 11 = 0, -5*l = 4*c - 126. Suppose 0*a = -a + c. Does 13 divide a?
False
Suppose -6*x + 206 = -136. Does 19 divide x?
True
Let q = 30 - -32. Does 17 divide q?
False
Suppose 4*m + 56 = 144. Is m a multiple of 11?
True
Suppose 22 = 3*y + 4. Let f = y - -2. Does 8 divide f?
True
Let h be 3 + 0 + -9 + 8. Suppose 2*t + 5*j + 22 = 3*t, -3*t + h*j = -118. Is t a multiple of 14?
True
Suppose 0 = -3*x + 4 + 41. Does 4 divide x?
False
Does 11 divide (-2)/6 - (-598)/39?
False
Let t(h) = 4*h**2 + 2*h - 3. Let g be t(4). Let s = -36 + g. Suppose 3*d + 44 = 4*l - d, 3*l + 2*d = s. Is l a multiple of 11?
True
Let f = 8 + -3. Let x(m) = 3*m. Let s be x(4). Suppose f*j = -s + 72. Is 5 a factor of j?
False
Suppose 5*z + 4*t + 448 = 0, 5*t = z + 3*z + 383. Is 8 a factor of 2/3 - z/6?
True
Let y(v) = 189*v - 3. Let t be y(2). Let w = t + -252. Suppose 4*f - f = 4*p - 117, -3*f = 4*p - w. Does 9 divide p?
False
Let t = 231 - 123. Is 19 a factor of t?
False
Let f be (-2)/2 + 1 + 1. Let h(n) = -28*n - 1. Let j be h(f). Let z = j + 51. Is z a multiple of 11?
True
Let c be 3/(2 - 10/8). Let o be -2 - (2 - (-4)/(-1)). Suppose o*k + 92 = c*k. Does 10 divide k?
False
Let h be 6/(-4) - 35/(-10). Suppose -2*z + 27 + 3 = h*m, 0 = 3*m + 4*z - 42. Does 18 divide m*1 + 1 + 2?
False
Let d = -444 - -833. Is d a multiple of 54?
False
Suppose 0 = 4*i - 7*i + 42. Let m = i + -8. Does 12 divide (2 - 0)/(1/m)?
True
Does 8 divide 4/14 - 3006/(-63)?
True
Suppose -11*t + 9*t + 220 = 0. Is t a multiple of 7?
False
Is ((-2)/5)/(2/(-930)) a multiple of 21?
False
Suppose -14*c + 576 = -8*c. Is c a multiple of 16?
True
Let z(u) = -2*u**2 + u. Suppose 4*b - 3*o - 19 = 0, -5*b - 19 = -4*b + 4*o. Let k be z(b). Is k - -36 - (1 - 1) a multiple of 15?
False
Suppose 2*u - 6*u + 20 = 0. Suppose c = -u*k - c + 279, -3 = c. Does 19 divide k?
True
Suppose -k = -0*s - 2*s - 56, -4*s + 3*k = 110. Is 10 a factor of s/(-4)*(3 - -1)?
False
Suppose 327 = 5*s - 8*u + 6*u, 2*u - 63 = -s. Is s a multiple of 19?
False
Suppose 0 = 4*c - 167 - 45. Let l = c + -31. Is l a multiple of 12?
False
Let i(g) = 2*g - 2. Let z be i(5). Let a = z - 5. Is a a multiple of 3?
True
Let t(v) = -4*v - 2. Let w be t(-2). Let g(k) = k**3 - 8*k**2 - 3*k. Let i be g(w). Let p = -54 - i. Is 13 a factor of p?
False
Suppose 0 = -3*i + 6. Suppose -p + 5*o + 117 = i*p, p + o - 31 = 0. Is p a multiple of 17?
True
Let z be ((-15)/(-9))/5*9. Suppose 21 = w + 3*g, -31 - 52 = -z*w - 4*g. Does 11 divide w?
True
Suppose 4*a = 7*a - 33. Does 3 divide a?
False
Let t be (1/2)/(1/(-22)). Let u(o) = -o**2 - 14*o + 1. Is u(t) a multiple of 17?
True
Suppose -2*x - 3*x - 4*y = -20, -5 = -4*x - y. Suppose -3*o - o + 8 = x. Suppose -o*n + 8 = -0*n. Is n even?
True
Suppose 0 = 10*k - k - 414. Does 23 divide k?
True
Let t(q) = -6 + q**3 - q**2 + q + 2*q + 0*q**3 + 0*q**3. Let j be t(4). Is 9 a factor of 12/j - 88/(-9)?
False
Let v(x) = 7*x - 2. Let m be v(3). Suppose -3*r + m + 14 = 0. Is r a multiple of 9?
False
Let w = -52 - -96. Is 11 a factor of w?
True
Let j be ((-14)/(-4))/(1/8). Suppose 2*l + 46 - 2 = 5*g, 2*l = 3*g - j. Does 5 divide g?
False
Let o(n) = 185*n**3 - n**2 - 2*n - 1. Let d be o(-1). Let i be 2/3 + d/(-15). Suppose 0 = -f + 7*p - 3*p + i, 4*p = -4. Is 8 a factor of f?
False
Let k(b) = -28*b + 3. Let j be k(3). Let q = -24 - j. Is q a multiple of 19?
True
Let l(r) = r**2 + 7*r - 7. Let i be l(-8). Let x(s) = 2*s**3 + 2*s**2 - 2*s + 1. Let w be x(i). Suppose 0 = 4*z - 23 + w, -3*z + 21 = 3*v. Is v a multiple of 2?
True
Let x = -40 - -81. Suppose 4*o - x = 103. Is o a multiple of 18?
True
Suppose m = 5*x + 22, 2 = -2*x + 4. Does 9 divide m?
True
Is 5 + -5 + 1*106*1 a multiple of 33?
False
Let y(x) = x**3 - 12*x**2 - 11*x + 16. Let t be y(13). Suppose z - 2*n - 22 = -z, -4*z = -3*n - t. Is z a multiple of 5?
False
Let w(t) = 6*t - 5. Suppose 4*k - h = 22, h - 7 + 4 = -k. Is 10 a factor of w(k)?
False
Let n = 4 - 3. Let c be ((-4)/(-2))/(n/2). Suppose -2*t = -c*a + 2*a - 54, 38 = 2*t + 2*a. Is t a multiple of 13?
False
Let x(p) = 20*p - 4. Is 17 a factor of x(4)?
False
Let s be ((-19)/3)/(3/(-9)). Let l = s - 10. Is 3 a factor of l?
True
Suppose -228 = -4*i + 1420. Suppose -5*g - 127 = -i. Suppose 4*o - o - g = 0. Does 7 divide o?
False
Let a(o) = o**3 + 11*o**2 + 9*o - 10. Let m be a(-10). Suppose -2*c = -3*x - 4, -9 = -3*c + 3*x - 3. Suppose -c*r + 16 = -m*r. Is 6 a factor of r?
False
Suppose -3*t + 5*v + 92 = 0, 5*t - 143 = -0*t - 2*v. Let o = 34 - -34. Let d = o - t. Is d a multiple of 13?
True
Let o(v) be the first derivative of -v**4/4 + 5*v**3/3 + v**2/2 - 3*v + 2. Is o(3) a multiple of 10?
False
Suppose 7 = 7*q - 8*q. Let k(g) = 5*g**3 - 21*g**2 - 8*g - 16. Let w(m) = 3*m**3 - 11*m**2 - 4*m - 8. Let y(n) = 4*k(n) - 7*w(n). Is y(q) a multiple of 10?
True
Is 4 + 2*159/6 a multiple of 6?
False
Let s(d) = -d**3 + 5*d**2 + 6*d - 3. Let x be s(6). Does 14 divide (-2)/(x/(23 + -2))?
True
Let u = 187 + -132. Let z = u - 28. Is z a multiple of 27?
True
Suppose 32*s = 39*s - 483. Is 10 a factor of s?
False
Let k = -36 + 53. Does 5 divide k?
False
Suppose s + 2*s = -3*c + 180, -4*s - 3*c + 242 = 0. Suppose -4*t = -2*t - 2*j - s, -t + 31 = 2*j. Is t a multiple of 9?
False
Suppose k - 364 = -5*w, 2*k = 4*w + 4*k - 296. Does 18 divide w?
True
Let q(p) = 3*p**2 - 10*p - 4. Let n be q(8). Suppose -11*s = -7*s - n. Is s a multiple of 9?
True
Let o be 5/5 + 9*1. Let u be (-1 - 0)/((-2)/o). Suppose t = u*t - 52. Does 13 divide t?
True
Let a = 6 - 68. Let p = 117 + a. Suppose -5*d - 5*u + p = 0, 0 = -3*d + 3*u + 27 + 36. Does 5 divide d?
False
Suppose 5*b - 7 - 3 = 0. Let y(o) = 3*o + 1. Is y(b) even?
False
Suppose 5*f + 2*w - 230 = -3*w, -3*f + 138 = w. Is 12 a factor of f?
False
Is (-20)/(-6)*2907/34 a multiple of 57?
True
Suppose v - 2*u - 50 = 23, 308 = 4*v - 4*u. Does 11 divide v/3*(-4)/(-6)?
False
Let j(f) = -2*f**3 - 21*f**2 - 11*f + 2. Is j(-11) a multiple of 33?
False
Let a(d) = 3*d**2. Let h be a(1). Does 3 divide 26/4 - h/6?
True
Let y(b) = -2*b**3 - 6*b**2 - 5*b - 2. Is 25 a factor of y(-4)?
True
Let g = -28 - -70. Does 18 divide g?
False
Let h(n) = 6*n**3 + 9*n**2 + 2*n - 3. Let r(b) = -4*b - 5*b**3 - 8*b**3 - 19*b**2 + 7 - 1. Let y(d) = -9*h(d) - 4*r(d). Is y(-3) a multiple of 9?
True
Let f be (-112)/(-12) + 1/(-3). Let c = f - -3. Is c a multiple of 5?
False
Let i(s) = s**2 + 9*s - 10. Is 20 a factor of i(6)?
True
Suppose 0 = -2*a - 10, -960 = -4*w + 4*a - 0*a. Is 22 a factor of w?
False
Let a(m) = m**3 - 6*m**2 + 6*m + 1. Does 8 divide a(7)?
False
Let m(k) be the third derivative of k**6/120 - k**5/10 - 7*k**3/6 - k**2. Let f be m(5). Is 16 a factor of f/1*(-12)/8?
True
Let m(w) = w**3 - 10*w**2 + 12*w + 12. Let z be m(9). Let r = z - 13. Is 10 a factor of r?
False
Suppose -3*b + 3*c + 55 = 4*c, 5*b - 81 = c. Is 3 a factor of b?
False
Suppose 0*x - 3*x = 15. Let w(f) = 2 + 2 - 2 - 5*f. Does 10 divide w(x)?
False
Let l(c) = -c**2 - 10*c - 9. Let g be l(-6). Suppose 3*j - g = 8*j. Is 5 a factor of (-9)/j + 2/1?
True
Suppose n = -2*y + 7, 3*n = -5*y + 2*n + 13. Let r(b) = -b**2 + 5*b + 10. Let i be r(7). Let m = y - i. Is 6 a factor of m?
True
Let l(c) = 4*c**2 + 2. Let h = -3 + 8. Suppose 0 = -0*p + 2*p - 5*w + 1, h*w = -5. Is l(p) a multiple of 13?
False
Let q(f) = f**2 - f. Let n(t) = -t**3 - 3*t - 1. Let i(g) = n(g) - 3*q(g). Let v be i(-3). Let z = v + 7. Does 3 divide z?
True
Let w(h) = h**2 - 6*h - 4. Is w(8) a multiple of 12?
True
Suppose -c = 2*c - 75. Let b = c - 7. Does 9 divide b?
True
Suppose 5*b - 1564 = -2*k, 8*b - 4*k = 3*b + 1552. Does 8 divide b?
True
Suppose -18 + 2 = -4*c. Does 4 divide c?
True
Suppose -t = -114 - 72. Let h = t + -14. Is h/5 + (-2)/5 a multiple of 15?
False
Let h(d) = 8*d - 1. Let p = -6 - -14. Let n be h(p). Let o = n - 45. Is 7 a factor of o?
False
Is (-96)/(-10)*(-50)/(-15) a multiple of 10?
False
Suppose -10*c = -4*c - 324. Is c a