 r = -9308 - -17331. Is r a multiple of 12?
False
Let t = 4547 - 2247. Suppose 5*h = 5*g + 2300, 5*h + 70*g - 68*g - t = 0. Is 17 a factor of h?
False
Suppose 6 = -4*v - 34. Let z(k) = k**3 + 11*k**2 + 9*k - 4. Let f be z(v). Suppose -2*q - f*o + 3*o = -207, -3*q - 5*o + 310 = 0. Is q a multiple of 21?
True
Let y(w) = -58*w - 3. Let z be y(-1). Let f = -34 + 15. Let j = z + f. Is 12 a factor of j?
True
Let p be (-33 - -25) + 682/(-2). Let z = 1218 + p. Does 32 divide z?
False
Suppose -40*a + 39*a = 4, 4*a = -z + 864. Is 10 a factor of z?
True
Suppose 8*o + 253 = 1285. Suppose -32 - o = -7*q. Does 15 divide q?
False
Suppose -17*v = 47*v - 8*v - 163800. Is v a multiple of 117?
True
Suppose -3508 = -4*r - 768. Suppose r = y + 2*y + 4*k, k = 5*y - 1180. Is y + 2 - (-2 + 5) a multiple of 23?
False
Let w(p) be the third derivative of -p**5/60 - 5*p**4/8 - p**3 + 37*p**2. Let y be w(-8). Suppose -3*b + 3*s + 246 = 0, -s = 2*b - y - 102. Does 26 divide b?
True
Let h = 779 + -568. Suppose 21 - 144 = -r. Let b = h - r. Is 11 a factor of b?
True
Let g = 19 + -61. Let q be (-8)/(-2) - (-6 + g). Does 7 divide 3*(-2)/2 + q?
True
Suppose 3*c = 3, -25*o - 2*c + 223754 = 2*c. Is o a multiple of 16?
False
Suppose -2*x + 2*s = 6376 - 27954, 3*x = s + 32373. Does 71 divide x?
True
Suppose 0 = 24*r - 27*r. Suppose -24*t + 30*t - 414 = r. Is 31 a factor of t?
False
Suppose 132 = -2*h - h. Let b(r) = 7*r**3 - 7*r**2 + 3. Let u be b(2). Let c = u - h. Is c a multiple of 15?
True
Let l = 199 + -190. Is (-3789)/(-21) - l/21 a multiple of 12?
True
Suppose -606*q - 12 = -605*q. Is 3/((-135)/10890*2/q) a multiple of 44?
True
Is 103 a factor of (162/1458)/(2/31986)?
False
Let z = -187 + 192. Suppose -91 = 3*d - 3*o - 655, -196 = -d + z*o. Does 13 divide d?
False
Let h = -508 - -952. Suppose 5*u - h = 41. Is 12 a factor of u?
False
Let b(d) = 3*d**2 + 15*d + 18. Suppose 61*g - 59*g = -8. Let l be 184/(-18) - (40/45)/g. Is b(l) a multiple of 17?
False
Suppose 12 = 2*h + 4*a + 10, 0 = -5*h + a + 49. Suppose h*k = 5*k + 5*m + 330, m = -2. Is 16 a factor of k?
True
Let t = 24512 - 21957. Is 7 a factor of t?
True
Suppose -2*m - k + 22466 = 0, 2*m + 2*k + 7564 = 30032. Does 112 divide m?
False
Let u(b) = b**2 + 66*b - 8. Let l be u(-18). Is 8 a factor of (-15)/(270/24) - l/6?
True
Let g = 10114 + -4704. Is g a multiple of 29?
False
Let n = 225 + -237. Let t(d) = -2*d**3 - 20*d**2 + 17*d - 10. Does 19 divide t(n)?
False
Is (-11)/((-462)/888)*(-49035)/(-30) a multiple of 13?
False
Let r = -34 + 20. Let b(k) = k**2 + 11*k - 36. Let z be b(-12). Is 18 a factor of ((-51)/(-6) - -2)*z/r?
True
Does 4 divide 574*(240/(-35) + 10)?
True
Suppose 31 - 21 = -v. Is 32 a factor of (48/v)/(24/(-1440))?
True
Let u = 15525 - 15464. Is 24 a factor of u?
False
Is 1000*(2/(-5))/(6 + (-669)/111) a multiple of 200?
True
Let p(r) = 2*r**2 - 16*r - 41. Let i = -334 + 357. Is p(i) a multiple of 59?
True
Let o(c) = 22*c + 2. Suppose -p - 12 = -2*r, 32 = 3*r - 2*p - 3*p. Let x be o(r). Suppose 14*y - x = 11*y. Does 3 divide y?
True
Suppose 58*d - 63*d + 2180 = 0. Let n = 1000 - d. Is n a multiple of 47?
True
Suppose -44 = 5*f - l + 24, -4*f + 5*l = 67. Let o(h) be the first derivative of -h**3/3 - 13*h**2 - 26*h + 142. Does 13 divide o(f)?
True
Suppose -2*f - 1684116 = 22*f - 87*f. Is 76 a factor of f?
False
Let c(z) = 576 + 2*z - 457 + 15*z + 29*z. Is c(9) a multiple of 13?
True
Let z(v) = -80*v - 40. Suppose -4*f - 16 = -3*d, f + 3*d = -0 - 4. Is 8 a factor of z(f)?
True
Let g be (-2 - 48/(-15))*35/(-14). Let i be ((-6)/(-1) - -2)*2/4. Is 4 a factor of (i*g)/(12 - 13)?
True
Let d(f) = 2*f**2 + 14*f + 20. Suppose -4*a + 0*a - 122 = 5*x, 3*x - a = -80. Let w be 5/14*x - 4/(-14). Is 23 a factor of d(w)?
False
Suppose -12*i = 16*i - 37632. Suppose -72*q = -76*q + i. Is q a multiple of 28?
True
Let i(t) = -t**2 - 9*t + 44. Let q be i(-17). Let l = q - -396. Let u = -180 + l. Does 31 divide u?
True
Let b = 2962 + 1715. Is b a multiple of 134?
False
Suppose -b + 3 = -a, -b - 2*a + 5 = -4*a. Let g(s) be the third derivative of 7*s**4/6 - s**3/6 + 32*s**2. Is g(b) a multiple of 4?
False
Suppose 2*z - 504 = -z. Suppose 2 = -x, -5*h + 4*x + 45 = -z. Is 11 a factor of h/1 - 9/(-9)?
False
Let l be (-4)/(-16) + 3 + 27/36. Suppose -4*s - 2038 = -4*c + s, -2046 = -l*c + s. Is c a multiple of 21?
False
Let x(a) = -a**2 + 13*a + 41. Let o be x(17). Let p = -1 - o. Is 13 a factor of p?
True
Let f(r) = r**3 + 9*r**2 + 13*r - 3. Let o be f(-9). Is (-76)/(-3) - (-40)/o a multiple of 5?
True
Let i = 3719 - 335. Is 4 a factor of i?
True
Let w(r) = 2*r**2 - 6*r + 2346. Does 46 divide w(0)?
True
Let v = -258 - -202. Does 4 divide 4/(28/v + (-5)/(-9))?
True
Suppose 5*p - 5*l = 25735, 0 = 2*p + 5*l - 2*l - 10324. Does 29 divide p?
False
Let i = 78 - 77. Let c be ((-9)/(-27))/(i/6). Suppose 0 = 4*f - c*v - 882, -v + 213 = f - 4*v. Is f a multiple of 48?
False
Suppose 29*o - 166 = -50. Suppose -q + 15 = 4*q. Suppose -2*t - 5*d = -385, q*d - 972 = -o*t - t. Is 23 a factor of t?
False
Let w(h) = 3*h**2 + 6*h + 12. Let b be w(-5). Let s be 2 - 3/((-3)/(-11)). Let k = b + s. Is k a multiple of 24?
True
Let w(c) = 6 + 9*c**2 + 13*c - c**3 - 12*c + 0 + 0. Let h be 171/21 - 5/35. Does 10 divide w(h)?
False
Suppose 216*a - 212*a - 4*c - 7824 = 0, -4*a + 7817 = -3*c. Is a a multiple of 6?
False
Let h(p) = -p**3 - 9*p**2 - 11*p - 15. Suppose -9*g - 56 - 16 = 0. Let b be h(g). Suppose 6*o + 690 = b*o. Is o a multiple of 17?
False
Let d be 280/(-7)*(6/(-4) + 1). Suppose -d = 15*u - 17*u. Does 5 divide u?
True
Does 7 divide (36/(-96)*52)/(2/(-3924))?
False
Suppose -3 = h + 2, 2*t + 12 = 4*h. Let q be t/(-4) + 3 - 2. Suppose 2*o - 5*z = 68, -z - 170 = -q*o - 3*z. Is 17 a factor of o?
True
Suppose -t - 26 = -42. Suppose 5 = -3*p - 7. Is 9 a factor of ((-39)/6)/(p/t)?
False
Let v = 30509 - 29474. Does 20 divide v?
False
Suppose 4*h - 2*d - 27810 = 0, -69*h + 2*d = -67*h - 13908. Is h a multiple of 21?
True
Suppose -z - t + 6*t + 1133 = 0, -4549 = -4*z + 3*t. Let n = z + -297. Is n a multiple of 10?
False
Suppose 3*b - 1124 = -0*h - 4*h, -5*b + 5*h + 1920 = 0. Does 20 divide b?
True
Suppose 77*q + 10*q = -29*q + 415396. Is q a multiple of 23?
False
Suppose 72*p - 1731 = 2949. Let b(x) = -x**2 - 6*x + 6. Let f be b(-6). Suppose 2*r + s = f*s + p, 2*r = 2*s + 80. Is 8 a factor of r?
False
Is 64/(-10) - (-8)/(-5) - -2*3073 a multiple of 11?
True
Let k be -7*4/((-12)/3). Suppose -3*a - 3*f = -1311, -11*a = -k*a - f - 1733. Does 15 divide a?
False
Let y(f) = 2185*f**2 - 253*f - 515. Is 31 a factor of y(-2)?
False
Let f be ((-35)/10)/7*-20. Suppose -f = u + 12. Let j = 35 - u. Is j a multiple of 18?
False
Let i(b) = 19*b + 91. Let o be i(21). Suppose -2*c = 4*r - 238, r = -6*c + 2*c + o. Is c a multiple of 12?
False
Suppose 30*v - 32*v + 17270 = 4*d, -d - 34495 = -4*v. Is v a multiple of 75?
True
Let z(c) be the third derivative of 0 - 6*c**2 + 0*c - 17/6*c**3 - 1/60*c**5 - 3/2*c**4. Is 41 a factor of z(-33)?
True
Let b = -467 + 469. Suppose g = 3*q + 6, -2*g + q = -g - 14. Does 6 divide -3 + b/4*g?
True
Let n = 283 + -265. Is 9 a factor of (40/(-6))/((-2)/n)?
False
Suppose 2*i = 3*i - 4*i. Suppose -4*b - 4 = -i*b. Is 27 a factor of (-2 - b) + (-85 + 3)*-1?
True
Let v = 1890 + -530. Suppose -14*o + 4030 + v = 0. Is o a multiple of 23?
False
Let x(j) = -j**3 + 7*j**2 - 5*j + 8. Let i be x(2). Suppose -9196 = -i*t + 3548. Is 59 a factor of t?
True
Suppose 0 = 2*d + 4*r + 2, 0 = -5*d + r - 2*r + 13. Suppose -5*a + 0*m = m - 4, 0 = -d*a + 4*m - 16. Is 41 a factor of ((-4)/6)/(12/(-2214)) - a?
True
Let r(g) = -g**3 + 40*g**2 - 12*g + 1118. Is r(34) a multiple of 72?
False
Let x = -490 - -589. Suppose 0 = 101*g - x*g - 2304. Is g a multiple of 104?
False
Let j = -368 + 167. Let w = 541 + j. Does 14 divide w?
False
Is 3 a factor of 17730/(-3 + -2)*(-3)/6*1?
True
Let a be 1*((-54)/(-5) + 2/10). Suppose 0 = -3*n + 8 - a. Does 9 divide n/3*1185/(-5)?
False
Suppose 10 = -s - 4*n, 0 = 3*s + n + 11 + 8. Let l be 4/s*2565/(-30). Let a = l + 42. Does 33 divide a?
True
Let b(a) be the first derivative of 2*a**3/3 + 3*a**2 + 10*a - 4. Let w be b(-4). Is 16 a factor of 12/w - (-190)/3?
True
Let d = -24 - -51. Suppose 0*f - h - d = 2*f, 2*f - 4*h + 42 = 0. Does 14 divide