. Is r at least as big as 2/25?
True
Let b be -7 - ((-3)/48)/(4/424). Is b bigger than 5/7?
False
Suppose 97 - 97 = -8*f. Which is smaller: -10/21 or f?
-10/21
Let j(f) = -f**2 - f + 1. Let l be j(0). Suppose 49*g = 18*g + 279. Let s be (5 - (3 + l))*g. Which is smaller: s or 10?
s
Suppose f + 3 = y - 3, -15 = -3*y + 4*f. Suppose 3*g = y, 5*g - 7 = v + 3*g. Let o be 1/3 + 61/(-201). Are v and o nonequal?
True
Suppose -a + 3*y = 10 + 9, 0 = -3*y + 15. Are 3 and a non-equal?
True
Let z = 153 + -148. Which is greater: z or -0.08?
z
Let i = 38 + -71. Let j = i + 43. Let v = -9 + j. Which is smaller: v or 2/21?
2/21
Let s = -17.3 - -38.4. Let u = s - 25. Let o = -4 - u. Which is greater: o or -11?
o
Let x = 57 - 40. Let h = -17.17 + x. Let q = h + -0.83. Which is smaller: q or -9?
-9
Suppose 5*c - 775 + 725 = 0. Which is bigger: 16/7 or c?
c
Suppose 12*h = -20 + 68. Let k be (1254/88)/(6/h). Let f = 23 - 14. Is f equal to k?
False
Let u = 304 + -303. Which is smaller: -10/77 or u?
-10/77
Let z(x) = x**3 - x**2 - 2*x. Let a be z(3). Let g be 2 + a/(-3) + -1. Let o = 169 - 512/3. Which is greater: g or o?
o
Let c = -15636/217 - 16/31. Which is smaller: c or -73?
-73
Suppose -2*j - 4 = r, -j - 3*j = -5*r + 8. Let d be (-1 - -16)/(r - -1). Let n = -14 + d. Which is bigger: n or -2/5?
n
Let m be (8/((-144)/(-27)))/(2 - (-338)/(-172)). Let c be (-4)/6*(-387)/6. Is c equal to m?
True
Let a be (-493)/58 + 14/2. Suppose 2*i + 9 = -i. Are a and i equal?
False
Suppose -5*z = -o + 20 - 3, 4*z + 3*o + 6 = 0. Let n be 1*96/34 + z. Is 1 bigger than n?
True
Let f(q) = -25*q + 113. Let m be f(4). Is m > 63/5?
True
Suppose -8*i = -13*i - 4*f + 14, 2*i - 7 = -3*f. Let p be (-2)/(3*(-2)/105). Suppose 57 = i*g + p. Is -0.1 equal to g?
False
Let x = 113.74 + -114. Let k = -0.04 + x. Let z = 0.3 + -0.1. Are z and k equal?
False
Let y be (2/(-8))/((-3)/(-12)). Let z = 1 - y. Let w be -1 - z - (-144)/45. Which is greater: w or 1?
1
Suppose 4*y + 23 = 3*h, 4*y - h + 13 + 8 = 0. Let f be y/(-235)*458/(-8). Let x = 3/94 - f. Do 1 and x have the same value?
False
Let m = -0.85 - -1.64. Let d = -542.79 - -543. Let v = m + d. Which is smaller: 4/7 or v?
4/7
Suppose 4*l = 2 - 6. Let x = -1/92801 + -131591811/649607. Let q = x - -202. Which is smaller: q or l?
l
Let i(m) = -m**3 - 20*m**2 - 19*m. Let y be (((-4)/(-3))/2)/(34/(-969)). Let c be i(y). Which is greater: c or 2/33?
2/33
Let o = 60.8 - 61.7. Let y = 0 - 0. Let m = y - o. Which is smaller: -2/5 or m?
-2/5
Let f = -9.4 + 9.3. Suppose -4*p = -3*p - 1. Are f and p equal?
False
Let k(p) = p**2 - 13*p + 9. Let w be k(12). Let l be w/4 - (-3)/(-12). Let h be 0 - (l + 21/9). Is 0 at least h?
True
Let q(g) = -g**2 + 17*g - 4. Let c be q(14). Suppose 0 = -r + 54 - 16. Is r at most c?
True
Let u be (-1)/(6/(-942) + 0). Is u equal to 158?
False
Suppose -8 - 8 = 4*y. Let d = -809/5 - -159. Is y bigger than d?
False
Let w = -10/394551 - -2541303341/13809285. Let q = -184 + w. Is 1 at most as big as q?
False
Suppose 6*d = 11*d - 1215. Let h be (d/(-6) + 2)*-4. Let w be 16/(-88) - (-160)/h. Is w at most 2?
True
Let y(k) = k**3 + 9*k**2 - 11*k - 8. Let c be y(-10). Suppose 4*j - 3*j = -c. Let n be -12*((-3)/j + -2). Is 6 less than or equal to n?
True
Let c(i) = 24*i - 12*i + i**2 - 12*i + 4. Let a be 0 + 3 + (0 - 3). Let w be c(a). Which is smaller: -0.3 or w?
-0.3
Let f(x) = -17*x - 123. Let w be f(-7). Is w less than -76/23?
True
Let n(r) = -4*r + 39*r**3 - r + 7*r - 2 - 2*r**2 + 4*r**2. Let k be n(2). Let q be k/(-294) - (-2)/3. Which is smaller: 0 or q?
q
Suppose 4*l + 4 = -0. Which is smaller: -2 or l?
-2
Let v = 0.0726 + -3.0726. Is v <= 2.7?
True
Let l(j) = j**2 - 4*j - 4. Let n be l(5). Let o = 38.674 - 0.374. Let a = o - 37. Which is smaller: a or n?
n
Let p = 0.3 - 0.4. Let a(m) = 8 + 7 + 1 + 10 - 24*m + m**2. Let t be a(23). Which is greater: p or t?
t
Let t = -20 - -20. Suppose -r = -t*r + 15. Does r = -15?
True
Suppose -6 = 4*i - 5*m, 5*i - 70*m = -74*m + 13. Is i at least as big as 10/383?
True
Let c(o) = o**2 + 13*o + 60. Let w be c(-9). Let k be w/45 - 8/40. Let m = 21.9 - 1.9. Is m bigger than k?
True
Let d = -3 + 0. Let o = -2254/935 + 2/187. Which is smaller: d or o?
d
Let j be (-22)/26 - (90/65)/9. Which is greater: j or -1/34?
-1/34
Let b be 26/6 + 2 + (12*-3)/6. Let g = 7 + -6.7. Which is greater: b or g?
b
Let x = 2 + 5. Let n be (x/49)/(6/(-7)). Which is bigger: 1 or n?
1
Let n(u) = -18*u - 18. Let j be n(4). Is -90 smaller than j?
False
Suppose r - 29 + 6 = 3*b, -b = r - 43. Let c = r + -37. Are c and -1 nonequal?
True
Let c = -0.76 + 1.38. Let r = 1.62 - c. Which is greater: r or -17?
r
Let q(k) = -9*k**2 + 6*k + 3. Let x be q(-2). Is x at most as big as -46?
False
Let u = 2 + 4. Suppose 4*p = -5*m + 1 - 33, m + 5*p - 2 = 0. Let j be 1/((m - -3)/(-25)). Is j at most as big as u?
True
Let n = -64 + 62. Let f be -3 + (8 - 4) - (-1)/n. Which is bigger: 1 or f?
1
Let q be ((-2)/116)/((-1)/(-25)). Let p = 2/29 - q. Let h = 30536/39 - 10183/13. Which is smaller: p or h?
h
Let c = -240/1729 + -1/247. Which is bigger: c or 0.16?
0.16
Let t(j) = j**3 - 14*j**2 + 26*j - 23. Let b be t(12). Which is smaller: 5/7 or b?
5/7
Let m be (-6)/(-14) - 57/231. Is m smaller than 3/8?
True
Let g = -3 + -51. Let b = -73 - g. Which is bigger: 0 or b?
0
Suppose 96*t - 2010 = 106*t. Are -204 and t unequal?
True
Let w = -50.1 - -45. Let h = 5 + w. Which is smaller: -13 or h?
-13
Let i(k) be the first derivative of -k**4/4 + 16*k**3/3 - k + 1. Let j be (444/518)/((-6)/(-112)). Let y be i(j). Which is greater: 1/21 or y?
1/21
Suppose 4*v + q + 470 = 0, 242 = -2*v + 6*q - 10*q. Which is greater: v or -118?
v
Let h = -10 - 3. Let g = 19 + h. Let z = 3 - g. Is 1 <= z?
False
Let f(q) be the third derivative of q**4/12 + 7*q**3/6 - q**2. Let r be f(-4). Is 6 < r?
False
Suppose 0 = 102*y + 752 + 2410. Let a be (15/(-6))/5*1. Which is smaller: y or a?
y
Let b be 5 + -1*(-8)/4. Suppose 5*r - 3 - b = 0. Let p be (r/(3 + 19))/(-1). Do 1 and p have the same value?
False
Let h = -84397/100 + 3375/4. Do 0 and h have the same value?
False
Let t = 106 - 109. Are t and -14/11 non-equal?
True
Let h(f) = -7*f + 111. Let i be h(13). Suppose 0 = -5*o - 5*u - 213 - 102, 2*u = 0. Let p be (-7)/o - i/18. Which is smaller: p or -3/2?
-3/2
Let n(v) = -v**2 - 51*v - 143. Let y be n(-48). Let m be ((-10)/8)/((-11)/4). Is y < m?
False
Suppose -80*m - 48 = -128. Let i = -448 - -29119/65. Is m > i?
True
Suppose -105*t + 298 = 18 - 35. Let q(l) = 3*l**3 - 2*l**2 - l - 1. Let k be q(2). Let r = -9 + k. Are r and t nonequal?
True
Let y = 11/168 + 937/6216. Is 1 at least as big as y?
True
Let x = -0.5 + 0.4. Let j = 0.61 + -28.61. Let p = 32 + j. Which is bigger: p or x?
p
Let r = 46.2 + -39.2. Let p = 0 - 0.1. Let g = -0.9 + p. Is g <= r?
True
Let l = -88 - 2. Is -92 at least l?
False
Let d = 2.9 + -4. Let j = 25.9 - 22. Let u = d - j. Is u bigger than 1?
False
Let i(a) = -3*a**2 + 21*a - 23. Let x be i(14). Which is smaller: x or -316?
x
Let i be (-252)/(-62) - (-2 + 6). Let g(h) = h**2 - 3*h + 3. Suppose 4*d - 3 = 5. Let q be g(d). Is i bigger than q?
False
Let j = 0.18 - 17.18. Let f = j - -16. Which is bigger: f or 2/7?
2/7
Let l = -0.0354 + 0.3354. Is l at least as big as 129?
False
Let x = 0.0437 + 0.0563. Let t = 0 + 0.1. Let j = 0 + t. Is x > j?
False
Let g(b) be the second derivative of -b**5/20 - 2*b**4/3 - b**3 - 3*b**2 + 6*b. Let f be g(-7). Let w = f + 13. Is 3/5 at least w?
True
Let w = 0.2 - 0.3. Let y be (55/(-40) + 2)*8. Which is bigger: y or w?
y
Let p = 18 + 13. Suppose 5*r + 8 = 4*f - 13, 15 = -3*r. Is f less than p?
True
Let o be (-2)/17*306/(-204). Let p = -4 + 4. Is p at most as big as o?
True
Suppose -19 - 16 = 5*f. Let w(y) = 3*y + 21. Let z be w(f). Let u = -4/49 - -134/441. Is z <= u?
True
Suppose -11 = -16*c + 5. Which is smaller: c or 3/5?
3/5
Suppose -4*i - 18 = -5*z, -4*z - 3*i = -2*z + 2. Suppose 2*c = w + 3*w - 12, z*c - 33 = -5*w. Is w bigger than 5?
False
Suppose 4*g = -3*q, 0 = -q - 2*q + 3*g. Let m = 2279/11 - 207. Do q and m have the same value?
False
Suppose -3*q - q + 4*w + 24 = 0, 5*q - 3*w = 32. Let k(b) = -b**2 + 7*b + 3. Let x be k(q). Suppose -x*v - 2*v = 5. Is v < -2/7?
True
Let q = -430 - -4309/10. Is 2 >= q?
True
Let r(