lse
Let m = -46532 + 234503/5. Which is smaller: m or 368?
368
Suppose -3*q = -48*i + 52*i - 3554, 2*i + 3*q - 1780 = 0. Suppose 5*c + 298 = -i. Is c smaller than -239?
False
Let y be (-1450)/(-175)*-7 - -48. Let u = 0 + 2. Is y greater than u?
False
Let q = -33 - -55. Let f = -768 + 781. Let s be f + (-6)/(-1) + 3. Is q greater than or equal to s?
True
Suppose -j = s + j + 31, -57 = 3*s - 3*j. Let r = -35 - s. Let m be (r/10)/(3/20). Is -7 at most m?
False
Let c be 7*(-4 + 7 + -2). Let x = 9 - c. Suppose 0 = 2*f - x*t + 2, -4 = 4*f + 3*t - 14. Which is greater: -2/19 or f?
f
Suppose f = -2*s - 12, s + f = 6*f - 17. Let h = -12419.8 - -12420. Which is smaller: h or s?
s
Let f = -26 + 14. Let t = -0.13443 - -0.18443. Is t at most f?
False
Suppose 653 = -43*w - 904 - 722. Is w greater than or equal to -51?
False
Let m be 42/11 + ((-432)/44 - -10). Suppose -4*x + 317 = u, m*x = 5*u - 4*u + 307. Which is greater: x or 76?
x
Let n be (30/(-8))/(585/(-130))*4/(-15). Which is bigger: -1362 or n?
n
Let z(b) = -b**3 - 5*b**2 - 6*b - 1. Let m be z(-4). Suppose -m*u + 1 = 15. Let c be (-6)/354*(u - (-3)/(-3)). Which is smaller: c or -1?
-1
Suppose 55*s + 37*s + 10748 + 1396 = 0. Which is smaller: s or -128?
s
Let x be -2 - (23/((-230)/(-4)) + 804/(-190)). Is 1 bigger than x?
False
Let d(p) = 2*p**2 - 23*p - 530. Let q be d(23). Let t = -1805/6554 - -17/58. Is q at least t?
False
Suppose 63 = 4*n + 7. Suppose -c + 12 = 3*x + 2*x, 2*x = -5*c + n. Suppose -x*v + 3*d = -11, -4*v + 4*d + 14 = -2*v. Is v greater than or equal to -6?
True
Suppose -10*h - 570 = 4*x, h - 2*x + 72 = 3. Is h >= -43?
False
Let u = -3280 + 3290. Is -2/815 less than or equal to u?
True
Suppose -10 - 2 = -3*h - 4*u, -5*u + 15 = 2*h. Let m be (-1)/(-2)*h + 4 + 1. Suppose 4*p + 0*j - 130 = 2*j, -4*p - m*j = -109. Is 31 less than or equal to p?
True
Let f = 0.23 - -141.77. Let k = 141.5 - f. Let y = k - -0.72. Is y greater than 1?
False
Let b be 3*6/5 - 8/(-20). Suppose 4*i - 813 = -5*t - 98, 3*t = -b*i + 717. Suppose 0 = 4*y - 2*x - i, 4*y - 180 = 3*x - 4*x. Which is bigger: 44 or y?
y
Let a = 67/252 - 1/63. Suppose 6*m + 198 = -0*m. Let n be (1 - (-35)/m)*9. Is a smaller than n?
False
Let b = -74 + 76. Suppose u - b = -4*x + 9*x, 3*x - u = 0. Let d = -7400/1157 - -83/13. Which is smaller: x or d?
x
Let a = 1 + -0.92. Let w = -0.18 + a. Let j = -257 - -253. Which is smaller: j or w?
j
Let d be (-8)/(-176)*(8/(-831))/((-5)/15). Which is smaller: d or 1?
d
Suppose m - 31 = -4*v, v + 6*m - 4*m = 13. Let x(a) = -2*a + 19. Let t be x(v). Suppose -3 - 17 = t*h. Is h at most as big as -26/9?
True
Suppose -2*h - 3*y = 35893, -9194 = h - 3*y + 8775. Is h greater than -17953?
False
Suppose -3*j + 2*d - 14 + 66 = 0, 3*j - 3*d = 57. Let w = 16 - j. Suppose 0*x = -n - x + 3, 4*n - w = x. Which is greater: 1/5 or n?
n
Let w(z) = 5*z**2 - 16*z + 3. Let h be w(3). Suppose 5*i + 18 = -2*f, -2*f + h*f - 10 = 3*i. Are f and 1/324 nonequal?
True
Let f be (-4)/(-36) + (-117986)/(-279). Is 420 less than f?
True
Let d = 2/1475 + 113497/57525. Is d smaller than 3?
True
Suppose 0 = -4*x - 278 + 18. Let n = x + 69. Suppose -6 = 3*a - 2*z + 2, n*a + z - 4 = 0. Are 1/24 and a non-equal?
True
Suppose 0 = -2*f - 4*v - 16, -4*f + 8*v = 4*v - 16. Suppose f = 2*w - 42 + 30. Is w at most as big as 5?
False
Let f = 271.1 - 271.2691. Which is bigger: -2/7 or f?
f
Suppose -3*d - d = -4. Let v = 5/2956 + 11769/32516. Is v < d?
True
Suppose l - 11537 = 5*s, 0 = 2260*s - 2255*s - 4*l + 11558. Which is smaller: s or -2305?
s
Let w = 1463 + -1462.9. Is -1583 > w?
False
Let j be -3 - (0/2)/((-20)/10). Let w be (2 + (-5)/3)*(12 + j). Suppose w*s - s = -4*s. Which is smaller: s or -3?
-3
Let w = 12 + -15. Let h be ((-232)/(-28))/(304/(-133)). Is w < h?
False
Let g = 158 - 157. Suppose 85*k - 84*k - g = 0. Is 0.18 smaller than k?
True
Let y be 64252/(-5354) + 280/35 - -4. Is y less than 0?
True
Let k = 21881/4 + -5473. Which is smaller: 23 or k?
k
Let c = 6562 + 9793. Is 16356 at least c?
True
Let p = -1436 + 2344. Let u = p - 611. Which is smaller: 0 or u?
0
Let j = 6.9 + -4.2. Let b = 0.26 - 3.56. Let m = j + b. Which is smaller: m or 2/11?
m
Suppose -26*g + 11 + 1419 = 0. Suppose -29*v - g = 26*v. Which is greater: -12/49 or v?
-12/49
Let v be 8/(-6) - -7*2507/483. Suppose -2*p = -4*l - 88, -156 = -4*p - 0*l + 4*l. Which is greater: v or p?
v
Let j = 22/1747 - -156856/29699. Let c = 2/411 + -836/2877. Is j <= c?
False
Let r = 22280 + -22333. Suppose 0 = 3*l - 5*l - 102. Which is greater: l or r?
l
Let y = -20012 + 17192. Is -2816 at least as big as y?
True
Let d(i) be the third derivative of -3*i**4/8 + 47*i**3/6 - 13*i**2. Let z be d(5). Suppose 0 = m + z*s - 5, -2*m + 2*s = 2*m. Is 4 not equal to m?
True
Suppose 5*t = -3*k - 19 - 28354, 16 = 2*t. Is k at least -9471?
True
Let i = -530 - -588. Suppose 0 = i*s + 2123 - 731. Let q = 0.1 + 0. Which is bigger: q or s?
q
Let r = -347.826 + 343.5. Let g = r - -0.326. Which is bigger: g or 10/9?
10/9
Let z = -53 + 77. Let o = z + -22. Suppose 4*j + 26 = -18. Which is bigger: j or o?
o
Let z be -28 - -34 - (65/35 + 4). Which is greater: z or 0.029?
z
Let j = 47 + -32. Suppose -3*w = -2*w - j. Let a(o) = o**2 + 5*o - 22. Let s be a(-9). Is w smaller than s?
False
Let k = -3365 - -3366.4. Which is smaller: 34 or k?
k
Let n(j) = -j**2 + j + 1. Let i = -84 - -84. Let u be n(i). Let f be u/(2/3 - 415/15). Does 1 = f?
False
Let a(i) = -i**3 - 15*i**2 + 25*i - 37. Let f be a(-16). Let o = f + 163. Which is bigger: -14 or o?
-14
Let r(b) = -56*b + 360. Suppose 5*p + 3*v - 55 = 0, 3*p + 4*v = 2*p + 28. Let i be r(p). Which is smaller: -89 or i?
-89
Let p = -13/40 - 1/20. Let i be ((-4)/(-10))/((-3)/135). Let l = 17 + i. Are l and p non-equal?
True
Let u(h) = 2*h**2 + 106*h + 328. Let v be u(-47). Is v less than or equal to -239?
False
Suppose 5*t + 30 = -2*p, 5*t - 2*p = -26 - 4. Let j be -5 + (-3 - t) - 43 - 3. Is j < -45?
True
Suppose 2*i + 3*i = -3*x - 57, 3*i = x - 23. Let b be (3/i)/(2/(-174)*-1). Is -26 at least b?
True
Let w(i) = i**2 - 13*i + 22. Suppose -3*u = -13 - 20. Let s be w(u). Suppose -8 = -2*b + 4*j, b + 5*j = -s*b - 24. Which is smaller: -5 or b?
-5
Let a be ((-8)/14)/((-162)/1134). Suppose -m + 2 = -1. Let q be ((0/a)/m)/(-1). Which is bigger: -3 or q?
q
Let z(v) = -273*v + 7337. Let x be z(25). Which is smaller: 523 or x?
x
Let o be ((-18)/(-88))/(6/16). Let x be 9405/76 - 6/(-2). Let p = x + -127. Is p less than o?
True
Let c(x) = 14*x - x + 12*x + 23 - 3. Let f be c(-3). Which is greater: -57 or f?
f
Let t(y) = -y**3 - 11*y**2 - 14 - 6*y**2 - 33*y + 51*y. Let r be ((-1)/2)/(2/72). Let m be t(r). Is m bigger than -13?
False
Let t be (-3)/(-30836)*(11 - 1470/126). Is 2/3 greater than or equal to t?
True
Let z = -20525 - -14173. Which is smaller: 0.1 or z?
z
Let c = 28.7 - 152.7. Let b = c - -125. Which is smaller: 169 or b?
b
Let q be (-4 - -10) + 0 + (-1)/(1734/10212). Is q less than or equal to -1?
False
Suppose 15*b = 19*b - 28. Let f(r) = -24*r - 6. Let o be f(b). Let m be 81/o - 1/(-2). Is -1 at least as big as m?
False
Suppose -y + 14 = -26. Let d = 42 - y. Let f be 5/10 - 39/d. Which is bigger: -18 or f?
-18
Let t(n) = -57*n + 1293. Let r be t(-57). Is 4540 smaller than r?
True
Let j be (2 - 7/3) + 306/27. Suppose 0 = -3*n + 3, 2*w - 3*n = 2*n - j. Let l(p) = -p**2 - 7*p - 13. Let s be l(w). Which is bigger: -2/5 or s?
-2/5
Let c be 269/3 + (-1)/(-3). Suppose 4*o - 5*t = 453, 59*t - 55*t - 264 = -4*o. Is c at most o?
False
Suppose -b = -4*c + 6, -14*b + 10*b - 13 = -5*c. Is c greater than 8/305?
True
Let q be (-9)/(-6)*(-102)/(-3). Let y be q/22 - (-2)/(-4). Suppose -57697*w - 4 = -57701*w. Is y bigger than w?
True
Let u = 112.615 - 113. Let p = u + 77.385. Which is bigger: p or 0.1?
p
Let s(b) = -11*b + 33. Let z be s(3). Let w(y) = -y**3 + 7*y + 76. Let q be w(z). Which is smaller: q or 75?
75
Let y be ((-1)/(-6)*2)/((-5)/235). Let i = y + 12. Is i <= -3?
True
Suppose 935*j - 24 = 927*j. Let p be 1/(-3) + (j - (-169)/(-78)). Which is greater: -21/23 or p?
p
Let h = -95/17 + 173/34. Suppose -2*k - k = 0. Let b be 2 + (k - 32/12). Which is greater: h or b?
h
Let o = 16601 - 14989. Is o less than 4832/3?
False
Let f(r) = 50*r - 109*r**3 + 213*r**3 - 16 + 12*r**2 -