r*p = p + 20. Suppose -p*h + 88 = -h. Is 7 a factor of h?
False
Suppose -3*v + t - 2*t = -13, -3*t + 23 = 5*v. Let f be 6 + -4 + -3 + v. Suppose -5*a - f*c + 271 = 0, -5*c + 165 = 3*a - 2*c. Does 15 divide a?
False
Suppose -88*l + 102*l - 13034 = 0. Is 14 a factor of l?
False
Suppose g + 4*g = -65. Let q = -25 - 9. Let m = g - q. Is 7 a factor of m?
True
Is (12896/24)/((-2)/(-3)) a multiple of 6?
False
Let v = -170 - -299. Is 21 a factor of v?
False
Let l be 12/(-10)*(-10)/4. Suppose -3*o + 12 = 0, u + o = l*o + 71. Is u a multiple of 12?
False
Suppose 0 = -47*f + 44*f + 9. Suppose -3*r = f*r - 486. Is 27 a factor of r?
True
Let j(i) = i**3 - 2*i**2 + i + 115. Let x = 76 - 76. Is j(x) a multiple of 41?
False
Is ((-12)/5)/(40/100) - -233 a multiple of 17?
False
Let h = 113 - 81. Suppose -3*g + h = 11. Is g a multiple of 4?
False
Let s be (-28)/8*(-12)/21. Suppose 7*n - 700 = s*n. Is 13 a factor of n?
False
Is 82/410 + (-11338)/(-10) a multiple of 27?
True
Suppose 3*b - 6 = 435. Let w be (-219)/12*(-36)/3. Let p = w - b. Is 24 a factor of p?
True
Let o = 294 + -229. Does 4 divide o?
False
Let k = 3802 - 2962. Is 14 a factor of k?
True
Does 45 divide (720/28)/(3/42)?
True
Let u = -6 + 10. Suppose -3*l = -u*g + g - 9, 6 = -2*g + 4*l. Let f = g + 6. Is f even?
False
Let x be ((-21)/(-6))/((-2)/(-4)). Let m = 21 - x. Let h = m - 9. Is 5 a factor of h?
True
Suppose -3086 + 2786 = -10*w. Is 10 a factor of w?
True
Let n(f) = -f**2 - 3*f + 8. Let g be n(-4). Suppose 16 = k - 2*i - 2*i, 4*k - g = i. Suppose -3*c = 3*x - 117, 4*c + 16 = -k. Is x a multiple of 17?
False
Let x be -175 - ((-4)/10)/((-12)/30). Let c = x - -308. Is c a multiple of 37?
False
Suppose -5*b = -3*b. Let j be -10*((-3)/6 + b). Suppose j*k + 12 - 82 = 0. Does 10 divide k?
False
Let k(u) = u**2 - 7*u - 12. Is 9 a factor of k(12)?
False
Suppose -5*t - 35 = -198*f + 194*f, 5*f + 36 = -t. Let u be (-50)/(-1) + 0 + -1. Let g = t + u. Is g a multiple of 17?
False
Let d(n) = -27*n + 7. Let t be d(-3). Let w(b) = -b**3 + b**2 + 56. Let y be w(0). Suppose 3*k - t - y = 0. Is 9 a factor of k?
False
Let g(z) = -37*z - 6. Suppose -3*y = -2*y + 3. Is g(y) a multiple of 35?
True
Let i = -195 - -661. Does 25 divide i?
False
Let h(y) = -36*y + 222. Does 2 divide h(5)?
True
Let r(g) = -2*g**2 + 57*g + 5. Is r(20) a multiple of 20?
False
Suppose 20*l - 13910 = 8930. Does 63 divide l?
False
Let b = 854 + -449. Is b a multiple of 27?
True
Suppose -11*r = -6*r - 2355. Does 26 divide r?
False
Suppose 3*d - 657 - 495 = 0. Suppose 114 = -5*h + d. Suppose 0 = -s - 3*w + h, -5*s = 4*w + 64 - 279. Is s a multiple of 13?
True
Suppose 0 = 48*s - 52*s + 84. Does 7 divide s?
True
Suppose 1 = -3*w + 16, 0 = -5*k + 2*w + 10. Does 12 divide 56/(-6)*(-30)/k?
False
Is 92 a factor of (-30597)/(-126)*(-24)/(-4)?
False
Let j(f) = -3*f - 17 + f**2 + 0*f + 19 + 3*f**2. Is j(2) a multiple of 3?
True
Let b be 6/12*(0 - 0). Suppose 2*o + o - 159 = b. Suppose -5*c + 3*k + o = 8, -5*k - 35 = -5*c. Is 6 a factor of c?
True
Let o = -44 + 88. Suppose o = 2*z + 8. Let h = z + -14. Is h a multiple of 2?
True
Let q(c) = 47*c - 5. Let m be q(4). Suppose -4*o + 728 = 3*o. Let n = m - o. Is n a multiple of 16?
False
Let i = -18 - -12. Let n(y) = -y**3 - 10*y**2 - 2*y + 3. Let r(v) = -2*v**3 - 19*v**2 - 3*v + 5. Let f(z) = 5*n(z) - 3*r(z). Is f(i) a multiple of 14?
True
Let s(x) = x**3 - 8*x**2 + 4*x + 5. Let b be s(6). Let t = -13 - b. Does 30 divide t?
True
Suppose -7*u + 24 = -74. Suppose 11*q - u*q = -210. Is 10 a factor of q?
True
Suppose -4*u = 4*x - 3148, 92*x - 807 = -u + 95*x. Does 60 divide u?
False
Let p(o) = o**3 - 4*o**2 + o. Let u be p(1). Let z be u + 48 + (-1 - 3). Suppose -2*n + z = n. Is 14 a factor of n?
True
Does 23 divide 70/105 + (-35104)/(-12)?
False
Let n be 4538/6 + (-15)/45. Suppose -25*a + 18*a + n = 0. Is 18 a factor of a?
True
Let s(l) = -l**2 - 2*l + 10. Let j be s(-4). Let w(t) = -t**3 + 4*t**2 - 3*t + 1. Let p be w(2). Suppose -63 = -j*k + p. Is k a multiple of 11?
True
Let f(j) be the second derivative of j**4/6 - 13*j**3/6 - 16*j**2 + 2*j. Does 20 divide f(-6)?
False
Suppose -f + 99 - 161 = 0. Does 5 divide 3/(5/5) - f?
True
Suppose 2*y = 6*y - 2300. Suppose -7*m + 139 = -y. Is m a multiple of 9?
False
Suppose 0 = 3*f + 4*p - 220, f = -4*p - p + 77. Suppose -3*a - a = -f. Let c = 18 + a. Is 6 a factor of c?
True
Suppose -3*a + 4*n + 471 + 399 = 0, 0 = -5*a + 4*n + 1458. Is a a multiple of 14?
True
Let y be 0/(-5 + -1 + 3 - -2). Suppose y*i = -2*s + 3*i + 103, -4*i - 152 = -3*s. Does 11 divide s?
True
Suppose x - 2 = -4*c + 2, 3*c + 6 = 0. Suppose 0*r = 3*d - r - 1, 3*r + x = 0. Does 14 divide -2 + d - -1*54?
False
Suppose -31*q + 32*q - 180 = 0. Is 18 a factor of q?
True
Let y(b) = 3*b - 13. Let s(m) = -m**2 + 10*m + 1. Let z be s(9). Let d be y(z). Let o = d + 116. Is 35 a factor of o?
False
Let d(j) = -j**3 + 2*j**2 + 2*j + 37. Let m = -91 + 91. Is d(m) a multiple of 16?
False
Suppose -z + 5 = 0, -a - 6*z + 246 = -5*z. Let r = -111 + a. Is r a multiple of 26?
True
Suppose 0 = 2*d - 5*p - 1532, -2*p - 3788 = -4*d - d. Is d a multiple of 12?
True
Is 1 - ((-3)/6 + 748/(-8)) a multiple of 8?
False
Let c(r) = 21*r**2 - 2*r + 23. Is c(4) a multiple of 7?
False
Let z(v) be the third derivative of 5*v**4/12 + 3*v**3/2 + v**2. Suppose 9*h = 3 + 69. Does 19 divide z(h)?
False
Does 7 divide (2/(10/(-425)))/((-3)/24)?
False
Let a(l) = l**3 - 5*l**2 + 5. Let f be a(5). Suppose -5*d - 4*s + 9 = 0, 5*s - f = -2*d - 3*d. Suppose 5*z - c - 155 - 22 = 0, -z = -d*c - 21. Does 21 divide z?
False
Does 10 divide (-7)/2*(-19 - (77 - 4))?
False
Let s(b) = b**3 - 5*b**2 + 2*b - 6. Let d be s(5). Suppose -d*h + 8*n + 10 = 3*n, 2*n = h - 1. Suppose -h*j + 2*j = -5*c + 102, j = -4*c + 68. Does 9 divide c?
True
Let b(l) = -13*l + 185. Is b(6) a multiple of 48?
False
Suppose 65910 - 20550 = 18*w. Does 32 divide w?
False
Does 16 divide -824*11/33*-6?
True
Suppose 105 = x - 78. Does 13 divide x?
False
Suppose -6 = -7*v + 4*v. Suppose -11*a - 49 + 170 = 0. Suppose 17 + a = 2*t - v*s, -t = -2*s - 18. Is t a multiple of 3?
False
Let y(t) = -t**2 + 4*t. Does 2 divide y(3)?
False
Let i(j) = -11*j**2 + 68*j - 24. Let k(q) = 7*q**2 - 45*q + 16. Let w(l) = -5*i(l) - 8*k(l). Is 16 a factor of w(6)?
False
Let y(d) = -2*d**3 - 32*d**2 - 2*d - 7. Let h be (80/25)/(1/(-5)). Is y(h) a multiple of 5?
True
Let t(b) = 173*b**2 - 34*b + 108. Is 10 a factor of t(4)?
True
Let r be 548/16 + 1/(-4). Suppose 5*l = v + 2*l - r, 0 = -4*v - 4*l + 168. Is v a multiple of 10?
True
Let m(n) = 40*n + 34. Does 36 divide m(7)?
False
Let n be 770/((-20)/(-4)) - 4/(-1). Suppose 4*d - 5*a = n - 55, -5*a = -2*d + 39. Does 8 divide d?
True
Suppose -c + 3 = 0, 5*r - 3*c - 57 = -7*c. Suppose 0 = -13*x + r*x + 396. Does 14 divide x?
False
Let u = -24 - -34. Let g = -26 + 64. Suppose -4*w - p - 3 = -g, 0 = 2*p + u. Does 3 divide w?
False
Let k(m) = 8*m**2 + m + 10. Does 6 divide k(-2)?
False
Let f = 3100 + -1989. Is f a multiple of 3?
False
Let r = 2591 + -1596. Is r a multiple of 24?
False
Suppose -353*n + 351*n + 920 = 0. Is n a multiple of 46?
True
Let b be ((-6)/(-5))/(13/65). Suppose 2*f = 2*d + b, -d - 6 = 4*f + d. Suppose f = -5*z + 31 + 24. Does 11 divide z?
True
Let o(a) = a**2 + 2*a - 6. Is 9 a factor of o(13)?
True
Let r be 6/27 - 496/(-36). Suppose 0 = -3*s + 2*u - 9, u - 6*u + r = s. Is 3*s + -6 + 17 a multiple of 4?
True
Suppose -4*a = 5 + 7, -2*a - 106 = -5*f. Is 25 a factor of (-126)/(-5) + (-4)/f?
True
Let d = -1010 + 1174. Does 41 divide d?
True
Suppose 0 = -55*q + 56*q - 2*k - 2319, 2*q + k = 4643. Is 42 a factor of q?
False
Suppose 5*b + u - 205 = -4*u, 5*b + 4*u - 209 = 0. Is 5 a factor of b?
True
Let z(n) = -3. Let a(l) = l + 6. Let s(j) = -2*a(j) - 5*z(j). Let r be s(3). Does 8 divide 22 + r/((-3)/2)?
True
Let h = -441 + 632. Is h a multiple of 5?
False
Let g(k) be the second derivative of k**4/2 - 7*k**3/6 - 7*k**2/2 + 8*k. Let y(x) = -x**2 + x + 1. Let q(c) = -2*g(c) - 18*y(c). Is 14 a factor of q(-2)?
True
Let r = -250 + 586. Is r a multiple of 42?
True
Let v = -5 + 15. Suppose 3*h - 62 + 47 = 0. Suppose -h = -3*f + 4*u, -4*f + 5 = 3*u - v. Does 2 divide f?
False
Let y be -1*(-1 + 2) + 1. Suppose y = -3*o - 1 - 2. Does 4 divide o/(-3) + 234/27?