h is smaller: 482/7 or y?
482/7
Let w = 0.2297 - -1.0803. Which is bigger: 7/2 or w?
7/2
Let a = 12534 + -62668/5. Let k(p) = p**3 - 6*p**2 - 6*p - 7. Let l be k(7). Is a bigger than l?
True
Let u(o) = -o - 2. Let h be u(-7). Let m = -8.24 - -12.33. Let t = 0.09 - m. Which is smaller: h or t?
t
Let m = -35446 + 35479. Is 73 != m?
True
Let l = 0.9811 - -0.0189. Let x = -44 + 44.91. Let g = l - x. Which is smaller: -0.1 or g?
-0.1
Let f(s) = -2*s**2 + 2. Let w be f(0). Let h(a) = 5*a**3 + a**2 - 3*a + 3. Let i be h(w). Suppose 19*x = 11*x + 328. Is x greater than i?
False
Let f = -100.634 + 99.534. Let g = 449/8 - 56. Which is greater: f or g?
g
Let n be ((-126426)/63243 + 2)/(616/(-924)). Is n at most as big as -1?
False
Let t = -1331262877/124 + 10735892. Let c = t + -25/31. Let i = c + 99. Is 24 smaller than i?
False
Suppose 0 = -4*s + 6 - 238. Let n be (-4)/(-18) + 41740/(-720). Let h = s - n. Are 6 and h non-equal?
True
Let b = 66/773 - 38931/483125. Which is bigger: -1 or b?
b
Let m be -5 + 3 + 1 + 17. Suppose -2*y - h - m = 0, 5*h = 4*h - 4. Let s = 107 - 111. Do s and y have the same value?
False
Let z(i) = -25*i**2 - 65*i - 331. Let l be z(-10). Are l and -2181 nonequal?
False
Let y = -43.704 + 43.44. Which is bigger: y or 0.1?
0.1
Let k = 584 + 599. Suppose -163*j = -156*j + k. Is -169 < j?
False
Let w = 9 + -4. Suppose -23*n + 518 = -32004. Let y = n - 1406. Which is smaller: y or w?
w
Suppose -19*n - 410 = 825. Is -8 bigger than n?
True
Let j be (-1 - 2) + 6932*3/(-18). Let r = 38117/33 + j. Let c = -911/275 - r. Which is greater: c or 0?
0
Let g = -211/6 - -35. Let j = -4/35 + 2/5. Let k = j - 5/42. Is g smaller than k?
True
Let i = 2786 - 2766. Is 7/20 <= i?
True
Let n(k) = -3*k**2 - 13*k - 7. Suppose -6*u = 21 + 21. Let i be n(u). Which is smaller: i or -66?
-66
Suppose -366*a = -87 - 140 - 139. Which is smaller: a or -2/24811?
-2/24811
Let d(r) = 6*r**2 + 666*r. Let m be d(-111). Which is greater: 36/487 or m?
36/487
Let n = -32 - -33. Let h(z) = n + 3*z - 3*z - 2*z. Let b be h(1). Is 1/29 > b?
True
Let h = -0.26 + 37.26. Let w = 0.54 - 37.54. Let n = h + w. Is 7 less than or equal to n?
False
Suppose 145 + 10 = 5*t. Suppose 31*x + 704 = 97*x - 44*x. Which is greater: t or x?
x
Let x = -25 + 23. Let f be ((-4)/(-2 + 0))/((-12)/x). Is -15 <= f?
True
Suppose -2*b - 5*l - 20 = 0, 0 = 5*b - 3*l + 30 + 20. Let r be -2*-1*(-365)/b. Let g = -220/3 + r. Is g greater than -1?
True
Let g be (5*20/(-75))/((-22)/(-3) - -4). Is g < -321?
False
Suppose 32*a + 4*c = 36*a - 908, -2 = c. Which is greater: a or 218?
a
Let z be 1*(153/(-243))/17. Let q = -6 - -5. Which is smaller: q or z?
q
Let y = 925 - 987. Suppose 3*c - 5 = u + 56, 3*c = -3*u - 123. Let m = u - 16. Is y greater than or equal to m?
True
Suppose 0 = 2*d - 2*v - 1228, 9*v - 1235 = -2*d + 4*v. Suppose 0 = d*o - 619*o + 236. Which is bigger: o or 62?
62
Let n(g) = -4*g**3 - 267*g**2 - 480*g + 128. Let c be n(-65). Is c at least as big as 8766/5?
False
Let b = -82 + 82.0268. Let s = 7.9732 + b. Does s = -4/7?
False
Suppose -4*u + 87 - 90 = t, 4*t = 3*u + 7. Is -1/62 smaller than t?
True
Suppose -29 = -2*o - 43, 5*o = -2*d + 875. Is 4090/9 > d?
False
Let y = -1102 - -947. Which is smaller: y or -1390/9?
y
Let v(c) = c**3 + 28*c**2 - 19*c + 109. Let y be v(-29). Which is greater: y or -177?
-177
Let r be (-2)/20 - 2/(-20). Suppose 5*w + 1 = -x, 5*w + 4*x = -r + 11. Are -1/42 and w non-equal?
True
Let s = 34 + -2. Suppose -s = -14*x + 6*x. Suppose 3*t + 117 = -8*c + x*c, -4*c - 5*t = 107. Is -32 < c?
False
Let t = 0.0856 - 0.2856. Do 1.835 and t have the same value?
False
Let c(d) = d**2 + 3*d - 8. Let g be c(-7). Suppose -78*o + 26*o = 128*o - 3420. Are g and o non-equal?
True
Let w be -3 + 0 + 27 + -29. Let g be (w - 140/(-25))/((-6)/(-20)). Which is greater: g or 8?
8
Let u = 17 - 26. Let j = 65.9 - 66. Let p = -0.4 - j. Do p and u have the same value?
False
Suppose -134 = 2*z - 4*d, -8*z + 10*z = 5*d - 136. Which is smaller: z or -73?
-73
Let d = -2370 + 2310. Do -64 and d have different values?
True
Suppose -927 + 977 = 50*x. Which is smaller: -18 or x?
-18
Let x be (-164)/(-5 + 1) + 4 + 0. Suppose 0 = 92*h - 95*h + x. Which is smaller: 18 or h?
h
Suppose -17*c = -18*c + 4*m + 1, -5 = -5*c + 5*m. Is -3/2201 >= c?
False
Let y be -7*(-25)/10*34/(-5). Let z(g) = -g**3 - 8*g - 119. Let s be z(0). Is s at most y?
True
Let u be (3 - 0) + ((-80)/(-32) - (-117355)/(-21338)). Is 1 > u?
True
Let n = 21574/29 + -744. Let m = 4.2 + -4.2. Are m and n nonequal?
True
Let h = -5 + 4.92. Let g = h - 3.92. Let b = -5.875 - 2.125. Which is smaller: b or g?
b
Let x be -1*2/(-2) + 4. Suppose -x = -2*p + p. Suppose 4*f = 5*f + p*l - 21, -3*l + 31 = -4*f. Is 4 at most f?
False
Let c = -442 - -323. Let z = -119.1 - c. Let j = -4 + 0.5. Which is greater: z or j?
z
Suppose 5*f - 67 + 179 = 4*r, -f = 3*r - 103. Suppose 29*o = r*o + 1520. Is -381 less than o?
True
Let g(j) = -j**3 + 12*j**2 - 8*j - 33. Let t be 231/22 - 2/(-4) - 0. Let v be g(t). Which is greater: v or -22?
v
Let o = 130.5716 - -2.4284. Do -0.29 and o have different values?
True
Let q be (13880/35)/(((-160)/(-28))/4). Which is greater: q or 279?
279
Suppose -4*i = -5*m + 2510, -2*i + 5*m - 778 - 492 = 0. Is -602 at most i?
False
Let i = -142 + 134. Let l be (((-16)/4)/(-2))/(i/(-44)). Which is smaller: l or 4?
4
Let s = -147/2 + 102. Suppose -2*b + 30 = j, 3*j + 0*j = -4*b + 90. Which is smaller: s or j?
s
Let r = 7 - 3. Let a be ((0/1)/r)/(-1). Let q be (-1 + a)/(12/(-216)). Is 19 < q?
False
Suppose 4*u + 7 = -5. Let g be (4/(-8))/(u/30). Suppose 0 = 3*d - 4*x - 2 - g, -d + x = -1. Is -4 at most as big as d?
True
Suppose 18*j - 1120 = 23*j. Let f = -441 - j. Is f equal to -217?
True
Let b = 158 + -160. Let h be 2*b*(5 + (-65)/(-10)). Is -46 less than or equal to h?
True
Let u = 5151 + -3170. Which is greater: u or 1980?
u
Suppose -2*x + 18*u - 24*u - 15750 = 0, -5*x = -4*u + 39432. Is -7885 at least x?
False
Let l = -35/129 + 12307/46311. Let v(w) be the second derivative of w**4/6 - 13*w**3/6 - 3*w**2 + 28*w. Let x be v(7). Which is greater: l or x?
x
Let t be -4*(0 + 4)/(-4). Let p = 18 - 15. Suppose -p*k - 39 = -t*k. Which is smaller: 38 or k?
38
Let h be (-26)/2*-4 - 3. Suppose 5*w = -d - 90, 0*w + 20 = -4*w. Let r = -17 - d. Do r and h have different values?
True
Let b = 2/6769 + -20317/33845. Let g = -0.044 - 21.956. Let y = -21.8 - g. Is b equal to y?
False
Suppose 76 = -56*g + 55*g. Let d = g - -76. Let c = -0.008 + 0. Is c greater than d?
False
Let z be (-1)/((-18)/14) - (-66)/297. Let j = -2/363 - -1711/376431. Is j < z?
True
Let x = 32 - 103. Suppose 2*c - 576 = 5*h - 733, -2*h = 5*c + 349. Is c greater than or equal to x?
True
Suppose 4*c = -1 + 5. Suppose c = -5*s - 4. Let a be (-14)/(-1) + (-136)/34. Which is smaller: s or a?
s
Let x = 0.3441 + 0.0559. Let n = -263.89 + 264. Is x >= n?
True
Let h be (1256/(-20))/((-8)/(-15)). Let g = h + 118. Let l = 37 - 17. Are g and l nonequal?
True
Let s = -3992.87 - -3974. Let k = -0.2 + 19.2. Let f = s + k. Is 0.3 >= f?
True
Suppose -9*c = 6*c. Suppose -5*d + c*q - 2*q = 1268, 0 = 3*d - 2*q + 748. Is -253 less than d?
True
Let t be (11 - -4)*(-6)/(-5). Let g = t + -12. Suppose -5*m = -g*m - 1. Is 1/37 greater than m?
True
Let m(y) = y + 17. Let w be m(-15). Suppose -w*r = 88 + 212. Is r less than or equal to -151?
False
Suppose 616*a - 593*a = -48944. Is a < -0.1?
True
Suppose -1 = -2*r - 5*t, -5*t + 14 - 9 = 0. Let u be (6/(-48))/(1/r). Which is bigger: -7/4 or u?
u
Suppose 0 = -4*q + 4*g, -4*g + 9*g + 10 = -5*q. Does q = -8/1323?
False
Let j = 9567 - 57205/6. Which is greater: 32 or j?
j
Let x be 18/36 - (-3)/6. Which is greater: x or -3/4780?
x
Let i = 370 + -118. Suppose -28*t + 16*t + i = 0. Which is smaller: 20 or t?
20
Let j(q) = -q**2 + 7*q - 12. Let u = 28 - 23. Suppose 16*g - 12*g - 10 = -2*o, -u*o - 4*g = -31. Let d be j(o). Which is smaller: -14 or d?
-14
Suppose -s + 6*s = -20. Let u = 20 - -54. Let c = u + -74. Which is smaller: s or c?
s
Let x(m) = -m**2 + 10*m - 22. Let u be x(5). Let p be -2 + 5 + (u - 7). Is -3/86 at most as big as p?
False
Suppose 0 = 3495*l - 3454*l. Which is smaller: l or -1/1518?
-1/1518
Let p = -0.267 + -112.733. Let q = p - -171. Let w = q + -5