 = -s - s + 0*s - s + 3*s**2 - s**2 - 23. Is j(-7) a multiple of 12?
True
Suppose 4*h + 426092 = 16*m, -3*m + 98*h + 79896 = 101*h. Is 99 a factor of m?
True
Let m(x) be the first derivative of x**5/20 + x**4 + x**3 - 15*x**2/2 - 13*x - 3. Let t(s) be the first derivative of m(s). Is 20 a factor of t(-11)?
True
Let r(v) = 28*v - 245. Suppose 2 = -2*p + 62. Is r(p) a multiple of 17?
True
Suppose 4*h + 13 = 29, -3*k + 2*h + 63793 = 0. Is 59 a factor of k?
False
Let i(b) = b + 4. Let k be i(-4). Suppose 107*j - 101*j = 30. Suppose k = j*l - t - 20, -4*l + t = -2*l - 11. Is 2 a factor of l?
False
Let b(j) = -375*j + 1705. Is 37 a factor of b(-29)?
True
Let i(d) = 15*d + 28. Let a be 356/52 - 8/(-52). Let h be i(a). Let w = h - 92. Is 11 a factor of w?
False
Suppose 32*j - 5*j + 108*j = 677160. Is 44 a factor of j?
True
Let d be 12/9 + -1 + (-276)/(-9). Suppose -7306 = 5*t - d*t. Is t a multiple of 3?
False
Suppose -3*t + 20 = 2*t - n, -4 = -t - 3*n. Suppose 397*o + 304 = 413*o. Suppose -t*s - 2*x + o + 93 = 0, 0 = -5*x. Does 14 divide s?
True
Is 86 a factor of (9976/10)/((384/24)/240)?
True
Let o(p) = 2*p**2 - 70*p + 3. Let m be o(35). Suppose -m*a + q + 421 = -0*a, -3*a + 419 = q. Is a a multiple of 28?
True
Let b = -716 + 938. Is b even?
True
Let l = 542 + -188. Suppose 178 = 2*n - l. Suppose -4*d - 4*f = f - n, -2*d + 132 = 2*f. Is 32 a factor of d?
True
Suppose 5*p = 5*s - 45, 0*s - 33 = 2*p - 5*s. Let l be (249/(-3) + p)/1. Does 10 divide l*(2/(-2) - 0)?
False
Is 9 a factor of 85/102*18 + 9293?
False
Let t = -1123 + 2088. Suppose -2*q + 7*q = b - 217, 5*b - t = -5*q. Does 16 divide b?
False
Let a = -69 + 71. Suppose -b + 6*b + 177 = a*l, -30 = b + 5*l. Let y = b - -76. Does 3 divide y?
False
Let z(r) = -r**2 + r + 2. Let n be z(4). Let w = n + 34. Suppose 2*h - 216 = w. Is 15 a factor of h?
True
Suppose 0 = -39*o - 32*o + 208392 - 16124. Is 18 a factor of o?
False
Let j(f) = -8*f**2 + 4*f + 4400 + 28*f**2 - 4405. Does 12 divide j(2)?
False
Let g = 486 - 152. Let a be (-2*g)/((-2)/3). Suppose 31*j - 37*j + a = 0. Does 45 divide j?
False
Let m(i) be the first derivative of 11*i**3/3 + 5*i**2/2 - 6552. Let b = 3 + -6. Does 12 divide m(b)?
True
Let u(a) = 42*a**3 - 2*a**2 + 6*a - 9. Let v be u(2). Let s = v - 32. Is 13 a factor of s?
True
Is 57 a factor of 2/25 + (3 + 86/(-25))*-6218?
True
Suppose 0 = -33*l + 24*l - 1971. Let t = -9 - l. Is 15 a factor of t?
True
Suppose -3*a + 4*g = -7668, a + 2*a + 3*g - 7668 = 0. Suppose -666 = 5*v - a. Is v a multiple of 14?
True
Suppose 7*q - 34 = 1. Suppose f + 3*h - q = 4, -10 = -5*h. Suppose -4*d - 28 = -2*w - 2*d, f*d - 110 = -5*w. Does 19 divide w?
True
Let p = -267 + 185. Let x = p + -23. Let b = 71 - x. Does 16 divide b?
True
Suppose 44*o - 45500 = -37*o + 53*o. Does 13 divide o?
True
Let t(b) be the third derivative of -b**4/6 - 2*b**3/3 - 2*b**2. Let z be t(-1). Let d(k) = k + 82. Is d(z) a multiple of 42?
False
Suppose -k + 3*q + 3309 = 0, 0 = 5*k + 2*q - 1963 - 14599. Does 9 divide k?
True
Let c be (21/12 - 2) + 1090/8. Let m = 206 - c. Does 25 divide (12*1/(-14))/((-2)/m)?
False
Suppose -19303 - 10406 = -9*j. Is j a multiple of 8?
False
Let y = -77 + 79. Let p be -4 + y + 4 - -4. Let j = 88 - p. Is 14 a factor of j?
False
Does 77 divide (2913*56/12 - (-30)/10)/1?
False
Let b(n) = -2*n**3 - 10*n**2 + 3*n + 5. Let i be b(-8). Suppose w = 6*w - i. Let f = 130 - w. Is f a multiple of 12?
False
Let c be ((-7)/(-2) + 6)*34. Suppose -1488 = 317*z - c*z. Does 8 divide z?
True
Suppose -3*v = -o, 6*o - 7*o - 3 = 0. Does 38 divide 305/2 + v - 34/(-68)?
True
Suppose -3*a + 7 = 5*d, 4*d - 2*d - 4*a = 8. Let y = d - -115. Is 13 a factor of y?
True
Let d be -3*(8/(-3) + 2). Suppose -2*a + d = 4*i - 16, -17 = -4*i - a. Is 8 a factor of 274/i + (-3 - (-14)/4)?
False
Let b(j) = -64*j + 916. Does 21 divide b(-21)?
False
Suppose 4*m - 25248 = -i, -4*m - 4*i + 13539 = -11709. Is 12 a factor of m?
True
Suppose -26*q = 14*q - 557400. Suppose 0 = 15*u + 885 - q. Is 29 a factor of u?
True
Let s(w) = 4*w**2 + 64*w - 534. Is s(41) a multiple of 78?
True
Suppose 8*x + 4*x = -13*x + 63525. Does 11 divide x?
True
Is 52 a factor of 5712/(-315) - -18 - (-43684)/30?
True
Suppose 3*c - 15 - 3 = 0. Suppose -c*l = -5*g - l + 1280, -3*g = 5*l - 744. Does 10 divide g?
False
Suppose -18*f = 4*f - 57596. Let c = f - 1630. Is c a multiple of 13?
True
Let h be 96/80*15/9. Suppose -h*m + 769 = -m. Does 14 divide m?
False
Let c = -57 - 1. Let d = c + 65. Suppose 0 = d*u - 777 - 651. Is 17 a factor of u?
True
Let x(h) = -1652*h + 823. Is 19 a factor of x(-6)?
True
Suppose -3*v + 4*c - 116 = 0, -2*v - c + 34 = 104. Let s = 53 + v. Let g(a) = -a**3 + 17*a**2 + 8*a - 24. Is 56 a factor of g(s)?
True
Let p be (27/45)/((-2)/(-30)). Let r(m) = -m**2 + 8*m + 12. Let z be r(p). Suppose w - 2*h - 14 = 0, 2*w - 6*w + z*h = -46. Is 3 a factor of w?
False
Suppose 4*o = -5*a + 50016, 62478 = 5*o - 90*a + 91*a. Is 2 a factor of o?
True
Let n(w) = w**2 + 11*w + 20. Let g be n(-9). Suppose 0*f + 4*f = -5*l - 114, g*l = -3*f - 47. Let y = 64 + l. Is 6 a factor of y?
True
Let a(g) = -48*g - 93. Let y be a(-2). Suppose 0 = -4*t - y*p + 4404, 4*t - 852 = -2*p + 3548. Is t a multiple of 83?
False
Suppose -5162 = -29*k + 272250 + 111217. Is 9 a factor of k?
True
Suppose 34 - 10 = 3*t + 3*u, 5*t - 3*u = 0. Suppose -5*f - q = -33, t*f - 5*q - 8 = 23. Suppose -z = -f*z + 342. Is 17 a factor of z?
False
Let p be 3 + (-1 - -4) + 1. Let h(u) = 3 - p + u + u**2 + u. Does 4 divide h(4)?
True
Let s = 5 + -11. Let g(i) = 55*i - 20. Let w be g(s). Let f = -250 - w. Is f a multiple of 4?
True
Suppose 3*k - 2*k - 26 = 0. Let p(b) = -9*b + 43. Let y be p(5). Let w = k - y. Is w a multiple of 14?
True
Does 9 divide (590/(-84) - 2/(-12))/(250/(-711375))?
True
Let j = -862 + 3838. Does 24 divide j?
True
Suppose 0*v - 825769 = -33*v - 119140. Is 161 a factor of v?
True
Let q be (-4)/(-22) + (-106)/(-22). Suppose -q*g + 7*g + 2*g = 0. Suppose -3*w + p + 471 = g, 2*w - p + 2*p = 314. Is 26 a factor of w?
False
Suppose 7 = 2*l - 7. Suppose -17 = -5*y - l. Suppose -4*v - 68 = -y*f + 84, 0 = -2*f - 4*v + 192. Does 15 divide f?
False
Let h(s) = 2597*s - 53. Is 16 a factor of h(1)?
True
Let f(o) = 2*o**3 + 20*o**2 + 73*o + 52. Let l(t) = -t**3 - 13*t**2 - 47*t - 35. Let w(z) = -5*f(z) - 8*l(z). Is 12 a factor of w(-4)?
True
Suppose 10*y - 5*y - 1795 = -5*f, f = 2*y + 344. Let g = 236 - f. Let r = -63 - g. Is 11 a factor of r?
True
Suppose 2*d + 13 = o, 4*d + 2*o = -6 - 8. Is (d/10*2)/(-1) + 499 a multiple of 10?
True
Let z be 520/(-325)*21110/4. Does 4 divide z/(-22) + 5/(275/10)?
True
Let q(w) = 4*w**2 - 37*w + 3. Let y be q(8). Let c = -44 - y. Is 18 a factor of 21*((-44)/c - 2)?
True
Suppose -2*j - 26 = 4*r - 2, 2*r + 12 = 2*j. Is 26 a factor of r/(-3)*905/10?
False
Let a be -4 - ((1 - 67) + 4). Let s = -41 + a. Let k(v) = -2*v + 59. Does 3 divide k(s)?
False
Is (18 + (-310)/20)*(-8264)/(-5) a multiple of 122?
False
Suppose -4*t = -0*t - 456. Suppose y + 2*f = -0*y + 57, 2*y - f = t. Let q = y - 29. Is 14 a factor of q?
True
Is 220/(-1650) + 151701/45 + 0 a multiple of 18?
False
Let f = -177 + 180. Suppose 0 = -0*j + f*j - 3*s - 1041, -3*j - 4*s + 1013 = 0. Is j a multiple of 50?
False
Suppose -h + 18 = 3*p - 3*h, 2*h = -p - 2. Suppose -c - p*s = -9, 2*s + 1 + 7 = 2*c. Suppose v - 94 = c*o - 34, 25 = -5*o. Is 7 a factor of v?
True
Suppose -5 = 4*t - 5*z, 4*t + 0*z = z + 15. Suppose 0 = -2*q - b - 4*b - 15, t*b = -25. Suppose -7 = q*w - 207. Is w a multiple of 12?
False
Suppose 0 = -16*m - 2616 - 10184. Is (8/(-16))/(5/m) a multiple of 20?
True
Let z be (-275)/(-33)*6/10. Suppose -z*n - 991 = -3961. Is 54 a factor of n?
True
Let l = -162 - 44. Let a = l + 358. Does 18 divide a?
False
Let u(y) = -1. Let x(p) = -3*p - 64. Let i(s) = 5*u(s) - x(s). Let o be i(-18). Suppose -q = 3*q - 8, 0 = -4*l + o*q + 302. Is l a multiple of 26?
True
Let i(a) = a**2 - 36*a + 86. Let r be i(34). Let z = 78 + -8. Suppose 2*l - z = r. Is l a multiple of 11?
True
Let q be 4 + 4 + -2 + -11 + 2971. Suppose 3*b + 738 = l - 0*l, 4*l - 5*b - q = 0. Does 31 divide l?
True
Let m(g) = g**2 - 9*g + 4. Let s be m(9). Suppose 3*y - 25 = -4*a - 5, s*y = 5*a - 25. Suppose -3*u = -v + 15, -3*u = 4*v - y*v - 30. Is 