09 + 65. Let d = 157 + m. Is 1 >= d?
True
Let y = -262 + 299. Let l = 50 - 12. Which is greater: l or y?
l
Let d = -210 + 210.207. Let h = d - 0.207. Let u = 0.2 + -0.28. Is u at most as big as h?
True
Let k be (-4)/10*(-710)/(-639). Is 6/17 at least as big as k?
True
Let r = 1/60837 + 52730/493205559. Are -1 and r nonequal?
True
Let k(l) = 3*l - 7. Let f = 375 + -372. Let j be k(f). Is -130 bigger than j?
False
Let l = -14.21 - 4.39. Let o = l - -8.6. Is 3 less than o?
False
Let m = -9.2 - 13.8. Which is greater: m or 1?
1
Let v = -27627.0821 + 27627. Which is bigger: v or -6?
v
Let g be 20/3*(-189)/(-105). Let t be (-84)/16*g/(-9). Suppose -65 = t*h - 23. Which is smaller: h or -4?
h
Suppose 0 = -b + 6*z - 2*z + 589, 4*z - 1751 = -3*b. Let r = -13458/23 + b. Suppose 0 = 5*n + 9 - 4. Does r = n?
False
Let h be 16/64 - (-22)/8. Suppose -h*q + 3*y = 2*q - 7, 4*y + 17 = -q. Let t be (8/48)/(q/(-6)). Are t and 0.11 unequal?
True
Let x = 16481 + -16773.22. Let v = 296 + x. Let d = 0.22 + v. Do 0.1 and d have the same value?
False
Let d = 141.3 - 12.3. Let n = d + -128.9. Which is bigger: n or 0.35?
0.35
Let r = 392 - 295. Let v = 97 - r. Does v = -3/31?
False
Suppose 870*j - 873*j = 3168. Is j < -1056?
False
Let x = 28622 - 26803. Is x at most as big as 1819?
True
Suppose -4*r = -250*i + 248*i - 32, 2*i = -2*r + 16. Which is smaller: i or 1/24157?
i
Let d = 1.7118 + 0.2882. Is d < 189.7?
True
Let s = -21 - -102. Let j be 1/(s/99 - (-4)/22). Are 3/2 and j unequal?
True
Let f = 0.5878 - -2459.4122. Which is smaller: 0.3 or f?
0.3
Suppose -42 = -2*x + 4*d, 3*d + 3 = -2*x - 2*d. Suppose 0 = -7*s - 18 + x. Which is smaller: 1/73 or s?
s
Let y be -21 - 249*(-2720)/32208. Which is greater: y or 1?
1
Suppose -10 = -12*o + 9 - 7. Which is greater: o or 87/89?
o
Let o(b) = -4*b**2 + 349*b - 352. Let r be o(86). Suppose 146 = 2*w - 0*v + 2*v, 300 = 4*w - 4*v. Which is bigger: r or w?
r
Let z = -5921 + 5920.95587. Which is greater: 1 or z?
1
Let n = 10182 + -10180. Which is greater: 173.3 or n?
173.3
Let j = 536.6 + -514.647. Let o = -0.047 - j. Suppose u + 8 = -2*f, 2*f + 3*f - 3*u = 2. Is o at least as big as f?
False
Let h = -28 - -32. Let n be (-1)/(1 - (h - 2)). Suppose -17*r - 7 = -i - 15*r, -3*r = 12. Which is greater: n or i?
n
Let i = 2199 - 2244. Which is greater: -21 or i?
-21
Let x = 1 - 2. Let c be (2 + x)/((-1)/3). Let r be (7 - -1)*(40 + 6594/(-168)). Is r <= c?
False
Let p be (-10)/45 + (-148)/(-18) + 6/(-9). Let z(v) = -v**2 + 4*v - 4. Let u be z(1). Which is greater: u or p?
p
Let n = 4018 - 4018. Which is bigger: 2547 or n?
2547
Let t = 158.54 + -232.1. Let n = -74 - t. Let w = n + 0.39. Which is smaller: w or -1/5?
-1/5
Let g(z) = -z**3 + z**2 + 3*z + 9. Suppose 12*b - 17*b + 15 = 0. Let n be g(b). Are -4/15 and n unequal?
True
Suppose c = 4*f - 20, 4*f + 3 = -5*c + 23. Suppose -f*l - 64 = a, -12*a = -10*a + 5*l + 103. Is -39 at most a?
True
Suppose 0 = -6*b + b + 30. Let a(o) = -o**3 - 19*o**2 - 21*o + 51. Let g be a(-18). Suppose -b*l + l = -g. Is 23 >= l?
True
Let q = -944 - -563. Which is bigger: q or -384?
q
Let k = -71 - -47. Suppose -3*y + t - 2*t - 85 = 0, -60 = 2*y - t. Let c = k - y. Which is greater: c or 17/3?
17/3
Let r = 2499 - 5827. Which is greater: r or -6653/2?
-6653/2
Let d be 4/(-14) - 6/(2268/43446). Let a = 115 + d. Is a <= -109?
False
Suppose 0 = -0*i + i. Suppose 5*k + 4*q - 15 = 0, i = 5*k - 4*k + q - 4. Let s = 11948 - 155332/13. Which is greater: k or s?
s
Let n = 29705 - 28596. Is n > 1113?
False
Let y = 8225 - 7065. Which is bigger: y or -2/13?
y
Let q = 5 + -4. Let f = -22305 + 11397853/511. Is f > q?
False
Let c be 1*(30734/(-330) + 2/15). Let n = -88017 - -2378969/27. Let h = n + c. Which is smaller: 0 or h?
h
Let s be 136/(0 + (6 - 8) + 0). Which is smaller: -54 or s?
s
Let d be 2 + (-20)/60*(1 + 2). Suppose 3*w - 32 = -q, 1 + 2 = 2*w - 3*q. Let r be w/(549/(-242)) + 4. Which is smaller: r or d?
r
Let d be (-885)/(-6)*(-54)/45. Let w = 180 + d. Which is smaller: 4 or w?
w
Let p(o) = 23 + 16 - 2*o**3 - 10*o**2 + 10*o - 4*o - 49 - 3. Let k be 8/(-12) - 16/3. Let l be p(k). Which is smaller: l or 25?
l
Suppose -333*z + 336808 = -128393. Is z > 1399?
False
Let z = -0.05162 + 0.31162. Which is bigger: z or -0.18?
z
Suppose -2*h - 3*k - 245 = 686, 2*h + 925 = 3*k. Is -463 at most h?
False
Let k = -236/5 - -48. Is 18/5 smaller than k?
False
Let c(w) = 4*w**3 - 2*w + 1. Let k be c(1). Suppose -a + k*g - 55 = 0, 6 = a + 4*g + 33. Let h = a + 50. Which is bigger: h or 25/3?
25/3
Suppose 0 = -3*h - 5 - 19. Suppose -9*v - 18 = 23*v + 270. Which is greater: h or v?
h
Let z be 6822/60 + (-1)/5. Suppose 5*s - 563 = w, 24 = 30*w - 28*w. Is s != z?
True
Let n(z) = -2*z**2 - 7*z + 87. Let l be n(5). Suppose -2*k + 2 = -2. Suppose 2*w + 2 = -k*i, 0 = w - 3*i + l - 17. Is 3 smaller than w?
False
Let y = 3990/11 - 92628/253. Which is smaller: y or -2?
y
Let m(h) be the third derivative of 3*h**3 + 0*h + 1/12*h**4 - 7*h**2 + 0. Let o be m(-9). Which is smaller: o or -4/13?
-4/13
Let c be 3/(-58)*17/(7191/(-376)). Let t(f) = f**3 - f**2 + 1. Let s be t(1). Is c less than s?
True
Let t be -2401 - ((6 - 9) + 4). Is -2404 bigger than t?
False
Let q = -82.883 + 83. Let b = q + 0.083. Which is greater: 6 or b?
6
Let u = 2646 + -2017. Which is greater: -2/7 or u?
u
Let d be (-707)/(-2940) + 8/(-60). Let j be 0/(-3) + 3 - 2. Which is smaller: d or j?
d
Let k = -2/159 + 173/1113. Let g be 5/(-10)*(-4)/1 + 2. Suppose -8*y + 3*y = g*i - 9, 3*y - i = 2. Which is bigger: k or y?
y
Let k = -12919131/589 - -21934. Which is smaller: k or -1?
-1
Let w = 2.92 - -0.08. Let g = 374 - 390. Let x be (-9)/6*9/((-756)/g). Is x at least as big as w?
False
Let w = -2075268530311463/29085 - -71351849065. Let g = -2/5817 + w. Which is smaller: g or -0.1?
g
Let l be (30/25)/(2 - (-133)/(-70)). Let m(a) = a**3 + 7*a**2 - 2. Let t be m(-7). Let n be 92/(-8)*2/t. Is n at least l?
False
Suppose o - 6476 = -4*i, o + 4*o - 3238 = -2*i. Let t = i + -108481/67. Is t less than 0?
True
Let k = 0 + 344. Let s = -308 + k. Which is smaller: 0 or s?
0
Suppose 0 = 13*x - 11*x - 282. Suppose 4*t - 5*f = 548, f = -3*t - f + 434. Which is smaller: t or x?
x
Let k = 149.3 + -1056.3. Which is smaller: -0.01 or k?
k
Let w(v) = v - 15. Let o(z) = z - 5. Let h be o(17). Let s be w(h). Let g = 89/14 + -34/7. Do g and s have different values?
True
Let s(t) = 359*t - 2976. Let h be s(9). Is h smaller than 236?
False
Let c be (210/72870)/(-1*1). Which is smaller: c or 0?
c
Let v = -11539 - -11544. Is 67 smaller than v?
False
Let p = -37904.99 + 37905. Which is smaller: -63 or p?
-63
Let l = -0.07235 - -14.07235. Which is smaller: l or 219?
l
Let m(b) = 10*b - 69. Let n be m(8). Suppose -5*k - 12*q = -n*q - 8, -5*k + q = -2. Is k less than or equal to 1/433?
False
Let p be (11/(-1))/(-7 - -8). Let x be ((-4)/762)/(p - (1 + -14)). Which is greater: 1 or x?
1
Let u(m) = -m**3 + m**2 + 4*m + 2. Let s(h) = h**3 + 3*h**2 + 9*h + 5. Let b(w) = -3*s(w) + 5*u(w). Let g be b(-3). Which is bigger: g or 195?
g
Let o = -1315 - -1333. Is o less than 77/4?
True
Let y = 23/22 - 43/22. Let i = -82/55 + y. Let m = i + 28/15. Is 0 at most as big as m?
False
Let b(x) = x**2 - 4*x + 4. Let w be b(3). Suppose 0 = 5*t - 3*t + 4*a + 226, -2*t = -2*a + 226. Let q = 571/5 + t. Which is smaller: q or w?
w
Suppose 0 = 2*j - 5*m + 723, j + 3*m = -544 + 155. Is -2622/7 equal to j?
False
Let g = 367/3 + -1711/12. Let c(f) = -2*f + 1. Let i be c(-2). Suppose 0 = i*d - 0*d + 105. Are g and d equal?
False
Let s be 3/485*3*(-10)/12. Let c = 691/776 + s. Let w(d) = d**3 + 5*d**2 + 4*d + 2. Let r be w(-4). Is r at least as big as c?
True
Suppose 5 = -5*v, 2*h + 5*v - 1 + 10 = 0. Let z be (h - (-4 + -2))*38/(-12). Which is bigger: z or -12?
-12
Let z(m) be the first derivative of 29 - 1/3*m**3 - 1/4*m**4 + 9/2*m**2 + 0*m. Let w be z(-4). Is 11 at least as big as w?
False
Let k(t) = -24*t - 1199. Let s be k(-50). Is s at most -33/193?
False
Let r(z) = -z**3 - 5*z**2 - 3*z + 12. Let c be r(4). Let b = c - -136. Which is smaller: -10 or b?
-10
Let t = -9271.5931 - -9271. Let w = 0.621 + t. Is -1/3 at least as big as w?
False
Let k = 32 + -27. Suppose -p + 0*p + k*o - 11 = 0, 5*p + 25 = -5*o. Let g be 1*p/(-237) - 0. Is