t. Is 2 a factor of k?
False
Is (7 + -23)/(-8)*351/6 a multiple of 9?
True
Let h be (-6 - 1)*(-2 + 3). Let w(r) = r**3 + 7*r**2 + 3*r + 7. Let s be w(h). Is 4/s - 198/(-7) a multiple of 20?
False
Suppose 4*y - 96 = -2*f + 462, -2*y = 3*f - 277. Is (4/10)/(7/y) a multiple of 8?
True
Let n(a) = 4*a**3 + 8*a**2 - 3*a + 37. Does 9 divide n(7)?
False
Let l = -284 - -619. Is l a multiple of 6?
False
Let g(t) = 40*t + 10. Let v be g(8). Suppose 5*n + 70 = v. Does 7 divide n*(0 - (-3)/6)?
False
Suppose 0 = -4*k - 85 - 207. Let r = -46 - k. Does 27 divide r?
True
Suppose -2*a - 373 = 5*m + 2*a, 0 = m + 4*a + 81. Let p = 139 + m. Suppose -4*z + 14 = -p. Is 10 a factor of z?
True
Let y = 1005 + -308. Is y a multiple of 41?
True
Suppose 0 = -y - 3*n + 1700, 2*n = -11*y + 12*y - 1710. Does 8 divide y?
False
Let y be ((-3)/(-6))/(1/(-12)). Suppose -5*t + 1810 = 5*z, -6*t - 350 = -7*t + 2*z. Does 9 divide t/12 + (-1)/y?
False
Is 119 + -130 + 0 + 2279 a multiple of 54?
True
Let l(y) = 26*y**2 + 9*y - 1. Is 22 a factor of l(5)?
False
Let f = -840 - -1576. Is f a multiple of 3?
False
Suppose -5*x = -9 - 1. Suppose -3*i + 2*u - 52 = -193, u = -x*i + 101. Is 29 a factor of i?
False
Let r(m) = -7*m**3 - 2*m**2 - 3*m + 1. Let h be r(-2). Let l = -3 + 3. Suppose l = 3*p - 8*p + h. Does 4 divide p?
False
Suppose 7*d = 4*d. Suppose d = -23*v + 18*v + 15. Suppose -g = v*m - 30, -g + 5*m - 26 = -2*g. Is 12 a factor of g?
True
Suppose -3*b - 2*b = -o - 3, 5*o + 2*b - 39 = 0. Let p(g) = 2*g**2 - 7*g + 11. Is 7 a factor of p(o)?
False
Is (-15795)/(-57) + 32/(-304) a multiple of 22?
False
Let v = -5 + 10. Suppose -280 = -5*s - 2*f, -4*f = -v*s - 2*f + 280. Suppose 11 = -3*m + s. Is 5 a factor of m?
True
Let k be 1/(-3) + 1/3 + 3. Suppose -10 = -0*z - 2*z, 0 = -4*o + k*z + 389. Is o a multiple of 13?
False
Let q(f) = -430*f - 416. Does 12 divide q(-14)?
True
Suppose 21*b - 22*b + 2*d = -250, 486 = 2*b + 3*d. Is b a multiple of 6?
True
Let n(c) = c**2 + 5*c - 18. Let q(h) = -2*h**2 + 15*h - 6. Let o be q(6). Let z = -22 + o. Is n(z) a multiple of 8?
True
Let i(z) = -778*z - 1294. Is 9 a factor of i(-6)?
False
Suppose -4 = h, j + 2*h = 4*j + 1024. Is -1 + (3 - (4 + j)) a multiple of 57?
True
Let a(b) = 4*b + 59. Let g be a(-14). Suppose g*x - 5*n = 280, x - 6*x = -2*n - 435. Does 18 divide x?
False
Suppose 2*d - 10*s = -9*s + 875, 1747 = 4*d - 3*s. Is 22 a factor of d?
False
Let c(k) be the first derivative of 26*k**2 + 2*k + 3. Is 18 a factor of c(1)?
True
Suppose 0 = -5*x + 563 + 797. Suppose 0 = 3*a - a - x. Does 22 divide a?
False
Let s be (((-15)/4)/(-3))/((-19)/608). Is 6 a factor of s/(-25)*285/6?
False
Let i be ((2 - -2)/(-4))/((-3)/135). Suppose 5*n = 390 + i. Does 34 divide n?
False
Let w = 35 + -33. Does 7 divide (-4)/w + (3 - -2) - -34?
False
Let k(a) be the second derivative of 0 + 1/6*a**3 + 0*a**4 - 1/20*a**5 - 5*a + 12*a**2. Is 24 a factor of k(0)?
True
Let s(f) = 6*f - 2. Let q(n) = 7*n. Let t(o) = 4*q(o) - 6*s(o). Let r = 7 - 11. Is 24 a factor of t(r)?
False
Let i be (66/(-8))/((-6)/32). Suppose 0*s + i = s. Suppose -2*q = 2*q - s. Is q a multiple of 11?
True
Suppose 4*d = d + 72. Let c = d + -38. Let n = 33 + c. Does 9 divide n?
False
Suppose 4*a - 530 = -5*b, b - 82 = -7*a + 11*a. Does 34 divide b?
True
Suppose -5*g - x + 10458 = -8087, 4*x - 18530 = -5*g. Is 35 a factor of g?
True
Let q = -21 + 30. Suppose 25 = -4*k + q, -4*k - 26 = -c. Does 6 divide 24/c*5/2?
True
Suppose 3*b - 25 = 2*b. Suppose -2*n + 7*n - 15 = 0. Suppose 40 = 4*y + 2*u - 0*u, -4*u = n*y - b. Is 9 a factor of y?
False
Let t = -12 + 11. Let q(i) = -i**2 - 2*i - 1. Let w be q(t). Suppose 7*v - 4*v - 16 = 5*m, w = 5*v - 5*m - 30. Does 7 divide v?
True
Let l = 30 - -1825. Is l a multiple of 35?
True
Let g be (0 - -1) + (253 + -2 - 2). Suppose -12*c + 1130 + g = 0. Does 23 divide c?
True
Let o(z) be the first derivative of -15*z**2 - 8. Is o(-7) a multiple of 35?
True
Let b(l) = 12*l**3 - 5*l**2 + 12. Is 28 a factor of b(4)?
True
Let f(g) = -44*g + 8. Is f(-19) a multiple of 44?
False
Suppose 1535 = 6*h - 637. Does 29 divide h?
False
Let b(f) = -9*f + 9*f**2 - 5*f**2 + f**2 - 6*f**2 + 5. Is b(-9) a multiple of 4?
False
Let u(l) = 23*l - 182. Is 8 a factor of u(13)?
False
Let a be 1/(-6) + 159/(-18). Let k = 8 - a. Is k a multiple of 17?
True
Suppose -3*m + 4*l = -3059, -l = 4*m - 3440 - 645. Does 44 divide m?
False
Suppose 3*v - v = 2*z - 144, -5*z + 354 = -2*v. Does 10 divide z?
True
Let a = -409 - -1146. Is 12 a factor of a?
False
Suppose 2*v + 134 = 2*l - 0*l, 4*l + 3*v - 254 = 0. Is l a multiple of 5?
True
Let i = -10 + 14. Let l(h) = h**3 - 5*h**2 + 2*h + 3. Let y be l(i). Is (-494)/(-10) - (-2)/y a multiple of 19?
False
Does 4 divide (3/6)/((-3)/(-258) + 0)?
False
Let p = 8 + -3. Suppose -2*l + l - 2*v = -13, l = -p*v + 25. Suppose -l*w = -0*w - 120. Is w a multiple of 4?
True
Let h be (-544)/(-7) + (-3 - 161/(-49)). Let o = 23 + h. Does 21 divide o?
False
Suppose -c = 5*r - 3, -4*r - 12 = -c - 3*c. Suppose 0 = -i + 2. Suppose r = 5*u - 5*p, -3*u + i = 5*p - 22. Is u a multiple of 2?
False
Suppose -5*f = -4*j - 45, 5*f - f - 35 = 3*j. Let p(y) = -y**2 + 8*y - 1. Let r be p(f). Suppose 3*g + 6*s = 2*s + 21, g - r = s. Does 6 divide g?
False
Let i(o) = -3*o**2 - o**2 - 5*o + 2*o**2 - 12 + 3*o**2. Let g be i(9). Suppose 61 = 3*j + 5*t + g, -20 = -4*t. Is 2 a factor of j?
True
Suppose -9*k + 33*k = 31776. Does 98 divide k?
False
Does 11 divide ((-876)/(-24) + (1 - -2))*44?
True
Suppose 0 = 360*y - 368*y + 32784. Does 109 divide y?
False
Suppose -2*l + 2*m = 2, 5*m - 19 = 2*l - 5. Suppose -4*y + 183 = l*d - 0, 2*d - 5*y = 99. Does 19 divide d?
True
Suppose 7*z = 10*z - 12. Suppose z*a - 234 = -5*a. Is a a multiple of 3?
False
Let j(s) = 1. Let h(p) = -p**2 - 5*p + 2. Let o(n) = -h(n) - 4*j(n). Suppose 0 = 3*i + 9 + 24. Is 10 a factor of o(i)?
True
Let p(s) = 4*s - 1. Let y be p(4). Let r(c) = c**2 - 7*c + 5. Let m be r(0). Is (y*6)/(m/5) a multiple of 15?
True
Let i = 36 - 32. Suppose 5*w - i*j = -j + 464, 97 = w - 2*j. Does 13 divide w?
True
Let t(h) = 2*h - 9. Let g be t(7). Let s = -51 - -53. Suppose 0*x = 2*x + s, b - 29 = g*x. Is b a multiple of 8?
True
Let h = -1 + 15. Suppose -h*g + 9*g = -210. Suppose 13*o + g = 15*o. Is 8 a factor of o?
False
Suppose -10 = 3*l - 5*l. Suppose 0 = p - 0*i + 4*i - 19, -4*p + 13 = -l*i. Is 20 a factor of 1/p + 556/28?
True
Suppose -5*n - 33 = -4*c, 2*n + 3*n + 31 = 3*c. Suppose -5*x = c*z - 47, 4*x = 4*z - 2*z - 56. Is z a multiple of 13?
True
Suppose -3*k = -3*m - 1293, m + 2*m = -k + 439. Let g = -205 + k. Is 30 a factor of g?
False
Is 1 + 1/(1/84) a multiple of 14?
False
Suppose i + 1 = 0, -3*q + 3*i - 8*i = -1792. Is 5 a factor of q?
False
Does 3 divide (6/9)/(28/4536)?
True
Suppose -12 = 3*m, -2*m - 3133 = -3*y + 775. Is y a multiple of 25?
True
Let o(c) = c**3 + 10*c**2 + c - 2. Let b be o(-9). Suppose 3*p - b = 5. Is 25 a factor of p?
True
Let m(b) = b**3 + 5*b**2 - 2*b - 4. Let r be m(-5). Let y(x) = 4*x**2 - 10*x + 6. Let o be y(r). Suppose -o = -2*h - h. Does 10 divide h?
True
Suppose 4*t - 450 = -t. Suppose t = 4*s - s. Suppose -3*b + s = 3*f + 2*f, -5*f + 3*b = -30. Is 6 a factor of f?
True
Suppose 88 = 53*h - 49*h. Is 3 a factor of h/2*(1 - 0)?
False
Let g = 29 - 70. Let w = g + 90. Is w even?
False
Let w be (-3 - -4)*(-9)/6*-4. Suppose w*r = -16 + 76. Is r a multiple of 10?
True
Let y(s) be the first derivative of 9*s**2/2 + 46*s + 27. Does 11 divide y(18)?
False
Is 61 a factor of 7566/12 + 6 - 6/4?
False
Let m(u) = -u**3 + 8*u**2 - 8*u + 3. Let g be m(5). Suppose -262 = -4*z + g. Is z a multiple of 19?
False
Let y(w) = w + 6. Let u(b) = -b**2 - 8*b - 9. Let q(p) = p. Let v be q(-6). Let i be u(v). Is y(i) even?
False
Let g = -26 + 30. Suppose 5*k = 0, -g*k - 137 - 3 = -5*m. Is 4 a factor of m?
True
Does 23 divide -9*(-2)/(-3) - -383?
False
Suppose -2*v + 5*c - 1169 - 1102 = 0, v - 2*c = -1134. Is 11 a factor of (1/3)/((-8)/v)?
False
Let b be (-31)/(-6)*-2*3. Let q = b - -25. Is 10 a factor of q/18*(-146 + -1)?
False
Let s(l) = 0*l**2 + l**2 + 91 - 102. Does 2 divide s(5)?
True
Let c = 1054 + -612. Does 26 divide c?
True
Let m be (-32)/40 - (-168)/10. Suppose 0 = 14*i - m*i + 10. Suppose i*r - 37 - 143 = 0. Is r a multiple of 9?
Tru