 a factor of l?
False
Suppose 29*d + 3408 - 9904 = 0. Is d a multiple of 28?
True
Let c(j) = 4*j**2 - 16*j + 114. Is 19 a factor of c(-17)?
False
Is (-15476)/(-18) - (-6)/27 a multiple of 21?
False
Let k be (21/14)/((-2)/4) + 0. Does 12 divide -1 + 73/(-2 - k)?
True
Suppose -8*r = -138 - 78. Suppose 0*f = -5*f - 4*b + 4, -4*f = 2*b - 2. Suppose -6*u + r + 111 = f. Is u a multiple of 10?
False
Suppose -x - 2*j + 3 = -42, 5*x + j = 243. Let t = -46 + x. Is t a multiple of 2?
False
Suppose -3*p - 4*m = 15 + 27, 5*p = 4*m - 70. Let a = -26 - p. Does 5 divide (-55 + 1)*4/a?
False
Let n(k) = 4*k + 2. Let b be n(-1). Let t(a) = -4*a**3 - a**2 - 2. Is 26 a factor of t(b)?
True
Suppose 42 = -4*z + 2274. Is 31 a factor of z?
True
Let h = 1366 - 777. Is h a multiple of 27?
False
Suppose -4*s + 4*l + 1108 = 0, -59*s = -63*s - l + 1133. Is s a multiple of 17?
False
Suppose -3*y - 15 = 0, -2*v = -3*y + 7*y + 16. Suppose v*r + l - 71 = -r, -3*r + 4*l = -76. Is r a multiple of 12?
True
Let h be 2/(-4)*(0 + 2). Let a be (78/(-8))/(h/(-4)). Let l = a + 72. Does 11 divide l?
True
Suppose -59*i = -49627 - 10258. Is 14 a factor of i?
False
Let g = 5 + 11. Suppose 4*s + g - 176 = -2*q, -5*q = -2*s + 92. Is s a multiple of 10?
False
Suppose -5*b = -x - 34, -3*b = -2*b - 5. Let l(a) = 3*a**2 + 4*a + 18. Does 15 divide l(x)?
True
Let w(a) = a**3 + 15*a**2 + a - 8. Let d be w(-16). Let b = d + 445. Is 33 a factor of b?
True
Let f = 6 + 17. Does 2 divide f?
False
Let j = -3 - -9. Suppose j*h = h + 25. Suppose 3*u = 7 + 2, -h*t + 9 = -2*u. Is t a multiple of 3?
True
Let g(u) = 4*u**3 + 9*u**2 + 5*u - 1. Let o(f) = 3*f**3 + 8*f**2 + 4*f - 1. Let k(c) = 2*g(c) - 3*o(c). Is 6 a factor of k(-6)?
False
Let s(l) = -l**2 + l + 4. Let p be s(-3). Let d be (p/(-8))/((-2)/(-194)). Let o = d - 40. Is o a multiple of 19?
True
Does 7 divide (-1)/(-11) + (-9945)/(-715)?
True
Let p be (-1 - 3) + 0 + 15. Suppose 5 = 2*g - p. Is g a multiple of 8?
True
Let w(k) = -k**2 + 69*k - 12. Is w(21) a multiple of 12?
True
Let l = -5 + 2. Let f be (l/(-2))/(17/34). Suppose -2*r + x = -f*x - 130, 0 = 4*r + x - 296. Does 18 divide r?
False
Let x(z) = 1. Let n(j) = 3*j + 3. Let v(k) = n(k) - 5*x(k). Let p be v(1). Suppose h - 11 = p. Is 11 a factor of h?
False
Let s = -5 - -14. Let f = -12 + s. Is 9 a factor of 1098/30 + f/5?
True
Is (-114)/190 + 7903/5 + 0 a multiple of 10?
True
Let m(q) = q**2 + 16*q + 39. Let j(r) = r**2 - 12*r + 11. Let x be j(9). Is m(x) a multiple of 13?
True
Let r(l) = 201*l + 78. Does 9 divide r(4)?
True
Suppose 0 = 74*d - 85*d + 5324. Does 22 divide d?
True
Let b(v) = -v**2 - 5*v + 6. Let h be b(-5). Let j be (-105)/10*40/h. Let n = j + 135. Does 20 divide n?
False
Let i = -419 - -675. Is 58 a factor of (2 - i/12)*-3?
True
Suppose 0 = -5*l - 4*s + 16, -12*l + 5*s = -10*l - 13. Suppose -3*k + l = -50. Does 6 divide k?
True
Suppose -53*w + 45*w = -18744. Does 11 divide w?
True
Let f(v) = v**2 + v - 1. Let m(t) = -4*t**2 - 24*t - 39. Let b(k) = 5*f(k) + m(k). Does 4 divide b(22)?
False
Let s be ((-10)/15)/(4/(-3450)). Suppose 6*y - 559 = s. Does 21 divide y?
True
Let t = 237 - 21. Suppose 5*y - 381 - 224 = 2*i, 3*y = -i + 374. Suppose -4*v + 4*k = -t, -v - 5*k - y = -3*v. Does 17 divide v?
False
Let i = 8 + -4. Suppose i*w = -2*a + a + 113, -3*w + 110 = a. Suppose -14 + a = 3*x. Is 29 a factor of x?
True
Suppose 19*l - 4644 = 7*l. Is l a multiple of 43?
True
Suppose 2*o - 3*n - 13 = 0, -n - 7 = -2*o - 0*n. Suppose -6*w + o*w = 16. Let u(a) = -14*a - 9. Does 10 divide u(w)?
False
Let d = -30 + 226. Let v = d + -53. Does 12 divide v?
False
Suppose 63 = w + 2*w. Suppose r - w = -r - 3*q, -3*q + 15 = 0. Suppose -6 = -2*h, -r*u + 259 = 2*u + 3*h. Does 13 divide u?
False
Let f(u) = 3*u**2 - 1. Let t be f(-1). Let x be t/4*(-94 - -4). Let w = 130 + x. Is 26 a factor of w?
False
Let l(c) = -53*c**2 - 2*c + 1. Let s be l(1). Let h = -24 - s. Is 15 a factor of h?
True
Suppose 2*d - 2 = 8, 2*n + 7 = 3*d. Suppose 6*x = 12*x - 30. Suppose n*b = a + a - 18, 4*a = x*b + 39. Is a a multiple of 9?
False
Let j = -2082 + 3273. Does 21 divide j?
False
Let s(t) = t**2 - 10*t + 4. Let g be s(8). Let j be ((-14)/(-28))/(2/g). Is 12 a factor of (2 + -5)/j*36?
True
Let z(o) = -16*o - 1. Let j be z(-1). Let k(x) = -2*x**3 + 32*x**2 - 13*x - 17. Does 17 divide k(j)?
True
Let f = 17 - 9. Suppose -5*c = -12 - f. Suppose -5*n + 59 = 2*i - 1, c*i - 164 = n. Is 15 a factor of i?
False
Let f(o) = -3*o**2 - 114*o - 12. Does 51 divide f(-34)?
False
Suppose 2*y - 5*v - 282 = 0, 3*y = 2*y - 5*v + 126. Is y a multiple of 18?
False
Suppose -4*q + 20209 + 1196 = -v, -5*q - v + 26745 = 0. Is 62 a factor of q?
False
Let z(w) = 5*w**2 - 2*w. Let a be z(-1). Suppose 2*d = 33 + a. Is d a multiple of 20?
True
Suppose 23*s + 368 = 24*s. Suppose -s = -4*b + 4*n, 2*n = -b + 6*b - 448. Let a = b + -20. Does 12 divide a?
False
Suppose -5*g + l + 75 + 38 = 0, 16 = g + 2*l. Suppose -5*y + y + 2*v = -g, 4*y = -5*v + 1. Suppose -t = p - 19, 0 = 5*t + y*p + 24 - 120. Is t a multiple of 20?
True
Let a = -31 - -40. Suppose 0 = -4*r - 3*b - a - 12, -5*b = -5*r - 35. Is 16 a factor of 3808/48 + 2/r?
False
Let c be 425/50 + 1/2. Suppose 0 = 2*y + 3*q - 39, 3*y + c = 4*y + 5*q. Does 7 divide y?
False
Let d(b) = -16*b + 2. Let i = -9 + 5. Let h be d(i). Suppose -3*m + 2*m = -3*t + h, 2*t - 51 = 3*m. Is t a multiple of 3?
True
Does 11 divide (2 + (-8106)/(-9))/(6/9)?
False
Suppose 9*i - 938 = -v + 13*i, 2*v - i - 1841 = 0. Is v a multiple of 17?
True
Is 3 - 1 - (-12 - -10)*31 a multiple of 32?
True
Let p be 12*(6*3/9 - 3). Is 4/(32/1578) + p/(-16) a multiple of 11?
True
Let q(o) = -13*o + 2. Let i be q(1). Let u(j) = j**3 + 10*j**2 - 19*j - 2. Does 31 divide u(i)?
False
Suppose s - 147 = v, -17 = v - 14. Is 12 a factor of s?
True
Let m be 369/117 - (-4)/(-26). Suppose g - n - 8 = 0, g + 2*n + 1 = m. Suppose 0 = 2*r + 5*d - 93, 5*r - 285 = -g*d + 4*d. Does 32 divide r?
False
Let g(r) = r**3 + 12*r**2 - 12*r + 3. Let a be g(-12). Suppose -12*c + a + 429 = 0. Does 6 divide c?
True
Let o = -8 - -1. Let d = o + 10. Suppose 5*l - 38 = d*l. Is 8 a factor of l?
False
Suppose 2*w + q - 177 = 0, -25*q + 28*q = 4*w - 379. Is 22 a factor of w?
False
Suppose 10*q = 6*q + 12. Suppose -6 = q*n - 4*n. Let a(k) = -k + 14. Is a(n) a multiple of 8?
True
Let w = 264 + -151. Suppose 2*k = -4*u + 21 + 225, 3*k - w = -2*u. Is 8 a factor of u?
True
Let r(n) = 12*n**2 + 30*n + 16. Is 79 a factor of r(-12)?
False
Let c(x) = -37*x + 6. Let s be c(-4). Let o = -55 + s. Is o a multiple of 9?
True
Suppose t + 18 = 1. Let g = t - -99. Is g a multiple of 11?
False
Let f(t) = 12*t - 35. Does 4 divide f(6)?
False
Suppose -20*n + 21*n = 0. Suppose -4*t + 7*t - 15 = n. Suppose 3*f + 42 = t*f. Is f a multiple of 21?
True
Suppose 4*j - 165 = p + 2*p, -4*j = -12. Let q = p + 88. Is 3 a factor of q?
False
Let b(j) = -2*j + 13 - j + 8*j. Suppose -5*n + 15 = 0, -2*g - n = -5*n - 10. Is b(g) a multiple of 27?
False
Let n(v) = -v**2 - v - 1. Let g(i) = -5*i**2 - 18*i - 3. Let s(w) = -g(w) + 3*n(w). Does 19 divide s(-10)?
False
Let x = -144 + -93. Let c = 354 + x. Is c a multiple of 10?
False
Suppose -9*r = -6*r - 588. Suppose 0 = 4*j - 5*p + 2*p - r, -2*p + 98 = 2*j. Let y = j + 17. Is y a multiple of 26?
False
Let p(r) = -r**3 + 56*r**2 - 1. Let o be p(56). Suppose 4*q + 3*n - 32 = -191, -155 = 4*q - n. Let m = o - q. Does 8 divide m?
False
Let a(p) = 16*p + 13. Let m be a(-5). Let y = 21 - m. Is y a multiple of 20?
False
Let o = -28 - -52. Let p(t) = -t**3 + 3*t**2 + 12*t - 16. Let x be p(5). Is 12 a factor of (-133)/(-4) + x/o?
False
Let g be (4 + -1)/(4/((-208)/(-3))). Suppose -3*d + 172 = g. Is d a multiple of 8?
True
Suppose 77 = -8*z + 813. Does 31 divide z?
False
Let u(v) = 77*v - 2. Let o be u(1). Is 15 a factor of o/(-6)*(-24)/5?
True
Let s(x) = x**3 - x**2 - 26*x + 61. Is 11 a factor of s(8)?
False
Suppose -2*s - 5700 = -17*s. Is s a multiple of 38?
True
Let n = -147 - -243. Does 16 divide n?
True
Let p = -61 + 135. Let r = p + -41. Does 22 divide r?
False
Let v(t) = 4*t**2 - 12*t + 14. Is 14 a factor of v(3)?
True
Let c(u) = -u + 0 - 3*u + 11. Let n be -5*(-1 + -1 + 4). Does 14 divide c(n)?
False
Let i(j) = 71*j - 4. Let w(h) = 141*h - 9. Let u(f) = -13*i(f) + 6*w(f)