 = -137*r + 134*r - w - 2977. Is r less than or equal to -993?
True
Suppose -5*v + 142 = 3*c, 0 = 2*c + 703*v - 700*v - 92. Which is smaller: 35 or c?
c
Let i be 2/19*3*1. Let c be (3/(-4))/(12/(-64)). Suppose -4*d - 6 = -2*r, -2*d + 0 = -2*r + c. Which is greater: r or i?
r
Let u = 298.706 - 299. Let j = u - 1.706. Which is smaller: j or -3/2?
j
Let h(c) = -550*c - 3851. Let f be h(-7). Which is smaller: 1/1454 or f?
f
Let d = -268 - -272. Suppose -7 = -4*f - d*g + 9, -g + 1 = 4*f. Which is smaller: f or -28/17?
-28/17
Let d = -79 + 163. Are d and -4 nonequal?
True
Suppose -14*m + 1156 - 1156 = 0. Let a be ((-2)/4)/(125/(-4)). Which is greater: a or m?
a
Let q be 8/(-72) + (-37)/639. Which is greater: q or -0.2?
q
Let d = -60 - -59.95. Is -23.5 greater than d?
False
Let r(s) = -32*s + 14. Suppose -11 = -3*z - 8*z. Let t be r(z). Which is smaller: t or -15?
t
Suppose 0 = -3*t - 6, 10*t - 6*t = -4*k + 192. Let c = -74 + 25. Let n = c + k. Which is smaller: -1 or n?
-1
Let v = 51.52 - 0.52. Let s = 0.0217 + 0.0153. Let n = -0.037 + s. Which is smaller: n or v?
n
Let k = 17.4 - 17.4308. Let v = -0.0692 + k. Which is greater: v or -83/3?
v
Let a = 1999 - 1945. Is a equal to 54?
True
Let c be 0/((1300/25)/26). Which is greater: c or 2296?
2296
Let m = -1056467/291060 - -1/10780. Let q = m - -3680/999. Let b = 2 - 3. Is q greater than b?
True
Let t = -207649 - -207648. Let z = -3758 + 311910/83. Is t greater than z?
False
Let k = 746.51 + -77.51. Is -1 less than or equal to k?
True
Let u = -431 - -434. Let i = -94.007 + 94. Which is greater: i or u?
u
Let j(s) = 2*s**2 - 6*s. Suppose 5*i = h + 25, 0*i - h = -4*i + 19. Let w be j(i). Suppose -2*c = 13 - 83. Which is bigger: w or c?
w
Suppose -2*g - 2*z = 106 - 2110, -g + 4*z + 987 = 0. Suppose -11*a - g = -152. Which is bigger: a or -76?
-76
Let g be (4/3)/((-9)/189). Let r = 65 - g. Suppose 0 = -6*p + 93 + r. Is 32 > p?
True
Let z = 228 + -340. Let k = z + 107. Which is greater: k or 5/3?
5/3
Let i(c) = 2*c**2 + 132*c + 40. Let t be i(-58). Let h = t - -555. Is h equal to -331?
False
Let y be (-1)/(96/90 + -1)*(-2)/6. Suppose -88 = 4*u + 2*b, -3*u - 66 = b + 3*b. Let f = y - u. Which is greater: f or 26?
f
Let x(d) = -d**3 + 13*d**2 - 6*d - 6. Let m be x(12). Suppose -11*c - m = -17*c. Let q(o) = o**3 - 17*o**2 + 4*o - 55. Let y be q(17). Are y and c non-equal?
True
Let t = 78.5 + -78.314. Is t >= -7/3?
True
Let b = 4.92 - -0.28. Suppose 0 = 165*a - 103 - 62. Which is smaller: b or a?
a
Suppose 0 = 11*z - 10*z + 88. Let q be z/(-14) - ((-432)/56 + 8). Which is bigger: q or 4?
q
Let l(u) = -u + 5. Let h be l(6). Let y = -6015/209 - -438/19. Let r = y + 323/66. Which is smaller: h or r?
h
Let o = -8665 + 8948. Which is bigger: 281 or o?
o
Let j = -55895229 - -124213004959565/2222247. Let z = 34531496201/75556398 - j. Let g = z - 457. Which is greater: g or -1?
g
Let u = -22.4 + 22. Let f = -0.4 - u. Which is smaller: -157 or f?
-157
Let s be (-2)/6 - (-12)/(-18). Let z be ((-8)/(-20))/(-2 - (-243)/120). Let t be -4*7/(-56)*z/34. Is t <= s?
False
Suppose -10440 = k + 9*k. Let h be k/(-7200) - (-1)/(-8). Suppose -9 = 3*p - 3. Is p less than h?
True
Let n = -5211.953 - -5213. Which is smaller: -1 or n?
-1
Let q(b) = b**2 - 25*b - 26. Let c be q(26). Let u(h) = -48*h - 184. Let w be u(c). Do -185 and w have different values?
True
Let x(m) = -14*m - 18. Let h be x(-5). Suppose 54*o - h*o - 108 = 0. Let v be ((-4)/10)/(o/(-225)). Which is smaller: v or -2/5?
-2/5
Let v be 27/(-3) - 181*602/(-12124). Is v smaller than 0?
True
Let c = -20732 + 20579. Let a = -305 - -151. Which is bigger: a or c?
c
Let p = 782.53 + -747.8. Let y = 35 - p. Let o = 0.22 - y. Is 2 >= o?
True
Let c be (14 - 18)*12/16 + 25/8. Is 22.3 < c?
False
Let x = -19 - -31. Suppose 0 = 2*z - 5*a - x, -3*z = -z + 5*a - 52. Let n = 378 - 363. Are n and z equal?
False
Let j be (-12)/((-252)/(-35)) + 446/3. Let q = -150 + j. Which is bigger: -11/7 or q?
-11/7
Let d(p) = -2*p**2 - 67*p + 243. Let r be d(-34). Which is bigger: 215 or r?
215
Suppose 0 = 9*n - 2 + 146. Let r be (1 - n/(-45)) + (-1)/5. Suppose a - 8 = -4*a - 2*k, -20 = 4*a - 5*k. Is r not equal to a?
True
Suppose 5*i + 5*m - 135 = 0, -5*m = 2*i - i - 7. Let p be 15/(-10)*(-186)/9. Are i and p non-equal?
True
Suppose -4*c = -3*p + 47417, 3*p + 2*c - 94844 = -3*p. Let b = p + -173697/11. Does 17 = b?
False
Let j be (2/(-1) - (-395)/237)*-72. Which is bigger: 32 or j?
32
Let m = 3558 + -377151/106. Let y be (-2181)/(-1590) - (2 + 1). Let q = m - y. Is q equal to 2?
False
Let z be (9/(-6))/(57/8056). Let h = z + 447. Which is bigger: h or 237?
237
Let c = -0.21114 - -166.91114. Which is smaller: -1 or c?
-1
Let z = -108 + 112. Suppose 8 = 3*i + 2*c, -c - z*c = 4*i - 13. Let g be (-12)/18 - (-2)/6. Which is bigger: g or i?
i
Let f = 1729/989 - 37/23. Let a(x) = 2*x - 13. Let v be a(7). Suppose t + 0*t = -v. Are f and t nonequal?
True
Suppose 0 = 7*m - 10*m + 4*g - 946, 4*m = 3*g - 1266. Does -318 = m?
True
Suppose 19*d = 199 + 295 - 38. Let b be 166/8 + (-10 - -13). Is d >= b?
True
Let y be 2075/150 - 14 - ((-3662)/12 - 2). Is y >= 300?
True
Suppose 17*h - 20*h = -48. Let k be (h/2 + -13 + 12)/2. Which is smaller: 3 or k?
3
Let b = 0.22 + 34.78. Let t = b + -35.15. Let a = -0.35 - t. Which is smaller: a or -5?
-5
Suppose -7*f = -4*i - 10*f + 225, 20 = -4*f. Let x = -0.096 + 0.586. Let u = 0.59 - x. Is u not equal to i?
True
Let k = 66 - -41. Let i = 191 - k. Is 85 smaller than i?
False
Let b = 997562747/11622 - 85834. Is b bigger than 0?
False
Let n be 1455/(-2) - (-7)/(-14). Let m = n - -502. Is m bigger than -227?
True
Suppose 0 = 51*z - 56 + 5. Is 5/634 <= z?
True
Let f = -172576421/1697 + 101695. Which is smaller: f or -1?
-1
Let s = 0.19 + -0.64. Let h = -4.5 + 5. Let p = h + s. Is p equal to 2/5?
False
Let x be 234*17/102*193. Which is smaller: x or 7528?
x
Suppose -8*v + 19*v + 1089 = 0. Let c be ((-11)/4)/(3 + v/36). Is -14 at most c?
True
Let r be (-21)/(147/250)*(-185)/(-37). Is r equal to -180?
False
Let w = 0.5164 + 38.4836. Is w < -12?
False
Let y = 197.23 + -75.93. Is 1 at most as big as y?
True
Let h = 3.1444 - -0.1556. Which is smaller: 46/3 or h?
h
Let t be (33/(6 + 5))/((-3)/116). Let n = -286 - t. Which is greater: -171 or n?
n
Let i be 6/(-27) + (-14)/2646*174. Suppose 3*c + 5*g = -3, -4*g = -g. Let z = c - 1. Is z smaller than i?
True
Suppose 7 = -2*h - m, 4*h - 4*m - 10 + 6 = 0. Let q be (28092/28)/(-3) - 0. Let r = 335 + q. Which is smaller: h or r?
h
Let i(p) = -4*p**2 - 81*p + 86. Let u be i(1). Let d be (-1 - 80/(-82))*14. Is d < u?
True
Let r be ((-1)/(-262))/(365/(-146)). Let o = r - -3306/20305. Which is smaller: o or 0?
0
Suppose 3*w + 2*w - 5*m + 35 = 0, -w = -3*m + 9. Let r = -15751/2320 + -5/464. Which is bigger: r or w?
w
Let w = -19.6 + 25.7. Let z = w - 6.15. Is z < 58?
True
Let y = -2 + 1.98. Let m = 97276 + -97280. Which is smaller: y or m?
m
Let b be 104/(-18) - (87 + -93). Let r(v) = -v**3 + 4*v**2 + 5*v - 10. Let w be r(4). Let c be (-22)/w*35/14. Are b and c unequal?
True
Let n(g) = -17*g**2 + 84*g - 80. Let a(j) = -8*j**2 + 42*j - 39. Let y(u) = 9*a(u) - 4*n(u). Let p be y(12). Is p smaller than -102?
True
Suppose -9*g = -8*g - 82. Let l = g - 50. Let z = 58 - l. Is z != 25?
True
Suppose -5*k = -2*j + 5732, j = -k + 2660 + 220. Is 2877 at least as big as j?
True
Let t be (20/(-6))/(2440/732). Let i = 536/5 - 20371/190. Which is smaller: i or t?
t
Let p be (533/212)/(-13) + 3/12. Let d be (-2)/(-8) + (-5)/4. Which is smaller: p or d?
d
Let i be (-121)/(-66) + 1/6. Suppose f - 5 + 0 = -i*w, -3*f = 4*w - 23. Is 117/10 bigger than f?
False
Suppose 397941 - 397617 = 36*i. Let n = -22 + 34. Which is smaller: i or n?
i
Suppose -4*a - 246 - 122 = 0. Suppose 22*t + 1267 = -1123 + 366. Is a at least t?
True
Let v = 127 - 127. Let w be -46 + v + 29 + -24. Are w and -43 nonequal?
True
Let h = -1436 - -1444. Which is smaller: h or -307?
-307
Let o = -1 + 20. Let a be 200680/11072 - 3/(-8). Is a smaller than o?
True
Let m(t) = -t**3 + 7*t**2 - 3*t - 6. Let b be m(6). Suppose 0 = i + 10 - b. Let w(j) = 2*j - 1. Let g be w(i). Which is smaller: g or -1?
-1
Let m = 1766.2 + -1948.2. Are -24 and m equal?
False
Let o(r) = r**3 - 9*r**2 + 9*r - 9. Let k be o(8).