True
Let a = 193 - 207. Let q(h) = -73*h + 53. Is 28 a factor of q(a)?
False
Suppose -496 + 3684 = 4*x - 4*d, -3*d + 3195 = 4*x. Let s = x + -311. Is s a multiple of 49?
False
Suppose -8*m + 9 = -87. Let f(l) = 2*l - 38. Let h be f(m). Does 11 divide -3*h*(-2)/(-4)*3?
False
Suppose -4*y + 2*i + 1092 + 146 = 0, 5*y - 1540 = 5*i. Let t = 527 - y. Does 42 divide t?
False
Let p = 1203 + -2488. Let m = -852 - p. Is 10 a factor of m?
False
Let i(f) = 184*f**3 + f**2 + 2*f + 2. Let h be i(-1). Let l = h - -263. Is 2 a factor of l?
True
Let k = 1180 - -8226. Does 186 divide k?
False
Suppose -6461837 = -166*i - 2474517. Is 34 a factor of i?
False
Let n(r) = 0 - 6*r - 23*r + 2*r**2 + 20. Suppose u - 56 = -3*u. Is n(u) a multiple of 5?
False
Suppose -11*y + 5203 - 3971 = 0. Is 7 a factor of y?
True
Let s(i) = -6*i**3 - 2*i**2 - 11*i - 11. Let w be s(-1). Suppose 0 = -5*d + d + 5*n + 468, w*n = 5*d - 585. Is d a multiple of 13?
True
Let x be 165/2*-27*(-10)/75. Let v = x + -233. Is v a multiple of 8?
True
Is 149 a factor of 3 + -10 - 102570/(-39)?
False
Let j be 1 + 0 - (2 - (-2 - -6)). Let y = 190 - -64. Suppose -274 = -j*a + y. Is a a multiple of 44?
True
Let k(s) = s**3 - s**2 - 4*s. Let l(h) = 7*h**3 + 37*h**2 - 23*h - 37. Let o(c) = 6*k(c) - l(c). Is 11 a factor of o(-43)?
False
Let x be 90/(-12)*(-1 + 2/6). Suppose x*r - 2*r - 3 = 0. Is (-1 + 1 - -18)*r a multiple of 14?
False
Suppose 3*y - 3*r - 106118 = 18463, 166087 = 4*y - r. Does 24 divide y?
True
Let h = 96 + -94. Suppose 4*a = 3*o + 357, 2*o = h*a - 3*o - 161. Is 2 a factor of a?
False
Let a = 2725 + -710. Does 13 divide a?
True
Let w(h) = -h**3 + 5*h**2 + 4*h - 16. Let i be w(5). Suppose 0 = 3*k + i*o - 471, -o = 5*k + o - 799. Does 10 divide k?
False
Let s = 7941 + -3651. Is s a multiple of 6?
True
Suppose -49 + 22 = -9*w. Suppose 0 = -o + w*q + 158, 5*o - 260 - 606 = -4*q. Does 30 divide o?
False
Suppose -6*n + 8 = -3*n - v, -5*n + 15 = -2*v. Does 24 divide (n - -111)/7*(-258)/(-8)?
False
Let r(f) = 23*f**2 + 14*f + 81. Let m be r(-5). Is -4 - -8 - m/(-2)*1 a multiple of 33?
True
Suppose f = 3*v - 31825, 21555 = 4*v + f - 20890. Is v a multiple of 67?
False
Let l be (-85)/(-35) - (-6)/(-14). Suppose 5*w - 272 = 4*j + 1, 117 = l*w + j. Is w a multiple of 19?
True
Suppose 0 = 2*u + 8, -13397 = -12*d + 2*u + 63855. Does 8 divide d?
False
Let n(b) = -2*b**3 - 15*b**2 - 14*b. Let h be n(-6). Let o be 13/3 - (-8)/h. Is (-1 + 2)*(1 - (-60)/o) even?
True
Let b = 9 - -34. Suppose 227 = -5*g - b. Let v = g + 76. Does 22 divide v?
True
Let d(z) = -z**2 - 10*z - 7. Let u be d(-9). Suppose -990 = -3*t + 3*l, 4*t - 690 - 630 = u*l. Does 13 divide t?
False
Let t(n) = 10*n**3 - 31*n**2 - 2*n + 43. Is t(11) a multiple of 4?
True
Suppose 45 + 15 = -30*s. Is 40 a factor of (s/(-5))/((-24)/30)*-988?
False
Suppose -5*c + 8*c = 3*b - 231, 3*b - 207 = -3*c. Let z = b + 89. Is z even?
True
Let a = 15 + 56. Let d = a + -76. Is d - (-2 + 0) - (8 + -67) a multiple of 8?
True
Let h(c) = 32*c + 476. Let p be h(-15). Is 5 a factor of -3*(20/6 + p)*20?
True
Let v(q) = -100*q + 934. Let n(s) = 9*s - 85. Let k(h) = -68*n(h) - 6*v(h). Does 8 divide k(0)?
True
Suppose 15 = 2*v + 2*o - o, 2*v - 21 = -3*o. Is v*2*(-627)/(-76) a multiple of 9?
True
Is (-9)/45*(-30)/14 + 193904/56 a multiple of 47?
False
Let x = 389 + 655. Suppose -4*h + x = -0*h + 3*t, -522 = -2*h + 3*t. Does 20 divide h?
False
Let x(r) = 2*r**2 + r + 9. Let h be x(0). Suppose -o - 1160 = -h*o. Suppose 4*z - o = -3*y, 2*y + 5*z = 3*z + 100. Does 7 divide y?
False
Is 5 a factor of (-3750)/9*((-3406)/780 + (-4)/30)?
True
Does 52 divide (-779 + -1)/(3088/448 + -7)?
True
Suppose 9*n - 146 = 961. Is n + ((-20)/(-2) + -2 - 3) a multiple of 16?
True
Let h be ((-15)/10)/(3/(-6)) - 235. Let s = 426 + h. Is s a multiple of 53?
False
Suppose 0 = 4*w - 793 - 843. Suppose -4*x + 33 = 2*k + x, 4*k - x - 33 = 0. Suppose -5*a + w = k. Does 10 divide a?
True
Let i(u) = -2*u**3 - 172*u**2 + 182*u + 208. Is 64 a factor of i(-88)?
True
Suppose 14*q + 8394 = 25082. Let c = -516 + q. Is c a multiple of 42?
False
Suppose 33*y = -109 + 1561. Suppose 2*k - 1484 = 5*t, y*k - t + 728 = 45*k. Is 19 a factor of k?
False
Suppose -326*c + 60190 = -321*c. Does 13 divide c?
True
Does 22 divide (-6)/(-4)*4327168/384?
False
Let q(i) = 30*i**2 + 5. Let o(d) = 29*d**2 + 4. Let m(r) = 5*o(r) - 4*q(r). Let j(u) = -3*u - 131. Let f be j(-44). Does 7 divide m(f)?
False
Let n(z) = z + 36. Let w be n(-33). Suppose -w*o - o - 5*g = -521, -4*g = -o + 125. Is o a multiple of 64?
False
Let h = 161 - -43. Suppose -h = -z - w - 2*w, 0 = -4*z - 2*w + 856. Is z a multiple of 8?
True
Let h(k) = 2*k**3 - 106*k**2 + 132*k - 128. Does 68 divide h(53)?
True
Suppose 3*j + 2 = 5*j + r, 3*j - 4 = -2*r. Suppose -7*c + 14 + 0 = j. Is c - (1 - (-15)/6)*-6 a multiple of 2?
False
Let u(t) = -9*t - 24. Let z be u(-6). Suppose -26*a + z*a = -3*k + 609, a + 2*k - 146 = 0. Is a a multiple of 35?
False
Suppose 173*j = 161*j - 36. Does 43 divide -1 + (-7 - (1 + j)) + 822?
False
Suppose -101947 = -33*d + 115556. Does 3 divide d?
True
Let f(h) = h**2 + 16*h + 61. Let u(a) = a**3 + 28*a**2 + 53*a + 14. Let y be u(-26). Is 12 a factor of f(y)?
False
Suppose -4*q - 4 = -24. Let p be 0 - -1 - (-4 + q). Suppose 4*a - 712 = 3*b, p = -0*b + b. Does 38 divide a?
False
Suppose -w + h - 12 = -4*h, 3*w - 36 = -3*h. Suppose w*a + 7 - 23 = 0. Suppose -f - a*f = -255. Does 5 divide f?
True
Suppose 251 = -3*s + 1490. Let b = s - 191. Is 37 a factor of b?
True
Suppose -k = -6*k - 4*h + 33, k = h + 3. Let n(a) = -a**3 + 4*a**2 + 6*a - 3. Let m be n(k). Suppose 4*g - 474 = 3*v, -2*v - 229 = -m*g + 7. Does 24 divide g?
True
Let z = 71 + -61. Suppose -z*g + 2*g = -392. Suppose -10 = -2*c - q + 79, c - 4*q - g = 0. Does 5 divide c?
True
Suppose -5*b + 37 = 4*v, v + 2*v - 9 = 0. Suppose 517 = b*r + 107. Is 41 a factor of r?
True
Let b(u) = 47*u**2 - u + 1. Suppose -3*z + 2*z - 8 = 3*a, -4*z - 19 = -a. Is 24 a factor of b(a)?
False
Let k = 3853 + 676. Does 21 divide k?
False
Suppose 5*f + 25 = 0, f = -175*j + 171*j + 33523. Does 15 divide j?
False
Suppose 0 = 9*f - 24*f + 3*f + 21816. Does 9 divide f?
True
Let y be (28/(-3))/(-1) + (-6)/18. Let d be (7 - 3)*y/12. Suppose -d*l = q - 6 - 7, 4*q + 38 = 3*l. Is 4 a factor of l?
False
Let v = -16045 - -17465. Is 87 a factor of v?
False
Is 38/(-57) - -6634*6/36 a multiple of 5?
True
Let q(r) = r**3 - r**2 + 7*r - 4. Let o be q(5). Suppose o + 69 = 4*k. Is k a multiple of 50?
True
Suppose 2*p = 5*o - 2, -3*p - 2*o = 3*o - 22. Suppose -p*k - 28*k = -15104. Does 59 divide k?
True
Let v(x) = x**3 - 2*x + 1. Let c be v(2). Let s be (-1)/(-1)*(-13 + (10 - -3)). Suppose -c*n + 10*n - 1205 = s. Is n a multiple of 45?
False
Let q = -103 + 108. Suppose 0 = 3*u - q*p - 3, -p + 4 = 4*u. Let g(s) = 68*s**3 + 3*s**2 - 3*s + 1. Is g(u) a multiple of 12?
False
Suppose -194*f + 219*f - 6475 = 0. Is 37 a factor of f?
True
Let i be (1 + -5 - -7)*(-4 - -5). Let a be ((-2)/5)/(2/(-250)). Suppose i*u - 97 = -2*x, x + u = -2*u + a. Is x a multiple of 32?
False
Suppose 3*u - 2*t = 2406, 3*u - 4*t = u + 1604. Is u a multiple of 2?
True
Suppose -k = 60*r - 58*r - 3308, -k + 3304 = r. Does 11 divide k?
True
Suppose -4*d = 2*o - 8, 0*d - 3*d = 2*o - 6. Suppose 2*r + o*y + 3*y = 255, 0 = -3*y - 9. Does 16 divide r?
False
Let i(t) = 27*t + 318. Is 18 a factor of i(15)?
False
Let y(h) = -11*h + 116. Let r be y(10). Suppose -1460 = -5*m - 5*k, 4*m + r*k = k + 1169. Is 10 a factor of m?
False
Let s = 2103 - 1409. Is s a multiple of 61?
False
Suppose -3*c = 9*z - 12*z - 921, 1223 = 4*c - 5*z. Let j = 64 + c. Is 33 a factor of j?
False
Suppose -277*x - 274*x + 550*x + 3159 = 0. Is x a multiple of 9?
True
Let y(f) = -f**2 + 4*f + 18. Let k be y(7). Let b be 2816/24 + 0 + (-2)/k. Suppose 47 = s - b. Does 31 divide s?
False
Let x(r) = r**3 + 122*r**2 - 114*r + 2419. Is 8 a factor of x(-123)?
True
Let y(q) = q**3 - 18*q**2 + 49*q - 38. Does 67 divide y(20)?
True
Let j = -13070 + 26125. Does 15 divide j?
False
Let w(k) = k + 4. Let m be w(-13). Let o(f) = -2*f**3 - 13*f**2 + 7*f + 102. Does 22 divide o(m)?
False
Is (-5 + -1 - 164)*-16 a multiple of 80?
True
Suppose -w = 2*b - 2, -b - 4*w + 1 = 7. Suppose -3*i = -11 + b. Is (i - 2)/(4/220) a mu