lse
Suppose -145 - 115 = 5*r. Let g be (r/(-20) - 2)*10. Suppose 0 = 3*i + 6, -4 = g*o - 3*o - i. Which is smaller: -3 or o?
-3
Let n = 3503 - 3503. Let i be ((-2964)/(-690) - 4) + (-2)/(-5). Which is smaller: i or n?
n
Let v be (525/50 + -16)/(-7). Which is smaller: -46 or v?
-46
Suppose -5*n - 4*d + 423 + 314 = 0, -d + 147 = n. Suppose -n*a + 140*a - 774 = 0. Is a at least as big as 1?
False
Let r = 1024 + -1002. Let m(h) = -11*h + 233. Let s be m(r). Let q be (0 - (-9)/(-2))*2. Is q less than or equal to s?
True
Let q be 6 + (204/30)/(339/(-285)). Which is greater: 1 or q?
1
Let l = -5 + 12. Let k = -330.0219 - -0.0219. Let t = -328 - k. Is l at least as big as t?
True
Suppose 4*h + 5*m - 77 = 0, -3*h - 3*m + 14 = -46. Let u = h - 20. Suppose 0 = -2*p - 5*d + 27, -4*d + d + 15 = 0. Which is bigger: u or p?
u
Let f(g) = -4*g**3 - 66*g**2 - 23*g - 5. Let l be f(-16). Which is smaller: -156 or l?
-156
Let q be 25/2*(1562/55 + 8 - -6). Is 528 != q?
True
Let q(a) = 7*a**2 - 217*a + 11. Let g be q(32). Let u = g + -1163/5. Is u bigger than 1/11?
True
Suppose 4*h = 81*m - 76*m + 3314, h = m + 662. Is m equal to -664?
False
Let d = 826 + -827. Is d equal to -2.05?
False
Let x = -0.03603 - -0.53603. Let w = 20 - 44. Which is smaller: x or w?
w
Let j = 11773 - 11774. Which is bigger: -1/1413 or j?
-1/1413
Let m be (157 + -1)/(1287/78). Is m greater than 9?
True
Let m = 2/1467 - -5377/1467. Let x = -359.9 + 400. Let t = x - 40. Which is smaller: m or t?
t
Suppose -11*d + 6*d - 380 = 0. Let t = 82 + d. Suppose 2*v = -t*v + 392. Which is greater: 48 or v?
v
Suppose 3*a = -a + 8. Suppose 2*x + 5*b = -36, 5*x - a*b + 64 = -84. Let w be ((x/20)/(-7))/((-2)/6). Is w >= 8?
False
Let j = -181 + 173. Let g be j/18*33/44. Which is greater: g or 9?
9
Let f be ((-16)/(-20380))/(3 - 68/20). Let q = 1073/27513 + f. Let l = 1 + -2. Do q and l have the same value?
False
Let z be (19 - 8) + (-2 - 9). Which is greater: z or 3/21581?
3/21581
Suppose -6*c + 3145 + 10571 = 0. Is c less than 2287?
True
Let v = -11 - -11.8. Let l = -3343.14 - -3343. Do l and v have the same value?
False
Suppose 31 - 30 = -5*f - b, 3*b = 4*f - 22. Let c be 50/(-26) + 1 - 0. Let l = -178/221 - c. Which is smaller: l or f?
l
Let c be (-4 - -2)*(-22)/4. Let w be (-2)/c + 16/88. Suppose w = 2*i - i + 10*i. Which is greater: 5 or i?
5
Let l = -2144 - -207969/97. Which is bigger: l or -7?
l
Let k be (-48 + 51)*(0 - 362/6). Are k and -7 unequal?
True
Let x = -315848/865 + 1826/5. Which is greater: 1/2 or x?
1/2
Suppose -n + 1487*v - 1489*v + 26 = 0, 130 = 5*n - 4*v. Which is smaller: 736/29 or n?
736/29
Suppose 30 = -5*w + 10*w. Suppose -5 = -l - 2*k, w*k - 2*k = l + 7. Let s be (-8)/32 + l/2. Which is bigger: 0 or s?
s
Let t = -131 + 110.4. Let i = 0.572 + -20.572. Let w = t - i. Is w less than 0.5?
True
Suppose -5*v - 2921 = 4*m - 2881, -5*v - 5*m = 50. Let h = -200369/1288 - -1089/7. Is h less than or equal to v?
False
Suppose q + 12 - 20 = 0. Let h be 2/q + 1/4. Is 15 greater than or equal to h?
True
Let n be (0/62)/(3 + 1). Suppose n = -q + 3*m - 9, -5*m = 2*q + 2 - 17. Are q and -14/19 equal?
False
Let o = -33421/680 + -168/85. Which is smaller: -52 or o?
-52
Let z = 22002948/1409 + -15616. Is z <= 0?
False
Let i be -1 - (0 - (-3)/2)*(-24500)/375. Which is smaller: i or 109?
i
Let a be (-18)/36*(-2 + 2). Suppose a = -9*y - 551 + 146. Which is greater: -44 or y?
-44
Let v = -4.737 - -7.337. Let a = 40 + -38. Which is smaller: a or v?
a
Let h = 31969 + -31970. Which is smaller: h or -1/11859?
h
Suppose 4*p = 7*a - 2*a + 1380, -4*p + 4*a + 1376 = 0. Let x be ((-12)/(-10))/(76/21470). Is x less than p?
True
Suppose 0 = -2*s + 30*y - 28*y + 14, 2*y + 16 = 0. Which is smaller: 1/5060 or s?
s
Let o(x) = 10*x + 36. Let s be o(-2). Let p be -3*(-24)/s - 6. Let j = 2 + -5. Which is greater: p or j?
p
Let d = -14 - -45. Let c(t) = t**3 - 31*t**2 + t - 31. Let z be c(d). Let k = -152 + 3801/25. Which is smaller: k or z?
z
Let c = -0.4833 - -0.3833. Are -642/11 and c nonequal?
True
Suppose -3*w - 63 = 5*p - 298, 0 = -3*w. Let a(b) = b**3 - 27*b**2 - 175*b - 25. Let o be a(-5). Which is smaller: p or o?
p
Let z be 268/3*(0 - (-15)/10). Let y = 2/67301 - -45293563/336505. Let w = z - y. Which is smaller: -4 or w?
-4
Let z be 1*-6*3*(17 + 280/(-16)). Let p(t) = -t + 2. Let h be p(1). Which is smaller: z or h?
h
Suppose 4*u = -5*g - 23, 137*g - 4*u = 132*g + 33. Which is smaller: g or 72/905?
72/905
Let x be (-10500)/(-490)*7/3. Is 66 >= x?
True
Let h(v) = -4*v**2 - 5*v**2 - 6 - v**3 - 2*v + 21*v**2. Let w be h(11). Let f = w - 280/3. Which is smaller: 0.87 or f?
f
Let k be 185/111 + 1/(3/(-92)). Which is greater: k or 23?
23
Let r = -171 - -167. Let v be 0 - 5/60*r. Which is smaller: v or 6?
v
Suppose 9 = -3*p, -34 = 4*b - 2*p - 144. Suppose 4*l = 2*d + 5*l + 18, 0 = -4*d + 3*l - b. Which is bigger: d or -27/4?
-27/4
Suppose 16*a - 5*a = 0. Suppose a = 72*g - 65*g. Which is bigger: -2/15 or g?
g
Let j = -0.8 - -0.7. Let s = -2172 - -2160.874. Let q = 0.126 + s. Is q bigger than j?
False
Suppose -c - 12*u = -7*u - 6213, -6269 = -c + 3*u. Which is greater: 6247 or c?
c
Suppose v = 3, 2*f - 42*v + 38*v + 12 = 0. Which is greater: -6/499 or f?
f
Let l = 3034 + -4255. Do -0.1 and l have the same value?
False
Let a(j) = -j**2 - 3*j + 84. Let t be a(-7). Suppose 4*x = -4*m + 60, 0 = -4*x + 2*m + t + 16. Which is greater: 16 or x?
x
Let z(j) = j**3 - 21*j**2 - 23*j + 20. Let s be z(22). Let b = s - -3. Let o = -469 - -1885/4. Which is greater: o or b?
o
Suppose 0 = 4*b - 4*x - 32, 5*b + 3*x = 21 - 45. Is b <= -3/3271?
False
Let c(r) be the first derivative of r**4/4 - 2*r**3 + r + 109. Let q = 0 + 6. Let j be c(q). Are -0.026 and j nonequal?
True
Let j be -2 + 6*(-1)/(-4). Let i = 0.075 + -11.195. Let y = 1.12 + i. Which is smaller: y or j?
y
Suppose -l + 2*s + 4 = 0, -4*l = -0*l + 3*s - 60. Suppose 228 = 4*b - 2*f, -b - 5*f = 11 - 68. Suppose -b - 3 = -6*j. Is j smaller than l?
True
Let z be -1*13/(-5) + (-16)/(-40). Suppose -3*o + 48 = z*o. Let s = -9 - -16. Which is bigger: o or s?
o
Let x = 1173/131 + 241868/917. Let m = x + -273. Is -9/5 greater than or equal to m?
False
Let o = -94 + 73. Let a = o + 57. Let t = -0.19 - -0.09. Which is bigger: a or t?
a
Let z(h) = h**2 - 9*h + 7. Let l be z(8). Let d be -5*(l + 567/565). Suppose j - 3 = o, -j - 3*j - 5*o = 15. Which is greater: d or j?
j
Let x = 3 + -3. Let j be ((-3)/(-2))/(6 - 166/28). Let c = j - 1. Are c and x nonequal?
True
Let x be 4/15*6/12. Suppose 4*n = 9 + 7. Suppose -n = -65*r + 69*r. Is x at most r?
False
Let q be (-12 - 0)/((-2)/(-4)). Let i be 21112/(-43) + q/6. Let x = i - -495. Which is smaller: 0 or x?
0
Let g = 186096 + -186098.7. Let f = 447/5 - 90. Which is smaller: g or f?
g
Let z = 22 - -15. Suppose 2992 = 121*v - 33*v. Let t = z - v. Are t and 3 equal?
True
Let h be 7 - (-2)/((-6)/(-9)). Let c be (-6)/h + (-4922)/10580 - -1. Let g be (-1)/4 + (-2)/(-8). Which is smaller: c or g?
c
Let g be (291/18236)/((-333)/(-24)). Which is smaller: 1 or g?
g
Let n = -3210357625925677/348488 - -9212247268. Let s = n - -3/2744. Which is smaller: 1 or s?
s
Let y = -873 - -290. Let h = y + 351. Is h != -3?
True
Let f = -5.57 - -2.38. Let s = f - -3.329. Let v = s - 0.039. Is -50 greater than v?
False
Let y(b) = 195*b**3 - 8*b**2 + 16*b - 17. Let o be y(2). Is 1544 at most o?
False
Let p(i) = -i**2 + 3*i + 4. Let u be p(0). Let o be (u/(-20))/(7/(-995)). Let k = -1840/63 + o. Is -2 greater than or equal to k?
False
Let o = 0 - -1. Let m be (520/(-39) - -5)*1 + (-15)/(-3). Is o less than or equal to m?
False
Let y be 2/(-3) - 70/(-6). Let k be (-4)/(-14)*(-483 - -602). Let p = y - k. Which is bigger: p or -22?
-22
Suppose -5*u = 4*r - 9927, 0*u = -5*u + 5*r + 9945. Let g = u + -455021/229. Is g at least as big as -1?
True
Let v = 468 - 422. Let u be 1/((-2)/4) - (-2898)/v. Are 61 and u nonequal?
False
Suppose 4*r - 3*k = -18, -5*r + 0 = 5*k + 5. Is -0.1039 greater than r?
True
Let h = -182 - -121. Let g = 1013.44 - 952. Let w = h + g. Which is bigger: 0.2 or w?
w
Let s = 262.0583 - 0.0583. Is -7/6 at most s?
True
Let z(j) = 3*j - 2. Let u be z(-1). Let n(v) = -v**2 - 2*v + 20. Let b be n(u). Suppose b*c + 21 + 5 = 4*m, c - 2 = -m. Which is smaller: c or