424. Suppose 668 - w = s*t. Does 8 divide t?
True
Suppose 4*o + 1116 = 4*y, 4*y + 2*o - 1091 = o. Suppose 74 = -t + y. Is t a multiple of 43?
False
Let f(y) = -y**3 + 15*y**2 - 96*y + 567. Is f(6) a multiple of 5?
True
Let j be (-354)/9 + (-24)/(-18). Let x = -193 + 125. Let v = j - x. Does 10 divide v?
True
Suppose -3*i + 6 = -3*o, -3*i - 15 = o - 5. Let m be (156/18)/(i/(-66)). Suppose -7*f + 8 = -m. Is f a multiple of 6?
True
Let s(x) = 9*x**3 - 34*x**2 - 9*x + 86. Let r(f) = 11*f**3 - 33*f**2 - 11*f + 86. Let v(q) = -4*r(q) + 5*s(q). Does 3 divide v(38)?
True
Let w(o) = 13*o**2 - 283*o + 13. Is w(-8) a multiple of 29?
False
Suppose -5*p - 19*q + 60120 = -15*q, 0 = 3*q. Is 9 a factor of p?
True
Let n be 15 + (-24)/4 - 7. Suppose -n*u + 89 + 63 = 0. Does 9 divide u?
False
Suppose -2*h = -7*h - v + 14138, 5*h - 2*v = 14144. Let g = h + -1460. Suppose -2*k + 11*k - g = 0. Does 11 divide k?
False
Let o be (-56)/6*54/(-63). Is o/(-6)*-3 - -147 a multiple of 19?
False
Suppose 0 = 8*p - 295 + 103. Is 21/8 + 9/p - -77 a multiple of 4?
True
Let u(d) = 3*d - 8. Suppose 5*x + 10 = 0, -2*g - 4*x - 12 = 14. Let o = 21 + g. Does 4 divide u(o)?
True
Let o(w) = -60*w + 3558. Does 73 divide o(0)?
False
Suppose -2*r - 41 = -2*o - 137, -2*o - 72 = 4*r. Let v = 43 + o. Is (180 - (0 + -2)) + -1 + v a multiple of 30?
True
Let y = -14249 + 15037. Is y a multiple of 2?
True
Is 3 a factor of (-25)/(1100/58069)*-4?
False
Suppose -9*x + 314 = -298. Let u(z) = z**2 + 5*z - 10. Let a be u(-7). Suppose 3*m - 111 = -a*g, -x = -2*g - m - 3*m. Is g a multiple of 6?
True
Let g(v) = -2*v**2 - 10*v - 10. Let y be g(-7). Let p = 4 + y. Let q = p - -48. Is 14 a factor of q?
True
Suppose 102153 = 3*h - i, 141*i = 5*h + 136*i - 170275. Is 9 a factor of h?
False
Let q be (25/10 - 1)*10. Let p = 45 - q. Is 16 a factor of 206/3 + (-20)/p?
False
Let c = -177 - -185. Suppose 820 = -3*n + c*n. Is n a multiple of 18?
False
Let p(n) = 57*n**2 + 19*n**2 - 5*n + 7 - 2*n + 6 - 9*n**2. Is p(3) a multiple of 17?
True
Let d(c) = 124*c**3 + 3*c**2 - 4*c + 3. Let k(v) = 2*v**2 - 8*v - 23. Let q be k(6). Is 6 a factor of d(q)?
True
Is 173 a factor of (0/2)/(-36 + 41) + 7785?
True
Suppose 70 = 7*o - 21*o. Let k(y) = y**3 + 2*y**2 - 5*y - 15. Let g(h) = h**3 + 3*h**2 - 4*h - 14. Let x(w) = 5*g(w) - 4*k(w). Is 10 a factor of x(o)?
True
Suppose 17*i - 8*i - 6*i = 0. Suppose 2*a - 4*w = 168, i = -2*a - 4*w + w + 196. Is 23 a factor of a?
True
Let u(z) = 15*z + 36. Let s be u(5). Let r = s - 39. Is r a multiple of 9?
True
Suppose -q + 182 = -3*m - 2940, 3*q - 9336 = 4*m. Is 53 a factor of q?
False
Let b be (-305)/(-45) - (-2)/9. Suppose 4*f + b + 17 = 4*k, -5*k + 14 = 3*f. Suppose 0*r = k*r - 168. Is 5 a factor of r?
False
Let j(l) = -164*l + 651. Is 61 a factor of j(-15)?
True
Suppose -6*z - x + 2295 = -3*z, -12 = 4*x. Let a = -370 + z. Is 44 a factor of a?
True
Let b(c) = -1439*c - 195. Is 140 a factor of b(-5)?
True
Let m(n) = n**3 - 8*n**2 + 5*n - 46. Let v(q) = q**3 - 9*q**2 + 5*q - 45. Let o(g) = -6*m(g) + 7*v(g). Is 33 a factor of o(16)?
True
Suppose -73*x = -83*x + 99840. Is x a multiple of 64?
True
Is (-18)/(-48)*-332*-126 a multiple of 63?
True
Let y = 4945 - 2685. Is y a multiple of 60?
False
Suppose -5*l = -3*i - 18, 3*i - 17 = -4*l + 8*i. Let s(f) = -6*f**2 + 2*f - 4. Let p be s(l). Let d = p - -79. Does 11 divide d?
False
Suppose -111*a - 101223 = -2723487. Is a a multiple of 8?
True
Let b = 3663 - 2043. Suppose -10*h + b = -h. Is h a multiple of 10?
True
Let j = -32009 + 32209. Is 10 a factor of j?
True
Let s = 17133 - 11565. Is s a multiple of 3?
True
Let p = 99 + -56. Let h = 40 + p. Let r = h - 56. Is 27 a factor of r?
True
Let w be (-272)/(-44) + (-8)/44. Let z(l) = -l**3 + 13*l**2 + 3*l - 6. Does 33 divide z(w)?
True
Suppose 351 = -6*g - g - 20*g. Let v(y) be the second derivative of -y**4/12 - 5*y**3/2 + y**2/2 - 2*y. Is v(g) a multiple of 3?
True
Let x(q) = 189*q**2 - 12*q - 13. Let i be x(-4). Suppose -5*g = -i - 131. Does 73 divide g?
False
Is (-3148 - 2)*34/(-102) a multiple of 6?
True
Suppose u = 171*b - 167*b - 1026, -4*b + 4*u + 1032 = 0. Does 8 divide b?
True
Let t(r) = -r**3 - 6*r**2 - 6 + 3*r + 4*r**2 - 3*r. Let x be t(-6). Suppose -4*b + 193 = 4*a + b, 3*a = 3*b + x. Is 11 a factor of a?
False
Let h = -32203 + 33949. Does 11 divide h?
False
Suppose -3*c - 23*c = -52*c - 2782. Let g be 1/((-6)/(-177))*-2. Let l = g - c. Does 48 divide l?
True
Suppose -18*h + 17*h - 269 = 0. Let m be h/(-5) + 2/10. Suppose m = 2*c - 34. Does 17 divide c?
False
Suppose 0 = -53*z - 120*z + 92555. Does 5 divide z?
True
Let m(a) = 5*a**2 - 26*a - 99. Is 6 a factor of m(13)?
True
Let t = 4612 - 712. Is t a multiple of 20?
True
Let p(t) = 12*t**3 - 21*t**2 - 25*t - 23. Let a be p(12). Suppose -5727 = 34*q - a. Is q a multiple of 49?
True
Suppose -5*t - 15*t = -3220. Suppose 0*h = 5*h - 25. Suppose -h*z + t = -9. Does 17 divide z?
True
Let t(y) be the first derivative of -4*y - 1/3*y**3 + 21 - 5*y**2. Is t(-6) a multiple of 4?
True
Suppose 122*c - 119*c - 4*p = 16434, 2*p - 27364 = -5*c. Does 17 divide c?
True
Suppose 5*d + 96*o - 169853 = 89*o, 3*d - 101925 = -2*o. Is d a multiple of 335?
False
Let k be 180/(-12)*(1178/(-10) + -3). Does 4 divide k/16 + 15/(-12)?
True
Let m = 2800 + -2023. Is m a multiple of 37?
True
Suppose -46*u + 16575 = -33*u. Suppose 0 = -4*x + u - 351. Is x a multiple of 7?
True
Let f(y) = 165*y - 211*y - 74 + 109*y + 220. Does 13 divide f(9)?
False
Let r(o) = -2*o - 2. Let j be r(-4). Let a(i) = 2*i**2 + i + 1. Let n(f) = f**3 - 13*f**2 + 6*f + 1. Let w(m) = -2*a(m) - n(m). Is 19 a factor of w(j)?
True
Let h(k) be the first derivative of -3*k**2/2 - 14*k - 17. Is 5 a factor of h(-10)?
False
Suppose 5*l - 16049 = -r, 7*l - 9*r + 5*r = 22474. Is l a multiple of 4?
False
Suppose 2*d - 9*d = 0. Suppose 2*u = -5*c + 18, c - u - 4*u + 18 = d. Does 11 divide 45*c + (10 - 10)?
False
Let g = 691 - 980. Suppose -2948 = -5*j + c, -3*j - 601 = -4*j + 4*c. Let y = g + j. Is 15 a factor of y?
True
Suppose -4 = 21*t - 22*t. Is ((-1305)/(-60))/(1/t) a multiple of 26?
False
Let t(l) = l - 3. Let d be t(2). Does 33 divide (-2320)/(-8) + (-5)/d?
False
Does 175 divide 220/25*(-1525)/(-10)?
False
Suppose 0 = 6*d + 1387 - 8887. Suppose -2*s + 18*i - 21*i = -626, 5*i - d = -4*s. Is 62 a factor of s?
True
Suppose -12*j + 44 = -13*j. Let d = -35 - j. Is ((-6)/d)/((-7)/84) a multiple of 4?
True
Let h(t) = -2*t**2 - 66*t - 394. Is h(-9) a multiple of 7?
False
Let h = 341 - 337. Suppose -h*j + 1169 = -3*r + 437, 542 = 3*j - 4*r. Is 6 a factor of j?
True
Let z = -20 + 15. Let m be (-2)/4 + ((-330)/(-4))/z. Let o(h) = h + 30. Is 2 a factor of o(m)?
False
Let p = 8 + -4. Suppose 0*a - t = 5*a - 14, p*a - 15 = 3*t. Suppose -9*g = -a*g - 108. Is 9 a factor of g?
True
Let a = -68027 - -125331. Does 19 divide a?
True
Suppose 19*a + 66825 = -23*a + 69*a. Is a a multiple of 15?
True
Suppose 0 = -y - c + 6 - 5, 5*y - 5*c = 35. Suppose 44*b = 49*b + 5*v - 3870, b = y*v + 764. Is b a multiple of 8?
False
Suppose -1 = -2*h - 3, -4*f + 11 = 5*h. Suppose 2*b = -s - 26, f*b - s + 72 = 2*s. Is 3/(b/(-395)) - -1 a multiple of 9?
False
Is 63 a factor of ((-21)/(-12))/((-704604)/(-100656) + -7)?
True
Suppose n + 4*v = 714, -2*n + 0*v = 2*v - 1380. Is 22 a factor of n?
True
Let y(o) = 7*o + 0*o**2 - 6 + 2*o**2 - 9. Let l(z) = 3*z**3 + 35*z**2 - 12*z - 8. Let b be l(-12). Does 19 divide y(b)?
True
Let m be 12 - -2*(3 + -6). Does 27 divide (-180)/3*12*m/(-20)?
True
Suppose -168655 = -21*x + 385451. Does 22 divide x?
False
Suppose -2*n + g = -42461, -5*g + 52281 = 3*n - 11469. Is n a multiple of 5?
True
Suppose 4*y - 28162 = -6*s, 8*y - 35283 = 3*y + 4*s. Is y a multiple of 44?
False
Let n = -36 + 47. Suppose -n*o + 2017 = 565. Is 12 a factor of o?
True
Suppose 259*r = 1279311 - 327486. Does 21 divide r?
True
Let n(s) = 15*s - 14. Let f(l) = -74*l + 70. Let k(t) = -2*f(t) - 11*n(t). Is k(-2) a multiple of 9?
False
Suppose 14*k = 20*k - 78. Suppose -k*v + 756 = -4236. Does 64 divide v?
True
Let l(n) = -231*n - 1089. Is l(-39) a multiple of 55?
True
Let l(y) = 122*y - 9. Let z be l(4). Suppose 9*x = -z + 3476. Is (2/(-6))/((-1668)/x + 5) a multiple of 2?
False
Does 53 divide (-90)/(-60)*274252/23?
False
Let r be (4/((-80