 19 a factor of g(-2)?
True
Let x = -1114 + 1674. Does 35 divide x?
True
Suppose -4 = -4*p, 19262 = 5*o - 7*p + 9*p. Is o a multiple of 21?
False
Let h = 4 - 1. Suppose 0 = -i - h*i + f + 10, -5*i = 3*f - 21. Suppose -i = -4*g + 85. Is g a multiple of 11?
True
Suppose -544*p - 676 = -546*p. Is p a multiple of 26?
True
Suppose -2*u + 3575 = 5*q, -3576 = -3*u + u - 4*q. Is u a multiple of 23?
False
Let z be (1044/60)/(2/10). Suppose 310 = 2*h - 5*f - z, 2*f = 4*h - 770. Is 11 a factor of h?
False
Let s(r) = -5*r**3 + 6*r**3 + r**2 - 2*r**3 + 2*r**3 + 12. Let q be s(0). Suppose 0 = 5*o - 77 + q. Is o a multiple of 13?
True
Suppose 3*g = 6*g - 24. Let v(p) = -2*p + 3. Let i be v(g). Let u = i + 25. Does 12 divide u?
True
Is 7 a factor of 72/(-33) + 2 + 695/11?
True
Suppose 5*v = 3*v + 6. Suppose -4*k + 2*t + 15 - 5 = 0, -v*k = 2*t - 4. Suppose k*n - 26 = -2*h + 6*n, 0 = -2*h - 4*n + 42. Does 6 divide h?
False
Let m(h) = -8*h - 4. Let z(t) = -8*t - 3 + 5 - 5. Let c(s) = -3*m(s) + 2*z(s). Is c(3) a multiple of 16?
False
Suppose -2*t + 4*k - 194 = 0, -3*k = -2*t - 87 - 109. Let a = 433 + t. Does 12 divide a?
False
Let m = 57 - 8. Let n = 17 - m. Is 6 a factor of (-27)/(-12)*n/(-6)?
True
Suppose -32*j - 158 = -2*y - 33*j, 4*y + 3*j - 316 = 0. Is 2 a factor of y?
False
Let j(r) = -11*r + 9. Let y(i) = 12*i - 10. Let f(o) = -5*j(o) - 4*y(o). Does 13 divide f(10)?
True
Suppose -8*a + 3*a = 265. Let w = -23 - a. Let d = w + -21. Is 8 a factor of d?
False
Suppose 0 = 4*p - s + 27, 2*s = -4*p - 24 - 6. Let g(k) = 2*k**2 + 4*k - 8. Is 9 a factor of g(p)?
False
Let j be 6/27 - 7526/(-477). Suppose -2 - 2 = -v, -2*z + 2*v + 96 = 0. Let m = z - j. Does 9 divide m?
True
Let j = -5 - 0. Let k(l) = 49*l - 62. Let y be k(1). Let t = j - y. Does 4 divide t?
True
Suppose 18 = 243*n - 234*n. Suppose 2*f = -f + 3. Is 32 - 1/(f/n) a multiple of 6?
True
Does 19 divide 6*8/(-120) - 109068/(-20)?
True
Suppose o - 2*m - 2*m + 2 = 0, -4 = -4*m. Suppose 3*d = -o*d + 940. Suppose -4*b = -2*b - d. Does 14 divide b?
False
Suppose -52*n + 128484 = 34*n. Is 18 a factor of n?
True
Suppose 4*r = 2*q - 28, 5*r + 5 = -5*q - 0*r. Suppose -3*h = -q*h - 3. Does 18 divide 14*(8 + h) - 0?
False
Let c(x) = 24*x**3 - x**2 - 16*x - 21. Let b(j) = -5*j**3 + 3*j + 4. Let h(r) = 11*b(r) + 2*c(r). Is h(-1) a multiple of 6?
True
Does 15 divide (1 + 4 - 8) + 74 + -1?
False
Let n(s) = 145*s**3 - 2*s**2 + 1. Is 2 a factor of n(1)?
True
Let y be (6/10)/(5/50). Suppose 10 = m + y. Suppose -5*x + 103 = m*z, z - 31 = -2*x - x. Is 12 a factor of z?
False
Is (24/20)/((-27)/30)*-249 a multiple of 46?
False
Let b be ((-6)/18)/(2/(-12)). Suppose b*w - 2*x - 6 = 0, -2*w + 5*w + 5*x = 9. Suppose -4 = w*u - 4*u. Does 4 divide u?
True
Suppose 0 = -4*v - 4*a + 6*a + 52, -3*a = 3*v - 30. Is v a multiple of 2?
True
Suppose -2*d = -6*d + 32. Let n(y) = 7*y**2 - 156 + 158 + 2*y**2 - y**3 - 5*y. Is n(d) a multiple of 14?
False
Suppose 0 = s - 1. Let a be s/(-3)*(-45)/(-3). Let w(d) = -8*d - 7. Does 6 divide w(a)?
False
Is 4 - 0 - (-10)/(70/3549) a multiple of 36?
False
Let g = 21 + 18. Suppose -5*t + 239 = g. Is t a multiple of 20?
True
Suppose -87 = 3*t + 147. Let j = t - -162. Does 7 divide j?
True
Does 11 divide 28/16 + ((-3051)/(-12) - -6)?
False
Let o = -44 - -46. Let u(h) = 14*h**3 - h**2 - 4*h + 2. Does 19 divide u(o)?
False
Does 4 divide (45 - -738)/(10/(-8) + 2)?
True
Suppose -66 = 9*l - 20*l. Is 6 a factor of l?
True
Let b = -7860 + 11804. Is 116 a factor of b?
True
Let v(w) = 37*w**2 + 22*w - 15. Is v(5) a multiple of 4?
True
Suppose 0 = 5*n - 30 - 590. Let s = n - 68. Does 8 divide s?
True
Let n be 8/40 + 189/5. Suppose -s - n = -122. Is s a multiple of 14?
True
Suppose -7*b + 826 = 2443. Let n = 331 + b. Is 14 a factor of n?
False
Is ((-117)/(-52))/(1/56) a multiple of 14?
True
Let v be 288/15 + (-4)/20. Suppose -5*m + 97 = 4*h - h, v = m + h. Does 10 divide m?
True
Let l(s) = s**3 + 14*s**2 + s + 3. Let v be l(-14). Let p = v - -29. Is p a multiple of 9?
True
Suppose -22 = 12*g - 10*g. Let t = g + 16. Suppose -2*f = t*q - 19, -4*f = f + 5*q - 85. Is 4 a factor of f?
False
Let v = -80 + 82. Suppose 0 = v*m - 69 - 101. Is m a multiple of 36?
False
Let a be (-15)/6*52/(-10). Let m(k) be the third derivative of -k**6/120 + 13*k**5/60 + k**4/24 - 4*k**3/3 + k**2. Is m(a) a multiple of 5?
True
Let c(n) = n**3 + 11*n**2 + 18*n + 3. Let z be c(-9). Let u(b) = 32*b - 12. Does 28 divide u(z)?
True
Let l be 0 - 1 - (-2 + 0). Suppose -73 = -g + s, -2*s - 5 = -l. Does 16 divide g?
False
Suppose -c + i - 15 = 0, -3*c + i + 105 = -8*c. Does 3 divide (12/(-20))/(4/c)?
True
Let q = 2790 + -1726. Is 50 a factor of q?
False
Let u = 382 + -338. Is 11 a factor of u?
True
Let u(j) = -3*j - 8. Let q be u(-4). Let y be 3*(q/3 - 1). Is (2 + (76 - -3))*y a multiple of 15?
False
Let a = 12 - -2. Does 6 divide (-6)/42 - (-296)/a?
False
Is 26 a factor of 4604*(8 - (-248)/(-32))?
False
Let r(s) = s + 2. Let y be r(-4). Let d be y/2*6/(-3). Suppose d*c = 144 - 0. Is c a multiple of 24?
True
Let g = 194 - 174. Is 7 a factor of g?
False
Let z(n) = 2*n**2 - 4*n + 4. Suppose -3*i + 4*v = 2*i - 6, 3*i + 3*v = 9. Let l be z(i). Suppose -j - 5*q = -22 - 50, l*q + 36 = j. Is 13 a factor of j?
True
Let r = 8 - 12. Let k = r - -4. Suppose k = -q + 16 + 44. Is 20 a factor of q?
True
Suppose 397*u - 403*u = -894. Is 15 a factor of u?
False
Suppose 0 = 4*a + 938 - 2410. Is a a multiple of 16?
True
Let m(r) = -r + 9. Let d be m(9). Suppose d = g - 5*c - 23, -4*g + c + 0*c = -111. Does 17 divide g?
False
Let c(t) = -61*t**3 - 17*t**2 + 3*t + 13. Let v(j) = 15*j**3 + 4*j**2 - j - 3. Let d(u) = 2*c(u) + 9*v(u). Is 12 a factor of d(2)?
False
Let h be 2/((-45)/(-23) - 2). Suppose -13*k = -5*k - 608. Let x = h + k. Does 6 divide x?
True
Suppose -101 = 7*u - 731. Does 15 divide u?
True
Suppose -2*y = 0, 2*m - 2*y - 78 = -0*m. Let r be 1 + 13/(m/360). Suppose 3*a = o - 35, 4*o - r = -o - 3*a. Is o a multiple of 26?
True
Let w = -817 - -1666. Does 35 divide w?
False
Let n(j) = 32*j + 8. Let t be n(6). Let w = 4 + -1. Suppose t = c + w*c. Is 10 a factor of c?
True
Suppose -3050 = -4*z - z. Let s = -420 + z. Is 38 a factor of s?
True
Let q = -904 - -1665. Suppose 0 = 4*b - q + 173. Is b a multiple of 18?
False
Suppose 0*p = -5*p. Suppose 0 = 5*r - k - 23, -3*r - 5*k + 1 - 4 = p. Is r a multiple of 4?
True
Suppose -15*p = -17585 + 2345. Is p a multiple of 8?
True
Suppose 2*u + f - 4424 = 0, 3*f + 11060 = 5*u - 0*u. Is u a multiple of 49?
False
Let c(z) = -9 + z - 20 - z - 9*z. Does 34 divide c(-7)?
True
Let u = -319 - -361. Does 21 divide u?
True
Suppose 0 = -3*x + 4*t + 6, -6*x + 2*x = 2*t - 8. Let p = 7 + x. Let l = 37 - p. Is 28 a factor of l?
True
Suppose 3*s + 0*v + 2*v + 160 = 0, 0 = -3*v + 3. Let l be 312/(-8)*(-2 + 16/6). Let b = l - s. Does 14 divide b?
True
Let k = 17 + -17. Suppose 4*g - 19 - 37 = k. Does 2 divide 0 + 0 + (g - 12)?
True
Let m = 1127 - 1829. Let c be (-2)/5 - m/(-45). Let y = c + 27. Is 11 a factor of y?
True
Suppose -4*x - s + 225 = -6*s, 0 = 4*x + 3*s - 217. Suppose 0 = -n + l + 92, 3*l - 37 = -n + x. Let a = -27 + n. Is a a multiple of 19?
False
Let p(r) be the first derivative of -12*r**2 - 3*r + 2. Does 11 divide p(-2)?
False
Suppose 5*n = 3*n + 14. Is 356/28 - (-2)/n a multiple of 3?
False
Is (-250)/(-150) - (13240/(-3))/4 a multiple of 85?
True
Is 17 a factor of (-1605)/10*-1*2?
False
Let q(h) = h + 1. Let z(d) = 11*d + 42. Let r(l) = -4*q(l) + z(l). Is 16 a factor of r(6)?
True
Suppose 278 = 11*k - 9*k. Is 15 a factor of k?
False
Suppose f = -5*g + 639, -2*g - 2*f + 176 = -86. Suppose -51 = -3*l + 108. Suppose 5*y - g - l = 0. Does 12 divide y?
True
Let w = 1139 + -810. Suppose -w = -4*g - 81. Does 8 divide g?
False
Suppose 8 = 3*z + z. Suppose -z*i = -3*k - 83, 0 = 2*i - i + k - 34. Is i a multiple of 37?
True
Let k be (-1 - (1 - 2)) + 47. Suppose u + 3*j = k - 14, -u + 2*j + 28 = 0. Does 6 divide u?
True
Let t be 8/(3 - 33/12). Let n be (-26)/(-8) + (-8)/t. Is 1*(3 - n) + 42 a multiple of 21?
True
Suppose 0 = 11*u + 80 + 30. Does 20 divide (1 - 2194/u) + (-16)/40?
True
Let x be 8/(-3)*(1 - 655/10). Suppose -x - 143 = -3*g. Is 15 a factor of g?
True
Let f = -175 + 239. Is 32 a factor of f?
True
Suppose -2*h + h + 4 = 0. 