se 8*w - 5*w = 6. Suppose b - 5 = 5. Suppose -2*f + 3*z - b = 0, -f - 4*z + 15 = -2*f. Is f <= w?
True
Let a(j) = -j**2 - 5*j - 2. Let l be a(-4). Let q be 1/l + 4/(-8). Is q < 2?
True
Suppose -h = 4*h + 9*h. Let l be (-2)/7 + (-2)/(-56). Which is smaller: l or h?
l
Let s = -1/22 + 49/110. Suppose 0 = -a - a. Let u be -2 + -1 + (2 - a). Is u smaller than s?
True
Let x = 0.06 + -0.66. Let b = x - -0.4. Let q = -2 - -2. Is q greater than b?
True
Let l(a) = a - 6. Let k = -23 + 29. Let h be l(k). Which is greater: h or 1?
1
Let q = -17/5 + 87/25. Let o = q - -21/50. Which is smaller: 5 or o?
o
Let j be (24 - -57)*(-1 + 2). Does 81 = j?
True
Let o = 1 + 1. Let u(d) = -d**2 + 1. Suppose -m + 4*m = 0. Let q be u(m). Which is greater: q or o?
o
Let h = -36 - -37. Let w(k) = k - 2. Let z be w(4). Let d(u) = 2*u**2 - 3*u. Let s be d(z). Which is smaller: s or h?
h
Let b(v) = v**3 + 6*v**2 + 6*v - 1. Let a be b(-5). Let w = a - -10. Suppose -w*k = 4*i - 16, 3*i + 8*k - 22 = 3*k. Is 2/7 at least i?
True
Let j(x) = 3*x + 6. Let u be (-4)/(2/(0 - -2)). Let m be j(u). Let c be (-3)/(-9)*m/(-4). Which is bigger: c or 1?
1
Let k be (-8 + 4 + 4)/(-1). Which is greater: k or -27?
k
Suppose -a - 8 - 6 = -2*r, -4*a + 16 = 4*r. Suppose -2*f = -r*f. Which is bigger: -4/9 or f?
f
Let m = 0.06 + 0.44. Let x = m - 0.1. Let z = x - 0.8. Which is bigger: z or 0?
0
Let z = -2/1491 + -2932/37275. Which is smaller: 0 or z?
z
Let v be 4/20*(-25)/2. Suppose -4*a = -0*r - 2*r - 24, 3*a = r + 17. Are r and v equal?
False
Let g(h) = -h**3 + 3*h**2 + 2*h + 8. Let l be g(4). Which is smaller: l or 1/11?
l
Let i be 284/(-14) + 12/42. Let k be (12/(-15) - 0)*i. Is 15 > k?
False
Let q = 467/6 + -78. Which is bigger: q or 4/3?
4/3
Suppose 1 = -2*r - 3*f, -2 = f - 1. Suppose -2*u = -7*u + 330. Let c = u - 129/2. Which is smaller: c or r?
r
Let v(f) = -f**2 - 4*f + 8. Let c(l) = l**2 + 5*l - 9. Let j(y) = -5*c(y) - 4*v(y). Let i be j(-10). Let z = 3 - i. Are -1/6 and z equal?
False
Let m = 17 + -21. Let i(d) = -7*d**2 + d + 1. Let s(v) = -15*v**2 + 2*v + 3. Let h(n) = 13*i(n) - 6*s(n). Let x be h(0). Is m at least x?
True
Let c = -18 - -27. Does c = 9?
True
Let g be (5/(-20))/(4/(-6)). Let r = -7/8 + g. Is r less than 0?
True
Let x(g) = -3*g + 73. Let b be x(22). Is 7 >= b?
True
Suppose -2*i + 2*r = -6*i + 58, -2*i = 4*r - 38. Let p be -7*((-4)/2 - 0). Is p >= i?
True
Let i be (-9)/20 - 3/(-12). Suppose -2*c = -w - 7, -2 = 5*w + 2*c - c. Is w greater than or equal to i?
False
Suppose -8 = 4*j + 2*w, 2*w - 2 = 2*j - 10. Let b = 1/73 + -155/657. Do j and b have the same value?
False
Let q = 9 - 8.99. Let x = q - 0.01. Which is smaller: 0.1 or x?
x
Let q be 1/(((-3)/(-12))/1). Suppose o + 18 = q*o. Which is smaller: -0.1 or o?
-0.1
Let r be (-12)/(-78) - (-180)/13. Is r > 14?
False
Suppose -3*x + 4 + 11 = 0. Is 5 <= x?
True
Let b be -236 - (0/(-1) + -2). Let f be 120/b - 2/(-3). Which is smaller: 0 or f?
0
Let l = -540 + 2691/5. Let a = -48/35 - l. Let q(b) = b**3 + 3*b**2 - 1. Let f be q(-3). Is f >= a?
False
Let a be (-2)/12*(-63)/(-1848). Which is smaller: 1 or a?
a
Let i = -15 - -4. Let o = i - -11. Let r = -1 + 0. Is r at most o?
True
Suppose 2*d + 1 = -1. Let i = 121 + -603/5. Which is bigger: d or i?
i
Let b be 8/20*(-10)/22. Let g(r) = -r**2 - 9*r - 7. Let p be g(-8). Is p <= b?
False
Let q = -10 - -7. Let x = 0.3 + -0.2. Which is smaller: x or q?
q
Suppose 0 = 3*g - 70 + 22. Is g not equal to 15?
True
Let q(d) = 4*d**3 - 5*d**2 - 4*d + 6. Let i(x) = -9*x**3 + 10*x**2 + 7*x - 13. Let v(y) = 3*i(y) + 7*q(y). Let o be v(6). Is -1 at most o?
False
Let b be (-2)/129*(-9)/(-12). Let t = -1700163 - -1315925981/774. Let a = b - t. Which is bigger: 1 or a?
1
Let v(r) = -3*r - 5. Let s be v(-2). Let q = s - 12. Is q bigger than -10?
False
Suppose 0 = -z + 1 - 4. Let m be 82/(-10) - z/15. Is m > -8?
False
Suppose -1 = 2*t + 3. Let q = t - -5. Do q and 3 have different values?
False
Let n = -967 + 6648/7. Let b = -17 - n. Which is smaller: b or -2/15?
-2/15
Let r(m) = -m**2 - 2*m. Let x be r(-2). Is x greater than 2?
False
Let p be (-2*3/8)/3. Let o(u) = u - 1. Let d be o(1). Which is greater: p or d?
d
Let z = -1/2 - -7/13. Which is bigger: -1 or z?
z
Suppose -5*a + 0*r + 5 = r, 5*r - 25 = 2*a. Suppose -4*w - w = a. Which is smaller: w or 1?
w
Let h be (-1)/1*(-12)/3. Suppose -4*l - b - 19 = h*b, -4*b = 4*l + 20. Let j be 1 + 0/(-2) + l. Is -4 < j?
False
Let c(x) = x**2 - 2. Let a be c(0). Let r be (1 - a)*(-8)/(-80). Are r and 0.1 nonequal?
True
Let w = -5710371/56315 + 6/11263. Let v = w + 100. Which is greater: -2 or v?
v
Let q = -66 - -65. Which is greater: 20 or q?
20
Suppose -5*h = 20 - 0. Let q(i) = i**3 + 3*i**2 - 4*i + 2. Let v be q(h). Which is bigger: v or 17/5?
17/5
Suppose l - 2*t + 13 = 3, -25 = 4*l - 5*t. Suppose -r + 4*r = l. Is 2/9 >= r?
True
Let q(b) = -b - 1. Let s be q(0). Let n(l) = l**3 - 6*l**2 - l + 4. Let c(v) = -v**2 + 9*v - 2. Let o be c(8). Let k be n(o). Is s at most as big as k?
False
Suppose 16*n = -26 + 10. Which is smaller: -22/13 or n?
-22/13
Let g(t) = -t**3 - 2*t**2 + 2*t - 3. Let i be g(-3). Suppose -4*w - 3*k + 30 = 0, 2*k + 0*k - 4 = i. Let m = w + -4. Which is greater: 3/2 or m?
m
Let r be (76/7)/((-24)/(-84)). Which is bigger: 39 or r?
39
Let g be -1 - -2 - 3*1. Let w be 1/(-1) + 7/20. Let x = w + -1/10. Which is bigger: x or g?
x
Suppose 4*x = -5*y - 50, 6 = -4*x + 5*y - 24. Is x at least -13?
True
Let k = -8 + 9. Which is bigger: -3/8 or k?
k
Let m = -2 + 4. Let g be 3/3*m + -6. Do -5 and g have the same value?
False
Suppose -3 = -0*c - 3*c. Let a be (1/38)/(6/24). Which is smaller: c or a?
a
Let l(u) = -u**3 + u**2 + u. Let a be l(1). Which is smaller: -1 or a?
-1
Suppose 4*w + k + 1 - 3 = 0, 8 = -5*w + 4*k. Suppose -3*b - 3*r = -3, 0 = -4*r + r - 3. Let l be (1/b)/(27/6). Which is smaller: w or l?
w
Suppose -3*p = p - 80. Let c = p + -12. Is -2 < c?
True
Let k(g) = 2*g - 3. Let s be k(6). Suppose -3*c = -s - 15. Suppose -c = -w - 3*w. Which is bigger: w or 1?
w
Let g(r) = r**2 + 6*r + 6. Suppose 2*c = 2, 0*q - q - 1 = -5*c. Suppose -q*n - 15 = -n. Let h be g(n). Is h at most -2/5?
False
Let g be 4*-1 + 1*(-1 - 2). Is -9 less than or equal to g?
True
Let d(y) = -2*y**3 + 3*y + 2. Let h be d(-1). Is 1/9 <= h?
True
Suppose -2*q = -2, -3*q + 17 = 5*z + 4. Suppose -z*m - 2*m = 12. Is m != 0?
True
Let j = 279/58 - 29/6. Which is smaller: 0 or j?
j
Let j = -11.2 - -11. Which is smaller: j or 3?
j
Let q be 8/12 + 62/(-11). Let p = -29/6 - q. Is p not equal to 1?
True
Let q = -6 - -6. Suppose -38 = -4*m - s, q*s + 7 = m - s. Let g = m - 5. Is 5 greater than g?
True
Let r = -482/615 - 2/123. Is r equal to -2?
False
Let g = 2 - 1. Let l be (-190)/232 + 24/32. Let z = l - 21/116. Which is greater: g or z?
g
Let v = -15/2 + 7. Let h(m) = -m**3 - 6*m**2 + 7*m - 3. Let r be h(-7). Which is greater: v or r?
v
Suppose 0 = 3*f - 4*f. Let z be (2/6 + f)*-9. Which is smaller: -4 or z?
-4
Suppose -5*q + 70 = a, 0 = 5*q + 3*a - 70 + 10. Let g be (-2)/2*3/q. Let y = -21.1 - -21. Which is smaller: g or y?
g
Suppose 0 = 2*s - 2. Is 3 not equal to s?
True
Let q be (-2)/1525*(9 - -321). Let y = q + 2/61. Which is smaller: 1 or y?
y
Let v = -1.7 - -2. Let s = v - 0. Let r = 0.1 - s. Which is greater: r or 0?
0
Let g be 8/(-20) - (-408)/(-5). Let o = -659/8 - g. Which is smaller: -1 or o?
-1
Let c(z) = 0*z + z - 3 - 2*z. Let y be c(-3). Let t = 0 - y. Which is smaller: 1/2 or t?
t
Let o = -22 - -13. Which is greater: o or 4?
4
Let a = -5 - -4. Let n be 112/20 + (-3)/5. Let u be (-8)/(-10)*n/(-2). Which is greater: u or a?
a
Let m = 47 + -33. Let z be m/(-4)*(-1)/7. Let x = -2 - -2. Is x smaller than z?
True
Let h = 141 - 128. Which is smaller: h or 0?
0
Let o be (-1)/(-1*(-3 + 2)). Let d be 4/(-6)*-3 + 0. Suppose -d*i = i. Is i equal to o?
False
Suppose -4*t - 8 = 2*a - 2*t, -4*a = -t + 36. Are a and -5 non-equal?
True
Let t be (-1)/3*(-3 + 6). Let j = 112/255 - 2/51. Which is greater: t or j?
j
Let n be 48/168*(-14)/(-25). Which is greater: 0 or n?
n
Let r(g) = -2*g**2 - 6*g + 9. Let d be r(-4). Which is bigger: d or 18/23?
d
Let z = 0.007 - -32.993. Which is smaller: 3 or z?
3
Let s(q) = -q**2 - q + 1. Let g be s(-3). Let o = g - -7. Is o < 1?
False
Let r = 11 - 13. A