False
Does 9 divide (6 - (-2254)/(-35))/((-42)/6405)?
False
Is (1/2)/(8*6/293952) a multiple of 2?
True
Let q be 18/(-99) + (-264036)/44 + -2. Is 20 a factor of q/(-12) - 5*5/100?
True
Let x = 11496 + -6036. Does 70 divide x?
True
Let n(z) = -9*z + 103. Suppose -25*o = -6*o + 171. Does 4 divide n(o)?
True
Let r be 30/9*144/60. Suppose -11*m + 5*l + 2170 = -r*m, -5*l + 710 = m. Does 15 divide m?
True
Suppose -2*k - 8576 = -4*z, 10554*k = -2*z + 10557*k + 4280. Does 27 divide z?
False
Is (-506800)/(-104) + ((-100)/(-52) - 2) a multiple of 78?
False
Is 316 a factor of 6/(42/434735) - -15?
False
Let o = 196 + -215. Does 9 divide (o*18/10)/(1/(-5))?
True
Let j(s) = s**3 + 8*s**2 - 8*s + 3. Let r be j(-9). Does 17 divide (-30)/(-3) + r + 220?
False
Let w(l) = -5*l - 16. Let u(c) = -16*c - 48. Let r(g) = 5*u(g) - 14*w(g). Let f be r(-11). Suppose f + 386 = 8*h. Is h a multiple of 5?
True
Suppose 0 = -3*w + 4*a + a + 6, a - 8 = -4*w. Suppose w*l - 18 = -l. Is 3 a factor of l/(-5)*70/(-4)?
True
Is 12 a factor of 6/42 - 28082/(-14)?
False
Suppose -i = -4*v + 65711, 4*v - 4*i - 61586 = 4134. Does 78 divide v?
False
Does 50 divide (-14 - (-6480)/459) + 14072/34?
False
Let h(q) = -5*q + 68. Let x be h(9). Suppose 2*g + 1606 = 5*y, 0 = -2*y - 4*g - x + 651. Does 20 divide y?
True
Suppose 35385 + 37024 = 23*o + 24316. Is 17 a factor of o?
True
Let x(p) = -p**2 - 16*p + 55. Suppose -4*j = 12 + 48. Is 2 a factor of x(j)?
True
Let d(g) = -62*g - 119. Let a be d(5). Let m = a - -879. Is 10 a factor of m?
True
Let l(k) = 2*k + 14. Let o be l(-11). Does 2 divide 205/10 - 4/o?
False
Let n be 0/2*3/6. Suppose n = -6*x + 12. Suppose 5*i - x*y = 176, 2*i - 2*y + 30 = 98. Does 12 divide i?
True
Is 15/20 - -2*(-57945)/(-40) a multiple of 46?
True
Let y(u) = 6*u**2 - 1. Let z be y(-1). Suppose z*l + 615 = 10*l. Does 13 divide l?
False
Suppose 8*z + n - 8733 - 39947 = 0, -12160 = -2*z + n. Does 18 divide z?
True
Let h(x) = 123*x - 250. Let m(o) = -81*o + 167. Let s(i) = 5*h(i) + 8*m(i). Is 16 a factor of s(-6)?
False
Let z(m) be the second derivative of m**4/4 + 35*m**3/6 + 48*m + 1. Does 26 divide z(12)?
False
Let u(a) = 220*a**2 - 24*a - 56. Does 44 divide u(16)?
True
Let l = 46382 - 23716. Is l a multiple of 7?
True
Suppose -64*l - 2*l = 111*l - 219657. Is l a multiple of 73?
True
Let c(g) = g**3 - 5*g**2 + g + 9. Let z be c(4). Is 11 a factor of (338/39)/(z/(882/(-4)))?
False
Let i(r) = r**3 + 6*r**2 - 5*r - 26. Let b be i(-6). Let l be -1 + ((-2)/b - (-3)/6). Does 5 divide -4 + (l - -4) - -66?
True
Suppose 813 = 3*v - 516. Let c = -767 + v. Is 4756/18 - (-72)/c a multiple of 22?
True
Suppose 10651 = 47*q - 60695. Does 4 divide q?
False
Suppose -2*k + 2*h = 64, 2*k - 2*h + 54 = 2*h. Let q(f) = f**3 + 38*f**2 + 32*f + 60. Is 49 a factor of q(k)?
True
Let n(j) = 4*j + 53. Let k(s) = -s. Let u(h) = 6*k(h) + n(h). Let c = 1182 - 1169. Is u(c) a multiple of 5?
False
Let s(o) = 3*o + 31. Let h be s(-9). Let q = h - 1. Suppose 3*i = -2*a + 128, -q*a + 7*a = -5*i + 212. Is 6 a factor of i?
False
Let n = 40 + -35. Suppose 140 = -6*y + n*y. Let v = -75 - y. Is 13 a factor of v?
True
Suppose 50*u = -88695 + 310695. Is u a multiple of 40?
True
Let a = -1850 - -1852. Let k = 6 - -124. Does 10 divide a*(k/4 - -4)?
False
Does 7 divide (4/6)/(204/67626)*49?
True
Let n be 114/(-57) - 25*(1 - -16). Let r = n - -531. Is 8 a factor of r?
True
Let v(z) = -6 - 2*z + 2*z + 3 - z. Let j be v(-5). Suppose 3*b - 3*a - 50 = 4, 72 = 4*b - j*a. Is b a multiple of 9?
True
Does 43 divide (6/4 + (-2)/(-4))*(-89225)/(-50)?
True
Let s(f) = 10*f**2 - 4*f + 48. Let i be 3 - (7/35)/((-1)/(-55)). Is s(i) a multiple of 30?
True
Let w(h) = 2*h + 30. Let d be w(-11). Suppose 13373 + 667 = -d*g. Is (g/(-10))/(-9)*-2 a multiple of 3?
True
Let d be (-4 - -1)*45/(-27). Suppose -d*f + 132 - 17 = 0. Suppose -f = -6*k + 193. Is 9 a factor of k?
True
Let m be (5 - 77/14) + 4157/2. Suppose -6*c - 3*f = -10*c + 1684, -5*c - 3*f + m = 0. Does 22 divide c?
True
Suppose 0*y - 36 = 5*y + g, 3*g + 28 = -5*y. Let z be ((-18)/y)/((-45)/(-60)). Suppose -4*a = 0, a + 414 = z*b - 0*a. Does 46 divide b?
True
Suppose 3*l - 2 + 8 = 0. Let s(t) = 9*t + 6. Let g be s(l). Let r(i) = i**3 + 14*i**2 + 21*i - 26. Is r(g) a multiple of 10?
True
Let x(f) = -4*f**3 + f**2 - f - 2. Let m be x(-1). Suppose 2*z = y - 280, 3*z - 2*z = -m*y + 1120. Does 35 divide y?
True
Let h(u) = u**3 + 12*u**2 + 13*u + 19. Let t = 87 - 96. Let d be h(t). Let b = -61 + d. Does 14 divide b?
True
Let r = 5783 + -5394. Is 3 a factor of r?
False
Let a(b) = 6*b - 71. Let x be a(11). Is 25 + ((-30)/x - 0) a multiple of 3?
False
Let p(r) = -2351*r - 288. Does 110 divide p(-4)?
False
Let y(n) = -n**3 - n**2 + 2*n. Let j be y(0). Suppose -2*m = -2*k - 560, j*k - 16 = -4*k. Suppose 7*q = m + 52. Is 12 a factor of q?
True
Suppose 0 = -u + 3*u + 58. Let d = 171 + u. Is d a multiple of 15?
False
Let y = 104 - 324. Let b = y + 335. Does 24 divide b?
False
Let x(j) = 7*j**2 + 10*j + 5. Let q be x(-13). Let o = q + -248. Is o a multiple of 18?
True
Does 46 divide (-160660)/435*(346/(-5) + 2/10)?
True
Let g = 3238 + 4088. Is g a multiple of 18?
True
Does 6 divide (-1284)/(-10)*375/390*13?
False
Let l(j) = 4*j + 10. Let s be l(11). Let z be (s/(-30))/(2 + 62/(-30)). Suppose -z*t + 29*t - 168 = 0. Is t a multiple of 9?
False
Let c = -1 - 3. Let o = c - -8. Suppose 2*r = -5*b + 380, 3*b + 299 = -o*r + 1031. Is r a multiple of 36?
True
Let g(z) = 199*z - 772. Is g(21) a multiple of 10?
False
Let z be -2 - (-4 + (1 - 5)/4). Suppose 4*i - 2653 - 3243 = 4*o, 0 = -z*i - o + 4410. Is i a multiple of 11?
False
Let m(j) = -3*j**3 - 15*j**2 - 16*j + 11. Let y be m(-5). Is 9 a factor of 7/(y/13) - (-2034)/2?
False
Let p(y) = -786*y - 5959. Does 5 divide p(-9)?
True
Let w be ((-2)/3)/(-4*(-1)/(-24)). Is w + (221 + -5 - 0) a multiple of 26?
False
Suppose -2*g = -3*x + 12672, -3*g - 16896 = -4*x - 5*g. Suppose -12*z + 24*z - x = 0. Is z a multiple of 11?
True
Let f = 296 - 293. Suppose p = 4*a - 645, -f*p = 4*a - 7*p - 648. Is a a multiple of 10?
False
Let j(l) = -5*l**3 - 3*l**2 + 4*l + 19. Let h(m) = 7*m**3 + 2*m**2 - 2*m - 3. Let c be h(-1). Does 23 divide j(c)?
False
Suppose 4*d - 5*m - 13 = 0, 2*d + 2*m = -m + 1. Let i be (1 + -2 - 5)*6/(-9). Suppose i*y - 42 = d*y. Is 21 a factor of y?
True
Suppose 19*l - 42 = 13*l. Does 3 divide 3 - (-2 + l)*-15?
True
Let w(o) = 2111*o**3 - o**2 + 44*o - 95. Is 190 a factor of w(3)?
False
Suppose -60*z + 161247 + 457443 = -666630. Is 19 a factor of z?
False
Let t be (-16)/(-10) + -1 - 255/(-75). Suppose t*u + 3*a = 765, 66 - 56 = -2*a. Is u a multiple of 33?
False
Suppose 3*r = -5*a + r + 33, -12 = -3*r. Suppose a*z = 2*n + 3470 - 1132, -3*z - 3*n = -1386. Is z a multiple of 25?
False
Let i(l) = 2*l**2 + l - 9. Let f be i(3). Suppose f*b - 903 = 11*b. Is (-6)/9*b/(-14) a multiple of 18?
False
Let x(m) = -m**2 - 10*m + 5. Let f(z) = z**3 + 10*z**2 + 14*z - 14. Let o be f(-8). Let d be (-6 - o) + 5 + -3. Is 14 a factor of x(d)?
False
Suppose 4*o - 5*d = -2*d - 6, -5*o - 4 = -2*d. Suppose -3*q + 15 - 84 = o. Let u = q - -66. Does 19 divide u?
False
Let p = -175 + 175. Suppose -3*i + 2*i = -5*h + 69, p = -4*i - 16. Is 13 a factor of h?
True
Suppose 1 = 33*p - 32*p. Let q = 337 + -192. Suppose 3*m + p - q = -c, -8 = 2*m. Does 14 divide c?
False
Let m = -19305 + 27225. Does 15 divide m?
True
Let g = -386 + 386. Suppose g = -25*i + 20*i + 640. Does 15 divide i?
False
Is 22 a factor of (-15)/(-5) + -273*(-84)/18?
False
Let v(d) = d**2 - 25*d + 210. Let b(p) = 31*p + 95. Let q be b(-2). Is v(q) a multiple of 15?
False
Let r(n) be the first derivative of 9*n**3 + 3*n**2/2 + 12*n - 131. Is 16 a factor of r(-2)?
False
Let t = -84 - -169. Suppose 2*p = -3*p + t. Suppose -p = -b + 25. Does 17 divide b?
False
Suppose -85*n - 2529 = 5*b - 87*n, 5*b - 3*n = -2526. Let w = 869 + b. Is 61 a factor of w?
False
Let f(q) = 8*q**2 + 22*q - 32. Let r(o) = -7*o**2 - 21*o + 34. Let d(s) = 6*f(s) + 7*r(s). Is 23 a factor of d(-15)?
True
Let z(l) = 13*l**2 - 26*l + 273. Does 7 divide z(16)?
True
Suppose 4 = 3*z + 1, -5*g = -4*z - 136. Suppose 4*d - g = 3*v, 4 + 0 = -2*d - 3*v. Does 8 divide 12/(2/d + 1/(-5))?
True
Suppose 5*x - 2*x + 168539 = 10*x. Is 181 a factor of x?
Fal