rue
Suppose 5*o + 1226 = 2*z, z - 7*o = -2*o + 623. Is 42 a factor of z?
False
Let z(p) = 17*p + 4. Let q be z(2). Let m = -20 + q. Is m a multiple of 9?
True
Suppose -3*d - 138 = -3*q, 3*q + 4*d = -0*d + 103. Let v be (-3)/2 + q/(-2). Let m = 14 - v. Is 10 a factor of m?
False
Suppose -5*i - 2*v + 2050 = 0, -4*i - 4*v = -5*i + 388. Is 17 a factor of i?
True
Let d = -3 + 4. Let i = 30 + -31. Is ((-49 - -2)/d)/i a multiple of 17?
False
Suppose 49*b - 5*s = 47*b + 165, -5*b - 3*s = -397. Is 4 a factor of b?
True
Suppose -2*r = 4*i + 1 + 1, -4*r + 35 = -5*i. Suppose 103 = 3*f + 2*d, -r*d - 130 = -3*f - 41. Suppose 3*k - 6*k = -f. Is k a multiple of 11?
True
Let w(p) = 2*p - 7. Suppose 5*d - u + 56 = 0, -4*d - 44 = -3*u - 8. Let k be w(d). Let x = -22 - k. Does 9 divide x?
True
Suppose -18*c + 618 = -2190. Is 13 a factor of c?
True
Let d(h) = -1054*h - 7. Does 24 divide d(-1)?
False
Let a(i) = i**3 - 9*i**2 + 4*i + 9. Is a(10) a multiple of 4?
False
Let t(r) = 187*r - 1. Does 7 divide t(2)?
False
Let m be 6/4*-2 + 15. Let v = m - -5. Let j = v - -8. Does 18 divide j?
False
Suppose 15 = 3*f - 0. Suppose -3*s = 5*h - 423, -f*h - 3*s - s + 424 = 0. Is 28 a factor of h?
True
Let p(v) = 148*v**2 - 13*v - 27. Does 32 divide p(-5)?
False
Suppose -3*r = -3*t - 1809, 4*r - 512 = -2*t + 1882. Suppose -34*g = -38*g + r. Is g a multiple of 25?
True
Suppose -8*t = -6*t - 38. Suppose 0 = 7*p + t - 481. Does 12 divide p?
False
Is 11 a factor of -210*(252/(-27) - -2)?
True
Suppose -4*g - 5 = g. Let r be (4 + (5 - 11) + 4)*-15. Does 15 divide (1125/r)/(g/2)?
True
Let u = 732 + -678. Is u a multiple of 54?
True
Let h(n) = -9*n + 21. Let p(r) = 3*r - 7. Let c(l) = -3*h(l) - 8*p(l). Suppose -8*x + 5*x - 15 = 0, 0 = 2*a - 3*x - 23. Is c(a) even?
False
Let k be (3 + -3)*(2 - 3). Suppose 2 = -4*h + 2*h + 3*l, -2*l + 4 = k. Suppose 24 = h*j - 0*j. Is 5 a factor of j?
False
Suppose 26*i = 31*i + 975. Let o = i - -307. Is 21 a factor of (o/(-21))/(4/(-18))?
False
Let k be (-4)/(8/4) + 2. Suppose -5*s = 5*z - 150, s + k*s = 3*z + 14. Is 20 a factor of s?
False
Let z be (-66)/(-15) - (-4)/(-10). Let n be (-4)/2*(-34)/z. Suppose 63 = 4*u + 3*k, 0*u - u - k = -n. Does 5 divide u?
False
Let a = 2493 + -1289. Is 72 a factor of a?
False
Suppose -r + 72 = -2*r - o, -2*r = -5*o + 123. Suppose -3*d + c + 375 = 0, -4*d + 2 + 488 = 2*c. Let m = r + d. Is m a multiple of 11?
True
Suppose -2*r - 4 + 10 = 0. Let y(c) = 18*c - 4. Is 25 a factor of y(r)?
True
Suppose 0 = 5*u - 3*y + 2, -4*y = -2*u + 6 - 4. Is 3 a factor of ((-44)/(-8) - u)*2?
False
Suppose -3*h = 3*i - 2289, 3*h + 8*i = 3*i + 2295. Is h a multiple of 37?
False
Is 3/(99/4730)*3 a multiple of 5?
True
Suppose -5*z - 5*j - 15 = 0, 3*z - 2*j - 16 = -0*j. Suppose -z*c + 6*c - 140 = 0. Is 4 a factor of 10/(-2)*(-196)/c?
True
Let y be 17170/(-70) + 2/7. Let w = y - -364. Does 17 divide w?
True
Is ((-153)/(-27) - 6)/(3/(-6525)) a multiple of 42?
False
Let z(w) = -w - 10. Let u be z(-6). Let n(c) be the second derivative of -c**5/20 - c**4/4 - c**3/6 + 2*c**2 - 13*c - 1. Does 12 divide n(u)?
True
Let j(l) = 32*l**2 - 26. Is 43 a factor of j(-5)?
True
Suppose 312 = 6*c + 24. Does 6 divide c?
True
Let r(l) = -l + 7. Let g be r(5). Suppose -2*h = g*h. Suppose 4*k - 55 = -i, 2*i + k = -h*i + 82. Is 13 a factor of i?
True
Let t = -50 + 287. Does 79 divide t?
True
Let w = -2 - -4. Let g(n) = 2 + 3*n - 6*n + w - 5. Does 5 divide g(-4)?
False
Let x = -123 - -123. Suppose x = -5*k - 2*n - 3*n + 160, -5*k - 3*n = -164. Is 9 a factor of k?
False
Suppose 3*m - 70 = -4. Let t = m + -19. Does 12 divide 2/(-1) + 54 - t?
False
Suppose 0 = -2*f - 473 + 565. Is f a multiple of 35?
False
Let a(z) = z**2 - 16*z + 7. Let i be a(-12). Suppose i = 2*r + 3*f, -1017 = -5*r + 4*f - 217. Is 41 a factor of r?
True
Let h be (-3)/(8/(96/(-9))). Is 18 a factor of h + -3 - (-161)/1?
True
Let w = -980 - -1568. Is w a multiple of 12?
True
Suppose -209 = 120*t - 131*t. Is 4 a factor of t?
False
Let s(y) = -202*y + 5. Let r be s(1). Let m = -122 - r. Does 12 divide m?
False
Let x(s) = 4*s - 1. Let r be x(1). Suppose 0 = -4*g - 5*v + 67 + 21, r*v = -5*g + 110. Suppose -5*t + g + 13 = 0. Does 5 divide t?
False
Suppose -2*w = -2*p - 54, -28 - 50 = -3*w + 4*p. Suppose -20 = -2*x + w. Is 3 a factor of x?
False
Suppose -5*d + 12 = -3*d. Let b(u) = -u**3 + 8*u**2 - 7*u + 8. Let j be b(d). Let i = j + -2. Is 9 a factor of i?
True
Let h(v) = 4*v**2 - 5*v - 5. Let b be h(4). Suppose -b - 41 = -4*l. Is l a multiple of 3?
False
Let b = 34 + -16. Suppose -10*q + b = -7*q. Is q a multiple of 3?
True
Let z = -28 + 21. Let w = z - 80. Let n = w + 162. Is n a multiple of 14?
False
Suppose -x = 3*x + o - 1799, -5*o = -5*x + 2280. Does 30 divide x?
False
Is (-1 - -13)*(-3 + 843/9) a multiple of 22?
False
Let i(n) = -16 - 9*n + 9 - 14*n - 20. Is i(-5) a multiple of 24?
False
Let x(r) = -66*r + 8. Let h be x(3). Let o = 13 - h. Is o a multiple of 29?
True
Is 5 a factor of (22/4 - 4)*9100/15?
True
Suppose 5*h = 2*t - 330, -4*h + 5*h + 66 = 4*t. Let s = h + -25. Does 11 divide 6/(-4) + s/(-2)?
True
Suppose -x - 365 = -3*p, 4*x + 500 = 4*p - 0*x. Is 10 a factor of p?
True
Suppose 6*n = 4*r + n - 37, -5 = n. Let l(x) be the second derivative of x**4/4 + 2*x**3/3 + x**2/2 - x. Does 8 divide l(r)?
True
Suppose -3*v + 385 + 1208 = 2*p, 3*v + 3930 = 5*p. Is p a multiple of 10?
False
Let m(u) = u**3 - 2*u**2 - 5*u + 6. Let h be m(7). Suppose 6*y = 8*y + h. Let b = y + 156. Does 13 divide b?
False
Suppose 39*f = 13*f + 2028. Is f a multiple of 3?
True
Suppose a - 6*a + 10 = 0. Let i(q) = -1 - q**3 + 6 - 7*q**2 - 2*q**a + 0. Is 4 a factor of i(-9)?
False
Suppose -7*r + 8*r = 0, 5*d - 5*r = 4560. Is 76 a factor of d?
True
Let r = 158 + 438. Is 71 a factor of r?
False
Let y(o) = -565*o + 339. Does 13 divide y(-8)?
False
Let b(c) = 2*c**2 + 13*c + 8. Let w be b(-6). Does 12 divide 1*(-34 + w)*-2?
False
Let q(z) = -264*z + 148. Does 7 divide q(-2)?
False
Let p(o) = o + 28. Let w be p(-10). Suppose w + 4 = s. Is s a multiple of 5?
False
Let n = 208 - 172. Is 18 a factor of n?
True
Let i(s) = -2*s**3 - 52*s**2 - 6*s - 90. Does 10 divide i(-26)?
False
Suppose 4*c = 115 + 17. Suppose b = -v + c, -3*v = 2*v - 4*b - 147. Is v a multiple of 7?
False
Let b = 71 + -42. Suppose -2*v = 5*d - 60, -5*v - 24 = -2*d + b. Does 6 divide d?
False
Let f = 9 + -7. Let c be f*-5*4/(-10). Let z = 23 - c. Is 6 a factor of z?
False
Let q = -11 + -88. Let d be 1/(1*3/q). Does 10 divide -3 - 0 - (d + -7)?
False
Let p(x) = 3*x + 29. Let j be p(-8). Suppose 5*t + 2*y - 24 = 0, -5*y = 4*t - 5 - 21. Suppose -25 = -4*c + t*l - l, -3*c = -j*l - 16. Is c a multiple of 2?
False
Let t(n) = -n**2 + 1. Let s(f) = f**3 - 15*f**2 + 5*f - 3. Let u(b) = -s(b) + 6*t(b). Is 6 a factor of u(8)?
False
Let b(r) be the second derivative of 8*r**4 + r**3/2 + r**2 + 6*r. Is 19 a factor of b(-1)?
True
Let s = 6636 + -4549. Does 18 divide s?
False
Suppose 3857*v - 3862*v + 2730 = 0. Is 42 a factor of v?
True
Let z be (-1)/(-2) + -3 + (-57)/6. Is 54 a factor of (-1)/(-4) + (-2589)/z?
True
Let t = 798 + -120. Does 7 divide t?
False
Let c = 99 + -94. Suppose 0*m = c*m - 70. Is 9 a factor of m?
False
Let y be (12/(-10))/((-14)/35). Suppose -2*g - 2*g + 2*s = -340, -y*s = -2*g + 178. Does 12 divide g?
False
Let o be 1 + (-6)/3 - 98. Let p = 42 + o. Let m = -9 - p. Does 13 divide m?
False
Suppose -2*d + 53 = 2*s - 5*d, -s - d + 39 = 0. Is s a multiple of 17?
True
Let u be 1/(3/1074*-2). Let d = u - -256. Is 8 a factor of d?
False
Suppose -5*o - 4*m + 980 = -162, -3*o + 672 = -2*m. Suppose -o = -3*a + 4*g, -2*a - 5*g = a - 190. Is 21 a factor of a?
False
Let j(t) = 5*t + 71. Let x be j(-13). Is 66/2*20/x a multiple of 10?
True
Let z(s) = 5*s - 26. Let p(w) = -2*w + 9. Let o(h) = -8*p(h) - 3*z(h). Let r be o(-3). Suppose 2*g - r = 9. Is g a multiple of 6?
True
Let u = -26 - -26. Suppose -3*f + 27 = -u*f. Is f a multiple of 2?
False
Let p = 19 + -19. Is -5 - -9 - (-100 + p) a multiple of 31?
False
Suppose 0 = 5*u - 10 - 0. Suppose -7*l + 435 = -u*l. Does 29 divide l?
True
Suppose -5*t + 0*t + 58 = 3*h, -4*h + t = -108. Let u = h + -20. Is u a multiple of 6?
True
Let u be 3/(-9) + 49/3. Let f(l) = -l**3 + 4*l**2 + 6*l + 3. Let b be f(5). Suppose u = x - b. I