= 4*g - 35200, 21*g + 5*n + 8800 = 22*g. Is g a multiple of 100?
True
Let s = -78 + 122. Suppose 0 = -a - 3*r + 4, 3*a = a + 3*r + s. Is a a multiple of 3?
False
Let s be -50*(168/30 - 5). Let z be 114/4*(-4)/3. Let n = s - z. Is 8 a factor of n?
True
Suppose 0 = 9*o - 13*o + 60. Let h be 4*(o/2 + 3). Suppose 3*m - h = 6. Is m even?
True
Let q(w) = -5*w**2 - 8*w + 8. Let i be q(1). Does 29 divide i/(-30) + 3479/6?
True
Suppose 17*u = 15*u + 238. Suppose 5*z = 2*l - 88, 0*l - z - u = -3*l. Is 13 a factor of 4/16 + l/4 + 3?
True
Suppose 3*t - 8666 = 2*d, -d - 103 = -105. Does 34 divide t?
True
Let w be (-3*(-24)/45)/((-2)/5). Let g(f) = 0*f + 2*f + 4*f**2 + 2*f + 8. Is g(w) a multiple of 14?
True
Let w(x) be the first derivative of x**3/3 - 2*x**2 + 24*x - 6. Is w(-8) a multiple of 6?
True
Let u(p) = -57*p - 667. Is u(-34) a multiple of 13?
False
Let u(h) = -h**3 + 10*h**2 + 3*h - 9. Let k be (-4*4/24)/((-1)/15). Does 6 divide u(k)?
False
Does 116 divide ((-744)/10)/((792/35728)/((-30)/7))?
True
Let w be -4 + (-17 + 1)/(-4). Suppose 0 = -3*g - w*g + 12. Does 22 divide 0/6 + 352/g?
True
Let a = 353 + -339. Suppose -a*o + 12*o = -154. Is o a multiple of 30?
False
Let g(k) = 2186*k**2 + 46*k + 42. Does 3 divide g(-1)?
False
Suppose 3*v + 25 - 247 = -3*d, d = 2*v + 83. Let n = 229 + d. Does 18 divide n?
True
Is 16 a factor of (249570/(-1175))/((-6)/130)?
False
Let v be (-87)/18 - 9/54. Let g(z) = z**3 + 3*z**2 - 11*z - 3. Let a be g(v). Is 19 a factor of (4/(-8) + 0)/(a/(-260))?
False
Let x be (8 - 3) + (-1 - -1). Suppose -f - 44 = x*t - 9*t, 4*t + 3*f = 44. Does 11 divide t?
True
Suppose -13*s + 1467 = -4*s. Suppose 599 = 2*j + s. Does 22 divide j?
False
Let f(r) = -7*r - 57. Let k(z) be the third derivative of -z**4/3 - z**3/2 - 40*z**2. Let t be k(2). Is 5 a factor of f(t)?
False
Let a = 19582 - 15607. Is 30 a factor of a?
False
Let g(l) = l**2 + 349. Let d be g(0). Suppose y + 5*y - 161 = -149. Suppose 0 = 2*z - 5*z - c + d, 226 = y*z - c. Is 47 a factor of z?
False
Suppose 3*m + 246 = 1206. Does 55 divide (m/12)/16 - 1315/(-3)?
True
Let w = 535 - 533. Is (w - 1) + -5 - (-25 + -290) a multiple of 31?
False
Suppose 4*i - 82 = 206. Let b = -38 + i. Is b a multiple of 4?
False
Does 31 divide ((-4)/3 + (-2366678)/732)*-2?
False
Let j = 392 - 392. Suppose j = 15*f - 1297 - 893. Is f a multiple of 10?
False
Let o(b) = 3*b**3 - 29*b**2 + 147*b + 30. Let q(m) = m**3 - m - 5. Let v(c) = o(c) - 2*q(c). Is 32 a factor of v(24)?
True
Let u = -153 + 157. Suppose 0 = -9*a + u*a + 600. Is a a multiple of 24?
True
Let z = -123 - -123. Suppose 3*a - k = 302, -4*k + z*k - 508 = -5*a. Is 8 a factor of a?
False
Let w(o) = -2*o**2 + 77*o - 128. Let q be w(37). Let r(p) = 5*p**2 + 65*p + 6. Does 15 divide r(q)?
False
Let x(d) = -161*d**3 - 2*d**2 + d + 2. Suppose -66 = -2*o + o. Let y = o - 67. Is x(y) a multiple of 16?
True
Let x(g) = 40*g**2 + 61*g - 58. Does 5 divide x(-22)?
True
Suppose -39*f + 1294 = -11537. Suppose 11*o + f = 1088. Is 23 a factor of o?
True
Suppose 143*o - 21*o - 1288587 = 11933. Does 13 divide o?
True
Suppose -2*c = -5*v - 29485, -163*v = -164*v + 7. Does 13 divide c?
False
Let m(s) = 300*s - 135. Let q(j) = 299*j - 134. Let w(g) = 4*m(g) - 3*q(g). Does 35 divide w(6)?
True
Let o be (3/3)/((-2)/6). Let m(l) = -l**3 - 3*l**2 - 2*l - 9. Let i be m(o). Let a(v) = -2*v**3 - v**2 + 2*v + 2. Does 8 divide a(i)?
False
Let r = -53 + 53. Suppose 5*b - 816 - 614 = -5*z, -3*b + 4*z + 879 = r. Is 33 a factor of b?
False
Let y = 864 - 859. Suppose -5*w + 2*p = -1599, -3*w + 597 = y*p - 350. Is w a multiple of 28?
False
Let z = 9656 + -7100. Is z a multiple of 3?
True
Let n = 294 + -297. Is 20526/27 + n/((-135)/(-10)) a multiple of 20?
True
Let l(k) = 2*k**2 + 4*k - 20. Let c(d) = d**2 + 9*d + 8. Let m be c(-7). Does 11 divide l(m)?
False
Let s be 483/115 + 3/(-15). Suppose -s*w + 1128 = -5*q - 882, -4*w - q + 2022 = 0. Is 42 a factor of w?
False
Let c(s) = -116*s**2 - s + 25030. Does 10 divide c(0)?
True
Suppose 28*l - 29*l + 2592 = 0. Suppose 31*o = 22*o + l. Is 18 a factor of o?
True
Suppose -6 = 9*i - 42. Let a(v) be the first derivative of 14*v**3/3 - 10*v**2 + 3*v + 1. Is a(i) a multiple of 21?
True
Suppose 2*v + 5*t = 103, -4*v + 0*v + 5*t + 221 = 0. Is 11 + 11136/v - 2/9 a multiple of 7?
True
Let n(z) = 32*z**2 - 29*z**2 - 21*z - 13*z. Is 58 a factor of n(-8)?
True
Suppose 0 = 1134*w - 1174*w + 1048000. Is 40 a factor of w?
True
Suppose 4*j + 3*o = 3497, 133*o = 4*j + 138*o - 3503. Does 3 divide j?
False
Suppose -4*p - 2*g + 17538 = 0, 24*g = p + 28*g - 4388. Does 16 divide p?
True
Let u = -305 - -313. Suppose 64 = -6*z + u*z. Does 16 divide z?
True
Let z(s) = -723*s**3 - 52*s**2 - 53*s + 1. Is 29 a factor of z(-1)?
True
Let m be 4/18 + 129/27. Suppose -2*n + 7*n = -3*g + 17, 15 = 5*g - m*n. Is (-105)/(-4) + 3/g a multiple of 27?
True
Suppose 7*g = 3614 + 36657. Is 92 a factor of g?
False
Let j(n) be the second derivative of 5*n**3/6 - 24*n**2 + 37*n. Let z be j(10). Suppose -i - z = 0, -w + 2*i + 94 = 2*w. Is w a multiple of 5?
True
Suppose 5*t = -43 - 82. Let w = -25 - t. Is 8 a factor of 0 - w - (1 - 9)?
True
Let u be -4 + ((-9)/3 - -2 - 1). Is (-391)/(-6) - u/(-36) a multiple of 13?
True
Let l(q) = -2*q - 11 - 5 + q - 5. Let m be l(18). Is 20 a factor of (m + -1)/(2/(-10))?
True
Suppose 101*y - 117*y + 32 = 0. Suppose -y*f + 34 = -5*m + 134, 40 = 2*m - f. Is 20 a factor of m?
True
Does 29 divide 1696 + 0 + -12*7/21?
False
Let m(z) = -26*z**2 + 15*z**2 + 10*z**2 - z. Let d be m(-1). Suppose -4*v = -d*v - 144. Does 6 divide v?
True
Let a(v) = 3*v**3 - 30*v**2 + 25*v - 30. Let s(c) = 2*c**3 - 16*c**2 + 13*c - 14. Let z(n) = 3*a(n) - 5*s(n). Does 23 divide z(-12)?
False
Let w be ((-8)/(-12))/(3 - (-15520)/(-5172)). Is 30 a factor of 9/(-12)*(-18 + w)?
True
Let i(m) = -m**2 - 25*m - 43. Let a be i(-23). Suppose -13*c + 10*c = -a*q - 375, 0 = q - 5. Is c a multiple of 22?
False
Suppose 30 + 54 = -4*x. Let j = x + -37. Let k = j - -89. Is k a multiple of 24?
False
Suppose -11*y + 7*y = -z - 53185, 5*y + 5*z - 66500 = 0. Is 8 a factor of y?
False
Let z(h) = -9186*h + 2769. Does 8 divide z(-3)?
False
Let h = 6716 + -6577. Does 3 divide h?
False
Let m = 2825 - 2213. Does 12 divide m?
True
Is (1 - -10347) + (-85)/(-5) a multiple of 157?
False
Let f be ((-27)/(-12) + -2)/((-2)/(-808)). Let v = f + 89. Is v a multiple of 35?
False
Let l be 20/70 - (-60)/(-14). Let v be (2 + -3)*(5 + l). Does 3 divide (2*v)/(18/(-153))?
False
Let i = -7057 + 27945. Is i a multiple of 56?
True
Suppose 5*w + 165 = y, 3*y - 3*w + 137 - 620 = 0. Suppose -4*b + 156 = -y. Suppose 0 = 74*a - b*a + 785. Is a a multiple of 10?
False
Let n be 125 + 0/(-3*4/6). Let x = n - 86. Is 13 a factor of x?
True
Let p(y) = y**2 + 2*y - 26. Let g = -46 + 54. Suppose 7*c = 2*n + 3*c + 46, 2*c - g = 0. Does 13 divide p(n)?
True
Suppose -6*n = -227 - 13. Is 14 a factor of 4/2 - (n*17)/(-5)?
False
Let x = -8198 - -8553. Is x a multiple of 5?
True
Let p = 281 + -198. Suppose 4*t - 3*t + 2 = -o, o - 2*t = 10. Suppose -3*y + 195 = 2*f, -p - 47 = -o*y - f. Is 21 a factor of y?
False
Let p = -28073 - -29178. Does 13 divide p?
True
Let l(n) = 68*n - 1031. Does 5 divide l(27)?
True
Suppose d + 5 = 0, -5*f + 15*d + 45380 = 11*d. Is f a multiple of 4?
True
Suppose 4*i = -m - 75, -3*i = 2*i + 2*m + 90. Let u = 804 - 802. Is (u + 8/(-3))*9*i a multiple of 12?
True
Suppose -k - 5*c = -544, -15 = 4*c + 5. Suppose 12*v - k = 1303. Is 12 a factor of v?
True
Let i = -161 + 225. Suppose -2*c + 156 + i = 0. Is c a multiple of 9?
False
Let b = -7066 + 12168. Does 10 divide b?
False
Suppose -d - 4 = -3*s, -2*d + 9 = -2*s + d. Suppose 0*o + a + 416 = 5*o, s*a - 246 = -3*o. Is 6 a factor of o?
False
Is 14 a factor of 48930/20*(272/6)/17?
True
Let j = -6 - -8. Suppose j*y - 90 = -4*o, 61 + 19 = 3*y - 5*o. Is 2 a factor of y?
False
Suppose 1445055 = 399*h - 3941046. Is 8 a factor of h?
False
Suppose -3*j = 12, -4*r = 4*j - 126283 + 13983. Is r a multiple of 43?
True
Let s = -16726 + 38221. Is s a multiple of 8?
False
Suppose 3*c = 5*k + 5405, -2*c - 719 - 4711 = 5*k. Let z = k - -1778. Suppose -l - b = l - z, 0 = 4*l - 3*b - 1398. Is l a multiple of 32?
False
Let n be (7 + (2 - 8))*(-346)/(-2). Let q = -81 - n. Let h = 