1. Let n = h + 10. Is n greater than or equal to i?
True
Let y be (-2)/7 - (-110)/(-350). Let g = 17/20 + y. Is 0 bigger than g?
False
Suppose -4*t + 18 - 2 = -3*o, 19 = -t - 5*o. Let z be (-2*(t - 2))/9. Which is greater: z or 0?
z
Let j = -9 + 11. Is j >= -0.2?
True
Let b be (-3)/(-2)*2/18. Let l = 49 - 48. Is b bigger than l?
False
Suppose 5*k - 20 = -0*k. Suppose 3*a - 6 = k*a. Let r be ((-4)/a)/(6/9). Which is smaller: r or 1/5?
1/5
Let z = 101 + -112. Are 5 and z equal?
False
Let j be (-1)/((-126)/248) + -2. Let h = j + 23/63. Let n be (-6)/15 - 2/(-5). Which is greater: h or n?
h
Let u be (-3)/12*-2*(0 - -2). Which is smaller: -1/40 or u?
-1/40
Let p be -4 + 1 - (6 - 5)*-3. Is 0.04 less than p?
False
Let k be 1/5*15/6. Which is greater: k or 4?
4
Let n be (-2)/(-10) + (-2676)/80. Suppose 0 = -j + 20 - 53. Let u = n - j. Is u <= 0?
True
Let g = -5 - -9/2. Which is smaller: g or -4?
-4
Suppose y - 2 = c, -4*y + 0*y + 5*c = -6. Let f(j) = j**2 + 6*j + 5. Let t be f(-6). Which is bigger: t or y?
t
Let z = 35 - 32. Which is smaller: z or 6?
z
Let b be 4/(-6)*5/(-20). Is b < 0?
False
Let i be (-14)/3 + (-4)/(-6). Let g be 1/(-2) + (-22)/i. Suppose -g*r = 4 + 1. Which is bigger: r or 1/4?
1/4
Let p(q) = q**2 + 9*q + 16. Let b be p(-7). Which is smaller: b or 0?
0
Let k = 9 + 12. Let r be k/56*40/(-18). Which is smaller: r or 0?
r
Let f(k) = 95*k. Let w be f(-4). Let a = 3894/73 - 190169/438. Let d = a - w. Which is smaller: d or -2?
-2
Let v be (4 + 14)*(0 - (-4)/(-6)). Is -12 not equal to v?
False
Suppose 4*f - 13 = -1. Suppose -5*l + w = -f*w + 17, 5*l - 7 = -4*w. Is l less than -3?
False
Let x(v) = -v**3 + 4*v**2 - 3*v + 2. Let l be x(3). Which is bigger: 5/2 or l?
5/2
Let d = 3 + -1. Is 4 > d?
True
Suppose 0 = -4*j + 8. Let d be (-2 - 9/(-4))*6. Which is greater: j or d?
j
Let g be 0 - (-1 - (-9)/6). Let t = -0.05 - -0.25. Which is smaller: g or t?
g
Suppose 5*j - 49 = -3*b, -j - 2*j = 2*b - 31. Suppose 3*x - 5*a = b*x - 45, -5*x + 24 = -2*a. Suppose x*c = c + 10. Which is smaller: c or 1?
1
Let m be -5*(4 - 5) - 4. Which is bigger: m or 52?
52
Let a = 11 - 10. Are a and -5 nonequal?
True
Let c = -141 - -707/5. Let z(q) = q**3 + 8*q**2 + 2*q + 12. Let r be z(-8). Which is smaller: r or c?
r
Let k = 119 - 481/4. Let j = 0.24 - -0.76. Is k equal to j?
False
Suppose -r - r - 8 = 3*j, 11 = -r - 5*j. Suppose 4*m = 5*t + 10, -4*t + 11 = -t + m. Which is smaller: t or r?
r
Let v = -52 - -51. Which is smaller: v or -29?
-29
Suppose -1 = n - 0. Is n <= 1/17?
True
Let g be 12*-1*(7 - (-80)/(-12)). Which is bigger: g or -18/5?
-18/5
Suppose -25*t = -29*t - 60. Which is smaller: -14 or t?
t
Let y be 1 - -1*(-9)/15. Let i(g) = g**2 + 2*g + 1. Let o be i(-1). Let h be (1 - 2)*(1 - o). Which is bigger: h or y?
y
Suppose 0 = -3*l - 2*l. Let n = l + 4. Suppose -3*y - u = -n, -5*u - 7 = -y + 5. Are 2 and y equal?
True
Suppose -2*f - 5 - 5 = 0. Let l(k) = -3*k**2 - 5*k - 4. Let u(j) = 7*j**2 + 11*j + 9. Let y(r) = 5*l(r) + 2*u(r). Let w be y(-4). Is w <= f?
True
Let f = 50.04 + -50. Are 2 and f non-equal?
True
Let o = -0.91 - -1. Let x = o - -0.01. Is x at most as big as 2/5?
True
Let l = -68 - -67. Let p = 3 + -4. Let m = 1.2 + p. Which is greater: m or l?
m
Let d be 40*(-1)/(-18) + -2. Is d greater than -3?
True
Let k = 40/193 + -40111/772. Let d = 52 + k. Let q = -3.4 + 0.4. Are q and d equal?
False
Let d = -17.11 + 0.11. Let i = 13 + d. Let s be (14/(-6))/(-1) - 2. Which is bigger: s or i?
s
Let r = 9.07 - 9. Which is smaller: r or -1?
-1
Let z = 5 - 2. Suppose 18 = z*d + a - 4*a, 0 = -2*d + 3*a + 15. Let f = -0.5 + 0.7. Is f at least d?
False
Suppose -2*z + c + 7 = -2, c = -5*z + 12. Suppose 0 = -2*q + 3*a - z + 6, q - 3*a - 3 = 0. Which is smaller: q or 1/8?
q
Let h be -4*(-2 + (-123)/12). Suppose 5*n - h = 2*j - 0*n, 0 = -4*j + 4*n - 68. Which is smaller: -11 or j?
j
Let z be 3 - (8/(-2) - (-561)/(-11)). Are z and 59 non-equal?
True
Let k = -98 - -104. Does k = 13?
False
Let h = -13 + 27/2. Suppose 3 + 7 = 5*f. Which is smaller: f or h?
h
Let u be 2/(-4)*(-8)/(-10). Let f be (-120)/(-9) + (-2)/6. Suppose 4*v - 8 = -4*r, 4*r - f = -0*v + v. Are u and v nonequal?
True
Let i be (-90)/(-4)*((-102)/(-18) + -5). Is -2/5 < i?
True
Let j(d) = 7*d - 13. Let i be j(2). Which is bigger: 9 or i?
9
Let h = 9 + -9.2. Is h not equal to 6?
True
Suppose -2*f - f + 3*h + 15 = 0, h + 1 = 0. Let a be 3/(-6) + (-10)/f. Let s be -4 + 0 + 1 + 1. Which is bigger: s or a?
s
Let p = 116 - 108.1. Which is greater: -1/4 or p?
p
Let f = 43 - 43. Is -3/5 > f?
False
Let m(p) = 2*p**2 + 2*p + 7. Let y be m(-3). Let g = 17 - y. Is g less than -2/3?
True
Let r be ((-16)/120)/(12/10). Suppose 4*v + 2 = 3*l, -4*v - 1 + 3 = -l. Is r <= v?
True
Suppose 4*c - 8*c - 20 = 0. Let x = -6 - c. Is -1/2 at least as big as x?
True
Let l = -4 + 2. Let f be 22/(-55)*(-25)/(-12). Is l smaller than f?
True
Suppose -2*r - 3 = 13. Which is bigger: -14 or r?
r
Let i(x) = -x**2 + 8*x + 9. Let m be i(9). Suppose m = -5*k - 7 + 2. Which is greater: 2/25 or k?
2/25
Let j = 142 - 142. Let u = 6.97 + 0.03. Is j smaller than u?
True
Let o be 1/8*32/88. Which is smaller: o or 1?
o
Suppose 3*s + 0*s - 3 = -3*f, -12 = -3*f. Let q = 8 + s. Suppose 0 = r - q, o - 5*r + 13 = -2*o. Is o greater than 4?
False
Let z(t) = -t**3 - 13*t**2 - t - 11. Let w be z(-13). Is 5/3 != w?
True
Let b = 366/5 + -73. Which is smaller: b or -0.02?
-0.02
Let m = -248 - 23. Let c = -2979/11 - m. Suppose 2*u = -1 - 1. Which is bigger: c or u?
c
Let l = 37 - 25. Which is smaller: l or -0.1?
-0.1
Suppose 5*m - 2*m - m = 0. Which is smaller: m or 1/145?
m
Let b(i) = i**3 + 7*i**2 - i - 7. Let u be b(-7). Which is bigger: 9/7 or u?
9/7
Let b = 73 + -368/5. Which is greater: b or 0.5?
0.5
Let o be (3 - 4) + (-3)/(-1). Suppose p + 2 = o*s, -2 = -2*s - 0*s - p. Is s > 2/7?
True
Suppose 2*a + 3 = a. Suppose 4*t + 6 = -6. Is a at most t?
True
Suppose -4*v - 20 = -4*c - 0, 5*c - 57 = -3*v. Suppose 5*n = -5*z + 10, -4*n + 5*z = c + 1. Let g be (-1 - -1)*(-20)/40. Is g at most n?
True
Let u be 8/36 + (-20)/9. Let a be ((-4)/u)/((-6)/(-2)). Let f = -3.2 - -3. Which is smaller: a or f?
f
Let k = 10/1029 - 52799/32928. Let d = 3/32 + k. Let t = 0.1 + -0.1. Which is smaller: d or t?
d
Let m(k) = k**3 - 8*k**2 - 8*k + 10. Let b be m(9). Suppose 5*n + 3*q - 3 = -b, -2*q + 4 = -4*n. Which is smaller: 0 or n?
n
Let n = 6 + -4. Is n less than or equal to 4/5?
False
Let d = 25 - 37. Do -2/3 and d have different values?
True
Suppose 0 = -2*z - 2*z - 4, 2*u = -z + 1. Which is bigger: u or 5/4?
5/4
Suppose 4*u - 2*u - 26 = -2*i, -u = 2*i - 11. Let y be u/(-6)*(-8)/5. Which is bigger: y or 3?
y
Suppose u - 15 = p - 2*u, -4*p - 8 = u. Let w = -70 - -67. Is w smaller than p?
False
Let a be 293/3 + (-1)/(-12)*4. Which is greater: 99 or a?
99
Let u be 2/3 + (-22)/15. Suppose h + 19 + 3 = -5*s, 0 = -4*s - 16. Is h not equal to u?
True
Let t be 0 + -1 + 0/2. Let w(q) = q**3 + 10*q**2 - 10*q + 2. Let y be w(-11). Let x be (y/12)/((-9)/(-6)). Which is smaller: x or t?
t
Let n be 4/6*2/6. Let y = 111 + -110.8. Does n = y?
False
Let w(m) = -m**2 - 4. Let p be w(0). Let s(n) = n**2 + 4*n + 1. Let r be s(p). Does 1 = r?
True
Let n be (-332)/14 + (-2)/7. Let w be (n/(-285))/((-8)/20). Is w < 0?
True
Let g(k) = -k**3 + 4*k**2 + 5*k + 7. Let z be g(5). Suppose -2*b = u - 1, -b = 5*u - 3*b - 41. Is z at most as big as u?
True
Let o(g) = -g**3 + 5*g**2 + 2*g - 7. Let x be o(5). Suppose w = -x*z + 3 - 0, 4*z = 4. Is w equal to 0?
True
Let q(k) = k**3 - k**2 - 2*k + 3. Let m be q(2). Suppose m + 0 = -3*z. Suppose 2*g - 4 = 6. Is g at least z?
True
Let b = -18 - -10. Which is greater: -9 or b?
b
Let l = -9 - -13. Let a = l + -4. Is -1 at most as big as a?
True
Suppose -63 = 2*c - 5*c. Let r = 13 - c. Is r at most -9?
False
Suppose -5*a = -y - 14, -3*y + 2*y + 2 = 3*a. Let o be a + ((-63)/15 - -1). Are o and -2 equal?
False
Suppose 0 = -0*d + 2*d + 2. Which is greater: 2/9 or d?
2/9
Let a = 0.03 + -0.83. Let g = -1 - a. Let k be (32/(-36))/4*3. Is k at most as big as g?
True
Let h be (-6)/9 + (-1)/3. Let b be (21/10)/((-6)/112). Let i = b - -39. Which is bigger: i or h?
i
Let u be (-135)/(-36) - (-2)/8. Suppose 10 = -5*j - 3*y, u*j + 0*j + 10 = -2*y. Let s(n) = -2*n**2 + 4*n + 1. 