t be -1 + -4 + (-60)/(-15). Let l be -2*(-3)/(-28) + 0. Which is smaller: t or l?
t
Let w = -0.9 + 1. Let t = -4.16 + 4. Let b = 1.16 + t. Is w greater than or equal to b?
False
Let j = 33 - 57. Let d be 4/j + (-2)/(-4). Which is smaller: d or 13/3?
d
Suppose 3*h = -3*z + 9, 3*h + 2 = 17. Let c be 3 + z/2 + -1. Let f be 48/(-18) - -3*c. Is f >= -13/4?
True
Let a = 50 - 47. Suppose -q = 2*y - 8, -16 = -3*q - y - a*y. Which is greater: q or 0.077?
0.077
Let w = -6773/25 - -271. Let z = w - 232/3525. Is 1 >= z?
True
Let k = -467/3250 - -9/250. Which is bigger: 1 or k?
1
Suppose 17*z + 207 - 224 = 0. Do z and 17/23 have different values?
True
Let n = -33 - -33. Let y = -21.18 - -21. Is y greater than n?
False
Suppose -4*s - p + 12 = -3*p, 0 = 5*s - p - 9. Let q be (-11)/33 + s/3. Which is greater: -3/10 or q?
q
Suppose -7*j - 297 = -16*j. Is 33 at most j?
True
Let h = -2.25 + 1.25. Which is smaller: h or 0.14?
h
Let c = -7.4 + 45.4. Let l = c - 37.9. Let s = -13 - 4. Is l greater than s?
True
Let b be (-7)/14 - (-4826)/12. Let y = b - 398. Suppose 2*d - 2*m + 12 = 3*m, 3*m = -5*d + 32. Which is bigger: d or y?
d
Let y(c) = 3*c**3 - 3*c + 4. Let q be y(2). Let s = q + -23. Let p be 5*(0 + (-1)/6). Which is smaller: p or s?
s
Let y = -49.56 + -0.44. Let a = y + 49.4. Is 1/2 >= a?
True
Let i be 2/(-5) + (-18)/5. Suppose 19*m - 56 = -151. Which is greater: i or m?
i
Let u be (-25)/(-125) + ((-11)/5)/1. Which is smaller: u or 3?
u
Suppose 0 = -3*c - 12, 5*m - 4*c - 76 - 665 = 0. Which is bigger: m or 144?
m
Let x be (1 + -2)*(-1 - -1). Suppose -2*r + r = x. Suppose -5*u + 1 = 2*q - 0*q, u + 4 = q. Are u and r nonequal?
True
Let s = 5.4 + -5.4. Let w = 25 + -16. Which is bigger: w or s?
w
Let t(g) = -4*g + 6. Let q be 1 - (0 + -3 - -9). Let y be t(q). Suppose 12 - y = -2*j. Which is smaller: j or 6?
6
Let g = -34 + 37. Suppose -55 = -2*c - 2*c - 5*f, 0 = 3*c + g*f - 39. Is c greater than or equal to 68/7?
True
Suppose -82 + 72 = m. Is -8 <= m?
False
Let a(g) = -5*g - 28. Let v be a(-9). Suppose y - 6 = u + 3, u + v = -y. Are u and -13 non-equal?
False
Let r be (8 - (-940)/(-115)) + (0 - 0). Let j(b) = -b**3 - 5*b**2 + 5*b - 7. Let k be j(-6). Which is bigger: k or r?
r
Suppose -3*t - 5*o + 25 + 1 = 0, t + o - 6 = 0. Let y be -5*2/(t - (-4)/(-3)). Is -15 greater than or equal to y?
True
Let f(t) = -4*t**2 - t + 1. Let d be f(1). Let x = 3321 - 3321. Is d < x?
True
Let n = -96 - -68. Let r = n + 139/5. Let y = -248 - -248. Which is smaller: y or r?
r
Let w = -2.6 - -2. Let b = 1.03 + 0.57. Let o = w + b. Which is bigger: o or -2/17?
o
Let w = -11595 - -11596. Let z be ((-2)/(-42))/((-4)/(-54)). Which is bigger: w or z?
w
Let u = -2/171 - 112/171. Are 5.2 and u nonequal?
True
Let j = 10/17 - -11/68. Let o = 962.7 + -963. Is j >= o?
True
Suppose 2*q - 17 + 9 = 0. Suppose -v - 2*c = 12, 3*v - 4*c = q*v + 16. Suppose -9 = 3*k + 3*n, -3*k - n + 3*n = 29. Is v < k?
True
Let p = -33 - -33.205. Let h = p - 0.105. Is 71 bigger than h?
True
Let f = 0.8 + -1. Let p = 0.232 + -0.092. Let o = 0.12 - p. Is o at most f?
False
Let s = 433.1 - 433. Is 1313 at most s?
False
Let h(y) = y**3 - 7*y**2 - 66. Let z be h(8). Let g be ((-8)/(-2))/(6/(-9)). Do g and z have the same value?
False
Let p = -0.93 + -0.07. Let u = p + -10. Let x = u - -4. Are -0.1 and x non-equal?
True
Let z = -609.9 - -624. Is -2/5 != z?
True
Suppose 2*s = -4*i + 112, s - 56 = 2*i - 6*i. Suppose -12*j + 19*j - s = 0. Suppose -3*u - 1 = -22. Which is smaller: j or u?
u
Let b be 4/18 - 1888/8415. Let x = b - 1808/28985. Let h = -1296 - -1297. Do x and h have different values?
True
Suppose -2*f + 101 = m + 25, -2*m - 5*f = -151. Is m <= 384/5?
False
Let f = -1 + 0. Let i = -2 - f. Let x = 593 - 593.2. Which is bigger: x or i?
x
Let g = -69 + 8. Let x = g + 60. Which is bigger: -0.05 or x?
-0.05
Suppose 53 = -9*d - 46. Let z be -3 - (d + 4) - 13/4. Is 0 > z?
False
Let l be 1/4 - (-21)/12. Suppose n - 2*j + 0 + 6 = 0, -3*n = 2*j - 14. Let q be (3/n)/(-4 + 36/8). Which is bigger: l or q?
q
Let p be (2 - 1)/((-23)/(-1)). Let c = 1/3 + -7/12. Let z = 15/28 + c. Which is bigger: z or p?
z
Let k be 8/(-6)*2/(-4). Let n = -74 + -10. Let j = n + 85. Which is bigger: k or j?
j
Let w(m) = m**3 - 6*m**2 + 9*m - 11. Let x be w(8). Let i = -130 - x. Let j = 6701/21 + i. Is 0 not equal to j?
True
Let w = -1.4 + -27.6. Let l = 28.71 + w. Which is smaller: 3/5 or l?
l
Let c = -1790 + 1790.52. Which is greater: -1 or c?
c
Suppose 476*p - 473*p = -183. Are -62 and p non-equal?
True
Suppose s - 5*s + 64 = 5*g, 39 = 5*s - 4*g. Which is smaller: 14 or s?
s
Let i = -3179/1708 - -1/244. Which is smaller: -3 or i?
-3
Let a(u) = 700*u**2 - 3*u + 1. Let o be a(-5). Let c be o/26*(-1)/2. Let f = c + 337. Is f greater than -1?
True
Let q = -2403 - -31237/13. Is q <= -0.08?
True
Let k(c) = c**3 - 7*c**2 + c + 7. Let x(p) = p**2 - 7*p - 11. Let a be x(9). Let o be k(a). Which is smaller: 15 or o?
o
Let m = -15 - -14. Let y be (15/(-45))/(m/(-21)). Let g(v) = v**3 + 6*v**2 - 5*v - 4. Let r be g(y). Which is smaller: r or -19?
-19
Let s = 1180 + -1316. Is -269/2 less than s?
False
Suppose -47 = -9*l - 11. Suppose 11 + 81 = 4*v - l*u, 4*u = v - 17. Which is smaller: v or 26?
v
Suppose 317*l + 924 = 306*l. Which is smaller: -5 or l?
l
Suppose -2*w - 2*w - 61 = 67. Suppose 3*t - 7*t - 124 = 0. Which is bigger: w or t?
t
Let v = -53 - -56. Suppose d - 4*a = 0, -2*d + 4*a = -v*d. Which is greater: d or -4?
d
Let c = 54.059 - 0.059. Let p = c - 49. Which is bigger: p or 0.5?
p
Suppose 2*w + w + 3 = j, 3*j = -5*w - 5. Let i = 13 - w. Let f be (7/i)/((-2)/5). Which is smaller: -1 or f?
f
Let o = 2/8277 - 8629/1456752. Which is smaller: o or 1?
o
Let o be 48/306*((-21)/(-4))/7. Is o < 2/3?
True
Let d = 203/4 + -3029/60. Let v(i) = i + 3. Let t(r) = r**2 - 4*r - 3. Let z be t(4). Let y be v(z). Is y <= d?
True
Let w(m) = m**2 - 10*m - 78. Let h be w(15). Which is smaller: h or -4?
-4
Let w be (-119)/147 - 7/(-49). Suppose -12 = -4*z - 0*z. Let x = -5 + z. Is x bigger than w?
False
Suppose -9*b = -52 + 133. Let w = -4 - 2. Let k = w - 2. Which is greater: k or b?
k
Let t = -4.13 + 3.53. Which is smaller: 0.5 or t?
t
Let s be (-4 - -6 - 8)/(-2). Let y be 0/(-2 - (s - 4)). Are y and -2/41 unequal?
True
Suppose -2*p + 4*p = 8, -2*p + 7 = -x. Let c be (-5)/20*(x + (-8 - -3)). Do -9/28 and c have different values?
True
Let f(j) = -j**2 + 5*j - 6. Suppose -3 = -g + 1. Let b be f(g). Is b greater than or equal to -2?
True
Let d be (14/(-10))/7*0. Let r(g) be the third derivative of -g**6/120 + g**4/24 - g**3/6 - g**2. Let j be r(d). Is j bigger than -3/8?
False
Let r = 96 + -102. Let n be -1*(-5 - r) + -8. Is n at least as big as -9?
True
Let o be (((-28)/(-12))/(-7))/(21/63). Suppose 2 = 5*w + 3*a, 3*w - 2*a = -w - 16. Are w and o equal?
False
Suppose 0 = s - 1 - 6. Suppose 3*y + 14 = 5*y. Let m = s - y. Is 1/4 not equal to m?
True
Let h(t) = t**3 - t + 2. Let b be h(2). Suppose -4*c - b = -0*c. Let z = -32 - -30. Is c bigger than z?
False
Let c(z) = z - 9. Let m be c(9). Suppose -g + 4 + 4 = m. Suppose -g*a + 4*a = -8. Is a > 2/3?
True
Suppose 12 = 3*a + 3*s - 6*s, -13 = 3*a + 2*s. Let p be (a/(-2))/((-42)/(-28)). Does 12 = p?
False
Let f(x) = x - 2. Suppose -4 = -5*q - 4*n + 2, -3*q - 26 = -5*n. Let s be q/6*-3 + -1. Let m be f(s). Is -3 bigger than m?
False
Let f = -93.41 + -1.59. Is f != -3/7?
True
Suppose k - 5*r = -8, 2*r = k - 0*r - 4. Suppose 3*b + 45 - 11 = 2*t, -b = 2. Suppose -t*h = h - 195. Is h greater than k?
True
Let w be (1 - 11)*(-84)/(-24). Let d be (-36)/(-2 + 5 - 2). Which is smaller: w or d?
d
Let r = 3/61 + -2998/183. Which is smaller: -15 or r?
r
Suppose 4*l - 522 = 2*z, 0 = -l - 4*l - 3*z + 669. Let b = 142 - l. Is 5 > b?
False
Let u = 0.1 + -0.2. Let j(r) = 6*r**3 - r**2 + 1. Let w be j(-1). Let d be w/(-8)*(-8)/12. Is d at least as big as u?
False
Let j = 11 - 3. Let a = j + -8.1. Which is smaller: 17 or a?
a
Let g(q) = -2*q**2 - 65*q - 35. Let i be g(-32). Which is smaller: -25/8 or i?
-25/8
Let c(k) = 2*k**2 - 2. Let o(b) = 3*b**2 - 3. Let w(s) = 7*c(s) - 5*o(s). Let d be w(-1). Let v = 1087 + -11947/11. Which is bigger: d or v?
v
Let c(a) = 79*a + 248. Let f be c(-11). Is f > -622?
True
Let g = -6 + 6.02. Let l = -0.22 +