of 16?
False
Does 15 divide 3/1 - (1 - 28)?
True
Suppose 0 = 7*d + 5 - 19. Suppose -d*y - 43 = -3*r, r - y - 8 - 8 = 0. Is 11 a factor of r?
True
Suppose 0 = -4*h - 62 + 14. Let q = 27 + h. Does 13 divide q?
False
Suppose 0*x + x = 8. Is 2 a factor of 4 - x/20*5?
True
Suppose 2*q + 0*y - 18 = 4*y, -3*y - 9 = 0. Suppose -5*a + 27 + 110 = -q*f, 4*a + 4*f = 116. Suppose 0 = i + 8 - a. Is 9 a factor of i?
False
Let n = 7 + 38. Is 5 a factor of n?
True
Let z = -363 + 619. Is z a multiple of 16?
True
Let y(t) = t**2 - t + 78. Let c be y(0). Let g be (12/(-18))/(4/c). Let x = 25 + g. Is 12 a factor of x?
True
Let u(s) = -2*s + 2*s + 2*s. Let g be u(1). Suppose 17 = g*a + 1. Is 4 a factor of a?
True
Does 19 divide 44*(2 + 10/(-8))?
False
Let g(a) = -a - 12. Suppose 0 = 4*z - 3*x + 29, -z - x = -6*x + 3. Let w be g(z). Does 2 divide (1 - 1) + w/(-1)?
True
Let q(d) = 5*d + 34. Is q(3) a multiple of 9?
False
Let m be (-1 - -2)/(3/(-45)). Let i = m + 25. Does 10 divide i?
True
Let m(v) be the first derivative of v**3/3 - v**2 + 7*v - 3. Is 12 a factor of m(5)?
False
Let f(k) = k**3 + 3. Let i be f(4). Let x = i + -41. Does 10 divide x?
False
Let l(y) = 2*y - 6. Let n be l(8). Let s(p) = -p**2 + 14*p - 2. Is 19 a factor of s(n)?
True
Let w = 22 + 26. Does 24 divide w?
True
Let n(k) be the third derivative of 1/6*k**3 + 1/8*k**6 + 0*k + 0*k**4 - 1/60*k**5 + 0 + 2*k**2. Is 11 a factor of n(1)?
False
Suppose 0*p + 5*p - w = 13, 0 = 5*p + 5*w + 5. Suppose 2*a - 16 = -4*z, 2*a + p + 0 = 2*z. Suppose -4*y + 0*y - a*t = -64, 4*y = 4*t + 88. Is 18 a factor of y?
True
Suppose -5*s - 26 = 9. Let n(c) be the third derivative of -c**5/60 - 5*c**4/12 - 3*c**3/2 + 10*c**2. Does 8 divide n(s)?
False
Let u be 385/(-14)*(-2 + -2). Suppose -5*d = -l - u - 230, 243 = 4*d + 5*l. Does 20 divide d?
False
Let c = 13 - 19. Does 11 divide (4/c)/((-5)/165)?
True
Suppose 3*n - 40 = 3*b - 1, -3*n - 2*b = -29. Suppose 2*a - 14 = -5*j + n, -4*j + 3*a = 3. Suppose o - j = -2*m + 5, -m = o - 6. Is o a multiple of 4?
True
Let v(q) = 37*q**3 + q. Suppose 0*k = 3*k. Let j = k - -1. Is v(j) a multiple of 15?
False
Let a = -26 - -18. Let v = 6 + a. Is 14 a factor of (-1)/v - 110/(-4)?
True
Let o be (-42)/(-10) + 2/(-10). Suppose -29 = o*z - 93. Is z a multiple of 8?
True
Let v be -3 + 4 + 1/1. Suppose 4*g = v*z + 37 + 75, 5*g = -4*z + 166. Does 11 divide g?
False
Let z = 1 + 1. Suppose -z*s - o + 2 = 0, 3*o + 11 = -3*s - 2*o. Let l = s - 0. Does 2 divide l?
False
Suppose -k = -5*a - 0*a + 66, 5*k = -2*a + 21. Is 3 a factor of a?
False
Suppose 0 = -2*l - v + 1, -4*l + 2*l + 2*v + 10 = 0. Is (20 - l)/3 - 1 a multiple of 3?
False
Suppose 2 = -2*s - u - 2*u, 3*u = -6. Does 12 divide 4*((s - -1) + 1)?
False
Let w = -8 - -6. Is 16/w*1/(-2) even?
True
Let o be 2/2 - 0 - -2. Suppose -2*f - o*f = -40. Let r = f + -5. Is 2 a factor of r?
False
Let f be -1*(2 + -2) + 266. Suppose 2*q - 5*q = 36. Is (-2)/12 - f/q a multiple of 7?
False
Let l(a) = a**3 + 3*a**2 - 4*a + 2. Let k be l(-4). Suppose -4*w + 2*z + 4 = 10, -k*z - 2 = 4*w. Let v = w + 9. Does 8 divide v?
True
Let s(c) = -c**2 + 11*c - 8. Let p be s(11). Let y(i) be the first derivative of -i**3/3 - 11*i**2/2 + 6*i - 1. Is y(p) a multiple of 15?
True
Let n = -166 - -280. Is (-5)/((-15)/n) - 1 a multiple of 12?
False
Let s = 17 + -6. Let v = s + 19. Does 17 divide v?
False
Let g(j) = j + 3 - 2*j + 3*j - 9. Let c be g(9). Suppose 3*d = -3, a - c = -4*d + 6*d. Is 4 a factor of a?
False
Let n(l) = -17*l - 39. Does 9 divide n(-14)?
False
Suppose 5*o - 3 = 2*o. Suppose 20 = 3*s - o. Is s a multiple of 5?
False
Let h(b) = -2*b. Let g(m) = 3*m + 1. Let t(w) = -3*g(w) - 2*h(w). Let z be (6/(0 - -3))/(-1). Is t(z) a multiple of 7?
True
Let b(c) = c**3 + 13*c**2 + c + 5. Let a be b(-6). Suppose -4*t + 4*y + 512 = 0, 0*y = 2*t - y - a. Let h = -84 + t. Is 15 a factor of h?
False
Let t = 12 - -17. Does 12 divide t?
False
Let h(s) = 5*s**2 - 12*s + 3. Let o(n) = 11*n**2 - 24*n + 5. Let f(d) = -9*h(d) + 4*o(d). Let r be f(8). Let g = r + -18. Is 7 a factor of g?
True
Let g(i) = -i**3 + i**2 - i - 2. Is g(-2) a multiple of 3?
True
Suppose 4*i = 2*p - 24, -4*i = -4*p - 5*i + 3. Suppose 2*j = -5*a + 23, 3*a + 4*j - 19 = 2*a. Suppose -p*l + a*l = 43. Does 13 divide l?
False
Suppose u + 5*u = 0. Suppose 76 = 5*c + 5*q + 6, c - q - 24 = u. Is 15 a factor of c?
False
Does 4 divide (-27)/2*-2*(-3)/(-9)?
False
Let q = 835 + -441. Suppose 2*u - 136 = 4*v, q - 82 = 5*u + 4*v. Suppose -2*g - 14 = -u. Does 18 divide g?
False
Let p = 486 - 331. Suppose 2*i - 5*l = p, -l - l = -4*i + 318. Suppose -f = 4*f - i. Does 8 divide f?
True
Suppose -7*q + 4*q = 3*d - 327, 4*q - 435 = -5*d. Is q a multiple of 29?
False
Let f be ((-2)/4)/((-4)/48). Let k be 2/f*(1 - -14). Let v = k - -19. Does 10 divide v?
False
Suppose 71 = -3*o + 5. Let c = -11 - o. Suppose -2*f + 0*f + 3*d = -c, 0 = -2*f + 2*d + 12. Is 3 a factor of f?
False
Let d(l) be the first derivative of l**4/4 + 7*l**3/3 + 2*l - 2. Let m be d(-7). Let p = 37 - m. Does 13 divide p?
False
Let i be (4/6)/((-8)/(-60)). Suppose 1 = -f + i. Suppose -f*c + 3*l + 53 = 0, -28 = -2*c - 4*l + 4. Is 6 a factor of c?
False
Let c(t) = t**3 - t**2 + 21. Let v be 0*(-1 - (1 - 1)). Does 7 divide c(v)?
True
Let i(o) = -13*o**3. Let c = 5 + -2. Suppose 2*p - c*p = 1. Does 13 divide i(p)?
True
Let a = -8 - -4. Let f = 4 + a. Suppose f = -2*w + 17 + 19. Is 6 a factor of w?
True
Does 9 divide 250/7 + (92/28 - 3)?
True
Suppose 88 + 56 = 4*d + y, -5*y = -4*d + 120. Suppose -3*w + 7 + 8 = 2*v, d = 3*v + 2*w. Is v a multiple of 15?
True
Let b(q) = q**3 - 4*q**2 - 2*q + 3. Let u be b(4). Let d = -3 - u. Suppose 50 = d*k + 6*a - a, 5*k - 2*a - 67 = 0. Is k a multiple of 7?
False
Let u(r) be the third derivative of r**5/30 + r**4/24 + 2*r**3/3 + 3*r**2. Does 8 divide u(3)?
False
Suppose -2*m = 3*z - 1017, 4*m + 842 = 2*z + 148. Does 12 divide z?
False
Let l = -9 + 13. Suppose 0 = -2*i + l*s + 102, 10 = s + s. Suppose -84 = -4*m + 4*d, 0 = 3*m - 0*d - d - i. Is m a multiple of 13?
False
Is (1 + -3)/(-2) - -99 a multiple of 12?
False
Suppose -273 = -2*g + 5*g. Let h = 133 + g. Is 21 a factor of h?
True
Suppose 0 = 4*z - 243 - 37. Is 13 a factor of z?
False
Is (44/33)/((-2)/(-99)) a multiple of 14?
False
Let g be 3/((-4)/(40/(-3))). Suppose -10 = -5*s + g. Is 4 a factor of s?
True
Is (16/3)/(34/357) a multiple of 14?
True
Let n = 4 + -8. Let x be 2/n*0/6. Is 4 a factor of -3 + 7 + x/1?
True
Suppose i = 4*k + 18 + 26, -99 = -3*i + k. Does 16 divide i?
True
Let p(l) = l**3 - 9*l**2 + 4*l + 5*l + 0*l**2 - 8 + 3*l. Does 24 divide p(8)?
True
Let b(y) = -1. Let h(n) = n**2 + 3. Let r(i) = -2*b(i) - h(i). Let x(c) = -c**3 + 7*c - 6. Let v(z) = 4*r(z) - x(z). Is v(6) a multiple of 12?
False
Let i = 72 + -38. Let a = 13 - -31. Suppose -a = -3*z + i. Does 13 divide z?
True
Let b be (1 - 0) + (-3 - -6). Let u = 1 - 1. Suppose p - b*p + 21 = u. Is p a multiple of 7?
True
Suppose -2*h + 15 + 45 = 0. Suppose -58 = 4*a + h. Is 11 a factor of (-4)/1*a/4?
True
Let m be ((-10)/3)/(2/(-3)). Suppose -2*a - 3 = d - 13, -m*d + 50 = -2*a. Is d a multiple of 10?
True
Suppose -5*y + 49 + 6 = 0. Let x = y + -7. Suppose -x*u + 0*u = -24. Does 3 divide u?
True
Suppose 0*p + t = -4*p + 335, 0 = 4*p - t - 337. Suppose 4*u + 12 - p = 0. Does 18 divide u?
True
Let t(n) = -4*n**2 - n + 6. Let g(u) = 12*u**2 + 2*u - 17. Suppose 4 = 4*v - 20. Let x(h) = v*g(h) + 17*t(h). Is 17 a factor of x(4)?
False
Let l(p) = 7*p**2 + 5*p - 6. Does 6 divide l(2)?
False
Let p(v) = -v. Let y(s) = -7*s. Let a(b) = -3*p(b) + y(b). Suppose 14 = -2*q - 6. Is a(q) a multiple of 20?
True
Suppose z = 1 + 91. Is 23 a factor of z?
True
Suppose -8 - 47 = -t. Suppose 0 = -3*o + t + 89. Is 16 a factor of o?
True
Let b(s) = -s**2 + 9*s + 12. Let q be b(10). Suppose q*o - 9 = -3*l, -l + o = -0 + 2. Does 2 divide (l + 4)*(5 - 4)?
False
Is 15 a factor of (1*91)/(66/(-12) + 6)?
False
Suppose -l + 3 = -2. Suppose -c - 2 = c, l*f = -5*c + 195. Suppose 2*y + 0*n = 4*n - 6, 0 = -5*y - n + f. Does 7 divide y?
True
Let d(p) = 2*p - 15. Does 7 divide d(17)?
False
Let v(h) = h**3 - 12*h**2 - 9*h + 16. Does 27 divide v(13)?
False
Suppose 0*g = -4*g - 4*z + 8, 2*g - 16 = 2*z. Suppose -v + g = -15. Does 10 divide 1 + -1 - v/(-1)?
Tr