t b = 29.8337 + k. Let y = b + -30. Is y at most as big as -3/28?
False
Suppose 4*j - 9 = 3*w, 6*j + 2 = 5*w + 5*j. Let i(f) = 30*f - 4. Let z be i(w). Let b be 170/6 - 10*(-2)/(-15). Which is smaller: b or z?
z
Let m be (-2727625)/1090750 - (1 - (-1)/4)*-2. Is m at least -1?
True
Let p = 6656 - 6655.97. Which is smaller: -11/7 or p?
-11/7
Let y = -4141.6 - -4143. Which is smaller: y or -3/32?
-3/32
Let a = -33/68 - 1/68. Let o = -3 - a. Which is smaller: o or -3?
-3
Suppose 0 = 19*b + 25028 + 3567. Which is bigger: b or -1506?
b
Let l = 154.74 + -154. Let r = -5.26 - l. Do 2/9 and r have different values?
True
Let r be 58/(-6) + 13/(-39)*7. Which is smaller: -5 or r?
r
Let i be (-1 - (3 - 2))/2. Let f = -88 + 482. Suppose 4*p = 398 - f. Which is greater: i or p?
p
Let q be (-2)/(-12)*-3 + (-4399)/2544. Is q >= -2?
False
Let j be (-52)/(-20) + (0 - -4). Let b = 42 + -241/5. Let s = j + b. Which is smaller: -1/19 or s?
-1/19
Let a = -76 - -268. Suppose 42*n = 34*n - a. Let q be 141/(-6) - (-1)/(-2). Is n greater than or equal to q?
True
Let i(b) = 1315*b + 23769. Let x be i(-18). Let w be -2*(2 + 99/(-2)). Which is bigger: x or w?
x
Suppose -3*t + 1 + 7 = -d, -4*t = -8. Let g = -1.4272 + -0.2918. Let w = g - -1.629. Which is bigger: d or w?
w
Let f = -8 + 6. Suppose 0 = 10*l + 3365 - 705. Let y = 290 + l. Which is greater: f or y?
y
Let q be 65/(12870/2268) + 12/22. Suppose -31*c + k - 9 = -27*c, -3*c - 3*k + q = 0. Is c less than or equal to -3/367?
True
Suppose d = -y - d - 4, 4*d + 20 = 0. Let h be ((-96)/64)/(3/(-8)). Suppose -h*c - k = -22, c - 4 = -3*k + 2*k. Is y greater than c?
False
Let z = 0.03818 + 1968.76182. Is 0 <= z?
True
Let j be (-6 + 8)*(-1 - (-39)/2). Suppose -3*u + 139 = j. Does 33 = u?
False
Let i = -52 + 43. Let a(o) = o**3 + 20*o**2 - 2*o - 4. Let s be a(-20). Suppose 13*q = 9*q - s. Is i >= q?
True
Let x = 5.09 - 0.19. Let z = -0.9 + x. Suppose 0*v = -4*v - 4. Are z and v non-equal?
True
Let m = -1490.68 + 1490.6. Is 262 != m?
True
Let n = 614 + -613.6. Let m = 0.01 + 0.29. Let b = m - n. Is 3 at least as big as b?
True
Suppose -4*p - 2*j + 30 = 0, 5*p + 5*j = 2*p + 33. Let v be ((-1)/(5/(-4)))/(p/(-30)). Suppose 0 = f + 1 + 5. Which is smaller: f or v?
f
Let b(v) = -1 - 6 - 3*v + v - 3*v. Let f be b(3). Let p = f - -21. Which is greater: -2 or p?
p
Suppose -101 = 6*l + 163. Which is greater: 0.24 or l?
0.24
Let u be (122/1952)/((-3)/(-6)*-73). Which is smaller: u or 1?
u
Let m(j) = 7*j - 1. Let y be m(-2). Let c be ((-4)/(-20) - 1) + 3/y. Is -2/9 at most c?
False
Let w = 741687/11 - 67341. Which is smaller: w or 86?
w
Suppose 66*v - 27 = -2*a + 65*v, 0 = 5*a + 4*v - 66. Is 912/61 at least as big as a?
True
Suppose -17*g + 2511 = -16*g. Suppose g = -59*n - 3566. Which is smaller: 4/5 or n?
n
Let j = 5827 + -815779/140. Is j greater than -17?
True
Let y be (16/(-9) - (0 + -2))*(-14 - -16). Is 12/31 != y?
True
Let h be (30/(-9))/(3002/(-3)). Let r = 30175/46531 - h. Which is greater: 1 or r?
1
Let o = -6763.7 + 6763. Is o equal to -15.3?
False
Let p(l) = 21*l - 139. Let c be p(11). Suppose -4*w = -4*z + c, -3*z - 2*w = 40 - 119. Which is smaller: z or 74/3?
74/3
Let j = -795 + 848. Suppose 0 = -j*m + 77*m + 24. Let f be (-2)/(-8) - 31/12. Is f < m?
True
Let g = -15462/11 - -13281990/9449. Which is greater: g or -1?
g
Suppose -2*v + 14 = 5*o, -4*o - 2*v - 2*v = -16. Suppose 0 = -4*d + 5*u - 7 + 5, -2*d - 2 = -o*u. Let w = 2215/4 - 558. Which is greater: w or d?
d
Suppose -23*f = -68*f - 46*f - 2184. Suppose 0*i - i - 40 = -3*n, -2*n + 10 = 0. Which is smaller: f or i?
i
Suppose -1084*v = -1072*v - 32676. Is v at most as big as 2725?
True
Suppose -26545 = 4*r - 26541. Which is bigger: -7/172 or r?
-7/172
Let g = -366 + 412. Suppose -l - 4*w = -w + g, -2*w = 3*l + 145. Let d(j) = -j**3 + 3*j**2. Let s be d(5). Are s and l equal?
False
Let i be 2/(-5)*((-234340)/104)/1. Let w = -902 + i. Is 0 >= w?
True
Let h(w) = -43 + 7*w - 105 - 22 - 15*w + 12*w. Let z be h(-11). Is z greater than or equal to -214?
True
Let c = -355 - -322. Let d be 42/80 - c/(-264). Let m = 0.037 + -4.937. Are d and m equal?
False
Suppose 4*o = -4*x - 12 + 124, 88 = 3*o + x. Let d(t) = 12*t - 60. Let h be d(-9). Let r = 199 + h. Which is smaller: o or r?
o
Let g(k) = -18*k**2 - 620*k + 48. Let h be g(-35). Which is bigger: -305 or h?
h
Let h = -514.5 - -317.4. Is h < -1?
True
Let p be 574/(-4305) + (-16)/390*242/4. Suppose -3*a = 4 + 2. Which is smaller: p or a?
p
Let t be (-6)/8 - ((-752)/220 + 3). Let g = 3/44 - t. Let s = 1.02 - 70.02. Which is greater: g or s?
g
Let d(a) = -186*a + 1631. Let h be d(4). Which is smaller: -1 or h?
-1
Let y(b) = -3*b**2 + 110*b - 359. Let h be y(33). Is h bigger than 988?
False
Let y = 230 + -35. Let a = -1153/85 - -234/17. Is y < a?
False
Let k = 20021.0565 + -20021. Is k > -10?
True
Let h = 369.3 + -366.8. Are 11 and h nonequal?
True
Suppose 5*i - 5*t = -140, -2*i + 8*t = 4*t + 48. Let h = -11.0307 - -10.0307. Which is smaller: h or i?
i
Let i be (-1)/(-2*(-2)/60). Let s(p) be the first derivative of -p**3/3 - 15*p**2/2 + p - 1757. Let a be s(i). Which is greater: a or -6/49?
a
Suppose 0 = -6*u + 4*u + 3*k, -3*u - u + k = 0. Let y = -4797/16 + 300. Is u at most as big as y?
True
Let p(b) = 94*b**3 - b**2 + 2*b. Let w be p(2). Let o be w/48 + 2/6. Let t be (1 - 1)*4*(-2)/o. Is t less than 3/22?
True
Let c(d) = -d**2 - 490*d + 4492. Let v be c(9). Let b = -3513785/21151 + 84/1627. Let m = -166 - b. Which is smaller: m or v?
m
Suppose -16*i + 33079 = 1767. Is 1959 <= i?
False
Suppose -134*w + 136*w + 4*i - 36 = 0, -i = -5*w + 79. Let s(c) = -c + 4. Let t be s(4). Is t > w?
False
Let q = -21869865/311 + 70321. Is q less than -1?
False
Let k be 6096/(-8)*1/3. Let j be (-6)/(-1) - (k + -34). Which is bigger: -1/3 or j?
j
Suppose 26*v = 23*v + 6. Suppose q - 35 = -5*z + 6*q, -10 = -2*z - v*q. Let k be (-4)/110*z/(570/(-25)). Which is smaller: k or 1?
k
Let j(r) = 90*r**2 + 18*r + 5. Let h be j(3). Suppose 18*d = h + 13. Is 51 less than d?
False
Let n = 0.033 + 169.967. Is n bigger than 0.038?
True
Let m(t) = -t**3 + 9*t**2 + 6*t - 2. Let v be m(9). Suppose -7*l + v = 4*w - 8*l, -w + 3*l = -24. Which is smaller: 2 or w?
2
Let v(z) = z**2 - 6*z - 38. Let o be v(10). Suppose w - 7 = -l - 0*l, -l - 14 = -o*w. Which is smaller: w or -4?
-4
Suppose 3*d - 693 + 2952 = 0. Suppose 12*n - 9 - 63 = 0. Let x be n/60 - d/270. Which is smaller: 4 or x?
x
Suppose 0 = t + 5*q + 16, 15 = -4*t - 4*q - 1. Suppose -2*k = -7*k - 3*m - 29, 3*k + 6 = 2*m. Let s be (-23)/(-40) + (-18)/(-120)*k. Which is bigger: s or t?
s
Let t be 1/(3 + -5 + 1)*-1. Let q be t - 0 - 555/565. Which is bigger: q or 1?
1
Let m be (((-4)/(-6))/1)/((-1)/(-3)). Let z(p) = -87*p - 4 + 11*p**m + 84*p - 10*p**2. Let y be z(4). Is -1/27 at least as big as y?
False
Let s(f) be the second derivative of f**4/12 + 14*f**3/3 + 35*f**2/2 + 11*f + 1. Let r be s(-27). Does 80/9 = r?
False
Let h = -0.083 + -0.977. Let k = 11.94 - h. Do k and -2/9 have different values?
True
Let p = -1.9 - -2. Let l = 4.34 - 7.2. Let d = -2.76 - l. Are d and p non-equal?
False
Let u be 0 + 4/(-14)*-1 + (-156768)/2093. Which is smaller: -76 or u?
-76
Suppose x - 9*x = -472. Let g = x - 51. Suppose 0 = 5*y - g*y - 9. Is 1 greater than y?
True
Suppose -6*c - i + 17 = -c, 5*c - 14 = -2*i. Suppose -65 - 183 = -c*y. Let v = y - 94. Which is smaller: v or -31?
v
Let d be 2/3 + 2/(-3). Let y be (1683/(-110))/(4/96). Let z = y - -367. Which is greater: z or d?
d
Let z be ((-80)/(-40))/(6/(-45)) + 0. Let v = 341187/20 - 17066. Let i = v + -39/4. Which is smaller: i or z?
i
Let o = 4/17 - 148/51. Let x(s) = -s**3 - 3*s**2 + 11*s - 121. Let g be 2*-14*161/644. Let n be x(g). Is o <= n?
True
Let u = -4437 - -3752. Which is smaller: u or -693?
-693
Suppose 4*t = -168 - 48. Let v be -3 - 1 - 1*-7. Let h be (-72)/t*v/(-2). Which is smaller: -0.3 or h?
h
Let o = -0.2 - -0.3. Let n = -503 - -506. Let x be (-9 + 15249/1690)/(n/4). Is o > x?
True
Let v = -92109/4 - -22901. Which is bigger: v or -125?
-125
Let j be (8 - 10) + 12/5. Suppose 3*t = 2*r - 79, 5*t = 5*r - 4*r - 29. Let m be 16/(-28) + r/28. Is m at most as big as j?
False
Let o = 7227 + -7213. Which is smaller: -84 or o?
-84
Suppose 18*p - 5*p = -169. Suppos