 y = 6 + -4. Suppose -4*p - v*t = -112, -y*p + 6*t = t - 44. Is p a multiple of 9?
True
Let i be (-20)/(-3)*(-60)/50. Let h = 108 + i. Is h a multiple of 25?
True
Let i(h) = -h**2 - 14*h + 6. Suppose 5*s = -3*q - 46, 25 = -5*q + 2*s - 0*s. Is 11 a factor of i(q)?
True
Let z = -12 + 21. Let s = 1 + z. Is s a multiple of 4?
False
Does 50 divide (-320)/(-12)*(4 + (51 - 1))?
False
Let i = -77 - -82. Does 6 divide 488/12*i/10*3?
False
Suppose 4*z = -3*r + 484, 311 = 2*r - 0*z + 5*z. Is r a multiple of 9?
False
Let m = -1302 - -2416. Is 70 a factor of m?
False
Let w be (-45)/(-18)*8/(-10). Let r(v) = 5*v**2 + 6*v + 6. Does 2 divide r(w)?
True
Let q = -16 - -24. Suppose -4*a + 3*d + 265 = q*d, -a + 45 = -3*d. Does 15 divide a?
True
Suppose 6*r = 9*r + 6. Let l(h) = -23*h - 11. Is 7 a factor of l(r)?
True
Let s = 2698 + -1011. Does 101 divide s?
False
Let b = 543 - 152. Is b a multiple of 17?
True
Let f = 162 - -162. Does 9 divide f?
True
Let q = -253 + 482. Let d = -66 + q. Is d a multiple of 37?
False
Suppose -2*x + 8 = 3*l, 2*x + 0*x = -l. Suppose -4*r = -l*z - z + 154, -3*z - 3*r = -87. Does 10 divide z?
True
Suppose -5*i + 2*i = 3*y, 0 = -y + 4*i. Suppose y = -7*g + 711 - 39. Is g a multiple of 10?
False
Suppose 3*x = 2*q + 5346, -5*x - 2*q + 11663 - 2753 = 0. Does 33 divide x?
True
Suppose -10 = -2*t - 3*t. Suppose 3*z - 2*p = 25, 6 = t*z - p - 3*p. Is 3 a factor of z?
False
Let q(g) = -g**2 + 14*g + 17. Let b be (-2)/15 - 227/(-15). Let c be q(b). Suppose -3*h + c*s = -34, -5*h + 0*h - 4*s + 20 = 0. Is h a multiple of 4?
True
Let o(u) = 322*u**3 - 2*u**2 + u. Let z be o(1). Suppose b + 2*b = -z. Let l = -57 - b. Is 13 a factor of l?
False
Let r(t) = 39*t. Let f be r(-1). Let v be 2*8/(-16)*-68. Let z = v + f. Does 8 divide z?
False
Let w(a) = 90*a**2 + 2*a - 2. Suppose -14 = -2*h - 3*n, 23 = 4*n + 7. Does 10 divide w(h)?
True
Let m = 257 - 3. Does 13 divide m?
False
Suppose -5*t - 19 = -6*t. Suppose t + 9 = v. Does 14 divide v?
True
Suppose 5*t - 314 = 5*m + 216, 0 = t - 3*m - 110. Is t a multiple of 13?
True
Suppose -382 = -3*b + 695. Is 5 a factor of b?
False
Let u(q) = 6*q**3 - 3*q**2 - 5*q + 12. Let z be u(4). Suppose 419 = 2*i + 3*i - r, r - z = -4*i. Does 14 divide 12 + i - 1*-3?
True
Let i(j) = -33*j + 26. Let x be (-3)/(-4 - (-212)/56). Let t be i(x). Does 7 divide 2/(-4) - t/8?
False
Let d = 43 - 40. Suppose o - 3*o = -3*x - 47, 53 = d*o - x. Is 16 a factor of o?
True
Let t be ((-169)/(-26))/(1/2). Let x = t + -2. Does 4 divide x?
False
Let u(k) = k**2 - 6*k + 7. Let g be u(5). Suppose g*n - 111 - 15 = 0. Is n a multiple of 26?
False
Suppose t = -5*k + 1224, 10*t - 2*k + 1224 = 11*t. Is 68 a factor of t?
True
Suppose -5 = -3*r - 2. Is -3 - -125*1/r a multiple of 24?
False
Suppose 3*h - 14 - 1 = 0. Suppose -h*q - 5 + 20 = 0. Suppose -4*c + 45 = -2*c + r, -3*r = -q*c + 54. Is 6 a factor of c?
False
Let l = -1131 + 1947. Does 24 divide l?
True
Let z = 2 - -3. Suppose 0 = -t + 2*t - z. Suppose -2*y + 2*d - 112 = -t*y, -2*y = d - 74. Is y a multiple of 10?
False
Suppose -x = 4*c - 484, 5*c - 4*x - 568 = 16. Does 4 divide c?
True
Let d(s) = 5*s - 21. Let c(w) = 3*w - 11. Let a(u) = 7*c(u) - 4*d(u). Let z be a(-8). Is 7 a factor of 16 + (-3)/(-1)*z?
False
Let m(k) = -8*k + k + k + 2. Let u be m(5). Is 12 a factor of (-386)/(-8) + 7/u?
True
Let a = 4578 - 2311. Is a a multiple of 73?
False
Suppose k + 176 - 1530 = -q, 0 = 5*k + 25. Does 13 divide q?
False
Suppose 2498*j = 2504*j - 7506. Is j a multiple of 6?
False
Suppose -3*u - 49 = 5*w, 0 = 3*u - 3*w + 4*w + 29. Is u*(-2 - (-5)/(-2)) a multiple of 12?
True
Suppose -j - 3*j + 4*p + 272 = 0, 80 = j + 5*p. Suppose 2*z + j = -4*s + 7*s, -s + 24 = -z. Is 9 a factor of s?
False
Let i(v) = 7*v + 12. Let r(d) = -d. Let x be 148/24 + (-2)/12. Let q(p) = x*r(p) + i(p). Is 6 a factor of q(6)?
True
Let b(k) = 4*k**2 - 28*k. Is 24 a factor of b(9)?
True
Let o(m) = m**3 + 4*m**2 - 4*m - 2. Let k be o(-4). Let y be (-335)/(-35) + (-8)/k. Let h = y + 10. Is h a multiple of 4?
False
Let f = 20 + -21. Is 4 a factor of (f - -4)/((-15)/(-20))?
True
Let v(z) = -13*z - 17. Let x be (10/3)/((-11)/((-99)/(-6))). Is v(x) a multiple of 24?
True
Suppose 4*r - 131 = 109. Is r a multiple of 15?
True
Let l = 659 + -450. Does 28 divide l?
False
Suppose -3*k + 951 = 3*c, 5*k = 15*c - 18*c + 1579. Is 5 a factor of k?
False
Let l be (-1 - 128)*(-8)/(-24) + 1. Is 16 a factor of ((-94)/3)/(14/l)?
False
Let q = 151 + -160. Let o(j) = j**2 + 3*j - 2*j**2 + 0*j**2 - 9 - 18*j. Does 9 divide o(q)?
True
Let h be (1 + 0 + 1)*(-50)/20. Let u(o) = -7*o - 8. Is u(h) a multiple of 27?
True
Let f(m) = -1 + 5 + 2*m**3 - 17*m**2 + 25*m**2 + 8*m - m**3. Is 13 a factor of f(-5)?
True
Let r(p) = 17*p - 50. Let h be r(15). Suppose -h = -9*v + 227. Does 12 divide v?
True
Is 11628/24 - (12/8 + -1) a multiple of 22?
True
Is 13 a factor of -4 + (-6645)/(-5) + 8 + -7?
True
Let q(a) = -a**3 + 4*a**2 + 3*a + 8. Let x be q(5). Is 20 a factor of ((-24)/20)/(9/2400*x)?
True
Let b(l) = -l. Let w(s) = -5 + 5 - 3*s + 6 + 5. Let q(v) = 5*b(v) - w(v). Is 7 a factor of q(-9)?
True
Let x(d) = d**2 - 12*d + 3*d - 1 + 4. Let a be x(9). Suppose -5*s + 127 = -s + a*n, 4*s - 139 = n. Is s a multiple of 17?
True
Let b = -4 - -13. Does 3 divide 22 + -3*(-3)/b?
False
Let v(c) = 4*c + 15. Let u(f) = 5*f + 13. Let d(g) = 2*u(g) - 3*v(g). Does 33 divide d(-26)?
True
Let g = -77 + 298. Let f = -106 + g. Is 22 a factor of f?
False
Suppose 20*g + 3 = 17*g, -5*u + 2353 = -3*g. Is 13 a factor of u?
False
Let h(c) = 7*c - 20. Let d(a) = -3*a + 10. Let x(m) = 13*d(m) + 6*h(m). Is x(5) a multiple of 5?
True
Let l be (-570)/(-9)*3/2. Suppose -l = -5*s - 15. Is 4 a factor of s?
True
Let i(z) = 69*z - 26. Let n(p) = -138*p + 50. Let f(o) = 11*i(o) + 6*n(o). Is 32 a factor of f(-2)?
False
Let r = 188 + -380. Let l = 353 + r. Let k = -112 + l. Does 16 divide k?
False
Suppose -4*k = k - 55. Let f = k + -15. Is f/((-52)/(-60) + -1) a multiple of 15?
True
Suppose 45 = 5*o - c, 10 = -3*o + 5*o - 2*c. Let r(i) = i**3 - 8*i**2 - 17*i - 1. Is r(o) a multiple of 13?
False
Suppose -12*x = 32*x - 8668. Does 11 divide x?
False
Let u = -1938 + 2232. Does 6 divide u?
True
Let u = -16 - -22. Let p be (8/(-6))/(u/27). Does 17 divide 2*(-9)/p + 31?
True
Let a(m) = 2*m**3 + m**2 - 2*m + 1. Let p be a(1). Suppose 0 = -3*o - p*o + 1670. Suppose -5*k = -5*t + 335, 0*t - 4*k = -5*t + o. Is t a multiple of 33?
True
Let s = 35 + -33. Suppose -w = s*w - 3*h - 327, 0 = h. Is 22 a factor of w?
False
Suppose 5*u + w = 123, -4*u - 5*w = -0*w - 111. Suppose y + 3*y - u = 0. Suppose 155 = y*x - x. Is 6 a factor of x?
False
Let l = -444 + 564. Is l a multiple of 24?
True
Let n be (-2)/(-6) - 102/9. Let q be (-2)/n + (-294)/(-77). Let m(y) = -y**3 + 6*y**2 - 2*y + 4. Is m(q) a multiple of 7?
True
Suppose 34*u = -12244 + 59402. Is u a multiple of 19?
True
Suppose 0 = -3*r + 2*r. Suppose -5*o + 59 + 261 = r. Does 12 divide o?
False
Suppose 4*l + m + 94 - 2645 = 0, -5*m - 2557 = -4*l. Is 22 a factor of l?
True
Let j(u) = u**3 + 9*u**2 - u - 4. Let w be j(-9). Does 22 divide 563/w + 34/85?
False
Is 5 a factor of (-650)/52*(-3)/((-15)/(-4))?
True
Let p = 291 + -95. Is 7 a factor of p?
True
Suppose 0*b = -4*b - 40. Let t(l) = -l**3 - 11*l**2 - 12*l - 4. Is t(b) a multiple of 16?
True
Let d be -3 + 5/((-5)/(-6)). Let h = -63 + d. Let r = h + 123. Is r a multiple of 12?
False
Let l(g) = g**2 + 4*g + 3. Let p be l(-3). Let o = p - 4. Is 4 a factor of -4*(0 - (-11)/o)?
False
Suppose -3*n - 4*o - 57 = -4*n, -6 = 3*o. Suppose 0 = -p - 2*l + 96, -p + l + n = -47. Suppose 5*d + p = 2*k, 0 = 3*k + 3*d + d - 144. Is k a multiple of 9?
False
Suppose 3*f - 154 = 5*j, -2*j = 5*f - 3*j - 242. Suppose s - f = 5*s. Does 5 divide (20/(-6))/(s/36)?
True
Let c(s) = -2*s**3 - 6*s**2 - 6*s - 8. Let a be c(-5). Suppose -4*z + a = -166. Is z a multiple of 12?
True
Let c be (2*(-9)/24)/(2/(-8)). Suppose -3*t - v + 27 = c*v, t - v = 9. Does 4 divide t?
False
Suppose 2*x + 15 = x. Let k = x - -41. Does 6 divide k?
False
Let c(n) = -58*n - 158. Is 45 a factor of c(-26)?
True
Let n = 514 - 293. Does 12 divide n?
False
Let d be ((-10)/1)/(-8 - -9). Let p be 2/((-1)/(-3 - -7)). Is 10 a factor of 385/14*p/d?
False
Let b(z) = 12*z**3 - 3*z**2 + 5*z