17*z - 31*z + 39676. Does 13 divide z?
True
Let s(a) = -a. Let o(h) = -h**2 - 13*h - 2. Let f(u) = -o(u) - 2*s(u). Is f(-16) a multiple of 18?
True
Let w be (-15)/10*(-2 + 0). Suppose -2*f = w*f - 645. Suppose 2*m + 2*t + f = 5*m, 5*m + 5*t = 240. Is m a multiple of 28?
False
Suppose c - 5 = 3*c + 5*f, -c - 7 = 4*f. Suppose -2*k + 6 = -3*k - 3*y, k - c*y = 18. Suppose 3*m + 539 = 5*n, 4*m - 3*m + k = 0. Is 30 a factor of n?
False
Let v(y) = -y**3 - 11*y**2 - 11*y - 4. Let b be v(-10). Suppose 0 = b*x - x - 3255. Is ((-2)/(-3))/(7/x) a multiple of 13?
False
Let z be (-6)/4*12/18. Is 30 a factor of z + 1 - (-61 + 4)?
False
Let d be -3*6 + (1 - 3). Let b be 6/((16/d)/4). Let a = 51 + b. Is 3 a factor of a?
True
Suppose -32 + 8 = 4*c. Let i(f) = -f + 10. Does 4 divide i(c)?
True
Let y(s) = 2*s - 24. Let r be y(13). Let u be ((-84)/10)/(r/(-40)). Suppose -b = -5*b + u. Is 6 a factor of b?
True
Suppose -5*m - 5 = -3*p - 33, -15 = -2*m + 5*p. Suppose 2*i = m*i + 150. Does 27 divide (-7)/(-1) - 4 - i?
False
Let w be ((-2 - 1)*1)/(-1). Suppose 2*l = w + 3. Suppose -20 = -c + 3*a, -c = l*a - 1 - 7. Does 7 divide c?
True
Let g be (-2)/11 + (-84)/22. Let w be (-6 - g) + -9 + 1. Does 17 divide (-1050)/w + (-3)/1?
True
Let q(m) = -m**2 + 10*m - 9. Let i be q(6). Suppose -3*g + 2*b = -9, -g - 4*g + i = -3*b. Suppose -x = g*x + 4*p - 260, 261 = 4*x + 3*p. Is 22 a factor of x?
True
Suppose a + 4*l + 132 = 0, 86 = 5*a - l + 851. Is a/(-1) + (5 - (2 + 1)) a multiple of 22?
True
Let b = 177 - 58. Suppose 59 = y - b. Is y a multiple of 17?
False
Suppose 23*b - 5491 = 6*b. Is b a multiple of 11?
False
Let x(r) = -r**3 + 4*r**2 + r - 5. Let h be x(4). Let w be h/(-2)*2*1. Does 6 divide (-3)/w*1 + 19?
False
Let p(b) = -3*b**2 - b + 7. Let j be p(-3). Let s = j + 43. Does 9 divide (0 - -3) + s + -2?
True
Let j(h) = -17*h - 23. Let q(v) = -v + 1. Let p(z) = -j(z) - 3*q(z). Is 8 a factor of p(5)?
True
Does 17 divide (486/216)/(2 - 2173/1088)?
True
Let o(d) = 2*d**3 - 11*d**2 + 22*d - 19. Is o(7) a multiple of 6?
True
Let v(j) = 2*j**3 - 4*j**2 - 3*j + 6. Let z be v(4). Suppose 0*g + 5*g + 2*u - z = 0, 2*g - 2*u = 12. Suppose 1 = -h + g. Is h a multiple of 6?
False
Let k(o) = -29*o**3 - 2*o**2 + o. Let m be k(1). Let h be 4/((m/(-57))/(-5)). Let i = h + 81. Does 19 divide i?
False
Let m(t) be the third derivative of 5*t**4/24 + 5*t**3/6 + 2*t**2. Let b = 3 - -5. Is 15 a factor of m(b)?
True
Suppose 10*c - 674 = -144. Is 7 a factor of c?
False
Let y(t) = -63*t - 921. Does 20 divide y(-27)?
True
Let h(c) = -c**2 - c. Suppose -4*g - 3 = -7. Let j(r) = -9*r - 2. Let w(l) = g*h(l) + j(l). Does 11 divide w(-4)?
True
Suppose 2*q = -5 + 15. Suppose q*g - 15 = -0. Is 2 a factor of g?
False
Let n(x) = -20*x + 700. Does 30 divide n(-19)?
True
Suppose 42 = -4*t + 122. Suppose -5*a = -t, -3*d = -a + 3 + 1. Suppose -3*n + 186 - 33 = d. Is 17 a factor of n?
True
Suppose -3*l = -3 + 6. Let q be 0*-3*l/3. Suppose q = 3*z - 8 - 31. Is z a multiple of 13?
True
Let j(q) = -q - 1. Let f be j(-3). Suppose -234 - 244 = -3*i - f*r, 5*r = 3*i - 506. Suppose -h - h = -i. Is h a multiple of 29?
False
Suppose -4*a + 13 = q, -4*q = -5*a - 0*a - 10. Suppose 197 = 5*m + a. Let w = -23 + m. Is w a multiple of 14?
False
Suppose 2*f + 4*r = 15 + 3, 2*f = 3*r + 4. Let d(w) = -w**2 - 5*w + 6. Let a be d(-6). Suppose 2*v - f*v + 168 = a. Is v a multiple of 14?
True
Suppose -8548 = -8*o + 11012. Is o a multiple of 15?
True
Let n be 1 + (4 - (1 - -6)). Is 6 a factor of -21*(n + (-12)/(-7))?
True
Suppose -4*m - 11*m + 1215 = 0. Is m a multiple of 27?
True
Does 20 divide ((-10)/(-30) + 3)/(2/612)?
True
Let h be (-1*12/8)/((-3)/66). Suppose -2*j - 7 + h = 0. Is 2 a factor of j?
False
Suppose -f + g + 201 = 4*f, 2*g = f - 33. Suppose 2*l - f = 291. Suppose -3*u + 439 = l. Does 23 divide u?
False
Let r(c) = -3*c**3 - c**2 + 2*c - 1. Let t be r(-2). Let s = t + 7. Is s a multiple of 12?
False
Is 29 a factor of 9 + (-47113)/((-77)/7)?
True
Let r be (-1)/8 + (-1)/((-24)/75). Let m = 123 - 67. Suppose 3*w = -v + m, 8*w - 168 = -r*v + 3*w. Is 14 a factor of v?
True
Is (1680/(32/(-4)))/(-1) a multiple of 19?
False
Let i(q) = -198*q + 564. Is i(-7) a multiple of 10?
True
Let w(i) = 73*i**2 + 8. Is w(-2) a multiple of 9?
False
Suppose -5*m = -5*x - 211 - 2899, 606 = m - 5*x. Is m a multiple of 39?
False
Is 81 a factor of (550 - -3) + (-13 - -11)?
False
Let a(l) = 5*l + 2. Let y be a(2). Let x(f) = 4*f**3 - 12*f**2 + 2*f + 5. Let h(n) = n**3 - n - 1. Let b(d) = -3*h(d) + x(d). Is b(y) a multiple of 18?
False
Let v be -5 - (3 + (-5 - -1)). Let f(p) = -2*p**3 - 4*p**2 + 5*p - 3. Let a be f(v). Suppose 0*r = r - a. Does 10 divide r?
False
Let m = 5 - 0. Suppose 0*i - 108 = -2*i - m*b, -i + 76 = -3*b. Suppose 101 = 3*r + 6*h - h, 2*r + 4*h = i. Is 6 a factor of r?
True
Let m = 244 + -115. Suppose -6*w = -81 - m. Is w a multiple of 12?
False
Let z(h) = -35*h + 21. Let t(m) = -9*m + 5. Let p(q) = 9*t(q) - 2*z(q). Let k be p(-3). Let u = -17 + k. Is 13 a factor of u?
False
Does 17 divide (-8 - -4)*1779/(-6)?
False
Let k(p) = 14*p + 69. Is 19 a factor of k(0)?
False
Let d(m) = -m**3 - 9*m**2 - 4*m + 2. Let u be d(-9). Suppose -3*w + 3*q = -102, -3*w + 4*w - u = 5*q. Let n = -20 + w. Does 13 divide n?
True
Let b = 27 - 25. Let t = 2 - b. Suppose -6*v + v + 65 = t. Does 13 divide v?
True
Let m(y) = -y**3 - 3*y**2 + 2. Let r be m(-3). Is (-2 + -1 - -1) + 100/r a multiple of 16?
True
Suppose -4*x = -44 - 8. Let d = -11 + x. Suppose 5*o + 175 = 5*u, -4*o + 6 = -d. Is u a multiple of 7?
False
Is 119 a factor of (3 + 1716)*(-4)/(-3) + -3?
False
Let d = -705 + 1189. Is d a multiple of 22?
True
Suppose -4*d + 2*d = -10. Suppose 12 = 4*j, 0*n + 2*n - 47 = -d*j. Suppose 0 = -5*g + 4*g + n. Does 8 divide g?
True
Let s(d) = d**3 + 5*d**2 - 7*d + 4. Let n be s(-6). Is ((-235)/n)/(((-14)/(-4))/(-7)) a multiple of 19?
False
Suppose -92219 = -30*i - 33419. Is i a multiple of 14?
True
Let a(x) = -x**3 - 7*x**2 + 18*x - 12. Let f be a(-9). Let g(q) = -q**2 - 14*q - 18. Does 3 divide g(f)?
True
Let f(x) = x**3 - 9*x**2 - 17*x - 11. Does 16 divide f(13)?
False
Let w = 749 - 516. Is 16 a factor of w?
False
Let x be 5/(15/(-9)) - -5. Let l(t) = 31*t**2 + t + 4. Does 26 divide l(x)?
True
Let v = 1078 - 660. Is v a multiple of 35?
False
Suppose 7*o + 324 = o. Let g = 99 + o. Does 4 divide g?
False
Suppose -6*c - 7*c = -4615. Is c a multiple of 8?
False
Let q = 259 - 155. Let g be ((-2)/4)/((-13)/q). Suppose -131 = -g*x + 125. Does 17 divide x?
False
Let y = 2002 - 1222. Does 10 divide y?
True
Suppose -86 = -4*u - 10. Is u a multiple of 4?
False
Suppose 465 = 5*b + 7*p - 2*p, -382 = -4*b + p. Let i = 115 - b. Is i a multiple of 20?
True
Suppose -2*z + 7 = 3*t, 3*t = -3*z - 0 + 3. Suppose 181 + 1074 = t*g. Is 42 a factor of g?
False
Suppose -57*i = -23*i - 81702. Is 89 a factor of i?
True
Let j(d) = 1186*d**3 + 4*d**2 - 5*d + 3. Is 22 a factor of j(1)?
True
Let d(b) = 6*b + 118. Let p be d(7). Suppose -k - 4*k + 20 = 0. Suppose k*z - 3*n - p = 0, -3*z - n + 53 = -80. Does 15 divide z?
False
Suppose 4*u = 4*t + 156, -230 = -5*u - 2*t - 0*t. Suppose 4*f + 3*a + 60 = 0, -72 - 3 = 5*f - a. Let m = u + f. Is 12 a factor of m?
False
Let a be 2 - -29*(0 - -1). Let l = a + -20. Is l a multiple of 11?
True
Suppose -5*w + 2*m = -1220, -w + 27 = -5*m - 194. Let s = -110 + w. Is 17 a factor of s?
True
Let m be 3 + (-8)/(40/(-1515)). Let b = m - 158. Does 27 divide b?
False
Let m(c) = c**2 - 6*c + 9. Let v(t) = 3*t - 36. Let n be v(15). Does 12 divide m(n)?
True
Let c = 6 - 12. Let k(m) = m**3 + 4*m**2 - 4*m + 14. Let o be k(-5). Let u = o + c. Does 3 divide u?
True
Let c(o) = -o**3 - 12*o + 2. Let d be c(-4). Let g be 3/9 + (-491)/(-3). Let s = g - d. Is 25 a factor of s?
True
Let k(v) = -v**3 + 10*v**2 - 8*v - 5. Let i be (-2)/3 + (-87)/(-9). Let b be k(i). Suppose -3*d - 2*x + 52 = 3, -b*x - 52 = -4*d. Is d a multiple of 5?
True
Suppose 87 + 5 = -z. Let h be (-2)/(-6) - z/3. Let y = h - 14. Is y a multiple of 5?
False
Let p = 44 - 42. Suppose -3*a = p*a - 10, -3*r + 4*a + 4 = 0. Does 2 divide r?
True
Suppose -32*x + 15 = -113. Let h be 2*(78 + 4/2). Suppose 2*m = -4*g + h, -4*m + 52 + 256 = x*g. Is 12 a factor of m?
False
Is -4*(-1)/4*371 a multiple of 5?
False
