g be f(-6). Suppose 4*r - 213 = 5*o, r - g*r + 4*o = -67. Is 16 a factor of r?
False
Let f(o) = o - 4. Let c be f(7). Let w = 1 - c. Is 2 a factor of (w + -4)*(-2)/3?
True
Let v(b) = -13*b - 1. Let r be v(-1). Suppose -p - 3*p = -r. Suppose 2*z = -p*z + 20. Is z a multiple of 2?
True
Let y be (6/10)/((-2)/(-10)). Let z(p) = -2*p**2 + y*p**2 + 2*p + 0*p. Is 2 a factor of z(-3)?
False
Suppose 6*p + 2*p - 2616 = 0. Is 37 a factor of p?
False
Let t(v) = 2*v**2 - 7*v + 3. Let l be t(5). Suppose 5*n - l = 2. Is n even?
True
Let j = 240 - 90. Is 15 a factor of j?
True
Let i(p) = 3*p + 16 - 16. Is i(3) a multiple of 9?
True
Does 8 divide ((-205)/10 - -3)*-2?
False
Suppose 2*c - 3*c = 6. Let p be c/15 - 206/10. Let k = -2 - p. Does 19 divide k?
True
Let t(h) = -h**3 + h**2. Let k be t(-1). Suppose -54 = 3*w - 3*r, -k*w = -4*r - 0*r + 34. Is (-4)/(-6) + w/(-3) a multiple of 7?
True
Let p(b) = 29*b**2 + 2*b - 3. Let k(t) = t + 5. Let w be k(-3). Let n be p(w). Suppose -3*g = 3, -5*x + g + g + n = 0. Is x a multiple of 19?
False
Suppose -183 + 11 = -2*t. Let i = -50 + t. Does 20 divide i?
False
Let a be (-5 - -6)*(1 + -3). Let x(q) = -3*q - 1. Is 5 a factor of x(a)?
True
Suppose -2*p + 0*p = -2*x + 610, 4*x = -p + 1220. Let l = 428 - x. Suppose 4*d - 41 = -4*h + l, 3*d = -2*h + 127. Is 15 a factor of d?
True
Suppose 3*i = i + 32. Is i a multiple of 5?
False
Let k(y) = 2*y**2 - 4*y - 17. Does 7 divide k(-5)?
False
Let m = -12 + 74. Does 5 divide m?
False
Is (3/6)/(4/88) a multiple of 2?
False
Does 17 divide (-5)/2*(-260)/25?
False
Is 8 a factor of (-2 - 19)*(-6)/9?
False
Let j(y) be the third derivative of 3/2*y**3 + 1/60*y**5 + 0*y + 1/4*y**4 + 2*y**2 + 0. Is j(-6) a multiple of 3?
True
Let u = 28 - 20. Let k = u - 0. Is k a multiple of 8?
True
Let b(i) = i**3 - 15*i**2 + 14*i + 18. Is 5 a factor of b(14)?
False
Let h(a) = 7*a + 13. Let n(i) = -4*i - 7. Let t(g) = -3*h(g) - 5*n(g). Let q be t(4). Is 10 a factor of 16/6*(-30)/q?
True
Let p(c) be the second derivative of -c**4/12 + 7*c**3/6 - 3*c**2/2 - 2*c. Is p(6) even?
False
Suppose 0 = -0*j + j - 30. Is j a multiple of 12?
False
Suppose -32 = -0*w + 4*w. Let j = w - -12. Suppose j*l = 39 + 61. Is 13 a factor of l?
False
Is 4 a factor of 980/126 - (-4)/18?
True
Suppose 5*s - 2*u + 2 = 0, 1 = -4*s + u - 0. Let h(f) = 8*f. Let o be h(5). Suppose -4*r - b + 25 = s, -3*b + o = 5*r - 0*b. Does 3 divide r?
False
Let g(m) = m**2 + 9*m - 10. Suppose -4*d - 54 = 2*c, 19 = -4*d + 2*c - 15. Does 12 divide g(d)?
True
Let q(h) = -h - 1. Let p be q(2). Let r(i) = -5*i - 1. Is 14 a factor of r(p)?
True
Suppose 5*v - 35 = 5*b, -2*b = -2 - 6. Does 10 divide v?
False
Suppose 9 = 2*d + r - 25, 4*r + 29 = 3*d. Does 3 divide d?
True
Let v = -1 - -5. Suppose 15 = c - m + 4*m, v = m. Suppose -3*j + 5*q = -j + 15, -c*j + 2*q + 5 = 0. Does 2 divide j?
False
Suppose l + 22 = g - 6*g, 4*g + 29 = 3*l. Suppose -l*w + 273 + 23 = 4*b, 4*w - 3*b = 403. Suppose 3*i + i - w = 0. Does 10 divide i?
False
Suppose 0 = -6*a + 173 + 73. Does 9 divide a?
False
Suppose 3*p + 33 - 261 = -5*i, 4*p + 16 = 0. Does 11 divide i?
False
Suppose 2*u + 0 + 8 = 0. Let d(q) = q**2 + 3*q + 6. Is d(u) a multiple of 4?
False
Let y be (-3)/((-2)/(2/1)). Suppose 0 = 2*s - 4*c - 2, 0*c - 2*c = s - 9. Suppose 0 = y*w - 4*w - 2, 3*w = -s*g + 39. Is 8 a factor of g?
False
Let s(g) = -15*g - 4 + 6 - 3. Let v be (0 + 2/(-1))*1. Is 15 a factor of s(v)?
False
Suppose 2*r + 7*r = 54. Does 3 divide r?
True
Is 4 a factor of ((-3)/5)/(3/(-60))?
True
Does 7 divide -1*(0 + -4 + -39)?
False
Let o = 24 + 0. Is o a multiple of 12?
True
Suppose x - 4*o - 104 = -3*x, 3*x = -2*o + 78. Suppose x + 34 = 4*n. Let f = n + -3. Is f a multiple of 10?
False
Suppose -w = 3*r - 28, 0 = -0*w - w - 4*r + 26. Is w a multiple of 14?
False
Let y = 8 - 6. Let f be 0/1*(-1)/y. Suppose f = -g - 4 + 13. Is 5 a factor of g?
False
Let w(y) = 3*y**3 + y**2 - y + 1. Let s be w(1). Suppose s*a = -5*d - 110 - 413, -4*d + 294 = -2*a. Is 12 a factor of a/(-4) - 4/16?
False
Suppose 2*s = 2, -s - 605 = -w - w. Is w a multiple of 66?
False
Let o be (1/3)/((-1)/(-6)). Suppose 0 = o*j - 25 - 17. Is 12 a factor of j?
False
Suppose -2*u + 12 = q + 2*q, -3*q - u + 9 = 0. Is 14 a factor of (q + -1 - -29) + 1?
False
Let h be (-4)/6*84/(-8). Let d = 0 + h. Is 7 a factor of d?
True
Is 2 a factor of (-6)/(-9)*(-66)/4*-1?
False
Let s = 40 + -21. Is s a multiple of 6?
False
Suppose 8 - 72 = -4*b. Is 16 a factor of b?
True
Let o(l) = 16*l**2 + l - l - 1. Suppose -n - 2*n = 3. Is o(n) a multiple of 6?
False
Let k = 71 + -53. Is 13 a factor of k?
False
Let g(b) = -b**2 + 6*b - 6. Let d be g(4). Suppose -34 = -d*c + 134. Suppose 2*i + i - c = 0. Does 19 divide i?
False
Is 12 a factor of 3 + 6 + (-1 - -4)?
True
Let k(u) = 5*u**2 + 2*u - 6. Does 6 divide k(-3)?
False
Let o(v) = -v**2 + v. Let j be o(-1). Let h = 14 + j. Does 3 divide (1 + 0)/(2/h)?
True
Let y be ((-2)/(-6))/(1/6). Suppose -31 + 214 = 3*b. Suppose 5*v + y*u - b = 0, 4*v + u - 2*u = 41. Is 6 a factor of v?
False
Is -2*((-21)/2 - 1) a multiple of 23?
True
Suppose 0 = y - 80 + 34. Is y a multiple of 20?
False
Let v be 6/9 - 176/(-6). Let x(l) = -l**2 - 4*l + 2. Let n be x(-4). Is (-1)/((-1)/n) + v a multiple of 18?
False
Suppose -3*r = 4*o - 170, 3*r - 208 = -2*o - 48. Is 25 a factor of r?
True
Suppose 0 = -3*c - c - 20. Let n = -10 - c. Is 3 a factor of (-6)/10 - 23/n?
False
Let t = 13 + 25. Let n = -8 + t. Is n a multiple of 15?
True
Let b(z) = 4*z - 24. Is b(11) a multiple of 2?
True
Suppose 0 = 7*c - 18 - 255. Is c a multiple of 13?
True
Let o(v) = 7*v - 1. Let r(q) = q + 3. Let c be r(0). Let y be 2 + 0 - (-4 + c). Is 15 a factor of o(y)?
False
Suppose 6 = -2*x + 2. Is (x/3)/((-8)/156) a multiple of 13?
True
Suppose -5*v + 41 = -699. Does 31 divide v?
False
Suppose 0 = 4*s - 23339 + 1723. Let g be s/8 - 1/2. Does 10 divide (4/5)/(18/g)?
True
Let x = 8 - 12. Is 6 a factor of (-2)/x - 57/(-6)?
False
Let z = 5 + -3. Suppose 4*c - z*i - 3*i = 41, -c - 21 = 5*i. Suppose -72 = -5*k - x, k + c*k - 2*x = 66. Is k a multiple of 14?
True
Suppose 0 = 5*w - 0*w. Suppose -2*q - 3*q + 165 = w. Does 11 divide q?
True
Suppose 0 = j - 131 - 31. Is 6 a factor of j?
True
Let b(s) = -s**2 - 14*s + 3. Let r be b(-14). Suppose 3*w = -r*t + 135, 5*w = 4*t + w - 140. Does 15 divide t?
False
Let r = 10 + 96. Let p = r - 51. Is p a multiple of 19?
False
Let b = 2 + -1. Let r(f) = 42*f**3 - f + 4. Let x(l) = 43*l**3 - l + 5. Let d(o) = 4*r(o) - 3*x(o). Is d(b) a multiple of 16?
False
Let a be 2/(-11) - (-2)/11. Is a + 2 - (-74 - 3) a multiple of 20?
False
Let a(i) = i + 3*i + 0*i + 0 - 3. Let y = 0 - -3. Is a(y) a multiple of 3?
True
Suppose 3*z + 5*s - 41 = 4, 5*s - 35 = -2*z. Does 3 divide z?
False
Suppose 4 = 5*i - 11. Suppose i*w - 63 - 6 = 0. Is 21 a factor of w?
False
Suppose 0*z = -3*z - 57. Let u be (9/12)/((-2)/104). Let q = z - u. Is 7 a factor of q?
False
Let d = -14 - -28. Does 4 divide d?
False
Let d = 14 + -10. Suppose -d*u + 13 = -11. Does 4 divide u?
False
Let l = 24 - 23. Let r = l - -35. Is 12 a factor of r?
True
Let l(w) = 6*w**2 - 2*w + 1. Let v be l(1). Suppose 3*s + 0*d = v*d + 134, 0 = -s + 3*d + 50. Is 19 a factor of s?
True
Suppose 0 = -2*n + 6, 0 = 7*w - 3*w - n - 53. Is w a multiple of 3?
False
Does 32 divide 3/(-4) - (-3123)/36?
False
Suppose 6*g = 2*g + 44. Let z(o) = o**2 - 2*o. Let l be z(g). Let d = l + -71. Is d a multiple of 9?
False
Let d(p) = p**3 + p**2 - p. Let h be d(-1). Let v(b) = -9*b**2 + 3*b + 5. Let q(k) = 5*k**2 - 2*k - 3. Let y(f) = -5*q(f) - 3*v(f). Does 3 divide y(h)?
True
Let i(w) = -w**2 + 10*w + 14. Let h be i(11). Suppose -h*g = 4*x - 11, -3*g = -4*x - 0*x - 19. Is -2 + 23 - 2 - x a multiple of 15?
False
Let x(j) = 10*j - 5. Is x(4) a multiple of 5?
True
Let f = 33 - -11. Does 22 divide f?
True
Let x be (-2 - (2 - 6)) + 12. Suppose 4 = 5*r + x. Let p(o) = 3*o**2 - 2*o - 1. Is p(r) a multiple of 12?
False
Suppose 5*k - 30 = -5*z, 3*z = -2*k + 6 + 4. Suppose -7*d - 6 = -k*d. Is 2 a factor of d?
True
Suppose -2*n + i + 28 = -n, -i + 132 = 4*n. Let t be (-8)/36 - n/18. Does 14 divide t/9 + (-768)/(-54)?
True
Suppose 8*a - 3*a = 0. Is (17/(-1))/(-1 + a) a multiple of 7?
False
Suppose 0 = -2*p + 5*p. Suppose p*z + 33 = 3*z. Let s = z +