or of l?
True
Suppose 25 = 2*w + 39. Let n = w - -232. Does 45 divide n?
True
Suppose 0 = -2*r - 2*c - 136, -2*r - c = -2*c + 133. Suppose 0 = 2*i + 5*x - 22, -3*x = -2*i - 4*x + 6. Is r*(-4 + 3) - (2 - i) a multiple of 33?
True
Let q(g) = -g**2 + 12*g - 10. Let h be q(8). Suppose a - n = -6, 2*a = a + 5*n - h. Is ((-3)/a + 0)/(42/7644) a multiple of 39?
True
Suppose -19*a - 14872 = -20*a + 4*u, 3*a - 44630 = 5*u. Does 120 divide a?
True
Let a(n) = 686*n + 208. Let v be a(13). Suppose 110 = -8*i + v. Is i a multiple of 23?
True
Let u(l) = 3*l**3 - 7*l**2 - 4*l + 49. Let x be u(5). Let h = 813 - x. Is h a multiple of 38?
False
Let a(z) = -12 - 17*z + 89 + 2*z**2 + 13*z**2 - 3*z**2. Is a(9) a multiple of 20?
False
Suppose -3*s = -31 + 1. Suppose 0 = 3*v + 9, 43 - s = 3*t - 5*v. Suppose -7*k + 6*k = -t. Is k even?
True
Let r(d) = -d + 30. Let w be r(28). Let g(s) = -116*s**3 + 5 - 2 - 4*s**w + 8*s + 114*s**3. Is 23 a factor of g(-5)?
False
Is ((-38160)/5)/(-5*9/180*4) a multiple of 72?
True
Suppose 2*u = 2*k - 18, k - 2*k - 7 = -5*u. Suppose 3*j - 2*t - 45 - 11 = 0, k = j + 5*t. Suppose -h = -j - 63. Does 6 divide h?
False
Let n(h) = h**2 - 2*h - 15. Let j be n(-5). Suppose 0 = -2*y - 5 + 21. Suppose -4*q = -b - y*q + 1, -j = -2*b - 2*q. Does 3 divide b?
False
Let w(l) = 4*l - 32. Let u be w(10). Suppose -3*n = -2*v - 19, -8*v + 4*v - u = 4*n. Suppose 65 = 2*z + a, a = 4*a - n. Is 32 a factor of z?
True
Suppose 0 = -3*f + 4*h + 19576, 70*h + 19513 = 3*f + 75*h. Is 6 a factor of f?
True
Suppose -81*j + 76*j + 3*i + 43665 = 0, -4*i + 20 = 0. Is j a multiple of 157?
False
Suppose 2*p = 2*w - 48785 + 885, -2*p = -4*w + 95812. Is 32 a factor of w?
False
Suppose -4*r - 996 = -32. Let u = 469 + r. Let v = -77 + u. Does 11 divide v?
False
Suppose x + 2*v = 16, 3*x - v + 16 = 4*x. Let o(n) = 7*n**2 + 170*n + 46. Let k be o(-24). Is x + k/(-3 + 1) a multiple of 2?
False
Suppose 2*m - 3*g = 40710, -59*g + 20360 = m - 58*g. Is 29 a factor of m?
True
Let d = 447 + -368. Let b = 304 - d. Does 25 divide b?
True
Let j be (-1)/(2 - (-4361)/(-2184)). Let g = 409 + j. Does 11 divide g?
False
Suppose 2430 = 4*k - 12398. Suppose -5*f - 4*h + k = -6*h, -5*f + 3700 = 5*h. Is 39 a factor of f?
True
Let o = 525 + -351. Suppose 73*y = 103*y + 1020. Let i = o + y. Does 27 divide i?
False
Suppose -332784 = -105*q + 33*q. Is 86 a factor of q?
False
Suppose 16 = -4*v, 16 = 3*m + v + 4*v. Suppose m = 6*b - 0. Suppose 0 = -3*q - 2*c + 27, 0 = 2*q - b*c - 2*c - 34. Is q a multiple of 2?
False
Let s(f) = f**3 - 2*f**2 - 4*f + 13. Let x = -122 + 127. Is 25 a factor of s(x)?
False
Suppose -47*l + 48*l - 5*y - 934 = 0, -2826 = -3*l + 3*y. Is l a multiple of 4?
True
Is -2322*(14 + 322/(-21)) a multiple of 236?
False
Let c = 10409 + 1809. Is 82 a factor of c?
True
Suppose 279*q = 2*k + 276*q - 6856, 2*k + 5*q - 6824 = 0. Does 82 divide k?
False
Let f(l) = 42*l + 1. Let p be f(1). Let h = p - 40. Suppose -4*d + 98 = -2*t - 22, h*d - 100 = -t. Is 4 a factor of d?
True
Is 21 a factor of (-4104)/4788 + (-469530)/(-14)?
True
Suppose -3*d + 23544 = 2*g, 4*d - 8*d + 2*g + 31406 = 0. Is d a multiple of 50?
True
Let x(s) = s - 3. Let m be x(5). Suppose 5*h + 3*k + 200 = -m*k, 4*h - 4*k + 192 = 0. Is 21 a factor of (-8)/h - (-2964)/33?
False
Is 16 a factor of (-4)/(-2) + 171 - 18/(-6)?
True
Let f(h) = 51*h**2 + 36*h - 78. Let i be f(2). Suppose -y = -i - 199. Is y a multiple of 19?
False
Let z = -307 + 211. Let y be z/(-30) - (-3)/(-15). Suppose -y*h = -h - 20. Does 5 divide h?
True
Suppose 9 = 8*h - 15. Suppose s - 4 = -3*s + h*d, -d + 4 = 0. Suppose 0 = -3*v + v, -v + 740 = s*w. Is w a multiple of 37?
True
Let l(q) = -6 - 16 + 2769*q**2 + q**3 - 2752*q**2 + 12*q. Is l(-13) a multiple of 13?
False
Suppose -2*v + 4933 = 5*u, -2*u - 9609 - 197 = -4*v. Is 117 a factor of v?
False
Suppose 11*f - 7*f = 74*f - 840350. Is f a multiple of 10?
False
Let p(w) be the third derivative of w**9/60480 - w**8/2240 - w**6/180 + 7*w**5/20 - 8*w**2. Let i(k) be the third derivative of p(k). Is i(10) a multiple of 18?
False
Let j(r) = 14*r**2 + 5 + 2*r**3 - 10 + 2*r**3 - r - 3*r**3. Is 3 a factor of j(-14)?
True
Let n(k) = 4*k + 31. Let m be n(-8). Let r(v) = 128*v + 1. Let c be r(m). Let p = c + 232. Is 15 a factor of p?
True
Let o be ((-222)/(-12))/((-9)/18). Suppose 5*v + 81 = 26. Let i = v - o. Does 4 divide i?
False
Let j(a) = -21 - 33*a**2 + 70*a**2 - 36*a**2 - a. Does 27 divide j(13)?
True
Let v(c) be the third derivative of 25*c**4/24 - 6*c**3 + 18*c**2. Let l(w) = w**2 + 8*w + 23. Let t be l(-5). Is v(t) a multiple of 41?
True
Let l = 307 + -303. Suppose w - 139 = -2*b, 2*b - 15 = l*w + 129. Is 18 a factor of b?
False
Let x = -29 - -32. Suppose -4*z - 8 = 0, 2*o + x*z - 750 = 2*z. Is o a multiple of 20?
False
Let b(g) = -g**3 + 6*g**2 + 19*g - 24. Let r be b(8). Suppose 8*i - 3*i = -3*w + 4279, r = -2*i + 5*w + 1693. Is i a multiple of 26?
False
Suppose -75*c = -79*c + 248. Let j = c - -10. Does 8 divide j?
True
Let j be 13/4 - 100/80. Does 19 divide (j + 3)/(5 - 2468/494)?
True
Let p = -316 + 1233. Is p a multiple of 7?
True
Let g(s) = -56*s + 16. Let x(t) be the second derivative of 14*t**3/3 - 4*t**2 + 3*t - 1. Let l(j) = -3*g(j) - 5*x(j). Is 68 a factor of l(10)?
True
Suppose 4*t = -37 + 1237. Let p be -3*(t/(-18) - 2/(-2)). Is 4 a factor of 8/24 + p/3?
True
Let w be (-48)/56*-2*(-9 - -2). Let y(f) = -f**2 - 39*f + 5. Does 47 divide y(w)?
True
Let t(p) = 11*p**3 + 6*p - 5. Let n be t(5). Suppose 0*l - 5*l + n = 0. Suppose -4*h - 3*u = -366, 0 = 3*h - 2*u + 7*u - l. Is 18 a factor of h?
True
Let b = -14014 - -22054. Does 20 divide b?
True
Suppose -10*i - 15 = -15*i. Suppose o - 3*x = 268, x - 840 = -i*o - 2*x. Does 10 divide (-3)/(-7) + o/(-7)*-1?
True
Let j be (-4)/14 + 80/35 + 22. Let r be 128/32 + -1 + j + 1. Suppose -232 = -17*n - r. Is 12 a factor of n?
True
Suppose 301028 = 163*f - 3349194. Is 53 a factor of f?
False
Suppose -5*l = 2*r - 1248 - 423, -l - 4245 = -5*r. Does 53 divide r?
True
Let o = 246 - 359. Is 18 a factor of 4 + -5 - (4 + o + 0)?
True
Let l(c) = 155*c**2 + 83*c + 384. Does 31 divide l(-5)?
True
Let q(k) = 2*k**2 - 39*k + 25. Let m be q(19). Is (-5)/4*-3*488/m a multiple of 11?
False
Suppose -12*k + 34902 = 9*k. Is k a multiple of 70?
False
Let p = -104 - 50. Let o = -48 - p. Does 32 divide o?
False
Suppose 2*o - 304 = 156. Let p = -113 + o. Let w = 216 - p. Is w a multiple of 27?
False
Let j = 34 - 43. Let g be ((-12)/18)/((-1)/j). Is 15/10*(-404)/g a multiple of 20?
False
Let t(i) = -4*i**3 + 3*i**2 + 9*i + 3. Let c be t(-6). Let a = c + -569. Let g = -232 + a. Does 12 divide g?
True
Let u be (-5 + 329/(-35))*(5 + -275). Suppose 298*y - u = 290*y. Does 27 divide y?
True
Let g = 18 - 16. Let k be 4 - g - (-1 - 8). Is 9 a factor of (-1)/((-1)/(-28)*(10 - k))?
False
Let a(w) = 104*w**2 + 44*w + 743. Is 47 a factor of a(-12)?
False
Let t = 3720 - 3627. Does 7 divide t?
False
Suppose 2*z = x - 1475, 18*x + 5*z = 22*x - 5894. Is 32 a factor of x?
False
Is (218 - (-1 - 9 - -4))*86 a multiple of 14?
True
Suppose -n - 41313 - 99719 = -18*n. Does 34 divide n?
True
Suppose -k - 3 = -1, 3*a + 2*k - 20 = 0. Let q = a - 6. Suppose -180 = -7*t + q*t. Does 10 divide t?
False
Suppose 182*o + 44486 = 195*o. Is o a multiple of 58?
True
Suppose 2 - 11 = -9*d. Is 17 a factor of 23064/48 + d/2?
False
Suppose 3*k = 47725 + 12998. Does 173 divide k?
True
Let q = 4576 - -7296. Is q a multiple of 13?
False
Suppose 14099*c - 14095*c = 46656. Is c a multiple of 6?
True
Let h be 0 + 32 + -6 - (-24)/(-4). Suppose -h*b = 32*b - 67548. Is 69 a factor of b?
False
Let g(l) = -42*l + 5. Let a be g(3). Let k be (2 + -2)/(-1) + a. Let f = -104 - k. Is 17 a factor of f?
True
Let d = -23001 - -39650. Does 39 divide d?
False
Suppose -24 = -5*z + z + 4*i, 0 = -z + 3*i + 8. Let w(y) = -y - 2. Let h be w(-5). Suppose -h*p + 1128 = z*p. Is p a multiple of 19?
False
Let q(f) = 13*f**2 + 4*f - 4. Let a be q(1). Suppose a*m + 6244 = 20*m. Is 21 a factor of m?
False
Let a = 69 - 60. Suppose a - 41 = -4*p. Is p a multiple of 4?
True
Let n(l) = 809*l**2 - 135*l + 362. Does 17 divide n(3)?
False
Let g = 908 + -529. Let r = g + 383. Is r a multiple of 6?
True
Suppose -115350 - 101700 = -30*i. Is i a multiple of 192?
False
