lse
Let u = -36497/27 - -1352. Let k = 8070 - 1525235/189. Let l = u - k. Is l < -31?
False
Suppose -118*q = 149614 + 70738 + 63792. Which is smaller: q or -2405?
q
Let x(v) = 2*v**2 + 3*v + 3. Let m be x(-1). Let y be m/(-28)*-1831 - 3/6. Let g = 130 - y. Is g != -0.06?
True
Suppose -z = -54 + 56, 0 = 2*j - 4*z + 158. Is j at most as big as -90?
False
Let i = -583403 - -583433. Let n = -6.12 + 6. Which is greater: i or n?
i
Let n be 265/6 + (-5)/(-30). Let g be ((-342)/(-228))/(1 - 2 - 801/(-774)). Is n smaller than g?
False
Suppose 0 = 3*d - 5*j - 1291, j - 3052 = -5*d - 891. Suppose -21*h + d = -13*h. Are 57 and h equal?
False
Let l be -2*(-738)/12 + (-1 - 0). Suppose -x = 4*x + 20, -2*x - 246 = -2*f. Do l and f have the same value?
False
Let l = -113.63 - -123.63. Which is smaller: 139 or l?
l
Let j = 23 + -31. Let w be (-10 - j)/(4/(-2)) - -2251. Let i = 13547/6 - w. Are i and 7 equal?
False
Let h be 2567/(104/16 + -4). Is h greater than or equal to 1027?
False
Let n(v) = -v**3 - 7*v**2 + 2*v + 18. Let z be n(-7). Suppose 9*d = 5*d + z. Let g be (1/(-4))/(35/(-56)) - 0. Which is smaller: g or d?
g
Let p(t) = 2*t**2 - 4*t - 12. Let o be p(-2). Suppose o*u - 204 = 4*k, 0 = -3*k - 3*u - 213 + 42. Is k at least as big as -55?
True
Let h = 273/95 + -18507/4655. Is h >= -1?
False
Let x = -136 + 112. Let j be 3/(-2)*x/(-9). Let m be j + 4/((-28)/(-25)). Which is bigger: m or 0.02?
0.02
Suppose -4*a = -t + 88, 193*a = 196*a - t + 67. Is a at most as big as 5?
True
Let g = -37788/5837 + 238291047/26645905. Let s = g - 6/415. Which is smaller: s or 1?
1
Let g = -2577.32 + 2534. Let a = g + 44. Let l = 0.78 - a. Is l greater than or equal to 13?
False
Let r = 91 + -90.783. Let l = 2.217 - r. Is l at most -34?
False
Let c be (-2)/((2 - 1)/1). Let g be (-52)/(-2)*2/(-4). Let n be (-4)/26 + c/g. Which is smaller: -1/14 or n?
-1/14
Suppose 4*c = 3*d - 5*d + 8, 5*c - 5 = 0. Suppose 0 = d*n - 60 + 34. Which is smaller: 68/5 or n?
n
Let l = 263203 - 1401029573/5323. Which is smaller: 1 or l?
l
Let g = -47.662 - -7.072. Let t = -5.41 + g. Let c be 2/10 + (-8)/(-60). Is c greater than t?
True
Let j = -0.5 + -2.5. Let n = 4 + j. Let h = -155290 + 5279861/34. Is n > h?
True
Let a(b) = b**2 - 6*b - 3. Let j be a(7). Suppose 2*l + 2 = -2*s - 0*l, 4*s = 2*l - j. Let h be ((-2)/10)/(178/170 + s). Is h less than -3?
True
Let q = -0.8 - -0.3. Let o = 15761 + -15751. Is o bigger than q?
True
Let u(t) = 3*t - 43. Let h be u(21). Let q = h - 26. Let g = 2/609 + -12797/2436. Is g greater than q?
True
Let l = 177861/88 - 18311/8. Is l smaller than -267?
True
Let c = 7312 + -7308. Which is bigger: 440 or c?
440
Suppose -4*s = -2*p, 0 = -23*s + 22*s + p. Suppose s = -3*l + 5*k - 2*k - 6, 2*k = -6. Let b(i) = -i - 13. Let m be b(-11). Is m not equal to l?
True
Let b(w) = -9*w**2 - 82*w - 1433. Let p be b(-24). Which is smaller: p or -4647?
p
Suppose 0 = 188*i - 193*i - 775. Which is greater: -153 or i?
-153
Let j = -537/322 + 374277/5474. Is j equal to 67?
False
Suppose 4*a = 0, 8*g + 4*a = 5*g + 12. Let i be g/(-12)*2/3. Which is smaller: 0.2 or i?
i
Suppose -f = -3*g + 2, 6 = 2*f + 5*g - g. Let p(x) = -x**2 - 13*x + 41. Let q be p(14). Let o = -4037/12 - q. Is o != f?
True
Let q(f) = -28*f + 18. Let j be q(0). Let l be -3 - (-10 + 20)/(j/183). Is l greater than -104?
False
Let q = -927424/17 + 54542. Suppose -3*p - 45 = -9. Which is greater: q or p?
p
Let h = 0 + 5. Suppose 0 = -4*z + 5*g + 18, -h*z + 2*g - 3*g = -37. Let k be (37/((-222)/(-96)))/2. Is k > z?
True
Let k be (-9)/3 + (-174)/(-14). Let c = -907/91 + k. Suppose 0 = 4*w - 2*a, -w = 3*w + 2*a. Which is bigger: w or c?
w
Let u = -585932/117 - -5008. Suppose -5 = -21*v + 3 - 8. Is u greater than v?
True
Let x = -441 + 433. Let u be 190/(-152) + 6/x. Which is smaller: u or -4?
-4
Suppose 0 = -13*x - 40*x - 2703. Which is smaller: -30 or x?
x
Suppose 5115 = 3*k - u, -4*k + 492 = -3*u - 6323. Let w = k + -13665/8. Which is smaller: -2 or w?
w
Let f(h) = 12 + 10*h - 2 + 54 + 7. Let x be f(-7). Which is bigger: -10/71 or x?
x
Let t = 25 + -61. Let y = t - -61. Let n = 1.58 - 0.58. Is y greater than n?
True
Let n = -133 - -80. Let h(m) = 104*m + 154. Let o be h(-2). Is o smaller than n?
True
Let l be (-2 - -5) + (2686/(-2278))/(0 - -1). Which is smaller: 3 or l?
l
Suppose -u + 18 = -h, 0 = -3*u - u - 4*h + 64. Let f(b) = -b**2 + 18*b - 14. Let j be f(u). Let m = -4 + 6. Is m equal to j?
False
Let f be (44/10)/(3/(-12)*(-72)/15570). Which is smaller: 2/7 or f?
2/7
Let d be (-6)/21 - (2370/(-14) - 0). Is 172 smaller than d?
False
Let p be (-8 - -8 - (427 + 2)) + 6. Let a = 529 + p. Which is smaller: 0 or a?
0
Let d(c) = -c**3 + 8*c**2 - 13*c + 6. Let j = 10 - 4. Let a be d(j). Suppose 0 = 12*g - 19*g + 35. Are g and a non-equal?
True
Let w = -853139/48 - -17775. Which is smaller: w or 4/5?
4/5
Let h = 266 - 731. Do -465 and h have the same value?
True
Let y(v) = 207*v + 923. Let p be y(-4). Which is smaller: -2 or p?
-2
Let t be (0*(-3)/6)/(16/16). Does t = -9/1189?
False
Let h = -122 + 107. Let i be 210/h - (0 + -5). Let r(q) = -q**2 - 4*q - 18. Let b be r(i). Which is greater: b or -64?
b
Let o be (5/(-30)*1243 - 2/(-12)) + -2. Which is bigger: -211 or o?
o
Suppose s - 6 = 0, 0*v - v + 3*s - 2219 = 0. Which is smaller: 1/2 or v?
v
Let q(u) = 6*u - 70. Let n be q(12). Let t be 185/n*40/50. Let v = 142 - 68. Is v at most as big as t?
True
Let r = -356.2 + 334. Let a = r - -30.2. Which is smaller: -7 or a?
-7
Let q = -8.8 - -11.6. Let m = -4.3 + q. Which is smaller: m or -3?
-3
Let r be -14*(-89)/2 + 2. Let b = r - 189999/304. Is b bigger than 1?
False
Suppose -113*i = 7 - 34 - 86. Is -3/668 >= i?
False
Let p = 18675 - 204256/11. Are 107 and p equal?
False
Suppose -516 - 474 = 110*p. Are -567 and p equal?
False
Suppose -735 = -57*k + 5*k + 3*k. Do -196 and k have the same value?
False
Let x = 243/124 + -84/31. Which is bigger: x or 266?
266
Let b be (-5 - 324/(-63)) + (-16)/14 + 1. Is b less than 2/11657?
True
Let g = -222 - -114. Suppose 0 = -136*p + 132*p - 432. Is p at most g?
True
Let g be 1 - 0 - (24/6 + -97). Let n = g - 96. Let t be (-4 + 3 - -3) + n. Which is greater: -6/37 or t?
t
Let y(u) = 3*u**2 - 30*u - 1296. Let w be y(-48). Which is bigger: w or 7057?
7057
Let s(j) = -j**2 + 11*j - 23. Let p be s(8). Let q be (-2151)/20664 - p/(-8). Let k = q + -28/779. Which is greater: k or 1?
1
Let u(m) = 11*m + 43. Let y be u(-9). Let c = -11 + 11. Suppose c = 2*n - r + 112, 0*n - 3*r = 5*n + 291. Which is smaller: y or n?
n
Let t be (0 + 10)*(0 - (-3)/15)/1. Are 318/155 and t nonequal?
True
Let p = 104 - 108. Let r(n) = -19*n - 77. Let m be r(p). Which is bigger: -5 or m?
m
Let a be 97/(-97)*31/2*2. Let z = 135 + a. Suppose 4*p - 108 + z = 0. Which is smaller: 1/45 or p?
1/45
Let q(n) = -6*n**2 - 94*n - 316. Let p be q(-26). Is p greater than -1929?
True
Suppose 2*h + 632 = 4*s, -5*s + 874 + 74 = -3*h. Let u be (-4)/16 + (577/h - -2). Is -1 less than u?
True
Let g be (0 - -1) + 1*34. Suppose q - 10 + 6 = 2*o, q + 2*o - 16 = 0. Let r be 5 + -2 + 21 + q. Is g > r?
True
Suppose 16 = -4*q, 3*s = 2*q - 146 + 523. Let t = 123 - s. Let r = -20 - -20. Is r at most t?
True
Suppose 98*s = -150*s. Is -55/218 less than s?
True
Let y = -0.5319 - -0.8319. Which is smaller: y or 182?
y
Suppose -2*y - 171 = 5*g, 5*g = -3*y - y - 177. Let i = 36 + g. Suppose l + 0*l = -i*l. Is 3/29 bigger than l?
True
Let y(p) = -p**3 + 36*p**2 + 122*p - 96. Let n be y(39). Let b = -159 + 257. Is n <= b?
False
Let g = -13735 - -13736. Is -55/378 at least as big as g?
False
Let s = 6.11 + -5.819. Let x = 54.709 + s. Is x less than -2?
False
Let j be 20/(-90) + ((-5027)/990 - 5*-1). Are -0.22 and j non-equal?
True
Let t = -0.132 - -0.043. Let g = -1.869 - t. Let c = g - 0.22. Is c greater than or equal to 0?
False
Let c(l) = l**3 + 3*l**2 - 5*l - 3. Let h be c(-4). Let j = 147/5 + -4577/155. Is j > h?
False
Let n be (1 - -43)*(126/24 + -5). Let o be 2/(-150)*(-19 - (1 - n)). Suppose 4*t - 8 = 4*y, 2*y - 3*t = 3*y - 6. Is y smaller than o?
True
Suppose -39*v - 43*v - 47160 = -22*v. Which is greater: v or -790?
v
Let n be (6/11)/(540/3960). Is 246/55 equal to n?
False
Let y be (-9 - 0) + 37750/4194. Suppose -16*b + 27*b = -14*b. Which is greater: y or