hich is smaller: 0 or o?
0
Let j = -10301/34 - -303. Are j and 1 equal?
False
Let l(c) = 3*c + 9. Let o be l(-6). Which is greater: -10 or o?
o
Let u(t) = -2*t + 1. Let s be u(-3). Suppose h = -3*a + s + 2, 0 = -a - h + 5. Suppose 3*m + 18 = a*y, -m - 5*y + 6 = -5. Is -5 greater than or equal to m?
False
Let v = -6 - -6.3. Let m = 0.1 + v. Let j = -0.1 + m. Is 2/7 <= j?
True
Let n be -3*3/(-9) + (5 - 1). Which is smaller: n or 7/2?
7/2
Let g be -1 + (-29)/(-18)*-44. Let k = g + 72. Is k <= -1?
False
Let j be (-24)/(-9) - (-4 + 7). Is -26 < j?
True
Let k(j) = -j**2 - 6*j - 3. Let v be k(-5). Let i be (v/(-6))/((-3)/9). Let p be (0/(-1))/(-2 - -1). Are i and p unequal?
True
Let w = 0 + 2. Let h = w - 2. Let q = -0.1 + h. Is q equal to 1/2?
False
Let a = -16 + 26. Let z = a + -1. Is -1 <= z?
True
Let i(s) = 5*s + 0*s + 7 - 5*s + 2*s. Let p be i(-3). Do p and -1/5 have the same value?
False
Let x be (-36)/12*2/(-9). Let w = -47/75 + 2/75. Which is greater: w or x?
x
Suppose 6*r = 4*r - 20. Which is smaller: r or -44/5?
r
Let s = -6.4 + 7.42. Let f = -0.02 + s. Which is greater: -1 or f?
f
Let u be (85/(-50) + 2)*-5. Is 5 bigger than u?
True
Let b(h) = 5*h + 5. Let o be b(-5). Let d be 8/o - 16/10. Which is smaller: 0 or d?
d
Let x(i) = 4 + i**2 + i - 3*i + 4*i. Let k be x(-3). Let f be 3/(1 - k/4). Which is smaller: f or -5?
-5
Let l = -1/111 - -344/1221. Are l and -1 non-equal?
True
Let b be (-3)/(-12) + (-5)/4. Let o be ((-6)/99)/(b/(-3)). Suppose -2*c - 4 = 2*c. Which is greater: o or c?
o
Suppose z + 0*g = -g + 3, 5*z = 3*g + 23. Suppose -z*x - 1 - 3 = 0. Which is smaller: 2/21 or x?
x
Let r(w) = -w**2 + 9*w - 8. Let t be r(7). Suppose -5*i + t*h = 3*h - 26, 30 = 5*i - 5*h. Suppose -4*l - 5*a + 16 = 0, 5*l = -2*a + 7 + 13. Is l smaller than i?
False
Let p(a) = -2*a - 5. Let j be p(-5). Suppose h = -3*s + s + 17, s = j*h - 41. Let t be 5 - (2 - h/3). Is 6 at least t?
True
Suppose 8 + 20 = 2*s + 4*h, -3*h = -2*s. Suppose s*b - 5 = b. Which is greater: b or 0?
b
Let n = 16.1 - 1.1. Let q = n - 13. Which is smaller: q or 1?
1
Let s = -48.8 + 55. Let q = s - 6. Let l = -0.7 - 0.3. Is l less than or equal to q?
True
Let v be 1/((-1)/((-1)/(-3))). Suppose 9*j + 0*j - 9 = 0. Is v at most as big as j?
True
Let b = -34 - -36. Let n be 4/(-14) + (-32)/(-14). Is b < n?
False
Suppose -5*n - 10 = 4*p, -2*n - 5 = -4*p - 1. Suppose p = g + 14 + 22. Let v be ((-2)/(-6))/(16/g). Do v and -2 have the same value?
False
Let t(y) = -2*y**2 + 3*y. Let n be t(3). Let a = -10 - n. Let g be (-1)/2*(5 - -1). Which is smaller: a or g?
g
Let d = 22 - 18. Is 2 smaller than d?
True
Suppose 0 = -4*w - x - 15, -5 = w + 3*w + 3*x. Let l = w - -5. Which is bigger: 2/5 or l?
2/5
Let d be (-1)/(-2)*(3 - -3). Suppose m = 4*r, 4*m + 20 = d*r - 7*r. Is m at most -4?
True
Let u(m) = 0*m + 4 + 3*m + m**2 - 7*m. Let w be u(5). Let k be (-1)/(-6*w/(-12)). Which is smaller: 0 or k?
k
Let s(h) = -2*h - 1. Let b(t) = 3*t + 3. Let y(g) = -3*b(g) - 5*s(g). Let k be y(4). Let w = 1/4 - 3/8. Does k = w?
False
Let f = 29 - 20. Suppose -x = -2*a - 3, f = -4*a + 2*x - x. Let u be a/12 + 14/(-72). Which is greater: -1 or u?
u
Let h be 24/11 + (-4)/22. Let z = h - -3. Suppose -3*s = -z*f - 2 - 4, -5*s = 4*f - 10. Which is smaller: s or 3?
s
Let t = 284 + -282. Let p = 2 + 0. Do p and t have different values?
False
Let y = 31 + -30.93. Which is smaller: 1/5 or y?
y
Let h = 6 + -12. Let d be -1 + (-2)/((-4)/h). Let p be (1 - 4) + (0 + 2 - 2). Are d and p unequal?
True
Let r(u) = -u**2 - 7*u - 7. Let w be r(-6). Which is greater: w or 4/17?
4/17
Let j = -99 - -62. Is j smaller than -38?
False
Let g be 1/((3/1)/33). Let v = g - 11. Which is smaller: v or -1?
-1
Suppose -3*w + 20 = w. Suppose -3*l = -4*h - 2*l - 10, h = w*l - 12. Is h > -5?
True
Let y = 52.9 + -50. Let p = 2.5 + 0.5. Let j = y - p. Which is smaller: j or 1?
j
Let x = 13 - 13. Is -5 greater than x?
False
Suppose -l - 13 = 12*l. Which is smaller: l or -1/124?
l
Suppose -3*b + 5*b = 4. Let x be (-1)/((6/b)/3). Suppose -5*v = 4 + 1. Is v smaller than x?
False
Let m = -3.07 + 3. Let t = 10346 + -341389/33. Let r = 6/11 - t. Which is greater: r or m?
m
Suppose 5*r = -l + 26, -2*l + r + 25 = 2*r. Let v = l - 8. Suppose 3*z + 6 = -v. Is z greater than or equal to -3?
True
Let l = -12467/19 + 656. Is l < 0?
True
Let x = 119 - 593/5. Let d be (-2 + 2)/((-2)/2). Is x smaller than d?
False
Let d = -14.2 - -21. Let i = d + -7. Is i greater than -1/5?
False
Suppose -28*x = -31*x + 39. Suppose -16 = -y - 3. Is y greater than or equal to x?
True
Let q be (-109)/56 + 2/1. Let n = 224628/13 + -188685479/10920. Let a = n - q. Is a bigger than -2/3?
True
Let t be (0/2)/((-4)/(-2)). Suppose -3*v = j - 44, -4*v - 8*j + 3*j + 77 = 0. Let n = -40/3 + v. Is t greater than n?
True
Let j = 0 + -2. Let u be (-20)/12 + (-2)/6. Do j and u have different values?
False
Let z = 11.03 + -0.03. Let o = z + -9.8. Let d = o + 0.8. Which is greater: d or -1?
d
Suppose 2*g = -2*g. Let t be -2 + (g - (-1 - 0)). Let x be (t + -2 + 1)/(-2). Which is smaller: x or 2?
x
Let a = -32 + 31. Which is smaller: a or -1/11?
a
Let g = 83 + -88. Is g at least -7?
True
Let n be 1*2*(-75)/(-30). Let x = 2/69 + -77/276. Which is smaller: n or x?
x
Let u be 136/153*3/2. Which is greater: u or 0?
u
Suppose -4*n + 3*n - 44 = 0. Let a be (n/33)/(2*1). Is -1 bigger than a?
False
Suppose -5*w + 45 = 15. Which is smaller: w or -6?
-6
Let w be 90/(-50) - (-2 + 0). Is 0.1 not equal to w?
True
Let v(x) = x**3 + 7*x**2 + 2*x + 15. Let z be v(-7). Which is smaller: z or 2/9?
2/9
Let h be ((-7)/(-21))/((-2)/6). Let j(w) = -w**2 + 5*w - 1. Let z be j(5). Is z smaller than h?
False
Let i be (-18)/(-8) - (-2)/(-8). Suppose -i*w - w + 6 = 0. Suppose 2*o + 4*h - 7 = 7, 2*h = -3*o + 13. Which is smaller: o or w?
w
Let k be (3/5)/((-12)/8). Is k greater than 9/4?
False
Let m = 551/36 + 7/36. Is 15 at most m?
True
Let x be (-7)/((-140)/8) - 8/10. Which is bigger: 1/2 or x?
1/2
Let o(y) = 8*y**3 + 3*y**3 - 14 - 11*y**2 - 8*y - 3*y - 12*y**3. Let n be o(-10). Is n greater than or equal to -3?
False
Let l = -861/5 - -179. Is l equal to 8?
False
Let x = 1/2 - 3/10. Let j(p) = -p**3 - 7*p**2 + 1. Let l(g) = 2*g**3 + 13*g**2 - 2. Let b(f) = -11*j(f) - 6*l(f). Let r be b(1). Is x bigger than r?
True
Let l = 0.042 - 0.042. Let m = -0.1 + 0.1. Is m at most l?
True
Let g be 106 + (-5)/(10/6). Let n = 1131/11 - g. Let r be 0*2/(4/(-2)). Which is smaller: n or r?
n
Let u = 175/828 - -1/92. Which is greater: 7 or u?
7
Let q = 3.8 + -0.8. Let h = -1 + q. Which is greater: h or -2/5?
h
Let l = -534.94 - -550. Let o = l - 15. Is o at least as big as 1?
False
Let y(b) = b**2 + 4*b + 1. Let d(j) = j**2 + j. Let c(g) = 4*d(g) - y(g). Let l be c(1). Is l smaller than 2?
False
Let b(a) = 4*a**2 - a + 5. Let x be b(-3). Is x at least as big as 44?
True
Let c(s) = -s. Let o be c(-1). Which is bigger: o or -1/5?
o
Let a be 48/(-18) + (-2)/(-3). Let s be 1 - 7 - (a - 1). Which is smaller: -3/2 or s?
s
Let p = -11 + 25. Which is bigger: -1 or p?
p
Let a(q) = -q**2 + 15*q + 17. Let n be a(16). Are n and 1 unequal?
False
Let u = 334/7 - 48. Which is smaller: u or -3/4?
-3/4
Let o = 2088/6251 - 6/329. Let n = 55 + -55. Is n < o?
True
Let w be (-13 - -9) + 5*(2 + -1). Which is greater: -2/5 or w?
w
Let b be 34/(-8) + 1/4. Let q be -2 - b - (-249)/(-114). Let g = -153/418 - q. Is 0 > g?
True
Suppose -s = -2 - 2. Suppose -z = s*z. Let o(f) = -f**2 + 5*f + 5. Let g be o(6). Which is smaller: g or z?
g
Suppose 6 = 3*v + 21. Let m = 15 - 22. Is m > v?
False
Let i = -33 + -59. Which is greater: i or -91?
-91
Let u(d) = -d - 1. Let z be u(-5). Suppose -3*v = v - z. Which is greater: -0.1 or v?
v
Let j = -2 + 1. Let a be (-16)/9 - (1 - (0 + 3)). Which is smaller: a or j?
j
Let o = 1.96 - -0.04. Let g = -2.1 + o. Let p(x) = -x**2 - 11*x. Let a be p(-11). Which is bigger: a or g?
a
Let h = 0.152 + -1.152. Is 14/29 greater than h?
True
Let o be -1 + (-2*1)/2. Let d be (-2)/o - 2/3. Let i = -0.39 + 0.79. Do i and d have different values?
True
Let a = -27 + -13. Let q = 0 - -1. Let o be q/5 - 112/a. Is o not equal to 3?
False
Let w be (-2)/(6/(-2) + 2). Suppose 2*x + 0 - w = 0. Suppose 2 = z + 6, -2*z = -3*a + 14. Which is bigger: a or x?
a
Let a = 