q(-13) a multiple of 13?
True
Suppose -4*a + 4*b = 16, 19 = -3*a - 0*a - 4*b. Is 33 a factor of -79*(-1 - a/(-5))?
False
Suppose -3*g + 10 + 170 = 0. Let b = g - 19. Is 13 a factor of b?
False
Let r(f) = f**3 + 9*f**2 + 8*f + 18. Let j be r(-8). Suppose 20 + 10 = -3*g. Let i = j + g. Is 6 a factor of i?
False
Let h(b) = -5*b**2 + 76*b**2 - 10*b**2 + 3*b. Let n be (-16)/(-16) - (1 + -3 + 4). Is h(n) a multiple of 29?
True
Suppose 0 - 10 = -3*k - 5*h, -4*k - 3*h = -17. Let n(c) = 4 + 4 - c - 2*c**2 + 8*c + k*c**2. Is 7 a factor of n(-4)?
True
Let w = 1331 + -547. Is w a multiple of 14?
True
Suppose -18 = 2*x + 2*a, -5*x - 2*a - 46 = 2*a. Let z be (-65)/(-25) - (-6)/x. Suppose o - 19 = -z*b + 44, 0 = -3*o - 2*b + 209. Is o a multiple of 29?
False
Let h(m) = m**3 + 18*m**2 + 17*m + 5. Let q be h(-17). Suppose d - 7*f + q*f = 86, 3*d + 5*f = 313. Does 12 divide d?
True
Let b = -10 - -2. Let t = -8 - b. Suppose t = -5*n - 10 + 70. Is n a multiple of 3?
True
Let k(q) = -7*q**2 - 12*q + 9. Let u(b) = b**2 + 2*b + 3. Let g be u(-2). Let d(s) = -4*s**2 - 6*s + 5. Let z(o) = g*k(o) - 5*d(o). Is 6 a factor of z(-4)?
False
Let x = 2760 - 2162. Is 13 a factor of x?
True
Suppose -4*l - 1124 = 3556. Is 7 a factor of l/(-36) + (-1)/(-2)?
False
Let r = 76 - 35. Suppose 6*z = 73 + r. Is z a multiple of 19?
True
Is 50/12*321 + (-7)/14 a multiple of 65?
False
Let w = -12 - -15. Suppose -3*l = -w*t + 80 + 193, 475 = 5*t - l. Is t a multiple of 12?
True
Let t(b) = b**2 + 12*b + 477. Is 8 a factor of t(-48)?
False
Let t be 101/1 - (-3)/1. Suppose -32 = 6*u - t. Does 12 divide u?
True
Let x be (0 + 0 + 0)/(-2). Suppose -5*u = -x*u - 145. Let f = 22 + u. Does 26 divide f?
False
Let r = -79 - -85. Suppose r*v - 792 = -2*v. Is v a multiple of 36?
False
Let d(m) = -4*m**2 + 6*m - 4. Let h be d(6). Let z = h - -131. Is 3 a factor of z?
False
Suppose 5*h = -4*t + 129, 71 = -5*t - 2*h + 211. Let s = t - 17. Does 9 divide s?
True
Let b = 114 - 106. Let w(d) = -d**3 + 11*d**2 - 3*d + 16. Does 22 divide w(b)?
False
Let f(p) = -6*p - 42. Let c be f(-12). Does 4 divide 7/(-2)*(-7)/(35/c)?
False
Let y(c) = -5*c + 44. Let b be y(8). Suppose -4*k - 5*t + 245 = k, b*t = 16. Is 9 a factor of k?
True
Suppose 12*m - 1667 = 637. Is m a multiple of 32?
True
Suppose -70*k + 79*k = 2448. Does 7 divide k?
False
Let n(a) = 5*a**3 + 13*a**2 + 7*a - 2. Let z(b) = 9*b**3 + 26*b**2 + 15*b - 5. Let w(c) = 11*n(c) - 6*z(c). Let y be 57/4 - 4/16. Is 9 a factor of w(y)?
False
Let j(t) be the second derivative of t**3/2 - 5*t**2/2 - 3*t. Suppose 2*h = -3*l + 12, -4*h = 5*l - 21 + 1. Does 2 divide j(l)?
False
Let i = 18 + -15. Suppose i*m = -0*m. Suppose m*s - 2*s = -w - 75, -4*w + 90 = 2*s. Is 13 a factor of s?
True
Suppose 0 = -v + 3*v + 4*p - 866, 3*v = -5*p + 1303. Is v a multiple of 18?
False
Let l(b) = -b**2 - 8*b - 7. Let m(y) = 3*y**2 + 24*y + 20. Let a(x) = -17*l(x) - 6*m(x). Is a(-5) a multiple of 14?
True
Suppose 2*t = 139 + 549. Does 10 divide t?
False
Let q(s) = 7*s**2 - 33*s - 416. Is q(-16) a multiple of 107?
False
Suppose -2*d - 8 = -3*d. Let z(v) = -6*v - 1. Let b be z(d). Let k = 107 + b. Is k a multiple of 16?
False
Let n = 577 + -302. Is 10 a factor of n?
False
Suppose 0 = 3*d - 4*d. Suppose -3*b + 307 - 109 = d. Let l = 96 - b. Is 10 a factor of l?
True
Let f be ((-2)/2)/1 + 1. Suppose f = -2*t - 3 - 47. Is 4 a factor of (-10)/t + 116/10?
True
Suppose -77 = -2*v + 93. Let c = v + 55. Is 46 a factor of c?
False
Let w(k) = -4*k - 16. Let z be w(8). Let c = z - -57. Is c a multiple of 5?
False
Let z = -967 - -1584. Does 105 divide z?
False
Suppose 6*j = 2*d + 2*j + 18, 3*j - 15 = 3*d. Does 26 divide d/(-2 - (-310)/156)?
True
Let n(q) = q**2 - 2*q - 1. Let j be n(-1). Let c be ((-12)/j)/(9/6). Let w(h) = h**3 + 4*h**2 - 2*h + 1. Does 3 divide w(c)?
True
Let o(r) = -r**2 - 5*r + 13. Let f be o(-7). Is 6 a factor of (1 - 0)*-23*f?
False
Let q(t) = t**3 + 5*t**2 + 4*t - 4. Let f be q(-4). Does 2 divide -4*1/f + 5?
True
Let x(w) = 4*w**2 + w. Let c be x(-1). Suppose u = c*u - 474. Suppose 0*g + u = 3*g. Is 28 a factor of g?
False
Suppose -27*u + 2503 + 8648 = 0. Is u a multiple of 2?
False
Does 53 divide 84626/133 + (-6)/21?
True
Is 50 a factor of (-6)/48 + -883*6/(-16)?
False
Let n be ((-4)/(-14))/((-5)/(-35)). Suppose -r = 4*r + n*p - 585, 0 = 5*p. Is r a multiple of 9?
True
Suppose 0 = -i + f + 4, 3*f + 20 = 6*i - i. Let a(k) = k**2 - 6*k + 4. Let d be a(i). Let r(s) = -8*s - 2. Is 15 a factor of r(d)?
True
Suppose -181 - 218 = -19*m. Is 5 a factor of m?
False
Let s = -121 - -125. Let h(w) = w**3 - 6*w**2 + 4. Let p be h(6). Suppose p*j - 143 = -s*n + 173, -3*j = 2*n - 239. Is j a multiple of 24?
False
Is 9 a factor of (3 + -4)/(1*(-2)/806)?
False
Let j(f) = 49*f + 8. Is 24 a factor of j(10)?
False
Suppose -9 = 2*f + 3. Does 6 divide f + 2/2 + 35?
True
Suppose -2100 = -2*h + 3*g, -4*g = 4*h - g - 4218. Is h a multiple of 19?
False
Let r = -32 - -35. Suppose -2*j = 4*c - 3*c - 112, 4*j = r*c - 316. Is c a multiple of 27?
True
Let y be 0*((-3)/(-12) - (-2)/8). Suppose y = 3*c - 0*c + 2*g - 64, 0 = 2*c + 5*g - 28. Does 7 divide c?
False
Suppose 0 = 6*m - 1353 - 381. Does 47 divide m?
False
Suppose 0 = 3*g + 6*g + 558. Let v = 80 + g. Is 8 a factor of v?
False
Suppose -13 = 5*c - 28. Suppose -c = -d + 9. Is 6 a factor of d?
True
Suppose 61*o = 68*o - 8820. Is o a multiple of 30?
True
Suppose 3*u + 935 = 4*u + 5*a, 5*u - 4*a = 4646. Suppose 17*c = 22*c - u. Is c a multiple of 31?
True
Let h(n) = -6*n**2 - 18*n - 7. Let q be h(-3). Is (-72)/(-1) - (7 + q) - 2 a multiple of 22?
False
Is (-17 + 18)/((-2)/(-2860)) a multiple of 11?
True
Let f(y) = y**3 + 8*y**2 - 7*y - 1. Is f(6) a multiple of 54?
False
Is (108/5)/(345/54050) a multiple of 24?
True
Does 32 divide (8415/90)/(2/12)?
False
Let i be 4*4 - (8 - 5). Suppose 7*y - 2*y - i = 3*h, -2*y + 5*h = -9. Suppose -g + y*g = 8. Does 5 divide g?
False
Let b(f) = -96 - 920*f + 916*f + 10. Does 7 divide b(-25)?
True
Let f = 47 + -44. Suppose 0 = f*d + d - 36. Is d a multiple of 3?
True
Let v(u) = u - 20. Let q be v(22). Let x(n) = 29*n - 15. Does 8 divide x(q)?
False
Suppose -15 = -5*m + 3*a, 5*m + 2*a = -9 - 1. Let j(t) = -t**3 + t**2 - t + 18. Is j(m) a multiple of 6?
True
Let w be (-24)/5 + 5/(-25). Let s(y) = 8*y. Let m(q) = -12*q. Let b(f) = w*m(f) - 8*s(f). Is 8 a factor of b(-5)?
False
Suppose 0 = 3*v + v - 16. Let b be (-6)/(-4)*8/3. Suppose -12 = -v*d, 0 = -b*w - d - 15 + 262. Is w a multiple of 19?
False
Is 39/(-390) + 2602/20 a multiple of 25?
False
Let h be ((-1)/(-1))/(1/(-9)). Let j = h + 12. Suppose 0 = t + 2*f - 40 - 7, 133 = j*t - 2*f. Does 17 divide t?
False
Let h = -424 + 849. Suppose -71 = 2*v - h. Is 20 a factor of v?
False
Let u(m) = m**3 + m**2 + 2*m + 126. Suppose 0 = v + 4 - 4. Is 14 a factor of u(v)?
True
Is -4 + 0 + -2 + (-78)/(-3) a multiple of 20?
True
Let k = -878 + 1448. Is 8 a factor of k?
False
Let p(k) = -k**2 + 7*k + 32. Is 12 a factor of p(8)?
True
Let a(c) = 3*c**2 + 4*c - 5 - 9 - 2*c - c. Does 22 divide a(-6)?
True
Suppose -5*f + 54 + 11 = 0. Suppose 140 = -12*j + f*j. Is j a multiple of 20?
True
Let t(u) = u**2 - 2*u - 1. Let m(y) = y**2 - y. Let q(b) = -7*m(b) + 6*t(b). Let d be q(-6). Does 15 divide (-18)/d - (-142)/4?
False
Let r(q) = q**3 + q**2 - 2*q - 2. Let c be r(2). Suppose 0 = c*v - 3*v, 3*v = -2*m - 6. Is 11 a factor of 45/m*44/(-12)?
True
Suppose -45 = -5*g + 3*q, 3*g + g + 3*q - 9 = 0. Let o be 3 + g + (-3 - -5). Let r(z) = z**2 - 10*z + 15. Is 25 a factor of r(o)?
False
Suppose -w + 24 = 2*w. Suppose w = q + 3*q. Suppose -l = 3*y - 0*y - 21, -50 = -2*l - q*y. Is l a multiple of 8?
False
Let a = 1811 + -274. Is 46 a factor of a?
False
Let q = 62 + -27. Let t be (-18)/1*6/(-18). Is (t/7)/(5/q) even?
True
Let j(h) = 25*h**2 + 4*h + 2. Let n be j(-2). Let y = n + -57. Let i = -25 + y. Does 6 divide i?
True
Suppose -2*o - 5*g = -292, 4*o - g = -2*g + 548. Is 34 a factor of (-1)/(-2)*o/2?
True
Suppose 2*c - 86 = 5*c + 5*t, 0 = c - t + 34. Let y be 4/(-16) - 9/(-4). Does 4 divide c/y*9/(-12)?
True
Let y be (-209)/(-55) - 1/(-5). Let g be ((-22)/y)/(3/(-12)). Suppose 0 = -5*l + 138 + g. Is 8 a factor of l?
True
Let r(l) = 26*l**2 - 5*l + 1. Let d(m) = -25*m**2 + 4*m. Let o(y) = -3*d(y) - 2*r(y). Let 