e of 44?
False
Is 375 a factor of (1 - 3 - (-2886)/3)*(-450)/(-72)?
True
Let t = -24 - -33. Suppose 6*l + 2*s = t*l - 278, -4*l + s + 369 = 0. Does 23 divide l?
True
Suppose 4*x + 208 = -4*x. Let s be (-575)/(-65) - ((-12)/x)/(-3). Let z(t) = 11*t - 21. Does 6 divide z(s)?
True
Let w = 9 - 27. Suppose -6*l + 263 = 353. Is w/(-1)*(-35)/l a multiple of 14?
True
Let g = -129 - -207. Let m = 133 - g. Does 12 divide m?
False
Let g be (-112 - 8)/8*-18. Suppose -x - 60 = -g. Does 105 divide x?
True
Let v(r) = -r**3 + 29*r**2 - 84*r - 74. Let d be v(25). Let w = d - -220. Does 26 divide w?
True
Suppose -8*x + 2 = -7*x. Suppose 2*f - 338 - 182 = 4*r, x*f + 2*r = 514. Does 22 divide f?
False
Suppose -19536 = -3*b + 6*k - k, -4*k = -4*b + 26056. Is b a multiple of 78?
False
Suppose -14*g + 6*g + 7400 = 0. Let r = -874 + g. Does 31 divide r?
False
Let k be ((-832)/(-34))/4 + (-52)/442. Suppose k*q - 3072 = -828. Is q a multiple of 48?
False
Is (-10419468)/(-1160) + 3/(-10) a multiple of 21?
False
Let o = -2714 - -3687. Is o a multiple of 5?
False
Let o = -10499 - -29996. Is 12 a factor of o?
False
Let j = 4983 + -2695. Suppose 4*q + 3*b = j, -5*q + 2296 = -q + b. Is q a multiple of 8?
False
Let x(q) = -3306*q + 1402. Does 18 divide x(-7)?
False
Let k(i) = 5*i**3 + 30*i**2 - i - 1. Let n be k(-6). Suppose -n*h - h = -2040. Is 10 a factor of h?
True
Let w be (52 + 425)/(3/52). Suppose 274*d - 261*d - w = 0. Does 6 divide d?
True
Is 15 a factor of (28/21)/((-27712)/3960 - -7)?
True
Suppose 4*a = b - 6397, -908*b + 906*b + 12803 = a. Is 61 a factor of b?
False
Let l = 5242 + -4036. Is l a multiple of 9?
True
Suppose 5*c = -0*c + 3*r + 4, 4*r - 8 = 0. Suppose -6*y = c*y - 1368. Does 48 divide y?
False
Let i(t) = -87*t + 20. Let w be i(-1). Let f = w + 306. Does 21 divide f?
False
Let t(r) = r**3 - 4*r**2 - 9*r - 8. Let c be (7 - 6)*(-1)/((-2)/8). Suppose c*w + 5*v - 36 = w, w = 5*v - 8. Is t(w) a multiple of 9?
False
Suppose -90 + 783 = 3*p - 4*n, 4*n = -3*p + 669. Let h = 351 - p. Is h a multiple of 31?
True
Suppose -4*i - 370 = -1126. Suppose 0 = o - 4*b - 138, -4*o + 396 + i = -5*b. Is 10 a factor of o?
True
Suppose 2*p + 4 = 0, 4*v = v + 5*p - 218. Let x = v + 88. Suppose 4*j = 3*g + 15 + x, -2*g + 24 = 2*j. Does 5 divide j?
False
Does 39 divide 2882 - (-3 + 5)*-4 - 4?
True
Let i be (-5)/(-20)*4 + 1*121. Let j = 283 - i. Let f = 266 - j. Is 15 a factor of f?
True
Let x = 82 - 356. Let u = -198 - x. Is u a multiple of 26?
False
Suppose 3*p - u = -35, -2*p - u = -4*p - 25. Is (-9175)/p + (-3)/6*-1 a multiple of 102?
True
Let c be 1632/(-1) - 38/19. Let f = c + 2588. Is f a multiple of 20?
False
Let g = -389 - -717. Is 13 a factor of g/24 - (-4)/(-6)?
True
Suppose -18*u - 7759 = -847. Let c = -220 - u. Does 23 divide c?
False
Suppose 24940 = 32*r - 189204. Is 28 a factor of r?
True
Suppose -2*g = -5*y - 1159, 2285 = 8*g - 4*g + y. Suppose 11*h - g = 946. Does 27 divide h?
False
Let s(v) = 2*v**2 + 2*v - 30. Suppose -d - 2*q + 5 = 56, -212 = 4*d + 4*q. Let b = 64 + d. Is s(b) a multiple of 16?
False
Let y be 2 - 0 - (-1 + -3). Let s be 0 + (-2)/14 + y/42. Suppose s = q + 3*q - 200. Is 17 a factor of q?
False
Let n(l) = 6*l**3 - 89*l**2 - 28*l + 20. Is 44 a factor of n(16)?
True
Let l(j) = 3*j**2 + 59*j - 69. Suppose -2*x + x - 6 = 0. Let b(m) = m**2 + 20*m - 23. Let w(c) = x*l(c) + 17*b(c). Is 37 a factor of w(-12)?
False
Let u(z) = 59*z - 15. Let w(c) = 57*c - 13. Let v(o) = 4*u(o) - 5*w(o). Does 21 divide v(-5)?
False
Suppose -3*o + 5680 = 3*f - 95, -11*o = -2*f - 21110. Is 128 a factor of o?
True
Let z(v) be the first derivative of -2*v**3/3 - 23*v**2/2 - 21*v + 26. Let l be z(-14). Does 14 divide (-4)/(-26) - 2534/l?
True
Is 51 a factor of 34918 - (-5)/(60/204)?
True
Let a(x) be the second derivative of x**4/6 - 7*x**3/3 + 8*x**2 + 21*x. Let f be a(11). Suppose 17*r = 4*r + f. Is r a multiple of 4?
True
Let b = 172 - 147. Suppose 4998 = -8*x + b*x. Does 18 divide x?
False
Suppose -3*c + 4 = 4*r, 3*r - 2*r = 4*c + 1. Let x(h) = 19*h + 5. Does 2 divide x(r)?
True
Let b = -207 + 239. Is 190*-12*(-4)/b a multiple of 19?
True
Let h(r) = -r. Let j be h(5). Let g be (j + 4)/4 - (-30)/(-8). Is (-41 - -3)*6/g a multiple of 19?
True
Let q = -121 + 123. Suppose -q*g = -137 + 131. Suppose -g*t - h + 28 = -44, -2*t + 3*h + 48 = 0. Does 24 divide t?
True
Let l = -1512 - -891. Let r = l + 1030. Does 43 divide r?
False
Is (-1760)/100*645/(-6) - -1 a multiple of 66?
False
Let j = 24024 - 16724. Is 146 a factor of j?
True
Suppose -3*m + 2*p = -17237, -48*p - 22981 = -4*m - 47*p. Is 15 a factor of m?
True
Suppose 0 = -10*m + 5*m - 125. Let f(c) = c**2 - 3*c - 15. Let g be f(-7). Let r = g + m. Does 18 divide r?
False
Let y = 6801 - -12864. Does 207 divide y?
True
Let k = -270 - -258. Let s = 0 - 2. Is (-6)/k*(s - -30) a multiple of 14?
True
Let g = -325 - -323. Is (39040/(-48))/(g/3) a multiple of 20?
True
Is -9*88/198 + 422/2 a multiple of 61?
False
Suppose -36*x = -18412 - 257708. Does 13 divide x?
True
Does 94 divide (-28)/8*((7 - 4)*-2993 - -5)?
False
Let y be 1/1 - (-252)/1. Let l = -132 + y. Suppose -c + 21 = -5*w + 8, -3*w + l = 5*c. Is 8 a factor of c?
False
Suppose 1548 = 8*y - 852. Let v = 320 - y. Does 11 divide v?
False
Let d be -7*((-104)/(-28) - 4). Suppose -4*x + 3*i = 31, -2*x - 26 = 2*x + d*i. Let r = x + 12. Is r a multiple of 3?
False
Let o = -279 - -283. Suppose -2*g + o*l = -752, 0 = g - 5*l - 136 - 228. Does 24 divide g?
True
Is 18 a factor of (34596/496)/((-130)/(-128) + -1)?
True
Let d = -2409 + 2583. Does 6 divide d?
True
Let w be (0 - 3/2)*(-98)/147. Does 14 divide 167 - w - (-5 - -3)?
True
Suppose -o - 1730 = 4*i, -6*o + 5*o + 435 = -i. Let m = 527 + i. Is 3 a factor of m?
False
Suppose -23*f = 5821 - 17988. Does 10 divide f?
False
Suppose -449*z - 20670 = -452*z. Is z a multiple of 60?
False
Let i be ((-287)/7)/(2 - 1). Suppose -2*k = 0, 3*p - 4*k = p + 116. Let v = p + i. Is v a multiple of 12?
False
Let h(m) = 6863*m + 56. Let c be h(1). Suppose 5*t + 2319 - c = -5*y, 2*t - 1840 = -4*y. Does 29 divide t?
False
Suppose -3*z - 4*q + 8264 = 0, z - 2028 - 724 = -2*q. Does 24 divide z?
True
Let s(n) = 11*n**3 - 2*n**2 - 15*n + 31. Is 13 a factor of s(7)?
True
Let u = -4682 + 7586. Is u a multiple of 8?
True
Let d = -142 + -152. Is 18 a factor of (4/16 - d/8) + -1?
True
Does 94 divide 0 + -47*(-63 - 2)*48/60?
True
Let a = -21 + -39. Let l = 253 + a. Does 15 divide l?
False
Let n(a) = 6*a - 7. Let g be n(2). Suppose g*t - 8*t = -75. Does 4 divide t?
False
Suppose 5*l - 121 - 64 = 0. Suppose 6*g - 11 = l. Suppose -j = -3*f + 368, g*f - 5*j = 3*f + 600. Is 10 a factor of f?
False
Let s(o) = 2*o**2 - 18*o - 128. Does 9 divide s(-19)?
True
Let r(l) = l**3 - 3*l**2 - l - 7. Let j be r(5). Let y(x) = -2*x**2 - 89*x - 35. Let c be y(-44). Suppose 4*v - j = -2*f, -5*f = -2*f - c. Does 4 divide v?
True
Let l(z) = -15*z + 1. Let b be (4 - 63/12)*8. Is l(b) a multiple of 10?
False
Suppose -4*l + 269*l - 5954815 = 0. Is l a multiple of 21?
False
Let p(f) = 36*f**2 + 226*f + 1600. Does 33 divide p(-7)?
True
Suppose 304 = -11*f + 1899. Let j = f - -110. Suppose -6*g - 15 = -j. Does 12 divide g?
False
Suppose 0 = 2*t - t - 1. Let u be t*3/((-3)/(-4)). Suppose 4*f + d - 84 = 2*d, u*f - 4*d - 72 = 0. Does 7 divide f?
False
Suppose 2*c + l = 708, -5*l + 461 = 5*c - 1324. Is c a multiple of 9?
True
Let y(m) = -m**2 - 16*m + 40. Let a be y(-18). Let b be (a/(-6))/(-1)*-129. Let p = -50 - b. Does 9 divide p?
True
Suppose 0 = -5*v - 2*g + 8, -1 = -2*v - 0*v - 3*g. Let x(t) = 2*t**2 + 2*t - 2*t**v + 2*t**2 + t**3 - 6*t**2. Does 3 divide x(4)?
False
Suppose 0 = 4*b + 15 - 43. Suppose b*p = 389 + 52. Is 21 a factor of p?
True
Let g = 638 + -435. Suppose -1443 = -20*k - g. Does 17 divide k?
False
Suppose -4*i - 102 = -i. Let y = i - -55. Let s = -1 + y. Does 5 divide s?
True
Let s(k) = 129*k - 1581. Is s(34) a multiple of 3?
True
Suppose 2*j = -10*c + 13*c + 57, 0 = -5*j + 3*c + 120. Suppose 4*a - a - w = 67, -a = w - j. Is a even?
True
Let m = -379 - -642. Suppose -260*l + m*l = 216. Does 6 divide l?
True
Suppose -z - 385 = -5*u, -5*z + u - 2021 = -0*z. Let f = z - -753. Is 24 a factor of f?
False
Suppose -r = 32*r + 83672 - 564515. Does 6 divide r?
False
Suppose 0 = -y +