-270 - -652. Is c a multiple of 70?
False
Suppose -3*o + 4*o - 4 = 0. Suppose 0 = -s + 2*x + 16, 2*s - o*s - x = -12. Let w(t) = t**2 - 5*t - 8. Is w(s) a multiple of 11?
False
Does 63 divide 575*13/((-130)/(-8))?
False
Suppose -11 = -3*z + 4*r, -4*r = -4*z - 0*z + 16. Let k = z + 19. Does 5 divide k?
False
Suppose 178*r = 175*r + 5253. Does 17 divide r?
True
Let o(g) be the second derivative of g**4/12 - 5*g**3/3 - 2*g**2 - g. Suppose -6*h + 21 = -57. Does 9 divide o(h)?
False
Let q(o) = -o**3 - o**2 + 3*o + 1. Let l be q(-3). Is 3 a factor of (208/7 + l/35)*1?
True
Let z = -37 + 39. Is 18 a factor of 30/(-18)*(-108)/z?
True
Suppose 5*b - 5*n = 2275, 4*b + 6*n = 11*n + 1823. Is b a multiple of 7?
False
Let q be (2/3)/(2/12). Suppose -q*z = -268 - 40. Is z a multiple of 11?
True
Let x = 12 + -7. Let b(r) = 4*r + 10. Is b(x) a multiple of 6?
True
Let o be 5/(-1)*-3 - -3. Suppose 0 = m - 5*m. Suppose 0 = -m*j + j - o. Does 18 divide j?
True
Let b(f) be the second derivative of -f**4/12 - 5*f**3/3 - 4*f**2 + f. Let r be b(-10). Does 25 divide (-4)/r - (-495)/10?
True
Let b = -9 - -15. Let g = 24 + b. Suppose 2*k = -3*k + g. Does 5 divide k?
False
Let d be (-50)/(-15)*(-6)/(-4). Suppose -5*x + 15 = -0*x, -51 = d*k + 3*x. Is 26 a factor of (-79)/(-3) + 4/k?
True
Let j(i) = i**3 - 8*i**2 + 3*i + 3. Let z be j(7). Let t = -18 - z. Is 2 a factor of t?
False
Is 27 a factor of (2/(-5) - (-3488)/20)*7?
False
Suppose 5058 = 7*u - 4*u - 4*i, -u - 3*i = -1686. Is u a multiple of 64?
False
Is ((-5)/(-3))/((-345)/(-653706)) a multiple of 18?
False
Let h = -144 + 354. Is h a multiple of 78?
False
Let z(d) be the third derivative of -2*d**2 - 1/12*d**4 + 1/6*d**3 + 0*d + 0 + 1/20*d**5. Does 3 divide z(2)?
True
Suppose -2*c + 6*c - 24 = 0. Let q = -3 + c. Suppose -148 = -4*v + q*g, -v - 3*g = 2*v - 111. Does 21 divide v?
False
Suppose 4972 = h + 4*h - 2*i, -2012 = -2*h - 5*i. Is h a multiple of 16?
False
Let o = 822 - -148. Does 8 divide o?
False
Let b be 2 + (4 - (-3 + 3)). Suppose b*f = -323 + 845. Does 13 divide f?
False
Let z(w) = -1734*w**3 + 2*w**2 + 13*w + 11. Does 34 divide z(-1)?
True
Let o be (4/((-20)/5))/(1/(-6)). Suppose -2*a + 24 = 5*b + o, 5*a = -5. Does 2 divide b?
True
Let y(b) = -b + 4. Let k be y(3). Let f = -3 + k. Let m = f - -32. Is m a multiple of 10?
True
Suppose 30 = 5*q - r + 5*r, 5*r = 0. Suppose -8*z = -q*z - 32. Does 8 divide z?
True
Suppose 3*k + 5*q = 3178 - 701, -3320 = -4*k + 2*q. Does 151 divide k?
False
Let s = -122 - -123. Suppose y + 4*w - 22 = 13, 3*y + w = 105. Is (y/(-7))/(s/(-7)) a multiple of 18?
False
Let h = 853 + -127. Does 66 divide h?
True
Suppose a - 765 - 72 = 0. Does 57 divide a?
False
Let y(f) = -f**3 - 3*f**2 + 3. Let i be y(-2). Let q(p) be the second derivative of 17*p**4/4 - p**3/3 - 3*p**2/2 + p. Is q(i) a multiple of 13?
False
Suppose -293 = -z - 5*l, 5*z - 1360 = -55*l + 51*l. Is 2 a factor of z?
True
Let w = 4200 + -2613. Does 17 divide w?
False
Suppose 123 - 39 = -4*t. Is 15 a factor of 3/(t/(-119)) + 2 + 0?
False
Suppose -q = -n - 2*n - 23, -5 = n - q. Does 12 divide 241/9 - 2/n?
False
Let i = -12 - -14. Let h = i - -61. Suppose 0*f + h = 3*f. Is 21 a factor of f?
True
Let w = -1048 - -2000. Does 68 divide w?
True
Suppose 0 = -50*r + 49*r + 155. Is r a multiple of 6?
False
Let j be (-315)/(-4) - 12/16. Let s(n) = n**3 + 6*n**2 + 5*n + 3. Let b be s(-5). Suppose -k = -b*k + j. Is k a multiple of 14?
False
Let z(v) = -v**3 - 8*v**2 - 10*v - 7. Let o be z(-7). Let g = -11 + o. Suppose -3*s = -y - 55, -4*y + 50 = -0*s + g*s. Is 7 a factor of s?
False
Let t(m) = -3*m - 83. Let c be t(-27). Is (4 + (-32)/20)*(-5)/c even?
True
Let m(l) = -l**3 - 21*l**2 - 27*l + 24. Let v be m(-20). Suppose 0 = -4*b + 4*c + v, -3*b + 123 = -7*c + 2*c. Is b a multiple of 11?
False
Let w(t) = -t**2 + 8*t - 9. Let d be w(6). Suppose -116 + 2 = -d*q. Does 14 divide q?
False
Suppose 7 = -b - 6*b. Does 36 divide (12/9 + 1)/(b/(-21))?
False
Suppose p - 160 = -5*n + 21, 0 = 3*n - 15. Does 3 divide p?
True
Let i(b) = 8*b**2 - 8*b + 11. Suppose -2*w - 3*w + 45 = -5*r, -2*r = 2*w - 2. Is i(w) a multiple of 18?
False
Suppose 10*q - 10 = 5*q. Suppose -t + 125 = 3*f - q*f, 2*t - 265 = f. Is t a multiple of 15?
False
Let g(f) = -f**2 + 16*f + 22. Let v be g(17). Suppose -v*c = 6*c - 1331. Is 11 a factor of c?
True
Let w(f) = f**2 + 5*f - 6. Let c = -11 - -11. Let h(x) = x**2 + x + 6. Let n be h(c). Is 20 a factor of w(n)?
True
Let i(a) = 54*a - 47. Does 7 divide i(25)?
False
Suppose -5*s - 1900 = -5*h, 119 = -h + 4*s + 514. Is h a multiple of 25?
True
Let k be 33/2*10/15. Let m = 9 - k. Let j = m + 7. Is 3 a factor of j?
False
Let l = 13 - 8. Suppose -4*y - s + 7 = 0, -l*y - s - 5 = 3*s. Suppose w + y*w = 508. Does 31 divide w?
False
Let r = 1518 - 501. Is r a multiple of 18?
False
Suppose 2*l = 16 + 8. Let v(r) = 5*r - 5. Let w be v(2). Is 2 a factor of l/20*w*1?
False
Suppose -192 = 5*k - 522. Is k a multiple of 22?
True
Let m(a) = -252*a - 18. Is m(-3) a multiple of 9?
True
Suppose -5*u - 86 = 14. Let b = 205 - u. Does 45 divide b?
True
Let u = 4159 - 2086. Is 6 a factor of u?
False
Let p = -1087 - -481. Let r = p - -866. Is 20 a factor of r?
True
Suppose -35*y + 123*y - 75768 = 0. Is 21 a factor of y?
True
Is 5 a factor of 17/((-5)/(-11 + -4))?
False
Suppose 0 = 4*n - q + 67, 126 - 39 = -5*n - 2*q. Let l(p) = -p**2 - 22*p + 21. Is l(n) a multiple of 40?
False
Suppose 15 = 5*x, -4 - 4 = t - 4*x. Let w = t - 0. Is w*5 + (-2)/1 a multiple of 18?
True
Suppose u - 252 = -20*u. Suppose 2*h - 16 = 4. Suppose -l = -u - h. Does 4 divide l?
False
Suppose 0*a = 4*a - 72. Suppose -2*v + 5*v - a = 0. Is 7 a factor of 51/v + 12/(-8)?
True
Suppose -37 = 2*c - 5*m, 2*m + 5 = -1. Let d(y) = -7*y + 45. Does 40 divide d(c)?
False
Let w(d) = 25*d**2 + 36*d - 77. Is 19 a factor of w(2)?
True
Suppose 1388 = 32*h - 15412. Is h a multiple of 60?
False
Suppose -3*p + 731 - 260 = 0. Is 5 a factor of p?
False
Is (25/5)/(-25) + (-10746)/(-30) a multiple of 7?
False
Let g = 791 - 551. Suppose -5*p = -11*p + g. Is 10 a factor of p?
True
Suppose -4*m + 47 = -9. Suppose 0 = -2*w + 4*w + 3*s - m, -w - 5*s + 21 = 0. Does 2 divide 0 + w - (7 - 11)?
False
Suppose -322*w = -314*w - 6696. Does 31 divide w?
True
Let j be (-216)/(-16) - 1/2. Suppose -j = -3*b + 2*q, -q - 2*q = 3*b - 18. Does 5 divide b?
True
Suppose 121 - 351 = 3*l + 2*s, 5*l + 394 = 2*s. Let v = 146 + l. Does 7 divide v?
False
Let z(m) = m**3 - 7*m**2 + 3. Let l be z(7). Let p(a) = -a + 20. Let r be p(0). Let n = l + r. Is 6 a factor of n?
False
Let c(w) = w**2 - 34*w + 364. Is c(73) a multiple of 22?
False
Suppose 6*t = t - 905. Let y = -103 - t. Is y a multiple of 12?
False
Let k be (-7)/3 - 2/3. Let q be (-2)/k + (-12)/(-9). Let v(r) = 13*r**2 + 2*r + 1. Is 15 a factor of v(q)?
False
Suppose -461 = -r - 5*f + 250, 5*r - 3642 = 4*f. Does 22 divide r?
True
Let g = 23 + -20. Suppose 5*l - 45 = -5*b, 2*b - g = l - 0*l. Let i = 25 - l. Is 14 a factor of i?
False
Let r(y) = -7*y**3 + 6*y**2 + 7*y + 8. Let i be r(-4). Suppose -13*c - i = -3657. Does 35 divide c?
False
Suppose 3*b + 27 = -d, -5*b + 0*d = d + 47. Let c = 3 + -8. Let w = c - b. Is w a multiple of 3?
False
Let h(s) = 5*s**2 - 8*s + 10. Let q be h(4). Is 1/((-5)/(-15)) + q a multiple of 25?
False
Let i(a) = 93*a**2 - 37*a + 8. Does 45 divide i(-2)?
False
Let k(p) = 18*p + 1. Let g be k(-5). Let t(s) = 8*s**2 + 4*s - 8. Let c be t(4). Let r = c + g. Is 12 a factor of r?
False
Let n = -42 - -29. Let s(l) = -5*l + 35. Is s(n) a multiple of 24?
False
Suppose 0 = -y - 7*y + 8176. Suppose -5*l = -3*z - 1026, 4*z + y = 5*l + 3*z. Is 17 a factor of l?
True
Let z(d) = -d**3 - d**2 + d + 1. Let h(q) = 4*q**3 - 15*q**2 + 19*q - 22. Let a(b) = -h(b) - 5*z(b). Is 8 a factor of a(-21)?
True
Is 332/8*4/1 a multiple of 18?
False
Suppose 0 = 3*u - 0 - 6. Let y(d) = 29*d**2 + 2*d - 2. Is y(u) a multiple of 14?
False
Let t = 1677 + -1207. Is 5 a factor of t?
True
Suppose 4*j = -5*v + 115, 4*j + 45 = 2*v + 139. Let x(z) = z**3 + 4*z**2 + 4*z + 2. Let t be x(-2). Suppose j + 55 = t*l. Is 20 a factor of l?
True
Is 9 + -3 + 322 + 0 a multiple of 41?
True
Let l(y) be the second derivative of 5*y**3/6 + 5*y**2 - 2*y. Let r = 163 - 157. Is 6 a factor of l(r)?
False
Let y