lse
Suppose 0 = 4*o - 5*b + 25, -3*o - 20 = o - 4*b. Suppose o = 4*q - 88 - 88. Is q a multiple of 6?
False
Suppose 0 = -5*p + 2*a + 16802, -16801 = 39*p - 44*p + a. Is p a multiple of 40?
True
Let a(w) = 1029*w - 598. Is 115 a factor of a(49)?
False
Suppose x + 91 = 8*x. Suppose -3*m - g = -8*m + x, 0 = -4*m - 2*g + 2. Suppose m*l - 140 = q, l - 2*q - 48 - 28 = 0. Is 18 a factor of l?
False
Let s(t) = -2*t + t**2 + t + 6*t - 9. Let r be s(-8). Let m = 27 + r. Does 3 divide m?
True
Suppose 8 + 20 = -7*y. Does 5 divide 2/y + (-4579)/(-38)?
True
Suppose -188552 = 2607*m - 2620*m. Does 36 divide m?
False
Suppose -690*p = -663*p - 52083. Is 8 a factor of p?
False
Let c(l) = 243*l + 749. Does 47 divide c(5)?
False
Let q be 3/18 - (-644)/24. Let n = q + -24. Suppose -204 = 3*p - 5*p + 4*x, n*p = -x + 285. Does 24 divide p?
True
Suppose 0 = 12*i - 0*i + 9864. Let k = -462 - i. Does 12 divide k?
True
Let k(a) = a**3 - 9*a**2 + 9*a - 5. Let t be k(8). Let z be 27/(-6) + 4 + t/6. Suppose 4*g - 118 - 278 = z. Is g a multiple of 9?
True
Suppose 0 = 4*g - n - 41759, 2*n = -44*g + 39*g + 52202. Does 20 divide g?
True
Suppose -11*u - 635 = -10*u. Let l be (-2)/3 - 80/24. Is u/(-25) - l/(-10) a multiple of 25?
True
Let k(m) = 89*m**3 + 6*m**2 + 23*m - 88. Is 46 a factor of k(4)?
True
Let d(g) = -g**3 + 10*g**2 + 31. Let m(w) = -3*w**3 + 20*w**2 + w + 62. Let l(p) = 5*d(p) - 2*m(p). Does 8 divide l(-9)?
False
Suppose 0 = -b + 4*b + 2*b. Suppose -3*v + 930 = -b*v. Suppose q - v = -5*w, q = -w + 4*q + 78. Is w a multiple of 7?
True
Let t(j) be the third derivative of 37*j**5/60 - 5*j**4/24 - j**3/3 + 4*j**2. Suppose -5*c - 13*p = -16*p + 19, -5*c - 13 = -p. Is t(c) a multiple of 13?
True
Suppose 106669 = 5*r - 3*l + 2*l, 0 = 4*r + 5*l - 85370. Is 9 a factor of r?
False
Let b(a) = -2*a + 478 - 379 + 0*a. Is b(19) a multiple of 11?
False
Suppose 0 = w + 5*w - 18. Suppose 0 = -w*y + y + 6. Suppose -u + 0*t + 56 = 2*t, -y*t + 234 = 4*u. Is u a multiple of 20?
True
Suppose 29*b - 43875 = 73169. Does 9 divide b?
False
Suppose -3*u = -100*u + 1445629 + 2675513. Is 97 a factor of u?
True
Let u = 6465 - 702. Does 113 divide u?
True
Let a(c) = 4*c + c**2 + c**2 - 5*c + 106 - 4*c**3. Let v(f) = -9*f**3 + 5*f**2 - 2*f + 213. Let s(p) = 7*a(p) - 3*v(p). Does 21 divide s(0)?
False
Does 46 divide 50 - 54 - (-3944 - -3)?
False
Let c = -156 + 148. Let d be c/(-6)*(324/16)/9. Suppose 2*h + 1042 = 5*s, -d*s - 7*h + 620 = -3*h. Is s a multiple of 26?
True
Let j be (4/(-6) - 2/(-3))/3. Suppose 5*m = -4*x + 296, 0 = 5*m - x - j*x - 276. Let s = m + 34. Is s a multiple of 7?
False
Suppose h = 5*k - 14603, 8*k - 2*h = -h + 23363. Is 20 a factor of k?
True
Let t(a) = -a**3 + 5*a**2 + 17*a - 11. Let v(q) = -q**3 - 7*q**2 - 3*q - 14. Let s be v(-7). Let x be t(s). Suppose x*z = 20*z - 650. Does 13 divide z?
True
Let v(x) = -4*x**3 - 41*x**2 + 5*x + 52. Is 100 a factor of v(-12)?
True
Suppose b - 4*w = 9, 5*b - 109 = w + 3*w. Suppose -3*u = -2*s + 421, -2*u + 7*u - b = 0. Does 9 divide s?
False
Suppose 4*r + 88 = a, -4*a = 4*r - r - 390. Suppose 5*k + x + 2*x + 269 = 0, 0 = 2*k - 5*x + 89. Let c = k + a. Is 4 a factor of c?
True
Let i be (-18635)/(-4) + (-6)/48*6. Suppose 4*m - 3730 = 2*a, 3*m - 4*a - i = -2*m. Is 92 a factor of m?
False
Let p(f) = -540*f - f**3 - 12*f**2 - 523*f + 1044*f + f**2. Is p(-10) a multiple of 26?
False
Let i(r) = 2*r**2 + 48*r - 66. Let y(b) = -4*b**3 + 2*b**2 - 5*b + 4. Let v be y(2). Is 49 a factor of i(v)?
True
Let v(a) = a**3 + 16*a**2 - 14*a - 2. Let m be v(-19). Let i = m - -995. Does 8 divide i?
True
Suppose 0 = -2*o + 6*o - 5*l - 8, 0 = 3*o - 3*l - 3. Let n(s) = -105*s - 24. Let w be n(o). Let m = 491 - w. Does 40 divide m?
True
Let m = -3511 + 5518. Suppose 2*y + s = 625, -4*y + m = -5*s + 722. Is 35 a factor of y?
True
Let y(s) = -24*s**3 + 25*s**2 - 80*s + 16. Is 48 a factor of y(-8)?
True
Let g = -9327 - -16543. Is g a multiple of 15?
False
Let d(x) be the third derivative of -x**6/60 + x**5/6 + 5*x**4/24 + 5*x**3/6 + 32*x**2. Let j be d(5). Suppose 0 = -3*w + 147 - j. Is w a multiple of 26?
False
Let m = -308 - -518. Let p = m - 153. Is p a multiple of 19?
True
Let m be 4/(-11 + 9)*139/(-1). Is 23 a factor of 8/(-20)*5 + m?
True
Let r(a) = -23*a**3 + 2*a**2 - 1. Let f be r(-1). Let z = f + -19. Suppose -55 = z*c - 10*c. Does 3 divide c?
False
Let y(n) = -953*n - 16432. Is y(-38) a multiple of 9?
True
Let l = 1964 - 3761. Let s = -1104 - l. Does 21 divide s?
True
Let x = 6487 - 2340. Is x a multiple of 11?
True
Suppose 5*u + 2*j = 121218, 5*j - 46710 = 3*u - 119478. Is 159 a factor of u?
False
Suppose 4*w + 5*r - 43 = 0, -8*w = -11*w - 3*r + 30. Let q(a) = 7*a**2 + 15*a - 52. Does 40 divide q(w)?
False
Let d(j) = 14*j**3 + 8*j**2 - 48*j + 729. Does 237 divide d(15)?
True
Suppose -3*v = -2*r - 107, 0*r + 112 = 4*v + 5*r. Let x = v - -215. Is x a multiple of 22?
False
Suppose 10461 = 109*k + 32*k - 4344. Does 7 divide k?
True
Let c be (0 - -2 - -3) + -3. Suppose -3*z = p - 11, -2*p + 16 = -0*z + 4*z. Suppose 0 = -4*h + z*d + 333, c*h + 2*d - 170 = -0*h. Is h a multiple of 7?
True
Suppose -570*p + 640*p - 448910 = 0. Is 6 a factor of p?
False
Let o = -5228 - -10521. Is o a multiple of 7?
False
Suppose -23*a - 2*z = -22*a - 2470, 3*a - 5*z - 7410 = 0. Is 26 a factor of a?
True
Let q(k) = -7*k - 2. Let f be q(-4). Suppose -49*w - 253 = -54*w + 4*j, -2*j + 271 = 5*w. Let y = w - f. Does 3 divide y?
True
Let d(o) = -o**3 + 15*o**2 + 12*o + 5. Suppose 0 = -7*n + 39 + 52. Is d(n) a multiple of 23?
False
Let z be (-1)/(9/102)*(-27)/6. Let n = z - 46. Suppose k - 4*k - 6 = 0, -2*y = n*k - 262. Is 15 a factor of y?
False
Is 30/5 - -2414 - (-72)/9 a multiple of 4?
True
Let q be (-16 - -31)*(-10)/(-6)*1. Suppose 21*c + 1188 = q*c. Is c a multiple of 27?
True
Suppose 0 = 5*g - y - 117, 0 = g - 0*y + 4*y - 36. Suppose 0 = g*m - 27*m + 120. Suppose 0 = f, 4*x + m = 9*x - 3*f. Is x even?
True
Let v(m) = 4*m**2 - 2*m + 18. Let g(c) = -7*c**2 + 3*c - 36. Let s(w) = 3*g(w) + 5*v(w). Let u be s(0). Does 9 divide (0 - u)/(15 - 14)?
True
Is (-2118 + 0 + 8/1)*-1 a multiple of 42?
False
Suppose -25*h = -9*h + 416. Let q = -24 - h. Suppose -317 = -f + q*i, -7*i - 1585 = -5*f - 8*i. Does 48 divide f?
False
Suppose -5*w + 11 + 14 = 0. Let p(l) = -27*l + 2. Let j be p(-2). Suppose -w*k = -221 + j. Is 11 a factor of k?
True
Suppose -5*d + 6 = 4*g, 5*g + 0*d + 9 = 2*d. Let s(l) = -63*l**3 - l. Is s(g) even?
True
Let w be (-1 - 14)/((-2)/(-254)). Let r be (-3)/(-7) - w/(-35). Let m = r + 180. Does 14 divide m?
True
Let m(k) = k**2 + 71*k + 1292. Is m(73) a multiple of 52?
True
Let v = 404 + -380. Suppose 3860 = -v*w + 24356. Is w a multiple of 51?
False
Suppose -2*i = 2*z - 8, 4*z + 4 = -0*z + i. Suppose -5*p + 5*x - 49 = -9, z = -2*p - 3*x + 4. Does 6 divide 44 + (4*-2 - p)?
False
Suppose 0 = 3*j + 9, 4*k - 2423 = j - 748. Does 32 divide k?
False
Let f = 1985 + 13438. Is f a multiple of 53?
True
Let k(q) = -4*q - 1. Suppose -h = -2*h - 1. Let u be k(h). Suppose -3*s + 34 = u*i - s, -4*s = -20. Is 5 a factor of i?
False
Let n(s) = -s + 641. Let k be n(0). Suppose -251 = 6*u - k. Is u a multiple of 3?
False
Let j be (117/(-1))/((-52)/52). Let q be 6/(-21) + 709/7. Let y = j - q. Is 8 a factor of y?
True
Suppose -s + 493 - 89 = 2*z, 5*z - 812 = -2*s. Suppose -6*j + 801 = 2*l - 7*j, j = -l + s. Is l a multiple of 57?
True
Suppose 11 = 3*o - 4. Suppose -o*x - 5*g + 1990 = 0, -1184 = -3*x - 2*g - 3*g. Is 24 a factor of x?
False
Let r be (5 - 6)*(3 + -5). Suppose -326 = -r*v - 3*b + 24, 5*v - 885 = -5*b. Does 27 divide v?
False
Suppose -26*g + 143 = -13. Let w(p) = 70*p + 42. Does 21 divide w(g)?
True
Let z(t) be the first derivative of -11*t**2/2 + 53*t + 33. Let q be z(13). Let r = -30 - q. Is r a multiple of 20?
True
Let m be -4 - (-2183 + 2 + -1). Suppose -4*g - 3*y - 33 = 0, 0 = 5*g - 2*y + 56 - 9. Does 54 divide ((m/4)/g)/((-4)/8)?
False
Let y(n) = 2*n**2 + 6*n - 2. Let u be y(-3). Does 32 divide u/(-8) + (-5621)/(-44)?
True
Let f be (-4 - (-4 - -3))*-1. Suppose -3*q + u + 354 = 90, -352 = -4*q - f*u. Does 44 divide q?
True
Let f = -30101 + 49014. Does 64 divide f?
False
Let t be -6 + (-15)/(-3) + 0. Suppose 3*f = -f - 2000. Does 25 divide t*3*f/12?
True
Let b = -58 + 64. Let y