-28) + 1 + -7 + -3. Is 164/61 equal to u?
False
Let j = 731 + -731.049. Let s = -15 - -14.971. Let p = j - s. Which is bigger: p or 0?
0
Let z(l) = l**2 - 14*l - 38. Let p be 7/((-7)/(-6))*72/27. Let n be z(p). Let j be ((-140)/(-12) - n/(-9))*-1. Which is smaller: j or -9?
j
Suppose 14*f + f - 81*f + 201432 = 0. Which is smaller: 3051 or f?
3051
Let m = -164 - -126. Let z = 66 + -63. Are m and z equal?
False
Suppose 124 = 2*t - 24. Suppose -4*c = q - 6*q - 153, 2*q + t = 2*c. Suppose 5*v = c - 7. Which is smaller: v or 29/5?
v
Let l = 0.02953 + -0.02953. Let h be ((-14)/(-6))/((-1)/(-3)). Let x be ((-315)/2)/h - 0. Which is smaller: l or x?
x
Let q(m) = m**2 + 3*m - 10. Let p be q(-6). Suppose -3*n = -3*a - 242 + p, 2*n - 160 = a. Let k be 36/27*3/n. Are 0 and k unequal?
True
Suppose -58 = 4*c + 30. Let l(a) = -a**3 - 8*a**2 - 8*a - 2. Let f be l(-7). Suppose 240 = -5*o - f*o. Is o smaller than c?
True
Let a = -33021/35 - -6740/7. Is a at most as big as -0.3?
False
Suppose -185*j = -3922 - 518. Is 122/5 >= j?
True
Let l = 36 - 30. Suppose -l*z + 39 = 5*j - 4*z, -5*j = 4*z - 33. Let q(m) = -5*m - 1. Let u be q(-2). Is j greater than u?
False
Suppose -10 = -2*f - 34. Let n = 528 + -224. Let w = -949/3 + n. Which is greater: w or f?
f
Let i be (4421 + -6 - -6) + 3 + -11. Which is smaller: 4414 or i?
i
Let k = 9 + 2. Suppose 70 = 2*d + 6*f, -5*d - 460*f = -457*f - 55. Which is smaller: d or k?
d
Let v = 8940.217 - 8939. Which is smaller: 1 or v?
1
Suppose -2*m - 38 = 4*k, -7 - 16 = 3*k - 4*m. Let w = 9/185 + -10229/1110. Is w < k?
True
Let q be 1506/(-140)*642/(-963). Which is smaller: 6 or q?
6
Let z be 2 - 1 - (-1 - 2/(-1)). Suppose -4*j - 86 = -2*y + 64, 2*y - 3*j - 155 = z. Suppose c = 86 - y. Is c > 6?
False
Suppose -5*y - 150 = 5*i, -5*y + 4*i = -0*y + 132. Let u be 4 - (485/7 - (-8)/y). Let w = 47 + u. Is w smaller than -18?
False
Let q be (5*1)/((-265)/(-159)). Suppose q*d = -v, 14*v = -3*d + 9*v - 12. Is -2/5 smaller than d?
True
Let k = -27333/35 + 781. Let l = k + 64/105. Let d = -2.8 + 3. Is d < l?
True
Let i be (2560/(-840))/(1/(5 - -1)). Is i less than -1/2?
True
Suppose 2*a + 44 + 2 = 0. Let w(y) = 2*y. Let t(s) = s + 1. Let b(m) = 2*t(m) + 2*w(m). Let h be b(-4). Is a at least as big as h?
False
Let j = -19.3 - -130.3. Let z = j + -139. Which is smaller: 2 or z?
z
Let b be 2 - (42/8)/3 - (-7611)/(-21844). Which is bigger: -1 or b?
b
Suppose -3*o - 20 = -17. Let l(v) = -3*v**3. Let n be l(o). Is 6 > n?
True
Let n = 783 - 787. Let y(k) = 75*k + 301. Let h be y(n). Which is smaller: 1/295 or h?
1/295
Let q be (-4)/(-18) + 150/54. Let h be (-2)/q + (-1680)/(-63). Is 11 bigger than h?
False
Suppose -4*g - 58 + 17 = d, 5*d + 117 = 2*g. Let n be 19*1 - (d + 26). Let i be n/10*(-100)/(-60). Which is bigger: 0 or i?
i
Let m(i) = i**3 + 8*i**2 - i - 13. Let j be m(-4). Suppose -j = -2*g - 9*g. Suppose 156*d - g = 161*d. Which is greater: 3/38 or d?
3/38
Suppose 160 = -3*u - s, -4*u = -13*s + 10*s + 196. Let m(w) = -13*w**2 - 2*w - 3. Let r be m(-2). Is u less than r?
True
Let i(j) = -10*j**2 - 10*j - 10. Let k = 50 - 52. Let u be i(k). Is -34 greater than u?
False
Let c be 1444/30 - 48/360. Suppose -6*n - c = -126. Are 15 and n non-equal?
True
Let a be (23 - 5)*(-285)/(-270). Let i be (22 - 2) + (-1 - 1). Is a < i?
False
Let y be 4/(-10) - (-1797)/60*-58991. Let c = -1767364 - y. Let s = c - -583. Is 0 bigger than s?
True
Let l(h) = 9*h + 86. Let x(c) = 14*c + 129. Let n(i) = 7*l(i) - 5*x(i). Let u be n(17). Which is greater: -163 or u?
u
Suppose 2*r = 3*k - 4393, 4*k - 4*r = -2*r + 5854. Is k < 1460?
False
Suppose -16*c - 1489 = -1489. Is -5/1753 > c?
False
Let n = -47 + 345/7. Let u be 0 - (-9)/(-6)*-2. Suppose -4*d - 4 = 4*o, -5*o - 4*d + d = -u. Is o smaller than n?
False
Let j = -3089 - -3196. Let g = 1 - 0.9. Which is bigger: g or j?
j
Let u = 427 + -82. Let r = u + -345. Which is smaller: r or 21/4?
r
Let b = 0.127 - -0.073. Let v = -90421/1551 - 18/517. Let i = -59 - v. Which is greater: i or b?
b
Suppose -2*d + 4*t = 10, 3*t + 38 = -4*d + 8*t. Suppose 0 = 2*f - 3*z + 50, 3*f + 64 = 4*z - 5*z. Which is smaller: d or f?
f
Let d = 454.2 + -472. Let x = 17.8 + d. Which is greater: x or 0.024?
0.024
Suppose -7*a + 19 + 16 = 0. Suppose 3*z + 2*n = -18, -n + 14 = -3*z + a. Let b be ((-11)/(-15))/((-1)/6). Which is smaller: b or z?
b
Let j = -161.6379 + -0.3621. Which is greater: j or -0.04?
-0.04
Let k(o) = -2*o**3 + 2*o**2 - 20*o + 38. Let p be k(6). Let x = p + 2659/6. Is x bigger than 0.3?
True
Let n be 0 + 18/16 + -4. Let k = n + 241/88. Let i = k + -1/154. Is -5 equal to i?
False
Let r(m) = 13*m**2 - m + 7. Let c be r(2). Let n be 4/(-6) - (-209)/c. Suppose 119 = 4*z - 5*a, n*z - 3*a = 144 - 54. Which is greater: z or -0.2?
z
Let u be ((5 - 11) + 5)*-1. Let j be 8*u/16 - 98/116. Is j not equal to -1?
True
Suppose 0 = -7*z + 2*z. Let m = -1843309/119 + 15490. Which is smaller: m or z?
z
Let k(y) = -4*y - 66. Let w(l) = l**3 - 9*l**2 - 11*l - 6. Let i be w(10). Let f be k(i). Which is smaller: f or -12/13?
f
Let b = -3698/23 + 161. Let q = b + -109/184. Let p = -2 - -2. Which is greater: p or q?
p
Let h be (-28)/4 + (-76979)/(-11123). Are -1 and h equal?
False
Let x = 7/60 - -2/15. Let z = -282.2 + 280.8. Are z and x unequal?
True
Let r = 147 - 16. Let a = r - 131.59. Let x = -0.69 - a. Is 107 at most as big as x?
False
Let m(l) = l + 5. Let a be m(-4). Let u be 12*(-2)/(-3) - a. Suppose 0 = 284*q + 61*q - 4170 + 1755. Is q at most u?
True
Let r = 155307952/27 - 5754575. Let n = r + 2429. Is n < 0?
False
Let v = -0.992 + 2.04. Let t = v - 0.048. Which is bigger: t or 18?
18
Suppose -13*f - 19 = -12*f - 2*k, -38 = 2*f - 5*k. Which is bigger: f or -468/25?
-468/25
Suppose -20*y - 58*y + 4368 = 0. Is y at most as big as -104?
False
Let i = -161484 + 387723090/2401. Is i at least 0?
True
Suppose 4*z = 3 - 23, -2*z = -5*q + 230. Let n = -5172 + 5221. Which is bigger: q or n?
n
Suppose 160*k - 3*k = -92*k - 49551. Which is smaller: 62 or k?
k
Suppose 2*c - 665 = -5*x, 6*x + 8*c = 9*x - 445. Is 136 at most x?
False
Let m = -796171/5 - -160553. Which is smaller: m or 1320?
m
Suppose -4*b - 447 = d + 7, 2 = -b. Let w = d + 448. Let v = -2442/5 + 491. Is v at least as big as w?
True
Let p = 1291 - 1287. Which is bigger: -59 or p?
p
Let b = -1286841/28 - -170927/4. Which is smaller: -3228 or b?
-3228
Let f = -75698819/530860 - -94829/635. Let p be 2/(-7) + (-808)/(-2926). Let x = p - f. Is -8 greater than x?
False
Let w(j) = -j**3 - 45*j**2 - 11*j + 67. Let v be w(-42). Is v <= -4764?
False
Suppose 5*l - l = -u + 85, -2*u + 160 = -2*l. Let r = 221 - 86. Let c = r - u. Is c at least 54?
True
Let d = -7.6 - 27.4. Let u = d - -34. Let i = 5.914 - -0.086. Which is smaller: u or i?
u
Suppose 11*p + 465 = 6*p. Let n be 273/((-24)/8) + 4/(-1). Which is greater: n or p?
p
Let o = 124 + -14. Suppose -m = g - 4*m - 24, 5*g - 5*m - o = 0. Suppose 4*w + g = -3*w. Which is smaller: -1 or w?
w
Suppose 3*z + 48 = 10*v - 7*v, 0 = -4*v - 4*z + 104. Which is smaller: 161/8 or v?
161/8
Suppose 1953 + 399 = 4*j + 4*b, 1732 = 3*j - 5*b. Suppose -5*g = -716 - 2199. Which is smaller: g or j?
g
Let v = -0.085 + 0.405. Let i = -0.05 + -0.13. Let u = v + i. Which is greater: u or 0.3?
0.3
Let u = -0.442 - -240.442. Is 4 at most u?
True
Let o = -73.83 + 72.73. Is -3/2 at most o?
True
Let i = -0.145 - 27.855. Let n = i + 89. Which is smaller: n or 3/2?
3/2
Suppose -5*a = -g - 5826, 0 = 2*g + 13 - 1. Is a < 1165?
True
Let z be 84 + -95 + (-42)/(-4). Are z and 1371 non-equal?
True
Let y = 22015/125941734 - 2/51321. Which is smaller: y or 1?
y
Let m be (-18400)/(-96)*12/(-16). Is 2/7 greater than or equal to m?
True
Let x = 9.71 + -8.6. Let l = -3.13 - x. Which is greater: 2/5 or l?
2/5
Suppose 125*l = 176*l + 8013 + 12846. Is l at least as big as 19?
False
Let x(k) = -7*k**3 + 68*k**2 + 209*k + 5. Let v be x(-4). Is 2/5 equal to v?
False
Let d = 18 + -111. Let k(t) = -7*t**2 - 1124*t + 4515. Let n be k(4). Is d equal to n?
True
Let i(g) = g**3 - 13*g**2 + 11*g. Let j be i(16). Suppose -4*z = -3*r + 879, -2*r = -5*z - j - 160. Is 1/2 bigger than z?
True
Let k = -5937 - -5937. Is -54/205 less than or equal to k?
True
Let t(b) = -b**2 + 16*b + 8. Let v be t(12). Suppose 0 =