t x = -0.02 + -3.98. Let i = 4.1 + x. Is i equal to 2/9?
False
Let h be 2*(-5)/2*-3. Which is greater: h or 13?
h
Suppose q = -953 - 601. Let u = q - -7813/5. Let h = -42/5 + u. Is 0 at least h?
False
Suppose 2*x - 24 - 18 = 0. Let i = 20 - x. Do -4 and i have different values?
True
Let i be (-6)/(-21) - (-30)/(-56). Suppose -10 = -2*g - 4*j, -3*g + 20 = 2*g + 5*j. Let n(d) = d**2 - 3*d. Let z be n(g). Is z at least i?
True
Let i = 22 + -112/5. Let x = 1.2 - 1. Is i greater than or equal to x?
False
Suppose -3*q = -2*q. Suppose 4 = -o - q*o. Is -3 >= o?
True
Let f be 4/(-20) + 74/(-5). Let m be (f/21)/(2/(-2)). Which is bigger: m or 0?
m
Let i = 2.1 + 0.1. Let r = i - 2. Let f(x) = -x + 7. Let n be f(6). Are n and r non-equal?
True
Suppose 3*l = 3*g - 6, 2*l + 4*g = 7 + 13. Suppose 4*m - b - 15 = 0, -2*m + 3*b - 15 = -5*m. Which is smaller: m or l?
l
Suppose -4*a = a. Let q(z) = -z - 7. Let s be q(-3). Let b = s - -3. Which is smaller: b or a?
b
Suppose -3*h - 1 = g, -h = g + g - 13. Which is smaller: 11 or g?
g
Let q = 0.37 + -0.47. Is -1 greater than or equal to q?
False
Let s be (1/(-66))/((-3)/(-6)). Is s < 0?
True
Let p = -0.2 - -0.3. Let j be (-2 + 3)/(2/(-12)). Let t = j + 3. Which is greater: t or p?
p
Let j(u) = -3*u + 1. Let g(f) = -f - 8. Let h be g(-7). Let n be j(h). Which is greater: n or 3?
n
Let r be ((-5)/(10/(-3)))/(3/4). Is r bigger than 6?
False
Let l be (-1)/(-5) - (-7485)/15075. Let y = l - 2/67. Is y >= -0.8?
True
Let l = -23.45 - -0.45. Is 2 >= l?
True
Let w = -10 - -13.8. Let d = 4 - w. Which is bigger: -2/11 or d?
d
Suppose -3*h + 2*h = -6. Suppose 5 = -h*b + b. Let g be (-8)/(-12)*b*3. Is -3 smaller than g?
True
Let y be (0/2)/(-5 + 6). Suppose -4*s - 11 = -s - 5*t, y = -s + t - 5. Is -6 at most as big as s?
False
Let s be (-231)/(-22)*2/(-3). Which is smaller: s or -39/5?
-39/5
Let o = -1.7 - -2. Let h = o - 0.4. Let x = 213/4 + -53. Which is greater: h or x?
x
Let i be (-1)/2 - 39/(-6). Suppose 0*q + i = -2*q. Is q smaller than -5?
False
Let f(h) = h**2 - 8*h - 6. Suppose 4*j - 33 - 4 = -5*a, 6 = -3*j. Let d be f(a). Let x(z) = z**2 + 3*z + 3. Let i be x(-3). Is d equal to i?
True
Suppose 2*h = -4*t + 50, 5*h + 55 = 5*t + 6*h. Is 3 bigger than t?
False
Let q = 0 - -3. Suppose 1 = u - 7. Let a be 6/u + 20/16. Does q = a?
False
Suppose 3*q - 21 = 12. Let c = -10 + q. Is c bigger than -1/4?
True
Let z be (3 - (-30)/(-12))*(1 + 0). Is -1.9 < z?
True
Let x be (-15)/(-162)*(-3)/15. Which is smaller: x or 1?
x
Let i = -23 + 35. Suppose 6*h - 3*h = 5*z - 52, -i = 3*h. Suppose y + 0*y = -5*l + 39, l - 4*y + 9 = 0. Which is bigger: z or l?
z
Let x(t) = t. Let l be x(-2). Is -2 bigger than l?
False
Suppose 4 + 2 = 3*d. Suppose -4 + d = j. Let y be -2 - (1 + j)*3. Does 1/2 = y?
False
Let z(b) = -b + 7. Let w(f) = 8 - 3*f**2 - 4*f**2 + f**3 + 0*f**3. Let n be w(7). Let v be z(n). Which is smaller: v or 0?
v
Let v = -125525/14 - -8843. Let r = 123 + v. Which is smaller: 1 or r?
r
Let x be 4/(-2) + (-5 - -11). Suppose 3*g + 2*g = 0. Suppose x*z = -g*z. Which is greater: z or 1/7?
1/7
Let h = 0.39 - -0.01. Let t = -0.3 + h. Let u = -27.4 - -27. Is t > u?
True
Suppose -2*g - 8 = 2*j, 6*j - 2 = 4*j - 4*g. Let z(d) = -d**2 - 9*d + 3. Let w be z(j). Suppose 0 = 4*v - 4 + 12, 0 = -4*r - 2*v + 8. Is w at least as big as r?
True
Let h = -348/11 + 2033/66. Suppose 2*y - 5*n - 6 = 11, -17 = -5*y + 4*n. Let k be y/(-3)*(-9)/(-3). Which is smaller: k or h?
k
Let a be 12 + 0/(-3) + 0. Let n be 1*(-1 + -1 - -3). Let s be 3*n*(-4)/a. Which is greater: s or 2/7?
2/7
Let s = -28/3 - -221/24. Which is bigger: s or 1?
1
Suppose -2*b - 1 = -9. Suppose b*a + 2 = 4*g + a, 0 = -4*g + 2*a. Let v be (g - (-6)/9)*3. Is -2 equal to v?
False
Suppose -5*j - 2*i + 29 = i, 0 = 2*j - 5*i + 7. Suppose j = 4*h - 5*x, h + 2*h = 2*x + 3. Let b = -0.4 + 0.7. Which is smaller: h or b?
b
Let u = 12.2 + -0.2. Let o = 12 - u. Is 0.4 equal to o?
False
Let y be -4*8/36 - (-4)/6. Suppose 1 = -r + 2*r. Is y bigger than r?
False
Let j be (-1)/1 - (-3)/3. Let i = j + 1. Is 1 greater than i?
False
Let v(j) = -j**2 + 3*j - 1. Let p be v(3). Let w = 1 - 1. Let x = p - w. Is x > -1/5?
False
Let g = -7.01 + 0.01. Let w = g - -5. Which is smaller: 0 or w?
w
Let m = 27 + -37. Which is bigger: m or -12?
m
Let q be -5*1*(-2)/48. Let x = q - 107/168. Let f = -2 - -3. Which is bigger: x or f?
f
Suppose 7*s - 18 = 4*s. Suppose 0 = -s*a - a - 21. Is a < -3?
False
Suppose h - 16 = 5*h. Suppose -25 = 4*s + c, -2*c - 22 = 5*s + 10. Is s at least as big as h?
False
Suppose 0*n = 7*n - 294. Which is smaller: 43 or n?
n
Let k be -4*21/(-108) + -3. Is -2 > k?
True
Let z(k) = -k**3 + 6*k**2 - 9*k + 4. Let w be z(3). Which is bigger: 2 or w?
w
Suppose 4*y - 8 - 8 = 3*v, 2*y = -v - 2. Let g = -1.4 + 0.4. Let c = -1 + g. Which is smaller: y or c?
c
Let n be 27/(-12)*6/9. Which is greater: n or -4/5?
-4/5
Let m be (6/4)/(12/16). Let r be ((-3)/m)/((-108)/(-8656)). Let p = r - -120. Which is smaller: p or -2?
-2
Let y(j) = 7*j - 3. Let z be y(-4). Let n = -19 - z. Let r = -18 + n. Which is greater: r or -7?
r
Suppose 6 = -p - 2*p. Let f(d) = 2*d**2 + d. Let a be f(-2). Let n(l) = -l**3 + 5*l**2 + 6*l - 2. Let s be n(a). Are p and s unequal?
False
Suppose -2 = -3*f + 10, -4*f + 20 = 2*a. Suppose -a*v + 1 = -17. Is 9 > v?
False
Let a = -0.092 + -0.068. Is a < 0.5?
True
Suppose 0 = 5*c - 3*t + 5, 4*c + 4 = 3*t - 8*t. Let w = -0.0778 - -0.1678. Is c at most as big as w?
True
Let y(x) = -x**3 - 32*x**2 - 34*x - 73. Let v be y(-31). Which is bigger: 18 or v?
v
Let y(w) = 69*w - 1. Let a be y(1). Let p = a + -206/3. Is p equal to 0?
False
Let y be (-16)/66*(-18)/(-8). Let m = y + 23/22. Which is greater: 2 or m?
2
Let x = -18 + 11. Let j(r) = 3 - 9*r - r**2 + 0 + 0*r**2 - 10. Let p be j(x). Which is greater: 6 or p?
p
Suppose 2*t + 0*t - 21 = -5*k, -2*t - 6 = -4*k. Suppose -2*h + 9 = d + t*h, h + 2 = -4*d. Is d greater than -1?
False
Let m = 0 - 1. Let f = -101 + 39. Let r be f/(-220) - (-16)/(-88). Which is smaller: r or m?
m
Let a = 1 + 0. Let d = -1 + a. Let c = 0.1 + -1.1. Which is greater: c or d?
d
Suppose 2*o = -2 - 6, 5*w - 5*o + 15 = 0. Let j be w/21 - 103/(-39). Let v = 73/26 - j. Which is bigger: -2 or v?
v
Let j = -6.99 + 0.39. Let w = 3.7 + j. Let i = 3 + w. Is -1 <= i?
True
Suppose -5*p - 13 = r, 2*p - 3*p = 4*r - 24. Let s be r/2*-1*2. Does s = 0?
False
Suppose -5*r - 12 = 3*s - 1, 3*r - s + 1 = 0. Let x be (0 - -2)/(5 + r). Suppose -5*z + 1 = -2*w - 6, 0 = z - 2*w - 3. Is z less than or equal to x?
False
Let a = 2/47 - -137/94. Let q(o) = -3*o - 6. Let s be q(-6). Suppose 4*p = 8*p - s. Which is bigger: p or a?
p
Let r be 2*1 - (0 - 0). Let o be (-10)/(-6)*r/(-5). Let p = -20 + 18. Which is bigger: o or p?
o
Let b = -333102 - -109590349/329. Let r = b - -3/47. Which is smaller: r or 0.4?
r
Let l(i) = -i**3 + 6*i**2 - 4*i - 1. Let a be l(5). Suppose -2*t = -2*h + a, -h = -t + h. Which is bigger: -0.2 or t?
-0.2
Suppose 3*o + 2 = 2*o. Suppose 4*d - 15 = -3*y, -d + 4*y - 5 = 3*y. Suppose d = -2*z - 2*z - 4. Which is smaller: z or o?
o
Let j be 0 - -27 - -2 - 1. Suppose -5*r = -r - j. Is r greater than -1?
True
Let l(w) = 4*w**2 + w**3 + 5*w + 2 + 1 + 1. Let d be l(-3). Let n(a) = -a**2 + 4*a - 3. Let b be n(4). Which is smaller: d or b?
b
Let p(c) = -c**3 + 8*c**2 - 10*c. Let l be p(7). Let m be (-6)/(-15) - l/(-40). Is m not equal to -0.2?
True
Suppose -m = -3*m + 6. Let o be (-2)/((-20)/(-14) + -2). Are o and m equal?
False
Let v(t) = t**2 + 4*t - 6. Let y be v(-5). Let d be (y/3)/(3/9). Which is bigger: 0 or d?
0
Let k(w) = w**3 - 3*w**2 - 5*w + 5. Let n be k(4). Is 2 >= n?
True
Let j = 5 - -1. Let d = j - 6. Let i = -0.01 + 0.41. Is d greater than or equal to i?
False
Let s(n) = n**3 - 3*n**2 - 6*n + 1. Let c(v) = v**2 - 5*v + 4. Let l be c(5). Let h be s(l). Which is smaller: -5 or h?
h
Suppose 0 = -4*t + 8, -5*t = -4*b - 1 - 1. Suppose 0 = -4*p - 10 - b. Let y = -4 - p. Which is greater: y or -2/5?
-2/5
Suppose 4 = -t + v + 10, -v = 4*t + 1. Let h(u) = -u**3 - u**2 + 1. Let w be h(t). Let d be (-1)/(-2) - (-26)/(-28). Is w at least d?
False
Let i(c) = 2*c**2 + 12*c - 15. Let a be i(-7). Which is greater: 2/9 or a?
2/9
Suppose 0 = -4*b - 1 - 3, -a + b + 8 = 0. Let v(c) = -2*c + 1 + a +