f 9/(((-6)/n)/((-20)/(-48)))?
True
Suppose 24 = -25*j - 226. Is ((-24)/j)/(478/(-80) - -6) a multiple of 37?
False
Suppose 0 = 2*h + 5*w - 6245, 1207 + 1910 = h - 3*w. Does 6 divide h?
True
Let z be ((-16)/4 + (1 - -2))*0. Suppose z = -5*a + 2*w + 14, 7*a - 16 = 3*a + 4*w. Is 6 a factor of 1 + a*-1 - (-36 - -9)?
False
Let z(h) be the third derivative of h**6/120 + 3*h**5/20 + 7*h**4/24 - h**3/6 + 14*h**2. Suppose n = -15 + 7. Is 3 a factor of z(n)?
False
Suppose 0 = -546*i + 522*i + 14712. Is 22 a factor of i?
False
Suppose 4*o + 92 = -2*i, -4*i - 46 = -3*i + 5*o. Let c = i - -44. Let g = c - -30. Is 3 a factor of g?
False
Is 25/50 + 2/((-20)/(-88555)) a multiple of 164?
True
Let y(v) = v + 6. Let r be y(-2). Suppose -70 = r*h - 10. Is (-393)/h - 4/20 a multiple of 8?
False
Let x(d) = 125*d + 57. Let c be x(-3). Let m = -256 - c. Does 62 divide m?
True
Let x be 3/(-6 - -5) + 5*1. Let u(g) = -x*g - 5 + 34 + 3*g - 2*g. Does 5 divide u(-11)?
True
Suppose 140*l - 212364 = 89*l. Is l a multiple of 19?
False
Suppose -5*m - 10 = 0, h - 3*m - 5 = -2*m. Let c = 93 - h. Is 3 a factor of c?
True
Suppose -3 = 2*x + 5. Let o be 1 + 6 + -10 - 0. Is 41 a factor of 3972/48 - o/x?
True
Suppose -52*l = 594 - 216498. Is l a multiple of 24?
True
Does 9 divide 0/(10 - (-36)/(-3)) - -13031?
False
Let y(i) = -161*i**2 + i + 2. Let r(z) = -161*z**2 + 2*z + 3. Let u(g) = 2*r(g) - 3*y(g). Let b be u(1). Suppose -b = -7*o + 104. Does 38 divide o?
True
Let v be (-1)/(6/(-24) - (-5)/4). Let i = 87 - v. Is 4 a factor of i?
True
Let k(p) = 82*p**3 - 2*p**2 - 2*p + 2. Let u be k(1). Is (u/15 + -2)*(-135)/(-6) a multiple of 15?
True
Let u(g) = -g**3 + 28*g**2 - 26*g - 22. Let a be u(27). Let i be (388/16)/((-3)/4 + 1). Suppose 5*m + 0*m = -c + i, a*c + 5*m = 465. Is 16 a factor of c?
False
Does 3 divide (-1 - -33825)/16 - 3?
False
Suppose 0 = 2*z - 4*k - 10999 - 8627, 2*z - 19622 = 3*k. Is z a multiple of 37?
True
Does 4 divide (30 - 29)/(1/(-6)) + (-3042)/(-2)?
False
Let o = -36 - -36. Suppose 5*i + 4*j = 424, o = j - 0*j + 4. Suppose -l + i + 54 = 0. Is 23 a factor of l?
False
Is 620 + (21 - (27 - 16)) a multiple of 3?
True
Suppose 0 = 4*w - 6*w - 30. Let y = w + 18. Suppose -3*q + 27 = y*l, -5*q = -4*l + 19 - 1. Is 4 a factor of l?
False
Suppose 0 = -j + 1 + 10. Let i be 956/24 + 3/18. Suppose -j = -3*u + i. Does 17 divide u?
True
Suppose -2 = -4*y + 2, -5*l = -5*y - 320. Suppose -l*f + 60*f + 985 = 0. Suppose -4*a = -f - 211. Does 15 divide a?
False
Suppose -3*r - 4*m + 1 = 17, 5*r - 3*m - 12 = 0. Suppose -3*y - 2*i - 12 = r, 3*i - 1 = y + 3. Does 27 divide 3906/81 + y/18?
False
Let v be (-12888525)/18 + 4 + 69/(-18). Is v/(-469) + (-2)/(-7) a multiple of 21?
False
Suppose 2*r + 49*m - 44*m = 6964, 2*r - 3*m - 6932 = 0. Is r a multiple of 21?
False
Suppose -3*n = 4*g - 19376, -3*g - 19404 = -0*n - 3*n. Does 101 divide n?
True
Let i(p) = -129*p + 6198. Does 14 divide i(-96)?
False
Let z = -2285 + 5482. Does 73 divide z?
False
Let q = -35 + -887. Let m = q - -952. Is m a multiple of 5?
True
Is 7 a factor of (-22365)/(-168) - (-3)/(-24)?
True
Suppose -30 = -1082*g + 1077*g, 4*g = 3*k - 360. Is k a multiple of 32?
True
Suppose 506 + 3334 = 6*b. Suppose 5*w - b = 465. Is 10 a factor of w?
False
Let m = 5140 - 5093. Suppose 2*b + 167 = 2*k - 417, -k + 280 = 2*b. Suppose 0 = -5*z + k + m. Is 16 a factor of z?
False
Let p be -3*(36/(-1))/4. Suppose 0*n - 3*n - p = -2*x, 3*x = 5*n + 41. Does 34 divide -48*8*(-3 + 34/x)?
False
Suppose 16*i - 62*i - 32472 + 378576 = 0. Does 33 divide i?
True
Let o be (-7824)/(-48)*6/2. Let u = o - 340. Does 3 divide u?
False
Let l(b) = 15*b**2 + 7*b + 54. Let p be (-3 + (-6 - -3))/1. Does 11 divide l(p)?
False
Suppose -4*o - 20 = 0, 2*u + 17*o - 21*o - 26 = 0. Suppose -617 - 418 = -u*r. Does 15 divide r?
True
Suppose -4*b - 5 = 39. Suppose 5*s = 3*q - 311, 0 = 3*q + q + 3*s - 434. Let o = q - b. Is o a multiple of 8?
False
Suppose -14*a = -17*a + 612. Suppose -37*h + 1462 - a = 0. Does 11 divide h?
False
Let a = 44004 + -3048. Does 48 divide a?
False
Let a(i) be the third derivative of -i**6/30 - i**4/24 - i**3/3 + 2*i**2. Let h be a(-1). Does 12 divide h + -1 - 68/(-1)?
False
Does 5 divide (-2 - -1 - 3) + 946 + -17 + 5?
True
Suppose 7024510 = 272*v - 2320050. Is v a multiple of 24?
False
Suppose 1 = 7*u - 27. Suppose -35 = -5*k - u*l, 3*k = -2*l + 6*l - 11. Suppose -4*w + 60 = k*h, 3*w + 0*h + 5*h = 34. Is w a multiple of 9?
True
Let v = 5 + -1. Let r be 160/(-26) + v/26. Let m(a) = -4*a + 14. Does 11 divide m(r)?
False
Let v = -31543 - -32192. Is 59 a factor of v?
True
Let h be ((-24)/16)/((-2)/(-84)). Is 2 + h*((-180)/21)/5 a multiple of 12?
False
Let i(x) = -7*x + 46. Let a be i(7). Suppose -6*c - 306 = -0*c. Let o = a - c. Is 12 a factor of o?
True
Is ((-35365)/44)/(11/1848*-7) a multiple of 20?
False
Let q(r) be the first derivative of -r**4/4 - 13*r**3/3 - 9*r**2 - 57*r - 21. Is 15 a factor of q(-12)?
True
Let v be 1 - (-1)/(1/2). Let w(d) = d**3 - 12 + d + 49 - 15 - 8 - 13 + 6*d**2. Does 17 divide w(v)?
True
Let j(t) = 265*t + 3555. Is 30 a factor of j(3)?
True
Suppose -4*s - 5*x - 2272 + 12868 = 0, -2*s - 4*x + 5286 = 0. Is 6 a factor of s?
False
Let u = 318 + 2177. Does 29 divide u?
False
Let g(f) = -3*f**2 - 40*f - 23. Let x(p) = -p**2 - 14*p - 8. Let m(d) = -4*g(d) + 11*x(d). Is 22 a factor of m(4)?
True
Let i(p) = -p**3 + 21*p**2 - 12*p - 153. Let f be i(20). Is 38/(-133) - (-1276)/f a multiple of 14?
True
Let l be (-16807 - (-2)/2)*(-47)/(-141). Does 20 divide (-1)/5 - l*(-3)/(-30)?
True
Suppose 12 = -4*f, 5*j + 0*f + 20 = 5*f. Let i be ((-342)/j)/(12/252). Does 19 divide (i/(-36))/(1/(-2))?
True
Let j = 3000 + 3816. Does 32 divide j?
True
Let i(m) = 97*m + 21. Let f(t) = 293*t + 63. Let l(o) = 4*f(o) - 11*i(o). Does 21 divide l(3)?
True
Let c(u) = 31*u**2 - 3*u - 6. Let h be c(3). Suppose -h = -8*v + 5*v. Let q = v - 77. Is q a multiple of 2?
False
Let m = 1126 - -2207. Is m a multiple of 40?
False
Suppose 41 = 2*o + 13. Suppose 0 = 4*l + 2*j - 236, -l - o = 2*j - 73. Suppose 0 = 5*d - 421 - l. Is d a multiple of 16?
True
Let w(q) be the first derivative of -5*q**4/4 - q**3 + q**2 - q + 31. Let b be w(-3). Let a = 131 - b. Is a a multiple of 6?
True
Let m = 2421 + 2640. Does 21 divide m?
True
Let r be 0/(-3 - 0) + 2627. Suppose -4*d + 5188 = 3*q, q - r = -2*d - 899. Is 52 a factor of q?
False
Let j(n) = 2*n**2 + 66*n + 832. Does 24 divide j(-29)?
True
Suppose 48*m - 47*m - 1448 = 0. Is m a multiple of 4?
True
Let i(z) = -z**2 + 38*z + 30. Let k be i(29). Let o = k + 215. Is 13 a factor of o?
False
Suppose 2*y = 5*q + 44, -2*q - 22 + 0 = -3*y. Is (18 + -5 + -9)*(-602)/q a multiple of 27?
False
Suppose 5*f = -4*a - 459, 540 = 4*a - 9*a + 5*f. Let c = 60 + a. Let v = -42 - c. Is 3 a factor of v?
True
Let f(d) = 258*d**3 - 8*d**2 + 3*d + 2. Let m be f(2). Suppose -5151 - m = -17*b. Is b a multiple of 25?
False
Suppose 0 = -17*c + 56*c - 47307. Suppose -2*f + g = -4*g - c, 0 = f - 2*g - 605. Is 14 a factor of f?
False
Is ((-115713)/(-129))/((-3)/(-76)) a multiple of 9?
False
Suppose 5*f - 72780 = -5*j, 5*f - 10 = 7*f. Does 204 divide j?
False
Let h = -1549 - -2391. Let v = h + -601. Is v a multiple of 2?
False
Let r = 785 - 782. Let v(h) = h. Let f be v(3). Suppose 4*c + 4*g - 476 = 0, f*c - r*g - 123 = 2*c. Is 20 a factor of c?
True
Let i be (114/12 - 9)*(1 + -1). Is 4 + (-1 - 5*(-1 - i)) a multiple of 8?
True
Let s be (63/6)/((-2)/(-480)). Suppose q = -5*q + s. Suppose 0 = -x - 4*w + 88, -4*x + 0*w = -w - q. Does 14 divide x?
False
Suppose 28*z = 25*z + 54. Suppose -53*h + 55*h = z. Suppose 0 = 2*g - h*g + 630. Does 15 divide g?
True
Suppose 28*m = 2989 + 12775. Is 73 a factor of m?
False
Let v(k) = 3*k - 40. Let c be v(6). Let y(o) = o**2 + 17*o + 10. Does 3 divide y(c)?
True
Is (-7 - (-208)/24) + (-5)/(-15) + 11171 a multiple of 19?
False
Let w(u) = 2*u**2 - 7*u + 2. Let f be w(9). Let i = 45 - f. Does 13 divide ((-14)/i)/(1/(-472)*-2)?
False
Suppose -24425 + 91021 = 124*s - 128952. Is s a multiple of 83?
True
Let j(w) = 5 - 4*w + 6*w + 9. Let y be j(-7). Is 14 a factor of (25 - y) + 0 + 0?
False
Suppose -5*o - 3*m + 57 = 0, 0*o + 4*m = -o + 8. Let y be o/2*4/(-3). Let k = 24 - y. Does 32 divide k?
True
Suppose 44*g - 29*g = 27030