tiple of 10?
False
Suppose -3*u - 3*l + 68961 = 0, -86082 = -5*u - l + 28825. Is 20 a factor of u?
True
Is 84 a factor of 10/8 + (9938 - -20)*10/16?
False
Let g be ((-40)/16 - -2)/((-1)/4418). Suppose 0 = -7*q + g - 739. Is 35 a factor of q?
True
Let o(u) = u**3 - 21*u**2 - 63*u + 637. Let d be o(23). Let g(y) = 65*y**2 - 3*y - 2. Let b be g(-3). Let z = b - d. Is z a multiple of 37?
False
Let w = -42 + 33. Let x be -13*1/7 + w/63. Is 16 a factor of 5 - 2 - 90/x?
True
Suppose 4*r = -2*j + 9180, 0 = -351*r + 349*r. Does 17 divide j?
True
Suppose 13*h + 4*j = 15*h, 5*h - j - 36 = 0. Is 15 a factor of 16*(2 - (-148)/h)?
False
Let w be ((-2)/4)/(1/412). Let x = 29991 + -30315. Let m = w - x. Is m a multiple of 19?
False
Suppose -3*n = -4*o + n + 24, -o + 11 = -2*n. Let t be (0 - 2)*2*-1. Does 10 divide 39 - (-2)/3*(o - t)?
False
Suppose 6*b - 2*b = 472. Let v = 414 - 352. Let q = b - v. Is 33 a factor of q?
False
Suppose 3*m = 3*d - 15, 4*d = -7*m + 2*m - 7. Suppose 0 = -d*h + 2*x - 32, -3 = -h + 3*x - 27. Let o(r) = r**2 + 11*r + 8. Does 10 divide o(h)?
True
Let r = 574 + -565. Suppose -r*w + 8*w = -221. Does 15 divide w?
False
Let n = 37 - 37. Suppose 3*k + 5*w = 314, n*w + 15 = -3*w. Is 24 a factor of (k - -2) + (0 + -3)/3?
False
Let b(p) = -7*p**3 + p**2 - 8*p - 48. Let z(m) = m**3 + m + 1. Let o(r) = b(r) + 6*z(r). Does 35 divide o(-5)?
False
Let g = -14159 - -14537. Does 63 divide g?
True
Let k = 27933 + -19801. Is 76 a factor of k?
True
Let t = 1692 + -239. Suppose 0 = -5*h - 123 + t. Let w = h - 114. Does 39 divide w?
False
Let y = -4679 + 16718. Is 37 a factor of y?
False
Suppose 77*h = j + 73*h - 20686, 5*j - 103580 = -5*h. Does 218 divide j?
True
Is 38 a factor of 25/((-100)/(-61796)) + 7?
False
Suppose -3*k = 2*k + 455. Let m = k + 104. Let y = 66 - m. Is 10 a factor of y?
False
Suppose -5*l = -6*l + 2. Suppose -7*t = l*t - 2088. Is 6 a factor of t?
False
Does 7 divide 3658/2 + (-16)/(-26)*(-416)/(-64)?
False
Let t(y) = y + 12. Let n be t(-8). Suppose -4*a = 2*k + 3*k - 7, -8 = -4*a - n*k. Suppose 0 = 5*h - h + a*r - 219, -5*h = r - 282. Does 8 divide h?
False
Suppose -c - w = -5*w - 18, -5*c + 6 = w. Suppose -3*u + 9 = -2*t, 4*t - c*t + 4*u = -16. Is 1*t/15*(2 + -247) a multiple of 26?
False
Let r = 92 + -15. Suppose 4*m + r - 409 = 0. Is 13 a factor of m?
False
Suppose -3*j + 4*m = -0*j - 8, -2*m - 4 = -4*j. Suppose 4*n + 3*y + 9 - 3 = j, 2*n - 3*y - 6 = 0. Suppose n = -5*h + 463 - 133. Does 17 divide h?
False
Let l = 216 + 161. Let j = l - 17. Is j a multiple of 8?
True
Let u(x) = -x**3 - 18*x**2 - 3*x - 49. Let j be u(-18). Suppose -2*d + 50 = -3*q + j*q, d + 5*q - 21 = 0. Does 3 divide d?
False
Let p = 372 + -367. Suppose 2*v - 1276 = -3*t - 232, 0 = -p*v + 4*t + 2656. Is 48 a factor of v?
True
Let v(k) = k**3 - 2*k**2 - 14*k + 11. Let d be v(5). Suppose 3*u + 2*u + 4*p - 541 = 0, 4*p = d. Does 15 divide u?
True
Suppose -3*w - 5*v + 69656 = 0, -83*w + 46429 = -81*w + 5*v. Is w a multiple of 177?
False
Let t = -2 - -9. Suppose 0 = t*g - 32*g + 4075. Does 13 divide g?
False
Suppose -2*i - 64 = z - 374, -2*i + 320 = -4*z. Let s = 396 - i. Let w = s - 168. Is w a multiple of 12?
True
Let j = 103 + -81. Suppose j*q - 3647 = 7969. Is 34 a factor of q?
False
Let z(w) = 9*w**3 + 21*w**2 - 50*w - 370. Does 118 divide z(13)?
True
Let n be (1/(-1) - -5)*(-1)/(-2). Let p be n/((-6 + 2)/8). Does 9 divide (-1 + p/(-16))*-60?
True
Let r be 2177/28 + (-2)/(-8). Let o = 83 - r. Suppose 2*b - 198 = -4*q, -241 = -o*q + 7*b - 3*b. Is 6 a factor of q?
False
Suppose o - 1 = 40. Let b = o - -57. Suppose -2*p = -3*v - 3*p + b, -5*v - 5*p + 150 = 0. Is 18 a factor of v?
False
Suppose -n = 17*n - 1566. Suppose -3*h + 3*l + 3 = 0, 10*l - 13 = -4*h + 5*l. Suppose 3*t - n = h*c, -4*t = -5*c - 17 - 106. Is t a multiple of 9?
True
Does 14 divide (9/(315/(-196)))/((-4)/4150)?
True
Let i = 8419 - 6511. Does 12 divide i?
True
Let m = 6977 + -6956. Is 21 a factor of m?
True
Suppose -2*q + 4*s - 3 = -7, -2*q - 3*s + 11 = 0. Suppose -q*d + 9*d - 660 = 0. Does 25 divide d?
False
Suppose 391*p = 393*p, -5*j = p - 18225. Is 45 a factor of j?
True
Let f(s) = 363*s + 349. Does 15 divide f(14)?
False
Suppose 3*c - 5 = 4*t - 0, -4*t + 44 = 4*c. Let k = 6 - c. Does 28 divide (0/(-4) + -1)*k*99?
False
Suppose 5*i + 24 + 16 = 0. Let j be (2/i)/((-16)/(-64)). Let f = j + 25. Does 24 divide f?
True
Suppose -3*v - 195546 = 108*p - 112*p, 8*p - 391112 = -4*v. Does 18 divide p?
True
Suppose -3*z = -0*x - 5*x - 59, -4*z = -5*x - 72. Suppose -5 + 1 = 2*s. Is 3 a factor of z + (-3 - s) + -3?
True
Let j(q) = -13*q + 22. Let x be j(5). Let v = x - -148. Does 15 divide (-3 + v/10)*(1 - -5)?
True
Let n be (8/(-8 + 4))/(3/108). Let u = n - -186. Is u a multiple of 6?
True
Let a(t) = 2*t**3 - 2*t**2 - 3. Let o be a(2). Suppose 30 = o*w + 5*l, -l + 5 = 2*w - 8. Suppose w*y - 165 = 710. Is y a multiple of 20?
False
Let x(m) = 13*m - 39. Let j(v) = 8*v + 17. Let k be j(0). Is 13 a factor of x(k)?
True
Let h = -41 - -46. Suppose 1315 = 5*f + 5*u, -h*u + 3*u = -4*f + 1028. Does 37 divide f?
True
Let g = 22 + -19. Suppose 0 = t - 2*t + g*b + 3, -5*b + 15 = 5*t. Suppose v + o = 6*o + 40, 5*v + t*o - 256 = 0. Is 25 a factor of v?
True
Suppose 0 = 5*z + 3*l - 130116, -58*l = -4*z - 57*l + 104120. Does 54 divide z?
True
Suppose 9 = 4*j - 7. Suppose 16 = j*a, c - 72 = 2*a - 6*a. Does 7 divide c?
True
Let r = 565 + -413. Let h = 136 + r. Does 18 divide h?
True
Let y = -2516 - -1480. Let u = -662 - y. Does 34 divide u?
True
Let s(j) = -3*j + 25. Suppose 5 = 4*c - 7. Suppose -2*q = -c + 17. Is 10 a factor of s(q)?
False
Suppose -f = 3*u - 574, 2*u - 2320 = -4*f - 2*u. Is 9 a factor of f?
False
Does 67 divide (17/((-238)/20671))/(1/(-10))?
False
Let c be (-3)/(-3)*(-19 - -22). Suppose 7*u = c*u - v + 526, -388 = -3*u - 4*v. Is 4 a factor of u?
True
Suppose 0 = 15*p - 11*p - 20. Is (408 + 7)/(p + -4) a multiple of 19?
False
Let o = 364 + -364. Suppose -3*m - 4*s + 828 + 325 = o, -3*m + 1117 = -5*s. Is 12 a factor of m?
False
Suppose -41*z + 4*z + 27861 = 0. Does 3 divide z?
True
Suppose f - 577 = -145. Let y = 799 - f. Does 13 divide y?
False
Suppose 4*f + 61867 = 4*n - 12897, 2*n + 3*f = 37367. Is 17 a factor of n?
False
Let a(h) = -95*h + 3. Let n be a(-1). Suppose 14 + n = -2*f. Is (f/(-24) + 2 + -4)*129 a multiple of 4?
False
Let z = 26 - 19. Let y(k) be the second derivative of 3*k**3 - 29*k**2/2 + 2*k. Is y(z) a multiple of 20?
False
Suppose -964 + 121 = 3*l. Let o = l - -517. Does 16 divide o?
False
Let v(q) = 3*q**2 - 19*q + 6. Let w be v(6). Suppose -4*c + 436 = -a, c - 2*c + 5*a + 128 = w. Is c a multiple of 9?
True
Let q = -71 + 75. Suppose -75 = 3*j + 3*v, 64 = -q*j - 5*v - 40. Is (j/12)/((-2)/16) a multiple of 6?
False
Suppose -12*q + 27*q = -14190. Let k = q - -1324. Does 21 divide k?
True
Let n be (-283 + 1)*93/(-6). Suppose n = 8*a - 2109. Does 30 divide a?
True
Let v(b) = 6*b + 12. Let i(q) = 6*q + 11. Let g(l) = 7*i(l) - 6*v(l). Suppose 0 = 13*f - 321 + 74. Is g(f) a multiple of 17?
True
Suppose -3*c = 65*g - 64*g - 1166, -3*c + 5*g = -1154. Does 10 divide c?
False
Suppose 4*b = -z - 13, 5*b - 13 = 2*z - 52. Suppose 5*o = 2*a - z*a + 5, o - 19 = 5*a. Suppose -4*t + 5*u = -364, u - o*u = 3*t - 300. Is 32 a factor of t?
True
Let s be 1 - (2 - (1 + 1)). Let v = 120 + -105. Is 21 a factor of 28/(0 - (s - v/9))?
True
Let y be (-110)/(-22) - (-1 - 606). Suppose -4*a + 313 = -5*w + 6*w, -y = -2*w - a. Is 14 a factor of w?
False
Let v = 1225 - 991. Is v a multiple of 18?
True
Suppose 0 = 5*n - 733 - 6967. Is n a multiple of 14?
True
Let r(i) = -i**3 - 20*i**2 - i - 15. Let y be r(-20). Suppose -4*t = -5*c + 688, y*t - t = c - 144. Is 3 a factor of (-8)/32*c/(-2)?
False
Let s be -2 - (-7 - (5 + -5)). Suppose s*l - 6*v - 343 = -7*v, 2*v - 203 = -3*l. Is l even?
False
Let n(a) = 8*a**3 - 2*a**2 + 12*a + 0*a**2 + 14 + 7*a**3 - 13*a**3. Is n(5) a multiple of 6?
False
Let f = 13201 - 6133. Does 36 divide f?
False
Suppose -120 = 5*q - 4*s, 4*q + 96 = -0*q - 3*s. Let u(p) = -p**2 - 26*p - 53. Let c be u(q). Does 24 divide 313 + -1 + 0/(c + -2)?
True
Suppose -1320 = -2*l + 938. Let u = -238 + l. Suppose -4*t - 151 = -u. Does 38 divide t?
False
Let z = 46 + -40. Suppose 21 = -z*t + 7*t. Is 3 a factor 