 -2 - -5. Suppose -u*z = 5*p - 9, 4*p + 9 + 0 = 3*z. Does 8 divide b(z)?
True
Suppose -8*j + 9*j + 5*l + 117 = 0, 5*l + 5 = 0. Let w = j + 141. Is w a multiple of 29?
True
Let v(p) = -8*p + 47. Is v(-12) a multiple of 24?
False
Let s(z) = -z**2 - 6*z. Let u(h) = h**2 - h - 5. Let f be u(0). Let y be s(f). Suppose y*b + 66 = 191. Does 13 divide b?
False
Let r(u) = 4*u**2 - 1. Let f be r(-1). Suppose f - 55 = -t - 4*p, 0 = 5*t + 5*p - 305. Does 8 divide t?
True
Suppose 62*f - 69*f + 6881 = 0. Does 9 divide f?
False
Is 16 a factor of (0 + 5 - -933) + 6?
True
Suppose 27*k - 23*k = -24. Is (k/(-9))/(2/90) a multiple of 15?
True
Suppose -5*h = -2*s + 1242 + 138, h = 2*s - 1388. Does 5 divide s?
True
Let m be ((-6)/18)/(1/6). Let x be 6/(-2) - m - -3. Suppose -121 = -x*z - 4*y - 1, y = 2. Does 14 divide z?
True
Let z = 55 + -34. Suppose -3*j + 2*u = -30, -z = -2*j + 5*u - 4*u. Is 4 a factor of j?
True
Suppose 0 = -3*u - 2*c + 5*c + 183, -5*u = -c - 301. Let i = 94 - u. Let v = i - 17. Is v a multiple of 4?
False
Suppose -5*s + s + 16 = 0, -4*j + s + 768 = 0. Let k = -116 + j. Suppose -4*w + k = -7. Is w a multiple of 21?
True
Suppose 0*z + 2*z - 3*a = -5, 3*z + a = 9. Let s(r) = -2 - 9*r - z*r + 1. Is s(-3) a multiple of 10?
False
Let o(w) = -w**3 - 32*w**2 + 32*w - 26. Let r be o(-33). Is r/(28/(-16)) - -74 a multiple of 10?
True
Let y be 24/14 + (-20)/(-70). Suppose 2*o - 2 = y, -2*d - 5*o + 74 = 0. Is d a multiple of 6?
False
Let i(k) = -3*k**2 - 12 + 4*k**2 - 4*k**3 + 82 + 2*k + 5*k**3. Is i(0) a multiple of 14?
True
Suppose z + 2559 = 3*y - 1032, 1197 = y + 2*z. Is y a multiple of 3?
True
Let o(c) = 43*c - 1. Let v be o(-1). Let g = 68 + v. Is g a multiple of 8?
True
Suppose -p + 6 = 2*p. Suppose 0 = -p*w - w + 72. Is 12 a factor of w?
True
Let y(q) = -q**2 + 11*q + 2. Suppose 3*s - 29 = -m, 36 = 4*s + m + m. Let k be y(s). Suppose 8 = v - k. Does 4 divide v?
False
Suppose -37 = -4*l + 11. Let m be 1/(4/l) + 88. Let p = 174 - m. Is 21 a factor of p?
False
Suppose -5*l + 15 = 5*y, -3*y + 8 + 1 = 4*l. Let t be (-1 - (-30)/9)*y. Suppose 2*o - t = 5. Does 4 divide o?
False
Suppose 2*a - 6*a = -8. Suppose 2 = a*j - j. Suppose -13 - 3 = -j*i. Is 8 a factor of i?
True
Suppose -3 = -3*x + 2*x. Suppose 0*p + 69 = 2*n + 3*p, -4*p - 61 = -x*n. Let l = n - 12. Is 5 a factor of l?
True
Let h be 5/2*((-2)/(-2) - -1). Suppose -179 = -h*y + 56. Is 7 a factor of y?
False
Let h(o) = -174*o**3 - 8*o**2 - 4*o + 4. Does 7 divide h(-2)?
True
Let x = 1104 - -3342. Is x a multiple of 19?
True
Suppose -2*r = -0*r + 4, 560 = -4*c - 4*r. Let h = 184 + c. Is h a multiple of 4?
False
Let w = 87 - 83. Suppose w*q = -5*m + 93, -2*q + m - 1 + 30 = 0. Is q a multiple of 2?
False
Let h = 254 + -180. Let m = 10 + h. Is 5 a factor of m?
False
Suppose 0 = 2*i - 3*v - 347, 16*v - 17*v = 2*i - 359. Does 2 divide i?
True
Let a = -413 - -485. Does 18 divide a?
True
Let o(r) = r**3 - 7*r**2 + 12*r - 7. Let v be o(5). Suppose v*u - 2*b = 350, -u = -3*b + 4*b - 120. Is 22 a factor of u?
False
Suppose 3*d + 3*j = 5727, 3*d = 18*j - 19*j + 5719. Is d a multiple of 35?
False
Let r(o) = 4*o - 21. Let d = 12 + -15. Let v be 8/(d - -1) - -13. Does 5 divide r(v)?
True
Suppose 6*x - 25 = x - 5*z, -5*x + 25 = 3*z. Suppose -405 = -x*n - 4*n. Is n a multiple of 5?
True
Let x = 1 - -2. Suppose -k + x*k - 14 = 0. Is (k + -1)/((-1)/(-6)) a multiple of 18?
True
Let o be 21 + -1 + (-1)/(-1). Suppose 0 = -0*v + 3*v + 36. Let x = o - v. Is x a multiple of 31?
False
Let r(u) = u**2 - 10*u + 19. Let m be r(8). Suppose -m*j - 24 = -7*j. Suppose 3*b = j*b - 84. Is 8 a factor of b?
False
Let k(j) = 16*j**2 + 16*j + 4. Does 12 divide k(7)?
True
Suppose -3 = -p, 2*t + 2*t = -p + 5111. Is t a multiple of 58?
False
Let q(c) = -2*c - 8. Let v be q(-6). Suppose p + 0*p + 6 = 3*z, v*p - 27 = -5*z. Is 14 a factor of p/18 + (-83)/(-6)?
True
Let j(w) = 8*w + 3. Is 20 a factor of j(6)?
False
Suppose -4*z = -9*z + 20. Suppose z*c = 6*c - 114. Is c a multiple of 19?
True
Suppose -18 - 2 = 4*m. Let h be (m/((-20)/32))/2. Does 5 divide (-1104)/(-108) + h/(-18)?
True
Let d(i) = -16 - 6*i**2 - 4*i + 13 - 4*i + i**3 - 2*i**3. Let l be d(-4). Let c = 13 - l. Is 4 a factor of c?
True
Let a(g) = -5*g - 4. Let q be a(16). Let w = -45 - q. Is w a multiple of 14?
False
Suppose -7 = 5*d - 52. Suppose -2*y - 6 = -3*c - 2*c, 3*y + d = c. Does 11 divide y - (-2)/2 - -16?
False
Suppose 183*b = 178*b + 1040. Is b a multiple of 48?
False
Let v(x) = -21*x + 8. Let z be v(-3). Suppose 17 = -3*y + z. Is y a multiple of 14?
False
Let o(g) = -g**2 - 1. Let c(q) = 2*q**3 + 4*q**2 - 11*q + 5. Let z(w) = c(w) + 2*o(w). Is 5 a factor of z(3)?
False
Let x(g) = -3*g - 9. Let c be 62/(-3) - (-12)/18. Let v = c + 8. Does 9 divide x(v)?
True
Suppose 5*q + 101 - 421 = 0. Suppose q = 5*z + 14. Is 15 a factor of 3/(45/z)*27?
False
Suppose -21*g + 41191 = 2320. Is 34 a factor of g?
False
Let h(z) = z**2 + z - 5. Let s be h(4). Is 14 a factor of 1467/s + 2/20*2?
True
Let s = 40 - -86. Is 14 a factor of s?
True
Let m = 80 - 75. Suppose -m*x = -4*x - 46. Is x a multiple of 14?
False
Let t be (4/2)/((-4)/(-22)). Let l = t - 6. Suppose 5*k = -l*n + 45, n + 0*k - 3*k = 29. Is 6 a factor of n?
False
Let w = 87 - -228. Is 5 a factor of w?
True
Let l(q) = -6*q + 66. Is 13 a factor of l(6)?
False
Suppose 0 = -4*r + 134 + 394. Does 10 divide r/(-15)*(-20)/8?
False
Let s = 47 + 83. Is 13 a factor of s?
True
Let g be (36/(-81))/((-2)/9). Let w(x) = 6*x**2 + 3*x**2 + 6 + 9*x + 0*x - 8*x**g. Is w(-10) a multiple of 4?
True
Does 4 divide ((-37)/(-4) - 0)/((-50)/(-1000))?
False
Let s(t) = t**3 + 9*t**2 + 10. Let p be s(-9). Suppose 0*u - 5*u - p = 0. Is (-7)/(-1) + u/2 a multiple of 6?
True
Let x = -2 - -17. Suppose h + x + 4 = 0. Let z = h + 33. Is 14 a factor of z?
True
Suppose 0 = 3*w - 4*w + 3*d - 1, 4*d + 17 = 5*w. Suppose -j + 66 = -3*j. Let i = w - j. Does 14 divide i?
False
Let x be ((-18)/(-8))/((-3)/(-4)). Suppose 0 = -d + x*d. Suppose -l + 82 = -d*l. Does 16 divide l?
False
Let o be 36/14 + (-3)/(-7). Let d be 6/9 - 7/(-3). Suppose -88 = -3*v - d*q + 4*q, 2*q - 94 = -o*v. Is v a multiple of 10?
True
Suppose -4*p - 20 = -260. Is 30 a factor of p?
True
Let a be (-4 + (-21)/(-6))*0. Is 19 a factor of a - (-1 - 7)/(8/152)?
True
Suppose 19*x - 12 = 13*x. Suppose -3*a - 170 = -3*g + x*a, g - 3*a = 62. Is 8 a factor of g?
False
Let r be (632/(-6)*3)/(-2). Suppose -3*w + 0*a + a = -239, -2*w + 2*a = -r. Does 12 divide ((-128)/w)/((-2)/60)?
True
Suppose 0 = -5*z - 3059 + 5459. Does 20 divide z?
True
Suppose -19*n - 1629 + 12288 = 0. Does 11 divide n?
True
Let m(y) = -14*y - 6. Let x be (-9)/2 + (-30)/(-20). Is m(x) a multiple of 15?
False
Suppose 2*k - 3*k + 135 = 0. Let b be 657/k - 2/(-15). Is (-119)/(-2) - b/(-10) a multiple of 15?
True
Suppose -3*v + 16 + 11 = -4*g, -2*g - 26 = -4*v. Suppose 5*d = 5*l - 675, -300 = -2*l + d - 5*d. Suppose 20 - l = -v*o. Is 8 a factor of o?
True
Does 3 divide ((-88)/(-10))/((-6)/(-15))?
False
Let a = -427 - -655. Suppose -3*s + 161 = -4*r, -4*s + r + r = -a. Is s a multiple of 16?
False
Is (858/(-165))/(1/(-100)) a multiple of 40?
True
Suppose -2*m + 45 = 7*m. Suppose 0 = -m*p + 33 + 107. Is 19 a factor of p?
False
Suppose 5*k + 44 - 884 = 0. Is k a multiple of 8?
True
Let i(a) = -2*a**3 - 7*a**2 - 7*a - 9. Is i(-6) a multiple of 11?
False
Let u = -1 + 5. Let j(a) = -a**3 + 5*a**2 + 2*a + 2. Does 13 divide j(u)?
True
Suppose -8*v = 4*v - 156. Does 2 divide v?
False
Let s(o) = 184*o + 13. Is 21 a factor of s(2)?
False
Let x(t) = t**2 + 3*t - 30. Is 24 a factor of x(-18)?
True
Let j be 3 + (-4)/(-4) + 4. Is (j/(-6))/((-4 - -3)/90) a multiple of 30?
True
Is 0 + 6 - (-261)/3 a multiple of 7?
False
Let h = -89 + 134. Suppose 3*m = -t + 27, 3*t + m - 12 = h. Is 12 a factor of t?
False
Let y(u) = -33*u - 8*u + 6*u - 2*u. Is y(-1) a multiple of 19?
False
Suppose 4*z - 20 = 0, 2*y + 3*z = 6*y - 405. Suppose -2*i + y = 4*j - 5*i, i = 2*j - 51. Is j a multiple of 8?
True
Suppose 6*f = 7*f - 38. Let m = -54 + 98. Suppose -2*s + 5*s = -2*q + f, -4*q + m = 4*s. Is 15 a factor of s?
False
Let q(u) = -u**2. Let w(y) = 3*y**2 - 5*y + 12. Let i = -18 - -20. Let l(c) = i*q(c) + w(c). Is 6 a factor of l(5)?
True
Suppose -11*g = 14*g - 9600. Is g a mult