44 = -2*f. Is f a multiple of 12?
True
Does 6 divide -1 + -6 + 6 - -481?
True
Let t(l) = l**2 + 2*l - 8. Let a be (-40)/(-50)*(-1 + 6). Let v be t(a). Suppose v = 4*q - 88. Does 10 divide q?
False
Let d = 2 + -19. Let o = d + 20. Let x(q) = 4*q**2 + 2*q - 4. Is x(o) a multiple of 13?
False
Suppose 3*c - 1548 = 3*t, 2576 = -3*c + 8*c - t. Is c a multiple of 49?
False
Let t be 4/(-3 + -13)*94*-2. Suppose 3*p = 3*s - 210, -3*p = s - t - 35. Does 8 divide s?
False
Let i(m) = -m**3 - 3*m**2 + 5*m + 4. Let r be i(-4). Suppose r = -2*q - 6 + 144. Is q a multiple of 23?
True
Let b be (3/6)/(1/8). Suppose -4*l - 3*y + 416 = 53, 4*y - b = 0. Is l a multiple of 35?
False
Suppose -3*u = -l - 419, -2*u + 2*l + 558 = 2*u. Does 14 divide u?
True
Suppose 0 = -s + 6*s - 10. Suppose -4*f = -2*h + 14, -s*f = 3*h - 17 + 4. Suppose 2*o - h*x + 9 = 0, 5*o + 5*x - 3*x - 50 = 0. Does 4 divide o?
True
Suppose -2*c = -20*c + 4644. Does 6 divide c?
True
Let b(g) = -247*g - 156. Does 9 divide b(-3)?
True
Let a = 546 + -261. Is a a multiple of 5?
True
Suppose 0 = -4*f - f + 3*r + 194, 3*f - 110 = 5*r. Suppose 6*i = 3*i. Suppose a - 5 = i, -5*y = 4*a + a - f. Is y a multiple of 3?
True
Let z(j) = -9*j + 16. Let i be z(8). Let l = -29 - i. Is l a multiple of 7?
False
Suppose v - 16 = -3*v. Suppose -l + 20 = 5*s, l + v*s = -2 + 19. Suppose q - 5*u - 82 = 0, 2*q + 3*q - 290 = -l*u. Does 13 divide q?
False
Let x(i) = 8*i**2 - 6*i + 8. Suppose -9*k + 10 + 26 = 0. Is x(k) a multiple of 19?
False
Does 58 divide (-7 - (-8 + 3))*-464?
True
Let w(o) = o**3 + 3*o**2 + 3*o + 7. Let a be w(-3). Let m = a - -6. Suppose 168 = 3*s + 3*f, -5*s + 274 = -f + m*f. Does 28 divide s?
False
Let n(x) = x**3 + 3*x**2 + 5. Let u be n(-4). Let p = 23 + u. Suppose -p = -o + 13. Is 8 a factor of o?
False
Let l(b) = 15*b**2 + b - 1. Let p = -19 - -11. Let y = p + 6. Is l(y) a multiple of 19?
True
Let f be 2/(-4) + (-209)/(-22). Is (f - 10)*-47*1 a multiple of 17?
False
Let s(x) = 12*x**2 - x + 2. Suppose -4*j + 3*j - 6 = 0. Let f be (j/(-4))/((-66)/88). Does 18 divide s(f)?
False
Let p be (45/6)/((-2)/(-4)). Is 18 a factor of 30/(-9)*(-234)/p + 2?
True
Suppose 0 = -2*f + f - 3*p + 117, 0 = -f + 3*p + 117. Let g = f - 61. Is g a multiple of 14?
True
Suppose 4 = 4*x, -6*l + 5*x = -l + 10. Let f(i) = -34*i + 2. Is f(l) a multiple of 6?
True
Let w be (-5)/(-10) + (-7)/(-2). Let q(u) = -1 - w + u**2 + 4 - 27*u**3. Does 9 divide q(-1)?
True
Let y(t) be the second derivative of 3*t**5/20 + t**3/6 - t**2/2 - 10*t + 4. Suppose 2*d = d + 2. Is y(d) a multiple of 5?
True
Let x be (200/2)/(0 - (-8)/(-16)). Does 20 divide x/(-1)*(21 + -20)?
True
Let j(g) = g**2 - 21*g + 40. Let h be j(19). Suppose -b + 105 = -l, -h*b = 2*b + 4*l - 396. Is b a multiple of 14?
False
Let o(i) = 5*i**2 + 10*i - 17. Is o(15) a multiple of 37?
True
Let q be 1146 - -2 - 72/(-18). Suppose 2*d + 2*d - q = 0. Is 12 a factor of d?
True
Suppose 2*s - 1552 = 5*d, -2*d = 2*d. Suppose -k + s = 3*i + i, -3*k + 205 = i. Suppose -13 = 5*u - i. Is u a multiple of 6?
True
Suppose 0 = l - 4*q - 604, 2*q - 592 = -l - 0*q. Is l a multiple of 21?
False
Suppose 0 = -5*o + 2*z - 93, 3*z - z + 26 = -2*o. Let f be 378/(-22) + 5 - (-4)/22. Let g = f - o. Is g a multiple of 5?
True
Let k(l) = l + 1. Let t be k(2). Suppose t*p + 75 = -2*p. Let q = 21 + p. Does 2 divide q?
True
Suppose 11834 = 5*d - 4*p, 0 = 4*d - 3*p + 815 - 10282. Is 130 a factor of d?
False
Let s = 1813 + -1693. Does 15 divide s?
True
Let v = -502 - -753. Does 6 divide v?
False
Suppose 2*m = -5*s + 5, -3*s - 2*m = 3 - 2. Suppose -4*g - 65 = -s*a, a = g - 0*g + 21. Is a a multiple of 2?
False
Let r(q) = 95*q**2 + 6*q - 16. Is r(2) a multiple of 9?
False
Let o(l) = 70*l - 110. Does 13 divide o(9)?
True
Let s(i) = 3*i**2 - 5*i - 32. Let m(v) = -4*v**2 + 5*v + 33. Let o(p) = -2*m(p) - 3*s(p). Does 5 divide o(8)?
False
Let y(n) = n**2 - 33*n - 37. Is y(-15) a multiple of 26?
False
Let o(t) = 108*t + 2. Let v be o(5). Suppose -4*u - v = -1298. Is 12 a factor of u?
False
Let r(k) = -k**2 - 9*k + 7. Let z be -4 + (-3)/(-3) - 4. Is r(z) even?
False
Let y(k) = -k**3 - 16*k**2 - 15*k + 37. Suppose -7*p = -8*p - 15. Does 8 divide y(p)?
False
Is (-4*2/4)/((-31)/38254) a multiple of 37?
False
Suppose 134*p = 136*p - 2990. Is p a multiple of 33?
False
Suppose 7*g - 4*g - 3*t = 6, -2*t + 4 = 0. Suppose -k + g*k = 675. Does 25 divide k?
True
Let l(j) = j**3 + 4*j**2 - 7*j - 3. Let f be 39/(-3)*(-3 - -4). Let m = 8 + f. Is 3 a factor of l(m)?
False
Let q(h) = 4*h + 31. Let r be q(16). Let k = 186 - r. Is 13 a factor of k?
True
Suppose 2*z + 10 = 0, 2*z - 42 = -2*f + 148. Does 10 divide f?
True
Is -1 - 31596/(-60) - 2/(-5) a multiple of 26?
False
Let a(f) = -715*f + 10. Does 29 divide a(-1)?
True
Suppose 3*n - 128 = -n. Let p = -27 + n. Is 7 a factor of (22/p)/((-2)/(-20))?
False
Let o(i) = 5*i - 2*i - 13 + 3. Let a be 280/36 + (-4)/(-18). Is 7 a factor of o(a)?
True
Let n(u) be the second derivative of u**3/3 + u**2/2 - 300*u. Suppose 4*o - 3*o - 13 = 0. Is 3 a factor of n(o)?
True
Suppose 14*s - 11*s = 564. Suppose s = 4*t + 3*x + x, -x + 147 = 3*t. Is t a multiple of 10?
True
Let y(a) = -a**2 - 13*a - 10. Suppose -3*v - 68 = -2*i, -3*v - v - 5*i = 83. Let u = v + 12. Does 20 divide y(u)?
True
Let b = 268 - 160. Suppose -4*j + 60 = -b. Does 7 divide j?
True
Let a be 5/((-15)/(-48)) + 0. Suppose -5*n = -3*k - 251 - a, -107 = -2*n + k. Is n a multiple of 21?
False
Suppose 0 = -3*d - 5*p + 4*p + 74, -4*d = 5*p - 117. Let s(z) = -z**2 + z + 2. Let u be s(2). Suppose u = -19*r + d*r - 416. Is 26 a factor of r?
True
Suppose -44082 = 78*y - 109*y. Is 17 a factor of y?
False
Let d(a) = -6*a**3 + 6*a**2 + 14*a + 45. Does 16 divide d(-4)?
False
Let n = -65 - -75. Suppose 0*p - n = -5*p, p = -4*z + 242. Is 23 a factor of z?
False
Let r = 629 + -588. Is 2 a factor of r?
False
Suppose 0 = -4*s + 3*t + 18197, 5*s - 16132 = -4*t + 6622. Is s a multiple of 16?
False
Let j(r) = -9*r - 6. Let u be j(-3). Let y = -9 - 14. Let x = u - y. Is 10 a factor of x?
False
Let d(j) = j**2 - 13*j + 33. Let f be d(10). Suppose -w + 150 = f*i + 2*w, -i = -w - 42. Does 6 divide i?
False
Let b = -50 - -99. Suppose 2*q - 15 = -b. Let l = q - -30. Does 3 divide l?
False
Let q be (1 - (1 + 175/3))*-3. Suppose 25 = -3*t + q. Does 7 divide t?
False
Suppose 45*v - 10 = 40*v, 2*v - 1213 = -3*u. Is 4 a factor of u?
False
Let f(x) = 3*x**3 + 5*x**2 - 2*x + 7. Let n(i) = 4*i**3 + 8*i**2 - 3*i + 10. Let h(z) = -7*f(z) + 5*n(z). Let y be h(3). Does 15 divide (-131)/(-3) + y/12?
True
Let h(r) = 0 - 2*r - 2*r**2 + 1 - 2 + 6*r**3. Let f be h(-1). Does 4 divide -1 + f*(-3 - -2)?
False
Let d(r) = -r**3 - r**2 + r - 1. Let v(h) = 18*h**3 + 3*h**2 - 2*h + 1. Let g(a) = -2*d(a) - v(a). Let x be g(-1). Is x/5 - (-4)/(-20) a multiple of 3?
True
Let p be (44/8 - 7)/(3/(-4)). Suppose -3*k - p*f = -76, -3 = 4*f + 1. Is k a multiple of 6?
False
Let o be 1*-51*(-6)/(3 - -3). Let t be -1 - 1 - (-12)/2. Suppose -l = 2*g - 9, g = 4*l + t*g - o. Does 4 divide l?
False
Let x(f) = -f**2 - 11*f - 1. Let c be x(-5). Suppose 9 = -2*w + 7. Let m = c + w. Is 14 a factor of m?
True
Let q = 131 - 68. Suppose 0 = -4*g - q + 263. Is g a multiple of 23?
False
Let u be 2/(-3 + (-1347)/(-447)). Suppose -4*c + u = -247. Is c a multiple of 15?
False
Let q(l) = -l**3 + 6*l**2 + 10*l - 16. Let s be q(7). Let z(y) = -5 - 5 + 2*y + s. Does 2 divide z(4)?
False
Suppose 5*y - 4*u = 966, 5*u - 3*u = 4*y - 768. Is 39 a factor of y?
False
Let o(x) = -x**3 - 5*x**2 + 10*x + 2. Let g be o(-7). Suppose 3*u = -4*m + 39, 0*m - 2*m = -2*u - g. Does 12 divide m?
True
Suppose -44*r = -39*r + 5. Let u(z) = -27*z**2 + 6. Let t(x) = 27*x**2 - 5. Let g(a) = 7*t(a) + 6*u(a). Is 16 a factor of g(r)?
False
Let x = 703 - 543. Does 40 divide x?
True
Let x(t) = -t**3 - 4*t**2 - 11*t - 13. Let r = -61 - -57. Is 31 a factor of x(r)?
True
Suppose -2*v - 2*p - 35 = -255, -4*v + 436 = 5*p. Does 7 divide v?
False
Let l(w) = -2*w**3 + 3*w**2 - w - 1. Let a(r) = 6*r**2 - 2 + 18*r**3 + r**2 - 22*r**3 - r**2 - 2*r. Let y(k) = 3*a(k) - 7*l(k). Does 7 divide y(2)?
True
Let u(v) = -5*v - 51. Let z(n) = -n - 10. Let j(p) = 2*u(p) - 11*z(p). Let o be j(-8). Suppose -4*q - 8 = o, a + 4*q = 8 - 4. Is a a multiple of 12?
True
Su