 - -10) a multiple of 9?
True
Suppose -216 = -9*c - 72. Is 4 a factor of c?
True
Let y = 651 - 303. Let z = -218 + y. Is 36 a factor of z?
False
Suppose 4*z + 12 = 0, -4*z + 176 = 4*u - 0*z. Let g = u - -3. Suppose 0 = 5*d + 2*y - g, -2*y - 46 = d - 4*d. Is d even?
True
Is (9448/28 - 3)/(3/21) a multiple of 104?
False
Suppose -y - 5*u - 29 = 0, -u - 3 - 1 = 0. Is (30/(-4) + y/(-6))*-17 a multiple of 21?
False
Let m = -31 + 34. Suppose m*k + 4*u + 33 = 111, 0 = -3*u. Is 5 a factor of k?
False
Suppose 26*z = 6*z + 33980. Is 77 a factor of z?
False
Let c(b) = -b**3 + 8*b**2 + 36*b + 14. Is 21 a factor of c(7)?
True
Let v be (-1719)/15 - 15/(-25). Let c = v + 14. Is 13 a factor of (c/(-6))/(4/12)?
False
Suppose o - 14 = -12. Suppose -930 = -5*g + 4*c, 3*g + 7*c - o*c = 521. Is 12 a factor of g?
False
Let i be -1 + (9/(-3) - 0). Let d be 26/7 - i/14. Suppose -2*l = -d*l + 10. Does 5 divide l?
True
Let y(g) = -g**2 + 112*g + 47. Does 7 divide y(88)?
False
Suppose -4*d + 28 = 4*x, -3*d + 8*x = 4*x - 42. Suppose 2*h = d, -o - h = 3*h - 196. Is 44 a factor of o?
True
Suppose -2*l = 1 - 5. Let s = 107 - 90. Let u = s - l. Is 6 a factor of u?
False
Let y = 1601 + -1129. Is y a multiple of 59?
True
Let n be ((-18)/(-12))/(6/8). Suppose 3*w - 28 = -4*o, 4*w + 0 - 8 = n*o. Is 5 a factor of (w/(-5))/((-2)/25)?
True
Suppose 2*d - 315 = -3*k + 344, 0 = -5*k - 3*d + 1099. Does 23 divide k?
False
Suppose -o - 15 = -6*o, -2*o + 1398 = 2*i. Suppose 0 = -2*x + 6, -i + 105 = -4*w - x. Does 21 divide w?
True
Let j(o) = -2*o + 4. Let d be j(14). Let y be (-3)/4*64/d. Suppose -y*t = -33 - 33. Is t a multiple of 8?
False
Let x be 3/(-12)*0 + 24. Suppose 0 = -q + 20 + x. Is q a multiple of 6?
False
Is 10 a factor of -2 - (-5 - (1935 - 2 - 6))?
True
Suppose 0 = 2*p - 2*g - 10 - 2, 5*p - 33 = 4*g. Suppose -5*i - z + 69 = 0, p*z - 4*z = -4*i + 51. Is 7 a factor of i?
True
Let p(c) = -c - 3. Let k be p(-6). Suppose -4*o + k*o + 45 = 0. Is 15 a factor of o?
True
Let i(o) = -o**2 + 5*o + 8. Let n be i(6). Suppose -n*q - q = 27. Let d = 46 - q. Does 25 divide d?
False
Let c(h) = -61*h - 176. Is 6 a factor of c(-18)?
False
Let d be (-10)/35 - 122/14. Let n = -4 - d. Suppose 0 = n*k - 97 - 3. Is k a multiple of 20?
True
Let m(q) = 84*q + 16. Is m(6) a multiple of 20?
True
Is (-40)/300 - (359688/45)/(-8) a multiple of 4?
False
Let k(x) = 2*x**2 + 5*x + 6. Let d be k(-2). Suppose 4*c + 5*w - 23 = 4, -2*w = -d*c + 62. Is 3 a factor of c?
False
Let u(d) = 4*d**2 - 81*d + 63. Is u(29) a multiple of 11?
True
Let t = 197 + 13. Is t a multiple of 5?
True
Let b = 87 + -42. Suppose 6*d - 9*d + b = 0. Does 5 divide d?
True
Let w(f) = -20*f + 24*f - 2 + f**2 - 54*f**2. Let i be w(1). Let h = i - -99. Does 12 divide h?
True
Let g = -1881 + 2820. Is g a multiple of 13?
False
Suppose -5*v + 3171 = -4*l + 189, -5*l - 15 = 0. Suppose -q + r + 119 = -69, 3*q + 3*r - v = 0. Does 46 divide q?
False
Suppose -5*h - 392 = -1257. Is 19 a factor of h?
False
Is 3 a factor of 110/(-880) + 4194/16?
False
Let i(c) = -2*c - 1. Let n be i(-8). Is 13 a factor of (5/1)/n*78?
True
Suppose 3*s - 10 = -2*s. Suppose k - 2*w = -3, 21 = 5*k - k + 3*w. Does 2 divide s*k/(-3 + 6)?
True
Let g = 2912 - 1541. Does 14 divide g?
False
Let f(v) = -v**2 + 5*v. Let w(o) = o**3 - o + 5. Let c be w(0). Let n be f(c). Is 14 a factor of 24 + n*(-2)/(-4)?
False
Let x(q) = q**2 + 9*q + 20. Let d = -49 - -34. Let g be 3*(-1 + d/9). Does 4 divide x(g)?
True
Is 107 a factor of 2039 - 4*7/(-28)*-6?
True
Let z = 18 - -12. Let m be -1 + (-2)/2 + (-2 - 131). Does 27 divide (z/(-25))/(6/m)?
True
Suppose 11*g + 230 = 16*g. Does 21 divide g?
False
Let g(o) = 4*o + 5*o**2 + 647 - 4*o**2 - 643. Let u be 2/8 - 87/12. Is 6 a factor of g(u)?
False
Let d(n) = 2*n**2 + 20*n - 7. Let h(c) = c**2 + 19*c - 8. Let g(q) = 5*d(q) - 6*h(q). Is g(5) a multiple of 7?
False
Let j(o) = -o**2 - o + 6. Let k be j(-6). Let f = k - -59. Is 17 a factor of f?
False
Suppose 25*l = 24*l + 57. Is 12 a factor of l?
False
Let a be 2/1 - 0/(-6). Suppose 2 = -2*j - 5*p, 0 = -a*j + 4*j - 4*p - 16. Suppose -22 = -o - j. Does 18 divide o?
True
Let y(x) = x**2 - 7*x + 4. Suppose 0*n - 3*n + 24 = 0. Does 12 divide y(n)?
True
Suppose -5*h + 6*h = 123. Suppose 17 = 4*a - h. Let w = a + -21. Does 3 divide w?
False
Suppose -f - 836 - 694 = -5*u, u - 4*f - 306 = 0. Does 17 divide u?
True
Let z(x) be the first derivative of 2*x**3/3 - 7*x**2/2 + 5*x - 3. Let f be z(4). Let r(p) = 5*p - 11. Does 14 divide r(f)?
False
Does 7 divide 6*(-210)/(-72)*2?
True
Suppose 742 = -y + 954. Does 3 divide y?
False
Let z = 6 - 6. Let h(p) = -p**3 + 2*p + 30. Is 6 a factor of h(z)?
True
Let d = 4749 - 3127. Does 30 divide d?
False
Let p(v) = 11*v - 34. Let s be p(3). Is 11674/117 + (14/(-18) - s) a multiple of 25?
True
Let v = 205 - 122. Let j = v + -61. Is 12 a factor of j?
False
Let l(k) = -k**2 - 4*k - 4. Let p be l(-2). Suppose 0 = -c - p*c. Does 7 divide (-16)/(-6)*(3 + c)?
False
Let s(d) = 3*d**2 - 25*d + 39. Does 8 divide s(10)?
False
Let i be (-1)/((-1)/(-5))*-1. Suppose 0 = h + 2 - i. Suppose h*v - 11 = 130. Does 12 divide v?
False
Let g = 648 + 592. Is g a multiple of 20?
True
Suppose o - 5*h = -15, 4*o - h - 32 = -4*h. Suppose 11*n - 72 = o*n. Does 2 divide n?
True
Let i(w) = -11*w + 12*w - 17*w + 20. Is i(-3) a multiple of 12?
False
Suppose -4*z = -1519 - 2393. Does 36 divide z?
False
Let r(c) = -11*c**2 + 10*c**2 + 26*c - 19 - 29 - 5. Does 7 divide r(22)?
True
Suppose -b = 2*w - 45 - 45, -b + 5*w = -62. Let s be 2/7 - b/(-7). Suppose v + s = 4*v. Is v a multiple of 4?
True
Let d = 265 + -252. Does 4 divide d?
False
Let u(q) = -q**3 + 3*q**2 + 12*q - 6. Let s be u(5). Suppose -s*w - l + 0 = -3, 4*l = -20. Is 4 a factor of 105/9 + w/6?
True
Suppose -3*k = -6 - 3. Suppose -5*o + 118 = -5*q - 167, 55 = o - k*q. Does 13 divide o?
False
Let z(i) = -7*i - 41. Let c be z(-5). Is 9*-1*8/c a multiple of 6?
True
Let m = 59 - 34. Let y be 16 + -2 + -4 + 2. Let h = m - y. Is 6 a factor of h?
False
Suppose -k + 158 = 3*k - 2*y, 5 = 5*y. Suppose -k*a - 63 = -43*a. Is a a multiple of 21?
True
Suppose -88*h = -o - 86*h + 1922, -3*o = 4*h - 5716. Does 60 divide o?
False
Suppose -3*s + q - 36 = -5*s, 5*q + 44 = 4*s. Let c = 38 + s. Is c a multiple of 11?
False
Let y(m) be the first derivative of m**4/4 - 4*m**3/3 - 4*m + 4. Let f be y(4). Is (-2)/(f*(-3)/(-66)) a multiple of 11?
True
Suppose 4*n - 16 = 8*n. Let i(s) = -s**2 - 8*s + 10. Let a(l) = 2*l**2 + 17*l - 19. Let r(z) = n*a(z) - 7*i(z). Is r(-10) a multiple of 13?
True
Is (1 - 4)*68/(-3) - -4 a multiple of 3?
True
Suppose 4*o + 3*c + 8 = -2*c, -4*o - c = -8. Suppose 2*i = 5*w - i - 391, -255 = -o*w - 5*i. Does 20 divide w?
True
Suppose -4*y + 0 = 2*l - 24, 2*l - 14 = -2*y. Suppose -3*g + y*o + 568 = 0, -3*o + 17 - 5 = 0. Does 19 divide g?
False
Let r = -13 + 17. Suppose 0 = r*u - 3*u - 11. Suppose -32 + u = -3*p. Is p a multiple of 4?
False
Let t(h) = 114*h**2 - h + 1. Is 38 a factor of t(1)?
True
Suppose 7*q = 2*q + 15. Suppose -q*v = v - 4. Is 9 a factor of 27/v + 0 + 0?
True
Let a(x) = -8*x + 18 + 2*x + 14*x**2 + 7*x + x**3. Let r be a(-14). Suppose 3*f + 0*u - 48 = r*u, 0 = -2*u. Is f a multiple of 13?
False
Let x = -41 + 42. Let w(j) = 89*j**3 + 2*j**2 - j. Is 6 a factor of w(x)?
True
Suppose 4*z + 27 = p + 402, -z = 3*p + 1125. Let f = -221 - p. Does 22 divide f?
True
Let t be (-130)/(-455) + (-1 - (-16)/(-7)). Is 30 a factor of 8/20 + 2829/15 + t?
False
Let o(a) = 5 + a**2 + 3*a**2 + 0*a - a. Let q be o(-5). Suppose 2 = 4*s - q. Is 10 a factor of s?
False
Is 9 a factor of 402*(-3)/(-6) - (-7 + 12)?
False
Suppose -2*z = 4*d - 4380, 3*z + 2*d = 5079 + 1491. Is 28 a factor of z?
False
Let a(x) be the first derivative of x**2/2 + 5. Let j(t) = t**2 + 3*t - 15. Let n(g) = -6*a(g) - j(g). Is n(-9) a multiple of 5?
True
Let p(n) = 57*n - 33. Does 39 divide p(4)?
True
Let n(h) = -h**2 - 9*h + 2. Let b be n(-9). Suppose 3*m = b*y + 64 - 261, -3*y - 2*m = -302. Is y a multiple of 22?
False
Let z be (2 + (3 - 6))*-4. Let f be 0*(-1)/z*-2. Does 12 divide 1/((-4)/(-192 + f))?
True
Is 3*126 + 28 + -22 a multiple of 16?
True
Suppose 0 = 8*k + 14*k - 11308. Does 12 divide k?
False
Does 18 divide (-352)/(1 - -3)*-9?
True
Suppose 2*r - 3 = 11. Suppose 2*d -