lse
Suppose 22 = 3*y - 38. Suppose -2*v = -3*v + y. Does 19 divide v?
False
Let k(h) = h - 9 - 6 - 6*h + 3*h. Does 5 divide k(-10)?
True
Let t = 39 - -26. Let z = 94 - t. Is z a multiple of 12?
False
Let p = -234 - -486. Is 33 a factor of p?
False
Let p = 7 - 8. Is (p + 22/10)*5 a multiple of 6?
True
Suppose -21*h + 180 = -17*h. Is h a multiple of 9?
True
Suppose 0 = i - 0*i. Let p(q) = -q**3 - q**2 - q - 6. Let j be p(i). Let l(t) = -t**2 - 10*t - 8. Is 6 a factor of l(j)?
False
Suppose 20 = -5*s + 5. Let y be (s + -69)/(-2) + 2. Suppose y - 128 = -5*i. Does 9 divide i?
True
Let j = 6 - 3. Let r(d) = d**3 - 4*d**3 - d**j - 3 + d + 5*d**3 + 5*d**2. Does 3 divide r(-4)?
True
Suppose -n = 3*v - 11, 4*n + 3*v = -0 + 17. Suppose 0 = 5*a + 5*w - 75, n*a + w = 29 + 1. Is a a multiple of 4?
False
Let c be 1/(-6) + 91/42. Suppose -53 = -c*w - 1. Is w a multiple of 13?
True
Let r(h) = h**2 - 6*h + 3. Let x be r(-6). Let f = 119 - x. Suppose 2*o = -2*o + f. Is 7 a factor of o?
False
Let h(l) = 449*l**3 + l**2 - 2*l + 2. Let s be h(1). Suppose -q + s = 4*q. Is 28 a factor of q?
False
Let s = -40 - -27. Let i = 24 + -1. Let n = i + s. Does 4 divide n?
False
Let d = -11 - -2. Suppose 52 = -t + 5*t. Let u = t + d. Does 3 divide u?
False
Let y(s) = s**2 + 5*s + 2. Suppose 2*q + 15 = -q. Let f be y(q). Suppose 0*a + 2*a - 3*m + f = 0, -4*a - 5*m + 40 = 0. Does 2 divide a?
False
Let y(n) = 1 + 2*n**2 + 7*n + n**2 - 2*n**2. Let g be y(-7). Does 21 divide 21/g + 1 + -1?
True
Let f = 50 + -28. Suppose -5*h = -28 - f. Is 5 a factor of h?
True
Suppose -3*a = 6, -2*p = 4*a - a. Let c(i) = 7*i + 6. Let l(d) = 6*d + 7. Let t(b) = 4*c(b) - 3*l(b). Is 12 a factor of t(p)?
False
Suppose 4*f - 10 = 2*d, -5*d = -4*f - d. Suppose 0 = -k + 4*a, f*a = -2*k - 10 + 75. Suppose 2*v + 0*q - 15 = -q, -5*v + k = -q. Does 5 divide v?
True
Let s(y) = -y + 16. Let j be s(0). Let b = 32 - j. Suppose -3*h - 4 = -b. Is 2 a factor of h?
True
Let o = 26 - 47. Is 5 a factor of -3 + (2 - 0) - o?
True
Is 17 a factor of 12/(-6) - 2 - -208?
True
Let p(m) = m**3 - 5*m**2 - 6*m + 3. Let l be p(6). Suppose -l*i + 34 + 11 = 0. Is 10 a factor of i?
False
Let i be (-2)/(-1)*110/(-4). Let z = i - -98. Is 12 a factor of z?
False
Let k = 70 - 41. Let p = -8 + k. Does 7 divide p?
True
Let l(v) = v**2 + 4*v + 4. Let a be l(-7). Let y = -53 + a. Let x = 44 + y. Is 7 a factor of x?
False
Let h be (-1)/(130/44 + -3). Suppose 0*l = -2*l + h. Does 11 divide l?
True
Let m = 79 - 46. Does 11 divide m?
True
Let d(z) = -z**3 - 7*z - 11 - 4*z**2 - z + 4. Is d(-5) a multiple of 15?
False
Let w(b) = -b**2 + 5*b + 4. Let s(g) = 2*g - 2. Let h(k) = 2*k**3 + 2*k**2 - 2*k + 1. Let u be h(1). Let r be s(u). Does 4 divide w(r)?
True
Suppose -g = -0*g - 2*m, -3*g + 5*m = -2. Is 4 a factor of g?
True
Let j = 2 - -6. Let y = 16 - j. Suppose -5*c + 18 = b, 2*b - y - 4 = -2*c. Is c a multiple of 3?
True
Suppose -2*l + 3*b = -14, 3*b = 2*l + 2*b - 10. Suppose -f - 20 = l*u, -2*f + 32 = -5*u + 7. Suppose -42 = -3*o - f*o. Is o a multiple of 14?
True
Let k(r) = 3*r + 3*r + 3*r - 3*r**2 + 2*r**2 + 2. Is k(6) a multiple of 13?
False
Let j(m) = 2*m**2 + 3. Let b(c) = c**3 + c**2 - c. Let s(t) = -3*b(t) + j(t). Let v be s(-2). Let p = v - -14. Is p a multiple of 11?
False
Suppose -j = -0*j - 1. Suppose -y - 7 + j = 0. Is (10/3)/((-4)/y) even?
False
Is 13 a factor of (1*-2 - -3)/(2/166)?
False
Suppose 3*r - 594 = -d, 2*r + 5*d = 4*r - 379. Does 11 divide r?
False
Suppose 390 = 19*f - 9*f. Is f a multiple of 10?
False
Let a(s) = s**3 - 6*s**2 + 5*s - 6. Does 12 divide a(6)?
True
Suppose -255 = -5*b - 2*j + 3*j, -4*j = 3*b - 176. Suppose b = 4*m - 80. Is 11 a factor of m?
True
Suppose 4*o + 7 + 1 = 0. Let p = -4 + o. Is (-70)/p + 5/15 a multiple of 6?
True
Suppose 336 = 7*x - 189. Does 12 divide x?
False
Let d be (-147)/(-9)*3 + -1. Suppose g = -2*s - 2, 0 = -5*s + 1 + 19. Let c = d - g. Is 15 a factor of c?
False
Let s = 319 - 211. Is s a multiple of 27?
True
Suppose 0 = -5*p + 23 + 42. Let i = -3 + p. Does 5 divide i?
True
Let u be 2 + 1 + -3 + 2. Let a(g) = 4*g - 2. Is 3 a factor of a(u)?
True
Suppose -56 = -3*h - 2. Is h + 0/(-3) - 2 a multiple of 16?
True
Suppose -4*u = 4*i - 112, -3*i + 1 = -2. Suppose -4*z - u = -191. Does 22 divide z?
False
Suppose -t = t. Suppose -2*p + s + 99 = t, -3*s + 153 = 2*p + p. Let r = -34 + p. Does 8 divide r?
True
Let l(o) = o - 3. Let j be l(3). Let n be (-1)/(-1) - j - 1. Let m(i) = -i + 14. Is 5 a factor of m(n)?
False
Suppose -3*k + 4*k = 8. Suppose 48 = 4*d + k. Is d a multiple of 5?
True
Let g be ((-2)/(-3))/((-2)/(-201)). Let y = g - 267. Does 8 divide y/(-12) - (-3)/9?
False
Suppose 431 = 2*o + 125. Is 17 a factor of o?
True
Let g(p) = p + 8. Let h be g(-8). Is (h - -3 - 1) + 10 a multiple of 12?
True
Suppose -2*l - 9 = 5*h, 2*l = 2*h + 3*h + 21. Suppose -v - 48 = -l*v. Is 10 a factor of v?
False
Suppose 4 = 6*d - 2*d, 4*k - 332 = 4*d. Is k a multiple of 21?
True
Let m(n) = n**2 + 13*n + 20. Is m(-16) a multiple of 17?
True
Let i(h) = 5*h**2 + 18*h + 8. Is i(-8) a multiple of 46?
True
Suppose -3*f = -5*j - 69, -7*f = -3*f - j - 92. Is f a multiple of 9?
False
Suppose 2*k = -0 + 8. Suppose 16 - 79 = -3*n + t, t + 83 = k*n. Is 9 a factor of n?
False
Suppose -2*m - 6 = 2*s, -3*m - 22 = -4*m + 4*s. Suppose -3*q = 0, -m*q = -d - 0*d + 15. Is 11 a factor of d?
False
Let o be 2/(-9) - 141/(-27). Suppose 2*j - j = o. Is 3 a factor of j?
False
Let v = -13 + -15. Suppose 3*w - 15 - 6 = 0. Does 5 divide (-2)/w + (-484)/v?
False
Let o = -11 + 15. Is 25 a factor of (13 - -34) + o + -1?
True
Suppose -l - 4*o = -35, 92 = -0*l + 3*l - o. Does 14 divide l?
False
Is 7 a factor of 244/(0 + 2) + 4?
True
Suppose 3*m - 5*z - 21 = 0, 5*z - 51 = -0*m - 3*m. Does 12 divide m?
True
Suppose 1 = 3*b - 8. Let t = b + 12. Is t a multiple of 15?
True
Let v be (-9)/(-12) + (-903)/(-12). Suppose -v = -4*m + 108. Is 23 a factor of m?
True
Suppose -x + 5*b - 1 = -39, 2 = -x - 3*b. Let g be (-6)/3 + 1 + -8. Let w = g + x. Is w a multiple of 4?
True
Suppose -i - 3*f + 14 = 0, -f - 10 = i - 6*f. Does 3 divide i?
False
Let o(w) = -w**2 - 5*w - 4. Let n be (-3 - 0)/1*1. Let b be o(n). Suppose -b = 3*f - 44. Does 6 divide f?
False
Let u(s) = 3*s - 7. Let l be u(-6). Let x = l + 43. Does 12 divide x?
False
Let x(h) = -6*h - 58. Is x(-24) a multiple of 16?
False
Let v be 1*15/3*-1. Let g be 0*(10/(-4))/v. Suppose j + 29 = k + 5*j, g = -5*k - j + 88. Is 17 a factor of k?
True
Let i = -362 + 551. Does 28 divide i?
False
Let t = 174 - 118. Does 7 divide t?
True
Let a(j) = j**3 + 10*j**2 + 8*j + 5. Is 7 a factor of a(-9)?
True
Let h = -38 + 68. Is h a multiple of 4?
False
Let x(g) be the first derivative of g**2 + 0*g**2 - 3*g**2 - 2. Does 3 divide x(-1)?
False
Let u = -39 + 63. Let z(f) = f**2 - f - 1. Let r be z(-1). Is 4 a factor of (r*3)/(u/80)?
False
Suppose 0*n + 4 = 2*n. Suppose 42 = 2*j + n. Is j a multiple of 12?
False
Suppose 38 + 10 = 2*h. Is 12 a factor of h?
True
Let a(w) = 0*w**2 - w - w**2 + 7*w - 1. Let z be a(5). Suppose -z*h = 3*f - 97, h + 5*f = -0 + 37. Does 11 divide h?
True
Let y = 69 - -19. Does 11 divide y?
True
Let u(d) = 5*d - 3. Let y(s) = 14*s - 10. Let q(a) = 7*u(a) - 2*y(a). Let n = -3 + 6. Is q(n) a multiple of 10?
True
Let s(m) = -4*m - 2. Let j(p) = -9*p - 3. Let w(q) = 6*j(q) - 13*s(q). Let o(i) = i**3 - i**2 + i - 6. Let n be o(0). Does 18 divide w(n)?
False
Let r(g) = -g**3 - g**2 + g - 8. Let z be r(0). Let c(m) = m**3 + 10*m**2 + 6*m - 5. Let b be c(z). Does 6 divide (-14)/(-77) + b/11?
False
Let m = -258 - -368. Does 11 divide m?
True
Let x be (1*12)/((-9)/(-6)). Suppose 2*m - 4*m + x = 0. Is 88/3 - m/12 a multiple of 18?
False
Suppose 4*u = -16 + 4. Let p be 7 + 32 - 1/1. Let c = u + p. Is 14 a factor of c?
False
Let g = 7 + -5. Suppose g*l - 4*l + 66 = 0. Is 19 a factor of l?
False
Let l(p) = -p**3 - 4*p**2 + 4*p - 2. Let u be l(-5). Suppose -23 = u*h - 83. Is 5 a factor of h?
True
Let c(g) = -9*g. Let j be c(2). Is 125/3 + (-6)/j a multiple of 31?
False
Suppose -4*n - 6 = 2, -5*n = -3*i + 10. Suppose i*f = -2*f. Suppose -2*m - m + 42 = f. Is 6 a factor of m?
False
Does 3 divide 55 + 5/((-15)/12)?
True
Suppose -5*f + 33 = 4*c, -c + 2*f + 6 = 1. Let s = -4 + c. Suppose -11 + 59 = s*b. Is 8 a fac