- k*n. Suppose 0*d + d - n = 0. Is d a multiple of 4?
True
Suppose 0 = -2*u - 2*u + 64. Is 4 a factor of u?
True
Suppose 8 = -a + 5*a. Let l = 10 - a. Is 8 a factor of l?
True
Let j = 50 - 29. Is j a multiple of 5?
False
Let o(s) = 2*s**2 - 5*s - 4. Let c be o(-6). Let k(m) = -m**3 + 8*m**2 + m + 6. Let z be k(9). Let g = z + c. Is 16 a factor of g?
True
Let k(j) = 37*j + 4. Does 10 divide k(2)?
False
Let m(g) = -2*g + 5. Let c be -470*(-1 - 3/(-5)). Let j be (-4)/14 + c/(-28). Is 16 a factor of m(j)?
False
Let f be 38 + 25 - (-5 - -1). Suppose -2*u + 10 = 3*u. Suppose -41 = 5*d - n - 226, -u*d - n + f = 0. Does 12 divide d?
True
Let o(l) = -l**2 + 4*l + 3. Let k be o(3). Suppose -4*v + k*v = 74. Suppose -a - v = -2*a. Is 12 a factor of a?
False
Let i be (-1 + -5)*(-117)/(-26). Let y = -11 - i. Is y a multiple of 7?
False
Let b be ((-12)/9)/((-2)/3). Suppose b + 5 = r. Let v(u) = u**2 - 5*u - 3. Is 6 a factor of v(r)?
False
Suppose -d + 3 = -5. Let u(a) = -6*a + 40. Let j be u(10). Is d/j + (-24)/(-10) a multiple of 2?
True
Suppose -15 + 150 = 3*d. Suppose -1 = 4*i - d. Is 3 a factor of i/3 + (-5)/(-15)?
False
Let o be 1/1*4/(-2). Let s be (o/5)/(1/(-75)). Suppose -158 = -4*x + s. Does 19 divide x?
False
Let n(g) = g + 9. Let t be 1 - 2 - -2 - -1. Suppose 0 = -j - t + 9. Is n(j) a multiple of 7?
False
Suppose -390 = 3*t - 8*t. Is 13 a factor of t?
True
Suppose 3*u - 78 - 66 = 0. Is 8 a factor of u?
True
Suppose -56 - 28 = -o + l, 5*o - 408 = l. Is 9 a factor of o?
True
Let s be (-1)/(-5) + 68/10. Suppose s = -5*m + 22. Suppose -6*a + 2*w + 17 = -3*a, 0 = -m*a + 5*w + 2. Is 7 a factor of a?
False
Let k(y) = -y + 3. Let o be k(5). Let t = o + 4. Is -42*t*1/(-3) a multiple of 14?
True
Let r = 93 - 49. Let v = r + 22. Is 17 a factor of v?
False
Suppose 3*h - 48 = 4*c, 0*c + 14 = h - 2*c. Is h a multiple of 2?
True
Suppose i - f - 250 = 0, -4*i + 1182 - 177 = f. Is i a multiple of 21?
False
Let y(g) = -1 + g**2 + 3*g**2 + 3*g**2 + 2*g. Let u be y(2). Suppose n = 2*t + 38, u - 137 = -3*n - 2*t. Does 13 divide n?
False
Let u be -2*(10/4 + 2). Let s(o) = -o**3 - 9*o**2 - o + 12. Let c be s(u). Let n = 41 - c. Is 17 a factor of n?
False
Let u(i) = -i**3 + 10*i**2 - 8*i - 11. Suppose -3*g = 4*s - 39, 2*g + 0*s = 4*s + 6. Let h be u(g). Let z(f) = -7*f. Is z(h) a multiple of 14?
True
Does 6 divide ((-2)/(-5))/((-1)/(-40))?
False
Let p(z) = 18*z**2 - 6*z - 3. Does 47 divide p(3)?
True
Let m(h) = 9*h - 4. Let r(p) = 8*p - 3. Let i(g) = -5*m(g) + 6*r(g). Is i(2) a multiple of 3?
False
Let h = 1 - 1. Suppose -4*o = -3*n - 8, h = -o - o - 2. Let u(r) = -r**3 - 2*r**2 + 4*r + 1. Is u(n) a multiple of 13?
False
Let q(x) = 19*x**2 - 2*x - 3. Does 13 divide q(3)?
False
Let w = 73 - -125. Is 22 a factor of w?
True
Let n(a) = -a**2 + 8*a - 5. Let j be (10/(-3))/((-10)/15). Is 7 a factor of n(j)?
False
Suppose 75 = 5*f + 5*l, 15 = 2*l - 7*l. Suppose 0 = -2*c + 2*x + 40, 5*x = 2*c - 19 - f. Is c a multiple of 18?
False
Let h(n) = n - 2. Let l be h(0). Let d be (2 + l)/((-4)/4). Suppose -j - 5*b = d, 3*j - 5*b - 15 - 25 = 0. Is 8 a factor of j?
False
Does 9 divide (-4 + 3 - -1) + 72 - 0?
True
Let o(b) = b**3 - b**2 - 1. Let a(q) = q - 1. Let v(h) = 19*h**3 - 5*h**2 - 4*h + 2. Let n(i) = -5*a(i) - v(i). Let d(w) = -n(w) - 3*o(w). Does 5 divide d(1)?
True
Suppose 0 = -c - 2*c + 1020. Is 49 a factor of c?
False
Let b be -4 + 192/10 - (-16)/20. Suppose -w + 16 = 3*w. Let a = b - w. Is 6 a factor of a?
True
Let g = 2 + 10. Is 6 a factor of g?
True
Suppose -3*r + 5*a = 41, 5*r + 47 = 5*a - 2*a. Let q(k) = -k - 6. Let j be q(r). Is 6 a factor of 15 - j/(-1) - 0?
False
Suppose -12 = -j + 82. Suppose -2*q = -0*q - j. Does 13 divide q?
False
Suppose 4*i + 8 = 4*a, 3*a - 61 + 15 = -5*i. Let g = 8 + a. Is g a multiple of 6?
False
Is 4 - -111 - (-5 + 2) a multiple of 16?
False
Suppose 14 = 3*c - l - l, 0 = 3*c - 3*l - 15. Suppose 0*k - 4*k = -f + c, -f + 3*k = -9. Does 12 divide f?
True
Let o(q) = q**2 - 9*q - 2. Let h be o(7). Let w = 14 - h. Is w a multiple of 14?
False
Let i be (6 - 3) + (-2 - -13). Let n(p) = 2*p**2 + 3*p - 1. Let x be n(-3). Let r = x + i. Does 17 divide r?
False
Let z be (-2 + 2)*1/(-2). Let y = 2 + z. Suppose 3*q = q - y*c + 20, 3*q = c + 30. Is 4 a factor of q?
False
Suppose 0 = 3*r - 119 - 1. Suppose 2*x - 36 = r. Is 18 a factor of x?
False
Suppose 0 = 2*t - 258 + 26. Is 29 a factor of t?
True
Suppose -30*m - 60 = -34*m. Is 15 a factor of m?
True
Let z be 3 - (1 - (1 - -2)). Suppose l = -0 + z. Suppose 5*m + 127 = 5*i - 133, -60 = -i + l*m. Does 18 divide i?
False
Suppose -10*p + 13*p - 54 = 0. Is p a multiple of 4?
False
Suppose x - 2 = 3*b, 5*x - 66 = -2*b + 3*b. Does 4 divide x?
False
Let t(g) = -g + 1. Let i(z) = -10*z**2 + 6*z - 9. Let j(c) = -2*i(c) - 14*t(c). Is 16 a factor of j(-2)?
True
Let n(d) = d**2 + 4*d**2 - d**2 - d**3 - d - 2. Let v be 42/15 + 2/10. Is 4 a factor of n(v)?
True
Let u = -11 + 15. Suppose u = -3*v + 127. Is v a multiple of 13?
False
Suppose 0 = -a - 4*a. Suppose 0 = -a*v - v - 3*q + 35, 4*v - 173 = -q. Is v a multiple of 18?
False
Suppose 4*m = 6*m - 80. Does 8 divide m?
True
Let l(i) = -i**3 + 10*i**2 - 10*i + 9. Let h be (-3 + -3)*(-6)/4. Let k be l(h). Suppose 4*r - 3*r - 32 = 5*d, k = r + 3*d - 16. Is r a multiple of 11?
True
Let f be (152/(-12))/((-2)/3). Suppose -3*p = 4 - f. Suppose y - 16 = -4*a, 3*a = -y + p + 7. Is 4 a factor of a?
True
Let u(z) = 256*z**3 - z**2 + 1. Let p be u(1). Suppose 0 = v - 5*v + p. Is 21 a factor of v?
False
Let s = 44 - 26. Does 18 divide s?
True
Let i be (-1 - -1)/(3/(-3)). Let s = 33 + 3. Suppose -3*h = -i*h - s. Does 5 divide h?
False
Let d = 13 - 22. Let m be (-40)/50 + (-26)/5. Does 12 divide (-170)/(-6) + m/d?
False
Let x = 15 + -1. Does 14 divide x?
True
Suppose 5*k = -2*c + 63, -5*c + 0*c + 5*k + 175 = 0. Does 26 divide c?
False
Suppose -20 = -5*b + 3*b + 4*a, b + 3*a = 20. Is 7 a factor of b?
True
Suppose -7*o = 56 - 210. Is 11 a factor of o?
True
Suppose 5 + 1 = -4*j - 2*t, 0 = -2*j - 2*t. Let s = j - -9. Is 3 a factor of s?
True
Let f(o) = -o**2 + 2*o + 4. Let t(l) = -l**2 + 3*l + 4. Let g(b) = -3*f(b) + 4*t(b). Suppose 3*i - 14 = -y, -4*y - 5*i + 21 = -14. Is g(y) a multiple of 3?
True
Let h(p) be the second derivative of p**4/12 - p**3/6 - 3*p**2 + p. Let o be h(-8). Suppose 2*u - o = -u. Does 8 divide u?
False
Suppose 0 = -5*b + 38 + 2. Does 11 divide b/14 - (-1080)/21?
False
Let z(c) = c**3 - 3*c**2 + 2*c - 2. Let o be z(3). Suppose 0 = o*t - 236 + 44. Let l = t - 34. Does 7 divide l?
True
Let f = 11 + -20. Does 4 divide -3 - (f + (-2 - -1))?
False
Let t = 12 - 11. Is 19 a factor of (-3)/t*208/(-24)?
False
Let v(d) = -2*d + 20. Let p be v(10). Suppose 166 = 4*i + 2*y, 3*i + 3*y - 120 = -p*y. Is i a multiple of 20?
False
Is (-260)/39*(59/(-5) - -1) a multiple of 12?
True
Is 2 a factor of (-4 - 15)*-1 - (-5 - -3)?
False
Suppose -266 = 2*c - 3*c + 4*z, -3*c - 3*z + 738 = 0. Suppose -5*s = 5*o - c, -s + o + 70 = 6*o. Is 18 a factor of s?
False
Let s be (60/(-9))/(6/81). Does 9 divide (-1368)/s - (-2)/(-10)?
False
Let o(g) = 2*g**3 - 8*g**2 - 5*g + 5. Is 17 a factor of o(6)?
True
Suppose 4*t - 245 = 55. Does 16 divide t?
False
Suppose 6*y = k + 4*y + 6, 3*k = -3*y + 18. Suppose 5*m + 3*i = -k*i + 90, 2*i - 50 = -3*m. Suppose u - 3 + m = 3*w, 4*u - 26 = -2*w. Does 3 divide u?
False
Suppose 2*u = -4*w + 356, -4*w - 99 = -5*w + 2*u. Does 13 divide w?
True
Let u(b) = -b**3 - b**2 + 3*b + 3. Let y be u(-3). Is (-5)/(((-8)/2)/y) a multiple of 6?
False
Suppose f - 1 - 5 = 0. Suppose 5*i - f - 74 = 0. Does 11 divide i?
False
Suppose y - 2 - 6 = 0. Is y a multiple of 4?
True
Does 21 divide (-134)/2*(6 - 7)?
False
Is 12 a factor of (-2)/4 - (-305)/10?
False
Let x = 105 - -142. Is x a multiple of 13?
True
Let v(i) = i**2 - 2*i - 1. Let x be v(3). Suppose -5*p + 4*d = -150, 0 = p - x*p - 4*d + 54. Does 22 divide p?
False
Let c = 38 - 31. Is 2 a factor of c?
False
Let w = -94 + 128. Is 18 a factor of w?
False
Let j be ((-52)/(-3))/(3/18). Suppose -5*z = 2*d - j, 0 = 2*d - z - 140 + 24. Is 21 a factor of d?
False
Let b(z) = z**3 + 7*z**2 - z - 3. Let k be b(-7). Suppose 0 = c + u - k, -4*u - 6 - 18 = -c. Does 11 divide (-8)/6*(-180)/c?
False
Let l(d) = d**3 + d**2 + 11. Let j = -29 - -29.