s r a multiple of 125?
False
Let x(l) = 54*l**2 - 795*l + 4787. Is 37 a factor of x(6)?
True
Let b(l) = -9*l + 224. Let o(g) = -10*g + 223. Let d(n) = 7*b(n) - 6*o(n). Suppose 83*j - 155*j = -82*j. Is d(j) a multiple of 35?
False
Let g = -8447 - -15431. Is g a multiple of 215?
False
Let g be (-2 - (-786)/(-18))*-57. Suppose -5*i - 4*l + 2594 = -2*l, 5*i = l + g. Does 10 divide i?
True
Let x(d) = 6*d + 49. Let f be x(7). Let t = f - 73. Is t even?
True
Is 60 a factor of ((-19 + 1907)/(-16))/(2/(-958))?
False
Suppose -5*v = -3*d + v + 3282, 3*v + 1090 = d. Is 29 a factor of d?
True
Suppose n - 2*v - 39893 = 0, 2*n - 79790 = 8*v - 6*v. Does 39 divide n?
True
Let t be 119/2 + 3/(-6). Let a = -34 + t. Is 7 a factor of a?
False
Let v = 126 - 122. Suppose -3*g = x - 883, -v*g - x + 5*x = -1172. Does 14 divide g?
True
Let n(j) = j**2 + 3*j - 10. Let p be n(3). Suppose -p*a + 1116 = -4*a. Let w = a - 159. Is 30 a factor of w?
True
Let l(t) = t**3 - 22*t**2 - 75*t + 448. Is l(29) a multiple of 10?
True
Let w(n) = 52*n**2 - 2*n - 2. Let d be w(-1). Let j = d + -51. Does 5 divide (-5)/(-20)*268 + 4*j?
False
Let w(k) = k**2 - 10*k + 11. Let q be w(9). Let h(c) = 19*c + 5 + c**2 + 2 - q - 4*c. Does 9 divide h(-19)?
True
Let r(q) = -q**2 + q + 28. Let x be r(0). Let g(y) = 16*y - 224. Let z be g(17). Let n = z - x. Is 2 a factor of n?
True
Let w = 10602 - 7274. Is w a multiple of 32?
True
Suppose 0 = 10*x - 59 + 19. Is 75 a factor of 100*(x + -4 + (-1 - -7))?
True
Let b(q) = -23*q + 185. Let j be b(8). Is 47 a factor of (383 + -2 - 5 - 1) + j?
True
Let u(o) = -140*o**3 + 2*o**2 + o. Let y be u(-1). Suppose -5*t + 35 = -5*h, -9*h + 13 = t - 12*h. Suppose 3*a - t*v = y, 4*v - 32 = -a - 1. Does 41 divide a?
False
Let c be (9/((-27)/(-906)))/2. Let q = 196 - c. Is 9 a factor of q?
True
Suppose -4*k + 26 = -2*z, 5*k - 2*z = 10*k - 55. Suppose -k*q - 1804 = -31*q. Is q a multiple of 15?
False
Suppose 0*y - c = -5*y - 119, -5*y - 2*c - 122 = 0. Let b(g) = 2*g**2 - 9*g + 1. Let s be b(9). Let v = y + s. Does 10 divide v?
False
Let l = 77 + -73. Let a(f) = 17*f + 6. Let d be a(l). Let j = d - 7. Is j a multiple of 14?
False
Let t be (3 + -1 + 0)/(26/39). Suppose 5*z - 39 = -p, -t*p + 3*z = -p - 104. Is 3 a factor of p?
False
Let n be (206 + -3)/7*5. Suppose w = -2*t + n + 197, -1412 = -4*w + 3*t. Is 20 a factor of w?
False
Let z(s) = 8*s**2 - 87*s - 17. Is z(-18) a multiple of 6?
False
Let j(k) = 8*k**2 - 4*k + 6. Let s be j(5). Let r = 21227 + -21360. Let i = r + s. Is 13 a factor of i?
False
Let i = -143 + 107. Let q(a) = -4*a - 25. Does 7 divide q(i)?
True
Suppose 0 = 5*z - o - 50233, 0 = -5*z - 3*o + 13808 + 36393. Is 23 a factor of z?
False
Let t(o) = -85*o + 41. Suppose 40 = 9*g + 121. Is t(g) a multiple of 31?
True
Suppose 4*u + 234 + 6 = 0. Let q = u - -112. Suppose 5*p - 3 = q. Is p even?
False
Let f(v) = -v**2 - 2*v + 26. Let w be f(-6). Suppose 359 = 3*q - i, -2*i - 243 = -w*q - 5*i. Is 4 a factor of q?
True
Let u be (3*(-15)/4)/((-32)/1152). Suppose -2*q + u = 3*m, -197 = -q + 5*m - m. Is q a multiple of 64?
False
Suppose 5*o = -d + 120365, 4*o = -2*d + 28721 + 67577. Is 59 a factor of o?
True
Let h be 1*(-1 - 1) - -5. Suppose m + 16 = -5*v + h*v, -4*v - 20 = 0. Let a = m - -41. Is a a multiple of 6?
False
Suppose g - 9 = 23. Let u = g + 4. Is 2 a factor of u?
True
Suppose -q - 20 = -m + 3*q, -20 = 3*m + 4*q. Suppose m = -d - 4*v + 2, -d + 26 = -5*v - 3. Suppose 7*z - 53 = 3*z - p, -2*z + 2*p = -d. Is 11 a factor of z?
False
Suppose -2*l = 4*d - 118410, -d + 13976 = -5*l - 15621. Is 19 a factor of d?
True
Let n be -6 + 5 + 10/2. Suppose 4*x - n = 6*x. Is 2 a factor of (x/6)/(2/(-42)) + -1?
True
Let a = 29 - 27. Let w be (-1)/a - 116/(-8). Suppose -i + w = i. Is i a multiple of 3?
False
Let d(n) = -n - 123. Let y(l) = -3*l - 124. Let s(p) = -6*d(p) + 5*y(p). Does 63 divide s(0)?
False
Let i(l) = -9*l**3 - 34*l**2 - 3*l + 22. Is i(-11) a multiple of 45?
True
Let d(i) be the first derivative of -53*i**2/2 + 14*i + 30. Let r be d(-2). Suppose 27*s - 29*s + r = 0. Is 5 a factor of s?
True
Suppose 3*t = p + 45, 0 = -4*p - 1 + 13. Let y be 24/t*8/6. Suppose 4*l + 4*k = 320, 3*l + 332 = 7*l - y*k. Is 11 a factor of l?
False
Is (1*(-4)/6)/((-362)/2339244) a multiple of 57?
False
Let r be -2 - ((-63)/3 - -4). Suppose -340*j - r = -345*j. Suppose j - 7 = 2*m, -3*m = 4*l - 394. Is l a multiple of 5?
True
Let i(v) = 110 - 141*v**2 + 395*v**2 + 2*v - 110. Let m be i(-1). Suppose -3*c + c = -m. Does 11 divide c?
False
Let s(o) = -o**3 + 9*o**2 - 11*o + 24. Let f be s(8). Suppose f = -4*t + 3*b + 284, b = 4*t - 4*b - 292. Let x = t - 60. Is x even?
True
Is (-90160)/(-6) + 990/(-270) a multiple of 83?
True
Let t(m) = -22*m - 14. Let c be t(-22). Suppose f + f - c = 0. Is 25 a factor of f?
False
Let c = 3937 - 1323. Is 40 a factor of c?
False
Suppose 8361 = 3*m + 5*d, -30*m + 3*d - 11148 = -34*m. Is 10 a factor of m?
False
Let g = -13704 - -16848. Is g a multiple of 4?
True
Let h be 424/2 + (-1 - 6 - -5). Let x = 13 - 7. Suppose 3*p + x = h. Is p a multiple of 4?
True
Let n(y) = 4*y**2 + 23*y + 38. Does 28 divide n(40)?
False
Suppose 4*r = 3*r + 240. Suppose 0*z - 21 = -3*b - 3*z, 3*b - 2*z + 4 = 0. Suppose -5*l - 2*u = -r, -l - 3*u + 48 = b*u. Is 5 a factor of l?
False
Let q(k) = 4*k**2 + 5*k + 3. Let n be q(-3). Let x = n + 102. Suppose -6*f - x = -13*f. Is f even?
True
Suppose 5*n = 3*k - 2*k + 82677, 3*n = -4*k + 49620. Is n a multiple of 104?
True
Suppose 0 = 19*b + 73187 - 352677. Is b a multiple of 18?
False
Let p = 1674 + 30237. Is 33 a factor of p?
True
Suppose -6*k + 11*k = 820. Suppose 12 = 4*o, m + 5*o - k = o. Does 19 divide m?
True
Let h(v) = -v**2 - 11*v + 25. Let l be h(-11). Suppose 5*z - l - 8 = -d, 0 = 2*d + 4*z - 66. Suppose d = 5*k - 37. Is 2 a factor of k?
True
Is (-309)/(-2)*(-208)/(-24) - 9 a multiple of 5?
True
Suppose -48776 = 18*u + 47*u - 255346. Is 40 a factor of u?
False
Suppose -20806 + 12270 = 22*k - 505230. Is k a multiple of 211?
True
Suppose -3*p + 97 - 22 = -3*b, 2*p + 4*b - 32 = 0. Is 8004/p - 84/(-462) a multiple of 18?
False
Let f = -9106 + 14626. Is 60 a factor of f?
True
Let v(m) = -m**2 - 11*m - 9. Let p be v(-8). Suppose 5*c = p, 5*s + 0*c - 1 = 3*c. Suppose -2*x - 95 = -k, 5*k - 355 = s*x + 128. Is k a multiple of 12?
False
Suppose g - 4*i + 82 = 0, 2*g = 6*g - 5*i + 284. Suppose -6*p - 108 = -10*p. Let d = p - g. Is d a multiple of 17?
False
Let c = 9145 + -6003. Is c a multiple of 25?
False
Suppose -o + 2324 = 3*o. Let s(i) = -i**2 - 18*i + 119. Let t be s(-23). Suppose 675 = 5*l - t*u, -6*l - 5*u = -2*l - o. Is 43 a factor of l?
False
Let r be ((-48)/56)/((8/70)/(-4)). Let x be 2 + (14/(-4) - r/(-20)). Suppose -5*m + 350 = -x*m. Is m a multiple of 7?
True
Let o = 38521 - 25921. Does 63 divide o?
True
Suppose 6 = 59*k - 57*k. Suppose -965 = 4*i - 3*a, i + k*a = -2*i - 729. Let c = 342 + i. Does 15 divide c?
False
Suppose -48*y + 10813 + 38460 = -115463. Is y a multiple of 26?
True
Let p be 3*(-381)/54*-6. Suppose -124 = h - p. Suppose h*g = -3*w + 339, -2*g - 7*w + 222 = -4*w. Does 26 divide g?
False
Let f(g) be the first derivative of 21*g + 11/2*g**2 + 8. Is 8 a factor of f(9)?
True
Suppose 2*t - 5*b + 287 = 895, 4*b = 16. Suppose 2*u - 60 = -4*u. Is t/10 + (-4 - (-36)/u) a multiple of 4?
False
Suppose 4*g + 327*b = 330*b + 15263, g - 3813 = -2*b. Is g a multiple of 6?
False
Let h be 20 + 0/3 + -5. Suppose -3690 = -h*n - 0*n. Is n a multiple of 41?
True
Let u = 248 - 377. Let n = u - -249. Is n a multiple of 6?
True
Let w(j) be the first derivative of -j**4/4 + 2*j**3 - j**2 + j - 1. Let u = 509 - 504. Does 4 divide w(u)?
True
Suppose 0 = 10*k - 31161 - 45785 - 37244. Is 7 a factor of k?
False
Let s(u) = -170*u**3 - 31*u**2 - 115*u - 19. Does 136 divide s(-4)?
False
Let z = -279 + 270. Let p = z + 200. Does 12 divide p?
False
Let f = -230 + 8. Let b = 1972 + f. Is 14 a factor of b?
True
Let b(t) be the third derivative of -31*t**4/12 - 5*t**3/6 + 144*t**2. Does 12 divide b(-8)?
False
Suppose -29*d - 40 + 11 = 0. Is 61 a factor of 1 + d + (-1 - -1038)?
True
Let o(v) = 47*v**2 - 12*v + 5. Let l be o(-5). Suppose -3*m + 5*f - 305 = -l, 5*f - 285 = -m. Suppose 4*i - m = 295. Is 14 a factor of i?
False
Suppose 5*j - 14*j = 75