tiple of 113?
False
Let s(t) = 8*t**3 + 2*t - 6. Is s(3) a multiple of 4?
True
Let w = 18050 - 5801. Does 19 divide w?
False
Suppose -3*i + 4*r = -5492, -24*i + 9105 = -19*i + 3*r. Suppose -15*m + i = 4*m. Does 24 divide m?
True
Suppose 2*x + 1400 + 967 = -3*l, -5880 = 5*x - 5*l. Let k = -568 - x. Is k a multiple of 47?
True
Let h = 1154 + -570. Let w = 928 - h. Let f = w - 186. Is f a multiple of 11?
False
Let t = -78 - -45. Let m = t + 35. Suppose 4*q - 337 = -a, 3*q + a = m*a + 251. Is q a multiple of 27?
False
Let a(h) = h**2 + h + 2. Let w be a(-1). Let m(g) = -6 + w*g + 16 + 18. Is 7 a factor of m(0)?
True
Let m = 37 + -26. Let r be ((-209)/2)/m - (-1)/(-2). Let t(n) = -n**3 - 11*n**2 - 13*n - 4. Does 11 divide t(r)?
False
Let x(n) = 718*n**2 - 20*n + 37. Let z be x(2). Suppose -l = -2*l + 2, -3*p + 4*l + z = 0. Does 66 divide p?
False
Suppose 0 = 47*j - 45*j - 8. Suppose 5*t - 2967 = 3*p, 8*p = 4*p + j. Is 23 a factor of t?
False
Suppose -143*d + 104*d + 1728371 = 68*d. Is d a multiple of 29?
True
Let s = 1539 - 1395. Is 36 a factor of s?
True
Let n(c) = c**3 + 7*c**2 - 2*c - 13. Let o be n(-8). Let x = -57 - o. Is 2/8 + 575/x a multiple of 48?
True
Suppose 2*t - 3895 = 3*x, -2*t + 95 + 3760 = 5*x. Is 20 a factor of t?
True
Suppose 0 = 2*n - 3*k - 19880, 61*k - 49715 = -5*n + 66*k. Does 12 divide n?
False
Let x(l) = -2*l + 2. Let f be x(-1). Suppose 0 = a - f*a. Is a + -4 + 6 + 16 a multiple of 5?
False
Let d(k) = 4*k**2 + 31*k + 10. Let c be d(-12). Suppose -2*t - 2*l + 5*l + 152 = 0, 0 = -3*t + l + c. Is t a multiple of 9?
False
Suppose -890 = -3*x - 230. Suppose 5*l - 21 = 4. Suppose l*c = 155 + x. Does 23 divide c?
False
Let v = 5699 + -3477. Is 24 a factor of v?
False
Let i = -245 - -249. Let b(a) = a**3 + 2*a**2 - 5*a - 4. Does 4 divide b(i)?
True
Let o(k) = 27*k**3 + 8*k**2 - 81*k + 85. Is o(10) a multiple of 18?
False
Let l be (-8)/36 + 3*(-4367)/(-27). Let v = -345 + l. Does 10 divide v?
True
Let n be -14 + -5255 - 18/6. Let f(w) = -2*w**3 + 3*w**2. Let k be f(2). Is k/(-22) + (-5)/(220/n) a multiple of 15?
True
Let k(r) = -r**3 + 25*r**2 - 25*r + 27. Let g be k(24). Suppose g*p = 7*q - 3*q + 284, -3*p + 2*q = -280. Is 7 a factor of p?
False
Let x(j) = -19 - 2*j + 9*j - j**3 + 8*j**2 + 18*j. Let l = -499 + 509. Does 8 divide x(l)?
False
Suppose 179*o - 212*o + 138600 = 0. Is o a multiple of 41?
False
Let n(x) = -12*x**3 - 9*x**2 + 24*x + 214. Is 130 a factor of n(-8)?
True
Suppose -5 = 4*f - 17. Suppose f = 4*i - 445. Does 15 divide (i - -1) + -1 + 4/(-2)?
False
Suppose 112*v + 279*v = 16077529. Is 33 a factor of v?
False
Let f be (12 + 0)*((-25)/4 + -1). Let g = 12 - f. Is g a multiple of 9?
True
Is -1 + 9 + 18*42795/81 a multiple of 18?
False
Let k = -14630 + 20804. Is 126 a factor of k?
True
Suppose -21 = -6*u + 3. Suppose w - 2 = -2*t + t, -2 = -u*t + 2*w. Is 14 a factor of (t - -58) + 1 - 4?
True
Let l(w) = -2*w. Let p(d) be the second derivative of -41*d**3/6 + 41*d**2/2 - 42*d. Let t(g) = 4*l(g) - p(g). Does 13 divide t(6)?
False
Let r(s) = -s**2 + 9*s. Let u be r(6). Let d = -292 - 476. Is 16 a factor of 9/(-6)*d/u?
True
Let q = 17209 + -7648. Is q a multiple of 9?
False
Suppose 5*k - 41580 = 3*i, 3*k + 7435 - 32383 = -i. Does 18 divide k?
True
Let x(w) = 2*w**3 + 24*w**2 + 3*w + 7. Let k be x(-7). Let c = -170 + k. Does 17 divide c?
True
Suppose -50612 - 94035 = -19*w - 47253. Is 22 a factor of w?
True
Suppose 0 = r - 0 - 6. Suppose o - r = -4*o - 2*g, 2*o - 9 = -3*g. Suppose o = -2*b - 2*b + l + 608, -4*b + 616 = l. Does 10 divide b?
False
Suppose 5*n - 20 = 0, 0*r - 70 = -r - 5*n. Suppose -244*d = -243*d - r. Is d a multiple of 10?
True
Suppose -5*r = -5*s - 30100, 24*r + 24092 = 28*r - 2*s. Does 100 divide r?
False
Let y(i) = 25*i + 1407. Is 7 a factor of y(42)?
True
Let j(c) = 30*c**2 - 5*c + 6. Let h be j(3). Suppose -5*t + 3*p + 1329 = 0, -12*t + 11*t = -3*p - h. Does 18 divide t?
False
Let c be (-4)/(-9) + 663/27. Let g = c - -297. Is 7 a factor of g?
True
Suppose 17*j = 83 - 49. Let r(d) = 31*d**2 - 11*d + 18. Is 5 a factor of r(j)?
True
Suppose 0 = -5*w - 2*j + 11, j + 3*j + 5 = -w. Suppose w*r + 9 = 5*h - 7, -r = 4*h - 23. Suppose -2 = -o - r*g + 3, -2*o = 4*g - 12. Is 4 a factor of o?
True
Suppose -5817483 = -114*c - 207*c. Does 57 divide c?
False
Let l be (-3)/(-15) - (-123)/(-15). Let w be (0 + 2)/(((-48)/99)/l). Is 1*w + 20/(-9 + 4) a multiple of 9?
False
Suppose 0 = 2*f, -3*n - 2419 = -4*f + 866. Is ((-70)/(-105))/((-2)/n) - 6 a multiple of 15?
False
Let u = 11757 + 17558. Is 11 a factor of u?
True
Suppose l - 54844 = -3*y, -2*l + 139525 = -y + 29886. Is l a multiple of 13?
False
Let m = 12056 - -2348. Is m a multiple of 13?
True
Let u = -17 + 22. Let y = u - 31. Is y/(-143) + (-592)/(-11) a multiple of 27?
True
Let h(c) = -31*c - 32. Let l be h(-15). Let x = l - 285. Is x a multiple of 4?
True
Let a be ((-18)/(-15))/(6/(-15)) + 23. Let m be a - (3 + (-9)/3)*1. Let u = m - -140. Is 10 a factor of u?
True
Suppose -101 - 33 = 2*i. Let g = i - -73. Suppose -17*k + g*k = -924. Is 14 a factor of k?
True
Let p(r) = -22*r - 5. Let x(a) = -a**2 - 13*a - 25. Let w be x(-11). Let l be p(w). Suppose -z = -l - 3. Does 43 divide z?
False
Let z be ((-90)/(-8))/(49/28 + -2). Is (-1 + 10)*(-110)/z a multiple of 22?
True
Let n be 26/(-65) - (-2908)/(-5). Let d = n - -985. Does 31 divide d?
True
Suppose -39*j - 217*j = -6694912. Is 56 a factor of j?
True
Suppose -a + 2616 = 8*q - 5*q, 0 = 3*q - 12. Does 6 divide a?
True
Suppose -5*a = 4*k - 4 - 18, -17 = -5*k - a. Suppose -z - 671 = -k*i, -102 = -4*i + 5*z + 811. Is i a multiple of 7?
False
Suppose 2*s - 1364*b = -1363*b + 5196, s - 5*b - 2580 = 0. Is s a multiple of 83?
False
Suppose 0 = 3*w - 12, -6 = -5*r + 5*w + 14. Suppose -r*h - 5*j = -12*h + 3715, h = 2*j + 931. Is h a multiple of 25?
True
Let n = -56 - -223. Suppose -164*b + n*b - 135 = 0. Does 6 divide b?
False
Suppose 156*h + 3*b = 152*h + 51574, 2*b - 12901 = -h. Does 11 divide h?
False
Suppose 2*z + q = 4158, -48*z + 10396 = -43*z + 2*q. Is 52 a factor of z?
True
Suppose 16 = 2*w + 2*z, -w + 4 = 3*w - 3*z. Let i be 560/12 + w/(-6) - 2. Let u = 180 - i. Is u a multiple of 26?
False
Let v(f) be the third derivative of -f**5/60 + f**4/24 + 3*f**3/2 - f**2. Let p(l) = -11*l - 132. Let r be p(-12). Is 9 a factor of v(r)?
True
Let i = -2 - -1. Is (628/8 + i)*(-2 + 4) a multiple of 31?
True
Let v(j) = -j + 1. Let y be v(-1). Let w(k) = 8*k - 2 + 11 + y*k. Is w(5) a multiple of 12?
False
Suppose -57*g = 3*k - 61*g - 15, 2*g = -4*k + 20. Suppose 5*x = -3*u + 567 - 200, 0 = k*x - 10. Is 17 a factor of u?
True
Is (-3743)/6*(23 + -31) - (-4)/3 a multiple of 128?
True
Let h(f) = 5*f**2 + f. Let m be h(-1). Let a(r) = -r**3 + 4*r**2 + r. Let c be a(m). Suppose -4*n + y + 279 = 31, c*n + 3*y = 264. Does 7 divide n?
True
Let l = -884 + 949. Suppose l*f - 56*f = 369. Is f a multiple of 10?
False
Let l be (570/(-20))/(-2 + (-50)/(-28)). Suppose -2*q = 2*q + i - 277, 5*i + l = 2*q. Does 4 divide q?
False
Suppose -13*w + 13607 + 12282 = -11707. Does 16 divide w?
False
Let p(j) = -27*j**3 - 2*j**2 - 4*j - 7. Suppose 118 = -2*w + 4*h, 0*h - h + 56 = -w. Let b = 51 + w. Is 38 a factor of p(b)?
False
Suppose g + 5*u = 4*g - 1124, -4*u - 370 = -g. Is 12 a factor of g?
False
Suppose 68*r - 64*r = 4*c + 29820, -3*c + 29813 = 4*r. Is 13 a factor of r?
False
Let z = 3292 - 3315. Let l = -67 + 139. Let r = z + l. Does 7 divide r?
True
Is ((-27)/36)/((-3)/5508) a multiple of 8?
False
Let l(b) = 2*b**3 - 10*b**2 - 23*b + 11. Let j be l(9). Let a = j + 30. Let r = -323 + a. Does 21 divide r?
False
Suppose -2*o + 20156 = -5*d + 7*d, -2*d = o - 10082. Does 25 divide o?
False
Let v be (-74)/(-26) + 4/26. Suppose -14*s + 12*s = 5*k - 1337, s = k - 266. Suppose -v*i = 57 - k. Does 14 divide i?
True
Let s(c) = 64*c - 343. Let q be s(5). Suppose -282 = -4*f + 74. Let b = q + f. Is b a multiple of 6?
True
Let h(t) = 97*t**2 - 5*t + 27. Is h(-3) a multiple of 28?
False
Suppose 1196 = 2*s - 572. Does 17 divide s?
True
Is 13 a factor of ((-40332)/36)/(21/(-63))?
False
Let b be (9/(-6))/(3/6). Let s be (b/(-6)*-6)/(-3)*-1. Let n(c) = 73*c**2 - c - 2. Does 12 divide n(s)?
True
Let n = 56984 - 30251. Is n a multiple of 19?
True
Let h = -519 + 526. Sup