lse
Let q(k) = 3*k - 4. Let s be q(4). Suppose -3*g = -s*g. Let o be 5/(175/91) - 2. Which is greater: g or o?
o
Let n = -1887 - -94347/50. Does n = -3/4?
False
Suppose -j + 453 = 460. Is j greater than -8?
True
Let p = -4 + 8. Let o be (-13)/p + 1/4. Let a be (231/(-78) - o)*2. Which is smaller: a or -1?
-1
Let z = 447 - 420. Which is smaller: 0.08 or z?
0.08
Let c = 4915/222678 - -1/2502. Let m = -1169837 - -937039063/801. Let s = c + m. Which is smaller: s or 1?
s
Let s = -2.5 + -0.5. Suppose -3 = 5*a + 3*l - 23, 3*a - 4*l + 17 = 0. Which is smaller: a or s?
s
Let m be (-5)/(-6)*(-2)/(-20)*-4. Which is smaller: 1 or m?
m
Suppose h - 652 = 2*y + 189, 816 = h + 3*y. Which is bigger: 830 or h?
h
Let z = -8 + 5. Let f(b) = -3*b - 2. Let u be f(z). Suppose 0*x - 4*x + u = -5*y, -4*x - 11 = y. Which is smaller: 0 or x?
x
Let o be (4/(-10))/(-11 - (-11444)/1040). Is o >= -104?
True
Let h be ((-4)/(-20))/((-2)/(-20)). Let l be 1/4 - (-1)/(-4). Let n be l/((-3)/(-6)*h). Is n != -1?
True
Let n = -12 - -12.091. Let b = n + 0.009. Is -5.3 < b?
True
Let j(m) = -m + 2. Let y be j(2). Let f = 15103 + -543377/36. Let q = 37/4 - f. Is q at most as big as y?
False
Let r be (-4 - -6) + 5/(-5) + 398. Which is bigger: 400 or r?
400
Let i(y) = -y**2 - 7*y - 1. Let b be i(-6). Let h = 4 + -9. Let v = h + 9. Is v smaller than b?
True
Let g = 3 + -3. Suppose 8 = -4*u - g*u. Let k be 3/6*u*-3. Which is smaller: 5 or k?
k
Let g be (0 - 2)*13/286. Is 1 smaller than g?
False
Let u(c) = c**3 + 7*c**2 + 5*c + 6. Let k(v) = v**3 - 14*v**2 + 13*v - 6. Let g be k(13). Let r be u(g). Which is smaller: 1 or r?
1
Let m(q) = -q**3 - 1 + 0 - 30*q**2 + 36*q**2 - 3*q. Let c be m(5). Suppose 5 = 4*o - c*o. Which is smaller: o or 1/5?
o
Let j(i) be the third derivative of i**6/120 - i**5/10 + i**4/6 + i**3/2 + 52*i**2. Let y be j(5). Which is greater: y or -6/7?
-6/7
Let m = -46861/12 + 3902. Let p = -10/3 - m. Are 5 and p equal?
False
Let h = 544211/35938 + -1/5134. Is 14 at least h?
False
Let w = -4050/31 - -130. Let v = w + 704/899. Which is bigger: v or 1?
1
Let r(w) = w**3 - 3*w**2 - 5*w + 3. Let i be r(4). Let y be 2/i + 2 + 11. Let m = 94 + -84. Do m and y have different values?
True
Suppose 2*h + p = 217, -3*h = -10*p + 7*p - 321. Is h less than or equal to 106?
False
Let w = 650 - 1197. Let f = -38835/71 - w. Let l(u) = -u**3 + 32*u**2 + 71*u - 103. Let v be l(34). Is v < f?
True
Let f = -83 + 92. Suppose -9*n - f = -9. Is -3/7 greater than n?
False
Suppose -5*c - 289 + 91 = -y, -3*y - 108 = 3*c. Let g = -39 - c. Which is smaller: g or 3/20?
g
Suppose -5*o - 4 = -o. Let z = o - -3. Suppose 7*u - 2*u - 3*x = 0, 0 = 2*u - z*x. Which is smaller: u or 0.1?
u
Let r = -1197 - -1215. Let s(z) = z**2 - z + 17. Let c be s(0). Which is bigger: r or c?
r
Let c be (110/(-110))/(2/64*2). Which is bigger: -11 or c?
-11
Let t = -1124 - -1006. Are -2 and t non-equal?
True
Suppose -82*n - 258 = 4*n. Which is bigger: n or -47/19?
-47/19
Let j = -393 + 234. Is j at least -158?
False
Suppose -t + 84 = 2*t. Let o = t - 29. Is 1 < o?
False
Suppose 3*x - 7528 = -5*q + 3*q, 3*q = 2*x - 4997. Let s be (-3 - 26)/(x/38). Let v = s - -2/179. Is v bigger than -1?
True
Suppose h + 2*h = 15. Suppose -5*c - 70 = 5*o, -4*o - h*c = -0*c + 61. Is o greater than or equal to -9?
True
Let l = -69 - -82. Suppose u + 24 - l = 0. Which is smaller: u or -13?
-13
Let q(v) be the second derivative of -v**5/20 - 5*v**4/3 + v**3/6 + 7*v**2/2 + 25*v. Let t be q(-20). Which is greater: t or -14?
t
Let b be (123/(-54) - (-12)/8)*3. Which is smaller: 3 or b?
b
Let l = -52 + 67. Let o be 804/l + 2/5. Does o = 54?
True
Let x = -21 + 30. Let p(r) be the third derivative of r**5/60 - 5*r**4/12 + 25*r**3/6 - 7*r**2. Let t be p(8). Is t bigger than x?
False
Let b = -11 - 0. Let n = -21 - b. Let r = -11 - n. Which is smaller: 6 or r?
r
Suppose -5*s = -0*s + 10. Let p be 30/(-10)*s*2/(-4). Does p = 3?
False
Suppose -40 = 12*k - 8*k. Let i be (-9)/(-21)*k/15. Is 10/17 > i?
True
Suppose -8*i - 1129 + 305 = 0. Let a = i + 108. Which is greater: a or -2?
a
Let g = -415 - -414.457. Let x = g + 0.043. Is -0.05 less than x?
False
Let n = -5.12 - -5. Let t = 4.88 + -5. Let l = n - t. Which is smaller: -0.1 or l?
-0.1
Let d(f) = -f**2 - f. Let l(s) = -s**3 + 11*s**2 - 5*s + 11. Let i(j) = 3*d(j) + l(j). Let x be i(7). Suppose -x*h - 12 = 0, -2*g - g = -5*h - 3. Is -1 != g?
True
Suppose -14 = -2*p - 4. Suppose 0 = g + g + 5*q + 5, 0 = -p*g - 5*q - 35. Let c be ((-2)/g)/((-96)/(-40)). Is -1 at most c?
True
Let k = -4 - -2. Suppose t - 4*p - 14 = 0, -2*t + 2*p - p + 7 = 0. Let y be (t/15)/((-7)/35). Which is smaller: k or y?
k
Let i(r) = -r**3 - 4*r**2 - 3*r + 2. Let j be i(-3). Suppose 3*q - 40 = -j*q. Let d = 2 - 8/5. Is d > q?
False
Suppose -15*i = -17*i - 244. Let w = i + 154. Is w at most as big as 33?
True
Let j = -0.76 - -0.38. Let q = -0.08 - j. Let z = 0.06 + 0.04. Is q equal to z?
False
Let p be (-4)/(-4 - (-15)/4). Suppose -2*o = -3*o - p. Do o and -16 have the same value?
True
Suppose 4*n - 2*a = 4, -2*a = -n + 3 - 5. Let p be n/6 - (-3)/(-9). Which is greater: -2/259 or p?
p
Let u be (28/(-70))/((-4)/(-5)). Are u and -0.205 equal?
False
Let r = 84 + -78. Let s = 30 + -8. Suppose -s = -2*y + 3*w, 5*w + 10 = -3*y + y. Is y < r?
True
Let x(u) = -6*u - 18. Let t be x(-6). Let c be (-4)/t + 1099/126. Which is bigger: 9 or c?
9
Suppose 167*q + 1 = 168*q. Is q less than -2/9?
False
Let l(u) = -4*u**2 + 19*u - 22. Let p be l(3). Is p <= 52/3?
True
Suppose o = -7*g + 8*g - 3, 0 = 4*g + 5*o + 6. Which is smaller: g or -6/67?
-6/67
Let d = 6.9 + -7. Let c = -140 + 146.9. Let g = c + -7. Is d equal to g?
True
Let d = -10 - -10. Suppose 5*c - 2*k - 25 = 0, 4*c + 4*k = -d*c + 20. Let m be (-57)/(-12) + (-2)/(-8). Is c less than or equal to m?
True
Let y be 4097/7182 - (11/7 - 1). Let g = 21557/11286 + y. Which is smaller: g or 3?
g
Suppose -145 = -6*g - 19. Let r be 2/(-5) - (-5)/(75/g). Are r and 8 equal?
False
Let q = 61 - 34. Let d(l) = -3*l + 10. Let n be d(-6). Let h = n - q. Is h < 1/3?
False
Let i be ((2 - 0) + 0)*(-8)/(-16). Which is smaller: 9/17 or i?
9/17
Suppose 4*s - 3*s = -90. Let i = s + 42. Does -47 = i?
False
Suppose 4*q + 25 = q + 4*f, 0 = -2*q - 5*f - 55. Is q bigger than -15?
False
Let b = -206 + 206. Is b at least as big as -4/9?
True
Let p = -74 + 74. Let w = -4 - -4. Is p < w?
False
Let t = -732 + 865. Is t greater than or equal to 133?
True
Let h = -43.01 + 1.01. Let k = h - -44.1. Which is smaller: 0 or k?
0
Let i = 3 - -8. Let t = -65 + 76. Is t >= i?
True
Let s = 342.1 + -342. Is -0.6 > s?
False
Let v be (-1)/(21/(-9) - -2). Let l be v*(-44)/12 + 3. Do -2/3 and l have the same value?
False
Let b = 71.1 - 69.1. Are b and -25 non-equal?
True
Let r = 275 - 279.3. Which is smaller: r or 1/11?
r
Let j = 195 + -185. Is 2 greater than or equal to j?
False
Let x = -3033/10 + 303. Which is smaller: 18 or x?
x
Let x(k) = 7*k - 5. Let r be x(1). Let i be (-71 - 21)*(r + -1). Is i smaller than -91?
True
Let b = -6 - -5.9. Let p = 38.7 + -38. Which is smaller: b or p?
b
Let y be (-6)/(-36) - (-154)/12. Let r be (-274)/(-8) - (-5)/(-20). Let f = r + -21. Is y greater than f?
False
Let w(p) = -2*p + 6. Let r be w(2). Suppose -2*h - 4*x + 16 = -6*x, 4*x - 10 = -r*h. Does h = 7?
True
Let x = 0.26 - -0.04. Let u = x - 0.4. Let r = 78 - 82. Are r and u non-equal?
True
Let x be (-716)/17 + 11/1496*16. Which is smaller: x or -48?
-48
Let g = -0.97 + 0.77. Is g <= 71?
True
Let s = -0.56 - 17.44. Which is smaller: s or 5?
s
Suppose 1 = -4*r + 3*r. Let v = -104/21 - -30/7. Which is greater: v or r?
v
Let q = -130 - -187. Let d = q - 57.4. Which is smaller: d or -0.7?
-0.7
Let y = 1742.7 + -1743. Is 2.79 <= y?
False
Let o(g) = 5*g + 73. Let w be o(-23). Which is greater: w or -2?
-2
Let u = 3.009 - 0.009. Let f be -13 - 7/((-14)/4). Which is bigger: f or u?
u
Let z = -115 - -115. Suppose -18*o - 11 + 11 = z. Is 2/31 bigger than o?
True
Let r = 23 - 25. Let z be (-238)/(-40) + r/(2 - 10). Which is smaller: 7 or z?
z
Let v = -38 + 32.4. Let r = 9.6 + v. Which is smaller: r or -1/12?
-1/12
Let j(g) = 3*g**2 + 39*g - 18. Let o be j(-17). Is o greater than or equal to 186?
True
Let k(h) = h**2 - 24*h + 33. Let l be k(19). Which is smaller: -