lse
Let d = 0.787 + -0.23. Let g = d + -0.191. Is 1 > g?
True
Let f = 65819/1698004 - 1/6556. Let w = f - 12/37. Suppose -4 = -5*n + q, 7*n - 4*n - q - 4 = 0. Is w equal to n?
False
Let n be 3262/(-98) - 4/(-14). Let z = n + 36. Suppose 6 = z*t - 3. Which is bigger: t or 25/6?
25/6
Suppose 2*h - 2*u + 3296 = 0, -4*h - 6571 = 38*u - 35*u. Is h less than or equal to -1642?
True
Let d be 6/174*(-2)/(-11)*-1. Let v = d + -7333/638. Do -13 and v have the same value?
False
Let o = -215472/17 - -12675. Is o greater than or equal to 11?
False
Let d be ((-3)/(-18))/(28/(-36)). Let z = -1/2 - d. Which is greater: -3 or z?
z
Let t(h) = 34*h**3 + h. Let p be t(1). Let j = p - 35. Suppose 5*n - 4*q - 81 = j, -6*q + 2*q + 36 = 4*n. Is 11 equal to n?
False
Suppose 14 = o + b, -3*o + o = -5*b - 7. Let s = -467 - -483. Suppose -4*r = 4*n - 5*n + o, -4*n = 4*r + s. Is r < -3?
False
Suppose 3*u + 7 = 2*n, 4*u - 2*n + 5*n = -32. Suppose -34*t + 281*t + 2367 = -16*t. Which is bigger: t or u?
u
Let f(g) = 189*g**2 + 98*g + 271. Let u be f(-5). Which is smaller: u or 4507?
u
Let q be 351/(-36) - 1/4. Let l be 12/30 - (-64)/q. Let a = -235/2 + 113. Which is smaller: a or l?
l
Let z = 17565 + -17564.3. Which is smaller: z or -438?
-438
Suppose -74*f - 4*d = -78*f + 92, -3*f - 5*d = -85. Which is bigger: f or 88?
88
Let u(d) = 25*d**2 + 6*d - 4. Suppose 23*a = -26 + 49. Let z be u(a). Is z >= 18?
True
Let i = 235 + -236.9. Suppose -r = 3*d - 2, -4*r + 12 = -5*d + 4. Which is greater: r or i?
r
Let q = 156 + -239. Let t = 356697/5 - 71423. Is q less than t?
False
Let k = -7.6 - -7.442. Let a = 0.103 + k. Is a at least 0.1?
False
Let z = 75934 + -4783846/63. Suppose 6*f - 3*f = 0. Suppose f = 4*o, -2*u - o - 2 = -3*o. Which is smaller: z or u?
u
Suppose -d = -3*n - 6, d + 0*d + 4*n + 1 = 0. Suppose -3*v - 14 + 1 = -4*s, -d*s = 2*v + 3. Is s < 1/253?
False
Suppose 25 = y - 4*j, j = 3*y + 18 - 27. Is 3/44 at least as big as y?
False
Let l = 40 - 37.5. Let q = l - 43.5. Let i = -44 - q. Is 3 equal to i?
False
Let d = -92 + 143. Let r = -50 + d. Let b be 1/(-2)*r + (1 - 4). Is b != -5?
True
Let m be (-50)/17 + 12/4. Let q(i) = i**2 - 15*i + 36. Let v be q(8). Let h be (v/8 + 3)*(-3 - -1). Which is smaller: h or m?
h
Let w = -64480 - -34855. Which is greater: -29626 or w?
w
Let j = 11149 - 66889/6. Let a be (2/8)/((-9)/(-72)). Which is bigger: j or a?
a
Let q = 582 + -617.9. Let h = -0.04 - 35.96. Let d = h - q. Which is smaller: d or 0.1?
d
Suppose -24 = 4*a + 4*k, -5*a = -17*k + 15*k + 2. Suppose -4*z - 5 = 7. Let i be (a + 4)*2 + z. Are -2/5 and i non-equal?
True
Let u(l) = l**3 + 24*l**2 + 21*l - 15. Let a be u(-23). Suppose -39 - a = -i. Which is smaller: i or 71?
i
Let l = 1.37 - 30.47. Let p = l - -30.1. Which is smaller: p or 6?
p
Let q be -5*(-8)/(-180)*3. Let b = 10051 + -9729. Is q at most as big as b?
True
Let x = 17 + -14. Let w be (-1)/x - (-4)/12. Let r be (4 + (-135)/35)*-2. Is r greater than w?
False
Let m(o) = -111*o**3 + 3*o**2 + 4*o + 1. Let n(b) = b + 7. Let h be n(-8). Let u be m(h). Is 111 at most u?
True
Let z = -3873.5 + 9390.5. Which is smaller: -1/3 or z?
-1/3
Let c = -20197/100686 - -35/173. Let i be 0*(3 - 20/8)/(12 - (-208)/(-16)). Is i < c?
True
Let s be 16/(-56) - ((-2)/(-11) - 123/(-231)). Let m be 0 + (-114)/45 + 2. Which is smaller: m or s?
s
Let o = 120 + -114. Suppose -3*p - 4*l = 6, -o*l = 2*p - 2*l + 8. Let h(m) = -7*m - 7. Let y be h(p). Which is smaller: -22 or y?
-22
Let c = -37746 - -6303584/167. Let j = 1 + -2. Which is smaller: c or j?
j
Let c be 393/(-8189) - (-376)/7144. Is 1 < c?
False
Let h be 22/43395 + (-7)/(-21) + (-4)/12. Which is smaller: 1 or h?
h
Let a(z) = 4*z**2 - 275*z + 811. Let v be a(3). Is 18 greater than v?
False
Let c = 124 + -82. Let h be ((-24)/18)/((-4)/c). Suppose -9*t = -h*t. Which is smaller: 1 or t?
t
Suppose 20*l - 4651 = -30471. Is l < -1291?
False
Suppose 44 - 9 = 7*p. Suppose -62 - 151 = p*g + 4*m, 6 = -3*m. Is g equal to -43?
False
Suppose 4 = -n + 7. Let x be (-114)/(3/2 - n). Let o be (-5 - (-7 + -3))*x/(-30). Is -13 greater than o?
False
Let p(v) = -v**3 + 5*v**2 + v - 5. Let l be p(5). Let n = -2/63169 + 63227/1831901. Which is smaller: l or n?
l
Let r = 74 - 157.9. Is -0.1 less than or equal to r?
False
Let z be ((-751)/(-2))/((-97)/(-1746)). Is z > 6759?
False
Suppose -6*p = 124 - 88. Which is smaller: -62/9 or p?
-62/9
Let x = -1.06 - -0.26. Let i = 119.7 - 119. Let b = i + x. Which is greater: b or 7?
7
Let c be 1 - 3*4/3. Let r(g) = 72*g**2 + 7*g - 93*g**2 - 2*g**3 + 30*g - 3. Let z be r(-12). Does z = c?
False
Suppose -5*k + 3*g = 306, 146*k - 150*k = -2*g + 246. Which is smaller: k or -2/7?
k
Suppose 3*n + 21 = 5*y, -3*y - 92*n - 14 = -90*n. Which is greater: y or 1/7347?
1/7347
Let x(n) = 198*n - 162. Let l be x(-3). Let t = 751 + l. Is 77 equal to t?
False
Let i = 5209 + -5210. Is -1/11303 equal to i?
False
Let v = 187.9 - 210. Let r = v - -20.1. Let h = -0.34 + 0.3. Which is greater: r or h?
h
Let c = 20370 - 8180. Is c <= 12190?
True
Let u(z) = -17*z + 40. Let v = -95 - -99. Let i be u(v). Are i and -28 equal?
True
Suppose 6*w + 24 = -12. Let y be 1*(2 + -241) - (-24)/w. Is y at least as big as -242?
False
Let b = -3146.2 - -3160. Which is smaller: -5 or b?
-5
Suppose 10*a - 3*a + 77 = 0. Let y = a - -1. Suppose 4*t + 44 = 4*d, 3*t - 3*d + d + 33 = 0. Which is bigger: y or t?
y
Let u be ((-48)/(-20))/(1/(-60)*-3). Suppose -63*s = -u*s. Let j(l) = l**3 + l**2 + l - 28. Let w be j(0). Is s at most w?
False
Let l = 0.789 - 413.789. Let d = 412.686 + l. Which is smaller: -1 or d?
-1
Let p = 9.001 - 8.901. Is -2/103 smaller than p?
True
Let h = -108.34 - -72.3. Let u = 36 + h. Let z = -0.24 - u. Which is greater: z or -0.5?
z
Let b be (-168)/(-448)*(0 + (-2)/6). Are -16.1 and b unequal?
True
Let a be (11 - 2)*(-4 - -3). Let u be (0 + -3)/(a/186). Let v = u - 41. Which is bigger: 22 or v?
22
Let f(p) = -6*p - 23. Let y be f(-5). Let n = 20 + y. Suppose -n = -5*w + 8. Are 7 and w unequal?
False
Suppose -43*v - 20*v + 54306 = 0. Let l = v - 857. Let a(t) = -t + 1. Let w be a(1). Which is greater: w or l?
l
Suppose -2*f + 2 - 4 = 0. Let i be (3 - (-11 + 5)/3) + 870/(-170). Is i equal to f?
False
Let k(y) = -204*y**2 - y + 2. Let b be k(-2). Let f = 8946/11 + b. Which is bigger: f or 0?
f
Let t be ((-1)/(-174))/((-6566)/8096). Let v = 948/41 - 1347231/58261. Let u = t - v. Which is smaller: -1 or u?
-1
Suppose 5*v = 44 + 101. Suppose v*o - 15 = 34*o. Is o != -5/2?
True
Let g = -483 - -488. Which is bigger: g or -1023?
g
Let w(j) = 43*j + 68. Let l be w(15). Suppose 3*u = -4*b + l, -5*b = -4*b - 2*u - 181. Which is smaller: 180 or b?
b
Let m = 4254 - 26818. Are -22564 and m non-equal?
False
Suppose -5*z + 6 = -3*z - 4*a, -5*a = z + 18. Let m be 0 - (-1 + z/(-15)). Let v be (-12)/24*1*-2. Is m > v?
False
Suppose 0 = 6*j - 10 - 104. Let h = -42 + 74. Let w be (-936)/h*(-2)/3. Does w = j?
False
Suppose 30*y + 504 = 51*y. Suppose -4*p + y = 2*p. Which is bigger: p or 47/15?
p
Let n(p) = -p**3 + 2*p**2 - 3*p + 3. Let c be n(3). Let i be 124/(-368) + (4 - c/(-4)). Suppose 2*w = 5*d + 8, -d = 2*w - w - 4. Is i equal to d?
False
Let t = -315.96 - -346.9. Let k = -2.06 - t. Which is smaller: -3 or k?
k
Let m be (136/(-6))/(((-4)/(-9))/2). Let b = m - -87. Let y = b + 16. Is y at most as big as 5/17?
False
Let g(n) = 6*n**3 + 4*n - 1. Let w(d) = -d**3 - d. Let c(x) = -g(x) - 5*w(x). Let p be c(-1). Is 3/5 at least as big as p?
False
Let f = 167 - 151. Suppose -2*l - 3 = -4*k + 5, -f = -3*k + 4*l. Let x = -962/399 + 44/19. Which is smaller: k or x?
x
Let x(s) = -2*s - 31. Let v be x(-15). Let n = v + -1. Let j be (217 - 5)*3/321 + n. Which is smaller: j or 1?
j
Let k be (32/63 + 4/(-14))/((-128)/(-384)). Which is bigger: k or 1541?
1541
Suppose 2*y + 173 = -5*c, 386 = -124*y + 120*y - 2*c. Which is smaller: -94 or y?
y
Suppose 0 = -5*l + 2*y - 5157 - 5194, -4*l + 5*y = 8274. Let i = -12361/6 - l. Which is greater: 10 or i?
i
Suppose -45*h + 9486 - 171 = 0. Is h > 213?
False
Let k be 16/(-57) - (-1122)/(-1683). Is -0.2 less than k?
False
Let g(p) = 3*p**2 + 9*p + 9. Let h(n) = 5*n**2 + 18*n + 17. Let l(b) = -7*g(b) + 4*h(b). Let k be l(8). Let r = k + -14. Which is bigger: -5/3 or r?
r
Let p = -107093/1