*b = -35, -1 - 14 = -2*i + t*b. Is -4 <= i?
False
Suppose 0*w - 2*w - 24 = 0. Let s be (-8)/w*(-2)/2. Which is bigger: s or 1?
1
Let t = 3 - 5. Are t and -2 unequal?
False
Let g = 374030/7 + -53236. Let k = g + -6429/28. Let m = k - -33. Which is smaller: m or 1?
m
Let w(v) = 3 - 1 - 4 + v. Let t be w(4). Do 4 and t have the same value?
False
Let a = -9 - -10. Let t be (3 + (-6 - 2))/a. Is -5 smaller than t?
False
Let u = 1.7 + -2.7. Do u and 0.1 have the same value?
False
Suppose 3*g + 80 = -5*j - 0*g, 5*g - 64 = 4*j. Is -50/3 greater than or equal to j?
False
Let p = 92 + -93. Let l(w) = -5*w**3 + 1. Let z be l(1). Is p != z?
True
Let l = 5 + 0. Let m(k) = 81*k. Let u be m(l). Let z be 6/(-10) + 213/u. Is 0 smaller than z?
False
Let n(m) = 7*m - 21. Let s be n(3). Is -5/6 less than s?
True
Suppose g = 2 - 0. Suppose 0 = -g*s + 5 - 1. Is 2 != s?
False
Let d = -32.5 - -32.3. Let t(p) = -p + 4. Let o be t(5). Let l be o/2 + 7/(-2). Which is greater: d or l?
d
Suppose -3*a + 15 = 0, 13 = -5*p + 2*p + 5*a. Which is smaller: p or 5?
p
Suppose 3*j - 2*y - 208 = 0, 0 = 4*j - 0*j + 3*y - 283. Let f be ((-2)/(-5))/((-7)/j). Is 0 != f?
True
Let b = 2 + 2. Suppose -1 + b = -g - 5*r, 0 = 5*g + 3*r - 7. Let m be (-8)/g + -1 + 2. Is m < -3?
False
Let l = -13/14 + 15/14. Let m = -13 + 13. Is m at most l?
True
Let c = -0.73 + -2.27. Which is smaller: c or 3/4?
c
Let h be ((-8)/10)/(4/(-10)). Suppose n = h*l - 5, -5*l - 7 = 3*n + n. Let f(m) = 2*m**3 - 5*m**2 - 7*m + 8. Let z be f(3). Which is greater: n or z?
n
Suppose -2*g + 3*g = 3*r, 4*g + 3*r = -60. Is g < -1?
True
Let n = 20 - 5. Let i be (1 - -2)/((-3)/4). Let k be 1 + i/(48/n). Which is greater: -2/9 or k?
-2/9
Suppose -3 = -4*x - 15. Let u = -1 - -1. Let f = u + -4. Is x > f?
True
Let s be 2/5 - (-4)/(-5). Let a = 3 + -3.1. Let q = -0.9 + a. Is q >= s?
False
Let k be (188/(-90) + 2)/(12/(-30)). Is k smaller than -1/3?
False
Suppose 9 = -16*u + 9. Suppose 5 = -2*z + 1. Let c be -1 - -2*(-1)/z. Is c > u?
False
Let d(t) = -t + 3. Let q be d(5). Which is smaller: -5/9 or q?
q
Suppose -2*y = -3*b + 11, 2*b = -y + 1 - 3. Which is bigger: b or -3/38?
b
Suppose -4*z - q = 20, 17 - 3 = z + 5*q. Let x = z + 5. Which is smaller: -2 or x?
-2
Let a(m) = -m**2 + 10*m + 4. Let c be a(10). Suppose c*n - 8 - 6 = -2*l, -n + 5 = -l. Is -2/9 less than or equal to l?
False
Let s = 1 + -4. Suppose 0 = 2*h + 6 - 0, 15 = -3*i - 2*h. Is s smaller than i?
False
Let p(t) = -t + 2 + 4 + 2*t. Let d be p(-7). Let j = -3 - d. Is j at least -0.3?
False
Let h = -44/7 - -46/7. Let x(r) = r + 5. Suppose 5*g = -0*g - 20. Let d be x(g). Which is greater: d or h?
d
Let f(l) = -l**2 + l + 8. Let u be f(6). Let n be 1/(-3)*6/u. Is -1 greater than n?
False
Suppose v - 4 = 3*v. Which is smaller: v or -3?
-3
Let j be -6 + -2*(0 + -1). Let p be -8*((-2)/4)/1. Suppose 0*h - p = h. Is h less than j?
False
Suppose -3*v + 31 = -5*n, 0*n = -2*v + 2*n + 14. Let z be (-9)/(-21) + v - 3. Is z not equal to -2?
True
Suppose 2*v + 2*i = 4 + 6, -4*v - 3*i = -17. Suppose v*n - 2 = 2. Is n at most 3/5?
False
Let n be (7/((-21)/(-48)))/1. Let u be -1*(n/(-5) - -3). Which is bigger: u or -4?
u
Let q = -180 - -180. Which is greater: q or -5/33?
q
Let r be -1 + 1 - (-2 + 1). Let l be (1 - 0)*r/(-3). Let g(v) = -v**3 + 9*v**2 + 9*v + 9. Let x be g(10). Which is smaller: l or x?
x
Let t be 0*4/(2 + 10). Which is bigger: t or -2/25?
t
Suppose -90*r + 84*r + 984 = 0. Are r and 164 unequal?
False
Let z(s) = -3*s**3 + 3*s**2 - 2*s. Let p be z(2). Which is greater: -33/2 or p?
p
Let c be (-15)/(-9)*3/4. Suppose o = -3*o + i + 23, 0 = 5*o + 5*i - 35. Let g be 10/o + 1/3. Is g > c?
True
Let p be 2*(0 + 1/9). Suppose -3*v = -5*i + 7, -3*v + 3*i = 8*i - 43. Suppose 2*c = 2*o, -6*c = 2*o - 2*c + v. Which is greater: p or o?
p
Let y be (-150)/14*(26 - 0). Let t = -278 - y. Which is smaller: t or 0?
0
Let m(c) = c - 10. Let h be m(3). Let b(w) = w**2 + 6*w - 13. Let d be b(h). Is -6 less than or equal to d?
True
Let j(h) = 4*h**3 - 2*h**2 + h. Let g be j(1). Suppose 2*k + g - 1 = 0. Which is smaller: 0 or k?
k
Let o = -12 - -13. Which is bigger: o or 9/4?
9/4
Let y be 56/(-126)*(-3)/(-2). Which is greater: -5/9 or y?
-5/9
Suppose -g = -2*f, -2*g = 2*f + g. Which is greater: f or 101?
101
Let h = 21 + -12. Let j be 21/h + -3 + 0. Which is bigger: 0 or j?
0
Suppose 0 = -v + 3*v. Suppose 5*y + 4*c - 13 = v, 5*y - 4*c = -5 + 2. Is y smaller than -2/13?
False
Let x = 0.3 - -0.7. Let y = -2.6 + 1.8. Let f = y + 1. Which is greater: x or f?
x
Suppose 36 + 6 = 6*w. Is 6 bigger than w?
False
Let b(j) = 3*j**2 - 11*j. Let r be b(-2). Which is smaller: r or 177/5?
r
Let b = -87/5 + 1121/65. Let r = 40 - 40. Which is bigger: b or r?
r
Let f = 0.1 + -0.1. Let l be (-4)/4*(0 + 7). Let m be l/15*(-6)/(-21). Is m smaller than f?
True
Let d = -47.7 - -48. Are d and 1.2 equal?
False
Let n = 110970/71 - 1563. Does 1 = n?
False
Let s = 21/2 + -10. Suppose -2*b = -0*b. Is b > s?
False
Suppose -3 = -4*q + 17, 2*q - 12 = -n. Let o(j) = 0*j + 3*j - 4*j - 6. Let c be o(-9). Are n and c nonequal?
True
Let d = 15 - 18. Which is greater: d or -16/7?
-16/7
Suppose 0*l - 2*l = -g + 2, -5*l = 2*g + 14. Which is bigger: g or -3/5?
-3/5
Let k = -2 - -6. Suppose 2*q = k*q - 12. Suppose 6*x = 3*x + q. Is -0.1 > x?
False
Let s be 2 + (2 - (-66)/(-15)). Let y = 13 + -12. Is s smaller than y?
True
Let r = 4 - -1. Let w = r + -7. Are -3 and w nonequal?
True
Let h be (-21)/35 - ((-14)/(-10) + -1). Let f be 57/55 + 1*-1. Which is greater: f or h?
f
Let l = 0 - -4. Let h = -1 + l. Are -0.1 and h unequal?
True
Let s(w) = w**2 + 4*w - 6. Let d be s(-5). Let m be (0/(-2))/((-1)/1). Suppose m = 6*x - 3*x. Is x greater than d?
True
Let z(a) = a + 10. Let f be z(-7). Suppose -f*i + 14 = s, 5*i + s - 22 = -0*s. Are i and 4 equal?
True
Suppose -5*x + 4*f = 25, -x + 15 + 4 = 4*f. Which is smaller: 4/57 or x?
x
Let r be 0 + -1 + (-1 - 2). Let l be (-15)/(-50) - (-6)/r. Is -2 > l?
False
Let u = 4 + -8. Let q = 31 + -34.8. Let c = q - u. Are 0.1 and c non-equal?
True
Let q(x) = -x - 15. Let o be q(4). Which is smaller: -1 or o?
o
Let l = 3 - 5. Let g = -3 + l. Which is smaller: g or -4?
g
Let k = -3 - -4. Let y be (1/((-35)/(-4)))/((-5)/(-25)). Which is smaller: k or y?
y
Suppose -5*i = -0 + 5, 5*h = 4*i - 16. Let b(t) = 0*t**3 - t**3 - 5*t**2 - t + t**2. Let a be b(h). Are a and 4 non-equal?
False
Let x = -9 - -6.2. Let m = -0.9 - x. Are 1/2 and m unequal?
True
Let h = -19 - -25. Let s be h/9 - (-37)/3. Is 12 != s?
True
Let h = -82 + 82.37. Let l = -0.4 + h. Let r = 2.03 + l. Is r smaller than -1?
False
Let r = 83 + -53. Suppose 5*i = -0*i + r. Which is greater: i or 7?
7
Let s = 1.9 - 2.9. Let i = -1.2 - s. Is 1 less than or equal to i?
False
Let g be 1*-2*3/(-21). Let h(s) = s + 5. Let l be h(4). Suppose 3*d - 4 = 2*k, 8*k - l = 3*k - 2*d. Which is greater: g or k?
k
Let t = 1 + -4. Let h be -17 - (3 - t/(-1)). Let o = -50/3 - h. Is 1 less than or equal to o?
False
Let j = 50/17 + -32/17. Is 0 != j?
True
Let j(v) be the first derivative of -1/2*v**2 + 5*v + 1. Let z be j(5). Is -3 equal to z?
False
Let q = 229/77 - 24/7. Is q greater than -1?
True
Let l be 9/((-6)/(-2)) - 0. Suppose 0*w + 15 = l*g + 3*w, 2*g - 1 = w. Is g at most as big as 1/2?
False
Let n(a) = -a**3 - 8*a**2 - 7*a + 3. Let r be n(-7). Suppose -5*k - 27 = v, r*k + 1 = 2*v + 2*k. Which is greater: 0 or v?
0
Let f be (-60)/(-56) + (-8)/14. Are 1 and f equal?
False
Let o be 1*2 - (-4 + 3). Which is bigger: o or 4?
4
Let g(i) = 3*i - 25. Let z be g(8). Are z and 4/25 non-equal?
True
Let h(a) = -a + 5. Let z be h(6). Let x be ((-4)/5)/((-1)/20). Let j be 2*(2/x + 0). Is j at most as big as z?
False
Let o = -6/36073 + -116479669/288584. Let m = o - -403. Which is smaller: m or -1?
-1
Let y(d) = -d - 4. Let h be y(-7). Suppose 4 = 4*m - 4*u, 8*m = h*m - 3*u + 21. Let f be (-2 - -1)/(1/m). Which is smaller: 2/3 or f?
f
Let w = 3 - 1. Suppose 2 = -b - b. Let j be (1/(-4))/b*4. Which is bigger: j or w?
w
Let p = 7 + 2. Suppose -2*f = 4, -2*f + 0*f - 16 = 2*m. Let c be m/(-10)*(-6)/p. Are c and 1 non-equal?
True
Let d = -4 + 3. Let i be (3/(-2))/((-18)/8). Let c = i + -11/12. Which is bigger: d or c?
c
Let l be 6376/220 + 1/5. Let j = l + -29. Do 1 and j have the 