ch is greater: 688/15 or v?
v
Let t = 28601585/1082 - 26434. Let c = t - -1091/3246. Let n = 2 + -23. Which is smaller: n or c?
n
Suppose 0 = 5*n + 1 - 6. Let b(s) = -3*s + 23. Let z(j) = 4*j - 22. Let l(v) = 5*b(v) + 4*z(v). Let d be l(-3). Which is smaller: d or n?
n
Let b = -199 + 200. Which is bigger: -3/215 or b?
b
Suppose 0*b - 8*b + 40 = 0. Suppose 3*w - 11 = 4*y, w - 2*w + b = 0. Are -4/49 and y unequal?
True
Suppose 3*n + 876 = a + 2*a, -4*n - 3*a - 1189 = 0. Let u = -450 - n. Which is smaller: u or -2/3?
u
Suppose 26*j - 27*j + 2 = 0. Suppose -4*x + 24 = -j*x. Suppose 3*q = 132 - x. Do q and 39 have the same value?
False
Let l = -3.33 + 3.04. Let s = l - -0.18. Which is greater: 2 or s?
2
Let r = -6486115/123 - -52733. Which is bigger: r or -1?
r
Let v = 72 + -72. Suppose v = c - 7 + 3. Suppose -c*n = -7*n - 5*n. Is n >= -2/57?
True
Let h be -90*9/((-450)/(-20)). Let y(f) = -5*f**2 + 2*f + 4. Let u be y(3). Are u and h equal?
False
Let u(t) be the third derivative of t**5/30 - 5*t**4/12 + t**3 + 2*t**2 - 1. Let w be u(4). Which is smaller: w or -0.53?
w
Let z = -0.37107 - -0.07107. Let d be 1 - -1*(2 - -7). Let i be 3/(-6) + d/18. Which is bigger: i or z?
i
Let v = 4304 + -4309. Is v smaller than -352?
False
Let l = -217.34791 + 0.34791. Which is smaller: l or 8?
l
Let u(f) = -40*f + 2600. Let k be u(65). Let h = 15 + 3. Let m = h + 19. Is m bigger than k?
True
Let q be (24*(-28)/(-1344))/(0 - (-1)/(-1070)). Does -2 = q?
False
Suppose -2*n - 3*h = 1464 + 396, -4*h - 940 = n. Let m = n + 921. Do m and -10/11 have the same value?
False
Let g = 5.2822 - 5.54. Let x = -0.0422 + g. Is -0.063 at most x?
False
Suppose w + 3*f = 5*w - 252, 5*w - 315 = -4*f. Let i = w - 38. Let p be 1/(12/48*4/25). Is p greater than i?
False
Let z be (2 - -2 - (-294)/(-77)) + (-24)/(-110). Is z != 2204?
True
Let r = -10399.8309 + 10400. Which is smaller: -4/3 or r?
-4/3
Let l(i) = -2*i + 16. Let m be l(13). Let p(r) = -r**2 + 4*r - 6. Let k be (-1 + -4)*(-1 + 0/(-2)). Let g be p(k). Which is bigger: g or m?
m
Suppose 75*a + 18 + 79 = 22. Let p be ((-258)/(-1854))/((-26)/18). Let y = -2/103 - p. Which is smaller: a or y?
a
Let h(t) = -t - 1. Let w(r) = -3*r + 31. Let c(a) = 6*h(a) - w(a). Let f be c(-11). Let s be 1/(((-8)/42)/f). Is s greater than or equal to 21?
True
Suppose 0 = -3*f - r - 6, 40 = 61*f - 66*f - 5*r. Which is smaller: f or -12/8657?
-12/8657
Let z = 189.06 - 129.06. Which is bigger: -2/111 or z?
z
Suppose 0 = -219*t + 261*t + 51492. Is t != -1228?
True
Suppose 27 = 3*g - 5*x, -x - 21 = -2*g - 17. Do g and 1/61222 have different values?
True
Suppose 166 = 7*w + 34*w - 6558. Is 112 <= w?
True
Let n(q) = -2*q**2 + 61*q - 18. Let h be n(-7). Which is smaller: -535 or h?
h
Let q = -21.253 + -0.247. Let a = -22 - q. Is 1 <= a?
False
Let n = 745.34 - 739. Let k = -11.16 - -12. Let g = n - k. Which is greater: g or -0.1?
g
Let b = 0.6901 - -1.7299. Which is smaller: -11 or b?
-11
Let v = 529 - 541. Let d(a) = -6*a**3 - 11*a**2 + 15*a - 32. Let f(c) = -c**3 + c - 1. Let y(g) = -d(g) + 5*f(g). Let i be y(v). Is i != 0?
True
Let b be (-12)/(-18) + ((-26285)/30 - 1). Let k = b - -876. Is 0.117 at most k?
False
Suppose -5*c + 45 = -5*m - 3*c, 5*m + 15 = -4*c. Let n(l) = 2*l + 13. Let h be n(m). Let v be 26/117 + (-118)/126. Which is smaller: h or v?
h
Suppose -6*k - 71 - 49 = 0. Let y be (1 + -31)/(7 - k/(-3)). Let n = 89 + y. Is n < -17/8?
False
Let z = 294 - 306. Let m be (16/(-6) - z/18) + -4. Which is bigger: m or -18?
m
Let w(h) = -12*h**2 + 1060*h - 345. Let g be w(88). Which is smaller: 0.5 or g?
0.5
Let f be 4/((-1068)/(-9))*(-43)/((-2480670)/(-60)). Which is bigger: f or 1?
1
Let j = 12801/2 - 6397. Suppose 5*p - 4*a + 8 = 0, -5*p - 4*a + 4 = -4. Let q = 3 + p. Does q = j?
False
Let o = -1276 - -1276. Which is smaller: 130 or o?
o
Suppose 39*o = 2*u + 44*o - 22, -5*u + o = -1. Suppose b + 138 = -457. Let a = 14877/25 + b. Is u <= a?
False
Suppose 5*r = 3*p + 446, -4*p - r - 556 = 2*r. Let z = 168 + p. Is 26 bigger than z?
False
Let b = 599 - 693. Let t(m) = 4*m + 28. Let i be t(-7). Is b equal to i?
False
Suppose -2*j + 3*k - 254 = -k, -2*j - 261 = 3*k. Let h = -79 - j. Let l be (-10)/h - 18/10. Is 1 <= l?
False
Let k be ((-1365)/25)/((-1)/(-5)). Let q = k - -1369/5. Let u = 5.49 + -1.49. Is u < q?
False
Let b(l) = -12*l + 11 + 17*l**2 - 5*l**2 + 5*l**2 - 12*l**2. Let s be b(1). Is s at least -7?
True
Let p be ((-141)/94)/(1/(-4)) + -5. Is p <= -1/5894?
False
Suppose -6780 = 9*f - t, -1520 = 2*f - 95*t + 97*t. Let p = -2505 + 1752. Is p at least as big as f?
True
Let y = 9.0646 + -0.0646. Which is greater: 11 or y?
11
Suppose i - 3*r + 13 = 0, 72 = -4*i - 10*r + 12*r. Is i >= -106?
True
Let x = -8 + 19. Suppose -3*d - 2003 = -3*n - 1976, -2*d = 2*n - 22. Which is greater: n or x?
x
Let h = -3214/83 + 1437345/37018. Which is smaller: 1 or h?
h
Let n = -0.06 - -0.085. Let a = 0.075 + n. Let d = -3.2 - -0.7. Is a at most as big as d?
False
Let h = 0.1 - 0.1. Let t be 750/1025*(-10)/(-60)*6/10. Is h smaller than t?
True
Suppose -3*u - 150 = -4*u. Let t be -3*(-4792)/96 - (-2)/8. Is u at least as big as t?
True
Let p = 241983/21890 - 9/995. Is 12 < p?
False
Let n(r) = r**3 + r**2 - 12*r + 4. Suppose -259*x = -262*x + 15. Let v be n(x). Is v > 93?
True
Let x(s) = 12*s**2 - 720*s - 109. Let m be x(60). Which is smaller: m or -23/2?
m
Let v be 54/26*13*((-28087)/9363 - -3). Is -1 at least v?
False
Let t = 608/993 + 18/331. Is t at most -2/1149?
False
Let j(b) = 10*b - 57. Let k be j(7). Suppose k*f + 177 = -1084. Which is smaller: -393/4 or f?
-393/4
Suppose -258 + 191 = 67*l. Is l > 4/1353?
False
Let i = 3078 + -1692. Which is smaller: -0.1 or i?
-0.1
Let w = -235 - -234.62. Let c = -6.38 + 7. Let d = w - c. Which is smaller: d or -0.5?
d
Let v = 1043/5 - 17727/85. Let m(q) = q**2 - 14*q + 22. Let p(g) = 3*g + 1. Let d(a) = m(a) + p(a). Let z be d(8). Are z and v nonequal?
True
Suppose 4*l = 3*x + 36, 2*l - 3*l + 9 = 5*x. Let n be 14*(-72)/36*(-1)/4. Is n greater than l?
False
Let i = -4232 + 4412. Is i >= 180?
True
Let t(b) = -6*b - 3. Let o be t(-5). Suppose 0 = 29*a - 23*a - 18. Suppose -a*w + 73 = -7*c + 12*c, -2*c - 106 = -4*w. Are w and o non-equal?
True
Let o be (36/(-54))/(1/318). Is 0.01 >= o?
True
Let h = -3780.89 + 3781. Which is bigger: -1.79 or h?
h
Let w be ((-4)/(-9) - 84/(-945))*261/102. Which is smaller: 1 or w?
1
Suppose 1658 + 1702 = -14*i. Does -243 = i?
False
Let l(b) = -b**2 + 2. Suppose 2*j + 12 = -j. Let a be (-5)/((-30)/8) - j/(-12). Let v be l(a). Which is greater: v or 3/2?
3/2
Let b(l) = -4*l + 10. Let h be b(25). Let r = -84 - h. Let w be (9/r)/((-6)/40). Is -29/3 >= w?
True
Let n = -1314 - -1289. Is 4 >= n?
True
Let w(q) = -12*q + 167. Let t be w(13). Suppose -2*k = 4*u - 38, 0 = 4*u - t*k + 6*k - 45. Is u > 2/35?
True
Let d = 142.971 + 0.029. Let f = 1.11465 - 1.11465. Is d at least f?
True
Suppose -63*t - 110 = -68*t. Suppose 11*n = -3*n - t*n. Is 4/249 at least as big as n?
True
Let y(t) = 1888*t**3 - 4*t**2 + 5*t - 2. Let w be y(1). Suppose w = -8*f + 45*f. Which is bigger: -3/4 or f?
f
Let w(d) = d**3 + 13*d**2 - d + 3. Let x be w(-13). Suppose 2*b - x = 6*b. Let f be -2*(18/4 + b). Which is smaller: -6/7 or f?
f
Let p be ((-93)/(-2))/(33/(-44)). Let o(f) = -94*f + 30. Let u be o(1). Which is smaller: u or p?
u
Let j = 30 + -25. Suppose 25 = j*m, 3*m + 75 = -5*u + m. Let s = 16 + -34. Is s less than u?
True
Let z be (-12)/(3/(-6) + (-2)/(-8)). Let g be 3/(-4) + 36/z. Suppose 6*b - 10*b + 20 = g. Which is bigger: b or 21/5?
b
Let y = -32 - 56. Let g = y - -72. Let n = 25 + g. Which is bigger: 4 or n?
n
Let y = -490 + 597.9976. Let h = y + 0.0024. Is h equal to 1/4?
False
Let m = 5657 + -4994. Which is smaller: 662 or m?
662
Let t = 21112 - 22366. Does -1249 = t?
False
Let a be 19 - 1 - (2 + -4). Suppose 7*k - 4*k = -2*d - 35, 0 = -d - 2*k - 17. Let t = d + a. Which is greater: -0.1 or t?
t
Suppose 726*j + 72 = 708*j. Suppose 0 = -s - 2*s + 9. Is s > j?
True
Let r be (58/2 - 1)*9/4. Let g be 7/(r/2)*(-28)/246. Let x = 2/41 - g. Is x equal to -1?
False
Let s = 1903 + -1993. Is s at least -90?
True
Let n = -23199922/925 - -25081. Is n at least -1?
True
Let v be (-6)/27 + (-2)/9 - (-10)/(-18). Which is greater: v or 3/