 be y(-29). Which is greater: c or v?
v
Let y = 2 - 1. Let q = 184956.009 + -185076. Let r = -120 - q. Is y greater than or equal to r?
True
Let i = -4272512/5649 + -5/1883. Is -757 at least as big as i?
False
Let f(v) = -2*v**2 - 13*v + 24. Suppose -4*d - 5*l - 42 = 0, -3*d - 5*l - 9 - 25 = 0. Let u be f(d). Let k = 469/949 + -8/73. Which is smaller: u or k?
u
Let m be 10/(-20) + 291/222. Are 2 and m equal?
False
Let p = -101.4 - 5.6. Let z = p - -54. Suppose -171*q + 6 = -165*q. Is q <= z?
False
Let u = 125.94 - 2.94. Let s = u + -133. Which is greater: -11 or s?
s
Let h be 3/(-7) + 1410/105. Let r = -14 + h. Let y be ((-1)/(-20))/(10*3/(-24)). Which is smaller: r or y?
r
Let k be (-4)/(-4) + -1 - (-4 + 0). Suppose -k*u + 0*u = 240. Let c be 160/u*((-3)/(-4))/3. Which is greater: c or -8?
c
Let d = -17 + 16.69. Suppose 177*q + 654*q - 31*q = 69*q. Is d greater than or equal to q?
False
Let q = -11 + 15. Let l = q - -9. Suppose 0 = -12*t + 8 + 28. Is l < t?
False
Suppose -5 - 4 = -k. Suppose -5*s + k*s = 28. Suppose s + 38 = -5*w. Which is smaller: w or 0.1?
w
Suppose 45*p = 39*p + 624. Let d be (-6*13/p)/((-1)/(-4)). Let o = -19034/4499 + 20/409. Is d bigger than o?
True
Let s = 30704 + -30705. Let t be (5/(-14))/((-3)/(-18)). Is t greater than or equal to s?
False
Suppose -2*v = -5*b + 5, 0*v + v + 5 = 5*b. Suppose v = 4*w + 1 + 3. Let x = -0.23 - -0.32. Is w not equal to x?
True
Let v(o) = -o**3 - 7*o**2 - 7*o - 1. Let y be v(-6). Suppose -s + 2 = 0, 10*q = 5*q - y*s. Let a(m) = m**3 + m**2 - 4*m - 4. Let t be a(q). Is t at most -7/12?
False
Let f = 6129 + -6123. Let i be 4/18 - 65/9. Is i bigger than f?
False
Suppose 2*n - v = -3*v + 888, -5*v = -15. Is -2/3 greater than n?
False
Suppose -5*c = 5*r - c - 12, 4*r + 2*c = 6. Suppose 4*l - 37 + 5 = r. Suppose -10 = l*f + 6. Which is greater: f or 0?
0
Suppose 3*h = -8 - 4, 0 = -3*v + 3*h + 147. Suppose 228 - v = 3*x + 3*o, 2*o = 4*x - 256. Let s = x + -65. Is 16 bigger than s?
True
Let o(f) = f + 23. Let h be o(-18). Let u = 216 + -196. Which is smaller: u or h?
h
Suppose 3455 - 17015 = -15*c. Is 906 at least c?
True
Let n = -168 + 129. Let r = n - -35. Is -8 greater than r?
False
Let a(q) = q**2 + q + 1. Let o be a(-1). Let c = 2013/28634 - 13/206. Which is smaller: c or o?
c
Let p(d) = -d**3 - 7*d**2 + 8*d + 61. Let k be p(-7). Suppose 0 = k*t - 3*u + 1368, -6*t - 4*u = -9*t - 823. Is -273 smaller than t?
False
Let s be (-1)/1 + (4 - 8) + -2. Let u(n) = -n**3 - 6*n**2 + 6*n - 5. Let i be u(s). Let l be -26 + (-1)/i*-8. Is l at most -21?
True
Let g = 1262 - 1201. Which is smaller: 5.8 or g?
5.8
Let v = 789 - 2852. Does -2062 = v?
False
Let k(t) = -20*t - 2141. Let v be k(-98). Which is smaller: -178 or v?
v
Let m = -3.0005 + 2.97. Let b = 2.9695 - m. Which is greater: b or 63?
63
Let i = -16 + 10. Let u = i + 5.9. Suppose 4*s + 4*j = 12, 263*j = 4*s + 258*j + 15. Which is smaller: s or u?
u
Let m(x) = 91*x + 48. Let d be m(-4). Let z = d + 321. Which is greater: 50/13 or z?
z
Let k(w) = -w**3 - w**2 + 3*w - 2. Let m be k(-3). Let l be 5 + -5 - 1 - -5. Let o be 3144/480 + (-3)/l. Is o at most as big as m?
True
Let y = 15435 + -11737. Which is smaller: y or 3696?
3696
Let j = -16365 + 16368. Which is bigger: j or 429?
429
Let f = 9416.867 - 9980.56. Let x = 0.693 + f. Is 1 greater than x?
True
Let t(q) = 2 - 6 - 2 + 6*q. Let j be t(6). Let x(s) = 190*s - 39111. Let l be x(206). Which is smaller: l or j?
l
Let b(q) be the third derivative of q**5/60 + q**4/12 - 2*q**3/3 - 44*q**2. Let v be b(2). Let u be (-1)/(5/60*v). Which is smaller: u or -6?
-6
Let f = -194.774 + 195. Let z = f + 4.774. Suppose -5*i = -i - 8, 3*i - 10 = -4*q. Which is bigger: q or z?
z
Suppose 94*n - 5*h = 93*n + 8301, -5*h = -15. Are 8316 and n non-equal?
False
Let o = 0 + 20. Suppose -8*j = -27 - 5. Let a be j/((-24)/(-90)) - -3. Which is smaller: a or o?
a
Let c be 12/81*((-250)/(-350))/((-86)/7). Is c not equal to -1?
True
Let a be (61/3)/(2/((-12)/(-2))). Suppose -13 + a = -6*u. Is u less than -1?
True
Suppose -3*s - 12 + 30 = 0. Let f be 8/s*(99/(-10))/(-33). Is f at most 0.035?
False
Let q(k) = k + 7. Let n be q(-5). Let u be 2/n + (15 + -5)/2. Let j be u/14 - 225/35. Which is greater: j or -9?
j
Let m be -3 - 15/(-6)*(-8)/(-5). Let n be 101*(-2)/2*m. Which is greater: n or -299/3?
-299/3
Let r = 1270.333 + -1271. Let v = r - -0.267. Which is smaller: v or 2?
v
Let r = -1920789452 + 25325608945148/13185. Let k = r - 2/1465. Let u = 154 - 151. Is k equal to u?
False
Let d(c) = -c**3 - 3*c**2 + 7*c - 1. Let w be d(-5). Suppose 13 = -q - w. Let a be (q/(-18))/(-1 + (-350)/(-8)). Is a less than or equal to -1?
False
Let x = -95 - -1329/14. Let g = -0.215 + 27.515. Let d = g + -27.5. Which is smaller: x or d?
d
Suppose -l - 6 = -2. Suppose -1626 = -5*n - u, 5*n + 9*u = 6*u + 1628. Let z = -334 + n. Which is bigger: z or l?
l
Let h = -46.86 - -17.794. Let m = 0.066 + h. Which is smaller: m or -0.05?
m
Let a = 9968/165 + -96/55. Let d = -60 + a. Suppose -p = p. Are p and d unequal?
True
Let d(k) = k**3 + 12*k**2 + 6*k + 304. Let a be d(-9). Is 479 <= a?
True
Suppose n - 14 = -2*d, 4*d - 11 + 13 = 3*n. Let q be 4/n + 250/(-285). Let s = -10 + 9. Is q > s?
True
Let k(g) = g**2 - 4*g + 17. Let r be k(8). Let l = r - -12. Let n = 62 - l. Which is smaller: n or 8?
n
Let b = -9.645 + 9.7. Let g = b + 0.012. Let h = -0.933 - g. Which is smaller: 0.078 or h?
h
Let o be (8/(-6))/(-2) - 825/9. Let n be (21/(-90))/(o/52). Which is greater: -13/14 or n?
n
Let d be ((7/3)/(-7))/(8/24). Which is smaller: -38/21 or d?
-38/21
Suppose -64*n = -78*n + 84. Suppose 0 = -2*h + 5*h - 24. Which is smaller: n or h?
n
Let r = -98 - -100. Let o be 5/(-5)*(0 - r/10). Let g = 203/6 - 34. Does g = o?
False
Let k be (-6)/(-21) + (-3672)/13636. Let b = -3785/22889 + k. Is -1 < b?
True
Suppose -j + 86 = -3*j. Suppose 40*y = 2*x + 37*y + 89, 7*x + 326 = -4*y. Is j < x?
False
Let y = -3731/255 - -319/17. Suppose 13 - 5 = -3*i + 4*n, -5*i = 3*n - 6. Which is smaller: y or i?
i
Let v be 9/6 + 825/(-6). Let q be (-2)/11 + v/(-22). Let r = 8.8 + -9. Is q >= r?
True
Let i be 885/(-15)*-5*1. Let o = -337 + i. Is o less than -39?
True
Let u = -7.0608 + 0.1608. Which is smaller: u or 2/47?
u
Let p(i) = -i**3 + i + 1. Let y be p(-1). Let s = -772/81 + 10889/1134. Which is smaller: y or s?
s
Let m(h) = h**3 + 12*h**2 - 12*h + 18. Let f be m(-13). Let s be 73/4 + 10/(-40). Suppose -j - s = -2*j + 5*a, 4*a = -8. Which is smaller: f or j?
f
Let u(x) = -6*x**2 + 430*x - 1104. Let s be u(69). Do s and -1/28646 have the same value?
False
Let l = 13283 + -13465. Is -727/4 less than or equal to l?
False
Let q = -2/663507 + 17659508/4644549. Is q at least 4?
False
Let h be 10633/20 - 3/4. Let z = h - 532. Suppose 14*j - 6 + 34 = 0. Which is greater: j or z?
z
Let p = 5207 - 5223. Suppose 0 = -2*t + 3 + 3. Suppose v + 0*v = t. Is p > v?
False
Suppose 140442 = 32*v - 117350. Is 8054 bigger than v?
False
Let t(a) = -a**2 - 6*a + 280. Suppose -v = -4*i - 0*i + 61, -5*i - v = -65. Let z be t(i). Is z > 1/495?
False
Suppose 4*w + 3*c = -12609, 5*c - 15805 = 64*w - 59*w. Is w <= -3156?
True
Let r = 0.8 - 1. Let s = 0.055 - -4.745. Let g = r - s. Which is greater: g or 0.3?
0.3
Let g = 864117/96688 - -2/6043. Are 8 and g non-equal?
True
Let d(i) = 89*i**2 + 1210*i - 15. Let g be d(-14). Is g at least 485?
True
Suppose 0*b - b - r = -35, 0 = -b - 3*r + 39. Let o be (3 + -3)*(-1)/2. Suppose 3*g = 2*k + 106, -2*g + o*k + 60 = 4*k. Which is smaller: g or b?
b
Suppose 4*x - 2*i + 18 + 298 = 0, -x + 5*i - 61 = 0. Which is greater: x or -69?
-69
Let b = -16 + 17.1. Let d = -0.0408 + -1.3592. Let u = b + d. Which is bigger: 1/4 or u?
1/4
Let f = 0.16 - 228.16. Let q = -228.6 - f. Is 7 <= q?
False
Let q be (-3 + 2)/((-65)/(-6)). Let f = -4168/43745 - q. Which is smaller: 0 or f?
f
Let v(d) = -d**2 + 12*d + 11907. Let h be v(116). Is -39 at least as big as h?
True
Suppose -173*h = -225*h + 119*h. Which is smaller: h or -10/537?
-10/537
Suppose g - 5*s = 281, -g + 58 = -2*s - 223. Let f = 279 - g. Which is bigger: -11/4 or f?
f
Let w = 79 + -221. Let a = w + 2977/21. Suppose 8*f + 72*f = -80. Which is greater: a or f?
a
Let s = -29 + 27.78. Let r = s - -12.12. Let x = r + -11. Which is gr