8 = h. Is 16 a factor of f?
True
Suppose 0 = -4*d + 2*d. Suppose d = 2*r - 0*r - 8. Is 4 a factor of 24/r*16/12?
True
Let i = -15 + -14. Let v = i - -103. Is v a multiple of 25?
False
Let q be 1 - (12/(-2) - -3). Suppose -20 = -4*s - q. Suppose -c - 223 = -s*w, -3*w = -0*w - 3*c - 165. Is 25 a factor of w?
False
Suppose 0 = q - 5*q. Let x(b) = b + 58. Let m be x(q). Suppose 4*w = 6*w - m. Does 14 divide w?
False
Let l(h) = 117*h**2 - h + 1. Does 13 divide l(1)?
True
Suppose -5*n = -n - 8. Suppose -n*x = x + 3. Is 10 a factor of x - (-3*5 - 0)?
False
Let w = -11 - -13. Suppose 220 + 196 = w*r. Is 13 a factor of r?
True
Let z = 257 + -83. Let v = 96 + -213. Let f = v + z. Is 19 a factor of f?
True
Does 8 divide 8390/35 + (-12)/(-42)?
True
Suppose 0 = 45*l - 42*l - 480. Suppose -2*h = q - 73, 5*q + 3*h + l - 497 = 0. Is 5 a factor of q?
True
Let t(s) = s**3 - 10*s**2 + 7. Let h be t(10). Suppose 5*k = x + 103, 0 = -h*k + 2*k + 5*x + 95. Is 12/k - (-468)/14 a multiple of 12?
False
Suppose 5*a + 841 = 2*w, 4*a + 296 = 4*w - 372. Let f = 353 + a. Is 15 a factor of f?
False
Let u(c) be the second derivative of -95*c**3/6 - 5*c**2/2 + 11*c. Is u(-1) a multiple of 15?
True
Let t(r) be the third derivative of -r**7/1680 + r**6/240 - r**5/20 - 2*r**2. Let n(p) be the third derivative of t(p). Does 11 divide n(-5)?
False
Let r(u) = u**2 + 4*u - 13. Let f be r(-6). Is 3 a factor of (f/3)/(3/(-27))?
True
Let w be 6/12 + 398/4. Let r = -48 + w. Is 12 a factor of r?
False
Let u(m) = 2*m - 2. Let b be u(-2). Let w be (b/4)/(12/(-128)). Let h = w + -10. Is h a multiple of 4?
False
Suppose -2*x - 2*m - 2 = -0, 20 = -4*m. Suppose -p + 2 = x*s - 7, 3*p - 5 = -s. Suppose -22 - 40 = -s*l. Does 25 divide l?
False
Suppose 3*n - 1193 = -2*h, -4*n + 5*h + 120 = -1486. Does 9 divide n?
False
Suppose -4*f - 124 = 4*s, 5*f - 4*f = 5. Is 335/9 - (-8)/s a multiple of 11?
False
Suppose 8*r - 16 = 216. Suppose -2*n + 51 = -r. Does 30 divide n?
False
Suppose 0 = -7*d + 561 + 419. Is d a multiple of 4?
True
Let p = 6 - -20. Is p a multiple of 2?
True
Let s(k) = -6*k + 16. Let i(b) = 2*b - 5. Let w(l) = -11*i(l) - 4*s(l). Let o be w(6). Does 20 divide 2820/75 - o/5?
False
Suppose -f - 57 = -4*w, -35 = -3*w + 3*f + 1. Suppose -d + 1179 = 4*g, -3*d + w = 2*d. Does 14 divide g?
True
Does 10 divide (285/105)/(-19) - (-7282)/14?
True
Suppose -15*f = -7*f. Let x = 1 + 1. Suppose j + x*c - 66 = -f*c, 5*j - 386 = 4*c. Is j a multiple of 15?
False
Is 2/(-4)*(-19)/(95/430) a multiple of 10?
False
Suppose 0 = -5*a + 3*m + 55, -5*a + 18 = 2*m - 37. Suppose 0 = -n + 3. Is 18 a factor of 24/(a/3 - n)?
True
Let x = -2239 + 4396. Does 15 divide x?
False
Suppose 2*v - 13 = -h, -3*v - 2*v + 20 = 0. Suppose -3*t = 3*u - 97 - 47, 2*t = 4. Suppose h*z = 141 - u. Is 19 a factor of z?
True
Let n = 1 + -6. Let f(k) = -2*k - 12. Let c be f(n). Is c*40/(-6)*3 a multiple of 20?
True
Suppose 2*w = -x + 2*x - 1, w + 1 = x. Suppose -k + 3 = 0, 4*k + w*k - 27 = -5*z. Suppose 0 = z*g - 32 - 22. Does 18 divide g?
True
Let n = 6 - 6. Let t be 1 - (0 - 20/(-4)). Is 3 a factor of n + 11 + t/2?
True
Suppose -v - 4124 = -3*w, 2*w + v - 1376 = w. Is w a multiple of 15?
False
Let h(r) be the first derivative of 25*r**2/2 - 8*r + 7. Let b be h(5). Suppose b = -0*z + 3*z. Does 8 divide z?
False
Is 3 a factor of (-12 - -278) + (-4 - (0 + -2))?
True
Suppose -q - 2*q = 0, 4*p + 2*q = 4. Let t = 3 + p. Suppose 0 = 3*d - 4*n - 12, 0 = -3*d + 2*d - n + t. Does 2 divide d?
True
Let k(h) = -73*h + 4. Let u(x) = x**2 - 3*x. Let p be u(2). Is k(p) a multiple of 29?
False
Let s(g) = -g**3 + 17*g**2 - 11*g + 27. Is 24 a factor of s(9)?
True
Let o(l) = -l**3 - 5*l**2 - 9*l. Let b be o(-6). Let f = 156 - b. Is f a multiple of 11?
True
Let i(z) = -7*z + 11. Let a(j) = 6*j - 12. Let t(b) = 3*a(b) + 2*i(b). Is t(5) a multiple of 4?
False
Suppose 0 = -4*v - 0*v + 16. Suppose -u = -0*u + 4*s - 80, -s = -v. Is u a multiple of 16?
True
Suppose -186 = -5*i + 3*u, -23 = -3*i + 3*u + 91. Is 12 a factor of i?
True
Let q(p) = -112*p - 12. Let j be q(-2). Suppose j - 807 = -5*m. Is 17 a factor of m?
True
Let i(n) = n**2 - n + n - 13*n - 1 - n. Does 7 divide i(15)?
True
Does 6 divide (5 - 1520/(-25)) + (-3)/(-15)?
True
Let m = 22 - 19. Suppose -2*b - m*c = -b - 42, -b + 38 = 2*c. Is b a multiple of 6?
True
Suppose -j + 3*j + 18 = -2*d, -2*d = -5*j + 18. Let g(i) = i + 12. Let l be g(d). Suppose 1 = o, 2*s + l*s - 2*o - 283 = 0. Does 19 divide s?
True
Let z(v) = 2*v + 2. Let o be z(1). Suppose 2*q = 7*q - 2*i - 118, 28 = q + o*i. Let g = q - 11. Is 3 a factor of g?
False
Let k(l) = -11*l**3 - l**2 - 2. Let w(g) = g**2 + 2*g - 1. Let i be w(-1). Is k(i) a multiple of 21?
False
Let y(r) = 49*r - 4. Let a be y(3). Let j = a - 96. Does 7 divide j?
False
Let o(m) = m**2 - 34. Suppose -j + 4 = -3*l, -j = -0*l - l - 10. Is o(j) a multiple of 27?
True
Does 19 divide (9498/(-4) + 2)*(-320)/400?
False
Suppose -5*r - 3830 = -5*k, -5*r - 2253 - 1617 = 5*k. Is 13 a factor of ((-24)/14)/(20/r)?
False
Let s be (-247)/(-39) + (-1)/3. Suppose -s*v + 303 = -357. Is v a multiple of 18?
False
Let b = 33 - 19. Suppose -j + u + 83 = -b, -4*j - 3*u = -402. Does 11 divide j?
True
Let j be 6*(3 + 21/(-6)). Let o be -15*1*(-2 - j). Is 10 a factor of (o - 0)/((-6)/4)?
True
Suppose 3*j + 0*j = 180. Suppose 15*g + j = 19*g. Is g a multiple of 5?
True
Let q = 2052 - 1215. Does 31 divide q?
True
Let f(h) = 72*h**2 - h - 1. Is f(-1) a multiple of 7?
False
Does 6 divide -8 - (32/40)/(3/(-570))?
True
Let i = -27 + 25. Does 10 divide -12*i*3/2 + 4?
True
Suppose d - 3*p + 81 = 396, 0 = 4*d + p - 1325. Is 30 a factor of d?
True
Let k = -117 + 551. Does 14 divide k?
True
Let l(a) = -11*a**2 - 7*a + 25. Let s(w) = 3*w**2 + 2*w - 6. Let r(h) = 2*l(h) + 9*s(h). Is r(5) a multiple of 17?
False
Let u(j) = 5*j - 20. Let y be u(14). Suppose 0 = 3*a - y - 88. Suppose 30 = 4*o - a. Does 6 divide o?
False
Suppose 3*d = 9*d + 462. Let c = 109 + d. Does 16 divide c?
True
Let m = 429 - 385. Is m a multiple of 3?
False
Let a = 12 - 11. Let l(k) = 12*k - 1. Let x be l(a). Let q = 15 - x. Does 2 divide q?
True
Let q(o) = -3*o**3 - 5*o**2 + 5*o - 5. Let j be q(3). Let v = j - -346. Suppose -5*w + v + 175 = 0. Is w a multiple of 26?
False
Let l be (48/(-80))/((-1)/5). Suppose -h = l*h - 432. Suppose 0*r - 2*r = -h. Is r a multiple of 18?
True
Let m be 17/1 + 0/(-19). Suppose 0 = m*t - 13*t - 896. Does 16 divide t?
True
Let q(d) = 9*d**3 + 13*d**2 + 7*d - 23. Let n(p) = -4*p**3 - 7*p**2 - 3*p + 11. Let b(z) = 7*n(z) + 3*q(z). Is 4 a factor of b(-10)?
True
Suppose 0 = -31*i + 15*i + 6080. Does 38 divide i?
True
Suppose -5*m = 25, -2*g + 12 = -g - 2*m. Suppose 0 = g*k + 3*j - 426, -3*k - 5*j - 161 = -799. Is 54 a factor of k?
True
Suppose 3 = -5*g + 8*g. Let n be g - 6/((-2)/2). Let v(d) = -d**3 + 9*d**2 - 10*d + 4. Is 15 a factor of v(n)?
False
Let p(k) = k**3 - 4*k**2 - 7*k + 11. Let h be p(5). Does 32 divide (8/16)/(h/206)?
False
Is (2/(-6))/(10/(-15))*50 a multiple of 3?
False
Let a(c) = c**2 - c - 24. Let l be a(6). Does 4 divide (l/(-5))/(30/(-500))?
True
Suppose -7*f - 8 = -9*f. Suppose 10 = -2*i - 0, f*u + 4*i = 92. Does 7 divide u?
True
Let b be (-1)/((-3)/3) - (34 - 0). Is 1 - 4039/(-11) - (-6)/b a multiple of 23?
True
Suppose 2 - 12 = 2*k + 4*n, n - 11 = -5*k. Suppose k*x = 64 + 32. Is x a multiple of 8?
True
Let v(p) = 25*p + 12. Let b(y) = -37*y - 18. Let g(a) = 5*b(a) + 7*v(a). Suppose -2*x + x + 3*j + 3 = 0, 2*j - 6 = 2*x. Does 9 divide g(x)?
True
Suppose -33 = -3*z + 3*p, 4*z - 19 - 7 = -2*p. Suppose f = -2 + 4, 4*f = 5*k + z. Suppose k = 3*v - 47 - 1. Is v a multiple of 8?
True
Let d(s) = 4*s**2 - 5*s - 2. Suppose 29 = -3*v + 11. Let j be d(v). Suppose o - 6*o - j = -4*k, 34 = k + o. Does 14 divide k?
False
Let r = 20 - 14. Suppose -5*f + 111 = 21. Suppose -f = -4*j + r. Is 2 a factor of j?
True
Suppose -42*q = -45*q + 18. Suppose -4*k = q*u - u - 324, 0 = 5*k + 20. Does 8 divide u?
False
Let c be (25 + -3)/(3 - 1). Let p = 27 - c. Does 5 divide (21/12)/(4/p)?
False
Suppose 9 = 3*n - q, 0 = -5*n - 2*q - 4 + 30. Suppose -4*g - 2*h + 182 = 0, n*h - 139 = -2*g - g. Let d = -26 + g. Does 8 divide d?
False
Let n = 135 + -251. Let o = 229 + n. Is o a multiple of 11?
False
Is 10 a factor of (