lse
Let x = 844 - 862. Is x bigger than -233/12?
True
Suppose 17 + 1 = -3*x. Let f = 161 - 257. Let r be (18/(-10))/((-36)/f). Which is smaller: r or x?
x
Let u = 138575 + -8314279/60. Is 4 >= u?
True
Let q(g) = -16*g + 11. Let u = 173 + -115. Let f = 60 - u. Let l be q(f). Is l at least as big as -21?
True
Let r be (-29)/(-290) - 290/5400. Do -1 and r have different values?
True
Suppose 2*w = -4*d - 54, 3*w + 89 = 11*d - 15*d. Let b be 90/w - ((-150)/42 - -4). Which is greater: -16/5 or b?
b
Let t = -1031 + 893. Which is smaller: -128 or t?
t
Suppose 303 - 55 = 8*s. Let c = s - 91/3. Which is greater: -0.13 or c?
c
Let u(a) = -a**2 + 7*a + 23. Let j be u(10). Let d be (-25)/j + (24/(-21))/2. Which is greater: 7 or d?
7
Let j = 291/26 - 276880/24739. Are -0.1 and j nonequal?
True
Let u = -134 - -120. Let t = 13 + u. Is -7.2 greater than t?
False
Let g = 0.5 + -4.5. Let r = -302.781 + 302. Let j = r - -0.981. Which is smaller: j or g?
g
Suppose 4*u - 3*x - 322 = 0, -5*u - 2*x + 362 = -52. Suppose -u = -l - 8. Are l and 76 non-equal?
True
Let k be (58/638 - (-111)/(-132))*-2060. Does 1545 = k?
True
Let y = 104 - 94. Suppose y*r + 35 + 55 = 0. Let q = 28 + r. Which is smaller: q or 17?
17
Let k be 16 - 1 - 18875/(-3020). Which is bigger: k or 11?
k
Let i(k) = -k**2 + k + 58. Let x(j) = -3*j**2 - 11*j - 3. Let l be x(-4). Let g be i(l). Which is smaller: g or 4?
g
Let x = 2456 + -2871. Which is bigger: -0.1 or x?
-0.1
Let i = -0.2458 - -0.4458. Let z = 2 + 0. Which is greater: i or z?
z
Suppose 0 = -503*n - 171 + 674. Do -46/659 and n have the same value?
False
Suppose 58*i - 95 = -4967. Let t be (48/15)/(i/35 - -2). Let b(q) = q**3 + 6*q**2 - q - 6. Let k be b(-6). Is t >= k?
False
Suppose 100835 = 9*k + 16*k + 10*k. Which is greater: k or 2882?
2882
Let b = 2253598/551 - 4090. Which is greater: b or -1?
b
Suppose m - 33 = -x - 4*m, 0 = 4*x + m - 170. Suppose -3*q = 4*k - 317, 99 = k - 2*q + 28. Let u = k + -35. Which is smaller: x or u?
u
Let a be (-74)/(-555)*10/(-4). Is a bigger than -239?
True
Let q = -26 - -18. Let b be (9 + q)/(2/6). Let v be 2/b*(-5 - 79). Which is smaller: v or -57?
-57
Let b be 273611439/(-108)*(76/(-6) - -2). Let z = b + -1729453887/64. Let j = z - 635. Which is smaller: j or 1?
j
Let n = 335.64 + -270.64. Which is smaller: n or -10.2?
-10.2
Suppose 3*y + 1 = 10, -3*z = -y - 21. Suppose 18 = -z*s + 42. Which is bigger: 13/3 or s?
13/3
Let j be ((-18298)/28)/((9/9)/(-3 + 1)). Is 9144/7 greater than j?
False
Suppose 0 = -4*q + 5*k - 185 - 27, -k = 5*q + 236. Let z = -142 - q. Which is smaller: z or -91?
z
Let a be 1*(-2 - -2) - (3 + -3). Let b be ((-2)/(-116))/((-63)/756). Is a smaller than b?
False
Let f = -455553 - -254599. Let i = -2609527/13 - f. Let z = 221 - i. Is 6 <= z?
False
Let h = -719 + 1293. Let p = -573 + h. Is 0.015 at most p?
True
Let j(u) = 4*u + 45. Let h be j(24). Suppose -6*w + h = 93. Is w > 11?
False
Suppose 2*s = -8*s + 970. Suppose 2 = -j, -3*h + j + 285 - s = 0. Let q be 9/6*(2 - h/33). Which is smaller: 1 or q?
q
Suppose -6576 = 3*p - 4*h - 332, 3*p + 6236 = 2*h. Is -2077 at most as big as p?
True
Let z = 14/33 - 481/1056. Suppose 4*u = 23*f - 20*f + 3, -5*u - 2 = 2*f. Suppose 0*g - g + 4*g = u. Is z less than g?
True
Let d be 3/(-2)*2 + -42. Let w be 2/(-8) - d/36. Let j = -35/62 - -4149/7130. Is j >= w?
False
Let m be 1*-1 - (91 - -2). Suppose -3*k = -19*q + 21*q - 206, 125 = q + 7*k. Let f = m + q. Which is smaller: f or 9?
f
Let i be (14/18)/(0 + (-5)/4490). Let y = i - -698. Let s = 3 - 4. Is y > s?
True
Let x = 20175/4 - 5070. Suppose -6*k - 78 = 2*k - 5*k. Which is smaller: k or x?
x
Let r(l) = -l**3 - 12*l**2 - 547. Let a be r(-15). Let c(t) = 32*t**2 - t + 2. Let h be c(2). Is h smaller than a?
False
Suppose 4*b + 16 + 10 - 18 = 0. Let q be ((-18)/(-15))/((-9)/(-60)). Which is bigger: q or b?
q
Let i = -29.024 - 0.666. Let u = -5588 - -5618. Let x = i + u. Is 0 bigger than x?
False
Let p be 28/(-363)*(-594)/(-77). Is p less than 0?
True
Let u = -21103/7 - -3013. Does -4 = u?
False
Let d = -155 + 157. Let g be (d + -2 + -3)/(-3). Which is smaller: g or -49/4?
-49/4
Let h(k) = -8205*k**2 - 164103*k + 22. Let z be h(-20). Let f be (-4)/2 + 87*1. Which is smaller: z or f?
z
Let q be (-3)/(11/(132/(-20))). Which is greater: q or 1.3?
q
Suppose 23*m - 17*m = 0. Which is smaller: 4/1425 or m?
m
Suppose p - 26 = -5*x, 15*x + 21 = -4*p + 20*x. Suppose 4*a + 21 = s, 4*s = 2*s - 2*a - 8. Let n be s - -1 - 2 - 0. Which is greater: p or n?
p
Let z be (-228)/(17/((-2618)/(-147))). Let p = z + 239. Suppose 6*b - 2*b - 4 = 0. Is b less than or equal to p?
False
Let l be 3/(-2) + 186/12 + 0. Let a be 98/3 + -2 + 2/(-3). Let h = 45 - a. Is h greater than l?
True
Let p = -3377 + 3378. Which is greater: -1516 or p?
p
Suppose 30 = -27*w + 28*w. Let h be ((-3438)/w)/((-6)/2). Let n = -38 + h. Is -2/23 bigger than n?
False
Let k be (-10)/(-5)*-3 - ((-676)/8)/13. Is k less than -219?
False
Suppose 3*d + 3 + 3 = 0, -4*d - 8 = 3*k. Let m = -12985 + 7154737/551. Is m not equal to k?
True
Suppose 3*n + 287 = 2*w, 270*w = 272*w - n - 289. Which is smaller: w or 179?
w
Let r = 187/4 - 34225/732. Let b = -298/1281 + r. Do 1 and b have different values?
True
Suppose 346*o = 329*o + 918. Let n be 4/14 - (-32)/(-14). Let f be n/(-4) - -3*(-5)/o. Which is bigger: -1 or f?
f
Let p(v) = 5*v**2 - 41*v - 124. Let k be p(23). Which is bigger: 1579 or k?
1579
Let u = 1 - 0. Suppose -o - 814 = j + 2*j, -1634 = 2*o + 3*j. Let r = -27058/33 - o. Which is greater: r or u?
u
Suppose 4 + 318 = 7*k. Let d = k + -30. Suppose -15*s + d*s = 0. Which is smaller: 9 or s?
s
Let m = -33726/1453423 - -15/613. Let l = 6540/452861 + m. Is l at most -1?
False
Let g(w) = w**2 + 2*w - 5. Let z be g(-3). Let y be z/(-4) - (-9)/(-6). Which is greater: 2/63 or y?
2/63
Let j = -6212 - -6212.67. Is 17 < j?
False
Let q(f) = -18*f + 213. Let u(t) = -4*t + 127. Let a be u(27). Let d be q(a). Is d smaller than 0?
True
Let j = -3/81250 + -2922771/60368750. Are j and 0 nonequal?
True
Let o = 14769 - -19769. Let f be (-4 - o/(-8631))/((-2)/6). Which is smaller: 0 or f?
f
Let k = -856/7 + 122. Let s(j) = -j**3 + 41*j**2 - 33*j - 276. Let l be s(40). Is l at most k?
False
Let d = -1073 - -1082. Is 43 greater than d?
True
Suppose t - 3*t = 4, 9 = l - 5*t. Let f be (0 - (-150)/(-8)) + 2/(-8). Let n be l + -1 + (-22 - f). Which is bigger: n or -8?
n
Let l(c) = c + 16. Let g be l(-12). Suppose 0 = -g*u - 11 + 23. Let i be 6*(15/(-6) + u). Which is greater: 11/7 or i?
i
Let s be (-3 + 260/90)/(255/(-13725)). Which is greater: s or 6?
6
Suppose 0 = 4*g - 25 - 23. Suppose 2*o - 2*x - 202 = 0, o + 3*x + g = 109. Let r be 23/o - (-2 - 9/(-4)). Does -1 = r?
False
Let u be -178 - -180 - ((-18)/(-5) + (-8)/4). Is u <= 266?
True
Let h be 6/(-4) + 1534/1180 + (-6168)/10. Is -4318/7 greater than h?
True
Let y(n) = n**2 - 62*n - 1540. Let r be y(81). Is r at least as big as 2/26143?
False
Let l = -3288317/302565 + 51/8770. Let z = l + 65/6. Suppose 2*v = -4*r - v + 7, 0 = -3*r - 3*v + 6. Which is greater: r or z?
r
Suppose -9 = q - 3*l, -3 + 12 = 3*q + 3*l. Let u(g) = 46*g + 336. Let w be u(-6). Let p be (6/(-225))/((-24)/w). Is p not equal to q?
True
Suppose 71*o = -413 + 484. Which is greater: -3/470 or o?
o
Let x = -387 - -198. Let n = x - -75. Let a = 83 + n. Which is smaller: a or 1?
a
Suppose 344*j - 960 = 296*j. Which is greater: j or 22?
22
Let f(i) = 6*i**3 - 6*i**2 + 62*i + 19. Let b(h) = 5*h**3 - 7*h**2 + 63*h + 19. Let a(r) = 7*b(r) - 6*f(r). Let t be a(-17). Which is smaller: -0.08 or t?
-0.08
Let z be (-9978)/(-27) - (-4)/9. Suppose 4*j - x = -309, -5*j + 4*x = z + 30. Are j and -77 nonequal?
True
Suppose 26*n - 9340 = 6*n. Let z = n - 102271/219. Which is smaller: z or 2?
z
Let a be 21888/(-192)*(-2)/(-3). Is -70 at least a?
True
Suppose a - 9 = 5*u, 4*a + 18 = 4*u + 22. Which is smaller: 3/1055 or a?
a
Let u = -7 - -6. Let s = -60143/11 + 5468. Which is bigger: u or s?
s
Let n(j) = j. Let z(y) = -3*y + 144. Let r(d) = 4*n(d) - z(d). Let m be r(58). Is 262 at most as big as m?
True
Let j = 181 - 181.206. Suppose -2*w - 7*w = 11*w. Which is smaller: w or j?
j
Suppose -3860 = 7*v + 284. Is v smaller than -592?
False
Let u = -537 + 550. Let w(k) = -k**2 + k**3