(1). Let a be (-1 + y)/(2 + -1). Suppose a = c + c. Does 12 divide c?
True
Suppose -5*d + 310 = -5*b, 4*b - 373 + 99 = -5*d. Is 29 a factor of d?
True
Suppose -4 = 2*v + 2*v. Is 13 a factor of 4/(v - (-46)/44)?
False
Suppose 3*j - 4*j = 0. Suppose -3 = 2*u + 3*k + 11, -3*k = j. Let g(c) = c**3 + 9*c**2 + 10*c - 2. Does 15 divide g(u)?
False
Let w = 57 + 41. Is 46 a factor of w?
False
Suppose n + 3 = -3*p, n - p = 4*n - 15. Does 15 divide 2/n - 325/(-15)?
False
Let f(n) = n**2 + 9*n - 6. Let z be f(-10). Is z/(-14) - 447/(-21) a multiple of 18?
False
Suppose 37 = -3*d + 5*r, -3*d + 0*r - 17 = -r. Does 3 divide ((-9)/4)/(1/d)?
True
Suppose -l - 5*p - 6 = 9, -5*l + 13 = 3*p. Does 10 divide (34/l)/((-6)/(-30))?
False
Is 13 - (3 + -3 + 1) a multiple of 12?
True
Let m(h) = -4*h. Let c(j) = j**3 - 3*j**2 - 3*j - 5. Let x be c(4). Let d = -1 + x. Is 5 a factor of m(d)?
False
Is 11 a factor of -2 - 14*(-60)/8?
False
Suppose -2*f - 55 + 235 = -5*x, x = -4*f - 14. Let l = x + 64. Suppose 4*i + l = 5*z, -2*z + 20 - 8 = i. Is 3 a factor of z?
True
Let f(m) = 2*m**3 + 15*m**2 - 7*m - 23. Is 15 a factor of f(-7)?
True
Let a = 14 - 7. Is a a multiple of 6?
False
Suppose 4*j - g = 3*g + 4, 5*j + 2*g = -30. Let c = j - -13. Does 6 divide c?
False
Let o be 2/7 - 20/70. Suppose 3*i = 2*n - o*n + 31, 3*n - 77 = -5*i. Does 5 divide i?
False
Does 14 divide ((6/4)/3)/((-3)/(-540))?
False
Is 12 a factor of 40/6*(2 - 696/(-30))?
True
Suppose -92 = -5*x - 2. Does 8 divide x?
False
Suppose -y = 3*y - 116. Is y a multiple of 2?
False
Let x = -157 + 253. Suppose 4*u - x = 132. Is 19 a factor of u?
True
Suppose 2*n + 5*a - 116 = a, 3*n + a - 154 = 0. Is n a multiple of 19?
False
Suppose 5*y - 44 = 3*o, 0*o = 4*o + 12. Let v = y - 7. Suppose -m + c + 14 = -0*c, v = -3*m + 5*c + 38. Is 7 a factor of m?
False
Let v(c) = 2*c**2 + 8*c. Let f = -16 - -10. Is v(f) a multiple of 12?
True
Let a = -5 - 0. Let z(b) = b**2 + 4*b + 1. Let c be z(a). Suppose -c = -u - 0. Is 4 a factor of u?
False
Suppose -3*n + 3*a = 5*a - 88, 0 = 3*n - 5*a - 74. Is n a multiple of 7?
True
Suppose -3*o - 119 = -5*y, o - 2*o - 2*y - 47 = 0. Suppose 210 + 42 = -3*s. Let x = o - s. Is 23 a factor of x?
False
Suppose 0 = -3*h + 5*h + 4*s - 132, -5*h - s + 303 = 0. Suppose 0 = 3*g - 2*n - 84 - 26, 0 = g + 4*n - h. Is g a multiple of 20?
True
Let d(u) = 5*u**2 - 15*u - 19. Let x(b) = -4*b**2 + 14*b + 18. Let w(y) = 5*d(y) + 6*x(y). Let j = -5 + -4. Is 13 a factor of w(j)?
True
Suppose -4 = -u + 6. Is u a multiple of 5?
True
Suppose -88 = -3*o + 59. Is o a multiple of 10?
False
Let c = 0 - -2. Suppose 3*i - c*w - 6 + 136 = 0, -i - 5*w - 49 = 0. Is 11 a factor of (i/6)/(6/(-9))?
True
Suppose 0*s - 168 = -4*s. Is 10 a factor of s?
False
Suppose -2*w - 3*k + 1 = 0, -4*w - 3*k - 5 + 16 = 0. Is (1 + w)*20/3 a multiple of 22?
False
Let t be (3/9)/((-1)/(-15)). Suppose 11 = -w - t*i, w - 5*i = 14 + 15. Does 4 divide w?
False
Suppose -2*i = 3*i - 70. Does 14 divide i?
True
Suppose w + 17 + 5 = 0. Does 19 divide -2 + 3/(-3) - w?
True
Let z(c) = 5*c - 2. Let u be z(5). Does 11 divide (-2 - 1) + -2 + u?
False
Let v be 22/6 + 2/(-3). Suppose 4*j + c - 399 = 0, 5*j - 490 = -v*c - 0*c. Is 24 a factor of j?
False
Suppose 0 = 2*d - 5 - 1. Let q(n) = 2*n - 4. Let s be q(d). Is (19/(-3))/(s/(-12)) a multiple of 19?
True
Does 10 divide -3 + 16 + 6*(-4)/8?
True
Let h be 66/(-7)*(0 + -7). Suppose 117 = 4*o + u, 0*u - h = -2*o - 2*u. Does 25 divide o?
False
Suppose 0 = -0*r + 2*r + 5*f - 395, 620 = 3*r + 2*f. Is r a multiple of 25?
False
Suppose 6*u = 7*u - 30. Is 30 a factor of u?
True
Let m(c) = c**2 + 11*c + 12. Let d be m(-10). Suppose 5*x - 68 = s, 0 = -4*x + d*x + 4*s + 20. Is x a multiple of 14?
True
Suppose 47 + 33 = 2*d. Suppose 30 + d = 5*p. Is 6 a factor of p?
False
Let d(y) = -22*y**3 + 2*y**2 - 1. Let n be d(-1). Let g = 14 - 18. Is 7 a factor of n + (3 - (-1 - g))?
False
Let k(p) = 9*p - 3. Let j be k(8). Suppose 2*r + d - 59 = -2*r, -4*r + d = -j. Is 11 a factor of r?
False
Let r = 5 - -30. Is r a multiple of 7?
True
Suppose 5*m + 60 = -3*j, 0 = j - 4*m - 0 + 3. Suppose -3*p = -95 + 11. Let l = p + j. Does 7 divide l?
False
Let o be (3*-1)/((-12)/(-8)). Does 14 divide 43/o*(7 - 9)?
False
Suppose 0*i + 92 = i. Does 33 divide i?
False
Let c(m) = -2*m + 5. Let f be c(-7). Let r be 9/6*2 + 1. Suppose -r*g + f = -29. Does 12 divide g?
True
Let i(m) be the second derivative of -10*m**3/3 + m**2/2 - 3*m. Let d be i(-1). Suppose 3*a - d - 75 = 0. Is 15 a factor of a?
False
Suppose 0 = -s + 6*s - 10. Suppose -s*o = -o - 32. Suppose 19 = t - o. Is t a multiple of 19?
False
Suppose -127 = -c + 3*d, -5*d - 60 = -4*c + 455. Is 6 a factor of c?
False
Does 12 divide 3/(-12) + (-1058)/(-8)?
True
Let n(i) = 2*i**3 - 8*i**2 - 2*i + 12. Is 12 a factor of n(6)?
True
Suppose 0 = -4*m + 8*m - 284. Is 4 a factor of m?
False
Let u = -158 - -358. Is u a multiple of 20?
True
Let n = -7 - -9. Suppose 5*j + 4*k = -4, -2*j = -0*k + 3*k + 3. Suppose -4*x = -t - 4 - n, j = 4*x - 4*t. Is x even?
True
Suppose 5*t + 10 = -5*w, -3*t = -5*w - 20 - 6. Let l be w/(-14) + 1144/14. Suppose -2*j = 2*j + 2*g - l, -5*j + 3*g + 97 = 0. Is 7 a factor of j?
False
Does 15 divide (22 + -20)*17*1?
False
Suppose b + 5*m = -10, 0 = -2*b - m + 3*m + 40. Is b a multiple of 15?
True
Let j = 9 - 2. Suppose 0 = j*w - 3*w - 68. Is w a multiple of 17?
True
Suppose -5*f + 2*d = -174, 0*f - 3*f - 2*d + 114 = 0. Suppose o - 3*o - f = 0. Let m = o + 42. Is m a multiple of 12?
True
Suppose -3*d + 5*k + 21 = 0, 0 = -5*d - 3*k + 2*k + 7. Suppose -2*u + u = -d. Suppose 0 = -j + u*j - 32. Is j a multiple of 16?
True
Is 199/3 - 4/12 a multiple of 22?
True
Suppose 2*w = -0*w - 4*l - 112, -2*w - 118 = l. Let h = -54 + 154. Let m = w + h. Does 20 divide m?
True
Let d(q) = -2*q**3 + 0*q + 6*q + 3*q**3 + 7*q**2 - 3. Let r be d(-6). Let z = -1 - r. Is z a multiple of 2?
True
Let q = -23 - -46. Is 2 a factor of q?
False
Let s be 3*(0 + (-2)/6). Let h(c) = -2*c**3 - c**2. Let y be h(s). Let u = y + 19. Is 12 a factor of u?
False
Let n(l) = -l**3 + l + 49. Is 14 a factor of n(0)?
False
Let k(o) = -o - 3. Let w be k(-8). Let b = -5 + w. Suppose -t + b*m = 2*m - 37, 5*t + 5*m = 160. Is 8 a factor of t?
False
Suppose 0 = o - 14 - 60. Is o a multiple of 15?
False
Let l be 4/(-2) + (0 - 0). Let x(u) be the third derivative of -u**4/12 + u**2. Is x(l) even?
True
Let r be -4 + (0 + 2)/1. Let k = r + 13. Let c = k + -6. Does 4 divide c?
False
Suppose 1263 = 8*y - 129. Does 29 divide y?
True
Suppose 3*n - 13 = 11. Does 4 divide n?
True
Let y = -6 + 10. Suppose y*z - 79 = -7. Does 8 divide z?
False
Let j be (-2)/(-1 - -3) - 1. Does 6 divide 14 + -7 - 0/j?
False
Suppose -120 = -c - i, 0 = 3*c - 0*i + 4*i - 363. Is 41 a factor of c?
False
Let r = -8 + 9. Is r + (1 + -3)*-1 a multiple of 3?
True
Let o = 209 - 104. Does 35 divide o?
True
Is 7 a factor of (-2)/12*2*-57?
False
Let r = 7 + -5. Is (3/r)/(21/224) a multiple of 4?
True
Suppose -55 = -x - 5*g, -4*x + 6*g + 295 = g. Is 5 a factor of x?
True
Does 26 divide (-130*(-2 + 0))/(18 - 17)?
True
Let c = 39 + -81. Let a = -25 - c. Does 17 divide a?
True
Let m(b) = b**3 + 9*b**2 - 7*b - 2. Does 18 divide m(-9)?
False
Let t(r) = -7*r - 5. Let s be t(1). Let g be (-13)/(-4 - -2 - -1). Let a = g - s. Is a a multiple of 12?
False
Let p(w) be the first derivative of w**4/4 - 2*w**3 - 7*w**2/2 + 7*w + 2. Is 3 a factor of p(7)?
False
Suppose -n + 3*l = -5 - 0, 3*l + 3 = 0. Let v(m) be the second derivative of 3*m**5/20 - m**4/6 - m**3/6 + m**2 - m. Is 8 a factor of v(n)?
True
Let u = 7 - 13. Suppose 0 = c + 4*l + 24, 3*l - 2*l + 21 = -4*c. Does 16 divide (-168)/(-9) - c/u?
False
Let m(g) = -2*g**2 - 9*g + 1. Let o(r) = 2*r**2 + 9*r - 2. Let b(f) = -5*m(f) - 4*o(f). Let d be b(-6). Let c = d + -10. Is 11 a factor of c?
True
Suppose 3*r + 3*g = 5*g + 820, -3*r - 5*g = -785. Does 27 divide r?
True
Let c = 17 - 7. Does 10 divide c?
True
Let r(z) = -z**3 + 9*z**2 - 6*z - 6. Let s be r(6). Suppose s = -u + 3*u. Does 11 divide u?
True
Suppose -48 = -3*u + 5*o, 8*o = -2*u + 3*o + 32. Suppose u = -3*k + 64. Does 16 divide k?
True
Suppose 2*k = -k + 513. Suppose -4*j + 5*n = -2*j - 95, -3*j + k = 2*n. Is 16 a factor of j?
False
Suppose 2*b - 25 = 2*c + c, -4*b = -5*c - 4