
Let p = -7224 - -8431. Is p a multiple of 17?
True
Suppose 5626 = 7*q - 3901. Suppose 3*w = q + 1411. Is 42 a factor of w?
True
Suppose 4*h + 12 = 0, 3*h - 5*h + 60 = -3*c. Let g be (-50 - -1)*(-8 - -7). Is 88/c + g/1 a multiple of 17?
False
Let n be (26/6 - (-15)/(-45)) + -57. Let o = n + 239. Is o a multiple of 62?
True
Suppose 38*k - 752459 = -87*k + 154791. Does 19 divide k?
True
Suppose 34*m = 42*m - 1200. Let a = 396 - m. Does 41 divide a?
True
Suppose 17 = -3*h - 1. Let q be (h/5)/(17/(-2295)). Suppose -4*y + q = -118. Is 9 a factor of y?
False
Suppose -4*r + 12*l = -74136, 2*r - 2*l - 37074 = l. Is 20 a factor of r?
True
Let x = 9 - 9. Suppose 15 = w + 4*y, 4*w + x*y - y - 77 = 0. Let b = w + -13. Is b a multiple of 2?
True
Suppose -84*x = -90*x + 996. Suppose 0 = -r + 5*i + x + 431, 0 = -4*r + i + 2293. Is r a multiple of 28?
False
Let k(u) = -15 + 11*u**2 + 7*u + 5*u**3 - 2*u**2 + 0*u - 6*u**3. Let z be k(7). Suppose 4*f - z = -52. Is f a multiple of 3?
False
Let b(z) = -2*z**2 - 5*z + 5. Let t be b(4). Let q = -2221 - -2283. Let g = q + t. Does 3 divide g?
True
Suppose -54*l + 53*l + 85856 = 3*j, 2*j = 3*l + 57252. Is 60 a factor of j?
True
Suppose 11506 = 8*c - 6190. Is 14 a factor of c?
True
Let t = -3016 - -6394. Is 13 a factor of t?
False
Let x be 47010/(-102) - (-8)/(-68). Is 12 a factor of (x - 1)*(-264)/154?
True
Suppose -2*j - 5 + 3 = 0, 3*i = 2*j + 1667. Let d be (-8)/(-6) - (-8)/(-6). Suppose d = -4*l - 5*k + i, -2*k + 279 = 2*l + k. Is 28 a factor of l?
False
Let u be 63/(-168) + 6/16. Does 3 divide u*2/4 + (-7 - -151)?
True
Let y(h) = -h**2 - 11*h + 6. Suppose g + 3 = -s, -2*s = 2*g + 3*g. Let m be y(s). Suppose 3 = -p + m. Does 6 divide p?
False
Let j(w) = 194*w - 663. Does 133 divide j(66)?
False
Suppose 5190*g = 5194*g - o - 32234, 0 = -3*g + 5*o + 24150. Is 8 a factor of g?
False
Suppose -243*u + 241*u = -480. Suppose -u = 2*l - 14*l. Is 4 a factor of l?
True
Let r(u) be the third derivative of -u**5/60 - 2*u**4/3 - 2*u**2. Suppose v - 27*a + 26*a + 9 = 0, v = -3*a - 13. Does 10 divide r(v)?
True
Suppose 4*s - 11492 = 4*l, 0 = 4*s + 2*l + 2*l - 11516. Does 17 divide s?
False
Let f = 416 - 633. Let z = 109 - f. Does 11 divide z?
False
Suppose u - 4*l = 127, 4*u = 3*u + 5*l + 126. Let c(s) = 10*s**3 - s**2 - 2*s - 2. Let p be c(-2). Let n = p + u. Does 10 divide n?
False
Let q be (-7674)/(-18) - (7/3 - 2). Let i = 133 + 63. Let k = q - i. Is 40 a factor of k?
False
Let u(b) = -2*b**3 + b**2 + 3*b - 7. Let o be u(-3). Suppose -3 = 2*c + o. Is 2/(-5) - 3010/c a multiple of 15?
True
Let f = 3162 - 3156. Is 3 a factor of f?
True
Suppose 0 = -v + 2*v - 2. Suppose -v*l = -2*d - 246, 3*l - 341 = 10*d - 14*d. Does 17 divide l?
True
Suppose 16 = -4*m + 5*a - 3*a, 2*m = -4*a + 12. Is 12 a factor of (-2)/(-4)*15*(6 - m)?
True
Let u = 35 - 31. Let z be 51/(-3) - (4 - u). Is 7 a factor of (z - 11)*1/(-1)?
True
Suppose -5*d + 17 = b + 2, -4*b = 2*d - 42. Suppose b = 9*o - 17. Is 3/(-18)*o*-52 a multiple of 2?
True
Suppose 2*j + 9820 = 5*n, -3*n - 2*j + j = -5903. Is n a multiple of 16?
False
Let q = 423 + -247. Let z = -107 + q. Does 27 divide z?
False
Suppose 0 = g - 130 + 121. Does 39 divide (-14)/21 - (-4569)/g?
True
Let z be (-1)/((-2)/(-8)) - -232. Suppose -7*f - z = -8*f. Suppose -4*j + f = 4*i, -13*i + 5*j = -15*i + 105. Does 10 divide i?
True
Let w(r) = -40*r. Let z(p) = -6*p + 4. Let g be z(1). Let k be w(g). Suppose -46 = -a + k. Is 18 a factor of a?
True
Let q = 551 + -536. Suppose -q*d + 7728 = d. Is d a multiple of 17?
False
Let o(d) = 370*d**2 + 26*d + 44. Is o(-7) a multiple of 3?
False
Suppose -s - 6 = -1, -4*s = 2*k - 1516. Suppose 0 = 6*c - k - 3528. Is c a multiple of 11?
False
Let m(c) = 132*c + 893. Does 8 divide m(53)?
False
Let m(t) be the first derivative of -t**4/4 - 3*t**3 - t**2 + 4*t - 40. Let w = 2 + -11. Is 11 a factor of m(w)?
True
Suppose 0*c - 4*z = 5*c - 93, -4*c = 5*z - 78. Suppose -43 = -c*a + 16*a. Is a a multiple of 43?
True
Suppose 0 = -3*p + 2*a + 264, -5*p + 2*a + 0*a = -436. Suppose -89*l = -p*l - 906. Is 17 a factor of l?
False
Suppose -40 = -4*l - d - 9, 2*l = -3*d + 13. Let n(w) = -6*w + 84. Is n(l) a multiple of 18?
True
Suppose 0 = 4*x - 12, -2*x = 4*a + a - 496. Let f = -73 + a. Is f a multiple of 7?
False
Suppose 32040 = -24*d + 34*d. Is d a multiple of 69?
False
Let z = -262 + 267. Suppose -z*y + 918 + 582 = 5*h, -2*y + 296 = h. Is h a multiple of 43?
False
Suppose 0 = 14*d - 11*d - k - 17694, -5*k = -d + 5926. Is 22 a factor of d?
True
Let g = 115 - -212. Let m = g - 195. Does 11 divide m?
True
Suppose -3960 = 430*g - 422*g. Is 24/3 - (-4 + g) a multiple of 25?
False
Let c = 2518 - -1802. Is c a multiple of 16?
True
Let b = 315 + -295. Let p(h) = 12*h - 51. Is p(b) a multiple of 20?
False
Suppose -5*f + 22 = -6*l, 14 = -5*l + 5*f - 6. Does 20 divide 4*(41 + (2 - l))?
True
Let g(x) = -46*x + 92. Let w be g(11). Let u = -218 - w. Is u a multiple of 8?
False
Suppose 5*d = 7*d + 10. Let p(n) = -n**2 - 4*n + 9. Let j be p(d). Suppose -j*h + 140 = -4*m, h + 3*m = 2*h - 41. Does 5 divide h?
False
Let j(f) = -f**3 - 8*f**2 + 11*f + 20. Let d be j(-9). Suppose -556 = -n - d*b + b, -n + b + 560 = 0. Is 23 a factor of n?
False
Let n = -14219 + 15348. Is n a multiple of 6?
False
Suppose -5*p - 1079 = -2*k, 0 = -k - 3*k + p + 2203. Suppose -32*l = -36*l + k. Is 23 a factor of l?
True
Let f(r) be the first derivative of -11*r**3/3 - r**2/2 + 15*r - 3. Let t(w) be the first derivative of f(w). Does 13 divide t(-5)?
False
Let a be (-100)/75*(-3)/(-2). Is -7 + 5 + (-368)/a a multiple of 6?
False
Let z be ((-396)/10)/((-63)/(-210))*-1. Suppose 2*u + 3*j = 88, 12*j = -3*u + 11*j + z. Is u a multiple of 11?
True
Suppose -a - 1161 = -4*y, 5*y = -43*a + 39*a + 1446. Let o = y + -181. Is 3 a factor of o?
False
Suppose 3*m = -n + 36249, -6*n - 72505 = -8*n + m. Is n a multiple of 53?
True
Let h = -7275 + 10947. Is h a multiple of 8?
True
Let t = 54 - 34. Suppose -t = 2*n - 42. Does 10 divide n?
False
Let p = 30198 + -3432. Is 15 a factor of p?
False
Is 10 a factor of (160/(-4))/(-4 - (-7428)/1858)?
True
Suppose t = -19*q + 18*q + 26664, t = -4*q + 26646. Is 14 a factor of t?
True
Let j(u) = u**2 + 8*u - 46. Suppose g - q - 14 = 0, 3*q = -g + 5*g - 54. Does 12 divide j(g)?
False
Suppose -432 = 21*y - 25*y. Suppose -3*i = -i - y. Let m = i + -20. Is m a multiple of 9?
False
Let a = 177 - 268. Suppose 2*y + 11 = 473. Let z = y + a. Is z a multiple of 28?
True
Let u(c) be the first derivative of -5*c**2/2 + 620*c + 37. Does 23 divide u(0)?
False
Let r(u) = u - 18. Let t be r(19). Let v(q) = 70*q**2 - 5*q + 5. Is v(t) a multiple of 7?
True
Let f be -1*2 - (-2 + 2 + -13). Suppose f*o + 4*o = 30. Suppose o*u = 3*w + 28 - 257, 2*w + 4*u - 142 = 0. Does 15 divide w?
True
Suppose -3900 = 21*y - 6*y. Is 13 a factor of (y/(-7))/((-4)/(-28))?
True
Let r(c) = c**3 + 12*c**2 + 19*c - 16. Let j be r(-10). Is 9 a factor of (18603/(-318))/((1/j)/1)?
True
Let t(m) = -17*m + 145. Suppose 0 = -7*b + 4*b - c - 110, -5*b - 2*c - 184 = 0. Is 70 a factor of t(b)?
False
Let i(s) = -130*s + 12. Suppose -20 = -12*c + 16. Let b be i(c). Let n = b - -576. Is n a multiple of 33?
True
Let o(s) = s**3 - 9*s**2 - 15. Let w be o(9). Let r be (((-2)/(-6))/1)/(w/90). Is 9 a factor of 30 - ((-9)/r)/(9/6)?
True
Suppose p - 4*q = 145, -293*p + 295*p - 290 = -4*q. Is 28 a factor of p?
False
Let c = -36 - -36. Suppose 29*u - 22*u - 371 = c. Does 3 divide u?
False
Suppose 1 - 13 = -4*o. Suppose 0*p = 4*i + 4*p + 12, 9 = 2*i - p. Suppose i*u + c + 198 = 5*u, 132 = 2*u - o*c. Does 13 divide u?
False
Let o be 218*4/(-32)*4. Let d = 48 + o. Let l = d + 141. Is 20 a factor of l?
True
Suppose -5*u - 5*r + 4455 = 0, -225*r + 224*r = -4*u + 3584. Is u a multiple of 7?
False
Let f(l) = -3*l + 24. Let b be f(0). Let a be 80/b*6/5. Does 12 divide (-1)/(-1*4/228) - a?
False
Let x(b) be the third derivative of 333*b**6/40 + b**5/30 - b**4/24 - 177*b**2. Is x(1) a multiple of 17?
False
Suppose -10 = -2*o - 3*o, 2*o - 1384 = -5*f. Suppose 0*z - l = 5*z + f, -5*z - 270 = -5*l. Does 38 divide (-1289)/(-9) - (z/(-45) + -1)?
False
Suppose 13*m + 3419 = 39403. Suppose -11*b + m = 5*b. Does 5 divide b?
False
Let h = 3090 - -3220. Suppose -h = -5*i - 4*p, 9*p - 8*