le of 13?
True
Suppose 0 = -0*p - p. Suppose p*y = -y + 84. Does 21 divide y?
True
Does 23 divide 2212/3 - (-236)/(-177)?
True
Let x(p) = p**2 - 4*p + 2. Let s be x(4). Suppose d = -2*k - 3*k + 48, 0 = d + s*k - 36. Suppose 0 = -2*m + 24 + d. Is m a multiple of 15?
False
Let f be (1/2 - 0)*2. Let o = 2 + -1. Is -1 + o + 10/f a multiple of 9?
False
Let l(x) be the first derivative of 2*x - 5 + 9/2*x**2. Is 18 a factor of l(5)?
False
Let k(h) = -4*h. Suppose -3*b - 10 = 4*l, 2*b + 3*l + 2*l = 5. Does 7 divide k(b)?
False
Is 24 a factor of (-1 + -2)*(-267)/((-17)/(-17))?
False
Let m be (6 - 1) + -1 - 0. Suppose 5*u - m = u, -5*u - 97 = -2*r. Is 12 a factor of r?
False
Let h(f) = -3 + 3*f - f**2 + 7*f + f + 2*f**2. Let o be h(-11). Is 16 a factor of o + 1 - (-41 + 7)?
True
Suppose 18 + 7 = g. Is 4/(55/g - 2) a multiple of 5?
True
Let k be 7/2 + 5/(-10). Suppose -k*z - 3*j = -36, -2*z + 4*j + 57 = z. Is z a multiple of 5?
True
Suppose 26*r = 21*r + 130. Let z be (r/2)/((-15)/30). Let n = 80 + z. Is n a multiple of 13?
False
Let q(i) be the third derivative of -5*i**4/24 + 5*i**3/6 + 4*i**2. Suppose 0 = -s, 2 = -3*b - 5*s - 13. Is 10 a factor of q(b)?
True
Let g = -463 + 1046. Is 53 a factor of g?
True
Let h be 61/7 - (-4)/14. Is 8 a factor of 6/(((-54)/(-32))/h)?
True
Suppose -20*h + 24*h = 600. Let f = h - 85. Is 11 a factor of f?
False
Let r(p) = 3*p**2 - 34*p + 18. Let l be r(15). Let i = l - 57. Does 14 divide i?
True
Let p = 2 - -1. Let s = -64 + 110. Suppose -2*z + s = p*k, 0 = z + 2*k - 7 - 15. Does 15 divide z?
False
Let h = -19 + 22. Suppose -h*l - l + 5*p = -200, 2*p = 0. Is 7 a factor of l?
False
Suppose 0 = -2*u - 6*j + j + 163, 4*u + j - 335 = 0. Suppose -156 = -2*l + u. Is 20 a factor of l?
True
Let r be (-23)/(-3) - (-8)/24. Let f be ((-4)/8)/((-1)/r). Suppose -5*q + 219 - 10 = f*t, -2*t = q - 103. Does 24 divide t?
False
Let d = -9 - -14. Suppose -141 - 54 = -d*n. Suppose 0*a + 3*g = 3*a - n, 15 = 3*g. Does 18 divide a?
True
Is 35 a factor of -2 + (-2)/(-1) - -236?
False
Suppose 0 = 4*g - 259 + 235. Suppose -3*v = -g, -3*w + 5*v = -8 - 66. Is w a multiple of 4?
True
Let l(a) = -12*a + 0 + 3 + 2 - 2. Let g be l(2). Let t = g + 95. Does 28 divide t?
False
Let j(m) = 3 - 13 + m**3 - 7*m + 9*m**2 - 2. Is j(-7) a multiple of 27?
True
Suppose -16*i = -3*v - 14*i + 567, -5*v + 4*i + 945 = 0. Is 7 a factor of v?
True
Suppose 3*s - 18 = -5*r, 4*r - 2*s - 10 = -0*s. Let d(p) = 15*p - 2. Let i be d(r). Let v = 37 + i. Is v a multiple of 12?
False
Let y be (-152)/8*-1*1. Does 23 divide 190/y*46/5?
True
Suppose 219*g = 228*g - 5445. Is g a multiple of 5?
True
Suppose 56*h = 57*h - 234. Does 9 divide h?
True
Let z = 13 + 7. Is ((-1)/(0 - -2))/((-2)/z) even?
False
Let d be (4*1)/((-10)/(-50)). Let x be 0 - 5/(d/(-104)). Let u = x - 13. Is u a multiple of 13?
True
Let s(d) = -d**3 - 14*d**2 - 29*d + 10. Is s(-12) a multiple of 16?
False
Suppose -g - 48 = 4*z - 1, 3*g + 3*z + 96 = 0. Let s = 27 + g. Suppose -2*r + 7*r - 435 = s. Does 13 divide r?
False
Let s be (-1 + 13)/(-2)*5. Let x = 79 + s. Suppose -3*q = -35 - x. Is q a multiple of 5?
False
Let i = 366 + 324. Does 26 divide i?
False
Suppose 2*t = t - 9. Let d = 12 + t. Suppose d*m + 152 = 7*m. Is 13 a factor of m?
False
Suppose -15*g + 5156 = -1609. Does 24 divide g?
False
Does 11 divide ((-1)/((-30)/(-36)))/((-6)/675)?
False
Let j(w) be the second derivative of w**4/12 + 3*w**3/2 + 7*w**2/2 + 2*w. Let y be j(-8). Let d(p) = -43*p. Is d(y) a multiple of 13?
False
Does 54 divide (82 + -1)*(60/(-18) + 8)?
True
Let i(w) = 7*w - 1. Suppose 3*u + p = -3*p, -u + 5*p + 19 = 0. Is i(u) a multiple of 6?
False
Is ((-18192)/(-60))/(4/10) - 2 a multiple of 28?
True
Let c(d) = 4*d - 1. Let x be c(2). Let g(w) = -8*w + 8*w**2 - w**3 + 4*w - 10 + w + 0*w**3 - 2*w. Does 3 divide g(x)?
False
Suppose 2*i - n - 1198 = n, -2*i - 5*n + 1177 = 0. Does 31 divide i?
False
Let q = -21 + 24. Suppose -a - 10 = -q*a, 0 = -5*p - 3*a + 80. Is 12 a factor of p?
False
Let v = -3353 - -5546. Is v a multiple of 43?
True
Let p(z) = -4*z + 5*z - 2*z + 4. Is 12 a factor of p(-20)?
True
Suppose 35*z - 25732 + 182 = 0. Does 33 divide z?
False
Let z = -166 - -353. Is 11 a factor of z?
True
Let s(w) = -52*w**3 - 2*w**2 - w - 4. Let n(i) = 51*i**3 + 2*i**2 + i + 3. Let r(f) = -3*n(f) - 2*s(f). Is r(-1) a multiple of 11?
False
Suppose 0 = -i - 6 - 123. Is 4 a factor of i/(-5 - -6)*2/(-3)?
False
Suppose 4*d = -3*p - 108, 2*p = 2*d + d - 55. Let a = p - -57. Does 5 divide a?
True
Let d(u) = 26*u. Suppose -10 = h - 5*t + 3*t, 5*h + 4*t = -22. Let b be ((-5)/(-15))/((-2)/h). Does 10 divide d(b)?
False
Let b(u) = -3*u**3 + 8*u**2 - u - 7. Let m(y) = -7*y**3 + 16*y**2 - 2*y - 15. Let v(f) = -5*b(f) + 2*m(f). Let c = -14 - -22. Does 13 divide v(c)?
True
Let p be (-64)/(-56)*(-7)/(-2) + -1. Suppose -4*d + 280 = 3*u, -2*u = -u + p*d - 85. Is u a multiple of 18?
False
Suppose -19*z = -9*z - 9270. Is z a multiple of 28?
False
Suppose -2*y + 10 = -l, -l = 3*y + 2*l + 3. Suppose 5 + 7 = y*w. Suppose -w*z + 63 = -z. Is z a multiple of 21?
True
Does 55 divide (-23)/(-69) + 9402/9?
True
Let o(f) = -f**3 + 6*f**2 - f - 1. Let d be o(4). Suppose 0 = -3*c + j + d, 0 = 4*c + j - 23 - 20. Is c a multiple of 10?
True
Suppose 2*l + 592 = -2*l. Let y be -3 - (l - (3 + -4)). Suppose 3*j - y = -3*w, 5*w - 190 - 62 = -2*j. Is w a multiple of 13?
True
Let j(n) = -5*n - 35. Let q be j(-3). Is (-10)/q - 191/(-2) a multiple of 12?
True
Let w = -843 - -1183. Is w a multiple of 34?
True
Suppose 24*l + 35 = 31*l. Suppose -g + 4*t - 136 = -5*g, -3*t - 138 = -l*g. Is 5 a factor of g?
True
Let l(x) = x - 4. Let q be l(9). Suppose 3*t - 3*a = 123, q*t + a - 215 = -4*a. Suppose 0 = -d - 5*i + t, 84 = 2*d + 4*i - 2*i. Is d a multiple of 9?
False
Does 45 divide ((-15)/(-6))/(-5) - 8825/(-10)?
False
Let u(a) = -11*a - 57. Is 35 a factor of u(-15)?
False
Let s be (-2)/(-12) + (-413)/(-42). Suppose 12*y - s*y = 230. Does 25 divide y?
False
Does 20 divide (93/(-15))/(16/(-160))?
False
Suppose -2*t = 5*x + 26 + 64, 5*t - 105 = 4*x. Let g = x + 63. Let o = -15 + g. Is o a multiple of 14?
True
Let f = 1192 - 931. Is f a multiple of 18?
False
Is 9 a factor of (7 + -13)*26/(-4)?
False
Let y = -13 - -13. Let h(m) = m**3 - m + 49. Is h(y) a multiple of 8?
False
Let i(f) = 3*f**3 + f**2 - 2*f - 74. Does 45 divide i(8)?
False
Suppose 0 = -5*g - 5*y + 45, 71 = 4*g - y - 2*y. Is 3/12*g*8 a multiple of 7?
True
Is (-10)/(3*(-6)/3402) a multiple of 90?
True
Suppose -3*v = -3*b, -5*b + b - 4*v = -32. Let a(y) = -y**3 + 2*y**2 + 2*y. Let x(l) = 1. Let t(q) = -a(q) + x(q). Does 18 divide t(b)?
False
Suppose -25 = -5*f, 2*r + f + 38 = 5*f. Let q = -4 - r. Suppose t = -q*o + 3 + 6, 0 = -t + 5*o + 39. Is 12 a factor of t?
True
Suppose -2*x = -3*m + 4942, -14*x = -m - 17*x + 1629. Does 12 divide m?
True
Suppose -59748 = 119*b - 132*b. Does 12 divide b?
True
Let r(m) = -m + 76. Let h be r(0). Suppose -5*z + 14 = -11. Suppose h = z*f + 11. Is f a multiple of 13?
True
Let y(w) = -2*w + 17. Let o be y(7). Let j be (-1)/(4/(o*-12)). Suppose 3*c - 258 + j = 0. Does 23 divide c?
False
Suppose n - 1534 = -4*w - n, 15 = -3*n. Suppose 5*i = w + 104. Does 21 divide i?
False
Suppose 4*o + 245 = p + 7*o, -p = 4*o - 245. Does 32 divide p?
False
Suppose c - 278 = 272. Suppose 162 - c = -4*n. Is 10 a factor of n?
False
Suppose 5*t - 5108 + 113 = 0. Does 24 divide t?
False
Suppose -3840 = 678*j - 683*j. Is 11 a factor of j?
False
Suppose -2*s + 4*s - 5*z - 559 = 0, 2*z + 1429 = 5*s. Suppose 103 + s = 3*h. Is h a multiple of 44?
False
Let l = -3 - -8. Suppose -5*k + 8 = 2*m - m, 3*m = 4*k + l. Suppose 25 + 11 = m*r. Does 6 divide r?
True
Suppose -2*l - 2 = -8. Suppose 3*b - 2*b + 8 = l*o, -3*b - o = -16. Suppose -b*w - 4*k - k + 269 = 0, -2*w + 2*k + 112 = 0. Does 33 divide w?
False
Let j = 10 - 2. Let f be (-11 + 7)*(-6)/j. Suppose 0 = -k + 4*k + f, -3*w + 2*k = -173. Is 39 a factor of w?
False
Suppose -728*h = -739*h + 2002. Does 36 divide h?
False
Suppose 0*w + 60 = -3*w. Let h = w - -54. Suppose 4*c - h = -2. Is c a multiple of 3?
False
Suppose 34*i = 5411 + 5809. Does 66 divide i?
True
Let b = -1774 + 1882. Does 12 divide b?
True
Let j(k) = 16*k**2 - 42*k + 18. Is 13 a factor of j(8)?
False
Suppose 0*y = y. S