True
Suppose -10*x - 4*t + 9648 = -5*x, 5*x + 2*t - 9654 = 0. Is 69 a factor of x?
True
Let h be 1*95/(-20)*20 - -1. Let k = 134 + h. Is 18 a factor of k?
False
Let v be (-1)/(230/(-76) - -3). Let q = v - 28. Is q*(7/2 - 3) a multiple of 4?
False
Let f be 36 - (2 - 0)/2. Let t be (-2)/2*(-9 + 8). Let d = f + t. Does 11 divide d?
False
Let g(p) be the third derivative of -1/24*p**4 - 17*p**2 + 1/30*p**5 + 0 + 0*p - 22/15*p**6 - 1/3*p**3. Is g(-1) a multiple of 27?
False
Suppose 3*m = 5*p - 7, -3*p = -2*m - 3*m - 1. Does 17 divide -5 - (-39 + (-2 - (m - 3)))?
True
Let g(i) = -i**3 - 4*i**2 + 12*i + 26. Let x be g(-5). Let m be ((-12)/(-8))/(x/1380). Let v = -83 - m. Is 19 a factor of v?
False
Let n(f) = f + 5. Let s be n(-7). Let x = s - -2. Suppose r - 3*q = 71, -q + 177 = 2*r - x*r. Does 28 divide r?
False
Suppose -10*p + 26 = -14. Suppose d + k - 2 - 4 = 0, d = -p*k - 9. Is d a multiple of 11?
True
Suppose 9*b - 102 = -120. Does 23 divide 1 + (-6 - (-1126 - (-12)/b))?
True
Let o(x) = 79*x**2 - 5*x + 11. Let m be o(7). Suppose -14*v - m = -1047. Let f = -81 - v. Is f a multiple of 17?
True
Let o(l) = 10*l + 67. Let y = 226 - 208. Does 13 divide o(y)?
True
Let p be (-4)/5 - 131/5. Let s be (70/(-6))/(-3*(-3)/p). Let g = -2 + s. Is 33 a factor of g?
True
Let c be (66/9 + -2)*3. Suppose c = 7*a - 19. Suppose 4*l = -2*r + a*r - 194, -5*l = -2*r + 120. Does 14 divide r?
True
Suppose 4*n - 56857 = -3*h, -33770 = -4*h + 2*n + 42098. Is 63 a factor of h?
True
Is 37 a factor of (-5 - -125)*(2 - -7)?
False
Suppose 5*o + 4*z = 11255, -99*z + 104*z = o - 2251. Is 9 a factor of o?
False
Let d(n) be the third derivative of 65*n**4/24 - 24*n**2 + 2. Is d(4) a multiple of 30?
False
Let g be 100/(-16)*6/15*-2. Suppose -g*p + 5*y - 2*y = 8, -4*p + 3*y = 7. Does 11 divide (-7 - (-2 + p)) + 30?
False
Let x(o) = o**3 + 23*o**2 - 27*o - 43. Is x(-23) a multiple of 2?
True
Let n(g) = -5*g**2 - 68*g - 14. Let j be n(-15). Let u = j + 123. Suppose -u*q - 57 = -549. Does 20 divide q?
False
Let y be 14 - (5 + (-15)/2)*-2. Is 12 a factor of ((-159)/y)/(1/(-3))?
False
Suppose 4*b - 12 = 5*q, 3*q + 7*b = 4*b + 9. Suppose -9*k + 8*k - 240 = q. Does 7 divide (-1 + 15)*29/((-1624)/k)?
False
Let x(z) = 1398*z - 1034. Is x(3) a multiple of 30?
False
Suppose -4*v + 48 + 2 = -2*x, 5*x = v - 125. Let f be 350/x - 4/(-1). Does 18 divide 2/f - 2037/(-35)?
False
Let f(t) = 37*t**2 - 20*t + 163. Is f(7) a multiple of 146?
False
Let s(w) be the first derivative of -8*w**2 + 29*w - 2. Let o(i) = 31*i - 58. Let k(t) = 3*o(t) + 5*s(t). Does 5 divide k(7)?
False
Let z be ((-5 + 65)/(-4))/(-3). Let m be 11 + (z - (2 - -8)). Does 18 divide 3/(m/8) - (-10 - 274)?
True
Let x(h) = -h**3 - 8*h**2 - 12*h + 4. Let w be x(-6). Let f be 0/w - 1 - -1. Suppose f = -3*k + 83 + 115. Does 23 divide k?
False
Let h(o) = -21*o + 69. Let k be h(-18). Suppose -5*m = -0*m + 2*i + 452, -5*m = -3*i + k. Is 30 a factor of (27/2)/((-5)/m)?
False
Suppose 1 + 15 = -4*k, -c + 5*k + 5262 = 0. Does 39 divide c?
False
Let x = -8641 + 9719. Is x a multiple of 14?
True
Let t(c) = -2*c**3 + 87*c**2 + 51*c - 104. Is 28 a factor of t(34)?
False
Let l = -84 + 93. Let x be l/15*2*(-660)/(-18). Suppose x*q = 40*q + 704. Does 31 divide q?
False
Let p(y) = -118*y + 7. Let j(t) = 52*t - 158. Let w be j(3). Is 27 a factor of p(w)?
True
Let c(o) = -104*o + 27. Let b be c(12). Is 104/(-6)*b/22 + 4 a multiple of 69?
True
Suppose -7*t = -2*t - 150. Let k = 21 - t. Let r = 57 + k. Does 12 divide r?
True
Let q(b) = -28*b + 2. Let v be q(1). Suppose 7*z = 5*z - 2*w - 1508, 4*w = 0. Is (-1 - -3)/(v/z) a multiple of 8?
False
Suppose 55*y + 438240 = 121*y. Is y a multiple of 83?
True
Is 2 + (-9 + 6 + -1184)*-4 a multiple of 25?
True
Let m(l) = 118 + 28*l - 65 + 101. Is m(0) a multiple of 11?
True
Suppose 2*u = -o + 1463, u - 960 = -5*o - 224. Let s = 2126 - u. Is s a multiple of 31?
True
Let q = 79 - -712. Let s(g) = g**2 - g + 809. Let p be s(0). Suppose 0 = 5*z - q - p. Is 17 a factor of z?
False
Suppose 5*s + 2*j = 6, -5*s + 44 - 40 = 3*j. Suppose d = -2*d - 3, -4*u + 1330 = s*d. Is u a multiple of 8?
False
Let l = 24777 + -19913. Is 16 a factor of l?
True
Let s be (-13)/((-273)/2553) + (-8)/14. Let r = 112 + s. Does 12 divide r?
False
Let a be (183/6)/(0 - (-3)/42). Let j = 3 + a. Suppose m + 0 - 68 = -4*y, -2*y = 5*m - j. Is m a multiple of 22?
True
Let g(s) = s**3 + 19*s**2 - 2*s - 31. Let d be g(-19). Suppose 6*h + d*h = 4368. Does 24 divide h?
True
Let g be 4011/(-6)*48/(-24). Let c = g + -94. Is 11 a factor of c?
True
Let w = -160 + 168. Let r(t) = 80*t - 280. Is 24 a factor of r(w)?
True
Let c(h) = h**3 + 2*h**2 + 3*h + 3. Let s be c(-1). Let k = s + 472. Is 43 a factor of k?
True
Is 3518/(((-4)/(-54))/((-16)/(-144))) a multiple of 39?
False
Let o(x) = 6*x + 11. Let y be o(0). Suppose y*z = 7*z + 1764. Does 63 divide z?
True
Suppose 0 = -2*i + 2*v + 1426, 1391 = -7*i + 9*i + 5*v. Suppose 5*d - 20 = 0, 9*d - 14*d = -2*o + i. Is o a multiple of 5?
False
Let h = 382 + -557. Let y = h - -248. Suppose y*i = 77*i - 124. Is 5 a factor of i?
False
Let l = 10 + -18. Let s be 3/((-108)/(-5824)) + l/(-36). Let h = s + -38. Is 31 a factor of h?
True
Suppose 6*u - 3*u = -12, -4*u = 5*n - 3464. Suppose 294 + n = -5*r. Let w = r - -314. Is w a multiple of 13?
False
Suppose -21*m + 56312 = -46336. Suppose -1391 - m = -13*k. Is k a multiple of 4?
False
Is 17 a factor of ((-76568)/(-14))/(-12 - 172/(-14))?
True
Let o = 25 - 25. Suppose -37 = -o*z - 2*z - w, -2*w = -2*z + 40. Suppose 18*u - z*u + 300 = 0. Does 49 divide u?
False
Let l(w) = -6*w**2 + 34*w + 18. Let h = 610 - 604. Does 2 divide l(h)?
True
Let t be (((-231)/(-5))/(-1))/(26/130). Let m = t + 609. Is 7 a factor of m?
True
Suppose 38*y - 32*y = 0. Let l(r) = 10*r + 93. Is l(y) a multiple of 14?
False
Suppose -114*l - 19104 = -118*l. Suppose -1104 = 6*y - l. Is 18 a factor of y?
True
Let v(z) be the first derivative of 20*z - 1/2*z**2 - 33. Is 2 a factor of v(11)?
False
Let t(w) = 0*w - 1 - w + 2*w. Let l be t(-11). Let h = l + 88. Does 22 divide h?
False
Suppose 4*t - q - 58 - 31 = 0, -3*q = t - 19. Let v(a) = 2*a**2 - a + 18*a - t + 47. Is v(-14) a multiple of 39?
False
Suppose -257*k + 261*k = 20. Suppose -12*x + 4340 = -k*x. Is x a multiple of 20?
True
Let r(p) = 15*p**3 - 3*p**2 - 11*p + 13. Does 60 divide r(5)?
False
Let f = 23435 + -13640. Does 35 divide f?
False
Suppose -4*b = -4*w - 13248, -5*b + 9*b + w - 13248 = 0. Suppose -12*f + b = -6*f. Does 12 divide f?
True
Suppose -1323215 + 3217166 = 138*f - 2339475. Is f a multiple of 20?
False
Let h be 1610/4*42/105. Let u = h - 40. Is 25 a factor of u?
False
Suppose 0*u + u = 5*q - 12, q - 12 = -3*u. Let y(r) = q*r**2 + 28*r + 3 - 9 - 4. Is y(-15) a multiple of 35?
True
Let d = 4846 + 5124. Is d a multiple of 5?
True
Let r = 40 + -30. Suppose r*s = 626 + 6664. Does 27 divide s?
True
Suppose 7*z = 12*z - 2015. Let r = z - 149. Does 7 divide r?
False
Let z(l) = 16*l + 2. Let s(v) be the second derivative of -v**3/6 + 13*v. Let w(x) = 3*s(x) + 3*z(x). Is w(3) a multiple of 18?
False
Suppose -d + 8 = -3*l - 2, 0 = 4*d - 2*l - 20. Suppose 4*k = -4, -d*k = -5*r - 5*k + 49. Does 5 divide r*((-45)/(-10) + -1)?
True
Let u be ((-16)/(-4) - 3)/(0 - 1). Is 23 a factor of 6/(-17 + u) - (-1820)/6?
False
Let l(b) = 2*b**3 + 13*b**2 - 48*b + 619. Is l(23) a multiple of 17?
False
Suppose -16*u - 12 + 252 = 0. Suppose -3*o - u = 0, 2*o - 265 = -5*p - 0*o. Is 3 a factor of p?
False
Suppose 41763 = 107*o + 14906. Suppose 0*k = -4*k + 248. Suppose -k + o = 9*g. Does 7 divide g?
True
Does 65 divide 42/6*747 + 2?
False
Suppose 0 = 5*r - 2*n - 10965, -11*n - 8775 = -4*r - 10*n. Does 111 divide r?
False
Let b(z) = z + 4. Let j be b(0). Suppose -j*d - 4*d = 176. Let v(w) = -w + 38. Is 20 a factor of v(d)?
True
Suppose 5*k - 15 = 2*l - 0, -k = -5*l - 3. Suppose 7*v - v - 12 = l. Suppose -2*i - 178 = -4*q - 0*i, -q - v*i = -47. Is q a multiple of 7?
False
Let j(x) = -x**3 + 37*x**2 - 7*x - 124. Is j(27) a multiple of 43?
False
Suppose -2*z = -4*l + 26959 + 1615, -7156 = -l - 2*z. Does 9 divide l?
True
Let c = 16271 - 568. Does 3 divide c?
False
Let a = -5742 - -9746. Is 28 a factor of a?
True
Let u = -2 - 1. Suppose 11*j - 16 = 13*j - 4*v, -3*j = -2*v + 12. 