 3*(21/4 + w/36)?
True
Suppose -4226 + 37987 = p. Is p a multiple of 12?
False
Suppose 5940 = -28*d + 13*d. Let g = 724 + d. Does 8 divide g?
True
Let d(a) = 30*a - 211. Is d(12) a multiple of 62?
False
Let o = 666 - 651. Is (-28)/210 + 917/o a multiple of 13?
False
Suppose 0 = 44*t - 218373 - 239183. Is 42 a factor of t?
False
Suppose 0 = 3*f - 9, -2*s = 4*f + 27 - 121. Suppose -3*u + 13 = 5*o + 60, 0 = -3*u + o - s. Let i = 36 - u. Is i a multiple of 25?
True
Let l = -6370 - -7770. Does 13 divide l?
False
Suppose k - 16 - 2 = -5*y, 2*y + 6 = 4*k. Suppose i - 8 = 34. Let l = i - k. Is 3 a factor of l?
True
Let h(r) be the second derivative of r**4/3 + 92*r**3/3 + 34*r**2 + 146*r. Is h(-47) a multiple of 32?
True
Suppose -5*b - 2*r - 1332 = 0, 5*b + 2*r = 3*b - 528. Let u = 97 + b. Let n = 101 - u. Is n a multiple of 25?
False
Let b = 138 - 11. Suppose -5*c = 2*d - 679, -c - 3*d + b + 1 = 0. Is 15 a factor of c?
False
Let b = 60 - 53. Let v be (-3)/b + 50/(-14). Let r(g) = g + 15. Is r(v) a multiple of 2?
False
Suppose 1296 = 9*w - 3*w. Suppose -24 = f - w. Suppose -3*a = -0*a - f. Is 42 a factor of a?
False
Let t(u) = -u**2 + 6*u + 34. Let a(o) = -22*o - 88. Let i be a(-4). Is t(i) a multiple of 17?
True
Let a = 11440 - 2123. Does 11 divide a?
True
Let i(h) = -2*h - 10. Let u(m) = -3*m**2 + 13*m - 28. Let x(n) = n**2 - 4*n + 9. Let y(l) = -2*u(l) - 7*x(l). Let w be y(3). Does 10 divide i(w)?
True
Suppose 9*q + 623 = 10*q. Let h = 1772 - q. Suppose 0 = -7*f + h + 307. Does 16 divide f?
True
Let x = 418 - 250. Let v = -70 + x. Suppose -10*r = -3*r - v. Is r a multiple of 7?
True
Is (4 - 58)*16150/(-114) a multiple of 9?
True
Let y(g) = -g**3 - 19*g**2 - 18*g - 246. Is 8 a factor of y(-20)?
False
Let b(c) = 6*c**2 + 7*c - 48. Let f be b(5). Suppose -135*j - 846 = -f*j. Is j a multiple of 7?
False
Let b = -38 + 53. Suppose 9*o = b*o - 1434. Does 17 divide o?
False
Let y(r) = 4337*r - 6. Is y(2) a multiple of 11?
True
Let l = -2 - -1. Let g be (0/((-2)/1))/l. Suppose -z - 39 = -m, g*m + 4*m + 5*z - 129 = 0. Is m a multiple of 6?
True
Suppose -60*m = -55*m - 3*q - 148794, 3*q = 3*m - 89274. Is m a multiple of 24?
True
Suppose -h - 2*r + 115 = -737, -3*h = 5*r - 2562. Is 20 a factor of h?
False
Suppose 6*o + 28 = 46. Suppose 2*v = o*j - 0*v + 671, -4*j + v = 898. Let y = j + 417. Is 16 a factor of y?
True
Suppose -5*z = -6*z + f + 81, -4*z + 2*f + 320 = 0. Suppose 4*g + 31 = n, 3*n - g = -2*n + z. Does 5 divide n?
True
Suppose -16 + 7 = -3*a. Let y be a + (-1 - (-6)/(-3)). Suppose y = -g - 5*g + 402. Is g a multiple of 33?
False
Suppose -3*l - 63 + 18 = 0. Is 6 a factor of (-20)/l*(-7)/((-14)/60)?
False
Suppose 15 = -5*i, -12*i - 1210 = -2*c - 14*i. Is 38 a factor of c?
True
Let h = 13464 - 9606. Is h a multiple of 33?
False
Let r(a) = 3*a**2 - 44*a - 30. Let v(n) = -2*n**2 + 30*n + 20. Let l(o) = -5*r(o) - 8*v(o). Is 11 a factor of l(-11)?
False
Let r = 2114 + -1946. Is r a multiple of 2?
True
Suppose 136*a = 125*a. Suppose a = -4*z + 5*s + 2135, -530 = -81*z + 80*z + 2*s. Is 60 a factor of z?
True
Let l(x) = 56*x**2 - 6 + 0 - 52*x**2. Let a be l(-3). Suppose -29*f = -a*f + 60. Does 15 divide f?
True
Let y be (8/12*-3)/(2/(-71)). Let h = y + -45. Suppose h*t = 28*t - 20. Is 2 a factor of t?
True
Let p(l) = -7*l**3 + 2*l**2 - 1. Let t be p(-1). Suppose u = t + 53. Let n = u + -48. Is n a multiple of 3?
False
Let y = 6 - 1. Suppose 250*i - 252*i + 8 = 0. Suppose y*k - 2*s = 1290 - 481, 0 = -i*s - 8. Is 23 a factor of k?
True
Let q = -12575 - -37964. Does 21 divide q?
True
Let h(d) = -27270*d - 1068. Does 24 divide h(-2)?
True
Suppose -167*d = -125*d - 167580. Does 57 divide d?
True
Suppose 0 = -3*d + 4*d + 3*u - 636, 1876 = 3*d + u. Suppose 2*h - d = -6*h. Is h + 2 + -2 + (-1 - 1) a multiple of 13?
False
Let c(j) = 15*j - 5. Let q be c(11). Let r = -73 - -92. Suppose -r*x = -14*x - q. Is 4 a factor of x?
True
Let h = -12332 + 13244. Does 19 divide h?
True
Suppose 36*x + 16638 = 79307 + 161971. Is 10 a factor of x?
True
Let w(u) = 3*u**3 + 4*u**2 + 2*u - 8*u**3 - 1 + u - 2*u**2. Let r = 282 - 284. Is 7 a factor of w(r)?
False
Let w = 6677 + -5494. Does 4 divide w?
False
Let x = 7441 - 4201. Is x a multiple of 12?
True
Suppose 21060 = 2*f - 4*l, -3*f + 4*l + 22473 = -9129. Is f a multiple of 23?
False
Suppose -53280 = 123*u - 135*u. Is u a multiple of 24?
True
Let p(t) = -75*t + 13. Let h = -62 - -60. Is p(h) a multiple of 7?
False
Let s(x) = -x**3 + x**2 + 3. Let i be s(2). Let f be 1 - 4 - i - -158. Suppose 2*o + 2*o + 208 = 4*w, -f = -3*w - o. Is 9 a factor of w?
False
Let a(l) = l**3 - 20*l**2 - 65*l - 12. Let y(o) = -o**3 + 3*o**2 + 6*o + 15. Let x be y(4). Is 5 a factor of a(x)?
True
Let f(r) = -296*r**3 - 7*r**2 - 14*r - 51. Is f(-4) a multiple of 91?
True
Suppose -33*f + 5*f + 134232 = 0. Suppose -17*s + 2346 = -f. Is s a multiple of 28?
True
Let x = 428 - 225. Suppose 421 + x = 12*v. Is v a multiple of 4?
True
Suppose -4*m = 3*l - 44, -5*m - 4*l + 3*l = -44. Suppose -4*h + 3*c + 98 = -52, 4*c = -m. Is h a multiple of 18?
True
Let w = 19682 - 6954. Does 43 divide w?
True
Suppose -21*u = 2*u - 230. Is (-15)/6*(7184/u)/(-4) a multiple of 33?
False
Let p be (-4)/18 + 170/(-45) - -16. Suppose 4*r = 5*f + 3673, -13*f + 2731 = 3*r - p*f. Is r a multiple of 8?
True
Let i(u) = 3*u - 13 + 12*u + 8*u. Let g = -763 - -769. Is i(g) a multiple of 26?
False
Let r(a) = 8*a**2 - 9*a - 7*a - 11 + 12*a - a. Let h(x) = -x**3 + 11*x**2 - x + 8. Let m be h(11). Is 38 a factor of r(m)?
True
Let a(w) = w**3 - 39*w**2 + 84*w - 22. Does 73 divide a(38)?
False
Suppose 5*r - 16 = -4*x, 0 = -r - 5*x + 2*x + 1. Suppose 3*i + 20 = -r*y, 2*i + i = 5*y - 2. Is 21 a factor of 2/2*i - -109?
True
Let n(h) = -3*h + 3. Let a(q) = -q + 1. Let x(m) = 4*a(m) + n(m). Is 3 a factor of x(-2)?
True
Suppose -i - 1 - 1 = -2*j, i - 22 = -4*j. Suppose 0*t + i*t = -156. Is 6 + 380/(-65) + (-126)/t a multiple of 5?
True
Suppose -14*p - 1497 = -237. Let c = 594 + p. Does 21 divide c?
True
Let o = 8335 - 365. Is 69 a factor of o?
False
Let g(k) = -4*k - 96. Let r be g(-26). Suppose 182 = -r*m + 614. Is m a multiple of 15?
False
Suppose 0 = -2*v + 5*v + 4*r - 179329, -2*v + 119551 = r. Is v a multiple of 75?
True
Suppose -3*j - 3*f = -3, 4*j + 0*f + f - 7 = 0. Let a = -8 + j. Let h(c) = 2*c**2 - 6*c + 10. Is h(a) a multiple of 12?
False
Suppose -142*h + 5409 = -64455. Does 12 divide h?
True
Let v(k) = -7*k + 3. Let d be v(3). Let b be (-63)/d + 1/(-2). Does 29 divide -596*1*b/(-12)?
False
Let u(b) = -4 + 8*b**2 + 595*b + 2 + 6 - 603*b. Is u(-2) a multiple of 2?
True
Let g = 2018 + 7810. Is g a multiple of 39?
True
Let a(q) = 82*q - 14. Let i be (-957)/(-66) + 0 + 1/(-2). Let g be a(i). Suppose -2*p + g = 7*p. Does 29 divide p?
False
Let t(d) = -9*d**2 - 25*d - 41. Let y be t(-8). Does 7 divide y/(-1) - (2 + -2 - -4)?
True
Let q(s) = s**3 + 25*s**2 - 30*s - 32. Let g be q(-26). Let o = g - 53. Does 49 divide 1 - -1 - (-4427)/o?
False
Let m(y) = -98 - 40*y - 120 - 218. Is m(-37) a multiple of 23?
False
Suppose i - 15 = -4*i. Suppose d = i*k + 1, d + 9 = 2*d + 5*k. Suppose -z + 80 = d*z. Is z a multiple of 8?
True
Let y(b) = -b**3 + 15*b**2 + 40*b + 72. Suppose -c - 54 = -4*w, -w - c - 68 = -6*w. Does 36 divide y(w)?
True
Let g(l) = 7811*l**2 - 5*l + 2. Is g(1) a multiple of 128?
True
Is (2007/(-18) - -17)/((-1)/138) a multiple of 9?
True
Suppose 4*u + u = 10. Suppose 2*g = 6*o - u*o - 384, -5*o = -g - 483. Suppose 0 = -5*c + 4*m + 86, -5*c = -3*m + 15 - o. Does 12 divide c?
False
Let k(v) = 274*v**2 + 9*v + 71. Is 12 a factor of k(-5)?
True
Let s(q) = -13*q + 3. Let p = -4 - -12. Suppose -p = 2*x - 6. Is 9 a factor of s(x)?
False
Suppose -244*y + 247*y = 672. Suppose 2376 = 26*r - y. Is 50 a factor of r?
True
Let y(d) = 20*d**3 - 8*d**2 - 12*d + 78. Does 6 divide y(5)?
False
Suppose 924*x - 951*x + 41310 = 0. Is x a multiple of 30?
True
Let b(n) = -n**2 - 122*n + 525. Is b(-84) a multiple of 7?
True
Let s be (-34)/(-3)*21/(-14). Let f = 18 + s. Is 4 a factor of f/(-2) - -3*35/14?
False
Suppose 2*h - 24 = 4*m - 8*m, 5*h = 20. Suppose -875 = -m*i + 361. Is 25 a factor of i?
False
Let o(f) = 17*f + 7. Let b be o(6). Suppose 5*l + 173 = 2*j, -4*j + 6*j + 2*l - 152 = 0. Let p = b - j. Is 6 a factor