lse
Suppose -50*b + 53*b = 6. Suppose b*u - 3*l = -11, l + 9 = 2*u + 2*l. Is 10/13 > u?
False
Let x = -334.0408 - -0.0408. Let j = 339.96 + x. Let b = -6 + j. Which is bigger: -1 or b?
b
Let p(h) = 12*h - 5 - 10*h + 1. Let w be p(4). Which is smaller: 8 or w?
w
Let y = -115 - -87. Is 1/2 greater than or equal to y?
True
Let w be (-28)/(-3)*(21/(-2))/(-7). Suppose -w = -6*p + 196. Do p and 35 have the same value?
True
Let c be 1*(-2 + (-20)/4). Let f = c - -4. Let o be f - (2 - (15 - -1)). Which is bigger: o or 10?
o
Suppose 17*j = 5*j + 156. Which is smaller: 2 or j?
2
Let b = 0.0837 + -12.0837. Which is bigger: b or 0?
0
Let v = -4/205 + 719/5330. Is 0 at most as big as v?
True
Let m be (11 + -10)/(2 + -1). Suppose -m = 2*g - g. Let k be (g/33)/(10/(-90)). Is 1 > k?
True
Let s be 2 - (-25)/(-10) - 1612/56. Which is smaller: -29 or s?
s
Let o = -5 + 12. Let b(t) = -13*t**2 + 18*t + 6. Let l(n) = -9*n**2 + 12*n + 4. Let j(g) = -5*b(g) + 7*l(g). Let d be j(4). Which is greater: o or d?
o
Suppose 185*i = 137*i + 48. Is i at most as big as 7/244?
False
Let u(v) = -v**3 - 14*v**2 + 18*v + 46. Let s be u(-15). Is s smaller than -2/283?
False
Let r = 12 - 17. Suppose -13*o + 8*o = 25. Are r and o equal?
True
Let p be (5/15*-2)/(2/14). Which is smaller: p or -6?
-6
Let m = -530 - -523. Are m and -145 unequal?
True
Let q = 5 - 9. Let s be (-2 + -1)/1 + (-3)/1. Let p = s + 4. Which is greater: q or p?
p
Let a = -592.45 - -592. Which is bigger: -1 or a?
a
Let w be (-2)/(-1) + (-1170)/663. Are 1 and w equal?
False
Suppose h = -4*h + 60. Let j be 4/h - 28/120. Let s be 0/(2 - (2 - 1)). Which is smaller: s or j?
s
Let f = 29 + -34. Let n be f/(-35) - 3/7. Let j be 2/70 - 4/(-10). Which is bigger: n or j?
j
Let v = -3.9 + 4. Let o = 12 - 24. Let b = o - -12.7. Which is bigger: b or v?
b
Let g = 20/33 - 34/165. Which is greater: -117/2 or g?
g
Suppose 8 = 3*n + 14*z - 9*z, 0 = -2*z + 2. Which is greater: 12/61 or n?
n
Let a = 0.251 + -0.128. Which is smaller: a or 0?
0
Let d be ((-873)/12)/((-12)/8). Let n = -397/8 + d. Which is bigger: -2 or n?
n
Let d = -10.78 - -9.9. Let a = -4.88 + 5. Let x = a - d. Is x at least as big as -3/7?
True
Let s = -35 - -60. Let i be 10/(-35) + (-312)/(-14) + 3. Is s equal to i?
True
Let c = 36 + -35. Suppose j + 6 + c = 0. Which is smaller: j or -4?
j
Let x = -12478678/355005 - -134/15435. Let f = -22/115 + x. Let n = f + 35. Which is greater: 1 or n?
1
Let h(a) = a**3 - 6*a**2 + 7*a - 11. Let u be h(5). Do u and -10/47 have different values?
True
Let z = -3791/2 + 1943. Let b = z + -48. Suppose 4*p = -p + 4*r - 80, -3*p - 61 = -5*r. Do b and p have different values?
True
Let f(q) = 249*q**3 + 5*q - 4. Let a be f(1). Does a = 250?
True
Let y = 11.82 - -0.18. Let x = 19 - y. Let l = 18 + -19. Which is smaller: x or l?
l
Let o(p) = 7*p**2 + 2*p - 5. Let z(t) = -3*t**2 - t + 3. Let j(q) = 2*o(q) + 5*z(q). Let y be j(0). Suppose 0 = -8*i + 12*i - 20. Is i != y?
False
Let x = 2.95 - 2.8. Let k = x - 0.24. Let m = k + -5.91. Which is smaller: 0 or m?
m
Suppose -o + 604 = -0*t + 4*t, t - o - 156 = 0. Is 152 not equal to t?
False
Suppose -2*r + 4*v = -32, 4*r - 116 = -2*v - 22. Suppose 19*g - 12 = r*g. Which is smaller: g or -2?
g
Let x = 472 - 471.99. Which is greater: x or 21?
21
Let x be 0 + 1 + 60/24. Suppose -5*y + 40 = -3*y. Suppose -4*i = 2*o - y, i + o + 1 - 7 = 0. Which is smaller: x or i?
x
Let v = -182 - -183. Which is bigger: v or -1/392?
v
Let t be 2/5 + 162/495. Let c be 24/72 + (-1)/3. Which is smaller: t or c?
c
Let b be (-3 - (1 + -4)) + -8. Let h(f) = -f - 9. Let m be h(b). Let v = m - -3. Do 3 and v have the same value?
False
Suppose 1790 = 1288*y - 1283*y. Which is smaller: y or 357?
357
Let g = 189 - 395. Let j be -1*1 - 15572/76. Let o = j - g. Is -1 less than o?
True
Let s = -3151 - -3150.6. Let r = 6.7 + -7. Which is greater: r or s?
r
Let o = 1175.13 + -1169. Let f = -0.13 + o. Let l = -8 + f. Is l bigger than -4?
True
Let q = -0.0603 + -166.9397. Which is smaller: -1/5 or q?
q
Let f be 6342/2385 - (-3 + 3). Let p = 2/265 + f. Let x be (-5)/(-1) + (-6 - -5). Which is smaller: p or x?
p
Let w = -114 + 915/8. Let a be ((-1)/(-2))/(1/(-2)). Let s(u) = u + 1. Let p be s(a). Is p bigger than w?
False
Let b = 9065/78 + -349/3. Which is smaller: -1 or b?
-1
Suppose 16 = -6*y + 8*y. Let x be 756/(-375) - (y - 10). Is x < 1?
True
Let h(b) = b**3 - b**2 - 3*b + 1. Let a be h(2). Let z = -15 + 21. Suppose 6*k = 9*k - z. Is k bigger than a?
True
Let m be ((-8)/4)/2 - -9602. Let t be m/(-12) - 5/(-15). Let b = t + 796. Is -5 at most as big as b?
True
Suppose 2*h = 4*h + 4. Let b = -33 + 33. Let s be (-2)/3 + b/(-2 - -4). Is s smaller than h?
False
Let r be 3/(-12) - 0 - 36/(-16). Suppose -m - 45 = -5*w, -w + 2*w - r*m = 18. Which is greater: w or 6?
w
Let i be (8 - 8)/(-1 + 4 - 0). Which is smaller: i or -1/25?
-1/25
Let f be (4/(-3))/((-1)/(-3)). Let d be (f/6)/((-442)/(-39))*4. Suppose 4*l + 0*m - 2 = -2*m, -3*m = -5*l - 3. Which is smaller: l or d?
d
Let n = -307/4 - -59857/780. Which is smaller: n or 0?
n
Suppose -4 = 3*r - s - 0*s, 4*r - 5*s = -20. Let j be -2 - (-234414)/(-280) - (-15)/(-20). Let c = j - -840. Is r at most c?
True
Let j = 43 - 46. Let k(r) be the first derivative of -r**4/4 - r**3 + r**2 + 4*r + 1. Let i be k(j). Which is bigger: -4/5 or i?
-4/5
Suppose 3*q + 21 = h - q, -4*h + 32 = -3*q. Suppose 5*i + 3*j = 2*i + 15, h*j = 3*i + 25. Is -2/25 <= i?
True
Suppose -7*g + 2*g = -60. Suppose 2*p - 6*p = g. Is -9/5 at most p?
False
Let v = -60 + 101. Let p = 41.1 - v. Which is smaller: 1.6 or p?
p
Suppose 5*l = -4*a + 4*l + 87, 0 = -2*a + 2*l + 36. Is a < 21?
False
Suppose 7*s = 9*s. Is 4 >= s?
True
Let q = -0.05 - -0.19. Let z = 0.06 + q. Let o = 1 + -1. Is o at least z?
False
Let d = -441 - -440.9. Which is bigger: 70.4 or d?
70.4
Let x = 331 - 331.05. Which is smaller: x or 13?
x
Suppose -148 = -22*g + 160. Let y be (1 - (0 + 2))*2. Which is smaller: g or y?
y
Let h be (1/2)/((-4)/(-32)). Suppose 4*r - 44 = -0. Let f be (r - 6 - 9)*(-22)/28. Which is greater: f or h?
h
Suppose -2*l = 3*m - 11, 4*l + 2 = -m - 1. Let t be (7/((-21)/(-5)))/((-30)/(-18)). Does l = t?
False
Let k = -1128/183407 - -1/931. Let c = 11187727329/2167 - 5162772. Let n = c + k. Is n at most -2?
False
Let a = -312 + 301. Which is bigger: a or -9/7?
-9/7
Let d = -425/124 - -21/31. Let t(q) = q - 8. Let a be t(6). Is d at most as big as a?
True
Let w = -84.953 - -85. Let o = w - 1.047. Which is smaller: o or 0.1?
o
Let f(u) = u**2 + 4*u - 1. Let p be f(-5). Let t = -40 + 38. Let n be (-1)/(-6) - t*7/(-12). Which is smaller: n or p?
n
Let f be (-4)/(-7) - 96/(-28). Suppose 20 = -f*y - 112. Is -34 < y?
True
Suppose 6*g = 146 - 152. Which is greater: 3/1018 or g?
3/1018
Let z be (((-192)/60)/(-8))/(2/30). Let v be 7 - (-3)/((-6)/4). Suppose v*f - r = 23, -3*r + 2*r = 2*f - 5. Which is smaller: f or z?
f
Let b be 2/(-7) - 129/(-231). Let i be ((-2)/5 - 0)/(5/75). Let w be (-3 + i/(-2))/(-2). Which is smaller: w or b?
w
Let q(m) = m**3 - 49*m**2 - 54*m + 182. Let d be q(50). Which is smaller: d or 10?
d
Suppose 42*r + 39*r = 1701. Let u(s) = 9*s - 5. Let c be u(-5). Let b = -28 - c. Is b less than or equal to r?
False
Let f = 262 - 5506/21. Let s = -64 + 65. Which is smaller: s or f?
f
Suppose 2*s = 2*y - 3*y + 18, 0 = 5*y - 4*s - 34. Which is bigger: 14 or y?
14
Let f(c) = -c. Suppose -2*x = -5*o - 23, 4*x = 3*o + 9*x + 20. Let z be f(o). Let d(g) = -g**3 - 5*g**2 - 5*g + 2. Let a be d(-4). Is a < z?
False
Let n(t) = -t + 9. Let q be n(8). Suppose q = 6*z - 17. Which is bigger: 2 or z?
z
Let h be (-18)/(-12) + (-36)/8. Which is smaller: -1 or h?
h
Suppose -a + 5*d = -22, 0 = -2*a - 3*d - 8 + 78. Suppose -a + 8 = -4*c. Suppose 0 = 3*v + c - 0. Is v > -1?
False
Let f = 185 + -184.92. Do f and 5 have the same value?
False
Let r = -0.2 - -0.1. Let k = r - -0.1. Suppose 0 = -196*v + 172*v - 24. Which is smaller: k or v?
v
Let r be (-42)/(-210) - (-19)/(-10)*-52. Do r and 99 have different values?
False
Suppose 10*m + 184 = 6*m. Are 2 and m nonequal?
True
Let o = 518 - 4135/8. Are o and 1 non-equal?
True
Let q(i) = -i**2 - 19*i + 3. Let v be q(-19). Let m be (-52)/(-8)*-4*v/6. Suppose f - z = -2*f - 45, 2*z - 76 = 5*f. Is m greater than f?