vide (36/(-5))/((-21)/n)?
True
Let y = -212 + 298. Let d be y - (-3 + 0 - -5). Suppose -c = 2*c - d. Is 26 a factor of c?
False
Let m(r) be the first derivative of 14*r**2 - r - 2. Is 16 a factor of m(1)?
False
Suppose z = -3*z + 8. Is z even?
True
Suppose 0*f + 240 = 5*f. Is f a multiple of 12?
True
Let g = -3 - -7. Suppose g*s = -s + 100. Is s a multiple of 10?
True
Let x = 6 + -2. Suppose m - 117 = -x*a, 2*m = -2*a + m + 57. Is 10 a factor of a?
True
Let d be 187/2 + 8/16. Suppose m - d = -m. Is 18 a factor of m?
False
Let s(k) = k**2 + 8*k - 2. Let d be s(-8). Let n = 7 + d. Suppose 0 = -4*w + n*w - 10. Does 5 divide w?
True
Let u(a) = 50*a**3 + 1. Suppose 2*t + 4*i + 6 = 4*t, -5*i = 5. Does 19 divide u(t)?
False
Let y(q) = -q**2 + 2*q - 1. Let n be y(4). Let w(v) = v**2 + 5*v - 10. Let o(u) = 4*u**2 + 20*u - 41. Let d(l) = n*w(l) + 2*o(l). Is d(-6) even?
True
Let h(b) = 56*b**3 - b + 1. Let u be h(1). Suppose 4*f - 3*q - u = -f, -q = -f + 12. Is 3 a factor of f?
False
Let i = -345 + 530. Does 16 divide i?
False
Let w(g) = g**3 + 3*g**2 - 2*g - 3. Let r be w(-3). Suppose 3*p + l - 85 = 0, 5*p - r*l - 119 = l. Is p a multiple of 11?
False
Let h = 6 - 1. Does 5 divide h?
True
Suppose -w + y = w - 13, -3*y = 2*w + 7. Suppose 288 = -w*n + 8*n. Is 9 a factor of ((-2)/(-3))/(4/n)?
False
Let w(r) = 71*r**3 - 2*r + 1. Is 11 a factor of w(1)?
False
Let k(q) = q - 1. Let h(c) = 11*c - 10. Let t(g) = -h(g) + 6*k(g). Is t(-12) a multiple of 16?
True
Suppose -n = 4*m - 54 - 130, 2*n + 4*m - 348 = 0. Does 5 divide n?
False
Is (4 - (-1 + 4)) + 50 a multiple of 17?
True
Is 50 a factor of -5*(-3)/15 + 92?
False
Let r(q) be the first derivative of q**5/20 + 7*q**4/12 + 4*q**3/3 + 3*q**2/2 + q + 1. Let j(i) be the first derivative of r(i). Is j(-5) a multiple of 13?
True
Suppose -15*o + 7*o + 216 = 0. Is o a multiple of 3?
True
Suppose -4*f - 132 = 24. Let s be ((-22)/(-1))/(7/(-7)). Let k = s - f. Is k a multiple of 9?
False
Suppose 0*c + 2*c - 18 = 0. Let h = -28 - c. Is (-3)/6 + h/(-2) a multiple of 13?
False
Let q(f) = -30*f - 2. Let v be q(-2). Let s be 8/(-6)*(-3)/2. Suppose -s*l + 54 = t - 3*t, 0 = 2*l - 3*t - v. Does 23 divide l?
True
Let x = 214 - 84. Is 26 a factor of x?
True
Let l(c) = -c**2. Let k be l(0). Let m be 0*(2/2)/1. Suppose 3*b + m*b - 45 = k. Does 12 divide b?
False
Let d(b) = b**2 - 6*b + 3. Suppose -s = h - 10, 4*s - s = -h + 22. Let o be d(s). Does 12 divide o/(-2)*(2 - 10)?
True
Let o(b) = b**2 + b - 2. Let s be o(2). Suppose -3*x = 3*p - 90, 4*x + s*p - 116 = p. Is 7 a factor of x?
False
Suppose 4*c - 6*i + 2*i - 16 = 0, -c = -5*i. Suppose c*k - 4*r - 104 = 270, 3*k - 242 = -2*r. Is k a multiple of 25?
False
Let a = -67 + 262. Suppose c = -4*c + a. Let x = c - 19. Is x a multiple of 10?
True
Let r(w) = 138*w**2 - 2*w - 1. Let k be r(-1). Suppose 0 = 3*f - 5 - k. Is f a multiple of 12?
True
Let v = -54 + 0. Is 27 a factor of 1/((1/v)/(-1))?
True
Let g(b) be the third derivative of b**6/120 + b**5/6 + b**4/6 + 7*b**3/6 - 7*b**2. Does 14 divide g(-9)?
False
Suppose -3*j + 50 = 2*j. Let s be -5 + (-5)/(j/(-4)). Is 18 a factor of (-4)/s*(-54)/(-4)?
True
Suppose 2*d = 5*a - 31, -2*d - 4 = -4*d. Let u(c) = -c + 10. Let m be u(a). Suppose -12 = -4*o, -6*o = m*p - o - 27. Is p a multiple of 2?
True
Is 12 a factor of (10 - 6) + 1 + 77?
False
Let s = -8 - -8. Let v be (-35)/(-7) - (-3 - s). Suppose 0 = -v*b + 3*b + 10. Is b a multiple of 2?
True
Is 22 a factor of ((-10)/55 + 102/(-44))*-22?
False
Let k be (-31)/(-8) - 3/(-24). Suppose -3*p + 66 = 7*f - 3*f, -k*f = 0. Is p a multiple of 11?
True
Suppose -899 = -4*g + 5*m - 359, 4*m = 5*g - 675. Suppose -6*z - 9 = -g. Does 14 divide z?
False
Let j(n) be the third derivative of -3*n**6/20 - n**5/60 + n**3/6 + n**2. Suppose 3*r + 0*r - 4*z = -7, 4*z - 8 = 4*r. Does 9 divide j(r)?
True
Suppose 7*c - 3*c + 49 = -5*y, 0 = -5*c + 20. Let d = -18 - y. Let b = d + 10. Does 2 divide b?
False
Suppose -r - 4*q = 32, -4*r + q + 2*q - 52 = 0. Let y be (-18)/8*r/(-6). Does 20 divide (40/y)/((-2)/6)?
True
Suppose 4*n - 43 = 77. Is 15 a factor of n?
True
Suppose -3*j = -4*j + 40. Let c = j + -17. Let r = c - 14. Is 9 a factor of r?
True
Let d(n) be the third derivative of n**5/15 - n**4/8 + n**3/6 - 3*n**2. Is 13 a factor of d(3)?
False
Let t be (-2)/10 - (-24)/20. Let i = t - -31. Is i a multiple of 11?
False
Let i(o) = -o**3 + 13*o**2 + 9*o + 15. Is i(13) a multiple of 33?
True
Let g(v) = -v**3 + 6*v**2 + 6. Let y be g(6). Let p be (-2)/(-5) + y/(-15). Suppose 3*f - 91 - 5 = p. Does 18 divide f?
False
Let p(b) = b**2 + 2*b - 2. Is 4 a factor of p(-4)?
False
Suppose 3*q + 8 + 10 = 0. Is 1/((-2)/q) - -12 a multiple of 5?
True
Suppose 3*f + 3*x - 558 = 0, 2*f + 0*f - 5*x - 372 = 0. Is f a multiple of 29?
False
Let x be (2/(-2))/((-1)/14). Is x/3*15/10 a multiple of 7?
True
Let y = -7 + 3. Let o = -6 + 4. Let k = o - y. Does 2 divide k?
True
Let f = -2 - -4. Is (-4)/(-2) - (f + -3) even?
False
Let x(k) be the first derivative of -k**2 + 4*k + 1. Let s(c) = -c**3 - 2*c**2 + 3*c + 3. Let a be s(-2). Is x(a) a multiple of 10?
True
Let m(s) = 2*s**2 - 1 + 0 - 1. Let g(x) = 2*x + 2. Let v be g(-2). Does 3 divide m(v)?
True
Suppose -3*f + 15 - 75 = 0. Suppose -122 = -4*w - 5*n, -5*n + 3*n - 4 = 0. Let b = w + f. Does 8 divide b?
False
Suppose 0 = 4*t + 5*c - 33, -2*c + 2 = -5*t + t. Suppose -2*v + 2*l = -86, 4*v + l = -t*l + 186. Is 17 a factor of v?
False
Let w be (-37)/(2 + 0 - 3). Suppose 0 = -2*d + 13 + 11. Let t = w - d. Is t a multiple of 10?
False
Suppose 0 = 2*w + 3 - 5. Let f = w - -1. Suppose -24 = -f*l - 2. Does 4 divide l?
False
Suppose 4*g + 600 = -4*q, q + 2*g = -3*g - 162. Let r be q/(-7)*1/(-3). Let o = r + 24. Is o a multiple of 11?
False
Let s = -12 + 17. Suppose s*f - 3*f - 28 = 0. Does 7 divide f?
True
Let j(m) = -m - 2. Suppose 3*p - 8 = d, 2*d = -3*d - 4*p - 2. Let q be j(d). Suppose 0*h + 4*h - 232 = q. Is 22 a factor of h?
False
Let g = 36 - 5. Is g a multiple of 17?
False
Suppose 0 = -2*l + 27 + 7. Is 17 a factor of l?
True
Let n = 157 - 52. Does 15 divide n?
True
Suppose 3*x + 2*a - 34 = 0, a + 3*a = -x - 2. Suppose 5*z = -0*z + 30. Let s = z + x. Does 10 divide s?
True
Let i(n) be the second derivative of -n**5/20 - n**4/12 + n**3/6 + n**2 + 2*n. Is 17 a factor of i(-3)?
True
Let z(q) = -2*q - 5. Is 9 a factor of z(-15)?
False
Suppose -3*d - 4*s = -6, 0 = 3*d - 3*s + 4*s - 6. Suppose -3*q = d*q - 65. Is q a multiple of 9?
False
Let f be -33*1 + -2 - -2. Let z = -70 - -123. Let c = z + f. Does 10 divide c?
True
Let u(b) = b - b + b + 2. Does 8 divide u(6)?
True
Suppose 3*z - z + 238 = 0. Let x = z + 166. Does 22 divide x?
False
Suppose -6*b + 457 = 2*u - b, u = -2*b + 229. Does 21 divide u?
True
Suppose 0 = -3*s - b + 66, -2*s - b - 118 = -7*s. Is 9 a factor of s?
False
Let u(m) = -m**3 - 11*m**2 - 11*m + 2. Let i = -4 + -6. Does 7 divide u(i)?
False
Suppose 4*l = -3*j + 86, -3*l + 84 - 14 = 5*j. Let a = -7 + l. Is 7 a factor of a?
False
Let d(c) = 9*c - 5. Let r be d(9). Let o = -7 - -11. Suppose 4*n = -5*l - 0*l + 164, -2*n + r = o*l. Does 23 divide n?
True
Suppose 0 = 5*w + 35 + 145. Let p be (8/3)/(1/3). Is w*1*(-6)/p a multiple of 15?
False
Suppose -5*t = -2*t - 66. Suppose 3*s + 2 = 5*o + t, 4*s = 5*o + 35. Does 15 divide s?
True
Let g(q) = 2*q**3 - 2*q**2 + q + 8. Does 36 divide g(4)?
True
Suppose 2*f - 46 = 30. Suppose 0 = 2*z - 4*p - 24, -4*p = -3*z - 0*p + f. Does 8 divide z?
False
Let t(o) = o**3 - 9*o**2 - 16*o - 3. Let h(l) = -l + 4. Let q be h(-7). Is t(q) a multiple of 21?
True
Let n be (-4)/(-10) - 2/5. Suppose n = 4*l - 65 + 25. Let p = 23 + l. Does 13 divide p?
False
Let t be 178 + (6 - 3) - 4. Let a = t + -82. Does 24 divide a?
False
Let o = 15 + -6. Let k = o - 3. Is 7 a factor of (1 + -8)/((-3)/k)?
True
Is (-71)/(-2) - (-15)/(-30) a multiple of 7?
True
Let l(z) = -7*z + 4. Is 15 a factor of l(-7)?
False
Let q(z) = 10*z + 4. Let c be q(-6). Is 10 a factor of (-2)/(-3) + c/(-6)?
True
Suppose -4 = -f - 1. Suppose 0 = -f*j - 5*r + 25, -5*j + 12 = 2*r - 17. Is 5 a factor of j?
True
Suppose 11 = c + 6. Suppose c*v - 29 = 41. Is v a multiple of 13?
False
Let y be (-34 + (1 - -1))/(-2). Suppose -4*o - y - 32 = -l, -153 = -4*l + 3*o. Is l a multiple of 10?
False
Suppose 286 