
False
Let j = -89 - -128. Suppose s - 11 = j. Is s a multiple of 10?
True
Let a(o) be the second derivative of 3*o**4/2 + o**3/3 - 5*o**2/2 - 8*o. Is 13 a factor of a(3)?
False
Let g be (-4)/10 + (-21)/35. Let t be (46 - (2 - 0)) + g. Suppose -12 - t = -c. Is 13 a factor of c?
False
Suppose -5*r = -4*d + 586, -16*d + 286 = -14*d + r. Is d a multiple of 18?
True
Let k be -2 + 1 + 1 + 41. Suppose -3*q - 17 + k = 0. Is (-9)/((18/q)/(-3)) a multiple of 11?
False
Suppose 5*p + 38 = 13, 118 = -2*q - 2*p. Let a be 4/(-26) - q/13. Suppose m + 2*r - a = 0, -2*r - 20 = -4*m + 2*m. Does 6 divide m?
False
Let f = -13 + 17. Suppose -3*t + 14 + f = 0. Is t a multiple of 5?
False
Is 31/3*561/11 a multiple of 17?
True
Suppose 3*y + 6 = 5*v - 0*y, 3*y + 6 = 2*v. Let s(b) = -3*b + 28. Is 15 a factor of s(v)?
False
Suppose -v + 0 = 3*o + 2, 5*o + 10 = -5*v. Suppose o*w + 61 = 3*n + 5*w, -2*n + 4*w + 48 = 0. Suppose -5*y + n = -173. Does 13 divide y?
True
Suppose -87129 = -46*q - 32665. Does 10 divide q?
False
Let i be (-4)/(-8) + 1/4*-14. Does 6 divide ((26/i)/((-8)/(-36)))/(-1)?
False
Suppose 0 = -2*q + 668 + 844. Suppose 3*w + q = 9*w. Let m = 206 - w. Is 40 a factor of m?
True
Let r = 18 + -13. Suppose 5*v - z + 180 = -r*z, -180 = 5*v + 3*z. Let k = v - -88. Is k a multiple of 16?
False
Suppose -15*r + 5127 = -4188. Does 56 divide r?
False
Is ((-12)/(-10))/(-3) + (-11008)/(-20) a multiple of 6?
False
Suppose -4*v = u - 760, v = -5*u - 621 + 4421. Is 11 a factor of u?
False
Let i be (3/(-6))/(5/(-20)). Does 28 divide (i - -12)/(3/24)?
True
Let u(w) = -23*w - 12*w + 9*w**2 + 5 + 39*w. Is u(-2) a multiple of 11?
True
Does 12 divide (-6)/(12/14) - -919?
True
Suppose -2*s - 4*h = -10, -s + 3*h + 1 + 4 = 0. Suppose -2 = -4*z + 3*z, -s*z = -w + 26. Is 6 a factor of w?
True
Suppose -3657 - 607 = -5*w - 2*c, 0 = -5*w + 2*c + 4276. Suppose -4*o = k + 246 - 946, -5*o + 4*k = -w. Is 29 a factor of o?
True
Let k(x) = 2*x**3 + 36*x**2 - 30*x + 10. Does 39 divide k(-18)?
False
Let m(g) be the first derivative of -2*g**2 - g + 2. Let l be m(-6). Let n = 37 - l. Is 14 a factor of n?
True
Let h = 2567 - -943. Is 45 a factor of h?
True
Let g(r) be the second derivative of 7*r**3/6 + r**2 + r. Let i be 42/18 + ((-3)/9)/1. Is 16 a factor of g(i)?
True
Suppose 3*y + t - 6 = -t, t = -3. Suppose 3*x - 2*m - m - 393 = 0, -2*x - y*m = -244. Does 29 divide x?
False
Let a be (-4)/16 + (2 - (-15)/12). Suppose -575 = -4*g - 4*v + 5*v, 3 = a*v. Is g a multiple of 45?
False
Suppose 60 = -2*m - m. Let p = 34 + m. Let g = 49 - p. Does 14 divide g?
False
Let a(s) = 90*s**2 + 26*s - 100. Does 67 divide a(3)?
False
Let v(l) = -l**2 + 9*l + 4. Let m be v(10). Let b be (4/4)/(-1) - m. Suppose -b*a - 45 = -5*h, 23 = 2*h - 4*a + 3. Is h a multiple of 3?
False
Let x = 18 + -20. Let a = x + 34. Is a a multiple of 32?
True
Suppose q + 1 - 4 = 0. Suppose 0 = -2*n - q*n + 190. Suppose 6 = 4*c - n. Is c a multiple of 4?
False
Let s = 87 - 43. Suppose -3*i - 92 = -m, m = 3*m - 10. Let u = i + s. Is u a multiple of 14?
False
Let k = -27 + 42. Suppose 0 = 3*o + 2*o - 25. Suppose -k = -o*a + 20. Does 7 divide a?
True
Suppose 0 = u - 0 + 1. Let a be 3 + (3/u - -130). Suppose m + 5*h + a = 4*m, -m - 4*h + 15 = 0. Does 12 divide m?
False
Is ((-56)/10 - -6)*310 a multiple of 31?
True
Let c(a) = a + 9. Let d be c(-4). Suppose 2*r = -d*i + 56, -4*r = -4*i + 10 + 18. Does 12 divide 2 + 0/3 + i?
True
Let j(g) = -g**3 - 4*g**2 + 17*g + 16. Is 2 a factor of j(-8)?
True
Suppose 2*t + 3*t = 4*v - 23, t + 3 = 0. Suppose -v*n - n = 0. Suppose n = 2*j + 27 - 99. Is 18 a factor of j?
True
Suppose -878 = -2*b - 4*w, -62*w + 2162 = 5*b - 63*w. Does 68 divide b?
False
Let g = -115 - -385. Is 15 a factor of g?
True
Let t = 184 + -427. Let m = 342 + t. Let a = -47 + m. Is 26 a factor of a?
True
Suppose -26 + 30 = s. Suppose 5*n + 3*f = 100, f + s*f = -25. Is 12 a factor of n?
False
Let i be 245/5 - (4 - 6). Let j = i - 2. Is 9 a factor of j?
False
Let o(r) = -r**3 + 29*r**2 + 68*r - 45. Is o(31) a multiple of 3?
True
Let i(n) = 2*n**3 + 3*n**2 - 2*n. Let b be i(-2). Suppose b = 5*z - 4*q - 409, -2*z - 429 = -7*z - q. Is z a multiple of 34?
False
Suppose 8 - 44 = 6*m. Let y = 8 - m. Is 13 a factor of y?
False
Suppose 3*w - 3*t + 51 = 9, w + 3*t + 10 = 0. Let v be 1*2 - (-1 + 1). Let f = v - w. Does 15 divide f?
True
Does 61 divide (41/(-2))/((-3)/366)?
True
Let r(g) = -2*g**3 - 4*g**2 - g + 2. Let f be (0 - -2)/2*-2. Let b be r(f). Suppose 9*q - b*q - 60 = 0. Is 12 a factor of q?
True
Let a = 19 - 30. Let g = a + 13. Suppose -22 + 6 = -g*v. Is 2 a factor of v?
True
Does 10 divide (-8696)/(-18) + (-760)/684?
False
Suppose m + 4*z + 0*z = 4, 0 = -4*m - 4*z + 4. Suppose 2*l = -5*r + 58, 3*r + l - 34 = -m*l. Suppose s - r = 14. Does 12 divide s?
True
Let z be 2*(4 - (-286)/4). Let p = 213 - z. Is 9 a factor of p?
False
Let g(v) = 7*v**3 - 36*v**2 + 11*v. Is g(5) a multiple of 3?
True
Let i = -47 + 50. Suppose -2*j = i*j - 2*n - 85, 2*j - 23 = 3*n. Is j a multiple of 19?
True
Let n(c) = -c - 1 + 4 + 1 + 4. Let l be n(11). Does 19 divide 59 - (0 - 6/l)?
True
Is (25/(-10))/1*(-4352)/40 a multiple of 68?
True
Does 11 divide (3 - (-56)/(-40))/((-4)/(-550))?
True
Let u = 1975 + -1399. Is 18 a factor of u?
True
Let p(q) = -q**3 + 7*q**2 - 8*q + 4. Let v(k) = -4*k - 19. Suppose 3*b = -16 - 2. Let a be v(b). Does 5 divide p(a)?
False
Let t(d) = -9*d + 60. Let w be t(23). Let z = -17 - w. Is 10 a factor of z?
True
Let v = -452 - -251. Let i = -116 - v. Does 17 divide i?
True
Suppose 3*w = 4*w - 16. Suppose 0 = -w*n + 17*n + 8. Does 3 divide ((-6)/n)/(9/36)?
True
Let f = -31 - -51. Suppose f*j - 748 = 9*j. Is j a multiple of 34?
True
Suppose -r = -v + 121, -6*r - 598 = -5*v - 8*r. Does 60 divide v?
True
Let p(c) = 7*c**2 - 26*c - 315. Is p(-19) a multiple of 13?
False
Suppose -11*x + r = -9*x - 3636, -2*x + 4*r + 3648 = 0. Is 64 a factor of x?
False
Suppose z - 3 = -2*z. Let g be 1 - z - (-65)/1. Let a = 109 - g. Is 22 a factor of a?
True
Let f be (-10)/4*11/((-110)/(-4)). Let b(q) = 116*q**2 + 9*q + 10. Does 10 divide b(f)?
False
Let d(m) = -m**2 + 8*m + 3. Let u be d(8). Suppose -44 = -2*a - 2*p, u*a - 86 = -a - 3*p. Does 20 divide a?
True
Does 25 divide (-554)/8*12/(-3)?
False
Let h(w) = -w - 2. Let n be h(-3). Suppose -p - 3 = n, -5*q - 22 = -2*p. Let d(o) = -o**2 - 9*o - 6. Is d(q) a multiple of 6?
True
Let d = -365 - -511. Does 51 divide d?
False
Let o = 2 + 27. Let v = o + -8. Does 13 divide 124/6 - (-7)/v?
False
Does 6 divide (-655)/(-524)*(1 - -63)?
False
Does 13 divide 1329 + (-38)/14 + (-20)/70?
True
Let d(y) = y**2 + 21*y - 1. Is 3 a factor of d(-22)?
True
Let j(n) be the first derivative of n**4/4 + 11*n**3/3 + 9*n**2/2 + 7*n - 3. Is 6 a factor of j(-10)?
False
Let m(t) = -t**2 + 7*t - 7. Let f be m(5). Suppose l + f*l = 8. Suppose 0*b - 4*r = -b + 42, 0 = -2*b - l*r + 84. Is 21 a factor of b?
True
Suppose 3*h + 3*x - 1350 = 0, -5*h + 1474 = -5*x - 756. Does 17 divide h?
False
Let d = -1564 + 2330. Is 13 a factor of d?
False
Let n(q) = q + 23*q**2 + 18*q**2 - 2 - 18*q**2. Does 23 divide n(2)?
True
Suppose 3*y = 16 + 8. Suppose 0 = -13*u + y*u - 15. Is u/((-3)/(-4)) - -25 a multiple of 10?
False
Is 2 a factor of 2/(-6) + (-15 - (-2940)/45)?
True
Let x(q) = 4*q + 116. Let j be (13 - 13)*(-2)/(-4). Does 29 divide x(j)?
True
Let l(f) = 2*f**3 - 4*f**2 + f + 1. Let j be l(2). Suppose 61 + 320 = j*p. Is 17 a factor of p?
False
Let n be 1762/8 + 8/(-32). Let v = -131 + n. Is v a multiple of 14?
False
Let f(l) = -304*l**3 - l - 1. Is f(-1) a multiple of 38?
True
Let i(v) = 2*v**2 + 20*v + 23. Let d be i(-11). Suppose 3*r - 5*m - d = 0, 2*m + 4 - 19 = -r. Is 3 a factor of r?
True
Let m(c) = 13*c - 1. Let a be m(6). Let b = 99 - a. Does 18 divide b?
False
Suppose -3*i + 694 = 79. Suppose -5*d + 105 = -i. Does 13 divide d?
False
Suppose -v + 2 + 2 = 0. Is 4 a factor of 9 + (4 - (5 - v))?
True
Suppose 0 = 3*t + 3, 0 = -0*w - 2*w - 2*t + 384. Does 8 divide w?
False
Let a = 71 + -69. Does 15 divide a/(-8) + 3780/80?
False
Let p(h) = -h**3 + 10*h**2 - 8*h - 3. Let l be p(6). Suppose -r + 2*g + 8 = 0, 3 = -2*r - 5*g - 17. Is 14 a factor of l - (r + (-16)/(-4))?
False
Let w = 878 + -438. Is w a multiple of 17?
False
Suppose -6 = -2*s + 2*q, 6*