i. Suppose 5*c + 19 = u. Let a = -16 + c. Is a a multiple of 10?
False
Let s = 100 - 60. Is 8 a factor of s?
True
Let h(c) = 6*c**2 - 8. Let g be h(-4). Suppose 0 = -k - k. Suppose -4*s + k*s = -g. Is 22 a factor of s?
True
Let b(r) = r**3 + 10*r**2 - 3. Let m be b(-10). Is 6 a factor of m - (-12 - (3 + -2))?
False
Let x(b) = 10*b**2 + b - 2. Let m be x(1). Suppose 0 = -2*r - 0*s + 3*s + m, -4*r + 51 = 5*s. Is 3 a factor of r?
True
Let n(a) = 2*a**2 - 5*a - 2. Let p be n(-3). Suppose -3*o + 3*r + p + 8 = 0, -3*r + 24 = 4*o. Let t = 19 - o. Does 6 divide t?
False
Let i = 67 - 52. Is i a multiple of 5?
True
Suppose -5*t = 3 + 2. Let z be t/3 - (-55)/3. Suppose 2*f - z = -0*f. Is f a multiple of 9?
True
Suppose 0*z = 3*z - 6. Let b = z - 7. Let l(n) = -4*n + 4. Does 13 divide l(b)?
False
Let k = -26 + 33. Does 4 divide k?
False
Let j = 4 - 10. Is (-4 - j) + 7*1 a multiple of 4?
False
Suppose q - 92 = -2*m, 190 = 2*q + 6*m - 5*m. Does 10 divide q?
False
Let q(g) = 3*g**3 + 4*g**2 - 10*g. Does 18 divide q(4)?
True
Suppose -2*k - 206 = 4*h, -4*k - 46 + 184 = -3*h. Is 2/4 + h/(-4) a multiple of 6?
False
Let d(x) = 20*x - 10. Is 10 a factor of d(5)?
True
Let j be (8/10)/(2/(-10)). Does 17 divide 2*17*(5 + j)?
True
Suppose 5*l - 990 = 5*k, 0 = -4*l + 3*k + 112 + 683. Is 9 a factor of l?
False
Let o be 34*(2 + -2 - 1). Let d be o*(15/(-6))/5. Is (-6)/3 + (d - -1) a multiple of 16?
True
Let h = -10 + 17. Let q = h + -3. Suppose 3*l + 14 = 3*i + 2*l, 5*l - 44 = -q*i. Is i a multiple of 3?
True
Suppose 5*p - 19 = -4. Does 4 divide 20 - (2 - (4 - p))?
False
Let k(r) be the second derivative of -r**5/20 - r**4/2 + r**3 - 5*r**2/2 + 3*r. Let o be k(-7). Is 3 a factor of (o - -1)/6*20?
False
Let m = -9 - -19. Does 9 divide m?
False
Let b(a) = -2*a**3 - 4*a**2 + a + 3. Let d be (3/3*-3)/1. Let x be b(d). Suppose w = -w + x. Does 8 divide w?
False
Suppose -5*r + 14 = -36. Let w be 615/21 - (-2)/(-7). Suppose w + r = o. Is o a multiple of 13?
True
Suppose 28 = 3*f - 5*b, -2*f + 0*b - 2*b = 8. Does 4 divide ((-1)/3)/(f/(-18))?
False
Let h(s) = 2*s**2 + 4. Does 11 divide h(2)?
False
Suppose -3*y - 54 = -0*y. Does 7 divide (-534)/(-27) - 4/y?
False
Let h be (5 - -1) + (-1 - 0). Does 23 divide (46/5)/(1/h)?
True
Is 14 a factor of ((-1665)/2)/5*8/(-12)?
False
Let n(i) = i - 5. Let d be n(7). Suppose -2*f - d = -6. Suppose f*v + 2*b = -3*v + 59, 0 = -2*b - 6. Does 13 divide v?
True
Suppose 3*w = -w - 288. Let p = w - -112. Suppose -q = -5*q + p. Is 6 a factor of q?
False
Suppose -3*v + 3*y - 7 = -22, 3*v - 5*y - 19 = 0. Suppose 0 = v*c - 6*x + x - 20, -4*x + 8 = 0. Does 5 divide c?
True
Suppose 7*p = 5*p + 14. Suppose -2*w - 25 = -p*w. Is w even?
False
Suppose 0 = 3*a + 4*p - 106, 9*a - 2*p + 138 = 13*a. Is 2 a factor of a?
True
Let v = 12 + -20. Is 13 a factor of (-4)/v + 50/4?
True
Suppose 4*f - 2*f - 6 = 0. Suppose g - 26 = 4*a, -f*g - 54 = -3*a - 177. Is 23 a factor of g?
True
Let z(p) = -p**2 + 13*p - 12. Suppose 0 = -0*l - l - 13. Let f = l + 23. Is 14 a factor of z(f)?
False
Is 35 a factor of (-2)/(32/(-12))*140?
True
Let x(r) = -15*r - 42. Does 24 divide x(-14)?
True
Let d(s) = 11*s**2 + 4*s + 3. Let n be d(-2). Suppose -2*w + g = 3*g + 20, 3*w + 34 = -2*g. Let o = w + n. Does 15 divide o?
False
Let t = 9 + 1. Let j be 6/18 + t/6. Suppose 0*y = -j*y + 64. Is 18 a factor of y?
False
Let m = 154 - 84. Suppose -5*o + 0*o = -m. Is o a multiple of 7?
True
Let q = 4 - -44. Is 12 a factor of q?
True
Does 11 divide 145 + (2/(-8) - (-7)/(-4))?
True
Let f = -94 + 161. Does 19 divide f?
False
Suppose 2*i = i + 5. Let r = 5 - i. Suppose r = -4*c - 1 + 57. Is 12 a factor of c?
False
Suppose 3*m + 79 = 4*m + w, -2*w + 238 = 3*m. Is 20 a factor of m?
True
Let b(x) = -x**3 - 19*x**2 + 2*x + 41. Let h be b(-19). Let k be 2 - (0 - 1/1). Suppose -k*z = 4*j - h*j - 25, j - 22 = -4*z. Is 17 a factor of j?
True
Let k(d) = 2*d**2 - 11*d + 4. Let v(f) be the first derivative of -f**2/2 + 3*f + 2. Let c be v(-5). Does 15 divide k(c)?
False
Let a be (-2)/(2 + (-24)/9). Let z = -3 + a. Does 9 divide (2 + -2 - -9) + z?
True
Suppose -l + 1 + 1 = 0. Let o be (-2)/(-4) - l/4. Let d = 6 + o. Does 6 divide d?
True
Let x = 21 - 3. Is 4 a factor of (x + 0)*(-4)/(-6)?
True
Suppose -88 = -5*l + 32. Is 12 a factor of l?
True
Let q = -111 + 146. Does 16 divide q?
False
Suppose -2*d - 13 = 3*o, -5*o - 3*d = -0*d + 23. Does 8 divide 0 + o/(7/(-30))?
False
Suppose 0 = -11*z + 14*z - 498. Does 19 divide z?
False
Let u = -62 - -212. Does 25 divide u?
True
Suppose 2*p - 1 - 5 = 0. Suppose 5*g - p = 4*o, 4*o + 6 = 2*o + 4*g. Suppose -o*d = -8 - 1. Is 3 a factor of d?
True
Does 26 divide (-2*1/(-2))/((-24)/(-624))?
True
Suppose 2*p - 4*p - 30 = -4*c, -2*p + 5 = 3*c. Let h = 5 + c. Is h a multiple of 5?
True
Suppose 0 = 4*n - 17 + 1. Suppose f - 4*c - 18 = 0, c + 90 = 5*f - n*c. Is f a multiple of 9?
True
Let h(w) = -w**3 - w**2 - 2*w + 3. Let y be h(-4). Let t = y - 22. Does 18 divide t?
False
Let f be (-1496)/(-10) + (-4)/(-10). Is 7 a factor of f/8 - (-12)/(-16)?
False
Let t(a) = -18*a + 11. Is 16 a factor of t(-4)?
False
Let d(h) = h - 10. Let v be d(6). Does 20 divide -6*(-50)/(-16)*v?
False
Suppose 0*i + 3*i = -w + 15, i + 59 = 5*w. Let x = -7 + w. Suppose 27 + 28 = x*s. Does 11 divide s?
True
Suppose -3*v = -v - 6, -x - 4*v + 33 = 0. Is 2 a factor of x?
False
Let u(l) = l**2 + 8*l + 5. Let t be u(-7). Let o(y) = 3*y**2 + 4*y + 5. Is 3 a factor of o(t)?
True
Suppose -5*l + 4 = -2*d - 1, -5*l = -5*d + 25. Is 4 a factor of d?
False
Let x = 172 + -151. Does 21 divide x?
True
Suppose 240 = -3*n + 5*n. Is 30 a factor of n?
True
Suppose 2*t + 2*t + 136 = 0. Let c = t - -102. Suppose 5*y = -4*z + 110, -2*z - 2*y + c = -6*y. Is 10 a factor of z?
True
Let h = 234 - 155. Is 49 a factor of h?
False
Let r(x) = 7*x**2 + 5*x - 4. Is 21 a factor of r(5)?
False
Let l(g) = g**2 + 2*g - 2. Does 10 divide l(11)?
False
Let m(d) = 49*d**3 + d**2 + d - 1. Let g be m(1). Suppose 0 = -6*x + x + g. Suppose y = x + 9. Does 19 divide y?
True
Let a(r) = -3*r**2 - 4*r - 2. Let j be a(-2). Let w be 9/2*(-16)/j. Suppose 0 = -0*p - 2*p + w. Is p a multiple of 6?
True
Let q(h) = 2*h - 14. Let b be q(7). Suppose o - 24 + 0 = -v, 3*o - 24 = -v. Suppose b = -4*g + v + 52. Is 6 a factor of g?
False
Let p = 1 + -9. Let l(x) = -x**2 - 11*x - 7. Is 17 a factor of l(p)?
True
Is (1176/(-60))/((-1)/5) a multiple of 14?
True
Suppose 0 = -4*p + p + 3*z + 108, 144 = 4*p - 2*z. Is 9 a factor of p?
True
Is (1 + 1)/((-4)/(-72)) a multiple of 3?
True
Is 3/(-3) + 2 + 23 a multiple of 8?
True
Let v = -152 - -187. Is v a multiple of 24?
False
Suppose 0 = -2*t - 7*h + 3*h + 40, t - h - 5 = 0. Suppose 0 = -p - 31 + t. Does 4 divide (-14)/p*6*1?
True
Let b(w) = -w**2 + 2*w - 3. Let s be b(3). Let u(f) = -5*f**2 - 2*f - f**3 - 3 - 1 + 6*f. Is u(s) a multiple of 4?
True
Suppose -28 - 5 = -3*a. Suppose -3*j + 0*z = z - 1, 4*z - 4 = 0. Suppose 2*g - a - 1 = j. Is g a multiple of 6?
True
Let l be (-11 + 1)/(-2) - 3. Is 4*(15 + (-2)/l) a multiple of 12?
False
Suppose 0 = b - 2, 0 = -3*s - s - b + 362. Suppose q - 3*q = -4*i + 132, s = 3*i + 3*q. Is i a multiple of 7?
False
Let r = 2 + 5. Let a(x) = 3*x - 6. Is a(r) a multiple of 5?
True
Suppose 3*k + 25 = -5*w, -4*k + 0*k + 10 = -2*w. Suppose -4*g + g + 48 = k. Is 7 a factor of g?
False
Suppose 5*p = -n + 6, -6*n - 2*p = -4*n - 28. Let o = -51 + 129. Is o/8 + 4/n a multiple of 5?
True
Suppose -3*f + 303 = 4*h, 6*h - 4*f = h + 402. Is 13 a factor of h?
True
Suppose -6*m + 2*m - 10 = -3*c, 4*m + c = -2. Let t = 3 + m. Is 9 a factor of -2 - (t - (-26)/(-2))?
True
Suppose -n = 3*v + 16, -4*v - 3*n = -5*n + 8. Does 9 divide (-18)/5*(v - 1)?
True
Let x = 124 + -35. Let w = 127 - x. Is w a multiple of 19?
True
Let l = -2 - -13. Suppose -w = 2*s - 22, -l - 6 = -s - 2*w. Suppose 0*z + z = s. Does 4 divide z?
False
Let o be 1/(-6) - (-253)/6. Let a = o + -30. Does 8 divide a?
False
Let r(m) = 13*m**2 + 3*m - 10. Does 11 divide r(-3)?
False
Let i = 7 + -7. Suppose i + 2 = a. Does 2 divide a?
True
Let a = 113 + -34. Is 46 a factor of a?
False
Suppose 2*z - 1 - 7 = 0. Suppose z*p - 4 = 0, j = -0*j + 3*p + 6. Does 5 divide j?
False
Let i be 264/5 - (-2)/10. Let z = 87 - i. Is 17 a factor of z?
True
Let j = 111 - 63. Does 