15*j - 10. Is d(-13) a multiple of 7?
False
Let v = 55 + -11. Let m = -28 - v. Let z = m - -114. Does 20 divide z?
False
Let l(b) = b**2 + 13*b + 15. Let o be l(-12). Let g(u) = 4*u**2 + 2*u + 3. Let d be g(o). Suppose 157 = 4*y + d. Is 14 a factor of y?
True
Suppose 54 = 3*f + 18. Is f a multiple of 4?
True
Let z be (5 + -5)*(-2)/4. Let v = -6 - -10. Suppose z = v*n - 3*n - 12. Is 12 a factor of n?
True
Let b(d) = 3*d**2 - 1. Let a be b(1). Suppose 2*z + a*s + 205 = 5*z, 5*z + 5*s = 350. Is 23 a factor of z?
True
Suppose u - 2 = 44. Let a = -19 + u. Does 9 divide a?
True
Let j(r) = r**3 - r**2. Let n be j(3). Let a = 54 - n. Does 19 divide a?
False
Let r = 7 - -43. Suppose -5*g + r = -30. Does 8 divide g?
True
Suppose -5 = -y + 18. Is 9 a factor of y?
False
Suppose 0 = 2*d + 2*d - 32. Is 2 a factor of d?
True
Suppose -3 - 3 = -2*k. Let b be -2*23*k/(-6). Let m = b + -9. Does 6 divide m?
False
Suppose -5 = x - 0. Is 7 a factor of (-5)/(x/7)*1?
True
Does 36 divide (85/34)/((-2)/(-132)*1)?
False
Let s(f) = f**2 - 2*f. Let b be s(3). Suppose -5*v + 52 = 4*r, 3 + b = 2*r. Suppose -w = w - v. Is w even?
True
Suppose -17*s + 14*s + 78 = 0. Is s a multiple of 11?
False
Let c be (-1)/(-3)*(-297)/(-3). Suppose c = -6*a + 3*a. Let m = a - -44. Is m a multiple of 16?
False
Let a(u) = u**3 + u**2 + u + 17. Suppose 3*y - 2*y - 4*n - 20 = 0, 2*y + 5*n = -25. Is a(y) a multiple of 10?
False
Let c be (-36)/(-15) - 4/10. Suppose -7 = -c*s + 53. Is 11 a factor of s?
False
Let h = -14 - -21. Suppose -h = -2*x + 13. Is x a multiple of 3?
False
Let t = 30 + 75. Does 20 divide t?
False
Let n(w) = -w - 1 + 14*w**3 - 8*w**3 - 5*w**2 - 5*w**3. Does 29 divide n(6)?
True
Let v(i) = 15*i**3 + i**2 - 2*i + 2. Is 15 a factor of v(1)?
False
Suppose -4*v = -2*v + 8. Let g(w) = w**2 - w. Does 15 divide g(v)?
False
Suppose -5*l + 5 = -10*l. Is (21 - (0 - l)) + 2 a multiple of 11?
True
Suppose 7*x + 4*v = 3*x + 20, 0 = -2*x + 2*v + 2. Let d be (1 + 0)/(5/10). Let c = x + d. Does 2 divide c?
False
Let h(n) = -n**2 - 11*n - 10. Let w be h(-10). Suppose -3*m + 37 = 4*d, w*m = 4*m - d - 24. Is m a multiple of 3?
False
Let f(n) = 4*n. Let x be f(-2). Let g = 58 + -29. Let q = x + g. Is q a multiple of 20?
False
Suppose -4*k - 3 - 1 = 0. Let r = k + 5. Is r a multiple of 2?
True
Suppose 0 = 4*y + 6*c - c - 1036, 0 = -2*y + 2*c + 536. Is y a multiple of 12?
True
Let r = 0 - -189. Is r a multiple of 34?
False
Let l(i) = -i**3 - 4*i**2 + 3. Let p = 3 + -7. Is l(p) even?
False
Let c be 59/2 + (-2)/(-4). Let a = c - 13. Is a a multiple of 12?
False
Suppose 7*b = b + 234. Is b a multiple of 8?
False
Let u(v) = v**2 + 2*v + 1. Let c be u(4). Suppose 5 - c = -5*s. Suppose -2*g = r - 43, 3*r - 76 = -s*g - r. Is 12 a factor of g?
True
Let b = -8 + 8. Suppose b = -5*g - 1 + 31. Is g a multiple of 2?
True
Is 230/(-4)*((-39)/15 - -1) a multiple of 11?
False
Let j be (14/4)/(4/40). Let o = 65 - j. Is o a multiple of 10?
True
Let x(w) be the second derivative of 0 - 1/3*w**3 + 3*w - 7/2*w**2. Is x(-7) a multiple of 7?
True
Let o = -146 + 394. Suppose -2*p + h + 0*h + 124 = 0, o = 4*p + 4*h. Let f = p + -44. Does 9 divide f?
True
Is 5 a factor of (-2 - -4)/1*(-45)/(-2)?
True
Suppose 3*a = -2*a. Is 21 a factor of (-21 - 0)*(a + -1)?
True
Let r(a) = a + 23. Is r(-8) a multiple of 10?
False
Let c = 29 - 2. Is 9 a factor of c?
True
Suppose 4*i - 15 = -i, -4*v - 3*i = -1925. Is 21 a factor of v?
False
Suppose 9 = 3*k, -2*k = 2*a + 2*k - 186. Suppose 3*z = 3*l + a, z - 3*z + 63 = 3*l. Is z a multiple of 15?
True
Suppose -p + 4*x = -10, -4*p + 68 + 48 = 3*x. Let s be -1*(2/2 + -2). Suppose s = -b + p. Is 10 a factor of b?
False
Let a(p) = p**3 - 2*p**2 + p + 60. Is 15 a factor of a(0)?
True
Let c = 13 + -13. Suppose 0 = o - 2*n - 97, 20 = -5*n - c. Does 19 divide o?
False
Suppose s - 43 = -4*x, -4*x - 146 + 1 = -3*s. Is s a multiple of 10?
False
Let t = -28 + 46. Does 9 divide t?
True
Suppose 3*t - 299 = -5*p, -4*t = -p - 0*t + 46. Suppose -u + 38 = 2*o, -p = -2*o + u + 3*u. Is 6 a factor of o/12*(-36)/(-3)?
False
Let c = 0 - -4. Suppose -c = -0*x - x. Is 13 a factor of 51/x + 1/4?
True
Let p(b) = -b**2 + 5*b. Let l be p(4). Suppose 0 = -0*k - l*k + 28. Suppose -k*o + 16 = -3*o. Does 2 divide o?
True
Suppose 3*y = 36 + 3. Is y a multiple of 13?
True
Let x(r) = 3*r - 11. Does 14 divide x(16)?
False
Let s = 21 - 13. Suppose -14 = n + s. Let w = n - -58. Is 18 a factor of w?
True
Suppose 4*o = -3*l + 923, -4*l + 1179 = -10*o + 5*o. Does 33 divide l?
False
Suppose 0 = -5*z - 4*x - 8 + 101, 2*z - 4*x - 26 = 0. Suppose 4*w + n + 1 = -0*n, -2*w + 5*n - z = 0. Is 34 + -2 + (-2)/w a multiple of 17?
True
Let a(z) = z**3 + 3*z**2 - 7*z - 13. Is a(-3) a multiple of 4?
True
Let v = 15 - 11. Suppose 3*w = 6*w + v*i - 74, -3*w = i - 68. Is w a multiple of 22?
True
Let j be (-6)/(-4)*(-6)/(-9). Does 19 divide -57*-2*j/6?
True
Suppose 4*c = c + 3. Let s be (0 - (0 - c)) + 2. Suppose -2*k + 76 = 4*r, s*r - 3*k = -24 + 72. Does 14 divide r?
False
Suppose -r + n + 26 = 0, 3*r - 2*n - 60 = 18. Let t(h) = h**3 - h - 16. Let b be t(0). Let p = b + r. Is p a multiple of 10?
True
Let s be (15/6 + -1)*-2. Is 4 a factor of s*10*(-4)/12?
False
Let a = -4 + 8. Suppose 7*g + a = 3*g. Is ((-5)/4)/(g/4) a multiple of 5?
True
Let j = 1146 - 814. Suppose -3*l - 2 = -j. Does 32 divide l?
False
Let m(s) = s - 2. Let a be m(4). Let n(b) = -2 - 5*b - a*b + b. Is 8 a factor of n(-2)?
False
Suppose -6*k = -2*k + 4, -2*s - 4*k - 10 = 0. Let f = 7 + s. Suppose -v = -4*d + 10, 3*v - f*d + 4 = -v. Is v even?
True
Let z be 7*(-1 - (1 + 21)). Let t = 279 + z. Suppose -127 = -5*g + 4*a, 5*g + a - t = 2*a. Is 8 a factor of g?
False
Suppose -w = 3*w. Suppose w = 4*u - 12, 176 - 7 = 2*k - 3*u. Is 23 a factor of k?
False
Let p be 6/21 - (-920)/14. Let b = -34 + p. Is 16 a factor of b?
True
Let z(g) = -g**3 + 5*g**2 - g + 10. Let k be z(5). Let h be 4*1*5/2. Suppose c - h + 5 = -p, 3*p + k*c = 21. Is 2 a factor of p?
True
Let g(d) = -d**2 + 2. Let k(h) = h**2 + h - 2. Let n(j) = 2*g(j) + 3*k(j). Is n(-4) even?
True
Let g = -16 - -16. Suppose q - 6 = -c, g = -2*q + 4*c - 2*c + 24. Is 4 a factor of q?
False
Let l(c) = -7*c**2 + 3*c + 6. Let y be l(-4). Let w = y + 172. Is w a multiple of 18?
True
Does 4 divide 11 + -4*2/(-8)?
True
Let n(h) = -h**3 - 10*h**2 + 12*h + 16. Let t = -11 + 0. Let p be n(t). Let f(l) = l**3 - l**2 - 4*l - 4. Is f(p) a multiple of 26?
False
Let t = -15 - -17. Let n = 27 - -34. Suppose n = 2*i + 5*r - t*r, 2*r - 6 = 0. Is i a multiple of 15?
False
Let i(n) = n**3 - 4*n**2 + 2*n - 5. Is i(4) even?
False
Let c = 180 - 103. Is 34 a factor of c?
False
Suppose 112 = 3*c - 8. Is c a multiple of 10?
True
Let p be 5 - 3 - (-3 + 0). Suppose -2*c = 2*m - 3*m - p, 2 = -c - 4*m. Suppose -3*x + 29 = -c*x. Is 13 a factor of x?
False
Let o be ((-32)/(-6))/((-1)/3). Is 18 a factor of (o/(-20))/((-4)/(-210))?
False
Let t(v) = v**3 + 6*v**2 + 2*v - 12. Does 3 divide t(-5)?
True
Let h = -29 - -40. Let f(m) = m**2 - 2*m + 2. Does 30 divide f(h)?
False
Let y(p) = p**3 - 5*p**2 + 8*p. Does 8 divide y(4)?
True
Suppose -4*p + 3*d + 119 = 0, 0*p - p + 26 = -2*d. Does 7 divide p?
False
Suppose 380 = 3*n - n. Suppose -5*c - 144 = -4*k, -2*c = -4*k - 34 + n. Let d = 71 - k. Does 15 divide d?
True
Suppose 0 = 2*x + 2*x - 16. Suppose -x*c = -2*c - 8. Is 2 a factor of c?
True
Let z = 9 - 4. Is z even?
False
Let j be 46*1 - (2 - (4 - 3)). Suppose 7 = -x - 0. Let k = x + j. Does 19 divide k?
True
Let g = -6 - 2. Is (-2)/8 + (-642)/g a multiple of 23?
False
Let o = 39 + -6. Suppose 0*c - 62 = -4*c - 2*j, -4*j = c - o. Does 10 divide c?
False
Suppose 0 = 2*v + w - 64, -2*v - 4*w + 154 = 3*v. Suppose -v = -3*o + o. Is o a multiple of 6?
False
Suppose -3*z - 2*p + 35 = 0, 3*z = p + 34 - 11. Does 9 divide z?
True
Let b = 41 - 11. Does 6 divide b?
True
Suppose -3*b = -5*b. Is 5*(2 - (b - -1)) even?
False
Let m = 133 + -70. Is m a multiple of 21?
True
Let h(q) = q**3 + 8*q**2 + q + 10. Let w be -2 - (2 + 4/1). Let d be h(w). Suppose 20 = -d*t + 4*t. Is 4 a factor of t?
False
Suppose x + 2*x + 6 = 0, -3*l - 5*x = -173. Is l a multiple of 11?
False
Suppose -7*y = -2*y + 35. Let v = y + 13. Is 4 a factor of v?
False
Suppose 3*p = p - 6. Suppose 0 = -3*n - 5*l + 28, -3*n +