83 + -4398. Is 93 a factor of o?
True
Let u be ((-150)/60)/((-5)/6). Suppose -2*l + 17 + 9 = -5*p, -5*l + 34 = u*p. Is (-2 + (-44)/10)*(-100)/l a multiple of 8?
True
Suppose 0*i - 665 = -5*m + 4*i, 5*m + i - 640 = 0. Suppose -8*o + 207 + m = 0. Does 9 divide o?
False
Suppose -55*n = -50*n - 7*r - 104774, 0 = -n + 2*r + 20959. Is n a multiple of 135?
False
Suppose 31*o - 4*n - 86804 = 26*o, 5*n + 30 = 0. Does 46 divide o?
False
Let r = 50 + 67. Suppose -o = 1 + 1, o + r = n. Is 15 a factor of 433/5 + 46/n?
False
Is -8*2/(-12)*(7280 - 11) a multiple of 5?
False
Let v = 86 + -81. Suppose -4*x - 6*h = -4*h - 26, 5*x - v*h - 25 = 0. Let d(k) = 17*k - 19. Is d(x) a multiple of 27?
False
Let h be (-7)/(42/24) - -7. Suppose 5*o + 2*j = 780, 5*o + 6*j = h*j + 785. Is 7 a factor of o?
True
Let x(q) be the first derivative of -q**3/3 - 7*q**2/2 - 3*q - 7. Let z be x(-5). Suppose 2*h = 3*i + z*h - 158, -3*i - 2*h + 146 = 0. Is 17 a factor of i?
False
Suppose -q = 6*x + 139, -4*x - 4*q = -8*x - 116. Let l(j) = -24*j - 37. Is l(x) a multiple of 13?
False
Is (174/42 + -11)*-35*273/12 a multiple of 13?
True
Suppose 3*t = 3*l - 9, l - 3*t - 1 = 6. Suppose -5*i - 172 = -2*y - 35, -i = l. Does 22 divide y?
True
Suppose 33*m - 110674 + 55849 = 171786. Does 7 divide m?
True
Suppose w + 5*i - 18 = 0, -w + 2*w = 4*i. Suppose 0 = -w*f + 1124 + 868. Is f a multiple of 17?
False
Let n(k) = 13*k**3 + 6*k**2 - 23*k + 33. Is 79 a factor of n(4)?
True
Let g(r) = 61*r - 12. Let i = 40 - 43. Let l be g(i). Let s = -44 - l. Is s a multiple of 22?
False
Let u = 25 - 118. Let r = u + 183. Does 15 divide r?
True
Let g = 1737 - -10116. Is g a multiple of 92?
False
Let l be 1*1/((-6)/(-3))*0. Suppose -9*a + 10*a - 3 = l. Suppose a = d, 6*f - 3*f - 828 = -4*d. Is 12 a factor of f?
False
Let v = 9340 + 4100. Suppose -v = 16*q - 30*q. Is q a multiple of 30?
True
Let z(n) = -85*n + 1630. Does 6 divide z(16)?
True
Let g be (72/(-20) - -3)*-5. Suppose 0 = -g*k + 21 - 402. Let p = k - -234. Does 14 divide p?
False
Suppose h + 0*h = 2. Let z be (3/h)/(66/(-1672)). Is (-6)/(-4)*(-18 - z) a multiple of 6?
True
Let s(z) = 3*z**3 + 3*z**2 + 6*z - 10. Let h be s(6). Suppose 0 = -5*d + h + 123. Let b = -127 + d. Does 6 divide b?
True
Suppose 4*k - 5*r = 12889, 3223 = k - r - 0*r. Is k a multiple of 9?
False
Suppose 20 = -10*t + 70. Suppose 5*r = -4*s + 1166, t*r - 1294 + 136 = -2*s. Does 6 divide r?
False
Suppose -55*i = 30057 - 259847. Is i a multiple of 110?
False
Is 86 a factor of 16/(-2)*13/((-780)/(-45)) - -4729?
False
Let a(b) = b**3 + b**2 - 11*b + 36. Suppose -15*v = -v - 56. Is 9 a factor of a(v)?
True
Let a = 6 - 5. Let j(h) = -541*h**3 - 11*h**2 + 11*h + 16. Let u(k) = 180*k**3 + 4*k**2 - 4*k - 6. Let b(c) = -3*j(c) - 8*u(c). Does 19 divide b(a)?
False
Let g = -449 + 1692. Let a = g - 670. Is 70 a factor of a?
False
Let w(o) = -8 - 5*o - 2 + 7 - 4*o**2. Let h be w(-2). Does 14 divide (74/6)/(h/(-54))?
False
Is 59 a factor of (-1536)/2688 + (-65276)/(-14) + -1 + 0?
True
Suppose -360 = -4*c + 19*c. Is ((-30)/c)/(1/432) a multiple of 48?
False
Suppose -16443 + 21084 = 3*p. Is 5 a factor of p?
False
Let a(k) = -15*k**2 + 540*k + 40. Is a(13) a multiple of 10?
False
Let w(i) = 3121*i - 903. Does 18 divide w(3)?
True
Suppose 63435 + 98120 = 8*j - 13461. Does 20 divide j?
False
Suppose -13 = 4*h - 5*h. Let i(y) = -h*y + 0 + 5 + 18*y. Is 7 a factor of i(6)?
True
Let h(z) = 59*z - 44. Let s be h(6). Let x = -255 + s. Is 16 a factor of x?
False
Let b(v) be the first derivative of -9*v**4/4 + 5*v**3/3 + v**2 - 4*v + 18. Let o be b(-5). Suppose 18*x - 12*x = o. Does 24 divide x?
False
Let j(q) = -q**3 + 11*q**2 + 9*q - 25. Let s be (-35)/5*-1 + -5. Suppose -4*m - s = 5*r - 44, 4*r - 38 = -m. Is 15 a factor of j(r)?
True
Suppose 16*y - 2781 = -93. Suppose -2*g + 3*x + y = -1066, -5*g + 3*x = -3067. Does 47 divide g?
True
Let q(v) = v**3 - 4*v**2 - 19*v + 8. Let d be q(5). Is 14 a factor of (93/d)/((-3)/196)?
True
Let y(c) = -c**3 - 42*c**2 - 10*c - 397. Is 23 a factor of y(-42)?
True
Let b(d) = d**2 - 4*d - 8. Let p be b(8). Let m = -19 + p. Suppose m*i = 4*g - 190 + 50, -44 = -g - i. Is 10 a factor of g?
True
Let d(r) be the third derivative of 959*r**5/60 - 7*r**4/24 + 7*r**3/6 - r**2 - 5. Is 22 a factor of d(1)?
False
Let g(i) = -i**3 + 2*i**2 - 19*i + 19. Let r be g(5). Let y = r + 232. Does 48 divide y?
False
Let j(y) = -8*y**2 - 3 - 5*y**2 + y**3 + 0*y**2 + 12*y. Let t be j(12). Is 2 a factor of 18 + (t + 2 - -2)?
False
Let j = -3776 + 5583. Is 3 a factor of j?
False
Let l(v) = 217*v + 8938. Is 17 a factor of l(-18)?
True
Let z(m) = 2*m**3 + 63*m**2 + 31*m + 6. Let j be z(-31). Let o(q) = 22*q - 34. Is o(j) a multiple of 4?
False
Suppose -l + 5*u + 17886 = 778, 10 = 5*u. Is l a multiple of 156?
False
Suppose -93*q = -5192 - 6712. Is q a multiple of 2?
True
Suppose 4*a + 4*l = 5292, 3965 = 3*a - 0*a + l. Suppose -5*d + 4*r + 1643 = 0, 0 = 40*d - 44*d + r + a. Is d a multiple of 41?
False
Suppose 2023218 = -339*g + 4558930 + 3018464. Does 8 divide g?
True
Let h be 21/7 + (-1184 + 1)*-1. Let d = -433 + h. Does 39 divide d?
False
Suppose 2*z - 62*z = -8*z - 1568944. Does 349 divide z?
False
Let t be (20/6 + -2)/((-2)/(-9)). Suppose t*a - 80 = -2*a. Does 12 divide a/(-55) - 7752/(-44)?
False
Suppose 53574 + 40923 = 5*l - o, -5*o + 37815 = 2*l. Is l a multiple of 175?
True
Let o be (3/(-9) - 0)*3*578. Let i = -338 - o. Is i a multiple of 30?
True
Let q = -412 - -420. Let v = q - -112. Is v a multiple of 5?
True
Let b be (-4)/8*-12 - (1 - -1). Suppose 4*y + 5*w - 208 = 1533, -2*y = -b*w - 838. Is y a multiple of 13?
True
Suppose 0 = -5*n + 3*n + 96. Let d be (-1 + 0)/(4 + 26/(-6)). Suppose 203 = 3*h - a - n, -d*a = -h + 81. Does 12 divide h?
True
Let r(y) = 2030*y + 4918. Is r(16) a multiple of 271?
True
Let n(z) = 26*z + 9. Let a(v) = 1. Let w(o) = -6*a(o) - n(o). Let l be w(-6). Let t = l - 45. Is t a multiple of 16?
True
Suppose 19795 = 3*q + 4*c + 3215, 5*q = -c + 27605. Is q a multiple of 8?
True
Let s = 138 + -171. Let b = 347 + s. Is b a multiple of 67?
False
Let p(i) = 57*i + 36. Suppose -d - 4*u = -9, 3*d = -8*u + 3*u + 13. Is 31 a factor of p(d)?
True
Let a = 1229 + -800. Let b = 519 - a. Is 2 a factor of b?
True
Suppose s - 1374 = -2*s. Let l be (35/5 - 8)*(-695)/5. Suppose l = 3*w - s. Does 30 divide w?
False
Let s be 8/((-2)/(-3 - -1)). Let a(n) = 15*n - 7 - 5*n - s + 20. Is 11 a factor of a(5)?
True
Suppose 0 = 3*i - 8*c + 4*c - 51648, 4*i - 68872 = 8*c. Does 64 divide i?
False
Let g(z) = -z**2 + 3*z + 22. Let y be g(7). Is 15 a factor of 293 - (-7 + 6) - y?
True
Let m be (1/6 + 46/12)*4. Suppose 0*f - 3*f + m = u, f = -5*u - 4. Let w(o) = 2*o**2 + 6. Is w(f) a multiple of 13?
True
Suppose 53483 + 30707 + 980 = 10*p. Is p a multiple of 17?
True
Suppose 3*j - 6978 = -226*u + 224*u, -4*u - 2*j = -13972. Is 15 a factor of u?
True
Suppose -1825*k = -1765*k - 876960. Is 36 a factor of k?
True
Let a(l) = -629*l - 19. Let b be a(-4). Suppose 0 = 11*c - b + 319. Is 13 a factor of c?
False
Let n(d) = 132*d**3 - 2*d**2 - 9*d + 19. Does 14 divide n(5)?
False
Let g be 0 + 51/9 + (-20)/30. Let q be (-4)/14 + 11710/70. Suppose q = 3*v + g. Is 46 a factor of v?
False
Let z be 3 + 0*(-1)/2. Suppose 4*c = 2*r - z*r + 805, r - 799 = -2*c. Suppose -r = -5*d + 2*u, -2*u + 4*u = d - 157. Is d a multiple of 34?
False
Let u be -3 + 3 - (-5)/(25/2930). Is u + -2 + -4 + 1 + 0 a multiple of 12?
False
Suppose -7*r = -6475 - 11515. Is 16 a factor of r?
False
Let j(c) = -1 - 13 + 158*c + 0 - 8. Does 68 divide j(4)?
False
Let g = 61 + -58. Suppose 2 - 14 = -g*t. Is 8 a factor of 37*(9/(-12))/((-1)/t)?
False
Let t(i) = 116*i - 141. Suppose -2*f + 13 = -y - 6, -3*f + y + 26 = 0. Is t(f) a multiple of 61?
True
Let x(r) = -22*r - 80*r + 17 - 16*r - 6. Let o be x(2). Let a = -124 - o. Is a a multiple of 13?
False
Let c(d) = -25806*d - 1894. Is c(-2) a multiple of 22?
False
Let r(d) = 806*d**2 - 3*d - 1. Let i be r(-2). Suppose -845 = 4*x - i. Suppose -3*o = 6, -x = -2*a - 3*a - 2*o. Is a a multiple of 10?
True
Let r(o) = 17*o**3 - 165*o**2 + 8*o - 123. Let l(s) = -6*s**3 + 56*s**2 - 3*s + 41. Let b(a) = -11*l(a) - 4*r(a). Is 3 a factor of b(22)?
True
Suppose 1025 = 52*x - 57*x. Let u = 249 + x. Does 9 divide u?
F