reater than or equal to 18?
True
Let w be 39/26*(-8)/6. Is -2 at least as big as w?
True
Let a = 3 + -6. Is a bigger than -1?
False
Suppose 0*d + 12 = -2*d. Let u = 8 + d. Suppose -u*r - 2*r = 0. Is -4/9 bigger than r?
False
Suppose 5*h + 5 = 5*y, -3*y = 4*h - 2*h - 23. Suppose 2*p = -y - 3. Is p greater than or equal to -2?
False
Let x(p) = 34*p**3 + p + 1. Let i be x(-1). Let l = 4 + i. Let g be (4/5)/((-4)/l). Which is smaller: 5 or g?
5
Let z(o) = -o + 10. Suppose 27 = 5*w - 8. Let g be z(w). Which is bigger: g or 2?
g
Let x = -5.8 - -5.82. Which is bigger: 5/6 or x?
5/6
Let t = 16 - 14.8. Let g be (-6)/(6 + -4) + 3. Do t and g have the same value?
False
Let x(b) = b. Let o be x(4). Let v be ((-22)/o)/(1/2). Let z(h) = -h - 7. Let q be z(v). Is q less than 4?
False
Let q = 16 + -16.1. Are -1/3 and q nonequal?
True
Let v(r) = -r**3 - 11*r**2 + 11*r - 9. Let t be v(-12). Let n(s) = 0 - t - 4 + s + 2. Let a be n(6). Which is smaller: a or -1/8?
-1/8
Suppose 3*l - 10 = -2*l. Which is greater: 1 or l?
l
Let i be (18/(-30))/((-16)/(-10)). Is i less than 1?
True
Let f be (-23)/15 - 2/(-6). Let z = 3.9 - 4. Is z bigger than f?
True
Let c be (-10)/(-15)*(-3)/2. Does c = -10?
False
Suppose -2*w = 3*c - 10, 0*w = -4*c - w + 10. Suppose 3*t + 4*g - 38 + 9 = 0, -4*t + g = -7. Is c at least as big as t?
False
Let m = 31777/107 + -297. Which is bigger: 0 or m?
0
Let v be -1 + 4/(-16)*0. Let l be 1 + (v - 6/3). Which is smaller: l or -5/2?
-5/2
Let k = 369 + -3364/9. Let p = 565/117 + k. Which is smaller: p or 0?
0
Let m(f) = f**3 + 7*f**2 + 7*f + 9. Let x be m(-6). Suppose 5*o + 20 = 5*g, x*g - 6 = 4*o + 5. Which is smaller: -2/5 or o?
-2/5
Let a be 22*-1 - (-9 + 6). Is -19 greater than a?
False
Let o = 10.1 + -2.7. Let x = 2.6 + o. Which is smaller: -0.1 or x?
-0.1
Let r(m) = -m**3 + m**2 - 2*m - 5. Let s be r(0). Which is bigger: -14/3 or s?
-14/3
Let r = -1.9 + 2. Let p = 0.2 - r. Let s = 0.08 + 0.02. Is p greater than or equal to s?
True
Let t be ((-5 - -1)/(-2))/(-15). Let o = -17 + 17. Do o and t have the same value?
False
Let u be 1*(-50134 - 0) + -2. Let q = u + 5264404/105. Let w = q - 22/15. Which is smaller: -2 or w?
-2
Let z = -9.7715 - -0.0115. Let h = z + -0.24. Which is smaller: h or -1/3?
h
Suppose 5*d = -0*d - 15. Let c be -3 + -93*d/81. Which is greater: c or -1?
c
Let q = 264 + -773/3. Is 6 < q?
True
Let b(f) = -f**2 - 6*f - 5. Let d be b(-4). Let a be d/7 - (-25)/(-91). Is a less than 0?
False
Let s = -394/9 + 44. Which is bigger: 6 or s?
6
Suppose 0 = d - 18 + 2. Let w be ((-4)/d)/(10/(-8)). Is w bigger than 0?
True
Let i = -23 - -23.2. Let j(b) = b - 6. Suppose 0 = 2*s + 2*n - 18, 4*s + 3*n - 2*n - 27 = 0. Let y be j(s). Are i and y non-equal?
True
Let m = 1 + -0.9. Let x = -4.8 - 0.2. Is m less than x?
False
Let b = -42263 - -295156/7. Suppose 5*n - r - 486 = 0, -n - 2*n + 292 = -r. Let c = b + n. Is -2 at most c?
True
Let v be 1*3 - (-10 + 9). Suppose 5*t - 4*c = -v, 0 = 2*t - 5*t - 4*c + 4. Is -2/27 < t?
True
Let h = -0.44 - -0.04. Let i = h - 0.6. Let s be 4/8 + 1/(-2). Which is greater: i or s?
s
Let d(h) = 2*h + 1. Let m be d(1). Suppose -2 - 1 = -m*f. Which is bigger: -3/7 or f?
f
Let p = -8 + 6. Let a = 0 - p. Suppose a = -5*k - 4*r, 9 = 2*k - r + 2. Is 2 greater than or equal to k?
True
Suppose -24 = -0*f - 4*f. Which is greater: f or 7?
7
Let y be 16/(-6)*(-99)/(-44). Is -6 bigger than y?
False
Suppose 0 = 3*l + 67 + 47. Let v = -151/4 - l. Which is smaller: v or -1?
-1
Suppose -5*d = 5*u - 0*u + 15, 5*u - 17 = 3*d. Let o be (-1 + 2 - u)/1. Which is greater: o or -1/2?
o
Let d = 855/4 - 215. Is -0.2 >= d?
True
Suppose -11*a + 7 = -26. Which is smaller: a or -6?
-6
Let w = 11 + -9. Let p be w/(-7) - (-144)/798. Is 1 smaller than p?
False
Let o = -20 - -22. Suppose -4*m - m = -w - 42, -26 = -o*m + 5*w. Is 8 greater than m?
False
Suppose q = 4*x - 3*x + 7, q + 5 = -3*x. Let k = 9 - q. Let y(l) = -l**2 + 10*l - 6. Let t be y(9). Is k > t?
True
Let p be 42/9*(2 - 5). Let f be 1488/p*(-10)/15. Let l = f - 71. Which is smaller: 0.2 or l?
l
Let p = -1/72 - 1/9. Is 0 less than or equal to p?
False
Let o = 39 - 38. Which is greater: -2/11 or o?
o
Suppose 2*o = 10*o - 96. Which is greater: o or 67/5?
67/5
Suppose -1 = k + 2. Suppose -3 = 3*t - 9, 3*t - 2 = -2*g. Which is bigger: k or g?
g
Let p(g) = -g**3 + 2*g**2 + g + 4. Suppose -3*r + 2 = -7. Let a be p(r). Let m = 11/18 - 28/9. Which is bigger: m or a?
a
Let d(b) = -b**3 + 4*b**2 - 4*b + 2. Let k be 4/(-4) - (0 - 3). Let p be d(k). Is p greater than 2/3?
True
Suppose -2*d = -0*d + 26. Which is smaller: d or -12?
d
Let w = 0 - -8. Which is greater: 6 or w?
w
Let g(a) = -a**3 - 6*a**2 + a + 5. Let k be g(-6). Let w = 0 + 6. Let m be 2/7 - w/14. Is m <= k?
False
Let u be -4*(2/7 + 12/7). Which is smaller: u or -39/5?
u
Let x be (0 + 0)*(-2 - -3). Let w(f) = -f**3 - f**2 + 2*f - 1. Let a be w(-2). Let b be 2/(12/a) - 0. Which is smaller: b or x?
b
Let k = -37 + 38. Which is bigger: k or -1/6?
k
Suppose -2*d = 4*n + 54, -5*d - 2*n = 71 + 48. Is -23 at least d?
True
Let o be 2*1 - (1760/(-296) - -8). Which is bigger: -1 or o?
o
Suppose 0 = 3*u, 0 = -4*f + 2*f + 2*u - 6. Let n(x) = 4*x + 1 - 5*x + 2*x. Let b be n(f). Is -0.1 less than b?
False
Let f be 2 + (-64 - -1)/3. Let s = 30 + f. Which is smaller: s or 12?
s
Let w be (-8)/(-20) - 312/5. Let i = w - -188/3. Is -3 at least as big as i?
False
Let h = -5 - -7. Suppose -w = f + 17, 0 = -h*w + f - 4*f - 30. Is w bigger than -20?
False
Let o(u) = -16*u**3 + u**2 + u. Let r be o(-1). Is r at least as big as 18?
False
Let r(h) = -h**2 + 5*h + 4. Let d be (-108)/(-20) - 2/5. Let w be r(d). Let f = w + -2. Is 0 less than f?
True
Let i = 8 - 6. Let t = i - 1.4. Let u = t - 0.6. Which is greater: -0.1 or u?
u
Let x be (-4)/(-6) + 1/3. Let i = -25 - -27. Do x and i have different values?
True
Suppose -5*d = 109 - 14. Let t = 16 + d. Let h(o) = -o**2 - o + 2. Let i be h(2). Which is greater: t or i?
t
Let b = 0.8 - 0.4. Let x be (4/(-10))/((-21)/(-35)). Which is bigger: x or b?
b
Let a = 0.6 - 9.6. Which is greater: a or 0.2?
0.2
Let g(a) = -a**3 + 11*a**2 - 11*a + 12. Let b be g(10). Is -4 < b?
True
Let a = -21 + 26. Let t be (-1)/(-4) - a/100. Let l = -3 - -3.1. Are t and l equal?
False
Let r = 1 + -2. Which is smaller: -4/5 or r?
r
Let h(t) be the first derivative of t**3/3 + t**2/2 + t - 11. Let v = -3 - -2. Let a be h(v). Which is bigger: a or 2/3?
a
Let l be 2 + -2 - 1*-42. Let v be (-25)/l + 5/10. Do v and -1 have the same value?
False
Let d(o) = -8*o**2 - 4*o - 9. Let g be d(-3). Are -69 and g non-equal?
False
Let m(a) = a**2. Let j be m(2). Which is smaller: j or 3?
3
Let p(q) = -q - 3. Let d be (-2)/3 - 7/3. Let a be p(d). Which is bigger: a or 1/4?
1/4
Let u be 1*4*6/8 - 0. Let h be 0 - -2 - (-1)/2. Which is smaller: h or u?
h
Suppose -3*v + 4*o = -17, -3 = -v - 2*v - 3*o. Let y = v - 3. Are y and -2/5 unequal?
True
Let x = -218708201/1098387 - 2/64611. Suppose -134 - 65 = l. Let w = x - l. Is w equal to -1?
False
Let r = -6 + 7. Let s be r/(-8)*-2*-6. Is s bigger than -3?
True
Let l = -13 - -19. Is 1 at most as big as l?
True
Suppose -y - 2*w = 3*w - 9, 4*y - 3*w = -10. Which is bigger: y or 26?
26
Let j = 6 + -12. Let k = j - -7. Let x be (-1 + -2)/(-2 - k). Which is greater: x or -3/7?
x
Suppose y = -4*z + 13, -3 = -2*z + 2*y + 11. Suppose z*t + 5*w = 36, 3*t = -t + 4*w. Suppose 2 = -t*x + 6. Is 1 greater than or equal to x?
True
Let p(s) be the first derivative of -s**2/2 - 8*s - 2. Let q be p(-12). Let d be -4*1/((-8)/5). Which is bigger: q or d?
q
Let s = 97/3 - 33. Which is smaller: s or -2?
-2
Let a = 308/925 - 9/25. Which is greater: a or -1?
a
Let g(z) = z**3 + 3*z**2 - z - 5. Let l be g(-3). Which is bigger: l or 2?
2
Let p = -0.069 + -0.031. Which is greater: -54 or p?
p
Let h = 9 + 0. Let r(s) = 2*s - 10. Let o be r(10). Is h at most as big as o?
True
Let t(g) = -g**3 + 5*g**2 + 4*g + 14. Let i be t(6). Suppose i*k = 5*k - 3. Do 0 and k have the same value?
False
Let u = -87/1300 + -1/100. Is -1 smaller than u?
True
Let l = 2.9 + 1.49. Let m = l - 0.49. Let n = -4 + m. Is n < 1?
True
Let z = 22 - 21. Let t = 7 - 23/3. Is t greater than or equal to z?
False
Let k(l) = l**3 + 7*l**2 + 10*l + 6. Let w be k(-6). Do w and