ue
Suppose 3*k - 3125 = -n, 7*n + 5175 = 5*k + 2*n. Suppose k = 12*w - 4*w. Is 10 a factor of w?
True
Suppose -3*f = -0*q + 3*q - 45, 2*f = 5*q + 58. Let s = -13 + f. Suppose -s*w + 46 + 116 = 0. Is w a multiple of 9?
True
Let t(d) = -d**3 + 43*d**2 + 44*d. Let a be t(44). Let y(f) = -2*f**3 + 2*f**2 + 5*f + 149. Is 12 a factor of y(a)?
False
Let a be 12 + -9 + (55 - 2). Let w = -62 + a. Let z = w - -84. Is 13 a factor of z?
True
Suppose 2*q = -2*c + 872, q + 11*c = 14*c + 428. Is 7 a factor of q?
True
Does 25 divide 3444*1 + 10 + -17?
False
Let g = -113 - 266. Let f = g + 576. Is 7 a factor of f?
False
Suppose -24*v + 0*v + 48944 = -7504. Does 98 divide v?
True
Let a be ((-1)/3)/(7/84). Let i be ((0 - 16)/a)/(-2). Is 31 a factor of (-2 - (-5)/3)/(i/708)?
False
Suppose -68 = -2*t - 3*l, -6*t + 7*t - 5*l = 47. Let h(a) = 39*a + 353. Does 23 divide h(t)?
False
Let i = -21753 - -35813. Does 38 divide i?
True
Suppose -19*q + 37 = -1. Suppose -3*i = i + 5*c - 1342, i - q*c = 342. Is i a multiple of 14?
False
Let z(g) = 7*g**2 + 15*g - 110. Let k(a) = 4*a**2 + 8*a - 55. Let v(u) = -5*k(u) + 3*z(u). Is v(-14) a multiple of 5?
False
Let y be (514/4 + -1)*18. Suppose 15*s = 10*s + y. Is s a multiple of 10?
False
Suppose -5*t - f - 2*f = -23, 1 = -t + 5*f. Suppose -8*q + t = -36. Suppose v - 12 = q*v, -4*p - 2*v = -106. Is 10 a factor of p?
False
Let j be (68/(-10))/(((-442)/(-65))/(-17)). Suppose 4*v + j = -5*i + 2466, -i = 2*v - 1223. Does 13 divide v?
True
Suppose 4*a - 115224 = -4*d, -711*d - 86412 = -3*a - 713*d. Is a a multiple of 24?
True
Suppose 16214 = 17*d + 5*d. Let s = d + -621. Does 10 divide s?
False
Suppose 11*x - 6609 - 3049 = 0. Let l = x - 520. Is l a multiple of 9?
False
Suppose d + 132 = 2*z + 11, -z = -4*d - 71. Suppose 4*f - j + z - 12 = 0, 4*j + 43 = -5*f. Let l = 37 + f. Does 13 divide l?
True
Suppose 5*k + 104 = 2*q, 4*q - 94 - 90 = 4*k. Let z = q - 39. Suppose 0 = -4*s + z*c + 319, -5*s + 0*c = -3*c - 398. Is s a multiple of 29?
False
Suppose 3*t + 95 = -496. Suppose 0 = 11*r + 1038 + 2823. Let s = t - r. Is s a multiple of 14?
True
Is 5695 + 3*(-2)/18*-9 a multiple of 154?
True
Let r(b) = b + 16. Let k be r(-4). Suppose l = -4*t + 1278, 9*t - 5*l + 950 = k*t. Is t a multiple of 25?
False
Suppose -2*t - 4*g - 3789 = -25233, -4*g - 10770 = -t. Is 123 a factor of t?
False
Suppose 0 = 5*g + 8*g - 25194. Is 111 a factor of g?
False
Let i(o) = 3*o + 78. Let f be i(-28). Does 82 divide 6*f/48 + 5913/12?
True
Suppose 8*l = 6*l + 6. Suppose -l*f - 2*z + 168 = 14, 2*z - 104 = -2*f. Does 10 divide f?
True
Let k be 16*-9*(-4 + 614/(-24)). Suppose 0 = -49*z + 44*z + k. Is 71 a factor of z?
True
Suppose -64*w + 48*w = -62560. Is w a multiple of 115?
True
Let o = 118 + -8. Suppose o = 4*t + k - 317, t = 2*k + 118. Is 41 a factor of t?
False
Let m(r) = 81*r**2 - 2*r - 1. Let y be m(-1). Suppose 38 + y = 3*q. Suppose 226 = 7*z - q. Does 19 divide z?
True
Let c = 6 + 0. Let i(s) = -28*s**2 + 5*s + 2. Let v(l) = -55*l**2 + 11*l + 4. Let k(p) = c*v(p) - 13*i(p). Does 33 divide k(-2)?
True
Let s(g) = -1358*g - 86. Does 12 divide s(-1)?
True
Let d = 27369 - 19575. Is d a multiple of 126?
False
Suppose 19*y = -7*y - 2678. Let r = y - -343. Does 24 divide r?
True
Let k(y) = -y**2 - 1. Let s = 10 + -8. Let g(n) = n**3 + 22*n**2 - 3*n + 23. Let o(r) = s*k(r) + g(r). Is 27 a factor of o(-20)?
True
Suppose 283*l + 51678 = 287*l - 3*h, h = 6. Does 36 divide l?
True
Let z(f) = 19*f + 126. Let a(j) = 2*j - 1. Let l(q) = -36*a(q) + 4*z(q). Does 12 divide l(0)?
True
Suppose 424*n - 414*n = 152010. Is n a multiple of 203?
False
Let i = 21 + -22. Let t be (4/(-12))/(i/6). Suppose 4 = t*d, b - 119 = -4*d - 0*d. Is b a multiple of 13?
False
Let q be (3 - 11/5)/((-2)/(-5470)). Suppose 42*f = 46*f - q. Suppose -a + 147 = -3*t, 3*t - f = -4*a - 4. Is 23 a factor of a?
True
Let v = 44 - 39. Let s be (-1 - -2 - 0) + v/(-5). Suppose s = 4*z + 57 - 321. Is z a multiple of 15?
False
Let y(z) = -z**3 - 6*z**2 - 7*z. Let t be y(-2). Is t/(-8)*4 - -247 a multiple of 17?
False
Let c = 436 - 431. Suppose 0 = n + n - 5*q - 43, c*n - 67 = -q. Is n a multiple of 2?
True
Suppose 0 = -5*u + 14564 + 12651. Does 93 divide u?
False
Suppose 614625 = 182*d - 33*d. Does 125 divide d?
True
Suppose 4*q + 3*n = -4, -2*n - 2*n - 22 = -3*q. Suppose -7*u = -q*u - 15. Suppose 5*k - 462 = 3*z, -u*z = -5*k + k + 372. Is k a multiple of 11?
False
Let i(s) = 90*s + 4869. Does 68 divide i(-16)?
False
Let z = 8488 + -4588. Is 13 a factor of z?
True
Let l = -5 + 11. Let p be ((-2)/l)/((-1)/(-3)). Does 21 divide 168/2 + 3 + p?
False
Suppose 350 = -146*o + 147*o. Does 20 divide o?
False
Suppose -13 = -4*z + z - 4*d, z - 2*d - 11 = 0. Suppose 0 = -5*p + z + 3. Suppose -p*a - 12 + 108 = 0. Does 16 divide a?
True
Let s = -28090 - -58029. Is s a multiple of 11?
False
Suppose -3*n + 1 = -2*n, 0 = 4*j - 3*n - 485. Let l(o) = -237*o + 12 + j*o + 118*o. Does 5 divide l(5)?
False
Let q be (17 - -3)/((-3 - 1)/(-2)). Suppose q*y = y + 1809. Let w = y + -39. Is w a multiple of 18?
True
Let r = 1463 - -695. Is 4 a factor of r?
False
Is (3358/(-1752) - 2/(-8)) + 101936/12 a multiple of 16?
False
Let k(g) be the second derivative of g**4/12 + 10*g**3/3 + g**2/2 + 8*g. Let v be k(-10). Let f = 182 + v. Does 21 divide f?
False
Let l(p) = -p**3 + p**2 + 18*p - 10. Let k be l(6). Let t = k - -23. Let i = 133 + t. Is i a multiple of 37?
True
Let b(t) = -16*t - 18. Let j(m) = 33*m + 37. Let c(w) = -13*b(w) - 6*j(w). Is c(4) a multiple of 13?
True
Suppose 4*q - 30 = -3*b, 4*b = -4*q + 24 + 8. Is 5 - (-2 + q/4)*614 a multiple of 41?
False
Let u = 1786 + 1927. Is 180 a factor of u?
False
Suppose -3*h + 1250 = 7*g, -19*h = -22*h + 4*g + 1294. Does 8 divide h?
False
Suppose -6*n + 3 = -9. Let o be (10/n - 4)*(-3 - 0). Let s(b) = 6*b**2 + b - 3. Is s(o) a multiple of 8?
True
Suppose -16*p - 6326 - 7354 = 0. Let t = p - -1856. Is 11 a factor of t?
True
Let v = -7359 - -12122. Is v a multiple of 175?
False
Suppose 275 = -13*s + 2*s. Let u = s - -93. Suppose 0 = -2*w - 2*j + 58, 4*w - u = 2*w - 4*j. Does 6 divide w?
True
Let x be 3*(1 + 2 - 2). Suppose x*w - 19 = -13. Suppose -3*j + w*j = 2*k - 244, -3*j + 708 = -2*k. Is j a multiple of 14?
True
Let x(u) = -u**2 + 2*u - 4. Let m be x(-3). Let t be (57/(-18))/m + (-1078)/(-12). Suppose -110 = -2*z - z + g, -2*z = -4*g - t. Does 20 divide z?
False
Let j = -636 - -1729. Suppose j = -3*y + 8*y - 3*f, -5*y - f + 1089 = 0. Is y a multiple of 27?
False
Let p(z) = -45*z**2 + 4*z + 8. Let o be p(-2). Let c = 252 + o. Let j = c - -5. Does 11 divide j?
True
Suppose -19 = -2*k - 5. Suppose 0 = k*n - 43 + 414. Let o = n + 228. Does 35 divide o?
True
Suppose -8*v + 448 = -352. Let q = v - 39. Suppose -y + 21 = g - 0*g, 3*y + g = q. Is y a multiple of 3?
False
Suppose 113*z = 540*z - 13233584. Is z a multiple of 86?
False
Suppose 20 = 3*a - l - 3*l, 0 = 3*a + 4*l - 4. Suppose 0*j - 276 = -a*j + 4*k, -2*j + 3*k = -136. Let x = j + -63. Is 8 a factor of x?
True
Let a(q) = 271*q - 4436. Is 75 a factor of a(41)?
True
Let t(m) = m**2 - 32*m + 89. Let v(h) = 7*h**2 - 19*h + 14. Let y be v(4). Is t(y) a multiple of 43?
True
Suppose 2*c = -6*c. Suppose -26*n + 10792 - 1042 = c. Is n a multiple of 68?
False
Let c(k) = k**2 + 13*k + 14. Let v be c(-12). Suppose -s - v*s = -210. Let q = s - 18. Is 26 a factor of q?
True
Suppose -3555 - 34583 - 9760 = -c. Is 18 a factor of c?
True
Suppose -6*t = t - 560. Suppose -8*s = 568 + t. Let m = s + 147. Does 22 divide m?
True
Let h(t) = t**3 - 11*t**2 - 33*t + 23. Let q be h(11). Let v = q - -347. Is v a multiple of 2?
False
Let o be ((-54)/(-30) + -1)/((-4)/(-30)). Let d = 6 + 18. Suppose -5*j + o*j - d = 0. Does 5 divide j?
False
Suppose -2*i - 3*l + 876 = 3*i, 0 = -2*i - l + 351. Suppose 26*x - 36*x + 700 = 0. Let p = i - x. Is 36 a factor of p?
False
Suppose -1234608 = -192*n + 89*n + 35*n. Does 89 divide n?
True
Suppose -2390 = -8*p + 1050. Does 48 divide p + (24/(-72))/((-2)/12)?
True
Let g(u) = -2. Let p(q) = 36*q - 4. Let t(i) = -2*g(i) + p(i). Let b(m) = -m**3 - 3*m**2 - m - 1. Let r be b(-3). Is t(r) a multiple of 12?
True
Let h(a) = -14293*a - 2230. Does 22 divide h(-1)?
False
Is 19 a factor of 4/(6/(-5)*120/36) - -13567?
True
Let v(g) = 2*g**3 - 13*g