 -18. Let a(c) = 11*c - 1. Let u be a(-2). Let z = b - u. Does 10 divide z?
False
Let f(d) = -14*d - 1. Let u be f(3). Let g be (u/3)/((-2)/6). Let m = g + -25. Is 9 a factor of m?
True
Suppose 4*x = 7*x + 63. Let u = -29 - x. Is ((-16)/6)/(u/12) even?
True
Suppose 35 + 12 = 3*f + 4*x, 2*f + 4*x - 34 = 0. Is 7 a factor of f?
False
Suppose -4*y - 760 = -4*t, 595 = t + 2*t + 2*y. Does 21 divide t?
False
Suppose 4*l + 30 = 10. Let k be (-12)/l - (-3)/5. Let c(t) = 2*t + 4. Is c(k) a multiple of 5?
True
Let k(r) be the third derivative of -7*r**4/24 + r**3/2 + 2*r**2. Is k(-3) a multiple of 12?
True
Let f(i) = 3*i**3 + i**2 - 3*i - 1. Let y be f(-2). Let p be (-1 + (-21)/y)*-10. Does 7 divide 14/p*16/(-4)?
True
Let m(y) = 22*y - 44. Does 9 divide m(19)?
False
Suppose -4*o + 8 = -2*c, -2*o = 3*c - 3*o - 8. Suppose 0*s - 2*n = s + 1, s + c*n + 5 = 0. Suppose 4*z + 51 = 5*d - 135, 3*d = -s*z + 90. Is 15 a factor of d?
False
Suppose 3*y + 12 = 0, n - 1 = -y + 19. Does 8 divide n?
True
Let c(v) = v**2 - v - 4. Let o be c(5). Is ((-6)/4)/((-3)/o) a multiple of 6?
False
Suppose -5*x + 791 = 151. Does 16 divide x?
True
Let x = 119 + -5. Suppose -4*o + 2*o = -x. Is 19 a factor of o?
True
Let v(x) = x**2 + 3*x + 1. Let z be -2 - (8 - 0) - -1. Let a(d) = -d**3 - 10*d**2 - 9*d - 4. Let u be a(z). Is 5 a factor of v(u)?
True
Suppose 0*h = 3*h - 2*s + 21, 3*h + 5*s + 21 = 0. Let t = h - -10. Is t a multiple of 3?
True
Suppose 4*t - 3*u = t, 5*t - 16 = -3*u. Let r = 23 + t. Is r a multiple of 23?
False
Let b(x) = 3*x - 1. Suppose 3*c - 2*j - 9 = 0, -4*j - j = -5*c + 20. Let f be b(c). Suppose -4*g - 44 = -k - f*k, 4*k - 57 = 5*g. Is 7 a factor of k?
False
Suppose -2*k - 3 + 7 = 0. Is (k + -3 - 0) + 10 a multiple of 3?
True
Is 9 a factor of 36/(-21)*126/(-12)?
True
Let j(q) = 2*q + 7. Let z be j(-6). Is 14 a factor of ((-6)/z)/((-9)/(-120))?
False
Suppose 4*w - 2*z + 228 = z, 0 = -w + 2*z - 52. Let g = w + 100. Does 18 divide g?
False
Suppose z - 2*g = -4*g + 19, 0 = z - 5*g + 2. Let o = 43 + z. Is 27 a factor of o?
False
Let y = 14 - 10. Suppose y*p = 5*w + 351, 3*p + 3*w - 7*w - 264 = 0. Is 26 a factor of p?
False
Suppose 0 = -2*g - 5*d + 516, g + d + 3*d = 258. Does 14 divide g?
False
Let h be ((-6)/5)/(2/5). Let s be 50 + (3 - 6) + h. Suppose q = 4*x - 52, 3*q - s = -2*x - q. Is x a multiple of 14?
True
Let t = -34 - -70. Does 8 divide t?
False
Let b(t) = t**3 - t**2 + 2*t. Suppose 0 = 2*a - 0 - 4. Is b(a) a multiple of 8?
True
Let a = 3 + -1. Suppose -4*b = -5*l + 57, a*b = -5*l + 11 + 58. Is l a multiple of 11?
False
Let j(u) = -2*u**3 + u**2 - 5*u + 6. Let n(f) = -3*f**3 - 6*f + 7. Let s(q) = -4*j(q) + 3*n(q). Let p be s(-5). Is 3 a factor of 3*p/9 - -2?
True
Let y = 1 + -2. Let t(p) = -20*p - 1. Does 19 divide t(y)?
True
Let v(q) = 2*q**2 - 16. Let i(d) = 1 - d**2 + 0*d**2 + 15. Let c(o) = 3*i(o) + 2*v(o). Does 16 divide c(0)?
True
Let d = 20 + -16. Suppose d*l - 40 = 3*l. Is 21 a factor of l?
False
Suppose -3*t + 0*t - 3*s = -18, 0 = 2*t + 5*s - 24. Suppose -x + t*q = -38, 5*x - 132 = x - 2*q. Is 20 a factor of x?
False
Let m(s) = -20*s**3 - 4*s**2 - 21*s - 3. Let a(x) = 7*x**3 + x**2 + 7*x + 1. Let o(f) = 17*a(f) + 6*m(f). Let v be 22/(-4) - 2/4. Is 3 a factor of o(v)?
False
Let i(s) = 2*s**3 + s**2 + 7*s - 8. Is i(4) a multiple of 24?
False
Let t be (-4)/(-7)*21/6. Suppose f = 4*q + 25, 0 = -7*f + t*f + 5*q + 125. Is f a multiple of 16?
False
Suppose 0*p - 40 = 4*p. Let u = p - 11. Let i = -9 - u. Is 4 a factor of i?
True
Let p = 7 + 8. Does 11 divide p?
False
Let u = 28 - -110. Let l = u + -89. Is 20 a factor of l?
False
Suppose 18*i - 7102 = -1270. Does 12 divide i?
True
Let t(n) = -119*n + n**2 + 21 + 120*n + 21. Does 14 divide t(0)?
True
Suppose -2*s - 28 = -3*b + 202, -160 = -2*b - 2*s. Suppose b = 3*g - 0. Does 7 divide g?
False
Let c = 189 - 135. Suppose 180 - c = 2*w. Is 34 a factor of w?
False
Let h be 10 - 21 - -1*3. Let s(q) = -7*q**2 - 25*q - 5. Let t(x) = -3*x**2 - 12*x - 3. Let r(b) = -2*s(b) + 5*t(b). Is 11 a factor of r(h)?
True
Let w = -16 - -96. Suppose -2 = -3*b - 2*d + 13, -b + 5*d = -5. Suppose -n = -4*p + 21 + 43, -w = -b*p - 2*n. Is 16 a factor of p?
True
Let l = 23 + -15. Let v(x) = -5*x - l + 1 + 0*x. Is v(-8) a multiple of 17?
False
Suppose -3*w + 84 = -0*w. Suppose 4*r + 4*f = -0*f + 260, 160 = 3*r - 4*f. Let h = r - w. Is 16 a factor of h?
True
Suppose -7*n + 2*n + 280 = 0. Is n a multiple of 8?
True
Let s = 154 + -70. Is s a multiple of 42?
True
Suppose 5*i - 4*b + 5*b = 0, -2*b - 10 = 0. Does 13 divide 0 - i/(3/(-42))?
False
Suppose -u = -4*a + 245 - 87, 2*a = 2*u + 82. Is a a multiple of 9?
False
Does 12 divide ((-12)/(-7))/(13/182)?
True
Let f(s) = 5*s**3 - 7*s**2 + 6*s + 7. Let u(t) = -14*t**3 + 21*t**2 - 18*t - 21. Let w(a) = -11*f(a) - 4*u(a). Suppose 2*n = -0*n + 12. Is w(n) a multiple of 4?
False
Suppose 4*p - 12 = 16. Suppose p*c - 11*c + 64 = 0. Is c a multiple of 16?
True
Let o be 137/3 + 2/(-3). Suppose 5*h - o = a + 273, h + 3*a - 70 = 0. Suppose 0 = -4*i + h + 92. Is i a multiple of 14?
False
Does 4 divide 1 - (-149)/7 - 28/98?
False
Suppose 5*h = -6 + 26. Suppose 0 = -2*s + 85 + 29. Suppose f + s = h*f. Is f a multiple of 19?
True
Let f be 3*(15/9 - 1). Is (1 - f) + -2 + 7 a multiple of 4?
True
Suppose 2*l = 4*c - 102, 1 = 2*l + 3. Does 5 divide c?
True
Let s be -3 - 1*6/(-3). Let j be (2 + s)*(-7 - -9). Is 10 a factor of (j - 3)*(-1 - 9)?
True
Let j be ((-10)/(-15))/((-2)/(-3)). Is 5 a factor of j + -1 + -1 + 15?
False
Let a = -13 + 9. Let s = -3 + 6. Is (18/a)/(s/(-6)) a multiple of 9?
True
Let o(h) = h**3 + 7*h**2 + 6. Let g be o(-7). Let y = g - -46. Is 13 a factor of y?
True
Suppose -4*m = -28 - 136. Suppose 0 = 3*g + l - m, -5*l = -3*g + 28 + 19. Is 6 a factor of g?
False
Suppose -v + 0 = -24. Does 17 divide v?
False
Is 5 a factor of ((-2)/3)/((-2)/15)?
True
Suppose -18 = -3*v + 12. Is v a multiple of 5?
True
Suppose -4*b + 509 = -2*m - 75, -1478 = 5*m - b. Does 14 divide (-8)/28 + m/(-7)?
True
Does 12 divide 4 + 144 + 8*2/(-4)?
True
Suppose -92 = 7*o - 9*o. Is o a multiple of 21?
False
Suppose -5*i + 321 + 29 = 0. Is i a multiple of 19?
False
Suppose 18 - 6 = 2*f. Is f a multiple of 5?
False
Let u be (2 - 1) + 9/(-3). Is 4 a factor of (-2)/((-8)/(-36))*u?
False
Let f(p) = -p**3 - 8*p**2 - 6*p - 7. Let d(z) = -3*z**3 - 17*z**2 - 12*z - 13. Let l(y) = -2*d(y) + 5*f(y). Let i be l(7). Does 9 divide (-1)/1 + 20 - i?
False
Let z = 420 + 405. Suppose 8*o - 3*o = -z. Does 7 divide o/(-25) + 2/5?
True
Suppose -4*c - 72 = -0. Let k = c + 28. Is k a multiple of 10?
True
Suppose 9*f + 9 = 12*f. Suppose -5*s - 22 = -72. Suppose f*q - s = -4. Is q even?
True
Let c be (0 + 0)/(3 - 2). Suppose c = 4*v - 3*q - 73, 4*q = -5*v - q + 135. Does 14 divide v?
False
Does 8 divide 4*(38 - 4) + 0/1?
True
Let y = 3 + 0. Suppose -y*d + 6 = -0*d. Suppose -4*n + d*n = -22. Is n a multiple of 11?
True
Let k = 26 + -4. Let u = k + -6. Does 12 divide u?
False
Let l(u) be the second derivative of 23*u**4/4 - u**2/2 - 2*u. Is 12 a factor of l(-1)?
False
Let k be (1 + -2)/((-4)/16). Suppose 0*j - 123 = -5*t - 3*j, 5*t = j + 139. Suppose -r - 2*q = -0*r - t, k*r + 2*q - 78 = 0. Is r a multiple of 14?
False
Let h(q) = 7*q**3 - 2*q - 1. Let y be h(2). Suppose 0 = -3*r + 4*n + 85, r + r = -3*n + y. Does 9 divide r?
True
Let h be 2/((-466)/156 + 3). Is 5 a factor of (-4)/(-18) + h/27?
False
Suppose -4*k + 5*k = 6. Is 2 a factor of k?
True
Suppose -16 = -2*n + 4*g, -4*n + 5*g = -0*g - 17. Let w = n - -6. Does 2 divide w?
True
Suppose 4*q - 9*q + 240 = 0. Is 21 a factor of q?
False
Suppose -3*c + 115 = -0*c + 4*t, -3*c + 125 = -t. Is 15 a factor of c?
False
Let v(t) = t**3 + 5*t**2 - 3*t + 4. Suppose -m + 3 = -0. Is 23 a factor of v(m)?
False
Let h(s) = 9*s**2 + 3*s. Does 12 divide h(-4)?
True
Let i(f) be the first derivative of f**2/2 - 5*f + 1. Let o be i(5). Suppose 10 = -5*j, 2*k = -o*k + 4*j + 38. Is 5 a factor of k?
True
Suppose 59 = 5*f + v, 6*f - f - 65 = 5*v. Is 8 a factor of f?
False
Let a be (12/(-9))/(4/(-6)). Suppose 4*x = a*x + 16. Is 2 a factor of x?
True
Let u = 212 - 107. Does 7 divide u?
True
Let j(z) = 3*z - 1. Let h be j(1). Is 18 a factor of h + (-1)/((-3)/60)?
False
Let v = 4 + -1. Let s = 21 + v. Is 8 a factor of s?