e
Suppose -4*c - 37*q = -39*q - 22786, -4*q = -2*c + 11372. Is c a multiple of 25?
True
Let j be (-17 + 9)*(0 + -2). Suppose 7*d + 108 = j*d. Suppose -d*l + 9*l + 81 = 0. Does 9 divide l?
True
Let x(d) = 1184*d - 4895. Is 284 a factor of x(32)?
False
Suppose 19*o - 335333 = 191744 - 177363. Is 7 a factor of o?
False
Suppose 3*i = 9, 2*i = -3*k + i + 252. Let f = k + -78. Suppose -176 = f*r - 9*r. Is 11 a factor of r?
True
Let p(j) = 49*j + 275. Let f be p(-8). Let k = 125 - f. Is k a multiple of 38?
False
Let q = 145 + -138. Suppose 0 = q*j + 1517 - 7544. Is j a multiple of 21?
True
Let j(n) = 13706*n + 444. Is 25 a factor of j(1)?
True
Let r be (1 + 8384)/((-72)/(-48)). Suppose 41*k = r + 34303. Is k a multiple of 56?
False
Let p(z) = -8*z**3 + 25*z**2 + 21*z + 48. Does 29 divide p(-13)?
True
Suppose 4 + 5 = 3*m. Suppose m*k + 4*k - 35 = 0. Suppose 2*q - 53 = -h + 4*q, -5*h - k*q + 295 = 0. Is h a multiple of 7?
False
Let d be 1/(-4) + (-5)/(-20). Let u = 7 + d. Suppose -36 = 5*m - u*m. Is m even?
True
Suppose 0*w + 3625 = 3*w - 2*t, -6035 = -5*w + 2*t. Suppose 5*u = 4*p + w - 5322, p = -3*u + 1042. Is p a multiple of 61?
False
Suppose 3*r + 314 = 5*z, -z + 51 = -5*r - 25. Suppose -53*v - 9880 = -z*v. Does 13 divide v?
True
Let u(y) = 2*y**2 - 17*y - 20. Let i be (-6)/7*(7 + (-3 - -3)). Let x be 9/i*(20/(-3) - 0). Does 5 divide u(x)?
True
Let u(s) = 68*s + 1581. Does 3 divide u(-15)?
True
Let h(t) = -198*t - 291*t + 391*t - 8. Let d be h(3). Let u = d - -623. Is 63 a factor of u?
False
Let r(f) be the first derivative of 9*f**2 - 2*f + 17. Suppose -8 = -5*l - 3. Is 10 a factor of r(l)?
False
Let k = -6065 - -6859. Is 2 a factor of k?
True
Let h = 47 - 52. Let c be 5*h/2*(-8)/(-25). Let i(b) = -8*b + 1. Does 13 divide i(c)?
False
Suppose -2*v = h - 5*h - 52, h = v - 21. Suppose k - v = 80. Suppose -10*z + k = -8*z. Is z a multiple of 8?
True
Suppose 140 + 4 = -2*g. Let d = 198 + g. Is 42 a factor of d?
True
Let p(t) = 4*t**2 - 48*t + 2. Let l(g) = g**3 + 25*g**2 - 3*g - 57. Let r be l(-25). Does 14 divide p(r)?
True
Suppose -3*v + 5*v = 4*y + 8652, 4321 = v - 3*y. Is 15 a factor of v?
False
Is 47 a factor of 63/63 + -2 + 6433?
False
Let g(f) = -357*f**2 - 39*f + 75. Let u(n) = 89*n**2 + 10*n - 19. Let y(h) = -4*g(h) - 15*u(h). Let v be y(2). Suppose 771 = 5*w - v. Is 19 a factor of w?
True
Suppose -197*t - 66358 = -201*t + 2*v, -2*t = -4*v - 33176. Is 128 a factor of t?
False
Let v be -5 + 8 - (4 - 5). Suppose 0 = -v*f + 34 + 46. Is ((-8)/f)/(3/(-1110)) a multiple of 13?
False
Let g = 636 - -16673. Suppose g = s + 18*s. Does 26 divide s?
False
Let y(j) = 6*j**2 + 53*j - 6. Let u be y(-9). Let t = 0 + 2. Suppose u*v = -t*v + 505. Is 14 a factor of v?
False
Suppose 3001 = -4*q - 3*m, -q + m + 73 = 825. Let h = 1059 + q. Is 26 a factor of h?
False
Suppose 8*u - 124 = 12*u. Let v = -31 - u. Suppose 0 = -4*i - v*f - f + 250, 192 = 3*i + 3*f. Is 10 a factor of i?
False
Let c = 1490 + -410. Is c a multiple of 24?
True
Suppose 0*m = -6*m + 9*m - 6069. Does 6 divide m?
False
Suppose -14 = -10*w - 54. Let q(b) = 3*b**2 - 6*b - 6. Does 6 divide q(w)?
True
Let a(d) = 15*d + 1087. Does 34 divide a(25)?
True
Let y be (15/(-25))/(6/(-30)). Suppose -b - 960 = -y*b - 5*l, -b + 477 = 4*l. Is 11 a factor of b?
False
Let z(y) = -37*y**3 - 62*y**2 - 17*y - 41. Does 7 divide z(-8)?
True
Let c be (-292)/511*(-14)/4. Let n be (-6)/((-3)/(-174)*-1). Suppose 0 = -c*y + 5*y - n. Is y a multiple of 29?
True
Let m(j) = 633*j - 1563. Is 33 a factor of m(9)?
False
Is 37*(116/203 + (-395)/(-7)) a multiple of 4?
False
Let n(w) = -12*w**2 + 209*w**3 - 6*w**2 - w - 210*w**3 + 38. Is n(-19) a multiple of 38?
True
Let q = 255 - 251. Suppose -5*u + 745 = q*l, -3*l + 2*l + 730 = 5*u. Does 29 divide u?
True
Suppose -i - 2 = 5*c + 11, -i - 4*c = 13. Let b(x) = -x**2 - 4*x + 143. Is b(i) a multiple of 22?
False
Suppose -2*l + 934 = 3184. Let p = 1593 + l. Does 52 divide p?
True
Let f = 1138 - -47. Does 32 divide f?
False
Is 5/(17*17/889831) a multiple of 63?
False
Let t(s) = 141*s + 66. Let o(i) = 3*i + 16. Let p be o(-4). Is t(p) a multiple of 30?
True
Suppose 0 = -68*p + 112*p - 360448. Does 25 divide p?
False
Suppose -199*s + 197*s = -468. Is s a multiple of 3?
True
Let f(x) = 157*x + 987. Is 12 a factor of f(10)?
False
Let m = 87504 - 62242. Does 34 divide m?
True
Let h = 55 - 52. Suppose -2*b - 8*y + 115 = -7*y, -3*b - h*y + 165 = 0. Is 60 a factor of b?
True
Let v = 686 + -685. Let c(g) = 79*g + 55. Is 15 a factor of c(v)?
False
Let h(f) = -f**2 + 17*f - 4. Suppose -1 = 4*q + 7, -j - 2*q + 4 = 0. Let n be h(j). Let r = -60 + n. Is 8 a factor of r?
True
Let b(x) = 5*x**2 + 76*x + 2583. Does 32 divide b(-51)?
True
Let f(x) = -17*x + 16. Let t(m) = 3*m**2 - 5*m + 1. Let g be t(2). Let i be f(g). Let d = 122 + i. Does 8 divide d?
False
Is -2125*12/(-45)*18/12 a multiple of 30?
False
Suppose -2*m = -m. Suppose m*h + 180 = -6*h. Is 16 a factor of (97 - (0 - -1))/((-20)/h)?
True
Is 40 a factor of 990/4 + 60/40?
False
Let o(a) = 1051*a**2 + 61*a + 12. Does 12 divide o(-3)?
True
Suppose 192*d + 2149 = 199*d. Suppose h + 3*n - d = 0, 3*n - 308 = -h - n. Is 16 a factor of h?
True
Let p = -1538 + 123. Let d = -685 - p. Does 73 divide d?
True
Let h(g) = -4*g + 248. Suppose 0 = -4*m - j + 149, 6*m - 109 = 3*m + 2*j. Is h(m) a multiple of 5?
True
Let k = 1261 + 2447. Does 36 divide k?
True
Suppose -7*d + 6*d + 5948 = 3*b, -b + 1996 = -3*d. Is b even?
True
Let s be 3*-1 + (15 - 9). Let c = 81 - s. Does 26 divide c?
True
Let i = -4909 + 11846. Is i a multiple of 22?
False
Let u = 67 - 50. Does 3 divide (-2)/u + (-8225)/(-119)?
True
Let h be (0 + 4505 - 8) + -2. Suppose 0 = 5*q - h - 1595. Does 14 divide q?
True
Suppose -3*h = 6*c - 4*c - 51072, 3*h - 51108 = 4*c. Is h a multiple of 66?
True
Suppose 0 = -4*u + 6*u - 24. Let i be 0 - u/(-1 - 3). Suppose 0 = 4*w + 2*c - 196, 0*c + i*c = -w + 44. Is 15 a factor of w?
False
Suppose -5*x + 10 = 0, -4*y = y - 5*x + 65. Let j(t) = -2*t + 73 + 2*t - 8*t - 69. Does 46 divide j(y)?
True
Let z(p) = -66*p - 48. Let n(q) = -4*q**2 - 8*q + 10. Let b be n(-3). Is 6 a factor of z(b)?
True
Let h(y) = -y**3 - 21*y**2 - 23*y - 64. Let j be h(-20). Is 5 a factor of (-1 - j - 63)*(-9)/27?
True
Let m = -90303 - -133695. Is m a multiple of 19?
False
Suppose -29*s - 68744 + 265331 = -189606. Does 9 divide s?
False
Let y(z) = z**2 + 4*z + 1297. Let l(n) = -12*n + 24. Let q be l(2). Is 95 a factor of y(q)?
False
Is (-9860)/((-4 - 28/(-8))/(1/1)) a multiple of 15?
False
Suppose 71550 = -28594*z + 28621*z. Does 25 divide z?
True
Let k(f) be the second derivative of 18*f**2 + 2/3*f**3 + 0 + 15*f. Does 2 divide k(-6)?
True
Let k be (9/(-2) + 0)/(4/(-48)). Is ((-608)/6)/((-36)/k) a multiple of 16?
False
Let y(b) = 280*b + 1. Let j be y(2). Suppose 3*q - j + 174 = 0. Suppose -19*z + 612 = -q. Is z a multiple of 3?
True
Let t = -7578 - -13075. Is 81 a factor of t?
False
Suppose -2*d + 4*r = 1 - 75, -r = -3*d + 121. Suppose -2*v - 3*x = d, 2*v - v + 19 = -2*x. Let w = 23 - v. Is w a multiple of 37?
False
Suppose 6556 - 57199 = -51*p. Is p a multiple of 8?
False
Suppose 2*g = 4*a - 19 + 7, -5*g = -2*a + 14. Let q(x) = 47 + 3*x + 233*x**a + x - 46. Is q(-1) a multiple of 46?
True
Let r be (-32)/(-208) + 37/13. Suppose -4*x = 0, -6*w + r*w - 204 = -4*x. Let k = w - -104. Does 6 divide k?
True
Suppose 3*q - 1855 = k, -229 = 4*q - 2*k - 2699. Let r(j) = 5*j**2 - 30*j + 15. Let c be r(7). Is 2 a factor of (-3)/(-5) + q/c?
False
Let v(f) be the first derivative of 38*f - 11/2*f**2 + 20 + 1/3*f**3. Is 28 a factor of v(10)?
True
Let h = -2852 + 4964. Suppose 11*y - h = 1166. Does 16 divide y?
False
Suppose -21*u = 3*z - 18*u - 37644, -25112 = -2*z - 4*u. Is 12 a factor of z?
True
Let d(p) = 6*p**3 + 65*p**2 - 27*p - 249. Does 15 divide d(-9)?
True
Suppose a = 332*f - 329*f + 94575, f - 473019 = -5*a. Does 19 divide a?
False
Suppose -5*s + 4673 = 6*a, -1868 = -2*s + 46*a - 48*a. Does 24 divide s?
False
Let f(u) be the first derivative of 17*u**3/3 - 9*u**2/2 + 7*u - 72. Is 40 a factor of f(5)?
False
Suppose 4*t + 1571 = 3*a - 1063, 3*a - 2640 = 3*t. Is 86 a factor of a?
False
Let f = 708 - 1205. Let b = -362 - f. Is b a multiple of 5?
True
Suppose 0 = 144*m - 137*m + 238. Let l = m - 