lse
Let r = -7 + 19. Suppose -10*v = -11*v. Suppose v = h - 33 + r. Does 8 divide h?
False
Let l(v) = v**2 - 8*v + 4. Let g be l(8). Suppose 3*t - 5*t - g*r + 54 = 0, 3*t = 5*r + 125. Does 10 divide (-2 - 1) + -6 + t?
False
Let x(r) = r**2 - 4*r - 5. Let h(p) = p**2 - p - 16. Let q be h(0). Let t = q - -22. Is 7 a factor of x(t)?
True
Let c(o) = -o**2 + 5*o - 5. Let b be c(4). Is 10*2 + -3 + b a multiple of 8?
True
Is 33 a factor of (-2964)/(-45) + (-4)/(-30)?
True
Let o(b) = b**3 + 12*b**2 - 18*b + 5. Does 5 divide o(-13)?
True
Let p = -90 + 298. Does 29 divide p?
False
Suppose 0 = 4*y - 66 - 6. Is y a multiple of 7?
False
Let x(a) = 4*a**2 - a + 1. Let q be x(5). Suppose s + 190 = 5*s + 3*v, -q = -2*s - v. Is s a multiple of 34?
False
Suppose 6*i - i = 25. Suppose i*z + 45 = 3*g, 0 = 3*g - z + 24 - 69. Suppose -5*m + 0 - 3 = -v, -5*m - g = -5*v. Does 2 divide v?
False
Let l = -4 + -10. Suppose -5*u - 239 = 3*w, 4*w + 12 = -0. Let o = l - u. Does 14 divide o?
False
Is (0 + (-124)/(-6))/(20/210) a multiple of 26?
False
Let l be (-81)/12 - 1/4. Let c be l*3*(-2)/(-6). Let u = 1 - c. Is u a multiple of 3?
False
Is (-165)/(-10) - (-3)/2 a multiple of 9?
True
Suppose 0 = 5*j, d + 5*j + 30 = 3*d. Does 11 divide d?
False
Let y(r) = 3*r**2 + 20*r + 2. Is y(-8) a multiple of 17?
True
Let b(k) = 6*k**2 + k - 24. Is b(-4) a multiple of 12?
False
Let q = 3 + 65. Does 11 divide q?
False
Let n be (-2 - -7) + (-4 - -2). Suppose -2*k = 4*l - 9*l + 87, -n*l = -4*k - 41. Does 19 divide l?
True
Is (-920)/(-22) - 6/(-33) a multiple of 14?
True
Let a(i) = 8*i - 10. Is a(6) a multiple of 18?
False
Suppose -4*k - 24 = 2*b, k - 4 = 3*b - 3. Suppose 2*w = 3*w, -w + 85 = 5*l. Let m = l - k. Is m a multiple of 16?
False
Suppose 5*x + 658 = i, 3*x - i + 392 = i. Let d = x - -222. Is d a multiple of 13?
False
Let c(s) = -3*s - 19. Is 11 a factor of c(-10)?
True
Suppose 0*j = 2*j - 2. Let y be (0 + 1 - 8) + j. Does 13 divide (2/y)/(3/(-207))?
False
Let d = -6 - -3. Is 6*6 - -3 - d a multiple of 17?
False
Let c(i) = i**2 - 14*i - 14. Is c(21) a multiple of 12?
False
Let w(n) = 28 - 2*n + 3*n - 30. Let p be w(6). Suppose -2*j + 4*h = -40 - p, -j - h + 13 = 0. Is j a multiple of 8?
True
Suppose -75 = -4*g + g. Is 5/(-2)*(-40)/g a multiple of 4?
True
Suppose 0 = -4*j - f + 252, 0 = -j - 4*f + 23 + 40. Does 12 divide j?
False
Let s(j) = 37*j**2 - 1. Let p be s(-1). Suppose 0*i + p = -4*i. Is (-2)/3*(i - 33) a multiple of 14?
True
Let x(q) be the second derivative of q**5/20 + 11*q**4/12 + q**3/2 - 4*q**2 + 3*q. Let n be x(-9). Let g = n - 73. Is g a multiple of 21?
False
Let d(y) = -y**2 + 3*y. Let z be d(3). Let w = z + 4. Suppose -c + 18 = -w. Does 11 divide c?
True
Let u = 16 - 13. Suppose 6 - 18 = -u*k. Is 2 a factor of k?
True
Suppose 0 = 6*a - 0*a - 18. Let w be ((-174)/5)/(6/(-20)). Suppose a*k - w = k. Does 20 divide k?
False
Suppose 0 = -z - d + 407, -2*d + 82 + 1965 = 5*z. Does 25 divide z?
False
Let y(x) = x**2 + 5*x - 6. Let g be y(-6). Suppose 2*k = -g*k + 62. Does 13 divide k?
False
Suppose -v - 4*v - 4*m = 62, -v - 3*m = 19. Let o = -7 - v. Suppose o*t = -t + 72. Does 6 divide t?
True
Suppose 94*b = 98*b - 496. Does 13 divide b?
False
Suppose -2*p - 3*h + 184 = 0, -5*p + 2*h + 3*h + 485 = 0. Is 19 a factor of p?
True
Suppose -f - 15 = 4*p - 106, 162 = 2*f + 3*p. Suppose h = -26 + f. Let g = h - 33. Is 16 a factor of g?
True
Let f(h) = 4*h**3 - 2*h**2 - 3*h - 9. Does 8 divide f(3)?
True
Suppose 0 = 14*p - 17*p - 3. Let t(z) = z**2 - z. Let j(v) = 20*v**2 - 5*v - 1. Let r(i) = j(i) - 3*t(i). Is r(p) a multiple of 9?
True
Suppose -5*t - 5 = 5*f, 3*t - 4*f - 4 = t. Suppose -4*b + 56 = -t*b. Is 6 a factor of b?
False
Let f be 1/2 + (-2)/4. Suppose f = -a - u + 4, -1 = 4*a - u - 12. Suppose 2*g = a*l - l - 38, -3*l - 5*g + 41 = 0. Does 13 divide l?
False
Let g(l) = -l**3 + 5*l**2 - 4*l + 5. Is g(4) a multiple of 5?
True
Let g = -118 + 198. Does 20 divide g?
True
Let q(d) = 4*d. Let z(h) = h**2 + 20*h + 1. Let s(m) = -11*q(m) + 2*z(m). Let f be s(2). Suppose f*u = u + 4*t + 28, 13 = u - t. Does 8 divide u?
True
Suppose -4*t - 24 - 46 = -n, -3*t + 280 = 4*n. Does 7 divide n?
True
Let x(g) = g**2 - 6*g + 3. Let k be x(6). Suppose -k*c = -8*c + 180. Does 2 divide 64/c - (-2)/9?
True
Suppose -4*h + 20 = h, -584 = -5*o + 4*h. Let k = -51 + o. Let s = k - 48. Is s a multiple of 18?
False
Let u(v) = 7*v**2 + 10*v + 7. Let t(k) = 11*k**2 + 15*k + 10. Let a(x) = -5*t(x) + 8*u(x). Let g be a(-4). Suppose -g*m + 0 + 30 = 0. Does 15 divide m?
True
Let f(z) = -22*z - 2. Is f(-5) a multiple of 20?
False
Let o(u) = 4*u**3 + 3*u + 2. Let i be o(-2). Let k = i + 67. Does 8 divide k?
False
Suppose -2*l + 280 = 2*l. Does 14 divide l?
True
Suppose -k - 5*d = -d - 62, -k - d = -65. Does 11 divide k?
True
Let o = 12 - 10. Suppose d + o*d = 117. Does 8 divide d?
False
Let f(b) = 13*b**3 + b**2 - 2*b + 4. Is 18 a factor of f(2)?
True
Suppose 3*i + 2*i = 280. Let f = 4 + i. Is f a multiple of 20?
True
Suppose 5*g - 123 = 87. Is g a multiple of 3?
True
Let x(i) = -i**2 + 12*i + 2. Suppose 0 = -4*s + 40 - 0. Does 17 divide x(s)?
False
Suppose 3*z + p + 265 = 8*z, -z + 37 = 3*p. Is z a multiple of 20?
False
Let s(q) = 3*q**2 - 1. Let w be s(-1). Let d = 43 - 38. Suppose -3*f - 54 = -2*r, w*r - 40 = r - d*f. Is r a multiple of 12?
False
Let v = 85 + 117. Suppose 0 = -3*b - 3*s + 114, -5*b - s = s - v. Does 18 divide b?
False
Let v = -149 - -215. Is 22 a factor of v?
True
Let k be (-33)/(-6)*(-12)/(-2). Suppose -k = -4*f + 71. Is 13 a factor of f?
True
Let w(i) be the third derivative of 1/20*i**5 + 0 + 1/2*i**3 + 3*i**2 + 0*i + 1/12*i**4. Is w(-2) a multiple of 11?
True
Let v(h) = h**2 + 6*h + 2. Let q be v(-4). Let x be ((-9)/q - 1)*12. Is (-4)/x*(-4 - 41) a multiple of 10?
True
Let j be (-30)/(-4)*(-4)/(-6). Suppose 0*y + j*d + 20 = 4*y, -4*d = -y - 6. Does 9 divide y?
False
Suppose -15 = -4*a + 33. Is 3/a + 299/4 a multiple of 25?
True
Suppose 3*c + 6*t - 447 = t, c + 4*t = 156. Is c a multiple of 23?
False
Suppose 31 + 29 = -4*i. Let u be ((i - 1) + 1)/(-1). Let o = u - -3. Is 8 a factor of o?
False
Let q = -21 + 51. Is q a multiple of 7?
False
Let p = -28 + 55. Does 5 divide p?
False
Let o(f) = -2*f**2 - f + 8. Let u be o(-9). Let k = u + 207. Is 24 a factor of k?
False
Let b be 0/1 + (-6)/(-3). Suppose 50 = -b*r + 4*r. Suppose -3*l - 4*o = -23, 3*l + 5*o - r = -0*o. Is 5 a factor of l?
True
Let i(r) = r - 5. Let q be i(10). Suppose q*t = u + 116, 46 - 135 = -4*t - 3*u. Is 23 a factor of t?
True
Suppose m + 0*m = 4. Let h(y) = -5*y**3 + y**2 + 8*y - 2. Let s(a) = a**3 - a**2 - a. Let j(l) = -h(l) - 6*s(l). Does 5 divide j(m)?
True
Is 6/(-18)*3*26*-3 a multiple of 39?
True
Let n(j) = -157*j + 1. Let m be n(-1). Let c = 7 + 1. Suppose -m = -5*p - c. Is p a multiple of 15?
True
Suppose 0 = 2*j - j. Suppose 2*a + 4 = j, 2*a + 1 = -4*y - 3. Suppose y*s = 2*s - 22. Is s a multiple of 11?
True
Let i be 0/(2 - -2) + -11. Suppose w = 4*w - 63. Let k = w + i. Does 4 divide k?
False
Suppose 3*n + 2*s - 17 = 0, -s = 3*n - 17 + 4. Suppose n = -2*h + 9. Does 2 divide h?
False
Let q be 1*(-2 - 148) - -2. Does 12 divide (-2)/3 + q/(-6)?
True
Suppose 0*z + 8 = 2*z. Suppose -2*x = -z*c + 102, -3*c = -7*x + 2*x - 66. Is c a multiple of 9?
True
Let o = -7 + 11. Suppose -o*u = -0*u. Suppose u = -2*i + 44 + 62. Does 20 divide i?
False
Let n = 171 - 122. Let p be (-8)/28 - 18/(-14). Does 16 divide n/3 - p/3?
True
Let r(j) = j**3 - 7*j**2 + 7*j + 1. Is 7 a factor of r(6)?
True
Let k(p) = -p**3 + 6*p**2 + 9*p + 6. Let b be k(7). Let x be (-1)/4 - (-1465)/b. Suppose z = -2*n - 2*z + 65, 5*z = 2*n - x. Is 17 a factor of n?
True
Let q(d) = 15*d**2 + 11*d + 10. Is 22 a factor of q(-4)?
False
Let n(o) = -o**3 - 6*o**2 + 6*o + 8. Let s(m) = 2*m**2 - 2*m - 5. Let q be s(5). Suppose 6*l + q = l. Is 15 a factor of n(l)?
True
Let s(c) = c**3 + 6*c**2 - 5*c + 5. Let k be s(-5). Let o = k - 11. Suppose 2*t - 4*y - o = 0, 4*t - 5*y = -0*t + 79. Is 5 a factor of t?
False
Is 3 a factor of 1 - 2 - -26*(-2)/(-4)?
True
Suppose y = 2*y. Let w(r) = r**3 + r + 39. Is w(y) a multiple of 13?
True
Does 29 divide ((-2)/(-5))/((-16)/(-2720))?
False
Does 20 divide (-2632)/(-32) - 3/12?
False
Suppose 12 = 2*a - 0. Let h be 2 + a/(0 + 3). S