 - 130. Suppose -3*q = -4*d - m, 20 + 49 = q + d. Is q a multiple of 16?
True
Let k = 469 - 706. Let s be k/(-27) + (-2)/(-9). Suppose 4*b + 190 = 8*u - 3*u, -5*b = u - s. Does 7 divide u?
False
Let j be -3 + 0 + 0 + 8. Suppose -n - 4*p - 20 = 0, 2*n + j = n - p. Suppose 3*x - 320 + 89 = n. Does 40 divide x?
False
Suppose -15*m - 447 = -16*m - 5*y, -m = -4*y - 420. Does 48 divide m?
True
Let g(c) = -2 + c - c**2 + 2*c**2 + 18*c**2 - 4*c**2. Let x = 0 + 2. Is g(x) a multiple of 15?
True
Suppose -5*f - 83 = 4*t, 4*t + t - 20 = 2*f. Let q be f*3*(-16 - -15). Suppose 0 = -k - 2*k + q. Is k a multiple of 13?
False
Suppose 0 = 4*k + h - 955, -3*k + 6*k + 6*h = 690. Does 10 divide k?
True
Let t be 7/((-1)/(8/(-1))). Let k = -41 + t. Is k a multiple of 15?
True
Let q(y) = -13 - 2*y - y - 3*y**2 - 3*y**2 - 3*y**2 - y**3. Let o be q(-9). Let c = o - 8. Is 2 a factor of c?
True
Suppose -19 + 1 = -3*a. Does 11 divide (-356)/(-8) - 3/a?
True
Let f(v) = 21*v**2 - 41*v + 210. Does 40 divide f(6)?
True
Let f be 6/7*140/30. Suppose -f*s - 2*h = 2, 0 = -s - 3*h - 3. Suppose -5*a + 10*a - 235 = s. Does 10 divide a?
False
Let c(w) = -9*w**3 - 5*w**2 + w + 4. Let t be c(-2). Suppose 4*o - 7*o + t = 0. Is o a multiple of 18?
True
Let k(w) = 168*w**2 + 3*w + 5. Is 34 a factor of k(-1)?
True
Suppose -93 = 2*q + 3*j - 2*j, 2*j = -5*q - 232. Let g = q - -69. Let m = g + 5. Does 6 divide m?
False
Let j(c) be the second derivative of c**5/20 - 3*c**4/4 + c**3/3 - 2*c. Let t be (8 - 2) + (1 - -2). Is j(t) a multiple of 5?
False
Let c(l) be the first derivative of -l**3/3 + 17*l**2/2 + 6*l - 5. Let u be c(9). Suppose -4*y + u = 2*t, 0 = 3*t - 0*y + 2*y - 105. Does 15 divide t?
False
Suppose -12*o = -453 - 99. Suppose 0 = l - 113 - o. Is l a multiple of 13?
False
Suppose 3 + 17 = 5*a. Suppose a*v + 0*v = 0. Suppose v*o = -2*o - 5*d + 206, -2*o + 2*d + 192 = 0. Is 14 a factor of o?
True
Let r(z) = z + 12. Let q be r(6). Let n = q + 20. Is n a multiple of 19?
True
Let m = -193 + 890. Does 2 divide m?
False
Suppose 707 = 14*g - 1477. Is 39 a factor of g?
True
Suppose 24*a - 3019 - 2453 = 0. Is a a multiple of 19?
True
Let y(m) = m**3 - 9*m**2 - 10*m - 8. Let c be y(-5). Let v = 523 + c. Is 52 a factor of v?
False
Suppose 3*w - v - 1403 = 0, 0 = w + v + 55 - 524. Is w a multiple of 9?
True
Let l(a) = -a**2 - 3*a + 349. Is 4 a factor of l(0)?
False
Suppose 103 = 5*s - 3*v, -2 = 4*s + 5*v - 77. Let o = 50 - s. Is 10 a factor of o?
True
Let p(x) be the first derivative of 5*x**2/2 + 4*x + 2. Suppose -8 + 0 = -2*k. Does 6 divide p(k)?
True
Let s(m) = 2*m**3 - m**2 + 4*m - 7. Let t be s(2). Let y(j) = 9*j - 10. Is y(t) a multiple of 14?
False
Let t(x) = 15*x + 2. Let k(o) = -46*o - 5. Let w(f) = -3*k(f) - 8*t(f). Is w(2) a multiple of 16?
False
Let n = -51 - -55. Suppose 4*j - n*t - 308 = 0, -173 = -3*j + 4*t + 63. Is j a multiple of 6?
True
Let i(n) = -9*n + 19. Let g(z) = -5*z + 9. Let s(r) = -11*g(r) + 6*i(r). Let j be s(-10). Is 30 a factor of (j - 3 - 0) + 108?
False
Let r = 1711 + 2368. Suppose -16*p - 1631 + r = 0. Is 7 a factor of p?
False
Let x = -75 - -157. Suppose -5*s = -p + x, -220 = -3*p + s + s. Is p a multiple of 13?
False
Suppose 0 = -20*q + 939 + 1301. Suppose 6 = 5*t + k, 0 = -2*t - k + 3*k + 12. Suppose -4*l + 68 = 5*i - q, l + t*i - 48 = 0. Is l a multiple of 10?
True
Is 33 a factor of (-1 + 2)*(311 - 14)?
True
Let o = 244 + 87. Suppose -7*j + 369 = -o. Does 21 divide j?
False
Let l(n) = -6*n - 13. Let i be l(-9). Let r = i + 0. Does 11 divide r?
False
Suppose 3*w - m + 3*m = 38, -3*w + 3*m + 63 = 0. Suppose 0*x - w = x. Is 18 a factor of (-12)/((-2)/x*-2)?
False
Suppose r - 433 = -5*l + 4*r, 0 = 4*l + 4*r - 340. Let c = l + 105. Is c a multiple of 48?
False
Let v(w) = 11 + 8*w + 26*w**2 - 9*w**2 + 0*w**3 - w**3 - 27. Let z(f) = 2*f**3 - 33*f**2 - 15*f + 31. Let d(c) = -11*v(c) - 6*z(c). Does 12 divide d(11)?
True
Let j(c) be the first derivative of -c**2/2 + 7*c + 8. Let n be j(4). Suppose n*h + 35 = 98. Is 21 a factor of h?
True
Suppose 76 = 7*d - 3*d. Suppose t + 2*z + 6 = 0, t - 2*z - z = d. Suppose t*l = 9*l - 180. Is 12 a factor of l?
True
Suppose -137 - 144 = -3*z - 2*s, 4*s - 198 = -2*z. Is 9 a factor of z?
False
Let h be 16/12 - (-2)/3. Suppose -s - h*a + 3 - 2 = 0, 2*s - a = 12. Suppose 0 = c - 3*y - 11, -y + s = 2. Does 20 divide c?
True
Let s(o) = o - 4. Let f be s(6). Suppose g = -4, 4*i - 7*g + f*g = 384. Is 13 a factor of i?
True
Let h(q) = -7*q + 335. Is 8 a factor of h(41)?
True
Suppose -129*m = -124*m - 2355. Is m a multiple of 7?
False
Suppose 3*r = -4*t + 2556, -82*t + 3*r + 1896 = -79*t. Does 53 divide t?
True
Let o(p) = p + 27. Let k be o(-8). Suppose k*t - 1287 = 8*t. Does 30 divide t?
False
Suppose 2*y - m = 0, y + 12 = -3*y + 5*m. Suppose -y*s + 2 = -2. Suppose 0 = -3*q + 12, 0 = 2*j - 6*j - s*q + 120. Is 14 a factor of j?
True
Let p be 56/4*(9/(-6) - -2). Suppose -153 = p*z - 1329. Is 14 a factor of z?
True
Suppose -4*y = 0, -29*y - 941 = -c - 33*y. Does 58 divide c?
False
Suppose -35 - 1 = -4*x. Suppose 5*v = -4*q + x, 3*q = -0*v + v + 2. Suppose 3 = -2*n - v, d - 32 = -2*n. Is 27 a factor of d?
False
Let a = 29 + 332. Does 23 divide a?
False
Suppose -7*k = -6*k - 5. Suppose -g = -3*t + 447, g + 745 = k*t - g. Is 15 a factor of t?
False
Let g(t) = 273*t - 4. Let m be g(4). Suppose -10*q - m = -27*q. Is 32 a factor of q?
True
Suppose n - 4*n + 84 = 0. Is 751/7 - ((-20)/n + 1) a multiple of 24?
False
Let z be -4 + (-1 + -1 - -12). Suppose -2*i + 8 = 0, -z*f + 61 = -5*f - 3*i. Is f a multiple of 12?
False
Suppose -5*d + 3*p - 3 + 16747 = 0, -5*p - 13390 = -4*d. Does 59 divide d?
False
Suppose j - 5*r + 134 = 0, 0 = -j - 4*j + 4*r - 586. Is 42 a factor of (42/(-8))/((j/144)/19)?
True
Let w = -93 + 125. Is 18 a factor of w?
False
Is -7 + 1 + (12 - -115) a multiple of 9?
False
Let f = 2938 - 1672. Is f/45 + (-14)/105 a multiple of 4?
True
Let c = 1378 - 685. Does 7 divide c?
True
Let p(h) = h**3 - h**2 + 123. Let f be (-30 - 0)/((-5)/5). Let v = -30 + f. Is 25 a factor of p(v)?
False
Let i be -6*(8/(-6))/(-1). Suppose -5*p - 23 = 3*z - 163, 5*p + 2*z - 135 = 0. Let g = p + i. Does 17 divide g?
True
Let b(c) = -6*c + 1 - c + 4*c**3 - 3*c**3 + 0*c**3 - 4*c**2. Is 9 a factor of b(7)?
True
Let i(s) be the second derivative of s**4/12 + 2*s**2 - 8*s. Does 4 divide i(-2)?
True
Suppose -11 - 25 = -f + j, 5*f - 160 = -5*j. Is f a multiple of 3?
False
Suppose 4*h + 5*y = 2515, 106 = -2*y + 104. Is h a multiple of 14?
True
Let h be (-1628)/14 - (-16)/56. Let z = -109 + 56. Let b = z - h. Is b a multiple of 21?
True
Let v = 102 + -100. Is 21 a factor of (2 - 1) + (269 - 1) + v?
False
Suppose 4*h - 349 = 3*k + 95, 4*k + 3*h = -567. Let d = -117 - k. Is d a multiple of 23?
False
Let p(l) = -l**2 - 4*l + 6. Let m be p(-4). Suppose w = 3*u - 4, -2*w + m*w = -u - 3. Does 33 divide 65/u + (-2)/(-2)?
True
Let d(m) = m**2 - 13*m + 15. Let c be d(11). Let l = -3 - c. Suppose -4*j = -k + 29, 2*k + l*j = k + 13. Is k a multiple of 7?
True
Let z(v) = 2*v**2 - 13*v + 11. Let o be z(10). Suppose -p = 3*g - o, -6*p - 4*g - 67 = -7*p. Does 10 divide p?
False
Suppose 0*l - 3*d + 46 = l, 20 = 5*d. Is 11 a factor of (-1 + l/3)*(-43 - -46)?
False
Is 4282/10 - 72/(-90) a multiple of 33?
True
Suppose 4*o - 13916 = -5*i, 99*o + 10437 = 102*o - 5*i. Is 71 a factor of o?
True
Let w be ((-5)/20*-3)/((-1)/(-4)). Suppose w*x - 90 = x. Is x a multiple of 7?
False
Let q be (-2272)/(-18) + 20/(-90). Let t = 84 - q. Is 21 a factor of (t/(-15))/(4/60)?
True
Let l(r) = -r**2 + 15*r - 12. Suppose -3*w - w = -32. Is 22 a factor of l(w)?
True
Suppose -228*d = -259*d + 5580. Does 4 divide d?
True
Suppose 9*w = 5 + 229. Let q = 25 + w. Is 3 a factor of q?
True
Let j = -38 + 48. Suppose -r = 2*h - 71, -5*r + 185 = 5*h - j*r. Is 6 a factor of h?
True
Let o(i) = -1737*i**3 - 5*i**2 - 2. Is 60 a factor of o(-1)?
False
Suppose 12*m = -44*m + 21448. Does 3 divide m?
False
Let x = 24 + -9. Suppose -7*s + 55 = 4*s. Let h = s + x. Does 10 divide h?
True
Suppose -69 = -74*g + 73*g. Let m = g - 36. Does 8 divide m?
False
Suppose -10472 = -21*n - 7*n. Is 6 a factor of n?
False
Let k = -368 + 562. Does 59 divide k?
False
Let c = -22 + 30. Suppose c = -2*o, 0*a + 5*a + 188 = 3*o. Let w = 112 + a. Do