9/2 + o. Let b = -9/68 - j. Is 1 less than b?
False
Let u = 8 + -11. Let m(a) = -a**2 - 3*a - 3. Let n be m(u). Suppose -1 = 3*v - 4. Which is greater: n or v?
v
Suppose 5 = 3*q - 10. Let g(i) = -i**3 + 4*i**2 + 5*i - 5. Let k be g(q). Let u be k - -6 - (2 + -1). Which is smaller: u or -1?
-1
Let x = -6 + 12. Let s be ((-24)/(-9))/(2/x). Let c be 24/(-16)*s/9. Which is smaller: -1 or c?
c
Suppose 240 = -2*v + 6*v. Are v and 60 equal?
True
Let d(j) = 4*j - 9*j - 5*j - j**3 + 8*j**2 - 12 + 2*j**3. Let s be d(-9). Is -3 not equal to s?
False
Suppose 6*v = 3*v + 132. Which is bigger: v or 46?
46
Let l be -2*(45/(-24) - -2). Let q = 39.9 + -48. Let y = q + 8. Is y at least l?
True
Let r be (-12)/(-20) - (-376)/(-660). Which is bigger: r or 0?
r
Let o = 3/2 + -5/4. Do o and -0.08 have the same value?
False
Let j = 4 - -1. Let v(t) = -t**3 - 7*t**2 - 7. Let w(a) = 2*a**3 + 8*a**2 + a + 7. Let h(r) = -3*v(r) - 2*w(r). Let y be h(j). Which is bigger: -5 or y?
y
Let a = -0.6 + 1.3. Let b = a + -0.6. Does -0.2 = b?
False
Let h be (-271)/14 + (-1)/(-2). Let g = h - -1299/70. Which is smaller: -1 or g?
-1
Let p = -3/4 + 3/20. Let j = -1 - -7. Suppose 2*b + 0 - 3 = -5*l, 0 = -2*b + 4*l - j. Is p greater than or equal to b?
True
Let n(k) = -k**3 - 3*k**2 - k + 2. Let u be n(-2). Let a be 6/8 - (1 + u). Let v = 33 + -34. Which is smaller: a or v?
v
Let l(g) = -g**3 + 4*g**2 + 2*g + 1. Let c be 9 + -2 + -3 + 0. Let b be l(c). Let s be (-2)/b - (-2)/9. Which is smaller: s or 1/4?
s
Let w(r) = r**2 + r + 1. Let i be w(-1). Let p(y) = 5*y**2 - y + 1. Let d be p(1). Suppose d + 4 = -3*l - 3*f, 0 = 2*f + 10. Which is smaller: l or i?
i
Let y = -73/42 + 15/14. Which is smaller: y or 0?
y
Let l(s) = -5 - s + 6*s**2 + 0*s - s**3 - 10*s**2. Let t be l(-4). Let r be -1*2*-1*-1. Is t > r?
True
Let r be 2*(1 + 2)/3. Suppose -4*m - 20 = -o, -o - r*o + 3*m = -15. Does 4/7 = o?
False
Let f = -101 + 68. Let o = -29 - f. Is -3 bigger than o?
False
Let o(x) = -x**2 + x - 5. Let v be o(4). Which is smaller: v or 2?
v
Let z be (-6)/4*8/3. Let x be (-5)/4*z/20. Let h = -3 + 4. Which is smaller: x or h?
x
Let o(v) = v**2 - 7*v - 5. Let m be o(8). Suppose 0 = t + m*t + 12. Let q be (2/t)/((-2)/(-3)). Is 2 less than or equal to q?
False
Suppose -4*q = 2*s + 34, 3*q + 2 = s - 1. Let l be (6/s + 0)*-3. Let v be ((-3)/(-30))/(l/5). Are v and 0 non-equal?
True
Let z(b) = -b + 0 + 1 - 3. Let y be z(-3). Let j be 6*(26/48 - (-10)/(-15)). Is j >= y?
False
Let f = 19 + -19. Does -1/27 = f?
False
Suppose -2*v + 5 = -2*y + 3, 3*v - 4*y - 4 = 0. Is 0 greater than or equal to v?
True
Let n be 2/(-21) + (-1232)/(-588). Let r = 0.3 - 0.4. Is r at least n?
False
Let w(j) = 2*j**2 + 16*j - 9. Let b be w(-9). Which is greater: b or 7?
b
Suppose 0 = -f + 1 - 4. Let d be (-10)/f*(-6)/(-5). Let a = 1 + 2. Which is greater: a or d?
d
Let a = 0.95 - 1. Let h = 3.95 - a. Is 0 greater than h?
False
Let w = -323/5 + 65. Which is smaller: 1 or w?
w
Let b = 23 + -26. Which is smaller: b or -1?
b
Let a(v) = v**2 - v. Let f be a(0). Suppose f = -4*q + 2 + 18. Is q <= 5?
True
Let l = 0.8 + -0.2. Let j = -3.6 + l. Let v = -2.96 - j. Is v smaller than 1?
True
Suppose 5*c + 93 = -77. Let i be (1 + c)*(-2)/6. Suppose 3*v = -2*k - i, 3*v = -0*k + 3*k + 9. Is v at least as big as 2/9?
False
Let w be 12/(-42) - (-11)/(-35). Which is bigger: w or 1/3?
1/3
Let g(h) = h**2 + 7*h - 21. Let u be g(-7). Is u bigger than -23?
True
Let m = 26.9 - 25.9. Let w = 6.7 + 0.3. Which is smaller: w or m?
m
Suppose 5*r + 3*j = 4 + 3, 2*r - 3*j = -14. Which is bigger: -6/11 or r?
-6/11
Let b = 14587/19 + -767. Which is bigger: b or 2?
2
Let k = -2.92 + -0.08. Let c = -1.5 + 0.8. Let j = -0.8 - c. Is j not equal to k?
True
Let k = -205/4 + 50. Which is greater: k or 0?
0
Let f = 1 - -2. Let p = 3 - f. Let h = 6 + -6.1. Which is greater: p or h?
p
Let c = 8.2 + -0.2. Let n = c - 6. Is -0.2 at least as big as n?
False
Let k be (-9)/12 + 12/16. Let g = 141/4 - 35. Does k = g?
False
Suppose 0 = 3*l - 5*o + 19, -5*l + o - 5 = 12. Are -3 and l nonequal?
False
Let t(k) = -k**2 - 2*k + 3. Let g be t(-3). Which is greater: -1 or g?
g
Let s = -16 + 20. Suppose -s*t = -2*w - 0*t + 8, -3*w = 3*t - 21. Is w > 2?
True
Let w(m) = -5*m**2 + 7. Let b(j) = 11*j**2 - 15. Let x(s) = -6*b(s) - 13*w(s). Let a be ((4 - 4)/(-3))/(-4). Let f be x(a). Which is smaller: f or 0?
f
Let x = -2 + 3. Let m = -296/7 + 42. Is m < x?
True
Let b(u) = u + 1. Suppose 0 = 4*d + 20, -3*n + 5*n + 4*d = 0. Suppose -4*y - y = n. Let a be b(y). Are a and -2 non-equal?
True
Let k be 8/(-6)*((-36)/(-16))/(-1). Is 3 not equal to k?
False
Let y = -369.1 - -369. Let n be (-3 - -1) + 22/2. Which is bigger: n or y?
n
Let a(r) = -3*r. Let y be a(1). Suppose 4*b = -7 - 9. Let z be 2 + 5/(5/b). Which is greater: y or z?
z
Let m be (-1)/2*(-1 - 1). Which is bigger: 2/167 or m?
m
Let m be (1*-5)/((-3)/6). Suppose -z - m = -6*z. Is 2 >= z?
True
Let l be 1/15 - (-4)/(-10). Let t = -6 + 25/4. Which is bigger: l or t?
t
Let t = 21.1 + -21. Let o = 5 - 2. Which is smaller: o or t?
t
Suppose -11 = -4*y - 15. Is y less than or equal to -1?
True
Let r = -0.09 - -1.09. Which is smaller: 2.8 or r?
r
Let d be (7/65)/((-10)/(-8)). Let k = d + -6/25. Let w(u) = u**2 - 4*u. Let s be w(4). Which is smaller: k or s?
k
Let p be (-24)/(-5 + 2) + (-1)/1. Is 3 at most p?
True
Let m(a) = -14*a - 17. Let q(c) = -5*c - 6. Let d(z) = 6*m(z) - 17*q(z). Let r be d(1). Is 1/2 greater than r?
False
Let x = -4 - -6. Let r(y) = -4*y**3 - 2*y + x + 2*y**2 + 5*y**3 + 3*y. Let g be r(-2). Which is bigger: g or -1/4?
g
Let k = -10 + 2. Does k = -9?
False
Suppose -3*l - d - 58 = 0, 0 = -5*l + 4*d + 1 - 92. Is l greater than -19?
False
Let l = 1010/7 - 144. Which is greater: 0 or l?
l
Suppose i + 2*i - 6 = 0. Suppose -6*r + 3*r + 12 = 0. Which is bigger: r or i?
r
Let p = 30 + -22. Let u = -11/42 - -3/7. Is p not equal to u?
True
Suppose -6*q = -3*q. Let l = 197/6 - 33. Which is bigger: q or l?
q
Let h be (4/40)/(3/2). Are h and -0.2 unequal?
True
Let b = -2.9 - -4.9. Is -12 greater than or equal to b?
False
Let k(j) = -j**3 - 7*j**2 - 4*j + 1. Let u be k(-6). Which is bigger: u or -1/4?
-1/4
Let x be (-12)/(-10)*10/9. Let q = -6 - -8. Which is smaller: x or q?
x
Let a be (345/(-175) - -2)/((-4)/16). Which is smaller: 0 or a?
a
Suppose -z - 4 = p, 5*p = p. Suppose 5*s - 40 = y + 4*y, 2*s = -2*y - 4. Which is smaller: z or y?
y
Let p(w) = -w**2 + 3*w - 1. Let k = 4 + -2. Let q be p(k). Let a(c) = -c**2 - 3*c. Let o be a(-3). Is o equal to q?
False
Let n = -1 - -0.98. Which is greater: 0.04 or n?
0.04
Suppose -14 + 5 = 3*q. Let r be 14/12*q/(-14). Which is smaller: 0 or r?
0
Suppose 0 = -r + 4*t + 8, 3*r + r = -4*t - 8. Is -2/23 greater than r?
False
Let s be (15/(-63)*-1)/(14/12). Which is smaller: -1 or s?
-1
Let d be 4/(-9)*135/(-18). Is 3 < d?
True
Suppose 6*m - 32 = 4*m. Is 16 at least as big as m?
True
Let x = 11 + -11. Let p be 6 - x - (-1 + 2). Is p > 7?
False
Let f = 10 - 5. Suppose f - 4 = -c. Which is smaller: 1/15 or c?
c
Let u = 3 + -4. Which is greater: 1/12 or u?
1/12
Let k be 2*1/(-3) + 15/63. Let d be 0 - -1 - 2/3. Which is smaller: k or d?
k
Let l = -85 + 132. Suppose 4*w = -l - 25. Let h be w/(-15) + (0 - 1). Is 0 greater than h?
False
Suppose 0 = -w, l - w = 2*l - 3. Suppose k - b = -0*k + 5, -3*k + 2*b = -11. Let i be (3/(-9))/(k/(-6)). Is l greater than i?
True
Let z be (-48)/8*(-2)/(-39). Which is smaller: -0.2 or z?
z
Let a = -109 - 38. Let t = -1619/11 - a. Which is bigger: t or 0?
0
Let n = -5/252 + -2213/2772. Is 0 at most as big as n?
False
Let c be (-3 + 7 - 3)*0. Is c >= -1/209?
True
Suppose 8 = -2*y, -3*k = 2*y - 6*y - 7. Are k and -2 equal?
False
Let c = -56 - -91. Suppose 2*t - 4*g - 30 = 0, -6*t + t + c = -2*g. Let d = 26 - 20. Which is smaller: d or t?
t
Let j = 24 + -25. Let z = 44 + -86. Let v be 1/(-5) + z/(-110). Is j greater than v?
False
Let t = 25 + -35. Let u = t - -12. Which is smaller: -1 or u?
-1
Let c = 0.25 + -0.15. Is -34 greater than or equal to c?
False
Let o = 181/3 + -61. Let n = 47/2 + -25. Which is greater: n or o?
o
Suppose h - 3*d - 4 = 0, 0 = -3*h - h + 5*d + 2. Let x be 1/h - (-8)/(-16). Is -1/21 bigger than x?
True
Let q = 0.4 + -0.1. Which is smaller: q or 0.05?
0.0