 5, -5*h + 4 = x - 1. Let d be 2/4*-1*0. Suppose d = x*f - 4*f - 9. Does 3 divide f?
True
Let m = -67 + 37. Is 130/3*(-45)/m a multiple of 13?
True
Suppose -27*f = -14*f - 9126. Does 26 divide f?
True
Suppose 4*v - 484 = -3*w, -2*v - 148 = -3*w + 2*w. Is 39 a factor of w?
True
Suppose -605 = 3*y + 6*p - 8*p, -4*y = 4*p + 780. Is 11 a factor of y/(-3) - ((-80)/(-15) + -5)?
True
Is 8 a factor of (-136)/170 + (-774)/(-5)?
False
Is ((-308)/(-70) - 2)/((-2)/(-505)) a multiple of 18?
False
Let z be (-115)/(-1)*1*-1. Let v = -68 - z. Is 24 a factor of v?
False
Is (6 + -44 - -5)*-11 a multiple of 12?
False
Suppose -l + 6 = 2*l. Let g be 1 + l + -1 + 2. Suppose -g*z = 4, -4*m - z - 2*z = -125. Is 8 a factor of m?
True
Let l be 2/(-18) - (-266)/126. Suppose -19 - 205 = -l*g. Is 18 a factor of g?
False
Suppose 2*k - 5*k = -15, -221 = -x - k. Does 69 divide x?
False
Let k(m) = -9*m + 6. Let g(w) = -w**2 - 6*w - 3. Let c be g(-5). Let r(a) = -4*a + 2. Let i be r(c). Is k(i) a multiple of 20?
True
Suppose 2*g + 12*g - 70 = 0. Suppose -4*r + 172 + 172 = 4*h, -g*r - 470 = -5*h. Is 18 a factor of h?
True
Suppose 5*j - 4*q = -12, q - 3 + 0 = 0. Suppose j = -2*l + 2*b + 132, 5*l = 5*b - 8*b + 346. Does 8 divide l?
False
Let k(f) = 5*f**3 + 10*f**2 - 5*f + 3. Does 60 divide k(5)?
False
Let a(j) = 3*j**2 - 8*j - 17. Let i be a(-6). Suppose 5*r - 3*h - 71 - 66 = 0, -i = -5*r + h. Is r a multiple of 4?
True
Suppose -525 = -4*z + u, 5*u = -z + 3*z - 267. Is z even?
False
Let g(h) = h**2 - 12*h + 22. Let o be g(3). Let a = 109 + o. Does 13 divide a?
True
Let o(h) = 2*h**3 + 10*h**2 + 11*h - 149. Is 16 a factor of o(7)?
True
Let l be 20/9 + ((-10)/(-9))/(-5). Suppose -5*y + 97 + 58 = z, l*z - 326 = -2*y. Is 16 a factor of z?
False
Let f = -25 - -150. Let v = f + -112. Does 5 divide v?
False
Let d = 342 - 194. Suppose 2*y + 2*s - 52 = -0*s, -d = -5*y + 4*s. Is y a multiple of 16?
False
Does 57 divide (-6)/(-4)*3308*3/18?
False
Let a(s) be the third derivative of s**5/60 + s**4/8 - 17*s**3/6 + 8*s**2. Is 3 a factor of a(-8)?
False
Let y = 37 - -45. Suppose 0 = -5*k - 3*q + 79, -4*k + 4*q - y = -9*k. Does 9 divide k?
False
Is ((-2)/6)/(((-8)/32808)/1) a multiple of 15?
False
Suppose -6*y + 9*y = -t + 2130, 4*t = y + 8468. Is t a multiple of 15?
False
Let d = 91 - 173. Let a = d - -147. Is 13 a factor of a?
True
Suppose 0 = -u - 3 - 7. Let a = 24 + u. Does 14 divide a?
True
Suppose -80 = -10*n + 5*n. Suppose 0 = -4*u + n + 8. Is 15 a factor of (2/u)/(4/180)?
True
Does 29 divide (118/(-6))/((-1)/45)?
False
Suppose -m - 3*o + 150 = 0, 147 = 2*m - 3*o - 126. Is 13 a factor of m?
False
Suppose 3*y = -2*u + 21, u - 4*u - y = -21. Let l = 53 + u. Is l a multiple of 24?
False
Suppose 0 = -5*q + 3*q + 8. Let a = -30 - -66. Suppose 0 = -t + q*t - a. Is 12 a factor of t?
True
Suppose 1567 = 8*d - 2873. Suppose -6*k - m + 444 = -2*k, -5*k = 3*m - d. Is 24 a factor of k?
False
Suppose 4*t + 13 = 4*s + 5, 4*s - t - 17 = 0. Suppose 10*j - s*j = 70. Is (-8 - -14)/(4/j) a multiple of 7?
True
Let t(i) = 439*i - 42. Is t(1) a multiple of 19?
False
Let d(n) = n - 2. Let m(i) be the second derivative of 5*i**3/6 - 13*i**2/2 + 6*i. Let f(p) = 39*d(p) - 6*m(p). Is 9 a factor of f(2)?
True
Suppose 1 = -k + 4. Suppose 4*o + 135 = x + 432, 159 = 2*o + k*x. Suppose o = 4*m - m. Is m a multiple of 25?
True
Suppose -11*p = -7*p. Suppose -2*q + 38 = -p*q + 2*r, q - 25 = -4*r. Is 3 a factor of q?
False
Let d(q) = 113*q + 46. Is 8 a factor of d(2)?
True
Let s be (-81)/12*18*(-2)/3. Suppose 2*y = -7*y + s. Is 9 a factor of y?
True
Suppose -2*z + 2 = -2, 5*f + 2*z - 14 = 0. Is 15*3/2*f a multiple of 45?
True
Suppose -6*y = -26 + 2. Suppose 5*f - f + y = 0, j = -3*f. Does 2 divide j?
False
Let q(y) = 2*y**2 + 9*y + 25. Is 8 a factor of q(-10)?
False
Let u(h) = 11*h - 57. Let p be u(5). Let d(x) = x**2 - 4*x - 4. Let s be d(5). Does 12 divide p + 1 + s*39?
False
Suppose 23*u = 34*u - 11880. Is 24 a factor of u?
True
Does 12 divide 94 - 5 - (-1 + 3 - 1)?
False
Let n = 5 - 5. Let m = -16 - -19. Suppose 3*x - 3*f - 31 = -2*x, m*x + 4*f - 36 = n. Is 7 a factor of x?
False
Let n = -158 - -88. Is 3*n*(-1)/3 a multiple of 12?
False
Suppose -6 = -2*a + 3*a. Let s = 15 - a. Is 4 a factor of s?
False
Let v(r) = -r**2 - r - 19. Let f be v(0). Suppose 5*u = -2*u - 203. Let j = f - u. Does 10 divide j?
True
Suppose 2*m = -2*o - 22, -5*m - 63 = -3*o - 8. Let v = -17 - m. Let y(d) = -3*d + 9. Is 9 a factor of y(v)?
True
Suppose 4*c - 3*r = 170, 0*c = -2*c - 5*r + 98. Let k = c + -31. Suppose 0 = -4*n + 5*l + 28, 5 - k = -n + l. Does 4 divide n?
True
Is 5522/12 - 1/6 a multiple of 46?
True
Let k(c) = 5*c**2 + 8*c - 44. Does 39 divide k(-12)?
False
Suppose b = -m + 273, m = -2*b + 30 + 246. Suppose 90 = -2*a + m. Suppose -2*w - a = -5*w. Does 6 divide w?
True
Let g = -95 - -124. Suppose 2*z = -g + 245. Does 18 divide z?
True
Let y be 10 - (-1)/(4/8). Let k be (15/y)/(3/12). Suppose 0 = 2*z - k*q - 48, z + 4*q = 2*q + 42. Is 17 a factor of z?
True
Suppose -2*v + 2 = -2. Let c(z) = z**v + 0 + 2 + 20*z**3 + 2*z - 3*z. Does 8 divide c(1)?
False
Suppose -2*r + 92*g = 87*g - 1740, -4*r = 5*g - 3420. Is 37 a factor of r?
False
Is 11 a factor of 63002/136 - (-5)/(-4)?
True
Suppose 5*f - 1658 = -0*x - 2*x, -2487 = -3*x - f. Is x a multiple of 68?
False
Suppose y = -y + 6. Suppose y*o = -3*v - 6, 2*o - 11 - 10 = 3*v. Suppose -o*t + 4*u + 108 = 8*u, -5*u + 79 = 2*t. Is 20 a factor of t?
False
Suppose 27689 = 16*i - 62551. Is i a multiple of 63?
False
Let h be (-6)/(-9) + 14/6. Suppose 4*m - 4*p - 124 = 0, -p - 73 - 30 = -h*m. Is 9 a factor of m?
True
Suppose 5*u + 49 = v, -55 = 5*u + 2*v + 3*v. Let h be 18/5 + (-4)/u. Suppose -56 = -h*q + 4*n, -3*q + 2*n = -2*n - 42. Is 4 a factor of q?
False
Let m be -11*((-16)/(-4))/4. Let u = -13 - m. Does 16 divide 32*(2 + 1 + u)?
True
Suppose g - 95 = -4*g. Let f = 98 - g. Let k = -55 + f. Is 9 a factor of k?
False
Suppose 0*h = -h + 12. Let r = h + -11. Is 4 a factor of (r - 36/20)*-20?
True
Suppose 2*p = p + 12. Let y = 109 + p. Is 13 a factor of y?
False
Does 60 divide ((-1728)/5)/((60/(-375))/2)?
True
Let k(y) = -9*y**3 - 5*y**2 + 2*y - 10. Let t(f) = -5*f**3 - 3*f**2 + f - 5. Let c(b) = -4*k(b) + 7*t(b). Let u be c(0). Suppose r + 64 = u*r. Does 6 divide r?
False
Let i(z) = 26*z**2 - z + 1. Let g(h) = -h**3 + 8*h**2 - 2. Let v be g(8). Does 24 divide i(v)?
False
Suppose 0 = 5*u - 3*p - 11, -2*p = -p + 2. Let n = -3 - u. Is 3 + n + 0 + 31 a multiple of 5?
True
Let o(z) be the second derivative of -35*z**3/3 - 2*z**2 - 23*z. Is 22 a factor of o(-1)?
True
Let z = 25 + -21. Suppose -472 = -z*i + o + o, 2*o = -2*i + 242. Suppose 4*t + i = 299. Does 14 divide t?
False
Suppose 8*f = -23*f + 23808. Is 16 a factor of f?
True
Suppose -2*b - 118 = 3*r - 26, 200 = -4*b + 2*r. Let i = -32 - b. Suppose -i*d - 16 = -18*d. Is d a multiple of 16?
True
Let n(w) = -w**3 + 13*w**2 + 29. Let u be n(13). Suppose i - u = 1. Is 5 a factor of i?
True
Let o = 1107 + -203. Does 6 divide o?
False
Let n(k) be the first derivative of 4*k**3/3 - k**2 - 8. Let y be n(1). Is 3 a factor of 11 - (4 - 6/y)?
False
Suppose 16*s - 27*s = -11154. Is s a multiple of 11?
False
Suppose -38*u + 22410 = -23*u. Is u a multiple of 9?
True
Let q(v) = -v**2 + 8*v + 6. Let g be q(8). Is (2/g)/((-2)/(-162)) a multiple of 8?
False
Let p(j) = 111*j**2 + 16*j - 31. Is 89 a factor of p(2)?
True
Suppose -17*s = 9*s + 364. Suppose -2*b - 4*o - 6 = -114, 3*o + 29 = b. Is 7 a factor of b/(-77) - 302/s?
True
Is (-9)/4*(-137 + -451) a multiple of 49?
True
Let m = 1527 - 901. Is m a multiple of 20?
False
Suppose -4*d = -3*d + 28. Let t = -18 - d. Is 19 a factor of (5/t)/(2/152)?
True
Suppose 0 = 52*z - 47*z - 10. Suppose -8 = -z*r - 0. Is r even?
True
Suppose -10*p + 60 = -5*p. Suppose 0 = r + r + p. Is r/4 - 481/(-26) a multiple of 17?
True
Let j(i) be the second derivative of -i**3 + 65*i**2 + 13*i. Is 13 a factor of j(0)?
True
Let k = -663 - -984. Is k a multiple of 19?
False
Suppose -16*q - r + 1428 = -15*q, 1434 = q - 2*r. Is 65 a factor of q?
True
Let w(i) = 8*i - 16. Let g be w(2). Suppose -4*u = -2*b + 568, g = -0*b - 4*b - 5*u + 1110. Is b a multiple of 14?
True
Let b(g) = 66*g + 20. Let q = -49 - -51. Is 19 a factor of b(q)?
True
Let n(k