lse
Let p = 29.7 + -245.7. Let y = p + 232. Is -4 > y?
False
Suppose 10*w + 6 = 56. Suppose y = 2*b - 1 - 4, -2*y = w*b - 17. Which is bigger: y or -3/61?
y
Let g be (13/(4 + 9))/((-10)/6). Does g = 34?
False
Let j be (-585)/1300*(-2)/3. Let o = -169/472 - 1/59. Which is greater: j or o?
j
Suppose -64 + 55 = 3*n. Let c be (n - -5)/4*148. Suppose j = 4*t - c, 5*j = t - 381 - 27. Does -83 = j?
False
Let n = -108.4 - -107.5. Which is smaller: n or 284?
n
Suppose -3*x + 15 = -2*h - 46, 2*h = -2*x + 44. Let v be 6/(-42) + (-1 - 396/x). Let p be (-30)/((-10)/(-4) + -1). Is v less than or equal to p?
True
Suppose 244 = 26*c + 3052. Let b = c - -306. Which is bigger: b or 200?
200
Suppose -l = -2*l - 3*l. Suppose -2 = -2*h - 6, l = -3*r - 3*h + 276. Which is smaller: 93 or r?
93
Let o = 17370/7 - 2476. Let g = 35639 + -35633. Which is smaller: o or g?
o
Let x(s) = -6*s**3 + 82*s**2 - 43*s**2 - 38*s**2 + 4*s - 2. Let r be x(1). Are -5 and r equal?
False
Let f(a) = -9*a - 840. Let b be f(80). Is -1561 at most b?
True
Let x(m) = -m**3 + 4*m**2 + 2*m - 4. Let o be x(4). Suppose 0 = 2*a + o, -2 = -3*t - 5*a. Let k(z) = z + 14. Let f be k(-11). Is f at least t?
False
Let w(m) = -12*m**2 - 13*m + 51. Let r be w(3). Let u be 2/r*(120/18 + -6). Which is smaller: u or -0.2?
-0.2
Suppose -2*c - 3779 = -5*s + 4778, 5*c + 21291 = -2*s. Which is smaller: c or -12784/3?
-12784/3
Let i = 3662 + -1620. Which is greater: 2039 or i?
i
Suppose 2*c + 5*b + 653 + 7723 = 0, -5*c - 2*b = 21003. Which is smaller: c or -4202?
c
Suppose 11*l - 13*l = 2*g + 8114, -4*l + 12185 = -3*g. Let k be (132/g)/(14/(-3)). Which is smaller: k or -1?
-1
Let p = -330 + 382. Let k be 55 - (3 - 2 - -2). Is k at most as big as p?
True
Suppose 16*d = -5*d + 15*d. Suppose -9*s - 31*s = d. Which is smaller: s or -37?
-37
Let n = -122/113 - -1080/791. Is n equal to 1.23?
False
Let n be (-1)/2 - (-3 + (-53816)/(-21528)). Is n smaller than -1?
False
Let g be 2/3 + 4768/48. Suppose 50*u - g = 54*u. Which is bigger: -126/5 or u?
u
Suppose 11*f = -76*f. Is -27/44 != f?
True
Let d be -1 + 17/6 + (-11)/33. Is -71 smaller than d?
True
Let o be ((-1)/(-2))/((-3)/(-2)). Let l = -14.3 + 14. Let r = -0.4 - l. Are r and o nonequal?
True
Let i be (-1 - -3) + (1 - 2). Let d = -16929700/129 + 131238. Is d < i?
True
Let l(q) = q**2 + 16*q + 74. Let w be l(-5). Suppose -6*u - w - 47 = 0. Is -7 at most u?
False
Let l be (-4)/14*(-28)/20. Let d = 59 + -55. Suppose -d*y + 5 = -3*q, q = 3*q + 4*y - 10. Is l at least q?
False
Let p = -7222 + 6953. Is -271 smaller than p?
True
Let j = -1419.92 + 1420. Which is greater: -1/145 or j?
j
Suppose 279 = 5*k - 386. Let d = k + -133. Which is smaller: d or -2/255?
-2/255
Let d be 34/(-153) + 385/72 + -2. Let y = -2 + d. Suppose 3*r - 5*r + 4*f = 8, -3*f = r - 11. Is r at most as big as y?
False
Let g = -696 - -429. Let f = 256 + g. Which is smaller: f or 2?
f
Let x be 24/18*-3 - 4/6*1887. Which is smaller: x or -1258?
x
Let d = -1115853/98197 + -2/8927. Is -5 at most d?
False
Let j = 0.26 + -0.244. Let t = 8.016 - j. Let d = t - 16. Which is greater: 1 or d?
1
Let n = -1230 - -1221. Which is smaller: -157 or n?
-157
Let j = 4330 + -38972/9. Is 2/735 < j?
False
Let z = 92 + -86. Suppose -7*v + z = -4*v. Suppose -5 = -b - 7. Which is bigger: b or v?
v
Suppose -2969 = -65*h - 14539. Which is greater: -176 or h?
-176
Let q = 35391 + -35392. Which is bigger: q or 30/2003?
30/2003
Let u = -1.77 - -0.17. Let z = -669 + 641. Let n be ((-8)/20)/(z/(-105)). Is u not equal to n?
True
Suppose -4576 = 5*l + 4*v + 3952, v = -3*l - 5114. Which is smaller: -11934/7 or l?
-11934/7
Suppose 0 = -7*w - 115 - 179. Let f be w/28*(-184)/(-6). Are f and -47 nonequal?
True
Let v = -19556/76653 + 1/4509. Which is smaller: v or 1?
v
Suppose -4*x = -5*l + 133, 5*l - 83 = 2*l + 4*x. Let t = 11 + l. Let y be t + (0/3 - -1). Is 38 less than y?
False
Suppose 8 = -5*i + 33. Suppose -4*n + 73 = -i*p + 10*p, 2*n - 33 = p. Which is smaller: 6 or n?
6
Let g(f) = 5*f**2 + 85*f - 1. Let v be g(-17). Let q be (v/158)/((-22)/88). Is q > 0.2?
False
Let s be (-1)/(-73)*((-2)/27 - (-4734)/(-1701)). Is 1 < s?
False
Let p = 12692/3 - 4231. Is 81/2 bigger than p?
True
Let t = 9749 - 77999/8. Suppose 6*x = 2*x. Which is smaller: x or t?
t
Let f = 4969 + -4970. Which is smaller: 15/988 or f?
f
Let i be 7 + (-543)/60 - (-5)/(-20)*1. Let s be (1 + (-16)/5)*1. Let x = s + i. Which is smaller: -4 or x?
x
Let v be ((-22)/59 + 1)*(55 + -59). Do -3 and v have the same value?
False
Let x = 0.7655 - 863.7655. Is x >= -1/3?
False
Let q = 20295 - 507191/25. Are 8 and q equal?
False
Suppose 5*d + 22615 = -4*y, 0 = -2*y + 54*d - 59*d - 11305. Which is greater: -5656 or y?
y
Let s = 2398 - 2078. Which is smaller: s or -2/3?
-2/3
Suppose -26*r + 26 + 0 = 0. Let z be 3/9*-14 + 4 + r. Let k be (-3 + -2)/(0 - -2). Is z smaller than k?
False
Suppose -13241 + 43958 = -9*u. Are u and -3413 unequal?
False
Suppose 46 = 2*v - 152. Suppose p + 66 = -2*w, -4*p + 3*w - 165 = v. Suppose 62*a = 4*j + 65*a + 269, 3*j = -4*a - 207. Is j greater than p?
True
Let g be -2 - (464/(-8) + 8). Let n be (5/((-140)/g))/(92/(-14)). Let l = -1 + 1. Which is smaller: l or n?
l
Suppose 0*i + 122 = -2*i. Let b(u) = -5*u + 79. Let n be b(15). Suppose -3*q - 180 = -n*w, -3*q - w = 2*w + 180. Which is bigger: i or q?
q
Let n = -55 + 142. Let f = -195 + n. Let w be f/(-231) + 16/(-56). Are -1/2 and w non-equal?
True
Let h = 20 - 51. Let q = -29 - h. Suppose 0 = 5*y + 2*s - 17 - 14, 2*y - 3*s - 1 = 0. Is q <= y?
True
Let z(c) = c**3 - 16*c**2 + 46*c + 25. Let r be z(12). Let b = 131/2805 - -2/165. Which is smaller: r or b?
b
Let x be 44 - (-3 + (3 - 1)). Let d = x + -46. Let n = 26792/73 + -367. Which is smaller: n or d?
d
Let i = 0 + -1. Let z = 633 + -305. Let g = -328.1 + z. Which is bigger: g or i?
g
Let t = 56 - -65. Suppose 17*g + t = -763. Which is greater: -51 or g?
-51
Let s = -2539111/232115 - -711/65. Let y = 7624109/42852 + s. Let r = y + -178. Which is smaller: r or 0?
r
Suppose 3*s = 4*v + 48, -v - 2*s = -0*s + 12. Let l = -2 + v. Suppose -50 = 4*t - 10. Which is bigger: t or l?
t
Let o(c) = -c**2 + 21*c - 29. Let m be ((-1)/(-1))/((-31)/186). Let h(d) = -d**2 + 21*d - 29. Let y(w) = m*h(w) + 7*o(w). Let k be y(18). Does 26 = k?
False
Let s = -0.1097 + 2151.1097. Which is smaller: s or -1?
-1
Let y(d) = -6*d**2 + 43*d - 4. Let k be y(7). Suppose o = -3*o + 3*x - 8, -k*x + 9 = -3*o. Are -2/965 and o equal?
False
Let r be ((-178)/(-18) - 11)*20067/(-5). Let y = r + -4355. Are y and -0.2 equal?
False
Suppose -3*n + 11701 = v, 3*v + 15122 - 50225 = -5*n. Is 11701 != v?
False
Let x = 35 + -5. Let b be 3/(-5) - 642/x. Let k be (3/25 + 0)/(b/(-10)). Which is smaller: k or 0?
0
Let n = 19 - 23. Let h(b) = b**2 + 10*b - 8. Let c be h(-11). Suppose 3*x = -c*t + 5*x + 8, 0 = -3*t + 5*x + 11. Is n > t?
False
Let o = -26348 - -26347. Which is bigger: -2/3031 or o?
-2/3031
Let y = 120/49 + -188/637. Which is smaller: y or 3?
y
Let q(o) = o**3 + 16*o**2 + 2*o + 41. Let u be q(-12). Suppose 3*w = -u + 119. Which is bigger: w or 0?
0
Let y = -498 - -512. Let b be (9/((-27)/94))/(y/(-6)). Is 12 < b?
True
Let q be (-21)/(84/(-10)) + (-3 - 9428/(-136)). Is q bigger than 70?
False
Suppose b = 2*b + 36. Let m = -413 - -411. Is b greater than or equal to m?
False
Let q(n) be the first derivative of -130*n**2 - 35*n + 1. Let i be q(-1). Is i at least 223?
True
Let o = -49 + 49. Suppose 3*c + o*c = c. Suppose c = -4*v - 5 + 1. Is v at most as big as -5/3?
False
Let u be 1/9*(6 + 1752/(-291)). Is -1 != u?
True
Let k(t) = -t**3 + 6*t**2 + 15*t + 13. Let d = -46 - -54. Let o be k(d). Suppose -3*b - 30 = -x - x, -2*b + o*x = 31. Is b < -43/5?
False
Let s(v) = 7*v + 2. Let r be (6 - 65/10)/(1/2). Let u be s(r). Let j be (u + 2)/(-198) - (-1)/6. Is j at most as big as -2?
False
Suppose -50 = 2*z + 2*d + 3*d, -2*z - 18*d - 128 = 0. Which is smaller: z or -64?
-64
Suppose 306 = -52*a + 6390. Is 137 <= a?
False
Let m = 1194.097 - 1128.15. Let q = 0.053 + m. Let w = -63 + q. Is 3/5 greater than or equal to w?
False
Suppose -16024 = -5*m - 2*s, -19*m + s = -16*m - 9610. Suppose 33*w - 24*w + m = 0. Which is smaller: w or -355?
w
Let l = 7.3 - -53.7. Let a be 2 - ((-54)/(-42) + 4/4). Is a >= l?
