-3*f - 0, f = -z*k - 9. Suppose v - 39*v = 0. Which is smaller: f or v?
f
Let f = 2700 - 939. Which is greater: f or 1759?
f
Let r(q) = 10*q - 52. Let o be r(-6). Let j be (-4)/8*4 + o/(-50). Suppose 8*y + 4 = 12*y. Which is bigger: j or y?
y
Let h(l) = -11*l + 39. Let i be h(2). Suppose -i = -6*u - 11. Which is bigger: u or 24/19?
24/19
Suppose -3*k = z - 471, 0 = 3*z + k - 1080 - 341. Let m = z + -2372/5. Is m at most -39.7?
False
Let o = 12302 - 12128. Which is greater: 182 or o?
182
Let r(k) = -173*k**2 + 7*k - 6. Let h be r(1). Let o = -172 - h. Is o != 2/17?
True
Let x = 7 - 8. Let p be 8*((-35)/(-40))/(-7)*-22. Let y be 1/(p/4) - (-171)/(-759). Is x smaller than y?
True
Let k(c) = c**2 - 5*c + 6. Let h be k(3). Suppose 3*i + 15 = h, 2*i = -4*r - 0*i - 46. Let q = r - -36. Which is smaller: -2 or q?
-2
Let w = -769 - -774. Let x(v) = 9*v**3 - v. Let m be x(1). Suppose 3*p + g = 2*g + 12, 2*g + m = 2*p. Which is smaller: w or p?
p
Let z(a) = -24*a - 9*a - 24*a - 3*a + 8. Let q be z(-2). Is q equal to 128?
True
Let z be (-1)/((-6)/(-30) + (-36)/130). Let b(g) = 5*g - 58. Let o be b(z). Is o smaller than 62/9?
False
Let n be (2/8)/((-12)/2688*-8). Let m(k) = -11*k + 175. Let t be m(n). Which is bigger: t or 96?
t
Let h = 18.814 + -18.854. Is h less than or equal to -205?
False
Let r(g) = 18*g - 157. Let f be r(8). Suppose -2*j = -5*j - 33. Let b = -27 - j. Is b not equal to f?
True
Let s = 848 - 489. Let f = -177 + s. Is f < 361/2?
False
Let f be (66/99)/(12/9). Do -112.92 and f have different values?
True
Let x = -39937 - -279568/7. Is 526 < x?
False
Let z = -15.4 + -2.6. Let m = 346261 + -346259. Which is smaller: z or m?
z
Let x = 3377 + -3339. Let l = 99 + -139.7. Let t = l + x. Which is greater: 0 or t?
0
Let i be ((-480)/2200)/((-50)/(-55)). Is i != 20?
True
Let f(a) = a**2 - 6*a - 4. Let i be f(6). Let j be -1 - (3/(-1) + i + 1). Suppose -28 = -j*w + 87. Which is greater: 22 or w?
w
Let z = 10 + -8. Let q be 10 + (-1)/(6/30). Let u be q + (2/z - 2). Which is bigger: 6 or u?
6
Let x be (-4)/((-1 - 2)*(-10)/(-75)). Suppose 0*c + 50 = -x*c. Let l be 0*(c/((-15)/9) - 4). Which is greater: 1/2 or l?
1/2
Let i = -32769 + 33044. Is 4676/17 greater than i?
True
Suppose -2*v + 15 = -5*k, -3*v + 3*k - 54 = -6*v. Let u be 24/(-8)*(1 + 29/(-3)). Suppose -22*d + u*d - 60 = 0. Is d greater than v?
False
Let u = -2631 - -2632. Let g(s) = 2*s + 10. Let i be g(-7). Let o be i/(-14) - 262/966. Is o < u?
True
Suppose 5*x - 4*j + 84 = 0, -x - 3*j - 3 = 10. Let d be (-4)/99 + x/88. Suppose 25 = -5*r, -3*y + 2 = -0*r - r. Which is smaller: y or d?
y
Let w(u) = -16*u**2 - 827*u + 78. Let y be w(-52). Which is greater: -53 or y?
-53
Let a = 10 - 8. Let c(z) = -z**2 - 21*z - 98. Let l be c(-7). Suppose a*p + 8*p = l. Is -1/33 greater than or equal to p?
False
Let l = -54 + -31. Let c = -5761.9 + 5762. Are l and c nonequal?
True
Let t = 7.9 - 8.545. Let i = 0.036 - -0.019. Let v = i - t. Is v >= -1/3?
True
Let m = 4/463 + -81/62968. Let b(f) = -2*f**2 - 24*f + 91. Let y be b(-15). Which is smaller: m or y?
m
Let x be (-6)/30 - 46/(-130). Suppose 32*w - 12*w - 60 = 0. Suppose s + 10 = 3*l, w*s - 5*l + 7*l = 3. Which is greater: x or s?
x
Let a be 51738/4446*(-54)/90 - -7. Which is smaller: 1 or a?
a
Let g be 38/(-70) + 4/10. Suppose 19*u - 23*u = 44. Let s be (-1)/(((-2)/(-4))/(u/22)). Is g < s?
True
Let q be (242 + -5)/(9/(-12)). Let z = q - -3775/12. Let a = 11/12 + z. Which is smaller: 2/13 or a?
a
Suppose -75 = w - 2*w. Let g = w - -12. Suppose -4*v = -3165 + 3149, -3*q = -4*v - 245. Is g != q?
False
Let u be (-1016)/28 + 2/7. Let v = u - -43. Let a(y) = y + 4. Let c be a(v). Which is greater: c or 12?
12
Suppose 0 = 3*h + 3*v + 9, 0*h + 3 = -3*h - 5*v. Let r = 242 - 276. Let q = r - -38. Which is bigger: q or h?
q
Suppose 2*g = 5*q - 2*g - 32, -2*g = 6. Suppose 0*c = -q*c + 40. Let l be 1/(c/(-6)) - (-744)/(-360). Which is smaller: l or -3?
-3
Let j be ((-8)/(-69))/((-1290)/387). Is -0.14 at least as big as j?
False
Let x = 615907921/1579 - 390062. Which is smaller: x or 1?
x
Suppose w = h - 6 + 14, 5*h + 25 = 2*w. Let r(u) be the first derivative of -u**2/2 - 8*u - 5. Let j be r(-14). Which is greater: j or w?
j
Let q = 2.076 + -2.236. Which is smaller: q or -10?
-10
Let y be (39/(-3) + -3)/(-2). Suppose -y*j - 10 + 34 = 0. Suppose -2*f = -j*z - 14 + 3, 4*f = -2*z + 14. Which is greater: -4/7 or z?
-4/7
Suppose -2171*b + 3 = -2168*b. Which is smaller: -7/130 or b?
-7/130
Let v = -22.955 + 0.055. Let f = v - 16.1. Is 4 greater than f?
True
Let w be 6 + 19/((-380)/112). Is w >= -125/8?
True
Let c(l) = -1767*l**3 + 2*l**2 - 23*l - 25. Let m be c(-1). Which is bigger: m or 1765?
m
Let m be (2/4)/((-255)/(-60690)). Is m equal to -4?
False
Let u(z) = -41*z**2 - 2*z - 2. Let a be 2*3/(5 + -11). Let s be u(a). Which is smaller: s or -43?
-43
Let x = -269729/222 + 1215. Let q(z) = 21*z - 378. Let m be q(18). Which is smaller: x or m?
m
Let m = 307820/7 - 43974. Let z = -256 + 148. Which is smaller: m or z?
z
Let l = 4968 - 188785/38. Is l at most as big as -10?
False
Let u = -13.16 + 14.16. Is u smaller than -0.0825?
False
Let t(y) = 30*y - 40. Let n be t(1). Is n > -40?
True
Let d(n) = -4*n**2 - 5*n - 1. Let v be d(-2). Let r be v*((-8)/(-4) + 0). Let x be (4/(-20))/(r/10). Which is bigger: 0 or x?
x
Let s be (-10)/(-6)*-3 - (-1 + 1403). Are s and -1412 nonequal?
True
Let y = -486 + 502. Let z be (y/(-230))/(32/20 + -2). Is z at most as big as -1?
False
Let a = 29/36 - -1/36. Let p = a - -265/42. Which is greater: p or 7?
p
Let j(o) = -o**3 + 14*o**2 - 26*o + 6. Let g be j(12). Let b = 2550 - 10127/4. Let c = b + g. Are c and 38 nonequal?
True
Suppose -49*d + 489909 - 22837 = 60519. Which is smaller: d or 8298?
d
Let y = -161/758 + -56189/22740. Is -2 at most as big as y?
False
Let c(w) = -55*w**3 - 2*w**2 - 2*w + 5. Let d be c(1). Which is smaller: -1.4 or d?
d
Suppose -177 - 83 = 52*w. Which is smaller: 59 or w?
w
Let s = 294 - 293.983. Let c(k) = 5*k - 30. Let p be c(7). Suppose p*y + 0*y = 2*y. Which is greater: y or s?
s
Suppose 52*v = 11*v + 8*v - 2277. Is v smaller than -73?
False
Suppose -76 - 50 = 12*c + 18. Does -18 = c?
False
Let j = -1205/38 + 818499/25802. Which is smaller: j or 0?
0
Let a be ((-2)/6)/(7/(-15)). Let g = 10 + -10. Suppose 0 = 5*p + b + 1, g = 5*p - 5*b - 5. Are a and p unequal?
True
Let c = 53 + -37. Let w = c + -28. Suppose 3*u + 22 = -4*i, u - i + 18 = 3*i. Which is smaller: w or u?
w
Suppose -4*c + 56 = -80. Suppose 0 = 4*r - 265 - 107. Let l = r + -60. Which is bigger: c or l?
c
Let u be (-245999)/(-1905) + 4/(-30). Is u greater than 2194/17?
False
Let m = -761.72 + 761. Let y = 0.67 + m. Is y greater than 0.018?
False
Let k = 2185 + -2188. Is -16/5 equal to k?
False
Let h(q) = 2*q - 3. Let l be 30/40*(1 - -11). Let o be h(l). Let d be ((-18)/75)/((-3)/o). Is d at least as big as 4/9?
True
Suppose -j - 4*o = 40, 3*j + 43*o = 46*o - 75. Let x(q) = -q**3 - 4*q**2 + 7*q + 8. Suppose 3*h - 19 + 34 = 0. Let n be x(h). Is j less than n?
True
Let g = -204 + 187. Suppose -2*x = 3*u + 41, 0*u - 5*u - 83 = 4*x. Let m = x - -6. Is g > m?
False
Let r be 6/22*(-43 + 8). Let j = r + 9964/1045. Are 1 and j equal?
False
Suppose 648*m - 453924 - 403148 = -141680. Is m <= 1110?
True
Let k be 45/(-25) + (-1)/(3 - -2). Let d = -1 - k. Let m = -488/13 - -75/2. Which is smaller: m or d?
m
Let j = 709 + -345. Suppose -108 = -l - n, -5*l = -3*n - 152 - j. Let a be 165/l - 0/1. Which is bigger: 3 or a?
3
Suppose 0 = 5*l + 4*f + 10729, 5*l + 48*f = 46*f - 10727. Let q be 8/16 - l/10. Which is bigger: 214 or q?
q
Let h(l) be the third derivative of 7*l**4/4 + 41*l**3/2 + 21*l**2 + 3*l. Let i be h(-3). Let g be ((-3)/5)/(-3)*-18. Which is bigger: g or i?
i
Let n = -77 + 146. Let l = n + -80. Let k be (l - -5)*((-20)/21)/2. Which is smaller: k or 1?
1
Let j = -174.0046 + 174. Let v = j + 0.0616. Which is bigger: -2/3 or v?
v
Suppose -4*b - 15 = -3*k, -3*k = b - 3*b - 15. Suppose -12 = -3*t + 4*r, r + b*r = -3. Which is smaller: t or 26/27?
t
Let y = 32 - 26. Let b be 12/y + 34/(-16). Let i be ((-2)/10)/(10/(-50)). Is i less than or equal to b?
False
Let t be ((-14)/(-4) + -1)*(-21 - -23) - 4675. Which is greater: t or -4671?
t
Let t(z) = 49*z + 2640. Le