e of 10?
False
Suppose -18*f = -809 - 343. Does 5 divide f?
False
Suppose 173 = -10*i + 11*i. Suppose -i*n + 8 = -171*n. Is 4 a factor of n?
True
Let i = -51 - -211. Does 4 divide i?
True
Let u(n) = 173*n**2 - 33*n + 139. Is u(4) a multiple of 37?
True
Suppose -5*d - 25 = 0, -d = -3*y - 5*d + 52. Is y a multiple of 8?
True
Suppose 7*q = 225 + 713. Is 53 a factor of q?
False
Let b = 1674 + -932. Is 53 a factor of b?
True
Suppose z + 3 - 4 = 0, -3*i + 165 = -3*z. Is i a multiple of 28?
True
Let t(g) = 241*g - 40. Is 39 a factor of t(2)?
False
Let r = 53 + -49. Does 9 divide 2 - (-50)/(r - 34/9)?
False
Is 1/(2/1680)*10/5 a multiple of 7?
True
Suppose 0 = -4*c - 6*c + 3200. Is 16 a factor of c?
True
Suppose -9*l + 3*l = -2520. Suppose -f - f = -l. Does 30 divide f?
True
Suppose 0 = -f + 197 + 163. Suppose -l - 120 + f = 0. Is 30 a factor of l?
True
Suppose 3*y - 3*q - 113 = y, 4*y - 2*q = 206. Suppose y = i - 4*k, -5*k - 95 = -2*i - 0*k. Let a = 45 + i. Does 30 divide a?
True
Suppose -53 + 449 = 3*g - 5*h, 0 = -3*g - 5*h + 396. Is g a multiple of 22?
True
Let g be 10/10 - -1*(-379)/(-1). Suppose 3*w = 4*f - 0*f + g, w = -f + 115. Is w a multiple of 20?
True
Let j = 3247 - 1787. Does 61 divide j?
False
Does 17 divide (33/55)/((-1)/(-85))?
True
Let o be (1 - 0)/((2/203)/2). Suppose n - 266 = -3*n - 2*g, 3*n = -5*g + o. Is 11 a factor of n?
True
Suppose 0*p = 2*p - 1428. Does 6 divide p?
True
Suppose -4*l + 442 = -1014. Suppose 3*p = l - 136. Is p a multiple of 15?
False
Let o = 3 + -7. Let k = o + 1. Is 15 a factor of (29 - (k - -4)) + 1?
False
Let i(b) = -5*b + 3. Let s be i(0). Suppose -399 = -s*m - 4*m. Does 19 divide m?
True
Let g(s) = 101*s**2 + 18*s + 6. Is 21 a factor of g(-3)?
True
Does 19 divide 16/(-4)*-1 + (1102 - 7)?
False
Let t(r) = -3*r + 7. Let h be t(-6). Let b = h - 22. Suppose -5*u + 122 = -2*l, -b*l - 3 = -u + 11. Is 4 a factor of u?
False
Is (10/(-35))/(3/(-9303)) a multiple of 18?
False
Suppose -z + 130 = -6*z. Is (-6)/(-4) + z/(-4) a multiple of 3?
False
Suppose -4*l + 5*q + 35 = 0, -5*l + 0*q + 10 = 5*q. Suppose -4*w + l*d = 51, 5*w + 47 = -4*d - 27. Let n = 40 + w. Is n a multiple of 13?
True
Let y = -56 + 60. Suppose -4*o = y, -b - 268 = -3*b - 4*o. Does 17 divide b?
True
Let w(r) = -r**3 + 14*r**2 + 20*r - 185. Does 61 divide w(13)?
True
Let i(n) = -22*n - 150. Is i(-22) a multiple of 5?
False
Let b(s) = 4*s + 28. Let l be b(-7). Suppose -124 = -l*d - 4*d. Is d a multiple of 6?
False
Let q(k) = -k**3 - 9*k**2 + 4*k - 8. Let z be q(-10). Let w = z - 32. Is 2 a factor of w?
True
Let a(l) = 30*l + 6. Let z be a(5). Suppose 0 = -5*g + g + z. Does 16 divide (-1)/(-2)*-8 + g?
False
Suppose z = 49*a - 53*a + 925, z - 960 = 3*a. Is z a multiple of 18?
False
Let v = -32 + 34. Suppose -v*t + 4*t = 290. Does 8 divide t?
False
Let m(y) = -2*y**3 - 11*y**2 + 24*y + 11. Is m(-12) a multiple of 29?
True
Let n be -11 + 0 + 2 + -2. Let z be (-442)/n + 4/(-22). Suppose 4*u = -2*j + z, -j + 18 = u - 1. Does 9 divide j?
True
Let h(c) = -c**3 - 5*c**2 + 6*c + 3. Let b be h(-5). Let l = b + 17. Does 12 divide l/(-25) - (-356)/10?
True
Does 8 divide -5 + (0 - -9) - -1075?
False
Let o(h) = -h**2 - 4*h - 2. Let u be o(-11). Let s = u + 187. Does 27 divide s?
True
Let t(w) = -w**2 + 10*w + 16. Let a be t(-8). Let d = 49 - a. Is 14 a factor of d?
False
Let y = 33 - 28. Let q(r) = -2*r + 15. Is q(y) a multiple of 3?
False
Suppose -7*f + 922 = -4*f - 5*k, -2*f + k = -610. Is f a multiple of 19?
True
Suppose 0 = -14*j + 9*j + 500. Suppose -104*t = -j*t - 1224. Does 51 divide t?
True
Suppose b + 2*o - 32 = 0, -4*b + 165 = b + 5*o. Suppose 4*a + 0*a + b = q, -2*a - 38 = -2*q. Let j(i) = i**2 - 8*i + 6. Is j(q) a multiple of 14?
False
Let b = 4 - 2. Let n(m) = m**3 + 5*m**2 - 7*m - m**2 - m + 2*m**b - 6. Is 10 a factor of n(-5)?
False
Let m = 64 - 14. Suppose 0 = 2*y - 0*y + 52. Let s = m + y. Does 17 divide s?
False
Let u = -15 + 20. Suppose 5*h + 40 = 2*t, -u*h = -h + 16. Suppose 0 = 4*d - 3*c - 29, 2*d - 3*c - t + 3 = 0. Does 2 divide d?
False
Let p(q) = -q**3 - 3*q**2 - 4. Is p(-4) a multiple of 6?
True
Suppose -7 = -2*y + 3. Let x(m) = 8*m - 7. Does 11 divide x(y)?
True
Let v(z) = -z**2 + z + 1. Let h(y) = -4*y**2 + 5*y + 2. Let j(r) = -h(r) + 3*v(r). Let n be j(4). Suppose -w - 2 = -n. Is w even?
False
Suppose -2*k - k = -90. Is 9/15 + 1182/k a multiple of 5?
True
Let n = 31 + -31. Does 32 divide (-20)/(-10) - (-114 + (n - 1))?
False
Suppose 2*k = -3*y + 656, -2*y = -4*k - 506 + 58. Is y a multiple of 4?
True
Let q = 370 + 143. Is q a multiple of 19?
True
Is 3 a factor of (-27)/(-12) - (-78)/104?
True
Let o(q) = 15*q + 6. Let g be -4 - (-1 - -9) - -4. Let m(s) = -5*s - 2. Let t(a) = g*m(a) - 3*o(a). Does 13 divide t(-3)?
True
Let m be 112/(-42)*2/((-12)/(-135)). Is 5 a factor of ((-28)/(-8))/((-6)/m)?
True
Let y(o) = 8*o + 1. Suppose 4*j = -4*x + x + 27, -x + 3*j = 4. Is y(x) a multiple of 10?
False
Let j be 8*(-4)/8 + 7. Let m = 7 - j. Suppose m*r - 132 = -4*a + 8, -4*r + 62 = 2*a. Is a a multiple of 39?
True
Let v be (6 + -5)*(0 - -1). Suppose -89 = -3*j + v. Suppose 3*o = o + j. Is o a multiple of 5?
True
Let i be ((-50)/(-30))/((-1)/(-63)). Suppose 3*c = -2*c - i. Is (28/c)/((-2)/66) a multiple of 22?
True
Suppose 4*q - 96 = -2*z, -3*q - q = 8. Is 9 a factor of z?
False
Suppose -i + 2 = -y, 4*y = i + 1 + 3. Suppose 0*h + 8 = i*h. Suppose 4*r - 4*o = -5*o + 79, -6 = -h*o. Is r a multiple of 11?
False
Suppose -4*m + 2*j - 4*j + 920 = 0, 0 = 2*j. Is 23 a factor of m?
True
Let s(w) = 16*w + 1. Let v be s(1). Suppose -3*d - 2 + v = 0. Suppose 0 = -5*u - m - m + 257, -281 = -d*u + 4*m. Is u a multiple of 22?
False
Let b = -13 - -17. Suppose 62 = 3*l - 0*w - 5*w, -w = -b*l + 94. Is l a multiple of 12?
True
Suppose -2*x + 2 - 17 = 5*l, -3*l = 3*x. Suppose 4*f - f + x*i - 107 = 0, -2*i = 4. Suppose 2*k + 3*z = f + 27, -4*z = -3*k + 65. Is 9 a factor of k?
True
Let z(k) = k**2 + 8*k + 83. Is 6 a factor of z(-10)?
False
Let x = 154 - -781. Suppose 2*n + 4*f = 313 + 89, 4*f = 5*n - x. Is 19 a factor of n?
False
Let x(v) = 35*v**3 + 3*v - 4. Is x(2) a multiple of 47?
True
Let i be ((-10)/25)/((-3)/195). Suppose 5*g - i = -1. Suppose -g*t - 4*d + 102 - 10 = 0, -3*t = -3*d - 66. Is 5 a factor of t?
True
Suppose -5*a - 134 + 2234 = 0. Is a a multiple of 20?
True
Is 3 a factor of (-2)/(-8) + -3 + 159/4?
False
Suppose -80 = -3*c - 2*c. Suppose -3*k + c = 4*b - 21, -k + b = -17. Does 13 divide k?
False
Let v = -75 + 127. Suppose 8 + v = 2*t. Is t a multiple of 10?
True
Let a be ((-487)/(-1) - 2) + (-15)/5. Suppose -3*k + 5*k - a = -4*v, 5*v - 4*k = 609. Is v a multiple of 32?
False
Let g(w) = -w**3 + 5*w**2 + 9*w - 15. Let m(n) = n**3 - 6*n**2 - 8*n + 16. Let c(h) = 3*g(h) + 4*m(h). Does 6 divide c(10)?
False
Let n(q) be the first derivative of q**4/4 - 13*q**3/3 - 13*q**2/2 + 9*q + 9. Does 23 divide n(14)?
True
Let r = 16 + -4. Let b = r - -15. Let d = -14 + b. Is 11 a factor of d?
False
Let p = 5 + -37. Let w = p + 84. Is w a multiple of 35?
False
Suppose -1698*a + 1695*a = -3801. Is a a multiple of 29?
False
Let m(n) = 8*n - 3. Suppose 5*s - 4 = 21. Is m(s) a multiple of 14?
False
Suppose -2*i - 8 = -6*i, -3*d = 3*i - 375. Let f = -70 + d. Is f a multiple of 18?
False
Suppose 0 = a - 3 - 2. Suppose a*x - 73 = 142. Does 12 divide x?
False
Let w(p) = 10*p - 6. Let n be w(3). Let a(f) = f**3 - 24*f**2 - f + 35. Does 8 divide a(n)?
False
Let m = -3 + 66. Let y = -40 + m. Does 4 divide y?
False
Suppose 3*q = -q. Let u(t) = 2*t + 3. Let y be u(q). Suppose -74 = -r - r - y*x, 0 = -r + 3*x + 28. Does 8 divide r?
False
Let l(g) = 2*g**2 + 37*g + 27. Let t be l(-19). Let n = 76 - t. Is 10 a factor of n?
True
Let f(n) = 290*n + 27. Let t be f(2). Suppose -8*c + t = -473. Does 7 divide c?
False
Let d(i) = i**2 - 3*i - 6. Let m be d(5). Suppose -3*p = -5*p + m. Suppose 6*q - 76 = p*q. Is 19 a factor of q?
True
Suppose -68*p = -79*p + 2772. Is p even?
True
Is -38 + 39 - 55*-11 a multiple of 9?
False
Let o = 2060 - -366. Is 121 a factor of o?
False
Let d(o) = -2*o**3 - o**2 - 8*o - 5. Does 52 divide d(-5)?
True
Let z(x) = 2*x**2 + 50*x + 3. Let c be z(-25). Suppose -2*v + 6 = b, -b - 4*v + c - 1 = 0. Is b a multiple of 3?
False
Suppose -3*k + 218 = -4*t - 5503, -2*k = 3*t