se
Is 15 a factor of -5 + 260 + (5 - 0)?
False
Suppose -2*t + 12 = 2*t - d, -4*t + 24 = -4*d. Suppose t = -w + 2*b + 78, -316 = -4*w + 5*b. Does 28 divide w?
True
Let n(p) = 13*p**3 + p**2 + 4*p - 4. Is n(2) a multiple of 28?
True
Let w be 2/3 - (-201)/9. Suppose -4*r + 36 = a, -2*a + 64 + w = 3*r. Is 24 a factor of a?
True
Let w = -22 + 27. Suppose -137 = -2*f + 5*s, -w*f - 5*s + 290 = -0*f. Is 16 a factor of f?
False
Let i be (-4)/6*(219 + 3). Let w = -101 - i. Is 12 a factor of w?
False
Let v = 8 - 4. Let i = v - -36. Is 12 a factor of i?
False
Let o = -6 - -8. Suppose 0 = -u + 3*g + 26, -u - 4*u + 195 = -o*g. Is 11 a factor of u?
False
Let u = 0 - -2. Suppose -z - 15 = -4*b, z + u*z + 9 = 3*b. Is b a multiple of 4?
True
Suppose 0 = -4*l - 0*l + 36. Suppose -4*h + 234 = 4*r + 78, 3*r = -l. Does 27 divide h?
False
Let f be (1/(-1))/((-2)/(-10)). Let s = f - -7. Suppose a = y + 3*y, -a - s*y = -6. Does 3 divide a?
False
Let s(t) = -t**2 + 6*t - 4. Let w be s(6). Let d(j) = -j**3 - 5*j**2 - 4*j + 4. Is d(w) even?
True
Let k = 7 + -4. Let q(m) = 3*m**2 - m + 2. Is q(k) a multiple of 13?
True
Is 4 a factor of (30/4)/(2/4)?
False
Let f(o) = o**3 - 19*o**2 - 39*o - 9. Does 18 divide f(21)?
True
Suppose -3*t + 4*t - 36 = 0. Suppose f - t = -0*f. Is 13 a factor of f?
False
Is 3 a factor of (2*2)/(6/18) - 3?
True
Let s = 413 - 295. Let h = -61 + s. Does 14 divide h?
False
Suppose -2*t + 90 = 3*k, 5*k - 163 = -2*t + 3*t. Does 7 divide k?
False
Let k = 2 - 0. Suppose -2*w + 20 + k = 0. Is (1 - w)*3/(-6) a multiple of 2?
False
Suppose -6 = -4*c + 3*c + z, 0 = 5*c + 4*z - 21. Suppose 1 + 14 = c*v. Suppose 0 = -v*o + 8*o - 60. Is o a multiple of 6?
True
Let x(m) = 3*m**2 + 2*m + 12. Is x(-3) a multiple of 8?
False
Let r(d) = -4*d**3 - d**2 + 2. Suppose -5*o = 5*t - 5, -3 = -3*o + t - 12. Let f be r(o). Suppose h = -h + f. Is 5 a factor of h?
True
Let q(w) be the first derivative of w**4/4 - 4*w**3/3 - 2*w**2 + 6*w - 3. Let r be q(4). Let z = r - -15. Is 5 a factor of z?
True
Suppose 100 = -4*w + 2*w. Let s = w - -28. Is ((-1)/(1/s))/1 a multiple of 11?
True
Let z be ((-3)/2)/((-6)/20). Suppose -j + 0*t + 50 = -4*t, 55 = j - z*t. Is 15 a factor of j?
True
Let f be 0/(-1 + 0/2). Suppose 5*m - 161 = m + 5*g, 3*m - 5*g - 117 = 0. Suppose f = p + p - m. Is p a multiple of 10?
False
Suppose 4*r - 250 - 298 = 0. Does 18 divide r?
False
Let f be ((-1)/(-2))/((-6)/(-60)). Does 18 divide 63 - (f - 1)/1?
False
Let i(s) = 11*s**3 + 5*s**2 + s - 4. Let v(j) = 23*j**3 + 9*j**2 + 2*j - 7. Let z(y) = 11*i(y) - 6*v(y). Is 15 a factor of z(-1)?
False
Let r(x) = x**2 - 10*x + 4. Let z be r(9). Let w(p) = -p**2 - 4*p + 6. Let c be w(z). Suppose m - 3 = -c. Is 2 a factor of m?
True
Let l = -30 + 42. Suppose 4*i = -0*i + l. Is i a multiple of 2?
False
Let a(d) = -d**3 - 2*d**2 + 3*d - 4. Let u be a(-3). Let m be 3*((-208)/6)/u. Suppose 5*r - 34 - m = 0. Is 10 a factor of r?
False
Suppose 6*q - 68 = 2*q - 4*b, -4*q + 50 = -5*b. Is q a multiple of 5?
True
Let v(i) be the third derivative of i**4/8 - 2*i**3/3 + 3*i**2. Is 13 a factor of v(6)?
False
Let l(a) = -10*a + 52. Is 26 a factor of l(-13)?
True
Is (194/12 - (-3)/(-18))*8 a multiple of 24?
False
Let p = -5 - -1. Let a = 2 - 12. Let m = p - a. Is 6 a factor of m?
True
Let r(j) = -j**2 + 8*j - 4. Let a be r(7). Let b(x) = 2*x - 4. Does 2 divide b(a)?
True
Let l be 1/1 + 2 + -30. Let u be 30/4*(-18)/l. Suppose u*p - 20 = 15. Is p a multiple of 2?
False
Suppose -2*l - 4*p = -6, -4*l = l - p - 4. Let i(g) = 5*g - 1. Let a be i(1). Suppose a + l = f. Is f a multiple of 2?
False
Let j(c) = c**3 + 12*c**2 - 4*c - 12. Is j(-9) a multiple of 38?
False
Let k be 0/(-1*4/2). Suppose 2*t + x + 8 = k, 3*t + 3 = -0*x + 3*x. Let b = 37 + t. Does 17 divide b?
True
Suppose -2*j - 3*i - 2*i = -16, -3*j + 5*i = 1. Does 16 divide j/(-9) + (-174)/(-9)?
False
Let y(n) = 6*n**2 - 9*n + 3. Does 19 divide y(7)?
False
Let u = -9 - -15. Let a(j) = j**2 - 2*j + 1. Does 15 divide a(u)?
False
Let h(k) = k**3 - 8*k**2 + 6*k + 10. Let s be h(7). Suppose -4*o - 2*w + 20 = -s*o, 87 = 5*o - 3*w. Is 13 a factor of o?
False
Suppose 34 = -2*y + 180. Does 26 divide y?
False
Let b(p) = 2*p**2 + 2*p - 1. Let x be b(1). Suppose -x*q = -75 + 21. Is 6 a factor of q?
True
Suppose 4*c = 149 + 19. Is c a multiple of 3?
True
Let t(p) = -p**3 + p**2 + p + 10. Let o be t(0). Is 13 a factor of 396/15 + (-4)/o?
True
Let a(q) be the third derivative of q**5/4 + q**3/6 - 2*q**2. Let m be a(-1). Suppose -b = -0*b - m. Is 12 a factor of b?
False
Suppose 3*j - 3 = 0, -4*b + 2*j + 238 = -0*j. Is b a multiple of 20?
True
Let r = 0 + 32. Is 12 a factor of r?
False
Let y be 10/35 + (-4)/14. Let d be 1 + y - (-3 - 1). Suppose 27 - 7 = d*l. Does 4 divide l?
True
Suppose -24 = 4*j - 7*j. Is 292/8 + 4/j a multiple of 13?
False
Let i(f) = -2*f**3 + 2*f**2 - 3*f + 4. Let h be i(-4). Suppose s + h = -s. Is s/(-6) + (-6)/9 a multiple of 7?
True
Let k(n) be the first derivative of 0*n - 2 + 3/2*n**2. Is 14 a factor of k(5)?
False
Is 1 + 8/(-3)*348/(-8) a multiple of 5?
False
Suppose -p = 5*k - 38, -p + k + 64 = 14. Does 10 divide p?
False
Let z be (-6)/15 + (-34)/(-10). Suppose -z*o = 2*v - 77, -4*v = v + o - 160. Is v a multiple of 11?
False
Let p(w) = 2*w**2 + 2*w - 1. Let v be p(1). Suppose 0 = 5*z + v*d - 136 - 40, -42 = -z - 4*d. Is 14 a factor of z?
False
Suppose -92 - 148 = -3*x. Is x a multiple of 20?
True
Suppose -2*b + 18 = b - 4*r, 2 = -5*b - 4*r. Suppose -3*l = b*l - 270. Let y = l + -30. Is y a multiple of 12?
True
Suppose -10*t + 41 + 439 = 0. Does 4 divide t?
True
Let w = 83 - 63. Is 4 a factor of w?
True
Let p = 196 + -171. Does 22 divide p?
False
Let u = -131 - -300. Does 13 divide u?
True
Let t(x) = x**3 - x**2 - 8. Is 6 a factor of t(4)?
False
Let l be (8/(-10))/1*-5. Is -1*l*(-27)/6 a multiple of 14?
False
Is 5 a factor of 11/(154/4) - 117/(-7)?
False
Suppose -c - 7 = 5*i, 0 = -2*c + 2*i - 5*i - 7. Let y be c/(-4) + 18/4. Suppose -33 + 3 = -m + z, -m - y*z = -12. Does 11 divide m?
False
Let a(i) = -4*i**2 - 6*i + 16. Let v(h) = -5*h**2 - h + 3. Let t(s) = s**2. Let o(d) = 4*t(d) + v(d). Let c(g) = 4*a(g) - 22*o(g). Is 13 a factor of c(-2)?
True
Let t(l) = l. Let h(x) = -20*x - 1. Let v(r) = -2*h(r) - 18*t(r). Is 7 a factor of v(1)?
False
Let b = -319 - -459. Suppose 0 = 3*r - 121 - b. Does 29 divide r?
True
Let p be (6/4)/(3/132). Suppose 5*v + 6*d - d - 90 = 0, 0 = -4*v + 2*d + p. Does 8 divide v?
False
Let z be (-1 - (1 + 4))*6. Let m = 74 + z. Is 23 a factor of m?
False
Suppose -4*x = 3*g + 2*g - 61, x + 2*g - 13 = 0. Let f be 2/(-3) - (-134)/3. Let r = f - x. Is 10 a factor of r?
False
Is (-20)/(-30) - (-163)/3 a multiple of 11?
True
Suppose -4*w = -1 - 3. Let h(y) be the third derivative of 11*y**4/24 + y**3/6 - 2*y**2. Is 8 a factor of h(w)?
False
Let u(t) = t + 20. Suppose 3 = f + 1. Let h = f - 2. Is 10 a factor of u(h)?
True
Let l(f) = 4 + 8*f - f - f + 0*f. Is l(3) a multiple of 11?
True
Suppose -3*p + 12 = 3*j, -3*j + 4*p - 1 = -4*j. Suppose l = j*l. Suppose l*d = d - 20. Does 11 divide d?
False
Let r = -1 - 1. Does 7 divide 1*r*(-28)/8?
True
Let u be 14/4*6/3. Let w(n) = n - 3. Let x be w(u). Suppose -3*s - 10 = -x*s. Is s a multiple of 5?
True
Let m(b) = 18*b + 1. Let q(g) = 37*g + 3. Let o(t) = -5*m(t) + 2*q(t). Is o(-1) a multiple of 11?
False
Let i be 2/(12/15)*-2. Let l be (-3)/i + 54/(-15). Is (-105)/(-5) + (l - -1) a multiple of 6?
False
Suppose -6 = -i + 9. Is 5 a factor of i?
True
Suppose -4*q + 2*q = -14. Let n = -5 + q. Suppose -72 = -n*l - 0*l. Does 13 divide l?
False
Suppose g - j = -3*g - 61, -5*j - 31 = g. Let u be (-2*2)/(-2) - g. Suppose -x + 25 + u = -4*f, -x - 2*f + 13 = 0. Does 15 divide x?
False
Suppose -h - h + 8 = 4*r, -4*h - 2 = 2*r. Suppose 3*g + 0 + 3 = 0, 39 = -4*k - r*g. Is 24/k*(-9)/4 a multiple of 3?
True
Suppose 0 = -2*y - y + 108. Let g = y + 6. Is 11 a factor of g?
False
Suppose -3*h + 2*h = 0. Suppose -g + 112 = 3*f, h*f - 4*f - 5*g + 164 = 0. Is 11 a factor of f?
False
Let b(x) = -2*x - 5. Is b(-7) a multiple of 9?
True
Let g = 85 - 125. Is g/(-12) - 6/(-9) a multiple of 2?
True
Let l be 8/(4/24 - 0). Let y = l + -30. Does 15 divide y?
False
Let l = 142 + -89. Is 15 a factor of l?
False
Let x(o) = o**3 - 3*o**2 + 3*o - 2. L