 be (4 - 8) + 6/b. Is -4 < l?
True
Let i = -0.2 + -0.8. Let t = -1050 + 5326/5. Let r = -15 + t. Which is smaller: r or i?
i
Let c(y) = -y**2 - y - 9. Let q be c(0). Let z = -9 - q. Suppose i = -0*i. Does i = z?
True
Let j(b) = b**2 + 6*b - 6. Let w be j(-8). Let y = -11 - -11. Let k be (-3)/((-6)/22 + y). Which is smaller: w or k?
w
Suppose 5*p - p = 4*t + 68, 4*t = -20. Let r = p - 15. Let k(y) = -y - 4. Let c be k(r). Which is bigger: 1/7 or c?
1/7
Let s be 0/4 + -1 + -23. Let i(w) = -w - 23. Let b = 30 + -30. Let f be i(b). Is f at least s?
True
Let c be (-218)/330 - 4/(-20). Let j = c - -2/33. Suppose -5*p = -25 + 30. Which is greater: p or j?
j
Let n(s) = s**3 + s**2 - s. Let l be n(-1). Suppose u - l = -2. Let f = -152 + 1664/11. Which is smaller: u or f?
u
Let o(r) = -r**2 - 13*r - 18. Let b be o(-12). Let a be (-3)/99*b/16. Do a and 1 have the same value?
False
Let h be 2/6 - 17/(-3). Suppose -q = h - 5. Is q smaller than -3/8?
True
Suppose 0 = -226*u + 239*u + 13. Which is smaller: -11/89 or u?
u
Let s be -1 + ((-9)/4 - 1). Let u = s - -735/172. Is u <= -1?
False
Let l = 6 - 13. Let n = -41 - -54. Suppose -5*m - 2*v = 24 + 15, m + 3*v + n = 0. Is m < l?
False
Let o be 325/1252 - (6 + (-46)/8). Which is bigger: o or 1?
1
Suppose 3*b - 283 = -2*t, 3*b - 277 = -0*b + t. Let u = -835/9 + b. Is -25 smaller than u?
True
Suppose -115 = 3*f + 5*m, -2*f + m - 2*m = 65. Is 1/6 >= f?
True
Let b = 364 + -364.08. Which is smaller: b or 1/32?
b
Suppose -3*j + 5*j - 4 = 0. Suppose -g + s + 2 = 0, 0 = -j*g + 3*s - 5*s + 12. Suppose -5*n = 4*p - 3 - 6, -5*p + g*n + 1 = 0. Is p less than -3/13?
False
Let x = 130 + -129. Are 215 and x nonequal?
True
Suppose i + 12 = 3*w, -5*w + 4*i + 27 = -0*i. Suppose 5*r = 2*r - w. Let g = -285 - -285. Do r and g have different values?
True
Let x = 2498/3 - 841. Which is bigger: x or -7?
-7
Let u(f) = -13*f**3 + 2*f**2 - 1. Suppose 0 = 4*r - 8*r + 80. Suppose 0 = 4*k - 4*d - r, -2*d - 6 = -4*k + 6*k. Let v be u(k). Are -12 and v equal?
True
Suppose 22*z = -5*z - 2943. Does -543/5 = z?
False
Suppose 6*p - 7 + 1 = 0. Is p at most -10/41?
False
Let b = 3870/7 + -552. Let t = b + -19/14. Which is smaller: 38 or t?
t
Let d = 2001443/770 - 2599. Let g = 1492 - 164121/110. Let j = d - g. Which is smaller: -0.5 or j?
-0.5
Let t = 0 - 0. Let j = -7291/170 + 214/5. Which is greater: t or j?
t
Suppose 3*j = 3*f - 24, 8*f - 3*f - 4*j = 44. Let x be (-2)/f*(-8 - (-7 - -1)). Which is smaller: -1 or x?
-1
Let y be 4 + 1 + 0 + -3. Suppose 0 = y*i + 2*i. Suppose -m + 3*m + 2*x - 12 = i, -x + 15 = 2*m. Which is smaller: 11 or m?
m
Let h = 485 - 516.3. Let u = h - -31. Let r = 22/5 + -93/20. Which is smaller: r or u?
u
Let v = -4 - -9. Let f be 3 - v/40*22. Do -7 and f have different values?
True
Let i = 9.5059 + 0.4941. Let v = -4 + 3.5. Is v at most i?
True
Suppose 2*s + 2*i - 6 = 4*s, -4*i + 9 = -3*s. Let j(b) = b**2 + 14*b - 14. Let q be j(-15). Which is bigger: s or q?
q
Let a be 17088/3168 + 1/3. Does 5 = a?
False
Suppose y = -y - 130. Let w = -61 - y. Which is bigger: 6 or w?
6
Let f be (-120)/75*3/1284. Which is greater: f or 1?
1
Suppose 3*a - a - 4 = 0. Suppose y - a*s - 10 = 0, -16 = -2*y + 3*s - 0*s. Let x(q) = q - 3. Let w be x(y). Which is bigger: w or -3/10?
-3/10
Suppose k - 19 = -7*z + 3*z, -z = 2*k - 66. Let o(q) = -q**2 + 15*q - 15. Let w be o(10). Is w less than or equal to k?
True
Let x(c) = -2*c**3 - 48*c**2 - c - 25. Let d = 43 - 67. Let s be x(d). Which is greater: 6/13 or s?
6/13
Let x be 6/(-1) + 13620/2265. Does x = 1?
False
Let m(w) = -w + 1. Let j be m(3). Let d be 22/(-18)*(0 + (-10)/(-5)). Is d less than j?
True
Suppose p = 3*p + 4. Let q be 0 + -1 + (-5)/(-5). Suppose -5*c = -c - 20, -5*l - 2*c = q. Is p not equal to l?
False
Let s(j) = -49*j + 393. Let q be s(8). Which is greater: q or 7/23?
q
Let x = -103 - -89. Are x and 1 equal?
False
Suppose 14*t - 278 = -796. Which is smaller: t or -2?
t
Let d = 51 - 46. Suppose 2*n = -v + d*n - 4, 0 = v - 4*n + 5. Which is greater: v or 2/49?
2/49
Let a be (-314)/(-126) - (-2)/7. Let c(u) = -95*u + 858. Let b be c(9). Which is smaller: a or b?
a
Let p = 31 + -17. Let y be 4/(-14) - (-368)/p. Suppose -2*a - y = -0*t - 2*t, 3*a = -t - 3. Are 8 and t non-equal?
True
Let k be (3 + -1)*56/(-616). Is k smaller than 0?
True
Let f = 12/7 + -46/35. Which is bigger: f or -1?
f
Let d = 10 + -5. Let c = 89 + -85. Is c smaller than d?
True
Suppose -2*l = -32 - 8. Let y(b) = -b**3 + 19*b**2 + 19*b + 5. Let m be y(l). Is m bigger than -16?
True
Suppose -8*q = -q - 7. Let o(d) = -5*d**3 + 2*d**2 - d. Let z be ((-3)/6)/((-1)/2). Let k be o(z). Which is bigger: k or q?
q
Suppose 69*n - 595 = 1268. Is 29 at least as big as n?
True
Let x(s) = -2*s - 9. Let h be x(-6). Let c be (4 + 0 - 1)/1. Suppose -6*t + h*t = -c. Is -1/6 at least as big as t?
False
Let l be (81/(-2))/9*6/(-9). Suppose l*v - 10 = -2*v. Which is greater: 13/9 or v?
v
Let x(b) = -12 - b**3 - 17*b - 7*b**2 + 8*b + 2 - b**2. Let i be x(-7). Let l = 8 + i. Are 11 and l nonequal?
True
Let o be (0 + 0)*1/(-2). Let i be (-10)/25 + (o - -2). Is i <= 2?
True
Let h = -28 + 35. Let j = 45 - 30. Let b = j - 15. Is h at least b?
True
Let k(h) = 2*h. Let a be k(-4). Let n be 2/a*-4*3. Suppose 3*v + 3 = -n*i, 0 = 2*v - v + 2*i + 2. Is v less than 9?
True
Let l = 1430 + -2063. Which is smaller: l or -632?
l
Suppose -2*y + 8 = -5*s, 5*s = 9*y - 13*y - 14. Is 2/65 at least y?
True
Suppose 3*n = -2*n. Suppose 0 = -b - 5*h + 33, -5*b + 111 = -3*b - 5*h. Let z be 5/28 - b/112. Is n equal to z?
False
Let f = -126 + 88. Let y = -75/2 - f. Suppose 8*u - 4*u = 0. Is u at most as big as y?
True
Suppose 2*v = -6 + 4. Let g(z) = -3*z**3 - z**2 - 2*z - 1. Let i be g(v). Suppose -2*m - 22 = i*s, 0 = -m + 6*m + 3*s + 55. Are m and -10 equal?
False
Let f be (28/6)/(14/(-21)). Let j be 1*-1 + (-4 - -12). Let l = -13 + j. Which is bigger: f or l?
l
Let j be 2/6*36/24. Suppose -3*l = -2*x - 12, l = x + 4*l + 6. Let f be (0 - 4/x)/(-6). Which is smaller: j or f?
f
Let s = -12571/4 + 3172. Is s less than or equal to 28?
False
Suppose 4*m - 126 = -0*m - 2*k, -159 = -5*m - 2*k. Let u be (-189)/132 - (-6)/m. Which is smaller: u or -1?
u
Let a = 34 - 16. Let o = a - 17. Is 0.01 bigger than o?
False
Let u = -24 - -26. Let r = u + -1.8. Let z = 0.08 - 0.01. Which is bigger: z or r?
r
Let p = 0.355 + -0.755. Which is bigger: -156 or p?
p
Let y be 5 - ((29 - 35) + 0 + (-2666)/(-242)). Let o(p) = p**3 + 6*p**2 + p + 5. Let x be o(-6). Is x <= y?
True
Let v = 50.3 - 51. Let o = v + 0.7. Is -0.1 >= o?
False
Let j be 38/(-60)*(-6)/4. Let y = j - 3/4. Let q(a) = -a**2 + 12*a - 1. Let w be q(12). Are y and w equal?
False
Let f be (-8 - 0)*32/64. Let a be f/14 + (-858)/182. Which is bigger: -3 or a?
-3
Suppose -5*j - 3*u = -510, 2*j + 3*u - 208 = -13. Let x be ((-4)/70)/(21/j). Let z be (10/(-2) + 2)/1. Is x smaller than z?
False
Let v(t) = t**3 + 2*t**2 - t - 2. Let w be v(-3). Let y be w/40 + 94/(-5). Are y and -18 nonequal?
True
Let r = 1833.87 + -1834. Let c be 1/5*(-5)/(-3). Which is smaller: r or c?
r
Let k be 125/(-25)*4/(-430). Suppose 5*y - 20 = 5*c, 3*y + 2*c + 1 = -2*y. Is k bigger than y?
False
Let f(j) = 61*j**2 - 4453*j + 42. Let n be f(73). Suppose -4*o + 0*o = -164. Which is bigger: o or n?
n
Let n(i) = -5*i - 13. Let u be n(-5). Let m = u + -18. Let x = -9 + 5. Which is bigger: m or x?
x
Suppose 4*t - 120 = 5*h, t - 3 = -4*h + 48. Let f be -4 + ((-9)/6)/((-8)/208). Is t bigger than f?
False
Let l = -1961 - -1361. Is l greater than or equal to -600?
True
Let k be 9/12 + -1*(-1672)/32. Which is smaller: k or 0?
0
Let f = -1307/55 - 18/11. Which is smaller: f or -1?
f
Let o = -2089 + 2075. Which is bigger: -4 or o?
-4
Suppose -2*r + 0*k - 12 = -2*k, 2*r - 18 = -4*k. Which is smaller: 14/81 or r?
r
Suppose i - 93 - 119 = 4*n, -3*n - 174 = 3*i. Let z be -3 - 0/2 - 3. Let w be (9/z)/(n/(-8)). Is w greater than or equal to -0.1?
False
Let k = 0.1395 + 2.2005. Is 3 > k?
True
Let n = 24.5 + -24.7. Which is greater: n or 3/4?
3/4
Let h = -220.1 + 219. Let a = -2.9 - -1.9. Which is greater: a or h?
a
Let p be 4 + 32/640*(-808)/10. Which is greater: -3 or p?
p
Suppose 4 = -29*y + 25*y. Which is bigger: -3/923 or y?
-3/923
Let z be 30/(-6) - (1 - 5364/896). 