lse
Suppose 0 = 52*r - 55*r + 3. Is 5*(130/25)/r a multiple of 4?
False
Let h(l) = -l**2 - 2. Let z be h(0). Suppose 0 = 4*x, -13*t + 10*t + 3 = -5*x. Is (t + z)/((-3)/15) a multiple of 3?
False
Suppose -p + 3*w + 18 = 2*p, 4*p = 2*w + 14. Let x = -4 + 8. Suppose q = x - p. Does 2 divide q?
False
Suppose -4*s + v = -3684, v - 11 = -15. Is 12 a factor of s?
False
Let z(g) = -g**2 + 6*g + 318. Does 53 divide z(0)?
True
Does 54 divide 24/(-6)*(-4 - 239)?
True
Let t(s) = -4*s**2 + 56*s + 10. Is 43 a factor of t(10)?
False
Let z(j) = -j**3 - 2*j**2 + 3*j + 3. Let u be z(-3). Suppose u*t + 4 = 5*t. Suppose -t*i + 26 = 4*h, h + 2*h = -5*i + 100. Does 23 divide i?
True
Let m = -138 - -242. Is 2 a factor of m?
True
Suppose 29 = -3*h + 359. Suppose -3*c = -10 - h. Is 8 a factor of (36/(-10))/((-6)/c)?
True
Let k(w) = -w**2 + 13*w + 5. Let f be k(13). Let o(b) = b**3 + b**2 + 3*b - 3. Let z be o(2). Let t = z - f. Is t a multiple of 10?
True
Let r(z) = -z**3 + 11*z**2 + 5*z - 19. Let i be r(11). Does 16 divide (-156)/10*(-120)/i?
False
Let q(n) = -10 - 6*n + 8*n**2 + 6*n**2 - 5*n**2 + 15*n. Is q(-5) a multiple of 34?
True
Suppose -4*n + 2023 + 257 = 0. Is n a multiple of 57?
True
Is -10 + 17 + -7 + 3940 a multiple of 46?
False
Suppose -7*x - 328 = -5753. Does 25 divide x?
True
Suppose -6*o = -229 - 65. Suppose 5*g - 2*v - 198 = 0, -o = 4*g + 3*v - 189. Is g a multiple of 26?
False
Let m = -12 - -14. Suppose -m*d - 160 = -3*v, -146 = -3*v + 5*d + 29. Does 28 divide v?
False
Let i(s) = -s - 32. Is i(-36) a multiple of 2?
True
Suppose -20 = -r - 72. Let u = 39 - r. Is u a multiple of 7?
True
Let b be 2/(6/21) - 2. Suppose -b*a + 37 = -2*o, -2*a - 3*o = -0*o - 30. Is 6 a factor of a?
False
Suppose -o + f = -0*o + 11, -95 = 5*o + 3*f. Let u = -11 - o. Suppose u*j - 24 = j. Is 3 a factor of j?
True
Let k(o) = -332*o - 24. Is k(-2) a multiple of 20?
True
Let w = 19 + -5. Suppose 5*p = -w + 179. Is 10 a factor of p?
False
Suppose -4*o + w = -3869, -5*o = -0*o - 2*w - 4840. Is 46 a factor of o?
True
Let w(l) = l**3 - l**2 - 2*l + 1. Let v = 12 + -10. Let q be w(v). Does 3 divide 77/14 + q/2?
True
Let q(a) = -a**3 - 10*a**2 - 9*a + 2. Let g be q(-9). Suppose -4*o - 16 = 3*d, d - g*o - 8 = -2*d. Suppose d = 5*x - x - 72. Is 18 a factor of x?
True
Let p be (279 + -1)*1/2. Let k = p - 73. Suppose 2*l - 5*d - 144 = 0, l - d - k = -0*d. Is l a multiple of 23?
False
Let c = -14 - -21. Let m = 43 + -37. Let d = c + m. Does 3 divide d?
False
Let f(y) = -1. Let x(l) = l + 2. Let h(t) = 4*f(t) + 5*x(t). Is 17 a factor of h(9)?
True
Let m(d) be the third derivative of -13/24*d**4 + 0*d + 1/60*d**5 + 7/6*d**3 + 0 - 3*d**2. Is m(13) a multiple of 2?
False
Suppose -2*z - 3*d = -3*z, -d = 4*z + 52. Is 2 a factor of -10*((-2)/(-6))/(z/18)?
False
Suppose -1132 = -2*t + x, -10*t = -3*t - 3*x - 3962. Does 10 divide t?
False
Suppose -5*k = -0*k. Suppose -2*r - 3*d = -2 + 1, -4*r - 2*d = -6. Suppose -b = 2*b + 2*y - 73, -r*y - 8 = k. Does 9 divide b?
True
Suppose 0 = -r - 5*q + 281, -2*r + 35*q - 34*q = -518. Is r a multiple of 29?
True
Let b(p) = -p. Let y be b(-2). Is (88/y - -2) + 0/(-5) a multiple of 6?
False
Does 31 divide (2232/96)/((-6)/(-152))?
True
Does 86 divide (3 + 17)/(7/602)?
True
Suppose 2*y - 4*c - 18 = 98, 3*c = -2*y + 151. Let o = -38 + y. Suppose 83 = v - 5*s, -2*s - 128 = -2*v + o. Does 26 divide v?
True
Let t(z) = -z**3 + 7*z**2 + 12*z - 7. Let c be (-6)/(-24)*(-1 - -5). Let p be 4 - (-5 - c) - 2. Is t(p) a multiple of 8?
False
Let f(k) = -2*k**2 - 5*k + k**2 + 4*k**2 - 4*k**2 - 9. Let u be f(-5). Let w(n) = 2*n**2 + 18*n + 13. Does 13 divide w(u)?
True
Let o(t) = 23*t + 263. Is 33 a factor of o(-10)?
True
Suppose 8*w - 3*w + 15 = 0, 813 = 3*u + w. Is u a multiple of 34?
True
Suppose 4*a - 25 = -5*n, 0*a + a = n - 5. Suppose a = 3*z - 54 - 30. Does 14 divide z?
True
Suppose -48*f + 14*f = -2074. Does 7 divide f?
False
Let m = -16 - -24. Let h = -8 + m. Is 18 a factor of 67 + h + 3 + -3?
False
Suppose -10 = -2*a, -4*a + 32 = 6*l - 3*l. Let p = 19 - l. Is 11 a factor of p?
False
Suppose 2*i - 540 = -5*g, -20*g + 16*g + i + 432 = 0. Suppose 6*k = -6*k + g. Is 3 a factor of k?
True
Suppose 1 - 1 = -7*s. Let z(l) = -2*l**2 + l + 29 + 28 + 3*l**2. Is 19 a factor of z(s)?
True
Let x be ((-5)/2)/((-50)/120). Let p(o) = 1 - 4 - 1 + o**2 + 4*o + x. Is 13 a factor of p(-9)?
False
Let v be 0/(3*(-4)/6). Suppose -4*p - p - 30 = v. Let n = 16 + p. Does 8 divide n?
False
Suppose -966 - 2568 = -62*g. Is 3 a factor of g?
True
Let y be (-12)/4 - (-297 + -2). Suppose 9*t = t + y. Is 12 a factor of t?
False
Let z = 2721 + -1321. Does 100 divide z?
True
Let c(a) = -a**3 - 9*a**2 - a + 14. Let p be c(-10). Suppose -11*k = -13*k + p. Is k a multiple of 16?
False
Suppose -h - 5 = -2*u, -3*h = u + u - 1. Suppose 0 = -u*s - 4*q - 60 + 24, -4*q = s + 28. Let m = 40 - s. Does 23 divide m?
False
Suppose 2*w + 0*t = t - 12, -t + 4 = -w. Let x be (3 - (-20)/w)*8. Suppose 22 + 18 = x*u. Is u a multiple of 10?
True
Suppose n + i = -2, 4*i + 11 = n + 3. Suppose 5*l - 3*a = 908, -l = -2*a - n*a - 176. Does 23 divide l?
True
Let f(h) = -h**2 + 4*h + 7. Let t be f(5). Suppose -n - 4 = -t*n. Is 42 + (n - 0)/2 a multiple of 11?
True
Suppose -3*y + 33 = 2*s, s + 5*y - 15 = 2*y. Is 12 a factor of s?
False
Let k(o) = o**2 - o + 1. Let i be k(-2). Suppose -i*y + 252 = -3*y. Does 21 divide y?
True
Let z(t) = -155*t + 9. Let m be z(-5). Suppose -6*n + m = -2*n. Suppose -4*g = -0*g - n. Is 10 a factor of g?
False
Suppose n = -3, -3*x + 42*n = 44*n - 1773. Is x a multiple of 9?
False
Suppose -3*b + 996 + 5196 = 5*z, 4*z = 4*b + 4960. Is z a multiple of 21?
True
Suppose u = 6*l - 11*l + 3482, 0 = -l - 5*u + 706. Is l a multiple of 87?
True
Let v(h) = 199*h + 10. Is v(20) a multiple of 133?
True
Does 5 divide (18 - (-16448)/48)/((-2)/(-3))?
False
Let z = 13 + -3. Suppose 3*f - z = -4*v - 1, -5*f = v - 15. Does 17 divide 1/((-1)/(-26) + v)?
False
Let o = 139 - 87. Is 13 a factor of o?
True
Let s(w) = -w**2 + 10*w - 15. Let d be s(10). Let l = 31 + d. Let h = l + 2. Is h a multiple of 18?
True
Suppose -u - n - 6 + 25 = 0, 82 = 4*u - 2*n. Let s = -17 + u. Suppose 0*f + s*t = -2*f + 138, 3*f - 4*t = 224. Is f a multiple of 12?
True
Let t(b) = 12*b**2 - 8*b - 229. Does 55 divide t(-12)?
True
Let h = -525 + 1613. Is 32 a factor of h?
True
Suppose 3*y = -5*u + 67, -2*u + 45 = u - 3*y. Let g be 2/10 + (-2)/((-50)/8145). Suppose -g = -5*w + 2*j, 2*w + u - 140 = 3*j. Is 11 a factor of w?
True
Let w(r) = 2*r**3 - r**2 - 11*r + 3. Suppose 2*p = 12*p - 40. Is 28 a factor of w(p)?
False
Let g(r) = 7*r + 1. Let j be g(-2). Let w(s) = -15*s + 15. Is 15 a factor of w(j)?
True
Suppose 0 = -5*d + 22 + 3. Suppose -d*q + 72 = -3*q. Does 9 divide q?
True
Suppose 0 = -2*y - 5*c + 2*c - 245, 5*y - 5*c + 600 = 0. Let g = y - -289. Is 12 a factor of g?
True
Let l(b) = -b**2 + 11*b. Let t(f) = f**2 - 7*f - 3. Let j be t(8). Let y = j + 1. Is 8 a factor of l(y)?
False
Let t = 63 + -117. Let o = t - -66. Is 6 a factor of o?
True
Suppose -3*r + r + 720 = 0. Suppose 0*b - 2*b = -r. Is b a multiple of 38?
False
Let p(n) = 5*n - 1 + 2 + 80*n**2 - 3*n - 3*n. Let l be p(1). Suppose -8*q + 3*q + l = 0. Is q a multiple of 4?
True
Suppose -11*a = -12*a + 984. Does 41 divide a?
True
Let u = 322 + 702. Is u a multiple of 8?
True
Let s = 915 + 1428. Is 33 a factor of s?
True
Suppose 4*x - 15 = 2*y - 5, 5 = -3*x + 4*y. Suppose -164 = -x*j - i, -2*j - 2*i + 31 = -j. Is 8 a factor of j?
False
Let f be (1/((-12)/(-15)))/((-1)/88). Let l = -26 - f. Does 7 divide l?
True
Let j(l) = -2391*l**2 + 2398*l**2 + 9*l + 19*l + 6. Does 43 divide j(-9)?
False
Suppose -4*o + 1637 = 177. Let h = o + -257. Is 27 a factor of h?
True
Is 36 a factor of 15/75*(-2 - -2) + 1612?
False
Let f be ((-14)/8)/(4/64). Let p be 3/(-2)*f/(-42). Let q(w) = -5*w + 2. Is 7 a factor of q(p)?
True
Suppose 8*z - 949 - 2891 = 0. Suppose -2*h + h + 591 = 5*c, h + z = 4*c. Is c a multiple of 11?
False
Suppose 12 = -4*f, n + 36*f = 34*f + 324. Is 22 a factor of n?
True
Let m(p) = -p**2 + p + 413. Let r be m(0). Suppose 2*q + r = -3*j + 30, -2*j - 952 = 5*q. Is 8 a factor of q/(-6) - (-5)/15?
True
Let s = 6 - 3. Let x be 5*s/(75/10). Suppose x*z = -2*n + 28, 3*z - 4*z = 2*n - 16. Does 4 divi