et o = 1352 + -827. Does 15 divide o?
True
Suppose 0 = -2*r - o - 2*o, -3*r = 2*o. Suppose -3*v - 415 = -5*s - 6*v, r = 3*v - 15. Does 8 divide s?
True
Suppose -5*x + 3*i + 4 = 171, 2*x + 3*i = -71. Let c = x - -62. Does 14 divide c?
True
Let m be (-231)/(-6)*4/7. Let o = -13 + m. Suppose 3*h - o = 0, h - 3*h = -5*l + 139. Does 5 divide l?
False
Let s be 3/6*1*-2. Let z be (-2 + 1)*s*2. Suppose 2*k = 4*w - 94, -2*w = -z*k - 0*k - 50. Does 8 divide w?
False
Let o(x) = x**3 + 5*x**2 - 5*x + 4. Let v(s) = s - 11. Let b be v(6). Let a be o(b). Let r = -20 + a. Is r a multiple of 4?
False
Let m be 390*(78/(-18) + 5). Let o = m - 85. Does 10 divide o?
False
Suppose 0 = -11*n + 2506 + 3038. Is 12 a factor of n?
True
Let d = -11 + 13. Suppose -4*r = q - 13, -4*q + r = -d - 16. Is q even?
False
Suppose 2*r = -0*r + 3*k + 32, -k - 84 = -4*r. Let x = r - 0. Is x a multiple of 18?
False
Let r = -1497 - -3355. Is r a multiple of 23?
False
Let y(o) = o**3 - 10*o**2. Let w be y(10). Suppose 2*i - 15 = -z - 2*z, i + 2*z - 5 = w. Is 3 a factor of i?
True
Let c = 1293 - 521. Does 62 divide c?
False
Suppose 457*r - 2849 = 450*r. Is 13 a factor of r?
False
Let y = -732 - -1480. Is y a multiple of 17?
True
Let m(d) = d + 11. Let p(z) = -z**3 - 3*z**2 + 10*z + 3. Let q be p(-5). Does 6 divide m(q)?
False
Suppose -5*x + 17133 + 5311 = 4*s, -x - 5*s = -4493. Does 51 divide x?
True
Let m(j) = -72*j + 3. Let o be m(-1). Suppose s - t - 3*t = 74, s = 3*t + o. Does 13 divide s?
True
Is 28 a factor of (-600)/(-1100) - (0 + 2623/(-11))?
False
Let v(f) = f**2 - f - 17. Let z be v(-4). Suppose 3*y + 564 = z*h, h - 54 = 3*y + 142. Does 23 divide h?
True
Let z(v) = -4*v**3 + v**2 + v - 3. Suppose -2*y - 3*s - 7 = 0, 5*y - s - 4 = -13. Does 13 divide z(y)?
False
Let o(c) = 3*c - 31. Let x be o(10). Is 23 a factor of ((-99)/165)/(1*x/115)?
True
Let r be (-134)/(-7) + ((-2)/(-14))/(-1). Let i(p) = 7*p + 5. Is 21 a factor of i(r)?
False
Let x = -148 + 152. Suppose 2*z = x*c - 284, -5*c + 353 = 3*z - 6*z. Does 10 divide c?
False
Let q be (-418)/(-99) + 4/(-18). Suppose -q*o - 54 = -7*o. Does 18 divide o?
True
Let r = 1514 - 1007. Is 13 a factor of r?
True
Suppose 5*b + i = 3, 2*b - 3*b + 12 = 4*i. Suppose b = -p - 16 + 38. Does 3 divide p?
False
Let n = 321 + -114. Let h = n - 40. Does 29 divide h?
False
Suppose -2*m + 188 + 0 = 0. Let w = m + -16. Does 12 divide w?
False
Suppose 0 = 3*t - 0*t - 39. Is t a multiple of 13?
True
Let t be 18/30 + (-4117)/(-5). Suppose -t = -5*m + 511. Let f = -187 + m. Is 20 a factor of f?
True
Suppose -2 = 4*r + 78. Let j = 28 + 29. Let g = r + j. Does 8 divide g?
False
Is 3 a factor of (99/12)/((-1)/(-12))?
True
Let o = 71 - 69. Let p(n) = -n + 5. Let r be p(0). Suppose r*u = o*u + 18. Is u a multiple of 3?
True
Suppose -1140 = -q - 2*n, -5*q + 505 = 2*n - 5195. Is q a multiple of 46?
False
Suppose 6 = 3*v - 9. Suppose -v*n + 11 + 9 = 0. Let h(s) = -s**3 + 4*s**2 + 4*s. Does 8 divide h(n)?
True
Suppose -2*x = -5*m - 13, 3*m - x = -11 + 4. Is 30*m/(-5)*5 a multiple of 15?
True
Suppose -k - 789 = 3*k + 5*u, -4*k = 3*u + 787. Let v = k - -448. Is 12 a factor of v?
True
Is (-4 + 4 - (2 + 0)) + 170 a multiple of 56?
True
Let k be -4 + (12/(-2))/(24/(-16)). Suppose 2 = 4*z - 3*z. Suppose k = z*j + j - u - 309, -2*u = -6. Does 27 divide j?
False
Let g(k) = -5*k - 25. Let s(m) = -m + 7. Let t be s(0). Let j(h) = 9*h + 49. Let r(b) = t*g(b) + 4*j(b). Does 11 divide r(-10)?
True
Suppose -2*j + g = -643 + 153, 3*j = -5*g + 761. Does 13 divide j?
True
Suppose 3*c - 3 = 0, -37 = -2*m - c + 20. Is 4 a factor of m?
True
Let c = 1309 + -481. Is c a multiple of 12?
True
Let o(b) = b - 3. Let z be o(6). Suppose -2*t + 40 = 4*r - 6*t, 50 = 5*r + z*t. Is 5 a factor of r?
True
Let k = -217 + 424. Is -2*(k/(-6) - (-5 + 1)) a multiple of 61?
True
Suppose 0 = 5*n + 3*l + 15, -2*n - 3*n + 4*l + 20 = 0. Suppose 2*f - 5*u - 314 = n, -2*f - u + 330 = 2*u. Does 40 divide f?
False
Let p = -583 + 887. Is 16 a factor of p?
True
Let v(f) = -f**2 + 5*f. Let q be v(6). Let g = q + 18. Is -3*(-16)/g - -1 a multiple of 2?
False
Let u(l) = -2*l**2 + 4*l + 1152. Let t be u(0). Suppose -90*k + t = -86*k. Is 48 a factor of k?
True
Let x(k) = 44*k**2 + 69*k - 471. Does 13 divide x(8)?
False
Let g be (-28)/(-6) - (14/(-6) + 2). Let c be 20/(0 - (1 + -2)). Does 6 divide c + 1/(g/20)?
True
Suppose 40 = -9*i + 2740. Does 50 divide i?
True
Let s(b) = 11*b - 15. Let a be s(13). Suppose -c + a = -4*r, -c + 41 = -r - 3*c. Let z = 61 + r. Is z a multiple of 7?
True
Let x = 61 + -92. Let l = -11 - x. Does 4 divide l?
True
Suppose -12*z + 6*z + 1830 = 0. Does 29 divide z?
False
Is (16/30)/4 - 3118/(-15) a multiple of 8?
True
Let d be (-4)/34 - 1331/(-187). Suppose 466 = d*n + 25. Does 3 divide n?
True
Let k(t) = t + 1. Let n(p) = -9*p + 2. Let c(j) = -5*k(j) - n(j). Is 5 a factor of c(3)?
True
Suppose 101*v - 352 = 93*v. Is 7 a factor of v?
False
Let h(f) = -37*f + 581. Is h(-37) a multiple of 26?
True
Does 38 divide 0*6/30 - 596*-1?
False
Let x be 11/(-3) - (-1)/(-3). Suppose 5*r + 2*d = -1 - 20, 2*r + 2*d = -12. Is 21 a factor of (r - -2) + 74 - x?
False
Let l be (35/1)/(7/(-7)). Let y = -16 - l. Is 3 a factor of y?
False
Let v = -26 + 28. Suppose 5*z - 322 = -3*n + 284, -2*z + v*n = -236. Suppose -360 = -3*t - z. Does 20 divide t?
True
Suppose -2*q = -4*d + 786, 0*d - 594 = -3*d + 3*q. Is d a multiple of 5?
True
Let j = 1293 - 699. Is 54 a factor of j?
True
Suppose -3*y - 265 + 2620 = 0. Does 49 divide y?
False
Let d(o) = 3*o**3 + 2 - 6*o**3 + o**3 + 2*o - 10*o**2 + 9*o**2. Is d(-2) a multiple of 10?
True
Let p be (-584)/(-32) - (-2)/(-8). Is 333/p - (-2)/4 a multiple of 17?
False
Suppose -7*k - k = -3224. Does 12 divide k?
False
Let x(f) = -f**2 - 3*f. Let q be x(-3). Suppose -5*d = -4*a - 10*d + 769, -a + 5*d + 211 = q. Is 14 a factor of a?
True
Let s = -2 + 5. Suppose -4*j + m + 227 = 0, -m - s*m - 38 = -j. Suppose 5*l = -2*k + j, k = -0*l - 4*l + 44. Does 5 divide l?
True
Let h(y) be the third derivative of 1/12*y**4 + 0*y + 0 - y**2 + 2*y**3. Is h(4) a multiple of 5?
True
Suppose -2*g + 438 = -0*g. Let n be g/15 - 2/(-5). Let a = 28 - n. Does 6 divide a?
False
Let r(q) = 5 - 29*q - 14 + 0. Let v be r(-6). Suppose -v = -4*y - y. Does 11 divide y?
True
Is 65 - ((-1)/1 + -1) a multiple of 5?
False
Suppose -291 = -7*j + 52. Does 13 divide j - (2 + -3 - (4 + -2))?
True
Suppose 27 = 5*t - y, 6 + 11 = 3*t - y. Suppose -7*n + 10*n - t*x = 635, -3*n - 4*x + 626 = 0. Does 21 divide n?
True
Suppose -24 = -3*i - 9. Suppose -3*l + 12 + 18 = i*t, 25 = 2*l + 5*t. Suppose 5*y - 9 - 7 = s, 0 = -l*s + 5*y. Is 3 a factor of s?
False
Let c = -104 + 106. Suppose -10*x + 2592 = c*x. Is x a multiple of 12?
True
Suppose 5*i = -v - 23, -23 = -4*v + 2*i + i. Suppose -v*y = -5*y. Is 4 + 5 + (-1 - y) a multiple of 5?
False
Suppose 0 = 3*q - 5*u - 5477, -q - 3*u + 2690 = 869. Is q a multiple of 32?
True
Suppose 3*j = 5*j - 28. Let m(v) = 8*v - 1. Let n(t) = 40*t - 4. Let k(c) = j*m(c) - 3*n(c). Is 15 a factor of k(-4)?
True
Let g be (20/(-3))/((-2)/42). Is 34 a factor of g/8*10*1?
False
Let b = -41 + 26. Let c = -8 - b. Does 2 divide c?
False
Let r = 1 - 1. Suppose -5*u + 2*u = m - 19, r = 4*m - 5*u - 8. Suppose -11*l = -m*l - 116. Does 8 divide l?
False
Let v = 364 - 264. Is 25 a factor of v?
True
Suppose 3*f + 49 + 332 = 0. Let y(h) = h**3 + h - 193. Let n be y(0). Let k = f - n. Is k a multiple of 22?
True
Let s be ((-114)/9)/(2/6). Let y be (-9)/(-27) + s/(-3). Suppose -y = -4*l + 43. Does 7 divide l?
True
Let z(v) = v**2 + 19. Is 5 a factor of z(6)?
True
Suppose 6*j - 844 = 2684. Is 21 a factor of j?
True
Suppose 3*o - 30 = 3*m + 48, 2*m + 75 = 3*o. Suppose -7*u + 8*u = o. Is 13 a factor of u?
False
Let c = 1575 - -190. Does 77 divide c?
False
Suppose 2*f - f = 0. Suppose f*p = z - p, 0 = z - 4*p. Suppose -5*r + 10*r - 368 = 4*i, -4*r + 5*i + 289 = z. Is r a multiple of 19?
True
Suppose -77088 + 192973 = 49*n. Is 11 a factor of n?
True
Let q(m) = 190*m**2 + 20*m - 94. Is 30 a factor of q(5)?
False
Let m = 42 - 30. Let p be 44*4/(m/3). Suppose p = 3*i - 31. Does 10 divide i?
False
Suppose -3*n = 2*u - 80, 5*n - 76 = -2*u - 0. Let s = u - 23. Suppose -l + 6*l = s. Is 4 a factor of l?
True
Let s(p) = 19*p**2 - 105*