 Let l = 7 - 3. Suppose -154 = -l*a + r. Does 16 divide a?
False
Let k = 10 + -6. Suppose 25 = -k*r + 73. Is r a multiple of 12?
True
Let r = 229 - 115. Suppose -q + 4*q = r. Suppose 0 = 3*v - 2*i - q, 0*v - 5*i + 52 = 3*v. Does 10 divide v?
False
Suppose 0 = -2*o + 7 + 7. Suppose -3*g = -2*q - 6, 3*q + 3 - o = -2*g. Suppose 3*t + t - 24 = q. Is 4 a factor of t?
False
Let f = -99 + 243. Let i = -103 + f. Does 21 divide i?
False
Let u(k) = 2*k**2 + 2*k + 3. Let i(w) = 5*w - 7. Let z be i(2). Does 27 divide u(z)?
True
Is 4628/39*3/2 a multiple of 10?
False
Let v(h) = -71*h - 244. Does 3 divide v(-5)?
True
Let n(i) = i**2 + 5*i + 8. Let g be n(-4). Suppose -g*x + 8*x = 36. Is x a multiple of 9?
True
Let y(a) = 6*a**2 + 4*a + 6. Let p be y(-5). Suppose 4*r - 2*r = 3*k + 120, 2*r - p = -k. Is r a multiple of 43?
False
Let u be (-2)/(-3) + (-208)/(-12). Suppose -21*k + u*k = -231. Is k a multiple of 14?
False
Suppose -11 - 17 = -l. Is l a multiple of 7?
True
Let x = -237 - -330. Is x a multiple of 4?
False
Let d = 155 + -150. Suppose -w - 4*w + 110 = 5*c, d*c = 2*w - 16. Does 17 divide w?
False
Suppose -5*g + 2*q - 1 - 28 = 0, -2*g - 4*q = 2. Let u = -8 - g. Is (u - 1 - -2) + 10 a multiple of 3?
False
Let t be (4 - (-124)/(-32))*8. Suppose -v + t = -6. Is 3 a factor of v?
False
Let w be (-203)/(-63) + 2/(-9). Does 12 divide (43 - (3 + -2))*(w + -1)?
True
Suppose 2 = -3*k + 14. Suppose 3*d = -4*y - 3, 0 = -y + 1 - k. Suppose 4*z - 2*p - 31 = -d, -10 = 5*p. Is z a multiple of 6?
True
Let y(j) = 11*j**2 - 8*j + 29. Suppose 7*d - 25 = -4*t + 2*d, -4*t - 4*d + 24 = 0. Does 25 divide y(t)?
False
Let v = 51 + -81. Let c = v + 89. Does 5 divide c?
False
Let g(l) = -21*l + 3. Let s(r) = -31*r + 5. Let o = -7 + 15. Let m(p) = o*g(p) - 5*s(p). Is m(-6) a multiple of 36?
False
Let p be ((-5)/(-3))/((-8)/(-24)). Suppose 3*x - 1 = -2*b, -4*x = p*b + 10 - 2. Suppose x*l - 5*l = -16. Is 3 a factor of l?
False
Let w be 23 - 0/2 - -1. Suppose 0 = -5*p - 0*u - 4*u - 209, -3*u = 3. Let m = w - p. Is 27 a factor of m?
False
Let k = 1144 - 744. Does 18 divide k/(-15)*60/(-16)?
False
Suppose -5*g = -r + 3*r - 1513, 2*r - 8 = 0. Suppose -d + g = -w, -2*d - 5*w - 167 = -762. Is d a multiple of 43?
False
Suppose -206 = -h - 4*g - 76, -g - 115 = -h. Let a = h - 82. Does 9 divide a?
True
Let c(o) = o**2 + 2*o - 2. Let r be c(-3). Suppose -b + 3 = 2*u - 1, -b - 3*u + r = 0. Is 8 a factor of ((-24)/10)/((-3)/b)?
True
Suppose 0 = -3*a + 16 + 1211. Is 19 a factor of a?
False
Let s be (-4)/(-18) - 375/(-135). Suppose -4*p - 694 = -2*j - 2*p, 4*j = s*p + 1383. Does 38 divide j?
True
Is 6183/(-36)*20/(-15) a multiple of 5?
False
Let d be -1 + (2 + -1 - -2). Suppose -3*t + 4*w + 3 = 0, 5*w - 13 = -d*t + 12. Is t a multiple of 3?
False
Let j = -211 - -351. Is j a multiple of 10?
True
Let j(r) = 11*r**2 + 15*r**2 + 4 - 3 + 3*r + 4. Is 16 a factor of j(-2)?
False
Let s = 2 + 8. Does 2 divide s?
True
Let c(w) = 36*w**2 - w + 1. Let u be c(1). Let a = u + -18. Is 7 a factor of a?
False
Let w = -15 + 19. Suppose 8*l - w*l - 216 = 0. Suppose 6*a - 3*a - l = 0. Does 9 divide a?
True
Let k(g) = 2*g**2 + 4. Let m be k(3). Suppose -19 + m = a. Is a a multiple of 3?
True
Let k(j) = 28*j**2 + j - 1. Let a be k(1). Suppose 2*l = -3*i + a, -i - 24 = -l - 0*l. Does 6 divide l?
False
Let t(j) = 9*j**2 + 2*j - 2. Let r be 7/2 - 3/2. Let n be t(r). Suppose -3*h + 35 = 4*g, -5*h = 4*g - n + 9. Does 11 divide g?
True
Suppose 0 = 3*a + 6, 5*b - 358 = -0*b + 4*a. Suppose -4*u + b = 6. Let q = u + -4. Does 8 divide q?
False
Let w = 1139 + -587. Is w a multiple of 46?
True
Is -100*12*12/(-30) a multiple of 12?
True
Suppose -2*z = -z - 4. Suppose -2 = -i + z*c - 10, -i + 5*c = 10. Suppose i + 20 = h. Does 9 divide h?
False
Let y be 18/7 + (-8)/14. Suppose -4*r + 16 = y*q, -2*r + r - 5*q + 13 = 0. Is 2 a factor of r?
False
Let x(g) = -10 - g + 4*g**2 - 8*g - g. Is x(5) a multiple of 3?
False
Suppose -g = d - 0*d + 5, -4*d + 10 = -g. Let t = g - -19. Suppose 1 = 3*n - 2*p - t, n - 6 = 2*p. Does 2 divide n?
True
Let j(f) = -f**2 + 6*f + 293. Is j(0) a multiple of 41?
False
Suppose 13 = 4*v - 3. Suppose 0 = -2*t - v*y + 84, 103 + 115 = 5*t + 2*y. Does 7 divide 3/(-2)*t/(-6)?
False
Let h(z) = z - 8. Let f be h(6). Let w(b) = -19*b**3 - b**2 - 4*b - 3. Is 17 a factor of w(f)?
True
Let i(w) = 4*w**3 - 6*w + 2 + 0*w**3 - 7 - 3*w**3 - 6*w**2. Let u be i(7). Suppose 0*h + 2*h + 4*o - 34 = 0, u*o = -3*h + 59. Does 21 divide h?
True
Suppose -5*x + 2*j = 22, 4*x + 20 = -0*x + j. Let q(u) = -2 - 10*u - 2*u + 5*u. Does 13 divide q(x)?
False
Suppose 0 = -y - 7 + 8. Let d = -21 - y. Let z = d + 49. Is z a multiple of 12?
False
Let j be (-5 - (-2 + 1))/2. Is (j - -6) + (9 - -1) a multiple of 7?
True
Let o = -10 + 31. Let w = o + 2. Suppose 4*t - 2*g - 30 = g, 3*t = 2*g + w. Is t a multiple of 9?
True
Suppose 4*u - 6334 = -2562. Is u a multiple of 8?
False
Let u(l) be the first derivative of -l**6/6 + l**3/6 + 3*l**2 + 5. Let s(o) be the second derivative of u(o). Is 21 a factor of s(-1)?
True
Let c(k) = 213*k - 27. Is 18 a factor of c(3)?
True
Suppose 11*w - 3627 + 393 = 0. Is w a multiple of 21?
True
Is 4 a factor of -4*((-589)/2 + 11)?
False
Suppose -5*c + 2*c = 0. Suppose -3*z = -4*k - 23, c = 2*k - 4*z - 2 + 6. Let q(f) = -6*f - 3. Is q(k) a multiple of 15?
True
Suppose 0 = -6*p + 2*p + 5*u + 135, 4*u - 60 = -p. Suppose -4*n = 3*x - 157, -n + x + p = 2*x. Does 12 divide n?
False
Let t = 336 - 97. Is 67 a factor of t?
False
Let r = -20 + 48. Suppose -4 = -g - 2*f + r, 0 = -g - 3*f + 31. Is g a multiple of 9?
False
Let i be -3 - 1 - 0/(-26). Suppose -4*u + 3*r + 120 = r, 0 = 3*r + 12. Let c = u + i. Is c a multiple of 8?
True
Let q(d) = -d. Suppose -h = l - 11, h = -3*h + 3*l + 23. Let t be (24/4)/((-6)/h). Is q(t) a multiple of 4?
True
Let h be (-45)/(-7) - (-54)/(-126). Let w(i) = i**3 - 3*i**2 + 4*i - 4. Is w(h) a multiple of 16?
True
Let o = -809 + 1353. Does 17 divide o?
True
Let p = 436 - 292. Is 18 a factor of p?
True
Is 4/(-2)*-535 - -4 a multiple of 6?
True
Let h = -29 - -34. Suppose 0 = -2*u + 53 + 15. Suppose -j = -5*o + 14, o - h*o = 3*j - u. Is 2 a factor of j?
True
Let i(a) = -27*a**3 - 7*a**2 - 5*a + 1. Is 18 a factor of i(-1)?
False
Let r(k) = 13*k**2 - 15*k - 68. Is 14 a factor of r(-6)?
True
Let g(v) = -2*v**2 + 3*v + 3. Let l be g(3). Let h be 16/(4/(-1)) - l. Suppose -h*j = 4*t - 44, -5*t = -2*j - 53 - 11. Does 6 divide t?
True
Let u be 63/(-30)*-4*-10. Suppose 10 = 5*c - 3*c. Is (-2 - u) + (3 - c) a multiple of 16?
True
Let f(a) = -14*a - 4. Let m(r) = -1. Let n(p) = 2*f(p) - 10*m(p). Does 3 divide n(-1)?
True
Suppose -4*h - 1 = -5*i, 5*i + 3 = 2*h - 4. Let f be (26/(-39))/(h/(-18)). Does 34 divide 3 + (117 - (f - -2))?
False
Suppose -5*a + 15 = -3*v, 5*a + 0 - 15 = -3*v. Suppose v = 5*s - 1224 + 264. Is s a multiple of 35?
False
Let n(p) = 3*p**2 - 12*p - 6. Let a be n(5). Suppose x - a - 37 = 0. Is x a multiple of 22?
False
Let t = 67 - 32. Suppose 13*x = -t + 321. Does 11 divide x?
True
Let l(g) = g**2 + g + 5. Let h be l(-5). Let f = h - 8. Does 2 divide f?
False
Let u(f) = 19*f + 2. Let r be u(-1). Let j = r - -87. Is 14 a factor of j?
True
Does 12 divide 33268/18 + 160/(-720)?
True
Let q be (10 - 5)*2/(-3)*-27. Let s = q - -8. Is s a multiple of 19?
False
Is 19 a factor of (135150/114)/5 - 4/38?
False
Let d = 219 + -28. Let p = d + -127. Is p a multiple of 15?
False
Let p = -55 - -51. Is (-138 + 1)*1*(p - -3) a multiple of 25?
False
Let a(k) = k - 3. Let q be a(3). Suppose -x + 47 + 99 = q. Is 30 a factor of x?
False
Let x = -1605 + 5127. Is 50 a factor of x?
False
Let q(v) = -v**2 + 416. Let n be q(0). Suppose -4*l + 2*l + n = 0. Does 16 divide l?
True
Suppose -3*x - n - 3*n + 5 = 0, 8 = x - 5*n. Suppose 1 + x = 2*o. Suppose 0*u + f + 94 = o*u, -56 = -u + 5*f. Does 33 divide u?
False
Let j(s) = -23*s**2 - 22*s - 32. Let h(d) = -8*d**2 - 7*d - 11. Let o(x) = 8*h(x) - 3*j(x). Does 12 divide o(-4)?
True
Suppose 0 = -2*x - 4*g, 13 = -4*g + 1. Suppose x - 9 = -z. Is 3 a factor of z?
True
Let r = 5 - 2. Let c(v) = -14*v + 14. Let x be c(-7). Suppose r*q + q = x. Is q a multiple of 15?
False
Let z(n) = -n**2 - 29*n - 44. Is 3 a factor of z(-19)?
False
Suppose -12 = -v - 3*v. Suppose -3*m + v*h + 80 =