be 0 - ((-14)/6 - g). Is 0.1 less than or equal to a?
True
Suppose 10*g + 50 = 5*g. Is 2 greater than g?
True
Suppose 3*p - 26 = 2*g, g - 19 = -3*p - 4*g. Which is smaller: p or 9?
p
Suppose -2*x - 3*w + 104 = -6*x, -5*w = -3*x - 67. Let m = -3479/111 + 99/37. Let p = x - m. Which is greater: p or 1/4?
1/4
Let r = 0.8 - 1. Let g = 5.2 + -5. Which is greater: g or r?
g
Suppose 5*d - 3*r + r - 2 = 0, 0 = 4*r + 4. Are d and 3 equal?
False
Suppose 20 - 8 = -2*l. Let j be l/15 - 7/(-5). Let m = -9/11 - -78/55. Are m and j equal?
False
Suppose 2*v = -5*u - 6, -12 = 5*u - 2*v + 6*v. Suppose -2*b + 5*b = u. Suppose b = -s - s + 6. Does s = 3?
True
Let i be 3/12 - (-18)/4. Is i <= 6?
True
Let i(k) = -2*k**2 - 5*k + 2. Let x be i(-4). Is x greater than -10?
False
Let g = 105 + -102. Let w be -2*(1 + -2)*-3. Let v be g/w*1/4. Which is smaller: 0.1 or v?
v
Let l = 24 - 14. Let y be (-2)/5 + 4/l. Let v = -65/84 - -1/42. Which is smaller: v or y?
v
Let b be (1 + 0)*2/(-1). Let l = 19 + -26. Let q be 2/6 + l/21. Which is smaller: q or b?
b
Let w(s) = s**3 - 5*s**2 - s + 4. Let k be w(5). Which is bigger: k or 0?
0
Let l be (9/(-252))/((-1)/4). Which is greater: 1 or l?
1
Let u = 50 - 657/13. Which is smaller: -2 or u?
-2
Suppose 4*c + 32 = 5*i, -i = -c - 5 - 2. Let r be (-2 + i)/((-2)/(-3)). Which is greater: r or 3/2?
r
Suppose k - 3*t - 2 = -t, 16 = 3*k + 4*t. Suppose k*h + 16 = -0*h, 0 = 3*p + 3*h - 33. Are p and 16 unequal?
True
Let v(y) = -y + 2. Let h be v(4). Do h and -5/2 have different values?
True
Let x = 0.042 - -15.958. Is x greater than or equal to 1?
True
Suppose 0 = -4*d + 5*d - 3. Let p(v) = -v**3 + v**2 - 2*v. Let c(g) = g**3 + 2*g + 1. Let y(a) = d*p(a) + 2*c(a). Let w be y(2). Is w <= 3?
True
Let r = -282/7 - -785/28. Which is greater: r or -12?
-12
Let l = 10 - 0. Let h be 3 + -2 + (-15)/l. Which is smaller: -1 or h?
-1
Let n = -147367 - -1324991/9. Let i = -146 - n. Is i greater than 0?
False
Suppose -3*v = -4 + 16. Suppose 8 = -x + 3. Which is bigger: x or v?
v
Let y be (-1)/4 + (-21)/12. Let n be (-9)/(-4) + y/8. Which is bigger: n or 7/6?
n
Let v(m) = 5 + 6*m + 2*m**2 - 4*m**2 + m**2. Let o be v(7). Let k be (4 + (-28)/6)*(-3)/(-2). Is o > k?
False
Let a = -12882/77 + 2054/11. Is 19 smaller than a?
True
Suppose q + 6*w - 22 = w, 4*q = 5*w - 12. Let p = 0 + q. Suppose -p*k = k. Is -1 > k?
False
Let m(o) = o**3 + 2*o - 1. Let v be m(0). Let y = -23/121 - -1/121. Is v greater than y?
False
Let c = 87 + -51. Suppose -2*l + 27 = 3*x, 3*l - 1 - c = -x. Which is greater: 11 or l?
l
Let h be 100/(-15)*6/(-5). Do h and 70/9 have different values?
True
Let u = -10 - -32/3. Let j = 0.78 - 0.9. Let s = j + 0.02. Is u at least s?
True
Let r be (-4)/6*(-18)/40. Suppose 0 = 3*w - 3*w - 8*w. Is w less than r?
True
Suppose 21 = 3*w + 6. Let b be 2 + -2 + (w - 0). Suppose -3*x + 2*x - 1 = -2*f, b*x = -f + 6. Is x at most 1?
True
Suppose -5*m + 3*m + 4*i = 12, m = 3*i - 10. Let o(j) = -j**2 + 5*j + 8. Let b be o(6). Suppose 0 = m*r - 0*c - 2*c - 4, -b = 2*c. Is 1 > r?
False
Let y be -7*(51/21 - 3). Suppose 9 - 17 = y*w. Is 3 at most w?
False
Let p be 6/(-10) - (-156)/(-65). Let n = 11 + -15. Which is bigger: p or n?
p
Suppose -a + 3*o = -3 + 19, 0 = -4*a - 4*o - 32. Which is smaller: -11 or a?
-11
Let j(u) = -u**2 + 10*u + 6. Let q be j(11). Let i(r) = -6*r**2 - r + 1. Let y be i(1). Let n be 40/y + 6/9. Is n greater than q?
False
Suppose 4*c - 2*c - 2*i - 28 = 0, 3*i - 14 = -c. Which is smaller: -4/5 or c?
-4/5
Let y = 3.52 + -3.52. Let j = 6 - 3. Which is smaller: y or j?
y
Let p be (0 - -1)/(13/(-13)). Let s = p + 1. Is s at most -6/13?
False
Suppose -3*p + 7*p = -j + 11, -3*p - j + 8 = 0. Suppose -12 - p = -5*s. Suppose 4*t - 3*u = s, 10*u = -3*t + 5*u - 34. Which is smaller: t or -4?
-4
Let u(v) = -4*v**3 - 1. Let h be u(1). Let r(j) = j**3 + 6*j**2 + 4*j - 7. Let s be r(h). Let c be 25/(-20) - 3/s. Is 0 smaller than c?
True
Suppose -1 = j + 1. Let d be (-3)/1*(5 - (-14)/(-3)). Which is greater: j or d?
d
Suppose 0 = 6*c - 10*c + 12. Let r = -5 + 8. Suppose 0 = y - c, 0 = 5*z - r*y + 6*y + 1. Which is smaller: -1 or z?
z
Let i = -8 - -8. Which is greater: -1 or i?
i
Let v(f) = f**3 + 6*f**2 - 10*f - 2. Let d be v(-7). Suppose 3*a = -2*i + 14, i - 5*a = -0*i - d. Which is greater: 2/5 or i?
i
Let j be (1/(-2))/((-5)/6). Suppose -2*d = 5*l - 2*l + 30, 5*l = -5*d - 55. Let y be 2/l - (-35)/28. Which is bigger: y or j?
y
Suppose 5*s - 60 = 2*s. Let w = 6 - s. Are -15 and w unequal?
True
Suppose -3*i + 16 = -5*s, -5*i + 5*s = 2 - 12. Let l be 5 - (0 + (0 - i)). Is l bigger than 2/3?
True
Let a(q) = -2 - 6 - 10*q + 2*q**2 + q**2 - 4*q**2. Let l be a(-9). Is l bigger than 0?
True
Let g(c) = c**2 + 4*c + 4. Let z be g(-1). Let v be (-5)/(-3) + 2/6. Suppose v*u - 4 = -2. Is u >= z?
True
Let z = 4 - 4. Suppose -3*u = -z*u - 15. Suppose u*s = 2*s. Do 0 and s have different values?
False
Let u = -916 - -15564/17. Which is smaller: 1 or u?
u
Let o(d) = 6*d. Let n be o(-4). Let b be 10/n + (-2)/(-8). Suppose 4*y + 23 = 23. Which is smaller: y or b?
b
Let c be (28/(-6))/((-8)/(-51)). Which is bigger: -29 or c?
-29
Suppose 5 - 1 = 4*b. Let c(r) = -r**3 - 3*r**2 - r + 2. Let i be c(-2). Which is greater: b or i?
b
Let p = -8173/9 - -907. Which is smaller: -1 or p?
p
Suppose z + 3*z + 5*r = 13, -5*z = -3*r + 30. Which is smaller: -6 or z?
-6
Suppose 3*q - 2 = -32. Let j be ((-4)/q)/(1/(-5)). Let b be 1 - ((-2)/j - 2). Are 1 and b unequal?
True
Let d = -20 + -7. Let h = d - -38. Is h equal to 10?
False
Let x = -24 + 46. Which is greater: x or 23?
23
Let u = 3 + -4. Let p = -675/14 + 97/2. Do p and u have different values?
True
Let g be (-1)/(-4 - -5)*-5. Let n be (-1)/4 + g/20. Which is smaller: n or 2/3?
n
Let h(t) = -3*t - 1. Let c be h(3). Let a = 15 + c. Which is greater: 3 or a?
a
Let w = -0.03 + 0.59. Let y = w + -0.06. Let p = -0.6 + y. Are p and 0.1 non-equal?
True
Let z = 25/132 - -2/33. Suppose 4*l = -4, 0 = x - 5*l - 1 - 5. Which is smaller: x or z?
z
Let g(b) = b**2 - 2*b - 5. Let t be g(4). Suppose 0 = -h + 4*c - 16, -3*h + 9 + 3 = t*c. Is 4/3 > h?
True
Let t(u) = -u**3 - u**2 + 2*u + 3. Suppose -21 = 4*j - s - 0*s, -j - s - 9 = 0. Let l = -8 - j. Let r be t(l). Is r <= 3?
True
Let k be ((-25)/(-15) - 3) + (-2)/(-2). Which is smaller: 0.15 or k?
k
Suppose 2*f - 16*f = -14. Which is greater: f or 4?
4
Suppose -4*z = -2*t + 7*t - 35, 0 = 2*t - 3*z + 9. Suppose 3*v - 6 = -t. Suppose 5*i + 1 = -4*x - 4, i + 1 = -3*x. Is v >= x?
True
Suppose 0*o + 2*o = -3*g, 3*o + 3*g + 3 = 0. Let p = o - -4. Which is smaller: 0 or p?
0
Let p = 52 + -51. Is 13 at most as big as p?
False
Let t = -3.3 - -4.6. Let w = 1 - t. Let l = -0.4 - w. Which is greater: l or -3?
l
Let g = 1.2 + 3.8. Let h = -5.3 + g. Is h <= 0?
True
Let t = 0.05 + 0.02. Let o = 0.11 + -0.21. Does t = o?
False
Let w(d) = -14*d - 3. Let y be w(-1). Suppose 2*i + 2*i + 32 = 0. Let x = y + i. Is 2 at least x?
False
Let k = 2509/8 + -314. Let a be -1*(47/24 - 2). Let y = k + a. Is y > 1/7?
False
Suppose 4*r - 6 = 2*r. Suppose -u + 14 = r*p + 6, 3*p - 18 = -3*u. Let o(k) = -k**3 + 19*k**2. Let x be o(19). Is x at most p?
True
Let u = 0 - 2. Let m be (-2 - -2 - 6)/(7/1). Is u != m?
True
Let i(c) = -21831*c**2 - 2*c - 1. Let r be i(-1). Let x = r - -458162/21. Let b = 80/7 + x. Which is greater: b or -1?
-1
Let x be (6/412)/(1/(-2)). Which is greater: 0 or x?
0
Let q = 1/442 + -2321/221. Let d = q - -11. Let y be ((-1)/1)/(3/(-3)). Are y and d equal?
False
Let g = -0.1 - -0.1. Let p = 0.6 + -0.8. Is g < p?
False
Suppose 5 = -w - 5. Let b be (3/w)/((-2)/10). Which is smaller: b or 2?
b
Let h = -4 + 5. Is h less than 2/11?
False
Suppose 8 = -v + 2*a, -4*a = -5*v + v - 20. Suppose -3*q + q + 32 = -4*p, 3*p + 26 = 2*q. Let w be 4/p - (-1)/6. Which is greater: w or v?
w
Let v(i) = -i**3 + 5*i**2 - 2*i + 4. Let l be v(4). Let g(w) = -w**2 + 11*w + 6. Let h be g(l). Is h not equal to -4?
True
Let w be (-32)/14 - (-18)/63. Is w > -5?
True
Suppose 4*n + 1 = -11. Let c(d) = -d**3 - d - d**2 + 1 + 5*d + 2. Let x be c(-2). Is x bigger than n?
True
Let t = 167/2 + -84. Which is bigger: 2/55 or t?
2/55
Suppose 0 = -3*u - l, -2*u - 5*l = 16 - 3. Let j be 26/(-40) + (-2)/(-8). Which is bigger: u or j?
u
Suppose 0 = -3*o - 