g. Is k a multiple of 9?
True
Suppose -672*o + 15752 = 3*x - 671*o, 5*o - 10 = 0. Is 7 a factor of x?
True
Let a = -108 - -153. Suppose -5*p + 224 = -4*y, y + a = 3*p - 2*p. Is 30 a factor of (-3 - p/(-16)) + (-481)/(-4)?
True
Let s = 15287 - 11876. Does 4 divide s?
False
Suppose 65*w - 26*w = 37752. Is 14 a factor of w?
False
Suppose 0 = -x + 18 - 11. Suppose a + 4 - x = 0. Suppose 5*m + 4*q = 160, a*m = 2*q - 47 + 165. Does 18 divide m?
True
Is 4*1*(-157440)/(-120) a multiple of 32?
True
Let n = 429 + 24. Let l = n + -300. Is 9 a factor of l?
True
Let x = 641 - 309. Let c be ((-51)/(-34))/(3/x). Let p = c - -16. Does 26 divide p?
True
Suppose 6*p - 5*h - 474 = -9*h, -5*p + 4*h + 351 = 0. Is 15 a factor of p?
True
Let y be ((-495)/44)/(3/(-12)). Let z = y + -43. Is 10 a factor of (-3 + z)/(-5 - (-5145)/1030)?
False
Let p(j) = -j**2 - 173*j - 3609. Let w be p(-21). Let l be 1174/(-6)*-3*1. Let r = w + l. Does 24 divide r?
False
Let y be ((-8)/(-20))/(-1)*(-116 + -4). Is 3 a factor of 1 + (-60)/y + (-1698)/(-8)?
False
Suppose 4*i + 3*b + b = 128048, 3*i - 3*b = 96090. Is 46 a factor of i?
False
Does 23 divide (1/(-4) - 34/(-72)) + 9012500/1260?
True
Suppose r = 5*b + 2519, 7*r - 4*r = -5*b - 2523. Let q = b + 874. Is q a multiple of 15?
False
Suppose 0 = 2*h + 3*y - 8360, 24*h + 2*y - 16752 = 20*h. Is h a multiple of 16?
True
Let q(u) = -162*u + 105. Is q(-9) a multiple of 8?
False
Suppose 4*l = 3*a + 84, l + 2*a - 9 = 1. Suppose -l = -3*j + 4*i, -4*j - 2*i - 2*i - 4 = 0. Is (j/(-3) - -1)*(-1950)/(-25) a multiple of 13?
True
Suppose -7*u = -9*u + 1406. Suppose -2*j = 211 - u. Does 6 divide j?
True
Let t(b) = 23*b + 1. Let d = -73 - -74. Let u be t(d). Suppose 21*o = u*o - 522. Is 24 a factor of o?
False
Let p(d) = -d**3 - 2*d**2 + d + 5. Let g be p(-2). Suppose g*q = 80 - 17. Is q even?
False
Suppose 55 = 5*z + 5*m, z + 2 = 2*m + 13. Suppose z*c - 4467 - 1231 = 0. Is 21 a factor of c?
False
Let k = 789 - 767. Suppose -k*d = -4*d - 8622. Is 9 a factor of d?
False
Let s be 280/12*(-54)/(-5). Let x = 228 - 88. Suppose 0*c + 3*c = -5*k + s, c + x = 3*k. Is k a multiple of 3?
True
Is (-10253 - (3 + -3))/(3*7/(-21)) a multiple of 35?
False
Let o be (7/((-84)/(-136)))/(4/6). Suppose o - 5 = -3*t. Is 3 a factor of t/(-16) + 83/4?
True
Suppose 0*i - 2*i - 2*i = 0. Suppose 3*h = 4*w - 542 - 366, 5*h - 20 = i. Is 12 a factor of w?
False
Let m = 134 - 132. Suppose 2*u - 2*x = 48, -m*x - 8 = -16. Does 10 divide u?
False
Let q = -5322 + 18659. Does 11 divide q?
False
Let h be 5/1*(-3 + 4). Suppose 15 = h*q - 0*q, -5*a - 4*q - 483 = 0. Is (-8)/12*a/6 + 2 a multiple of 10?
False
Let k = 712 + -1392. Let j = k + 1672. Is 32 a factor of j?
True
Suppose b = -5*j + 11, 2*j + b - 18 = 4*b. Let t(v) = 12*v + 19. Is t(j) a multiple of 3?
False
Let v = -36 - -63. Let a = -24 + v. Suppose -a*m = -10 - 11. Does 3 divide m?
False
Let y be 288/(-132) - (26/(-22) + 1). Let h be -1*(-1154)/(-4)*y + 1. Suppose h = 7*c - 5*c. Is c a multiple of 51?
False
Let o = 35215 + -14047. Does 36 divide o?
True
Let z(j) = j**3 + 28*j**2 + 52*j - 3. Let u be z(-26). Does 36 divide (u - 1368/(-4))*1?
False
Suppose -24*f - 1115103 = -6518991. Does 34 divide (f/35)/6 - 3/15?
False
Let i(x) = -x**2 + 14*x - 13. Let z be i(13). Suppose z = -5*t + 70 + 170. Is (0 - 2 - -1) + t a multiple of 8?
False
Let i(m) be the third derivative of -47*m**4/6 - 5*m**3/3 + 100*m**2. Is i(-2) a multiple of 17?
False
Let t = -104 + 106. Suppose -15213 = -t*b - 31*b. Is b a multiple of 8?
False
Suppose 78*n + 458 = 80*n. Suppose -8*v = -n - 2763. Is 17 a factor of v?
True
Let n = -290 - -245. Is 2791/6 + (n/(-54))/(-5) a multiple of 15?
True
Let b be (9522/(-54))/(-3*2/(-18)). Is 12 a factor of (-44482)/b - (-4)/(-46)?
True
Let o = 345 + -48. Let m = o - 161. Is 9 a factor of m?
False
Let v = 14963 + -7612. Does 7 divide v?
False
Let h be (6970/(-4))/5*(-4)/1. Let y = 2244 - h. Does 38 divide y?
False
Let y(r) = 3*r**2 - r + 1. Let x(w) = 5*w - 2 - 6*w**2 - 4*w - w**2. Let s(a) = 2*x(a) + 5*y(a). Is 5 a factor of s(7)?
False
Suppose g = 2*l + 15, -5*l + 88 + 53 = 6*g. Is g a multiple of 3?
True
Suppose -26660 = -2*h + 3*o, 18*h - 10*h = 3*o + 106622. Is h a multiple of 17?
False
Suppose -5 - 28 = -11*m. Suppose -136 - 206 = -m*q. Is q a multiple of 6?
True
Let g = -3207 - -4341. Is 6 a factor of g?
True
Suppose -12 = -2*y, 0 = -5*k - 8*y + 3*y + 16680. Is k a multiple of 13?
False
Let o = 22448 + -13093. Is 121 a factor of o?
False
Suppose 3*k - 6873 = -2*l, 4*k + 8 + 4 = 0. Is 54 a factor of l?
False
Let q = -6345 - -11670. Is 71 a factor of q?
True
Suppose 9*v - 13*v - 4 = 0. Let x = 6 + v. Suppose -3*l = -2*l - x. Is l a multiple of 3?
False
Suppose 4*c - 2*l - 2 = 0, -3*l - 15 = 2*c - 28. Suppose 0 = 4*g + 12, -k + c*k - g = 605. Does 16 divide k?
False
Let c(g) = -g**3 - 4*g**2 + 6*g + 5. Let p be c(-5). Suppose -5*n + p = -20. Is 12001/99 + n/(-18) a multiple of 11?
True
Let y(d) = -32 + 11 + 8*d + d**2 + 10 + 26. Let s be y(-5). Suppose s = -j + 62 + 14. Is j a multiple of 53?
False
Suppose -21*i = -33*i - 96. Let c(p) = p**2 + 10*p + 49. Is c(i) a multiple of 2?
False
Let l(g) = -17025*g - 2130. Does 266 divide l(-2)?
True
Suppose -5*p - 6325 = -q - 177, 0 = -2*q - 4*p + 12366. Does 30 divide q?
False
Let w = 86 - 70. Suppose w*d - 12*d - 552 = 0. Does 69 divide d?
True
Suppose 22*s - 20 - 2 = 0. Let k(x) = 385*x**3 - 2*x**2 - 3*x + 5. Is 21 a factor of k(s)?
False
Suppose -2*t + 23 = 5*f, 2*f = t + 26 - 24. Suppose -19*h = -14*h + t*x - 4287, -x = -3*h + 2562. Is h a multiple of 57?
True
Let j(r) = -6*r**3 - 2*r**2 + 11*r + 5. Let t = 91 - 94. Does 29 divide j(t)?
True
Is 2 a factor of 7/((-14)/(-1860)) - (-24)/(-360)*0?
True
Let y(u) = 1 - 5 - 117*u - 3. Let r be y(-2). Let s = r + -111. Does 21 divide s?
False
Suppose -18*j = -16*j - 14. Suppose -j*t = -356 - 43. Suppose -417 = -t*c + 54*c. Is c a multiple of 22?
False
Let s(d) = d**2 + d - 1. Let r(c) = 8*c**2 + 85*c + 2. Let z(g) = -r(g) + 5*s(g). Does 15 divide z(-26)?
True
Let y(p) = -p**3 - 21*p**2 + 24*p + 44. Let n(q) = q**2 + 12*q + 5. Let x be n(-9). Let u be y(x). Suppose -4*c - 460 + 1340 = u. Is 10 a factor of c?
True
Let z = 53466 + -25490. Is z a multiple of 108?
False
Let y be 3/(30/(-4))*(11 - 1). Is 6/y*(200/(-15) + -4) a multiple of 10?
False
Suppose 264 = -4*w + 1560. Suppose -2*f - w = -4*f. Suppose 4*q + 4*h = 134 + f, -5*h - 113 = -2*q. Is 39 a factor of q?
False
Let d be (-134)/(-12) - 7/(4 + 38). Suppose 8*z + 609 = d*z. Is 12 a factor of z?
False
Suppose 37*y = -244 + 4018. Let n(w) = 19*w**2 - 5*w - 6. Let x be n(-4). Suppose 3*b + y = x. Is b a multiple of 32?
False
Let t(b) = 31*b**2 + 72*b + 921. Does 50 divide t(-12)?
False
Suppose 2*h - 5*q = 56, 3*q - 60 = 2*h - 6*h. Let b be (2/(-3))/(h/(-108)). Let f(z) = z**3 + 5*z**2 + 10. Does 11 divide f(b)?
True
Let d(l) = -3*l - 45. Let q be d(-15). Suppose -25*a + 650 = -q*a. Is a a multiple of 3?
False
Let t(q) = 6*q - q - 2*q**2 + 14*q + q**2 - 3. Let s be t(9). Let n = s + 17. Is 18 a factor of n?
False
Let x = 33 + -35. Let u be x + (193/2 - 1/2). Suppose -z + 24 = 4*b, -3*z - b = -0*z - u. Is 16 a factor of z?
True
Let n(t) = 11*t**2 + 4*t - 1. Let u be ((-152)/(-32) + -7)/((-6)/16). Suppose 0 = -u*p + 14 - 2. Does 20 divide n(p)?
False
Let z(w) = 32*w**2 - 10*w + 8. Let y be z(-5). Suppose -12*q = -6*q - y. Does 13 divide q?
True
Suppose 1092 + 4571 = k - 295. Is 16 a factor of k?
False
Suppose -4*z + 4*f + 103704 = 0, f - 25914 = 306*z - 307*z. Does 15 divide z?
True
Suppose -4*v + 5*s = 31, -2*v - 3*s = -2*s + 33. Is 9 a factor of ((-203)/v + -1)*1*2?
True
Let q = -1188 - 321. Let s = -716 - q. Does 15 divide s?
False
Suppose 3*h - 2*s = 94, 6*s - 3*s = -3*h + 84. Suppose 34*u - h*u - 400 = 0. Let a = u + 26. Is 9 a factor of a?
True
Let j = -2380 - -3532. Suppose 9*i = 1008 + j. Is 58 a factor of i?
False
Let p = 616 + 1946. Does 21 divide p?
True
Let m(g) = 70*g + 130. Let x be m(-17). Let k = 1550 + x. Does 35 divide k?
True
Let h(c) = -c**3 - 22*c**2 - 23*c + 29. Let m be h(-23). Suppose m*r = 1088*r - 1287. Does 13 divide r?
True
Let p(v) = v**3 - 2*v**2 + 2*v - 2. Suppose 10*b - 14*b = -28. Let s(y) = -2*y + 18. Let u be s(b). Is 19 a factor of p(u)?
True
Su