(-51)?
True
Let i = -232 + 235. Suppose -i*j + 89 = -10. Does 3 divide j?
True
Is 20 a factor of (7 - 0) + (-38)/((-1026)/109971)?
True
Suppose 2*r - 8 = 0, 3*r - 4436 = 5*o - 18359. Let g be o/9 + 4/(-6). Suppose 2*w - 210 = 2*v, 0*v + g = 3*w - v. Is 24 a factor of w?
False
Suppose 42*p - 9*p + 21*p = 349056. Does 33 divide p?
False
Suppose i + 2*b - 13 = 0, -i + 0*b = 5*b - 28. Suppose -2*t = 2*l - 40, -i*t + 0*t + l + 64 = 0. Let a = 41 - t. Is 5 a factor of a?
True
Is 164 a factor of (22861/(-3))/(117/(-702))?
False
Suppose -11*w + 2773 = -747. Suppose -2*z + 6*z = y + 643, w = 2*z - 2*y. Is z a multiple of 18?
False
Let s be (310/(-25))/(4/(-310)). Let g = -521 + s. Does 8 divide g?
True
Let g = -261 - -273. Suppose -g*m + 19*m - 2184 = 0. Is m a multiple of 6?
True
Let r(z) = 27*z + 1188. Is r(-35) a multiple of 81?
True
Let w(o) = -o**3 + 16*o**2 + 31*o - 10. Let t be w(18). Does 10 divide ((-96)/(-160))/((-2)/t)?
True
Let u(c) = c**2 - c - 1. Let x(g) = 30*g**2 - 1. Let y(f) = -4*u(f) + x(f). Suppose -k = b + 4, 2*b + 89*k - 90*k + 2 = 0. Does 39 divide y(b)?
False
Let a = 31 + -23. Suppose 0 = 13*q - a - 161. Does 2 divide q?
False
Suppose 4*s + 56 - 88 = 0, 0 = -5*q + 2*s + 200229. Is 26 a factor of q?
False
Is (14 - (-432)/(-30)) + 29924/10 a multiple of 11?
True
Let q(z) = -5*z - 8. Let h be q(-5). Suppose h*o + 6720 = 27*o. Is o a multiple of 84?
True
Let t(g) = 28*g + 35. Let f be t(2). Let w = 45 + f. Is 34 a factor of w?
True
Let b be (-2)/4 + (-5996)/(-8). Let k = 812 - b. Is 5 a factor of k?
False
Let i(h) = 8*h + 3. Let z be 2/7 + 0 - 38/(-14). Let b be i(z). Let g = -14 + b. Is g a multiple of 3?
False
Suppose -35 = 2*a - 9*a. Suppose 19 - 59 = a*z. Is (12/z)/(9/(-120)) a multiple of 4?
True
Let p = -664 - -665. Let v = -1 - -3. Is p/(-7) + (-347)/(-7)*v a multiple of 11?
True
Let k(a) = 39*a**2 + 19*a + 107. Let q(p) = 19*p**2 + 7*p + 54. Let n(c) = -2*k(c) + 5*q(c). Is n(-8) a multiple of 10?
False
Let r = 570 + -569. Let j(h) = 1081*h**2 + 6*h + 1. Does 16 divide j(r)?
True
Let x(m) = 35*m**2 - 96*m + 671. Is x(-40) a multiple of 29?
False
Suppose g + 2 = 7. Suppose -5*n = 3*h - 599, 5*h + 8*n - 977 = g*n. Suppose h = x - 3*u, 2*x - 893 = -3*x - 3*u. Does 18 divide x?
False
Suppose -101*q + 52380 = -4*q. Is q a multiple of 9?
True
Suppose -5*r - 4654 = -2*f, 2174 + 163 = f - 5*r. Let s = f - 1531. Is s a multiple of 19?
False
Suppose 0 = 105*u - 44*u - 256200. Is 30 a factor of u?
True
Let a(u) = 8*u + 238. Let c be a(-14). Is (-54)/c - (-18178)/14 a multiple of 22?
True
Let w = -3063 - -7140. Does 46 divide w?
False
Let n = -30511 - -45245. Is n a multiple of 53?
True
Let a(g) = 6 - 13 + 1 + 15*g - 20 + 9*g**2. Let y be a(11). Suppose 5*r = -5*f + 1220, -6*r + y = -r + 3*f. Is 31 a factor of r?
True
Suppose 2*g - 10*m - 4 = -12*m, 0 = 3*g - 5*m + 2. Is g/(-4) + 0 - (-37485)/20 a multiple of 11?
False
Suppose -19128 = 12*a - 90430 - 7226. Does 4 divide a?
True
Is 1 + 8/(-12) + 261200/30 a multiple of 27?
False
Suppose -70110 = -599*s + 590*s. Is s a multiple of 95?
True
Let v = 51 - 56. Let r(m) = -7*m - 32. Let j be r(v). Suppose -273 = -3*z + 3*s, 2*z - 180 = -0*z + j*s. Is z a multiple of 14?
False
Suppose 9*o - 904 = 2552. Suppose 397*t = 393*t + o. Is 3 a factor of t?
True
Let l be ((-14)/(-8))/(50/200). Suppose l*t - 12*t = -945. Is t a multiple of 9?
True
Let y(k) = 12*k + 5. Let a be y(15). Let b = a - 145. Is b a multiple of 3?
False
Let c be (-1 + 2)/(1/(-83)). Let f be (20/25)/((-5769)/720 - -8). Let m = f - c. Does 4 divide m?
False
Suppose 0 = -6*s - 5*i + 10941 + 510, 2*s - 3818 = -2*i. Is s a multiple of 4?
False
Let d(k) = 7*k**2 + 309*k + 431. Is 92 a factor of d(-61)?
False
Let y(n) = -n**3 - 2*n**2 - 16*n - 5. Let q be y(-7). Suppose -q = -8*r + 1232. Is r a multiple of 11?
True
Is -1 - (-194434)/8 - (-13)/(2808/(-54)) a multiple of 182?
False
Suppose 1441 = -17*x - 1840. Let r = x + 402. Is r even?
False
Suppose 2*y = 2*d - 2006, -1508 = 3*y + 3*d + 1477. Let t = y + 1401. Is t a multiple of 25?
False
Let p(i) = -9*i**2 - 2*i - 1. Let u be p(-1). Let l be u*2*(-6)/16. Suppose -4*r = 3*t - 424, -r + l*t + 83 = t. Does 23 divide r?
False
Let c = 17147 - -4489. Is c a multiple of 12?
True
Suppose 875 = -33*t + 28*t. Let b = t + 249. Suppose b - 242 = -7*z. Does 6 divide z?
True
Suppose f = 3*c - 1 + 29, -5*f + 140 = 4*c. Suppose 2*a - f = 4*t, 2*a - 55 = 4*t - 9*t. Does 20 divide a?
True
Let o = -72 + 79. Suppose -2*t = -o*t + 1475. Does 16 divide t?
False
Let a(v) = -v**2 + 17*v - 5. Let k be (-2*6 + 1)*(0 + 6). Let f = k + 80. Does 37 divide a(f)?
True
Let s be 354/10*80/8. Suppose -451 - s = -5*r. Does 19 divide r?
False
Does 43 divide (-95460)/(-1221)*55/2?
True
Let x(r) = -7*r**3 - 26*r**2 - 116*r - 4. Does 12 divide x(-14)?
True
Let t be 98 - 3*(-8)/(-4). Suppose t*b - 295 = 87*b. Is 59 a factor of b?
True
Let v(l) = -l**3 - 26*l**2 - 30*l - 45. Suppose 0 = 6*b - 39 - 21. Let d be 270/36*b/(-3). Does 16 divide v(d)?
True
Suppose -13 = -4*h - 3*u + 10, -5*u + 31 = 3*h. Suppose 37 = -5*d + 52. Suppose -d*j = -5*m + 376, 0 = h*m - 2*j + 3*j - 146. Is m a multiple of 13?
False
Let t = -77 + 90. Suppose 10*h - t*h = 9. Does 7 divide (-42)/(-28) + ((-495)/2)/h?
True
Let u be (-6)/(-14) - (-3)/(-7). Suppose u = 2*f + 4, 8*s - 112 = 5*s + 5*f. Does 17 divide s?
True
Let u = 5407 + -1306. Suppose 21*c = u + 6000. Does 13 divide c?
True
Let w(r) = -r**3 - 2*r**2 + 25*r + 106. Is w(-17) a multiple of 4?
True
Let m = 181 - 133. Does 20 divide (-1592)/(m/(-6)) + 1?
True
Let b(k) = 70*k**2 - 69*k + 344. Is 11 a factor of b(5)?
True
Let y = 7494 + -2913. Is 115 a factor of y?
False
Let z be 4/6 + (-323)/3. Suppose -10 = -5*j + 5*u + 30, 3*j = u + 24. Let t = j - z. Is t a multiple of 8?
False
Let y = 9752 + -6452. Does 15 divide y?
True
Suppose 81*g - 286180 = g - 2*g. Is g a multiple of 8?
False
Suppose -385 = -16*c + 95. Suppose 32*r = c*r + 80. Is r a multiple of 10?
True
Let i = 18 - -114. Suppose -8*b + 7*b = 3*k + 3, 2*b - 4 = 4*k. Suppose 3*z = -b*z + i. Does 11 divide z?
True
Let i(m) = 456*m - 7117. Is i(19) a multiple of 2?
False
Does 7 divide ((-84)/(-9) + 0)/(121/23232)?
True
Let z(k) be the third derivative of k**5/60 + 11*k**4/24 + 11*k**3/6 + 19*k**2. Let r be z(-15). Suppose 5*n = r + 144. Is 10 a factor of n?
False
Let m(p) = 5*p**2 + 16*p + 15. Let a be m(-1). Suppose 0 = 2*z - 5*g - 2004, -7*g + a*g = -2*z + 2008. Is 25 a factor of z?
False
Suppose 174 = 3*o + 4*y, 0*y - 295 = -5*o - 5*y. Suppose 16*h = 2734 - o. Suppose 8*f + h = 1463. Is 15 a factor of f?
False
Suppose 5*a + 19 = 6*a + 4*y, 5 = 5*y. Suppose -5*k = -4*k - t - 25, k = -4*t + a. Is k a multiple of 2?
False
Suppose -4*i = -5*d + 7606, 1269 = 3*d - i - 3289. Does 66 divide d?
True
Let o be 18/(-3*(-6)/(-18)). Let f be (o + 19)/(141/(-71) - -2). Let s = 123 - f. Does 29 divide s?
False
Let w be 5218*(6 - (5 + 0)). Suppose 0 = 6*q - w + 520. Does 27 divide q?
True
Let u(p) = -6308*p + 400. Does 26 divide u(-1)?
True
Let r(l) be the first derivative of -l**4/4 + 20*l**3/3 + 21*l**2/2 + 12*l - 43. Is r(21) a multiple of 2?
True
Let y(j) = j**2 + 11*j + 18. Let n be y(-6). Let l be n/30*(-3)/6*-230. Is 11 a factor of -2 + (-1)/(-2) - 5635/l?
True
Let v be (0 - 1) + -18 + 21. Suppose -2*t = 3*y - 330, 5*y + v*t - 555 = -3*t. Does 12 divide y?
True
Let z be (-314)/(-1)*(-3 + 4 + 0). Suppose 2*j = -0*m - 4*m + z, 0 = m - 3*j - 89. Is m a multiple of 10?
True
Let t(w) = w**2 - 27*w - 80. Is t(39) a multiple of 5?
False
Suppose 285*d - 84*d = 77184. Does 8 divide d?
True
Let q = -313 - -318. Suppose -l = -5*m + 10*m - 60, -q*l - 48 = -4*m. Is m a multiple of 4?
True
Suppose -4*f + 7 = 23. Let o = -939 + 507. Is 27 a factor of (1/((-2)/(-1)))/(f/o)?
True
Suppose 0 = -30*u + 33*u - 159. Suppose 0 = u*l - 56*l + 1410. Is l a multiple of 15?
False
Suppose 4*b + v - 664 = 0, 4*b - 2*b = 3*v + 318. Let y = b + -117. Is (-12)/y + (-442)/(-8) a multiple of 7?
False
Let n = -14367 + 29617. Is n a multiple of 50?
True
Let g(o) be the first derivative of -o**3/3 + o**2 + 20*o - 18. Let r be g(-4). Is -6*5/40 - 1275/r a multiple of 21?
False
Suppose 0 = 4*z - 5*h - 37824, 5*h = -161*z + 162*z - 9486. Does 23 divide z?
False
Suppose 40 + 72 = 16*b