(-8) + (-2)/u. Suppose b*r = 6*r + 448. Does 16 divide r?
True
Suppose -11*r + 26 = -29. Suppose 3*z - 3*n + r*n = 20, -4*z + 34 = -n. Is 16 a factor of (178 - -1) + (z + 16)/(-8)?
True
Suppose -12*i + 147 = -5*i. Suppose 15*y = i*y - 1194. Does 20 divide y?
False
Suppose 3*y = -u + 16051, -1765*y - 80305 = -5*u - 1770*y. Is 76 a factor of u?
False
Is (-9 - -11)*((-92475)/(-18) + 5) a multiple of 15?
False
Suppose 43489 = 38*m + 5025 - 2576. Is m a multiple of 5?
True
Let c(j) = 12*j**2 - 1. Let v be c(-1). Suppose -v*p + 4*i = -8*p - 358, -5*p + 5*i = -605. Does 18 divide p?
True
Let c(i) = -2*i + 13. Let l be c(4). Suppose 12 = -4*u, -l*v - u + 0*u = -7. Suppose p + 5*x = v*p - 27, 0 = 3*p + x - 65. Is 4 a factor of p?
False
Is 15 a factor of (-126)/56*(-12120)/9?
True
Let b(g) = 324*g**2 + 5*g - 4. Is 119 a factor of b(-4)?
False
Suppose -a = -2*j - 2, 5*j - 5 = -a - 38. Is 25 a factor of (3 - (-38)/a)*-148?
False
Let z = 152 - 143. Let k(f) = 1. Let q(p) = -p**2 - 7*p - 23. Let g(o) = -6*k(o) - q(o). Is 23 a factor of g(z)?
True
Let m(y) = y**2 + 2*y - 23. Let r be m(-6). Suppose -h = -3*c + 1563, r = -h + 4. Does 31 divide c?
False
Is (-1821123)/108*((-26)/6 + 3) a multiple of 52?
False
Suppose f - 8797 = 5*g - 584, -5*f + 41261 = 3*g. Does 26 divide f?
False
Let u(z) = -z**2 + z - 1. Let v(m) = -4*m**3 - 8 + 2*m**3 - 2 + 7*m**2 + 2*m. Let c(n) = -6*u(n) + v(n). Is c(6) a multiple of 2?
True
Let t = -950 - -5306. Suppose 774 - t = -6*p. Is p a multiple of 30?
False
Does 50 divide (19/((-285)/(-40)))/(((-32)/16044)/(-4))?
False
Suppose 35*n - 190042 = 252673. Does 7 divide n?
True
Suppose -g + 4 = -2*a - 3*g, 5*a - 4*g - 8 = 0. Suppose p + 0*p - 61 = -c, a = 2*p + 4*c - 124. Is p a multiple of 4?
True
Let x(m) = -48*m - 67. Let i(b) = 3*b. Let r(j) = -6*i(j) - x(j). Is 8 a factor of r(4)?
False
Let n(s) = -s - 18. Let r be n(-14). Does 26 divide r + 4/4*212?
True
Let r(k) = 596*k**3 - 3*k**2 + 3*k + 11. Is r(2) a multiple of 3?
True
Suppose 18*q - 53281 - 35693 = 0. Is 81 a factor of q?
False
Let q(w) = -675*w + 297. Is q(-6) a multiple of 63?
True
Let m(t) = -2 + 5*t + 10 - 3. Let n be m(-1). Suppose 2*w = 4*i - 180, -5*i + n*w + 225 = -w. Is 11 a factor of i?
False
Suppose 59*i - 199*i + 218056 - 12256 = 0. Is i a multiple of 85?
False
Is 73 a factor of (17087/4 + 95/(-76))*12/18?
True
Let q(i) = -i. Let p(x) be the third derivative of -x**5/12 + x**4/4 - 31*x**2. Let v(t) = -p(t) - q(t). Does 16 divide v(-4)?
False
Suppose 170*i = 172*i - 6216. Suppose -29*q = -i - 4838. Does 11 divide q?
False
Suppose 199726 = 22*s + 160749 - 928363. Does 10 divide s?
True
Let o(s) = 22*s**2 - 21*s - 25. Let r be o(-5). Let i = r - 310. Does 20 divide i?
True
Let w(k) = 9*k + 81. Let c be w(6). Is c + 1 + (-18)/(-6) + -1 a multiple of 46?
True
Suppose -4*x - i = -290, i + 3*i = x - 64. Let w = x - 72. Suppose w = -7*z + 137 + 262. Is z a multiple of 5?
False
Let n(u) = 10*u**2 - 20*u - 3. Let o be n(-8). Suppose 0 = 5*s - o + 667. Is 26 a factor of s?
True
Let d be 4/(((-80)/45)/(-4)). Suppose -d*i + 27 = 117. Does 32 divide (12/i)/((-24)/2560)?
True
Suppose -i = 4*k - 588, -5*i - 5*k + 2559 = -351. Let t = i + -405. Let f = -115 + t. Is f a multiple of 10?
True
Let w be 1*4 + 378*9/(-18). Let d = 205 - w. Does 39 divide d?
True
Suppose -5*z - 55 = -16*z. Suppose i = -5*y - 4*i + 270, -4*i = z*y - 270. Is 27 a factor of y?
True
Does 3 divide (1200 + 382)*1/(-2)*-1?
False
Let d(i) be the first derivative of i**4/4 - 7*i**3 - 23*i**2 - 59*i - 256. Is d(24) a multiple of 113?
True
Let g(a) = -641*a - 4360. Is g(-7) a multiple of 7?
False
Suppose 3*d + 6*j - 10*j = 848, -566 = -2*d + 3*j. Is d a multiple of 51?
False
Suppose 22*u = 19*u + 207. Suppose 67*z - u*z = -6. Suppose -3*o = -9, 0*o + 339 = z*v + 5*o. Is 12 a factor of v?
True
Let j be (6/4)/(3/1168). Suppose j = -5*r - 446. Let i = -49 - r. Does 20 divide i?
False
Let l = -3128 + 4752. Does 11 divide l?
False
Let n be (-3)/(5 - (-736)/(-148)). Let f = 213 - n. Is f a multiple of 12?
True
Suppose 11*y = 5*y + 31*y - 228750. Is 23 a factor of y?
False
Suppose -5*v = -2*v - 5*q - 106, 0 = 4*v + 2*q - 124. Suppose -20*x - 5196 = -v*x. Does 14 divide x?
False
Suppose -72*d + 345565 = -8531. Is 54 a factor of d?
False
Let w(r) = 247*r - 3180. Does 89 divide w(19)?
True
Let h(z) = z**2 - 23. Let d be h(-5). Suppose 2*g - 528 = -2*o, -5*o + d*g = -618 - 674. Does 20 divide o?
True
Suppose 17*x = -5*x. Suppose 5*u = x, -3*u + 594 = 9*t - 7*t. Does 27 divide t?
True
Let r(w) = 49*w + 2291. Is 55 a factor of r(61)?
True
Let y(z) = 18*z**2 + 12*z + 90. Suppose 115 - 45 = -14*v. Is y(v) a multiple of 30?
True
Suppose -2*b = -o + 5056, -13 = -b - 6. Does 13 divide o?
True
Let j be 1834/1048 + (-1)/(-4)*1. Suppose 2*t - 4*v - 132 = 0, j*t - 144 = -2*v - 30. Is t a multiple of 10?
True
Let j be (3/4*-3)/((-6)/16). Suppose -j*h - 38*h = -13904. Is 10 a factor of h?
False
Let j(g) = -g**2 + 133*g + 201. Does 10 divide j(116)?
False
Let g = -21 + 23. Let s be g/(-7) + (-98241)/(-231). Suppose 0 = -m + 6*m - s. Does 10 divide m?
False
Suppose -5*w = -5*f + 735, -12*w = -7*w - 15. Suppose 148*j - f*j = -352. Is j a multiple of 11?
True
Is ((-1350)/525)/(3/(-2618)) a multiple of 102?
True
Suppose 0 = -31*c + 78427 + 202774. Is 6 a factor of c?
False
Let d = 23 + -39. Let i = d - -170. Does 14 divide i?
True
Suppose 130467 + 132663 = 49*w. Is w a multiple of 16?
False
Suppose 226 + 3974 = 10*r. Does 4 divide r?
True
Does 76 divide (1 - 29733)/(((-3)/9)/((-1)/(-6)))?
False
Suppose 0 = 2*p - 8, 9*p - 14*p = 5*r + 750. Let t be 18/27 - (-1448)/6. Let g = r + t. Does 15 divide g?
False
Let w = -171 + -113. Let v = w - -302. Is v a multiple of 4?
False
Let q = -328 + 331. Suppose 0 = -2*b - q*n + 713, -4*b = -5*b + 5*n + 350. Does 8 divide b?
False
Let b(m) = -503*m**3 - m**2 + m - 2. Let u be b(1). Let h = 925 + u. Does 21 divide h?
True
Let n = -1892 - -7508. Is 6 a factor of n?
True
Suppose -144210 = -29*b + 188217. Suppose 0 = -16*r + 3609 + b. Does 66 divide r?
False
Suppose 41*h - 33*h = 31120. Does 10 divide h?
True
Let h(z) = z**2 + 10*z - 14. Let v be h(-11). Let s be 216/v - (-7 - (4 - 8)). Let r = -56 - s. Is r a multiple of 13?
True
Suppose x - 8 = -5*v, -2*v - 3*x + 1 = 3. Suppose 6*f = v*f + 4*l, 0 = -3*f + 2*l + 4. Suppose 162 = -f*n + 470. Is 11 a factor of n?
True
Let j(m) = m**3 + m**2 - m + 49. Does 9 divide j(7)?
False
Let w = -1351 + 2102. Suppose 4*m = 425 + w. Is m a multiple of 16?
False
Let a = 694 + -304. Is a a multiple of 10?
True
Let m = 9652 + -4445. Does 50 divide m?
False
Suppose -90*u + 403765 = 157525. Is u a multiple of 8?
True
Let j = 13 - 17. Does 30 divide (-1318)/j + 5/10?
True
Let q(d) = 31*d**3 - 3*d**2 - d + 1. Let x be q(1). Let t = -21 + x. Suppose 7 + t = 7*r. Is r a multiple of 2?
True
Let j(f) = 50*f - 220. Is j(86) a multiple of 102?
True
Is 78 a factor of -4 + ((-65300)/60)/(5/(-3))?
False
Suppose -64899 = -58*l - 17087 + 106932. Is l a multiple of 69?
False
Let a be 54164/77 + (-6)/14. Suppose a + 174 = 4*p + 3*o, -p + 5*o + 225 = 0. Is p a multiple of 11?
True
Suppose 170 = 22*p - 18*p + 3*y, 4*y + 115 = 3*p. Suppose -3920 = -p*x + 33*x. Is 6 a factor of x?
False
Let o be 1/3 + (-364)/(-42). Suppose -4*h + 4*l = o*l - 2805, 3*l = 3. Is h a multiple of 7?
True
Let q be (-5 - (-88)/20)*5. Let f be q*(-2)/(-6)*1. Does 17 divide (289 - 1) + -1*(-1)/f?
False
Does 152 divide ((2 - 5) + 2)/1 - -3497?
True
Let u be (4 - 6)/(1*(-2)/3). Suppose -4*x + u*x = -5*x. Is -1*(-254 - x)/(3 - 1) a multiple of 27?
False
Let t(k) = -349*k - 32. Is 18 a factor of t(-4)?
False
Let g = 81165 - 56036. Is 13 a factor of g?
True
Let y = -65 - -61. Let m be y/(-14) + (-1112)/(-28). Suppose 0 = 2*a - 4*r - m, -a + 0*r + 23 = -5*r. Is 18 a factor of a?
True
Let h be (-7 - 110/(-14))/(2/(-112)). Is 6 a factor of (0/5)/3 - h?
True
Suppose -5*d + 252 = -4*k, 3*k + 164 = 3*d + 7*k. Suppose -4*c + 168 = -d. Let m = 139 - c. Does 28 divide m?
True
Let j be (-1)/(((-7)/2)/7). Suppose 0 = -j*d + 20 + 40. Is 54 a factor of 3*128/d*(1 - -4)?
False
Let o(h) = h**3 - 12*h**2 + 8*h + 29. Suppose -6*i - 92 = -326. Let b = 51 - i. Is o(b) a multiple of 25?
True
Suppose c - 35*f = -33*f + 1475, c + 5*f = 1440. Is 