4)). Let f = -1.8 - -1.7. Which is smaller: f or i?
f
Let a be (3 + 3 + -5)*-18. Let g = a - -18. Which is bigger: -7/5 or g?
g
Suppose 3*q + 5*g = 3, 2*q + 1 = 3*q + 4*g. Which is bigger: q or 2/121?
q
Let j(f) = f**2 - 2*f - 1. Let g be j(2). Let d be 3/(-6) + 69/10. Let u = d + -261/40. Which is smaller: u or g?
g
Suppose -48 = -5*m - 23. Suppose m*z - 32 = -27. Which is greater: -2/33 or z?
z
Suppose 0 = 3*y - 4*l - 19, -4 = l - 0. Is 3 equal to y?
False
Let y = -11.9 + 1.9. Let j = 5.73 - -1.27. Let d = j + y. Is -3 at least d?
True
Let m be 4/14 + 40/(-91). Let b = 16/65 - m. Which is greater: b or 9/8?
9/8
Suppose 0 = -4*w + d + 43, -3*w - 5*d - 35 = -5*w. Let l be 36/w + (-4)/(-10). Let o = -0.2 + 0.4. Is o >= l?
False
Let a(u) = -u**3 - 6*u**2 + 9*u + 17. Let h be a(-7). Is h at most 22/13?
False
Let q be (-2)/14*2 - (-455)/49. Let w = 12 - q. Which is smaller: w or 1?
1
Let k = -1161 + 550. Is k at most -610?
True
Let k = -88 + -90. Let f = -177.7 - k. Which is smaller: f or -0.33?
-0.33
Let y be (-130)/6*246/(-205). Suppose 0 = 5*n + 3*s - 127, -2*s = 4*n - 6*s - 108. Is n > y?
False
Let j = -24 - -54. Let z = 61/2 - j. Let y = 49 + -39. Is y equal to z?
False
Suppose -t = t - c - 11, t + 22 = -5*c. Let o be t/(-6) + (-68)/8. Is o at least as big as -8?
False
Let b = 5095/4 + -1262. Is 0 >= b?
False
Let v(m) = -6*m + 6. Let o = 39 + -34. Let s be v(o). Which is smaller: s or -26?
-26
Let z = 497/2 - 235. Let h = z + -155/8. Let m = -11/2 - h. Which is bigger: m or -1?
m
Let t be -2 + -2 - (2 - 4). Let s be 8 + (-3 - (t + 1)). Let i be (-6)/(1 - (s - 3)). Is i at least as big as 1?
True
Let x = 0 + -0.1. Which is smaller: -261 or x?
-261
Let o(b) = b**3 + 3*b**2 - 3*b + 5. Let i be o(-4). Let f be i + 4 + 2*-2. Which is smaller: 12/7 or f?
f
Let y = -351030/127 + 2764. Let p = 3754 - 3754. Are p and y nonequal?
True
Let u be 0/(0 + (1 - -1)). Suppose u = 5*i - 0*i. Let y be 0 - (2/3 - i). Is y greater than 9?
False
Suppose -2*s + 12435 = 4977. Let p = 26149/7 - s. Let i = p + -258/35. Which is bigger: -1 or i?
i
Let b = -45/14 - -19/14. Let o(s) = s**3 + 4*s**2 - 21*s - 83. Let j be o(-5). Is b != j?
True
Let k(u) = 2*u**3 - 33*u**2 - 20*u + 24. Let i be k(17). Is -24 >= i?
True
Let w be (10/5 - -3) + 826/(-165). Is w equal to 0?
False
Let z = -805 + 38. Let c = z + 6149/8. Which is greater: c or 2?
2
Let t = -74 - 916. Let d be (-1)/(-5) - 1422/t. Which is smaller: d or 2?
d
Let c be (7 - 6727/945)/(1/3). Is c at least as big as 1?
False
Let w(b) = -3 + 3*b + b**2 + 2 - 2*b. Let m be w(2). Suppose -m*n - 12 = -2*n. Is n at most as big as -1?
True
Let t be (234/212)/(-13)*16/(-6). Does t = 0?
False
Let s = -68 + 36. Let r = -31.7 - s. Is r >= -6?
True
Let u = 115 + -130. Which is greater: -7 or u?
-7
Let r(u) be the third derivative of -u**6/120 + u**5/10 - 5*u**2. Let m be r(6). Let o = -1779/20 + 89. Which is greater: m or o?
o
Let x be ((-3)/(-2))/((-13)/26). Let r be (-3 - -4)*(0 + x - -2). Which is greater: r or 1/16?
1/16
Suppose 3*p - 2*p - 48 = 0. Suppose -p = -5*m + 4*t, -16 = -3*m - 3*t + 2. Let u(g) = -2*g - 7. Let b be u(-7). Is m at least b?
True
Let w = 25.4 + -26.548. Let l = 0.048 + w. Which is greater: l or -1/3?
-1/3
Let d(i) = -i - 37. Let g be d(-15). Let a = -19 - g. Let c(y) = -y**2 + 5*y - 1. Let n be c(4). Is n at most as big as a?
True
Suppose y + 11 = -2*u - 4*y, -3*y = 2*u + 5. Which is smaller: -0.53 or u?
-0.53
Let f = -323 + 324. Is -1/6 < f?
True
Let f be (10/(-1075))/(78/15). Is f greater than 0?
False
Suppose 3*r + 404 = 155. Let p = r - -29. Which is bigger: p or -55?
p
Let q = 21 + -21.023. Let a = -4.023 - q. Is a less than -4?
False
Let v(m) = -3*m - 1. Let c be v(-5). Let r = 14 - c. Let x = -6 - -13. Is r equal to x?
False
Let o = 339 - 337. Is o != 19/11?
True
Let i(r) = -r**3 - r + 1. Let g(m) = 6*m**3 - 4*m**2 + 5*m + 1. Let t(a) = g(a) + 5*i(a). Let v be t(2). Are v and -5/2 equal?
False
Suppose -3*n + 65 = -4*h, 2*n - 38 = 19*h - 15*h. Is 27 less than n?
False
Let j = 3 - 4. Let r be 9*(j + 6 + -4). Let f be (r/12 - -4) + -4. Which is smaller: 2 or f?
f
Let j(q) = -48*q - 528. Let y be j(-11). Is 41/29 at least as big as y?
True
Suppose 6*b = 3*b. Suppose -4*x + b*k = -5*k + 1, 1 = k. Which is greater: 7 or x?
7
Let d = -8 - -12. Suppose d*q + 2*b = 3*q - 61, 2*q - 3*b + 129 = 0. Let c be 4/(-6)*q/(-6). Which is bigger: c or -0.1?
-0.1
Let h = 613/3 - 179. Do 25 and h have different values?
True
Let t be ((-2)/6 - 0)/(14/(-1113)). Let z = t - 173/6. Which is smaller: z or -3?
-3
Suppose -d + 68 = -n + 5*n, -2*n = -3*d - 48. Let i be 46/(-24)*-2 - (-3)/n. Are 4 and i unequal?
False
Let a be (2/(-5))/(8/(-1120)*-2). Is a > 0?
False
Let n be 1 - (-2 + 86/28). Let s(b) = -5*b - 25. Let f be s(-6). Let j be (-5)/((-25)/(-20)) + f. Is n <= j?
True
Let q = -309 - -923/3. Let c(j) = j. Let x(i) = i**2 + i - 3. Let y(u) = c(u) + x(u). Let g be y(-3). Are q and g equal?
False
Let f = 20 - 19. Let c = 4 - f. Is c greater than 3?
False
Suppose -27*l - 245 - 79 = 0. Which is bigger: l or -16?
l
Let s be (4 - -1)*(126 - -1). Let w = 12703/20 - s. Is 1 < w?
False
Suppose -6*n + 29 - 809 = 0. Let x be (-2)/18 + n/(-198). Is 0 smaller than x?
True
Let s be 14/(-4)*(-29 + -5). Let x be 10/70 - 3/s. Suppose g - 10 = -2*j, -4*g + 39 = 5*j + 14. Are x and g non-equal?
True
Let f = -606 - -605. Which is bigger: -1/6 or f?
-1/6
Suppose 7*w = 4*w + 18. Suppose j - w*j = -25. Let l be j/7 - 7/7. Is l at most -1?
False
Let c(k) = -3*k + 41. Let n be c(-15). Suppose n*y - 90*y = 68. Which is bigger: -20 or y?
y
Let d = -1114/91 - -67365/5642. Let s = d + 1/62. Which is smaller: s or 1/3?
s
Let f(p) = -2*p**2 + p + 11. Let y be f(-4). Suppose 5*r - 4*u + 60 = -61, 0 = -4*r - 3*u - 103. Is y at least r?
True
Let w = -2369 - -2414. Which is bigger: 44 or w?
w
Let v(k) = 12*k - 17. Let g be v(6). Suppose 0 = 3*i - 41 - g. Is i bigger than 32?
False
Let u(n) = -4*n**2 - 44*n - 3. Let l be u(4). Which is smaller: l or -0.1?
l
Suppose -2*j = -6*j + 25*j. Let z be 2/(-6) + 38/123. Is j at most z?
False
Let s be 4 + (-2 + 3)*-8. Let t be (3/((-6)/s))/15. Is -1/4 less than t?
True
Let u(b) = -2*b + 1. Let c be u(2). Suppose -q + 8 = -3*i - 4, 2*i = -8. Suppose -4 = 2*t - q. Which is smaller: c or t?
c
Let h = -4 - 3. Let c be 21/(-28) - h/20. Let f be (-3 + 3)*1/2. Which is smaller: f or c?
c
Let y(s) = s**3 + 16*s**2 - 2*s - 32. Let m = 153 - 169. Let z be y(m). Let a = 6 - 16. Is z at most as big as a?
False
Let f be 17*(117/26)/(21/4). Let d = f - 661/42. Which is smaller: d or -1?
d
Let m be (2 - 70/30) + (-4)/(-3). Let a be 2/(-108)*(-2 - 0). Which is smaller: m or a?
a
Let f = -1445 - -1519. Let m = 0.08 - -0.02. Which is greater: m or f?
f
Let m = -185 + 209. Is m <= 24?
True
Let f = 12 + -57. Which is bigger: -48 or f?
f
Let f be 12/20*4/6. Let q = -4 - -3.89. Which is greater: f or q?
f
Let l be 63/7 + -8 + -3. Is l bigger than -186?
True
Let b be 9/(-47)*(-161)/(-207)*12/14. Suppose 4*c + 4 = -0*c. Are b and c unequal?
True
Let i = 1537/5 + -307. Is i equal to 5/27?
False
Let i = 0.971 - -0.029. Which is bigger: 344 or i?
344
Suppose 2*n = o - 2*n - 1, n = 0. Let y = -8/3 + 3. Which is greater: o or y?
o
Let z = 19 + -11. Suppose 1444 - 1548 = -4*l. Suppose -z = -3*d - l. Is d <= -6?
True
Let z be (-4)/(-16) - (0 + 231/28). Let u be 4*1/(1 - -1). Do u and z have different values?
True
Let x be ((-112)/24)/((-4)/102). Let p = x + -116. Which is smaller: p or 2?
2
Suppose 2*z - 18 = -4*c, -z + c + 5 - 2 = 0. Is 82/15 != z?
True
Let q(a) = a + 16. Let h be q(-11). Suppose -w = -n - 175, h*n + w = -768 - 119. Let u = 1237/7 + n. Which is smaller: 0 or u?
u
Let r(y) = -y**3 - 2*y**2 + y + 1. Let u be r(-1). Let g = 919/9 - 102. Is u > g?
False
Let x be 3 + 1*(-2)/(-1). Suppose 2*w - x*q = -8, q + 2*q = -5*w + 11. Let z be (-4*(-1)/(-18))/((-16)/(-3)). Which is bigger: w or z?
w
Let h = 464 + -475. Which is bigger: -0.02 or h?
-0.02
Suppose -l + 0*l - 324 = 5*r, r = -5. Which is smaller: l or -298?
l
Let k = 21980/29 - 758. Which is smaller: 1 or k?
k
Suppose -33*o + 27*o = 0. Suppose o = 4*y - 5*t - 12, 13 = -2*y - t + 5. Is -10/17 greater than y?
True
Let o(u) = -20*u - 84. Let s be o(-5). Is s <= 14?
False
Let v be