05 = -3*x, -9*x + 13*x = i - 6109. Is i a multiple of 13?
False
Let i = -26 - -29. Suppose 0 = 4*o + t - 101, -7*t = -2*o - i*t + 28. Suppose -35 = -c - o. Does 11 divide c?
True
Suppose -o - k + 5713 = 9*k, -o + 5*k + 5713 = 0. Does 87 divide o?
False
Suppose 3*p + s - 10 = 0, -2*s + 20 = 3*s. Suppose -93 = p*k + 121. Let z = -21 - k. Is 11 a factor of z?
False
Is 34 a factor of 12920/304*(-5232)/(-10)?
True
Suppose q - 3*q = -4*m + 128, 4*q = -16. Let t = -39 + m. Does 16 divide (-112)/(-6)*t*6/(-36)?
False
Let d = -52644 + 89268. Is 163 a factor of d?
False
Let q(u) = -2*u**2 - 169*u + 14. Let d(l) = 3*l**2 + 239*l - 21. Let k(c) = 5*d(c) + 7*q(c). Let g = 10 + -30. Is k(g) a multiple of 9?
True
Does 10 divide (-6912)/32*((-5)/20)/((-1)/(-18))?
False
Let l = -78 + 74. Let j be 15/(-7 - l) - -21. Let r = 44 + j. Does 15 divide r?
True
Suppose -15*o = -7*o - 984. Let k = o - 118. Suppose -3*i - 5*m + 129 = 0, -129 = -3*i - 3*m + k*m. Does 13 divide i?
False
Suppose 4*m + 15*m + 14*m = 87186. Is m a multiple of 7?
False
Let k(n) = n**3 + 6*n**2 + 2*n. Let g be k(-4). Suppose -17*l - 1596 = -g*l. Is l a multiple of 19?
True
Let v(a) = -54*a**2 - 21*a - 5. Let y be v(-2). Let k = 284 + y. Is 5 a factor of k?
True
Suppose 0 = 2*j - 5*m - 630, -2493 + 935 = -5*j + 4*m. Suppose -3*h = -29*h + 1560. Suppose 2*z - j - h = s, z - s = 184. Is 19 a factor of z?
False
Suppose 5*h = -7 + 62. Let g = 15 - h. Does 7 divide (-111)/(-2)*3*g/18?
False
Let i be (1 + -10)/(3/(-127)). Let q = i + -152. Does 26 divide q?
False
Suppose 4*f + 5*o = -173 - 114, -2*f = 2*o + 142. Let d = f + 208. Does 35 divide d?
True
Let k(i) = 5*i + 30. Let m be k(-2). Let u = m + 91. Is 6 a factor of u?
False
Let n(z) = -72*z + 536. Is 10 a factor of n(3)?
True
Suppose -19600 = -33*w + 9440. Suppose -783*i + 781*i + w = 0. Is 19 a factor of i?
False
Let m(t) = -2*t**2 + 12*t + 88. Let c be m(13). Suppose 4*h - 3*h + 5*j = 6, -j = 3*h - 18. Is 19 a factor of (-3 - c/h)*6?
True
Suppose 4*p = -22 - 2. Does 7 divide (-1053)/(-36)*(-16)/p?
False
Let r be (-20)/(-3) - 2/3. Let n be (15 + (0 - (-1 - 4)))*19. Suppose 2*b = -4*u + 304, u + n = r*u - 4*b. Does 11 divide u?
False
Let m = 126 + -123. Suppose -m*l - 579 = -1311. Is l a multiple of 24?
False
Suppose -13*v + 12*v = -4*r - 5850, -v + 5*r = -5853. Is v a multiple of 278?
True
Let f = 277 + -165. Let p be (720/200)/(2/10). Suppose p*n = 4*n + f. Is 6 a factor of n?
False
Suppose 136*w - 131*w - 60 = 0. Suppose -w*c + 2484 = 708. Does 16 divide c?
False
Let n = 656 - 304. Suppose -4*a + 1100 = n. Does 11 divide a?
True
Let n = 76 - 77. Is n/10 - 691*(-3)/30 a multiple of 6?
False
Let c = -113 - -118. Suppose c*d = r + 762, 4*r - 144 = -2*d + 152. Does 19 divide d?
True
Let v = 53 - 47. Let l = v + -3. Suppose -4*u = -l*u - 12. Is u a multiple of 3?
True
Let t be (2/4)/((-7)/42). Is 6 a factor of (-104)/t + 13/(312/(-16))?
False
Let k be 3 + (2/5)/((-6)/30). Does 6 divide 2 + -4 - (-20 - k)?
False
Suppose 0 = -1608*o + 1620*o - 83160. Is o a multiple of 165?
True
Let q = 120 + -114. Suppose 512 = 2*w - 2*z + q*z, -2*w + 510 = 3*z. Is w a multiple of 12?
True
Is (2/3)/((-136)/(-510)) - 29318/(-4) a multiple of 78?
True
Suppose 0 = -115*g + 58157 + 20043. Does 5 divide g?
True
Let q = 708 + -324. Suppose -4*c = 2*c - q. Is c a multiple of 13?
False
Let s = 37928 - 11870. Is 30 a factor of s?
False
Let i(m) be the third derivative of -7*m**4/24 - 15*m**3/2 - 37*m**2. Let s be i(-6). Let h(z) = -14*z - 30. Does 11 divide h(s)?
False
Suppose 0 = 76*v - 49433 + 2440 - 98547. Is 2 a factor of v?
False
Let u(s) = -s**3 - 6*s**2 - 6. Let m be u(-5). Does 72 divide 998/4*(m + 33)?
False
Is 15942/33 + 1 + (-141)/1551 a multiple of 2?
True
Let v(q) = 169*q**2 + 36*q + 448. Is 218 a factor of v(-13)?
False
Suppose -m - 716 = -4*y, 5*y - 978 + 83 = -7*m. Is 2 a factor of y?
False
Suppose 2*y + 634 - 2808 = -2*x, -x + 4*y + 1072 = 0. Does 73 divide x?
False
Suppose 1790 = 4*x - 3462. Let w = x + -749. Is w a multiple of 47?
True
Suppose 2*y + 30 = 2*t, 55 = 3*t + 2*y - 3*y. Suppose -3*n - t = -8*n. Suppose -n*r + 6*r = 18. Does 4 divide r?
False
Suppose -y = 2*y - 12, 3*v = -3*y + 48. Is 3 - (944/v)/(2/(-6)) a multiple of 11?
False
Let q be (-17)/(-7) + 4/((-336)/36). Suppose 914 = 3*u + u - q*t, 2*t - 236 = -u. Is 4 a factor of u?
False
Let w be -1 + 1*-176 - 3. Let l = 339 + w. Is l a multiple of 9?
False
Suppose -6*h = -h - d - 5520, -4*h - 5*d = -4445. Let i = h + 913. Suppose 0 = -16*v + 782 + i. Is 25 a factor of v?
True
Suppose -5*v = -3*b + 526, 2*b - 101 = v - 0*v. Let h be (4 + -3)/(0 + 1/(-295)). Let k = v - h. Is k a multiple of 47?
True
Suppose 0 = 4*b - 2*b + 18. Let g = b + 59. Let t = g - -10. Is 20 a factor of t?
True
Let j = -52 + 65. Suppose -j*x + 8*x = -10. Suppose g - 3*k - 102 = 0, 330 = 3*g + k + x*k. Does 36 divide g?
True
Let n be ((-129)/12)/((-3)/24*2). Suppose 0 = 2*k - d - 583, 46*k + 4*d = n*k + 847. Does 17 divide k?
True
Suppose 27*k - 15088 = 2786. Suppose -4*y + 1472 = -2*o, 7*y - 1932 = -o + k. Is y a multiple of 5?
True
Let j be (-2 + 2/2)*0. Let r(o) be the first derivative of -o**3/3 + 3*o**2/2 + 73*o - 2943. Is 5 a factor of r(j)?
False
Suppose 0 = -a - 28 - 2. Let g = 28 + a. Does 11 divide 262*g/16*-4?
False
Let q(j) = j**3 + 5*j**2 + 5*j. Let k be q(-3). Suppose 0 = 2*a - k - 5. Let g(o) = 2*o**2 - 12. Is 7 a factor of g(a)?
False
Let b be 2083*(-2)/(-4) + (-60)/40. Suppose 2170 = 5*a - b. Is a a multiple of 12?
False
Suppose -245181 + 839549 = 251*v. Does 8 divide v?
True
Suppose 0 = -325*p + 322*p - 4*o + 143879, 2*o - 143869 = -3*p. Does 12 divide p?
False
Let y = 66 + -71. Let x be (y/((-30)/(-16)))/(4/(-6)). Suppose 12 = x*r - 4*s, -5*r + 3*s + 60 = 7*s. Is 4 a factor of r?
True
Let m(i) = -2037*i + 1755. Is m(-7) a multiple of 157?
True
Let z = 106 + -254. Let m = z + 178. Is m a multiple of 6?
True
Let m(t) = t**3 + 11*t**2 - 67*t + 24. Does 39 divide m(12)?
False
Let m = -97 + 105. Suppose 1756 = m*c - 1260. Does 16 divide c?
False
Suppose 4*y - 3*n - 3181 = 0, -2*y + 0*n - 4*n + 1618 = 0. Let z = y - 570. Suppose 203 + z = 9*g. Does 6 divide g?
True
Suppose p = -2*c - 1, -c = -2*p + 10 + 13. Suppose p*r + 41 = 4829. Is 64 a factor of r?
False
Let x(u) = u**3 - 12*u**2 + 22*u - 17. Let g be x(10). Let k be 3 + (-301)/28 - g/(-4). Let t(i) = 4*i**2 + 3*i + 2. Is t(k) a multiple of 29?
False
Let g(x) be the second derivative of -x**3/6 + 19*x**2/2 + 15*x. Let m be g(14). Suppose 25 = 5*f, m*v + 5*f - 17 - 53 = 0. Does 3 divide v?
True
Let t(z) = z**3 - 11*z**2 + 12*z - 21. Let n be t(10). Let v be (-1556)/(-12) - n/3. Suppose 3*p - v = -4*w + 3*w, 54 = p + 3*w. Is 14 a factor of p?
True
Let q be ((-3)/2)/((-5)/(-10) + -1). Suppose 5*c = v + 1602, -4*v + 958 = q*c - 3*v. Let n = c + -229. Is 7 a factor of n?
True
Let d(w) = -17*w**3 - 6*w**2 + 24*w - 85. Let o(r) = 10*r**3 + 3*r**2 - 13*r + 43. Let l(a) = 3*d(a) + 5*o(a). Is l(-7) a multiple of 37?
False
Let f(p) = -3*p + 61. Let q be f(17). Is 2/q - (-4466)/70 a multiple of 32?
True
Let y be (-2)/7 + (-592)/(-112). Suppose 3*c = -y*c + 2*c. Is (c/(-2))/2 + (3 - -52) a multiple of 11?
True
Let r(u) = 346*u - 5566. Does 7 divide r(33)?
True
Suppose -5*b = 3*o - 7829, -10*b + 3143 = -8*b + 5*o. Does 17 divide b?
True
Let i(c) = 2*c. Let t(s) = 88. Let q(m) = -2*i(m) + t(m). Is 48 a factor of q(-26)?
True
Suppose d = 5*d - 12. Suppose -t + 4*z - 17 = 0, -d*z = 5*t - 5*z - 5. Suppose u - t*n - 4 = 0, -3*u + 12 = -n + 4*n. Is u a multiple of 2?
True
Let w = 8 - 28. Let o be (9/(-18))/(1/w). Is (o + 0)*24/10 a multiple of 10?
False
Let p = -202 - -206. Is (-14)/p*500/(-35) a multiple of 25?
True
Let b = 5 + 40. Let d = -14 + b. Let n = d + 34. Is 5 a factor of n?
True
Let i(q) = 3*q**2 + 21*q - 129. Let p(y) = 3*y**2 + 20*y - 131. Let s(x) = 5*i(x) - 4*p(x). Is s(-19) a multiple of 11?
False
Suppose 8*t - 7*t - 2 = 0. Is 4 a factor of t/7 + 1946/49?
True
Let a(m) = 55*m + 921. Does 5 divide a(16)?
False
Let t(g) be the third derivative of g**6/120 - 7*g**5/60 + g**3/2 + 2*g**2. Let y be t(7). Suppose -y*l = 4*l - 266. Is 17 a factor of l?
False
Let l = 21 - 19. Let i be ((-1)/(-2) + l)*(-20)/(-25). Suppose 0 = -i*w - 4, -5*p - w + 675 = -6*w. Does 9 di