 s = -6*t - 5*x. Is 8 a factor of t?
True
Suppose 5*r - 9*r = -12. Suppose r*n - 3*t = 4*n - 321, -n + 5*t + 313 = 0. Suppose -3*i + 2*x + 445 = 0, 2*i + 0*x + 4*x = n. Does 19 divide i?
False
Suppose -s - 8*j - 9 = -12*j, 3*s - 4*j = -67. Let z = 461 - s. Is z a multiple of 14?
True
Is 6229 - -7*(5 + (-155)/35) a multiple of 111?
False
Suppose 3*c + 4*b = 2*c + 467, 0 = 3*c - b - 1453. Let p be 28/224 + (-4 - 391/(-8)). Is ((-30)/p)/((-2)/c) a multiple of 17?
False
Suppose b + b + 49 = -3*h, 4*h + 42 = 2*b. Is (1 - h)*(0 + (-21)/(-2)) a multiple of 7?
True
Suppose 0 = 4*p - 114 + 546. Let h = -60 - p. Is 12 a factor of (4/2 - 2) + h?
True
Let y = 35822 + -31110. Is y a multiple of 18?
False
Let o be 6/3 - (-53 - 0). Let a be -1 - -2 - (-3 - 0)*19. Let s = a - o. Is 3 a factor of s?
True
Let c = 1168 - -407. Let u = 11 + -8. Suppose u*a + 2*a - c = 0. Is 21 a factor of a?
True
Let l(d) = -d**2 - 31*d - 62. Let j(q) = -q**2 - 30*q - 65. Let t(m) = -5*j(m) + 6*l(m). Is 6 a factor of t(-32)?
False
Let j = 49 + -39. Suppose f - 2*p = 6, -p - j = -3*f - 3*p. Suppose -3*n = -f*t - 96, -n - 4*t = -5*n + 124. Is n a multiple of 13?
False
Let z = 1529 + -1241. Let i be 2/(-4) - 9/(-2). Suppose i*m = 8*m - z. Does 24 divide m?
True
Let x(v) = 31*v**3 + v**2 - 2*v. Let d be x(1). Suppose d = 2*y + 26. Suppose 0 = -5*u + 5*q + 600, y*q - 10 = -4. Does 42 divide u?
False
Suppose -85*k + 209*k - 1358296 = 0. Is k a multiple of 124?
False
Let j = -10 + 675. Does 10 divide j - (-6 + (2 - -9))?
True
Suppose -5*s = -5*h + 16315, -19*h + 22*h - 2*s - 9786 = 0. Is h a multiple of 12?
False
Let f be -215 + -3 + (3 - 0). Let p be (-2)/(-9) + f/(-45). Suppose 40 = -x + p*x. Does 5 divide x?
True
Suppose 3488 = -5*t - 2*o, 61*t + 699 = 60*t + o. Let h = t + 751. Is 5 a factor of h?
False
Let c be (1 - -6) + (6 - 5). Suppose 6710 = c*g + 14*g. Is 63 a factor of g?
False
Let s be 648/(-40) - ((-6)/5 - -1). Let a be (-14)/(s/4 - -2) + -1. Is 8 a factor of (-74)/(-3) - 4/a?
True
Suppose 4*p + 396505 = 34*p - 109145. Is p a multiple of 174?
False
Let w(z) = z**3 - 5*z**2 - z + 9. Let l be w(5). Suppose -2 + l = 2*a, 5*y + 3*a = 898. Is 8 a factor of y?
False
Suppose 757*k - 751*k = 7830. Is k a multiple of 29?
True
Suppose -6*j + 5*j + 8755 = x, -5*x - 17461 = -2*j. Is j a multiple of 7?
False
Let s = 15359 - 9239. Does 24 divide s?
True
Let l = -68 - -70. Suppose -5*h + g + 1340 = 0, 6*h = h + 5*g + 1340. Suppose 0 = -0*r + l*r - h. Is r a multiple of 16?
False
Let w be 26 - (-4 + (-15)/(-5)). Suppose 34*k - w*k = 1904. Is 16 a factor of k?
True
Let i = -17159 + 18064. Does 181 divide i?
True
Suppose 4 = -d, 3*r + 0*d = d - 236. Let t = r - -89. Does 19 divide t/15 - 1062/(-30)?
False
Let b(q) = -q**3 - 8*q**2 - 2*q - 13. Let h be b(-8). Suppose -541 = -h*g - 139. Does 67 divide g?
True
Suppose -73*x - 28969 = -281549. Does 25 divide x?
False
Let i(k) be the first derivative of 17*k**2 + k - 17. Let s be i(-5). Let t = 243 + s. Is t a multiple of 17?
False
Let q = 56 + -55. Let n be (-12)/(q - -5) + (-1 - 139). Let v = 230 + n. Is 5 a factor of v?
False
Suppose 3*o - 3462 = -5*v - 548, 0 = -v - 4*o + 576. Suppose 156 = s - 4*h + 7*h, 0 = -4*s - 4*h + v. Is 20 a factor of s?
False
Let u be 0*(5 + (1 + -8 - -3)). Suppose u = 2*t - 223 + 111. Is t a multiple of 7?
True
Suppose 3*d - 4*k - 13 = 0, -2*d + 5*k = d - 14. Is 14 a factor of 100*d + (-4 - 1)?
False
Let f = -3674 + 1978. Is (4/2)/((-8)/f + 0) a multiple of 5?
False
Suppose -235*c = -237*c + 38. Let r(a) = 5*a + 37. Is 4 a factor of r(c)?
True
Suppose 2489 = v + 4*v - 4*v. Does 4 divide v?
False
Let g be (1 + -3)/((-238)/84 + 3). Suppose 32 = 2*v - 2. Let d = g + v. Is d a multiple of 2?
False
Suppose 4*d - w = 24, 0 = -5*d + w + 25 + 4. Suppose -5*n + 370 = d*p, -n - 210 = -4*n + p. Let x = 88 - n. Is x a multiple of 7?
False
Let t(j) = 12976*j**2 + 14*j + 13. Is 82 a factor of t(-1)?
False
Let l = -66380 + 97844. Is 40 a factor of l?
False
Let m be (4 - 6)/(3 + -4). Let d be (-6 - (-3 - m))/(-1). Let u(h) = 69*h**2 - h + 2. Is 8 a factor of u(d)?
False
Let s = 72 + -72. Let v be (8 + (s - 2))*6/12. Is (5/v)/((-6)/(-864)) a multiple of 54?
False
Let f be -1*(-2)/(-4)*-8. Suppose 0 = -u + 4, -56 = -3*i - f*u + 320. Does 20 divide i?
True
Let a(z) = -6*z - 4. Let l = 114 + -100. Let c be a(l). Does 33 divide (-2)/(-11) - 52/c*328?
False
Suppose 0 = y + 2*s - 179 - 128, -2*y - 5*s = -610. Let m = y + -127. Is 15 a factor of m?
False
Suppose 0 = 3*u - 4*f - 34, 3*f - 16 = -2*u + 4*f. Let o be 3*(1/6 + 507/u). Let s = o + -154. Is 8 a factor of s?
False
Let u(w) = 4*w**3 + 10*w**2 + 4*w + 6. Let k(j) = j**3 - j - 1. Let i(t) = 5*k(t) - u(t). Let g be i(12). Suppose -r + g = -35. Does 34 divide r?
True
Is (-4)/38 + (-1154412)/(-1539) a multiple of 6?
True
Let y(o) = 21*o**2 - 26*o + 129. Is 66 a factor of y(10)?
False
Let l be (11 - -634) + (3 - -2). Let j = 1350 - l. Is j a multiple of 28?
True
Suppose 228*u - 414*u = -4130 - 144298. Is u a multiple of 114?
True
Let t = 102700 - 66885. Is t a multiple of 13?
True
Let v(g) be the second derivative of g**5/20 + 11*g**4/12 + 7*g**3/3 + g**2/2 - 110*g. Does 5 divide v(-9)?
False
Suppose -342*t - 2*z = -339*t - 4613, 3075 = 2*t + z. Does 53 divide t?
True
Let t = -1079 + 1551. Let a = -237 + t. Is 18 a factor of a?
False
Suppose -4*p + 368 = 5*y - 417, -669 = -4*y + 5*p. Let h = y - -193. Does 34 divide h?
False
Let h = -82 - -82. Suppose h = -4*n - 19*n + 2576. Is n a multiple of 16?
True
Let s be 52/14 + 2/7. Suppose 0 = -3*j - a + 1551, 0 = -s*j + j + a + 1551. Suppose 85 - j = -4*w. Does 33 divide w?
False
Let a = -423 - -1325. Suppose 1300 = 5*o + 4*d, -4*d - 438 - a = -5*o. Is 19 a factor of o?
False
Let u(y) = y**2 - 3*y - 8. Let z be u(-7). Let j = z + -10. Does 26 divide j?
True
Let w(c) = -c**3 + 18*c**2 - 20*c + 54. Let i be w(17). Is 12 a factor of 1 + i*-622*4/(-24)?
True
Let l(u) = 66*u**2 - 7*u + 5. Let w be l(1). Suppose w*a - 66*a + 540 = 0. Is 18 a factor of a?
True
Let q(n) = -621*n + 425. Does 83 divide q(-2)?
False
Suppose 0 = -2*t - 10, 0 = 5*i + 2*t + 2*t - 100. Let h be 4*i + -1 + (-1)/1. Let z = h - 70. Is z a multiple of 4?
True
Let l be 3 + (-3 - (-324 - 2)). Let s be (-1)/(-3) + (-140)/(-84). Suppose 46 = -s*h + l. Is 20 a factor of h?
True
Suppose -3*d = -6*d - 177 + 1074. Is 8 a factor of d?
False
Let t(u) = -2*u**2 + 4*u + 27. Let p(s) = 2*s**2 - 4*s - 28. Let q(z) = -3*p(z) - 4*t(z). Is q(-12) a multiple of 13?
True
Suppose 0 = 3*c + r + r - 14958, 3*c - 4*r = 14922. Is 9 a factor of c?
False
Suppose -37*i = -35*i - 8. Suppose 354 = i*k - 3*g, 0 = 3*k + g + g - 257. Suppose -4*r = -r - k. Is 5 a factor of r?
False
Let i be 1/4*-90*-68. Suppose -22*g - i = -13256. Is g a multiple of 14?
False
Suppose -7*s + 103 = -4*s - 2*j, 0 = 2*s - 5*j - 54. Let u = s + 140. Does 18 divide u?
False
Suppose -18*g = -g - 53550. Suppose 498*s = 491*s + g. Does 73 divide s?
False
Let u be 5/(((-21)/(-7))/(-6)). Let v(s) = s**2 - 14*s - 75. Does 15 divide v(u)?
True
Let k = 7932 - -9438. Is k a multiple of 10?
True
Let d(x) be the second derivative of x**5/20 + x**4/3 - 11*x**3/6 - 7*x**2 + 230*x. Is 3 a factor of d(5)?
True
Let u = 4441 + -1077. Is u a multiple of 29?
True
Let a(g) = -322*g + 1540. Let r(j) = -14*j + 67. Let k(o) = 3*a(o) - 70*r(o). Is k(32) a multiple of 23?
False
Let a(m) = -14*m - 52. Let v be a(-7). Let j = v - -500. Does 13 divide j?
True
Let o(q) be the first derivative of -q**2/2 + 4*q - 16. Let k be o(-10). Let c = k - -86. Is 20 a factor of c?
True
Let t = 68 + -68. Suppose 4*n = -3*p + 4*p - 3, t = -2*n. Is 1/((-2)/(-410)) - (1 + p) a multiple of 28?
False
Suppose -4*q = 4*v - q - 18, -2*q = -5*v + 11. Let w = 99 - v. Does 3 divide w?
True
Let k be (0 - 0/1) + 960/(-2). Let x = -438 - k. Is 6 a factor of x?
True
Let v = 595 - -2230. Is 25 a factor of v?
True
Suppose -24624 = -6*t + 1026. Does 18 divide t/38 - (-3)/2 - -4?
False
Let v(o) = o**2 - o + 1. Let w be v(3). Let f = 8 + w. Suppose q - f = 65. Does 13 divide q?
False
Let q = -792 + 798. Suppose 7568 = -y + q*y + b, 5*y - b = 7562. Is 19 a factor of y?
False
Suppose 642*p = 668*p - 157944 - 44284. Is 13 a factor of p?
False
Suppose -11*p + 16*p = -i - 105, 0 = -4*i - 2*p - 