y + 16, -76 = -a*c - 4*y. Is c a multiple of 7?
False
Suppose 28*b - 798 = 22*b. Is 19 a factor of b?
True
Is 51/1 - (-1 + (-5 - -3)) a multiple of 6?
True
Let y(h) = 1 + 19*h - 17*h + h**2 - 11*h**3 + 2*h**3. Is 3 a factor of y(-1)?
True
Suppose -23 = p - 99. Is p a multiple of 19?
True
Let d = -5 + 9. Suppose d*v = 2*v + 16. Let s(r) = r**3 - 7*r**2 - 6*r + 11. Is s(v) a multiple of 9?
True
Let a(u) = -4*u + 9. Let g(p) = 8*p + 2. Let j(w) = -4*w - 1. Let m(n) = 3*g(n) + 7*j(n). Let s be m(2). Does 12 divide a(s)?
False
Suppose 7*o - 5*m = 3*o, 3*m + 17 = -o. Let t be -72 - (1 + -3 + 2). Does 5 divide t/o + (-4)/10?
False
Let o = -125 - -254. Does 26 divide o?
False
Let d = 107 + -72. Suppose -d = -2*y - 3*y. Is y a multiple of 7?
True
Suppose -4*c = 2*o - 308, 4*o + 284 - 42 = 3*c. Is c a multiple of 13?
True
Let a(t) = -t**3 - 4*t**2 + 6*t + 2. Let g be a(-5). Let p = 0 - g. Suppose -126 = -p*s - 0*s. Is s a multiple of 16?
False
Let u(v) = -v**3 + 8*v**2 + 10*v - 8. Let h be u(9). Suppose -y - h = -21. Does 7 divide y?
False
Let t(s) = -s**3 + 3*s - 2. Is t(-3) a multiple of 8?
True
Let b(o) = -2*o**3 - 3*o**2 - 2*o - 1. Let r be b(-2). Suppose 3*y + 56 = r*y. Is 7 a factor of y?
True
Suppose -2*x = -27 - 3. Is x a multiple of 15?
True
Suppose -4*k - u = -6 - 6, -5*k - 10 = -5*u. Is k even?
True
Suppose -3*x - 2*x = -2*m - 20, 2*x = -4*m + 8. Suppose -5*u = -2*z + 41, -2*z + z - x*u + 14 = 0. Does 18 divide z?
True
Let q(f) = f**3 - 8*f**2 + 7*f + 3. Let i(v) = -3*v - 2. Let h be i(-3). Let x be q(h). Does 11 divide (25/(-3))/(x/(-9))?
False
Suppose d + 6 = 2*d. Does 6 divide -7*(-1)/7*d?
True
Let b(w) = w**3 - w**2 + w - 112. Let o be b(0). Let c = -57 - o. Is c a multiple of 15?
False
Suppose -3*q = 2*q - 2*c - 424, -326 = -4*q - 5*c. Is q a multiple of 12?
True
Let v(p) = 5*p**2 + p. Let y be v(2). Suppose 0 = -3*f - y + 73. Is f a multiple of 5?
False
Suppose 0 = w + w + 8. Let n = w + 3. Let t(p) = -15*p**3 - p**2 - 2*p - 1. Is 15 a factor of t(n)?
True
Suppose 3*g + 66 = 2*s, -39 = -0*s - s + 3*g. Is s a multiple of 6?
False
Let n = 8 - -1. Does 16 divide 6*(96/n)/4?
True
Suppose -34*w + 1488 = -26*w. Is w a multiple of 31?
True
Let b = 24 - -12. Is -3 + 3 + b + 3 a multiple of 13?
True
Does 13 divide (-1 + 3 - -11)/1?
True
Let p(q) = -22*q + 1. Let r(u) = -23*u + 1. Let s(t) = -3*p(t) + 4*r(t). Is s(-1) a multiple of 9?
True
Let g = -5 - -2. Is (18/(-2))/(g/4) a multiple of 12?
True
Suppose 5*h + 43 = -2*j, 5*j - 3 = 2*j. Let y = 4 + -9. Let p = y - h. Is 3 a factor of p?
False
Let q(d) = 9*d - 1. Let r be q(4). Let f be r/21 - (-1)/3. Does 2 divide (-1)/f*(-2 - 2)?
True
Suppose 0 = 6*d - 4*d + 10. Does 31 divide (d + 6)/(2/124)?
True
Is ((-187)/(-22))/((-2)/(-140)) a multiple of 73?
False
Let l(y) = y**2 + 8*y - 1. Let a be l(-7). Let m(g) = -5*g + 3*g - 1 + g. Is m(a) even?
False
Let q(f) = 2*f**2 - 2*f + 1. Does 11 divide q(-5)?
False
Let o(c) = -2*c**2 - 2 - 6*c**2 + 2 + 3*c - 11 + c**3. Let y = -1 + 9. Is o(y) a multiple of 8?
False
Suppose j - 2*j + 2*p + 49 = 0, -3*j + 3*p = -141. Is j a multiple of 22?
False
Suppose -3*y = -5*y + 308. Suppose 5*x + 2*i - y = 0, -2*i + 92 = 3*x - i. Does 11 divide x?
False
Let q = 23 - -15. Does 5 divide (-3)/(-2) + q/4?
False
Let z = -78 + 240. Suppose -h + f = -6*h + z, 4*h + 4*f = 136. Is h a multiple of 12?
False
Let s be -2 - -10 - 2/1. Is 15 a factor of (12/(-7))/(s/(-105))?
True
Let z(v) = -2*v - 1. Let y be z(-1). Let r(m) = 50*m**3 + m - 1. Is 25 a factor of r(y)?
True
Suppose r - 162 = -2*k, -3*k - 2*k + 375 = -5*r. Is 24 a factor of k?
False
Let j = 31 - 16. Is j a multiple of 6?
False
Let w(o) = 2*o**2 + 3*o - 2. Let m be w(-3). Let k be ((-2)/(-4))/((-3)/(-18)). Suppose k*z + 48 = m*z. Is 8 a factor of z?
False
Let z = 110 - 74. Let w be 55*(z/(-15) - -3). Is w - (-1 + 4 + -2) a multiple of 18?
False
Let f(b) = -2*b - 5. Let q be f(-4). Does 6 divide 19 - (0 + 3/q)?
True
Is 23 a factor of 81 - -4*(-12)/16?
False
Is 6/(-1 - 57/(-48)) a multiple of 16?
True
Suppose -2*w = 3*w - 15. Let z(x) = 6*x - 2. Let s be z(w). Suppose l = b - 2*l - s, 3*l = 0. Is b a multiple of 8?
True
Let b = -154 + 168. Is b a multiple of 7?
True
Let u = -65 + 187. Suppose -5*v = -u + 37. Is 18 a factor of v - 2*(-1)/2?
True
Suppose -8 = -2*c + 28. Let z = 33 - c. Is 11 a factor of z?
False
Suppose 0 = 4*z + 4*x - 392, -4*x + 5 = -z + 108. Does 33 divide z?
True
Let w(i) = i**3 + 3*i + 39 - 3*i + i**2 + 4*i - 5*i. Let q = 0 + 0. Does 13 divide w(q)?
True
Let r = 223 - 80. Is 13 a factor of r?
True
Let y(v) = 2*v**2 + 11*v + 10. Let w be y(-8). Let u = w - 17. Is 15 a factor of u?
False
Is 7 a factor of ((-5)/3)/(-1*5/195)?
False
Let t(n) = n**3 + 9*n**2 + 6*n + 4. Is t(-8) a multiple of 7?
False
Suppose -3*m - 3*s - s = 9, 3*m - 3*s = 12. Let f(g) = 24*g**2 + g. Does 10 divide f(m)?
False
Suppose 0 = -2*o - 15 - 5. Let s = 33 + o. Is 22 a factor of s?
False
Let d(o) = 18*o**2 + 2*o - 1. Let a be (0 + 1)/((-2)/(-2)). Is 5 a factor of d(a)?
False
Let k = -4 + 7. Does 2 divide (k/(-4))/((-15)/40)?
True
Suppose 14 = h + h. Let c = 30 - h. Does 9 divide c?
False
Let v(y) = y + 20. Let d be v(0). Suppose 0 = 3*z - d - 127. Let i = -28 + z. Is i a multiple of 7?
True
Let r(z) = 12*z - 3. Let b be r(2). Does 12 divide (-37)/(-3) + (-7)/b?
True
Let f(n) = 6*n**2 + n - 5. Suppose -15 = -h - 4*h. Is f(h) a multiple of 13?
True
Does 18 divide (-5)/(-15) + 5168/12?
False
Let u be 4*(-1 - -78) - -3. Is 14 a factor of u/7 + 15/(-35)?
False
Suppose 7 = v - 14. Suppose v + 13 = 2*t. Does 17 divide t?
True
Let q = 6 - -27. Suppose -6*j + q = -3*j. Does 11 divide j?
True
Let c be 145/(-10)*(-2 + 4). Let u = 51 + c. Is u a multiple of 6?
False
Let p(g) = 4*g - 3. Is 17 a factor of p(5)?
True
Let o = -92 - -302. Does 25 divide o?
False
Let x = 61 - 31. Does 7 divide x?
False
Suppose -3*f - 215 + 592 = r, 5*f + 3*r = 627. Is 5 a factor of f?
False
Let s(q) be the second derivative of q**4/12 + 7*q**2/2 + 2*q. Suppose -o = 4*o. Does 7 divide s(o)?
True
Let x = 31 + 62. Suppose 2*o - 5*l = x, 5*l - 134 = -4*o + 7. Is 14 a factor of o?
False
Let i = 247 + -151. Is i a multiple of 8?
True
Let h be (-7)/3 - 1/(-3). Let o(r) = 2*r**2 + 2*r - 1. Is o(h) a multiple of 3?
True
Let g(y) = -y**2 - 7*y - 7. Let c be g(-5). Suppose -z = -c*z + 50. Is 15 a factor of z?
False
Suppose 4*o = -8, -4*o - o - 34 = 4*d. Let k(m) = 35*m. Let u be k(6). Is (-4)/d + u/9 a multiple of 12?
True
Suppose -3 - 1 = -2*z. Suppose 0 = 2*q + 2*q + 2*m - 104, z*q - 28 = 5*m. Is q a multiple of 12?
True
Suppose -15*s + 48 = -11*s. Is 3 a factor of s?
True
Let f(q) = -q - 4. Let w = 3 + -7. Let b be f(w). Let p(n) = -n**3 - n**2 - n + 15. Does 8 divide p(b)?
False
Suppose 0 = -5*v + 11 - 66. Let k = v - -20. Is 9 a factor of k?
True
Let d(k) = k + 15. Is 2 a factor of d(-7)?
True
Let j = 71 - 50. Is (-14)/j*(0 + -36) a multiple of 7?
False
Let m(x) = x**3 + 14*x**2 + 10*x + 12. Does 17 divide m(-10)?
False
Suppose 0*y + 12 = -y. Does 6 divide y*(1 + -2)*1?
True
Let l(q) = -q**3 + 3*q**2 - 2. Let g be l(3). Let o(r) = -r**3 + 2*r**2 + 3*r + 3. Is o(g) a multiple of 13?
True
Suppose -1 - 7 = -i. Let s(f) = f + 9. Is 17 a factor of s(i)?
True
Let g(w) = -w**3 - 4*w**2 - 5*w + 1. Let d be g(-4). Let n = -15 + d. Is 2 a factor of n?
True
Let n(t) = -10*t**3 - 2*t**2 - 2. Let w be n(-2). Let a = -19 + w. Does 17 divide a?
True
Is 25 a factor of 2 + -1 + -1 + 50?
True
Let f be ((-8)/(-6))/(3/9). Let d be f/14 + (-80)/(-14). Suppose n + s + d - 30 = 0, -3*n - s + 70 = 0. Does 23 divide n?
True
Suppose 0 = 3*b + 72 - 249. Suppose l - b = -3*g, l + 3*l + 2*g - 196 = 0. Does 15 divide l?
False
Is (-4216)/51*3/(-2) a multiple of 18?
False
Does 21 divide (-462)/(-2) + (2 + 1 - 3)?
True
Let z = -12 - -74. Suppose -28 - z = -5*x. Does 9 divide x?
True
Let h(r) = 5*r**2 + r - 2. Let a be h(-2). Suppose -2*j = -3*j + a. Let u = j - 3. Is 10 a factor of u?
False
Suppose -m + 4*m = -2*d + 7, -5*d + 27 = -2*m. Suppose -q = -d*u + 36, -2*u - q + 18 = -5*q. Is 7 a factor of u?
True
Let z(g) = -g + 14. Let t be z(-7). Suppose -5*u = -136 + t. Is 8 a factor of u?
False
Let d be (88/(-20))/(1/(-25)). Suppose 3*m = -23 + d. Let n = m + -17. Is n a multiple of 12?
True
Is 11 a factor