 factor of v?
False
Let c(j) = -2 - j - 2 + 0. Let w be c(-6). Does 15 divide (w - 2) + 25 + 2?
False
Suppose 2 + 2 = -2*b. Let n be (-21784)/(-63) - b/9. Suppose -n = -4*h - 34. Does 13 divide h?
True
Let s = 40 + -40. Let b(q) = -q**2 - 10*q - 3. Let t be b(-7). Let k = t + s. Is k a multiple of 9?
True
Let s(t) = t**2 - 31*t + 1. Does 58 divide s(46)?
False
Suppose -4*d - 3 = -d, 0 = p + 4*d - 1. Suppose p*x = 3*x + 40. Suppose 0 = -0*u - u + x. Is u a multiple of 20?
True
Let p(y) = -41*y**2 - 3*y + 2. Let g be p(1). Is 3 a factor of (-189)/g*(0 - -2)?
True
Let j(n) = 957*n**3 - 3*n**2 + 3*n - 2. Is 14 a factor of j(1)?
False
Suppose -5*a = -640 - 160. Let w = a - 133. Is w a multiple of 4?
False
Suppose -6*o - 316 = -2*o. Let h = o + 167. Is h a multiple of 8?
True
Let m = 1013 - 964. Is 4 a factor of m?
False
Suppose 0 = 4*i + 23 + 13. Is ((-88)/1)/(i - -7) a multiple of 41?
False
Suppose -61*m + 104089 = 22227. Is m a multiple of 43?
False
Suppose 0 = -4*x + 5*q - 87, -2 = -3*q - 5. Let j(o) = o**3 - o**2 - 34. Let b be j(0). Let l = x - b. Is 4 a factor of l?
False
Let h(j) = 447*j**3 - 5*j**2 + 1. Is h(1) a multiple of 10?
False
Let k be (-1)/(-4) + 662/8. Suppose 9*j - k - 295 = 0. Is 14 a factor of j?
True
Let x(p) = -9*p**3 + 7*p**2 - 16*p + 25. Let d(c) = 5*c**3 - 3*c**2 + 8*c - 13. Let n(j) = -7*d(j) - 4*x(j). Does 2 divide n(6)?
False
Let a = -168 - -228. Is 6 a factor of a?
True
Let h(m) = -4*m**2 + 31 - 5*m + 34 - 67 - m**3. Does 9 divide h(-4)?
True
Let v(j) = -3*j + 3*j - 1 + 5*j. Suppose -5*z + f = -30, 0*z = -z + 4*f + 25. Does 4 divide v(z)?
True
Is 11 a factor of 4/(-7) + 192330/315?
False
Suppose -3*j + 7 = -11. Is j a multiple of 6?
True
Let f(h) = h**2 + 17*h + 18. Let c be f(-14). Let g = 60 + c. Does 12 divide g?
True
Let b = -537 + 1533. Is b a multiple of 36?
False
Let s = 40 + -38. Suppose -6*g = 2*t - s*g - 22, 0 = 3*t + 5*g - 37. Does 5 divide t?
False
Let n(p) = 0*p**2 - p**3 - 2*p**2 + 68 - 3*p + p**2. Is n(0) a multiple of 15?
False
Let y(w) = -w**3 - 9*w**2 + 3*w + 17. Is y(-12) a multiple of 13?
False
Is 29 a factor of (-2)/(-2)*((-24)/4 + 359)?
False
Let q = 13 - 11. Suppose -4*c + 2*o = 1 + 39, -5*o - 8 = q*c. Let m = c - -26. Is m a multiple of 10?
False
Let x(c) be the second derivative of -c**4/6 - c**3/2 - 4*c. Let a be x(-2). Is 4 a factor of (6/9)/(a/(-12))?
True
Suppose -84 = -8*j + 12*j. Is 5 a factor of (-6)/j + (0 - 897/(-21))?
False
Suppose 4*g + 224 = 2*c, -2*g - 326 + 6 = -3*c. Suppose 0*p - c = -4*p. Is p a multiple of 7?
False
Let l = -21 - -18. Let s(y) = -2*y - 6. Let a be s(l). Suppose 2*f - 5*d - 32 = a, -3*f - 2*d + 64 = f. Does 8 divide f?
True
Suppose -30 = -2*r - 3*r. Suppose -r*f - 145 = -577. Is 6 a factor of f?
True
Suppose -i = 5*x + 6, -4*i - 5*x + x - 24 = 0. Let n(j) = -j**3 - 9*j**2 - 11*j - 13. Let v be n(-3). Let k = i - v. Is 7 a factor of k?
True
Suppose 86 = 3*b - 34. Suppose 0*v - 2*v = -4. Suppose -v*r + b = -12. Is 13 a factor of r?
True
Suppose 3*m = 4*h + 29, -3*h - 3 + 0 = 4*m. Suppose -3*d + 12 = -4*i - 42, 54 = 3*d - m*i. Is 10 a factor of d?
False
Let d(v) = 17*v - 14. Let c = -19 + 26. Is d(c) a multiple of 35?
True
Let w(h) be the second derivative of 3*h**4/4 + 5*h**3/6 - 3*h**2/2 + 5*h. Let c be w(6). Suppose 5*q = -76 + c. Is q a multiple of 18?
False
Suppose 540 - 312 = 6*f. Does 7 divide f?
False
Suppose -y = 730 + 1076. Is 12 a factor of ((-1)/(-3))/((-14)/y)?
False
Suppose 5 = -u + 21. Let q = u + 297. Is 9 a factor of q?
False
Let c(x) = x**2 + 2*x + 2. Suppose -2*j = n - 2*n + 11, -4 = j. Let i be c(n). Suppose 0 = -r + 21 + i. Is 19 a factor of r?
True
Let n(y) = 36*y - 2. Let x be n(2). Let o = -4 + x. Does 5 divide o?
False
Suppose -5*i - 3*j - 9 = 0, -3*i = -5*i - 4*j - 12. Let l = i - -5. Suppose 2*z + 42 = 4*y, -y - l*z = -6*y + 60. Is y a multiple of 2?
False
Let p be 0/3*1/2. Let h be p - 1 - (-4 + 7). Does 3 divide (21/14)/((-2)/h)?
True
Let k(u) = 12*u + 18. Let l(t) = 12*t + 18. Let a(w) = 5*k(w) - 4*l(w). Does 15 divide a(7)?
False
Let h(y) = y**3 + y**2 - 5*y + 1. Does 21 divide h(5)?
True
Let m be (-4 - -7)/((-6)/(-64)). Suppose -5*f + 107 = m. Let z(v) = 5*v - 10. Is 19 a factor of z(f)?
False
Suppose 18*s + 1226 = 16904. Is s a multiple of 13?
True
Let z = -280 + 336. Is z a multiple of 12?
False
Suppose 4*r = -3*o + 8, 2*r + 3*r = -5. Suppose 0 = 3*g + o*l + 26, -6*g = -2*g - 2*l - 2. Is 9 a factor of (-45)/10*16/g?
True
Let m(k) = -k**3 + 3*k**2 + 12*k + 2. Let z be m(5). Suppose -13*d + 83 = -z*d. Does 21 divide d?
False
Is (-14443)/(-11) + (-4)/(-2) a multiple of 22?
False
Does 37 divide (444/15)/((-5)/(-25))?
True
Let o(b) = b + 14. Let u be o(-6). Let x(f) = 4*f + 8. Let h be x(u). Suppose -4 = -s + l + h, 4*s - 5*l - 181 = 0. Is 13 a factor of s?
True
Let o(s) = -s**3 + s**2 + s + 5. Let w be 2/(-10) + 1/5. Let j be o(w). Is 5 a factor of (j + 23)*2/4?
False
Suppose -9*d = -45 - 513. Is 8 a factor of d?
False
Let r = 201 - 428. Suppose -u - 130 = -4*w, 3*u = u - 2*w - 270. Let n = u - r. Is n a multiple of 31?
True
Suppose -l - 4*x + 3240 = 3*l, 2*l = 3*x + 1600. Is l a multiple of 62?
True
Let m = 86 - 83. Let z(x) = 2*x**3 - 3*x**2 + x - 4. Is z(m) a multiple of 5?
False
Suppose -2*q + 7*q = 25. Suppose -g - 4*g - 10 = -5*y, 4*y = q*g + 5. Does 7 divide g/((36/164)/3)?
False
Let t(w) = w**2 - 12*w + 3. Suppose -33 = -2*c - 5*k, -c - 3*k + 5*k = -3. Let h be t(c). Let j = 14 - h. Is 19 a factor of j?
True
Let o(q) = -85*q + 333. Is 4 a factor of o(-15)?
True
Let q = -157 + 236. Suppose -3*k = -k - t - 179, -3*t = k - q. Is k a multiple of 22?
True
Suppose -2*q = -s - 8, 0*q - 29 = -2*s - 5*q. Is 9 a factor of 0 - -2 - s - (2 - 29)?
True
Let z = -179 - -247. Does 34 divide z?
True
Suppose -4*c - c + 40 = 0. Let n(r) = -3 + 3 + 6 + 4*r - 3*r. Is n(c) a multiple of 14?
True
Let v(l) = -5*l**2 - 4. Suppose 6 = -3*b - 3. Let n be v(b). Let i = 81 + n. Does 18 divide i?
False
Suppose 872 + 538 = 4*h - 2*x, -4*h + 1398 = 2*x. Is h a multiple of 55?
False
Suppose -10*k + 4 = -8*k. Let o(v) = 14*v**3 + v**2 + 5*v - 5. Does 13 divide o(k)?
False
Let d = 77 - 130. Let h = d + 111. Suppose -2*u = 3*n - 186, -5*n - 2*u = -4*n - h. Is 32 a factor of n?
True
Let t = 1846 - 746. Does 20 divide t?
True
Let s(f) = 191*f**2 - 3*f + 4. Let u(p) = 2*p - 47. Let q be u(24). Does 32 divide s(q)?
True
Let y = 16 - 8. Suppose y*a - 5*a = 117. Is 13 a factor of a?
True
Let m = 1655 + -731. Is m a multiple of 22?
True
Suppose -2*j = j + 15, -4*h + j + 61 = 0. Let m = -4 + 13. Let f = h - m. Is f a multiple of 3?
False
Suppose 3 = w, -4*g + 2*g + 5*w - 31 = 0. Let h(v) = -6*v**2 + 7*v - 1. Let x(o) = 2*o**2 - 2*o. Let n(d) = g*x(d) - 3*h(d). Is 3 a factor of n(3)?
True
Suppose 0 = 6*o - 590 - 712. Does 31 divide o?
True
Suppose -540 = 2*d + 3*p - 5518, 0 = -d + p + 2479. Is 145 a factor of d?
False
Suppose -2*m - 2*m = 2*f - 14, 3*f + 4*m = 19. Let u(x) = -x**2 + 7*x - 5. Let b be u(f). Suppose b*a - 5 = 0, -2*l - 3*a + 49 = -2*a. Does 12 divide l?
True
Let c(f) = 9*f**2 - 7*f - 2. Let n = 46 - 48. Does 16 divide c(n)?
True
Let q(u) = -98*u + 253. Does 22 divide q(-6)?
False
Let p = 5 + -20. Let c = 120 + p. Does 21 divide c?
True
Let g(a) = 8*a - 27. Does 3 divide g(13)?
False
Suppose -2*t - 2 = 0, 54*o + 4*t + 922 = 56*o. Does 17 divide o?
True
Let b(v) = -2*v**2 - 51*v + 11. Does 7 divide b(-17)?
False
Let x(i) = -i**3 - 3*i**2 - 10*i - 2. Let o(s) = -3*s**3 - 5*s**2 - 19*s - 3. Let u(t) = 2*o(t) - 5*x(t). Is 17 a factor of u(6)?
False
Suppose 2*x - 5*d + 2*d - 75 = 0, 0 = 4*x - 3*d - 135. Is 7 a factor of x?
False
Let t be 3/(-1) - (-139 - -5). Suppose 0 = 3*h - 2*v + t, -5*v - 6 = h + 49. Let o = h + 76. Is 8 a factor of o?
False
Suppose -3*u = 5*x + u + 8, 2*u = -4. Suppose d - 30 = -x. Let m = d - 7. Does 23 divide m?
True
Suppose -5*z = -26 - 4. Let p(x) = 8*x**2 + 0 + 2*x**3 + z*x - 2*x**2 - 7 - 3*x**3. Does 11 divide p(6)?
False
Let c be 0/(2 - -3) - 36/1. Let a = c + 71. Does 7 divide a?
True
Suppose -5*i = -i - 20. Suppose 0 = -z - 4*b + 4, 3*z - i*b - 57 = -2*b. Is 8 a factor of z?
True
Suppose -b + 5*w - 108 = -4*b, -2*b = -2*w - 88. Suppose -r - q = -8, 3*r - 3*q - 7 - b = 0. Is r a multiple of 3?
True
Let z(n) = n**2 - 3*n - 1. Let 