
Let t(l) = 7*l**3 + l**2 + 2*l + 2. Let c be t(-1). Let b(a) = -9*a**3 - 8*a**2 + 4*a + 74. Is b(c) a multiple of 87?
False
Suppose -5*m - 227 + 16566 = -d, -3*m + 5*d = -9821. Is m a multiple of 27?
True
Suppose 0 = o + 2*i - 2, 2*o - 2 + 0 = -5*i. Suppose -2*k - 177 - 465 = -n, 4*k - 5*n + 1278 = 0. Does 15 divide o/(-2)*k/42?
False
Suppose 62*l + 66391 = 64*l + 25133. Does 56 divide l?
False
Let g(x) = 9*x**2 - 19*x + 2. Let q = 136 - 130. Is 37 a factor of g(q)?
False
Is ((-19 - -9) + -71)/(1 - (-99)/(-98)) a multiple of 24?
False
Let h(p) = 11*p**3 - 22*p**2 - 27*p + 4. Is 12 a factor of h(8)?
False
Suppose -4*s + 530 = -910. Suppose 3*p = -4*l + 2*p + 279, 5*p = -5*l + s. Is 3 a factor of l?
True
Let p = 67 - 85. Let x be 1344/10*(2 + 0 - p). Suppose 6*t + 6*t = x. Does 31 divide t?
False
Let q = -85 + 87. Is (q + -43)*-19 + 1*-4 a multiple of 31?
True
Is 11451 - (14/(-14) - 9/1) a multiple of 14?
False
Let q(b) = 5*b**3 - 6*b**2 + 6*b + 16. Let p(i) = 8*i**3 - 12*i**2 + 11*i + 31. Let a(d) = -3*p(d) + 5*q(d). Does 3 divide a(-6)?
False
Let c(a) = -a**2 - 8*a - 2. Suppose -v - 4*v = 35. Let s be c(v). Suppose -s*f + 61 = -3*z - 6, -63 = -5*f + 2*z. Does 3 divide f?
False
Suppose 49 = 20*m + 9. Suppose m*y = 320 + 1282. Is 40 a factor of y?
False
Suppose -4*u - 186 = -350. Let r = 67 - u. Is r a multiple of 2?
True
Is 47 a factor of (-14)/2 - (-14 + 21 + -34700)?
True
Let m = -740 - -715. Is 3/(-5) - 1065/m a multiple of 8?
False
Let q(n) = 13*n**2 + 379*n + 64. Let c be q(-29). Let r(m) = -m**3 + 3*m**2 + 6*m - 2. Let a be r(4). Is -24*a/4*(-3)/c a multiple of 6?
True
Let k(n) = 2*n**3 + 8*n**2 - 4*n + 5. Let g(z) = z**2 + 7*z - 15. Let w be g(-8). Let a be k(w). Let i = a + 415. Does 18 divide i?
False
Suppose 4*d + 3*s = 196, -d - 4*s + 31 = -5. Let v(u) = 11*u - 147. Is v(d) a multiple of 5?
True
Let t(v) = -3 - 4 + v - 2. Let x be t(-11). Does 9 divide (-8)/(-20) + (-432)/x?
False
Suppose -t + 0*j = -3*j - 267, 0 = -2*t - 4*j + 574. Let c = t + -78. Is 5 a factor of c?
False
Let p(o) = -26*o - 63. Let y be p(-9). Suppose -33*l - y = -36*l. Let d = l - 27. Is 3 a factor of d?
True
Let o(t) = -t**2 + 43*t - 16. Let i be o(31). Let r = 360 - i. Is 2 a factor of r?
True
Let d(j) = -j**3 - 6*j**2 - 12*j - 6. Suppose 0 = 17*u + 75 - 7. Is d(u) even?
True
Suppose 98*u = -75*u + 46*u + 995680. Is 49 a factor of u?
True
Let v(t) = 10*t**3 + t**2 - t - 3. Let f be v(3). Suppose -2*z = -53 - f. Let c = -90 + z. Is 21 a factor of c?
False
Let z(k) = 3*k - 17. Let p be z(7). Suppose -10*j = -p*j - 18. Suppose j*x = -2*x + 985. Does 25 divide x?
False
Suppose 23*t - 282100 = 72560. Does 12 divide t?
True
Let h = 14 - 0. Suppose 0 = -2*o + 6*o + 16, -5*o = 3*y + h. Let z(c) = 16*c**2 - 1. Is z(y) a multiple of 21?
True
Suppose 0 = 20*z - 18*z - 1230. Suppose 0 = 5*m + 4*r - r + z, 2*r = -3*m - 369. Let y = m + 237. Is y a multiple of 15?
False
Let f(y) = 11*y**2 + 45*y - 1571. Does 52 divide f(50)?
False
Suppose 40*r - 209*r + 389545 = 0. Is r a multiple of 9?
False
Let x be (-3)/(54/(-104)) - (-4)/18. Let w be (x - 111 - (-4 + 1)) + -4. Let h = 115 + w. Is 2 a factor of h?
False
Let h be (4 - 7)*(-16)/6. Let d be (h/(-4))/((-5)/(45/6)). Let n(y) = 9*y + 41. Does 11 divide n(d)?
False
Let d = 37960 - 18608. Is d a multiple of 59?
True
Let n(i) = 5637*i**2 + 4*i - 1. Let k be n(-3). Does 69 divide 0 - (-4)/(-7) - k/(-70)?
False
Let g = 2032 - -830. Let f = -2033 + g. Is 73 a factor of f?
False
Let o be -4 + ((-3)/18 - 19/(-6)). Is 237/(o/(-4)*(8 - 4)) a multiple of 13?
False
Suppose -1 = 9*x + 8. Is 435/(-87)*x/(10/2216) a multiple of 86?
False
Let j = 115 - -187. Suppose -3*v + y = -840, 0 = -v + 5*y + j - 22. Suppose -8*o + v = -232. Is 17 a factor of o?
False
Suppose j - 64 = -5*p, -13*p + 15*p + 4*j = 40. Suppose -5160 = -27*u + p*u. Is u a multiple of 71?
False
Suppose -89 = -8*f - 25. Does 7 divide 54 - ((f/(-4) - -2) + 0)?
False
Suppose -r - 2*q + 13 = -7*q, 0 = 2*r + 3*q. Suppose -r*f = -527 - 94. Is f a multiple of 9?
True
Is -4 + ((-8)/(-16))/(3/3786) a multiple of 19?
True
Suppose 0 = -3*u - 0*u + 9. Suppose s - 3 = -u*m + 9, m + s = 6. Suppose -2*p - p = -3*j + 108, 0 = m*j + 5*p - 92. Is j a multiple of 17?
True
Let j = -21 + 1. Let y = 14 + j. Is ((y/(-4))/(-3))/(1/(-40)) a multiple of 8?
False
Suppose 100*z - 25066 = -66*z. Is 34 a factor of z?
False
Let o(u) = -u**3 + 2*u**2 + 8*u - 7. Let z be o(5). Does 10 divide (z/(-12) + -4)*-2444?
False
Is (-620186)/(-310) - 12/20 a multiple of 5?
True
Let y(v) = -v**3 + 4*v**3 - 2*v**3 - 2534*v + 2494*v + 7*v**2 - 1. Does 68 divide y(-10)?
False
Let h(q) = -21*q - 8. Let x be h(-2). Suppose -x*l + 1 = -5711. Does 84 divide l?
True
Let d = 4119 + -2443. Does 8 divide d?
False
Suppose 5*f - 4*k = -426 + 39962, 3*k + 23718 = 3*f. Is 86 a factor of f?
True
Let f = -11508 + 21923. Is f a multiple of 20?
False
Let h(x) be the first derivative of -x**4/4 - 8*x**3/3 + 2*x**2 + 7*x - 2. Suppose -5*g + 2*m = 5*m + 39, 0 = 5*m - 10. Is 7 a factor of h(g)?
False
Let m(p) = -4*p**3 + 43*p**2 + 31*p + 28. Does 101 divide m(-12)?
False
Let c = 18583 + -9628. Is 17 a factor of c?
False
Let j(f) = 544*f + 2360. Is 119 a factor of j(8)?
False
Suppose -14*m - 119*m = -782040. Is m a multiple of 60?
True
Let q = -110 - -110. Let v be 4 + (2 - 2) + q/(-1). Let n(y) = 4*y**2 + 4*y - 2. Is n(v) a multiple of 9?
False
Let i be (-3580)/(-6) - (8 + -5)/(-9). Let w = i - 385. Suppose w + 328 = 2*v. Is 30 a factor of v?
True
Let p(l) be the second derivative of l**4/12 - l**3/6 + 9*l**2 - 3*l. Suppose 25 = 2*c + 5*m, 0 = 8*c - 10*c - 2*m + 10. Is 3 a factor of p(c)?
True
Let x = 482 + 5515. Suppose 0 = 6*k + z - x, 2*k - 2*z - 1997 = -3*z. Is k a multiple of 40?
True
Suppose 0 = -7*m - 17 + 31. Does 25 divide m + 143 - (-95)/19?
True
Does 5 divide -120*99/(-165)*842/6?
False
Let g(x) = -3*x**2 + 18*x - 10. Let n(u) = 2*u**2 - 17*u + 9. Let q(r) = 3*g(r) + 4*n(r). Is 6 a factor of q(-8)?
True
Let x(k) = 25*k - 96. Suppose -30*c + 10*c + 120 = 0. Is 27 a factor of x(c)?
True
Suppose -r = 5*h - 790 + 18, r = 4*h + 718. Does 3 divide r?
False
Suppose 0 = 54*r - 2108064 + 243768. Is r a multiple of 42?
True
Suppose 4*s + 7*u - 3*u - 8 = 0, 2*s + 4*u - 8 = 0. Suppose -4*i - 10 - 6 = s, -4*c = -2*i - 8. Suppose 0 = -c*l + l - 54. Is l a multiple of 6?
True
Suppose -2785 + 445 = -r - 4*o, 2*r - 2*o - 4710 = 0. Is r a multiple of 3?
True
Let p = -318 - -774. Is 152 a factor of p?
True
Let a(f) = -2*f**3 - 20*f**2 + 6*f - 272. Is a(-27) a multiple of 62?
False
Suppose -8*l = -4*l - n - 2972, -4*l = 2*n - 2984. Suppose 46*w = 48*w - l. Is w a multiple of 11?
False
Suppose 22*r = 59*r - 1184. Suppose 1558 = r*k - 4426. Does 11 divide k?
True
Suppose -3967806 = 54*z - 105*z - 171*z. Does 33 divide z?
False
Let q be 76/18 - (-2)/(-9). Suppose -q*f = -3*p - 3, 6*p - 2*p - 6 = 2*f. Suppose -10 + 43 = 4*h - d, 2*h - f*d - 29 = 0. Is 3 a factor of h?
False
Suppose -5*y = -3*z - 2356, -5*z = 4*y - z - 1872. Suppose -5*n + y = v - 3493, 0 = 2*v - 6. Is n a multiple of 11?
True
Suppose -3*p + 7 = -2*p. Let o be 8 - (-4 + (p - 2) - -3). Does 4 divide (6/o)/(2/16)?
True
Let n(q) = 2*q**2 - 3*q + 4. Let i(c) = -c**3 - 12*c**2 - 10*c + 16. Let u be i(-11). Suppose -5*x - 13 = 6*d - 4*d, -3*x = -2*d - u. Is n(d) a multiple of 24?
True
Suppose 7*b = 12*b + 25. Let g(v) = 32*v**2 + 24*v + 102. Does 34 divide g(b)?
True
Does 92 divide 45/((3/7272)/(11/33))?
False
Suppose -5*a - 2*o = -21, 3*o + 16 = -0*a + 2*a. Suppose 0 = -z - 0 + a. Suppose 0*s - z*s - 3*q + 291 = 0, -5*s - 5*q = -285. Is 10 a factor of s?
True
Is 36 a factor of (-30)/45 + 99148/6?
True
Suppose -145*b = -120*b - 75125. Does 21 divide b?
False
Let o be 19092/(-90) + 4/30. Let w = o + 225. Is w a multiple of 13?
True
Suppose 5 = 5*a, 2*a = 3*b + 3*a - 232. Let u be 4/3*21/14. Suppose -2*d = -5*d + 3*v + 249, b = d + u*v. Is d a multiple of 30?
False
Suppose -180*y + 3077 = g - 177*y, 5*g + 4*y = 15396. Is 44 a factor of g?
True
Let x(r) = -r**3 + 3*r**2 - 7*r + 9. Let n be x(2). Is 8 a factor of 90 - 2*(0 - n)?
True
Let f be -1*(-1 - (1 + -1)). Is 30 a factor of 567 + f + -2 - 0?
False
Is 1537 - ((-225)/10)/(-9)*2 a multiple of 21?
False
Suppose -3*r + b + 91 = 0, 5*b - 15 = -