 = -5*r - 0*r. Let w be 2/(-3) + (-3 - r/6). Is w at least as big as 2?
True
Suppose -3*p + 3 - 85 = -5*v, 0 = -p - v - 30. Which is smaller: -28 or p?
p
Suppose 5*m + 3*b - 17 = 0, m - 9*b + 13*b = 0. Which is bigger: 33/10 or m?
m
Let x = -1368 - -20513/15. Which is greater: -1 or x?
x
Let q(t) = t**2 + 25*t - 26. Let l be q(-26). Let v = 97/180 + -33/20. Is v < l?
True
Suppose x - 3 + 0 = -n, 4*n - 12 = -5*x. Suppose 2*y = -5*p - 40, 3*y = -x*y + 15. Let h = p + 7. Which is bigger: -10/3 or h?
h
Suppose -4 = -3*n - 1. Suppose -2*g - 8 = -5*p, -3 + n = p. Let a = g - -15. Is 5 > a?
False
Let k = -4464 - -4462. Let q be 26/(-44) + 1/(-2). Is q > k?
True
Suppose -4*z - 11 = -23. Let x be (z*(-3 - 3))/((-4)/2). Is x at most as big as 11?
True
Let a be (-134)/(-6) - 4/12. Suppose g - 18 = 3*o - 2*g, g - a = 5*o. Let x be (-3*o/(-45))/2. Is x less than or equal to 1?
True
Let t = 12.4 + -12. Let u = t + 10.6. Let y = -18 + 16. Which is smaller: y or u?
y
Let d be (-16)/88 - (-4)/22. Let b = -1616/935 + 30/17. Let x = -454/385 + b. Are x and d unequal?
True
Let d = -0.39 - -1.89. Let f = 2 - d. Which is smaller: -2/5 or f?
-2/5
Let z = -2/1987 - -11948/25831. Let d = z + -17/65. Which is greater: d or 3?
3
Let o be -4174*(-3)/(-1140) - -11. Which is greater: o or 0.3?
0.3
Let d(p) = -p**2 + 9*p - 8. Let a be d(8). Let n = -14 - a. Let o = n - -5. Which is greater: o or 1?
1
Let u be 24/16*236/6. Let y = 69 - u. Let w(o) = -3*o - 7. Let a be w(-5). Which is bigger: y or a?
y
Let w be 192/(-320) + 102/320. Which is smaller: w or 0?
w
Let a = 203/240 + -13/15. Which is smaller: 1 or a?
a
Let f be (-2)/4 + (-19)/(-2). Suppose 535 + 1067 = 335*j - 73. Which is smaller: j or f?
j
Let h(r) = -r**2 - 13*r - 22. Let p be h(-2). Which is smaller: -2/21 or p?
-2/21
Let w be 17/(119/(-12))*14/(-3). Is 33/4 != w?
True
Let v(z) be the second derivative of 2*z**4/3 + 4*z**3/3 - z**2 + 7*z. Let q be v(-2). Which is smaller: q or 15?
q
Let w = 212 + -243. Which is smaller: -32 or w?
-32
Let o = 227.0593 - 0.0593. Which is bigger: o or 2?
o
Let j = 1567/3 - 522. Which is greater: 0.126 or j?
j
Let n(s) = 6*s - 98. Let f be n(25). Is 53 bigger than f?
True
Let w be -13*1/(-5)*1. Let p(c) = -3*c**2 - 16*c + 14. Let g be p(-6). Is w < g?
False
Suppose 0 = 3*w, -3*n = -5*n - 4*w + 2. Let i(u) be the first derivative of 3*u**2/2 + u + 19. Let d be i(n). Is 5 less than d?
False
Suppose 18*j = 15*j - 4*h - 37, 0 = -j - 4*h - 23. Let y(p) = p**2 - 4*p + 3. Let a be y(3). Is a != j?
True
Let v be -3 - (-2)/(-46)*-6 - -3. Let j be (0*(-4)/(-12))/1. Which is smaller: j or v?
j
Suppose -10*n - 776 + 66 = 0. Are -74 and n non-equal?
True
Let m(v) = v + 12. Let i be m(-7). Suppose -4*d = -i*d - 3. Let o = -6 - d. Which is bigger: 2 or o?
2
Suppose -31*f + 16*f = 1920. Is f at least as big as -129?
True
Let i(u) = -20*u + 9. Let d be i(-3). Suppose 0 = -5*c + d + 31. Is c less than 19?
False
Suppose 0 = -4*h + 326 - 174. Is -0.2 <= h?
True
Let h = 255.021 + -255.1. Which is smaller: h or -0.05?
h
Suppose -3*a = -a - 36. Suppose 15*u - a*u = -9. Is 2 bigger than u?
False
Let i(w) = w**3 - w**2 - 4*w + 3. Let x be (-6)/10 + 104/40. Let k be i(x). Is k less than -1/6?
True
Let n = -76 + 36. Let l be (-1)/(-3) - n/(-30). Which is bigger: -8/7 or l?
l
Suppose 193 - 151 = 42*z. Is z greater than -8/323?
True
Suppose 76 = 3*r + 5*j, j + 3*j = -r + 37. Let q = -19 + r. Let l = -2642/5 - -526. Which is smaller: l or q?
l
Let w be 20/4 - 3 - (-9)/(-3). Which is bigger: 3/40 or w?
3/40
Let m be (-608)/44 + 5/((-15)/(-6)). Let c = m - -2232/187. Which is smaller: c or -1?
-1
Suppose 4*c = -2*z - 5 - 7, 4*c - 5*z = -26. Suppose 0 = 5*m + 25, -m = -5*y + 3*m - 100. Let a be (y/14)/(c/(-28)). Which is bigger: a or -11?
-11
Let x = 0.609 - 32.589. Let q = 32 + x. Is 0.5 at least as big as q?
True
Let k be 50/15*18/(-4). Let u = 16 + k. Let g = -5 + 6. Are g and u nonequal?
False
Let r be 1104/(-253) + 2 + -2. Are r and -4 nonequal?
True
Let j = 29/84 + -2/21. Let p = 570 + -572.99. Let b = -3 - p. Which is bigger: j or b?
j
Suppose 2*t + 21 = -m - 13, -t - 68 = 2*m. Let z = 41 + m. Are 3 and z non-equal?
True
Let k = -273 + 275. Is -380 less than k?
True
Let v(x) = 227*x - 227. Let q be v(1). Let m(a) = -302*a**3 + 2*a + 1. Let h be m(-1). Let o = h - 2411/8. Which is smaller: q or o?
o
Let z = 0.06 - -0.04. Suppose -323 + 948 = 5*t. Let v = t - 2373/19. Which is smaller: v or z?
z
Suppose 484*d - 514*d + 90 = 0. Suppose -v + 3 = -2*v. Is v at least as big as d?
False
Suppose 0*h + 3*h - 2*j - 31 = 0, -h + 22 = -3*j. Suppose -3*q - x = -8, -6*x = -h*x + 5. Is 1 >= q?
True
Let s(l) = 13*l - 183. Let f be s(17). Is f greater than or equal to 38?
True
Suppose -3*m = -5*g + g - 15, -m + 4*g = -13. Suppose 8 = -4*p - 2*q, 4*p + 3*q = -m - 9. Which is greater: p or -4/67?
-4/67
Let i(r) = 6*r + 101. Let k be i(-17). Which is bigger: k or 2/229?
2/229
Suppose -134 = -0*b - 3*b + f, -3*f + 138 = 3*b. Which is smaller: b or 31?
31
Suppose 7*s - 10 = 25. Suppose -15 = -2*a - 5*w, s*a - 3*w + 3 = -6. Do 1/27 and a have different values?
True
Let b = 145/4 + -439/12. Which is smaller: -0.346 or b?
-0.346
Suppose -u + 9 = -n - 4*u, -n + u = -7. Suppose v + n = -2*i, 9 = -i - 2*i. Suppose l - 2 = -v. Which is smaller: l or 0?
l
Suppose 22*c = 36*c - 14. Which is smaller: c or 0.118?
0.118
Suppose i - 232 - 252 = 0. Let s = i + -9198/19. Suppose 3*g - 6 - 3 = 0, -5 = 2*c - g. Which is greater: c or s?
s
Suppose 5*o + 2*i - 13 = 0, -o + 2*i = 4*i - 1. Suppose -o*p = 21 - 624. Let g = 3817/19 - p. Is 0 greater than g?
True
Let n(z) = -2*z**2 + 5*z - 1. Let a(o) = 5*o - 5. Let y(d) = d - 1. Let u(g) = -2*a(g) + 9*y(g). Let w(t) = n(t) + 2*u(t). Let m be w(3). Is -9 less than m?
True
Let w = 52 + -15. Let f = w + -30. Let q = 88 + -161/2. Which is bigger: f or q?
q
Let u(v) be the first derivative of -4*v**3/3 - 5*v**2/2 - 5*v - 4. Let t be u(-3). Is -26 less than t?
False
Let r(m) = -6*m**2 + 3*m + 1. Let n(y) = 5*y**2 - 3*y - 1. Let u(k) = 5*n(k) + 4*r(k). Let h be u(4). Suppose 0 = -g - h*g - 4. Which is smaller: 0 or g?
g
Suppose 3*i + 0*i = 2*a + 16, -8 = -3*i - 2*a. Suppose -c - 3*r = -3*c - 16, -i*r = -16. Suppose -3*h = -5*h. Is h bigger than c?
True
Let z = 0.261 - -0.039. Do z and 4/3 have different values?
True
Suppose 3*f = -9 - 3, c - 3*f - 11 = 0. Suppose 0 = 2*o + o - 15. Let k be (3 - o) + (-4)/(-3). Does k = c?
False
Let t = -2147/29 + 74. Is t < 0?
True
Let m = -6.9 + 6.826. Let q = m - -0.944. Let r = q - -0.13. Which is bigger: -1 or r?
r
Let l = -10 + 10.036. Let h = -3.336 + l. Let g = 3.36 + h. Which is smaller: 0 or g?
0
Let u = 39 - 23. Suppose 4*r - 5*r = -1. Suppose 3*c - r = -u. Which is bigger: c or -3?
-3
Let k be 1/(-5) - (0 + (5 - 8)). Suppose d + d - h = 11, -d = -h - 7. Which is smaller: k or d?
k
Let x(m) = -12*m + 16. Let o(n) = 13*n - 17. Let d(b) = -2*o(b) - 3*x(b). Let p be d(-12). Let h = -933/7 - p. Which is greater: 2 or h?
2
Let g = 214 - 212.4. Which is smaller: g or -2/11?
-2/11
Let x be (0 - 2) + 1*5. Suppose -n + 2*n = -20. Let s = -37/2 - n. Which is smaller: x or s?
s
Suppose -q + 4 = 1. Suppose 14 = q*d - d + 4*k, 5*k - 24 = 4*d. Let h = 1798 - 1800. Which is greater: h or d?
d
Suppose 6*z - 2*z = 252. Let p = -42 + z. Is p equal to 22?
False
Let l(v) = v**3 + 3*v**2 - 2*v + 3. Let x be l(-3). Suppose 17 + x = -2*i. Let c = i - -16. Which is smaller: c or 4?
c
Let y be ((-114)/(-12))/(-19)*(-2 - 0). Let w be (-40)/(-91) - 4/14. Is w <= y?
True
Let b be ((-22)/6)/((-680)/120). Are -0.3 and b non-equal?
True
Let m = -50 + 49. Let l be -43 - (m - -1) - 4. Is l smaller than -48?
False
Suppose 0 = 5*k + 222 + 248. Which is bigger: k or -95?
k
Let p = 612.9 + -613. Is -38 less than or equal to p?
True
Let f be (5 - 6)*-9*6. Which is smaller: f or 55?
f
Let p be (-22)/66*606/4. Which is smaller: -52 or p?
-52
Let t be (-20)/(-90) + (-43)/(-9). Let v = -68 - -73. Are t and v non-equal?
False
Let m = 71 + -77. Which is smaller: m or -1/28?
m
Let y = 926 - 402. Let t be (1 - 5)/(-4) + y/(-516). Which is smaller: t or 1?
t
Let q = -124 + 103. Does q = -99/5?
False
Let r be (3/(-36))/((-14)/6). Let o be -5*(-2 - 88/(-20)). Let q = o - -11. Which is smaller: q or r?
q
Let 