ppose o = 14*b - 5*b. Suppose -3*l + 957 - 334 = b*z, 0 = l + 5*z - 191. Does 36 divide l?
True
Suppose 2*t = 7*t - 4*a - 81916, -4*t = 19*a - 65444. Is t a multiple of 52?
True
Let r(n) = 8*n**2 - 2*n + 1. Let y be r(1). Suppose 4*f + 123 = y*f - l, -2*l = 2*f - 90. Is f even?
True
Does 41 divide -134 + 128 + (1*16266)/3 - 4?
True
Suppose 99*y - 241135 - 24581 = 0. Does 196 divide y?
False
Let o(l) = 24*l + 8. Let j(v) = -23*v - 9. Let a(g) = -5*j(g) - 6*o(g). Let w be a(-3). Suppose 0 = 2*f - w - 52. Is f a multiple of 34?
True
Suppose -2*n - 230*u + 231*u + 5395 = 0, 0 = -5*n + 2*u + 13487. Does 7 divide n?
False
Let p be (-3 - -4)*(4 + -3 - -1617). Suppose -3*f = -0*f - 2*t - 1634, p = 3*f + 2*t. Suppose 0 = -5*r - 5*y + 705, -5*r - 3*y + 157 = -f. Does 38 divide r?
False
Suppose -24*c + 100 = 772. Let x = 100 + c. Does 2 divide x?
True
Suppose 0 = -31*j + 15*j - 2608. Let r = 403 + j. Is 24 a factor of r?
True
Suppose 2201 = 5*u + 4*v - 2756, -2*u = 3*v - 1973. Is 69 a factor of u?
False
Let m = 5217 + 5022. Does 11 divide m?
False
Does 4 divide (24564/115)/((-8)/(-80))?
True
Suppose w = -2*h + 6*h - 308, 0 = 4*w. Suppose 392 = 7*u - h. Is u a multiple of 5?
False
Suppose -3*l - 4 = -1, l = 5*g - 8216. Is 35 a factor of g?
False
Let i(k) = k**2 - 18*k + 76. Let f be i(12). Suppose f*c + 3290 = 11*c. Is c a multiple of 15?
False
Suppose -256 = -6*r - 2*r. Suppose -r*m = -27*m - 20. Suppose 2*j - 6 = m, -3*v + 159 = -3*j. Is 10 a factor of v?
False
Suppose 9*g - 12679 = 2981. Does 60 divide g?
True
Let s be (-834)/9 - (-9)/(54/4). Let v = -40 - s. Is v a multiple of 13?
True
Let c(t) = 961*t**2 + 9*t + 6. Let y be c(-1). Let v = y - 339. Is 6 a factor of v?
False
Is 71 a factor of (-1 - (-9)/5) + (-705627)/(-585)?
True
Let x(t) = -t**2 - 30*t - 105. Let i be (33/33)/(1*2/(-32)). Is 35 a factor of x(i)?
False
Suppose 3*s - 416 = -4*f, -13*s + 704 = -8*s + 4*f. Let o = 7 + s. Is o a multiple of 9?
False
Suppose -x - 10 = -12. Suppose -4*b - x*m + 16 = 0, 5*b - 5*m - 2 - 3 = 0. Suppose 2*z - 3*k - 148 = 0, 8*k = b*k. Is z a multiple of 37?
True
Let i(d) = 52*d - 46. Let z be i(-4). Let s = z + 672. Does 19 divide s?
True
Suppose -15*g - 6042 = 4*g. Let x = 570 + g. Does 9 divide x?
True
Let s(d) = -d**3 + 9*d**2 + 11*d + 5. Let t be s(10). Let a = t + -19. Is 18*-8*a/24 a multiple of 6?
True
Suppose -5*c - 2*k - 4 = -0*c, 0 = -5*c - 5*k - 10. Suppose c = s + 23*s - 10080. Is s a multiple of 15?
True
Let y = -110 + 92. Is 295 - (-24)/y*-3 a multiple of 59?
False
Suppose 3*t + 16 - 1 = 0. Let v(x) = 2764*x**2 + 0*x - 2767*x**2 + 9*x**3 - 10*x**3 - 6 - 2*x. Does 18 divide v(t)?
True
Let o = -46873 + 78652. Is o a multiple of 23?
False
Let r(g) = -8*g + 164. Let h be r(23). Let i = h + 475. Does 39 divide i?
False
Is 15 a factor of (-72972)/(-63) - (-7 + (-102)/(-14))?
False
Let w be 11 + -2 + (-23 - -22). Let v be (1 + 0)/(2/(-14)). Let n = w - v. Does 2 divide n?
False
Suppose 5*y - 3*a - 165 - 315 = 0, 0 = -4*y - 4*a + 384. Let z = 108 + y. Is 68 a factor of z?
True
Suppose 21417 = -190*s + 201*s. Is 11 a factor of s?
True
Let a = 37853 - 23210. Is a a multiple of 48?
False
Let v = -354 + 1454. Is v a multiple of 13?
False
Suppose 185 = 4*l - 219. Let f = -13 + l. Suppose 65 + f = 3*j. Does 17 divide j?
True
Suppose 16*q + 18648 = 76536. Does 6 divide q?
True
Let v(u) be the third derivative of -37*u**6/60 + u**5/20 - 5*u**4/24 - 2*u**3 - 37*u**2. Does 43 divide v(-2)?
True
Suppose 2*s - 5*w - 2595 = 0, -16*s + 17*s - 1301 = -w. Is s a multiple of 25?
True
Let h = -1027 + 1013. Is 16 a factor of (-540)/(-1890) - (0 - (-20114)/h)?
False
Let n be 1/2*(-20)/(-2). Suppose -n*u - 18 = 3*r, -3*u + 5*r = 2*u + 10. Is 11 a factor of u/((-4)/((-880)/(-15)))?
True
Let i(p) = -13*p**3 - 141*p**2 - 37*p + 64. Does 168 divide i(-16)?
True
Suppose 4*f + 12 = 0, -160*s + 165*s + 2*f = -176. Is 47 a factor of s*(1653/(-58) + 1 + 1)?
False
Let w(p) = 207*p - 32. Let i be w(3). Let n = i + -196. Is n a multiple of 58?
False
Does 127 divide 2/4 + (15/20)/((-8)/(-56784))?
False
Let h = 17124 - 11233. Is 8 a factor of h?
False
Let s = -6735 + 13480. Is 143 a factor of s?
False
Is (19/(-76))/((-1)/10068) a multiple of 15?
False
Suppose -30025 = -o - 3*t, 5*t = 17*o - 19*o + 60045. Is o a multiple of 133?
False
Let k be 80/(-6)*(-126)/(-28). Let l be (128/(-30))/(-2) - (-8)/k. Suppose 15 = i + 3*q, -5*i + l*q + 19 = 3*q. Does 3 divide i?
True
Let v(o) = 148*o. Let z be v(1). Suppose 5*p = 9*p - z. Suppose -4*d - 3*k + 152 = 0, -3*d + 70 + p = 4*k. Does 5 divide d?
False
Suppose 823*u - 835*u + 49824 = 0. Is u a multiple of 36?
False
Is (-27300)/(-13)*(-6)/(-24) a multiple of 3?
True
Let f = 2496 + 1456. Is 152 a factor of f?
True
Let v = -557 + 564. Suppose 0 = -v*f + 315 + 805. Is f a multiple of 80?
True
Suppose 0*o - 28 = -7*o. Suppose 4*a - 700 = -o*h, -910 = -5*a + 3*h - h. Suppose 3*i + 2*i - a = 0. Is 9 a factor of i?
True
Let k = -14 + 20. Suppose -2*r + k = 2*c - 0*c, 3*r + 15 = 5*c. Suppose 4*b + 4*v + 68 = 5*b, 5*b - 3*v - 272 = r. Does 26 divide b?
True
Suppose -10*n = -64075 - 72555. Is 44 a factor of n?
False
Let p(w) be the second derivative of 1/2*w**2 + 0 - 2/3*w**3 - 23*w + 1/20*w**5 - 7/12*w**4. Is 9 a factor of p(9)?
False
Let q = 1854 - -442. Does 82 divide q?
True
Let m be 3255/(-357) + 4/34. Is (-2829)/m - (-5 - 20/(-6)) a multiple of 53?
False
Suppose 0 = 3*c - 17 + 116. Does 5 divide -2 + c/(-3)*17?
True
Suppose 109*q = 103*q. Suppose q = 27*h - 994 - 383. Does 11 divide h?
False
Let f = 159 - 711. Let r be 4/((-12)/9) + (-1 - f). Suppose 80 = -4*z + r. Does 39 divide z?
True
Suppose -32*r + 19941 = 1797. Is r a multiple of 5?
False
Let r(f) = 1070*f - 5656. Does 64 divide r(20)?
True
Let i(x) = -x**2 + 4*x + 7. Let h be 141/27 + (-1 - (-21)/27). Let s be i(h). Suppose 5*t + r - 2*r - 96 = 0, s*t - 2*r = 32. Is 3 a factor of t?
False
Let s(k) = -206*k + 11 + 319*k + 443*k + 11. Is 17 a factor of s(1)?
True
Let t(g) = -97*g. Let u be 87/5 + (24/(-10) - -2). Suppose 11*s = u*s + 12. Is 35 a factor of t(s)?
False
Suppose 46 = a + 4*a + b, b = -4. Let t be ((-12)/(-5))/6*a. Suppose -4*r = c + 9, 0 = c + 5*r - 2*r + t. Does 2 divide c?
False
Let w(o) = -o**3 - 10*o**2 - 45*o. Let r(g) = -g**3 - 7*g**2 - 30*g. Let x(u) = 8*r(u) - 5*w(u). Is 56 a factor of x(-7)?
True
Let l be 56/(-2) - (27 + -25). Let m = 4 + l. Is -5 - (m - (-2 + 4)) a multiple of 14?
False
Let i(j) = 80*j + 14011. Is 23 a factor of i(100)?
True
Let w(o) be the third derivative of o**5/60 + o**4/8 + 3*o**3/2 - 2*o**2 - 82. Suppose -16 = 3*l + 17. Is w(l) a multiple of 13?
False
Let p(n) = n**2 + 15*n - 31. Let m be p(-17). Suppose -219 = -0*t - t + m*a, 5*a = -15. Is t a multiple of 7?
True
Let g = -55 + 55. Suppose g = -190*u + 202*u - 3588. Is u a multiple of 13?
True
Let x = 244 - 162. Let u(d) = 8*d**2 - 7*d - 5. Let y be u(-4). Let o = y - x. Does 3 divide o?
True
Let i(z) = -z**3 + 13*z**2 + 5*z - 27. Let c(o) = o**3 + 21*o**2 + 52*o - 28. Let b be c(-18). Is 35 a factor of i(b)?
False
Suppose -m - 4*m - x + 6877 = 0, -6889 = -5*m + 3*x. Is 10 a factor of m/(-6)*(-18)/12?
False
Let l be (0 + 2)/(-2) + 1 + 1. Let i be 1/(-1) - 14/l. Is ((-485)/i - 3)*3 a multiple of 22?
True
Let q = 62503 - 33060. Does 32 divide q?
False
Suppose 0 = -2*m + 3*l + 18299, 8*m + 45725 = 13*m - 3*l. Is 22 a factor of m?
False
Let m(i) = -i**2 - 5*i - 1. Let j be m(-2). Let d(p) = 6*p**2 + 13*p - 5. Let x(h) = 4*h**2 + 7*h - 2. Let z(f) = -6*d(f) + 10*x(f). Does 14 divide z(j)?
True
Let w(f) = -13*f**2 - 11*f + 18. Let k be w(5). Let y = 488 + k. Is y a multiple of 7?
True
Suppose -x + 0 = -p + 6, 0 = 2*p - 4*x - 14. Suppose -3*m - p*y = -1860, 0 = 4*y + y. Is 20 a factor of m?
True
Let n be (0/((-3)/(-1)) - 3) + 5. Suppose -4*c = -5*r + 20, -n*r - c + 12 = r. Suppose 4*a - 564 = -3*v, -r*v + 596 = 2*a - 146. Is v a multiple of 23?
True
Suppose -254 = -f + 245 + 126. Is f a multiple of 15?
False
Let t = -5 - -3. Let j be (-1)/(-1)*1*(t + 4). Suppose 4*r - 104 = 2*f, -f + 24 = r - j*f. Is r a multiple of 28?
True
Let r(y) = -53*y + 42. Suppose -3*a = -15, 5*u - 4*a + 86 + 4 = 0. Does 28 divide r(u)?
True
Suppose x = -15*x + 38720. Suppose -x = -5*s - 6*s. Is s a multiple of 11?
True
Let c(i) = 