5/429). Which is smaller: 1.1 or w?
w
Let j be 16/15*306/252. Let z = j + -2/21. Which is bigger: 1 or z?
z
Let y = 2494/143 - 202/11. Which is greater: 2 or y?
2
Let w be (-28)/(-119)*8006/12. Let b = w - 472/3. Is b equal to 1?
False
Let t = -1 + 1.41. Let l = -0.08 + t. Let p = -5.33 + l. Which is smaller: 0.2 or p?
p
Let b = 0.009 - -2.091. Let c = 2 - b. Let w(q) = q. Let g be w(-2). Is g > c?
False
Let m = -0.0959 - 1.1041. Which is smaller: m or 0.2?
m
Let p(z) = -z + 3. Let r(o) = -o**2 + 7*o + 10. Let n be r(7). Let d be p(n). Let l(j) = j**3 + 6*j**2 - 8*j + 4. Let c be l(d). Is c at least 10?
True
Let o = -2234/31 - -72. Which is greater: 0 or o?
0
Let a = 0 - 0.1. Suppose -2*q - 5*x = 53, -4*q = 2*x + 10 + 56. Is q at most as big as a?
True
Let x be ((-8)/(-20))/(36/(-40)). Let n be 2/14 + 4/(-28). Is x greater than or equal to n?
False
Let d be 286/(-21) - 8/(-28). Let i = d + 12. Is i >= -1?
False
Let v(p) = -2*p**3 - 7 + 0*p - 10*p + p**3 - 11*p**2 - p. Let c be v(-10). Which is bigger: 2 or c?
c
Let q be (-10)/(-2) - (-1 + 258 - -5). Which is smaller: -255 or q?
q
Suppose 5*x = 3*t - 5, -3*t - 1 = 2*x + 1. Let m be x/1 + (0 - -3). Suppose 0 = -v - m - 0, -4*s - 2*v = 44. Do -8 and s have the same value?
False
Let v(y) = -73*y - 584. Let d be v(-8). Let h be ((-2)/4)/((-1)/(-20)). Let t be (-4)/h - (-8)/(-15). Which is bigger: t or d?
d
Let r(h) = h**2 - 3*h. Let t be r(4). Suppose -5*j - t*x + 19 = 0, j - 3*x = 3*j - 9. Let f = j - 1. Which is smaller: f or -5?
-5
Let h = 2/103 - -293/824. Let s = 555.5 + -555.1. Does h = s?
False
Let g = 100 + -101. Which is greater: g or 1?
1
Let u(d) = 11*d**3 + 47*d**2 + 3*d + 38. Let w(v) = 7*v**3 + 31*v**2 + 2*v + 25. Let p(m) = -5*u(m) + 8*w(m). Let t be p(-13). Which is greater: -1/8 or t?
-1/8
Let l = -81942/11 - -7444. Is -6 <= l?
True
Let r = -439 - -651. Are 211 and r non-equal?
True
Let l(a) = -2*a**3 + a**2 + a + 1. Let w be l(-1). Let m be 4/w - (-435)/45. Is m bigger than 7?
True
Let t be (6/(-8))/(6/(-24)). Suppose t*i - 3*h = i - 1, 5*h - 7 = 2*i. Suppose -3*f + 1 = r, -r - 12 = -i*f + 3*r. Which is smaller: -2 or f?
-2
Let a(h) = -28*h**2. Let i be a(1). Which is greater: -26 or i?
-26
Let m = 87 + 138. Is 222 greater than or equal to m?
False
Suppose -3*m - 2*c = 58, -3*c + 12 = -2*m + c. Let t be (4/16)/((-4)/m). Let a be (-15)/(-10) + t/(-2). Which is smaller: a or -2/7?
-2/7
Let k = 11 + -11.187. Which is bigger: 1 or k?
1
Suppose 5*b + 15 = 0, -c + 3*b - 5*b = 3. Suppose -4*t + 11 = c*d, -3*t - 2*d + 10 = 2*d. Suppose 2*v = -t*v + 20. Which is smaller: v or 3?
3
Let q(c) = 2*c + 12. Let g be q(-11). Let b = g - -10. Let i = b + 3/4. Is 0 equal to i?
False
Let i = 22 - 14. Suppose t - 27 = -20. Let w be t - 2*(-4)/i. Which is greater: 7 or w?
w
Suppose -10 = -3*i + i. Suppose -4*u = -3*p - 8, 3*p - i*u = p - 10. Is p at most -3/44?
False
Let t(s) = 2*s - 8. Let b be t(-7). Suppose d - 21 + 3 = 0. Let q be (0 + d)/((-429)/b). Are q and 2 non-equal?
True
Let c be ((-1)/(-2))/((-1)/(-18)). Let o be -1*(1 - c/12). Let i = -0.79 - 0.21. Is i smaller than o?
True
Let z = 24 + -145/6. Let v(a) = a**3 + 3*a**2 + 1. Suppose -4*f - 12 = -0*f. Let s be v(f). Which is smaller: z or s?
z
Let i = -1174/9 + 458/3. Is i not equal to 22?
True
Suppose 1 = y - 3*o + 14, -5*y + 4*o = 21. Is -5/48 greater than or equal to y?
True
Let g be 30/3 - 1248/120. Is g at least -0.0221?
False
Let b = -0.03 - -0.53. Let z = -434 - -437. Is z at most as big as b?
False
Suppose 0 = -k - 4*r, 3*k - 19 = -2*r + 1. Suppose k*b = 6*b - 56. Is b smaller than -28?
False
Let h(s) = s**3 + 3*s**2 - 9*s + 4. Let z be h(-5). Let a be -1*(-4 - 10) + 1/z. Suppose 3*l = x + 37, 2*x + 2*x = 8. Is a bigger than l?
False
Suppose -3*u - 304 = 5*j - 9*j, j = 4. Which is bigger: -91 or u?
-91
Let f = -20.949 + -0.051. Let t = -21.09 - f. Let a = t - 0.91. Which is bigger: a or 0.09?
0.09
Let f = -3/814 - 4049/5698. Which is greater: 2/37 or f?
2/37
Let c = -1411 + 5557/4. Let q = -89/4 - c. Let m = 1.2 - 0. Is m at most as big as q?
False
Let o = -5.7 - -4.7. Let d = 50 + -49.95. Which is smaller: d or o?
o
Suppose -72*m - 2*k = -70*m + 4, -4*m = 2*k + 18. Suppose 18 + 9 = -3*n. Let i be (-8)/(-2) - (m - n). Is i bigger than 4?
False
Let a = -1/41 - -45/164. Let q = -1.98 + 1.08. Are q and a unequal?
True
Let q be ((-4)/(-6))/((-8)/(-6))*2. Suppose -2*t = -p + q + 1, p + 2*t = -2. Is p at least as big as 2/43?
False
Let s be (-1 + 2)*(9 - 7). Let t = -1 + s. Let p be 3/4 - 33/44. Which is smaller: t or p?
p
Let t = 1499 - 1463. Is 13/2 <= t?
True
Let i = -2735/12947 + 74/321. Which is smaller: 0 or i?
0
Let d = 467 - 469. Which is smaller: d or -18/7?
-18/7
Suppose -2*q - 13 = 4*y - q, -2*y = q + 7. Let t = 24.1 - 23. Let j = t + -1. Which is greater: j or y?
j
Let f = 559/3 - 187. Are 96 and f non-equal?
True
Suppose -3*h + 18 + 3 = 0. Let f = h - -1. Which is bigger: 7 or f?
f
Suppose -50 = -12*d + 2*d. Suppose -3*z = 17 - 47. Let w be (4/d)/(4/z). Is w < 0?
False
Let d be (-4)/(-1) - (-49)/7. Suppose 4*c = -5*v + 48, 0 = 3*v - d - 1. Which is smaller: -2 or c?
-2
Let m(p) = -p**3 + 4*p**2 - p + 6. Let c be 40*6/45*-3. Let o be c/32 - 9/(-2). Let q be m(o). Which is smaller: q or 1?
1
Suppose -127 = 4*w - 131. Which is smaller: w or -1/1182?
-1/1182
Let x = -9 + 11. Suppose -2*y - x*w - 12 = 0, -3*y - w - 7 = 19. Which is greater: -9 or y?
-9
Let b be (-3)/56*92/15870. Are 1 and b equal?
False
Let o be (-1597098)/(-16)*2/(-3). Let s = 66897 + o. Let w = 353 - s. Which is bigger: 3 or w?
3
Let s be 4/(-16) + 78/24. Let h(p) = -3*p + 11. Let i be h(s). Is i not equal to -3?
True
Let a be (-24)/(-36)*(-138)/4. Let l = -17 - a. Suppose 2*q = -r + 9, -q - l = q - 2*r. Which is greater: q or 16/7?
16/7
Let s = 109 + -111. Let f be (-46)/26 + s + 4. Is -1 bigger than f?
False
Let b = -7 - -5. Suppose -4*u + 77*f = 73*f - 24, 12 = 3*u - 5*f. Which is greater: u or b?
u
Suppose 6*z + 91 - 103 = 0. Is z at most 9/5?
False
Let g = -115 - -71. Let u = 43.8 + g. Is 13 at least as big as u?
True
Let v(f) = 2*f**2 + 2*f - 1. Suppose -5*h - 4*n = 3 + 4, 3*n + 7 = -2*h. Let y be v(h). Suppose 1 = y*l - 4*l. Is l equal to -2?
False
Let h(i) = i**3 - 7*i**2 + 7*i - 3. Let n be (-2)/10 - 31/(-5). Let s be h(n). Suppose -s*j - 2 + 5 = 0. Which is greater: -2/7 or j?
j
Let y be 1/6 + ((-487)/114 - 2). Is y less than -7?
False
Let b(i) = i**3 - 6*i**2 - 7*i + 5. Let z be b(7). Let v be 4/(-6)*3/z. Let x be (1 - 1) + -1 - -1. Is x > v?
True
Let o = -708 + 714. Which is greater: 2 or o?
o
Let s be (-113 - -105) + (-8)/(-1). Which is smaller: 7/118 or s?
s
Suppose 2*h - 4 = j - 2*j, 0 = -3*h + 3*j - 12. Let y = 0.274 - 1.274. Which is bigger: y or h?
h
Suppose 5*u + 55 = 5*z, 3*u + 28 = 2*z + 4. Suppose 4*o = z + 3. Are o and 54/13 non-equal?
True
Let k(l) = -2*l**3 - 48*l**2 + 3. Let u be k(-24). Suppose r + u*h = 0, 0*h = h - 5. Let z = 12 - 26. Is z greater than or equal to r?
True
Suppose 4*x = 2*n - 3*n + 2, -5*x - 2 = -n. Suppose x*y + 5*y = 0. Suppose 0 = -5*u + 5 + 5. Is u greater than or equal to y?
True
Let b = 14.75 + -11. Let m = b + -4. Let u = 0.05 + m. Is u bigger than -7?
True
Let l(c) = 13 - 3*c + 3*c + 2*c - c**3 - 11*c**2 - c. Let v be l(-11). Let h be 6/189 + -2 + v. Is 1 not equal to h?
True
Let l be 7/77 + 3/(66/2726). Which is bigger: 125 or l?
125
Let h = -9.93 + 10. Let j be ((-3)/45)/(27/450). Which is bigger: j or h?
h
Let m = 561/2 + -282. Let d be 0 - (-1)/(2/(-4)). Let t(i) = -i**2 - i + 1. Let h be t(d). Are m and h unequal?
True
Let j = 738 - 742.5. Is -2/3 less than j?
False
Let c = 29/53 + -652/901. Is -1 bigger than c?
False
Let v = 231 - 231.046. Is v greater than 5?
False
Let b be -1 + 3 + -2 + 42. Let k = b - 41. Let h = -1203/34 + 71/2. Does k = h?
False
Let k = 852 - 697. Is k greater than or equal to 156?
False
Let p be 1 - (57/18 - 1). Suppose 3*y = -y + 4. Suppose 3*q = -7 + y. Is p greater than q?
True
Let x = 849 + -845. Is -53 bigger than x?
False
Let j be 18/(-8)*(-3 - 1). Let d = -132 - -57. Let v = d + 74. Which is greater: v or j?
j
Let j(x) = -4*x - 1. Let q = -5 + 4. Let n be j(q). Suppose -4*r + 5*l = 6, 4*l + n - 9 = 2*r. Is 8/7 < r?
False
Let m = 7141 - 7149. Let g = 6 - 13. Is m > g?
Fa