22 - i. Does 10 divide p?
True
Let q be 4 + (-1 + 2 - -17). Suppose k = 5 + q. Is 11 a factor of k?
False
Let g(r) = 24*r + 4. Does 3 divide g(1)?
False
Let v be ((-45)/(-1))/(1/(-3)). Is v/(-15)*(-16)/(-3) a multiple of 11?
False
Suppose 10*h - 54 = 7*h. Let x = h + -15. Does 26 divide (-696)/(-9) + 2/x?
True
Let r(d) be the second derivative of -17*d**3/3 - 33*d**2 - 4*d. Is r(-7) a multiple of 57?
False
Let x be (115/46)/(10/24). Is 9 a factor of ((-21)/x)/(2/(-36))?
True
Let w(q) = 140*q + 49. Is w(6) a multiple of 48?
False
Let o(u) = 2*u**2 + 2*u + 161. Does 23 divide o(0)?
True
Suppose -g = 2, -3*l = -0*l - g - 566. Is 31 a factor of l?
False
Let z be (36/48)/(6/40). Suppose -3*n + 428 = z*o - 0*n, -341 = -4*o - n. Is 17 a factor of o?
True
Let l = -22 - -25. Suppose w - 77 = -3*z, l*w - 48 = -2*z - w. Is z a multiple of 10?
False
Is 4/10*(-8 - 4 - -652) a multiple of 15?
False
Suppose -165 = -f - 5*t, 3*f + 4*t = 145 + 383. Is 12 a factor of f?
True
Suppose h - 10 = -3. Suppose 2*y - 49 + h = 0. Is y a multiple of 5?
False
Let q(j) = -2*j**2 - 13*j + 11. Let d be q(-7). Suppose -6*g + 56 = -d*g. Does 9 divide g?
False
Suppose -33 = -2*n + 85. Suppose -2*z + n = 4*r - 15, 0 = 2*z + r - 62. Let s = z - 17. Is s a multiple of 6?
True
Suppose 0 = -56*f + 12902 + 1882. Does 8 divide f?
True
Does 54 divide 3 - (-20*2 - 7)*11?
False
Suppose 73 = -m + 2*m + 4*k, m - 2*k - 67 = 0. Let s = 100 - m. Is s a multiple of 14?
False
Suppose -293 = -4*f - 69. Let k = f - 36. Is k a multiple of 4?
True
Let p(s) = 2*s**2 - 22*s - 23. Let j(t) = -4*t**2 + 43*t + 47. Let d(q) = 3*j(q) + 5*p(q). Does 4 divide d(10)?
True
Let h = 19 - 9. Let w be 66/h - 6/(-15). Suppose -w*s + 986 = 244. Does 26 divide s?
False
Is (-5 - 5 - -179)*5 a multiple of 23?
False
Suppose -3*o + 10 = -n + 31, 0 = 4*n + o - 45. Let v(x) = 15*x + 40. Is v(n) a multiple of 38?
False
Let i be 0/(-2 + (3 - 2)). Suppose -3*v + 10 = 4*g + 31, i = 2*v - 2. Is 7 a factor of (12/10)/(g/(-80))?
False
Let y(a) = a - 5. Let f be y(11). Let x be (-3 - f) + 2 + 0. Let n(g) = -g**3 - 7*g**2 - 5*g + 7. Is n(x) a multiple of 14?
True
Let o(v) = -4*v**2 + 5*v - 28. Suppose 5*m + 2 = 6*m. Let p(g) = g**2 - g + 7. Let z(f) = m*o(f) + 9*p(f). Is z(3) a multiple of 9?
False
Is 80 a factor of 374 + (-16)/4*1/2?
False
Let o = -1 - -4. Suppose c + o*c - 89 = j, 5*c + j = 100. Does 4 divide c?
False
Suppose -41*o + 38775 + 46177 = 0. Is o a multiple of 117?
False
Let z(u) = -223*u + 1079. Is 90 a factor of z(-10)?
False
Suppose 5*u - x + 4*x - 17 = 0, 0 = 2*u + 4*x - 18. Is (7 - 6)*6*u a multiple of 6?
True
Let m(x) = -87*x - 32. Let k be m(-4). Suppose -5*b - 4*r + 720 = -8*r, 0 = -2*b - 4*r + k. Does 9 divide b?
False
Let u(o) = -o**3 + 6*o**2 + 6*o + 7. Let k be u(7). Suppose w + 5*p - 92 = k, -4*p = -3*w - 0*p + 352. Is w a multiple of 16?
True
Let l(h) = -3*h + 3. Let q be l(7). Let x = q - -32. Is x even?
True
Let c(r) = r**2 + r - 38. Is c(-12) a multiple of 47?
True
Let c = -65 + 65. Is 0 + c/(-1) + (-94)/(-2) a multiple of 14?
False
Let y be 244/6*(-18)/(-6). Suppose 5*v - y = 4*v. Suppose -3*w = 9, 2*w - 4*w = 4*n - v. Is 8 a factor of n?
True
Let n(p) = -2*p**2 - 4*p - 6. Let y be n(-3). Does 20 divide 6/2 - 4/(y/291)?
True
Suppose 0 = 2*h - c - 156, -h - 2*c = -6 - 72. Is 19 a factor of 48/(h/66 - 1)?
False
Is 1636 - (744/(-104) - (-4)/26) a multiple of 40?
False
Suppose -2*d + 3*f + 57 = 0, -5*d + 3*f + 80 = -49. Suppose -b - 2*b + d = 0. Suppose b*m - 3*m = 150. Is m a multiple of 15?
True
Suppose -32 = -2*g + 94. Does 9 divide g?
True
Let m be 8/40 + 14/5. Let z be 1*(5 - (m + -1)). Suppose -z*b = -b - 134. Does 22 divide b?
False
Let b be -6 - -1 - (-1 - -2). Let v be 32/b*135/(-12). Suppose -y = -8 - v. Is 17 a factor of y?
True
Let s(a) = -2*a**2 + 16*a - 4. Let f be s(9). Is 16 a factor of f/77 + (-324)/(-7)?
False
Let m(r) be the second derivative of r**7/2520 + 11*r**6/720 + r**5/8 - 13*r**4/12 + 2*r. Let f(c) be the third derivative of m(c). Does 27 divide f(-13)?
False
Suppose -2*q - 2 = f + f, 0 = -f + q + 3. Let h = 21 - f. Does 5 divide h?
True
Is 3*(-88)/(-99)*744 a multiple of 21?
False
Let v be 517/8 - 6/(-16). Let r = v + -24. Is 5 a factor of r?
False
Let k(z) be the second derivative of z**5/20 - 2*z**4/3 + 7*z**3/6 + 5*z**2 + z. Let u be 11 + 15/(-10)*(-32)/(-12). Is 10 a factor of k(u)?
True
Let z(o) = o**3 + 7*o**2 + 2*o + 7. Let w be z(-7). Let s(g) be the second derivative of g**5/20 + 7*g**4/12 - g**3/3 - 8*g + 5. Is 14 a factor of s(w)?
True
Suppose -4*x - 35 + 123 = 0. Suppose w + 32 = 3*i - 3*w, -5*w - 29 = -i. Let u = x - i. Is 6 a factor of u?
True
Suppose 0 = 7*k + 2 + 26. Is -1 + 25 - (k + 30/5) a multiple of 4?
False
Let u(h) = 2*h + 1. Let g be u(2). Suppose -g*a = -a + 44. Let d = a + 22. Is d a multiple of 11?
True
Let y be (-1454)/(-18) - (64/36 - 2). Let p = -62 + y. Does 9 divide p?
False
Let w = 17 - 25. Is w/28 - 48/(-21) a multiple of 2?
True
Does 63 divide (-18)/27*21*414/(-4)?
True
Suppose 0 = -u + 4*p - 1, -3*u + 4*u - 5*p = -2. Let a = u - -22. Is 2 a factor of a?
False
Suppose -13*s = -12*s - 234. Suppose -2*i + s = -202. Let b = -153 + i. Does 9 divide b?
False
Suppose 40*x + 40 = 45*x. Is 2 a factor of x?
True
Suppose n - 2 = -0. Suppose n*s - 18 = 86. Does 13 divide s?
True
Let h = 7 + 2. Suppose -q = -20 - h. Is q a multiple of 12?
False
Let y = -1124 + 1602. Does 14 divide y?
False
Suppose -3*i - 6 = 4*p + 38, -4*p - i - 52 = 0. Is 3 a factor of 15/(-105) - 464/p?
True
Suppose -l - 9 = -4*l. Let j be -2 - (-2)/(-2 + l). Suppose j*f - 79 = -f. Is 32 a factor of f?
False
Let i be 3 + 17*(-2 + 5). Let q = -28 + i. Does 13 divide q?
True
Let z = 2495 + -1487. Is 24 a factor of z?
True
Let a(s) = 21*s**2 + 10*s + 40. Is a(-4) a multiple of 16?
True
Suppose -33 + 37 = j. Let l be 60/35*14/j. Let p(u) = 13*u + 2. Does 20 divide p(l)?
True
Let t(q) = q**2 + 17*q + 18. Let w be t(-15). Does 28 divide (-2)/w + 2680/48?
True
Suppose 57*m + 1560 = 58*m. Is m a multiple of 95?
False
Let w(c) = c**2 + 8*c + 6. Let q be w(-7). Is q + -1 + 1/(3/21) a multiple of 5?
True
Let j = 153 + -85. Let x = j + -40. Does 4 divide x?
True
Let o(n) = -n**3 - n**2 + 7*n + 3. Let g be o(-6). Suppose 435 = 3*u - g. Is 32 a factor of u?
True
Let m(r) = 1 + 2 - 5 + r - 3. Let a be m(3). Is 6 a factor of 27 - (-2 + (a - -7))?
True
Suppose -8 + 58 = -5*w + 3*n, 2*n - 10 = w. Does 4 divide -1 - 39/(-9) - w/15?
True
Does 17 divide ((-3)/12)/(6/(-12))*1462?
True
Let w(f) = -f**3 + 5*f**2 - 4*f + 5. Let i be w(4). Suppose 5 = a, 0*k - i*a = -4*k + 63. Is k a multiple of 7?
False
Let f(o) = 31*o - 11. Suppose -3*h + 4*b + 14 = 0, -5*h + 18 = 10*b - 14*b. Is 9 a factor of f(h)?
False
Suppose -13*z = -11*z - 1668. Is 101 a factor of z?
False
Suppose -4*m + 0*m + 1199 = -5*x, -3*m - 2*x = -928. Is m/42 + -7 - 2264/(-14) a multiple of 27?
True
Suppose 0*i - 2*i + 276 = 0. Suppose 5*q - 42 = i. Suppose y = -0*y + q. Is y a multiple of 18?
True
Let s(l) = -9*l - l**2 + 11 + 9*l. Let u be s(5). Let h = u - -20. Does 6 divide h?
True
Is (-105 - -106)/((-2)/(-5708)) a multiple of 14?
False
Let b = -15 - -35. Suppose 0 = 2*z - z + 1. Is 6 a factor of (b/50)/(z/(-25))?
False
Suppose -828 = 4*t - 8*t. Let c = 301 - t. Is 10 a factor of c?
False
Let c(u) be the third derivative of 3*u**4/8 - 15*u**2. Does 9 divide c(2)?
True
Let m be ((-120)/(-7))/((-2)/(-56)). Let y be (-6)/(-8)*m/3. Suppose 18*f = 20*f - y. Does 10 divide f?
True
Suppose -168 = 3*h - 1164. Is 21 a factor of h?
False
Suppose -3*g - 2*o + 280 = -0*o, 0 = 4*o + 16. Is g a multiple of 6?
True
Let z = 740 - 386. Is 59 a factor of z?
True
Does 21 divide 1/(-3) - (-62114)/78?
False
Let l(r) = -4 + 26*r**2 - 13*r + 15*r + 5. Let k be l(-1). Suppose -2*s - 1 = -k. Is 3 a factor of s?
True
Suppose 53*u = 98*u - 40950. Does 15 divide u?
False
Suppose -4*g = 5*g + 45. Let w(c) = -10*c**3 + c**2 - c + 4. Let p be w(3). Does 15 divide ((-5)/(-4))/(g/p)?
False
Suppose -2*v - 5*k + 84 - 364 = 0, 0 = -v + k - 140. Let h = v - -236. Is h a multiple of 24?
True
Let y be (15 - 19)*17/(-1). Does 12 divide (y/51)/((-1)/(-18))?
True
Suppose -2*d - 43 + 155 = 0. Suppose -v + 144 = 4*o, -v - d + 20 = -o. Is o a multiple of 12?
True
Let r(c) = 3*c**2 