 > s?
True
Let m = 2.6 + -4.5. Let r = m - -2. Let b = 1.2838 - -0.0162. Which is smaller: b or r?
r
Let h be (2/4)/((-6 + 7)/(-2)). Suppose 12 = -3*q, 0*f - 20 = 4*f + q. Let b be (-48)/(-22) + -2 - f/88. Which is greater: h or b?
b
Let u be 21 + -18 - (0 - -1). Suppose u*f + 5*h = 6*f + 33, 12 = 4*f + 4*h. Let p be f/(-6)*129/(-2). Which is smaller: p or -21?
p
Suppose 0 = c - 3 + 4. Let m be (c - 1) + (2 - -2). Let u be 294/28 - 10 - -1. Which is greater: u or m?
m
Suppose -2 = 2*f, 5*d - 7 + 12 = -5*f. Let n = -1/2008 - 9023/26104. Is d greater than or equal to n?
True
Let k be (0 + 403 + 4)*(1 + -2). Let h be -9*k/3003 - 1/7. Are 2 and h non-equal?
True
Let n = 1366 - 1408. Is n <= -43?
False
Let n(k) = -95*k - 1636. Let y be n(-42). Is 2354 > y?
False
Suppose 38 = 4178*m - 4140*m. Let f be -1*(-2 + 3 + 4). Let l be 76/(-115) - 2/f. Is m at most l?
False
Let j(v) = -v**2 - 3*v + 132. Let m be j(9). Is 16 bigger than m?
False
Suppose -8*z + 69 + 27 = 0. Let m = -83 + z. Which is smaller: m or -67?
m
Suppose 7*o - 3*u = 11*o - 8705, 2*u = 14. Do o and 2171 have different values?
False
Suppose -5*h + 10 + 15 = 0. Suppose -20 = -4*p + 2*d, -23 = 4*p - h*p + 5*d. Suppose v + 189 = -p*b - v, -3*v = -b - 52. Is b bigger than -61?
False
Let k = 9761.7 - 9762. Which is bigger: -1166 or k?
k
Suppose -3*v + 1741 = 5*l, -l + 11*v + 365 = 6*v. Is l less than 348?
False
Let q = 0.03143 + -912.03143. Is q less than or equal to 4?
True
Let o be ((-16)/(-3430168))/(((-24)/16)/(84/(-8))). Is 1 not equal to o?
True
Let c(t) = t**2 - 3*t - 1. Let p be c(4). Suppose -p*q - 9 = -2*q. Let v be (-7)/q + (-2)/(-2). Is v equal to -2/5?
False
Suppose 5*w = -k + 505, -2*k = -18*w + 16*w - 1058. Let m be 70/k - 8/(-15). Is -17 less than m?
True
Suppose 2*m + 3*b - 9 = -m, b + 12 = 2*m. Let l be 1 + 9 + m - 3. Let g be 2/1 + -8 + 17. Are l and g equal?
False
Let v = 12282011/463 - 26527. Which is smaller: 0 or v?
0
Let p be (-4)/((-6)/914*3640/(-24) + -1). Which is smaller: 916 or p?
p
Let n = 13043/1917 + 127/71. Is n != 8?
True
Let x = -30878 + 30744. Is x less than or equal to -38?
True
Let o = 4.2 - 4.3. Let l be (-20)/(-96)*57/30. Let y = l + 587/336. Which is bigger: o or y?
y
Let n = 5736 - 5688. Which is smaller: 21 or n?
21
Let u = -148 + 170. Let p be 33/u*2/(-93)*4. Is -2/7 >= p?
False
Suppose -2*a - 30 = -4. Let v = a + 16. Let l be 2 + v/(-3)*6. Do l and -4 have the same value?
True
Suppose -5*m + 43 = 3. Let u(l) = 5*l - 121. Suppose 0 = 33*p - 38*p + 135. Let t be u(p). Which is bigger: t or m?
t
Let n(s) be the third derivative of s**5/60 - 11*s**3/6 + 2*s**2. Let a be -1 - 0 - (17 - (8 + 10)). Let h be n(a). Which is smaller: -1/4 or h?
h
Let a(i) = -i**2 + 5*i - 11. Let j be a(4). Let p be (4 - 11/3)*-6 - j. Suppose 4*c + 16 = 0, -2 = 2*r - p*c - 0. Which is greater: r or -48/5?
-48/5
Let r be 136/34*15/4. Let d be (20/r)/((-5)/(-9)). Which is smaller: d or -0.1?
-0.1
Let m = -8/665 + 83/266. Which is smaller: m or 1?
m
Let m(y) = 50*y**2 + 2*y - 1. Let g be m(1). Suppose -37*q + g = -40*q. Let x = q + 16. Is x at most as big as -2/25?
True
Let g = -681/2618 - 3/238. Let q be (-32)/(-24)*(2 - 41/22). Which is smaller: q or g?
g
Let q(i) = i - 8. Let k be q(4). Let u be ((-60)/(-825))/(k/10). Let f = 5.6 + 0.4. Which is greater: f or u?
f
Let h(u) = u**2 - 6*u + 6. Let d be h(1). Let c = -10 + 10. Suppose c = -i + 4*i + 2*v - 62, 3*v - 83 = -4*i. Is i at least d?
True
Let r = -37478 + 37519. Which is smaller: 18.4 or r?
18.4
Let t = 71 + -57. Suppose -6*x + 10 + t = 0. Suppose -x*l - 6*l + 300 = 0. Is 30 != l?
False
Suppose 0 = 14*l + 28 + 28. Let m be -6 + (3 - l*1/(-4)). Let n be (-1 + 0)*(170/55 + m). Which is smaller: n or 0?
0
Let k = 0.0099 + -3.9299. Let j = 11.92 + k. Which is bigger: -0.03 or j?
j
Let i = -2.7 - -2.8. Let d = 67.48 - -0.52. Let v = d - 82. Which is smaller: i or v?
v
Let z(a) = -8*a + 23. Suppose -26 - 16 = -6*k. Let p be z(k). Let f be ((-2)/p)/(-1 - 20/(-18)). Is f less than or equal to 1?
True
Let a = 14758 - 14752. Let g = 31/40 + -3/8. Is a less than or equal to g?
False
Let v = 29 + -81. Let g = v + 76. Suppose -4*j = -4*u - 84, 0 = -4*j - 4*u - 16 + 100. Which is greater: g or j?
g
Let w be (-88907)/(-39) + -12 - (-18)/(-6). Which is bigger: w or 2264?
w
Let o be (-59 - -79)*(-4)/518. Let q = o + 11/37. Let m = 5 - 3. Which is smaller: q or m?
q
Suppose -2*p - 18*g + 138 = -20*g, 4*p + g - 256 = 0. Let j = -23 - -88. Is j less than or equal to p?
True
Let j(d) = 5*d**2 - 4*d - 21. Let v be j(5). Let l(a) = -a**2 - 7*a - 29. Let n be l(-8). Let w be 1/(-4) + n*(-1)/v. Which is smaller: 0 or w?
0
Let o = -1 + 0. Let d = 1218 - 1213.955. Let g = 0.045 - d. Is g <= o?
True
Let t(g) = -42*g**3 - 4*g**2 + 5*g - 3. Let h be t(2). Let w = -344 - h. Which is smaller: 3/31 or w?
3/31
Let s(l) = 5*l**2 - 14*l + 16. Let b(p) = 12*p**2 - 29*p + 33. Let i(d) = -3*b(d) + 7*s(d). Let w be i(-12). Which is bigger: w or 4?
4
Let q be (12285/10)/(-9)*(1 + (2 - 17)). Is 1911 less than q?
False
Let l = -3.9427 - 1.0573. Which is bigger: l or 1/1037?
1/1037
Let o = 1662122/35309 + -9407/201. Let k = 23/7 + -356/119. Let c = k - o. Which is bigger: c or 2?
2
Let v(j) = -134*j - 1239. Let d be v(12). Which is bigger: -8537/3 or d?
-8537/3
Suppose -3*w = -5*w - 78. Let z = w - -46. Suppose -4*n - 111 = -z. Which is bigger: n or -27?
n
Let x = 4699 + -4643. Is 0.37 < x?
True
Suppose -12*m - 220 + 2776 = 0. Suppose 4*a + m = -135. Is -442/5 less than or equal to a?
True
Let x = 110/4673 - 66317/6986135. Is -1 not equal to x?
True
Let m = 10.9 + -9.93. Let p = -0.77 + m. Which is smaller: 93 or p?
p
Let u = 37877 - 35064. Which is greater: u or -5?
u
Let p(r) = 20*r + 109. Let h be p(-7). Suppose 12 = 4*i - 8. Suppose 0 = -4*x - 5*u - 121, i*x + 2*u = -230 + 83. Which is smaller: h or x?
h
Suppose -21*q = 104*q - 67 - 58. Which is smaller: q or 8/873?
8/873
Let q be (1202/(-8))/((-155)/(-1240)). Is -1200 greater than q?
True
Suppose 175 = 5*b - 3*g - 6280, -5*b + 6455 = -g. Are b and 5165/4 nonequal?
True
Let y(t) = -t**3 - 91*t**2 - 178*t + 422. Let u be y(-89). Is 422 greater than or equal to u?
True
Let v(i) = i**3 - 55*i**2 + 645*i + 120. Let w be v(32). Which is smaller: w or -2791?
w
Let n = 41.271 - -0.429. Let p = n - 7.7. Let y = 33.92 - p. Do 0.1 and y have different values?
True
Let p(w) = -5*w + 90. Let g be p(15). Suppose -13*m + 9*m = 20. Let n = 22 + m. Which is greater: n or g?
n
Let c = 29216 - 29343.87. Let y = -1.87 - c. Which is smaller: y or 1?
1
Suppose -5*q - 159 = -f + 117, 0 = -q - 5*f - 76. Let h(a) = a**2 - 15*a + 48. Let l be h(7). Let i be 2*(-108)/l*-2. Is q equal to i?
False
Let h be (-24)/(-8)*(-1520 + -17). Which is smaller: h or -4613?
-4613
Suppose 5*i - 5*n = -170, 2*i + 48 = n - 23. Suppose -111 = -3*w - p, w + 4*p - 37 = 7*p. Let v = w + i. Is v at least -21?
True
Let r be 2/(-6)*2*-1. Let t = -13.582 + 0.182. Let g = t - -13. Which is bigger: r or g?
r
Let u be 22/(374/221)*6. Is 166 equal to u?
False
Let b = 1959.181 + -1959. Which is bigger: b or 0.02?
b
Let c = 0.162 - 0.269. Let p = c - 2.893. Is -18 >= p?
False
Let z(k) = -k - 13. Let l be z(15). Let a be l/(-21)*12/8. Suppose r = -o - 2*r - 2, -5*o + r = -6. Do a and o have the same value?
False
Let c(o) = 18 - 5*o + 7*o + 4. Let j be c(-13). Let m be 1 + (-4 - -4)/j. Is m != -2/9?
True
Let c(r) = 4*r. Let y be c(4). Let b(a) be the first derivative of a**2/2 - 15*a - 22. Let m be b(y). Does 2/115 = m?
False
Let f be 33/306 - (-7)/(1428/24). Let m be -1 - 1 - 35/(-17). Let s = f - m. Which is smaller: -2 or s?
-2
Suppose -2*f + 1 = m, -2*f - 5*m - 11 = -0. Suppose 28*k - f = 26*k. Is k at most as big as 8/89?
False
Let g be 8/22*(-22)/(-4). Let u(j) = -j**2 + 6*j - 7. Let l be u(5). Let q be 18*(0 + l/(-21)). Is g greater than or equal to q?
True
Suppose -2*a - 8*t + 4*t = -170, 0 = 4*a + t - 340. Suppose -d - 3 = 4*b - 25, -5*b - a = -5*d. Is 17 <= d?
True
Let t be (16/200*-10)/((-75)/285125). Is t less than or equal to 3040?
False
Let p be (8/(-6))/(24/828). Suppose 4*c = 3*w + 3*c - 16, -4*w + 24 = -2*c. Suppose 8 = w*k, 3*d - 4*k = -d - 192. Is d at most as big as p?
True
Suppose -4246 = -28*p + 6*p. Let x = -140 + p. Are x and 157/3 unequal?
