t b be 4 + 0/(-1 - -4). Which is smaller: q or b?
q
Let f = -210.7 + 213. Is -2 greater than f?
False
Let p = -32 + 33. Which is bigger: -146 or p?
p
Suppose 0*k - k + 24 = 5*i, -i + 12 = 2*k. Suppose 0 = a - 0*a - j + 13, 5*j - 17 = a. Let l = 15 + a. Is l bigger than k?
False
Let a = -19 + 22. Let o be ((-4)/6)/(2/(-12)). Let m = a - o. Is -4 < m?
True
Suppose 5*a = -3*r - 2*r, -10 = -5*a + 5*r. Let y = 4/137 - 257/4110. Which is bigger: a or y?
a
Let u be 612/3100 - (-2)/(-10). Which is smaller: u or 0?
u
Let n = -157/7 - -45/2. Let f(p) = -p**3 - 8*p**2 - 12*p - 6. Let b be f(-6). Let y be ((-18)/54)/(8/b). Which is greater: n or y?
y
Let b be -1 - (-3 - 12/3). Let h be (b/(-8))/((-3)/12). Suppose -d = h*d. Is d < 0?
False
Let o = 1526 + -1436.1. Let z = o + -89. Which is smaller: z or 0.1?
0.1
Let v = -21 - -25. Let x be 2/(v/7)*2. Suppose 7*t = z + 2*t - 1, 0 = -2*z + 4*t + 8. Is z greater than x?
False
Suppose 0 = -75*t + 10366 - 991. Are t and 1368/11 nonequal?
True
Suppose 5*o - 1085 = 3*x, 2*x - o - 1799 = 7*x. Which is greater: -359 or x?
-359
Let i = -1498 - -1498. Which is smaller: 9/5 or i?
i
Let t = 18 + -31. Let v be ((-40)/(-15))/(0 + (-8)/36). Which is greater: v or t?
v
Let x = 117 + -118. Are x and 11/56 unequal?
True
Suppose 5*g = -5*s - 8 - 27, g = -2*s - 10. Is s at most -96/37?
True
Let b = 769 + -16145/21. Which is bigger: b or 2/3?
2/3
Let z = -479.1 + 479. Is z greater than or equal to 19?
False
Let b(m) = 13*m**2 - 4*m + 2. Let u be b(3). Let l be ((-4)/(-12))/(u/(-3)). Which is bigger: 1 or l?
1
Let n be (8/312)/((-3)/(-27)). Which is smaller: 31/5 or n?
n
Suppose 15*n - 13*n - 2 = 0. Let q = 76630/103 + -744. Is q not equal to n?
True
Let w(u) = u - 21. Let h be w(5). Let p = h + 16. Is p at least -2/13?
True
Suppose 0 = -24*t + 68*t. Which is smaller: t or 2/421?
t
Let o be (-2)/(-5) + (-72)/(-120). Let c(w) = w**2 + 11*w + 2. Let s be c(-11). Suppose 3*n + 2 = 2*i - s, 5*n = -i - 11. Are i and o unequal?
True
Let i(j) = -40*j - 77. Let g be i(-5). Is g != 371/3?
True
Suppose -2*g - s = 8, -g = 3*s - 6 + 5. Let k(v) = 11*v - 7. Let d(q) = -7*q + 5. Let n(r) = g*k(r) - 8*d(r). Let b be n(-7). Which is smaller: -13 or b?
-13
Let h be 144/(-390) - 2/(-5). Suppose -45*c - 21 = -21. Which is smaller: h or c?
c
Let s = -36.4 + 40. Let a = 0.4 + s. Which is smaller: -0.6 or a?
-0.6
Let c = -0.41 + -29.59. Let o = -29.9 - c. Which is greater: o or 14?
14
Let a(r) = -2*r**3 - 6*r**2 - 7*r - 4. Let k be a(-3). Which is smaller: 19 or k?
k
Let q(p) = p**2 + 4*p + 1. Let w be q(-5). Suppose w = 4*n + 2. Let s = 151 + -148. Is n at most s?
True
Let u be (-2)/17 + 978/(-68). Let t = -48 - -34. Is t bigger than u?
True
Let y(g) = -g**2 + 2*g + 13. Let u be y(4). Suppose 0*h + h + u = 5*s, 5*s - 5 = 4*h. Is h <= -3/13?
False
Let u = -66.4 - -86.4. Which is bigger: u or -5?
u
Let x(u) = -u**3 + 8*u**2 - 6*u - 5. Let q be x(7). Suppose -q*j = -8*j - 54. Which is smaller: j or 3/7?
j
Let v = 793 + -5549/7. Let p = 2.1 - -0.2. Let x = p - 2. Which is smaller: x or v?
v
Let p be 448/6 - 4/(-12). Suppose -5*y - 5*q - p = 0, -q + 3 = 6. Suppose 0 = 2*v + a + 24, 0 = 2*a - a - 2. Is y greater than v?
True
Let v be (-4)/14 + 53048/(-532). Is -100 bigger than v?
False
Let y = 526 + -906. Which is greater: -0.1 or y?
-0.1
Let c = -20 + -5. Let r be 16/(-88) - c/77. Are 2 and r non-equal?
True
Let f(u) = 783*u - 11. Let j be f(5). Let r = 66346/17 - j. Which is smaller: r or -1?
r
Suppose -1 = 4*q + 3*s + 2, 3*q = 4*s + 4. Which is bigger: q or -1/822?
q
Suppose -23*u + 646 = 11*u. Which is bigger: 18 or u?
u
Let p = 3 - 4. Let j(i) = -i**2 + 2*i + 4. Let q be j(p). Which is greater: 3 or q?
3
Let t(b) = -7*b - 1. Let h be t(-1). Let w = 0.165 - -1.845. Let k = 2.01 - w. Do h and k have different values?
True
Suppose 5 = -2*m - z, -3*m + 0*m + 6 = -3*z. Let q = 48 - 32. Let c be (-4)/q*4/(-22). Which is bigger: m or c?
c
Suppose 3*s = a + 2, 0 = -2*a + 5*s - 3*s. Let m(b) = -b**2 + 17*b + 9. Let t be m(14). Let y = 253/5 - t. Is a != y?
True
Suppose 0 = -3*u - 743 + 107. Let c = 1072/5 + u. Let y be 3/(-4 + 5)*1. Is y > c?
True
Let y = -2069 + 1987. Let i = 0.02 - 0.12. Is i at most y?
False
Suppose 0 = -4*j + 25 - 1. Suppose -3*q - 3*b + 30 + 0 = 0, -2*b + 32 = 4*q. Let t = q - j. Which is smaller: 2 or t?
t
Suppose -6*c = -155 + 137. Which is greater: 2 or c?
c
Let z(r) = -2*r**3 + 7*r**2 + 2*r - 7. Let l be z(3). Let n be (-2)/16*l/12. Suppose d = -3*k + 1, d + 2 = -4*k + 4. Which is smaller: n or k?
n
Let h be (-18570)/(-33) + (-1)/(-3). Let f = h - 563. Let r = 5.8 + -5.7. Does f = r?
False
Let z(k) = -k**3 + 35*k**2 - 30*k + 56. Let x be z(34). Which is greater: x or 191?
x
Suppose 4*g = 15 - 3. Suppose 2*o = -o + g. Let w be 3/(o + 1/(-4)). Which is greater: w or 1?
w
Let y = 745 + -15665/21. Which is bigger: y or -2?
y
Let v = 0.1991 + -1.1991. Which is smaller: v or -142?
-142
Suppose -3*x + 35 = -25. Suppose 0 = 3*k - 2*v - 66 + x, 0 = -3*k + 3*v + 45. Is k greater than or equal to 15?
True
Let i = -53 - -66. Suppose 5*t = -m + i + 10, 17 = 3*t - m. Which is smaller: 7 or t?
t
Let u = -214/7 + 614/21. Are u and 27 non-equal?
True
Let t(i) = -i**2 - 7*i - 7. Let w be t(-5). Suppose -w*v = -0*v - 3. Which is smaller: v or 5/6?
5/6
Suppose 143 = 41*s - 52*s. Which is smaller: -55/4 or s?
-55/4
Suppose 6*p - p - 20 = 0. Suppose u - p = -3. Let o = -1/15 - 23/105. Which is bigger: u or o?
u
Let u = -1 + 1. Let g = 23 - 20. Suppose 0 = j - 4*v + 13, -11 + 2 = -g*j - 4*v. Which is smaller: j or u?
j
Let h be (-6)/(-33)*(-7842)/78. Let i = -240/13 - h. Which is bigger: 0 or i?
0
Let i = -0.11 + 1.01. Let o = i + -24.9. Let x = -24.18 - o. Which is greater: x or -0.1?
-0.1
Let r(h) = -h**3 + 16*h**2 + 19*h - 37. Let x be r(17). Suppose -4*g + 16 = 3*q, -5*q - 2 = -g - 21. Suppose -4 = -2*u - q*n, -2*n + 6*n = -u + 6. Is u > x?
True
Let n = -60 + 101. Let w be 3 - ((-3)/(-2))/(n/86). Are 1 and w unequal?
True
Let d(v) = -v**2 - v + 1. Let x(g) = 2*g**2 + 11*g - 6. Suppose 4*t - 19 = -7. Let p(n) = t*d(n) + x(n). Let y be p(7). Which is greater: y or 5?
5
Let i = -31292/3 - -41811/4. Let b be (-506)/24 - 1/4. Let c = b + i. Is 1 at most as big as c?
False
Let s be (9/(-4))/(-1) - (-18)/(-72). Let i = -9/5 + s. Which is smaller: -6 or i?
-6
Suppose 37*h - 34*h - 75*h = 99*h. Let m = -526/6783 - 2/2261. Which is smaller: h or m?
m
Let b(m) = m**2 - 7*m - 10. Let q be b(8). Let z be q/(-10)*(1 - (-39)/(-54)). Which is smaller: -1 or z?
-1
Let x = -3/376 - -169/564. Is x at least as big as -1?
True
Suppose -10*g + 6 = -4*g. Suppose 3*t - 34 = -g. Is 12 smaller than t?
False
Suppose 2*x = 6*a - 2*a - 20, -3*x + 3*a = 15. Suppose -4*z - 5 + 21 = x. Is -0.3 less than z?
True
Let z = -0.55 + 121.55. Which is bigger: z or 0.2?
z
Suppose 24 + 31 = 55*b. Which is smaller: b or 1/199?
1/199
Let k(b) = b**2 - 2*b - 2. Let y be k(3). Let z = -2646 + 66152/25. Which is smaller: z or y?
z
Let o(g) = 28*g**2 + 20*g + 20. Let i be o(-1). Which is greater: i or 27?
i
Let l be (-3)/(-14)*2/(-6). Let p(v) = 2*v**3 - 15*v**2 - 3*v - 18. Let u be p(8). Let h be (u/(-11)*(-2)/(-4))/1. Is h >= l?
False
Suppose -23*r + 20*r - m = -1, 5*r - 4*m + 4 = 0. Which is greater: -3/169 or r?
r
Let r = 183 + -185.06. Let a = 0.06 + r. Let t = 0.77 + -2.77. Is t greater than a?
False
Suppose -4*f = 5*u - 79, -8*f + 39 = -5*f - 3*u. Let h(w) = -w**2 + 3*w + 3. Let n be h(4). Which is smaller: f or n?
n
Suppose -4*b = 3*h - 35, -h = -2*h + 2*b + 5. Which is smaller: -11 or h?
-11
Let s(b) = b**2 - 7. Let v be s(0). Suppose 2*d - 5*j + 19 = 0, -3*j + 1 = -3*d - 32. Let k be 57/(-9) + 8/d. Is k < v?
False
Let l be (10/(-8))/((-25)/16600). Are l and 829 unequal?
True
Let m = 0 + -10. Let u = m + 2. Let i = u - -6. Which is bigger: 1/5 or i?
1/5
Let r be 300/(-50) + 14*4. Which is greater: r or 51?
51
Let v(s) = s**3 - 2*s**2 + 1. Let a be (2/4)/((-2)/(-4)). Let d be v(a). Let k = 24 - 49/2. Which is greater: k or d?
d
Let n = 196.2 + -196.2. Which is smaller: n or -2492?
-2492
Suppose -4*d - 5*x - 1478 = 1336, d - 3*x = -712. Which is greater: d or -707?
d
Let k be (-5504)/122 - 4/16. Let b = k + 129/61. Let w = b - -43. Which is smaller: w or 2/5?
w
Suppose -7 + 4 = -c. Let v 