t g be d*(-1)/16 - (-4)/(-32). Let j(h) = 3*h - 1. Let s be j(-2). Which is smaller: g or s?
s
Let f = 3.324 + -3.24. Which is smaller: f or -3/4?
-3/4
Suppose -9 = -j + d, -3*j - 4*d - 1 + 0 = 0. Let i(u) = u - 2. Let s be i(j). Let v be 56/21*s/4. Is 0 at most v?
True
Let f(q) = -q**2 + q - 1. Let x(n) = -n**3 + 11*n**2 + 4*n - 9. Let b(p) = 5*f(p) - x(p). Let k be b(16). Which is bigger: k or -3/4?
k
Let b = -4292542/153 + 28056. Let h = b + 2722/1989. Which is greater: h or 1?
h
Let q(c) = -c**3 - 5*c**2 - 3*c - 9. Let s be q(-5). Let x = -2.1 - -0.1. Which is greater: x or s?
s
Let j = -242 + 231. Which is bigger: j or -25?
j
Suppose 3*o = 4*i - 352, 232 + 246 = -4*o + i. Which is smaller: o or -124?
-124
Let a = 271 + -495. Let u = 5596/25 + a. Which is smaller: 1/3 or u?
u
Suppose 0*y + 2*y + 3*k = 15, 5*k - 30 = -5*y. Let w be ((-200)/12)/((-2)/y). Let g be 10/w + 2/(-5). Is g < 2?
True
Let w = 128 - 128.053. Let k = 0.053 + w. Which is smaller: k or -1?
-1
Suppose 4*f - 20 = -4*z - f, -3*z + 15 = -3*f. Suppose -j - z*j = 12. Which is smaller: 1 or j?
j
Suppose -11*n - 16 = -7*n. Let d = 3 + n. Is -0.04 <= d?
False
Suppose 25 = -5*a, -4*z - 4041 = -4*a + 5*a. Which is smaller: z or -1010?
-1010
Let l(i) = 11*i**3 - 11*i**2 + i + 11. Let m be l(-11). Let c be (-1)/(-2)*m/(-20). Let x = -399 + c. Which is smaller: 0 or x?
0
Suppose 0 = -6*q + 27 - 93. Let r = -4 + 6. Which is bigger: q or r?
r
Let i be (-3)/((-24)/(-120)*5/4). Which is greater: -42 or i?
i
Let k be (-4)/6 - 2/(-3). Let t = -0.014 + 62.014. Let f = 60 - t. Which is smaller: f or k?
f
Suppose 4*p + 5*o = 2*p + 22, -24 = -p + 4*o. Suppose -p*n = -12*n - 28. Which is smaller: 8 or n?
n
Let g = -10 + 12. Suppose 0 = -5*y + 4*j - 52, -2*j - g = 2. Suppose 2*u = 5*h + 28 + 38, 3*h - 2*u = -42. Do y and h have different values?
False
Let z be (1/(-49))/(3/1 + -2). Suppose 0 = 3*j + 6, -m - 2*j - 4 = 3*m. Which is smaller: m or z?
z
Let v be 14 - 2904/210 - 3/15. Suppose 5*p + g = 0, 2*p + 2*g - 5*g = 0. Which is smaller: v or p?
v
Let f = 2471 - 7271/3. Is f > 48?
False
Let f = 28.11 - 28. Let j = 212 - 211. Which is bigger: j or f?
j
Let h = -189 - -320. Let v = -130.9 + h. Let p = -1 - -33. Are p and v unequal?
True
Let b = 2/13103 + 37471/12041657. Which is smaller: -1 or b?
-1
Let h = 45/11 + -489/55. Let b be -1 - (-1 - (-9)/1). Let i = 3 + b. Are i and h non-equal?
True
Let s be ((-93)/33 - -1) + 2. Suppose 1 = 3*v + 4. Let n be 5/4*v/5. Is s != n?
True
Let a = 11500/7 + -1637. Is a at most 5?
False
Let m = -32 - 4. Is m at most -37?
False
Let m(v) = -7*v**2 - 3*v - 2. Let d(z) = 15*z**2 + 7*z + 5. Let a(u) = -6*d(u) - 13*m(u). Let h be a(-3). Let j be (-4)/h*21/(-6). Are 3/7 and j unequal?
True
Let s be 18/(-14) - 5/(-5). Let t = -4 + 4. Suppose -w - 2*w - 3 = t. Is w < s?
True
Suppose 0 = -2*h + 2988 - 19320. Let f = -3315287/406 - h. Let d = -1/58 - f. Which is bigger: 0.5 or d?
0.5
Suppose 6*j - 66 + 72 = 0. Is -5/4 not equal to j?
True
Let i(d) = -d**3 - 2*d**2 + 4*d + 1. Let t be i(3). Let h be t/14 + 8/28. Let n = 1 + h. Is 1/13 at least as big as n?
True
Let d be 1 + 2 + -1*32. Let w = d + 23. Let m be w/15 + 15/(-25). Which is smaller: m or 0?
m
Let l(a) = -a**3 - 27*a**2 + 30*a + 56. Let o be l(-28). Let s be ((-4)/(-3))/((-12)/(-90)). Is s <= o?
False
Let r = -3.72 - -1.09. Let o = r + 2.6. Is -1/2 < o?
True
Suppose -6*l + 15 = -9*l. Which is greater: l or -46/13?
-46/13
Suppose -8*f = -3*f + 5*m - 30, -15 = 5*f - 4*m. Which is smaller: 4/43 or f?
4/43
Let s be (-5 + 3 + 3)*8. Let t be (4 + (4 - s))/1. Which is greater: 2/125 or t?
2/125
Suppose -2*b - 6*u + 3*u + 15 = 0, 0 = 5*u - 5. Suppose 3*v = n - b*n, n + v + 2 = 0. Suppose -n*x - 16 = 11. Is -7 > x?
True
Let m(a) = -5*a + 29. Let k(w) = w - 1. Let y(s) = 4*k(s) + m(s). Let t be y(-16). Is 1/2 <= t?
True
Let m = -1.49 - 6.91. Let b = -8.5 - m. Which is bigger: b or 104?
104
Let r be 1/((2/21)/2). Let h be 3/(3 - r/6). Let w be ((-8)/6)/(10/30). Is h smaller than w?
True
Let x = 4.2 - 3.7. Let f = -0.5 - x. Let z be 1/(-2)*1/(-1). Which is smaller: f or z?
f
Let m = 27 + -10. Suppose -31 - m = 3*k. Are k and -17 unequal?
True
Let y(s) = 6*s - 3. Let i be y(2). Let j be i/(-12) + (-31)/(-4). Is j at most as big as 4?
False
Let s = 127555/11 + -11606. Let z = 10 + s. Which is smaller: -1 or z?
-1
Suppose -125*d - 57 = -128*d. Is 35/2 bigger than d?
False
Let p = -25/9 + 65/18. Let i(s) = -s**3 + 3*s**2 - 1. Let g be i(1). Are p and g nonequal?
True
Let w(o) = -93*o**3 + o**2 - o - 1. Let d be w(-1). Let f = d + -88. Which is smaller: f or -1?
-1
Let x be 0*(3 + -1)/2. Suppose -t - 3 - 2 = x. Is 2 not equal to t?
True
Let m = -149 - -149. Let p be -1 + 0 - 19/(-11). Which is smaller: p or m?
m
Let q(s) = -s**3 + 8*s**2 + 5*s - 39. Let x be q(8). Is x < 210/19?
True
Suppose 4*f + 28 = 84. Suppose 4*l - 39 = 5*q - 8, -f = -2*l + 2*q. Let h be l/(-6) - 20/(-3). Is 6 at least h?
True
Let r = -1791 - -16117/9. Let y = 2.5 + -0.5. Which is smaller: r or y?
r
Suppose 27 = 3*b + b - 3*l, 2*l = -2. Suppose 0*s = 3*v + 4*s + 14, -b = -v + 4*s. Suppose -4*m + 0*m + 15 = 3*z, 3*m - 2*z + 10 = 0. Which is bigger: m or v?
m
Let x be (1 + (-3 - (-2 + 3)))*-17. Let b be (-11)/((-748)/(-280)) - (-6)/x. Which is smaller: -36/13 or b?
b
Let y be 441/12*-16*2/132. Is y at least -9?
True
Let g be 6/24 - 373/4. Let m = g + 118. Is 23 at most as big as m?
True
Let u = 1030 - 995. Let k(c) = 3*c. Let v be k(1). Suppose v*j - 10*j = u. Do -6 and j have the same value?
False
Let s(a) = -a**3 - a**2 + a - 36. Let v be s(0). Let m be 2/(v/3046) - 1. Let u = m - -170. Is u not equal to -0.3?
True
Let i(w) = -w**3 + w**2 + 3*w - 2. Let u(n) = 2*n - 10. Let l be u(6). Let f be i(l). Is 1/86 > f?
True
Let b(o) = -o**3 + 28*o**2 - 25*o + 6. Let g be b(27). Is 60 at most g?
True
Let s = -8.254 - -0.154. Let c = s + 8.2. Let m(j) = 4*j. Let q be m(-3). Which is smaller: c or q?
q
Let c = -712 + 13532/19. Suppose -k = 4*p - 73, 13 + 27 = 2*p + 4*k. Let u be (-6)/(-27) - 22/p. Which is greater: u or c?
c
Let g be (-3 - -1)/(-2*(-9)/(-11034)). Which is smaller: 1228 or g?
g
Let o = -156 + 21062/135. Suppose -77 = -22*f - 50*f - 5. Which is smaller: f or o?
o
Let i = -12502775/104 + 120221. Let h = 17/8 - i. Let p = h - 61/78. Which is smaller: -1 or p?
-1
Let k = 1583 + -1581. Is 6.63 < k?
False
Let y = -0.6 - -3.3. Let k = y - 2.8. Let z = -1 - 7. Which is greater: k or z?
k
Let j(d) = -8*d**2 + 12*d + 37. Let s be j(-3). Which is smaller: s or -72?
-72
Suppose 27 = -3*g - 2*z, 0 = -5*g + 3*z + 34 - 60. Is -10 > g?
False
Let j(b) = 14*b - 8. Let q be j(4). Which is smaller: q or 49?
q
Suppose -4 = -y + 3*y. Let q be y + 4 - 21/414*40. Is -1 > q?
False
Let x be ((-108)/(-66))/9 + 48/(-22). Which is smaller: x or 1.65?
x
Let i = 1563 - 1560. Which is smaller: 40/23 or i?
40/23
Let a = 2082 + -12563/6. Let r = 106/9 + a. Is r != -0.4?
True
Let g(m) = -2*m**2 + 52*m. Let z be g(26). Suppose 2*u + 4 = z, 4 = 5*n + u - 54. Which is smaller: -1 or n?
-1
Let q = 3.8 - -0.2. Let o be ((-96)/120)/((-44)/(-10)). Are o and q unequal?
True
Let k = 806549/199 + -4053. Is 1 smaller than k?
False
Let a = 295.6 + -296.6. Which is greater: a or -2?
a
Let r = -78.6 + 78.4. Which is greater: 3/11 or r?
3/11
Let j be 2/11 + (-1800)/1551 + 1. Which is smaller: 1 or j?
j
Let u be 2/(-8) + 54/88. Let y(b) = -3*b - 5. Let q(d) = d. Let k be q(-2). Let s be y(k). Is u greater than or equal to s?
False
Let y = -83 - -134. Let j = -50.9 + y. Let t be 12/(2*(-22)/4). Is j >= t?
True
Let g be (5/((-5070)/32))/((-22)/33). Is 1 less than or equal to g?
False
Suppose -4*f + 0 + 12 = 0. Let w = -43 - -42.9. Which is bigger: w or f?
f
Let q(d) = 10*d**2 - 3*d + 29. Let y be q(-9). Let x = y + -38972/45. Which is greater: 1 or x?
1
Let i = 3228/5 - 652. Suppose 0 = x - 0*x + 7. Are x and i unequal?
True
Suppose -g = -1 - 0. Let q = 25261884/629 + -40162. Let z = q + 3/37. Is g greater than z?
True
Let z be (-8)/(-16)*(1 - 5703). Let r = -156801/55 - z. Let l = r - 26/55. Which is bigger: l or -1?
l
Let g be 6 - (-8 + 4 + 11). Do g and 15 have the same value?
False
Let u = -36.3 + -6.7. Let x = 43.33 + u. Let m = -0.43 + x. Which is bigger: m or 4?
4
Let x be (9591/115)/((-36)/