0))/(9/(-30)). Suppose 3*a - 2 = q*a. Is f(a) a multiple of 11?
False
Let o = -21 + 14. Let w(h) = -15*h - 6. Does 33 divide w(o)?
True
Suppose -51 = 5*x + f - 8, -29 = 4*x - f. Does 8 divide 21/28 + (-58)/x?
True
Let c = 2 - -1. Does 6 divide 8/10*(13 - c)?
False
Suppose 0 = -g - 4*x + 11, 0*g - 4*x = -4*g + 4. Let u = g - -12. Is 15 a factor of u?
True
Let y(u) = -u**2 - 12*u - 6. Is 5 a factor of y(-6)?
True
Suppose 189 = -3*n - 0*n. Is ((-6)/7)/(3/n) a multiple of 9?
True
Suppose -8*s + 120 - 8 = 0. Is s a multiple of 2?
True
Suppose 0 = 3*h + n - 138, -2*h + n + 177 = 2*h. Does 15 divide h?
True
Suppose 4*k = 2*k + 16. Suppose -o + 2*b = -12, -2*b - 12 = -5*o + k. Suppose 0 = -2*m - 3*z + 50, 3*m = o*m + 2*z + 25. Is 13 a factor of m?
False
Let n(x) = -9*x + 1. Let k be n(-2). Let a = 30 - k. Suppose 0*u - 4*c - 31 = -3*u, 0 = u - c - a. Is 6 a factor of u?
False
Let f = 29 + -47. Let m = f - -50. Does 16 divide m?
True
Let i be 6 + 0 + -1 + -1. Suppose -i*b + 13 = -43. Is b a multiple of 4?
False
Suppose -h - 173 = -4*x, -h - 44 = x - 2*x. Is x a multiple of 23?
False
Suppose -j - 32 + 133 = 0. Let w = 143 - j. Is 16 a factor of w?
False
Let q(u) = -6*u**3 + 3*u + 3. Let o be q(-2). Suppose 0*y - 4*y = 5*r - 21, -4*y = -3*r - o. Is 9 a factor of y?
True
Let d = 109 - 139. Let r = 8 - 5. Does 16 divide ((-396)/d)/(r/10)?
False
Suppose 4*m + 3*m - 770 = 0. Is 11 a factor of m?
True
Let y(l) = 2*l**2 - l + 10. Is 8 a factor of y(9)?
False
Let o = -20 + 81. Does 11 divide o?
False
Is 1/5 - (-357)/15 a multiple of 12?
True
Suppose 685 = 11*o - 371. Is 16 a factor of o?
True
Let a = 40 + -34. Let k(y) be the first derivative of 3*y**2 - 3*y - 2. Is k(a) a multiple of 28?
False
Let x(p) = -4*p - 4. Let v be x(-4). Let n = 46 + -25. Suppose -v = -3*s + n. Is s a multiple of 11?
True
Suppose 5*t = -37 - 38. Let n = -10 - t. Suppose -n*f + f = -q - 35, 2*q = -6. Is 5 a factor of f?
False
Let z(y) = 14 - y - 3*y - 24. Suppose 0 = -3*a + 13 - 43. Is z(a) a multiple of 10?
True
Let w(d) = 3*d**2 - 2*d + 1. Let s be w(1). Suppose 0 = 3*l + l - 28. Is 4 a factor of l/s + 1/2?
True
Let i(l) = l + 12. Let w be i(-4). Suppose w*z - 168 = 5*z. Is z a multiple of 11?
False
Let w(b) = b**3 - 6*b**2 + 2*b - 6. Let g be w(6). Is 13 a factor of (5 - 2)/g*82?
False
Let c be (-2)/(-1) - (-2)/2. Let f = 2 - -1. Suppose 2*m - 98 = -c*i, f*m + 12 + 3 = 0. Does 18 divide i?
True
Suppose 0 = 2*s - 2*f - 4, -s = -3*s + f + 5. Suppose 0 = 2*m + r - 31, -3*m + 51 = -0*m + s*r. Is m a multiple of 7?
True
Suppose -3*k - 12 = 4*y + 5, -2*k - 3*y - 13 = 0. Is 9 a factor of (k + 3 - 1) + 32?
False
Let x = -6 - -8. Suppose -3*v + 0*v = -4*t + 6, 4*v = -x*t + 14. Suppose -6*c = -v*c + d - 131, -4*d = 4*c - 116. Is 17 a factor of c?
True
Let s(q) = q**3 + q**2 - 7*q. Does 15 divide s(3)?
True
Suppose 0 = -0*i - 2*i - 4. Let k be 0/i*1 + -2. Is 6 a factor of 16 + -2*1 + k?
True
Let c = 4 - -12. Suppose -2*m = -c - 12. Is m a multiple of 7?
True
Let x(n) = -n**2 + 9*n + 3. Let m be x(9). Let b be (10/4 - m)*-30. Is b/(24/(-10) - -3) a multiple of 25?
True
Let s be (6/5)/((-3)/(-10)). Suppose 3*h - 4*b - 280 = -h, s*b + 142 = 2*h. Suppose -3*t = -h + 9. Is t a multiple of 10?
True
Suppose 8 = 2*t + 3*t + 4*h, 4*t = 5*h - 10. Suppose -3*f + 144 = -t*f. Suppose -3*a + a = -f. Is 15 a factor of a?
False
Let v = -9 + 14. Let w be (1/3)/(8/144). Suppose 0 = -v*p + r + 77, 4*p + 2*r - w*r = 52. Is p a multiple of 7?
False
Let j(a) = 28*a**2 - a + 1. Let c be j(1). Suppose 3*k - c = -k. Is k even?
False
Let w = 77 - 55. Is 11 a factor of w?
True
Let m(h) be the first derivative of -5*h**2 - 18*h - 7. Is m(-9) a multiple of 11?
False
Let b = 98 - 70. Does 7 divide b?
True
Suppose 6*q - 64 - 44 = 0. Is q a multiple of 9?
True
Suppose 0 = -s + 7*s - 702. Is 11 a factor of s?
False
Let u = -10 + 14. Let o = 2 + u. Does 3 divide o?
True
Let g = 3 + 1. Let n(u) = -u**3 - 2 + 4 + 4*u**2 - 6 + 0*u + 3*u. Is n(g) a multiple of 8?
True
Let m = -78 - -183. Is m a multiple of 21?
True
Let t = 17 + -46. Let z = t - -43. Does 7 divide z?
True
Let g be 4/((3 + -6)/3). Does 18 divide (-76)/(-6)*(-6)/g?
False
Let r = 23 + 110. Is 19 a factor of r?
True
Does 10 divide -2*474/(-36) + (-4)/(-6)?
False
Suppose 5*n - 4*n = 37. Suppose o + y - n = 0, -y = -o + y + 28. Suppose d - o = -2*u, -83 = u - 6*u - 2*d. Is u a multiple of 8?
False
Let c = 142 + -89. Let h = c - 9. Suppose 0 = v, -v + h = 2*y + 16. Is y a multiple of 14?
True
Let f(a) = 6*a**3 + 2*a**2 - 4*a + 3. Let c be f(2). Suppose -3*v + 34 = -v + 4*b, -5*b - c = -3*v. Is 17 a factor of v?
True
Is (4 - -2)/((-2)/(-63)) a multiple of 16?
False
Let p(h) = -h**3 + h - 208. Let r be p(0). Let b = -131 - r. Is b a multiple of 24?
False
Does 2 divide (-4)/(-16)*2*16?
True
Let h = 74 + -42. Does 16 divide h?
True
Suppose -9 = l + 14. Suppose 60 = 2*s - 8. Let v = s + l. Is v a multiple of 6?
False
Let l(v) = -v - 20. Let p be l(-14). Let f(t) = -10*t + 14. Is 19 a factor of f(p)?
False
Suppose 0 = 15*c - 1085 + 275. Does 9 divide c?
True
Suppose -3*c + 2*c + v - 4 = 0, -5*v + 14 = -2*c. Let p be -3 + (-4)/(-2) + -2. Is 43 - (c + (-15)/p) a multiple of 20?
True
Suppose 0 = -3*d + 5 + 4. Let j(a) = a**2 + 6*a. Let k be j(-6). Suppose 0 = u - 4 + 3, k = d*m + 4*u - 46. Does 14 divide m?
True
Let t = -1 - -5. Suppose 5*r + 2*h - 684 = -2*h, 0 = -t*r + 3*h + 572. Suppose 0*b = -5*b + r. Is b a multiple of 14?
True
Suppose 3*a - 4*h = 2*a + 16, 16 = -4*a - 4*h. Suppose 2*w = 2*p + 2 - 22, a = 4*p + w - 25. Let k = -5 + p. Is k even?
True
Suppose 0 = 3*y - 2*y - 32. Is 8 a factor of y?
True
Suppose -4*f - y = -2 - 5, -2 = 2*y. Let u = 24 - f. Does 8 divide u?
False
Let h = 2 + 0. Suppose 2*p = -h*p + 72. Does 6 divide p?
True
Suppose 8*z - 29 = 5*z + 4*w, 4*w - 1 = z. Does 4 divide z?
False
Let s = 5 + -12. Is 10 a factor of s/21 - 40/(-3)?
False
Let t(d) = -7*d**3 - 6*d**2 - 15*d - 3. Let p(y) = -15*y**3 - 11*y**2 - 30*y - 6. Let n(r) = 6*p(r) - 13*t(r). Is 25 a factor of n(-10)?
False
Let h(l) = l**3 + 9*l**2 - 11*l - 3. Does 7 divide h(-10)?
True
Suppose 0 = 2*j - j + o - 21, 22 = j + 2*o. Let d = j + -16. Is 3 a factor of d?
False
Let g = -6 - -4. Let r(i) be the third derivative of i**6/120 + i**5/10 + i**4/8 + i**3/6 - i**2. Does 4 divide r(g)?
False
Suppose -5 + 2 = -k. Suppose u = -k*u + 44. Is u a multiple of 11?
True
Let r be (18/27)/(2/(-6)). Is (42*(-2)/3)/r a multiple of 8?
False
Suppose -4*k + 20 = k. Suppose 43 + 5 = k*l. Let w = l - 5. Is w a multiple of 5?
False
Let o be (-50)/6 - (-4)/12. Let i = 10 - o. Does 6 divide i?
True
Let b(w) = 3*w + 9. Does 8 divide b(5)?
True
Let a = -1 + 4. Suppose -v + 3*m + a = -14, v = 4*m + 21. Suppose -v*y = -176 + 66. Is 11 a factor of y?
True
Let q(o) = 4 - o - 6*o + 6*o. Let x be q(0). Is x/(-10) + 142/5 a multiple of 13?
False
Suppose 12*f - 83 - 1933 = 0. Does 28 divide f?
True
Let n(a) = 6*a**2 - 7*a - 4. Let v(r) = 8*r**2 - 7*r - 5 - r**2 + 0*r. Let i(c) = -6*n(c) + 5*v(c). Is i(6) a multiple of 5?
True
Let d(q) = q**3 - 3*q**2 - 6*q - 1. Suppose -7*k + 25 = -2*k. Does 10 divide d(k)?
False
Let f(t) = 67*t**3 - 3*t + 2. Is 22 a factor of f(1)?
True
Let a(o) = 6*o + 6. Suppose n + 12 = -2*n. Let i be a(n). Let t = -7 - i. Does 6 divide t?
False
Suppose 0 = w - 5*n - 8, -n = -w - 1 + 17. Is 7 a factor of w?
False
Let i be 25*(-2 + (-16)/(-10)). Let p be ((-108)/i)/(2/10). Let h = p - 32. Is h a multiple of 10?
False
Let g be 5/(-30) - (-187)/6. Suppose g = 5*m - 54. Does 10 divide m?
False
Let i = -10 + 14. Suppose 0*b - i = -b. Is b a multiple of 4?
True
Let g = -9 + 33. Does 8 divide g?
True
Let z(f) = f**3 + 6*f**2 + 3*f - 6. Let q be z(-5). Suppose -51 = -q*h - m, 0*m - m + 3 = 0. Does 11 divide h?
False
Let a be 2 + (-1 - 2)*6. Let g = 23 + a. Is g a multiple of 7?
True
Suppose 2*h = -0*h. Suppose -3*x - 15 = 0, -z - 3*x - 7 + 3 = h. Is 3 a factor of z?
False
Is 3 a factor of 4 + -6 - -4 - (-44)/2?
True
Let p(w) = 2*w**3 - 4*w - 7. Let k be p(-3). Let r(u) = -23*u**2 - u. Let d be r(-1). Let z = d - k. Is 16 a factor of z?
False
Let k be (-27)/(-3)*3/9. Suppose -k*x = 3*j - 105, 4*j + 52 = x + x. Suppose -x = -4*g + 3*b, 5*b = 5*g + 2*b - 37. Is g a multiple of 3?
False
Let r = -106 + 166. Is r a m