iple of 8?
True
Suppose -y + 3*i + 603 = 0, -y - 4*y - 4*i + 3015 = 0. Suppose -y = 26*q - 29*q. Does 12 divide q?
False
Suppose 0 = 21*t - 43 + 1. Suppose 5*y + 8 = y, 1 = -k - 3*y. Suppose 2*c + 24 + 24 = t*l, 3*c = k*l - 126. Does 6 divide l?
False
Let b(o) = 2*o**2 + o - 1. Let i(s) = -5*s**2 - 2*s + 2. Let f(m) = 8*b(m) + 3*i(m). Is 9 a factor of f(-6)?
False
Let x = 2 - -10. Let q = x - 5. Suppose 2*t - q = 4*a + 15, 2*a - 91 = -5*t. Does 4 divide t?
False
Let t(b) = b**3 + 11*b**2 + 7*b - 10. Let o be t(-10). Suppose -o - 16 = -l. Is l a multiple of 20?
False
Let s(y) = 4*y**2 + 2*y - 1. Suppose -f + 2*h - 21 = -3*h, -2*h = -10. Is s(f) a multiple of 7?
False
Suppose o + 2*f = 4*f, -o - 6 = 4*f. Let c be o/6 + 4/12. Suppose c = -2*n + 2*u + 136, 5*u - 499 = -5*n - 209. Is n a multiple of 13?
False
Let w(p) = 32*p + 7. Let v be w(-2). Let r = v + 183. Does 24 divide r?
False
Let y(g) = 53*g**2 - 3*g. Does 4 divide y(-1)?
True
Let b = 19 - 12. Suppose -232 = -b*g + 9*g. Is 19 a factor of g/(-3) + 8/(-12)?
True
Let b = -107 + 164. Is 13 a factor of b?
False
Let f = -8 + 22. Let y = -20 + f. Let t = -2 - y. Is t a multiple of 2?
True
Does 71 divide (-50330)/(-525) + (-2)/(-15)?
False
Let l(w) = -w**3 + 6*w**2 - 4*w - 4. Let h be l(5). Let a be h*(2/1 + 40). Suppose 3*p = 3*m - a, 2*m + p = 4*m - 30. Is 16 a factor of m?
True
Suppose -5*r = d - 8, 0*r + 8 = -2*d + 2*r. Is 0/(-3) + d - -44 a multiple of 9?
False
Suppose -3*i - 3*r + 15 = -i, r - 5 = 2*i. Suppose -s + 30 = 3*k, i*s - s = -2*k - 5. Is 295/s - 2/(-6) a multiple of 7?
False
Let i(o) = 25*o**3 + 2*o**2 - o - 2. Let d be i(-1). Let k = d + 28. Does 4 divide k?
True
Let g = 11 + -5. Let v be 1/g*3*2. Is 4 a factor of (5 - -1) + 2 + v?
False
Suppose 0 = x - p + 147, -575 - 133 = 5*x + 4*p. Let t be 4/2 - (1 + -1). Is 25 a factor of t/4*(-26 - x)?
False
Suppose -4*o - 2*f - 3*f + 8 = 0, -5*o = -2*f - 43. Suppose 108 = o*q - 809. Is 20 a factor of q?
False
Suppose 4*l = -4 + 32. Does 16 divide (12/l - 10/(-35))*40?
True
Let i(b) = b**3 - 4*b + 6. Let o be i(3). Let u be (-164)/(-14) + 6/o. Does 12 divide 296/u - 4/6?
True
Suppose -9779 = -4*m - 5*w, -m = w + 2*w - 2443. Does 10 divide m?
False
Let f(v) = 1055*v**2 + 54*v - 111. Does 111 divide f(2)?
False
Let h(o) = -10*o + 69. Is 14 a factor of h(-5)?
False
Suppose 0 = -4*u + 220 + 40. Suppose 135 + u = 4*z. Is 10 a factor of z?
True
Let a(y) = -44*y**2 - 2*y - 1. Let m(i) = 43*i**2 + 2*i + 1. Let k(p) = 2*a(p) + 3*m(p). Suppose 10 = 5*d, 2*x + 11 = -3*x + 3*d. Is 15 a factor of k(x)?
False
Let b(r) = 7*r - 3. Let c = 15 + -11. Suppose v + 3 = 2*v, -c*v = -3*o. Is b(o) a multiple of 19?
False
Let c = -384 - -565. Is c a multiple of 43?
False
Let o = -100 + 301. Let a = o - 109. Is 16 a factor of a?
False
Let j be 3*(104/12 + 3). Is 6 a factor of 12/(-5)*j/(-7)?
True
Suppose 8*d = 4411 + 813. Does 27 divide d?
False
Let b = 195 + -95. Let k = b - -2. Suppose 0 = -5*n - 10, -4*y + 3*n + k = 0. Is 21 a factor of y?
False
Suppose -2*k + 30 + 40 = 0. Suppose -3*c = -k + 11. Let w(q) = 2*q**2 - 13*q + 10. Does 17 divide w(c)?
True
Suppose -1 = -j + 3. Let l = 2 + 0. Suppose -j*u - l + 42 = 0. Is u a multiple of 4?
False
Let o = 272 - 184. Let z be 4/(-16)*-4 + 2. Suppose 0 = 2*x + r - o, 0 = z*x - 2*r - 68 - 57. Is 19 a factor of x?
False
Suppose -12*l + 16*l - 698 = 3*u, -l - 4*u = -184. Does 14 divide l?
False
Suppose 2*l = g - 65 + 19, -4*g = 0. Suppose 6*t + 91 = -t. Let o = t - l. Is 5 a factor of o?
True
Let z(p) = -15*p**2 - 2*p - 1. Let b(j) = 31*j**2 + 5*j + 2. Let s(w) = -2*b(w) - 5*z(w). Suppose -2*d - 5 = -0*d + a, 5*a + 20 = -5*d. Is 7 a factor of s(d)?
True
Let z(r) = -r**3 + 3*r**2 + 4. Let x be z(3). Suppose 0 = -x*h - y + 29 + 16, 5*h - 60 = -2*y. Suppose 0 = 2*k - 4 - h. Does 4 divide k?
False
Let q(g) = 23*g**2 + 43*g - 196. Is 22 a factor of q(5)?
True
Let r(k) = -k**2 - 4*k + 23. Suppose -43 = 7*j - 1. Is 11 a factor of r(j)?
True
Suppose -10*p = -9*p - 35. Let d = 40 - p. Suppose 0 = -4*x + 275 + d. Does 14 divide x?
True
Let v(l) = 2*l + 6. Let m be v(3). Let i(c) = 19*c + 3. Let k be i(3). Suppose 8*g - m*g = -k. Is g a multiple of 15?
True
Suppose 78 = 5*m - 312. Is 26 a factor of m?
True
Let y = -15 + 1. Suppose -3*v = 4*m - 884, 3*v - 5*v - 4*m = -596. Is 15 a factor of y/2*v/(-28)?
False
Let n(z) = -z**3 + 10*z**2 - 3*z + 3. Is 2 a factor of n(7)?
False
Let c(a) = 20*a**3 - 6*a**2 + a + 1. Is 35 a factor of c(3)?
True
Suppose 52*u = 55*u - 291. Suppose 20 = -2*f + 4*f. Suppose -3*i + 5*o = -u, -5*o + f = -i + 49. Is i a multiple of 13?
False
Let q = -84 + 25. Suppose 53 = -2*o + 261. Let l = q + o. Is 15 a factor of l?
True
Suppose -4*y - 4*i = -3100, -3*y = 10*i - 8*i - 2324. Is y a multiple of 6?
True
Let m = -242 + 386. Does 9 divide m?
True
Is 17 a factor of (-28)/(-16)*4 + 503?
True
Let p(t) = t + 12. Let y be p(-4). Is y/28 - 1396/(-14) a multiple of 28?
False
Let s = 1130 + -605. Is 25 a factor of s?
True
Let w(z) be the first derivative of z**4/4 - 3*z**2/2 - 4*z + 22. Let m(k) = -k**3 - 6*k**2 + 3. Let g be m(-6). Is 6 a factor of w(g)?
False
Suppose 3244 = 10*a - 566. Is a a multiple of 67?
False
Let h be ((0 - -3) + 1)/(1/19). Suppose -78*z + h*z = -50. Does 12 divide z?
False
Suppose -5*n - 2*n + 1001 = 0. Let c = n - 75. Is 14 a factor of c?
False
Suppose 1464 = 4*r + 3*a, -14*r + 18*r - 2*a - 1484 = 0. Does 3 divide r?
True
Suppose -3*o = -5*o. Suppose 5*d - 372 = -4*m + 108, 4*d - 2*m - 384 = o. Is d a multiple of 24?
True
Let d(u) = 13*u - 34. Let c = 20 - 12. Is 11 a factor of d(c)?
False
Let x(o) = -248*o + 2. Let c be (-4 - -1) + 28/14. Let z be x(c). Is 11 a factor of 8/(-12) - z/(-6)?
False
Suppose -48*k = 31*k - 23542. Is k a multiple of 6?
False
Is -65 + 57 + (1528 - 0) a multiple of 20?
True
Let t be (-4)/28 - (-246)/(-21)*-3. Suppose 2*r - t = -3. Is r a multiple of 4?
True
Let a(k) = 9*k**2 - 8*k - 6. Suppose -n = -0*n - 6. Let s be a(n). Suppose s = -2*c + 7*c. Is c a multiple of 24?
False
Let r = -9 - -12. Let n(c) = -3*c - 5 + 5*c + 8*c**2 - 19*c**3 + 20*c**r - 4*c. Is 29 a factor of n(-6)?
False
Let a = -26 + 31. Suppose -l + d - a*d + 8 = 0, -2*d = 0. Does 3 divide l?
False
Let h = -84 + 89. Suppose -5*i - 600 = -3*w + 520, 4*w - 1500 = h*i. Does 49 divide w?
False
Let o be ((-32)/40)/(2/(-5)). Is 13 a factor of o + (-4 - -3) + 3 + 25?
False
Let y(s) be the second derivative of s**5/20 - s**4 + 8*s**3/3 - 7*s**2/2 - 4*s. Let g = -10 - -21. Is 8 a factor of y(g)?
True
Let c(k) = k**3 - k**2 - k + 9. Let h be c(3). Let i = -12 + h. Is i a multiple of 4?
True
Suppose z + 4*z - 15 = 5*i, z + 4*i = 13. Is 37 a factor of (364/20 - -4)*z?
True
Let c(o) = 13*o**3 + 3*o**2 + 4*o + 5. Let d be c(-2). Let b = 106 + d. Is b even?
False
Let g = -207 - -480. Is g a multiple of 16?
False
Suppose -2*b = -5*b - 42. Let u = b + 12. Let p = u + 23. Is p a multiple of 21?
True
Let t(q) = 21*q**3 + 11*q**2 - 17*q - 14. Let n(y) = -7*y**3 - 4*y**2 + 6*y + 5. Let f(m) = -11*n(m) - 4*t(m). Let z = 5 + -6. Does 2 divide f(z)?
True
Let n = -1 + 13. Does 4 divide -1 + 236/3 + (-8)/n?
False
Let v = -5 - -3. Let q be (-52)/(-6) + 11/33. Let k = q + v. Is k a multiple of 7?
True
Suppose -3*n - 2*n + 22 = -3*i, n - 5*i = 22. Let k be 290*(-1)/n*-1. Suppose k = 2*m + 41. Is m a multiple of 28?
False
Let v be 22/(-2 + 3 + 0). Let w = 16 - v. Let m(k) = k + 12. Does 3 divide m(w)?
True
Let k(p) = -4*p**2 - 2*p - 3. Let x be k(-2). Let s be x/(-4) - (-2)/8. Suppose 0 = -s*m + 44 + 24. Does 8 divide m?
False
Let t be (4/8)/(2/20). Suppose -t*p + 21 = -4. Is 4 a factor of (p - 1) + 24 + -4?
True
Let s be (6/7)/(7/49). Suppose 0 = 4*v - 3*x + s*x - 831, 5*x + 15 = 0. Suppose v = p + 4*p. Is 21 a factor of p?
True
Let u(h) = -6*h**3 - 7*h**2 + h - 3*h + 6 + 4*h**3. Does 16 divide u(-5)?
False
Let k(z) = -3*z + 9. Suppose 0 = 4*h - h - 4*p - 8, -3*p + 1 = -4*h. Is k(h) a multiple of 9?
False
Let m(y) be the first derivative of -y**4/4 + y**3/3 + 3*y**2/2 - 10. Let d(l) = l**2 + 5*l - 3. Let r be d(-5). Is 9 a factor of m(r)?
True
Suppose 3*x = 2*x + 31. Suppose -28*q - 162 = -x*q. Is q a multiple of 16?
False
Let b = 74 + -25. Let y = b + -31. Is y a multiple of 4?
False
Let v(i) = 13*i + 1. Let f be v(10). Suppose 0