e 193 = m*v + 28. Is 11 a factor of v?
True
Is (-4 - 6/(-2))*-181 a multiple of 5?
False
Suppose -542 + 147 = -a. Suppose -y - a = -6*y. Is 15 a factor of y?
False
Suppose -4*u + 127 = 5*k, u + 0*u = 2*k + 22. Let x = 42 - u. Is x a multiple of 4?
False
Let q be 1/(21/10 - 2). Suppose 49 = -3*j + q*j. Is 2 a factor of j?
False
Does 17 divide (-2)/(-8)*(786 - -10)?
False
Let r(k) = -3*k + 5. Let u be r(0). Suppose 0 = 3*q + 3*t - 1003 + 316, -1150 = -u*q - 4*t. Suppose -3*w + 6*a + 158 = a, q = 5*w - a. Is w a multiple of 17?
False
Suppose 8*v - 9816 + 2048 = 0. Is 12 a factor of v?
False
Let x = 1771 + -1396. Is 5 a factor of x?
True
Let h = -8 - -8. Let p be 5 + (h - -1) + -4. Suppose 12 - 72 = -q + 4*g, 3*q = p*g + 190. Does 17 divide q?
False
Let m(h) = -12*h**2 - h. Let y be m(2). Let g be y*((-66)/15 - 0). Does 7 divide g/(-15)*(-3)/2?
False
Let r(o) = -7*o - 6*o**2 + 2 + 2*o**2 + 3*o**2. Let a be r(-7). Suppose 31 + 47 = a*h. Is h a multiple of 13?
True
Let w = -1664 - -4382. Is 48 a factor of w?
False
Suppose -944 = -2*m + 4*b, m - 478 = b - 2*b. Is 14 a factor of m?
True
Suppose 0 = -l + 5*w - 1, l + 9*w - 9 = 4*w. Suppose 2*b + 4*f + 130 = -14, l*f - 78 = b. Does 10 divide 0 - (-4)/(-8)*b?
False
Let h = 215 + -182. Is 4 a factor of h?
False
Let f(u) = -5*u + 203. Is f(20) a multiple of 4?
False
Suppose -5*d = -d. Is (d - (161 - -1))*2/(-4) a multiple of 27?
True
Let h(p) = -3*p - 10. Let d be h(-10). Let b(z) = -z**2 + 9*z + 2. Let n be b(9). Suppose 0 = -n*t + d + 62. Is 32 a factor of t?
False
Let b(z) = 353*z - 83. Does 15 divide b(1)?
True
Let z = -1182 - -1468. Does 26 divide z?
True
Let z = -2 + 7. Suppose 2*h = z + 7. Suppose 2*j + k = h + 31, -14 = -j - 5*k. Does 7 divide j?
False
Let m(a) = a**2 + 2*a + 8. Let h be m(-11). Let t = 183 - h. Does 11 divide t?
False
Let l(o) = 3 - 1 - 1 + 21*o**2. Suppose -3*p - 17 = -5*r, 2*r - 4 = 3*p + 1. Is 11 a factor of l(p)?
True
Suppose 3*o - 5 = 49. Let l = o - 18. Suppose -36 + l = -4*a. Is 8 a factor of a?
False
Suppose 2*j - 1778 = -2*a, -2*a + 4421 = 5*j - 3*a. Suppose -5*q = -0*q - j. Let y = -66 + q. Is y a multiple of 26?
False
Suppose 3*z = 2*s + 2, -z + 4*z + 3*s = 12. Suppose z*n = -8, 2*n = -b - 0*b + 13. Let v = b - -13. Is 12 a factor of v?
False
Let l(c) = 5*c**2 - 5*c + 6. Is 12 a factor of l(-5)?
True
Suppose -2*t = 4*i - 116, -3*i + 40 = -4*t - 47. Let k be i/(-3) + (-6)/18. Is 7 a factor of ((-69)/15)/(2/k)?
False
Let m(o) = 11*o**2 - 7*o + 36. Let l be m(8). Suppose 13*x - 1708 - l = 0. Is x a multiple of 56?
False
Suppose 5 - 3 = g. Suppose 0 = -3*m + g + 139. Is 26 a factor of m?
False
Let x(c) = 1639*c**2 + 38*c + 37. Is 15 a factor of x(-1)?
False
Let c(z) = 11*z - 6. Is 18 a factor of c(12)?
True
Let t = -23 + 33. Let f = t - -90. Is 17 a factor of f?
False
Let a = -1 + 4. Let z be (1 - a) + 1 + 3. Suppose -z - 34 = -3*x. Is x a multiple of 6?
True
Suppose 3*f - 4*o + 31 = 4*f, -67 = -f + 5*o. Suppose x - f - 28 = 0. Is x a multiple of 15?
True
Let r(v) = -85*v - 2*v**2 + 12 + 3*v**2 + 76*v. Does 11 divide r(10)?
True
Suppose -2*k - 24 = 52. Is 19 a factor of (-18)/(-4)*k/(-3)?
True
Is 6/(-21) + (-4206)/(-21) a multiple of 10?
True
Let g be (-2)/((-4)/(-30)*-3). Suppose 9 = -g*s - 1. Is s/3 - (-136)/6 a multiple of 11?
True
Suppose 0 = 11*p - 5*p - 24. Is 21 a factor of p - 9/(18/(-160))?
True
Suppose 5*b + 25 = 5. Let d(h) = h + 7. Is 3 a factor of d(b)?
True
Let x(r) = -r**2 - 2*r + 9. Let a(n) = n. Let d be a(-7). Let f be x(d). Does 8 divide (-1360)/(-52) - (-4)/f?
False
Suppose 0 = -22*f + 15*f + 3094. Does 34 divide f?
True
Suppose 8*r = -0*r + 1064. Does 10 divide r?
False
Let d = 25 + -10. Let p = d - 9. Let i(h) = h**3 - 6*h**2 + 2*h - 2. Does 5 divide i(p)?
True
Suppose z + 2*g + 2 = 0, 5*z + 18 = 2*z - 2*g. Is 46*(-2 + 1)*z/8 a multiple of 23?
True
Let a = -297 + 1041. Does 12 divide a?
True
Let o(x) = x**3 - 6*x**2 + 7*x - 3. Suppose 5*q + 9 - 44 = 0. Does 12 divide o(q)?
False
Suppose -2*a = -3*a + 14. Let z = 30 - a. Is 4 a factor of z?
True
Suppose 15 = 575*f - 574*f. Is f a multiple of 5?
True
Is (-57)/(142/36 - 4) a multiple of 27?
True
Let z = -351 - -880. Suppose 5*g = 2*m + g - 248, z = 4*m + 3*g. Is m a multiple of 8?
False
Let m = 155 + -110. Is m a multiple of 45?
True
Let s(k) = k**3 - 18*k**2 + 3*k - 22. Does 33 divide s(19)?
True
Suppose 0 = c - 0 - 6. Is 5 a factor of (c/(-8))/(2/(-80))?
True
Suppose -5*v = -1141 - 109. Is v a multiple of 9?
False
Suppose 0 = 10*c - 2*c - 1320. Does 55 divide c?
True
Let d(y) = 72*y + 39. Does 18 divide d(6)?
False
Let n(t) = t + 3. Let f be n(-7). Let y(s) = s**2 - 2*s. Is y(f) a multiple of 3?
True
Let j = 487 - 188. Is 10 a factor of j?
False
Suppose -8*q + 13*q = 765. Does 5 divide q?
False
Let q(c) = 2*c - 31. Let a(o) = 2*o + 1. Let t(z) = -3*a(z) - q(z). Is t(-9) a multiple of 50?
True
Let j(c) = -c. Let y(u) = -u**2 - 5*u. Let w(i) = 6*j(i) - 2*y(i). Is 29 a factor of w(-7)?
False
Let r(l) = -l**3 - 30*l**2 - 108. Is r(-33) a multiple of 13?
True
Let r(q) be the third derivative of -q**4/8 + 47*q**3/3 - 11*q**2. Let f be (3 + -3 + 0)*1. Does 24 divide r(f)?
False
Let c be 15 + -13 + (-1 - -27). Let h = 7 + c. Is h a multiple of 29?
False
Suppose 2*b + 3*b = 150. Let u = 42 - b. Suppose -u = -p + 30. Is p a multiple of 21?
True
Let t(f) = -6*f - 21. Let h be t(-4). Suppose h*g = 4*j + 548, -161 = -2*g + j + 211. Is 36 a factor of g?
False
Let y(r) = -2*r - 2. Let t be y(-4). Let h be (-23)/(-7) - t/21. Suppose -h*j = -506 + 98. Does 34 divide j?
True
Suppose 2*x - 4*y = -2*x + 328, -x - 2*y + 76 = 0. Is 5 a factor of x?
True
Is (-1 - (-297)/3)*(0 - -2) a multiple of 4?
True
Suppose 12*f + 764 - 24176 = 0. Does 10 divide f?
False
Suppose -9 = -4*b - u, b + 2*b = 3*u + 3. Let l(c) = 6*c + 0 + c - 6*c + c**b + 2. Is 5 a factor of l(-4)?
False
Suppose -2*z - o + 99 = 0, 48 = z - o + 3*o. Let g = 68 - z. Is g a multiple of 6?
True
Let z(r) = -6*r + 12. Let t be z(8). Let n = t - -85. Is n a multiple of 7?
True
Let a = 12 + -6. Let x(l) = -20*l**3 + l**2 + 10*l - 11. Let h be x(1). Let r = a - h. Is r a multiple of 21?
False
Let s be (-9)/15 + (6/10 - 0). Suppose 7*a - 153 - 113 = s. Does 9 divide a?
False
Let k be (-135)/30*(-4)/6. Suppose -k*p - 5*x = 31, 5*x = -5*p - 58 - 7. Let n = p - -44. Does 9 divide n?
True
Let r(o) = -o**3 - o**2 - 3. Let d be r(0). Let g be 16/(d/(2 + -5)). Suppose 14*s + 56 = g*s. Is s a multiple of 14?
True
Let l(x) = -3*x**3 - 5*x**2 - 4*x - 4. Does 31 divide l(-4)?
True
Suppose -136 = x + 374. Let h = -302 - x. Is 26 a factor of h?
True
Let h be 4/6 + 910/39. Let i = -9 + h. Suppose -3*m = 3*p - i - 30, 0 = 4*m + p - 45. Is m a multiple of 3?
False
Let i = -12 + 6. Let s(z) = -z**2 + 2*z + 12. Let d be s(6). Let f = i - d. Does 6 divide f?
True
Suppose 0 = -2*a - 10*r + 5*r + 375, 4*a - 5*r = 675. Does 12 divide a?
False
Let r = -274 + 448. Suppose 14*i - 13*i = 4*b + 40, -4*i + 2*b = -r. Is i a multiple of 4?
True
Let w be 2/4 - 14/(-4). Suppose 0 = -w*q - q + 2*x + 28, 3*q - 3*x - 24 = 0. Is 15 a factor of -2 + (q - 3) - -16?
True
Let a = -137 + 277. Let n = a + -83. Is 16 a factor of n?
False
Let f(x) = -x**2 - 7*x + 9. Let a(u) = u**2 - u + 1. Let l(c) = 10*a(c) - 2*f(c). Is 14 a factor of l(-4)?
True
Suppose -8*i - 27 = -5*i. Let d be (i/6)/((-3)/104). Suppose -7*u + 2*u = -5*g - 150, 2*g - d = -2*u. Is u a multiple of 14?
True
Let y = -1411 + 2686. Does 85 divide y?
True
Let b(c) = c**2 - c + 2. Let q be b(0). Suppose 12 + 85 = -n - q*w, n = w - 109. Let f = -30 - n. Is 17 a factor of f?
False
Let k(x) = 104*x + 60. Let b(a) = 35*a + 20. Let w(l) = -11*b(l) + 4*k(l). Is w(4) a multiple of 16?
True
Is 25 a factor of 212 + 3/3 + -1?
False
Let c be 3 + (-4)/8*(-12)/3. Suppose 12 = 3*o, c*l - o = -61 + 177. Is l a multiple of 8?
True
Let d = 701 - 118. Is d a multiple of 12?
False
Suppose 5*q - 4*h = 51, -5*q - 3*h + 60 = 2*h. Let j = q + 4. Is j a multiple of 2?
False
Let v(l) = 12*l**2 + 17*l - 119. Is v(8) a multiple of 6?
False
Is 222 - ((-2 - -1) + -1 + -1) a multiple of 25?
True
Let k = -91 + 98. Does 6 divide 3/k + 3006/42?
True
Let z(r) = -10*r**2 - 8*r - 20. Let h be z(-6). Is (h/(-6))/(-2 - (-32)/12) a multiple of 10?
False
Let a(z) = 2*z**2 - z - 40. Is