de h?
True
Suppose -34344 = -13*j - 3742. Suppose -7454 = -12*w - j. Is w a multiple of 3?
False
Suppose 0 = l - d + 3*d - 310, 0 = -l - d + 312. Let f = -164 + l. Does 30 divide f?
True
Suppose -123*u = -78781 - 466232. Is 211 a factor of u?
True
Suppose 428 - 12 = 3*l - g, 3*g = 12. Let h be (60/45)/(2/(-165)). Let u = l + h. Is u a multiple of 15?
True
Suppose 7566 = 6*d - 30978. Suppose -3*u - d = -14*u. Is u a multiple of 12?
False
Let f(s) = 412*s - 2591. Is 4 a factor of f(10)?
False
Suppose -5*i + 3267 = 3*k, 2*i - 3*k = 756 + 555. Suppose -2*w + 167 + 169 = 2*d, 0 = -4*d + 5*w + i. Is 13 a factor of d?
False
Suppose -255*y + 245*y - 9453 = -63223. Is 26 a factor of y?
False
Let s be (-18494)/(-56) - 21/(-12). Suppose -14*g - s = -16*g. Is g a multiple of 17?
False
Let j = -17027 - -19955. Is 6 a factor of j?
True
Suppose 164*c - 637454 = 25*c. Does 10 divide c?
False
Let j(w) = -w**3 + 6*w**2 - 17*w - 181. Does 70 divide j(-27)?
False
Let l = 33399 + -23607. Does 12 divide l?
True
Suppose -3*d - 5*r + 2 = d, -3*r - 6 = 0. Suppose -6 = 4*m - 2*v + 26, 2*v = -d*m - 10. Is (5 - (-1 - -4) - 14)*m a multiple of 6?
True
Is 4 a factor of (-4 - 49)*(8/24)/((-1)/33)?
False
Let l(a) = -a**3 - 22*a**2 + a + 24. Let x = -65 - -43. Let g be l(x). Suppose g*s - 16 = 12. Does 7 divide s?
True
Let d be 0 + 8443/6 + (-16)/96. Is d/(-9)*(-17 - -14) a multiple of 21?
False
Suppose -80*d - 2*n = -83*d + 54916, n + 73208 = 4*d. Is d a multiple of 12?
True
Suppose 3*m + 740 = -6235. Let r be m/(-12) + (-6)/8. Suppose 5*f = -28 + r. Is f a multiple of 10?
False
Suppose -6*z + 33 - 15 = 0. Suppose c + 3*t = 201, 5*c - z*t + 52 = 1093. Is c a multiple of 69?
True
Let j = -4105 + 7237. Let t = j - 2232. Does 50 divide t?
True
Is 3 + ((-73190)/15 + -6)/(16/(-24)) a multiple of 21?
False
Suppose 38513 = 95*k - 189487. Does 2 divide k?
True
Let y(f) = 4*f**3 - 36*f**2 + 42*f - 24. Let w(k) = -k**3 + 9*k**2 - 10*k + 6. Let j(x) = 11*w(x) + 3*y(x). Let m = 17 - 9. Does 7 divide j(m)?
False
Suppose -4*g + g + 116483 = 8813. Is g a multiple of 194?
True
Let b(y) = -19*y - 4. Let m be b(-3). Suppose -2*q + 4*a + 186 = 0, -5*a = 4*q - 0*q - 398. Let w = m + q. Does 30 divide w?
True
Let b be 2*((-16)/40)/(4/(-5)). Is 45 a factor of (b + -241)*(18/(-4))/3?
True
Let z(t) = -t**3 + 13*t**2 + 5*t - 7. Let b(y) = 13*y**2 + y - 1. Let u be b(1). Let a be z(u). Let h = 6 + a. Is 16 a factor of h?
True
Let w(j) = -31*j**3 + 2*j**2 + 3*j + 1. Let a be w(-1). Suppose 5*v - a = -5*c + 6*c, 0 = -c - 1. Suppose v*u - u = 855. Is 32 a factor of u?
False
Is 30/(-6) + 10 + -5 - -230 a multiple of 6?
False
Suppose -20*f + 10*f = -20. Let j = 122 - 68. Suppose f*i = 3*v - j, -2*v - 5*i + 24 = -12. Does 6 divide v?
True
Suppose -8*j = 2*j - 30. Suppose 2*i + 32 = k, -j*k = -0*i + 3*i - 141. Suppose k*f - 320 = 38*f. Is 16 a factor of f?
True
Let m be 6 + (-252)/45 - 1146/(-10). Suppose 0 = n + 3*i - 45, -4*i + m = -0*n + 3*n. Is n a multiple of 33?
True
Let z(l) = -47*l**2 - 15*l - 43. Let j be z(-3). Let q = j - -483. Is q a multiple of 31?
True
Suppose 0 = -z + 2*z. Suppose 0 = -5*o - 20, 2*k - 2*o = -11 - 29. Let s = z - k. Does 24 divide s?
True
Suppose 5*i + 31 = -39. Let u = -27 - i. Let n = u + 78. Is 13 a factor of n?
True
Let r(q) = -q**3 - 5*q**2 - q + 6. Let w be r(-5). Let o(i) = -48 - 46 + 102 + 0*i + i. Does 8 divide o(w)?
False
Is 6 + -2 + 13717 - (-5 - (-2 - -3)) a multiple of 53?
True
Let m be -2*(-1)/(-14) + 684/133. Is 52/(m/7 - 8/(-28)) a multiple of 13?
True
Let x = -6087 - -14488. Does 31 divide x?
True
Let n = -572 + 4352. Does 12 divide n?
True
Let l(r) = -474*r**3 - 2*r**2 - 3*r - 2. Suppose -5*x - 10 = 0, 4 = 2*a - 4*x + x. Does 11 divide l(a)?
True
Suppose -24*s = -23*s + 66. Suppose -700 = -y - 4*y. Let z = y + s. Does 20 divide z?
False
Let b = -623 - -948. Suppose -i + 7*c - 8*c = -b, -4*i + c + 1295 = 0. Is 54 a factor of i?
True
Suppose 3*m - n - 94 = 0, 166 = 5*m - n + 4*n. Suppose 17*y - m*y + 2085 = 0. Is 27 a factor of y?
False
Suppose 0 = -294*u + 295*u - 508. Let i = u + -484. Does 4 divide i?
True
Let h(w) = -3*w + 5. Let c be (-3 - 95/(-25))*35/(-2). Let i be h(c). Suppose 0 = d - 3*f - 29, f + 3 = -2*d + i. Does 11 divide d?
False
Suppose y - 10 = 3*p - y, -3*y = -p - 15. Suppose 3*n - 2*z = 449, p*z = 5*n + 2*z - 743. Is 37 a factor of n?
False
Suppose -12*w + 25 = 1. Suppose 4*f + 136 = -m + 727, -f - w*m + 139 = 0. Does 31 divide f?
False
Is (7590/88)/((-5)/(-168)) a multiple of 95?
False
Let p(k) = -k**3 + 7*k**2 - 3*k - 20. Let s be p(6). Is 5 a factor of ((-77)/(-35))/(s/(-30))?
False
Suppose -71*h + 92980 + 765594 = -2680705. Is 52 a factor of h?
False
Suppose 0 = 5*z + 5*w - 110, -2*z + w + 2*w = -54. Is ((-84)/18)/(z/(-2052)) a multiple of 3?
True
Suppose 4*y - 2*w - 176 = 0, 3*y - 174 = -y + 3*w. Is 15 a factor of 76024/195 + 6/y?
True
Suppose 0 = 4*i + 162 + 94. Let b = i - -52. Is -2*(-2)/b - (-9436)/84 a multiple of 7?
True
Suppose 25*i - 22*i = 15. Suppose -5*b = -a - 3108, -4*b - 4*a = -i*b + 614. Does 63 divide b?
False
Let i be (3276/30)/((-16)/(-280)). Let q = -553 + i. Does 25 divide q?
False
Let t(a) = 37*a - 16*a + 3 - 25*a + a**2. Let o be t(0). Suppose o*g + 333 = 2*i, -4*i - 2*g + 695 = 53. Is 18 a factor of i?
True
Let r(y) = 262*y**2 - 29*y - 248. Is 12 a factor of r(-8)?
True
Does 10 divide ((-2808)/(-28))/((-2)/8 + 1435/4900)?
True
Suppose 0 = 5*q - 5*b, 4*q + 3*b - 11 - 3 = 0. Suppose -z - 159 = -2*z + q*t, 0 = 4*t - 8. Is 7 a factor of z?
False
Let j = 5225 + 754. Is j a multiple of 32?
False
Let l(b) = -3938*b**3 - 2*b**2 - 4*b - 2. Is 30 a factor of l(-1)?
False
Let t = -809 - -9524. Is 35 a factor of t?
True
Let b(u) = -6*u**2 - 4. Let v be b(-8). Is (-1)/((-6)/9) + v/(-8) a multiple of 5?
True
Let g(i) = -i**2 + 7*i. Let k(z) = 4*z**2 - 34*z + 1. Let s(j) = -11*g(j) - 2*k(j). Let n be s(4). Does 11 divide (54/n + 4)/(1/5)?
False
Suppose 0*n + 3*n + v - 274 = 0, -5*n + 5*v = -470. Let i = -8 + n. Let a = i - 70. Does 7 divide a?
True
Suppose -7*y = 3*y + 30. Let c(b) = 2*b**2 + 3*b - 6. Let i be c(y). Suppose -3*q - x + 204 = 4*x, -3*q - i*x + 198 = 0. Does 9 divide q?
True
Is 16 a factor of (9 + 2376/(-77))/((-2)/14)?
False
Let q = 9862 + -1126. Does 21 divide q?
True
Suppose -42*g = -41*g + 9. Is 39 a factor of (3 + 143/3)*(g + 21)?
False
Let y(d) = -15*d**3 + 2*d**2 - 2*d - 1. Let q be y(-2). Let n = 142 + q. Is n a multiple of 35?
False
Let c = 1906 - -644. Is 34 a factor of c?
True
Suppose -5*m + 8974 = 809. Does 10 divide m?
False
Let x be 33/((-20)/(-8) + -4). Let v be 5 + -3 - 0/1. Let q = v - x. Does 6 divide q?
True
Let l(o) = -18*o**3 - 4*o**2 + 13*o - 9. Let s be l(4). Let u = -753 - s. Does 20 divide u?
True
Let m(z) = -3*z + 1. Let b(o) = 44*o - 94. Let g(h) = -3*b(h) - 42*m(h). Is g(0) a multiple of 24?
True
Let q be (-1)/(0 + 1/(-9)). Let a = -162 + 201. Let x = a + q. Does 8 divide x?
True
Let r(i) = i**3 + 17*i**2 + 9*i - 14. Let a be 24/(-64) + 117/(-8). Is 24 a factor of r(a)?
False
Suppose -8*c = -3*c - q - 9930, 5*c = 4*q + 9930. Let z = c + -1353. Is z a multiple of 13?
False
Is 117 a factor of -72*(((-208)/32)/(-13))/((-2)/39)?
True
Let s be (-4218)/(-285) - (-2)/10. Does 25 divide (4 + -7)/(s/(-250)) - -2?
False
Let d = -4288 - -12482. Is 26 a factor of d?
False
Let g(l) = 17*l + 70. Let a be g(-4). Let r(u) = -2*u**3 + u**2 - 7*u - 2. Let f be r(-5). Suppose a*q + f = 4*q. Is 11 a factor of q?
True
Suppose 2 = -5*f - 13, 0 = 3*i + 5*f. Suppose -v + i*v + 5*z = 201, -2*z = -10. Is v a multiple of 11?
True
Suppose 15*w - 618 = 282. Is w a multiple of 24?
False
Let r = -8712 + 9474. Does 127 divide r?
True
Suppose 9*c = 67*c + 79*c - 934203. Does 6 divide c?
False
Does 67 divide 144 + (-11 + 6 - 5)?
True
Let k(p) = 154*p**2 - 13*p + 4. Does 74 divide k(16)?
True
Let l(j) = 16*j + 2. Let g be l(-7). Let i be (-20232)/(-117) + 4/52. Let v = i + g. Is 10 a factor of v?
False
Suppose 9*a = 13*a. Suppose -3*p - 4*i = 15, 5*i + 19 = -4*p - a*p. Is 19 a factor of 38/(-4)*p*4?
True
Let d = 1113 + 2865. Is d a multiple of 102?
True
Suppose -16*c + 421055 = 164144 - 203505. Is 29 a factor of c?
False
Let z = -807 + 800. Let l(g) be the second derivative of -16*g**3/3 - 28*g**2 + 3*g. Is 28 a facto