). Is 0 >= g?
False
Let m = 0.33 - 1.33. Which is greater: m or -2?
m
Let m(k) = -k**2 + 3*k - 2. Let l be m(2). Suppose -4*p + 4 + 4 = l. Suppose 0 = -0*t - 4*t - w + 5, -w = -2*t + 1. Which is bigger: p or t?
p
Let g = -15 - -7. Suppose -6*u = -3*u - 3*x + 27, u - 3*x = -13. Is u != g?
True
Let v be (-3)/(-26*3)*-259. Let d = v - -84/13. Is -4 smaller than d?
True
Let a = 8 - 7. Let b be -2*3/12 + 1. Are a and b non-equal?
True
Let y(f) = -2*f**3 + 2*f**2 - 3*f + 7. Let a(l) = -l**3 - l + 1. Let w(v) = 5*a(v) - y(v). Let c be w(-2). Let u be c/(-14)*3/9. Is u <= -1?
False
Let w(p) be the second derivative of -p**3/6 + 4*p**2 + 6*p. Let m be w(9). Is m <= -5?
False
Let j be 2/(-5)*(8 - 9). Suppose -5*r + 0 = -5. Let n = -1 + r. Which is greater: j or n?
j
Let n be (3/6)/((-3)/(-6)). Do -2/9 and n have the same value?
False
Let d be (-91)/(-65) + (-6)/(-10). Which is smaller: 0 or d?
0
Let a = 79862/35 - 2282. Let y = -4/5 - a. Suppose -n + 3*p - 8 + 2 = 0, -4*p + 8 = 2*n. Is n greater than y?
True
Let c be 56333/34782 - 18/12. Let t = c + -2/1023. Let i = -0.2 + 0.1. Which is bigger: i or t?
t
Let i(o) = -o + 5. Let w be i(6). Let r = 30 + -31. Is w at least r?
True
Let v be ((-52)/(-715))/((-4)/(-30)). Is v at most as big as 5?
True
Let n(m) = -m**2 + 5*m - 2. Let d be n(3). Suppose -3*u + d*u = 2. Is 1/4 > u?
False
Let h be 2 - 0*2/(-6). Suppose -u + g - 4 = -0*u, h*u + g = 4. Which is smaller: u or 0.05?
u
Suppose -3*h + 3*c = -36, -c - 22 = -2*h + 3*c. Which is smaller: h or 18?
h
Let s = -133 + 100. Is s < -33?
False
Let k = 0.04 - -0.76. Let m = -1.3 - k. Let r = m - -2. Which is smaller: r or -1/5?
-1/5
Let m(f) = -f + 5. Let d be m(5). Suppose -y + 1 = -1. Let v be y/4*8/(-12). Is d bigger than v?
True
Let f = 2 - 5. Let h be f/3 + 1/1. Suppose -j = 5*s - 4*j - 8, -3*j = 2*s + 1. Which is smaller: s or h?
h
Suppose 4*m = 3*m - 5. Let s be ((-24)/(-16))/(m/2). Are s and -1 equal?
False
Let t = 1 + -1. Let s = t - -0.2. Is s at least -4?
True
Let u be 2/(-6) - (-22)/(-33). Are u and -2/79 unequal?
True
Let b = -1 - -3. Suppose 10 = b*z - 0. Is 3 at most as big as z?
True
Let c be (-1235)/416 + (-6)/(-2). Are 0 and c equal?
False
Suppose 19 = -4*g + 3. Which is greater: g or -5?
g
Let i = -0.14 - 0.06. Let d = -0.1 - i. Is d at most as big as 2?
True
Suppose 6 - 2 = 2*o. Let v = o + 1. Is v < 0?
False
Suppose 0 = -0*v - 2*v - 4. Let c = v - -2. Let a = 1616/143 + -126/11. Which is bigger: c or a?
c
Let z be 1/(1*3/9). Let c = -1 + z. Which is bigger: c or 3?
3
Let c = 133 + -12101/91. Let k = 216/1547 - c. Let a = -3 - -2. Is a less than or equal to k?
True
Let y = 103 + -102. Let d = 1 + 6. Is y at least as big as d?
False
Suppose 2*z + 1 = 9. Suppose 0 = -52*r + 54*r - 14. Which is smaller: r or z?
z
Let c be (1/9 + 0)*3. Suppose 2*p - 5 = 4*i + 5, -5*p + 25 = 5*i. Is i at least c?
False
Let u be (-2 + -1)*(-12)/144. Suppose -6*q - 2 = -7*q + 3*m, 0 = m + 1. Which is greater: u or q?
u
Suppose 4*a = 4*g - 12, 0*g = 4*a - 3*g + 17. Which is smaller: -9 or a?
-9
Let n = 0.22 - 0.2. Is n at most as big as 1?
True
Let l(f) = f**2 + 3*f - 2. Let u be l(6). Which is smaller: u or 53?
u
Suppose 4*t - z = 35, 0 = -t + 3*z - 2 - 3. Suppose 4*c + c = -t. Which is smaller: -1 or c?
c
Suppose 2*h - 5 = 3. Let x = -6 + h. Is -1/2 greater than x?
True
Let m = -4253/13 + 327. Suppose 4*t - 4*f + 12 = 0, t + 6 = -2*t + 2*f. Do m and t have the same value?
False
Let p = 6 + -4. Let o be 4/(-18) + 29/9. Let z = o - 0. Is z > p?
True
Let d be (32/6)/((-1)/(-3)). Suppose -7 - 8 = -3*k, d = -o + 4*k. Suppose 2*y - u - 11 = 0, -2*y - u + 4*u + 17 = 0. Does o = y?
True
Let a(w) = -w + 4. Let f be a(2). Let y = -1 + f. Let z be y/(2 + -4 + -1). Which is smaller: 1 or z?
z
Let a = -0.06 + 5.06. Let u = 5.2 - a. Let z = u - 0.3. Is z <= 1?
True
Suppose -5*p - n = -0*n - 21, -4 = n. Suppose 45 + 75 = p*t. Let r be (t/56)/((-6)/(-8)). Which is smaller: 2 or r?
r
Let j(u) = 21*u + 1. Let d be j(-1). Let h be (-6)/(-9) - d/(-3). Is h equal to -6?
True
Suppose 2*y + 3*y = -25. Which is bigger: y or -1?
-1
Suppose -6 = 5*n + 2*m, 0 = -0*n - 4*n - m - 6. Which is bigger: 23 or n?
23
Suppose -k = -2*k + 26. Do k and 26 have the same value?
True
Let q be (-6)/2 - (-24)/3. Let v be -1*(-3 + q) - -18. Suppose -4*p = 4*n - 0*n - v, -3*p + 14 = 4*n. Which is smaller: p or 3?
p
Let w(x) = x**3 + 6*x**2 - 8*x + 8. Let u be w(-7). Do u and 14 have the same value?
False
Let v(n) = -n**2 + 9*n + 10. Let l be v(10). Which is bigger: -4/15 or l?
l
Suppose -3*p = -12*p + 135. Is 14 less than p?
True
Suppose 2*w + 4 = w. Let t = -4 - w. Which is smaller: -2/7 or t?
-2/7
Let a = -5.01 + 5. Let h = a + 0.21. Does h = 2/5?
False
Suppose b - 18 = -5*u, u = -4*b - 2 - 2. Let n = u + -8. Let i be (6/n)/((-12)/(-16)). Is i less than or equal to -2?
True
Let r be 6/3 - 1 - -2. Let k be r/2*16/6. Is k not equal to 4?
False
Let o be (-4 - -6)*(-6)/(-4). Let f = -0.01 - -0.21. Which is smaller: f or o?
f
Suppose -3*x + 0*x - 6 = 0. Do x and -4 have the same value?
False
Suppose -4*s - 20 + 8 = 2*a, -3*s = -5*a + 9. Which is smaller: 1/5 or a?
a
Let n = 2.9 - 3. Let r(h) = -2*h**2 + 6*h + 3. Let j be r(10). Let y = 682/5 + j. Is y at least as big as n?
False
Let o = -3 - -4. Let c = o - 2. Suppose -2*p - 2 = 2. Are c and p unequal?
True
Let q(d) = -d**2 - 6*d. Let g be q(-6). Let s be (3/(-1) + 4)*2. Is g at most as big as s?
True
Let t be (-427)/2205 - 4/(-18). Let m be 1/(-1)*(2 + -2). Is m less than or equal to t?
True
Let x = -5.84 + -0.16. Let j = x + 6.2. Let p = -4/11 - -42/55. Which is greater: p or j?
p
Let p(k) = k**3 - 4*k**2 + 3*k - 3. Let l be p(4). Is l greater than or equal to 9?
True
Let a = -2079 + 160081/77. Are a and -1 equal?
False
Let f be (18/2)/3 - 296. Let x = -868/3 - f. Let q = 13/6 - x. Is -3 equal to q?
False
Suppose -4*g - q = -0*q - 17, 0 = -5*g + 4*q + 37. Suppose 0 = -g*t - 5*b - 50, t - 5*t - 32 = -4*b. Let f be ((-1)/2)/(t/12). Which is smaller: f or 2?
f
Let f = -20 - -32. Is 13 smaller than f?
False
Let b(t) = t - 2. Let k be b(6). Let q be -5 + k + (-27)/(-15). Which is smaller: 0 or q?
0
Suppose 4*m = 2*m + 2*b + 10, 4*b + 20 = -3*m. Is 2 != m?
True
Let b be -3*(0 + (-12)/(-9)). Let l = -1 + b. Is -5 smaller than l?
False
Suppose -2*z - 2*z - 8 = -a, -a - 10 = 5*z. Suppose -y + a = -3*h - 9, -5*y = h + 3. Is y != -3/14?
True
Let t(y) = 3 + y - 3 - 6*y**3 - 3*y**2 + 2. Let n be t(-2). Suppose 5*c + 4*u = -n, -c - 4 = u + 4. Is c smaller than -5?
False
Suppose -3*d + 5 + 1 = 0. Does d = 6/5?
False
Suppose -2*o - 3*a = a - 172, 86 = o - a. Are 87 and o unequal?
True
Let w = 30.11 + -35.1. Let s = w + -0.01. Which is bigger: 0.2 or s?
0.2
Suppose -2*q - q = -6. Let t = -5 + q. Let n = 0 + t. Is -3 greater than n?
False
Let r = -1282 + 5099/4. Which is smaller: -6 or r?
r
Suppose 1 = -3*d + x + 6, -4*d = 2*x. Suppose 4 = -4*o - 0. Let c be o - (-2)/14*8. Which is smaller: d or c?
c
Let t(q) = q**3 + 2*q**2 + 3*q + 1. Let p be t(-1). Let g = -2 - -3. Do g and p have different values?
True
Let w = -25 + 24.95. Is w > -1/3?
True
Let w = -0.03 + -0.03. Let g = -0.01 - w. Let y = 0.15 - g. Which is bigger: 2/3 or y?
2/3
Let o = 287 - 10043/35. Is -1 at most o?
True
Let n = -23 - -31. Let u = -4 - -4. Is n bigger than u?
True
Let z = 3 + -3. Let g(j) = j**3 + 4*j**2 + 3*j - 1. Let r be g(-3). Is r at least as big as z?
False
Let z = -3 - -8. Let q = 65 - 152. Let b = q + 263/3. Is z at least as big as b?
True
Let d(l) = l**3 - 7*l**2 - 9*l + 7. Let h be d(8). Which is smaller: h or -7/3?
-7/3
Let v be (-97)/4 - (-3)/12. Is v smaller than -25?
False
Let r = -8 - -4. Let q be (-4 - -2)/((-18)/r). Which is smaller: -1 or q?
-1
Suppose u + 3*u = 0. Suppose -2*v + 1 = -5*s, -v - 4*s + 7 = -u*s. Let y be (6/4)/(v/(-8)). Which is bigger: -3 or y?
-3
Let m = -0.46 + 0.46. Which is bigger: m or 10?
10
Let t = 0.3 + -2.3. Let v = -1.98 - t. Let y = v - 2.02. Is y <= -1?
True
Let g = -143 + 717/5. Are g and 1/3 equal?
False
Let k = 0.06 + -1.06. Are 8 and k unequal?
True
Suppose 27*d + 1 = 28*d. Which is greater: -4/71 or d?
d
Suppose -21*w - 10 = -16*w. Which is greater: -7/6 or w?
-7/6
Let a(w) = -w**3 + w**2. Let o be a(1). Is 7.4 greater than or equal to o?
True
Let w b