 s?
True
Let c = 5 + -5. Let y = 11679 - 11665. Which is smaller: c or y?
c
Let d(w) = -10*w - 18. Let g be d(-2). Let t be (g - 3)*((-5 - -2) + 4). Let j = -661 + 32391/49. Is j at least as big as t?
True
Let j(x) = x + 40. Let h be j(-43). Let l be (-1)/(-5 + (-140)/(-26)). Which is smaller: l or h?
h
Let y be 6 + (-5)/(25/1670). Which is smaller: -326 or y?
y
Let y be (((-24)/30)/(-1))/(-8 + 18385/2300). Is y > -124?
True
Let b = -5726 - -5828. Let v = 40 + 61. Which is smaller: v or b?
v
Let u be 2 + ((-166124)/164 - -4 - -2). Let o = u - -1005. Let t be 4/6 - 4/6. Is o bigger than t?
True
Let a = 61 + -211. Let l = a - -149.6. Which is bigger: l or 10/3?
10/3
Let s = 25/164 + 4/41. Let g = s - -1/4. Let i be (426/(-65) - (-2)/5) + (857 - 851). Is i <= g?
True
Let p = -0.13 + -0.562. Let a = -0.062 - -0.07. Let j = a - p. Are j and 0 unequal?
True
Let c(z) = 415*z - 2814. Let d be c(-21). Which is smaller: -11528 or d?
d
Let x(a) be the first derivative of 5*a**2/2 - 10*a + 77. Let o be x(2). Which is bigger: 56 or o?
56
Suppose 5*r = k + r + 25, 0 = k - 2*r + 15. Let j be -1 + (0 - (k - -2)). Suppose 2*f = -5*s - 27, j*f + s - 3 = -10. Is -15/7 less than or equal to f?
True
Let o = -238.9494 + -0.0506. Let s = o - -238.9. Which is smaller: 134 or s?
s
Let w = 2/197 - 25/21867. Suppose 0 = f + 2*o + 1, 2*f + 19*o + 2 = 17*o. Which is smaller: f or w?
f
Let x(p) = 5*p - 14. Let b be x(3). Let u be 1*(b - (-39)/(-33)). Suppose -2*w + 5 = 3. Is w bigger than u?
True
Suppose 2*j = 19 - 19. Let k = -221502/443 - -500. Which is bigger: k or j?
j
Let u = 30 + -21. Suppose -19 + u = s. Suppose 0 = 3*c + 3*n + 42, 5*c + 20 = 5*n - 0*n. Is s > c?
False
Suppose -1015 = 95*s - 100*s. Suppose -13*h - s - 135 = 0. Is h greater than -26?
False
Let v(n) = -23*n**2 - 68*n + 272. Let z be v(8). Is z at least -1740?
False
Let l be 5/(-2)*24/270. Let w = -979/2 + 536. Is w bigger than l?
True
Let n = -2557 - -2558. Which is smaller: 2/589 or n?
2/589
Let m = 142 - 151. Let r be 560/(-42) + 6/m. Which is smaller: -10 or r?
r
Let l = 0.36 - -26.64. Let j = -308187 - -308187.2. Which is greater: l or j?
l
Let g = -7/456 + 4765/152. Let v(w) = -104*w + 5231. Let j be v(50). Are g and j nonequal?
True
Let k = 56244 - 335099/6. Which is bigger: k or 394?
k
Let h be 3/6*2/3*9. Suppose 4*x = x + 5*m + 90, -5*x + 134 = -h*m. Which is greater: -3 or x?
x
Let l = -33568313886 - -18582915042572424/553585. Let n = l - -2/2089. Which is smaller: 0 or n?
n
Let n = 85797 - 2482879381/28939. Which is smaller: n or -1?
-1
Let n(j) = 7*j + 45. Let f be n(-11). Let q(m) = 2*m**3 + 7*m**2 - m - 3. Let v be q(3). Let c = v - 144. Is f >= c?
True
Suppose s - 2 = -t, -5*t - 19*s + 24*s + 10 = 0. Suppose -4*b - 267 - 163 = -t*a, 0 = 4*a + 3*b - 882. Which is smaller: a or 218?
218
Let n = -447 - -446.9984. Let z = -0.2184 + n. Which is bigger: z or -6?
z
Suppose 4*x + 195 = -x. Let a = 2240 - 1483. Let k = a - 756.9. Which is smaller: k or x?
x
Let f = 1033 - 1131.3. Let h = 105 + f. Let s = h + -3.7. Is s at least 2?
True
Let x = 0.118 - -622.882. Let r = -500 + x. Is 0.2 at most r?
True
Let c(d) = -14*d - 10. Let w be c(-4). Let a be (-3)/(-36) - w/(-24). Let z(p) = -3*p - 1. Let l be z(-1). Is a equal to l?
True
Suppose 2*m - 44380 = -7*m - 22564. Which is bigger: m or 2423?
m
Suppose 1 = b - 1. Let l = -6.081 + 6.3. Let h = l + -13.219. Which is bigger: b or h?
b
Let a = -29671/40827 + -20/1317. Which is greater: 0 or a?
0
Let t = 134 + -126. Suppose 3*s + c - t = 0, s - 2 - 6 = 5*c. Is 28/15 less than s?
True
Let t be ((-1)/(-3))/(4*1/24). Suppose -a + 2*v = -177, -v + 5*v = -t*a + 378. Let r be (4/(-12))/(1/a). Is r less than -61?
False
Let x = -1026 - -1790. Suppose 3*h - 2*i = -347, 0 = -4*h + 2*i + 304 - x. Which is bigger: h or -115?
h
Let b = 2 + -1.9. Let r = 1/3070 - -5721/1286330. Let z = 339/16760 + r. Is b less than z?
False
Suppose -8*s - 6270 = 4*h - 10*s, -5*h = -5*s + 7850. Which is bigger: -1558 or h?
-1558
Suppose -2*k + k + 42 = 0. Suppose 0 = -3*u + 2*y + 1546, u - 3*u + 2*y + 1030 = 0. Let h be 6/(-21) + u/k. Which is bigger: 11 or h?
h
Let y be (-114)/(-430) + (-5)/((-800)/(-48)). Suppose -m + 8 = 5*n, 5*m = n + 4 + 10. Do y and n have different values?
True
Let u(g) = -g**3 + 51*g**2 + 276*g + 172. Let y be u(56). Are 32 and y equal?
False
Let x be (286/39 + -7)*0. Which is greater: -3/610 or x?
x
Suppose 6*f = 3*f - 21. Let p be ((-24)/(-21))/((-6)/f). Let v = 577 - 577.1. Does p = v?
False
Let w(s) = 75*s - 824. Let u be w(11). Which is bigger: u or -2/135?
u
Let g = 703 - 16172/23. Let d be (-2*6/24)/(6/(-4)). Is d smaller than g?
False
Suppose -42 = -4*u - 3*t, 4*u - 30 + 0 = 3*t. Let n be (3 - (-11)/u*-3)/(-2). Let x be -4*(1 - (-29)/(-32)). Is x <= n?
True
Let k be 4*((-5)/10 + (-2 - -4)). Let m be (k - 3)/(1 - 51/54). Which is bigger: 55 or m?
55
Let x = -30 + 50. Let t = -20 + x. Suppose -a + 12 = -t. Is 5 != a?
True
Suppose 3*t - 4*q - 1510 = t, 0 = 4*t - 3*q - 3035. Suppose -15*n - t = -3686. Is n > 196?
False
Let n = -0.12556 + -0.07444. Is n at least as big as 5.01?
False
Suppose -5*p + 8*n - 10*n - 25 = 0, -38 = 4*p - 2*n. Which is greater: -94/13 or p?
p
Let d = -259.1743 - 0.0257. Let m = 259 + d. Is 0 >= m?
True
Let q = 298.543 + 5.557. Let n = q + -304. Is 1/10 >= n?
True
Suppose 4*h + 8 = -4*h. Let n be 13/(-52) - h/((-12516)/(-3133)). Let u = -18727/147063 - n. Which is smaller: 0 or u?
u
Let q(k) = -19*k**3 + k**2 + k - 1. Let g be q(1). Suppose 12*f + 38 = 98. Suppose 2*w + 138 - 106 = -2*l, 0 = 3*w + f*l + 42. Is w greater than g?
False
Let b = -2254187/45879 + 2013/41. Which is bigger: b or 0?
0
Let q(d) = -d - 6. Let s(w) = -w - 5. Let z(g) = 3*q(g) - 2*s(g). Let f = -3171 + 3158. Let i be z(f). Is 1 less than or equal to i?
True
Let w = 0.3547 - 0.1547. Which is smaller: 599 or w?
w
Suppose 0 = -5*t - 4*n - 19269, 0*t = -5*t + 4*n - 19221. Is 0.1 equal to t?
False
Let z = -3 - -2. Let m = -16.517 + 16.637. Is z smaller than m?
True
Let q = 101.872 - 26.978. Let f = q - -0.106. Let u = -75.01 + f. Which is bigger: 0.1 or u?
0.1
Suppose 0 = q - 3, -14*q - 146 = 4*r - 16*q. Is r greater than -30?
False
Let a(m) = m**3 + m**2 - 22*m - 11. Let r be a(-8). Let x = r - -1979/7. Do -0.084 and x have the same value?
False
Let t = -2264 + 2251. Are -8.7 and t nonequal?
True
Let w = 1112 - 1131. Let q(m) = -m**3 + 5*m**2 + 9*m + 9. Let l be q(7). Which is smaller: l or w?
l
Let y = 93 + -195. Suppose -32*m - 592 = -40*m. Let d = y + m. Which is bigger: d or -27?
-27
Let u be 2/46 - (-1206167)/(-7429) - -12. Is -151 > u?
False
Let a = 0.5 - 0.5. Suppose 92*v + 24*v = -3*v - 6307. Which is smaller: a or v?
v
Let k = 34648 + -138591/4. Is -11281 equal to k?
False
Let s(o) = 84*o - 251. Let h be s(3). Which is greater: 5/1218 or h?
h
Let h = 28403.15141 + -0.15141. Which is smaller: -1 or h?
-1
Let i be ((-1655)/350 - 0) + 1 + (-44)/28. Which is bigger: -4 or i?
-4
Suppose 5*o = 5, 4*o - 72 = -0*w - 4*w. Let k = w - 11. Let g = k - 11. Is g less than -4?
True
Let v be ((-1)/(-2))/(7/56). Let d(y) = 30*y**2 + 26*y + 2. Let s be d(v). Is 587 at least as big as s?
True
Suppose -129 + 29 = -50*q. Is 60/97 at least as big as q?
False
Let z = 80852/1725 + -1158/25. Which is bigger: z or 1?
1
Let p be (2 + 4 + 0)/((-39)/(-338)). Do p and 57 have different values?
True
Suppose g + 5*a - 8729 = 0, 20176 = 3*g - 5*a - 5991. Is g > 8723?
True
Suppose 5*m - 10 = -20, -4*h + m = -2778. Is h not equal to 699?
True
Let j(c) = -c**3 - 4*c**2 + 13*c + 6. Let v be j(-6). Let x be 12/18*(-1635)/34. Let r = -32 - x. Is r at least v?
True
Let t = 1970843 + -45309083/23. Let h = t + -883. Suppose 0*p = -2*p. Is p smaller than h?
False
Let s = -8.5329 - -8.49. Let z = 153608 + -153607. Is z != s?
True
Let b be 24/(-5)*(-1)/(-4) - (-13899)/1695. Which is bigger: 108/13 or b?
108/13
Suppose -11 + 4 = -7*d. Let i(w) = 3*w**3 + 3*w**2 - 5*w + 3. Let q be i(d). Suppose q*g - 4*y + 2 - 10 = 0, -g = -2*y - 4. Is 10/9 greater than or equal to g?
True
Let r(a) = 3*a - 27. Let b be r(7). Let w(d) = 223*d**2 + 1. Let f be w(-1). Let o be 4/b*240/f. Which is greater: o or -2?
o
Let r = 2.72 + -2.8. Let t = r + 0.67. Let y = 1112/3 - 370. Which is smaller: y or t?
t
Let z = -19