w, -3*d - 2*p = -275. Is d a multiple of 12?
False
Let w(i) = -6*i + 104. Is w(16) even?
True
Suppose -5 = 2*v - 7*v. Let f(g) = 7*g**2 - g - 1. Let c be f(v). Suppose 3*l = -c*y + 19, 4*y - 2 = -2*l + 4*l. Is y even?
True
Let w(g) = 16*g + 47. Does 13 divide w(8)?
False
Suppose -33*m + 3*f - 393 = -34*m, 1965 = 5*m - 3*f. Is 55 a factor of m?
False
Let c(n) = -160*n + 11. Is 18 a factor of c(-4)?
False
Suppose 2*o + 3*f = 15, -5*o + 2*f + f = -6. Suppose 379 = 5*c - o*u, 137 = 5*c + 4*u - 221. Is 26 a factor of c?
False
Suppose v + v + o - 21 = 0, -3*v + o + 29 = 0. Suppose 3*w - 3*u = 15, 0 = -2*w + 6*w + u - v. Suppose b - 30 = -2*y, w*y + 5*b = 39 + 6. Is 3 a factor of y?
True
Is 33 a factor of (-4)/(-18) - ((-9632)/72 + -3)?
False
Let i(h) = 47*h - 4*h**2 - 32*h + 36 + 5*h**2. Is i(-21) a multiple of 27?
True
Suppose 5*m = 683 + 162. Let l = m - 101. Suppose -5*j + 20 + 0 = 0, 3*j + l = 5*g. Is g a multiple of 16?
True
Let p be -3 - -2 - (61 - -3). Let l = -11 - p. Is 9 a factor of l?
True
Suppose 0 = -5*a - 5*o + 950, 0 = 6*a - 8*a + 3*o + 375. Let x = 2 - -2. Suppose 3*k = b + a, -k + 326 = x*k + 2*b. Does 13 divide k?
False
Suppose 0 = -3*q - 4*c + 10720, 0 = 2*q + 3*c - 7707 + 561. Is q a multiple of 69?
False
Let x = 534 + -422. Is 7 a factor of x?
True
Suppose -3 - 33 = 6*c. Does 22 divide 1584/40*(-10)/c?
True
Let z(k) = 8*k**2 + 4*k + 7. Does 3 divide z(-3)?
False
Let t = -25 - -25. Suppose -7*u + t*u + 602 = 0. Is u a multiple of 20?
False
Let p = 147 + -98. Let w = p + -27. Is w a multiple of 16?
False
Let n be ((-5)/(-2))/((-3)/(-6)). Suppose 5*p + 7*p - 24 = 0. Suppose 3*f = p*h - f - 150, -5 = -n*f. Does 17 divide h?
False
Let g(v) = 4*v**3 - 21*v**2 + 14*v + 14. Let m(h) = -h**3 + 7*h**2 - 5*h - 5. Let j(c) = 2*g(c) + 7*m(c). Let q be j(-8). Does 8 divide 2/(-6) + (-125)/q?
True
Let d(b) = b - 12. Let n be d(7). Let m be (3 - (3 + -2)) + n. Does 4 divide (12/(-9))/(m/9)?
True
Suppose -4*z + 16 = -12. Let i = -70 - -77. Let l = i + z. Is l a multiple of 5?
False
Suppose i - 22 - 12 = 0. Let w = 47 - i. Does 2 divide w?
False
Let z(i) = 2*i**2 + 2. Let p be z(-3). Let t = p + -10. Suppose l + 0*q = -5*q + t, -3*q = -4*l + 17. Is l even?
False
Let u = -32 - -37. Suppose -2 = u*x + 3. Is 2/(-6)*51/x a multiple of 17?
True
Let z(y) = -3*y**3 - 13*y**2 + 6*y - 8. Let j(l) = 4*l**3 + 14*l**2 - 5*l + 7. Let c(a) = -4*j(a) - 5*z(a). Is c(7) a multiple of 8?
True
Suppose 8 = 4*x + 4*p, -2*x + 3*p = -6 + 2. Is 9 a factor of x*-2 + (2 - -137)?
True
Let i = 135 - 92. Is i a multiple of 43?
True
Does 43 divide (9 + -21 + -6)*200/(-6)?
False
Suppose 5*b = -p + 18, 23*b + 9 = 20*b. Is p a multiple of 5?
False
Let q be 2319/12 + (-12)/(-16). Let v = q + -90. Does 13 divide v?
True
Let f(v) = -v**2 + 16*v - 11. Let o be f(13). Suppose 0 = 3*q + 3*r - 33, -2*r + 0*r - o = -3*q. Is q a multiple of 2?
True
Suppose 2*p + y = -y + 534, -3*p = 5*y - 811. Let z(k) = k**2 - 13*k - 64. Let x be z(17). Suppose 5*u - t - 329 = 0, x*u - t - p = t. Is 22 a factor of u?
True
Let x(r) = -7*r + 2. Let l(i) = -i**3 - 6*i**2 - 7*i - 3. Let c be l(-5). Suppose -3*h + 6*h + c = j, 0 = -3*j + 4*h - 4. Does 29 divide x(j)?
True
Suppose -1460 = -0*t + 5*t. Let w be -2 + (t/(-4) - -3). Let r = w + -34. Is r a multiple of 8?
True
Does 70 divide (2 - -23)*(-112)/(-10)?
True
Is 16 a factor of (6/(-8))/(12/(-10128))?
False
Suppose 2*x = 4*x + f + 7, -22 = 2*x - 2*f. Let r be (-9 + 0)*x/(-18). Is 8 a factor of r/15 + (-830)/(-25)?
False
Is (5/((-45)/6))/((-3)/423) a multiple of 23?
False
Is 11 a factor of 15/((-225)/15)*(0 + -132)?
True
Suppose 0 = -0*z - 3*z - 90. Let a be 6/(-5)*z/9. Suppose 0 = -a*c + 2*d + 50, -18 = -c + 5*d - 1. Is 4 a factor of c?
True
Let f(b) = 2*b**2 + 2*b - 2. Let j be f(1). Is 12 a factor of (326 - j - 0)*(-4)/(-6)?
True
Let k be (-48)/(-5) + (-63)/105. Suppose -k*u + 0*u + 99 = 0. Does 11 divide u?
True
Suppose 4900 = 43*m - 36*m. Is 77 a factor of m?
False
Let m(t) = -2*t + 29*t**3 + 0*t**2 - 10 - 30*t**3 - 5*t**2. Is m(-6) a multiple of 19?
True
Let m(t) = -62*t - 26. Is 56 a factor of m(-55)?
False
Suppose -6*g = -4*l - 3*g - 3, -3*l - 4 = -4*g. Suppose 7*z - 4*z - 54 = l. Let r = -14 + z. Is r a multiple of 3?
False
Is 4 a factor of (-2)/9 - (-10)/45 - -87?
False
Let u be 4/(-2)*(-100)/10. Let r = -8 + u. Suppose -4*g = -r, -5*c + 3*g + 208 = -g. Does 19 divide c?
False
Let i be 2*4/((-40)/45). Let w(k) = k**2 + 8*k + 7. Is w(i) a multiple of 5?
False
Suppose 1809 = -4*y + 13*y. Suppose 3*q - 261 - y = 0. Is q a multiple of 18?
False
Suppose 10*w - 1608 = 4*w. Suppose 0 = 2*b + 2*b - l - 218, -l + w = 5*b. Is b a multiple of 9?
True
Let r = -33 + 355. Is 8 a factor of r?
False
Suppose -39 - 114 = -3*u. Suppose 3*a = 3*q - q + 167, a = 3*q + 51. Suppose 3*o - u = a. Does 9 divide o?
True
Let m = -24 - -52. Suppose -129 = -3*u + 3*o, -2*u + 34 + m = 4*o. Is u a multiple of 8?
False
Let d = -265 + 285. Does 2 divide d?
True
Let z be (-1 + 0)*((2 - -1) + -30). Suppose g = -z + 48. Does 21 divide g?
True
Let x(k) be the third derivative of -k**6/120 - k**5/20 - k**4/8 - 5*k**3/6 + 20*k**2. Does 15 divide x(-5)?
True
Let s = 1089 - 729. Is 15 a factor of s?
True
Suppose 2 = -2*n, 4*c + 0*c - 25 = 5*n. Suppose -c*p = k - 122, -4*p - 42 - 44 = -k. Does 34 divide k?
True
Let k be 0 + (1 - -2) + 1. Suppose -241 + 1511 = 5*m. Suppose -5*a + 50 + 205 = -5*z, 5*a - k*z - m = 0. Is a a multiple of 10?
True
Suppose 0 = -5*s + 3*s + 4. Suppose -3*q - 2 = -s*p - 7, q - 5 = -p. Suppose 0*x + 4*d = -2*x + 52, -73 = -q*x - 5*d. Is 8 a factor of x?
True
Let q be (56/12)/(2/9). Let p(s) = -6*s + 2. Let k be p(1). Does 19 divide k/2*1 + q?
True
Let n(r) = 2*r - 11. Let g be n(7). Suppose 0*q - 2*q + 6 = 0, g = t - 5*q. Is 9 a factor of t?
True
Let l(s) = 53*s - 4. Does 28 divide l(8)?
True
Suppose -m + 352 + 783 = -4*i, 2*i = -5*m + 5763. Is m a multiple of 18?
False
Let v be 1/(0 + 0 + (-10)/(-50)). Suppose c - 121 - v = 0. Is c a multiple of 9?
True
Let q be ((-1)/2 - -1) + 1174/4. Suppose -q = -13*y + 239. Is 5 a factor of y?
False
Let b be (-2)/(-8) - (4/16 + 0). Let v(l) = l**3 + 2*l**2 - l + 30. Does 14 divide v(b)?
False
Let p(o) = 2*o**3 - 18*o**2 - 12*o + 30. Is 10 a factor of p(10)?
True
Let j(z) = -z**2 - 11*z - 13. Let w be j(-6). Suppose -2*f + 25 = 3*f. Suppose -4*i - 4 = 12, v + f*i = -w. Is v a multiple of 3?
True
Let t(s) = -5*s + 19. Let u be t(8). Suppose 5*m - 169 + 14 = 4*v, 5*m - 115 = -4*v. Let h = m + u. Does 5 divide h?
False
Suppose -3*j + 1210 = 766. Does 4 divide j?
True
Let i(b) = b**3 + b**2 - b. Let d(g) = -4*g**3 + 6*g**2 + 15*g + 1. Let n(w) = d(w) + 3*i(w). Does 7 divide n(10)?
True
Let p(g) = 288*g**2 + 25*g + 59. Is p(-3) a multiple of 28?
True
Let r(v) = -3*v - 3. Let i be r(-2). Suppose -7*a = -i*a - 120. Suppose t - 5*w - 28 = 0, 2*t = -t - 3*w + a. Is t a multiple of 13?
True
Let c = 58 - 114. Let d = 21 - c. Does 20 divide d?
False
Let j = -43 - -435. Suppose q + j = 8*q. Let p = q + -24. Is p a multiple of 16?
True
Suppose -3*o = 11*n - 6*n - 1851, n - 379 = -5*o. Is 41 a factor of n?
True
Is 36 a factor of 9/(-72) - 10121/(-8)?
False
Let q(w) = -49*w**3 + 4*w**2 + 3*w + 1. Is 13 a factor of q(-2)?
True
Let j = -54 - -56. Suppose -j*b + 78 = 52. Does 13 divide b?
True
Let o(b) = -b**3 + 4*b**2 + 7*b - 3. Let f be o(5). Suppose -70 = f*r - 525. Is 13 a factor of r?
True
Let i(n) = -3169*n**3 - 6*n**2 - 5*n. Is i(-1) a multiple of 18?
True
Let o(l) = l**3 + 4*l**2 + 2*l + 3. Let u be (-4)/1 - (-1 - 0). Let w be o(u). Suppose -w*j = -j + 5*r, 4*r + 16 = 0. Is j a multiple of 3?
False
Is 10 a factor of (-14 - -991) + (2 - (-2 - -2))?
False
Suppose -4*q + 22 - 166 = 0. Let x be q/8*140/(-6). Suppose -x = -0*p - 5*p. Does 20 divide p?
False
Let p(n) = -4*n + 3. Let o be p(0). Suppose -s - s = -4*f + 44, -o*f - 84 = 5*s. Does 10 divide 40/(-6)*s/4?
True
Suppose 6 = -q + 14. Suppose q*o - 10 = 3*o. Is ((-5)/10)/(o/(-140)) a multiple of 16?
False
Let f be -2 - (-16 - (-6 - -4)). Is 12 a factor of (-101)/(-2) + 6/f?
False
Let l(g) = 352*g**2 + 11*g - 27. Is 45 a factor of l(2)?
False
Let t(s) = 158*s + 15. Let w(y) = -79*y - 7. Let j(a) = 6*t(a) + 13*w(a). Does 9 divide j(-1)?
False
Suppose -252 = 69*k - 76*k. Is k a multipl