/(-10)?
True
Suppose 31*h = -36*h + 448954 - 84072. Is h a multiple of 7?
True
Suppose 5*k + 39*x - 42 = 37*x, 37 = 5*k - 3*x. Suppose l = 4*j - 52, -4*l - 44 = -5*j - 8*l. Suppose -k*a - 56 = -j*a. Is a a multiple of 7?
True
Suppose 0 = 2*y - 7*y - 5*g - 340, 3*g = -4*y - 274. Let j be (-9 + (-406)/(-42))*-3. Does 3 divide 14/y - (-58)/(-5)*j?
False
Is 121 a factor of 2970/(-35)*(1 - -76)/(7 - 8)?
True
Let m(s) = -16*s - 8. Let b be m(-6). Suppose 46*c + 997 = 3067. Let a = b - c. Is a a multiple of 4?
False
Suppose 0 = w + 5, -u - 2*w - 1 = -9. Suppose 4 = 11*p - u. Let n(o) = 46*o**2 + 4*o - 5. Is 17 a factor of n(p)?
True
Let o = 123 - 120. Suppose -3*z = -o, -3*u + 45 = 3*z + 6. Suppose 0 = -3*s - u*s + 1800. Is s a multiple of 34?
False
Suppose 1729*i + 1739*i - 3454*i - 33726 = 0. Does 2 divide i?
False
Let w = -14707 - -24607. Does 10 divide w?
True
Let h be 4/12 - (-42)/9. Suppose h*w = 629 + 51. Does 17 divide w?
True
Let u(b) = b**3 + 5*b**2 - 7*b - 6. Let j be u(-6). Suppose 6*x - 1346 + 356 = j. Is 11 a factor of x?
True
Let r(k) = -k**2 - 21*k - 8. Let u be r(-15). Suppose u*a + 758 = 84*a. Does 7 divide a?
False
Let k = -13709 + 19712. Is k a multiple of 69?
True
Let w(c) = -c**3 - 8*c**2 - 13*c - 7. Let y be w(-9). Let z = 979 - y. Is 25 a factor of (z/8)/(1/2)?
False
Let q(t) = 14*t**2 - 25*t + 56. Does 47 divide q(8)?
True
Let x(g) = -103*g**2 - 6*g - 7. Let v be x(-1). Let c = 164 + -322. Let s = v - c. Does 9 divide s?
True
Let z be 6/27 + 28/90*205. Suppose -z*o + 60*o = -340. Does 22 divide o?
False
Let g(t) = 37*t**2 + 7*t + 14. Let v be g(6). Suppose 0 = 10*x - v - 1862. Let o = 485 - x. Is o a multiple of 8?
True
Let a(h) = -945*h - 910. Is 7 a factor of a(-5)?
True
Let c be 1 + (-3908)/((-12)/6). Let v = c - 1308. Is v a multiple of 83?
False
Let t(l) = -l**3 + 4*l**2 - 2*l - 3. Let x be t(3). Suppose -8*n + 35 + 237 = 0. Suppose 3*v + 412 = 4*z + n, x = -4*z + 2*v + 380. Does 24 divide z?
True
Let o = -298 + 303. Suppose -b - 2533 = -o*a + b, -4 = b. Is 14 a factor of a?
False
Let p(o) = 17 - 3 + o + 4*o + 12. Let g = 1295 - 1277. Is p(g) a multiple of 8?
False
Let l(v) = -v**2 - 15*v - 170. Let m be l(-18). Is 50 a factor of ((-300)/14)/((-1788)/m + -8)?
True
Let z(q) = 2*q**2 + 7*q + 31. Let a(o) = -o**2 - 5*o - 32. Let k(g) = -3*a(g) - 2*z(g). Is k(-5) a multiple of 4?
True
Let d = -3367 - -4606. Is 68 a factor of d?
False
Suppose 0 = 2*r - y - 19, 2*r = -r + 4*y + 21. Is (-3028)/(-9) + r + 1133/(-99) a multiple of 14?
True
Suppose 0*w + 3*w = w. Suppose -h + 5*h - 2*y - 452 = w, -2*h + 3*y + 222 = 0. Does 6 divide h?
True
Let k be 6/(8/8 - (-1)/2). Does 71 divide k - (-5 + (-2 - 202))?
True
Let z(g) be the first derivative of g**4/4 - g**3/3 - g**2 + 46*g - 39. Is 23 a factor of z(0)?
True
Is 25 a factor of (4*(-6)/12 - -3)/(3/26769)?
False
Let s = -4072 - -16150. Is 22 a factor of s?
True
Let l = 111 + -106. Is (-2 - 3)/l + 78 a multiple of 7?
True
Let w(y) = -y**3 - 11*y**2 - 12*y - 8. Let l = 148 - 161. Is w(l) a multiple of 9?
True
Let d = -2418 + 4200. Suppose -d = 5*p - 232. Is (-3)/(15/p) - -1 a multiple of 25?
False
Suppose o - 5*m - 11236 = 3742, 4*o - 4*m = 59848. Does 18 divide o?
True
Suppose p = 5*p + 4*u - 1476, -u = -1. Suppose 3*j - p = -5*b + j, -8 = -2*j. Suppose -2*w + 8 = -b. Is 10 a factor of w?
True
Is 17 a factor of (68/(-6))/(173840/9660 - 18)?
True
Let b be ((-32)/(-10))/(52/(-60) - -1). Suppose 5*o = -26 - b. Is 26 a factor of 159 - -10*(-5)/o?
False
Let k(z) be the first derivative of 3*z**4/4 + z**3 - 2*z**2 - 4*z - 101. Is 44 a factor of k(4)?
True
Let o(g) = 12*g - 58. Let p be o(19). Let z(h) = -8*h**2 - 6*h - 2. Let m be z(-4). Let j = m + p. Does 16 divide j?
True
Suppose -7*q + 77 = -18*q. Let g(a) = 14*a**2 + 16*a + 26. Is 12 a factor of g(q)?
True
Let j = 65 - 53. Let r(o) = 23*o**2 + 3*o + 4. Let y be r(7). Suppose -j*v = -16*v + y. Is 36 a factor of v?
True
Suppose 4*n = -20, -5*n - 55479 = c + 7761. Is 5/6 + c/(-282) a multiple of 15?
True
Let d(q) = -2*q**2 + 15*q + 6. Let p be d(8). Let c be (-450)/p*(44/12 + -3). Suppose 21*y - c = 15*y. Is y a multiple of 6?
False
Let a = -21572 + 37940. Is 22 a factor of a?
True
Let f be -7 + (0 - -2) - -7. Suppose 11*r = -f*r + 117. Let g(p) = 11*p - 21. Is 6 a factor of g(r)?
True
Let a(g) = -258*g. Let v be a(-1). Let i be 4/7 - (-2 - 30/70). Suppose 84 = b + 2*s - 0*s, 3*b + i*s - v = 0. Is b a multiple of 14?
False
Suppose 4*z + 833 = -5*i + z, 0 = 5*i - z + 849. Let w = 200 - i. Is 9 a factor of w?
True
Let b = 555 + -516. Is 4/((-36)/b)*-15 a multiple of 13?
True
Suppose 2*u - 30451 = -4*z + 13015, 10864 = z + u. Is z a multiple of 11?
False
Let y(m) = m**3 - 89*m**2 + 26*m + 472. Is y(89) a multiple of 27?
False
Let s = -53 + 11. Let j = s - -207. Does 33 divide j?
True
Suppose -8*s + 32 = -112. Suppose 0 = -s*b + 4*b + 3640. Is 26 a factor of b?
True
Let q(h) = h**3 - 5*h**2 - 61*h - 15. Let b be q(11). Let g(j) = j**3 - 40*j**2 + j + 14. Is g(b) a multiple of 54?
True
Is (6 + -4)/(23/4002) a multiple of 12?
True
Let a = -8534 + 14829. Does 7 divide a?
False
Let m(d) = d**3 - 12*d + 1. Let y be m(-5). Is (-5 - -2)/(3/y) a multiple of 6?
False
Let t = 568 + -28. Suppose -j + t + 151 = 0. Is 19 a factor of j?
False
Does 9 divide (-798898)/(-136) - (-22)/8?
True
Suppose 10*a - 22*a + 36 = 0. Suppose -a*f + 286 = n - 57, n - 2*f - 343 = 0. Is n a multiple of 17?
False
Let q(u) = 2*u**2 + u + 1064. Let f be q(0). Suppose -2688 = -2*w + f. Is 28 a factor of w?
True
Suppose -3*t = 2*d - 1690, -19*d - 2242 = -4*t - 16*d. Is t a multiple of 9?
False
Let t(z) = 2*z**2 + z - 2. Let o be t(-3). Suppose 0 = -4*r - o + 5. Is 4 a factor of (-1 - r - -7)/(7/42)?
True
Let a = -62 + 62. Suppose a = -17*j - 4*j + 23226. Is j a multiple of 79?
True
Let k be (-8)/(-28) + 24/14. Suppose 3*z - g = 51, -z + 4*g + 12 = k*g. Let l = 17 + z. Does 13 divide l?
False
Let q = -763 - -766. Suppose q*s + 3*z - 4545 = 0, 0 = 4*s + 30*z - 33*z - 6039. Is 56 a factor of s?
True
Let k(s) = 5*s. Let m be k(1). Suppose x + m*u = -15, -5*x + 2*u + 75 = -3*u. Suppose 4*y - x*y + 204 = 0. Is y a multiple of 17?
True
Suppose m + 10 = 5*b, 2*b = 3*m + 12 - 8. Suppose b*g + 26 = 5*g + 4*r, 4*g - r = 60. Does 14 divide g?
True
Let n = 1062 + 611. Suppose -305 + n = -12*o. Is (o/5 - 2)*(-10)/4 a multiple of 10?
False
Suppose -2*n = -4*i + 2480, 4*n + 1754 = 5*i - 1346. Suppose 4*j - 4*b - 996 = 284, -3*b = 2*j - i. Is 16 a factor of j?
False
Let v(c) = 30*c - 133. Let n be (((-315)/25)/7)/((-2)/10). Is v(n) a multiple of 7?
False
Let x(l) = 392*l - 204. Let b be x(-6). Let c be ((1 - 2) + 2)*5. Does 6 divide (2/c)/(b/(-510) + -5)?
False
Let w = -657 + 7272. Is 27 a factor of w?
True
Suppose 32717 + 20625 = 23*q - 75895. Does 2 divide q?
False
Suppose -136 - 503 = -2*d - 3*k, -k = -4*d + 1313. Suppose -d = -5*f + 4*u, -u - 29 - 226 = -4*f. Let a = 99 - f. Is a a multiple of 4?
True
Is ((-142)/(-30) + (-12)/30)/((-5)/(-10950)) a multiple of 65?
True
Suppose -5*v + 2550 = -0*o - o, o - 1020 = -2*v. Suppose -26 = 2*a - v. Is 26 a factor of a?
False
Suppose 0 = z + 3*c + 15 + 31, -4*z - 3*c = 157. Let o = 66 + z. Suppose -3*p + 172 = 5*a - o, a = 4*p - 291. Is 18 a factor of p?
True
Let m(o) = 50*o + 40. Suppose -i + 8 = -1. Is m(i) a multiple of 49?
True
Let m = -73 + 78. Let l(p) = 4*p**3 - 6*p**2 + 11*p + 7. Is 13 a factor of l(m)?
False
Let h = 63 + -60. Suppose h*a - 1529 = -53. Does 8 divide 0 + ((-6)/27 - a/(-27))?
False
Is ((-77914)/(-717))/(4/318) a multiple of 57?
False
Let k = 67 - 51. Suppose z = 7 + k. Let m = z - -113. Does 8 divide m?
True
Suppose 3*h = -3*u + 49098, 65489 = 22*h - 18*h - u. Is h a multiple of 153?
True
Let n = 23072 + -14204. Does 4 divide n?
True
Let v(y) = -4*y**2 + 15*y**2 - 19 - 9*y**2. Let z be v(5). Suppose 205 = 5*q + 3*f + z, 5*q = 5*f + 190. Is 16 a factor of q?
False
Let k(y) = y**3 - 13*y**2 - 29*y + 34. Suppose 0 = 5*f + 3*z - 95, -5*z + 0 - 39 = -4*f. Is 52 a factor of k(f)?
False
Let r = -61 + 70. Suppose 3*i = -j - 4*j, 2*i = -10. Suppose r*x = j*x + 84. Is 8 a factor of x?
False
Suppose -c + 237 = 4*p, 4 = -4*p - 0*p. Let y = c + 52. Is 17 a factor of y?
False
Let j = 119306 - 66372. Is j a multiple of 14?
True
Suppose 8*n =