ose 6*g - 2*g = -s - 9, 5*g = -5. Suppose 4*l + 10 = -10. Is l at least s?
True
Let x = -22 + 22. Are x and -0.29 non-equal?
True
Suppose 40 = -7*k + 2*k. Let u = -4 - k. Suppose -4 = -0*m + u*m. Which is greater: m or 1/5?
1/5
Let z = 89 + -23. Is 66 at least as big as z?
True
Let b = -12 - -20. Let k = b - 11. Is -2/7 greater than k?
True
Let j = -7 + 3. Let h be (8 - (-1 - -7))/(-6 + 0). Are h and j nonequal?
True
Let q(v) = 12*v - 3. Let t be q(2). Suppose 0 = -5*c - 4*k + 28 - 3, -4*c + 5*k - t = 0. Is c greater than 1/8?
True
Let t = 0.9 - -0.1. Let u = t + 0. Let i be (-4)/14 - 54/(-42). Are i and u nonequal?
False
Suppose -5 + 7 = y. Let s be (14 - y/(-2)) + -2. Which is smaller: 14 or s?
s
Let v = -61/7 - -577/63. Suppose 8*x - 5*x - 39 = 0. Let t = 14 - x. Which is smaller: t or v?
v
Let v(l) = 7*l**2 + 7*l + 6. Let d(u) = -20*u**2 - 20*u - 17. Let t(s) = 6*d(s) + 17*v(s). Let b be t(1). Which is bigger: 0.2 or b?
0.2
Let q be -2 + 0 + (8 - -1). Let k = -10 + q. Let r = -3 + k. Is -7 less than r?
True
Let q be 3/5 + 112/(-20). Which is bigger: -3 or q?
-3
Let r = -3076 + 21486/7. Let w = r + 110/21. Let t be -1*(1 - 3/(-3)). Which is bigger: t or w?
w
Let t = -43 - -11. Which is smaller: t or -30?
t
Let q = -356 - -4626/13. Which is bigger: q or 3?
3
Let x(a) = a - 7. Let y be x(6). Let u be (4 - (-26)/(-5)) + (1 - 0). Is y smaller than u?
True
Let k be (-2 - -1) + 26/22. Let t = -16 + 16. Suppose -5*r = 4*m, -m + 2*m + 2*r = t. Which is smaller: k or m?
m
Let f = -39 - -105. Let j be (-4 + 7)*(-4)/f. Does j = 0.1?
False
Let a = -67/20 + 15/4. Let c be (1/(-3))/((-4)/48). Let k = -3 + c. Which is bigger: k or a?
k
Suppose -3*f - 2*f - 33 = -4*q, -4*f = -2*q + 24. Suppose -14 = t - q*z, 0 = -t - t + 2*z - 22. Let r = -10 - t. Is r less than -2?
False
Let y be 6/(-4)*14/(-3). Which is bigger: y or 8?
8
Let x be (4 - 7)*(4/(-45) + 0). Which is bigger: -1 or x?
x
Suppose 0 = -2*n, 4*l - n + 1 = -7. Let w be (-2)/(-6) - (-1037)/12. Let y = 86 - w. Which is smaller: l or y?
l
Suppose 25 - 28 = -3*m. Which is bigger: m or 2/183?
m
Let s = 5 + 8. Let t be (-216)/117 + (-2)/s. Is t at least -5/2?
True
Let n = -1063.09 - -1058. Let u = n - -0.09. Which is greater: u or 0.1?
0.1
Let f(u) = 3*u**2 + 1. Let l be f(-1). Let p(t) = t + 17. Let r be p(-14). Is l bigger than r?
True
Let n(p) = p**2 - 6*p + 1. Let g be n(7). Let m be g*(-16)/(-66) + -2. Let q = 5/33 + m. Which is smaller: -1 or q?
-1
Let c be (-2 + 1)*(-2)/1. Suppose 3*r - 14 = o, c*r - 8 = o + o. Do 5 and r have the same value?
True
Let j(i) = 77*i**3 + 2*i**2 - 1. Let u be j(1). Suppose -4*l - 66 = -b + u, -5*l - 2*b - 167 = 0. Let z be 2/(-7) + (-10)/l. Which is greater: z or -2/11?
z
Let o(q) = -q**2 + 2*q + 2. Let z be o(4). Let n = z + 7. Which is smaller: n or -1/4?
-1/4
Let z = 4 - -12. Suppose r + 4*r = 4*a - z, -r - 4 = 0. Which is greater: 5 or a?
5
Let k be 2 - 3/((-108)/(-39)). Is k > -1?
True
Let n(q) = -12*q**2 - q. Let z be n(1). Is z at most -12?
True
Let q be (6/5)/((-6)/(-30)*-1). Which is smaller: -5 or q?
q
Suppose r - 5*r = 0. Suppose 0*n + 2*l - 16 = 4*n, 2*l = n - 2. Let p = n - -6. Is p bigger than r?
False
Let r(f) = f**2 - 3*f - 3. Let l be r(6). Is l at most 17?
True
Suppose -7 + 22 = 3*a, -4*m = 5*a - 17. Let w be m - -7 - 0/(-2). Let k = w - 2. Which is bigger: 2 or k?
k
Let j(v) = v**3 + 6*v**2 - 8*v + 10. Let x be j(-7). Which is bigger: x or 16?
x
Let t be 2 + 0 - (2 - -1). Let f(v) = -2*v**2 - 3*v + 5. Let y be f(4). Let a = -155/4 - y. Which is smaller: t or a?
t
Let y = -87778/165 - -532. Which is bigger: y or 0?
y
Let a = -9 + 13. Suppose -3*i = -a*i - 4. Suppose 8 = -4*b - 4. Is i at most b?
True
Let d(j) = -j**2 - 11*j - 2. Let b be d(-10). Let o = b - 11. Are -5 and o non-equal?
True
Let u be (-24)/(-14) + (-2)/(-7). Let z(j) = j**3 + j**2 + j + 3. Let g be z(0). Suppose -4*v + 5*y + 22 = 0, y - 7 = -4*v + g. Is v not equal to u?
True
Let t(u) = -14*u + 11. Let d(a) = 5*a - 4. Let s(x) = 17*d(x) + 6*t(x). Let g be s(7). Suppose -2*j + 1 = 2*b - 7*j, g*b = -5*j + 20. Is b != 2?
True
Let w be 24/8 + (-65)/(-23)*-1. Is w equal to 0?
False
Let q(l) = -l**2 + 6*l - 2. Let o be q(6). Let u be 21/66 + 1/o. Is u <= -0.1?
True
Let b be (1/18)/(23/4). Is -1 != b?
True
Let r = -86 + 86.2. Is 2/11 greater than r?
False
Let a = 6 - 3. Let b = 1 + a. Let l = -3 + b. Are l and -4 equal?
False
Suppose 3*t + 3*g - 216 = 0, 5*g = 2*g - 15. Let x be 10/60 + t/6. Is 14 greater than x?
True
Suppose 4*s - 10 = 6. Let n be 3/s - (2 + -1). Is -6 at most n?
True
Let y = 3 - 7. Are -6 and y equal?
False
Suppose -19 = -3*d - 7. Let i = d - 2. Let c = i - 5. Is -3 at least as big as c?
True
Suppose -2*j + 2 = -2. Let c be -3 + 1/1*1. Let g = c + j. Which is bigger: g or 2/11?
2/11
Let g = -435245/3098 - 12/1549. Let i = g - -138. Is -4 greater than or equal to i?
False
Let z = -151/8 - -1439/72. Are 1 and z equal?
False
Let w = 1 + 1. Let v be 4 - 4*w/4. Let i(l) = -l**2 + 13*l - 29. Let z be i(10). Is v greater than z?
True
Suppose 0 = -4*h + 4. Let s = -6 + 9. Is h smaller than s?
True
Let y(h) = 4*h + 19. Let z be y(9). Let a be (-1)/z - 4/22. Let t = 3 - 4. Which is greater: t or a?
a
Let m = -10 + 10. Which is smaller: m or -1/5?
-1/5
Let c = -1651/11 + 150. Is c not equal to -1?
True
Let f(q) = q + 14. Let b be f(-14). Which is bigger: -7/10 or b?
b
Let k = -395/3 - -133. Let j(s) = -s**3 + 3*s**2 - s. Let c be j(2). Which is bigger: c or k?
c
Let h = 0.045 + -0.245. Which is bigger: 0.05 or h?
0.05
Let k be ((-4)/2*1)/((-75)/18). Which is greater: -1 or k?
k
Let m be 3/2*8/12. Is m > -2/23?
True
Let b = -8.97 - -9. Which is smaller: 0.1 or b?
b
Let x(t) = -t**3 - 23*t**2 - 21*t + 21. Let h be x(-22). Let p = -28 - -531/19. Which is bigger: h or p?
p
Let d be 4/(-6) - 16/3. Let b be (-38)/6 - 4/6. Do d and b have different values?
True
Let d be 1/(-2)*(-10)/15. Let w = 1 - 2. Let u be (-2 - -2)*w*1. Which is smaller: u or d?
u
Suppose 11*a = 6*a. Which is smaller: a or 7?
a
Let u = 11 - 19. Let o(t) = -5*t - 62. Let d be o(-11). Is u < d?
True
Let d(x) = -x + 110. Let b be d(33). Which is smaller: 76 or b?
76
Let t be (12/3)/(-1) - -3. Do t and -1 have different values?
False
Let u be ((-93)/12 - 1)*-4. Let x be 37/7 + (-10)/u. Suppose 0 = 3*l + 4*j, 0*l - l + x*j = 0. Is 0 <= l?
True
Let r = -2935/11 + 267. Which is greater: r or 1?
1
Suppose 1 = t - 6. Let a be ((-9)/6)/(-3)*t. Is a <= 4?
True
Suppose 0 = -3*f - 12, f = d - 30 - 61. Which is greater: 88 or d?
88
Let o(s) = -s**3 - 5*s**2 + 7*s + 3. Let v be o(-6). Let k be 2*v/(-6) + -7. Is -3 > k?
True
Suppose 4*a = -q - 4, -16 = q + 3*q + 2*a. Let r(p) be the second derivative of p**5/20 - p**4/3 - 5*p**3/6 - 2*p**2 - 3*p. Let u be r(5). Is q < u?
False
Let z = 6 - 6. Let w = 0.02 - z. Let g be (3/6)/((-1)/(-2)). Which is greater: w or g?
g
Let s(a) = a - 5. Let l be s(7). Which is smaller: 5/4 or l?
5/4
Let u be (-160)/195 - (-2)/3. Suppose -6*q = -3*q - 9. Let j be 0 + q/(-6)*0. Is j smaller than u?
False
Suppose 4*x = -12, -4*l + 0*x + 11 = -x. Which is greater: 1/2 or l?
l
Let i = -226 + 13788/61. Do 1 and i have the same value?
False
Suppose -18 + 6 = 2*b. Let v(p) = p**3 + 6*p**2 - p - 5. Let x be v(b). Let w = -3/149 - -462/745. Which is greater: x or w?
x
Let x = 28 + -25.9. Let u = -2 + x. Let d = 1.03 + -1.23. Which is bigger: d or u?
u
Let n be -1*((-2 - -10) + 0). Let p be n/10*(-6)/(-8). Which is bigger: 0 or p?
0
Let n be 1 + (18/(-5) - -1). Let t(p) = 2*p**2 - 42*p - 3. Let k be t(21). Which is smaller: n or k?
k
Let z be 1/3*(-6)/20. Which is bigger: 0 or z?
0
Suppose -u - 3*u = -4*i - 4, -i + 3 = -2*u. Which is smaller: i or -23/5?
i
Suppose -j + 40 = -5*j. Let f = 16 + j. Are 6 and f equal?
True
Suppose -3*l + 3*d = -9, -2*l = -l - 5*d + 9. Suppose -l = 2*g - 4. Let a be ((6/8)/(-3))/g. Is -1/5 not equal to a?
True
Suppose -g + 0*g - 8 = 3*p, -4*p - 12 = g. Let k(f) = 6*f + 3. Let s be k(g). Let h be (-3*12/s)/2. Does -1 = h?
False
Let w be 9/(-2)*(-4)/3. Suppose l + 5 = 0, q + l + 20 = w*q. Suppose 0*h + 6 = q*h. Does h = 2?
True
Let d be (2 + (-110)/52)*(18 - 12). Which is greater: d or 0?
0
Suppose 2 = 2*z + 8. Let x(t) = 0*t - 2*t + 4*t + 2. Let w be x(-2). Is z != w?
True
Let j = 1/35 