(1 + -2) a multiple of 20?
True
Suppose 0 = -2*x - 3*v - 60, -3*v + 27 - 141 = 4*x. Let w(r) = -11*r - 237. Is w(x) even?
True
Is 25 a factor of (39245/(-141))/((-15)/1134)?
False
Let g be -2 + 12/9 + (-182)/42. Is 25 a factor of g/10*-30*(46 + -1)?
True
Let i(s) = 2045*s - 2852. Does 11 divide i(14)?
False
Let x(i) = -3*i**2 + 9*i + 12. Let s(q) = -q**2 + 3*q + 4. Let d(z) = 11*s(z) - 4*x(z). Let h be 3/(-2)*32/12. Does 6 divide d(h)?
True
Let q(c) = 91*c**2 + 69*c - 542. Is q(7) a multiple of 55?
True
Let g(i) = -11 - 5*i + 0 + 0*i + 9. Is g(-7) a multiple of 5?
False
Let v be 26877/(-124)*4*1. Does 43 divide (v/(-204))/(1*1/28)?
False
Is 17/((-51)/2) - 337*(-490)/15 a multiple of 13?
False
Suppose 109*b = 134002 - 2112. Does 55 divide b?
True
Let p = 2761 + -1301. Is 20 a factor of p?
True
Let u(v) = 2132*v + 668. Is u(2) a multiple of 14?
False
Suppose 0 = -3*x - 2*m - 82, -5*m - 1 + 21 = 0. Let k be -3*2/(x/25). Suppose -5*q + 366 = 3*y, -4*y + k*q + 119 = -334. Does 13 divide y?
True
Suppose -33 = -b - j, -2*b = j - 8 - 58. Let r = b - 16. Suppose r*d = 14*d + 618. Is d a multiple of 20?
False
Suppose -2*v = -9 - 7. Let j be ((-177)/(-6))/((0 - -2)/v). Suppose -2*h - 89 = -3*x, j + 4 = 4*x - h. Is 5 a factor of x?
False
Let w be (-8)/2 + (5 - -306 - -4). Let p be w/8 - 5/(-40). Is p/(-1)*(22/(-6) + -1) a multiple of 16?
False
Let l = 716 - 435. Suppose 2*u = 5*w + 61 - l, -44 = -w - 2*u. Does 3 divide w?
False
Suppose 31*h + 25*h = 14*h + 178416. Does 118 divide h?
True
Suppose 3*k - 2589 = -2*j, -9*j = -4*j - k - 6498. Does 18 divide j?
False
Is 53 a factor of 15 + (-11 - -2904) + 7?
True
Suppose 84*r - 170106 = -39*r + 221526. Is r a multiple of 16?
True
Suppose 5*x = -2 + 27. Suppose -x*z = -7*z + 6. Suppose -q - 4 = 0, 3*r - z*q - 51 = 87. Is 12 a factor of r?
False
Let o be 2/(-10) + -34*16/(-20). Does 12 divide 47*5 + -21 + o?
False
Suppose 2*h - 27 = -7*h. Suppose 4*q = h - 7. Does 14 divide (-2)/(q - 1) + 70?
False
Suppose 5*x = 0, -11*g - 2*x = -8*g - 4494. Does 5 divide g?
False
Let o be (-4)/((-16)/36) + -1*1. Suppose -3*b = 5*j - o*b + 3245, -1943 = 3*j - 2*b. Is 16 a factor of j/(-10) + 1/(-2)?
True
Suppose -3*b + 67358 = m, -29236 + 6790 = -b + m. Is 157 a factor of b?
True
Suppose -12 = 2*x + 2*x. Is (-4)/(-16) - ((-710)/8 + x) a multiple of 7?
False
Let g be 394528/144 + 4/18. Suppose -6*s + 25 = -s, -4*l + 4*s = -g. Does 23 divide l?
True
Suppose 0 = -m - 3*c + 18975, -c = 707*m - 709*m + 37985. Is 75 a factor of m?
False
Suppose -6*w + 0*w + 18 = 0. Suppose 0 = 2*k - w*g - 257, 3*g - 121 = -k + 6*g. Suppose 0 = 8*f - 4*f - k. Is 5 a factor of f?
False
Let u be (6*-4)/(-3) - (2 - 2). Suppose 0 = -4*i + 4*l - u, -3*l - 8 = -i + 5*i. Let r(c) = -33*c + 10. Does 19 divide r(i)?
True
Let q(k) = 32*k. Let x be ((-2)/(-8))/((-3)/12) - -1. Suppose x = -5*n + 15, -4*n + n + 6 = -r. Does 8 divide q(r)?
True
Let f(j) = 29*j**2 + j - 20. Let k be f(7). Suppose 5*z = z + k. Is z a multiple of 32?
True
Suppose -9*s = -32*s + 80178. Does 9 divide (-3)/2*s/(-83)?
True
Let p(q) = -2162*q - 3659. Is p(-11) a multiple of 83?
False
Does 12 divide ((-198)/165)/((-2)/36)*(-4550)/(-15)?
True
Suppose -18*s = -27*s + 54. Suppose -38 = -s*w + 34. Does 21 divide w/(-5 + 74/14)?
True
Let u(x) = x**3 + 19*x**2 - 22*x - 24. Let p be u(-20). Suppose -4*q + p = -0*q. Suppose -j = -q*j + 408. Is 17 a factor of j?
True
Suppose 3*s - 4*n + 1523 = 0, 2*s + n + 4*n + 1046 = 0. Let x = s + 803. Is x a multiple of 66?
False
Let h be (54/(-9))/(-1 - 9/(-12)). Let v be (-6)/h - 27/(-12). Suppose -v*t = -61 - 41. Is t a multiple of 4?
False
Let z = 190 - 304. Let x = -43 - z. Let b = x + -35. Is 12 a factor of b?
True
Suppose -181*b + 49*b + 3156341 = 157301. Is b a multiple of 95?
False
Let y(f) = -f**3 - 5*f**2 - 32*f + 5743. Is 68 a factor of y(0)?
False
Suppose -8201 - 31313 = -23*f. Is f a multiple of 4?
False
Suppose 7*l - 29*l = -9187 - 35957. Is 36 a factor of l?
True
Let k(a) = 3*a**2 + 41*a - 36. Let i be k(-15). Suppose -i*z = -31*z + 2275. Does 25 divide z?
True
Suppose 3*d - 5*h = 263, h - 394 = -4*d - h. Suppose d = 2*u + 4*u. Is 13 a factor of (-10 - u)*3/(-2)?
True
Suppose -4*v + u + 1727 = 0, 3*u + 2157 = 11*v - 6*v. Does 54 divide v?
True
Let s(x) = 22*x - 156. Let f be s(8). Suppose -8*h = -4*h - 16. Suppose 4*d - f = -2*q, 3*q - d - 41 = h*d. Does 7 divide q?
False
Suppose 0 = l - 5, 80*p - 79*p - 3*l - 497 = 0. Is 8 a factor of p?
True
Let f(t) = -t**2 - t + 19. Let z be f(7). Let i = 112 - z. Does 12 divide i?
False
Let c(v) = -3*v**3 - v - 1. Let f be c(-1). Suppose -g + 3*g = f*g. Suppose -7*a - 2*a + 108 = g. Is a a multiple of 2?
True
Suppose -2*c + 48 = 3*r - 6*c, 0 = -r - c + 9. Suppose 0*k + 4*k = r. Suppose -5*g + 58 = k*d, -g + d - 5*d = 2. Does 10 divide g?
False
Let p(d) = d**3 + d**2 - 15*d - 10. Let q be p(-4). Suppose 4*h + q*b = 38, 2*h - 4*b - 25 = 19. Suppose g - 1638 = -h*g. Is 18 a factor of g?
True
Let w(x) = 1708*x**2 - 1722*x**2 - 2*x + 2*x + x**3 - 6. Let a be w(14). Is 26 a factor of (-104)/10*(a - (4 + 0))?
True
Let o(z) = 8*z**2 + 2*z + 384. Is 147 a factor of o(-17)?
False
Suppose 3*x = 3*b + 3, -3*x - 2*x = -3*b - 7. Let q be (-8 - -6)*(b/(-2) - -2). Is (-132)/q + 9/(-3) a multiple of 7?
False
Let v be (-2 + -4)*(0 - (-26)/(-4)). Let p = v - 37. Suppose 0 = -3*m - 4*c + 78, 5*m + c - p*c = 107. Is m a multiple of 8?
False
Let n(r) = -3*r**3 - 12*r**2 - 10*r + 8. Let d(j) = -10*j**2 + 4*j**3 + 28*j**2 - 34 + 15*j + 22. Let m(f) = -5*d(f) - 7*n(f). Does 3 divide m(7)?
True
Let p(b) be the second derivative of 9*b**2 + 6*b - 13/2*b**3 + 0. Does 14 divide p(-6)?
True
Let y = -22 + 24. Suppose -y*f = 8 - 6. Is 41 a factor of -2 + 2 + 76 - (1 - f)?
False
Let l(b) be the second derivative of -b**5/20 - 5*b**4/4 + 5*b**3/2 + 45*b**2/2 - 3*b. Let h be l(-16). Let y = h - -1. Is 19 a factor of y?
False
Is 1 + (-70480)/(-8) + 9 a multiple of 84?
True
Suppose -4*o - 342 = -2494. Suppose -4*z - 210 = -o. Let m = z + -50. Does 8 divide m?
True
Does 111 divide (-8)/(-14) - ((-1199950)/721 - (-1)/(-7))?
True
Suppose -82*o + 81091 = 5897. Is o a multiple of 116?
False
Suppose 712075 = 99*b - 146354. Is 29 a factor of b?
True
Let b(h) = 1690*h**2 - 26*h - 3. Is 15 a factor of b(2)?
True
Let g = 432 + -294. Suppose 580 = 6*o - 2696. Suppose -g = -3*n - y + 190, -2*y + o = 5*n. Is n a multiple of 22?
True
Suppose 15*r - 28967 = 18553. Is 36 a factor of r?
True
Let h be 1 - -3 - 0/11. Is (h + -1 - 4)*(0 + -137) a multiple of 15?
False
Suppose 2*x + 2 + 14 = 0, 4*x = l - 8642. Is l a multiple of 70?
True
Suppose 0 = -2*v - 15*v + 6*v + 15015. Is v a multiple of 39?
True
Suppose -116766 = -178*y + 28816 + 89378. Does 120 divide y?
True
Suppose 0 = x + 2*r - 2, -34*x + 35*x = r + 5. Let h(u) be the third derivative of u**6/120 - u**5/15 + u**4/8 + 7*u**3/6 - u**2. Is 2 a factor of h(x)?
False
Let c(j) = -641*j + 15. Let i(z) = 320*z - 7. Let u(x) = -2*c(x) - 5*i(x). Is u(-1) a multiple of 17?
True
Let y = 24 - -13. Suppose 25 = -2*m + y. Suppose 0 = m*u - 27 - 261. Does 27 divide u?
False
Suppose -5*j + u + 42 = 0, j + u - 18 = 6*u. Suppose -12 = -5*v + 10*v - 4*k, -5*v + 15 = 5*k. Is (j/10)/((-2)/(-185) + v) a multiple of 15?
False
Let t(z) be the second derivative of z**4/4 + z**3/6 + 119*z**2/2 - 107*z. Let y = -2 - -2. Does 33 divide t(y)?
False
Let s(l) = -11*l**2 + 38*l - 2. Does 4 divide s(3)?
False
Let t(i) be the third derivative of -1/12*i**4 + i**3 + 0 + 4*i**2 + 0*i. Is t(-8) a multiple of 11?
True
Let z(l) = l**2 + 24*l - 184. Does 2 divide z(16)?
True
Suppose 0 = 4*a + 11 + 1, 2*a = -5*u + 14. Suppose 3*l + u*n - 508 = 5*n, 0 = l - 3*n - 180. Suppose x = l - 59. Is x a multiple of 22?
False
Suppose -4*h = -2*l + 176565 - 24339, 0 = 5*h + l + 190293. Is -3 + h/(-54) - 2/(-9) a multiple of 54?
True
Suppose -2*k = 4*m - 274, 2*k + 3*k + 295 = 4*m. Suppose 96 + m = 2*r. Does 9 divide r?
False
Let j(t) = -t**2 - 6*t + 29. Let x(w) = 2*w**2 + 11*w - 58. Let d(z) = -11*j(z) - 6*x(z). Let p be (5 + (30/(-6) - -3) - 4)*0. Is 23 a factor of d(p)?
False
Let c(q) = -10*q - 43. Let r(v) = -2*v**2 + 2. Let j be r(3). Let x be (3 - (-3 + (0 - -3))) + j. Is 8 a factor of c(x)?
False
Is 308552/28 - 54/(-189) a multiple of 103?
False
