7 - f. Does 7 divide x?
True
Suppose -3*v = -3*q - 5 - 4, 2*v - 4*q = 8. Suppose -5*t - 296 = -v*g - t, 2*t + 288 = 2*g. Is 18 a factor of g?
False
Does 38 divide (-594)/(-1 - 8)*23/2?
False
Let v be 1 - 1 - (-8)/4. Suppose -5*w = b - 136 + v, -4*w + 84 = -5*b. Is w a multiple of 19?
False
Suppose 145 = 5*y + 30. Let x = 19 - y. Is 2 a factor of (10 + x - 4) + 1?
False
Suppose 6*r + 1392 = 5508. Is r a multiple of 98?
True
Let p(h) = -2*h**3 + 2*h**2 + 3*h. Let u be p(-2). Let w be (3/2)/(u/48). Suppose m + m - 2*d - 18 = 0, 3*m + w*d - 20 = 0. Is m a multiple of 6?
False
Let q(n) = -3*n + 10. Let f(i) = i - 1. Let s(o) = -4*f(o) - q(o). Let r be s(-6). Suppose -2*a + 34 + 18 = r. Is 13 a factor of a?
True
Let n(c) = c**2 - 5*c + 9. Is n(-9) a multiple of 2?
False
Let y(f) = f**2 - 9. Suppose 5*x + 192 = 21*x. Does 27 divide y(x)?
True
Let u(q) = -q**3 + 6*q**2 + 2*q + 2. Let c be u(6). Suppose -8*a + a = -c. Suppose 5*t - a*t - 18 = 0. Is t a multiple of 5?
False
Let y(q) = 2*q**2 - 21*q + 132. Is y(-23) a multiple of 20?
False
Let z(x) = -4*x**3 + 2*x**2 + 19*x + 92. Is 16 a factor of z(-4)?
True
Suppose 3*u + 2*i = -26, 0 = u + i + 4*i + 13. Let v(l) = -l**2 - 9*l - 4. Let r be v(u). Suppose -4*j - 4*x + 56 = 0, 2*j + r*x = -j + 46. Does 9 divide j?
False
Suppose -u - 5*h = -5*u + 376, 3*u - 313 = -4*h. Suppose 18*q - 21*q = -u. Does 3 divide q?
True
Let m(u) = -5*u**3 - 2*u. Let v be m(-1). Suppose -v*c + 2*c + 315 = 0. Is c a multiple of 10?
False
Suppose 9*b = 7*b. Does 10 divide b + (1 - 4) + 43?
True
Suppose -6*p = 282 - 894. Suppose -t + p = 34. Is t a multiple of 14?
False
Let l(o) = -14*o - 15 - o**2 + 5*o + 6. Does 4 divide l(-5)?
False
Suppose 33*x - 9378 + 1722 = 0. Does 29 divide x?
True
Let i(r) = -2*r**3 + 0*r + 2*r - 4*r**2 + 3*r**3 + 2 - 3*r. Suppose -5*a + 15 + 10 = 0. Is 4 a factor of i(a)?
False
Let z(o) be the second derivative of -o**3/3 + 51*o**2/2 + 35*o. Is z(13) a multiple of 5?
True
Suppose -c - 109 = 4*j + 184, -2*c = -4*j - 290. Let m = -17 - j. Does 23 divide (115/(-4))/((-14)/m)?
True
Let g = 1004 + -881. Does 70 divide g?
False
Let q(m) = 2*m**3 + 3*m**2 - 7*m + 33. Is 7 a factor of q(8)?
False
Suppose -5*x - 7 + 2 = 0. Does 12 divide (-20)/8*(x - 257/5)?
False
Let w(o) = o**3 - o**2 - o + 1. Let k be w(3). Suppose -p = -0*p + k. Is 11 a factor of (p/(-10))/(2/55)?
True
Suppose 124 + 1 = 5*l. Suppose 160 = n - l. Is 37 a factor of n?
True
Let m(h) = 4*h - 3. Let g be m(7). Let r(u) = 6*u - 38. Let k be r(14). Let v = k - g. Does 7 divide v?
True
Let q(i) = -i**3 - 6*i**2 + 4. Suppose 3*m - 26 = 4*g + 4*m, 3*g + 2*m + 22 = 0. Let b be q(g). Suppose -b*z + 5*z - 13 = 0. Does 4 divide z?
False
Let g(o) = -o**2 - 5*o - 6. Let r be g(-3). Suppose r*p + 3*t = -3*p + 39, 0 = -2*t - 4. Let q = 64 - p. Is 24 a factor of q?
False
Suppose 0*t + 53 = -p - 2*t, t = 5*p + 221. Let n = p - -69. Does 7 divide n?
False
Let z be (1 + (-78)/18)*-42. Suppose 5*j = z + 125. Is 53 a factor of j?
True
Let j = -8 - -11. Suppose -5*x = 5*u - 10, 0 = -j*u + x + 15 - 1. Suppose -a = 2*t - 5*a + 2, t + 5 = u*a. Is t a multiple of 3?
True
Let t(d) = 2*d**2 - 24*d + 27. Is 4 a factor of t(13)?
False
Suppose 9*w + 29600 = 14*w. Suppose 1160 = 4*a - w. Is 11 a factor of a/54 + 6/27?
True
Let l = -577 + 689. Does 28 divide l?
True
Suppose -3*q + 2*q + 6 = 0. Let h(a) = a**2 - 2*a + 5. Let j be h(q). Let u = -5 + j. Does 14 divide u?
False
Is 32 a factor of -2 - (7 - 10 - 3103)?
True
Let j(z) = -6*z**3 - 6*z**2 + 2. Is j(-3) even?
True
Suppose -5*s = j + 34 + 286, 128 = -2*s - 5*j. Let t = 69 + s. Is t a multiple of 5?
True
Let h(s) = s**3 - 2*s**2 + 7*s + 306. Does 17 divide h(0)?
True
Let c be (5 + 19)*((-98)/(-6) + -3). Let o = c + -160. Does 20 divide o?
True
Let f be ((-8)/(-6))/((-4)/(-6)). Let j = f + 20. Suppose 4*p = 6*p - j. Is p a multiple of 11?
True
Suppose -32 = 4*p + 12. Let r = p - -16. Suppose 0 = r*b + 2*g - 84, b - 3*g - 2*g = 33. Does 4 divide b?
False
Let f = 53 + -3. Suppose 0 = -3*k - 2 + f. Does 4 divide k?
True
Let c(n) = 10*n**2 + 5*n + 8. Let f be c(4). Suppose -2*g = -6*g + 3*m + f, -92 = -2*g + m. Does 7 divide g?
False
Suppose -146*g = -128*g - 4500. Is g a multiple of 52?
False
Let w = 12 + -7. Suppose 2*a = -2*z + 4, -2*a + w*z + 2 = -3*a. Suppose a*t = 5*t - 10. Does 5 divide t?
True
Let v = -124 - -397. Is v a multiple of 21?
True
Suppose 34 + 15 = 3*q + 2*l, 5 = l. Let h be 3 + (0 - (1 - -5)). Let f = q + h. Does 3 divide f?
False
Suppose 1208 = -4*s + 8*s. Let b = 424 - s. Let o = 179 - b. Is o a multiple of 19?
True
Let h = 59 - 56. Suppose -h*y + 23 = b, y - 103 = -5*b - 2*y. Is 10 a factor of b?
True
Suppose -66 = -27*s + 21*s. Does 6 divide s?
False
Let x(m) = -m**3 + 3*m**2 + 12*m - 2. Let p be x(5). Suppose -13*q = -p*q - 125. Is 2 a factor of q?
False
Let k(w) = 0*w**3 - w**3 - 11 - 10*w - 10*w**2 + w**2. Let m be k(-8). Let c = m + 12. Is 10 a factor of c?
False
Suppose -4659 = -5*n - 0*t + 2*t, -3*n + 2*t + 2797 = 0. Does 19 divide n?
True
Let s be (-1)/2 - (-4011)/6. Let o = -348 + s. Suppose -3*k - 2*y + 22 = -220, -4*k - 4*y = -o. Does 18 divide k?
False
Suppose 3*g = -0*h - 5*h + 12, -g + 4*h = -4. Suppose -t - g*m = -107, -3*t - 2*m + 345 = 2*m. Is t a multiple of 7?
True
Suppose 4*w - 255 = 81. Suppose w = -p - 3*p. Let o = 3 - p. Is 10 a factor of o?
False
Let h be (-14)/21*(-618)/4. Suppose 2*g - 477 = -4*x + g, x - h = 3*g. Is 22 a factor of x?
False
Suppose 4*t - 5*v - 222 = t, 5*v = 2*t - 148. Suppose d + t = 2*z - 58, z + 4*d - 48 = 0. Is z a multiple of 16?
True
Suppose g + 140 = -3*g. Let d = 44 + g. Is 9 a factor of d?
True
Suppose 0 = -4*n - r + 21, -n - 2*r - 18 = -5*n. Suppose i + 360 = n*t - 2*t, 3*i = -4*t + 493. Does 18 divide t?
False
Let t(y) = y + 36*y**3 + y**2 - 16*y**3 - 140*y**3 + 0*y**2. Does 15 divide t(-1)?
True
Is 35 a factor of 35/(-25) + 2 + (-51942)/(-55)?
True
Suppose 819 = 5*l + 2*x + x, 161 = l + 2*x. Suppose 153 = -4*d - 311. Let c = l + d. Is c a multiple of 9?
False
Let l(b) be the third derivative of -b**4/12 + 7*b**3/3 - 3*b**2. Let i be l(6). Suppose -49 = -5*j - 3*a, -j = -2*a + i - 4. Does 4 divide j?
True
Suppose -n + 4*b = -4, n = 2*b - b + 1. Suppose -3*h - h + 180 = n. Does 9 divide h?
True
Let x = 15 - -39. Suppose -x + 83 = d. Does 5 divide d?
False
Let a = 2907 - 2063. Is a a multiple of 63?
False
Let f be (-2)/11 + 996/33. Suppose 35*i - 350 = f*i. Suppose 2*m - 20 - i = 4*u, -5*u = 4*m - 141. Does 16 divide m?
False
Suppose 5*a = y + 53, 5*a - 47 = 2*y + 2*y. Is a a multiple of 3?
False
Suppose -2*z - 195 = -5*n + 2*z, -5*n - 2*z = -195. Suppose b - n = 4*u, -u = 4*b - 225 + 18. Is b a multiple of 18?
False
Let b = 689 - 575. Is 13 a factor of b?
False
Suppose 439 = 5*c + 144. Is c a multiple of 2?
False
Let p(k) = k**3 - 8*k**2 + 5*k + 14. Is 11 a factor of p(10)?
True
Let z be ((-5)/5)/(1/251). Let s = -358 - z. Let c = -31 - s. Is c a multiple of 14?
False
Let m(q) = 2*q**2 - 9*q + 7. Let c be m(3). Is (c/(-4))/((-1)/(-3))*32 a multiple of 8?
True
Suppose -5*m - 2*p = -2*m - 178, -132 = -2*m + 2*p. Is 62 a factor of m?
True
Let o(u) = u**2 + 11*u + 17. Let v be o(-5). Let d = -24 - v. Let q = d + 27. Is 11 a factor of q?
False
Let y = -12 - -6. Suppose -2*a + 5 = -5. Let w = a - y. Does 11 divide w?
True
Let v = -149 - -201. Does 26 divide v?
True
Let a(l) = 3*l**2 + 2*l - 1. Let v be a(1). Suppose 3*d + 23 = -5*o, 2*o + 2 = 2*d - v. Is 25 a factor of (15/6)/(o/(-40))?
True
Suppose 5*t = f + 29, 2*f + 17 = 4*t - 5. Suppose 10 = 4*g - t. Suppose -2*y = -7*y + 3*a + 55, -g = 2*y + 4*a. Is y a multiple of 4?
True
Is (-1)/(-9)*5924 + 34/(-153) a multiple of 4?
False
Let p(b) = -b - 8. Let o be p(-13). Suppose -o*v + 12 = -4*v. Does 9 divide v?
False
Suppose -2*y + 4*q + 486 = 0, 6 = -2*y + 5*q + 497. Does 8 divide y?
False
Suppose 4*c + 2*s + 154 = -s, 5*s = -2*c - 84. Let v = c - -101. Is 5 a factor of v?
False
Suppose 0 = -0*m + m. Suppose -3*o + 2*o + 153 = m. Does 17 divide o?
True
Suppose -2*q - 4520 = -4*z - 6*q, 5*z = 3*q + 5626. Is 22 a factor of z?
False
Suppose 5*d - 27 = -3*a + 2*a, -5*a + 3*d = 5. Suppose -5*g + a*h + 165 = 0, -10 + 0 = -2*h. Is 9 a factor of g?
False
Suppose 828 = 2*t - 3*q, 0*t - 2*q - 1252 = -3*t. Is t a multi