x + 6, n = 4*s - 7*x + 4*x. Which is smaller: s or u?
s
Suppose -12*f = 3*f + 15. Let q be (-1)/(-4) - 133/564. Is f greater than or equal to q?
False
Let o = -34671/37 + 937. Let r = -113 + 114. Which is bigger: r or o?
r
Let c = -512 - -533. Which is smaller: c or -27?
-27
Suppose 4*p + 86 = -66. Let u = 35 + p. Which is bigger: 1 or u?
1
Let t = 39 - 52. Which is bigger: t or -5?
-5
Let r = -93/17 + -1133/85. Which is smaller: r or -18?
r
Let x = -2.345 - -2.3. Let n = 0.985 + x. Let k = n - -0.06. Is 2/3 less than or equal to k?
True
Let z be 46/(-299) - (-211)/1456. Which is smaller: z or -1?
-1
Let u = 53 - 41. Let y be 9/u - 3/((-312)/(-86)). Which is greater: y or 1?
1
Let a = 9 + -9.8. Let q = a + 0.9. Let v = 0.2 + -0.3. Does q = v?
False
Let n = -39 - -63. Suppose k = s - n, 4*s + 139 = -5*k + 46. Which is greater: -1/4 or k?
-1/4
Let r be (600/(-160))/(6/50). Which is smaller: r or -30?
r
Let b be ((-2)/12)/((-2420)/(-630) - 4). Do 2 and b have different values?
True
Suppose 4*z + 55 = 3*y, 0 = 3*z - 0*y + y + 51. Let h be ((-9)/2)/(12/z). Suppose 0 = h*n - 10*n + 4. Is n < -1/8?
False
Let j = -14 - -14. Suppose j = 4*w + 20 - 24. Is -14 smaller than w?
True
Let o = 4 + -37. Let t = -32.91 - o. Is -2/3 at most as big as t?
True
Let n(g) = g**3 - 11*g**2 - 16*g + 7. Let o be n(12). Let l = 83/2 + o. Which is bigger: l or -3/7?
l
Suppose -13*f - 5*f - 882 = 0. Which is smaller: -32 or f?
f
Let f(c) = c**3 + 6*c**2 + 3*c - 4. Let s be f(-4). Let h = -16 + s. Let p = 3 + -2. Which is bigger: p or h?
p
Let l = -19.5 + 19.8. Which is greater: 1 or l?
1
Let r(n) = -22*n - 23. Let o be r(-1). Which is smaller: -3/590 or o?
o
Let s be (-4 + -7)/(-1)*(-274)/(-2). Let h = s - 5999/4. Is h < 6?
False
Let o(q) = q. Let p(t) = 5*t - 14. Let c(g) = 6*o(g) - p(g). Let u be c(-10). Let m(y) = y + 1. Let d be m(1). Which is bigger: u or d?
u
Let w be 2/(60/(-813)) - 6/15. Is w less than or equal to -28?
False
Let j be (-63)/18*(-4)/(-1). Let r = -15 - j. Let i(t) = t**3 - t**2. Let w be i(r). Is w less than -4?
False
Let f = -0.154 + 2.364. Let t = 15.99 + f. Let h = t - 18. Are h and -2 unequal?
True
Let i = -83 + 77. Let f = 3 + -4. Which is greater: f or i?
f
Let q = -606 - -607. Which is smaller: q or 1/204?
1/204
Let b = 1.6 - 1.59. Which is bigger: b or -10?
b
Let u(c) = -12*c + 812. Let r be u(71). Is -9 bigger than r?
True
Let j be (-13 + 3 + -3)*(-3 + 10). Which is greater: j or -0.2?
-0.2
Let j = -6 + 10. Suppose -j*r + 6 = -r. Let q be (4/24)/(r/(-4)). Is q less than -1?
False
Suppose 5*d = -0*f + f + 71, 0 = 2*d - f - 26. Let o be (d + 1)/1*2. Suppose -3*u = 11 - o. Do 7 and u have different values?
False
Let l(f) = -20 + 9*f - f**2 + 6 + 4*f. Let o be l(10). Which is smaller: o or -2?
-2
Suppose 3*v = -v + 32. Suppose 0 = 3*g - 7*g + v. Suppose g*x + 5*z = -0 + 9, -4*x - 5*z = -3. Which is bigger: -5/3 or x?
-5/3
Let m(y) = y + 5. Let n be m(-4). Let b be n/4 + 44/16. Suppose -b*g + 10 + 38 = 0. Which is greater: 17 or g?
17
Let g = -2.98 + 10.98. Is 53 greater than or equal to g?
True
Let r be 0 - 18/((-1)/1 + 3). Let o(b) = -b**3 - 11*b**2 - 13*b - 3. Let l be o(r). Is l greater than or equal to -48?
True
Let v = 309 + -309. Which is smaller: v or -110?
-110
Suppose -8368 = -70*x + 86*x. Which is smaller: x or -525?
-525
Let t = 4.041 + -0.041. Let d = t + -7. Which is bigger: d or -11?
d
Let i = -37 + 36. Let t be i/((-18)/(-40)) - (28 - 30). Which is smaller: 1/4 or t?
t
Suppose 33*f - 8 + 8 = 0. Which is greater: 27/89 or f?
27/89
Let f = 10874 + -10874.1. Let g = -3.01 - -3. Are f and g non-equal?
True
Suppose -30*s = 61 + 59. Which is bigger: s or 32?
32
Let u be (2/6)/(20/6). Let c = 44 + -44. Let a be (4 + 35/(-10))*(c - 0). Do u and a have different values?
True
Let w be 3*1/15 - 87/(-15). Suppose 0 = -r + 5, -4*f + w = -2*f + 4*r. Which is greater: -8 or f?
f
Suppose 28 = -2*w - 2*w. Let y be (w + -3)*(-3)/(-6). Let z be 2 + -1*(-11)/(-2). Does z = y?
False
Suppose 2*u + 528 = -4*h, 2*u - 8*h = -7*h - 523. Are u and -262 non-equal?
False
Suppose 4*b + 2*l = 132, 5*b - l = -0*l + 172. Let j be (-2)/(-1 + 38/b). Does -17 = j?
True
Suppose -4*h = -8*h + 12. Suppose -3*z + 24 = -3*k, 0 = -0*k - k - h*z - 20. Which is smaller: k or -8?
k
Let p(k) = 4*k + 4. Let n be p(5). Is 26 at most as big as n?
False
Let z be 28/4 - (-27168)/(-3872). Let c be 0 - (3 + -1 - 1). Is z greater than or equal to c?
True
Suppose 7*j - 1 + 43 = 0. Let g be (-3 + 2)/(3/j). Suppose -5*h - g = -5*x + 3, -2*h = 2*x - 2. Is h <= 3/8?
True
Let y = 19 + -18.7. Let r = y + 0.7. Let j = 0 + r. Which is smaller: j or 8?
j
Let j be (-108 - -1)*8/(-3 - -11). Let u = j - -110. Which is smaller: -12 or u?
-12
Suppose 0 = 4*w + p - 13, p = w - 2*p. Suppose 9*d - 240 = w*d. Which is smaller: 39 or d?
39
Suppose -2*f - 20 = -28. Suppose w + w - 5*a - f = 0, -a = 5*w - 10. Do w and 0 have the same value?
False
Let z = 0.37 + -0.07. Let s = -8279 + 8279.01. Which is smaller: z or s?
s
Let b = -28 - -6. Let h = 173 + -153. Let l = h + b. Is l greater than -2/5?
False
Let d = 1429.2 - 1429. Which is smaller: 37/4 or d?
d
Suppose 54 = -4*q - 102. Let s be ((-157)/4)/(-4 + 5). Let u = s - q. Is -2/7 at least as big as u?
False
Let r = 0.45 + 32.55. Let t = r + -21. Is 0.1 equal to t?
False
Let n = 94 + 44. Let h = n - 128. Which is bigger: 12 or h?
12
Let j = -21/10 - 2237/30. Let y = j + 77. Let q = 8.6 - 8. Which is smaller: q or y?
y
Let j = 0.032 + 0.268. Let c = j - -0.7. Which is smaller: 3.2 or c?
c
Suppose -2*x - 6 + 16 = 0. Suppose 0 = 3*t + 2*t - x. Let j(n) = -n**3 - 4*n**2 - 3*n + 2. Let z be j(-3). Is t < z?
True
Let c = 87.117 - 87. Let u = c + -0.117. Is 10/7 at least as big as u?
True
Let b = 649 + -648. Let s = 0.1 + 0. Is b < s?
False
Let t be -2*(4 - 14/4). Let u be t + 2 - (16 - 47). Which is greater: 33 or u?
33
Let f be 82/(-2) - (7 - 9). Suppose k - 156 = 5*k. Is k greater than or equal to f?
True
Suppose 51*c - 3*h - 37 = 50*c, 2*c - 3*h = 56. Let g be (1 - -4)*4 + 0. Is g at most c?
False
Let k = -29 - -34. Let d be 8*k/(-10)*-1. Is -3 > d?
False
Let h = 664 - 601. Which is smaller: 311/5 or h?
311/5
Let z = 120 + -119. Let x be (-4)/(-6) + (-13952)/21000. Let f = x - -68/875. Which is greater: z or f?
z
Let g(p) = 31*p - 25. Let q be g(2). Is 40 not equal to q?
True
Let r be 80/(-225) + (-6 - (-368)/60). Let b(i) = i**3 - 2*i**2 + 1. Let l be b(1). Which is smaller: r or l?
r
Let d = -14820/31 - -478. Let p be 46*(5 + (-6205)/1240). Let i = d + p. Which is smaller: i or 0?
i
Let v be (685/(-2))/((-250)/600). Is 823 less than v?
False
Let c = 3037/7 + -436. Let w = c + 151/28. Is w greater than 2?
True
Suppose 3*x + 9*i + 90 = 6*i, -3*i = 0. Let n be (x/(-12))/(2/20). Do n and 26 have the same value?
False
Let p(t) = -t**3 + 3*t**2 + 4*t - 4. Let c be p(4). Which is smaller: c or -3?
c
Let o = -177 + 13. Let v be 1 + (o/(-80) - 3). Suppose -4*b = -3*q - 2, -3*b + 2*q + 2*q + 5 = 0. Which is greater: v or b?
v
Let u(l) = l**3 + 4*l**2 - 5*l + 3. Let v be u(-5). Suppose -v*n + 4 + 5 = 0. Suppose -b = -2 + n. Which is greater: b or -2/3?
-2/3
Let a = -1255/4 - -407859/1300. Is a > 1?
False
Let o = 3/14 - -19/42. Let p(a) = a**3 - 9*a**2 + a - 14. Let z be p(9). Let g = -5 + z. Which is bigger: o or g?
o
Suppose 0 = -2*x + 4*g - 180, 0 = -5*x + 10*x - 4*g + 480. Are x and -96 non-equal?
True
Let u = 1.34 - 3.24. Which is greater: u or -4?
u
Let o be (-926 + 3 + -4)*120/99. Let z = 1122 + o. Is -1 != z?
True
Let c = 889 - 889. Is c smaller than -562?
False
Let n = 43 + 24. Let i be 1/(n/17 + -4). Let t = -15 - i. Which is greater: t or 1?
t
Let j = 0 + 1. Let f = 73 - 26. Let b = f + -53. Which is smaller: j or b?
b
Let s = -34 - -27. Is -14 at most as big as s?
True
Let w(b) = -b**2 - b - 1. Let d be w(2). Let o be (-23)/d - 6/21. Suppose -35 = o*c - 8. Is -10 > c?
False
Let l(b) = -6*b - 1. Suppose -3*o = 2*o + 30. Let z be l(o). Let a = -30 + z. Are a and 0 equal?
False
Let q(z) = z**2 + z + 2. Let k be q(-1). Suppose c - k*b - 17 = 0, 41 = 5*c - b + 2*b. Is c at most as big as 7?
False
Let h = -5 + 0. Let j = 6 + -18. Let l = j - -47/4. Are h and l equal?
False
Suppose 3*j + 2*w - 2 = 0, -2*j + 23 = -0*j - 3*w. Let p be (0 - -1)*j/(-24)*-9. Whic