lse
Let z = -5943 + 184234/31. Is -1 < z?
True
Let d = 6722 + -6722. Let s be (-3)/(-14)*(-49)/(-2338). Which is smaller: s or d?
d
Suppose 150 = 4*j + 6*r, r + 11 = -2*j + 92. Which is greater: j or 44?
44
Let y(o) = 32*o - 2. Let p(l) = 47*l - 3. Let s(q) = -5*p(q) + 8*y(q). Let f be s(0). Is 108 less than f?
False
Let v = 27563 + -27562. Do v and 104/99 have different values?
True
Suppose 22*b - 23*b = -24. Suppose 0 = -2*x + 2*u + b, 2*x + 2*u - 8 = -0*u. Suppose -y + x = -2*g, -4*y - 3*g - 12 = -9*y. Is 6/25 <= y?
False
Suppose 3*o + 2*y + 39 = 0, -3*y + 5 = -2*o - 34. Let v(h) = 42*h - 8 - 84*h - 8 + 41*h. Let a be v(o). Which is smaller: 1/46 or a?
a
Let z be (-6)/(-7)*(-25)/((-150)/22848). Is 3264 greater than or equal to z?
True
Let n = -26493 + 1139473/43. Is -2/3 <= n?
True
Suppose 35 = 2*d + 21. Suppose d*w = w + w. Which is bigger: 2/95 or w?
2/95
Suppose 11*a + 40 = 31*a. Let n be 4346/22509 - a/18. Which is smaller: n or -1?
-1
Let y(d) = -5*d**2 - 9*d - 1. Let c be y(-4). Let t = c - -137/3. Let l be ((-2)/(-12))/(4/84). Which is smaller: t or l?
t
Let l be (2728/66)/(-31) + 8/6. Which is bigger: l or 5/181?
5/181
Let d = 48106 + -192425/4. Let a = -47.7 - -74. Let t = -1.3 + a. Which is bigger: d or t?
t
Suppose -3*y + 2*y - 20 = 0. Let t = y - -16. Let f be -2 - (2 + (-5)/(-2)*t). Is 7 less than or equal to f?
False
Let n = -1919 + 4569. Let j be n/(-882) + 14 + -11. Is 0 at least j?
True
Let y = 51/20 + -3017/1180. Suppose -31*b + 27*b = 4. Do y and b have different values?
True
Suppose -11*q + 3*q = -10*q - 43*q. Which is smaller: q or 19/624?
q
Let a = -4348 - -4349. Which is smaller: 11/9 or a?
a
Suppose 54*u = 47*u - 630. Let l = u + 88. Let m be (2 + 36/(-8))/(1/l). Which is greater: 7 or m?
7
Suppose -3*t = -2*y + 405, -50*t - 406 = -2*y - 46*t. Which is greater: 192 or y?
y
Let z be 3/(-9) - (-22)/(-33). Let n be 3*-1 - (-27 - -10). Let k be 7/n + (-1)/7. Is k greater than or equal to z?
True
Let l = 748 - 765. Let f be 321/36*26 - l/102. Is f bigger than 232?
False
Let p(u) = 3*u**2 + 65*u + 42. Let g(n) = 45*n + 114. Let w be g(-3). Let y be p(w). Do 116 and y have different values?
True
Suppose 21*s + 38*s = 21*s + 28728. Which is bigger: -0.04 or s?
s
Let o = 12 + -13. Let h be (o - (1 - 40))/2. Let j be 9/(108/8)*h/(-2). Is j less than -7?
False
Let a = -104204 + 104199. Let b be 1*(-1 + -2 - -2). Is a not equal to b?
True
Suppose 0 = -3*k + 8*l - 1212, k + 259 + 165 = -4*l. Is -5/2 equal to k?
False
Suppose 3*o + 15 = 5*y, 9*y + 4*o = 8*y + 3. Suppose -y*v + 711 = -c, 45*c - 47*c = -6. Does 239 = v?
False
Suppose 169*s + 3965 = 104*s. Is -67 > s?
False
Let w = 163 + -163. Suppose w = -15*g + 22*g - 1197. Which is smaller: g or 169?
169
Suppose 389*f = 410*f + 25011. Is f less than or equal to -1197?
False
Let j = 0.2421 - -1010.7579. Let z = j + -1010. Is -283 bigger than z?
False
Let q be (-309)/4 + (7 - (-81)/(-12)). Let t be (-1 + (-71)/q)/(204/21). Which is smaller: 0 or t?
t
Suppose 0 = 7*r - 3*r - 20. Suppose -3*n - r - 4 = 0, n = x + 5. Suppose l + 11 = 2*p, -3*p + 23 = -2*l + 2*p. Which is bigger: l or x?
x
Let z = -1.804 - 0.296. Let d = -2 - z. Is -20/3 less than d?
True
Let a be (-15)/12 + 1 + 10469/37012. Is a at least 1?
False
Let x(k) = 11*k**3 + 2*k**2 + 2*k + 1. Let y be (-3)/(-9) + 220/(-3) + 0. Let h = -74 - y. Let s be x(h). Which is bigger: s or -12?
s
Let v be 2972/14 - -3*12/(-126). Let p = v + -201. Which is smaller: 7 or p?
7
Let m = -1257 - -1270. Suppose 3*l + m*r - 11*r + 180 = 0, -5*l - 300 = -4*r. Let t = 54 + -113. Which is greater: l or t?
t
Let j(g) = 62*g + 609. Let n be j(-8). Is n bigger than 109?
True
Suppose -16*z - 1924 = -1988. Is z greater than or equal to 10.39?
False
Let s be 5/4*16/4. Suppose -y = -s*y + 5*i - 12, 5*i - 22 = -y. Suppose y*z + 4*z = z. Which is smaller: z or 4/3?
z
Suppose 0 = h - 744 - 56. Let n = 801 - h. Which is smaller: -3/701 or n?
-3/701
Let k(f) = f**3 + 9*f**2 + 9*f + 14. Let j be k(-7). Suppose -180 = 5*d + 2*x, -d + 9*x = 4*x + 9. Let c = j + d. Is c at least as big as 14?
True
Let t be (0 + 1)*(1 - 1). Let c = 6759/7 + -966. Which is smaller: t or c?
c
Let w be -2196 - (-10 - (-612)/42 - (-12)/28). Which is greater: w or -2199?
-2199
Let u(r) = -5*r**2 + 86*r + 70. Let t be u(18). Which is greater: t or 155?
155
Let o = -14 - -15. Let n = -9687512 + 81520413596/8415. Let j = n + -1/374. Which is smaller: j or o?
j
Let v = 24464.7 - 24465. Which is smaller: v or 1/1172?
v
Let f be 11 + 14 + -4 + -5. Let b be (-1)/(-12 - 0) - (-16 + f). Does b = 1/5?
False
Suppose 0*s - 4*y - 698 = -s, -3*y + 2169 = 3*s. Suppose 4*q + 7*g = 5*g + s, 2*q = -3*g + 353. Do 181 and q have the same value?
True
Suppose 4*g = 1 - 41. Let v be 0 - 1 - 8/g. Suppose 3*j + 2 = -7. Is v >= j?
True
Let l be (-580)/260 + 1 - (-1 + (1 - 1)). Do l and -1/47 have different values?
True
Let s(g) = 7*g + 53. Let v be s(-7). Suppose v = 5*p - 1, -2*p = 3*o + 109. Does -31 = o?
False
Let q(l) = 4*l**2 + 84*l - 106 - 3*l**2 - 81*l. Let f be q(-12). Suppose b - 7 = -z, 0*z + 3*z - 16 = 2*b. Which is greater: f or z?
z
Let t(n) = -4*n**3 - 5*n**2 + 9*n + 12. Let v be t(-3). Suppose -21*g = -9*g + v. Let i = -11 - -8. Which is smaller: g or i?
g
Suppose 1155 = -1096*g - 20765. Suppose 3 = -4*s - 53. Do s and g have different values?
True
Let z = 2495 - 2463. Let c = 37552/1197 + -88/171. Which is bigger: c or z?
z
Let q = 972 + -11663/12. Let c = 24721/4620 + -274/55. Let y = c - q. Is 0 < y?
True
Let w = -470 + 459. Let h be w/(88/(-48)) + -78. Is -72 not equal to h?
False
Let z = -15568 + 15571. Is z bigger than -38.1?
True
Let k = -101098 - -101326. Let p = 275 - 48. Which is smaller: k or p?
p
Let y = -233 - -35. Let k = y - -544. Which is smaller: 347 or k?
k
Let a = -56029/618 + 272/3. Let w = a - -11941/1442. Suppose -88 = -3*v - 8*v. Which is bigger: v or w?
w
Suppose 2*j - 3*g + 73 + 12 = 0, 2*j = -g - 65. Which is bigger: j or -43?
j
Let i = 0.039 - 2.639. Let w = i - -0.6. Let q = -37.09 + 37. Are w and q unequal?
True
Let p = -3712 - -3716. Is -26 at most as big as p?
True
Suppose -2*k - 2*o = 3*o - 15, o - 3 = -4*k. Let u be k + (2 - (-78)/57) + -4. Is u smaller than -1?
False
Let t = -2727 + 2711. Is t equal to -241/14?
False
Let x = -90 - -1891/21. Let w(o) = o**3 - 2*o**2 + 1. Let n be w(2). Is n less than x?
False
Let c = -11393 - -5674. Let j be c/36 + 9/81. Let n = -158 - j. Which is greater: n or 0.1?
n
Let n = -1000 + 2014. Suppose -41*s + 28*s = n. Which is greater: -79 or s?
s
Let l = 2939 + -2859. Which is smaller: l or 74?
74
Let i = -140 - -149. Let z be 21*(-21)/i + 5. Are -44 and z nonequal?
False
Let k = -6/17 - -13/85. Let b = -2/33131 - 7686386/99393. Let q = -78 - b. Is q bigger than k?
False
Let a = 1 - -35. Let i be (0 - -1) + -6 + a. Let y = i - 32. Which is bigger: y or 1?
1
Let v(t) = -t**2 - 6*t - 12. Let m be v(-6). Let q = -18.56 - 0.44. Let n = q + 19.2. Which is greater: m or n?
n
Let m(d) = 5*d + 64. Let l be m(0). Suppose -l = 4*a - 6*a + 2*t, a = 4*t + 29. Suppose 0 = 5*b - 4*h, 4*h + h = -2*b + a. Which is smaller: b or 6?
b
Let q(t) = t + 4. Let b be q(-2). Suppose b*g = -7 - 7. Let w = -47 - g. Which is greater: -39 or w?
-39
Let k = -140 + 122.7. Let z = k - -17.6. Which is bigger: -26/3 or z?
z
Let f = -3794 + 2618. Let z = f - -1168.87. Let o = z + 0.13. Which is smaller: o or 0?
o
Let d be (-4)/((-36)/15) + (-84)/(-28) + -6. Which is greater: -286 or d?
d
Let v = -0.2 + 0. Suppose -17*b + 18*b - 53 = 0. Suppose 3*q + b = 38. Which is smaller: q or v?
q
Suppose 0 = -4*v + 42 + 6. Suppose v*a = 1052 - 92. Let l be (a/84)/((-2)/6). Is l equal to -2?
False
Let b = -43136077/1121 - -38480. Let q = b + -72883/6726. Is -10 <= q?
False
Suppose 22*u - 28*u = -i + 11, 0 = 5*i + 3*u + 11. Which is bigger: i or -2/1495?
-2/1495
Let m = -15 + 11. Let f = -3567.7 - -3567.45. Is f <= m?
False
Let r be 84/(-56)*2540/(-15). Which is bigger: 243 or r?
r
Suppose 0 = -17*v + 62 + 550. Is -7 at least as big as v?
False
Let u be (-13 - 4) + (7 - 1). Let y(o) = o**2 + 9*o - 17. Let j be y(u). Suppose 17 - 3 = -2*m. Which is smaller: m or j?
m
Let m = 166.72 - 165. Let u = 1.27 - m. Let y be (-20)/14 + 12/28. Are y and u equal?
False
Let r be -8 - ((-22