31. Is x a multiple of 13?
False
Suppose 0 = -3*m, -5*d + 18*m = 14*m - 90. Let z = 16 + d. Is z a multiple of 4?
False
Suppose k - 10*x - 23701 = 0, 21*x + 23653 = k + 19*x. Does 7 divide k?
False
Let q(h) = 298*h**2 + 122*h + 228. Is q(-2) a multiple of 21?
True
Let a = 413 + -433. Does 10 divide 1434/8 - (35/a - -3)?
False
Suppose 17*w - 224014 = -45*w + 228152. Is w a multiple of 11?
True
Suppose 3*b = -b + 2*s + 6, -3 = -5*b + s. Suppose 27*l - 29*l + 980 = b. Is l a multiple of 23?
False
Let d be (-9*(-2)/(-15))/(6/(-1640)). Does 17 divide (d/(-3) + 2)/((-24)/72)?
False
Suppose 11*c = 48*c - 836940. Does 260 divide c?
True
Suppose 0*s = 4*s - 7404. Suppose 0 = -0*z - 4*z - w + s, w + 2307 = 5*z. Is z a multiple of 7?
True
Suppose 76*h - 60299 - 397579 = 25*h. Is h a multiple of 30?
False
Let r be 50997/445 - 3/5. Suppose 0*x - 4*x = z, x = 5*z - 21. Is r*(x - (-20)/15) a multiple of 38?
True
Suppose -190*j = -151*j - 76050. Is j a multiple of 5?
True
Let y = 1812 - -577. Is 2 a factor of y?
False
Suppose 3*j - 19 = -4*y, -j - 2*y = 3*j - 22. Suppose -4*v + v + n = -1087, -4*n - 1800 = -j*v. Is v a multiple of 52?
True
Let q = -115 + 1865. Is 35 a factor of q?
True
Let h = -4418 + 8128. Is h a multiple of 15?
False
Let x = 9 - -38. Let o = -42 + x. Suppose 5*y + 112 = h, -o*h + 46 = -2*y - 514. Is h a multiple of 18?
False
Suppose 0 = -103*c - 144643 + 550257. Does 21 divide c?
False
Suppose 0 = 4*w, -6*w - 3 = -3*u - 5*w. Does 4 divide ((-170)/(-4) + u)*32/48?
False
Let u(x) = -x**3 - 12*x**2 + 15*x + 22. Let p be u(-13). Is 24 a factor of (3 + (-33)/9)/(p/1158)?
False
Let a(c) = 3*c - 3. Let k be a(2). Suppose 4*b - 115 = k*b - 2*v, -244 = -2*b + 3*v. Let g = b - -5. Is g a multiple of 31?
True
Suppose c + 5 = -m, m + 0 = 3*c - 9. Is m/21 + (-5616)/(-56) a multiple of 10?
True
Suppose -2*l - 34 = -5*t, -15 = l - 2*t - 0. Is 19 a factor of ((-35)/20)/l + (-4653)/(-12)?
False
Suppose p + 2 = 3*z - 0, -z - 3*p = -14. Let n(s) = -48 + 3*s - s**z + 77 + 10*s. Is n(14) a multiple of 7?
False
Suppose -103*r + 5 = -102*r. Let v(o) = 10*o**3 + 3*o**2 + 17*o - 137. Is 17 a factor of v(r)?
False
Let s(u) = 514*u + 2122. Is 110 a factor of s(7)?
True
Suppose -4*y = g - y + 7, -y = 2*g + 9. Let h(a) = 3*a + 14. Let k be h(g). Suppose k*l + 2*d = 158, -3*l + d + 241 = -0*d. Does 16 divide l?
True
Let j = 9 + -30. Let z(k) = k**3 + 21*k**2 - 10*k - 29. Is z(j) a multiple of 27?
False
Is (-136)/(1292/(-38)) + -1 + 34106 a multiple of 50?
False
Let t(b) = -b**2 + 8*b + 18. Let u be t(0). Let o = u - 14. Is 3 a factor of o?
False
Let l = -1950 + 5573. Is 9 a factor of l?
False
Let v = 135 + -137. Does 23 divide v/11 + 44289/77?
True
Let w(z) be the first derivative of z**4/4 - 2*z**3/3 + z**2/2 + 2*z - 17. Let o be w(2). Suppose -3*i = -k + 77, -k = 4*k + o*i - 309. Is 13 a factor of k?
True
Let k(l) = 564*l**2 + 2686*l + 16132. Does 40 divide k(-6)?
True
Let b = 302 - 246. Let u = b - 27. Does 20 divide u?
False
Let q be (-9)/(-3) + -8*13. Let v = q + 421. Suppose r = 6*r - v. Is 7 a factor of r?
False
Suppose 4*s + 0*s + 4791 = o, 3*o + 15 = 0. Let i = -848 - s. Is 13 a factor of i?
True
Suppose -4*m = 20, -10*t + 5*t - 5*m - 25 = 0. Suppose 3*f - 20 + 5 = 0, v + f - 885 = t. Does 10 divide v?
True
Let a = 168 + -123. Suppose 0 = -3*o + b + 56 + 99, 2*b + a = o. Is o a multiple of 5?
False
Let h(c) = -6*c**3 - c**2 - c - 1. Let n be h(-1). Suppose 5*w + 12 = -4*s, -n*s = -4*w - 8*s - 9. Suppose w = 5*a + 5, 3*x - 5*a = 40 + 205. Does 10 divide x?
True
Let m be 192/108 + (-4)/(-18). Suppose m*v = 252 - 60. Suppose 32*l = 36*l - v. Does 24 divide l?
True
Let s(d) = -d**3 - 24*d**2 - 50*d - 52. Let q = 179 - 201. Is 10 a factor of s(q)?
True
Let t(w) = -5*w**3 + 12*w**2 + 4*w - 12. Is t(-5) a multiple of 19?
True
Suppose o - 4*a = 4*o - 27095, -2*o = -a - 18078. Is o a multiple of 7?
True
Let y be (-350)/3 + (-5)/((-60)/8). Let s = 139 + y. Is 2 a factor of s?
False
Let w(b) = -b**2 - 29*b + 10. Let o be w(-7). Let i = o + -123. Is 7 a factor of i?
False
Let k = -65338 - -96069. Does 79 divide k?
True
Let i be (-1)/(-4)*(481 - 29). Suppose 4*w - i = -4*s - 9, 4*s = -5*w + 128. Is w even?
True
Let t be (-1 - 1/(-4))*(-720)/(-270). Let p(l) = 58*l**2 + 29*l + 4. Is 36 a factor of p(t)?
False
Is (-57420)/(-105)*(4/10 + (-1710)/(-100)) a multiple of 29?
True
Let r be ((-76)/16 + 5)*0. Suppose -4*p - 433 = -3*h, -17*p + 20*p - 6 = r. Does 8 divide h?
False
Suppose -5*z = 3*t - 1258 - 4453, -z + 1135 = 3*t. Suppose 1736 = -0*m + 3*m - 2*b, -4*b = -2*m + z. Is 13 a factor of m?
False
Let x(r) be the third derivative of -r**6/120 - r**5/10 + 11*r**4/24 - 5*r**3/6 + 4*r**2 - 1. Suppose b + 2*y = -0*b, 0 = 2*b + y + 12. Is x(b) a multiple of 5?
True
Let z(q) = q + 7. Let k be z(-8). Let r be (k*31)/((-2)/4). Let o = -38 + r. Is 3 a factor of o?
True
Suppose -4*z - b - 9 = -2159, 2*z + 3*b - 1070 = 0. Let p = z + -178. Suppose p = -3*n + 8*n. Is n a multiple of 36?
True
Let r = 27 - 9. Suppose 0 = -4*b + n + n - r, b + 7 = 3*n. Is 11 a factor of (-2 - b) + 192/3?
True
Let i(x) = -176*x - 2672. Is 10 a factor of i(-36)?
False
Let b = -4780 - -5952. Is 3 a factor of b?
False
Suppose -2*o + 1767 = -5*q - 1323, -5*o = q - 7698. Does 2 divide o?
True
Suppose 4*y = d - 14, y - 73 = -4*d - 0*y. Let c = d + -18. Suppose 2*u + c*g = g + 135, -3*u + 3*g + 210 = 0. Is 13 a factor of u?
True
Suppose 0 = -2*b + 3 - 15. Is 14 a factor of (-1 - -127)*(-1 - b - 2)?
True
Suppose -r + 4*r - c - 20 = 0, -4*r = 3*c - 44. Suppose -209 = -3*n - 4*h, r = -2*n + 3*h + 136. Suppose -n = -p - 22. Is p a multiple of 10?
False
Let u = 277 + -272. Is 240/(u + 1)*10 a multiple of 16?
True
Let d = 54 - 44. Suppose 0 = -d*v + 13*v + 72. Let c = v - -71. Is c a multiple of 13?
False
Suppose -6*x - 5*x - 1331 = 0. Suppose 765 = -3*q + 219. Let y = x - q. Is y a multiple of 16?
False
Suppose 3*b + 458 = s, -7*b = -2*b + 5*s + 770. Let f = 483 + b. Does 55 divide f?
True
Suppose 0 = -25*b + 5360 + 1565. Let w = 3 + b. Is 56 a factor of w?
True
Let n = 55 + -52. Suppose -2*j - 3*u = -n*j + 465, -5*j - 2*u = -2240. Is j a multiple of 89?
False
Let a = 118 - 112. Let v(n) = 3*n**2 + 11*n - 2. Is v(a) a multiple of 43?
True
Is 7908*-3*(-8)/48 + 7 a multiple of 9?
False
Let l = 1196 + -1064. Does 22 divide l?
True
Suppose 18*w - 261*w + 4964490 = 0. Is 45 a factor of w?
True
Let a be (1/((12/3)/4))/(-1). Let d be a/3 + 26/6 + 0. Suppose 2*y + d*y - 210 = 0. Is 4 a factor of y?
False
Let s(w) = 1066*w + 5310. Is 55 a factor of s(7)?
False
Suppose 160 = 2*a + 4*v, -5*v + 385 = 2*a + 3*a. Suppose -72*z + a*z = 744. Suppose 4*b = -2*k + z, 3*k + 2*k - 918 = 2*b. Is k a multiple of 14?
False
Suppose 4*a = -2*u + 2500, 49*a = 46*a - 9. Is u a multiple of 48?
False
Let m = -92 + 87. Does 10 divide (12/(-8))/(m/130)?
False
Suppose 4 = -3*d + 5*d. Suppose 0 = -24*l + 6949 - 2293. Suppose a = -3*b + l + 273, 4*b = d*a + 636. Is 16 a factor of b?
False
Let y(v) = -150*v + 41. Let m be y(-11). Suppose f + m = 4*g, 2*g - 4*f - f = 859. Is g a multiple of 8?
False
Let h be -2 + -3 + 2 + (-11)/(-1). Suppose 246 = h*t - 506. Does 4 divide t?
False
Suppose 4 + 6 = g. Suppose -h - h = g, -2*h + 54 = 2*q. Does 6 divide q + -14 + 0 + 0?
True
Let a be 0 + 2 + 1 + 2. Let q be (5/1 - (-40 + 45)) + 3. Suppose -a*g + 621 = 3*d - 189, -q*d + 3*g + 786 = 0. Is 53 a factor of d?
True
Let x(z) = -1 + 7*z - 10*z - 63*z + 8. Let c be (0 + 5)/(-5)*3. Does 32 divide x(c)?
False
Let l = -424 - -433. Suppose 29*m + l*m - 19494 = 0. Is m a multiple of 57?
True
Let h be 2*6/4 - -2. Let d(q) = 9*q + 200. Let c be d(-22). Suppose 0 = 2*b + c*f - 40, -103 = -h*b + 3*f - 3. Does 7 divide b?
False
Suppose -u + 47 = -o, -3*u + 56 + 99 = 4*o. Let x = u + -47. Suppose -x*p = 8*p - 930. Does 30 divide p?
False
Is 46 a factor of 9/((-189)/6440)*(28/(-8) - -2)?
True
Suppose 0 = -m + 5*v + 23, -7*m + 4*m - 11 = 5*v. Suppose 5*j = 3*o + 587, -m*j + 3*o = -412 + 55. Does 2 divide j?
False
Suppose 72*m - 1791 = 2817. Is m a multiple of 3?
False
Suppose -46*p + 51*p = -4*x + 53462, -4*p - 2*x = -42772. Is p a multiple of 90?
False
Let a(p) be the third derivative of p**5/60 + 5*p**4/24 - 49*p**3/6 + 149*p**2. Does 5 divide a(-11)?
False
Let v(o) = -75*o