lse
Suppose -13*w - 114 = -19*w. Which is smaller: 17 or w?
17
Suppose -5*y = -3*h + 37, -2*y - 10 + 4 = h. Let r(b) = -b + 11. Let f(n) = 2*n - 23. Let t(l) = -3*f(l) - 7*r(l). Let p be t(4). Which is smaller: y or p?
y
Suppose 0 = 5*m - 3*m - 14. Which is smaller: 8 or m?
m
Suppose -4*u - 5*g + 57 = 0, -3*g + 4 - 49 = -2*u. Is 18 less than u?
False
Let u = -56 - -56. Is u less than or equal to 1.4?
True
Suppose 16 = v + 17. Which is bigger: v or -2/161?
-2/161
Suppose 5*k + 5*g - 35 = 0, k - 1 = g - 0*g. Let v be k/(-6) + 1/(-3). Suppose 5*n - 4*d + 17 = 0, -6*d + 3*d = 2*n + 16. Are v and n non-equal?
True
Let q be (-10)/(-14) - 2/(-7). Suppose -g + 5*h + 17 = 0, -9 = g + 4*h + 1. Which is greater: q or g?
g
Let j be 1/7*(14 + 4). Let a(w) = -2*w + 23. Let p be a(10). Is j greater than p?
False
Let b be (-9)/(666/(-152)) - 2. Are b and -1 equal?
False
Suppose 2*n + 0*n - 10 = 2*s, 0 = n + 3. Let b be 36/16 - (-2)/s. Let l = 5 + -3. Is l at least as big as b?
True
Let t = -28 - -26. Is -3 > t?
False
Let w = 8 - 13. Is w smaller than -6?
False
Let o = -44 + 23. Let a be ((-24)/o)/((-4)/8). Which is smaller: a or -2?
a
Let a(v) = -v**3 + 3*v**2 + 4*v + 2. Let s be a(4). Let g = 6 - 4. Let m = g - s. Which is smaller: -1/3 or m?
-1/3
Suppose 0 = 2*d + 3*t + 3, 10*d - 5*d + t + 1 = 0. Which is smaller: -9/10 or d?
-9/10
Let z = 9 - 10. Let k be 28/7 + (-1 - z). Is k at most as big as 4?
True
Let x(q) = -q + 2. Let c be x(0). Which is greater: c or -5?
c
Let s(m) = m**2 - 9*m + 8. Let i be s(8). Suppose -12 = -i*n - 2*n. Is n at most as big as 0.1?
False
Let y be (-1)/(-6)*8/7. Let o = 10/21 - y. Is o bigger than 0.1?
True
Let f be (3 - 1) + 15/(-6). Suppose 0*h = 5*h. Let o be h/(2 + -1 - 0). Which is greater: o or f?
o
Let a = 13 + -3. Suppose -3*q - 3*y - 23 = 7, 2*y - a = 4*q. Let h(k) = -k**3 - 4*k**2 + 4*k - 3. Let s be h(q). Is s not equal to 3?
True
Let z = 0.2 - 0.2. Let i be (-1)/4 + -9 + 10. Is i > z?
True
Let x be 2/3 - (-224)/24. Let i = -8 + x. Let r(t) = -t**2 + 4*t - 3. Let a be r(2). Which is smaller: i or a?
a
Let x = 4 + 2. Let c(i) = i - 3. Let g be c(x). Suppose 4*l = g*l + 2. Are l and 3 unequal?
True
Let n = 0.8 + -0.82. Let q = 0.32 - 0.2. Let j = q + n. Which is bigger: -7 or j?
j
Let x be (10/4 - -1)*-4. Let j be 7/21 - x/(-6). Is -2 bigger than j?
False
Let t = -5 - -15. Suppose 2 + t = -3*s. Let l be 1/s - (-33)/(-12). Is -3 bigger than l?
False
Let n(t) = t**2 - 5*t + 2. Let j be n(5). Let r = -58 + 56. Is r at most j?
True
Suppose 0 = -r + 4*r - 24. Suppose j = -j - r. Is j bigger than -1/3?
False
Let j(m) = m**2 + 4*m - 8. Let c be j(-7). Suppose -c = -0*s - 5*s + 2*r, 4 = s + r. Let d(u) = u - 1. Let i be d(3). Is i < s?
True
Let d = 14 + -14. Are d and 2/23 equal?
False
Let g = 1131/4 + -283. Let x = -1.95 + -0.05. Is x greater than or equal to g?
False
Let g = 4 - 1. Suppose 3*c = -4*y + 20, 0 = g*c - 6 - 6. Suppose -6*d = -y*d. Is d less than or equal to -1?
False
Let q(a) = a - 1. Let n be q(3). Suppose -3*m + 14 = k, 5*k + 0*m - 2*m = n. Let y(o) = -o - 4. Let r be y(-5). Are k and r unequal?
True
Suppose z + 9 = 5*b, -3*z + z = -b. Let d be (11 - 5) + (2 - 5). Suppose g + 17 = 2*w + d*w, 4*g = w - 11. Which is smaller: w or b?
b
Let x be 3*-1*(-1)/(-3). Let i be x/(-4) - (-36)/(-16). Let o be -1 + (-6 - 3/(-1)). Which is bigger: o or i?
i
Suppose -8 - 1 = -3*l. Suppose 10 = 2*y + l*a, 0 = 3*a + a - 16. Which is bigger: y or -3/4?
-3/4
Let q be ((-12)/(-18))/((-1)/(-3)). Suppose -4*d - 2*t + 1 = -19, 2*d - 26 = -5*t. Is d smaller than q?
False
Let z be 0/(6/(1 - -1)). Let r be (-2)/5 - (-22)/5. Suppose -o + r*o = 0. Is z at most o?
True
Let c(k) = 5*k - 14. Let x be c(3). Is x greater than or equal to 3?
False
Let w = -14 + 28. Suppose 5*g - 3*p = w, -3*p - 8 = 3*g - 2. Let r = 173/4 - 43. Which is greater: r or g?
g
Let l = -0.1 + 1.1. Let x be -3 + 1 + 21/9. Which is smaller: x or l?
x
Let c = 18 + -13. Suppose -6*o + 3*o = -2*m + 1, 3*o - 11 = c*m. Does -5 = o?
False
Let f = -1.4 + -0.6. Let j = f + 1. Let o be (-14)/(-10) + 5/(-5). Which is smaller: j or o?
j
Let z be 1 + -14 + 12/(-3). Which is bigger: -18 or z?
z
Suppose 2 = z - 2. Is 4 >= z?
True
Let o = -13 + 14. Let g be (-1)/2*(-3)/12. Which is greater: o or g?
o
Let r(u) = u - 4. Let s be r(2). Which is greater: -2/3 or s?
-2/3
Suppose 0*d + 12 = 3*g - 3*d, 4*g = 3*d + 18. Let f be ((-1)/(-3))/(4/g). Let b(r) = -r - 2. Let l be b(-4). Is l > f?
True
Let a(h) = 2*h**2 + 29*h - 1. Let r be a(-5). Is -95 != r?
True
Let a be 4/(-3)*(-45)/20. Let x(z) = 1. Let f(q) = -q - 1. Let n(g) = f(g) + 6*x(g). Let c be n(4). Which is smaller: c or a?
c
Let b = 50 - 48. Let j = 2 - 0. Is b bigger than j?
False
Let a(m) = -m - 6. Let q be a(-1). Let f(y) = -y - 6. Let l be f(-7). Is q smaller than l?
True
Let m = 3339/13 + -1786987/6968. Let d = 1/67 - m. Is 1 at least d?
True
Let y = 233/300 + -2/75. Is y at least as big as 0.2?
True
Let r be (-343)/(-119) + (-2)/(-17). Suppose -44 = -5*u - 3*g + 15, 0 = u - r*g - 19. Which is greater: 12 or u?
u
Let h = -0.02 - -1.32. Let a = -1.29 + h. Is -1 at least as big as a?
False
Let f(h) = -h**3 - 7*h**2 - h - 9. Let z be f(-7). Let w be 10/(-6) + (-1)/3. Let b be (w + (4 - 1))/(-1). Is b > z?
True
Let u(r) = -r**2 + 7*r - 2. Let d be u(6). Let s = 11 - 5. Let i be -4 + (s - 3) - -3. Is i at most as big as d?
True
Let v = -0.2 - -0.6. Let g = -0.7 + v. Let n = g + 0.5. Which is smaller: 0.1 or n?
0.1
Let x(o) = -o**2 + 5*o + 6. Let t be (-30)/(-9) + (-2)/6. Suppose t*q - 9 = -3*h, 2 = -5*h - 13. Let r be x(q). Which is smaller: r or -0.1?
-0.1
Let p be (-10)/(-15)*-2*(-2)/(-4). Let b = -2.1 - -2. Which is smaller: p or b?
p
Let p(o) = -o + 8. Let u be p(6). Let s(i) = -i**3 - 3*i**2 + 2*i + 5. Let m be s(-4). Suppose 2*d - 4*q - 7 - m = 0, q + 4 = 0. Are d and u nonequal?
False
Let n(p) = 3*p + 25. Let w(t) = -2*t - 6 + 1 + 1 - 9. Let u(s) = 3*n(s) + 5*w(s). Let l be u(7). Which is greater: 4 or l?
4
Let p = 31 - 30.69. Which is greater: p or 0.1?
p
Let u(p) = -p - 4. Let l be u(-6). Suppose 7*t - 5 = l*t. Let c = 3 - t. Is c <= 3?
True
Let l be (-1 - 0)/(1/3). Let z(w) = -w - 7. Let j be 8/(-6)*(5 - 2). Let d be z(j). Are l and d equal?
True
Let y(c) = c**3 + c**2 + c + 2. Let n be y(0). Let a be (1/2)/(1/n). Which is smaller: a or -1?
-1
Let n = 0.2 - -1. Let v = 11.2 - n. Let y = 11 - v. Is -0.1 < y?
True
Let h = 6606/13 - 509. Which is smaller: 0 or h?
h
Let j = -0.09 - -0.19. Which is bigger: j or -2/33?
j
Let q(w) be the second derivative of -w**3/6 - 2*w**2 - 3*w. Let p be q(-5). Let s = -645/4 - -162. Which is bigger: p or s?
p
Let i = 1980/13 + -182121/1196. Let r = i + 169/460. Let o = -171 - -1195/7. Is r >= o?
True
Let f = 0.9 + 0.1. Let t(a) = 4*a - 9. Let o(j) = 3*j - 8. Let u(c) = 3*o(c) - 2*t(c). Let n be u(5). Which is smaller: f or n?
n
Let o(w) = 2*w - 4. Let r(c) = 10*c - 20. Let b(q) = -14*o(q) + 3*r(q). Let v be b(-5). Is v not equal to -14?
False
Suppose 2 = 2*o - 2*d, 2*o - 2 = -2*o + 2*d. Is o != -1/3?
True
Let q be (-50)/45*12/16. Which is smaller: q or 4?
q
Let k = 5 - 4. Are k and 1 equal?
True
Suppose 3*p = -p + 4. Is p at least 10/11?
True
Let m be 152/(-6) + (-42)/63. Which is smaller: m or -27?
-27
Let v(o) = 2*o - 18. Let i be v(9). Suppose -4*l = -x - 28, 0 = 5*x - 4*l - 44 + 184. Let t = 83/3 + x. Which is smaller: t or i?
t
Let r(n) = n**2 + 4*n + 3. Let z be 0 + 4/((-4)/(-3)). Suppose z*f - 3 = 4*f. Let x be r(f). Is x at least 0?
True
Suppose -6*v = -2*v. Suppose v = m + m. Suppose 0 = -4*a - 1 - 7. Is a greater than m?
False
Suppose j + 3*o - 6 = 0, o - 3 = -2*j + 9. Is 8 less than or equal to j?
False
Suppose -4*j = -2*n - 92, -2*j + 5*j - n - 69 = 0. Which is bigger: 22 or j?
j
Let y = -69 + 212/3. Do y and 3 have the same value?
False
Let x = -3 - -3. Let d = 2.3 - -0.62. Let c = -0.08 - d. Which is smaller: c or x?
c
Let m = 1091 - 38189/35. Which is bigger: -1 or m?
m
Let b = 15 - 21. Do b and -6 have the same value?
True
Let z be 0*1*(-3 - -2). Which is bigger: -7/25 or z?
z
Let j(p) = 10*p - 1. Let m be j(4). Let h be m/5*15/(-6). Let a = h + 201/10. Which is smaller: a or 0?
0
Let d = 1/175 + -3/35. Do d and -1 have different values?
True
Let x = -7276/25 + 291. Let d be 