et m(s) = s**3 - 21*s**2 + 19*s - 29. Let g be m(20). Let c = f - g. Is 3 a factor of c?
False
Suppose -2*j + 1208 = -284*f + 288*f, 6*j - 3676 = f. Does 12 divide j?
True
Let k(w) = -w + 99. Let t be 24*((-2)/(-6) + (-35)/42). Is k(t) a multiple of 3?
True
Suppose -73*i + 66*i + 15146 = -436. Is 21 a factor of i?
True
Let u(k) = -k**2 - 5*k. Let c be u(-5). Suppose c = -v + 8*v - 42. Suppose v*z - z - 175 = 0. Is 7 a factor of z?
True
Is 34/119*(-28)/20 + 24824/10 a multiple of 4?
False
Let h(w) = w**3 - 33*w**2 + 32*w. Let y be h(32). Suppose -7*q + 12*q - 5*b - 1375 = y, -860 = -3*q - 4*b. Is 7 a factor of q?
True
Suppose -25569 = -10*u + 2915 + 5576. Is 67 a factor of u?
False
Let f be (3 - (-308)/(-16))*-12. Suppose f = 7*q - 463. Is 28 a factor of q?
False
Let d = 230 - 220. Suppose d*v - 1681 + 661 = 0. Is 12 a factor of v?
False
Is (-2)/38 + 3542280/285 + -27 a multiple of 106?
True
Suppose 3*p - 106242 = -3*j + 3786, -146701 = -4*p - 3*j. Is 133 a factor of p?
False
Suppose 4*v + 266 = -2*q + v, 4*q + 2*v = -532. Let r = 257 - q. Is 24 a factor of r?
False
Let k(r) = -83*r - 1. Let j be k(-2). Let h(l) = l**3 + 9*l**2 - 9*l + 12. Let c be h(-10). Suppose 12 = -4*f, -j - 205 = -4*q + c*f. Is q a multiple of 22?
False
Let b = 16893 - 9373. Does 40 divide b?
True
Suppose 10*u + 0*u + 6580 = 0. Let i = u - 377. Does 27 divide 8/(-3)*i/12?
False
Let j(z) = -7940*z + 1716. Does 75 divide j(-3)?
False
Let t(z) = 181*z**2 + 12*z - 23. Suppose 5*g + 30 = 5*r, r - 5*g - 18 - 4 = 0. Does 40 divide t(r)?
False
Let s(g) = 2*g**2 + 3*g - 18. Let u = -41 + 50. Suppose q = -2*w - 2*w - u, -4*w + 9 = -q. Is 38 a factor of s(q)?
False
Let p = -111 + 115. Suppose p*m + 4*u = 24, -14 = -5*m - u + 4. Suppose -16 = -m*n - 10. Does 2 divide n?
True
Suppose -24*w + 2375 + 14857 = 0. Let p = -397 + w. Is p a multiple of 4?
False
Does 6 divide ((-5)/7*2)/(150/(-1363950))?
True
Let j(h) = 1182*h - 829. Is j(13) a multiple of 11?
False
Let y(x) = 131*x**2 + 2*x + 4. Let j be y(-1). Suppose 252 = 5*m + 1067. Let w = j - m. Is 43 a factor of w?
False
Let s(p) = -371*p**3 + 2*p**2 + 4*p + 3. Let f be s(-1). Suppose 0 = 218*n - 217*n - f. Does 12 divide n?
True
Let c = -41 - -29. Let z = -9 - c. Suppose -2*b - 2*b + 4*o = -56, 2*o = z*b - 47. Is b a multiple of 15?
False
Let a = -12789 - -23287. Is a a multiple of 29?
True
Suppose 0 = 5*q + 1422 + 1888. Let m = q - -1598. Suppose -m = -12*f + 6*f. Is f a multiple of 39?
True
Suppose -3915 = -65*r + 1545. Suppose -86 = -5*y - 1. Let k = r - y. Is k a multiple of 9?
False
Let n(k) = -k**3 - 27*k**2 - 47*k + 76. Let r be n(-25). Suppose 0 = d + 4*g - 1124, 2*g - g - r = 0. Is 40 a factor of d?
True
Suppose z - a + 58 = 212, -3*z + 456 = 3*a. Suppose -8*h - 2*k = -9*h + 173, h + 3*k = z. Is h a multiple of 55?
True
Let o(g) = -1 - 8*g + 20*g - 25*g**2 + 30*g**2. Let k(w) = -4*w**2 - 11*w + 2. Let x(p) = 7*k(p) + 6*o(p). Is x(6) a multiple of 10?
True
Suppose n + 2*m - 767 = 5*m, -2 = -2*m. Suppose -23*j = -16*j - n. Does 62 divide j?
False
Let c(f) = f**3 + 44*f**2 + 72*f + 107. Is c(-40) a multiple of 102?
False
Let v(l) be the third derivative of 19*l**5/30 + l**4/24 + l**3/3 + 13*l**2. Let d be v(-1). Suppose d + 41 = 4*i. Does 5 divide i?
True
Suppose 3*z - 4 - 2 = 0, 3*z - 234 = -4*n. Suppose n*p - 54*p - 72 = 0. Does 10 divide (-5*(-3)/(-9))/((-2)/p)?
True
Is 50 a factor of -664*1*6*10/(-160)?
False
Let k(m) = 9*m**3 + m**2 + 8*m - 2. Let p be k(4). Let y = p + 281. Is 13 a factor of y?
False
Let a(b) = 139*b**2 + 7*b + 1616. Is a(-19) a multiple of 21?
False
Suppose 2*k = -3*d + 185586, 4*d - 25*k + 29*k - 247436 = 0. Does 294 divide d?
False
Suppose 34*z - 46*z + 144 = 0. Does 12 divide ((-438)/z)/1*-18?
False
Let x(t) = 3*t**2 + 21*t**2 - 42*t - 59*t**3 + 36*t**3 + 22*t**3 + 10. Is 55 a factor of x(20)?
True
Suppose -17*q + 19*q - 4*h - 52906 = 0, 0 = -5*q + 3*h + 132237. Is q a multiple of 29?
False
Let n be -4 + (-4)/((-20)/(-345)). Let q = 43 + n. Let y = 34 + q. Is y a multiple of 2?
True
Let m(h) = 2*h**2 + 78*h - 77. Let d be m(-40). Let o be 0/1*-1*1. Suppose d*c - 5*c + 78 = o. Is 20 a factor of c?
False
Suppose 0 = 3*b + 5*y - 95389, b + 0*b - 31793 = -5*y. Does 26 divide b?
True
Let o(v) = -v**3 - 19*v**2 - 11*v + 11. Let l be o(-19). Let g = l - 95. Is g a multiple of 20?
False
Let t = 803 + -536. Let z = t + -137. Suppose -7*h + 2*h + z = 0. Is h a multiple of 7?
False
Suppose -1108*o + 99200 = -1088*o. Is 20 a factor of o?
True
Suppose 8*b = -75 + 171. Let o(l) = -l + 192. Is 36 a factor of o(b)?
True
Suppose 8*f = 5*f - 6. Let z(x) = -x + 1. Let s be z(f). Suppose -s*p = -u - 163, 3*p + 0*u = -5*u + 175. Is 8 a factor of p?
False
Suppose 0 = -5*d + 5*c + 1155, 723 = 3*d + 9*c - 6*c. Suppose 25240 = 28*j + d. Is j a multiple of 48?
False
Let d = 663 + -661. Suppose -i - 5*s = -338, d*i - s - 2*s = 650. Is 14 a factor of i?
False
Let u = 16603 + -8987. Is 34 a factor of u?
True
Let r = 2393 + 6957. Is 69 a factor of r?
False
Let z(l) = -l**2 + 8*l + 3. Let t be z(8). Suppose t*b = 4*k + 6, 2*k + 1 - 3 = -b. Suppose 747 = 4*v + 3*r, 0 = v - b*v - 4*r + 177. Does 21 divide v?
True
Let k(q) = -q**3 - 12*q**2 - 5*q + 12. Let a be 1/((-3)/324*-3). Suppose -2*w - w - a = 0. Is k(w) a multiple of 12?
True
Suppose 0 = 46*z - 66*z + 32100. Is z a multiple of 12?
False
Suppose -2*g = -5*a - 3, -4*g - 3*a + 42 = -a. Suppose -g*k + 502 + 2261 = 0. Let r = k - 181. Is 14 a factor of r?
True
Let s = 201 - 213. Is 18 a factor of (-3)/12 + (-867)/s?
True
Let r = 101 - 98. Let t be (-3 + 4)/(0 - (-4)/8). Suppose -r*m - 3*n + 634 = t*n, 2*n - 4 = 0. Is 16 a factor of m?
True
Suppose -5*m + 5 = 0, 4*m = 70*d - 73*d + 7. Let n(g) = 572*g + 77. Does 9 divide n(d)?
False
Suppose -5*t - 12 = 5*s + 18, 26 = -3*t + 5*s. Is (1 - (3 - -7))/(t/42) a multiple of 9?
True
Suppose 4*a - 2*a - 11*a = 0. Suppose -6*h + 10*h + m - 1977 = a, -m = -2*h + 993. Is 9 a factor of h?
True
Suppose 0 = -5*b - 2*o + 10644, -2*b + 5*o + 4260 = 7*o. Is b a multiple of 9?
False
Suppose -1173891 + 468861 = -261*j + 1067682. Does 12 divide j?
True
Suppose 5*l = -h + 2038, 4*h - 4*l = 11044 - 2844. Is 2 a factor of h/32 + (3 - -1)?
True
Let u(z) = 7 + z + 16*z + 3*z - 51. Does 7 divide u(5)?
True
Suppose 6522 + 188 = -22*g. Let q = -206 - g. Is q a multiple of 42?
False
Let f(j) = 39*j**2 + 57*j + 14. Is 76 a factor of f(10)?
True
Let j(z) = -20*z - 175. Let f be j(-9). Suppose 0 = -2*l, -12*c + 16*c - f*l = 828. Is c a multiple of 8?
False
Let j(u) = -u**3 - 12*u**2 - 12*u + 16. Let l be 7 - 3 - 0/(3 + 2). Suppose l*x - s + 11 = 3*x, 5*s = 0. Is j(x) even?
False
Suppose -4*r + 34*n = 32*n - 10, n - 5 = 0. Does 45 divide 408 - (r/3 + 20/15)?
True
Let k(o) = -o**2 - 18*o + 6. Let g(y) = -9*y**3 + 2*y**2 - 13*y + 12. Let j be g(1). Does 11 divide k(j)?
False
Let p = 39277 - 10061. Is p a multiple of 11?
True
Suppose -g = 4*g - 10. Suppose -14 = -5*r - g*r. Suppose m - r*m + s + 41 = 0, -5 = 5*s. Is m a multiple of 34?
False
Suppose 144971 = 5*g + 3*v + 32759, 0 = -6*g - 2*v + 134640. Is g a multiple of 13?
False
Let s(h) = -221*h - 6831. Is 13 a factor of s(-32)?
False
Suppose -59*u = 46*u - 263655. Is 145 a factor of u?
False
Let x(s) = -s**2 + s + 3. Suppose 5*t + 20 - 35 = 0. Let m be x(t). Does 8 divide (-16)/m*(-126)/(-12)?
True
Let w be 98/14*(-1 - 0). Does 16 divide w + (-33)/(-5) + 847/5?
False
Let q(w) = -7*w**3 + w**2 + 250*w - 12. Is q(-10) a multiple of 37?
True
Suppose -1 = -7*p + 6. Let u be ((-4)/(-12))/(p/15). Suppose 0 = u*h + 278 - 1358. Does 24 divide h?
True
Let b = 51 + -52. Let c(m) = -47*m**3 + m + 1. Let s be c(b). Is 6 - 8 - s*-3 a multiple of 16?
False
Let i(z) = z**2 - z + 3. Let o be i(0). Let k(g) = g**3 - 13*g**2 + 35*g + 5. Let j be k(9). Is 10 a factor of (6/j)/(o/(-80))?
True
Let s = -18427 + 26287. Is s a multiple of 14?
False
Suppose 0 = 3*p - 24. Suppose 11*h + 162 = p*h. Does 52 divide 641/9 - (258/h - -5)?
False
Let i(q) = q**2 - 21*q - 64. Let w be i(28). Suppose -2*s + 2 - 83 = l, 0 = l + 4*s + 81. Let k = l + w. Does 29 divide k?
False
Let f = -109 + 123. Suppose -142 = -3*t + q, -3*t - 11*q + 144 = -f*q. Does 9 divide t?
False
Suppose 16*v - 2*v + 280 = 0. Is 5 a factor of 10/v + (-453)/(-2)?
False
Let u(