e of 13?
True
Suppose -2*p = 1 - 9. Suppose -w + 2*w + 2*y = p, 17 = 2*w - 5*y. Is 6 a factor of w?
True
Suppose -5*p = 3*n - n - 196, -5*p = -n + 113. Does 17 divide n?
False
Suppose -3*g - 8 = -5*g. Suppose 5*f + 7*t + 23 = 3*t, -2*t = g. Does 2 divide (4 - 1) + (-1 - f)?
False
Suppose 3*p + 0 - 1 = -4*c, c + 5*p - 13 = 0. Let h be 154/35 + c/5. Suppose -84 = -7*r + h*r. Is 14 a factor of r?
True
Suppose -2*h - h + 36 = 0. Is h a multiple of 6?
True
Let g = -56 - -73. Is g a multiple of 10?
False
Let i be 3/(-2 - -1) - 0. Let z be (-2 - i)/((-1)/4). Is 9 a factor of (z/3)/((-1)/18)?
False
Let x(q) = 11*q**2 - 13*q - 6. Let j(p) = 16*p**2 - 19*p - 9. Let t(v) = 5*j(v) - 7*x(v). Let w be 1 + 1/2*6. Is t(w) a multiple of 9?
False
Does 15 divide (-1)/(-1) + -2 + 41 + 3?
False
Let p = -212 - -224. Does 2 divide p?
True
Suppose 3*w = 2*w + 2*v + 14, 3*w - 42 = -5*v. Suppose f = -0*f + w. Let r = f - 11. Is 2 a factor of r?
False
Suppose -9 - 16 = -5*l. Let g(p) = 2*p**2 - p - 7. Is 19 a factor of g(l)?
True
Suppose -4*t + 0*t + 3*w = 2, 6 = -5*t + 2*w. Let q = t + 2. Suppose -5*i + 0 + 145 = q. Is 10 a factor of i?
False
Suppose -2*t = -3*t + 3*z + 100, t - 98 = 5*z. Does 11 divide t?
False
Suppose -2*x - x + 15 = 0. Suppose x*p = 22 + 8. Is p a multiple of 6?
True
Suppose 4*y - 2*m - 10 = 0, 2*y - 35 + 0 = -5*m. Suppose 4*c + y*o = 116, 0 = 3*c - 3*o - 59 - 28. Is c a multiple of 6?
False
Let x be -1 + -22 - 7/7. Let t = x - -14. Does 6 divide (1 - -2)*t/(-5)?
True
Is (33/9 - 3)*21 a multiple of 6?
False
Suppose 3*b - 90 = 192. Is b a multiple of 16?
False
Suppose 2*j - 23 - 17 = 0. Does 6 divide j?
False
Is (-4)/(-12)*93*1 a multiple of 10?
False
Let c be (2/(-6))/((-5)/60). Suppose d + 0 = c. Suppose -3*p + 5*v + 15 = -4, d*p + 5*v = 37. Is 4 a factor of p?
True
Suppose 0*h + 45 = 5*h. Does 3 divide h?
True
Let n be 0*(-3)/((-18)/(-3)). Let c be n*(-1)/(1 - -1). Suppose c = -3*o + 8*o - 80. Is o a multiple of 6?
False
Let h = 120 - 213. Let p = h + 164. Does 24 divide p?
False
Let w(g) = -g**3 + 5*g + 2. Let y(l) = -2*l**3 + l**2 + 6*l + 3. Let q(m) = 5*w(m) - 4*y(m). Is q(3) a multiple of 12?
False
Let r(f) = -f - 1. Let p(w) = -3*w - 3. Let z(m) = -p(m) + 2*r(m). Let x be z(-1). Suppose x*j + 2*j - 20 = 0. Does 8 divide j?
False
Suppose 2 = -5*q + 22. Suppose q*i - 6 - 2 = 0. Let o(j) = 2*j**3 - 3*j**2 + 2*j - 1. Is 5 a factor of o(i)?
False
Let n be (9/2)/(3/26). Suppose 125 = -5*v - 4*x, 3*v + 2*x + 75 = -3*x. Let o = n + v. Does 7 divide o?
True
Suppose 3*f - 28 - 17 = 0. Is 12 a factor of f?
False
Let x(t) = -3*t. Let p be x(-1). Does 14 divide 0 - -3 - (p + -61)?
False
Suppose 5*g - g = 220. Does 10 divide g?
False
Let z be (1 - -3)/(4/(-42)). Let j = -17 - z. Does 13 divide j?
False
Suppose 2*k + 496 = 5*t, -2*t + k - 57 = -255. Does 10 divide t?
True
Suppose -3*a + 9 = 5*z - 0*a, -2*a = -6. Suppose 5*y = 4*i + 8, 3*i + z*i + y + 6 = 0. Is 2 a factor of (3/i)/(6/(-20))?
False
Let j(n) = n + 1. Let q(p) = -p**3 - 8*p**2 - 8*p - 7. Let r be q(-7). Suppose r = 3*d - 10 - 2. Is j(d) even?
False
Let z = 4 - 10. Let r be (222/(-9))/(z/9). Suppose r + 23 = 4*b. Does 15 divide b?
True
Let t(w) = -w**2 + 10*w + 9. Let p = -14 + 8. Let v be t(p). Let q = -48 - v. Is 14 a factor of q?
False
Suppose 3*k - 4*w + 7 = -0*k, 3*w = -6. Let b(m) = -m**3 - 4*m**2 + 3*m + 1. Is b(k) even?
False
Let f = -18 - -31. Let x = 19 - f. Is 11 a factor of -2*(-3)/x*11?
True
Let c = -35 + 54. Is c a multiple of 19?
True
Let g(p) = p**2 + 16*p + 2. Let d(o) = o**2 + 17*o + 3. Let i(v) = 5*d(v) - 6*g(v). Suppose 12 - 42 = 3*u. Is i(u) a multiple of 13?
True
Let y(j) = j**2 + 2*j + 19. Does 4 divide y(0)?
False
Let x = -7 - -76. Is x a multiple of 23?
True
Let x = 183 - 25. Does 8 divide x?
False
Suppose o + 4*o + 2*k = 80, 5*k - 64 = -4*o. Suppose 5*y + o + 83 = 3*s, 0 = -3*s + 2*y + 108. Is s a multiple of 19?
True
Let m(x) = -2*x - 39. Let h be m(-20). Let r(a) be the first derivative of 4*a**4 + 2*a**3/3 - a**2 + a - 1. Is r(h) a multiple of 12?
False
Let q(r) = -28*r + 8. Is 30 a factor of q(-4)?
True
Suppose -3*c = 2*l - 162, -3*l - 77 = -3*c + 100. Is c a multiple of 10?
False
Suppose 64 = -y - 4*l, -3*y + 2*l = 2*y + 364. Is 6 a factor of -4 + y/4*-1?
False
Let s(d) = 1. Let n(m) = 13*m + 6. Let w(y) = -n(y) + 3*s(y). Is 13 a factor of w(-3)?
False
Suppose 191 = -4*d + 3*s, -2*s - 195 = 5*d + 3*s. Does 13 divide (-8)/(-2 + (-80)/d)?
False
Suppose w + 7 = -s, -w = -3*s + 4*w - 53. Let t(n) = -6*n**2 + 61*n + 26. Let r(x) = -x**2 + 12*x + 5. Let z(u) = s*r(u) + 2*t(u). Does 7 divide z(-7)?
False
Let l = 4 - -36. Is l a multiple of 20?
True
Suppose -n = -0*n - 6. Does 6 divide n?
True
Let s(a) be the first derivative of -a**4/12 + 2*a**3/3 + 5*a**2/2 + 2*a - 1. Let n(u) be the first derivative of s(u). Is n(4) a multiple of 2?
False
Let m = 221 + -76. Is m a multiple of 29?
True
Let j(i) = i**3 - i + 3. Let x be j(4). Suppose -5*q + 312 = -x. Is q a multiple of 25?
True
Let z = 121 - 61. Does 20 divide z?
True
Let u be (10/12)/(1/6). Suppose -u*q + q + 72 = 0. Is q a multiple of 6?
True
Suppose 5*y + 20 = 5*w, w - 20 = -y - 4*w. Is 20 a factor of 29 + y + (-4 - -2)?
False
Does 8 divide (-1128)/(-28) + (32/28)/(-4)?
True
Let g(c) = c**3 - 4*c**2 - 2*c - 7. Let u be g(5). Is 5 a factor of u/1 + (-8 - -8)?
False
Let v(s) = -4*s + 4. Let z be v(4). Let g = 12 - z. Does 12 divide g?
True
Let v(c) = -c + 14. Let j be v(7). Let n = j + 6. Is n a multiple of 13?
True
Suppose 3*d - 4*s - 1 = 0, -2*d + 1 = -d - s. Suppose -15 + 39 = d*v. Does 4 divide v?
True
Let m(i) = 2*i - 4. Let k be m(4). Let c be 0 + 0 + 2 - -37. Suppose k*p = p + c. Does 11 divide p?
False
Suppose 16 = 5*n - 9. Is n a multiple of 5?
True
Let y(o) = -7*o + 3. Let i(w) = -w - 1. Let n(p) = -4*i(p) - y(p). Is n(3) a multiple of 9?
False
Let o(m) = 13*m**2 + 18*m + 6. Is 61 a factor of o(4)?
False
Suppose 3*d - 4*d = -5. Is d even?
False
Is 15 a factor of (3/2)/((-3)/7)*-90?
True
Suppose -5*c + 6*u = 4*u - 8, -2*c + 2*u + 8 = 0. Suppose -k + 4 + 16 = c. Does 20 divide k?
True
Suppose -3*w - 26 = -4*q - 0*w, 4*q - 34 = -w. Let u = 4 - q. Is -10*(1 + 6/u) a multiple of 3?
False
Suppose 5*n - 3*l - 13 = -0*l, -2*l = 4*n - 6. Suppose n*a - 170 = -4*b, -206 = b - 6*b + 4*a. Is b a multiple of 15?
False
Let z(d) = -38*d**3 + d**2 + d + 1. Does 17 divide z(-1)?
False
Suppose -n + 4*u + 28 = 0, 4*n - 59 - 53 = 3*u. Is n a multiple of 4?
True
Let s = 20 + 40. Is 30 a factor of s?
True
Let f = -6 + 7. Is (-1 - -14) + f + -3 a multiple of 11?
True
Let j be (1 + -3 - -5) + 1. Suppose j*k = -3*p + 25 + 23, 48 = 3*p + k. Does 8 divide p?
True
Let x(q) = q**2 + 11*q + 15. Let h be x(-10). Suppose -8 = -v + h*v, -2*v - 36 = -m. Is 12 a factor of m?
False
Let r(i) = -7*i + 1. Does 9 divide r(-3)?
False
Suppose 4*q - 337 = -5*c, 4*c - 5*q - 280 = -3*q. Is 19 a factor of c?
False
Let a be (-12)/15*5*-1. Let f be 1 - 2 - (-40 - a). Let r = -25 + f. Does 9 divide r?
True
Suppose -5*f = 0, -5*s - f = f + 70. Let h = s + 28. Does 14 divide h?
True
Let q(o) = 55*o - 2. Let b be q(2). Suppose -3*p = -0*p - b. Suppose 3*l - p = -l. Does 4 divide l?
False
Let h(d) = 24*d + 3. Is h(3) a multiple of 19?
False
Suppose -2*k = k - 30. Let w = k - 4. Is 5 a factor of w?
False
Let c = -173 - -253. Is c a multiple of 15?
False
Let s be (6/(-5))/((-4)/10). Suppose s*k + 0*k = 57. Is 8 a factor of k?
False
Let q = -1 - -3. Suppose q*i + 1 = 3*i. Does 17 divide 1*34*(0 + i)?
True
Suppose -2*z + 2*l = 3*z - 437, 2*z - 178 = 4*l. Does 18 divide z?
False
Let r = 92 + -51. Does 20 divide r?
False
Is 9 a factor of -1*(2 + 20*-1)?
True
Suppose -6*r = -13*r + 462. Does 33 divide r?
True
Let c = -10 + 14. Suppose c*r - 7 - 1 = 0. Let s = 7 - r. Is s a multiple of 2?
False
Let a = 210 - 87. Does 20 divide a?
False
Suppose -3*c = -6 - 9. Suppose -c*f = 4*s - 61, -2*f + 78 = 5*s + 6. Is 7 a factor of s?
True
Let h(a) = -a**2 - 12*a + 15. Let n be h(-13). Suppose -2*q + z = -97, -n*z = -3*q + 2*z + 133. Is q a multiple of 17?
True
Suppose -5*a + 313 = j + 90, 5*a - 226 = -2*j. Is a a multiple of 22?
True
Suppose 4*v + 1 + 3 = 0. Let c be (2/4)/(v/(-6)). Suppose 15 - c = s. Does 9 divide s?
False
Let d = 201 - 105. Does 28 divide d?
False
Suppose -1