2*d - u. Is o a multiple of 36?
False
Let t = 1310 - 887. Is 47 a factor of t?
True
Let l(d) = d**2 + 15*d + 33. Let m be l(-11). Let r(u) be the first derivative of u**3/3 + 3*u**2 + 11*u - 1. Is 22 a factor of r(m)?
True
Suppose 2 - 8 = -2*h. Suppose -h*s = -4*s + 1. Let b(z) = 56*z**2. Is 14 a factor of b(s)?
True
Let c be ((-3)/6 + 1)*16. Let p(i) = -3*i + 8 - 7 + c*i. Does 12 divide p(5)?
False
Let h(g) be the second derivative of g**5/20 + 13*g**4/12 - 35*g**3/6 + 9*g**2 - 28*g. Is h(-15) a multiple of 13?
False
Suppose 0*j = 4*j - 288. Suppose -20*w - 246 = -1246. Let o = j - w. Is o a multiple of 11?
True
Suppose 3*s = 2*s + 33. Is 2 - (0 - -18)*(-121)/s a multiple of 17?
True
Let p(y) = -10 - 2*y - y**3 + 3*y**3 - 3*y**3 - 8*y**2 + y. Is p(-9) a multiple of 10?
True
Let t(u) = u**2 - 6*u + 4. Let v be t(6). Suppose -y + v*y = 12. Is y a multiple of 2?
True
Let p(v) = -v**2 - 6 + 10*v - 2 + v**3 + v**3 - 3*v**2. Is 5 a factor of p(4)?
False
Let m = -121 + 208. Does 10 divide m?
False
Suppose 2*g + 6 = 3*g. Suppose 4*f - g + 2 = 0. Does 8 divide (4/f)/(3/6)?
True
Let o(i) = -4*i + 350. Does 35 divide o(0)?
True
Let b be 12/(-3) + 3 + -1. Let o be 3 - (-95 + (b - 2)). Suppose 0*m - 3*m = -o. Does 15 divide m?
False
Suppose 30*s + 15 = 27*s. Let d(r) = r**2 + 5*r + 8. Does 4 divide d(s)?
True
Suppose 16*c - 190 = 15*c. Suppose 0 = -0*l - 3*l + 2*v + c, -5*l = -v - 312. Does 25 divide l?
False
Suppose 6*q = 2*q. Let w = q - 0. Suppose -4*i - 267 = -3*p, 5*i + w + 356 = 4*p. Is 23 a factor of p?
False
Does 5 divide 10/(6 + -4)*13?
True
Suppose 3*p + 5 = r, 3*p - r + 4*r = 15. Suppose x - 3 = -p. Let o(l) = 4*l**3 - 3*l**2 + l. Is 28 a factor of o(x)?
True
Let k be (4 + -12)/(2*1). Let o be (-1)/8*k*6. Suppose 5*v = -z + 221, o*v + 4*z - 6*z = 143. Is v a multiple of 15?
True
Suppose 0 = 5*u - 2*w - 70, 5*u - 4*u + 5*w = 14. Suppose -110 = -2*n - 3*y, 3*y - 182 = -3*n - u. Is n a multiple of 29?
True
Suppose -4*x - d = -1060, -5*d - 147 = 2*x - 677. Does 17 divide x?
False
Suppose -1055 = 2*y - 4*w - 3041, 3019 = 3*y + 4*w. Is y a multiple of 13?
True
Let f(w) be the third derivative of 5*w**4/12 - 5*w**3 - 25*w**2. Does 10 divide f(10)?
True
Suppose 5*g = g - 20. Let l(h) be the second derivative of h**5/20 + 7*h**4/12 + h**3/2 + 11*h**2/2 - 4*h. Is l(g) a multiple of 12?
False
Let v(x) = -x**3 + 8*x**2 - 8*x + 9. Let s be v(7). Suppose s*z + 110 = 4*z. Does 5 divide z?
True
Let t be 0*4/(-16)*1. Suppose 3*g + 3*z + 14 = 4*g, 3*g - 3*z - 12 = t. Does 16 divide (16/12)/(g/(-24))?
True
Let t = 31 + -45. Let l = t - -12. Is -1*(2 - l) + 14 a multiple of 5?
True
Is 68 a factor of -3 - ((-2)/(-6) - (-6645)/(-9))?
False
Let w = 3 + 0. Suppose -21 = n - w. Is 400/6*n/(-15) a multiple of 20?
True
Let i be 3/9 + (-70)/30. Does 2 divide (-1 + i + 5)/1?
True
Let q = -7 - -12. Suppose q*d - 7*d = -90. Suppose n - c + 20 = 2*n, -3*n = -2*c - d. Is n a multiple of 12?
False
Suppose 0 = 7*i - 10*i + 258. Suppose -n + 53 = -7. Let a = i - n. Is a a multiple of 13?
True
Is 9 a factor of (5 + -6)/((3/757)/(-3))?
False
Let x = 12 + -8. Suppose x*h = 20, -h + 6 = b - 3. Suppose b*v = 4*j + 68, -4*v + 70 = j + 2. Is 3 a factor of v?
False
Let k = 377 - -271. Is k a multiple of 27?
True
Let n = -26 + 30. Does 12 divide n/((-5)/(-20) + 0)?
False
Suppose -2*r - 3*r - 5*o = -290, 3*r = 2*o + 179. Is r a multiple of 2?
False
Suppose -3*u + 2*u - 1 = -5*p, 0 = 2*u + 4*p - 12. Suppose c - u*c + 108 = 0. Is 10 a factor of c?
False
Let q = -13 - -9. Let z(t) = -t**3 - 4*t**2 - 5*t - 3. Let j be z(q). Is 797/j - (-40)/340 a multiple of 11?
False
Let w be (2*-1)/((-2)/5). Suppose -4*q - 23 = w*x, -q + 4 = -2*x - 0*q. Does 14 divide -15*(0 + x) - 3?
True
Suppose 5*l - 115*g = -120*g + 11790, -4*l = 3*g - 9434. Is 40 a factor of l?
True
Suppose -3*x = n + 14, -2*n = 4*x - 2*x + 16. Let i(z) = z**3 + 4*z**2 + 2*z + 1. Let f be i(x). Suppose -f*c + 2*c + y = -18, -3*y - 46 = -5*c. Is c even?
True
Let l be (0 + 1)/(13 - 14). Is 16 a factor of l - 1/(3/(-372))?
False
Suppose -10 = -v + 3. Suppose -d + 5 = 4*y, -5*y - v = 5*d - d. Let m = 24 + d. Is m a multiple of 4?
False
Let x(s) = 32*s + 1. Let y be x(-1). Suppose -4*q - 49 = -3*r, -8*q + 3*q - 5 = 0. Let t = r - y. Is t a multiple of 23?
True
Suppose 2064 - 399 = 3*g. Is g a multiple of 15?
True
Let o(s) = s**2 + 6*s + 2. Let b be o(-6). Suppose -m = -0*m - b. Suppose m*w + 49 = 187. Is 23 a factor of w?
True
Let m be ((-21)/(-12))/7 + (-30)/(-8). Suppose -2*z = -3*k - 7*z + 482, 4*k = m*z + 600. Is k a multiple of 44?
False
Suppose -k = -1, -15*l - 2*k = -16*l - 15. Let o(q) = 3*q - 1. Let j be o(-1). Let y = j - l. Is 3 a factor of y?
True
Let q = 4312 + -1655. Does 9 divide q?
False
Let t(w) = -3*w**3 - 2*w + 2. Let l be t(1). Suppose -12 = 3*n + 6. Is (-28)/n*(12 + l) a multiple of 15?
False
Let h(v) = 34*v - 151. Is h(8) a multiple of 3?
False
Let k(j) = 6*j**2 - 8*j + 5. Let b be k(6). Let l = b - 85. Is l a multiple of 22?
True
Suppose 790 = 5*r - 3*x, -283 = -4*r - 2*x + 327. Is r a multiple of 8?
False
Let x = -32 + 40. Suppose t - 161 = -4*f + x, f = -4*t + 31. Is f a multiple of 10?
False
Suppose -5*u + 4*p = -3125, 3*p + 3130 = 4*u + u. Let v = u + -371. Is v a multiple of 13?
False
Let s(i) = 3*i**2 + 4*i + 9. Let t = -31 - -33. Suppose -2*x - 7 = j, t*j + 0 + 2 = -x. Is s(x) a multiple of 16?
False
Let i(x) = -3*x + 39. Let g be i(-7). Suppose 64 - 197 = -j. Let r = j - g. Is r a multiple of 32?
False
Suppose 2*a - 3*b + 75 = 0, 0*a + 3*a + 116 = b. Let r be 267/39 - 6/a. Let i = r + -4. Does 3 divide i?
True
Suppose 4*n + 18 = 5*v + 2, 40 = -4*n - v. Let h = 9 + n. Is 4 a factor of 3/1 + 11 + h?
False
Let n be 2*-2*3/(-4). Suppose -9 - n = -4*h. Suppose -3*a + 25 = -a + 3*x, 0 = h*a - 4*x - 63. Does 4 divide a?
False
Does 47 divide 726/(-1210)*(-1 - (-1458)/(-2))?
False
Suppose -3*i + 0*d = d - 1976, -3*i + 2*d = -1988. Is 124 a factor of i?
False
Let k(p) = 104*p - 8. Is 25 a factor of k(2)?
True
Let v be (1 - -1)/4*6. Suppose z + 2 = v. Let k(r) = 13*r - 3. Is 10 a factor of k(z)?
True
Let y(w) = w**2 - 6*w + 2. Let m be y(4). Let c = m - -22. Let o = -12 + c. Does 2 divide o?
True
Let v(t) = 11*t - 17. Let k be v(7). Is (4/2 - 3) + (k - -1) a multiple of 15?
True
Let a be (-1 - 1) + -2 + 6. Let v(t) = -3*t**3 - 2*t**2 - 1. Let o be v(a). Is (-2)/6 - 2189/o a multiple of 22?
True
Let r(f) = f - 1. Let w be r(6). Let b be (-9)/(45/(-1225)) + -1. Suppose -9*j = -w*j - b. Is 18 a factor of j?
False
Let f(b) be the first derivative of b**4/2 - b**3 - b**2 + 2*b + 11. Let i be f(3). Suppose i = 7*r - 6*r. Is 23 a factor of r?
True
Let f be (1 - (-1)/(-2))/(96/14976). Let u be 2/2*(5 - 0). Suppose 2*g + f = u*g. Is 8 a factor of g?
False
Let h(u) be the first derivative of -5*u**2/2 + 4*u + 10. Is h(-4) a multiple of 8?
True
Let x be ((-384)/(-120))/((-4)/190). Let m = -31 - x. Is 17 a factor of m?
False
Let c = -175 + 406. Is 21 a factor of c?
True
Suppose 5*d = -5*l + 235, 0 = -2*d + 2*l - 0*l + 86. Is 16 a factor of (-9)/d + (-261)/(-5)?
False
Let j(f) = -f + 2*f - 9 - 2*f. Let c be j(-6). Let v(s) = 7*s**2 + 4*s. Is v(c) a multiple of 14?
False
Suppose -40936 = -14*g - 29*g. Does 119 divide g?
True
Let w(t) = -t**3 - 48*t**2 + 112*t + 211. Is 7 a factor of w(-51)?
False
Let m(u) = u**3 - u**2 - 2*u - 1. Let s = -11 + 9. Let v be m(s). Let k = 12 + v. Is k a multiple of 3?
True
Let w(j) = -3*j - 9. Let i(s) = -s - 3. Let z(f) = -8*i(f) + 3*w(f). Let v be z(13). Let l = 39 + v. Is 12 a factor of l?
False
Suppose 111 = 5*f + 6. Let y(d) = d**3 + 6*d**2 - 8*d - 2. Let k be y(-7). Suppose q - 3*c = c + f, 30 = q + k*c. Does 25 divide q?
True
Let o(v) = v**3 - 5*v**2 - 2*v + 11. Suppose -f - 27 = -4*z, 4*f = 3*f - 3. Is o(z) a multiple of 23?
False
Is 83 a factor of (-94734)/(-133) - (-4)/(-14)?
False
Let f be (-7)/(-4) - 1/(-4). Let m(w) = w**2 - 21*w - 17. Let v be m(22). Suppose b + 3*b - 422 = -f*i, -193 = -2*b + v*i. Is b a multiple of 26?
True
Suppose -5*k + 7*k = 0. Let b(d) = 10*d**2 - 3 - d**3 + k + 7*d - 9*d. Is 15 a factor of b(9)?
True
Suppose 0 = 64*p - 58*p - 240. Is 13 a factor of p?
False
Let g = -2 + 2. Suppose -3*c + g = -9. Suppose 18 = c*t + 3*q, 2*t = 3*t + 3*q - 6. Is t even?
True
Suppose