2 - 4*(-10)/(-8)?
True
Suppose -6*j + 20 = -j. Suppose p = -j*p + 1025. Let l = -140 + p. Does 13 divide l?
True
Let y(h) = -2*h**2 + 19*h + 2. Let z be y(0). Is (z - -3)*(-4 - (-1183)/35) a multiple of 7?
False
Suppose 4*c + 5*m - 31 = 0, -6*c - 4*m + 28 = -2*c. Suppose 0 = -3*n + 5*s + 319, -2*n + n + 105 = -3*s. Suppose d = -3*d, q - n = -c*d. Is q a multiple of 18?
True
Suppose 2454 + 2433 = -9*d. Let k = d - -776. Is 19 a factor of k?
False
Let i = 45 - 37. Let j = 38 + i. Is j a multiple of 5?
False
Let m(h) = -4*h**3 + 3*h**2 + 9*h - 66. Let j(z) = 2*z**3 - z**2 - 5*z + 33. Let l(q) = 7*j(q) + 3*m(q). Does 18 divide l(5)?
False
Let t = -35 - -2611. Is 14 a factor of t?
True
Let u(h) = 280*h**2 - 142*h + 1344. Is 223 a factor of u(9)?
True
Does 40 divide 681339/147 - 66/(-1617)?
False
Let h = 6498 - 5513. Is 5 a factor of h?
True
Let a(l) = -53*l + 1939. Is a(-8) a multiple of 104?
False
Suppose 23*l - 25302 = 37128 + 62805. Does 11 divide l?
True
Suppose -5*h - 5 = -3*m + 64, -2*m = 4*h + 64. Let d(j) = j**3 + 14*j**2 - 16*j + 8. Let f be d(h). Let c = f + 33. Is c a multiple of 14?
True
Let d(x) = x**3 - 8*x**2 + x + 30. Let r be d(4). Let j = r - -66. Does 3 divide j?
True
Suppose -2*s - 6 = -5*l - 2, 3*l = -3*s + 15. Suppose 1371 = s*r + 2*y, 0*r + 3*y = 3*r - 1356. Is r a multiple of 91?
True
Suppose -5 = -k - 2. Suppose -5*q + g = -48, -k = -0*g + g. Suppose -d - 1256 = -q*d. Is 8 a factor of d?
False
Suppose -4*u = 9*u - 14898. Suppose 0*y + 3*y - u = 3*a, -5*y = 4*a - 1901. Let z = -249 + y. Is z a multiple of 25?
False
Suppose 19*z = -3*z - 29436. Let w = -553 - z. Does 18 divide w?
False
Let d(z) = -9*z + 421. Is d(5) a multiple of 91?
False
Let f be (-4 + -1)/(5 - (-60)/(-8)). Suppose f*b = -6*b + 384. Is 3 a factor of b?
True
Suppose -4*a - 19*a - 26732 + 98768 = 0. Does 9 divide a?
True
Let q = 32 - 20. Let j(m) = m - 12. Let a be j(q). Suppose -5*d - x + 108 = -123, a = -5*d - 3*x + 233. Does 12 divide d?
False
Let n be (4 - 1)*1 - 1. Suppose -5*p + 414 = -p + n*m, -517 = -5*p - 3*m. Suppose 3*u + 2*z = 55 + 207, p = u + 4*z. Does 12 divide u?
True
Let m(x) = -3*x**3 + 15*x**2 + 13*x + 13. Let k(z) = -z**3 + z**2 - 1. Let r(n) = 5*k(n) - m(n). Does 12 divide r(-6)?
True
Does 21 divide ((-28)/2)/(-2) + -18*(-11924)/396?
False
Suppose 49*c + 7*c - 6535 = 1361. Does 7 divide c?
False
Let r = -167 - -24921. Is 13 a factor of r?
False
Let d(s) = s**3 - 6*s**2 - 18*s - 11. Let n be d(9). Let j = n + -20. Is 5 a factor of j?
True
Suppose l + 4 - 12 = 0. Suppose -l*z + 13*z = 510. Let i = z + 68. Does 34 divide i?
True
Let w(t) = -26*t**2 - 1004*t - 21. Does 27 divide w(-24)?
True
Suppose -6 = -5*a + 4. Let k be (a/4 + 0)*0/(-6). Suppose g - 5*w = 62 + 84, g - w - 154 = k. Does 12 divide g?
True
Let v(z) = -z**3 + 14*z**2 - 19*z - 21. Suppose -w - 13*w = -154. Let h be v(w). Suppose -m - 10 + h = 4*r, m - 153 = 2*r. Is m a multiple of 9?
False
Suppose -7*m - 4 = -6*m. Let i be (16/(-24))/(m/2370). Suppose 5*n - 145 = i. Is 36 a factor of n?
True
Let k be 8/(-12) - 5450/6. Let q = 1452 + k. Is 33 a factor of q?
False
Suppose 5*j = -3*y + 5*y + 5, 0 = 5*y - 25. Suppose 0 = j*r + 2*r + m + 32, 2*m = -4. Is 3 a factor of 560/24 - 4/r?
True
Let x(i) = -2*i**2 - 24*i - 30. Let j be x(-10). Suppose -13*z + 2892 = -j*z. Is 48 a factor of z?
False
Let b = -98 - -98. Suppose b = 5*c - 50 - 80. Suppose -23*l = -c*l + 63. Does 3 divide l?
True
Let n be (3 - (-155)/(-10))*(-32)/(-10). Let y = 31 + n. Does 14 divide (24/5)/(42/(-140))*y?
False
Let l(t) = 208 - 214 + 2*t**2 + 2*t**2. Let n be l(-2). Suppose -990 = -s - n*s. Does 30 divide s?
True
Suppose -6*a + 48 + 24 = 0. Let k(y) = y**3 - 12*y**2 - y + 9. Let m be k(a). Does 17 divide (-47)/m + 2/6 + 1?
True
Let i(a) = a**3 + 17*a**2 + 3*a. Let l be i(-17). Let f = -18 - l. Suppose 0 = 2*o - 309 + f. Is o a multiple of 22?
False
Suppose 4*d = -q + 12, 10*q - 10 = 6*q + 3*d. Suppose 4*g = -q*g + 2128. Is 14 a factor of g?
True
Is 14/1862*-14 + 94054/76*2 a multiple of 75?
True
Let x(h) = -3*h + 3. Let p be x(6). Let u(d) = -45*d - 227. Let i be u(-5). Does 6 divide i*p/((-20)/(-4))?
True
Suppose 59*w - 2*w + 136084 = 445024. Is 12 a factor of w?
False
Let q be 57/(-3 - 57/(-18)). Suppose -239*y = -248*y + q. Is 19 a factor of y?
True
Is 43 a factor of (((-712)/(-12))/(8/6))/(2/148)?
False
Let y = 40776 + -37416. Is 40 a factor of y?
True
Let z(k) = -k**3 - 23*k**2 - 7*k + 29. Let p be z(-23). Suppose 10*v = p + 100. Does 2 divide v?
False
Suppose 0 = 15*z - 5277 - 9303. Does 54 divide z?
True
Let d be -4 + 198/51 + 378/34. Suppose 4*w - 1175 = 16*h - d*h, 574 = 2*w + 2*h. Is w a multiple of 10?
True
Suppose -11*n - 668 - 1279 = 0. Let y = n + 309. Does 22 divide y?
True
Let u(g) = 1098*g**2 + 17*g - 303. Is u(6) a multiple of 50?
False
Suppose 90*w = 2*o + 93*w - 5128, o - 2565 = -2*w. Does 8 divide o?
False
Let d(l) = -2*l - 49. Suppose 5*r - 4*c = -132, -2*r + 3*c = -0*c + 57. Let m be d(r). Is 5 a factor of (17 - 12) + 4 + m - -2?
True
Let g(y) = -y**3 + 6*y**2 + 7*y + 30. Let p be g(8). Let s = p + 84. Is s a multiple of 4?
False
Let v be (-11 + 10)/((-1)/123). Suppose -3*w + 194 = 5*j, 4*w + v - 35 = 2*j. Does 5 divide j?
True
Let y be (-3)/(-12) - (-39)/4. Suppose -2*o = -v + 1249, -o - 4*v + 175 = 804. Does 18 divide (-8)/y*o/10?
False
Suppose 4*l - 2*l + 910 = -4*r, 5*l = -5*r - 2290. Let g = l - -573. Is g a multiple of 56?
True
Suppose 25 = 5*l - 0*p + 5*p, 2*l + 4*p - 14 = 0. Suppose 4*o - 153 = l*i, -5*o = -6*i + 3*i - 192. Let v = -24 + o. Is v a multiple of 13?
False
Let q = -51 - -125. Suppose 0 = -0*f + f + 3*x + 49, q = -2*f + 2*x. Is 7 a factor of (-1366)/(-16) - (-15)/f?
False
Suppose 0 = 12*a - 36 - 24. Suppose -5*y + 885 = a*b, 0 = -0*b + 3*b - 2*y - 531. Does 8 divide b?
False
Let c = 325 + -316. Suppose 2232 = c*g - 1566. Does 8 divide g?
False
Let t(r) = 2*r**2 + 12*r + 1. Let q be t(-7). Suppose -u + 144 = 2*h, 2*h = 11*u - q*u + 552. Does 17 divide u?
True
Let l = -1548 - -1552. Let t(y) = y**3 + 4*y**2 - 5*y + 5. Let i be t(-5). Suppose 0 = -l*j + i*j - 49. Is 17 a factor of j?
False
Suppose -68 = -7*z + 212. Suppose -z*g = -2405 - 1955. Does 7 divide g?
False
Let o(p) = 11*p**2 - 3*p - 7. Let u = 171 + -173. Is o(u) a multiple of 6?
False
Suppose 9*j = -2*j - 26*j + 143264. Is j a multiple of 19?
False
Let q = 23 - 27. Let a(j) = -30*j - 27. Let m be a(q). Suppose -m = -l - 3*c, -c - 200 = -l - l. Is 11 a factor of l?
True
Suppose -32 = 10*g - 152. Suppose 11*q = g*q - 5. Suppose -q*t + 187 = -2*x, -4*x + 66 + 28 = 2*t. Is t a multiple of 13?
True
Let l(n) = 2*n**3 + 2*n**2 - 5*n + 4. Let o be ((-3 - -6) + -4)*-4. Is 24 a factor of l(o)?
True
Let x be (-2)/(-13) - 1344/(-52). Suppose -30*b + x*b = 0. Suppose b*q = 4*q - 640. Does 40 divide q?
True
Suppose -3*c - 5*o + 404 = 92, 97 = c + 4*o. Does 5 divide (-1)/((-2)/560) + c + -109?
True
Suppose -h + 6*h - x = 20, 2 = -h - x. Suppose 0*i - i + 5*z - 20 = 0, -h*z + 12 = 4*i. Suppose i = 104*t - 103*t - 49. Is t a multiple of 17?
False
Suppose -856*y - 68875 = -885*y. Is 139 a factor of y?
False
Let z(f) = 36*f**2 - 44*f - 210. Does 9 divide z(-6)?
True
Let r = 1087 - 1006. Suppose 54 = r*b - 79*b. Is 2 a factor of b?
False
Let r(p) = -p**2 - 18*p - 18. Let b(t) = 8*t + t - 555 + 550. Let w be b(-1). Is r(w) a multiple of 10?
False
Let z = -109 - -84. Let k = -21 - z. Suppose -5*j + 275 = -2*i, -3*i + k*i = -j + 62. Does 4 divide j?
False
Suppose 24*j - 53568 = 38*j - 26*j. Is j a multiple of 16?
True
Let s be 80/24*2*3. Is (450/(-12))/((-15)/s) a multiple of 7?
False
Suppose -5*s + v - 6 = -190, -80 = -2*s + 2*v. Suppose w + s*p - 40*p - 356 = 0, -1078 = -3*w + 2*p. Is w a multiple of 28?
False
Let d(h) be the first derivative of h**4/4 + 16*h**3/3 - 2*h**2 + h - 4. Let s be d(-12). Suppose -s = -4*u - u + t, 0 = -3*t + 15. Does 18 divide u?
True
Suppose -4*s + 3*f = -29, -77 + 90 = 2*s - f. Suppose s*l - y = 1014, 371 = 4*l - 5*y - 436. Is l a multiple of 12?
False
Let w(b) = b**2 - 6*b - 11. Let u be w(8). Suppose 4*f - 193 = -u*m, -2*m - 183 = -4*f - 5*m. Is 14 a factor of f?
True
Let f = -268 + 292. Is 28 a factor of 0 - 677/(-3) - f/36?
False
Let w be 14 - (-2 - -2 - 2). Let u be -2 - 8 - (-26 + 10). Suppose