lse
Suppose -7*f + 3*f + 16 = 0. Suppose f*q + 9 = 2*m - 5, -q = 3*m - 7. Suppose -3 = -m*y, -4*l + y = 4*y - 71. Is l a multiple of 9?
False
Let f(c) = -c**2 - 21*c - 25. Let a(d) = d + 1. Let w(s) = 4*a(s) + f(s). Let q be w(-15). Let z = -1 + q. Is z even?
True
Does 31 divide ((-26975)/(-30))/13 - (-2)/(-12)?
False
Suppose -22*z - 8 = -21*z. Let o(g) be the second derivative of g**5/20 + 3*g**4/4 - g**3 - 7*g**2/2 - 4*g. Does 35 divide o(z)?
True
Suppose q - 4 = 0, 101 = -2*b - 4*q - 75. Let y = b - -172. Is y a multiple of 38?
True
Suppose -317 = -c + n, 6*c = 3*c - 2*n + 951. Is c a multiple of 8?
False
Suppose 5*v - 2*m - 41 = 0, -5*v + 49 = -2*m + 4*m. Suppose -153 + 936 = v*f. Is f a multiple of 7?
False
Let r(n) = 18*n**2 - 4*n - 21. Let m be r(6). Suppose -5*q + 392 + 221 = 4*d, 5*q - m = d. Is 31 a factor of q?
False
Let r(i) = 11*i**2 + 141*i - 53. Is 115 a factor of r(-26)?
False
Let f = 1 + 3. Suppose -7 = f*o - 23. Suppose -5*s - 230 = -5*c, 2*c + c = o*s + 136. Does 24 divide c?
True
Suppose -13*d = -12*d + 3*v - 170, 5*d + v = 878. Is d a multiple of 8?
True
Let h(f) = -f**3 + 4*f**2 + 3*f - 4. Let x be h(2). Let s = 52 - x. Does 15 divide 150/4*s/35?
True
Let z = 2719 - 1601. Does 13 divide z?
True
Does 5 divide 128 + 2 - (9 - (2 - -2))?
True
Suppose -5*y = 3*b - 250, -2*y + 324 = -0*b + 4*b. Let a be 51/12 - 1/4. Suppose -a*d + b = -32. Does 7 divide d?
True
Suppose 17*p = 21*p - 680. Does 18 divide p?
False
Suppose -7678 + 2148 = -7*n. Is n a multiple of 79?
True
Let w be ((-2)/4)/((-5)/(-100)). Let r be (-228)/15 - 2/w. Let g = r + 45. Is 10 a factor of g?
True
Let r = -27 + 29. Does 4 divide (-27)/9 + r/2 + 6?
True
Let d = -346 - -355. Does 4 divide d?
False
Is 20 a factor of (-250)/(-2)*1428/85?
True
Let t = 24 - 36. Let s be 57/12 + (-3)/t. Suppose 4*j = -3*b + 37, -5*j + j - 51 = -s*b. Is b a multiple of 11?
True
Suppose 5*u + 15 = 10*u. Suppose -2*x - 2 = 0, 9*x = u*f + 4*x - 92. Does 13 divide f?
False
Does 15 divide (-3)/(30/(-70)) - -98?
True
Let c(q) = -21*q - 971. Does 4 divide c(-57)?
False
Let d = 2089 - -1739. Is 116 a factor of d?
True
Suppose 3*i + 2*m = -2*m + 6, -2*i + m + 4 = 0. Suppose -i*s = -s - 57. Does 19 divide s?
True
Does 28 divide 155 + 20/(1 - -4) + -5?
False
Let m be 20/(-9) + (-4)/(-18). Let y be 5*m*3/(-15). Is 4 a factor of (44/2)/y*1?
False
Let b be (-42)/(-1)*(-3)/(-9). Suppose 4*w - x + 17 = 0, 0 = -3*w + 2*x - 0*x - b. Let v = w + 42. Is 19 a factor of v?
True
Let w = 840 - 456. Is w a multiple of 20?
False
Let b(g) = 43*g**2 + 7*g + 19. Does 5 divide b(-2)?
False
Let o(v) be the first derivative of v**4/4 - 8*v**3/3 - 7*v**2/2 - 12*v - 6. Is o(9) a multiple of 3?
True
Suppose 5*a = 5*h + a - 40, -2*h + 5*a = -33. Suppose -h*v = 4*f - 108, 2*f + 3*v - 52 = -0*f. Is 7 a factor of f?
False
Suppose -1858 = -3*d + 374. Is 15 a factor of d?
False
Suppose 2*v + 32 = 3*a + 4, a + 3*v - 24 = 0. Suppose 5*l + 30 = -5*j, -j = 5*l - 5*j + a. Let i = 11 + l. Is 7 a factor of i?
True
Is 3 a factor of (3 - 4 - -92) + (-10)/(-2)?
True
Let h(j) = 5*j - 8. Let v be h(-8). Let g = 264 + v. Is 12 a factor of g?
True
Let n be 4 - -38*(-1)/(-2). Suppose 4*c + n = -337. Is -14 + 14 + (0 - c) a multiple of 18?
True
Suppose 23*o = 20*o + 1668. Is 18 a factor of o?
False
Let h(v) be the first derivative of 1/3*v**3 + 2 - 3/2*v**2 + 0*v. Does 20 divide h(-5)?
True
Let b = 1435 - 1019. Is b a multiple of 19?
False
Let b(y) = 86*y + 6. Is b(15) a multiple of 12?
True
Suppose 0 = -u + 3*u - 260. Suppose 3*n = 32 + u. Let f = -25 + n. Is f a multiple of 16?
False
Suppose -6*m = -m - 45. Suppose -n - 12 = m. Does 16 divide n/(-3)*(-5)/(-1)?
False
Suppose -231 = -13*w - 75. Let u(f) be the second derivative of f**5/20 - 11*f**4/12 - 11*f**3/6 - 5*f**2/2 - f. Does 7 divide u(w)?
True
Let p(b) = -4*b - 1. Let x(y) = y**3 - 3*y**2 - 5*y + 2. Let m be x(4). Let r be p(m). Is 8 a factor of 53/r + (-24)/(-56)?
True
Suppose -s + 3*m = -156, 32*s = 28*s + m + 569. Does 3 divide s?
True
Suppose 720 = 11*g - 7*g. Let x = -105 + g. Is x a multiple of 11?
False
Let o(w) = -15*w - w**2 + 53 - 4*w - 68. Does 21 divide o(-12)?
False
Let x(t) = 3*t - 17. Let f be x(7). Suppose 4*l - 2*l = f. Suppose -w - 15 = l*w, -3*s = 4*w + 2. Is s a multiple of 6?
True
Suppose n = 7 - 3. Suppose -n*a + 52 = -0*a. Is a a multiple of 3?
False
Suppose 50*i + 595 = 55*i. Is i a multiple of 19?
False
Is 5 a factor of 2*3*(-5)/(-30) - -43?
False
Suppose 0 = 2*g + 2*w + 96 + 108, 4*w = -g - 90. Is ((-36)/(-8))/(-2 - g/52) a multiple of 20?
False
Suppose -25*f - 4752 = -33*f. Does 9 divide f?
True
Let r(b) = -84*b**3 + 2*b**2 - b - 2. Suppose 19*l = -2 - 17. Is 14 a factor of r(l)?
False
Let q(k) = -50*k + 40. Does 10 divide q(-4)?
True
Let u be -40*(3 + -2)/1. Let i be (-10)/2*u/8. Suppose 5*v = i, v = -4*q + 21 + 152. Is 14 a factor of q?
True
Suppose 3*x + 19 = 2*z - 0*z, -z = x - 22. Suppose -z = -2*f - q - 2*q, -3*f = 3*q - 27. Suppose f = -2*s, -31 = -6*u + 2*u - 5*s. Is 7 a factor of u?
True
Suppose 5*g + 5 = 0, -685 = -4*u + g + 28. Let t = u + -106. Is 21 a factor of t?
False
Suppose 638 + 418 = 8*t. Does 15 divide (-35)/(-10)*t/3 + -4?
True
Suppose 5*d + 5*x - 1354 - 1881 = 0, 4*d + 2*x - 2580 = 0. Does 65 divide d?
False
Does 5 divide 5705/56 + (-4)/(-32)?
False
Let a = 1 + 2. Suppose -h + 11 = p + h, -a*p = 4*h - 27. Is 5 a factor of p?
True
Let w = 16 + -10. Let g(m) = -m**2 + 7*m - 6. Let p be g(w). Suppose q - 3*q + 40 = p. Is q a multiple of 9?
False
Suppose 3*o + 8 = 3*z + 23, -4*o - z + 20 = 0. Suppose -5*g = -10*g - 4*n + 134, 0 = -5*g - o*n + 130. Is g a multiple of 16?
False
Let f(y) = y**3 + y**2 - 2*y + 156. Let o be f(0). Suppose -c = 2*c - 4*l - 444, c - 4*l - o = 0. Is c a multiple of 18?
True
Let p(b) = b**2 + 3*b - 175. Does 15 divide p(22)?
True
Let a(s) = 2*s - 6. Let l be a(3). Suppose l = z - 2*c - 38, 28 = z - 0*c - 4*c. Is z + (-3)/((-12)/(-8)) a multiple of 23?
True
Suppose 4*n - 15 = 65. Let o(b) = b**3 - 7*b**2 + 7*b + 12. Let g be o(4). Let y = g + n. Is y a multiple of 11?
False
Let p(l) = 77*l - 22. Let y(v) be the first derivative of 11*v**2/2 - 3*v - 6. Let x(c) = 3*p(c) - 22*y(c). Is 5 a factor of x(-2)?
False
Is 13 a factor of ((-282)/(-1))/((-41)/(-451))?
False
Suppose -8*s = 9 - 1065. Is s a multiple of 11?
True
Let a be 93 + (-15 - 0)/(-5). Let s = a - 1. Is 25 a factor of s?
False
Let a be (-14 + -1 + 0)*-1. Let s = -77 - -67. Let d = s + a. Is d a multiple of 5?
True
Let q be (-135)/(((-15)/10)/1). Is q - 3 - (3 + 0) a multiple of 21?
True
Let l(z) be the first derivative of 1/4*z**4 + 4 - 5*z**2 + 8*z - 3*z**3. Is 2 a factor of l(10)?
True
Let z = 20 + -14. Suppose -2*c + z*c = 0. Suppose c*f - 9 = -f. Is f a multiple of 9?
True
Suppose 4*f - 10 = 2*f. Suppose -c - 2*p - 9 = 2*p, p + f = -3*c. Does 33 divide 99/1*(2 + c)?
True
Suppose -2*b + 4*b - 1382 = -2*t, -4*t + b = -2789. Does 44 divide t?
False
Let f(o) = 89*o - 34. Let z be f(8). Suppose 2*x - 186 = z. Is 54 a factor of x?
True
Let g(u) = 17*u**2 + 48*u - 63. Let x(i) = -6*i**2 - 16*i + 21. Let z(c) = 4*g(c) + 11*x(c). Does 37 divide z(-14)?
False
Let s be ((-27)/18)/((-6)/16). Suppose 0 = -5*a - 4*x - 8, 4*a + 0*x + s*x + 8 = 0. Suppose -n = 2*o - 3, -4*n + 2*o + 3*o + 64 = a. Is n a multiple of 11?
True
Let k(a) = -a + 13. Let v be k(6). Let m be ((-6)/(-4))/(v/(-462)). Let b = m + 168. Is 20 a factor of b?
False
Let k(u) = -u**2 - 6*u + 7. Let s(m) = -7*m**2 - 4 + m**2 + 5*m + 7*m**2 - 4*m. Let d be s(0). Is 5 a factor of k(d)?
True
Suppose -2*w - 4 = -l - 1, -2*w = 4*l + 8. Let t(p) = 9*p - 3*p - 14*p. Is t(w) a multiple of 10?
False
Let q = -58 - -300. Let m = -81 + q. Let u = m - 109. Does 13 divide u?
True
Let a(v) = -7*v + 38. Let w be a(6). Let s(y) = 10*y**2 + y + 8. Is s(w) a multiple of 41?
True
Let p = 98 + -98. Suppose p*u - 904 = -8*u. Does 9 divide u?
False
Is 2/(-11) + (-23240)/(-44) a multiple of 18?
False
Let i be ((-3)/3)/((-1)/7). Suppose 0 = i*p + 12*p - 3800. Is p a multiple of 35?
False
Let d be (0/(1*-1))/1. Let l(j) = -69*j + 143. Let t be l(2). Suppose -g = t*o - 15, -o - 6*g + 2*g + 3 = d. Does 2 divide o?
False
Suppose -65 = -4*c + 43. Let g = 50 - c. Does 8 divide g?
False
Let z = 14505 - 9801. Is z a multiple of 