pose -4*t - v = -13, 3*v - 15 = -0*v. Suppose 178 = 8*r + t. Does 5 divide r?
False
Suppose -3*o - 54 = j, 0*j + 2*o = 5*j + 304. Suppose -5*y + m = -16, 3*y - 6*y = -2*m - 11. Does 8 divide -20*y*16/j?
True
Let y = -888 + 1725. Is y a multiple of 65?
False
Suppose -z - 4*n + 812 = 0, z = 3*n + n + 844. Does 18 divide z?
True
Let p(u) = 9*u**2 + u - 5. Let q be p(-7). Let f = 609 - q. Let w = -116 + f. Is w a multiple of 16?
True
Let a be -1*2*(3 - 4). Let p(q) = 2*q - 2. Let h be p(a). Suppose -2*l + 5*l - 5 = -u, -5*l - 65 = -h*u. Does 7 divide u?
False
Let r = 154 - 55. Let d = 106 - r. Is 2 a factor of d?
False
Is -2*(7 + -5) + 26 even?
True
Let o = -5 + 1. Let w be 121 + 4/o*-2. Suppose 5*i - i - 85 = -3*u, -2*i = 5*u - w. Is u a multiple of 23?
True
Is 23 a factor of 3/(-54)*8 - (-4562)/18?
True
Let r = -594 - -1543. Is r a multiple of 10?
False
Suppose -25740 = -87*i + 57*i. Is i a multiple of 39?
True
Suppose 6*s + 6270 = 21*s. Is s a multiple of 30?
False
Let m = -108 - -25. Let r = m - -157. Suppose -4*v + 58 = 2*g, -5*v - g + r = -0*v. Is v a multiple of 5?
True
Suppose -5*h + 3*x + 1960 = 0, 2636 - 681 = 5*h - 2*x. Suppose -89 + h = 6*r. Is r a multiple of 25?
True
Suppose -474*u + 1758 = -468*u. Does 91 divide u?
False
Let k(x) = x - 1. Let n(d) = -4*d + 6. Let t(b) = 2*k(b) + n(b). Let p be t(4). Is (p/(-5))/(3/15) a multiple of 3?
False
Is 20/(-6)*240/(-25) a multiple of 8?
True
Let n = -2383 - -3533. Is 11 a factor of n?
False
Let a(h) = -4*h**3 - 5*h - 6. Let y(b) = -2*b**3 + b**2 - 2*b + 1. Let q be y(1). Does 9 divide a(q)?
True
Suppose 0 = 4*r - 147 + 27. Let u = 4 + -2. Suppose k - 5*v - r = 106, -2*k + u*v + 248 = 0. Is 29 a factor of k?
False
Let l(c) = 8*c**2 + 2*c + 8. Let z(t) = 16*t**2 + 5*t + 16. Let r(f) = 7*l(f) - 3*z(f). Does 12 divide r(-3)?
False
Let o = 163 + -155. Does 2 divide o?
True
Let l(q) = 3*q**2 + 10*q - 8. Does 11 divide l(-5)?
False
Suppose -4*h - 12*b + 13*b = -1281, -h + 2*b + 315 = 0. Is h a multiple of 8?
False
Suppose 0 = -146*t + 145*t + 1920. Is t a multiple of 15?
True
Suppose -4*h + 47 - 27 = 0. Suppose 0*x = -o + h*x + 49, 3*x = 2*o - 70. Is o a multiple of 7?
False
Let a be 20/(-5) - 500/4. Let s = a + 361. Does 30 divide s?
False
Let x be (3 - -2) + -4 - -2. Is 1 + (6/(-6))/(x/(-114)) a multiple of 6?
False
Suppose -46*x + 52648 = 15342. Does 18 divide x?
False
Let z = -238 - -259. Does 2 divide z?
False
Suppose 39 + 1 = 5*x + 2*u, -5*u = x - 31. Suppose -7 = x*d - 265. Suppose 2*m + 5*h = -m + d, 4*m + 4*h - 52 = 0. Is m a multiple of 9?
False
Is 2 a factor of (1 + 1)*((-144)/9)/(-2)?
True
Let f = 545 + -322. Let t = 67 + f. Does 10 divide t?
True
Suppose 2*u - 4 = -0. Suppose 0 = -10*a + 47 + 13. Suppose 5*k - 18 = -2*b, -b + a = 3*k - u. Is 8 a factor of b?
False
Is 66 a factor of ((-201)/42 + 2/7)*-88?
True
Suppose -5*w - 931 = -3*h, -2*w - 139 = h - 453. Is h a multiple of 12?
True
Suppose 0 = -2*v + 3*v + 70. Let o be -2 + 3 - (-3 + 40). Let i = o - v. Is 12 a factor of i?
False
Let u be -3 - (28/21 + (-2)/6). Is ((-151)/2)/((-2)/(u/(-1))) a multiple of 13?
False
Suppose 6*c + 4744 = 2*l + c, 4*l - c = 9452. Is l a multiple of 48?
False
Suppose 3*o + 156 - 699 = 0. Let h = -116 + o. Is 13 a factor of h?
True
Is 11 a factor of 12/20*(2637 - 22)?
False
Let j = -12 - -8. Let l be (3 - 1)*(-10)/j. Suppose -2*n - 3 - 5 = -4*h, -l*h + 36 = 4*n. Does 4 divide h?
True
Let u(x) = -x - 1. Let j(y) = 20*y + 3. Let m(g) = -j(g) - u(g). Is m(-2) a multiple of 12?
True
Let i(f) = -35*f + 2. Let m be i(2). Let a be (5*1)/(1/m). Does 6 divide a/(-12) - 4/(-6)?
False
Let m = 189 - -81. Is m a multiple of 18?
True
Suppose 450 = 5*r + 9*q - 4*q, 3*r + 5*q - 266 = 0. Does 2 divide r?
True
Let t be ((-8)/8)/(2/60). Is 15 a factor of (75/t)/(1/(-12))?
True
Let o = 1944 - 912. Is o a multiple of 94?
False
Let u = -737 + 1527. Is u a multiple of 17?
False
Let g = 1041 + -672. Is g a multiple of 22?
False
Let i be (-12)/72 - 25/(-6). Suppose 0 = x - 4, -x - i*x = 2*o - 26. Suppose 3*a - 12 - o = 0. Is a a multiple of 5?
True
Let w(r) = 38 + 7*r - 42 + 54*r. Is 23 a factor of w(2)?
False
Let g(o) = 16*o + 354. Is 59 a factor of g(0)?
True
Does 14 divide 2964/209 + (-4)/22?
True
Suppose 0 = -58*q - q + 40710. Is q a multiple of 71?
False
Let u be 6/(-27) - (-8)/36. Suppose 4*m - 20 = u, -k + 36 + 1 = 3*m. Is 10 a factor of k?
False
Suppose 5*w + 43 = 2*d, d + 48 = -4*w + 6*d. Let l = 75 + -38. Let i = l + w. Is 10 a factor of i?
True
Let n(s) be the second derivative of 47*s**3/6 + 9*s**2 + 50*s. Does 37 divide n(5)?
False
Let k = 1737 + -266. Is k a multiple of 82?
False
Let r be (-4)/6*783/(-6) + -3. Suppose 0*o + 2*l + r = 2*o, -2*l = -4. Is 44 a factor of o?
True
Let m(r) = -2*r**2 + 16*r - 45. Let p be m(7). Let b = 67 + p. Is 4 a factor of b?
True
Suppose 5*v - 11 = 9. Suppose -4 = v*b - 0. Is 6 a factor of (-765)/(-36) - b/(-4)?
False
Suppose 5*q + 13 = 3*t, 3*q - 5*t - 10 = q. Let w = q - -5. Suppose w = -6*a + 4*a + 40. Does 8 divide a?
False
Suppose -31*v + 40 = -36*v. Is 9 a factor of (-4)/6*(-12)/v + 46?
True
Let x(m) = m**3 + 12*m**2 - 2*m - 7. Suppose 5*g = 5*j + 25, 4*g - 2*g - 22 = 4*j. Is x(j) a multiple of 17?
True
Let m = 47 + -43. Let j(f) = -f**3 - f**2 + 3. Let i be j(0). Suppose -5*d + 180 = 5*r - m*r, 15 = i*r. Is 17 a factor of d?
False
Suppose 0 = 3*d - 4*d + 3. Suppose 3*h = -3*a + 102, 0 = -h - h + d*a + 48. Let m = -22 + h. Does 2 divide m?
True
Let h(b) = 77 + 22*b + 73 - 148. Is 14 a factor of h(5)?
True
Suppose 0 = -f + 72 + 30. Is 3 a factor of f?
True
Let h(i) = -14*i**2 - i**3 + 19 + i + 14*i**2. Let q be h(0). Suppose u - q = 20. Is u a multiple of 13?
True
Let h = 13 + -11. Suppose -3*j - r - 5 = 0, -5 = h*j - 0*j - r. Is 21 a factor of (j/4)/((-2)/168)?
True
Let f(p) = p**3 - 2*p**2 + 8*p - 2. Is f(7) a multiple of 17?
False
Suppose -10 = -0*n - 5*n. Let t be -12*n*(-2)/2. Suppose -4 - t = -f + 4*o, 0 = 2*f + 3*o - 45. Does 8 divide f?
True
Let t = -12 + 17. Is 19 a factor of ((-760)/25)/((-2)/t)?
True
Is (-1110)/(-1) - (-89 - -98) a multiple of 42?
False
Let u be (2*100/8)/1. Let y = 17 - u. Let c = -1 - y. Is c even?
False
Let r(h) = 2*h + 26. Let p(v) = -3*v - 25. Let f(j) = 3*p(j) + 4*r(j). Is 7 a factor of f(15)?
True
Let m = 14 - 12. Suppose -l - 23 = -r + 3*l, 0 = -m*r + 3*l + 21. Suppose -f + 15 - r = 0. Is 6 a factor of f?
True
Suppose 5 = 2*t + 15. Is 350 - t/(20/12) a multiple of 12?
False
Let m(c) = -21*c - 54. Is m(-5) a multiple of 17?
True
Suppose 4*s - 3*g = -15783, -s - 7891 = s - g. Let m be s/(-25) + 3/15. Suppose z + 5*q - 53 = -0*q, -2*q = 4*z - m. Is 11 a factor of z?
False
Let f be 18 + 64 - (2 - 1). Suppose -6*u + 3*u = f. Does 11 divide 6/u - 654/(-27)?
False
Suppose x + 10 = 3. Let t(d) = 2*d**2 + 5*d - 8. Let h be t(x). Suppose h = 2*b - 13. Is b a multiple of 7?
False
Suppose 4*g + 26 = -o + 1, -11 = 2*g - o. Is 19 a factor of ((-57)/g - -2)/(1/10)?
False
Suppose 3860 = 4*b + 2*r, 62*r = 5*b + 64*r - 4823. Is 90 a factor of b?
False
Let n = 399 + -165. Is n a multiple of 26?
True
Let f = 12 + -5. Let v(u) = 5*u**3 + 0*u + 5*u + 7*u**2 - 6 - 7*u**3 + u**3. Does 10 divide v(f)?
False
Let i = -13 - -8. Let s be (18/i)/(6/(-195)). Suppose -4*z = -z - s. Is 13 a factor of z?
True
Let u(z) = -z**3 - 5*z**2 + 5*z - 6. Let i be u(-6). Suppose -5*x = -0*t + 4*t - 127, i = -2*t + 2*x + 50. Does 28 divide t?
True
Let a be (2/(-4))/(2/16). Suppose 5*s + 20 = s, -2*f = 5*s + 49. Let r = a - f. Is r a multiple of 4?
True
Suppose -221*c + 1928 = -213*c. Is c a multiple of 27?
False
Let s(k) = -k**3 - 5*k**2 - 4*k - 4. Let q be s(-4). Let v(c) = -c**3 - 4*c**2 - c + 4. Is 4 a factor of v(q)?
True
Let q = 2242 + -798. Does 18 divide q?
False
Let q = 110 - 65. Let u = 73 - q. Suppose 4*m - 111 = -x, -5*x - 5 = -m + u. Does 19 divide m?
False
Let a(t) be the second derivative of -3*t**4/4 + 5*t**3/3 + 6*t**2 + 5*t. Let i(g) be the first derivative of a(g). Does 41 divide i(-4)?
True
Suppose -64 = 4*v + 732. Does 13 divide 3/6 + v/(-2)?
False
Let c = 13 + -11. Let g(n) = 3*n**2 + 3*n + 7*n - c*n**2 + 5 - n. Is 4 a factor of g(-10)?
False
Let g = -194 + 344. Let k = 11 + -7. Suppose 2*w - o = 61, k = -5*w - 4*o + g. Does 15 divide w?
True
Let d = 213 - -39. S