f u?
False
Suppose 3*m - b = 5, -17 = -4*m - 3*b - 6. Suppose 0*u - 10 = m*u. Does 14 divide (-182)/u + (-2)/5?
False
Let b(w) = 11*w - 52. Let n be b(12). Suppose 5*a + 5*u = u + n, a - 4*u = 16. Is a a multiple of 16?
True
Let f = 1037 - 569. Is 13 a factor of f?
True
Let c(d) be the second derivative of 2*d**5/5 + d**3/6 - d**2/2 + 4*d + 10. Suppose 2*s = s + 1. Is c(s) a multiple of 2?
True
Suppose 2*m - 90 = 5*x - 456, -3*x = -5*m - 231. Let v = -32 + x. Is 29 a factor of v?
False
Let a(k) = k**2 + 14*k + 17. Is a(-14) a multiple of 5?
False
Suppose 0 = -4*w - 5*z + 480, z + 26 = 4*w - 430. Does 106 divide w?
False
Suppose 2*c = 6 + 6. Does 19 divide (c/(0 + -2))/((-30)/280)?
False
Let b(r) = -r + 24. Suppose 2*d = -11 + 3. Let f = -4 - d. Does 8 divide b(f)?
True
Is ((-2346)/207)/((-1)/78) a multiple of 13?
True
Let c(o) be the second derivative of -o**3/3 + 3*o**2/2 + 5*o. Let q be c(-7). Suppose 3*p - q = 10. Is 3 a factor of p?
True
Let f(b) = -b**3 - 28*b**2 - 26*b + 75. Is f(-27) a multiple of 18?
False
Let u = 2182 + -1638. Does 10 divide u?
False
Let j = 32 - 66. Is (1/2*10*j)/(-2) a multiple of 5?
True
Suppose 0 = 2*k - 10, -5*k = -5*p + 6*p - 337. Is p a multiple of 12?
True
Suppose -24*m = -3386 - 11590. Is m a multiple of 24?
True
Let z(i) = i**2 + 3*i + 184. Is z(-22) a multiple of 14?
True
Let b(a) = a**2 - 19*a + 19. Let k be b(18). Is ((-3)/k)/(-3)*(22 + -3) a multiple of 2?
False
Suppose 5*p - 1261 = -346. Suppose -n - p = -4*n. Does 18 divide n?
False
Let b be (-24)/2*(-2)/(-6). Let g(a) = a**3 + 4*a**2 - 2*a - 3. Let z be g(b). Suppose -308 = -z*r + 142. Does 30 divide r?
True
Let f(o) = -294 + 294 + 40*o. Is f(4) a multiple of 12?
False
Let p(b) = b**2 - 9*b + 10. Let o be p(8). Suppose o*i = -0*i + 168. Does 29 divide i?
False
Suppose r - 4 = -5*d, -3*r + 12 = -0. Suppose -j - 32 = -9*j. Suppose j*h - 9*h + 495 = d. Is 28 a factor of h?
False
Suppose -4*g + 10 + 21 = l, 5*l = -g + 3. Suppose 2*y = g*y - 1656. Is y a multiple of 29?
False
Is 4/6 + (-150514)/(-273) a multiple of 41?
False
Let m = 38 - 38. Suppose 3*a + 10 - 28 = m. Suppose 0 = 9*h - a*h - 12. Is h a multiple of 4?
True
Suppose 3*z - 2*i = 110, -2*z - 2*i = i - 56. Does 34 divide z?
True
Let f(y) = -y**3 - 5*y**2 - 4*y + 2. Let d be f(-4). Suppose -40 = -d*m + m. Is m a multiple of 10?
True
Let a be -5*(-3 - 39/(-15)). Suppose 0 = -0*z + 4*z. Suppose 6 + z = a*g. Is g a multiple of 3?
True
Suppose 16 + 12 = 2*r. Let k = -14 + r. Is 2/4*(54 + k) a multiple of 9?
True
Let a = 2097 - 1432. Is a a multiple of 31?
False
Suppose -12*s + 2509 = -7*s - 2*l, 1008 = 2*s - 3*l. Is 17 a factor of s?
False
Suppose 8*g - 42 = 10*g. Does 2 divide 7*3/(g/(-20))?
True
Suppose 0 = 7*y + 50 + 20. Is 3 a factor of (y/4)/((-5)/(-10) + -1)?
False
Suppose -73 - 92 = f. Let q = -49 - f. Does 29 divide (q/(-6))/((-2)/3)?
True
Let n(u) = -u**3 - 7*u**2 - 3*u + 5. Let d(f) = f - 1. Let w be d(-6). Let z be n(w). Suppose -20 = -2*i + z. Is i a multiple of 9?
False
Let c(u) = -4*u + 29. Is c(-12) a multiple of 11?
True
Let l(a) = -a**3 - 6*a**2 + 8*a - 7. Suppose -3*u + 0*c - 2*c - 22 = 0, -2*u - 12 = 4*c. Is l(u) a multiple of 19?
True
Let a be (-1)/(-1 + (-70)/(-68)). Let r(i) = -20*i. Let y be r(1). Let q = y - a. Does 14 divide q?
True
Let u = -68 - -212. Is 18 a factor of u?
True
Let k(g) = 39*g**3 - 4*g + 4. Is k(2) a multiple of 4?
True
Suppose -70*y + 140679 = -21*y. Does 22 divide y?
False
Let l be (-686)/10 - 14/35. Let s = l - -48. Let z = s - -27. Is z a multiple of 6?
True
Let g(f) be the first derivative of f**3/3 + 6*f**2 - 30*f - 24. Is g(9) a multiple of 10?
False
Let g be (-42)/10 + 2/10. Let w(s) = -s + 7. Let t be w(-3). Is 2 a factor of (-2)/g - (-65)/t?
False
Suppose 8*z = 1163 + 741. Let h = z - 149. Is h a multiple of 37?
False
Let k(w) = 10*w**2 + 4*w - 2. Suppose 10*q = -12 - 8. Does 5 divide k(q)?
True
Let p(i) = i**3 + 4*i**2 + 2*i. Let b be p(-2). Suppose b*q - 4*u - 110 - 90 = 0, -5*u = -q + 50. Does 17 divide q?
False
Suppose 0 = -14*d + 30 - 2. Is (-1446)/(-9) + (d - 8/3) a multiple of 13?
False
Let d(t) = 168*t**2 - 19*t - 11. Does 17 divide d(-5)?
True
Suppose 0 = 2*c + 11 - 13. Let j(p) = -7*p**2. Let s be j(c). Does 6 divide (-222)/s + 6/21?
False
Let v(h) = h - 2. Let f be v(3). Let y be (-950)/(-19)*f/2. Suppose 3*a + y = 5*k - 0*a, -5 = -k - 4*a. Does 3 divide k?
False
Let f(r) = 6*r**3 + 9*r**2 + 3*r + 4. Let u(i) = -5*i**3 - 8*i**2 - 4*i - 4. Let n(o) = 4*f(o) + 5*u(o). Is n(-4) a multiple of 14?
True
Let u = 114 - 104. Suppose -10 = -12*w + u*w. Is w a multiple of 5?
True
Let p = -28 - -136. Let x = -64 + p. Suppose k + 3*k = x. Is 8 a factor of k?
False
Suppose 4*g + 2*r - 1248 = 0, -3*g + 1234 = g - 5*r. Does 42 divide g?
False
Suppose -11*z = -9*z - 4. Is (z/(-1) - -3)*21 a multiple of 4?
False
Let b(o) = o**3 + 20*o**2 - 47*o + 53. Let n = -145 - -123. Is 17 a factor of b(n)?
True
Let g = -19 - -21. Let y be -2 + (-1 - 9/(-3)). Suppose 2*z + g*z - 152 = y. Is z a multiple of 18?
False
Let m(g) = -g**2 + 8*g - 7. Let d be m(-9). Let r = -112 - d. Is 14 a factor of r/(-28)*49/(-1)?
True
Does 14 divide ((-3)/(-9))/((-217685)/108849 - -2)?
False
Suppose 16 = 4*c + 4*c. Suppose 0 = -c*x + 235 + 125. Is 10 a factor of x?
True
Suppose -o - 4 = -50*p + 51*p, -2*p = 10. Let g(q) = q**3 + 4*q**2 - q - 4. Let b be g(-3). Let t = o + b. Is t even?
False
Let q = 407 - 326. Is q a multiple of 27?
True
Let i = -995 - -1470. Is 19 a factor of i?
True
Let n(u) = u**2 - 5*u - 9. Let i = -7 - -21. Suppose -5*v + 2*s + 39 + 5 = 0, -3*v + i = 5*s. Does 4 divide n(v)?
False
Suppose 0*b + 5 = 5*b. Is (470/50)/(b/5) a multiple of 5?
False
Suppose 3*g - 4*r = 989 + 448, 3*g = -5*r + 1464. Does 42 divide g?
False
Let d(a) = a**3 + 2*a**2 + 9*a + 564. Does 62 divide d(0)?
False
Let d be (3/6)/(1/2) + 0. Is 14 a factor of d + -3 - 2233/(-11)?
False
Let s = -5 - -27. Does 5 divide 11/s*(1 - 1) + 8?
False
Let p(l) be the second derivative of -1/12*l**4 + l - 15/2*l**2 - 2*l**3 + 0. Is p(-10) a multiple of 5?
True
Is ((-306)/136)/(3/(-1088) + 0) a multiple of 24?
True
Let o be ((-102)/(-9))/(2/3). Let v = 22 - o. Suppose -v*d - 2*i + 299 = 41, 2*i = 5*d - 242. Is d a multiple of 18?
False
Suppose -380 = -6*u + 5*u. Suppose -2*l = -w - u, -3*w + 149 + 779 = 5*l. Suppose l + 260 = 8*t. Is t a multiple of 14?
True
Let k(n) = n**3 + 6*n**2 - 7*n + 8. Let t be (-714)/98 + (-4)/(-14). Let b be k(t). Does 17 divide ((-180)/16)/((-2)/b)?
False
Let t(y) = 43*y**2 - 20*y + 83. Is t(6) a multiple of 27?
False
Let i(r) = -r**2 - 10*r - 10. Let a be i(-9). Is 18 a factor of a/(-7) - 11066/(-154)?
True
Let n = 2659 - -419. Is 19 a factor of n?
True
Let p(l) = 2*l - 17. Let f be p(9). Let d(m) = 73*m**2 - m. Does 12 divide d(f)?
True
Let j(q) = -2*q**3 - q**2 - 15*q + 8. Does 26 divide j(-6)?
True
Let u(d) = 3*d + 7 - 5 + 7*d + 0. Let c = -3 - -7. Does 25 divide u(c)?
False
Let n = -5 - -5. Suppose 8 = -n*k + 4*k. Suppose u + 2 = -1, 0 = -4*r - k*u + 10. Is r even?
True
Let z = 45 + -31. Let w(y) = y**3 - 14*y**2 + y - 6. Let r be w(z). Suppose -310 = 3*c - r*c. Is c a multiple of 17?
False
Let w(c) = 7*c**2 + 2*c - 18. Is w(10) a multiple of 27?
True
Let r(l) = -153*l - 506. Is r(-7) a multiple of 65?
False
Let t be ((-3)/(-2) - 2)*-24. Let n = 23 + t. Is n a multiple of 6?
False
Suppose 4*r - 660 = -2*r. Does 22 divide (-9)/((-135)/r)*6?
True
Let b(x) = -x**3 - 11*x**2 - 30*x + 6. Let j(o) = 7*o - 1. Let d be j(-1). Is b(d) a multiple of 19?
False
Suppose 2*b + 3 = 5*b. Let m = 193 - 54. Suppose m - b = 3*k. Is k a multiple of 23?
True
Suppose -62 + 147 = -5*m. Suppose -2*s - 23 = -101. Let b = s + m. Does 15 divide b?
False
Let b = -14 - -39. Let g = 56 - b. Is g a multiple of 7?
False
Suppose 5*c - 1820 = -2*k + 2611, 0 = -5*k + 2*c + 11034. Is k a multiple of 12?
True
Let k be (-7 - -1)/(6/(-26)). Does 12 divide 1*-3 - (-118 + k)?
False
Let j(b) = b + 8. Let i be j(-6). Suppose i*c + 0*c = 0. Let f(x) = -x + 17. Is 9 a factor of f(c)?
False
Is (-30 - -1)/(1/50*-2) a multiple of 25?
True
Suppose 2*x + 1065 = d, 4*d + x = d + 3223. Does 6 divide d?
False
Let w(q) = q**2 + q + 6. Let b be 1/3 + (-8)/24. Suppose 3*h + 5*j + 5 = b, -j - 41 = -5*h - 12. Is 12 a factor of w(h)?
T