= -2*w. Suppose 2*v + 3*m = 14 + 2, -w*v - 3*m + 31 = 0. Is v a multiple of 4?
False
Is 25 a factor of 245 - -2*10/4?
True
Is ((-2)/(-4))/((-7)/(-1386)) a multiple of 11?
True
Suppose -3 - 29 = -2*l. Is l a multiple of 3?
False
Let l(i) = 14*i + 1. Let y be l(1). Suppose 5*d + y = -r - 0*r, -4*d - 12 = -2*r. Suppose -3*z - 3*s + 2*s + 53 = 0, r = -5*z + s + 75. Is 8 a factor of z?
True
Let t(c) be the first derivative of -c**4/4 + 3*c**3 - 4*c**2 - 4*c + 3. Let l be t(8). Let a = l + 25. Is a a multiple of 7?
True
Let k = -44 + -47. Is 27 a factor of 4/14 - 4888/k?
True
Let q(g) = g**2 - 6*g + 9. Let w = -7 + 5. Let j = w - -8. Does 9 divide q(j)?
True
Is 16 a factor of 3*(4 + (-1212)/(-9))?
True
Let p be (-1100)/(-9) + 6/(-27). Let y(n) = n + 11. Let u be y(-6). Suppose u*d - p = -32. Is 6 a factor of d?
True
Let h(y) = -y + 7. Is h(3) even?
True
Suppose 2*p - 146 = -34. Let v = -40 + p. Is 8 a factor of v?
True
Let z = -15 + -3. Let d = 57 + -25. Let r = d + z. Does 8 divide r?
False
Let h(n) = -14*n + 18. Is h(-10) a multiple of 8?
False
Suppose -13 = w - 5. Let k be (w/(-20))/(1/(-15)). Is 25 - (k/(-3) + -2) a multiple of 19?
False
Suppose 2*b = 2*n, 0 = 4*b - 5*n - 1 + 3. Let l = b - 0. Does 7 divide 1 + l/(-1) + 8?
True
Let y(i) = -4*i - 2. Let n be y(-3). Suppose -x - 1 = -n. Suppose -x - 15 = -2*t. Is 7 a factor of t?
False
Let a = -6 - -10. Let n be (346/8)/(1/a). Suppose 0 = -3*t - 56 + n. Is t a multiple of 15?
False
Suppose -4*a + 5*v = -65, -5*a + 3*v = -a - 55. Is 10 a factor of a?
True
Suppose -5*x + 31 - 166 = 0. Let k = -7 - x. Does 20 divide k?
True
Suppose 3*s + 4*i - 86 - 23 = 0, -4*s + 3*i = -112. Does 5 divide s?
False
Let f = -9 + 13. Suppose -16 = -f*o - 0. Is 3 a factor of o?
False
Let x = 4 - 4. Suppose 0*t - 3*t + 6 = x. Suppose 4*r + 26 = t*k, -5 = 4*k - 3*r - 42. Is k a multiple of 7?
True
Let f(q) = q**3 + 5*q**2 - 2*q - 1. Suppose 5*t = 4*h + 13 + 14, -6 = -3*t - h. Does 13 divide f(t)?
True
Suppose -17*h + 12*h = -15. Let o = 45 - 19. Suppose 0 = h*y + 2 - o. Is 4 a factor of y?
True
Let k(c) = -c**3 + c - 2. Let t be k(-2). Suppose -2*p + 1 = -y, -5*p - y = t - 3. Suppose b + 5 = 5*h, -4*b + p*h = h - 43. Is b a multiple of 9?
False
Does 11 divide (-148)/(-20)*15/6*2?
False
Let c(q) = 1 + 6*q**2 + 3*q**3 + 3*q - 4*q**3 - 2*q. Is 9 a factor of c(5)?
False
Let q(j) = 3 + 6*j**3 + 8*j - 4*j**3 + 0*j**3 - j**3 - 7*j**2. Is 13 a factor of q(6)?
False
Let z(l) = -3*l**3 - 14*l**2 + 5*l + 3. Let q(f) = 2*f**3 + 13*f**2 - 4*f - 2. Let b(u) = -4*q(u) - 3*z(u). Does 3 divide b(10)?
True
Does 13 divide -1 + (-4)/12 + 554/6?
True
Let i = 291 - 121. Is i a multiple of 39?
False
Suppose 0 = -2*x + 5*z + 27, 5*x - 5*z = 73 + 2. Is x a multiple of 11?
False
Let k(n) = n**2 - 7*n - 15. Is k(10) a multiple of 3?
True
Suppose -3*z + 0*m - 6 = -3*m, z + 2*m + 2 = 0. Is 5 a factor of 6/z - -4 - -18?
False
Suppose -o - 67 = 3*t, 0 = -o + 6*o + 5*t + 325. Let n = -30 - o. Is 17 a factor of n?
True
Let s(x) = -8*x**3 - 2*x**2 - 2*x - 1. Let j be s(-1). Let p = 1 + j. Suppose -27 = -5*k + p. Is k a multiple of 7?
True
Suppose -i = -4*f - 3*i + 228, 5*f = -2*i + 283. Does 28 divide f?
False
Let o be 21*-2 - (1 + 1). Let d = -16 - o. Is d a multiple of 15?
False
Let z(g) = -g**3 + 13*g**2 + 11*g - 6. Let l be z(14). Let c = 88 + l. Does 14 divide c?
False
Let f(j) = -j**3 + 5*j**2 + j - 3. Let w be f(5). Suppose -160 = -5*c - a, c + a - 38 = -w. Is c a multiple of 11?
False
Let y(d) = 23*d**2 - 2*d - 1. Suppose -19*x - 5 = -14*x. Is y(x) a multiple of 8?
True
Suppose 0 = 3*o - 12, 116 + 7 = 5*h + 2*o. Suppose 5*y - 151 = 4*v, -y - v + 0*v + h = 0. Is y a multiple of 9?
True
Let f = -5 - -7. Is f/(64/(-34) - -2) a multiple of 6?
False
Let i be (-11 - (-4)/2)/1. Is 21/1 + i + 6 a multiple of 5?
False
Suppose 2*v + 3*v - 113 = 4*m, m + 2*v + 38 = 0. Let n be 25/(-1)*m/(-20). Is 5 a factor of 54/(-45)*n/3?
False
Let q = -5 + 4. Let l be q/3 - 50/(-15). Suppose d + 5*a = -d + 2, l*d = -4*a + 10. Is 3 a factor of d?
True
Let u(k) = -k**3 - 2*k**2 + 2*k - 7. Let s be u(-5). Let i = s - 22. Is 9 a factor of i?
True
Suppose 281 + 229 = 5*n. Is n a multiple of 34?
True
Suppose -2*w + 14 = 4*r, 8 = 3*r + w - 2*w. Suppose r*m + 2*p = 218, 6*p + 202 = 3*m + 4*p. Let i = m + -46. Does 12 divide i?
True
Let o(y) = 5*y + 3. Let a be (6/(-4))/(9/(-24)). Is 23 a factor of o(a)?
True
Let i(o) = 10*o. Does 2 divide i(1)?
True
Let y = 0 - -5. Suppose -95 = -y*p + 35. Is 13 a factor of p?
True
Let c = 0 - -30. Does 10 divide c?
True
Suppose -1951 = 16*r - 6047. Is r a multiple of 11?
False
Let x = -3 - -234. Is 33 a factor of x?
True
Let t = -5 + 4. Let p = 3 - t. Suppose 5*m + p*b = -1, 2*b + 4 = b. Does 2 divide m?
False
Suppose -4*v - 26 = -2*v. Let s = v - -21. Does 12 divide (39/12)/(1/s)?
False
Suppose -i + 5*j - 11 = 0, 0*j + 34 = 2*i + 4*j. Does 16 divide ((-6)/i - 2)*-6?
True
Let t(c) = c**2 + 7*c - 7. Does 7 divide t(-9)?
False
Suppose 5 = -3*y + 137. Does 18 divide y?
False
Suppose -a = -5*a + 20. Suppose -183 = -a*m + 57. Is m a multiple of 11?
False
Let a(b) = 8*b + 12. Let v be a(9). Suppose 2*w + 94 = -v. Is 13 a factor of (-12)/(-42) + w/(-7)?
True
Suppose -3*h + 69 = 2*d - 4*h, -5*h + 123 = 3*d. Suppose 4*b - i - 7 = d, 0 = b + 5*i - 37. Is 6 a factor of b?
True
Let r be 0 - -88 - 2 - 2. Suppose 3*z - 15 = 0, 3*y + 1 + 0 = 2*z. Suppose 140 = 5*g - 5*p, 2*p + r = y*g - 3*p. Is 16 a factor of g?
False
Let t be ((-1)/(-2))/((-3)/(-6)). Let d = -2 + t. Let k = d - -18. Is 17 a factor of k?
True
Let l be 10*(4/8)/1. Suppose -u - a = -4*a - 43, -3*a - 203 = -l*u. Is 10 a factor of u?
True
Suppose -3*d + 5*h = 31, 11 = -d - h + 2*h. Is (-39)/(-2) + d/8 a multiple of 3?
True
Let q(s) = 20*s + 10. Does 10 divide q(7)?
True
Let l be 7*1*(-6)/(-21). Suppose -4*u + l*a + 310 = -8, -2*u = 3*a - 179. Is u a multiple of 25?
False
Suppose -2*k = 10, -2*k - 46 = 4*a + 28. Let m = 25 + a. Is m a multiple of 9?
True
Let k = -17 - -26. Let b = k - -33. Is 14 a factor of b?
True
Let x(j) = j**3 + 6*j**2 - 2*j - 9. Let c be x(-6). Suppose -2*a = -d - a - 3, 2*a - 10 = 0. Suppose -d*u - 32 = -5*f, -2*f - u + c*u + 8 = 0. Does 5 divide f?
False
Let p = 15 + -8. Does 7 divide p?
True
Let w(l) = l**2 - 2*l**2 - 4 + 12*l - 4*l. Let z(y) = -2*y - 1. Let c be z(-3). Does 8 divide w(c)?
False
Suppose s + 24 = 2*s. Does 24 divide s?
True
Let s = 11 - 6. Suppose 0 = s*v - 5*p - 5, 4*v + p = 4*p + 6. Suppose -5*m = 5*w - 50, 4*m + 4*w = v*m + 16. Does 7 divide m?
False
Let v = 5 + 25. Suppose -2*k + 5*k - v = 0. Does 5 divide k?
True
Let g = -41 - -21. Let t = 51 + g. Let c = 69 - t. Is c a multiple of 10?
False
Let u(a) = -a**3 + 12*a**2 + 4*a + 12. Is u(12) a multiple of 15?
True
Suppose -2*v - 2*q = -150, 2*v + v - 2*q = 225. Is v a multiple of 25?
True
Let o be 15/(-60) + (-1)/(-4). Suppose o = 5*j - 3*j - 5*m - 146, 0 = 2*j + m - 122. Does 25 divide j?
False
Is 7 a factor of ((-4)/3)/((-10)/105)?
True
Suppose g = 5*j - 752, g - 5*g = -3*j + 441. Let f = -59 + j. Suppose -2*r = 3*c - f, 0 = 4*r + 4*c + c - 182. Does 17 divide r?
False
Let g(s) = s**2 + 2*s + 6. Let w be (-4)/10 - 90/25. Does 7 divide g(w)?
True
Let x(m) = 56*m**3 - m**2. Is 18 a factor of x(1)?
False
Let w(f) = 3*f**3 + f**2 - 2*f + 1. Let b be w(1). Let z(n) = -b + 0*n + 4*n - n. Is 4 a factor of z(3)?
False
Let r(t) = -t**2 + 10*t - 9. Does 2 divide r(8)?
False
Let c be (6 + -4)*58/4. Let u = -3 + c. Suppose -28 = s - 3*s - 5*y, 5*y + u = 4*s. Is s a multiple of 8?
False
Suppose s - 1 = 0, 0*s - 3*s + 19 = 4*v. Suppose v*h = h + 9. Suppose -h*x + 27 = 9. Is 5 a factor of x?
False
Suppose -2*x + 8 = -4*g, g = 3*x + 2*g - 26. Is 4 a factor of x?
True
Let y(m) = -3*m + 2. Let d(k) = -6*k + 3. Let n(c) = 4*d(c) - 7*y(c). Does 8 divide n(-6)?
True
Suppose -c - 161 + 16 = -p, 20 = -5*c. Does 39 divide p?
False
Suppose 3*b - 35 = -2*o + o, -3*o - 35 = -5*b. Is b a multiple of 10?
True
Let p(w) = -3*w - 2. Let z be p(-10). Suppose 6*s - z = 2*s. Does 7 divide s?
True
Let u(g) = -2*g**3 - g**2 - 8*g - 2. Is u(-4) a multiple of 34?
False
Suppose -3*x - 2 = -4*q + 10, 3*q = x + 14. Let g(n) = n - 4. Is g(q) even?
True
Suppose -5*h - 96 = 4*p, -18 = 3*p + 4*h + 53. Let o = -15 - p. Is o a multiple of 10?
Fals