se -w = -x*w + 3, -5*s - 35 = -5*w. Does 15 divide 65 - 1/s*-4?
False
Let t be 19 - (5 - 3 - 3). Suppose 0*v - 2640 = -t*v. Does 33 divide v?
True
Suppose -2*f + 170 = -9*w + 14*w, 190 = 5*w - 2*f. Does 26 divide w?
False
Let z be (24/(-16))/(3/(-8)). Suppose -z*b = l + 2*l, -5*b - 4*l = 0. Suppose a - 4*a + 150 = b. Is 15 a factor of a?
False
Suppose -1026 - 510 = -4*u. Is 32 a factor of u?
True
Let h(c) = -c**3 - 16*c**2 + 12*c - 5. Let g be h(10). Is 6 a factor of (-6)/4 + (g/10)/(-7)?
False
Let u(g) = 6*g**2 + g. Let o be u(-1). Suppose -308 = -o*n + n. Does 11 divide n?
True
Suppose 11*h = 15*h + 68. Let s = h + 21. Suppose -s*t = -6*t + 130. Is 17 a factor of t?
False
Suppose 7420 = 5*j - 2*x, j + 0*x - 1466 = 4*x. Does 76 divide j?
False
Let n(d) = 7*d - 7. Let s be n(3). Let l = 14 - s. Let q(p) = -p**2 + 61. Is 23 a factor of q(l)?
False
Let r(y) = -6*y**2. Let f be r(1). Let x be 1 - -3*(-4)/f. Suppose -13 = -x*o + 5*s + 51, 3*s + 100 = 4*o. Does 15 divide o?
False
Let l = -32 - -41. Suppose 10*u - l*u - 12 = 0. Is u a multiple of 12?
True
Suppose 0 = -5*n + n + 2520. Is n a multiple of 15?
True
Let f = -8 - 1. Let o be (-42)/4*12/f. Suppose v + 40 = 3*x + 6, 0 = 2*x - 5*v - o. Does 11 divide x?
False
Is 9/2*((-3288)/(-18) - -20) a multiple of 3?
True
Let x = -14 + 14. Suppose -4*j - 4*l + 76 = x, 3*l - 8*l = 3*j - 55. Is j a multiple of 3?
False
Suppose -5*c + 3*w - 240 = -3126, -1718 = -3*c - 5*w. Is 32 a factor of c?
True
Let x = 158 + 185. Is 14 a factor of x?
False
Let r(v) = -41*v - 10. Let k be r(-4). Suppose 0 = 3*a - 2*a + 3*t - 139, 0 = a - 2*t - k. Does 37 divide a?
True
Suppose -3*m + 4*m - 10 = 0. Suppose 0 = 3*a - a + 3*k + 2, -2*a = -3*k - m. Suppose 0*w - 60 = -a*w. Is w a multiple of 10?
True
Let k be -3 + 5 + 0 - -7. Let m(c) = 6*c - 20. Is m(k) a multiple of 17?
True
Let n be 7/(-35) - (-569)/(-5). Let k = -19 - n. Is k a multiple of 12?
False
Is 2 a factor of 40/(-50) + (-17)/(-10)*4?
True
Let n = -16 + 40. Let m = n + 64. Suppose -3*t + t = -4*g + 70, 5*g - 2*t - m = 0. Does 7 divide g?
False
Suppose 1182 - 54 = 4*b. Does 23 divide b?
False
Let i be 18/12 + 81/(-6). Let f(d) = d**3 + 12*d**2 - 6*d + 18. Is 18 a factor of f(i)?
True
Let i(x) = -9*x**3 - 2*x**2 + 10*x + 1. Does 38 divide i(-5)?
True
Let k(x) = x**3 + 17*x**2 - 20*x + 24. Let r be k(-19). Let l = r - -498. Does 10 divide l?
True
Let k(p) = p**3 + 26*p**2 + p - 139. Is k(-22) a multiple of 64?
False
Is 19 a factor of 14/(-175)*-1220*(1 + 4)?
False
Let h be 4/(-1 + (-27)/(-15)). Suppose 2*g - 38 = -2*o + o, -4*o + 152 = -h*g. Is o a multiple of 19?
True
Suppose 4*q + 336 = 2*n - 92, q = -3. Let k = n - 78. Is 10 a factor of k?
True
Let s be ((-945)/6)/(-3)*4/6. Suppose s = -3*k + 155. Does 40 divide k?
True
Suppose 3*d = -d + 20. Suppose -d*a + 22 = -53. Suppose 2*w + 0*w + 2*l = 78, 5*l + a = 0. Is 7 a factor of w?
True
Suppose -108*w + 111*w = 630. Does 14 divide w?
True
Does 10 divide (26684/70)/((-6)/(-30))?
False
Let o(i) = -i**3 - 3*i**2 + 2*i + 3. Let n be 6/15 - 17/5. Let y be o(n). Let q = y + 8. Does 5 divide q?
True
Let n(o) = 44*o + 18. Let q be 0 - 3 - 64/(-8). Is n(q) a multiple of 17?
True
Suppose -50 = -13*l + 3*l. Suppose c + l*h - h - 12 = 0, 116 = 3*c - 4*h. Does 32 divide c?
True
Suppose -18*n + 7650 = -13*n - 3*q, 4*q - 20 = 0. Does 7 divide n?
True
Let d(h) = -h**2 - 40*h - 29. Does 35 divide d(-12)?
False
Let c = 17 + -20. Let p(m) = 2*m**2 - m + 3. Is 17 a factor of p(c)?
False
Let m be (-2 + 2/7)*-7. Let a = m + -5. Suppose -a*l + 60 = -4*l. Is 10 a factor of l?
True
Let i(p) = -p**2 - 4*p - 2. Let k be i(-2). Let l(s) = 2*s + s**k + 6 - s + 7*s. Does 4 divide l(-8)?
False
Let w(d) = 112*d**2 + 2*d + 1. Let a be w(-1). Let l = 183 - a. Suppose 17 - l = -5*m. Is 11 a factor of m?
True
Suppose 5 = 4*r - 3. Suppose 5*w - 139 = 4*s + 128, 3*s - 116 = -r*w. Does 11 divide w?
True
Suppose 2*f = -0*b + b + 33, f - 84 = 3*b. Is b/(-5) + (-15)/(-25) even?
True
Let l(u) = 83*u - 70. Is l(19) a multiple of 9?
False
Suppose -14*f - 114 = -1234. Does 16 divide f?
True
Let h = 289 + -224. Is 9 a factor of h?
False
Let h(y) = -180*y**2 + y + 1. Let g be h(-1). Let q = -103 - g. Suppose -2*r - 2*f + 4*f + 134 = 0, -r + 3*f = -q. Does 21 divide r?
False
Let i be (-56)/(-14)*(-61)/4. Let n = 67 + i. Does 2 divide n?
True
Let w(a) = 3*a**2 - 6*a + 3. Let t be w(1). Suppose -5*x = 5*l - 8*l - 62, t = -4*x + 2*l + 50. Is 13 a factor of x?
True
Let j(p) = -7 - 40*p + 11*p - 22. Is j(-6) a multiple of 26?
False
Suppose 2*t = -3*h + 503, -7*t - 5*h + 1003 = -3*t. Does 4 divide t?
False
Let l(c) be the first derivative of -c**4/4 - 4*c**3/3 + 5*c**2/2 - 12*c + 4. Does 19 divide l(-6)?
False
Let x be ((-52)/(-8))/(2/4). Let n be (-5)/(-4)*(7 + x). Is (-3)/(-5) + 785/n a multiple of 13?
False
Suppose -i + 14*i = 806. Is i a multiple of 31?
True
Let g = -15 - -17. Suppose -z - g*i + 4 = 1, -z - 4*i = 7. Is z a multiple of 5?
False
Is 34 a factor of 7 - (-12 - -14)*-163?
False
Let x = -140 + 604. Is 3 a factor of 8/(-12) + (-1)/((-12)/x)?
False
Let i be 4/(-14) + (4710/35)/2. Suppose 0 = 3*o - i - 173. Is o a multiple of 16?
True
Suppose -6*w = -2*w - 1132. Let p = w - 134. Is p a multiple of 33?
False
Let r be (-584)/(-14) + 2/7. Suppose -r = -f + v, -3*f + 131 = -2*v + 4*v. Suppose 5*u = 2*m - 49, u = -0*m - 4*m + f. Is 6 a factor of m?
True
Suppose -4*k + 14004 = 3*o, -2*o + 4844 - 18868 = -4*k. Is k a multiple of 48?
True
Let m = 1254 + -874. Does 19 divide m?
True
Suppose -y + 8 = 11. Let n = y - -59. Does 14 divide n?
True
Let l be (110/(-15))/(4/(-6)). Let t(p) = -p**3 + 11*p**2 - 3*p - 2. Let z be t(l). Let u = 49 + z. Is u a multiple of 5?
False
Suppose 93 = -c + 2*c. Suppose -2*a + 3*a = c. Let t = a - 65. Is 7 a factor of t?
True
Let x be ((-394)/(-4))/(45/(-10) - -4). Let c = 440 + x. Is 23 a factor of c?
False
Suppose 22*t - 26*t = -12. Suppose 2*o + 5*i = 245, -o - 4*i = -t*o + 272. Is (-20)/o + (-1185)/(-13) a multiple of 18?
False
Let k = -1307 + 1921. Is 2 a factor of k?
True
Let g = -22 - -22. Suppose 2*v - 3 - 7 = g. Suppose v*n = 3*n + 40. Does 5 divide n?
True
Suppose 2*a - 11*a + 306 = 0. Suppose a - 243 = -11*s. Is 6 a factor of s?
False
Let u = -21 - -17. Is u/6 + ((-184)/(-6) - 4) a multiple of 26?
True
Let z = -3 - -5. Let g be -36*3/((-36)/8). Suppose -z*c - c = -g. Is 4 a factor of c?
True
Let z(q) be the first derivative of -q**3/3 - 12*q**2 - q - 30. Is 7 a factor of z(-22)?
False
Suppose -8*j = -0*j - 120. Does 4 divide j - (4 + -2 + (-6)/(-6))?
True
Let u(y) = -y**2 - 19*y + 12. Does 4 divide u(-15)?
True
Does 10 divide 83 - (14 - 4 - 9)?
False
Let a(c) = c**2 + 14*c + 3. Let m(r) = -r. Let v(n) = -a(n) - 6*m(n). Let q be v(-3). Suppose l + q = d - 3, -d + 2*l = -18. Is d a multiple of 3?
True
Let u be ((2 - 1) + 1)/(22/33). Is u/(-9) - 1160/(-15) a multiple of 11?
True
Suppose 18*h - 1050 = 13*h. Does 14 divide h?
True
Let x(w) = 2*w**2 - 8*w - 2. Let h be x(4). Is 3 a factor of -1 + 4 - (h - 1)?
True
Let a = -15 - -47. Does 11 divide a/3 + (-5)/(-15)?
True
Suppose 41*r = 39*r + 6106. Is r a multiple of 14?
False
Suppose -37*y + 34*y = 30. Let q(c) = -c**3 - 10*c**2 - 2*c - 7. Is q(y) a multiple of 4?
False
Let p(q) = -q**3 - 55*q**2 + 117*q + 15. Is 81 a factor of p(-58)?
True
Suppose r = -3*r - 12, -3*r + 56 = -5*v. Let x = -11 - v. Suppose -3*w - 132 = -z - x*z, 3*z + w - 124 = 0. Is 14 a factor of z?
True
Suppose 15 = -7*m + 120. Is m a multiple of 15?
True
Suppose 7*p + 532 = 6727. Is p a multiple of 59?
True
Let i(r) = r**2 + 12*r - 17. Let u be i(-13). Let w(z) be the second derivative of -5*z**3/6 + 5*z**2/2 - z. Is 7 a factor of w(u)?
False
Suppose -64 = -5*q - 4*j, 5*q - q - 84 = 5*j. Is (-8)/q*-2*19 a multiple of 9?
False
Let r(j) = -7*j + 151. Is r(19) a multiple of 6?
True
Let j = 416 - 143. Is j a multiple of 17?
False
Suppose 0 = -5*g - 181 + 171, 3*g - 4258 = -4*y. Is y a multiple of 46?
False
Let n be (-2)/(-13) + (-3208)/(-104). Does 4 divide n + 2/(1 - -1)?
True
Suppose -6*z + 2199 = -813. Does 45 divide z?
False
Suppose -3*u + 4*v + 154 = 0, u - 5*v + 0*v = 66. Suppose -5*t = 6 - u. Let d(c) = 14*c - 13. Does 33 divide d(t)?
True
Let k = 986 - 793. Is k a multiple of 27?
False
Let q(s) = 25*s**2 + 