lse
Suppose 21*q = -2*q + 17378 + 54911. Is 6 a factor of q?
False
Let w(h) be the third derivative of -11*h**6/20 - h**4/24 - h**3/3 + 4*h**2 + 18. Suppose 2*o = -3*t - 11, -3*o + 4 = 3*t + 19. Is w(t) a multiple of 5?
True
Suppose -22*s - 7010 = -49844. Does 59 divide s?
True
Let p be (((-27)/(-6))/(-3))/(21/(-70)). Let i = 7 - p. Suppose i = h - 28. Is 6 a factor of h?
True
Suppose -73*n - 204457 = -707281. Does 123 divide n?
True
Suppose -19*n + 4*n = 930. Let b = 66 + n. Suppose 0*a - 3*f = a - 254, 0 = -b*a - 5*f + 1023. Is a a multiple of 37?
False
Suppose -13 = -2*q - 5*p, 2*p + p + 1 = q. Let t be (q/(-6))/(-4 - 138/(-36)). Let y(g) = g**2 - 6*g + 18. Does 10 divide y(t)?
True
Suppose -6*r = 5*r - 341. Let d = r + -114. Is 2/(-9) + d/(-9) a multiple of 9?
True
Let u(t) = -t**2 - 40*t - 96. Let x be -9*4 - (-69 - -67). Is u(x) a multiple of 9?
True
Let j = 2017 - -1382. Is j a multiple of 103?
True
Let z = 52 - -25. Suppose -70*f - 490 = -z*f. Is f a multiple of 5?
True
Suppose 0 = -2786*w + 2793*w - 40047. Does 12 divide w?
False
Let v = -7949 + 8071. Does 9 divide v?
False
Suppose -g - 5*t + 42857 = 0, -3*g - 69*t + 128671 = -74*t. Is 14 a factor of g?
True
Let c(d) = -2*d**2 - 12*d - 33. Let w(l) = -5*l**2 - 35*l - 98. Let u(i) = 8*c(i) - 3*w(i). Let f(m) = 3*m + 60. Let q be f(-17). Is u(q) a multiple of 4?
False
Let l be 30/3 + 2 + 2 + -3. Suppose -2*z + l = 7. Suppose -w - 3 - 4 = -z*h, -2*h + 4*w + 4 = 0. Is h a multiple of 4?
True
Suppose -86*w = -91*w + 15. Suppose -3*l - 498 = -2*q, 4*q - w*l - 699 - 303 = 0. Is q a multiple of 40?
False
Let w(v) = -v**3 + 13*v**2 + 9*v - 120. Let q be w(13). Is 1/4 + ((-3179)/(-4) - q) a multiple of 13?
False
Suppose 5*i - 2*g - 2799 = 0, -i + 28*g + 573 = 32*g. Is 33 a factor of i?
True
Let m(t) = 26*t - 3. Let l(r) = -442*r + 52. Let h(j) = 3*l(j) + 52*m(j). Let q be h(21). Suppose 7*w - q = w. Does 17 divide w?
False
Let k(z) = -2*z - 4. Let h be k(-4). Suppose b - 8 = -5*d, h*d + 4*b - 14 = 7*b. Suppose 5 = d*y - 9. Is 6 a factor of y?
False
Suppose 0 = 70*q - 579248 - 486712. Does 41 divide q?
False
Let z(r) = r**3 + 8*r**2 + 3. Let s be z(-8). Suppose -s*k - 141 = -669. Is k a multiple of 11?
True
Suppose t + 3*o = 149 + 45, 934 = 5*t + 3*o. Suppose 0 = 6*f - 1529 + t. Does 16 divide f?
True
Let r(m) = -m**3 - 2*m**2 + 7*m + 6. Let c = 72 - 77. Let i be r(c). Let p = -22 + i. Is 3 a factor of p?
True
Suppose -v + 5*b + 2 + 20 = 0, 4*v + 22 = -2*b. Let z be (-21)/2*2/v. Suppose -z*r + 0*r = -924. Does 22 divide r?
True
Let t(v) = -15*v**3 - 1. Let h be t(-1). Let y(i) = -49 + 4*i + h + 0*i. Does 10 divide y(27)?
False
Let q be (4 - (2 + 0)) + 540. Suppose 4*h - q - 166 = 0. Is h a multiple of 16?
False
Suppose 48*a - 17*a = 91*a - 282720. Is 152 a factor of a?
True
Let m = 0 + 2. Suppose -222*u = -225*u + 216. Suppose -c + u = m*c. Is c a multiple of 8?
True
Let k be ((-6)/14)/((-38)/266). Suppose -t + 235 = 4*l, -t - k*l + 445 = t. Does 43 divide t?
True
Suppose -2 = -2*q, 17*o + 6*q = 15*o + 50376. Does 115 divide o?
True
Let f = 8 + -6. Let t be 1 + -8 - ((-8)/(-8))/(6/(-288)). Suppose 0 = f*k - t + 25. Is 4 a factor of k?
True
Let d(g) = 11*g + 14. Let z be d(3). Suppose 164 = 4*x - 12. Let q = z + x. Is 13 a factor of q?
True
Let x = 56 - 18. Suppose 0 = -5*r - 18 + x. Is 10 a factor of (-100)/5*((-10)/r - -2)?
True
Does 53 divide 369492/14 + (-8844)/(-5159)?
True
Suppose -174*v = -146*v - 5600. Does 8 divide v?
True
Suppose -3*j = 2*h - 4934, 4*j = 5*h + 3*j - 12318. Is 22 a factor of h?
True
Let d = 164 - 276. Let x = 153 + d. Is x a multiple of 3?
False
Suppose -5*c + 15400 = -2*l, 9*l + 9261 = 3*c + 12*l. Is 18 a factor of c?
False
Let r = 729 - 727. Suppose -700 = -5*b - 2*v, 2*v = -r*b - v + 280. Is b a multiple of 7?
True
Let v = -5 - -17. Suppose v*b - 5 = 11*b. Suppose w + 3 = 0, b*w + 11 = -t + 172. Is 8 a factor of t?
True
Suppose 0 = -5*x - 5*j - 350, -5*j + j = 0. Is x/(-4) - (-1)/(-2) a multiple of 17?
True
Let w(r) = -3*r - 12. Let x be w(-5). Suppose 16 = i + x*i. Suppose i*d - 313 = 155. Is d a multiple of 26?
False
Suppose 26*r - 17000 = 9*r. Suppose 197*n = 202*n - r. Is 23 a factor of n?
False
Suppose -14*t + 137 = -549. Let r = 54 - t. Suppose 12 = y - 4*u, -2 = -4*y + r*u + 57. Is y even?
True
Suppose -35*l + 34*l = -9. Let x(c) = -2*c**2 + 27*c + 11. Is x(l) a multiple of 17?
False
Let p = 12941 - 8074. Is 31 a factor of p?
True
Let a = -497 - -499. Suppose 2*z - 40 = a*l, -5*z - 4*l + 146 = 46. Is z a multiple of 8?
False
Is 103 a factor of ((-106)/(-2)*(-1133)/(-33))/((-6)/(-36))?
True
Let w be 8*(-1)/2 - (0 - 1). Is 45 a factor of ((-1)/w)/(18/6642)?
False
Let y be (-14)/(-8) + -2 - (-148)/16. Suppose 0 = -b + y - 16. Is 9 a factor of 6/18*6 - b*13?
False
Suppose 6*p = 2*p + 8. Suppose -3*r + 2*h = -80, -5*r + 85 = -p*r - h. Let y = 65 - r. Is y a multiple of 11?
False
Let r(d) = -9*d + 11*d + 9 - d**2 + 8*d + 0*d**2. Suppose 286 = 27*b + 16. Does 9 divide r(b)?
True
Suppose 44*o + 38705 = 67*o - 6007. Is 24 a factor of o?
True
Suppose 22*x = 736597 + 391035. Is 149 a factor of x?
True
Suppose 12 = -7*y + 4*y. Let m be (-30)/(-4)*y/(-30)*3. Suppose -5*b - 2*v - 3*v = -90, 4*v = b - m. Is b a multiple of 5?
True
Let m = 36 + -34. Suppose m*b + 20 = 4*b. Suppose -6*o = -b*o + 204. Does 17 divide o?
True
Suppose 21*i = 6157 + 6968. Let y = -445 + i. Does 10 divide y?
True
Suppose 2*o = g + 149, 4*o - 67 = g + 226. Is 1*126*o/27 a multiple of 14?
True
Let u(c) = 6*c + 66. Let o be u(11). Suppose -b + o = -5*d, -4*b + 5*d + 344 = -184. Suppose -6*v - b = -17*v. Is v a multiple of 6?
True
Suppose -18 = 5*w + 2. Let k(g) = g**3 + 10*g**2 + 11*g + 1. Is 4 a factor of k(w)?
False
Let b be 3/(-9) - 21/(-9). Let k be (-6)/(-9)*(b + (-5)/(-5)). Suppose 5*y - 39 = -k*j, -4*y + 44 = 5*j - 28. Is 4 a factor of j?
True
Let g(n) = -2*n**2 - 3*n + 3. Let s be g(0). Suppose f + 2*x + 93 = 440, -5*x + 1036 = s*f. Does 17 divide f?
False
Let v be (-46)/(-3)*96/64. Suppose 11*l = v*l - 3588. Is 13 a factor of l?
True
Suppose 5*k - 2*k - 12 = 0. Suppose k*r + 9 = -f, -r - 4 + 1 = f. Let s(l) = -42*l**3 - l**2 - 2*l. Is s(f) a multiple of 13?
False
Let a(j) = 2*j**3 + 16*j**2 - 25*j + 1. Let s(o) = -o**3 - 8*o**2 + 24*o + 31. Let m be s(-10). Is a(m) a multiple of 32?
True
Let z = -2407 + 3227. Is 6 a factor of z?
False
Let r(q) = 2*q - 35. Let j be r(16). Let i(a) = -17*a - 25. Let o be i(j). Suppose -2*y + 172 = -o. Does 21 divide y?
False
Let f(g) = -172*g**2 + 6*g - 10. Let z(a) = -171*a**2 + 8*a - 11. Let p(x) = -6*f(x) + 5*z(x). Does 28 divide p(-1)?
False
Let y = 20213 - -25687. Does 102 divide y?
True
Let a be 6/(-10) - ((-66)/(-15) + -8). Let l(t) = -t**3 - t**2 + t + 1. Let s(m) = 8*m**3 + m**2 - 3*m - 8. Let k(g) = 3*l(g) + s(g). Does 27 divide k(a)?
False
Suppose 2*n - 3*n - 450 = -2*j, 898 = 4*j - 3*n. Does 7 divide j - -9 - 36/4?
False
Let d = 177 + -173. Suppose 2445 = 5*g + 3*v, -d*g + 3*g + 3*v + 471 = 0. Is 18 a factor of g?
True
Let v be -28 + 30 - (1 + -34). Suppose b - 93 = v. Is b a multiple of 16?
True
Suppose 17 = -4*q + 5, -5*q = -2*w + 23. Suppose 2*i + i - 81 = -w*z, 0 = 5*z + 3*i - 102. Suppose z = g - 17. Is 8 a factor of g?
False
Suppose -56584 = 99*z - 691966. Does 5 divide z?
False
Suppose -4*o = 4*r - 68, -13*r + 1 = -12*r + 5*o. Does 10 divide (-210)/4*(-112)/r?
True
Suppose 20*r - 14*r + 7*r - 119756 = 0. Is r a multiple of 188?
True
Suppose -5 = -5*a, -5*a = -2*c + 16 + 15. Suppose -2*w = 6 - c. Is w/24 - (-417)/12 even?
False
Let h(y) = -4*y - 224 - 4*y + 140. Does 3 divide h(-21)?
True
Let x(g) = g**3 + 35*g**2 - 71*g + 417. Does 9 divide x(-37)?
True
Let m(c) = 33*c + 96. Let b be m(-2). Is 22 a factor of 366*((-12)/b)/((-6)/15)?
False
Suppose -55*i + 35*i = -464800. Does 15 divide i?
False
Let g(s) = 558*s**3 - s**2 + 1. Let x be g(1). Let q = 53 + x. Is 47 a factor of q?
True
Let y = 88021 + -40647. Is 287 a factor of y?
False
Let b = 139 + -402. Let x be -1*(155 + (19 - 13)). Let o = x - b. Does 17 divide o?
True
Let w(m) = -190*m + 680. Does 10 divide w(-7)?
True
Suppose -2*l - 221*h = -224*h - 429, 3*h + 1059 = 5*l. Is 6 a factor of l?
True
Let m = 2265 - 1195. Does 76 divide (-3)/1 - m/(-2)?
True
Suppose 8*n = 3*n - c + 146, -5*n 