-15)). Let l = q - -204. Which is smaller: 0 or l?
0
Let a be -1*4/40 + 39/190. Which is bigger: a or -1?
a
Let j = -127789893/4253 + 30047. Which is smaller: j or -1?
-1
Let l be -8 - 4*(-153)/12. Is l less than or equal to 173/4?
True
Suppose 8*f = 106 + 166. Let o be (-16)/f*(0 - (-5)/(-20)). Which is smaller: o or -2?
-2
Let z = 95.3 - 91. Let m = 4.2 - z. Which is smaller: -0.14 or m?
-0.14
Let v(m) = 3*m**2 - 2*m + 1. Let l be v(1). Suppose 6 = -l*f + 4. Let x be (-9)/(-8) - ((-286)/(-104) - 2). Which is bigger: f or x?
x
Let w = 21.06 - 21. Let d = 771/8 - 96. Is w equal to d?
False
Suppose 2*x - 54 = 2*m, 5*x + 5*m = 129 + 16. Which is greater: x or 5?
x
Suppose 0 = 2*q - c + 4, -6*q + 4*q + 4*c = 10. Let o be ((-7)/(-3))/((-18)/(-162)). Suppose -4*k + 28 = -h, 0*k + o = 3*k + 4*h. Is q not equal to k?
True
Suppose -3*x = 2*u - 5*x - 522, -2*x - 1034 = -4*u. Let h = 4353/17 - u. Let o = 1 + -1.2. Are o and h equal?
False
Let i(h) = h**2 + 7*h + 8. Let b be i(-1). Which is bigger: b or 28/11?
28/11
Let q(u) = 2*u - 3*u + u**2 + 15 + 0*u + 0*u. Let n be q(0). Suppose -5*x + p + 5 = 0, -5*x - p + 4*p + n = 0. Which is bigger: -3/23 or x?
x
Let f(o) = -11*o - 108. Let z be f(-17). Which is bigger: 78 or z?
z
Let g = 167579/6 + -28010. Is g at least -81?
True
Suppose 0*c - 4*c - 50 = -5*u, 0 = 4*c. Suppose u*r + 3 = 7*r. Which is bigger: r or -6/13?
-6/13
Let l be 58/(-20) - (-92)/(-920). Suppose 2*y = 3*y + 3. Does y = l?
True
Suppose -27*p - 29 = -30*p + 5*w, -2*p + 34 = 4*w. Which is smaller: 2/3 or p?
2/3
Let m = 7.5 + -8.13. Let u = m - -0.73. Which is greater: 8/5 or u?
8/5
Suppose 5*f = q + 140, -q - 5*f = -2*f + 156. Let r = -231 - q. Which is smaller: -80 or r?
r
Let z = -0.04 - -0.12. Let w = 0.28 - z. Is -11 > w?
False
Let j(w) = -2*w + 4. Let u be j(3). Let i be (36/27)/(u/(-12)). Is 7 equal to i?
False
Let o = 220 - 219. Which is greater: -3/35 or o?
o
Let n = 2712 + -141029/52. Let q = 1/4 + n. Suppose -13 = -3*j - 5*y, -2*j + 3*j + 3*y = 7. Which is greater: q or j?
j
Let d(r) = r**3 + r**2 - 3*r + 2. Let k be d(2). Let q(x) = 1 + x - 2*x**2 - 4 + 2 - x**3. Let n be q(-3). Which is smaller: n or k?
n
Let l = -0.044 + 1.044. Let x = -1 + 0.5. Let g = x - l. Are g and 1 nonequal?
True
Let m = -8.78 + 6.78. Which is smaller: 227 or m?
m
Suppose 6*u = -687 + 33. Which is smaller: -1 or u?
u
Suppose 1940 = -2*o - 2*b, -1739 - 193 = 2*o + 4*b. Are 1 and o nonequal?
True
Suppose 0 = -4*f - j + 69, -4*f - 4*j = f - 100. Suppose 0*m - 2*m = f. Let c = -9 - m. Is -1/5 greater than c?
True
Let o = 24 + -19. Suppose -2*q + 16 = -4*n, q = -5*n - 4 - 16. Suppose q*u + u = 6. Which is smaller: o or u?
o
Let c be (-13)/(91/(-28)) - 7. Let l be 39/(-35) + (-15)/25. Which is bigger: l or c?
l
Suppose 114 - 170 = -4*t. Which is smaller: 166/11 or t?
t
Let u = -31 - -18. Let h = 7 + u. Let p = h - -6. Which is smaller: 4/3 or p?
p
Let x = 3 + 0. Let s be (58/20 - x)*1. Is 0 smaller than s?
False
Let h = 3 + 4. Suppose -5*q + 57 = 27. Are q and h unequal?
True
Let k be ((-88)/16 - -6)/((-206)/(-24)). Is -1 > k?
False
Let q(j) = -j**2 + 2*j + 10. Let l be q(6). Let s = 91 + -29. Suppose -4*k = -6 + s. Do l and k have the same value?
True
Let a = -13.25 + 0.25. Let g = 1.1048 + -0.8048. Which is smaller: a or g?
a
Let w = 8 - -2. Suppose -w*n - 9*n = 38. Are n and 19/4 nonequal?
True
Let f(x) be the first derivative of x**4/4 - 2*x**3/3 - x**2 + x - 2. Let i be f(3). Is i bigger than 5?
False
Let d(m) = -2*m**2 - 6*m. Let g be d(8). Is -175 at least as big as g?
True
Let b be 122 + (8/12 - 2/3). Let s = 132 - b. Is 54/5 less than s?
False
Suppose -119*a + 8 = -117*a. Let k = 0.6 - 0.3. Let y = -1.7 - k. Which is bigger: a or y?
a
Let b = -99.64 + 97. Let o = 0.16 - b. Let d = o + -2.63. Is d != -1/3?
True
Suppose 8*r = 13*r - 465. Let p = r - 77. Is 19 > p?
True
Let z = -145 + 287. Are 140 and z unequal?
True
Let x = -51 - -31. Let u be (10/10 + 22/x)*-4. Which is greater: u or 0.1?
u
Let d(t) be the second derivative of -t**3/6 + 21*t**2/2 + 10*t. Let f be d(16). Let w(o) = -o**2 + 5*o. Let c be w(f). Are c and 5/13 non-equal?
True
Let p be (-6)/3 - 7/(-2). Suppose 67 + 39 = 53*l. Do l and p have the same value?
False
Let z = -7701 - -7685. Let u(s) = 2*s - 1 - 6*s + s. Let j be u(5). Is z less than or equal to j?
True
Let v = -2 + 19. Suppose 4*t - 4*m = -5*m, 0 = -3*t - 5*m - v. Let n be 117/54 + ((-21)/2)/7. Which is greater: n or t?
t
Let o(g) = 2*g**3 + 3*g**2 - 2*g - 7. Suppose 8 = -p + 6. Let n be o(p). Is n >= 0?
False
Let l = -594 + 595. Let g be 4/10*(-1)/(-2). Which is greater: l or g?
l
Suppose 7*o + 22 = -27. Let f(k) = -k**2 - 8*k + 13. Let m be f(o). Which is smaller: 22 or m?
m
Let s = -6/2327 - 69156/253643. Is s bigger than 1?
False
Let n be -16*(6/2)/(-3). Let f = 18 - 2. Is n less than or equal to f?
True
Let z = -1.354 - 0.026. Let x = z - -0.78. Is 1 > x?
True
Let w = -326.1 - -326. Is w >= -218?
True
Let w = -9 + -101. Let q be ((45/w)/9)/((-2)/28). Which is smaller: q or 0?
0
Let s = 16 - 18. Let w be 12 + -1 - (0 + s). Suppose 8*t = w*t. Are -4/7 and t unequal?
True
Let l be ((-345)/900)/(1/(-4)). Is 3 bigger than l?
True
Let r = -308 + 308. Which is greater: r or -29/41?
r
Let s = -68.3 - -68.7. Is -4/11 equal to s?
False
Suppose t - 180 = 5*y - 8*y, 4*y - 4*t = 240. Is y less than 63?
True
Suppose -4*x - 278 - 52 = -5*b, 5*x = 4*b - 264. Is 70 bigger than b?
True
Let b be (-5*(-7)/35)/(-30*1). Is -1 at most as big as b?
True
Let p = -69 - -29. Let q = p - -124/3. Let i(v) = -v - 2. Let u be i(-4). Is q > u?
False
Let h(m) = m**3 + 7*m**2 - 20*m - 13. Let i be h(-9). Suppose -2*l - l = i*l. Is 0 less than l?
False
Let t be (-46)/(-616) - (-7)/(-49). Let f = 2/11 - t. Suppose -w - i = -5*w, 0 = w + 3*i. Which is bigger: w or f?
f
Let z(t) = -9*t**2 + 2*t + 19. Let j be z(6). Which is smaller: -294 or j?
-294
Let h(a) = -a**3 - a**2. Suppose 0*k - 5*k = 5. Let z be h(k). Let v = 1.3 - -4.7. Which is smaller: z or v?
z
Suppose 5*o + 30 = -5*p, 0*o = 2*o + 10. Let s be (-2)/(2 + (p - 2)). Suppose s*l = -2, 0*l = -m + 4*l - 8. Which is smaller: m or -11?
m
Suppose -3 = -2*g - 21. Let w(t) = -2*t - 18. Let j be w(g). Is j smaller than -2/31?
False
Suppose -3*k + k + 6 = 0. Suppose 0 = 2*t - 4*t + 3*r + 23, -4*t = k*r - 19. Let s be ((-77)/22)/(6/(-4) + 1). Is t < s?
False
Let h(m) = -3*m**2 - 6*m - 2. Let o be h(-5). Let g = o + 48. Which is bigger: -2/33 or g?
g
Let q = -88 + 104. Let y be (-69)/(-4) - 4/16. Are q and y equal?
False
Let q = -0.73 - -2.73. Which is smaller: 62 or q?
q
Let c = 1854/25 + -19837/75. Which is bigger: c or -189?
-189
Suppose -15*z = -21*z + 2790. Is z <= 465?
True
Let o = 15.3 + -18. Let a = -2.3 - o. Let q = a + -1.4. Do 6 and q have different values?
True
Let m = 85.1 + -84.8. Is 0.17 less than or equal to m?
True
Let a = -267 + 76. Do -191 and a have different values?
False
Let k be 68/5 - 81/135. Suppose k*l - 6*l - 861 = 0. Are 123 and l nonequal?
False
Suppose 6*u = -2*u - 3*u. Is 15/8 smaller than u?
False
Let g(k) = 2*k**3 + 5*k**2 - 11*k + 4. Let a be g(-4). Which is greater: -2/645 or a?
a
Suppose n + 30 = 5*h + 3, 43 = -5*n + 2*h. Let q be ((-32)/12)/(1/3). Which is bigger: q or n?
n
Let w = -0.56 + -4.44. Which is smaller: 0.17 or w?
w
Let g = -13/3 + 5. Let m = -14/99 - -5030/99. Let a = -50 + m. Is a greater than g?
False
Let k be (-62 - 3)*(-2)/(-35). Which is smaller: -5 or k?
-5
Suppose 0*r = 4*r - 20. Suppose -r*g + 0*g = -40. Suppose g = 4*i - 4, 4*i = 3*w + 18. Is -2 >= w?
True
Let h be (31/52)/((-39)/(-468)). Is h greater than or equal to 8?
False
Let f be (3/2)/((-150)/700). Which is bigger: -1 or f?
-1
Suppose -5*a + 5*t = -80, -4*a + 10 = -3*a + 5*t. Let m be (1/a)/(4/24). Let u = -39/2 - -20. Is u < m?
False
Let r = 26 + -33.5. Let n = -6 - r. Let y(d) = d - 8. Let h be y(7). Is h equal to n?
False
Let p = 4214/5 + -843. Is p >= 0.33?
False
Let s = -577 - -506. Is 2 at least s?
True
Suppose 445*y = 452*y + 84. Which is smaller: y or -63/5?
-63/5
Let v be (-2)/(-27)*(-390)/(-20). Is v > 0?
True
Let b = 920 + -216202/235. Which is smaller: -1/5 or b?
-1/5
Suppose 3*l = 2*l - 22. Suppose 0 = 2*u + q + 45, 2*q = 4*u - 3*u + 30. Which is greater: l or u?
l
Let b(v) = -v**3 -