lse
Suppose 1252*z - 1256*z - 8 + 20 = 0. Is z greater than 22/13?
True
Let a = -23.16 - -23.16. Is 516 bigger than a?
True
Let r(l) = -l**3 - 15*l**2 - l - 37. Let n be r(-15). Let g = n + 23. Which is smaller: -7/20 or g?
-7/20
Let u = -10/9163957 + 412966926/320738495. Let w = 1/545 - u. Let c = -9892 - -9891. Which is smaller: c or w?
w
Suppose -3*x + 175 = 32*x. Suppose -x*y - 5*z = -130, -y - 3*z - 11 = -47. Which is smaller: y or 17?
17
Let r be -6 + (671 - (-38)/(-2)). Does r = 3223/5?
False
Let i(n) = -n**3 - 2*n**2 + 11*n + 10. Let v be i(-4). Let a = -540 - -539.94. Which is greater: v or a?
a
Let m(s) = -s**2 - 110*s - 216. Let a be m(-108). Is -2.782 less than or equal to a?
True
Let i(y) = -274*y**2 - 7*y - 20. Let f be i(-4). Let z be 40/(-70) - f/14. Let n = z - 1239/4. Which is bigger: n or 3?
3
Suppose -190*p = -170*p - 19060. Are p and 954 unequal?
True
Suppose 5062 = 44*w + 54870. Let u = w + 922. Which is smaller: u or -839/4?
u
Suppose 5*v + 4*j - 105 = 0, 3*j = 8*v - 9*v + 32. Let g be (-2)/v + 4794/45662. Which is bigger: 1 or g?
1
Let h(d) = -16*d + 4. Let z(g) = -5*g + 1. Let k(s) = 6*h(s) - 17*z(s). Let f be k(4). Let p be f/95 - (-12)/20. Which is bigger: p or 1?
1
Let b = 965 - 324. Suppose 0 = -r + 640 - b. Let q = -3/35 + 293/560. Is q at least r?
True
Let b(k) = 39 + 27*k - 20 + 52. Let c be b(-4). Let q(d) = -2*d**2 - d - 2. Let t be q(4). Is c bigger than t?
True
Let v(c) = -c**2 + c + 2. Suppose -4*i - 11 = -3. Let d be v(i). Suppose 12 = -2*p - 2*f, -p = -14*f + 16*f + 10. Are p and d equal?
False
Let l = 19 - 19.042. Let j = l - -0.412. Let i = j + -43.37. Which is smaller: i or -1?
i
Let t = -460 + 465. Let m be 434/6 + (-5)/t. Which is smaller: m or 72?
m
Let b be 347/(-2)*(-4)/(-24)*-16. Let s = b - 439993/951. Is 0 equal to s?
False
Let u = 43067/409678 + 3/21562. Is u at most as big as -2134?
False
Let p be (10/(-4))/5*(6 + 15 - -17545). Is -8783 <= p?
True
Suppose -5*s - 108 = 13*s. Let n be 1*(-28)/7 - (s - -1). Which is smaller: 9/25 or n?
9/25
Suppose -273 = 27*u - 246. Is -6/3821 != u?
True
Let n = 21 + -16. Suppose 3*a + 4*o - 18 = 3, -12 = -4*o. Suppose c - a + 4 = q, n*q - 3*c = 9. Is 26/7 at most q?
False
Suppose 2*u + 3*u = -5*r + 960, -930 = -5*u + r. Let c = u + -89. Are 97 and c nonequal?
True
Let c(u) = 2*u**2 - 2*u. Let b be c(3). Let i be (22/(-64))/((-64)/2374). Let p = i - 1/1024. Is p <= b?
False
Let b(l) = l**3 - 9*l**2 + 13*l + 17. Let i be b(6). Let y be (0 - 0)/(-5 - (7 + i)). Is y greater than -3/20?
True
Suppose 2*r - 5*u = 82, 2*r - u = r + 38. Let l be (-146)/(-6)*(-27)/r. Which is smaller: l or -17?
l
Let b be 6/51 + (-31)/(7378/116172). Is b greater than -488?
False
Let y be 4/36*9/(-21) - 0. Suppose 7*f + 1080 = -3*f. Let v be 4/(-18) + 84/f. Is y not equal to v?
True
Let t = 423 - 558. Let r = 138 + t. Does -0.08 = r?
False
Let a = 0.34663 + -0.44663. Suppose -4*n + 200 = -4*s, -5*s + 0*n - 4*n - 250 = 0. Is a smaller than s?
False
Let j = 1 - 0.6. Let f = 358716 - 358777. Which is greater: f or j?
j
Let p be -14 + 0 + (-2 - 2). Let d be (p/(-3) - 3) + 36. Suppose 2*k + 1 = -d. Is k != -20?
False
Suppose 0 = -5*z + 4*u - 24, 6*z + 4*u = 7*z - 8. Let n be 7/14 - z/(8832/(-558)). Is 1 > n?
True
Suppose 38*q = 47*q + 4626. Let s = q + 394. Is -119 at least s?
True
Suppose -b = 5*c - 27, 5*c - 29 = -20*b + 18*b. Suppose -38 = 5*u - 8. Let o be b/2*(-10 - u). Which is smaller: -3 or o?
o
Suppose -54 = 4*t + 2*h, -2*t - 2*h + 42 = -4*t. Let z be ((-2)/4)/(t/(-96)). Let q(d) = -3*d**2 - 7*d + 7. Let s be q(z). Is s at most as big as 2?
True
Let q(c) = c**3 + 3*c**2 + 145*c + 144. Let a be q(-1). Is 21/1217 < a?
True
Let k(b) = -3109*b**3 + 4*b**2 + 3*b + 1. Let m be k(-1). Suppose 3104*r + 7 = m*r. Is r at least 4/17?
True
Suppose -8*b - 5*b = -1917 + 2229. Which is bigger: b or -56?
b
Suppose u + 4*d + 3 = 3*d, u - 5 = d. Let o = -29/1400 + 149/12600. Is u bigger than o?
True
Let x = 9.1 + 32.9. Let b = -37 - -37. Let k be (b - 3 - -2)/3. Which is smaller: x or k?
k
Let h = 234 - 361. Suppose -t - 2 = 0, 0 = -r + 3*t - 116 - 6. Is h < r?
False
Let l(s) = s**2 - 3*s + 1. Let x be l(9). Let w be 540/x + (-2)/(-11). Let m be ((-4)/20)/(26/w - 3). Is -0.31 greater than or equal to m?
False
Let b(a) = -a**3 + 9*a**2 - 10*a - 12. Let x(c) = c**2 + 7*c + 14. Let k be x(-6). Let w be b(k). Let p = 28 + w. Do p and -36 have different values?
True
Let k = -383.81 - -384.12. Which is smaller: -19 or k?
-19
Let d = 10 - 2. Let k = -150 + 151. Let t(a) = 9*a**2 - 3*a + 2. Let f be t(k). Are d and f equal?
True
Let i = -215831 + 215767. Let b = 2139/2 + -1132. Which is smaller: b or i?
i
Suppose -p + 3*p + 32 = v, 4*v = -5*p + 63. Suppose -z + 9 - v = 0. Which is smaller: z or -9?
z
Let g = 93 - 151. Let f be -2 - (3/(-6)*g)/(-1). Is f at most as big as 27?
True
Suppose -5*x = 67 + 3. Let b be 3*4/(-84)*x/8. Let n(z) = z - 8. Let r be n(7). Which is greater: r or b?
b
Let c(v) = 12*v - 193. Let j(r) = -5*r + 96. Let n(p) = 6*c(p) + 14*j(p). Let z be n(-10). Is 165 at least z?
False
Suppose -11*k = -674 - 1119. Is 3394/21 <= k?
True
Let d(b) = -2*b - 8. Let w be d(-6). Let r be (-2*2/w)/1. Let v = 2273643/4 - 568410. Which is bigger: v or r?
v
Let c be (10*(-1)/(-6))/((-940)/564). Which is smaller: 2/1793 or c?
c
Let o be -16*(3/1 - 2). Let w = -4 + -33. Let q = 23 + w. Which is bigger: q or o?
q
Let m(q) = q**3 + 3*q**2 + 10. Let u be m(-8). Let r = u + 328. Is r > 22?
False
Let a be (4 + -2)/((-4)/(-18)). Suppose -11 = -3*o - 8. Let l be -4 + 4/o + -1. Which is smaller: a or l?
l
Let i = -11549/60436 + 3/2084. Which is smaller: i or -1?
-1
Let a = 2418.17 + -2371. Is 0 >= a?
False
Suppose -105 = -10*j + 11*j. Let b be -1 - (-2570)/j*-3. Let w = -59819/826 + b. Are -1 and w nonequal?
True
Suppose -30 + 42 = -4*b. Let j(h) = -3*h**3 - 11*h**2 - 5*h - 4. Let c be j(b). Which is bigger: -9 or c?
c
Let x(k) = -161*k + 319. Let a be x(2). Are a and -210/103 non-equal?
True
Suppose -5*t + 22 = -m, 2*m + 5 = 4*t - 9. Let d(g) = 2*g**3 + 4*g**2 - 5*g + 11. Let j be d(t). Let c be 8/(-20) + j/(-10). Which is smaller: -33 or c?
c
Let h(j) = -30*j - 5. Let m be h(-6). Let g = 701/4 - m. Which is smaller: g or -158?
-158
Let m = -5282.18 - -5282. Is m at least as big as 0.123?
False
Let q(h) = -3*h + 5. Suppose -r + 7 = -5*z, -6*r + 7 = -2*r + z. Let l be ((-10)/4)/((-1)/r). Let j be q(l). Which is smaller: -11 or j?
-11
Let i = 58 - 47. Let x be 2/i + 96/(-44). Let z be (12 + -11)/(1/x). Which is smaller: z or -7/5?
z
Let c = -6103 + 6099. Which is smaller: 0.0442 or c?
c
Let z = 119 + -119. Let g be (-8612)/55 + 3/(-5) + 1. Let c = g - -156. Is z at least as big as c?
True
Let j = -12256.54 + 12410. Let n = -152 + j. Let p = n - 0.26. Is -1 >= p?
False
Suppose -4*z + 6*c = 3*c + 19, 4*c - 18 = -2*z. Let q be (4/(-12))/(z/96). Suppose 14*r - 18*r = q. Which is bigger: -9 or r?
r
Suppose 14*p + 1221 = 1221. Which is smaller: p or 3/2684?
p
Suppose 5*m - 14*l - 120 = -12*l, 3*m = 2*l + 72. Is 28 at least as big as m?
True
Let c = 553/3 - 269. Which is bigger: -86 or c?
c
Let a(c) = -52*c + 2658. Let j be a(53). Is j at most as big as -141?
False
Let n(z) = -3*z**2 - 49*z - 365. Let a be n(34). Which is bigger: -5501 or a?
a
Let u = 12118 - 23611. Is -11493 != u?
False
Suppose 2*t + 3*h = -366, 20*t = 22*t + 4*h + 362. Is -189 at least as big as t?
True
Suppose -2*w + 80 + 79 = r, -4*w = 20. Let o = r - 30. Is o less than or equal to 139?
True
Let a(b) = b**3 + 57*b**2 + 106*b - 213. Let v be a(-53). Is 5406 less than or equal to v?
False
Let o be 1 + (-174)/4 + -2. Let f be 30/40*-8 + -38. Which is smaller: o or f?
o
Let q(t) = 2*t**3 - 13*t**2 - 97*t - 34. Let s be q(-7). Which is greater: s or -684?
s
Let q(w) = -8*w - 245. Let n be q(-31). Suppose -4*u + n*u + 188 = 3*o, 0 = -2*u + 4*o + 386. Which is greater: u or 192?
192
Let t(b) = -b**2 - 2*b + 4. Let y be t(-3). Let n = 0.5853 - -20.4147. Are y and n unequal?
True
Suppose 6 + 4 = 2*f. Suppose 13 = f*o + 4*w, -2*o + 8*w - 3*w = 8. Suppose j - 3*l + 24 = 0, -84*j + l - 8 = -85*j. Which is smaller: o or j?
j
Let w be ((-8)/12 - 654/495) + 2. Suppose 9*h + 6 = -3. Is w > h?
True
Let o be 0 + (42 - 2) + 2. Suppose o*i = 47*i. Let h = -496/20345 -