actor of x?
True
Let l(v) = 45*v**2 + 2*v. Let m be l(2). Suppose 2*a - 4*a - m = -n, 2*a = -3*n + 560. Does 31 divide n?
True
Suppose 3*c + 0*d = 4*d - 4, -c = 2*d - 2. Suppose z = -c*z + 8. Suppose 0*w - 4*w - 46 = -2*r, 0 = -2*w - z. Is 5 a factor of r?
True
Suppose -4*w + 2*j - 1 = -13, 4*j + 18 = 5*w. Suppose -w*y = -7*y + 250. Let o = 84 - y. Is o a multiple of 17?
True
Suppose -x + 7 = -2*h, 5*h - x = 3*x - 16. Let p = h + 76. Does 24 divide p?
True
Is 27 a factor of (2 - 0/(-1)) + 2396 + 15?
False
Let r(h) = -19*h - 178. Is 18 a factor of r(-34)?
True
Let t(a) = -2*a + 2. Let i be t(-3). Suppose 0 = -0*y - y + 2*z - 10, 4*z = i. Is 2330/65 + y/(-39) a multiple of 12?
True
Suppose -4*a = -k + 4, -3*k + a - 2 + 3 = 0. Suppose -4*t + 44 = -4*h, 3*h + k = -15. Let p(r) = -r**2 + 10*r - 15. Is p(t) a multiple of 3?
True
Let q be -3 + 5 + 2 - 1. Suppose 4*y = 5*r - 476, -q*y = 2*r - 8*y - 187. Does 9 divide r?
False
Let y(o) = -21*o + 57. Is 25 a factor of y(-8)?
True
Suppose 0 = -5*q + 36 - 11. Suppose -8*l = -q*l - 240. Does 15 divide l?
False
Let g(j) = j - 1. Let d be g(0). Let u be (d/(-1))/(-1 - 0). Is ((-2)/u)/(-2)*-53 a multiple of 14?
False
Let h(m) = 6*m**2 - 61*m - 16. Is 2 a factor of h(11)?
False
Let b(y) = -12*y. Let r be b(3). Let c = -15 - r. Let x = c + -11. Is x a multiple of 2?
True
Suppose 2*u + 3*k - 13 = 0, -4*u + 4*k + 13 = -23. Does 53 divide (-1)/(-4) - (-1270)/u?
True
Suppose 0*m - 5*m - 1020 = -5*p, 0 = -4*p + 3*m + 820. Suppose 4*l - p = -0*l. Does 16 divide l?
False
Is (-44)/1*(-462)/24 a multiple of 11?
True
Let z be (13/(-26))/(1/(-84)). Suppose 2*u = -0*s + 2*s - 28, -4*u = 3*s - z. Does 14 divide s?
True
Let x = 2 + 0. Suppose -j - 161 = -x*j. Suppose 15 - j = -2*a. Is a a multiple of 15?
False
Suppose -8 - 8 = -4*y. Suppose -3*x + y*f + 31 = 0, -24 = -x - 3*x + f. Suppose -136 = -x*s + s. Is s a multiple of 17?
True
Suppose 8*s = 6*s. Let m be (s/(-2 - -1))/(-3). Suppose 5*f - 4*u - 120 = m, -f + 23 = u - 2*u. Is 18 a factor of f?
False
Let k = 56 + -29. Suppose 7*b - k - 281 = 0. Is 11 a factor of b?
True
Let b be (-6 + 0)/(2/76). Let c = -83 - b. Is c a multiple of 30?
False
Let d(v) = -13*v + 287. Is d(8) a multiple of 20?
False
Let f = -16 + 16. Suppose m + 4*m + 95 = f. Is 2 a factor of (-1)/(-5) - m/5?
True
Let v be 1 + (3 - (8 + -2)). Let w be 4/v - (-1 + -82). Suppose -159 - w = -5*y. Is 16 a factor of y?
True
Let h be (-4 - 2)/(6/(-3)) - 25. Suppose 0 = -3*u + a - 0*a + 43, -3*u - 3*a + 27 = 0. Let j = u - h. Is 7 a factor of j?
True
Suppose -5*c + 1290 = -0*c. Let b = -147 + c. Is b a multiple of 18?
False
Suppose 5*h + 44 = 54. Suppose -r - 3 = -5*z - 51, h*z + 102 = 4*r. Is 12 a factor of r?
False
Is 103 a factor of (-2)/14 - 18/(-21)*1322?
True
Let y = 561 - 43. Is 37 a factor of y?
True
Let d(t) = -t**3 + 15*t**2 - 10*t + 16. Let k be d(15). Let q be (-2)/13 - k/26. Suppose q*m - 20 = -0*m. Is m even?
True
Let p be (8/2)/((-3)/(-6)). Suppose -4*t + p*t + 120 = 0. Is -4 - (0 + -2) - t a multiple of 6?
False
Suppose 3*a = 3*u, 5*a - 4*u + 4 + 0 = 0. Let n be (3 + a)*50/2. Let c = n - -73. Is c a multiple of 8?
True
Suppose -7*q = -5*q - 24. Is -5 - (-66)/q - (-218)/4 a multiple of 11?
True
Let c be -3*(4/(-4) + -22). Suppose -c = -5*t + 2*b, -3*t + b + 25 = -17. Suppose 0 = s - 99 - t. Is s a multiple of 38?
True
Is (234/7)/((-36)/(-336)) a multiple of 8?
True
Let f(u) = u**3 + 12*u**2 - 5*u + 4. Let x be f(-12). Suppose -x = -3*w - j, -5*w + w + 2*j = -82. Is 17 a factor of w?
False
Let i(l) = 5*l**2 - 3. Let b(m) = -10*m**2 + m + 5. Let f(o) = -2*b(o) - 5*i(o). Let g(s) be the first derivative of f(s). Does 9 divide g(-2)?
True
Let h(t) = 2*t**2 - 3*t - 1. Let j be h(-2). Suppose 1 = -3*w + j. Suppose 3*o + 0*o - w*a = 2, 3*o - 38 = -5*a. Does 2 divide o?
True
Suppose 8*a + f = 13*a - 7342, -2*f = 4. Does 9 divide a?
False
Let i(c) be the second derivative of c**3/6 - c**2/2 + 7*c. Let f be i(4). Suppose -4*t = -12, f*k + 0*t - 60 = -2*t. Does 6 divide k?
True
Suppose -2*f - 28 = -2*n - f, n + 4*f = 23. Let a = n - -18. Is a a multiple of 12?
False
Let q = 184 - 54. Let n = q - 44. Suppose 3*p - 7 = n. Is 6 a factor of p?
False
Suppose 0 = 3*o - 0*o. Suppose o = -5*y + 2*q + 29, 4*y - 2*q - q - 26 = 0. Suppose -y*h + 17 = -28. Is h a multiple of 9?
True
Suppose -g + 4*g = -3*v, 10 = -v + g. Does 28 divide 138/v*(-15)/6?
False
Let q(a) = 4*a + 6. Let o be q(6). Let v = -30 + 26. Let y = v + o. Is 12 a factor of y?
False
Let b(w) be the third derivative of w**5/60 + w**4/24 - w**3/6 - 18*w**2. Is b(-6) a multiple of 22?
False
Suppose 0*z + 2*r = 3*z - 2, -z = 2*r - 14. Suppose v - 20 = -4*a - 0*v, 2*v = z*a - 8. Suppose 2*y = a*y - 10. Does 5 divide y?
True
Let l = 175 - 161. Let v = -11 - -1. Let o = v + l. Is o a multiple of 2?
True
Suppose -3*y + 21 = -4*x, 2*x = 4*y + 4*x - 28. Suppose 11*n - y*n = 68. Does 7 divide n?
False
Let m = -110 + 282. Does 9 divide m?
False
Does 2 divide (736/48)/((-2)/(-3))?
False
Let q = 9 - 41. Let f = -8 - q. Is f a multiple of 8?
True
Suppose -4*q - 5*d + 28 = 0, -q = -5*d + 17 + 1. Suppose u - q*u = 357. Does 6 divide u/(-14) + (-1)/(-2)?
False
Suppose 4970 - 218 = 33*j. Does 36 divide j?
True
Suppose 5*h - 1369 = -4*i, h - 1451 - 234 = -5*i. Is 42 a factor of i?
True
Suppose 5*t + 19*j - 21*j - 22018 = 0, -2*j + 2 = 0. Is t a multiple of 12?
True
Does 17 divide (11/(-4))/(76/(-15808))?
False
Let z = 1828 + -1284. Suppose -3*p - 4*i + i + 807 = 0, 2*p - z = 4*i. Suppose 3*u - p = -51. Does 17 divide u?
False
Let x(q) = -7*q + 7. Suppose -2*z + 4*d = 8, -4*d = -3*d + 1. Does 14 divide x(z)?
False
Suppose 6*d - 8 = 2*d. Let u = 412 - 407. Suppose -d*h - t + u = -18, 2*h - 35 = 3*t. Is 9 a factor of h?
False
Let o = -384 + 657. Is o a multiple of 13?
True
Suppose -4*z + 4*c + 4 = -0*c, -5*c + 10 = -2*z. Suppose -242 = -z*i - 72. Does 17 divide i?
True
Let y(x) be the first derivative of -x**2 + 9*x - 6. Let h be y(-6). Is 11 a factor of 2/3*(0 + h)?
False
Suppose t - 389 = -3*p - t, 3*p + 3*t = 387. Suppose -19 = 4*s - p. Is 7 a factor of s?
True
Let u(p) = 3*p - 4. Let r be u(5). Let h = 16 - r. Suppose -o + j = -h, -35 = -o - 2*o - j. Is 9 a factor of o?
False
Let v(m) = -2*m**3 + 10*m**2 - 4*m + 6. Let r(i) = i**3 - i**2 - i - 1. Let a(s) = -3*r(s) - v(s). Let o be a(-8). Suppose -g + 3 = -o. Is g a multiple of 2?
True
Is 25 a factor of (-2)/3 + 92/138 + 675?
True
Let l = 22 + -22. Suppose 3*i - 15 = -l*i. Suppose 18 + 107 = i*s. Does 5 divide s?
True
Is (104/(-3))/((-19)/285) a multiple of 17?
False
Let q(n) = -n**3 - n**2. Let i be q(-2). Let l = 21 + -19. Suppose -l*m = i*u - 122, -5 = u - 2*u. Is 17 a factor of m?
True
Suppose -2*q + 0 + 10 = 0. Suppose -3*c + p - 113 = -q*c, 0 = -5*c + 5*p + 245. Suppose -3*r = -96 - c. Is 15 a factor of r?
False
Let y = 142 - 55. Let p = -3 + 1. Is 22 a factor of (0 - 1 - p)*y?
False
Suppose 0 = x + 2*m - 1817, 2*x + 2*m - 7*m - 3625 = 0. Is x a multiple of 55?
True
Let x(h) = -3*h - 4. Let a(k) = 6*k + 9. Let o(g) = -3*a(g) - 5*x(g). Let i(r) = 6*r + 14. Let q(c) = -3*i(c) - 7*o(c). Is 13 a factor of q(8)?
False
Let u(c) = c + 6. Let n be u(6). Suppose n*d + 191 - 575 = 0. Is d a multiple of 18?
False
Suppose -5*a - 4*t + 1000 = 0, -844 - 191 = -5*a + 3*t. Suppose 3*y + a - 18 = 2*x, 5*y - 2*x + 314 = 0. Let i = -32 - y. Is i a multiple of 8?
True
Let f = -706 + 806. Is f a multiple of 5?
True
Let y(c) = -45*c. Let v be 6/(-4) - 1/(-2). Does 35 divide y(v)?
False
Suppose -c - 353 = -3*l, -7*l + 6*l + c = -115. Is 11 a factor of l?
False
Let n(f) = 307*f**2 - 4*f - 7. Is n(-1) a multiple of 19?
True
Let n = 15 + -17. Let s be (0 - n)*122/4. Let g = -41 + s. Does 10 divide g?
True
Is 2 + (-5)/((-25)/6510) a multiple of 20?
False
Suppose 0 = 9*a - 6*a - 21. Suppose a*w = -85 + 15. Let h = w + 34. Is 12 a factor of h?
True
Let l(c) = c**3 + 7*c**2 - 8*c - 11. Let m be l(-7). Let o = m + -20. Does 5 divide o?
True
Suppose -5*d - 13 = -2*g - 0*g, 0 = 5*g + d - 19. Suppose 5*t - 6 = z, 0 = g*t + 2*z - 4*z. Is 14 a factor of 35/t*(-72)/(-45)?
True
Let o = 212 - -368. Does 20 divide o?
True
Let g be ((-24)/10)/(6/(-45)). Let c = g - -18. Is 12 a factor of c?
True
Let l be (75/6 - -1)*8. Let y = l - 12. Suppose -n = -3*a - 3