 is greater: a or g?
a
Let h be -190 + (-4 - 1)/(-5). Which is smaller: -190 or h?
-190
Suppose 0 = 5*i - 451 - 194. Let y = 131 - i. Let c = 26 + -15. Are c and y non-equal?
True
Suppose -95*x = -138*x + 903. Suppose 2 = -a + 23. Is a smaller than x?
False
Let n = 942 - 1006. Which is greater: -60 or n?
-60
Let l be 109/37 - (4 + -1). Suppose 3*j = 2*i + 3 - 18, -i - j - 5 = 0. Let c be 1 + i*2/(-6). Is l at most as big as c?
True
Suppose -4 = 4*a, 0 = -0*r - 3*r + 3*a + 12. Let t = -12 + 6. Let h be (2/(-4))/(2/t). Do r and h have different values?
True
Suppose -7*g + 3*g + 12 = -3*w, -12 = -4*g - 5*w. Which is bigger: g or 35/11?
35/11
Suppose -2*k - 2*k + 8 = 4*r, 0 = -2*k - 3*r + 6. Let a = -61 - -61. Let n be ((-18)/243)/(a - 12/9). Is n at least as big as k?
True
Let s = -35343/76 + 465. Is 1 at least s?
True
Let u be 114/(-95) - 13/(-10). Let c = 204/7 - 29. Does u = c?
False
Suppose 0 = 3*c - 5 + 2. Suppose 0 = 5*q - a - 79, 3*q + 4*a + 76 = 8*q. Suppose -8 = -3*y + 2*u, 2*u - q = 6*u. Is c != y?
True
Let a = -13.68 - -14. Let j = 1.32 - a. Which is bigger: 7 or j?
7
Let c = -1.96 - 1.14. Let r = 3.18 + c. Is r <= -2?
False
Let n = -1282769263/8561315 - -243716/1655. Let o = n - -1/739. Which is smaller: o or 3?
o
Let u = -4/985 - 1958/2955. Let m = -1606/3 - -522. Which is smaller: u or m?
m
Let b = -68 - -74. Suppose 16 = -4*o, -3*t - b*o + 223 = -4*o. Does 77 = t?
True
Let a be 1 + (-5)/(20/(-8)). Let m(t) = -13 + 2*t - 3*t - a*t + 5*t. Let i be m(11). Which is greater: -4 or i?
i
Let f be (322/28 - 12)*0. Is f <= -7/17?
False
Let p = -0.06 + -0.14. Let f = -103/8 + 13. Which is smaller: f or p?
p
Suppose -3*t + 5*t = 16. Suppose n = 5*n - t. Suppose -5*i + 52 = 4*x, n*i + 32 = 7*x - 2*x. Is x not equal to 6?
True
Let t = 88.86 - 89. Which is bigger: t or 2/5?
2/5
Let x(b) = b**3 + 14*b**2 - 13*b - 37. Let i be x(-15). Which is smaller: i or -65?
i
Let j be (-6769287)/4620 - 1/(-4). Let n = 1465 + j. Which is smaller: n or -1?
-1
Let g be (-28)/(-6) + -4 + 7/21. Do -1/418 and g have different values?
True
Let b = -1501.1 - -1501. Let d = -43 - -60. Does b = d?
False
Suppose 302 = 4*v - 5*p - 162, 0 = v - 3*p - 109. Which is greater: v or 122?
122
Let h = 79.94 + -70.94. Let c be ((-1)/(-6))/((-4)/(-486)). Let o = -20 + c. Is h greater than or equal to o?
True
Let c be 4/6 + (-16)/(-3). Suppose 28*z - 6*z - 132 = 0. Is z > c?
False
Let a = -118 + 118.1. Which is greater: -43/4 or a?
a
Suppose -3*k + 7*k + 28 = 0. Let z = 5 + k. Let x = 16 + -17. Are z and x nonequal?
True
Let h(c) = -4*c**2 + 5*c - 6. Let g be h(4). Let p be ((-12)/(-330))/(2/g). Which is bigger: p or -2/3?
-2/3
Let d = 469 - 500. Which is greater: d or -2/3?
-2/3
Let w be 0/((0 - 2) + 0). Let x be ((-4)/(-3) - w)*3. Let m = -3153 + 15784/5. Which is greater: m or x?
x
Let o = -1 + 0.9. Let v = -58.25 - 21.75. Is o >= v?
True
Let w = -13 - -2. Suppose -5*l + 64 + 1 = 0. Suppose -5*g + l = 73. Is g less than w?
True
Suppose 3*o - 4 - 27 = 2*a, -2*o + 10 = 0. Let u = -122 - -142.2. Let t = 20 - u. Which is smaller: a or t?
a
Suppose -1 = 4*r - 5. Let n be (1/(-8 + 4))/(r/(-4)). Is 1 < n?
False
Let l = 6 - 6. Suppose 3*y - t = -18, -4*y - 5*t = -l*t + 43. Is y != -5?
True
Let o = -7 - 1. Let c be 4 + -4 + o/(-124). Suppose -6 = -4*h - p, -13 = -5*h - 0*p - 4*p. Which is smaller: h or c?
c
Let x = 154 - 178. Is -23 < x?
False
Suppose -15 = 5*z, 3*a - 2*z - 10 = 11. Suppose 25*m - 30*m = -a. Are m and -18 non-equal?
True
Let m = 12.8 + -14. Let w = -0.95 + -0.05. Let b = w - m. Which is smaller: b or 0?
0
Let n = -30868/41 + 753. Which is smaller: 1 or n?
n
Suppose -11 + 31 = -5*s. Let x be 3 - -2*s/4. Let b be (x - 4 - 12)*-1. Which is smaller: b or 16?
b
Let j = 38.2 + -42.2. Suppose i = 6*i + 10. Do i and j have the same value?
False
Let i = 0.9 - 0.9. Let o = 72 + -18. Is o < i?
False
Let a = 8.12 - 8. Let l = -47 + 42.12. Let p = l - a. Which is smaller: -1 or p?
p
Let v be (320/18)/4 - (-12)/(-3). Is 8 equal to v?
False
Let j = -29/20 + -24/5. Let w(s) = -s**2 + 5*s - 6. Let x be w(5). Is x at least j?
True
Let m be 20/50 + 536/(-340). Is 0 at most m?
False
Let n(c) = -c + 15. Let d = 3 + -3. Let o be n(d). Let a be (-16 - -1)*(-1 - (4 - 4)). Is o at most as big as a?
True
Let c = -4752.53 + 4775. Let p = c + -0.47. Is p < 2/5?
False
Let x be (((-13)/(-26))/((-2)/4))/(-1). Which is smaller: x or -5/19?
-5/19
Let p = -61 + 23. Let b = 39 + p. Which is bigger: -1/12 or b?
b
Let p(a) = -a**2 - 22*a + 70. Let j be p(-24). Is 24 less than j?
False
Suppose -4*j - 16 = -8*j. Which is bigger: j or -0.6?
j
Let j = -0.5 + -0.5. Let y = -0.2415 - -0.1315. Which is smaller: j or y?
j
Let n(p) = 4*p - 93. Let a be n(23). Let c = -1660 + 28212/17. Is c greater than a?
True
Let l be (-2)/1 + (-14 - -59). Let m = -27 + l. Suppose -4*d + 49 = -o + 4*o, -3*d = -o - 53. Is d >= m?
True
Let r = 26 - 15. Let y(l) = -l**2 - 19*l + 12. Let m be y(-19). Which is smaller: m or r?
r
Let d = -25 - -25. Are d and -11/31 nonequal?
True
Let w = -40.088 - -0.088. Let b = -43.4 - w. Which is smaller: -0.1 or b?
b
Let k(v) = -v**3 + 10*v**2 - 8*v - 8. Let r be k(9). Let n be 50/(-15) - -3 - 246/(-90). Which is smaller: r or n?
r
Suppose 0*t - 1 = -t. Let m be (t/(-1))/(-1)*0. Suppose 0 = -f - m*f - 4*z - 1, 0 = 4*f + 5*z - 7. Which is greater: 9/5 or f?
f
Suppose -2*j + 35 - 47 = 0. Let d(w) = w**2 + 5*w - 6. Let y be d(-5). Is j at least as big as y?
True
Suppose 3*h - 6*k - 12 = -3*k, 2*h - 4*k = 18. Let b be (-48)/56*(-5)/((-130)/14). Is b less than or equal to h?
False
Let h be (0 + -1)*-8*(-141)/168. Which is smaller: -7 or h?
-7
Suppose -4*f - 209 = -3*x, -4*f + 4*x - 95 = 113. Which is smaller: 1/2 or f?
f
Let o(r) = -2*r**2 - 6*r - 2. Suppose 0 + 3 = -y. Let f be o(y). Let s be (1/2)/((-1)/2). Which is bigger: s or f?
s
Suppose -p + 2 = 4*v + 8, -3*p = -v + 5. Suppose -a = -0*a - 5*t + 18, 9 = 2*a - t. Suppose 0 = 3*m + n + 7, 5*m + 2*n = -a - 4. Is v at least as big as m?
True
Let p = -42 - -43. Let c = 2/55 + 49/165. Which is bigger: c or p?
p
Let k(n) = -n**2 - 7*n + 70. Let m be k(6). Which is smaller: -3 or m?
m
Let y = 2633/4 - 664. Let x = y + 375/68. Are -1 and x nonequal?
True
Let y be 1146/764*((-20)/(-3))/(-1). Which is smaller: y or 72?
y
Let x be (-12)/8*19/(513/18). Let l(i) = 2*i + 3. Let k be l(-4). Which is smaller: x or k?
k
Let r be 22/36 - (602/84 + -7). Is r < -0.01?
False
Let q = -156148/405 + 3470/9. Let y be 7/14 - (0 + (-49)/(-81)). Let s = y + q. Which is smaller: s or 0?
s
Let c(s) = 10*s**2 + 32*s - 6. Let i be c(6). Which is smaller: 545 or i?
545
Let n = -23.71 - 1.29. Is n less than -1?
True
Let y(j) = 5*j**2 + 2*j - 5. Let u be y(4). Suppose -3*b = u + 67. Which is bigger: b or -49?
-49
Suppose 0 = -8*i + 10*i - 6. Let r be 1 - 4/i - (-30)/27. Is r bigger than 1?
False
Let a(u) = -u**3 - 4*u**2 - u + 2. Let w be a(-4). Let h be 49/63*w/(-4). Do h and -1 have different values?
True
Let v = 25 - 25. Suppose v = 3*r + w + 3*w - 6, 5*r + 13 = w. Which is bigger: r or -2/3?
-2/3
Let a = 30.45 + -10.85. Is 0.2 bigger than a?
False
Let g = 0.39 - 6.59. Let x = g + 6. Let b = 0.22 + -0.17. Which is bigger: b or x?
b
Let w = 26792297/11682492 + 25/51239. Let g = 3/76 + w. Which is greater: g or 1?
g
Let v be 6/8 + 46/(-8). Let b(u) = -u**3 - 7*u**2 - 10*u + 1. Let o be b(v). Which is bigger: o or -1/45?
o
Let c = -549 - -539. Is -9 bigger than c?
True
Let a be (4/(-5) - (-23216)/29040)*2. Which is bigger: -1 or a?
a
Let a(r) = r - 3. Let g(q) = -q + 6. Let k(l) = -5*a(l) - 2*g(l). Let z be k(-3). Suppose 4*x - z - 20 = 0. Do x and 8 have the same value?
True
Suppose 3*s - 11 = 4*a, 5*s - 1 - 26 = -2*a. Let t be 0/a + (3 - -1). Suppose 0 = k - t. Is k <= 5?
True
Let a(u) = u**2 - 7*u - 4. Let q = 13 - 13. Suppose -20 = -5*i - 5*m, -6*m + 2*m - 16 = q. Let d be a(i). Does d = 3?
False
Let m = -26 - -25. Let b = -3 - -3.08. Let c = b + 0.92. Which is smaller: c or m?
m
Let u = -1136 + 1790. Are 655 and u non-equal?
True
Let u = -0.4 + 0.9. Let v = 0.4 - u. Let g = 10.4 + -6.4. Is g smaller than v?
False
Let k = -17 + 17.5. Let r = k - 0.7. Let p = 0.8 + r. Are 0.1 and p non-equal?
True
Let k(a) = -2*a + 8*a + 18 - 5*a. Let v be k(0). Is 18 not equal to v?
False
Let