. Is 22/21 < g?
True
Suppose -4*y - 5 = 11, 3*y = o - 14. Suppose 6*a + o*a = 64. Which is smaller: a or 9?
a
Suppose -y - 17 = 4*i, -1 = -i - 6. Suppose z - 7 = -3*l, 0 = 5*z - l - 0*l - y. Which is smaller: 1/33 or z?
1/33
Let u = -10.8 + 10. Let n = -0.063 + -5.737. Let a = n - u. Is 1 >= a?
True
Let k be 3*(-4)/(-3) + -2. Suppose 2*q = z, 9 = 3*z - 3. Is k greater than q?
False
Let t = 108 - 170. Let r = 62 + t. Is r greater than or equal to -47?
True
Let m = 0.487 + -0.482. Which is smaller: 0.4 or m?
m
Suppose 4*k - 149 = -a, 6*a = 9*a - 4*k - 463. Is a equal to 153?
True
Let s = 1369 - 2007. Do s and -0.1 have different values?
True
Let b be 10*1/(-8)*-4. Suppose -2*c = -4*c - 5*f + 14, -2*f = -b*c + 35. Do c and -1/4 have different values?
True
Let s = 133 - 95. Which is smaller: 36 or s?
36
Suppose -4 + 10 = 6*h. Is h at least 7?
False
Let m(n) = n**2 + 4*n - 4. Let t be m(-5). Let i = 1459 - 81705/56. Which is greater: i or t?
t
Let m(c) = c + 8. Let k be m(-4). Let j be (-6)/27 - k/(-12). Which is smaller: 0 or j?
0
Let u be (-85)/(4 - 91/14). Are u and 9 non-equal?
True
Let m = -1027/2 + 513. Is m bigger than 119?
False
Let v = 0.01 - -0.99. Let m = -0.03 - 1.97. Let b = m + v. Are 0.3 and b nonequal?
True
Let o = 4/23 + -43/115. Let m(s) = -s**3 + 10*s**2 - 9*s + 1. Let c be m(9). Which is greater: c or o?
c
Let n(k) = -k**3 + 13*k**2 - 42*k + 2. Let f be n(8). Let a be 4/(-6)*3*6. Which is greater: a or f?
a
Let u = 22 + -17. Suppose -4*k + u = -15. Let w = 4 - k. Which is smaller: -7/8 or w?
w
Let m = 458 - 447. Let u be 12 - 0/(-2 - 0). Which is smaller: m or u?
m
Suppose q - 3*j - 8 = 0, 3*q - 8*q = -2*j - 1. Let p be q/(((-6)/(-13))/6). Does p = -13?
True
Let a = 25816 + -104707/4. Does a = -361?
False
Let l = -4180/85323 - -5/717. Which is bigger: l or -1?
l
Let v(n) be the second derivative of -n**5/20 - 3*n**4/4 + 3*n**3/2 - 5*n**2 - 3*n. Let k be v(-10). Is -2/41 greater than or equal to k?
False
Let k be (2 + -1)/(10/10). Let d(o) = -5*o**3 + 2*o**2 - o. Let t be d(k). Let z be (t/8 + 0)/(-1). Do z and -10 have the same value?
False
Suppose -5*a + 5 = 2*c, 30 = -4*c + a + 95. Suppose 2*b + 7 = -3*m - 6, -5*m - 2*b - c = 0. Which is bigger: -5 or m?
m
Let i(u) = u**3 + 11*u**2 - 19*u + 91. Let m be i(-13). Is m less than or equal to 104?
True
Let z = 0.077 + -40.077. Which is smaller: 1 or z?
z
Let g be 212/(-290) - ((-120)/(-25))/(-6). Which is bigger: -0.04 or g?
g
Let m = 0.02 + -0.04. Let t = 15.98 - m. Is t equal to 2/9?
False
Let t = -37 + 38. Let o = -4/21 - 1/7. Which is smaller: t or o?
o
Let h = -928 - -48253/52. Which is bigger: h or 0.1?
0.1
Let a = -197 - -197.2. Which is bigger: -51 or a?
a
Let p(g) = 3*g + 15. Let y be p(1). Suppose z = -4*a + 2*z + 65, a + 4*z = 12. Do a and y have different values?
True
Suppose 260 = -11*j - 1511. Which is greater: j or -162?
j
Let j(p) = -2*p + 36. Let c be j(18). Suppose 2*d + o + o - 34 = c, 0 = -3*d - o + 53. Is -0.1 < d?
True
Let h = -106 + 42. Let j be (-3)/(-2)*h/(-3296). Which is smaller: j or 0?
0
Let c = 1424/9 + -158. Let v(f) = f**3 + 5*f**2 + 4*f - 1. Suppose 2*d = l - 5*l - 22, -5*l - 8 = -4*d. Let a be v(l). Is c equal to a?
False
Suppose -n = 4*n + 5. Suppose 22*c = 18*c. Suppose c = -3*z + 4*z. Which is smaller: n or z?
n
Let v(x) = -5*x**2 + x - 2. Let h(c) = -6*c**2 + c - 3. Let z(f) = -4*h(f) + 5*v(f). Let a be z(2). Is -2/5 equal to a?
False
Let t(u) = u**3 + 3*u**2 + 2*u. Let i be t(0). Is 1/56 != i?
True
Let f = 23 - 20. Let c be (f/(-15))/(75/70 - 1). Which is bigger: c or -4?
c
Suppose -y - 76 = 4*i, -y = -6*y. Let x = i - 34. Is -52 greater than x?
True
Let f = -58 + 379. Suppose -w - 5*h = -60, 5*w - f = 4*h + 37. Which is greater: w or 71?
71
Let u(c) = -c**2 + 1. Let o be u(-4). Let b(q) = -14*q**2 - 85*q - 21. Let s be b(-6). Is o equal to s?
True
Let g be -2 + 1 + (-5)/(30/132). Which is bigger: -162/7 or g?
g
Suppose 6*t - 3 + 15 = 0. Let k be -3 - (t - (-2)/8*0). Do -13/8 and k have the same value?
False
Let a(g) = -3*g + 3. Let u be a(4). Let m be (-18)/(-81) + (-52)/u. Is m at most as big as 7?
True
Let r be 391042/12033 - (-18)/(-63). Let u = r + -290/9. Which is bigger: -1 or u?
u
Let c = -401 + 273. Let k = -130 - c. Which is bigger: -12/23 or k?
-12/23
Let s(x) = 4*x**2 - 1. Let w be s(1). Suppose w*v + 7 = -29. Let r be (12/(-45))/((-8)/v). Which is smaller: r or 8?
r
Suppose 7*o - 4*o = -28*o. Suppose -3*u + z = -1, -6 = 4*u + z + 2. Which is greater: u or o?
o
Let i be 16/(-56) - 30/(-7). Let a be i/14 - 32/63. Which is smaller: a or -2?
-2
Let y = 24 - 96. Which is smaller: y or 0?
y
Let k = 534897/331 - 1616. Is 1 at least as big as k?
True
Let m = 5 + -4. Let f(k) = k**2 + 1. Let y be f(-1). Let s be -1*16/(-10) - y. Which is bigger: m or s?
m
Let p be (45/6)/((-9)/(-12)). Let w(q) = -2*q + 19. Let n be w(p). Suppose 44 - 12 = -5*u - 4*k, -3*u + 5*k = 34. Which is smaller: u or n?
u
Let x = 28 - 31.8. Let v = x + -3.2. Let k = 4 + -3.9. Is v greater than k?
False
Suppose -3*n - 18 = -24. Suppose -9*w - 3*w = -n*w. Is w greater than 1/48?
False
Let n be 3 - 5 - 111/(-33). Let b = -20/11 + n. Which is greater: 0 or b?
0
Let n(a) = -a**3 - 7*a**2 - 7. Let o(f) = f**2 + 1. Let m(w) = -3*n(w) - 21*o(w). Let i be m(1). Suppose i*v - l = -2*v + 10, 5*l = 3*v - 6. Is 2 at least v?
True
Let n be 248 + (-18)/6 + 1. Which is smaller: 248 or n?
n
Let x = 61287/1903 - 67/173. Let w = -2956/77 + x. Which is bigger: -6 or w?
-6
Let p be -1800 - (-3 + 2 + -1). Let d = 1161 + p. Let h = -3196/5 - d. Which is smaller: h or -2?
h
Suppose 5*r + 5*o - 2335 = 0, -2*o - 591 - 323 = -2*r. Which is smaller: r or 461?
461
Let y be ((-21)/(-348))/(-1)*4936/4. Let s = y + 149/2. Suppose -3*v + a = -2, -4*v + 5 = -a + 2. Are s and v unequal?
True
Suppose 2*f + 26 = -2*n - 2*n, -16 = -n + 4*f. Let z(p) = -4*p + 2 - p**2 - 4 + 6. Let v be z(n). Are v and 4 equal?
True
Let z(d) = d**2 - 17*d - 19. Let p be z(18). Let m be ((-15)/10)/((0 + p)/2). Is 0.4 greater than m?
False
Let o = 28 - 22. Let q be (6 - o/3)*(-4)/16. Do -28 and q have the same value?
False
Let r = -4/65 + -7/13. Suppose -12 - 10 = -2*k. Let v = k + -13. Which is greater: v or r?
r
Let h be 8*-75*(-4)/(-16). Let d = 140 + h. Suppose 3*c = -4*k + k - 18, 5*c = 4*k + 51. Which is bigger: d or k?
k
Let q(n) = -4*n + 30. Let y be q(10). Let d = 23 + y. Is d >= 9?
True
Let z be (-11)/33 - 944/(-510). Let p = 36/17 - z. Let s be (-14)/(-10) - (-6)/(-15). Which is greater: p or s?
s
Suppose 4*g - 64 = 4*d - 2*d, -62 = 2*d - 2*g. Suppose 2*w = a + 2*a - 2, 0 = 4*w + 5*a + 4. Let k be d/(-20) - w*3. Is k at most as big as 4?
False
Let t = 1631 - 784. Is t != 847?
False
Let y = -75 + 71. Suppose -5*l + l - 16 = 0. Do l and y have the same value?
True
Suppose -h + 3 = 0, -3*b = -2*h + 104 + 4. Which is smaller: b or -1?
b
Let a = -212 + 213. Let u be (-20)/(-40)*-8*(-1 + -1). Which is greater: u or a?
u
Suppose 5*o - 4*d = d, -6 = 2*o + 4*d. Is 1/14 less than o?
False
Let p(h) = 77*h**2 - h - 1. Let f be p(-2). Which is bigger: 310 or f?
310
Let o = 193/21 - -8/21. Is o smaller than 11?
True
Let h = 33.3 + -33. Let j = 0.2 + h. Let w = 0.1 + -0.1. Which is smaller: j or w?
w
Let s(q) = q**2 - 1. Let y be s(-7). Let b be (-8)/y - (-30358)/132. Let f = -230 + b. Which is smaller: f or -1?
-1
Let m = 169 - 168.54. Which is smaller: m or 0?
0
Let s(y) be the first derivative of -45*y**2/2 - 63*y - 41. Let h be s(-4). Which is smaller: h or 116?
116
Let b be ((0/3)/4)/((-8)/2). Is b >= -21/59?
True
Let k(s) = -s**2 + 7*s - 4. Let i be k(6). Let u be -1*6 - (-116 + 113). Is i at most as big as u?
False
Let i = 3.743 + 1.227. Let c = i + 0.03. Is 3/7 < c?
True
Suppose b - 41 = -3*p, 0 = 2*b - 7*b - 3*p + 229. Suppose -36*g - 3 = -1818 + 159. Is b <= g?
False
Let r = 766.91 - 767. Is 2.8 != r?
True
Let x(g) = 2*g**2 - 5*g + 2. Suppose -3*d + 24 = 5*f, 4*d - 18 = -0*d - 2*f. Let h be x(d). Suppose -5*u - 41 = -66. Do u and h have different values?
False
Let i(u) = u**2 + 4. Let b be i(3). Suppose 65 = 4*c + b. Which is greater: c or 12?
c
Let p be (-840)/(-3220) - (1 - 4/6). Which is smaller: p or 0?
p
Let h = -62 - -52. Let r = 11 + -23. Let f = r - h. Which is smaller: f or -13/5?
-13/5
Let a = -3 + -3. S