e 0*r = -r + c. Does 11 divide r?
True
Suppose 0 = 4*i + 5*r + 6, 6*i - 3*i = 4*r + 11. Suppose -4*l - 3*y + i = 12, l + 3 = -y. Is 10/((-1)/l - 0) a multiple of 20?
True
Let f be 25/(1 - (-10)/(-15)). Let k = f + -67. Is k a multiple of 2?
True
Suppose 0*p + 3*p - 2*f - 572 = 0, -2*f = 3*p - 592. Suppose -9*i = -7*i - p. Does 22 divide i?
False
Suppose 20384 = 40*z - 14*z. Is z a multiple of 56?
True
Let u = -21 - -26. Suppose -h + u*m - 4*m + 71 = 0, -2*h + 5*m = -139. Does 9 divide h?
True
Suppose -31 = -4*k + 13. Does 2 divide k?
False
Suppose -5*w + 105 = 125, 0 = -5*x - 3*w + 4398. Is x a multiple of 7?
True
Let z be (-276)/66 + 13/11 + -1. Let l(y) be the third derivative of -y**4/12 + y**3/6 - y**2. Is 3 a factor of l(z)?
True
Let h = -607 + 810. Does 2 divide h?
False
Let c = 17 + -50. Suppose -16 = -y + 36. Let g = y - c. Does 10 divide g?
False
Let u(p) = 50*p - 60. Is 13 a factor of u(22)?
True
Suppose 4*o + 22 = -3*t, o + 2 + 0 = t. Suppose -3*p + 21 + 6 = 0. Does 3 divide (42/p)/(o/(-6))?
False
Suppose -8*d + 211 - 67 = 0. Is 18 a factor of d?
True
Suppose -25*c + 26*c = 801. Is 89 a factor of c?
True
Let z(l) = 6*l + 6. Let p be z(-6). Let v be (8/(-5))/(12/p). Suppose 2*s - 15 = -v*u + 5, u + 10 = 2*s. Does 6 divide s?
True
Let p(r) = 17*r**2 + 23*r. Does 14 divide p(-6)?
False
Suppose 46200 = -6*u + 31*u. Is 14 a factor of u?
True
Does 20 divide 3760/22 + 23/253?
False
Is 26 a factor of (((-4)/3)/2)/((-410)/1407120)?
True
Suppose 0 = 5*m - s - 15 - 14, -m = -5*s - 25. Suppose -2*a + 24 = 2*a + 4*y, 0 = m*y - 15. Let u = a + 19. Does 7 divide u?
False
Suppose 34*z = -3*z + 46176. Does 39 divide z?
True
Let x be 1912/(-6)*(-48)/32. Suppose 2*b + 2*b + d = x, 0 = 5*d + 10. Is 40 a factor of b?
True
Suppose 3*m - 14 - 1 = 0. Suppose -4*v + f + 80 = 0, v = -2*v - m*f + 83. Is v a multiple of 7?
True
Does 36 divide (-32)/72 - 4544/(-18)?
True
Let p(m) = -67*m + 22. Let x be p(-9). Does 7 divide 1*(3 + x)/4?
False
Let k = 17 - 57. Is 10 a factor of ((-15)/(-10))/(6/k)*-2?
True
Let h = 698 - 309. Suppose 0 = -2*c + 4*g + 226, -c + 4*c = -4*g + h. Is 13 a factor of c?
False
Suppose 4*x = -57 + 517. Let n = -16 + x. Is 12 a factor of n?
False
Suppose -2*k + 844 = 4*f, -2*f - 1265 = -3*k - 7*f. Is k a multiple of 60?
True
Suppose t - 2*g - 267 + 30 = 0, 3*g - 666 = -3*t. Does 14 divide t?
False
Suppose 2*l - 112 = 144. Let v = -32 + l. Is v a multiple of 18?
False
Suppose -12*c + 15*c + 18 = 0. Let j be c/9*(-7 - -1). Does 3 divide j*2/((-12)/(-27))?
True
Let r = -6 + 6. Suppose -11*i + 13*i - 280 = r. Does 10 divide i?
True
Suppose -2*n = -96 + 298. Let h = n - -37. Let t = h + 96. Is 16 a factor of t?
True
Let a = 828 - 298. Does 4 divide a?
False
Suppose 4*l + p = 6 + 45, 3*l = p + 47. Suppose 2*i = i - 2*b + 28, -25 = -5*b. Let x = i - l. Is 4 a factor of x?
True
Let z(p) be the first derivative of -p**4/4 - 5*p**3/3 - p**2/2 - 14*p - 7. Is 7 a factor of z(-6)?
True
Let m = 1246 - 1138. Is 18 a factor of m?
True
Let m(v) = v**3 + 10*v**2 - 2*v - 15. Let a be m(-10). Suppose -3*c = a*g + 12 - 57, -5*c + 91 = 3*g. Does 34 divide 10/c*2*37?
False
Suppose 3*w + 2*w = 0. Let u(t) = 5*t**3 - 5*t**2 - t - 36. Let v(j) = -11*j**3 + 11*j**2 + 2*j + 72. Let z(s) = -9*u(s) - 4*v(s). Is 13 a factor of z(w)?
False
Suppose -4*q = -q - 3*y - 270, 3*q + y = 290. Suppose -5*r + q = -5*o - 35, 2*r + 4*o = 46. Is 7 a factor of (-4)/10 - (-310)/r?
False
Let n(s) = -9*s - 5. Let w(m) = -4*m - 7. Let o be w(-3). Let h be n(o). Is 6 a factor of -14*(-4 - h/35)?
True
Suppose -p = -5*l - 5, p = -3*l + 5 - 0. Suppose 66 - 226 = -p*y. Does 4 divide y?
True
Is 8 a factor of (175/(-70))/((1 + 2)/(-1446))?
False
Suppose p = -3*q + 69 + 73, 0 = -5*q + 10. Suppose 6*o - 10*o = -p. Is 3 a factor of o?
False
Let f = -13 + 13. Let q(n) be the third derivative of n**4/24 + 16*n**3/3 - 3*n**2. Does 16 divide q(f)?
True
Suppose w - 4 = -2*g, w + 4*w = -10. Suppose 63 = r + l, -g*l - 345 = -5*r - 2*l. Is r a multiple of 17?
True
Let p = -78 - -321. Is p a multiple of 27?
True
Let s be (-2)/(-3) + (-4)/6. Suppose s = -4*w + 29 + 47. Suppose 2*o - w = 17. Is o a multiple of 6?
True
Suppose 15*u - 6*u = 7*u. Is -3 + 16 + (u - 1) a multiple of 6?
True
Is 35 a factor of ((-12)/(-5))/(40/1300)?
False
Let u(y) = -30*y + 4. Let p be u(-6). Suppose -3*c - 4*g + p = 0, 3*g = 4*c + 8*g - 245. Is 20 a factor of c?
True
Let s be 7 + -8 + (-802)/(-2). Suppose 2*m = -6*m + s. Does 11 divide m?
False
Suppose 0 = -4*d, d + 0 = x - 2. Suppose -14 - x = -4*c. Suppose 6*h = h - 3*o + 180, -c*o = -5*h + 215. Is h a multiple of 11?
False
Let a = -23 + 45. Suppose 6 = 3*o, 3*h = 4*h - 5*o + 9. Is 22 a factor of (5 - 3)/(h/a)?
True
Suppose 16*a - 11*a - 5 = 0. Is 7 a factor of (3 + -29)*1/(-2)*a?
False
Let b = -33 + 37. Suppose -b*h + 4*j = -7*h + 196, j = 3*h - 191. Does 24 divide h?
False
Suppose 98*r = 91*r + 686. Is r a multiple of 14?
True
Suppose 5*t = -2*r - 17, -3*r + 9*t - 13 = 4*t. Is 14 a factor of (-60)/9*((-567)/r)/(-9)?
True
Let k(h) = h**3 - 14*h**2 + h - 15. Let x(i) = -3*i**3 + 41*i**2 - 4*i + 44. Let b(v) = 17*k(v) + 6*x(v). Let y = -43 + 49. Is 13 a factor of b(y)?
True
Let x be 1/(-2) + (-19)/(-2). Let r(f) = f**2 - f. Let a be r(1). Let c = x + a. Is 3 a factor of c?
True
Let q = -133 + 215. Suppose -3*v = -o + 28, 2*v - 18 = -o + 15. Let i = q - o. Does 16 divide i?
False
Suppose 1 - 2 = y. Let j be (y + 6 - 2) + -3. Suppose -3*t = 4*n - 328, 3*t = n - j*t - 97. Is 24 a factor of n?
False
Is 15 a factor of (-1620)/4*(-10)/30?
True
Let j(f) = -6*f**2 - 74*f + 18. Does 5 divide j(-12)?
False
Is (-1 + (-70)/6)*(-58 - 20) a multiple of 76?
True
Suppose 56*q = 34*q + 1980. Does 10 divide q?
True
Let k = 663 - 473. Does 10 divide k?
True
Let v(y) = 93 - 10*y**2 - 33 - 40 - y**3 + 33*y. Does 13 divide v(-13)?
False
Let w(g) = 11*g**3 - 2*g**2 + 2*g - 2. Let f be (-2)/(-14) + 26/14. Let i be w(f). Suppose 0 = 2*d + 4 - i. Is 13 a factor of d?
True
Suppose -w + 0*w + 3 = 0. Let q(r) be the first derivative of r**4/4 - 2*r**3/3 + r**2/2 + 3*r + 108. Is 15 a factor of q(w)?
True
Suppose -1455 = -4*v + 11*s, -3 + 23 = -4*s. Is v a multiple of 5?
True
Let z be 3 + (-1)/1*1. Suppose y = z*d + 2*y - 47, -3*d = 4*y - 78. Does 4 divide d?
False
Suppose 0 = 5*s - 5*k + 80, 0 = 5*s - 4*k + 28 + 57. Let p = -20 - s. Suppose g - 2 = 0, p - 37 = -x + 3*g. Does 14 divide x?
True
Let p = -9 + 7. Let v be ((-17)/(-1) + p)*17. Suppose v = 2*o + 3*o. Does 13 divide o?
False
Suppose -8426 = -12*c - 10*c. Is c a multiple of 18?
False
Is ((-5)/15)/((-8)/11496) a multiple of 11?
False
Let z = 619 + -254. Is 95 a factor of z?
False
Let h(g) = -g**3 - 5*g**2 + 4*g - 4. Let t be (-1 - 0) + (-11 - -3). Let a(s) = -s**2 - 9*s - 6. Let f be a(t). Is h(f) a multiple of 8?
True
Let x(l) be the second derivative of l**5/20 + 3*l**4/4 + 5*l**3/3 + 2*l**2 + 82*l. Let n(h) = -h - 2. Let f be n(5). Is x(f) a multiple of 16?
True
Suppose 7*k - 1667 = 1000. Is k a multiple of 10?
False
Let t(s) = -5*s. Let b = -10 + 8. Let q be t(b). Is 18 a factor of 64/q*200/16?
False
Suppose -5*c + 31 = -24. Suppose 0 = 4*g - w - 4*w + c, -g - 2*w = -7. Is 13 a factor of -5 + 4 + 31*g?
False
Suppose -3*b - 55 = -5*z + 53, 5*z - 112 = 2*b. Is 4 a factor of z?
True
Let r(j) = j**3 + 33*j**2 + 56*j + 64. Does 27 divide r(-29)?
False
Let z(k) = k**3 + 4*k**2 - 2*k. Let t be z(-4). Suppose 0 = -t*h + 4*h + 60. Is (h - (6 + -3)) + 1 a multiple of 8?
False
Suppose 90*w - 6468 = 83*w. Does 44 divide w?
True
Let o(t) = -2144*t**3 - t**2 + 5*t + 4. Does 17 divide o(-1)?
True
Let g = -66 + 69. Suppose -h - g*f = -132, h - 102 = -0*h + 3*f. Is h a multiple of 24?
False
Let d = 7 - 7. Let b be (-3 + d)/3*-2. Suppose -5*z - 2*y = -165, 2*y = -b*z + 3*y + 66. Is z a multiple of 11?
True
Suppose 655 + 5585 = 24*x. Is x a multiple of 13?
True
Let h be (75/10)/(3/(-30)). Is 12 a factor of (-4)/(-30) + (-1790)/h?
True
Let p(v) = v**3 + 23*v**2 + 50*v - 34. Is p(-20) a multiple of 2?
True
Let f(v) = 2*v**3 + 15*v**2 + 3*v + 16. Does 5 divide f(-7)?
False
Let s(x) = 5*x - 24. Let j(o) = o. Let k(r) = 4*j(r) - s(r). Let p be k(0). Is 10 a factor of ((-10)/(-4))/(2/p)?
True
Let k(n) = -3*n - 10. Let t be k(-4). Suppose 4*y - y = t*m + 20, 0 = 3*y - 5