: x or m?
m
Let p = 0.0156 + -60.0156. Which is smaller: p or -0.1?
p
Let v be -1 + -4 + (9 - 3). Is 6/7 greater than v?
False
Let y(r) = -r**2 - 5*r + 13. Let g be y(-6). Let j = -3 + g. Let h be 6/j - 3/6. Which is smaller: h or -2/37?
-2/37
Let z = 13.4 + -13.3. Let b = 13 + -8. Which is smaller: z or b?
z
Let i be (-160)/28 - (-6)/(-21). Let w be (-54)/(-30)*(-40)/i. Let y = -13 + w. Which is smaller: y or -1/28?
y
Let c = -2.8 + 2.5. Which is bigger: 2/31 or c?
2/31
Let s = 172/173 + -158070/158641. Is s less than -1?
False
Let z = 0.4 + -0.8. Suppose -240 = k - 31*k. Which is greater: k or z?
k
Let o be (1 - 1)/(4 + -3). Suppose -x + o + 5 = 0, 2*x - 244 = v. Let g = 2110/9 + v. Which is smaller: 0 or g?
0
Let k be -2 + 2 + 1 + 30 + 4. Suppose y + 27 = k. Are y and 6 non-equal?
True
Let r = -21 + -12. Let i = -39 - -71. Let m = i + r. Is m less than or equal to -2/15?
True
Suppose 23*y + 127 = 3*k + 25*y, 0 = 2*k + 4*y - 74. Let n = -79 + 125. Are k and n nonequal?
True
Let r = 760/9 - 82. Is r != 3?
True
Let k be 0/((0 - 0) + 6/3). Which is smaller: k or -85?
-85
Let u be (-1)/(-2)*(-32)/18. Let j = 233 - 234. Which is greater: j or u?
u
Let l be (-101)/2121 + (-104)/21. Which is bigger: l or -43/10?
-43/10
Suppose -h + 83 = t, -t + 4*h + 51 + 22 = 0. Let m = t - 25. Let l = 227/4 - m. Are 0 and l equal?
False
Let k be ((-5)/4)/(2/(-8)). Suppose -4*x - x + 4 = -4*g, 5*g = -k*x - 5. Which is smaller: x or -2.8?
-2.8
Let g(v) = -6 - 655*v**2 + 664*v**2 + 4*v**3 - 1 + 7*v - 3*v**3. Let l be g(-8). Which is greater: 1/39 or l?
l
Suppose 5*p = 0, d - 5*p + 30 = -4*d. Let t be ((-80)/24)/(2/d*2). Is t less than or equal to -5?
False
Suppose 4*u - 18 = u. Let o = u - 3. Let r be (2 + 15/(-9))*o. Which is smaller: r or -1/4?
-1/4
Suppose -2*x + 0*x = -146. Suppose 2*r = 3*c + 41, 0 = -5*r + 3*c + x + 16. Suppose -5*w + 14 = -r. Is w less than -3?
False
Let y(b) = -30*b - 14. Let t be y(-1). Is 15 at most as big as t?
True
Let z = -3 + 2. Let x = -36 - -40. Let r be (x - 29/7)*4. Is r bigger than z?
True
Suppose -s - 5*v - 10 = -0, 0 = -s - v - 2. Let w be (-2)/(-6) - 35/69. Is s at least as big as w?
True
Let l = -249.629 + -0.371. Which is bigger: 0 or l?
0
Let k be (19/(-1))/((-19)/(-665)). Let r = -14627/22 - k. Which is greater: r or -1?
r
Let z(w) = w. Let u be z(6). Let i = -41 + 42. Which is smaller: i or u?
i
Let v = 28 + -28. Suppose -u = v, 4*o - 6*o + 42 = u. Let h = -24 + o. Which is bigger: h or 0.05?
0.05
Let v be (12/3)/((-10)/155). Is v greater than -65?
True
Let z = -46 + 214. Let l be (-6)/22*z/12. Which is smaller: l or -4?
-4
Suppose 0 = 12*f - 7*f. Let c be (-3)/((-18)/24*(-2 - f)). Is -8 at most c?
True
Suppose -4*x = 5*y + 390, -312 = 4*y + 7*x - 5*x. Which is greater: -80 or y?
y
Suppose 0 = -3*m + m + 4. Suppose 4*q - 4 + 0 = 0. Let k(j) = j**2 + j - 1. Let r be k(q). Do m and r have different values?
True
Let x be (-24)/(-11) + (-22)/121. Let l be (1 + 1)*x/2. Let p be l/(-5) - (-92)/(-20). Which is greater: -4 or p?
-4
Let s = 945 + -801. Which is bigger: s or 149?
149
Let w = -35 + 61. Let x be (w/(-4))/((-7)/28). Suppose -4*k + k + 4*a + x = 0, -2*a = -5*k + 20. Is 7/3 at most k?
False
Suppose 2*i = o + 6, 14*o - 10*o = 0. Is -72 less than i?
True
Suppose -6*d - 232 = 458. Which is bigger: -117 or d?
d
Let f be ((-44)/(-132) - (-1946)/(-5829)) + 0. Which is bigger: f or 0?
0
Let v be 2/21*(-9 + 0). Let p = -16 + -15. Let z = p + 30. Is z > v?
False
Let p(b) = -b + 58. Let r be -2 - (-11)/(44/80). Let l be p(r). Is l not equal to 41?
True
Let x = 71 - 66. Let m be (7 + 2)*x/35. Let q = 0 + 1. Is m at least as big as q?
True
Let y = 106 + -6. Let s be (-15)/72*1/(y/(-3)). Is s >= 0?
True
Let q = 68/393 + -79741/4323. Which is greater: -19 or q?
q
Let l = 0.629 + -132.629. Is l > -2?
False
Let f = -172 + 165. Let o = -6 - 0. Which is greater: o or f?
o
Suppose 0 = 4*s - 4 + 12. Let n be (3/(-2))/((-115)/(-230)). Which is smaller: n or s?
n
Let l = 8/23 - -151/161. Suppose 2*r = 4 + 20. Suppose h - 3*b - r = 0, 0 = -2*h - 2*h - 4*b - 16. Which is bigger: h or l?
l
Suppose 4*c = -2*n + 16, 0 = 2*c - 2*n - 0*n - 2. Let p be 3 + (-2 - 1) + c. Suppose p*m = 7*m. Is 3/7 bigger than m?
True
Let d = 128 + -128. Is d greater than or equal to -1/262?
True
Let i = -558 + 558. Is -171 less than i?
True
Suppose -4*h + 181 = -3*p + 867, p = 3*h + 512. Is -170 bigger than h?
False
Let q(y) = 3*y**3 + 4*y**2 - 2*y - 2. Let o be q(1). Let z(v) = v**2 - v + 2. Let t be z(5). Let w be 1 + (-2)/((-20)/t). Which is bigger: w or o?
w
Let f = 0.33 - -3.67. Let s = f - 3.8. Is s greater than -3?
True
Suppose i - 5*s = -4*i, -4*s + 20 = 0. Is i bigger than 12?
False
Let h = -32 - -46. Let n = -14.14 + h. Let d = n - -3.14. Is d at least as big as 0.1?
True
Let f be 78/3 + (1 - 2). Let l = f - 14. Is 12 at most as big as l?
False
Let a = 1.6 - 1.6. Which is smaller: -70 or a?
-70
Let i = 640 + -8973/14. Let q be 2/8 - ((-513)/(-84))/9. Let b = q - i. Which is greater: b or 1?
1
Suppose 0 = 5*z - 0 - 10. Let q = z + 3. Is 5 at least as big as q?
True
Let h(k) = -k**2 - 4*k - 7. Let r(u) = -u**2 - 4*u - 8. Let o(w) = 5*h(w) - 4*r(w). Let v be o(-3). Let a be v + 0 + 8/10. Which is bigger: a or 1?
1
Let v(j) = j**2 + 7*j - 1. Let z = -22 + 15. Let k be v(z). Let p = 604 + -605. Is k at least p?
True
Let o = 0.027 - -0.016. Let k = o + 9.957. Is k at most as big as 0.2?
False
Suppose -432*d - 7904 = -451*d. Is 415 not equal to d?
True
Suppose -9*r + 8*r + 6 = 0. Suppose a - 5*x = -r, -11 = 5*a + 2*x - 8. Is 8/31 at least as big as a?
True
Let d(i) = 2*i**2 - 2*i. Suppose -2*k + 18*f - 22*f - 10 = 0, -5*k - 1 = 2*f. Let l be d(k). Let z = 72 - 364/5. Which is smaller: l or z?
z
Let k(h) = 2*h + 5. Suppose 38 = 5*r + 4*w - 4, -5*r - w = -33. Let x be k(r). Which is smaller: -2 or x?
-2
Let h = -0.02 + 0.1. Let r = -0.08 + h. Let u = 12 + -11. Which is bigger: u or r?
u
Let b be (10 - 8) + 30*(-10)/57. Is b greater than or equal to -2?
False
Let p be 4*9/12 + 0. Suppose -4*l = 4*v - 12, 5*l - p = -v + 2*v. Let s be l/(-4) - (-51)/(-84). Is s at most as big as -1?
False
Let w(b) = b**3 + 3*b**2 + b - 7. Let m be w(-3). Let s be (-22)/(-6) + m/15. Let v = -2 + s. Which is bigger: -3/7 or v?
v
Suppose 0 = 29*n - 25*n - 32. Suppose -3 = q - n. Is q less than 5?
False
Let w = -270/143 + 21/13. Let t(v) = -v**3 + v**2 + 2*v. Let l be t(2). Do l and w have the same value?
False
Suppose 123*x - 6 = 129*x. Let p = -59 - -28. Is x >= p?
True
Let f(p) = 5*p + 5 + 13*p**2 - 33*p**2 + 18*p**2. Let s be f(6). Let l = 37 + s. Is l < 1/13?
True
Let a be 1/(3 + 0/(-2)). Let v = -2.3989 + -0.0011. Which is smaller: v or a?
v
Let b be (-244)/12 + 2 + 1. Let t = 59/3 + b. Suppose -2*m + 4*j = -0*j + 2, 4*j - 23 = -5*m. Is t != m?
True
Suppose -5*x - 25 = 0, -2*l + 6*l = 3*x + 27. Let a = -93 - -191/2. Which is bigger: l or a?
l
Let v(r) = -6*r**2 - 10*r + 8. Let g be v(-2). Which is smaller: g or -1/22?
-1/22
Let d = -0.2766 - -0.1766. Let n be (41/3)/((-32)/(-12)). Let a = n - 35/8. Which is smaller: d or a?
d
Let j = -0.585 + 191.585. Which is bigger: j or 1/2?
j
Let g(c) = 3*c**2 + 7*c - 17. Let d be g(-4). Suppose -14 = d*b - b - 2*v, 0 = -4*b - 3*v + 7. Let l = 14 - 94/7. Is b equal to l?
False
Let b be (-60)/20 - (-3 + 1). Which is greater: b or 1/361?
1/361
Let u be (-4 + (-28)/(-7))/(-3). Is u less than or equal to 1/390?
True
Suppose 2*t + 4 = 4*t. Let h be (-55)/(-20) + t/8. Let s = 37/10 + -6/5. Which is bigger: s or h?
h
Let t = 24/31757 - 3856397/18260275. Let g be (1 + 70/(-46))*2/8. Let w = t - g. Which is smaller: w or 1?
w
Let o = -38 + 39.3. Let k = o - -2.7. Let j = k - 4. Which is smaller: 2.2 or j?
j
Let o = 1.13 + 0.07. Let n = 17.6 + -17.4. Let m = o - n. Which is smaller: 1/16 or m?
1/16
Suppose -3118*m - 128 = -3120*m. Is m at least as big as 67?
False
Let a = 1 + 10. Let h = a - -8. Let i = h + -27. Is -8 <= i?
True
Let k = -19 - -15. Let q(s) = 11*s - 1. Let l be q(-1). Let o be 51/l + (-6)/8. Which is smaller: k or o?
o
Let u be 0 + 4 - 3/3*4. Let s = -49/2 + 25. Is s equal to u?
False
Let w = -91 - -94. Suppose -s + 3*m - 4 = -2*m, 0 = -w*s + 3*m. Suppose -5*g + 5*a - 25 = 0, 2*a - 12 = -0*g + 4*g. Which is bigger: g or s?
s
Let b = 9.03