= 2*g - 8. Let m be t(6). Suppose m*l = -4*c - 4, 0 = -l + 4*c - 4 - 17. Is -4 less than or equal to l?
False
Let t be (-3 - -7) + 38/(-12). Which is bigger: 1 or t?
1
Let x = 19 - 15. Suppose 8*i = 4*i + x. Which is greater: i or 1/17?
i
Suppose -3*o = 4*d - 9, -2*d - 3*d = 3*o - 12. Let x be (0 + 3/(-6))/o. Suppose -2 = -5*p + 4*p. Is x != p?
True
Let k be ((-18)/(-12))/((-1)/(-2)). Let t be (9/45)/(k/10). Are -2 and t non-equal?
True
Suppose -3*m = 2*m - 45. Let t = m - 8. Which is smaller: t or -1/4?
-1/4
Let c = -12 + 6. Let b be (-16)/(-3) + c/(-9). Suppose l - b = -l. Which is smaller: 5 or l?
l
Let r(u) = u**3 + 7*u**2 - 9*u - 8. Let c be r(-8). Suppose c = x - t, 2*x - 3*x - 10 = t. Let f(y) = y + 2. Let p be f(-2). Is x != p?
True
Let m = 5 + -6.4. Let b = -3.4 - m. Do b and 1 have different values?
True
Let w be (28/(-70))/(1/(-5)). Which is bigger: 5/7 or w?
w
Let z be (0 + -1)*((-1 - -3) + -2). Let n = 5/12 + -1/6. Which is smaller: z or n?
z
Let u be (-2)/(-6) - (-4)/(-3). Let g be 2 - 6 - (-224)/60. Let l = 31/60 + g. Is l at most as big as u?
False
Let v = -0.04 + 0.38. Let h = 0.3 - 0.26. Let a = h - v. Which is bigger: a or -1?
a
Let g be (-517)/(-55) - (-4)/(-10). Which is greater: g or 8?
g
Let d be 1 - (-2 - 4)/(-2). Suppose -5*k + 10 = -5*b, -3*b - 1 = -10. Suppose 0*c = 5*c + k. Is c greater than or equal to d?
True
Let t = 3 + 0. Suppose 4*v - 9 = -w, t*v + 1 = -5*w + 29. Is v <= 2/5?
False
Suppose -5*t = -2*n - 49 + 6, 0 = 4*t - n - 32. Suppose -12 = -m + 4*g + t, -23 = 3*m + 4*g. Let x = 24 - 95/4. Which is smaller: x or m?
m
Suppose 5 = -m, -3*d = -0*m - 4*m + 295. Let z be ((-56)/d)/((-2)/(-3)). Which is smaller: 2 or z?
z
Let c = -3 + 4. Let z = -1 + 2. Let u = z - c. Which is smaller: u or -3?
-3
Let u be -5*-1*(-24)/340. Do u and 0 have different values?
True
Suppose 0 = -7*t + 3*t + 12. Let c be (-2)/(1 - -1)*-4. Which is smaller: t or c?
t
Let l = 2.1 - 2. Let b = 0 - l. Let w = 0 + b. Are 3/5 and w unequal?
True
Let g = 0.024 + 0.076. Let t = -1 - -1.2. Let o = t - g. Do -1 and o have different values?
True
Let k be -2 + 5 + -1 + 1. Suppose 0 = l + 1, -5*r + k*l - 20 = 2. Is r greater than -4?
False
Suppose 0*c - c = -1. Suppose -3*z + 2*z = c. Let a be 1 - ((-39)/(-15) + z). Is -1 at most a?
True
Suppose 0*p + 4*p - 12 = 0. Suppose p*s + 6 = 5*s. Is s greater than 1?
True
Let p = 992/3393 - -4/261. Which is smaller: p or 0?
0
Suppose -143 = -0*z - 11*z. Is 10 equal to z?
False
Let y be (3 - 148/36) + 1. Which is greater: -1 or y?
y
Suppose v + 0*v - 6 = -3*n, n = -5*v - 12. Let o(h) = -4*h - 4. Let z be o(v). Let r = z + -4. Is 4 at least as big as r?
True
Let o = 0.6 + 4.4. Let a = o - 4. Does a = 2/3?
False
Let i = -0.3 - -0.4. Let r = 0.03 - 0.02. Let x = 1.01 - r. Which is bigger: x or i?
x
Suppose -3*o - 5*r = -5, -5*o + 2*r = -2*o + 2. Which is bigger: o or -3/5?
o
Suppose -5*s - h - 8 = -0*s, 0 = -s - h. Let d = 1 + s. Let f = -16/5 - -3. Is f at most as big as d?
False
Let y = 7347 - 36608/5. Let n = y + -26. Do n and -2 have the same value?
False
Let f = 6717/20 + -1365/4. Is 0.1 < f?
False
Let b be (6/(-8))/(1*6). Let z = -266 + 265.8. Is b < z?
False
Suppose -4*z + 2*u = 38, -2 + 17 = -z - 5*u. Is z at least -10?
True
Let b = 6.8 + -5.8. Is -46 > b?
False
Let g be 1 + (-2)/(6/(-9)). Suppose 0*s = n - 4*s - 16, -g*n - 20 = 5*s. Suppose 5*v + 0*v = n. Which is greater: v or 2/3?
2/3
Let a(w) = w**3 - w**2 + w - 7. Let x be a(4). Let h = 29 - x. Which is smaller: h or -17?
-17
Let r = -2 - 4. Let g be 3/r*1/(-12). Which is smaller: 0 or g?
0
Let f = 334 + -3337/10. Suppose 2*x = -8, -2*s + 2*x + x = -14. Which is bigger: f or s?
s
Let b be (-4)/18 - 58/(-18). Let l = -3 + b. Let m be (7/4 + -2)*-1. Is l greater than m?
False
Suppose 2*y = 4*g - 3 + 11, 0 = -2*g - y + 4. Which is greater: 6 or g?
6
Let k(g) = -5*g - 3. Let j(m) = m. Let a(y) = 3*j(y) + k(y). Let w be a(-2). Is w smaller than -1?
False
Let u = -1385/2 - -359. Let x = u - -310. Let h = 95/4 + x. Do 0 and h have the same value?
False
Suppose -5*j + 26 - 11 = 0. Suppose x = -j*x. Is x smaller than -4/7?
False
Let v(x) = -2*x**3 - x**2 + 4*x + 4. Let h be v(-2). Let s be 4/10 - h/(-20). Are s and 2 nonequal?
True
Let q(m) = m**3 + m**2 - 5*m - 3. Let o be q(-3). Let k(y) = -y - 6. Let f be k(o). Let h = 4 - 5. Is h > f?
False
Let y = 1 + 0. Suppose 0 = 3*l + 18 - 24. Which is bigger: l or y?
l
Suppose 3*x + 2 = -3*n + 8, 3*x - n = 14. Is 5 equal to x?
False
Let b = -153/5 - -31. Which is bigger: -0.2 or b?
b
Suppose 2*r = 4*r - 6. Let c = 16 - 12. Suppose -2 = -2*t + c. Is r <= t?
True
Suppose 6*a + 125 = a. Let v be ((-10)/a)/((-28)/15). Which is bigger: v or 1?
1
Suppose s + 14 = -2*j, 2*j - 3*j = -2*s - 18. Let m = s + 6. Let y(t) = 3*t + 1. Let x be y(-1). Are x and m non-equal?
True
Let i = -1.1 + 0.1. Let s = i + 5. Let h = -37/2 + 18. Which is greater: s or h?
s
Suppose 0*w + 5*u - 21 = -2*w, -23 = -w - 5*u. Which is greater: 5/2 or w?
5/2
Let j(w) = -w**2 + 3*w + 3. Let f be j(5). Let m = 10 + f. Which is smaller: 2 or m?
2
Let l(o) = o**2 - 5*o - 1. Let j be l(6). Suppose 5*r + 5 = -j*p, p + 0*p - 4*r = 4. Are p and -0.3 non-equal?
True
Let j be (-36)/(-10)*350/(-15). Let i = j - -754/9. Is -1 at most i?
True
Suppose -5*n = -3 - 12. Suppose -3*r = -3 - n. Are r and -0.01 non-equal?
True
Let i = -18 - -18. Is -3/8 <= i?
True
Let w be (-45)/12*(-16)/6. Let o(r) = r**2 - 11*r + 15. Let k be o(w). Let q(x) = x**2 - 6*x + 4. Let d be q(k). Are -2 and d nonequal?
True
Suppose -2*v + 3*v - 1 = 0. Let b(y) = -y**2 - y + 12. Let d be b(11). Let r be 3/(-12) - 14/d. Is r equal to v?
False
Let p = -2 - -1.5. Let z = p + -2.5. Let j = z + 3.2. Is j greater than -0.2?
True
Let q = -61 + 60.9. Is 2/69 not equal to q?
True
Suppose 0 = -2*b - 0*q + 4*q + 10, -q = -5*b + 16. Let m be 1 + 27/b + 3. Let o = m + -93/7. Is -1 equal to o?
False
Suppose 3*k = -3*s - k + 9, 0 = -5*k + 15. Suppose -2*w - 24 = 2*w. Let q be (w/9)/((-4)/(-6)). Are q and s equal?
True
Let l = -41 - -41. Which is greater: l or 2/73?
2/73
Let d = 1 - -2. Let c = -8 - -17/2. Which is smaller: c or d?
c
Let a = -0.6 + 0.3. Is a at least as big as -4?
True
Suppose 4 = -u + 7. Suppose 0 = -o - u*o - 4. Is 3/4 != o?
True
Let a(o) = o + 1. Let v(y) = 4*y + 5. Let h(w) = 3*a(w) - v(w). Let r be h(-2). Let f be (r/(-2))/(-4 + 5). Which is smaller: -2/11 or f?
-2/11
Suppose 2 = -4*w + 5*w. Which is bigger: 16/9 or w?
w
Let s = 1440/17 + -9162/119. Is s greater than 7?
True
Suppose -2*i - i + 6 = 0. Which is greater: i or 1?
i
Suppose 2*b = 3*b - 15. Suppose -5*a + 15 = -5*f, -3*f + b = 3*a - 0*a. Let q = 83 + -82. Is q bigger than f?
False
Let s = 2013973911086279183/108160 - 18620320923668. Let k = 3/21632 - s. Let f = -164 + k. Which is smaller: f or -1?
-1
Let n be 3 + 0 - (-107)/(-35). Is n smaller than 1?
True
Let a = -423/5 - -85. Are a and -1 nonequal?
True
Let k = 9 + -32. Is -24 not equal to k?
True
Let k = -14.1 - -14. Which is greater: k or -5?
k
Let g be (-8)/(-32) - (-23)/(-140). Is -1 not equal to g?
True
Let u(d) = -d**2 + 14*d - 31. Let i be u(11). Suppose -4*o - 2 = 2*n, -2*o = -4*n + 2*o + 20. Let x = n + -2. Does i = x?
False
Let v(k) = k**2 - 6*k - 1. Let r be v(6). Let q = 0.01 - 0. Let b = q + 0.99. Which is greater: r or b?
b
Let p be (6 + -3)/1 - 2. Which is smaller: p or 2/7?
2/7
Let a be (-3)/12*-2*-4. Let i be (-4 + 9)*3/25. Do i and a have different values?
True
Suppose -9 - 3 = 4*u. Let j = 3 + u. Let d be (-4)/14 - 8/21. Are d and j equal?
False
Let t(h) = h + 3. Let j be t(-2). Let g(r) = r - 1. Let u be 3 - -1 - 2/2. Let l be g(u). Which is greater: l or j?
l
Let k = -328.98 - -334. Let h = -0.02 + k. Which is smaller: h or 0.1?
0.1
Suppose -3*y + 5 = 2. Let l be 7/(-14) - 9/(-2). Let d be l/2*39/(-182). Is y < d?
False
Let f = -14 - -8. Let o = 5.5 + f. Which is smaller: o or 2/5?
o
Let j be 2/1 - (-11991)/77. Let m = -158 + j. Is m greater than 0?
False
Let n = 4 - 8. Let l(y) = -1 + 4*y - 9 - 3*y. Let o be l(5). Which is greater: o or n?
n
Suppose -16 = 2*g - 6*g. Suppose g*l = -0*l. Are -2/7 and l equal?
False
Let x be ((-35)/(-25) + -1)*-10. Are x and -5 unequal?
True
Let u(v) = -2*v + 14. Let z be u(7). Is z < 1/25?
True
Let p = 22 + -45/2. Let