e 37/(-18) + 78/1404. Is 22 a factor of (u/5 - n)*(3 - -2)?
False
Suppose -j + 4*s = -1, j - 2*s = -0*s - 1. Is 13 a factor of j/(30/(-1352))*(-35)/(-14)?
True
Is 69 a factor of (30/45)/(3 - (-53330)/(-17778))?
False
Let j(n) = -5*n + 16. Let q be j(-4). Let k = q - 50. Is 7 a factor of (11/(-2) + 2)/(1/k)?
True
Let c = 688 - 790. Is 354/(-8 - c/12) a multiple of 13?
False
Let q(c) = -27*c - 35. Let b(z) = 9*z + 12. Let p(d) = -14*b(d) - 4*q(d). Is p(-3) even?
True
Let m(z) = -z + 17. Let x be m(-6). Suppose 2682 = x*d + 589. Is 38 a factor of d?
False
Suppose -10*x + 30839 - 18489 = 0. Is 13 a factor of x?
True
Suppose 5*h + 449 = 4*q - 693, -q - 4*h = -254. Does 8 divide q?
False
Let a(l) = 18*l**2 - 1172*l - 329. Is 76 a factor of a(82)?
False
Let k(w) = -w**3 + 2*w**2 - w + 4. Let t be 4 - (3 - 3 - -4). Let d be k(t). Suppose -5*v + d*p = -366 - 306, -p - 3 = 0. Is 14 a factor of v?
False
Suppose -145*y + 124026 + 904024 = 0. Is 10 a factor of y?
True
Suppose 0 = r + 18*v - 17*v - 1160, r - 1150 = -3*v. Is 10 a factor of r?
False
Let r(y) = -3*y - 7. Let s be r(-3). Suppose s*m + m = -u + 417, 0 = 3*u + 4*m - 1266. Suppose -7*b + u - 20 = 0. Does 29 divide b?
True
Suppose -11 + 5 = -3*z. Suppose 0 = -z*t + 4, 2*f - 7*t = -2*t + 1246. Is 38 a factor of 4/(f/(-158) + 1 + 3)?
False
Let m(u) = 17*u**2 + 14 - u**3 - 7*u**2 - 15*u**2 + 11*u. Does 3 divide m(-7)?
False
Let v(g) = -g**2 + 8*g - 9. Let o = 41 + -35. Let k be v(o). Is (3 + 51)*k/6 a multiple of 10?
False
Let d(y) = 15*y + 2193. Is 97 a factor of d(-47)?
False
Let x(i) = i**3 - 42*i**2 - 215*i + 54. Let n be x(48). Let m = n - 2036. Is m a multiple of 13?
False
Suppose 4*y = -2*x + 18, -30 = -5*y - 12*x + 8*x. Suppose 3*i + y*i = 3*g + 2514, 0 = 3*i - 5*g - 1502. Does 14 divide i?
True
Let d = -16601 + 26706. Does 72 divide d?
False
Let a(c) = -2*c**3 - 43*c**2 - 28*c - 15. Is 11 a factor of a(-21)?
True
Let c be (0 - (-4)/(-1))/(-1). Suppose -c*a - 3*q = -q - 524, -3*q = -a + 117. Is a a multiple of 4?
False
Let u(r) be the first derivative of 2*r**3/3 - 3*r**2/2 + 3. Suppose -3*o - 5 - 4 = 0. Is 21 a factor of u(o)?
False
Suppose 5*u - 3*g = 156747, -3*u = 2*u + 3*g - 156753. Suppose u = -0*c + 25*c. Does 57 divide c?
True
Let m(q) = 29*q**2 + 22*q - 340. Is 117 a factor of m(24)?
False
Is 6 a factor of (-42)/(-70) + 25551/15?
True
Suppose o = -3*o + 1248. Let b(k) = -4*k**2 + 22*k - 14. Let t be b(10). Let a = o + t. Does 29 divide a?
False
Suppose -8*n + 3*n = 10*n. Suppose 6*a - 7*a = -5*x - 125, 4*a + 2*x - 412 = n. Does 21 divide a?
True
Let d(m) = -1930*m + 1500. Is 54 a factor of d(-3)?
True
Let h = -511 + 973. Suppose -476 = h*a - 464*a. Is a a multiple of 68?
False
Is (-40766)/(-12) + (-435)/(-522) a multiple of 111?
False
Let r = 2965 + 349. Is r a multiple of 40?
False
Let l be 1608/(-96) + (-2)/8. Let u = 65 + l. Is u a multiple of 3?
True
Is (938/(-70) - -12)*-65 a multiple of 7?
True
Suppose 5*y = 4*j, 3*j + 8*y = 5*y. Suppose j = -30*d + 14*d + 1584. Is d a multiple of 31?
False
Let a(i) = -4344*i - 10766. Does 166 divide a(-11)?
True
Let m be 8/(-10)*(-27 + 22). Suppose -4*q - 151 = 3*f - 2569, -m*q - 12 = 0. Is 30 a factor of f?
True
Is 183 a factor of 1*25633 + 9269/(-713)?
True
Suppose -2*w - 2895 = -l - 287, -3*l - 5*w = -7791. Is l a multiple of 79?
False
Let w(p) = -17*p - 31. Let a be w(-3). Suppose 3*s + 2*x + a = 142, -3*s + 134 = -4*x. Suppose -q = -0*t + 2*t - 39, t = 4*q + s. Does 19 divide t?
False
Let x(t) = 17844*t**2 - 2539*t + 2539. Is 17 a factor of x(1)?
False
Suppose 0*r - 4*r + 2*r = 0. Suppose r = -6*x - 2*x - 128. Let o(z) = z**3 + 16*z**2 - 3*z - 8. Is o(x) a multiple of 13?
False
Let w be (-11 - (-2 - 3)) + 756. Is 29 a factor of ((-156)/(-65))/(3/w)?
False
Let g be 60/20 - (0 - 0/2). Let s be ((-30)/20)/(g/(-892)). Suppose 4*z = -5*a + s - 185, -a = z - 53. Is 12 a factor of a?
False
Suppose 4*j - 115 + 91 = 0. Is 8 a factor of ((-15)/(-4))/(j/512)?
True
Let j be ((-11130)/3)/7*(-1)/(-2). Let a = -238 - j. Is 2 a factor of a?
False
Let q be 32*(9/(-3))/(-12). Suppose 1008 = -q*y + 16*y. Does 25 divide y?
False
Let w be ((-2)/(-6)*0)/2. Suppose -4*q + 2 = s + 4*s, -4 = -3*s - q. Suppose a + 3*t = 216, a - 6*a - s*t + 1080 = w. Is a a multiple of 12?
True
Let t be (-1)/5 - 984/(-20). Suppose -w = -t - 50. Is w a multiple of 11?
True
Let y(f) = 56*f + 140. Let t be y(-2). Does 30 divide 3/2 - (-798)/t?
True
Does 31 divide (321160/(-42))/20*-18?
True
Let v = 656 - 70. Let q = v - -22. Is 32 a factor of q?
True
Let q(w) = w**3 + 10*w**2 + 3*w - 6. Let j(d) = d**3 + 7*d**2 - 6*d + 7. Let n be j(-8). Does 37 divide q(n)?
False
Let a(o) = 27*o**2 + 150*o - 4217. Is a(27) a multiple of 19?
False
Let z(r) = 40*r**3 - 11*r**2 + 54*r - 15. Is 170 a factor of z(9)?
False
Let q = -43 - -43. Let n(z) = -6*z + 1. Let r be n(q). Is ((-12)/42)/r - (-886)/14 a multiple of 40?
False
Let n(k) = -2*k - 10 + 3 + 2 - 5. Does 2 divide n(-13)?
True
Let q(d) = 4*d**3 + d**2 + 3*d + 2. Let i = 11 + -17. Let s(t) = -5*t**3 - t**2 - 4*t - 3. Let c(z) = i*q(z) - 5*s(z). Is c(4) a multiple of 7?
False
Let f(o) = 20 - 2*o + 1 - 6 + 9. Does 9 divide f(-35)?
False
Let x = -4565 + 8889. Is 70 a factor of x?
False
Let d be 7369/3 - (-32)/(-24). Suppose 13*g + 3*s = 8*g + d, -4*g = 5*s - 1977. Is 25 a factor of g?
False
Let f be 3/(7/(24 - -4)). Let c(l) = l**3 - 10*l**2 + 24*l - 5. Is c(f) a multiple of 14?
False
Suppose 0 = -3*v - 5*d + 15, 22*d - 26*d = 12. Suppose -530 = v*p - 2330. Does 11 divide p?
False
Does 35 divide (-8)/3 + (613585/105 - -4)?
True
Let a = -286 + 277. Let p(b) = -41*b - 27. Is 19 a factor of p(a)?
True
Let x(o) = o**2 - 2*o - 39. Let s be x(6). Is 12 a factor of s/(-2 + -3)*50/6?
False
Suppose 0 = 14*j - 19*j + 55. Let f(d) = -11*d - 30 + 16 + j. Does 9 divide f(-7)?
False
Suppose -n + 8*n = 2968. Does 58 divide n?
False
Suppose 36 = 6*f - 2*f. Suppose f*i + 68 = 239. Is 7 a factor of i?
False
Suppose 2*w = -13*w - 105. Let d(v) = -10*v + 6. Is d(w) a multiple of 4?
True
Let k = -524 + -84. Is 92 a factor of ((-21)/12)/((5/k)/5)?
False
Is (34*7/5)/(1215/364500) a multiple of 21?
True
Is 6 a factor of (-8)/10*(-1017440)/128?
False
Let y(p) = -90*p - 4635. Does 26 divide y(-120)?
False
Let x = 553 + -438. Let t = x + 269. Does 48 divide t?
True
Let m = -1739 + 2019. Is 2 a factor of m?
True
Let u = -26 + 16. Let w be (3/(-6))/((-1)/u). Let j = 167 + w. Does 18 divide j?
True
Let r = 11231 + -2210. Does 93 divide r?
True
Let w = 9309 - 2785. Is 10 a factor of w?
False
Suppose -2*y - 61 = -243. Is 53 a factor of y?
False
Let m = 156 - 62. Suppose m*y - 93*y = 496. Suppose -2*w + y = d, 2*w = 6*w + d - 990. Does 37 divide w?
False
Suppose 51*c = 46*c - 1915. Let d = -307 - c. Does 8 divide d?
False
Let j(c) = -2*c + 3. Let p = -64 - -60. Let o be j(p). Suppose -o = 5*d - 231. Does 16 divide d?
False
Let f(w) = 150*w + 3605. Is f(43) a multiple of 113?
False
Suppose 0 = -b + m - 0*m + 7103, b - 7112 = -2*m. Does 6 divide b?
False
Let h(u) = 8*u**2 - 233. Let i(q) = 3*q**2 - 78. Let d(y) = -6*h(y) + 17*i(y). Let a = 3962 - 3962. Does 36 divide d(a)?
True
Suppose t = -5*r - 3*t + 2048, -2*t + 1230 = 3*r. Let m = r - 220. Is 24 a factor of m?
True
Does 24 divide (-1 - -3) + -1 + (3478 - 3 - -1)?
False
Does 6 divide (2914/(0 - -2))/((-847)/(-3388))?
False
Let x be (-40)/(-15) + -3 + 119/(-3). Let u = 43 + x. Suppose 5*t = 2*z + 20, -u*t + 8 = -2*z - 0*z. Does 2 divide t?
True
Suppose -3*d + 20 = d. Suppose 4*f = -i - 16, 37 = -2*i + d*i - 5*f. Suppose -3*s + 5*a = -1025, 0 = -2*s - 9*a + i*a + 650. Is 16 a factor of s?
False
Let p = 4722 - 212. Does 41 divide p?
True
Let b(t) be the third derivative of 7*t**4/8 + 19*t**3/6 + 2*t**2 - t. Is b(3) a multiple of 11?
False
Let p be (13*14)/(-2)*(-1 + 0). Suppose -3*t = 4*t - p. Let f = 39 + t. Is f a multiple of 13?
True
Let z = 94 - 98. Is 38 a factor of 5 + z - -231 - -3?
False
Suppose 2*q = -3*l - 7225, -l - 2405 = 5*q - q. Let h = -1627 - l. Does 78 divide h?
False
Let p(r) = -r**2 - 14*r + 33. Let g be p(-10). Let y = g - -56. Is 23 a factor of y?
False
Suppose -m = 2*t - 10, 2*t = -3*m + 3*t + 44. Suppose 3*y + m = 5*a, y = -4*y + 10. Is -3 - a*(-115)/10 a multiple of 43?
True
Let n(k) = -707 - 2*k - k + 6