lse
Let d = -18954 + 19494. Is d a multiple of 56?
False
Suppose 2267 = 14*v - 3683. Suppose 151 + v = 2*m. Is m a multiple of 14?
False
Suppose -5*r = -3*t + 1027, -2*t + 1675 = 3*t - r. Let a = 471 - t. Is 22 a factor of a?
False
Suppose -25*g + 36 + 39 = 0. Suppose 0 = 2*o - 4*j - 232, -206 = -4*o + g*j + 263. Is o a multiple of 10?
False
Let f(v) = v**3 - 6*v**2 + 3*v + 3. Let b = -16 - -23. Let k be f(b). Let c = -19 + k. Is 21 a factor of c?
False
Suppose 4*w - 19 = 37. Is 13 a factor of (-3692)/(-91)*3*w/4?
False
Let k(g) be the third derivative of 14*g**5/15 + 7*g**4/24 + 7*g**3/6 - 7*g**2 - 7*g. Is 8 a factor of k(-1)?
True
Let c = -795 + 792. Is 44 a factor of (-16)/c*627/76?
True
Let s be (-5 + (-92)/(-10))*105. Let x = s + 459. Is 60 a factor of x?
True
Let t be 20/(-90) + (1 - (-3342)/(-27)). Let x = t + 127. Is 13 a factor of (6/2)/((-365)/(-90) - x)?
False
Suppose -25*o - 4*z - 771 = -22*o, 3*z = 3*o + 771. Let r = 518 + o. Does 13 divide r?
False
Suppose -4*x - 4*k + 2200 = 0, 617*x + 5*k - 1646 = 614*x. Is 138 a factor of x?
True
Is 52 a factor of 16/(-3)*(17 - 98107/116)?
True
Let v = 60309 + -19291. Is 14 a factor of v?
False
Suppose 57*w - 2006473 - 1197383 = 0. Is w a multiple of 343?
False
Let t(n) = -5*n**3 + n**2 - 7*n - 9. Let a be t(-1). Suppose 0 = -o + a*i + 39 + 55, -i = -o + 106. Is o a multiple of 5?
True
Let b be (-60)/80 + 118281/12. Suppose 0 = -14*s + b - 2576. Is 8 a factor of s?
True
Let h be (-2)/8 - 5/(-4). Suppose r - 5*a + 24 = 0, -20*a = -21*a + 3. Let p = h - r. Is 7 a factor of p?
False
Let g be (11 + (-10 - -89))*2/3. Let s = 1048 - g. Is s a multiple of 26?
True
Let d(r) = -4*r**2 - 3*r - 2. Let l be d(-1). Let a be l/18 - (-5)/(90/(-1833)). Let i = a + 153. Does 4 divide i?
False
Let k(v) be the first derivative of v**4/4 + 8*v**3/3 - 4*v**2 - 3*v - 42. Does 20 divide k(-7)?
False
Let a = 27533 - 16235. Does 50 divide a?
False
Suppose -5*n = 4*t + 648, 2*n - 680 = 4*t - n. Let l = 119 + t. Is (-6)/l - (-302)/16 a multiple of 5?
False
Suppose -17*q + 170 = 17*q. Suppose 2133 = q*u - 1442. Does 82 divide u?
False
Let r(c) = c + 7. Let x be r(-3). Suppose -6*g + x*g - 10 = 0, -5*g = 5*l - 1980. Is 47 a factor of l?
False
Is 60 a factor of ((-31745)/(-10) + 3/6)*8/10?
False
Suppose 2*i + 32 = 28. Is (-20)/140 - (i + (-570)/21) a multiple of 5?
False
Let y = 1386 - 730. Is 16 a factor of y?
True
Let m be -5*13/(195/(-252)). Let a = -138 + m. Let b = a + 96. Is 14 a factor of b?
True
Suppose -5*a = 3*t - 48130, 3*t - 3*a + 9682 = 57796. Does 64 divide t?
False
Let g(z) = 9*z + 14. Let j be g(-2). Is 2 + j + 0 + (-156)/(-6) a multiple of 12?
True
Let i be (-2 - 9)/(-2 - (-93)/48). Is 10 a factor of 4 - (i/12)/(-2)*3?
False
Let g(x) = -x**3 + 11*x**2 - 5*x - 5. Let d(y) = y**3 - 6*y**2 + 8*y - 2. Let n be d(3). Is g(n) a multiple of 22?
False
Let u(b) = -153*b + 3939. Does 12 divide u(-49)?
True
Let x = -8171 - -16143. Does 11 divide x?
False
Let g(c) = c**3 - 5*c**2 + 6*c - 6. Let q be g(4). Let b(w) = w**q - 3*w**2 + 5*w**2 - 6 + w**2 + 2*w. Is b(-3) a multiple of 3?
True
Suppose 16 = 4*n, -33*p + 34*p + n = 351. Is p a multiple of 18?
False
Let h = -51 - -48. Let y(l) = l**2 + 2*l - 1. Let s be y(h). Suppose -9*g = -s*g - 1309. Is 15 a factor of g?
False
Let s(h) = 1885*h + 22981. Does 28 divide s(-11)?
False
Let c = 1902 - 200. Suppose 5*z - c = 1113. Is z a multiple of 47?
False
Does 107 divide (-63)/(-7)*12/(-18) + 20978?
True
Let t = 50405 - 34997. Is t a multiple of 27?
False
Suppose -12 = -t - 2*t. Suppose g - 10 = -t*l + 3*g, 4*l + 5*g = 31. Suppose -l*r - 56 = -8*r. Is r a multiple of 6?
False
Let y = -9486 + 17550. Is y a multiple of 42?
True
Suppose 12*k + 12*k - 456 = 0. Let n(a) = a**3 - 20*a**2 + 20*a + 47. Is n(k) a multiple of 12?
False
Suppose -5*k + 18 = 2*a, -5*a = -3*k - 4*a + 13. Suppose -3*s - k*h + 205 = 0, 14*s + 2*h = 9*s + 365. Does 15 divide s?
True
Let b = -35 + 19. Let f(m) = m + 22. Let z be f(b). Is 6 a factor of z/(-27) + (-820)/(-45)?
True
Let o(v) = -v**2 - 20*v - 83. Let z be o(-6). Is 23 a factor of (683/z)/(52 + -51)?
False
Let z be 116/19 + (-16)/152. Suppose 0 = s + 11*k - z*k - 1471, -k - 4 = 0. Is s a multiple of 12?
False
Let t be 4/1 + 21/3. Let h(d) = d**3 - 12*d**2 + 13*d + 16. Does 27 divide h(t)?
False
Let c = 8606 - 8121. Is c even?
False
Is 95 a factor of (92 + -86)*(-1)/12*-38314?
False
Does 7 divide (-15918)/(-8) + (-266)/152?
True
Suppose 4 = -3*y + 1. Let s(v) = -77*v + 148. Let u be s(2). Is (2/u)/(y/69) even?
False
Suppose 46*r - 221041 + 67447 = 0. Is 63 a factor of r?
True
Suppose 2*q + 3*o - 364 = -0*q, -4*q + 4*o = -728. Let l = q - -237. Does 9 divide l?
False
Let y = -2127 + 3479. Suppose 0 = 5*z + 3*x - 1677, y = 4*z - 0*x + 5*x. Is z a multiple of 7?
False
Let h = 2397 + -1309. Suppose -22*i + h = -18*i. Suppose 10*u - i = 758. Does 16 divide u?
False
Let n(l) = 4*l**2 + 36*l + 100. Is 140 a factor of n(25)?
True
Let r be (-15)/(-60) - (16814/(-8) - -2). Let w = -1253 + r. Is 12 a factor of w?
False
Suppose -4*k + 3*t = -10086, -4*t + 12611 = 5*k - 6*t. Does 35 divide k?
False
Suppose 30996*b = 30999*b - 9972. Is 19 a factor of b?
False
Suppose 3*r - 18 = -3*v, 4*r = 5*v + 6 - 0. Suppose r*f - u = 274, 6 = -2*u + 5*u. Does 4 divide f?
False
Let i(u) = 32*u + 60. Let f be i(-2). Let k(j) = -23*j - 20. Does 12 divide k(f)?
True
Suppose -5*h = -4*q - q + 15, 2*h = -4*q - 6. Let o(t) = 5*t**2 + 12*t + 6. Does 2 divide o(h)?
False
Let v(i) be the first derivative of -11*i**2 - 351*i - 186. Is 5 a factor of v(-33)?
True
Suppose -a = -4*f + 1384, -6*f + 2*a = -5*f - 346. Suppose 4*h - 387 = -v, -5*h - 467 = -2*v + f. Does 57 divide v?
True
Let y be (-4 + (-506)/8 - -5)*-20. Suppose 0 = 4*t + v - y, 3*v + 512 = 2*t - 121. Is t a multiple of 24?
True
Suppose 0 = 3*a - 6*a - 93. Let t be (5 + 1)*a + (56 - 57). Let k = t - -372. Is 37 a factor of k?
True
Let u = -2119 + 2992. Suppose -2*w + 11*w - u = 0. Does 19 divide w?
False
Let l = 5785 - 1305. Is l a multiple of 16?
True
Suppose -57*a = -56*a + 4. Let f be (-4 + (1 - a))/(1/2). Let g = 87 - f. Is 11 a factor of g?
False
Suppose -600 = -f + 3*l, 5*f - 1644 = 5*l + 1386. Let v = f + 331. Is v a multiple of 75?
False
Suppose -2*k + 31 = -3*n, 46 = 3*k + n - 17. Let p(s) = s**2 - 21*s + 25. Let x be p(k). Suppose 4*a = 241 - x. Is a a multiple of 13?
False
Let o(t) = -14 - 63 - 35 + 117*t - 208*t. Is 36 a factor of o(-5)?
False
Let w(b) = 149*b**2 - 24*b - 23. Let x(o) = -5*o - 1. Let g be x(0). Does 15 divide w(g)?
True
Let p be ((-18)/(-12))/(3/58). Let y(v) = 6*v + 78. Is 18 a factor of y(p)?
True
Let o(s) be the second derivative of -s**4/4 + 37*s**3/6 - 2*s**2 - 14*s + 3. Does 11 divide o(6)?
True
Let k(z) = -5*z**2 - 2*z + 16. Let r be k(-4). Let w = r - -64. Suppose w - 62 = -f. Does 9 divide f?
True
Let q be (-10)/(((-5)/4)/5). Is (5/(q/(-654)))/(12/(-16)) a multiple of 47?
False
Is 12 a factor of (7 + -5)/(-17*(-7)/1718598)?
True
Is (352/12)/((-12)/20 - (-18)/27) a multiple of 8?
True
Let b be (-5 - 9)*(-8 - -1). Let j be (-56)/b + 34/(-14). Is (j + 5)*(-180)/(-2) a multiple of 45?
True
Is 95 a factor of -3 + 36 + -38 + (0 - -7890)?
True
Suppose 200*h - 79050 = 169*h. Is h a multiple of 150?
True
Suppose 322*j - 38437 = 305*j. Is j a multiple of 19?
True
Suppose -5*x + 100 = -0*o + 3*o, 2*o - 3*x - 73 = 0. Let p = 319 + o. Is 29 a factor of p?
False
Let x(f) = 5*f + 176. Let o be x(-29). Let k(w) = -w**3 + 31*w**2 + 30. Is 2 a factor of k(o)?
True
Let f = 82 - 60. Suppose 5*y = -2*j + f, -y - y - 8 = 5*j. Suppose m = 3*u + 69, y*m = 10*m - 4*u - 316. Is m a multiple of 21?
True
Suppose 0 = -4*i + 4*m + 848, 13*m = 10*m. Suppose -12*j + 7*j = -5*n - 215, 4*n + i = 5*j. Is 3 a factor of j?
False
Suppose 4*h + 3*w = 4*w + 4405, 0 = -4*h - 2*w + 4414. Suppose -4*n + 1046 + h = 0. Is n a multiple of 5?
False
Let r(q) = -q**3 + 20*q**2 + 20*q + 25. Let p be r(21). Suppose 0*z + 167 = 4*z - 3*f, -p*z = 3*f - 137. Suppose -z*g = -36*g - 270. Is 27 a factor of g?
True
Let h(f) = -f**3 + 10*f**2 + 48*f + 4. Let x be h(10). Suppose 4*u = 2*w - 178, 5*w + 15*u = 12*u + x. Does 26 divide w?
False
Let g(v) be the third derivative of -v**6/60 - v**5/10 + v**4/24 + 8*v**2. Let o be g(-3). Let h = o + 13