10)*4/((-40)/175)?
False
Let s be 4/(-14) + 16/7. Is 21 a factor of s/3 - 91/(-3)?
False
Suppose -4*d + 13 = -3. Suppose t - d*t = -363. Suppose -5*z + t = 11. Is z a multiple of 22?
True
Suppose b + 3*b = -4, -2*u + b = -5. Suppose o - u*o = -4. Suppose -v + o*p = -20, 28 = v - 0*v + 4*p. Is 7 a factor of v?
False
Suppose 0*t + t - 74 = 0. Suppose t = 2*g - g. Is g a multiple of 18?
False
Let u = 30 + -24. Does 35 divide ((8/u)/(-2))/((-52)/9438)?
False
Let t(n) = n**2 - n + 4. Let c(p) = -3*p**2 + 4*p - 2. Let a be c(2). Let s be 10/(-3)*a/(-5). Is t(s) a multiple of 9?
False
Let q(f) be the third derivative of f**5/60 + f**4/24 + 2*f**2. Let w be q(-1). Suppose -5*h - 3 + 153 = w. Is h a multiple of 15?
True
Let y(l) = 25*l**2 + 9*l - 13. Is 8 a factor of y(3)?
False
Let f(c) = 6*c + 0*c**3 + 1 + 1 - c**3 + 5*c**2. Let b be f(6). Suppose 5 = w + b. Does 3 divide w?
True
Let w = -93 - -211. Is w even?
True
Suppose -4*x = 4*a + 116, 3*a = -2*x + 7*x + 185. Let g be (11/(-22))/(1/x). Suppose -g = 3*s - 170. Is s a multiple of 17?
True
Let v = -2 - -2. Suppose 4*j + r + v*r - 16 = 0, 21 = j - 4*r. Suppose 0 = -i - j, 120 = -4*x + 3*i + 463. Does 20 divide x?
False
Let d(t) = -8*t - 58 + 7*t - 15 - 4*t. Is d(-22) a multiple of 3?
False
Suppose -261 = -2*r + 195. Does 19 divide r?
True
Let k = 2 - 4. Let h be 304/14 - k/7. Suppose y + n + h = 2*y, -2*n + 64 = 4*y. Does 9 divide y?
True
Suppose 0 = 3*t + 4*w - 662, 2*w + 460 = -0*t + 2*t. Let u = -10 + 20. Does 13 divide 2/5 + t/u?
False
Suppose 5*t = 4*v + 47, 2*v = -3*t + 19 - 4. Let h(x) = 0 + 3*x - 6*x**2 + 1 + t*x**2. Is 11 a factor of h(-5)?
True
Let q = -63 - -243. Suppose -20*o + 25*o = q. Is 12 a factor of o?
True
Let x(z) = -48*z - 191. Is x(-13) a multiple of 9?
False
Does 10 divide (405/75)/((-3)/(-175))?
False
Suppose -10*g + g = -4122. Suppose 3*d = -71 + g. Is d a multiple of 13?
False
Let u(i) = i + 1. Let j be u(-1). Suppose -3*v + j*v = -240. Is 16 a factor of v?
True
Let v(w) = w**3 - 10*w**2 - 13*w - 15. Is v(13) a multiple of 20?
False
Suppose 0 = -6*l + 73 - 13. Does 5 divide l?
True
Suppose -27 = -4*o + o. Suppose 3*a = o*a - 18. Suppose 35 = f - w, 90 = 3*f - f + a*w. Does 10 divide f?
False
Suppose -5*t + 6*k + 20 = k, -4*k - 1 = -t. Suppose -4*h + 53 = -t*r, 4*h + r - 18 = -r. Let d(m) = m**2 - 3*m - 1. Is 7 a factor of d(h)?
False
Suppose -15 = -k + 5*k + 5*b, -5*b - 15 = -4*k. Suppose 2*p - 75 = -5*a + 145, 4*p + 20 = k. Is a a multiple of 30?
False
Let t(s) = 18*s + 16. Let w be t(11). Let h = -162 + w. Is 4 a factor of h?
True
Let y = 212 - 127. Does 16 divide y?
False
Suppose -l - 5*u = 25, l + 4*u - 1 = -21. Suppose x - 4 = -l*x. Suppose -3*g = -x*g + 15. Does 4 divide g?
False
Let c(v) = v**2 + 71*v - 24. Let h be c(-18). Let a = -610 - h. Does 46 divide a?
True
Let d(u) = u**3 - 2*u**2 + u. Let z be d(1). Let k be (-3 - (-3 + 1))*z. Suppose 0*j - 5*j + 490 = k. Is 26 a factor of j?
False
Let y = -1322 + 2591. Is y a multiple of 16?
False
Suppose 4*t - 3*f = 506, -2*f + 7 = 3. Does 16 divide t?
True
Suppose -y + b + 1404 = 0, 111*b = -2*y + 107*b + 2826. Is 34 a factor of y?
False
Let g(c) = -c**2 - 7*c - 16. Let h be g(-7). Let w = h + 12. Let n = w + 25. Is 21 a factor of n?
True
Let h(u) = -73*u - 239. Is h(-6) a multiple of 15?
False
Let t(r) = 16*r**2 - 3*r - 2. Let h be t(2). Suppose s + 4*u = h, 4*s - 224 = 3*u - u. Does 14 divide s?
True
Let q = 63 - -85. Suppose 0 = 5*z - 523 + q. Does 15 divide z?
True
Suppose 0 = -2*t - 3 - 17. Does 12 divide -3 + (-241)/(-9) + t/(-45)?
True
Let j(a) = -80*a + 56. Is 8 a factor of j(-5)?
True
Suppose 4*t - y + 22 = t, -3*y = -4*t - 26. Let o = -4 - t. Suppose 7*k - 72 = o*k. Is 8 a factor of k?
True
Let n(z) = 19*z - 6. Let q(a) = 39*a - 11. Let i(v) = -9*n(v) + 4*q(v). Is i(-7) a multiple of 23?
True
Suppose 0 = c + 3*c + 3*y - 282, 4*y + 8 = 0. Suppose -c = -16*a + 12*a. Is 12 a factor of a?
False
Let p(s) = 4*s**3 + s**2 + 3*s - 4. Let v be p(3). Let f = 23 + -19. Suppose -3*q - w = -v, q - f*w + 2 - 34 = 0. Is q a multiple of 20?
True
Let c(v) = -v**3 - 7*v**2 + 5*v + 3. Let z be c(-5). Is (-2)/((-284)/z - 4) a multiple of 7?
False
Suppose 4*i = 513 - 41. Suppose 0 = 116*s - i*s + 64. Is 12 a factor of s?
False
Let w = 7 + -5. Suppose -w = -r + 1. Suppose -5*z - 64 = -r*i, -2*z - 116 = -4*i - 3*z. Does 21 divide i?
False
Let k(n) = 32*n**2 + n**2 + 22*n**2 + 3*n - 3 - 10*n**2. Is 9 a factor of k(-2)?
True
Let t = 1280 - 523. Is t a multiple of 34?
False
Let v = 755 + -230. Does 17 divide v?
False
Let b be (-4)/(-10) - (4104/(-15) - -2). Let l = 468 - b. Does 43 divide l?
False
Let g be (-2 + 12/(-15))*2*-5. Let w = 110 - g. Does 30 divide w?
False
Let j = 31 + -28. Suppose -314 - 16 = j*k. Let d = k + 207. Is d a multiple of 18?
False
Let j(r) = 17*r + 19. Let t = -45 + 62. Does 22 divide j(t)?
True
Suppose 3*j = -1 - 2. Is (1584/(-110))/(j*6/20) a multiple of 12?
True
Suppose -111*p + 3822 = -69*p. Does 7 divide p?
True
Let f(v) = 16 + 5*v + 8*v**2 - 3 + v**3 - 5 - 4. Is f(-7) a multiple of 8?
False
Does 11 divide 39*(2 - (-6 + 5))?
False
Let q = -12 + 12. Suppose q*t - 16 = -4*t. Suppose -z = -3*c + 16, t*z + 10 = -6. Is c a multiple of 4?
True
Let p be -65*(-3)/(-15)*2. Let l = p - -28. Suppose o = 3*f + 44, 5*o - 268 = l*f + f. Does 21 divide o?
False
Let p(v) = -27*v - 17. Let w be p(-12). Suppose 4*b = 5*a - w, 5*a - 3*b + 0*b - 304 = 0. Is a a multiple of 17?
False
Let m(k) = 3*k**2 + 3*k + 9. Let j be m(5). Suppose 2*f - j = -u, 3*u - 57 = 2*f - 3*f. Is 16 a factor of f?
True
Suppose -s - 60 = 3*s + 4*h, 0 = 2*h. Let l = s + 15. Is 4 a factor of 23 - 6 - (l - -1)?
True
Let x(h) = h**3 - 9*h**2 - 10*h + 11. Let q be x(9). Let m = 139 + q. Is 20 a factor of m?
True
Let k(t) = -t**3 - 8*t**2 + t + 14. Let j be k(-8). Suppose 0 = -j*p + 358 + 416. Does 29 divide p?
False
Suppose -4*o + 292 = 4*t, -4*o + o + 223 = 2*t. Does 7 divide o?
True
Let c be (18/(-4))/((-21)/56). Let j = c + 37. Does 7 divide j?
True
Let j(c) = 5*c**2 - 4*c - 34. Does 14 divide j(-5)?
False
Let h(j) = j**3 + 8*j**2 + 6. Let t be h(-8). Let d be (13/(-26))/((-1)/t). Suppose -2*b - 3*i + 68 = 0, d*b + 2*b = -4*i + 156. Is 28 a factor of b?
True
Let t be (-2 - -7)*(-74)/(-10). Suppose 3*d - 2*b = 16 + 15, 4*b = -3*d + t. Is 2 a factor of d?
False
Let c(a) = -5*a - 21. Suppose -n = 3*n + 36. Does 5 divide c(n)?
False
Let u(i) = -7*i + 11. Suppose n = 6*n - 25. Suppose -n*b + b = 24. Is 17 a factor of u(b)?
False
Suppose -7*r + 3580 = -2790. Is 91 a factor of r?
True
Let v = 792 - 187. Does 9 divide v?
False
Does 45 divide (-6)/45 - 21*772/(-90)?
True
Suppose 11*w - 436 = 1225. Is 11 a factor of w?
False
Let s = 107 - 98. Does 8 divide s?
False
Let m = -135 - -504. Does 9 divide m?
True
Suppose -3*a = -0*a. Suppose a = 2*f - 76 + 2. Let k = f + -26. Is k even?
False
Let o = 1261 + -550. Is o a multiple of 9?
True
Let z(i) = -i. Let x be z(-4). Let s = 65 - 0. Suppose -x*r = 5 - s. Is 4 a factor of r?
False
Let t = 6 - 2. Suppose t*d + 5 = 21. Suppose -i + 13 = 3*o - 8, -2*i = -d*o - 92. Is 18 a factor of i?
True
Let v = 15 + -22. Let s(g) be the third derivative of g**6/120 + g**5/10 - g**4/3 - g**3/6 + 3*g**2. Does 3 divide s(v)?
True
Let i(q) = 7*q**2 + 33*q + 91. Does 15 divide i(-3)?
False
Let q = -18 + 15. Let y = 5 + q. Suppose 3*h = v - 20, -3*v + 8 = -y*h + 6*h. Does 3 divide v?
False
Let d be 39/(-52)*(0 - 716). Let y = d + -109. Suppose 2*c - 4*i = 176, 2*i - 6*i - y = -5*c. Does 28 divide c?
True
Let n(o) = -13*o + 24. Is n(-2) a multiple of 11?
False
Suppose -157 - 683 = -3*m - 3*w, 2*w - 838 = -3*m. Does 5 divide m?
False
Suppose -94*c + 2226 + 30 = 0. Is c a multiple of 2?
True
Suppose -d + 8 = 2*g, -2*g - 4*d = -g - 11. Let y(x) be the first derivative of x**4/4 + 5*x**3/3 - 2*x**2 + 4*x + 11. Is y(g) a multiple of 18?
False
Let b(a) = 111*a - 3 - 251*a + 115*a. Is b(-1) a multiple of 14?
False
Suppose 5*z - 17*x + 16*x - 660 = 0, 2*x + 660 = 5*z. Is z a multiple of 132?
True
Suppose 12*p - 6152 + 1556 = 0. Is p a multiple of 27?
False
Suppose 0 = -0*b - b + 202. Let h = 88 + -83. Suppose -h*q = -38 - b. Does 16 divide q?
True
Is (3/(-6))/(5/(-630)) a multiple of 21?
True
Let t(a) = -90*a - 66. Let n(j) = 7*j + 5. Let g(x) =