False
Does 11 divide -1 + (270/8 - (-1)/4)?
True
Let y(r) be the first derivative of 5*r**2/2 - 4*r + 1. Does 13 divide y(6)?
True
Let i be 4 + (9/(-3) - -1). Suppose -k = -0 - i. Suppose -4*v = -k*v - 6. Is v a multiple of 3?
True
Let p(l) = -11*l - 10. Is p(-6) a multiple of 14?
True
Suppose 4*r = 15 + 9. Suppose r = t - 47. Does 24 divide t?
False
Is 0/1 - 4*-18 a multiple of 18?
True
Suppose 2*p - 26 = 234. Does 26 divide p?
True
Suppose 2*l - 6 = -0*l. Suppose 4*f = l*f + 21. Is 2 + 2/(2/f) a multiple of 11?
False
Let i(d) = -d + 30. Does 24 divide i(6)?
True
Let l(x) = -x**3 - 6*x**2 + 6*x - 5. Does 2 divide l(-7)?
True
Let i be (0 - 2) + 2 + 6. Suppose -b - h - 67 = -5*b, i = -2*h. Is b a multiple of 8?
True
Let t = -5 + -40. Let f = t + 80. Suppose -4*k + 5*k - 145 = -5*x, f = 2*x + 5*k. Is x a multiple of 15?
True
Suppose 0*z - z = 0. Let f be (297/18)/(6/8). Suppose -2*v + z*v = -f. Is v a multiple of 5?
False
Suppose 4*t - 5*m = -12, -3*m = m. Is (-14)/(-1 + (t - -2)) even?
False
Suppose 5*r - 2 = -2*d + 4, -3*d = -2*r + 10. Suppose -r*v = 2*s - 146, s = 4*v - s - 268. Is 23 a factor of v?
True
Let v be 1/3 - 1883/(-21). Suppose u - v = -2*u. Is u a multiple of 10?
True
Suppose 3*s - 31 = -s - 3*i, -2*s = -2*i - 12. Suppose 3*l - 5*k - 80 = 0, -s*l + 4*k + 120 = -3*l. Is l a multiple of 11?
False
Let u(o) = -o**3 - 5*o**2 + 8*o - 5. Is 7 a factor of u(-7)?
False
Let r = -20 - -30. Suppose -x + r = -17. Suppose -s - 2*s = -x. Does 3 divide s?
True
Let a(h) = 3*h + 22. Let t(u) = 2*u + 22. Let o(w) = -3*a(w) + 2*t(w). Does 15 divide o(-12)?
False
Let g be (0 - (4 - 1))/1. Is 6 a factor of 8 + 2*g/(-6)?
False
Is 4 a factor of (20/(-15))/(4/(-102))?
False
Let g(x) = -x - 2. Let a be g(-5). Suppose -20 = -a*p - p. Does 5 divide p?
True
Suppose 3*w - 9 = 4*w. Let s(l) = -l + 1. Is 3 a factor of s(w)?
False
Let k = 5 + -1. Suppose 4*u - k = -p, 7*u - 3*u = 2*p - 8. Is p a multiple of 2?
True
Let n be (47/(-4) - -1)*-4. Let b = 61 - n. Is 18 a factor of b?
True
Let p(y) = -y**2 - y. Let s(x) = x + 4. Let m be s(-4). Let t be p(m). Suppose 0*d + 5*d - 25 = t. Does 3 divide d?
False
Let s(u) = 44*u + 1. Is 9 a factor of s(1)?
True
Let j = -18 - -31. Is 2 a factor of j?
False
Suppose -5*f + 489 = 3*i, -406 = -4*f + 5*i - 0*i. Is 13 a factor of f?
False
Suppose -25 = -k + 2*h + 3*h, -k + 3*h + 15 = 0. Suppose -l - 2*l = 0. Suppose l = -k*s - 4*s + 92. Does 20 divide s?
False
Let c(p) = 10*p - 44. Does 24 divide c(14)?
True
Let f = 2 - -18. Is f a multiple of 20?
True
Suppose 4*x = v - 29, 10 - 30 = 4*x. Is v a multiple of 2?
False
Is (-84)/(-1) - 55/11 a multiple of 6?
False
Let j(u) = u - 2*u + 4 + 2*u**2 + 5*u. Let w be j(-3). Let d = -5 + w. Does 2 divide d?
False
Is -85*(-3)/3 - (-4 - -1) a multiple of 22?
True
Suppose 3*b - 96 = -b. Is 4 a factor of b?
True
Let m(u) = 2*u - 12. Let w be m(6). Suppose -2*y + 0*y + 86 = w. Is 16 a factor of y?
False
Suppose 0 = -2*d + 2, x - 5*d + 0*d = -3. Let m(r) = 3*r + 2. Let j(a) = -2*a - 1. Let q(k) = -7*j(k) - 4*m(k). Does 2 divide q(x)?
False
Let b(f) = f**2 - 4*f - 3. Let t be b(-3). Let q be (t/24)/((-2)/8). Does 9 divide 98/6 + (-2)/q?
False
Suppose 3*k = -5*o + 8 + 39, 5*k = o + 97. Is k a multiple of 7?
False
Let l = -130 + 215. Is 17 a factor of l?
True
Is (9/(-6))/(((-84)/(-400))/(-7)) a multiple of 10?
True
Let h(u) be the first derivative of u**2/2 - 12*u + 2. Let v be h(10). Is 20 a factor of v/(-6) - 119/(-3)?
True
Suppose 0 = 4*d - 5*v - 3 + 2, 14 = 2*d + 2*v. Let w(m) = -4*m + 15. Let r be w(6). Is ((-12)/r)/(d/6) even?
True
Let j(s) = 21*s**2 - s - 2. Is j(-1) a multiple of 10?
True
Let m(o) = 88*o + 2. Is m(1) a multiple of 45?
True
Suppose 0 = 5*z - 30 + 10. Suppose -4*r + r + 12 = -z*m, 3*r - 12 = -3*m. Does 4 divide r?
True
Let t(q) = q**3 - q**2 - 6. Let g be t(0). Let p be (-1)/(-3) + (-10)/g. Suppose p*j - 8 = -0*j. Does 4 divide j?
True
Suppose -3*p = -6*p + 216. Is p a multiple of 9?
True
Let q(b) = -b**3 - 2*b**2 + 7*b + 6. Let y be q(-4). Does 16 divide (-16)/y*55/(-2)?
False
Let x be ((-32)/(-10))/(24/60). Suppose x = -3*c + 23. Is c even?
False
Let p be 1/(-4) - (-25)/4. Suppose 5*q = 3*i + 260, -3*i + p*i + 208 = 4*q. Is 26 a factor of q?
True
Let y(h) = -h**3 + 8*h**2 + 3*h - 2. Is y(6) a multiple of 8?
True
Suppose 3*s = 138 - 45. Let c = -11 + s. Is 4 a factor of c?
True
Let l(a) = -a**3 + 9*a**2 - 7*a + 6. Let t be l(5). Let n = t + -49. Is 16 a factor of n?
False
Let m(i) = i**2 + 5*i - 2. Let f be m(-6). Suppose -2*a = 3*n + f, n - 7 = a - 0*a. Does 9 divide -1*n + (-77)/(-7)?
True
Let j = 71 - -46. Let n = j - 51. Does 14 divide n?
False
Let u(h) = 7 - 9 + 2 + 2*h**2 + h. Is 3 a factor of u(1)?
True
Let z(p) = -3 + 4*p - 5 + 6*p**2 - p**3 + 0*p**2. Is 8 a factor of z(4)?
True
Suppose 3*w - 109 = 5*q, 0 = -q + 2 - 4. Does 11 divide w?
True
Let k = -26 + 84. Does 21 divide k?
False
Let u(a) = a**3 + 8*a**2 - 4*a + 6. Let h be u(-8). Is (h - 2)*5/10 a multiple of 11?
False
Let p be (4 + -2)*(-23)/2. Let o = 23 - p. Is 12 a factor of o?
False
Suppose -4*n = -0*n - 120. Suppose n*f - 26*f = 64. Is 11 a factor of f?
False
Suppose 10*w = 11*w - 103. Suppose -4*i - z = -26 - 118, 0 = 3*i + 2*z - w. Does 13 divide i?
False
Let g = 9 + 5. Suppose -g + 2 = -4*m. Suppose c = -r + 19 - 5, -m*c + 4*r = -56. Is 8 a factor of c?
True
Let p(o) = -o**2 - 12*o - 10. Let k be p(-10). Suppose 8*u - k*u = -60. Is 6 a factor of u?
True
Let c be (-404)/(-16) - 12/(-16). Let i(h) = h - 2. Let x be i(2). Suppose -3*r + 104 - c = x. Does 9 divide r?
False
Let u = 158 - 129. Is u a multiple of 5?
False
Does 13 divide -30*(9/2)/(-3)?
False
Let a be 1*24/4 - 1. Suppose -a*h = -4*j - 138, -h = 3*h + 3*j - 129. Is 16 a factor of h?
False
Suppose 0*o = 4*o - 2316. Suppose i = 4*i - o. Suppose -5*s + 22 = -i. Is s a multiple of 12?
False
Let h(c) be the second derivative of -c**4/6 + c**3/3 + 4*c. Let z be h(4). Let p = -13 - z. Is p a multiple of 9?
False
Let m = 152 - 107. Does 25 divide m?
False
Let c(k) = -k**3 + k. Let a be c(-1). Let f(x) = x**2 + 26. Is 17 a factor of f(a)?
False
Let x be 6*(-2 + (-10)/(-4)). Does 17 divide (34/(-6))/(x/(-18))?
True
Let v = 57 + 12. Suppose 4*b + v = 9. Let l = 33 + b. Is 9 a factor of l?
True
Let m(d) be the second derivative of 7/3*d**3 + d + 0*d**2 + 0. Is 14 a factor of m(2)?
True
Let i(k) = k**3 - k**2 + 2*k - 1. Let p = -7 + 9. Let g be i(p). Is (18 - g) + 3/1 a multiple of 7?
True
Suppose 3*y = 5*y - 28. Is y a multiple of 7?
True
Let n = 2 + -2. Does 12 divide (-2)/(n + (-1)/6)?
True
Suppose -2*o + 18 = -0*o. Is 8 a factor of o?
False
Does 6 divide (36 - 1) + 5 + -8?
False
Suppose 7*z + 24 = 3*z. Let u = z + 9. Is u a multiple of 3?
True
Let l(k) = k**3 - 11*k**2 + 3*k - 8. Let p be l(11). Suppose -3*f - p = o - 110, 3*f - 2*o = 82. Does 14 divide f?
True
Let t(v) = v**2 - 2*v + 3. Let f(i) = 2*i**2 - 3*i + 3. Let q(d) = 3*f(d) - 4*t(d). Let n be (-2)/(-9) - (-38)/(-9). Does 11 divide q(n)?
True
Suppose 0 = -2*r + 4*x - 6, 3*x + 0 = 6. Let p(t) = 6*t - 1. Let n be p(r). Suppose 0 = 5*o - c - 70, -n*o = -0*o - 3*c - 70. Is 5 a factor of o?
False
Let p = 19 - -31. Is p a multiple of 18?
False
Suppose -333 = -4*b + 3*i + 505, -2*b = -i - 418. Is b a multiple of 13?
True
Let y be 0 - -3*(2 - 1). Suppose 5 = 5*b, f - y*f + b + 59 = 0. Does 14 divide f?
False
Let w = 149 - 22. Is 27 a factor of w?
False
Suppose -4*m + 4 = -2*r - 0, -5*r = -4*m - 2. Suppose d = -3*d - m*c + 100, -5*d = -c - 132. Is 19 a factor of d?
False
Let s be 67/(-3) - 4/6. Let k = s + 39. Let y = -7 + k. Does 3 divide y?
True
Suppose 4 = 4*f, f - 6*f = 3*x - 20. Does 5 divide x?
True
Let u = 0 - 5. Let m(t) be the first derivative of -t**2/2 + 1. Is 2 a factor of m(u)?
False
Let x(j) = -4*j - 1. Let t = -8 + 7. Let r be x(t). Is 19 a factor of -19*(r + -1*4)?
True
Let l(q) be the first derivative of -q**3/3 - 9*q**2/2 - 6*q + 1. Is l(-7) a multiple of 4?
True
Let g(s) = -s**3 + 9*s**2 - 5*s - 8. Does 29 divide g(6)?
False
Let f(k) = -5*k + 17*k + 11*k. Let w(h) = h - 1. Let p be w(3). Does 23 divide f(p)?
True
Suppose -8 = -4*s + 4. Let n be -3 - ((-288)/3 - s). Suppose r = -5*z + 168, 3*r = -2*z - z + n. Does 17 divide z?
True
Is 9 a factor of 39/(1*1/3)?
True
Suppose 15 + 34 = 