tor of t?
False
Suppose 2*r - 4*i - i - 61 = 0, -r + i + 35 = 0. Does 38 divide r?
True
Let y(b) = b**2 - 6*b + 3. Does 5 divide y(9)?
True
Is (-4)/14 - 58/(-7) a multiple of 4?
True
Let x(f) be the first derivative of -f**4/4 - 5*f**3/3 - 3*f**2 - 4*f - 2. Let r be x(-4). Suppose r*b + 25 = 5*b. Is b a multiple of 17?
False
Suppose -20 = -y + 10. Is 3 a factor of y?
True
Let s(k) = -2*k**3 + 2*k**2 + k + 4. Let p be s(3). Let x = -14 - p. Suppose r - x = 15. Does 15 divide r?
True
Let w be ((-38)/4)/((-1)/2). Suppose w = b + 4. Does 6 divide b?
False
Suppose 3*t - 35 = -2*t. Suppose 4*b - t - 73 = 0. Does 8 divide b?
False
Suppose 5*b + 196 = 7*b. Does 14 divide b?
True
Suppose 6*t = 4*t + 6. Suppose i - 16 = 2*y, -2*i - t*i = y - 25. Is ((-78)/(-18))/(2/i) a multiple of 9?
False
Let n(o) = 15*o. Let h be ((-3)/(-2))/(9/42). Does 21 divide n(h)?
True
Let c(j) = 24*j - 6. Is 3 a factor of c(3)?
True
Suppose 4*b = -3*p - 210 - 114, -4*p - 5*b - 431 = 0. Is p/(-10) - (-8)/(-20) a multiple of 9?
False
Let w(m) = 9*m**2 + m. Suppose 4*g = -4*f, -1 = -3*g + 2*f - 6*f. Does 4 divide w(g)?
True
Let a be (1 - 2)/((-1)/(-2)). Let u = 6 + a. Suppose u*j - 20 = 68. Is 17 a factor of j?
False
Let x(y) = 2*y**2 + y - 1. Let t be x(1). Suppose 0 = -0*d - 4*d. Suppose -4*g + 3*h + 44 = 0, d = t*g - 2*h - 25 + 1. Is 4 a factor of g?
True
Is -2 + -1 + (135 - (2 - 0)) a multiple of 13?
True
Is (36/7)/(2/14) a multiple of 6?
True
Suppose -12 - 3 = -5*n. Suppose n*r = 51 - 0. Is r a multiple of 7?
False
Let j = 2 - 0. Suppose -3*w = 2*o - 5, 5*w - j*o = 1 + 2. Suppose 0 = 5*i - 59 - w. Does 5 divide i?
False
Suppose r - 4*b + 1 = -0, 0 = 5*r + 4*b - 19. Suppose y = r*y - 10. Is 3 a factor of y?
False
Suppose 0 = -4*y + y + 15. Suppose -2*o = y*z - 0*o - 137, 5*o + 130 = 5*z. Let t = -13 + z. Does 7 divide t?
True
Let g = -15 + 10. Let a(i) = i**3 + 9*i**2 - 11. Is 20 a factor of a(g)?
False
Let z be (-5 + -2)*(-72 - 1). Suppose -86 + z = 5*u. Let r = u - 61. Is r a multiple of 12?
True
Suppose 0*q = 3*q - 54. Is q a multiple of 8?
False
Suppose 3*p - 711 = 3*v, 6*p - 4*p + 5*v - 502 = 0. Is p a multiple of 17?
False
Let p = -119 - -169. Does 25 divide p?
True
Is (-64)/(-96) - 184/(-3) a multiple of 11?
False
Let z = -379 + 673. Is 49 a factor of z?
True
Is 1/2 + 260/8 a multiple of 10?
False
Let i = -4 + 5. Let w be 9*(0 - -3*i). Let r = -7 + w. Is r a multiple of 10?
True
Is (-14 + -1)/((-18)/48) a multiple of 11?
False
Let u be (-4)/14 - (-348)/42. Suppose 4*h - 127 = -3*s, 144 + u = 4*s + h. Is s a multiple of 25?
False
Is 12 a factor of (108/16)/(15/80)?
True
Let d = -21 - -54. Does 24 divide d?
False
Suppose 0 = -3*a - 2*a. Suppose 66 = k - a*z - 4*z, 5*k = -z + 267. Is k a multiple of 10?
False
Let f(g) = 12*g. Let n be f(3). Is 8 a factor of n/6*(-8)/(-3)?
True
Suppose -47 = -4*z + 17. Is z a multiple of 8?
True
Suppose 0 = 4*y - 3*x - 66, 2*x = y - 8 - 11. Suppose -5*j + 2*t - 2 = -y, -2*j = -3*t - 14. Suppose -5 = -q - j. Does 4 divide q?
True
Let y = -457 - -651. Let w = -134 + y. Does 12 divide w?
True
Let o be (-4)/16 + 7/(-4). Let j be -4 - -4*1/o. Let x(b) = b**2 + 4*b - 4. Is x(j) a multiple of 8?
True
Suppose -4*x + 2*x = 6. Let p(l) = -l**3 + 3*l**2 - 4*l + 1. Let i be p(x). Suppose 0 = -3*t + i - 25. Does 6 divide t?
False
Let j(u) = u**2 + 9*u + 33. Is 11 a factor of j(11)?
True
Suppose 2*t - 8 = 22. Is 3 a factor of t?
True
Suppose -3*w + 2*i = -9 - 29, -3*i + 6 = 0. Does 5 divide w?
False
Suppose 0 = -3*l - 23 - 37. Let h = 42 + l. Does 11 divide h?
True
Let h = 10 - 4. Suppose s - h = -2. Is 4 a factor of s?
True
Let v(u) = u**2 + 7*u + 5. Let q be v(-4). Let f = 9 + q. Suppose g - 81 = -f*g. Does 14 divide g?
False
Let s(p) be the third derivative of 0 + 1/24*p**4 + 0*p + 1/20*p**5 + 2*p**2 - 1/3*p**3. Is s(2) a multiple of 6?
True
Let k(r) = r**2 - 9*r - 8. Let b be k(10). Let y = 7 + b. Does 2 divide y?
False
Let s be 75/7 - 4/(-14). Let q = 1 - s. Let m = q + 16. Is 6 a factor of m?
True
Let d = 12 - 7. Suppose 3*o - 7 = -4*u, -2*o - 24 = -d*u + 2. Suppose 39 = 3*b - 3*n, -2*n - 44 + u = -3*b. Is b a multiple of 9?
False
Suppose 0*b = -3*b. Is 1*(b - -1) + 3 even?
True
Suppose -26 = -r + 2*k, -3 = r - 3*k - 34. Let s = r - 4. Is s a multiple of 12?
True
Suppose 0 = 4*u + 255 + 57. Let l = u - -131. Suppose -3*b + w + 120 = 0, -7*w + l = b - 3*w. Is b a multiple of 18?
False
Let i(q) = -7*q**2 - 2*q - 1. Let s be i(-1). Let v be -2*(1 - (-255)/s). Suppose -4*t + 141 + v = 0. Does 24 divide t?
False
Let z = 10 - 5. Suppose 0 = z*o - 182 + 67. Is o a multiple of 22?
False
Let d(c) = -c**3 + 3*c**2 - c - 2. Let h be d(2). Let z be 5 + 0/(h - -1). Suppose -5*o + 82 + 90 = -4*r, -z*o + 145 = 5*r. Is 16 a factor of o?
True
Suppose 0 = 5*r + 3*b + 122, -3*r = 2*r - 4*b + 129. Let z = r - -41. Does 12 divide z?
False
Let h(t) = 2*t**2 - 3*t. Let a be h(2). Let y be a/(2*(-3)/57). Is 1/2 + y/(-2) a multiple of 8?
False
Let c = -53 - -125. Is c a multiple of 18?
True
Let r(q) = 7*q + 1. Let a be r(3). Is 12 a factor of a + -11 - 1/(-1)?
True
Let q(l) = -2*l - 10. Let y be q(-7). Suppose 4*x + 0*x - 8 = -5*r, 0 = 3*r + y*x. Does 3 divide r?
False
Let v(h) = 5*h - 2. Let x be ((-9)/(-15))/((-1)/(-10)). Is 14 a factor of v(x)?
True
Suppose -2*v - 3*g = -121, -2*v = -0*v - 2*g - 106. Does 14 divide v?
True
Let b(l) = l**3 + 3*l**2 + 2*l + 1. Let h be b(-1). Does 2 divide 4 + h - (0 - -3)?
True
Is 8 a factor of 2 - (-1)/((-4)/(-3 + -141))?
False
Let v = -18 + 21. Suppose -o = -4*j + 145, -v*o - 190 = -5*j - 0*o. Is 9 a factor of j?
False
Let m = -13 + 19. Suppose z - m*z + 20 = 0. Suppose -3*b + 40 = z*p, 0 = p - 3*b + 5*b - 10. Is p a multiple of 7?
False
Let d = -1 + 3. Suppose 0*q + d*q = 12. Does 2 divide q?
True
Let k(x) = x**3 + 8*x**2 + 5*x - 5. Is 3 a factor of k(-7)?
True
Suppose 0*d - 25 = -4*d + 3*k, -3*k + 3 = 0. Suppose -21 = -2*q + d. Is q a multiple of 6?
False
Suppose 5*p = 5*l + 1310, 6*p + l - 272 = 5*p. Is 22 a factor of p?
False
Suppose 5*s - 66 = 159. Is 6 a factor of s?
False
Suppose 3*n = n + 122. Is 13 a factor of n?
False
Suppose 3*m - 6 = -0*m. Suppose 400 = 4*h + m*d, -5*d = -h - 3*h + 372. Let u = h - 51. Is u a multiple of 12?
False
Suppose -1 = d - 4. Suppose 0 = b - d*u - 12, -b = 4*u + 2 + 7. Suppose 0 = b*z - z - 16. Is 8 a factor of z?
True
Suppose -m - 5*t = -0 + 13, t = -m + 3. Let g(n) = -n**3 + 8*n**2 - 3*n - 2. Is g(m) a multiple of 13?
True
Let t = -65 - -137. Is t a multiple of 6?
True
Suppose 5*f - 65 = -5*w, -f + 2*w + w = 3. Suppose -y + 2 = 2*q, f = -4*q + 4*y + 1. Suppose 3*o - 2*o + 2*l - 24 = q, -3*o + 4*l + 22 = 0. Is 7 a factor of o?
True
Let g(f) = f - 1. Let s be g(5). Suppose 0 = p - 26 - s. Is p a multiple of 11?
False
Let s = 65 - 44. Let c = -12 + s. Does 6 divide c?
False
Let r = 101 + -61. Is r a multiple of 10?
True
Is 38/(-3*(-3)/18) a multiple of 19?
True
Suppose 221 = 2*o - 187. Does 17 divide ((-4)/8)/((-2)/o)?
True
Let s(o) = o**3 - 5*o**2 - 6*o - 8. Suppose 0 = -4*l + 18 + 10. Is 11 a factor of s(l)?
False
Let u = 3 + 0. Is (u/2)/((-2)/(-36)) a multiple of 10?
False
Let f(j) be the third derivative of -j**4/12 - j**3 + 3*j**2. Let g = 2 + -8. Is f(g) a multiple of 3?
True
Let u = 137 - 89. Is 5 a factor of u?
False
Let x = 296 + -163. Suppose -4*o + x = -155. Is o a multiple of 12?
True
Let v = -17 - -12. Let n = v - -10. Is n a multiple of 2?
False
Let d(w) = -w**2 - 2*w + 4. Let i be d(-4). Does 15 divide (i/(-6))/((-8)/(-300))?
False
Let y(d) = -4*d - 3*d - 4 - 12*d - 1. Does 19 divide y(-3)?
False
Let z(h) = 7*h**2 + h - 1. Suppose 5*m + 3*w + 10 = w, -5*w = -4*m - 8. Is z(m) a multiple of 5?
True
Let s = 0 + 2. Suppose -s*j - 2*o = -20, -8 - 2 = -5*o. Is j a multiple of 8?
True
Let b(t) be the second derivative of 11*t**3/3 + 2*t. Is 22 a factor of b(1)?
True
Suppose 0 = -v - 2*s + 14, 2*v - 39 = 4*s + 13. Does 9 divide 5/(80/28)*v?
False
Let p(s) = -s + 4. Is 2 a factor of p(-3)?
False
Let d be (0 + 3)*6/9. Suppose 2*t = -3*v + 72, -4*t = -0*t + d*v - 152. Does 13 divide t?
True
Let k be 9/12 + 121/4. Let i = k - 13. Is i a multiple of 6?
True
Suppose -2*o - 19 - 23 = 0. Let l = o - -33. Suppose 5*k - l = k. Is 3 a factor of k?
True
Is (-8)/6*(0 + -6) even?
True
Let b = 7 + -13.