t derivative of m(i). Is j(5) a multiple of 5?
True
Suppose -m = -0*m - 25. Let q = -16 + m. Is 4/(-6) + 177/q a multiple of 10?
False
Let j(b) = -7*b + 5. Let p be (-60)/(-9) - 2/(-6). Let n(g) = -g**2 + 5*g + 10. Let m be n(p). Is 12 a factor of j(m)?
False
Let m(l) = l + 8. Let x be m(0). Let s = 2 + x. Suppose -s = -3*r + 26. Is r a multiple of 5?
False
Let f = 7 - 8. Let s = -8 + 5. Does 8 divide (-8)/s*(f + 4)?
True
Suppose -s + 86 = 2*s + 4*d, -5*s + 4*d + 154 = 0. Let w = 15 + 6. Let c = s - w. Does 8 divide c?
False
Suppose -13 - 15 = 4*h. Let d = -2 - h. Does 3 divide d?
False
Suppose -f + 0*o + 8 = -o, 3*f + 3*o + 6 = 0. Suppose -378 + 30 = f*z. Is 10/25 - z/10 a multiple of 12?
True
Suppose 0 = -0*k - 8*k + 360. Is 9 a factor of k?
True
Let t(b) = b + 12. Let w be t(-8). Suppose w*x + 0*x - 8 = 0. Suppose -5*p - 65 = -5*z, x*z + 5*p - 95 = -3*z. Is z a multiple of 10?
False
Let o(g) = 5*g - 3. Let m be o(2). Is (-14 + m)/(0 + -1) a multiple of 2?
False
Suppose -4*f - 696 = -192. Does 7 divide (3/(-2))/(9/f)?
True
Is 4/(-16) + 33/4 a multiple of 4?
True
Let v = -231 - -378. Is v a multiple of 13?
False
Is 24 a factor of -3 - (3 - 3) - -106?
False
Let l = 18 - 25. Let o = l + 20. Is o a multiple of 5?
False
Let v = -2 + 4. Suppose -v*o = -31 - 49. Does 20 divide o?
True
Let n = 161 + -92. Is 23 a factor of n?
True
Suppose -4*b = -2*c - 78, 4*c - 11 - 9 = 0. Let k = b + 18. Is k a multiple of 17?
False
Suppose 2*y = -3*p + 17, 2*p - 2*y = p - 5. Suppose -70 + 1 = -3*g - r, -g - p*r = -15. Does 9 divide g?
False
Let g be 1/(-3) - 68/(-6). Suppose 0 = -j - 3*h - g, -h + 0*h - 4 = 0. Suppose -13 = -3*d - j. Is 4 a factor of d?
True
Suppose -5*z - 3 = -18, 4*z - 20 = -s. Suppose s = -h + 5*h, -5*b + 18 = 4*h. Is b a multiple of 2?
True
Let m = -1 + 8. Let r = m + -4. Is (2 - r)/((-1)/34) a multiple of 13?
False
Let a = 65 - 62. Is a a multiple of 3?
True
Let x(m) = -5*m + 4. Let u be x(5). Suppose -2*c = -2*s + 112, -4*s + 169 = -3*c - 2*s. Let a = u - c. Does 18 divide a?
True
Let q(g) = 14*g - 18. Let b be q(9). Suppose -18 = -3*z + b. Is 14 a factor of z?
True
Is 9 a factor of 35/(-5)*108/(-21)?
True
Let q = -5 + 7. Let l = q + 3. Does 5 divide l?
True
Does 12 divide 574/49 - (-2)/7?
True
Let o(g) = g**2 + 4*g + 1. Let s be o(-8). Suppose 3*d + 87 = 4*p, p + 0*p - 3*d - s = 0. Is 9 a factor of p?
True
Let f = -7 - -11. Suppose -4*s - 12 = 0, 4*s + 52 = 3*m - f*m. Let r = -21 - m. Is 19 a factor of r?
True
Let l(m) = m**2 - 5*m - 1. Let z be l(6). Suppose -z*v + 26 = -124. Is 15 a factor of v?
True
Let p(u) = 15*u + 4. Let m(t) = 16*t + 4. Let n(o) = -2*m(o) + 3*p(o). Let v be n(4). Suppose 2*w + 2*w = v. Does 7 divide w?
True
Suppose 1 = -2*l + 5*o, -l + 7 = 7*o - 2*o. Let h be (-2 + -4)*l/(-3). Is (-102)/h*6/(-9) a multiple of 6?
False
Let i = 37 + -24. Does 5 divide i?
False
Let b be 8/44 + 84/22. Is (-1326)/(-24) + 3/b a multiple of 20?
False
Suppose -r + 2*r + 5 = 0. Let d(z) = 7 - 6 + 7*z**2 - 5*z**3 + 7*z - 3*z**3 + 9*z**3. Does 16 divide d(r)?
True
Suppose 1 = -5*m + 3*x + 33, 5*m = 5*x + 30. Does 3 divide m?
False
Suppose 0*r + r = 13. Does 7 divide r?
False
Is 9 a factor of (-1 - (-3)/(9/(-87)))*-1?
False
Is 7 a factor of (21 + 1)/(14/7)?
False
Let c(f) = 2*f + 8. Does 3 divide c(7)?
False
Is 12 a factor of 38 - ((3 - 4) + 3)?
True
Let v(k) = 2*k**3 + 2*k**2 + 1. Let a be v(3). Let i = -34 + a. Is 13 a factor of i?
True
Suppose -4*h + 40 = 5*w, 5*w + 9 = 3*h - 21. Suppose -p = -5*g + p + h, 0 = 2*g - 4*p - 20. Suppose -3*n = -g*n + 3*i + 3, -i = -3*n + 17. Does 4 divide n?
True
Suppose 5*m + 334 = 3*a, 4*m + 332 = 2*a + a. Is 12 a factor of a?
True
Let h(x) = 2*x**2 - 16*x**3 - 2*x**2. Let z be (-8)/20 + 6/(-10). Is 15 a factor of h(z)?
False
Let c(h) = -2*h**3 - 2*h**2 + 2*h + 2. Let o be c(-2). Let p(t) = -t**3 + 1 - 2 + 5*t - 2*t + 6*t**2. Does 9 divide p(o)?
False
Let n(b) = -31*b - 4. Let v be n(-4). Suppose -3*x = 2*x - v. Is 8 a factor of x?
True
Is 8 a factor of (1*-28)/(4/8*-2)?
False
Suppose -4*y - y = 25, y + 25 = 5*n. Suppose -o - n*w - 296 = 3*o, 2*o - 3*w + 123 = 0. Let a = -41 - o. Does 14 divide a?
True
Let g(w) = -2*w**2 + 2*w + 2. Let b be g(2). Suppose 3 = -2*i + 3*v, -5*v + 2 + 5 = -4*i. Is (i/(-9))/(b/(-30)) a multiple of 5?
True
Suppose 0*f - 4*f = 0. Let y = f + 0. Suppose -84 = -y*l - 2*l. Is 18 a factor of l?
False
Suppose -3*j = -j - 6. Suppose -2*t + 4*y = -20, 3*t + 9 = 4*t - j*y. Does 12 divide t?
True
Let f = 30 + 10. Is f a multiple of 10?
True
Suppose 3*r = -1 + 271. Is 18 a factor of r?
True
Is 17 a factor of -34*(35/2)/(-7)?
True
Suppose 4*d + 23 = 3*c + 247, 0 = -2*d - 5*c + 112. Does 14 divide d?
True
Let h be 27684/(-63) - 8/14. Does 8 divide 4*1 - h/10?
True
Suppose 7 = 3*j + r, -7*r + 3*r + 7 = 5*j. Is 14 a factor of (j/(-6))/((-4)/224)?
True
Suppose -38 = w + 34. Is 12 a factor of ((-3)/(-4))/((-1)/w)?
False
Suppose 2*d + d - u = 10, -5*u + 25 = 0. Suppose 0 = d*b - 67 - 48. Does 12 divide b?
False
Suppose 0 = -2*k - 2*k. Is 3*(8 + (k - 2)) a multiple of 9?
True
Suppose -4*h - 1060 = -3*r, -5*h - 5*r = -0*r + 1360. Is 11 a factor of (-5)/(-25) + h/(-10)?
False
Is 3/1 - 90/(-3) a multiple of 7?
False
Suppose r = -r + 60. Let a = 59 - r. Is 8 a factor of a?
False
Let d be (0 - -1)/(-1 - -2). Suppose -a - r - d = 0, r + 7 = -2*a - 2*r. Suppose 78 = 5*l + 2*x, -a*l - 3*x + 68 = -0*l. Is 7 a factor of l?
True
Let x(a) = -a**3 + 7*a**2 - 2*a - 6. Suppose 0 = 5*p - 32 + 2. Is 5 a factor of x(p)?
False
Let z(x) = 52*x + 2. Is z(1) a multiple of 12?
False
Suppose 14 = x + 3*o - 4, -4*x - 3*o + 45 = 0. Is x a multiple of 2?
False
Let o(u) = u**3 + 12*u**2 + 8*u + 6. Is 23 a factor of o(-11)?
False
Let u(t) = t + 9. Let j be u(-7). Let y = -4 - -6. Is y - -7 - j/2 a multiple of 8?
True
Let i = 80 - 32. Is 26 a factor of i?
False
Let c(q) = -q**2 - 6*q - 1. Let m be c(-5). Suppose m*b = 4*s + 48, 0*s + 32 = -3*s + 5*b. Does 15 divide (-4)/s + (-103)/(-7)?
True
Is (6/3)/(-6)*-1*99 a multiple of 18?
False
Let h be 0 - 252/3 - -2. Let a = 25 - h. Suppose -2*s = -4*w - 72, -a = -5*s + 2*s + 5*w. Is 17 a factor of s?
True
Is 21/(-28) - 1238/(-8) a multiple of 11?
True
Let r(l) be the first derivative of -3*l**2/2 + 3*l + 3. Let q(c) = 21*c - 21. Let d(w) = 2*q(w) + 15*r(w). Is 5 a factor of d(-4)?
True
Let x = 63 - 28. Suppose 0 = -4*a - 5*m - 96, -3*a + 5*m - 37 = -0*a. Let p = a + x. Does 16 divide p?
True
Let s = -50 - -85. Is s a multiple of 8?
False
Let g(c) = -c**3 + 9*c**2 - 8*c + 2. Let n be g(8). Suppose 2*s - 42 = 5*f, s + n*f + 2*f + 5 = 0. Let z(t) = -t**2 + 15*t - 16. Does 14 divide z(s)?
True
Let v(b) = -7*b + 8. Let h be v(6). Let o = h - -109. Is 25 a factor of o?
True
Suppose -t - 125 = -2*t. Suppose 2*l - 4*n = n + 22, -5*l - 5*n = -t. Does 21 divide l?
True
Suppose l - 8 = 5*l. Let d be l/6 - 266/3. Is 4 a factor of d/(-6) - (-1)/6?
False
Let r be ((-15)/(-6))/((-1)/(-24)). Suppose m + r = 4*m. Is m a multiple of 16?
False
Let b = -17 - -28. Is 10 a factor of b?
False
Is 2 a factor of (-12)/(-18) - 37/(-3)?
False
Suppose -a + 40 = 4*a. Is a a multiple of 5?
False
Let l = 6 - 6. Suppose l = 2*z - 23 - 37. Suppose 4*j - z = -6. Is 6 a factor of j?
True
Suppose -6*h + 49 = -161. Is h a multiple of 28?
False
Suppose 5*i = 24 + 16. Suppose k + 4*s = -20, 2*k - 3*s = k + i. Is (-310)/(-6) + k/6 a multiple of 17?
True
Let u = 2 + 110. Is 14 a factor of u?
True
Let d be 1 - ((0 - 0) + -1). Let j(p) = -2 - p**2 + p + 3*p**3 - 2*p**2 - p**3. Is j(d) a multiple of 4?
True
Let n(j) = j + 1. Let o(m) = 7*m + 3. Let d(i) = -3*n(i) + o(i). Let f be d(4). Suppose 4*c + f = 8*c. Is c a multiple of 4?
True
Suppose -j - j + v + 115 = 0, -2*v = 4*j - 250. Let n be ((-25)/(-15))/(2/j). Suppose -2*s = -3*c + n + 8, -98 = -5*c + 2*s. Is 14 a factor of c?
False
Suppose -3*a = -4*v - 11, 4*a + 4*v + 1 = 25. Suppose 4*z + n - 20 = 0, -3*n + a = 2*z - 5. Suppose 116 = z*t - t. Is 18 a factor of t?
False
Let m(b) = 3*b + 7. Let x be m(6). Suppose x = -5*n, 5*g - 4*n - 212 = 233. Suppose 0 = -0*p - 5*p + g. Is p a multiple of 13?
False
Let w = -11 + 8. Let a be 4*w*(-4)/8. Suppose -4*j + a*j = 30. Is 5 a factor of j?
True
Let a(g) = 16*g**2 + 8*g - 9. Let c(y) = -4*y**2 - 2*y + 2. Let s(b) = -2*a(b) - 9*c(b).