or of (-276)/(-345) + 192236/5?
True
Suppose -81*t + 80*t + 3959 = i, 3*i - t - 11853 = 0. Does 59 divide i?
True
Let u(w) be the second derivative of -3*w**5/20 + 13*w**4/6 + 5*w**3/2 + 3*w**2 - 81*w. Does 15 divide u(9)?
True
Let c(z) = z**3 + 22*z**2 + 17*z - 26. Let d be c(-21). Let j = 63 - d. Suppose 4*f = 3*l + 411, 0*f + 3*f + j*l = 301. Is 17 a factor of f?
True
Let i = 116 + -4. Let k be (15/5)/(12/i). Suppose -4*j + k = -52. Is j a multiple of 4?
True
Suppose -p - 2*o + 419 = -242, -2599 = -4*p + o. Is p a multiple of 43?
False
Let f = -10628 + 22247. Is 10 a factor of f?
False
Suppose -p + 3*v + 19995 = 0, 5*v - 100035 = 155*p - 160*p. Does 12 divide p?
True
Suppose -2*k + 7 = -5*t + 9, 0 = 3*t + 2*k - 14. Suppose 2*y = -3*c + 29, 2*c - 22 = -y - 3. Suppose 0 = t*u - 43 + c. Does 4 divide u?
False
Let s(l) = -l**3 - 14*l**2 - 13*l + 30. Suppose 20*v - 5*v = 30. Suppose -2*x - 70 = 5*i, 0*i = i + v*x + 14. Is s(i) a multiple of 53?
True
Suppose 4*y = -3*p - 13809 - 1863, -11741 = 3*y - p. Let i = -2603 - y. Is i a multiple of 82?
True
Suppose -244044 = -65*m + 33091 + 8865. Does 8 divide m?
True
Is 25 a factor of 536/((-16)/(-6) + 95/(-57))?
False
Is 31 a factor of (114/4)/(27/17856)?
True
Let l(q) = -q**3 - 57*q**2 + 40*q - 180. Is l(-58) a multiple of 27?
True
Suppose -69*n + 94048 = -123992. Is 20 a factor of n?
True
Suppose 12 = -8*t + 4*t. Does 7 divide 231 + -2*t/(-1)?
False
Let y(c) = 300*c + 3736. Is y(15) a multiple of 58?
True
Let l = -154 - -694. Does 20 divide 108/l - 199/(-5)?
True
Let j be ((-42)/24)/(-7) + 30/8. Suppose n + n = -j*m + 1286, -3*m + n = -967. Is 42 a factor of m?
False
Is 37 a factor of (-5)/2 - (-1075113)/234?
False
Let j(h) = 2090*h**2 - h. Let a be j(-1). Suppose 12*r - 15*r + a = 0. Is r a multiple of 41?
True
Suppose -66 = -8*l + 14. Suppose -5*q + 2*z = -l, z = 2*q - 2*z + 7. Suppose -2*h + 11 = -3*o, -q*o - 1 = -h - 8. Is h a multiple of 6?
False
Suppose -2*z - 3*j + 89 = -90, 2*j + 6 = 0. Suppose -4*n = d - 32, -2*n - z = -4*d + 2*d. Does 11 divide d?
True
Let l = 164 + 760. Is l a multiple of 12?
True
Suppose -381*a = -392*a + 9515. Is 6 a factor of a?
False
Let y(c) = 9*c + 72. Let h(a) = 3. Let u(f) = 3*h(f) - y(f). Is u(-21) a multiple of 23?
False
Let c(h) = 12*h**2 + 60*h - 3. Let u be c(-5). Does 4 divide 15 + u*(-16)/6?
False
Suppose 7*l - 5*r = 2*l + 1095, r + 443 = 2*l. Let a be (10 + -7)/(-3) + -4 - 2. Is 7 a factor of (14/(-8))/(a/l)?
True
Suppose 0 = 2*r - c - 269 - 152, -c = r - 215. Suppose 0 = -12*y + 16*y - r. Is y a multiple of 7?
False
Let s = -22 + 46. Suppose 7*n = s*n - 2737. Is n a multiple of 7?
True
Let d = 659 + -1269. Is 4/(-7) + d/(-14) even?
False
Let v = -1412 - -775. Let z = -577 - v. Is 20 a factor of z?
True
Let m be 5 + -2 + 22/2. Suppose -m = 4*w - 0*p - 2*p, -3*w - 27 = 4*p. Let s(u) = -53*u + 6. Is 39 a factor of s(w)?
False
Let i be ((-14)/(-105)*265)/(-2 - 8/(-3)). Suppose 270 = 4*z - z. Let y = z - i. Does 6 divide y?
False
Let m(q) = -q**3 - 4*q**2 + 3*q + 6. Let n be m(-3). Let p be 15 + n + 4/2. Suppose p*u - 85 = -5*b, 3*b = u + b - 20. Is 4 a factor of u?
False
Suppose -4*h - 4*u + 42647 + 97957 = 0, 5*h - 175827 = 4*u. Is h a multiple of 278?
False
Let d(x) be the third derivative of x**5/20 - x**4/3 + 40*x**3/3 - 32*x**2 + 1. Does 14 divide d(6)?
True
Suppose 3*h - 21 = -4*i, h - 3*i - 2 = -8. Suppose a + 2*a + 201 = h*f, 10 = 5*a. Does 2 divide f?
False
Let o = 206 + 11004. Is 5 a factor of o?
True
Suppose 18*w + 444 = -3*f + 19*w, -5*f = -4*w + 740. Let p(x) = -3*x**3 + x**2 + x + 4. Let d be p(3). Let u = d - f. Is u a multiple of 35?
False
Suppose -x + 18 = 3*t, -3*t - 4*x - 9 + 27 = 0. Suppose 59 = t*v + 299. Let y = v + 54. Is y a multiple of 14?
True
Let b = 111 - 51. Suppose -4*s = -3*c - 8, 4*s + 3*c + c = -20. Is 11 a factor of 1 - (b/(-3) + s)?
True
Let x be (-6)/(-3)*28/8. Suppose 557 = -x*b + 1453. Is 4 a factor of b?
True
Let o = 5277 + -4232. Is o a multiple of 19?
True
Suppose -l + 4*s - 3 = 5*s, s + 4 = 0. Let j be 0 + l + 0 + 0 + -4. Does 9 divide -2 + 4 - 97*(-4 - j)?
True
Suppose 3*b - 2*q - 431 = -0*q, 2 = -2*q. Let x = b + -146. Does 18 divide x*(58/(-4))/((-2)/(-12))?
False
Is ((-48)/80)/(3/(-26430)) a multiple of 136?
False
Let u = 6597 + 13801. Is u a multiple of 36?
False
Suppose 7*o - 52 = -38. Suppose -4*k + k = -5*i - 1373, 0 = -2*k - o*i + 942. Does 28 divide k?
False
Let b(f) = 638*f**2 - 206*f + 1266. Does 192 divide b(6)?
False
Let o = -2290 - -4570. Let q = 3272 - o. Is 16 a factor of q?
True
Let c(t) = -t**3 - 12*t**2 - 9*t + 18. Let w be c(-14). Let d be 5/(-5)*(262 + 4). Let z = w + d. Is 27 a factor of z?
True
Suppose 5*g + u = 3 + 22, -u + 15 = 3*g. Let o(k) be the third derivative of -k**4/24 + 7*k**3/3 + 378*k**2. Is 3 a factor of o(g)?
True
Let u(c) = 14*c + 14. Let z(q) = q + 1. Let b(d) = d + 1. Let k(h) = -5*b(h) + 6*z(h). Let m(f) = -30*k(f) + 3*u(f). Is m(3) a multiple of 8?
True
Suppose -4*y - 2*d = -35256, -16*d + 12*d = -3*y + 26475. Is 13 a factor of y?
False
Suppose 4*i - 4*m = 1784, -5*m + 2*m + 462 = i. Does 38 divide (-15)/(i/(-20)) + 6836/6?
True
Suppose 0 = 75*f - 59500 - 98675. Does 37 divide f?
True
Suppose 3*y - 10 = j, -4*j + y = 6*y - 28. Let g = -815 - -1172. Does 7 divide j/(-9)*(-18)/12*g?
True
Let a = -99 + 142. Let k = a + -39. Suppose -2 = 3*w + 4*t - 23, -k*w = t - 41. Is w a multiple of 11?
True
Suppose -3*z - 4*g + 19301 = 0, -4 = 5*g + 1. Does 165 divide z?
True
Let n(h) be the first derivative of 3*h**3 + 3*h**2 - 114*h + 60. Is n(12) a multiple of 66?
True
Suppose -3*g + 17 + 22 = -5*c, g - c - 11 = 0. Does 2 divide 103/2 + 4/g?
True
Let u(i) = -i**3 - 41*i**2 - 55*i + 1. Let n be u(-40). Suppose 2675 = 12*j - n. Is 7 a factor of j?
True
Let s(h) = -19 + 35 - 2*h - 6*h**2 - 9*h + 5*h**2. Let u be s(-12). Suppose -3*m + 95 = u*d, -m = d + 4*d - 116. Does 9 divide d?
False
Suppose -13620 = -2*t + 3*f + 20398, 2*f + 102054 = 6*t. Is t a multiple of 173?
False
Let a(z) = -z + 8. Let w be a(5). Suppose -x + 157 = 4*k - 147, -w*k + 3*x = -213. Does 5 divide k?
True
Suppose 5*y = 2*d + 30120, -26*y = -27*y - 2*d + 6012. Does 89 divide y?
False
Is (27 + 3050/(-100))/(2/(-22312)) a multiple of 11?
False
Suppose -11*k + 2*t + 9 = -10*k, 0 = 4*k + 4*t - 12. Suppose 0 = -k*w + 4*n + 1201, -5*n + 28 - 48 = 0. Is w a multiple of 2?
False
Let a = 323 - 204. Let y = a - -40. Does 10 divide y?
False
Suppose 16*r = 22708 + 1772. Is 8 a factor of r?
False
Does 55 divide 1/2*(4400/12)/(3/9)?
True
Suppose -28 = 9*f - 11*f. Let r = f + -14. Suppose -5*v = -q + 3*q - 109, r = -q + 2*v + 32. Is q a multiple of 7?
True
Suppose -13*o = -18*o - 5. Let y be ((-806)/(-65))/(o/5). Let f = y - -114. Is f a multiple of 13?
True
Suppose -3 = -4*f + 2*o + 3, f + 4*o + 12 = 0. Suppose -4 = -h - f, -4*i + 5*h = 8. Suppose 2*r + 5*w = 209, -4*w + 307 = 3*r - i*w. Does 5 divide r?
False
Let k = -276 + 467. Let u = k - 154. Does 4 divide u?
False
Let d = 795 + -154. Suppose -2*m + u = -198 - d, 5*m = u + 2099. Is 12 a factor of m?
True
Let u be 5*2 - (-8 - -11). Suppose -3*n - h = -u*n + 13, h - 2 = -n. Let x = n - -112. Does 27 divide x?
False
Does 15 divide ((-7944)/(-15))/((-14)/(-35))?
False
Let h(o) = -65*o - 13. Let g(m) = -m**2 + 14*m + 10. Let c be g(15). Let v be h(c). Suppose 120 = -3*x - 3*t + v, 5*x = 5*t + 320. Is 14 a factor of x?
False
Let l(c) = -19*c**3 + 3*c**2 + 10*c + 10. Let t = 299 + -302. Does 40 divide l(t)?
True
Let v(h) = 2*h**2 + 11*h - 17. Let x(c) = -c**2 - 5*c + 9. Let m(n) = -2*v(n) - 5*x(n). Let j be m(5). Let g = 37 - j. Is g a multiple of 2?
True
Suppose 0 = 183*f - 180*f + 1110. Let z = -100 - f. Does 9 divide z?
True
Let x = 4247 - 2765. Does 14 divide x?
False
Suppose -125*g = -148*g + 448776. Is g a multiple of 6?
True
Let w = -1775 - -2396. Does 30 divide w?
False
Let c = -104 + 236. Suppose -c = 4*n - v, -4*v = 2*n - v + 52. Let s = n + 38. Does 2 divide s?
True
Suppose -65*b + 56*b + 4590 = 0. Is 85 a factor of b?
True
Is 272/(-17)*(4 - 165) a multiple of 7?
True
Let c(b) = b - 9. Let y be c(8). Let s be ((-8)/(-3) + y)/((-1)/(-3)). Suppose 5*g = 4*a + 357, 6*g - 66 = s*g - a. Is 20 a factor of g?
False
Suppose 365*k - 319*k - 195316 = 0. Does 22 divide k?
True
Let d be