7. Which is bigger: 0 or g?
g
Suppose 5*f + 187 - 182 = 0. Let g be 2/8 + 33/220. Is f greater than or equal to g?
False
Let v = 0.03 - 6.03. Let m = v + 6.3. Let h = -43/135 + -2/135. Which is bigger: h or m?
m
Suppose 3*p - 23 - 7 = 0. Let l be (-1*p)/(-4 + 6). Does -3 = l?
False
Let q(f) = f**3 + 16*f**2 - 35*f + 16. Let b be q(-18). Which is greater: b or -12/23?
-12/23
Let v = -427 + 515. Is v < 89?
True
Suppose -2*s = 3*s + 3*b + 241, -3*b = -5*s - 259. Suppose -78 = 7*l + 6. Let u be (45/s)/(l/5). Is u bigger than 0?
True
Let d be 28/35*(34 + 1). Let n be 9/21 - (-156)/d. Let c be 10/4 - 3/n. Is -4 less than c?
True
Let g = -149 - -743/5. Which is smaller: -0.0301 or g?
g
Suppose 5*p - 4*h = 4, -5*p - h = 3*h - 36. Suppose 5*b - o - p*o + 5 = 0, o - 4 = 0. Let m = 120/17 + -190/51. Is m greater than b?
True
Let j(m) = m**3 - 11*m**2 - 37*m + 15. Let q be j(-3). Let a = -5/13 + 7/52. Which is greater: a or q?
q
Let o be (-4)/12 + (231/711)/1. Which is bigger: o or 1?
1
Let i = 242.8 + -82.8. Is 0 at least i?
False
Let a be -2*(18/(-14))/(46/(-4991)). Which is greater: -278 or a?
-278
Let k be (-6)/12*(-5 + 0)*2. Let z be -8*(2 + k/(-2)). Which is smaller: 18 or z?
z
Let g = -1 + 5. Let h = 0.709 - 0.809. Which is greater: h or g?
g
Let y be (-8)/4*(462/(-4))/(-7). Is -33 < y?
False
Suppose d + 4*i = 20, -2*d - 5*i + i = -28. Let p be (-10)/4 + d + -5 + 3. Is 3 less than p?
True
Let j = 214 + -254. Which is greater: -41 or j?
j
Let c be (2/(-6))/(435/3960). Is c greater than or equal to -2?
False
Let o be -4*1*45/(-10). Suppose 3*x - 3*v + 33 = 0, -3*v = -2*x - o - 8. Is -0.1 not equal to x?
True
Let q = 1.8 - 1.74. Let p = -0.84 - q. Let m = -0.9 - p. Are -1/7 and m non-equal?
True
Let j = 121 - 60. Let t = j - 64. Which is smaller: 1/11 or t?
t
Let y = 1639 - 1629. Which is smaller: 27 or y?
y
Let j = 47 + -7. Let m be (-6)/(-4) - j/16. Which is bigger: -28 or m?
m
Suppose 5*o - 885 = 380. Let z = o + -1768/7. Suppose 2*w + 2*w = 3*d + 23, 0 = d + 5. Which is smaller: z or w?
z
Suppose -5*z - 2*c = -14, -2*z + 7*c + 23 = 2*c. Suppose -z*y + 4*n = -0*y - 64, -12 = 4*n. Let r be (19 + -1)*2/3. Which is smaller: r or y?
r
Let x = 877 - 694. Which is bigger: x or 184?
184
Suppose -75*d + 43*d = 832. Is -26 < d?
False
Let u be -5 + (-5)/((-1075)/1070). Is u at most as big as -1?
False
Suppose i = 5*w + 15 + 12, 0 = 4*i + 3*w + 7. Suppose 3*n = 1 + i. Let d be (2/12)/1 + (-23)/(-78). Which is smaller: d or n?
d
Let d be 248/1117*-18 - (-5 + 1). Which is greater: -1 or d?
d
Let q = -1288/33 + 158/11. Suppose -3*x + 1 = 76. Which is bigger: q or x?
q
Let s = -42 - -2046. Are s and -1 nonequal?
True
Let s(u) = 4 - u - 2 + 4. Let n be s(7). Let h = 2/1177 - 2412/34133. Which is greater: n or h?
h
Let k = 0.228 - -29.672. Let v = k - 30. Do v and -0.13 have the same value?
False
Let j(m) = -6*m**3 + 2*m + 4. Let p be j(2). Which is smaller: p or -38?
p
Let a(n) = -21*n**2 - 2*n + 3. Let q be a(2). Let t = -34.7 - -35.7. Which is bigger: q or t?
t
Let w be 323/(-289) + (-6)/(-51). Is 2/95 < w?
False
Let l be (-9)/(-7) - (0 + (-14)/(-49)). Do 9/25 and l have the same value?
False
Let m = 683 - 680. Which is smaller: 17/7 or m?
17/7
Suppose -162 = 65*b - 67*b. Suppose 0 = 5*v + 76 - b. Is v not equal to -7?
True
Let z(v) = -v**3 + 4*v**2 + 12*v - 6. Let c be z(6). Let b be c*1/1 - 12/(-4). Suppose -5*f = 16 - 1. Are f and b nonequal?
False
Let s = -55 + 55. Is s greater than 18?
False
Let l = 123 + -495/4. Which is smaller: 3/2 or l?
l
Suppose s = -5*a - 33, -4*s = -s + 3*a + 75. Let m = -17 - s. Is 51/8 at most as big as m?
False
Suppose 0 = -w + 3*m - 18, -5*m + 14 = w. Let x = 1100 + -7733/7. Is x smaller than w?
False
Let i = -2738853/310 + 8835. Which is smaller: 0 or i?
i
Suppose 9*x + 8 = x. Which is greater: x or 4/337?
4/337
Let u be ((-8)/4 - -2)/(-2 + 3). Suppose w = -5*p + 2*w - 325, u = 5*p - 5*w + 325. Is -66 at least as big as p?
False
Let a be (0 - 305/(-15))*5. Let m = -99 + a. Are m and 2 nonequal?
True
Let w be 3 + (-1 - -1 - -3). Let c be (-2)/w + (-5880)/(-63). Which is smaller: 0.1 or c?
0.1
Let t = -11 + -3. Let g be (10/(-35))/((-6)/t). Let a = -18.1 - -18. Which is bigger: g or a?
a
Suppose 0 = 2*l - 3*n + 2*n - 53, 2*l + 4*n = 48. Let c = 18 - l. Let f(m) = m**3 + 8*m**2 - 2*m - 8. Let d be f(c). Is d greater than 7?
True
Let w(o) = -o**3 + 10*o**2 + 13*o + 27. Let i be w(12). Let q = i + 839/8. Let t be 1 - (0 + 2) - -1. Which is greater: t or q?
t
Let p = 0 - -5. Let n = 5 - p. Let w be (-2 - n)/(6/(-78)). Is w less than 25?
False
Let b = 30/7 - 76/21. Let n = -10 + 15. Suppose -n*c = 2*x + 20, -3*c + 0*c = 2*x + 12. Does x = b?
False
Let o be (-351)/(-3) + 260/(-26). Which is smaller: 215/2 or o?
o
Let w = -177.9 - -108.9. Which is greater: 1 or w?
1
Suppose -p - 2 = -c, 0*c - c - 5*p = -14. Let u be c/20 - (-2)/5. Suppose 2*m = -m. Which is bigger: u or m?
u
Let x = 268 + -280. Which is smaller: x or -14?
-14
Let r = -957 + 958.21. Which is greater: -1 or r?
r
Let j be (-652)/(-3*(-6)/(-45)). Let k = j - 17942/11. Which is smaller: k or -1?
k
Let k = -115163/21 + 5485. Which is bigger: k or 2?
2
Let o(u) = u**3 - u**2 + 2*u + 4. Let k be o(0). Let g be (-1)/k + 17/68. Which is smaller: g or 1/4?
g
Let y = -7.16 - -6.16. Is y greater than or equal to 1.51?
False
Let a(q) = -q**3 + 7*q**2 - 9*q + 12. Let y be a(6). Which is bigger: 0.58 or y?
0.58
Let j = 17 + -6. Suppose s = -v + 7, -6*v = -3*v + 12. Is j less than s?
False
Let u(j) = -j**2 - 8*j - 11. Let d be u(-5). Suppose -w - 3*i + 5 + 11 = 0, d*w - 109 = 3*i. Is 24 less than or equal to w?
True
Suppose 4*n + 4 = 0, 3*n + 0*n = -3*t + 144. Suppose v - 10 = -4*k - t, -2*k = 4*v + 114. Let a = 45 + v. Is 17 greater than or equal to a?
False
Suppose 0*p - 3*z + 21 = 3*p, -2*z = 0. Let h(q) be the second derivative of -q**3/6 + 7*q**2/2 - 5*q. Let r be h(p). Which is smaller: 1/30 or r?
r
Let z(w) = -w + 0*w**3 - w**3 + 0*w + 2*w**2 - 21 + 22. Let l be z(-2). Which is smaller: 18 or l?
18
Let s be (-21)/(76/8 + -2). Is s != 0.9?
True
Let r = 1312 + -806. Is 505 equal to r?
False
Let f = -268 + 583. Let x be 980/f - (-2 + 1)*-3. Which is smaller: -1 or x?
-1
Suppose -2*f + 4 = 12. Let t be (-1)/f - (-175)/20. Suppose 2*y = 13 + 3. Are t and y non-equal?
True
Let m = 3/9130 + -19403/3478530. Is -1 not equal to m?
True
Let x be -69*-1*(-4)/(-12) - -5. Are 85/3 and x equal?
False
Let p = -3.757 + -0.043. Let w = 3.8 + p. Let j = 31 - 123/4. Is w less than j?
True
Let b = -175 - -245. Let j = -70 + b. Is 43 less than j?
False
Let x = 0 + -1. Let l = -953 + 979. Which is smaller: l or x?
x
Let z be (-4)/(1 + -3)*(-16506)/(-126). Which is smaller: 2 or z?
2
Let z = 78 + -1002/13. Let i(a) = -a**2 + 5*a + 8. Let b be i(6). Which is smaller: z or b?
z
Suppose 5*a = -4*m - 4, -5*m + 4*a = -a + 5. Which is greater: m or -0.13?
-0.13
Let j be 6/8*2*(10 + -12). Let u be j*(2/3 - (-76)/(-108)). Which is smaller: u or -1?
-1
Let b be 2/(-10) + 121/55. Suppose b*z + 5*j = -0 - 23, -2*z - 68 = -4*j. Is z not equal to -24?
False
Let w = -33 - -24. Let k be -2 + 3 - (-12 - -1). Let f = -21 + k. Is f greater than w?
False
Suppose -10 = -4*g - g. Suppose 2*z - 7*z + 40 = -3*p, 0 = -4*z - g*p + 32. Let w = 16 + -9. Is z at most w?
False
Suppose 5 = 5*k - 25. Suppose o + k = -o. Let t be 2 - 4/((-4)/o). Are t and -1 equal?
True
Suppose -t + 12 - 8 = 0. Suppose 0 = 2*z - t*z - 2*j - 10, -z - 5*j - 21 = 0. Is -1/56 <= z?
False
Let d be (-2)/8*16/(-164). Are -1 and d nonequal?
True
Let q = -3 - -7. Suppose 4*r - q = -0. Let i = -3.52 + 0.52. Is i bigger than r?
False
Let t be 4/14 - 6/21. Let w(i) = -6*i - 9. Let x be w(-7). Let b = x + -31. Which is smaller: b or t?
t
Let y(a) = -4*a**2 + 17*a - 27. Let n be y(5). Which is greater: n or -40?
-40
Let t = 13/50 + -254/1025. Is 1 less than t?
False
Let x be -19*2/(-6) - 6/18. Suppose -3*m - 7 = -p, p = -3*p + m + x. Which is smaller: p or 5?
p
Suppose -6*p + 175 = -p + 5*m, -m + 134 = 4*p. Is 133/4 at least as big as p?
True
Suppose 18*i = 11*i - 7. Are i and 2/309 equal?
False
Let u(j) = 2*j**2 - 14*j + 13. Suppose 1 = -2*w + 13. Let l be u(w). Which is smaller: -9 or l?
-9
Let h(i) = i**3 - 5*i**2 - 7*i - 5. Let p be h(6). Suppose 0 = -5*d +