. Let n = r + 51. Is 10 a factor of n?
False
Let d(a) = -a**3 + 17*a**2 - 13*a - 16. Let q be d(15). Suppose 71 + q = 5*f. Does 24 divide f?
False
Suppose -32*b + 123580 = 42*b. Is b a multiple of 19?
False
Suppose 6*o + 2318 - 6464 = 0. Is o a multiple of 29?
False
Let b(j) = -19*j**2 + 3*j + 4. Let q be b(2). Is -6*(6/33 - (-375)/q) a multiple of 18?
False
Let a(t) be the first derivative of t**3 + 7*t**2/2 + 12*t + 19. Does 10 divide a(-7)?
True
Suppose -4*a = 2*i + 9 + 173, -3*i = -a - 56. Is 47 a factor of ((10 - 10) + -4 + 1)*a?
True
Let g(f) = f**3 - 11*f**2 - f + 14. Let o be g(11). Suppose -5*h + 11 = -4*r, o*h + 3 - 10 = 2*r. Is h a multiple of 3?
True
Let d(b) be the first derivative of 2*b**3/3 + 2*b**2 - 12*b - 4. Is d(-6) a multiple of 3?
True
Let h(p) = p + 13. Let o be h(-11). Suppose -21 = -o*z - 3. Let a = z - -7. Does 7 divide a?
False
Let x = 196 - -38. Is x a multiple of 9?
True
Suppose -120 = -8*y + 7*y. Is 12 a factor of y?
True
Suppose 153 - 1236 = -19*p. Is p a multiple of 27?
False
Let h = 62 + 1020. Is h a multiple of 87?
False
Suppose 12*y + 1 = 11*y. Let j be (-4 - -3)/y*-3. Let h = j + 22. Is 14 a factor of h?
False
Suppose 0 = f - 4*s - 1054, -5*s = 3 - 8. Does 37 divide f?
False
Suppose 1694 = 4*r - 1202. Is r a multiple of 34?
False
Suppose -3*y = -5*w - 3098, w = -7 + 12. Does 31 divide y?
False
Let y(a) = a**2 - 11*a - 2. Let j be y(11). Let r be (-1)/j + 61/2. Suppose 4*s + 5*q = r, -4*q = -s - q + 29. Does 7 divide s?
True
Let r be 30/8 + 6/(-8). Suppose r*f + 0*f = -81. Does 6 divide (-4)/(-3)*f/(-6)?
True
Suppose 3*m = -3*h - 0*m + 444, 0 = -4*m + 16. Is h a multiple of 18?
True
Let x be 4 - 4 - (-15 - 1). Let i = x + -13. Suppose 4*s - 7*l + i*l - 160 = 0, -5*s - 5*l = -210. Is 8 a factor of s?
False
Suppose -13*f + 14*f - 3 = 0. Suppose 5*a - 53 = 3*n, 4*n = a + f*n - 11. Is a a multiple of 5?
True
Let u(j) = 2*j - 7. Let a be u(6). Suppose 5*m - 452 = m - 4*g, a*m - 535 = g. Is m a multiple of 27?
True
Let c(r) = -r**2 - 3*r - 5. Let t be c(-2). Is 17 a factor of 77*(-1 - t)/(-4)*-2?
False
Let r(a) = 10*a - 9. Let i(m) = 50*m - 44. Let o(g) = -2*i(g) + 11*r(g). Let c be o(10). Suppose -2*z + c - 267 = -2*t, 247 = 3*t + 2*z. Is 18 a factor of t?
False
Let z(n) = 32*n + 758. Is 22 a factor of z(32)?
True
Let f = 40 - -48. Does 4 divide f?
True
Suppose 60 = -6*q + 10*q. Does 25 divide 2/3 + 1490/q?
True
Let i = 594 + 242. Is i a multiple of 38?
True
Let k(o) = 4*o**2 - 8*o + 10. Is k(5) a multiple of 6?
False
Let d(t) = t - 16. Let r be d(9). Let v = r + 16. Is 3 a factor of (v/2)/((-12)/(-24))?
True
Suppose 0 = -2*o - 2*v, 2*o - 4*v + 5 - 17 = 0. Let x = -15 + 17. Let d = o + x. Does 3 divide d?
False
Does 15 divide 32/36 + 44359/63?
True
Let h = 452 + 411. Does 9 divide h?
False
Let y(q) = q**3 + 5*q**2 - 8*q - 4. Let w(g) = 0*g + 5*g + 16 + 4*g - g**2. Let p be w(11). Does 2 divide y(p)?
True
Let d(t) = 2*t**2 - 11*t + 97. Is d(29) a multiple of 20?
True
Let z(k) = 4*k - 14. Let y = -17 + 21. Let s be z(y). Is 8 a factor of s/(-2)*(-30 - 3)?
False
Suppose 0 = 13*l - 7*l - 2880. Is l a multiple of 49?
False
Suppose -5*y + 12*z - 7*z + 4780 = 0, -5*y = 2*z - 4808. Does 20 divide y?
True
Suppose 0 = 4*g - 47 - 57. Let y = 37 - g. Is 2 a factor of y?
False
Suppose 1167 = 10*x - 2233. Is 6 a factor of x?
False
Does 34 divide (6 + 78)/(-6)*-7?
False
Let b(o) = 34*o + 260. Is b(4) a multiple of 11?
True
Suppose -57 = -s - 0*s. Suppose 0 = r - s - 111. Is 17 a factor of r?
False
Suppose 0 = -35*w - 19 + 159. Let y(j) = j**3 - 6*j**2 + 7*j - 5. Let a be y(5). Suppose w*l = 2*b + 86, a*l - b - 89 = l. Does 7 divide l?
False
Let m(d) = d**3 - 6*d**2 + 7*d - 7. Let w be m(5). Suppose -w*k = k - 20. Let a = 9 + k. Does 8 divide a?
False
Let y be (-6)/((-6)/21 - 0). Suppose -y = 32*n - 33*n. Is n a multiple of 7?
True
Suppose -34*v + 16*v + 11520 = 0. Is 80 a factor of v?
True
Let x be (-5)/(-2) - (91/(-14) - -6). Suppose x*u - 31 = 32. Is 21 a factor of u?
True
Let b be -386*(-4 + (-45)/(-10)). Let i = 403 + b. Is i a multiple of 31?
False
Suppose -2*n = -n + 2. Let f = 18 - n. Is f a multiple of 10?
True
Suppose -7521 = -14*i + 39. Suppose 3*x + x = 5*s - i, 0 = 5*s - x - 540. Does 12 divide s?
True
Let q(j) = 3*j - 3. Let n be q(4). Suppose -3*u - n = 2*y, -7 - 5 = 4*y. Does 20 divide ((-350)/21)/(u/3)?
False
Does 13 divide ((-1872)/(-120))/((-8)/10 - -1)?
True
Let s = -73 + 75. Suppose -s*b + 225 = l, -4*b + 110 + 337 = 3*l. Is 25 a factor of b?
False
Let k be (-6)/21*(-6 - 1). Suppose -k*u = -5*u + 210. Is u a multiple of 10?
True
Let c(v) = -2*v + 30*v + v. Let j be c(1). Is j + (-6 - 9/(-3)) a multiple of 15?
False
Let p = 73 - 8. Does 2 divide p?
False
Let a(o) = o**2 - 3*o - 11. Let m be -2 - 21/(-4 - -1). Suppose 2 = b - 3*y, -m*b - y + 48 = 3*y. Is a(b) a multiple of 13?
False
Is 61 a factor of 1 + 675 - (19 - 14)?
True
Let i(l) = 2*l - 17*l + 11 - 1. Let y be (-8)/3 + (-6)/18 + -4. Does 17 divide i(y)?
False
Let k(s) = s**2 + 12*s - 29. Let p be k(-14). Is -1 + p/((-5)/390) a multiple of 18?
False
Let j(i) = i**3 - 4*i**2 - 15*i - 7. Let n be j(7). Is 10/n + (-2236)/(-14) a multiple of 33?
False
Does 80 divide (-7 + 391)*20/6?
True
Let c(h) be the second derivative of 8*h**3/3 - 2*h**2 + 4*h. Let d be c(4). Let i = -27 + d. Is i a multiple of 26?
False
Let i(c) = 8*c**2 - 41*c + 8. Suppose -5*o + 5*y + 42 = -23, y + 45 = 5*o. Does 48 divide i(o)?
True
Let r = -86 - -146. Suppose -6 = 2*d - r. Does 9 divide d?
True
Suppose 3922 = 9*a - 16922. Is 22 a factor of a?
False
Let h = -477 + 733. Let s = h + -64. Does 48 divide s?
True
Is -2 - (-43*5 + 0 - -2) a multiple of 49?
False
Let g be 0 + 4 - (13 + 0). Let r be ((-12)/2)/(g/6). Suppose 296 = 5*j - s, r*s - s = 5*j - 288. Is j a multiple of 15?
True
Let x be (-28)/(-98) + (-38)/(-14). Suppose 0 = s - 2, -2*l - 1078 = x*l + s. Is l/(9/(-3)) - 4 a multiple of 17?
True
Let k = 8 - 24. Is 8*(84/k)/(-7) a multiple of 4?
False
Is (-733)/(-3) + 102/153 a multiple of 35?
True
Suppose -i + d + 5 = i, 5*d = -4*i + 31. Suppose -6*s = -10*s + 60. Suppose f - s = -i. Does 6 divide f?
False
Let h be 12/2 - -1 - (-5 - -2). Is 436/h + ((-70)/(-25))/7 a multiple of 11?
True
Suppose 24*w = -0*w + 4200. Is 4 a factor of w?
False
Suppose -x - 5 = -3. Let i be x/((-1)/((-23)/(-2))). Let p = i + 14. Is p a multiple of 17?
False
Let t be 2 + -4 - (-8 - 18). Suppose 2*r - t = -14. Does 2 divide r?
False
Let b(x) = -x**3 + 13*x**2 - 9*x + 9. Suppose 3 = -t + 5*n, 0 = -2*t + 6*t + 5*n - 63. Does 9 divide b(t)?
True
Suppose 0 = 5*g - i + 441, -5*i = g - i + 105. Let m = -25 - g. Suppose 5*l - m = l. Is l a multiple of 5?
False
Suppose -9*w + 17 = -1. Suppose -4*b - 386 = -2*l, 0*l + w*b = -l + 185. Does 21 divide l?
True
Let c = 735 + 799. Does 59 divide c?
True
Let t(i) be the third derivative of i**6/120 + i**5/6 - i**4/6 + i**3/6 - 18*i**2. Is 4 a factor of t(-10)?
False
Let x(f) = f + 4. Let r(d) = -d - 3. Let t(s) = -5*r(s) - 4*x(s). Let l be t(4). Suppose -l*y = 5*o - 92, 2*y + 14 = 4*o - 42. Is 9 a factor of o?
False
Let k be 7/(-1 + (2 - 0)). Suppose -5*s + 18 = -k. Suppose s*i + 0 = 15. Is i a multiple of 2?
False
Let g = 6 + -1. Suppose -9 = -3*q + 3*h, g*q - 37 = -h + 2. Suppose -o - 2*t + q*t = -38, 5*o - 2*t - 167 = 0. Is 11 a factor of o?
True
Suppose 0 = l + 5*h - 781, -838 = -l + 4*h - 21. Is l a multiple of 9?
True
Suppose -k - 39 = 3*z - 274, -2*k = 4*z - 310. Let h = 6 - 6. Suppose -4*d - q + z = 0, -4*d + h*q = -3*q - 64. Does 8 divide d?
False
Let p = 3395 + -2390. Does 5 divide p?
True
Let v be 6*(-3 + 8/3)*1. Is 18 a factor of (-134)/(0/1 - (0 - v))?
False
Suppose 488 = 2*q - 88. Suppose 288 = 3*l - 3*k, -5*k + q = -0*l + 3*l. Is 24 a factor of l?
True
Suppose -1135 = -3*m + 4*h, -2*m = 4*h - 779 + 29. Does 29 divide m?
True
Suppose -5*l - 4*x + 461 = 0, -2*l + l + 69 = -5*x. Suppose -2*y + 5*s = 109, -2*y - l = -0*y - s. Is 32/7 + 24/y a multiple of 3?
False
Suppose -8*b + 48 - 296 = 0. Let r(w) = -w**3 - 3*w**2 + 3. Let x be r(-5). Let d = x + b. Does 11 divide d?
True
Suppose 3*q + 2*k = 3*k - 12, 3*k - 11 = 4*q. Let u(c) = -29*c - 33. Does 6 divide u(q)?
False
Let o(f) = 35*f. Let u(d) = -d**3 - 11*d**2 - 11*d - 9. Let l be u(-10). Let b be o(l). Does