h be ((-1849)/(-129) - (14 - -1))*(-243)/(-2). Which is smaller: h or -124?
-124
Let m be (-1 + (-8)/(-3))*(-237)/395. Which is smaller: -14/3133 or m?
m
Let g(v) = -v**2 + 4*v - 1. Let f be g(3). Let w be ((-16)/(-20) + 0)/(2/10). Suppose f*r - 6*r = w. Is 2/53 at most as big as r?
False
Let s be 385/(-7942)*21/35. Is s smaller than 0?
True
Let q = -6432 + 405227/63. Let f be (2/(-2))/(-1) - 0. Is f greater than or equal to q?
True
Let p be 2 + 3/7 + -2. Let o(j) = -4*j + 49. Let l be o(7). Suppose 23*m - l*m = -2. Which is smaller: m or p?
m
Suppose -3*f - 2*d = 449 + 253, -4*f + 5*d - 959 = 0. Are f and -240 unequal?
True
Let b = -0.27811 + -0.02189. Do b and -1192 have the same value?
False
Suppose 17512 = -4*k + 48*k. Suppose 122 = 3*z + 5*l - 482, 2*z + l = k. Is z smaller than 199?
True
Let q = 86 - 118. Let c = q - -21. Let r = 4063/4 + -1028. Is c not equal to r?
True
Suppose 4*k - 5*k - f = -79, -4*k + 314 = 2*f. Suppose 2 = -80*t + k*t. Is -2/109 less than t?
False
Let h(w) = -5*w - 2. Suppose -8 - 13 = -3*o. Let i be h(o). Is i at least as big as -36?
False
Let m(r) = -r**3 - 13*r**2 - 2*r - 18. Let t be m(-13). Let a be t/2 + (-3436)/3424*4. Is a at most as big as 1?
True
Let j(i) = -175*i - 1752. Let r be j(-10). Let o = 1033/10 - 201/2. Is o at least r?
True
Let b = 294 + -289. Suppose b*h - 95 - 50 = -5*i, -5*i = -h - 133. Is i equal to 111/4?
False
Let a(p) = 5*p**2 - p + 5. Let l(y) = 11*y**2 - y + 11. Let n(d) = 9*a(d) - 4*l(d). Let r be n(0). Let z be r - (-3)/2*30/(-25). Which is bigger: 0 or z?
0
Let n = 506.7 + -123.7. Which is smaller: 3/4 or n?
3/4
Let u(o) = -o**3 - 6*o**2 - 5*o. Let c be 6/8 + 6*(-63)/56. Let l be (-3 - c) + 8*-1. Let i be u(l). Which is smaller: -12/13 or i?
-12/13
Let x = 1141 - 14815/13. Suppose -f + 17 = 5*c - 3, -f = 4*c - 16. Is f < x?
True
Suppose 47*l - 102 = 44*l. Let c(z) = -z**3 + 13*z**2 - 2*z - 6. Let s be c(5). Suppose -102 = -3*r - v, 4*r - 3*v = -r + s. Is r greater than or equal to l?
True
Let h = -0.348 + 40.148. Let r = -12.8 + h. Let a = 0.4 - 0.5. Which is smaller: r or a?
a
Let z be (49/(-63))/(3/9). Let b(t) = -40*t + 2. Let q be b(-1). Let s = q + -43. Which is smaller: s or z?
z
Suppose 4*k = 4*f + 6 + 106, -2*k - 3*f = -41. Let a = k + -25. Is a > 4/579?
False
Let p = 0.102 + -0.302. Let z(j) = -j**3 + j**2 - j + 4. Let g be z(2). Let n be (-2 - g)*(-6)/12. Is p < n?
True
Let q = -62.6 - -73. Let s = -14.4 + q. Which is smaller: s or -13?
-13
Let c be (-30)/(-117)*-1*(6 + -7). Is 1 greater than or equal to c?
True
Let q(w) = -30*w - 33. Let c be q(-6). Suppose v = 4*u - c, -3*v - 386 = -2*u + u. Which is smaller: -128 or v?
-128
Let h = 8 - 8. Suppose 2*o - 6*o - i - 28 = h, 0 = -2*o + i - 20. Suppose 2*s = -4*v - 18, 0 = -2*v - 15*s + 10*s + 11. Which is greater: o or v?
v
Let t be (-46)/(114/(-126) - -1). Let v be (-874 - 1)*138/t. Is 249 less than or equal to v?
True
Let o = 0.0193 + -15.0193. Let a = 187 + -929/5. Which is smaller: a or o?
o
Let v = -1028 + 1024. Which is smaller: v or 325?
v
Suppose 3*h = 2*f + 9, 0 = -5*h + 22*f - 17*f + 10. Are h and -2/815 non-equal?
True
Let o be 22/((-2112)/(-7072)) - 2/3. Which is greater: 75 or o?
75
Let i = 0.3 - 2.2. Let k = 0.1 - i. Let t = -39.33 - -38.33. Which is greater: k or t?
k
Suppose 4*z + 9386 = 5*u, -5*z + 8041 = 4*u + 565. Let o = u - 1122527/599. Which is greater: o or 0?
0
Let i = 10247 - 10004.95. Let o = i - 242. Let r(h) = -h**3 - h - 1. Let g be r(0). Which is bigger: o or g?
o
Suppose 306961 + 322052 = -389*z. Which is greater: z or -1618?
z
Let o be 4 + (-11 - (-4 + -3)). Suppose 4*r + 630 = 9*r. Let j = 16000/127 - r. Is o not equal to j?
True
Let q = -7.7803 - 0.0597. Let f = q + 6.84. Which is greater: f or -9?
f
Let d be ((-120)/(-9) + -4)*36/14. Let n = -25 + d. Let r be ((-4)/(-6))/(128/60). Is n != r?
True
Let n = 0.006 - 19.006. Suppose -3*f - 217 = -217. Which is greater: f or n?
f
Suppose 2*u - 6 = 2*x, -1084*x = -1080*x + 2*u - 6. Let s = 69 + 6. Let j be s/51 - (1 - -1). Are j and x nonequal?
True
Let r be (-10914)/(-2354) + 5/(-1). Is r <= -2/5?
False
Let i be (12/21)/(15/7). Suppose -2*w + 508 = -2*g, 5*w + 3*g + 233 = 1463. Let u = w - 248. Which is smaller: u or i?
i
Let o(r) = 8*r + 39. Let b(m) = 23*m + 114. Let n(u) = 6*b(u) - 17*o(u). Let w be n(-13). Is -27/7 < w?
False
Let j = -3705 - -3705.03. Let l be 1*(-2 - -1)*1. Which is smaller: j or l?
l
Suppose -2*a = 4*p - 16, 2*p = -a + 5*p - 2. Let x be 1*(18/(-4) + a). Let d = -0.0966 - -0.0766. Which is bigger: x or d?
d
Suppose -255 + 55 = -4*w. Let k = w - 22. Let r be 55/7 - (-4)/k. Is -3/7 <= r?
True
Let x = 49 - 70. Let d = -20 - x. Which is greater: 2/37 or d?
d
Let y = -4.84 + 228.84. Let w = y + -221. Which is smaller: 0.26 or w?
0.26
Suppose 110*w = 112*w + 6. Let d be ((-40)/(-12))/(w/(-18)). Which is smaller: d or 19?
19
Let l = -1040 + 72799/70. Suppose 21 = 3*n - 0. Let f be (-9)/21 - 4/n. Which is smaller: f or l?
f
Let p = 21899/15 + -7288/5. Which is smaller: p or -23.5?
-23.5
Let t = -20210 - -20098. Which is smaller: t or 25?
t
Let x = -88 + 89. Let v be (x/(-1))/(738/(-186) - -4). Let y be -1 + ((-9)/3 - v). Is 25 at least y?
False
Let s(v) = -v**3 - 15*v**2 - 12*v - 17. Let g be s(-14). Let f be (-4665)/g - (1 - 3/9). Let b = f + -91. Which is smaller: 11 or b?
11
Let u = -25232 + 25311. Which is smaller: -0.02 or u?
-0.02
Suppose -7*j + 2*j + 70 = 4*z, -4*z - 10 = -3*j. Suppose -9*t - 24 = -j*t. Let p = 1 + 0. Is p > t?
False
Let a = -204 - -274. Let v = a - 70. Which is smaller: v or -9?
-9
Let f = -4449/13 + 343. Let g = -11/13 + f. Let w = 0.08 + -2.08. Is g at most as big as w?
False
Let l = -4868 - -4768. Suppose 0 = -0*c - 5*c + 5*d, -14 = -2*c - 5*d. Let q(h) = -13*h**3 + h + 2. Let w be q(c). Is w greater than l?
False
Let h = -23218/71 - -327. Let f(k) = -k**2 + 4*k - 3. Let r be f(2). Let j be 6/(-3) + r - -2. Is h bigger than j?
False
Suppose 19*i - 208*i = 52353. Which is smaller: i or -275?
i
Let w = 17/5208 + -1/1736. Let n = 6 - 5. Is w > n?
False
Let q(v) = v**3 - 10*v**2 + 17*v - 2. Let o be q(8). Suppose -2*x + 530 = -2*a, o*a - 7*a = -2*x + 262. Is -267 != a?
True
Suppose 2*v - 2 - 2 = 0. Suppose -5*q - 50 = -15. Let a = 11 + q. Are v and a equal?
False
Suppose 49*f - 219*f = 23547 + 4673. Which is smaller: -2155/13 or f?
f
Let o = -3008.7 + 3232. Let d = -219 + o. Is d less than or equal to -2/7?
False
Let u = 0.19249 - 18.79249. Which is bigger: -27 or u?
u
Suppose 5*z = 2*z. Let b(a) = -a**2 + 5*a + 9. Let p be b(-3). Let y = 16 + p. Which is bigger: z or y?
y
Let a(i) = -3*i**3 - 30*i**2 - 67*i - 366. Let o be a(-9). Suppose j + 24 + 4 = 0. Which is smaller: o or j?
j
Let f = -79.9901 - -0.3201. Is 1 equal to f?
False
Let x = 304941/6988466782 - 2/248753. Which is bigger: x or 0?
x
Let v = -14907 - -15040. Which is bigger: v or -0.4?
v
Let g(i) = -i**2 + 8*i + 21. Let z be g(6). Let u = 36 - z. Suppose 77 = 5*o - 2*h + 3*h, u*o = 4*h + 37. Which is greater: o or 0?
o
Let i = 451 - 445. Suppose 501 = 3*c + 3*g, -5*c - 10*g + i*g = -831. Which is bigger: c or 161?
c
Let l = 54881 - 50819799/926. Is l less than or equal to -1?
False
Let s(d) = -12*d**2 - 52*d - 303. Let h be s(-10). Do -986 and h have the same value?
False
Let i = -88 + 54. Let j be (-32)/(-6)*(3/(-11) + 4851/(-847)). Which is smaller: i or j?
i
Let m = -187 - -103. Let c be ((-2)/m)/(18/(-7)). Which is bigger: -2/3 or c?
c
Let n(g) = 4*g**3 - 7*g**2 - 31*g + 1. Let s be n(-4). Is 0.05 less than or equal to s?
False
Let a = 0.29 - -0.01. Let d = 85628/7 - 12232. Is d less than or equal to a?
False
Let l = 0.02 - -0.24. Let c = -0.36 + l. Let d = -76 + 76.01. Which is greater: d or c?
d
Let n = 147 + -57. Suppose -n = 4*a - 286. Let w = a - 51. Which is smaller: w or -1/5?
w
Let d = -1.676 + -13.324. Let b = -0.07 - 14.93. Let r = d - b. Which is smaller: r or 11?
r
Let h be -7 + (-40)/(-25)*5. Suppose -3*l = -5*d + 45, -6*d - l = -d - 65. Let i be (2*7)/((-6)/d). Which is smaller: i or h?
i
Let y = 1654/85 + -451421/340. Is -1308 bigger than y?
True
Let b = 1/1587 + -6353/7935. Which is smaller: b or -144?
-144
Let k = -6685.64 - -6683. Is -6 <= k?
True
Let s be (-658356)/29382 - -22*1. Is s at least as big as 5?
False
Let m =