53 = -2*k + 1063, -k + 708 = 2*y. Let i = k - 372. Does 14 divide i?
True
Let t(a) = 2*a**2 + 23*a + 12. Let z(y) = 2*y**2 + 23*y + 12. Let l(i) = -6*t(i) + 7*z(i). Does 9 divide l(-15)?
True
Let p = -2037 - -1451. Let r = -226 - p. Is r a multiple of 15?
True
Suppose -5*i - 386*a = -381*a - 180150, 3*i = 3*a + 108132. Is 40 a factor of i?
False
Suppose -2*k - 3*d = 11 - 32, 3*k - 4*d - 6 = 0. Suppose -k*l - 21*l = -9909. Does 74 divide l?
False
Suppose -4*g + 4*q + 9924 = 0, 1542 = 3*g - 2*q - 5906. Is g a multiple of 103?
False
Let m(q) = 13 + 3*q**2 - 7*q - 6 + q**2. Suppose 321*s + 15 = 324*s. Is m(s) a multiple of 12?
True
Suppose 175*b - 3*i = 178*b - 3852, -3*b - 5*i = -3858. Does 61 divide b?
True
Let f(y) = 5*y**3 + 11*y**2 + 3*y + 19. Let z(v) = -17*v**3 - 33*v**2 - 8*v - 57. Let g(k) = -7*f(k) - 2*z(k). Is g(-11) a multiple of 16?
False
Let j(a) = a**3 + 38*a**2 - 57*a + 22. Let f(c) = -3*c**2 - 2*c + 17. Let u be f(4). Does 65 divide j(u)?
False
Let r(a) = -a**2 - 218*a - 409. Is r(-115) a multiple of 124?
False
Let f(p) = -36*p + 210. Let m(b) = 17 - 7*b - 3 + 5 + 23. Let v(o) = -5*f(o) + 24*m(o). Is v(10) a multiple of 59?
False
Suppose -o = -13*x + 8*x + 244, -3*o = -2*x + 784. Let b = o + 596. Does 31 divide b?
False
Suppose 0 = 128*l - 269789 + 62301. Is l a multiple of 37?
False
Suppose 5*z + 2*z - 15*z = 0. Suppose z = -2*i - 8, 0*i + 3*i = k - 161. Does 8 divide k?
False
Suppose -i - a + 26 - 8 = 0, 72 = 5*i - a. Is 1727/i - 70/525 a multiple of 23?
True
Let o = -1180 - -2920. Is o a multiple of 20?
True
Let x(g) = g**2 - g. Let y(f) = -f**2 + 12*f + 38. Let h be y(14). Let a be x(h). Let m = a + 183. Is m a multiple of 19?
False
Suppose 15934 = 19*w - 8215. Suppose o - w + 221 = 0. Does 14 divide o?
True
Suppose h - 4*c - 25 = -c, -19 = -3*h - 5*c. Let v(a) = 2*a**2 + 19*a - 92. Is v(h) a multiple of 17?
True
Suppose 0 = -2*x + 2*g - 2, 8*g = -2*x + 12*g - 4. Does 3 divide (-366)/(-6) - (7 - x)?
True
Let u be (-9)/(63/14) - -1. Is 7 a factor of u*(2 - -2) + (-730)/(-2)?
False
Suppose 5*k - s - 33 = 0, -26*k - 4*s + 1 = -27*k. Suppose -350 = -k*q + 413. Is q a multiple of 3?
False
Suppose 3*u + 3*c = -0*u + 138, -5*u - 3*c + 240 = 0. Suppose 5*r = -2*o + 262 + u, -318 = -5*r + 3*o. Is r a multiple of 3?
True
Is (7 - 7) + 455 + 9 a multiple of 18?
False
Let m(d) = -5*d - 2. Let t be m(-1). Let v(n) = 23*n + 6. Does 15 divide v(t)?
True
Suppose 0 = 23*i - 18*i + 3*j - 9, -5*j + 15 = 0. Suppose i = -18*v + 15*v + 363. Is v a multiple of 3?
False
Does 9 divide 183*(145/3 - -9)?
False
Let w(f) = 10*f + 67. Let y be w(-23). Let b = y - -307. Does 13 divide b?
False
Suppose 60 = 3*o - 4*s, -3*o = -0*o + 3*s - 39. Suppose -986 - 1414 = -o*i. Is 25 a factor of i?
True
Let h(m) be the second derivative of -m**5/20 - m**4/12 - m**3/2 + 3*m**2 + 3*m. Suppose 0 = -t + 46 - 49. Is h(t) a multiple of 33?
True
Suppose -2*n - 2*f + 106 = 0, -4*f - 106 = -4*n + 74. Suppose -n*b + 48*b = -523. Suppose -4*z = -b - 49. Is z a multiple of 11?
True
Suppose 4 = r - 3*m - 5, -5*m = 2*r + 15. Let v(h) = 35*h + 1383. Let a be v(-37). Suppose 2*s - a = -r*s. Is s a multiple of 24?
False
Let j(z) = -z + 1. Let m(h) = -5*h**2 + 14*h + h**3 + 13 + 6 + 14*h**2. Let b(d) = j(d) - m(d). Is b(-9) a multiple of 13?
True
Suppose -5*h - 3*d = d - 46, -3*h + 22 = d. Suppose -2*f - 2252 = -h*f. Let o = -388 + f. Is 23 a factor of o?
False
Suppose -23433 = -9*p - 4956. Suppose -3*s + 3*j + p = 100, -2*s = -3*j - 1301. Is 14 a factor of s?
False
Let l be (-3)/(-6) - 80/32. Is 374/((l/3)/(48/(-144))) a multiple of 2?
False
Let a(j) = -j**2 - 10*j - 2. Suppose -7*f = -2*f + 5, 5*h = 2*f - 23. Is a(h) a multiple of 23?
True
Let z(p) = 8*p**2 + 17*p - 10. Let v(j) = 4*j**2 + 24*j + 8. Let n be v(-6). Is z(n) a multiple of 15?
False
Let v(z) = -z**2 - 25*z - 2. Let p be v(-6). Suppose -p = -4*x + 112. Is x a multiple of 4?
True
Let h(c) = 23*c**3 - 4*c**2 + 9*c - 7. Let k be h(4). Let f be k/27 - (-6)/(-27). Suppose 0 = 2*w + 3*i - f - 172, 5*w - 580 = -4*i. Does 12 divide w?
True
Suppose -6*w + 73 + 11 = 0. Let b(c) = -c**3 + 15*c**2 + 13*c + 28. Let v be b(w). Suppose 2*h - 206 = -o + 4*h, v = 2*o - 2*h. Is o a multiple of 40?
True
Let q = -10 + 7. Let k be q - (-4)/2 - 1*98. Let a = -33 - k. Is a a multiple of 6?
True
Let h = -191 + 272. Let i = 128 - 0. Let k = i - h. Is 16 a factor of k?
False
Is 15 a factor of (-5 + 1 + 3 + -7865)*(-310)/124?
True
Let k = -4187 + 7675. Is 16 a factor of k?
True
Let j(z) = 9*z**2 - 48*z - 14. Let a be j(6). Is ((-156)/7)/(a/(-539)) a multiple of 21?
True
Let v(d) be the third derivative of 67*d**4/24 - 6*d**3 - 2*d**2 - 11*d. Is 15 a factor of v(3)?
True
Let k(w) = w**3 - 30*w**2 - 139*w - 76. Does 99 divide k(38)?
False
Let g(v) be the second derivative of -v**3/6 + 3*v**2/2 + 26*v. Let r be g(-9). Is 14 a factor of 8/48 - (-598)/r?
False
Let o(x) be the first derivative of 33*x**4/4 - 4*x**3/3 + x**2 + 40. Is o(1) a multiple of 7?
False
Let w(n) = n**2 - 1. Let j(d) be the second derivative of 5*d**4/12 - 7*d**2 - 7*d. Let v(q) = j(q) - 4*w(q). Does 7 divide v(-6)?
False
Let k be ((-30)/2)/((-45)/60). Suppose -10*c + k = -6*c. Does 26 divide c*(-3 - (-205)/25)?
True
Let a(i) = -i + 7*i**2 + 0*i**2 + 0*i**2. Let d be a(-1). Suppose d*o - 162 = -o. Is o a multiple of 2?
True
Let u be (5 - 3)*(32*1 - 2). Suppose 4*y = m - 33, -2*m + 7*m + y = u. Let q(x) = 3*x - 31. Does 5 divide q(m)?
False
Let w(l) = -8*l + 56. Let c be w(10). Is 7 a factor of (276/(-8) - -7)*c?
False
Let c = -56 - 31. Let r = -73 - c. Suppose 7*g = 8*g - r. Is g a multiple of 12?
False
Suppose k - 11658 - 7977 = -5*y, 5*k = 4*y + 98001. Is 15 a factor of k?
True
Is 1908/9*23/23 a multiple of 4?
True
Let l be 5/(-3) + 5700/(-171). Does 6 divide (-15)/l - 15367/(-77)?
False
Suppose 22*r = -f + 17*r + 1678, -3*r + 1670 = f. Does 11 divide f?
False
Let w(x) = 911*x**2 + 3*x + 2. Let d be w(-2). Suppose -7*q + d = 6*q. Is q a multiple of 56?
True
Suppose 0 = d + r - 11, 5*d - 64 = -0*d - 2*r. Suppose 4*m - 889 = -3*f, -6 = 4*m + d. Is f a multiple of 32?
False
Suppose 5*r = -2*k + 626, -2*r = -0*k + 3*k - 246. Suppose r = -7*a + 10*a. Is (21/2 + 0)/(21/a) a multiple of 7?
True
Let j = 39 - 11. Let d = -30 + j. Is 16 a factor of (-1512)/(-15) - d/10?
False
Let s(x) = 68 + 12*x - 48*x + 8 - x**2. Is s(-22) a multiple of 66?
False
Suppose -166146 - 1372 = -26*n. Is 9 a factor of n?
False
Let g(j) = 1205*j**2 - 16*j + 15. Let y be g(1). Suppose -y = -45*s + 31*s. Is 12 a factor of s?
False
Let x(w) = -8*w**2 + 10*w + 136. Let m(i) = -4*i**2 - i - 1. Let p(c) = -6*m(c) + x(c). Does 5 divide p(-6)?
False
Let a = 276 - 276. Suppose 14*y + y - 3855 = a. Does 12 divide y?
False
Suppose -407*a = -440*a + 55869. Is a a multiple of 20?
False
Suppose 24 = -4*f + p, f - 5*p + 30 = -f. Is 11 a factor of f/(5/(-3))*(42 - 1)?
False
Suppose -s + 0*s - 3*s = 0. Suppose s = -3*m - 0*n - 2*n + 146, -3*m + 5*n = -181. Is m a multiple of 26?
True
Let d = 90 - 317. Suppose 3*o = -6*o - 963. Let x = o - d. Is x a multiple of 40?
True
Suppose -4*t - 3*t = 14*t - 147420. Is t a multiple of 39?
True
Let v be 3 - (2/1)/2. Let u = -10488 - -10611. Suppose 3*t - v*t - u = 0. Does 19 divide t?
False
Does 32 divide ((-8)/(-10) - 39252/(-210))/(2/70)?
False
Let t be (7/(-5) - -1) + 52/5. Suppose 8*o = -t + 2. Is 37/(-3)*-1 - o/(-3) a multiple of 3?
True
Suppose -523*q + 1435420 = -85987. Is 3 a factor of q?
False
Suppose -8*w - 6 = -46. Suppose -z + 585 = z - 5*i, -3*z + 870 = -w*i. Suppose -z = -4*j - 117. Is 21 a factor of j?
True
Let y be 1*(1133 - -2) + 28/7. Let c = y + -691. Is 56 a factor of c?
True
Let d be (-4)/(-18) - (1122/(-27))/11. Suppose d*z - 1669 + 505 = -2*r, -z - 2877 = -5*r. Is r a multiple of 64?
True
Is 112248/20 + (-20)/50 a multiple of 106?
False
Let x(t) = -7*t**3 + 0*t + 8*t**3 + 3*t**2 + 1 + 7*t. Let w be x(-2). Does 2 divide 23 - (4 + w)*-1?
True
Suppose -14*s + 4*t - 1164 = -12*s, 2336 = -4*s + 4*t. Let y = 1072 + s. Is 81 a factor of y?
True
Let x be (-1)/(2/((-3 - -7) + -30)). Suppose x*c - 462 = -c. Let k = 62 - c. Is k a multiple of 2?
False
Let y = 46 - 44. Suppose 0 = -t + y - 4. Is 14 a factor of (1*-6)/t*(-56)/(-12)?
True
Let q(f) = -39 - 32 - 18*f + 27 - 38. 