ple of 35?
True
Let n(i) = -i + 14. Let c be n(9). Suppose 2*b + 2*z - 29 = 27, c*b - 5*z - 130 = 0. Does 6 divide b?
False
Suppose -19 + 4 = -5*z. Suppose -z*x = -4*g + 20, g + 0*g + 3*x = 5. Suppose 0 = h - g. Is 3 a factor of h?
False
Suppose -7*x = -14*x + 1120. Is x a multiple of 10?
True
Let y(s) = s**3 - 5*s**2 + 6*s - 8. Let c be y(4). Suppose 4*f - 2*f - 103 = -b, f + b - 53 = c. Is 8 a factor of f?
False
Let m(j) = -11*j + 3*j - 3 - 6*j**3 - 6*j**2 + 5*j**3. Let c = -14 + 9. Is m(c) a multiple of 6?
True
Let y = 1965 - 1147. Is 11 a factor of y?
False
Let m = 1314 + -724. Does 18 divide m?
False
Suppose 4*o + 36 = -0*o. Let g be 1 + -2 + 1 + o. Is 30/g*(-3 + -15) a multiple of 20?
True
Is 3/6*33*60 a multiple of 22?
True
Suppose 0 = 13*h + 21*h - 47124. Does 9 divide h?
True
Suppose -4*o + 1306 + 526 = 0. Does 12 divide o?
False
Let v be ((-10)/4)/(2/12). Let r = -12 - v. Suppose 0*i = -r*i + 117. Is i a multiple of 13?
True
Let c = -88 + 93. Suppose 2 = p - c*q + 4, -p = 3*q - 38. Is 3 a factor of p?
False
Let k = 7542 + -5302. Is 112 a factor of k?
True
Is 20 a factor of (-264 + 0)*(-6 - (-10 + 7))?
False
Let v(i) = -41*i**3 + i**2 - i + 1. Does 16 divide v(-2)?
False
Does 11 divide (9 + 532 + -2)*2?
True
Suppose 4*j + 26 = 114. Let g be 3/(-6)*j*-1. Suppose 2*v - 49 = -r, 42 = 2*v + 5*r - g. Does 9 divide v?
False
Suppose 4*x = 24 + 24. Let r(o) = -o**3 + 11*o**2 + 12*o - 3. Let q be r(x). Is 5 a factor of 8 - -6*q/6?
True
Suppose 0 = 2*f - 3*f + 16. Suppose 0 = i - f - 14. Is i a multiple of 30?
True
Let f = -88 - -184. Is 16 a factor of f?
True
Let k(u) = 4*u + 2. Let b(a) = -4*a**3 - 2*a**2 + a. Let c be b(1). Let q be k(c). Does 8 divide (-40)/(-6)*q/(-5)?
True
Suppose -i - 31 + 119 = 0. Let k = 193 - i. Suppose -4*f - 1 + k = 0. Is f a multiple of 13?
True
Let b(d) = 59*d**2 - 8*d - 25. Is 5 a factor of b(-3)?
True
Let f(s) = s + 16. Let x be f(-14). Suppose x*l - 70 = 7*l. Let n = -12 - l. Is n a multiple of 2?
True
Let o(n) = -n**2 - 5*n + 6. Let c be o(-6). Let m(h) = -3*h - 34. Let x be m(-23). Suppose c = -3*i - 12, -x = 5*z - 4*i - 106. Does 6 divide z?
False
Let y(v) = 3*v**2 - 13*v + 20. Let w be y(9). Suppose o - w + 16 = 0. Is 20 a factor of o?
False
Let v(b) = 4*b - 20. Let h be v(6). Suppose -5*z = -h*z - 5. Let a = z + 11. Is 4 a factor of a?
True
Suppose 0 = 4*c - 258 - 326. Suppose c = u + u. Suppose -3*x = 2*x - 4*g - 441, x - u = -3*g. Does 24 divide x?
False
Suppose 16*a = 8641 - 401. Is 16 a factor of a?
False
Let w(y) = -254*y**3 - y - 2. Is w(-1) a multiple of 23?
True
Let p(v) = 2*v**2 + 4*v - 4. Let s be p(-3). Does 11 divide 3 + 30 + s + -2?
True
Suppose 0*f = -5*f + 3*o + 3838, -2326 = -3*f - 4*o. Is 30 a factor of f?
False
Suppose 3*x + s + 6 = 40, 5*x = 3*s + 80. Let w(a) = a**3 - 13*a**2 + 5*a + 7. Is 36 a factor of w(x)?
True
Let x(a) = 48*a**2 + 25*a + 5. Is 3 a factor of x(4)?
True
Does 9 divide -347*((-18)/10 - 22/110)?
False
Let o(x) = 7*x**3 + 9*x**2 + 10*x + 4. Does 19 divide o(6)?
True
Suppose 0 = c - 5, 3*c - 267 = s - 3*s. Does 7 divide s?
True
Let c(g) = -5*g. Let k be -2*(2 + (-7)/2). Let n be c(k). Let o = 17 - n. Does 32 divide o?
True
Let g(n) = -18*n + 6. Let y = -124 - -119. Is g(y) a multiple of 15?
False
Let r = -207 - -335. Suppose 32 - r = -4*v. Does 6 divide v?
True
Let o be ((-4)/6)/((-12)/90). Let r be o/(-10) - 22/(-4). Suppose -84 + 359 = r*u. Is 17 a factor of u?
False
Let o(f) = -f**3 + 12*f**2 - 5*f. Is o(11) a multiple of 5?
False
Suppose 0 = 3*v + 2*v - 5. Let r(y) = -2 + 4*y**2 - v - 2*y + 4*y - y. Is r(-3) a multiple of 30?
True
Suppose 4*p = -11 - 65. Let a(t) = t**2 - 14*t + 9. Let l be a(12). Let d = l - p. Is 4 a factor of d?
True
Suppose 4265*k = 4271*k - 15300. Is 15 a factor of k?
True
Suppose 5*w + 44 = -151. Let g = w + 75. Is 12 a factor of g?
True
Suppose -2*b = -6*r + 4*r - 384, -2*b + 4*r = -374. Is 6 a factor of b?
False
Suppose 265 = 4*k - 375. Suppose 5*d = 3*u - 65, -2*u + 25 = -3*d - 3*u. Is 8 a factor of ((-4)/d)/(2/k)?
True
Let r = 119 - 693. Let z = r + 814. Does 30 divide z?
True
Let s = -6574 - -9921. Does 70 divide s?
False
Let t(i) = 5*i + 1. Let v be t(14). Let f = v + -29. Does 6 divide f?
True
Suppose -w = -4*s + 9, 3*s = -0*w - 4*w + 21. Does 17 divide 2*s/2 + 62?
False
Is 69 a factor of (300 - 1)*(-90 - -96)?
True
Is 22 a factor of 9314/10 + 38/(-95)?
False
Let i(u) = -5*u - 41. Let j be i(-10). Let v(g) be the second derivative of g**3/2 - 11*g**2/2 - g. Does 8 divide v(j)?
True
Let f(x) = -x. Let w = -13 + 3. Let t be f(w). Suppose -s + t = s. Does 3 divide s?
False
Does 20 divide 36/30*-5 + 126?
True
Is 72 a factor of (-30768)/(-72) - 1/3?
False
Let g be (-1)/2*-3001 - 4/8. Is ((-6)/(-5))/(24/g) a multiple of 15?
True
Suppose 215 = 3*g - f, -2*g = -4*g + 4*f + 150. Let j = g - 8. Is j a multiple of 21?
True
Let o(i) = i**3 + 3*i**2 - 7*i - 7. Let b be o(-4). Suppose 4*j = -2*n + b*n - 242, -5*j + 251 = 3*n. Is n a multiple of 28?
False
Let y(d) be the second derivative of d**4/6 + d**3/2 + d**2/2 - 2*d. Suppose -3*i = 4*q + 35, 2*i - 2 + 17 = -q. Is y(i) a multiple of 9?
True
Let u = 80 - 78. Is (82/6)/(u - 66/36) a multiple of 23?
False
Let k = -14 + 18. Let c be 2/(-8) - (-141)/k. Let s = c + -4. Does 9 divide s?
False
Suppose -809 = -t + 2*m - 3*m, 0 = 5*m. Is t a multiple of 86?
False
Let p(u) = u**3 + 2*u**2 + 3*u + 3. Let k be p(-2). Let q(t) = 2*t + 7. Let v be q(k). Does 7 divide (1 - 1) + 13/v?
False
Suppose -144 = -5*f - 604. Let u = 56 + f. Let v = u - -65. Is v a multiple of 14?
False
Let h be ((-5)/2)/(3/(-78)). Let x(n) = 4*n - 22. Let w be x(-4). Let r = w + h. Does 27 divide r?
True
Suppose -2*a = -3*d + 10, 4*d - 3*a - 12 = -a. Suppose -d*f + 69 = 9. Is f a multiple of 30?
True
Suppose -4*d + 5*a = -6434 + 389, d - 1506 = 3*a. Is d a multiple of 38?
False
Let j(k) = k - 6. Let i be j(11). Suppose -395 = -2*h - 3*d, -5*d - i = -0. Is 15 a factor of h?
False
Suppose 5*k + 3 = 63. Does 15 divide (-15)/(-1)*2/(k/18)?
True
Let s be -30*(-1)/((-4)/6). Let v = s - -53. Is 8 a factor of v?
True
Let q(f) = -3*f. Let b be q(-1). Let m = 0 + b. Suppose -a + 5*s - 17 = -0*a, -5*a + 3 = -m*s. Is a a multiple of 2?
False
Let g(n) = n**2 - 6*n + 4. Is g(21) a multiple of 5?
False
Suppose 2*l + 23 = 5*y, 4*y - 24 - 1 = -5*l. Suppose 0*n + 4*n - 2*z - 36 = 0, -4*n + 64 = y*z. Is 2 a factor of n?
False
Let n = 59 - -241. Does 15 divide n?
True
Let s(y) = -12*y - y**3 + 8*y**2 - 16*y**2 + 0 + 4. Let i be s(-6). Suppose i*v + 4*r - 142 = -v, -v + 32 = -r. Does 15 divide v?
True
Suppose v - p - 1205 = 0, -2*v = -p - 656 - 1749. Does 60 divide v?
True
Is 18689/33 - (-4)/(-12) a multiple of 60?
False
Let a(i) = -3*i - 5. Let s be a(-6). Let u be (10 - s)*(1 + -2). Suppose r = u + 2. Does 5 divide r?
True
Is 832 - (-3 + (-6 - -2)) a multiple of 7?
False
Suppose 5*f - c + 50 = 123, 85 = 5*f + 5*c. Suppose -6*v - 57 - f = 0. Does 8 divide ((-2)/(-3))/(v/(-252))?
False
Suppose 2*d = 3*d + 21. Let w be (-258)/4*(-14)/d. Is 17 a factor of w/((-3)/3) - -1?
False
Is 28 a factor of 14/6 - (-1493)/3?
False
Let r(x) = x**3 + 5*x**2 + 3*x - 3. Let n be r(-4). Suppose l - 9 = -4*b, l + b + 2 + n = 0. Is 8 a factor of (-728)/(-49) - 1/l?
False
Let f(y) be the second derivative of -2*y**2 - 1/3*y**3 + 0 + 2*y. Does 4 divide f(-7)?
False
Let x(z) = 2*z**3 - 7*z**2 + 6*z - 2. Let q be (15/(-9))/(1/(-3)). Let k be x(q). Suppose -k = -2*p + 45. Is p a multiple of 13?
False
Suppose -12*r + 15*r - 1056 = 0. Is r a multiple of 32?
True
Suppose -5*w + 3*c = 221, -4*w - 48 - 116 = 4*c. Let k = 102 + w. Does 12 divide k?
False
Suppose -6*f = -f + 25, 0 = -h - 5*f - 49. Let k = h + 48. Suppose 3*c + k = 288. Is 13 a factor of c?
False
Let t be (-44)/66 + (-14)/(-3). Does 7 divide ((-75)/t)/((-9)/48) + -2?
True
Suppose 0 = -5*q + 2*z - 8, q + q = 2*z - 2. Is 13 a factor of 24 - (3 + -3 + q)?
True
Suppose -u + 3 = -0*u. Suppose -u*x + 18 = -3*s, -2*s - x = -4*x + 15. Let n(d) = -d**3. Does 9 divide n(s)?
True
Let u(t) = t**3 + 10*t**2 + 7*t - 6. Let q = -2 + -4. Does 24 divide u(q)?
True
Suppose 5*n - 40*n = -78400. Is n a multiple of 40?
True
Let o = -33 + 38. Suppose j + 2*g - 4 = -g, o = -5*g. Let v(d) = 8*d - 8. Is 24 a factor of v(j)?
True
Let i(n) = -n**2 