-1)?
True
Is (5 - 3)*15/((-15)/(-1508)) a multiple of 13?
True
Let b be (-12)/66 - (-48)/22. Suppose -b*t + 5*o + 265 = 0, 3*o = 3*t - 448 + 55. Suppose 3*w - 34 = j + 156, 2*w - 4*j - t = 0. Does 15 divide w?
False
Suppose a + 9*a = 170. Let x(r) = 5*r**2 - 2*r. Let q be x(-2). Let c = q - a. Does 7 divide c?
True
Let w be (-2)/(-1 - (-267)/261). Let m = -19 + -22. Let q = m - w. Is q a multiple of 20?
False
Let k be ((-4)/(-2) - -3) + 17963/(-11). Let p = -1040 - k. Is 25 a factor of p?
False
Let q(f) = -90*f**3 - f**2 - 50*f + 16. Is q(-7) a multiple of 153?
False
Suppose -4 = -2*w + 5*c, 5*c + 0*c + 8 = 4*w. Suppose 4*t - 3*v = 490, 5*t + w*v - 252 = 3*t. Suppose 2*y - 24 = t. Does 18 divide y?
False
Let u be ((-171)/6)/(12/(-8)). Let q = -65 - u. Let p = 153 - q. Does 15 divide p?
False
Let o be 4 + (-3 - (-5)/(-5)). Suppose q + 5*j + 20 = o, -2*j = -0*q + 5*q + 8. Does 30 divide 2 + q + 85 - (4 - 8)?
False
Suppose 2 = 4*b - 2. Suppose 5*u + 24 = 4*w, 51*w - u = 54*w - 18. Is (5 - w - 1)/(b/(-118)) a multiple of 18?
False
Let x = 9 + 19. Let n be -2 + (-2656)/(-14) + 8/x. Suppose 397 = 5*u + 5*q - n, -3 = -q. Is u a multiple of 12?
False
Let m(k) = -k**3 - 8*k**2 + 128*k + 29. Let b be m(-16). Let a(n) = n**2 - 8*n + 3. Let z be a(7). Does 4 divide z/((6/b)/(-3)) - 2?
True
Let m = 14596 + -5268. Is m a multiple of 176?
True
Let g = -424 + 446. Let h = g + 329. Is 13 a factor of h?
True
Let h be 2/(4/806) + -1. Let t(u) = -76*u - 2366. Let b be t(-33). Let a = h - b. Is a a multiple of 19?
False
Suppose 118*w = 108*w + 16430. Is 31 a factor of w?
True
Let s be 2/(-5) + 1562/55. Suppose -26*u = -s*u + 206. Suppose 0 = -2*o - 5*k + u, -2*o + 0*o + k + 133 = 0. Is 16 a factor of o?
True
Suppose -11*w = 219 + 1. Let k be (-26)/(-10) - ((-52)/w + -2). Suppose -k*m = -5*s - 125, -3*s = -0*m - 3*m + 192. Is m a multiple of 10?
False
Let h(u) = -2*u**2 - 2*u + 3. Let t be h(-3). Is (-20)/((-2)/44*(-7 - t)) a multiple of 66?
False
Let z be ((-26)/13)/(4*1/166). Let y = z - -86. Suppose h - 118 = -y*s, 2*h - 162 - 94 = 4*s. Is 32 a factor of h?
False
Let q = 15 - 4. Let a = -700 - -731. Suppose a = 3*i - q. Is 4 a factor of i?
False
Let c(b) = -b**3 - 13*b**2 + 6*b - 26. Let i(n) = n**3 + 3*n**2 + 10*n + 14. Let u be i(-3). Is 17 a factor of c(u)?
True
Suppose -7*i + 329 + 5656 = 0. Is ((-15)/(-3))/1 + 2 + i a multiple of 44?
False
Suppose -26*d + 4*d + 110 = 0. Suppose -8*w + d*w = -435. Is w a multiple of 29?
True
Let q be ((-12)/(-12))/(1/(-4)*2). Is 18*q/(42/(-49)) a multiple of 14?
True
Suppose 122*u = 131*u - 7164. Let n = 816 - u. Is 4 a factor of n?
True
Suppose 0 = -17*v + 13*v + 16. Suppose 583 + 452 = v*h - 3*t, 4*h = -4*t + 1056. Is 9 a factor of h?
True
Suppose 9*r + 12 = 15*r. Suppose -2*f - 1106 = -r*h, -5*h - 3*f + 1074 = -1683. Is 23 a factor of h?
True
Let l(m) = -m**3 - 2*m**2 - m - 16. Suppose -5*p - 5 = -4*p. Is 25 a factor of l(p)?
False
Let f(o) = 58*o**2 - 71*o - 652. Is 30 a factor of f(-12)?
False
Let h(d) = 52*d + 117. Let b be h(-6). Is 78 a factor of b/2*(-760)/60?
False
Let m = 42 + -93. Let q(t) = t**2 + 6*t - 2. Let s be q(-13). Let x = s - m. Is 15 a factor of x?
False
Suppose 6*r - 5*x - 15 = 3*r, -2*r + 6 = -2*x. Suppose r = 5*v - 5*p - 155, p - 83 = -3*v + 2*p. Is 6 a factor of v?
False
Let v(l) = 2*l**2 - 3*l + 4. Let i be v(2). Suppose -136 - 50 = -i*g. Suppose -27*r - 772 = -g*r. Is r a multiple of 16?
False
Let i(v) = -16*v**3 - v**2 + 6*v - 28. Is 23 a factor of i(-5)?
False
Let u be (-2)/(-10) + (11946/30)/(-11). Let c be (-152)/(-36) - (-4)/(-18). Let a = c - u. Is 3 a factor of a?
False
Let z be (-4047)/38*(-10)/3. Let c = 41 + z. Does 33 divide c?
True
Suppose 47*q = 4*q + 71456 + 10072. Is q a multiple of 8?
True
Suppose -8 = r - 14. Suppose -2*a = r + 4. Does 22 divide ((-4)/10 - 132/a) + -4?
True
Suppose r + 5 = 5. Suppose -2*x + 3*f + 3 = r, 0*f + 3*f + 3 = -3*x. Does 12 divide (30 + x)*(-28)/(-35)?
True
Suppose 4*n - 4*x - 72 = 0, x + 0*x = -3*n + 38. Suppose 6*q - 4*w = 3*q + n, 2*w = 3*q - 22. Is 18 a factor of (16/q)/((-14)/(-945))?
True
Let k(l) = -2688*l + 6. Let g be k(-2). Suppose 0 = -472*a + 478*a - g. Does 39 divide a?
True
Let q = 37 + 353. Let b be (q + -4)*(-2 + 3). Suppose -5*r + 759 = -b. Is 24 a factor of r?
False
Suppose -16*r + 480371 = 78338 - 37647. Is r a multiple of 12?
True
Let z be ((-40)/30)/(56/(-27) - -2). Suppose 10*o - z*o = -640. Is 35 a factor of o?
False
Suppose 33 = 6*c - 3. Let i be (-120)/(-66) - c/(-33). Let k(d) = 13*d. Does 26 divide k(i)?
True
Suppose 0 = -3*j - 4*j + 4900. Suppose 13*z + z + j = 0. Let a = 67 + z. Is a a multiple of 2?
False
Let k = -105 + 114. Suppose -2*g + 12 = -0*g. Does 30 divide (-12)/k + 866/g?
False
Let h(p) = 30*p**3 - 25*p - 22 - 11*p**3 - 12*p**2 - 10*p**3 - 8*p**3. Is h(14) a multiple of 14?
False
Suppose 0 = -15*i + 35306 + 6274. Is 66 a factor of i?
True
Suppose 5*s - 69 = 36. Suppose -16*t + s*t = 2340. Is t a multiple of 26?
True
Suppose 14*x = 3586 + 45974. Does 37 divide x?
False
Suppose 130*l = 73*l + 683943. Is 13 a factor of l?
True
Let s be 138/((-15)/5 + 4 + 1). Suppose -5*c - j = -79 - s, -40 = -c + 5*j. Is c a multiple of 6?
True
Suppose 101 = -s + 2836. Suppose -12*p + 2881 = -s. Is p a multiple of 39?
True
Let l(n) = 3*n - 37. Let z be l(13). Suppose 4*p = z*r - 408, 2*p - 3*p - 837 = -4*r. Is 21 a factor of r?
True
Let q be (-4)/5 + (-3056)/(-20). Is ((-54)/(-72))/(2/q) a multiple of 19?
True
Suppose -1320 = -10*a + 4*a. Suppose 3*g = -2*j + 275, -3*g - j + 54 + a = 0. Is 13 a factor of g?
True
Suppose 313093 = -5867*d + 5876*d + 26020. Is d a multiple of 167?
True
Suppose 30*y = 30*y + 13*y - 10556. Is y a multiple of 2?
True
Suppose 7522 = -14*g + 36992. Suppose -121*y + 116*y = -g. Is 41 a factor of y?
False
Suppose 13 = a - 5*s - 17, 4*a - 45 = 5*s. Is 8 a factor of a - (-176 + 35/7)?
True
Suppose 169*s = 159*s + 31000. Suppose -a - s = -4*a - 5*g, 0 = -3*a + g + 3106. Is 45 a factor of a?
True
Let g(r) = -8*r + 2. Let t be g(15). Let w = t + 44. Let n = 90 + w. Is n a multiple of 2?
True
Let x(l) = -l**3 + 7*l - 6. Let o be x(4). Let n(v) = -10*v + 121. Let r be n(14). Let a = r - o. Does 23 divide a?
True
Suppose -g = -3*z - z - 240, z = -3*g - 73. Let d = -62 + 150. Let x = d + z. Is x a multiple of 9?
True
Is 9 a factor of (1226/8 - -5)/(81/8856)?
False
Suppose 9*s = 7*s - 4*b + 156168, 0 = 2*s + 5*b - 156166. Is s a multiple of 11?
False
Is 25 a factor of 9758*(312/48 - (0 - -4))?
False
Let h(a) = -1. Let w(m) = m - 19. Let o(d) = -5*h(d) + w(d). Let r be o(18). Is (r + (-48)/10)*(-8 - 2) a multiple of 8?
True
Let k = -16 - -62. Let c = -29 + k. Does 3 divide (-3 + c)*1/((-14)/(-12))?
True
Suppose 0 = 29*g - 32*g - 18, -4*g - 369562 = -26*t. Is 74 a factor of t?
False
Let j(l) = 2*l + 6. Let y be j(0). Suppose -5*v = 3*c - 50 - 19, -y = -2*c. Suppose -v = -4*n, -149 = -5*o - n + 224. Is o a multiple of 13?
False
Let w(q) = -q**2 + 19*q + 12. Let y = 38 + -26. Let m be w(y). Is (m/5)/((-15)/(-200)) a multiple of 32?
True
Let l(q) = -7*q - 6. Let v(m) = -11*m - 9. Let w(g) = -8*l(g) + 5*v(g). Let b be w(1). Is 52/(5/(30/b)) a multiple of 26?
True
Suppose 2*m = -3*r + 37, -3*r = -m - 0*m + 5. Suppose -m*k + 1750 = -4*k. Is k a multiple of 11?
False
Let x(z) = -4*z - 5. Let r(m) = -6*m - 8. Let t(y) = -5*r(y) + 7*x(y). Let s = 21 + -15. Is t(s) a multiple of 2?
False
Let v(y) be the first derivative of y**4/2 + 16*y**3/3 + 6*y**2 + 4*y - 3. Suppose 67*t - 6 = 68*t. Is v(t) a multiple of 18?
False
Let h(r) = -21*r - 36. Let y(x) = -7*x - 12. Let u(l) = -3*h(l) + 8*y(l). Is u(19) a multiple of 18?
False
Suppose 3*b = -3*x + 14202, 5*b + 14186 = 36*x - 33*x. Is 61 a factor of x?
False
Suppose 341 = 2*r - 79. Suppose -16*x = -13*x - r. Does 10 divide x?
True
Let i(n) = 22*n - 162. Let o be i(8). Suppose o*u - 15098 = -3730. Does 58 divide u?
True
Suppose 0 = 2*n - 4*y - 66, -4*n - y + 0*y = -150. Suppose -36*h = -n*h + 45. Is h a multiple of 8?
False
Let p = 36 + -33. Let v = 13 + p. Is 42/(44/v + -2) a multiple of 14?
True
Let y = -53 - -45. Let c be (y/(-6))/(1/((-6)/4)). Is 2 a factor of (34 - 16)*(-1)/c?
False
Suppose -2*v = -0*v - 4. Suppose 15 = v*z - 169. Suppose -4*a = 4*q - 80, -a + 5*a - z = -q. Does 