((-2)/3). Which is smaller: -2/61 or n?
-2/61
Let o(p) = 20*p - 1. Let x be o(3). Let n be (-122)/(-2)*(-328 + 329) - 1. Is n < x?
False
Suppose -5*u = -2*a - 36, 2*a + u + 20 = 2*u. Let n be 53/2*46/(-161). Is a at most as big as n?
True
Suppose 0 = 114*n - 29*n - 935. Which is smaller: 351 or n?
n
Let y = 21 + 302. Let r = 318 - y. Which is smaller: r or -8?
-8
Let z = 274 + -123. Let u = z - 141. Does 10 = u?
True
Let g = 44.61 + 41.39. Let d = -0.098 + -89.402. Let y = g + d. Which is greater: y or 2?
2
Let x = -111 - -90.066. Let j = -17.96 - x. Let q = 0.026 + j. Is -1 <= q?
True
Let a = -672/13 - -9127/39. Let l = -185 + a. Is 1 not equal to l?
True
Let s be 0 + (-1 - (0 + -1)). Let f = 4973/123384 + 7/5141. Is f smaller than s?
False
Let p be -3 + 33/4 + (-3)/12. Suppose -3*x + p*x + 25 = -5*n, 2*n + 4*x = -26. Let y be 11*(n + 1 + 1). Is -11 < y?
False
Let v(x) = 2*x**2 - 29*x - 7. Let f be v(15). Suppose f*u = -24*u + 64. Which is smaller: -11 or u?
-11
Let v = -635 + 957. Let d = v - 322.9. Which is greater: -2/7 or d?
-2/7
Let q = -10066 + 10164. Is q greater than -69?
True
Let y be (820/6 - 1) + 24/(-36). Let u = -69 + y. Is 66 >= u?
True
Suppose 5*f = -74 - 901. Let s = 288 + f. Are 93 and s equal?
True
Suppose -231*d + 38*d = 199*d. Is d > 3/5312?
False
Let l = -26562.1 + 26562. Which is smaller: l or 287.4?
l
Suppose -2*j + 2*s - 344 = 0, 3*s = 64*j - 80*j - 2695. Is j bigger than -165?
False
Let i = 3520 + 6329. Which is smaller: i or 9850?
i
Let d = -44288/85 - -521. Which is smaller: d or -12?
-12
Let r = 322.29 + -321. Let v = -0.71 + r. Let l = v + 0.72. Is l <= -2?
False
Let q be -17 + (-3 - -16) - -158. Is 101 smaller than q?
True
Let w = -0.0499 + 41.3499. Let m be (((-50)/(-42))/((-5)/(-6)))/(-5). Which is smaller: w or m?
m
Suppose 1313 = -162*b - 2251. Suppose 8*w + 52 = -4*f + 3*w, -2*f + 2*w = 26. Which is smaller: b or f?
b
Suppose -5*b + 7 + 2 = -3*c, 0 = 4*c - 5*b + 7. Let z be ((-6)/c)/((-41)/(-2)). Are z and -1 unequal?
True
Let d be (7/42)/(7/2). Let s = -7192 - -7193. Is s equal to d?
False
Suppose -26*c + 39*c = 0. Suppose -5*u + u = c. Is u less than -4/9?
False
Let x be (-15)/(-4)*(-7878693)/5745. Is x at least -5143?
True
Let x(k) be the third derivative of 3*k**4/8 - 25*k**3/3 - k**2 + 39. Let y be x(6). Is y > 3/23?
True
Let z = 9664 + -10549. Is 2/3 <= z?
False
Let k be (8/(-28) - (-4105)/14490) + 0. Suppose -4*t = -0*t + 4. Is k at least as big as t?
True
Let k = -771763 + 771624. Let r = -6 - -3. Which is smaller: r or k?
k
Let c be (0 + 3/(-147)*-2)*7/(-585). Which is bigger: c or -1?
c
Let y = 9/106 + -133/318. Let c = 105 - 182. Which is bigger: y or c?
y
Suppose -d - 4*d + 242 = -3*k, -5*d = -4*k - 326. Let p be (1/(3/(-2)))/((-56)/k). Are -1/186 and p nonequal?
True
Let y = 11870 - 11869.6. Which is bigger: y or -22.5?
y
Let h = -11089/38836 + -1/5548. Is -6959 at least h?
False
Let d = 23 + -33. Let a = 14348 + -14360. Is a > d?
False
Let p = 162443/5 + -32224. Let w = -265 + p. Let f = -0.66 - -0.6. Which is bigger: w or f?
f
Suppose 0 = 4*d + 2*j + 744, 4*d - d + 545 = 5*j. Let u = -261793 + 2881756/11. Let h = u + d. Is 0.04 at most as big as h?
False
Let o = -1727 - -1781. Which is smaller: 388/7 or o?
o
Let j = -3/115 + 2893/690. Let v be (30/18)/(10/36). Suppose 3*g + 3*b = 9, 18 = 4*g - v*b + 4*b. Which is smaller: g or j?
g
Let q be (4250/(-2805))/(1/60). Is q <= 1?
True
Let n be 57/15*10/6. Let h(i) = i**3 - 3*i**2 + 5*i - 5. Let t(s) = -s**3 - 7*s**2 - 12*s - 8. Let d be t(-5). Let o be h(d). Which is smaller: o or n?
o
Let m be 304/108 + -2 + (-2)/2. Let d(t) = t**2 + 29*t + 79. Let n be d(-26). Is m bigger than n?
False
Suppose 70*f - 2*x = 69*f + 417, -5*f + 2103 = -x. Which is greater: f or 4638/11?
4638/11
Let v be 30/50 + ((-2506)/12 - -2). Let t = -1047/5 - v. Let f be (-2)/(-1)*-1 + 0. Which is bigger: t or f?
f
Let c = -44 - -64. Suppose -3*r + 92 = c. Let n be (-8)/r*(-3 - -1). Which is smaller: n or -0.1?
-0.1
Let i = 12.4299 - 12.4299. Let m = -50 + 49.58. Which is smaller: m or i?
m
Let h = 11 - 9. Let z be 3/(-1) - h/(-2). Let d be (z/4)/(5/2). Are d and 11 non-equal?
True
Let t = 102 + -166. Which is smaller: -314/5 or t?
t
Let n(c) = 5*c + 40. Let z be n(-7). Suppose -z*m - 534 = 201. Which is bigger: m or -2/5?
-2/5
Suppose -j - 5 = -3*s, -8 = -2*s - 2*j - 18. Suppose 9*c + 53 + 46 = s. Let b = -20 - -7. Is b less than or equal to c?
True
Suppose 0 = s - 4*f + 146, 4*s - f = -5*f - 464. Which is bigger: -119 or s?
-119
Suppose -1260 = 302*i - 323*i. Is i > 299/5?
True
Let k(v) be the first derivative of v**3/3 - 2*v**2 - 17*v + 19. Let s be k(7). Suppose -3*x + s*q - 3*q = 21, 5*x + 4*q = -35. Is -39/7 greater than x?
True
Let t = 290/9 + -553/18. Which is smaller: 3 or t?
t
Suppose 4 - 2 = -2*b. Let t be -22*1 - (-275628)/12566. Which is bigger: t or b?
t
Let s be (44/33)/((-28)/81585*-7). Is 556 smaller than s?
False
Let c(h) = 2 - h - 23*h - 92. Let f be c(-5). Is -0.3 bigger than f?
False
Let r = -3198 - -3102. Which is greater: 1 or r?
1
Let w be (225/(-90))/((-2)/(-100)*2/(-8)). Which is smaller: 1501/3 or w?
w
Let g = 117 + -135. Which is smaller: 14 or g?
g
Let k = -1214/185 + 265/37. Let q be (2/(2/1))/1. Which is greater: k or q?
q
Let n(q) = q**2 - 8*q - 15. Let z be n(9). Suppose 10*g - 130 = 110. Let h = g - 26. Do h and z have different values?
True
Let b = 124 + -115. Suppose 0 = -b*w - 643 - 185. Let a = w + 88. Is a smaller than 0.3?
True
Let c = -6445 - -6857. Is 408 less than or equal to c?
True
Let l = 0.26 - -45.84. Let h = -61.4 + 107.4. Let v = l - h. Which is greater: -2 or v?
v
Let t = -71306 + 71299. Suppose 0 = -4*l - 8, -k = -2*l - 2*l + 14. Which is smaller: t or k?
k
Let n(b) = 19*b + 381. Let w be n(-20). Which is greater: 3/431 or w?
w
Suppose -h = 1 + 1. Suppose 7*b = 23*b - 1856. Suppose -26*w + 12 - b = 0. Which is greater: h or w?
h
Let x = -8790 - -8787. Let q = 0 - -0.1. Is q < x?
False
Let y be -1*(0 - (9 - 8)). Which is greater: y or -1/83?
y
Let i(h) = -25*h - 121. Let d be i(16). Let s = -528 - d. Which is smaller: s or -4?
s
Suppose -3 + 8 = -5*a. Suppose -4*w + 72 = 4*h, 0 = h + 3 - 0. Let b be 8/(-6)*w/(-826). Which is smaller: b or a?
a
Suppose 4*w = 2*k + 140, 0 = 5*k + w + 223 + 105. Let a be k/10 - ((-7)/(-5) + -1). Let p be a + ((-10)/2 - -2 - 0). Which is bigger: p or -9?
-9
Let m be -6 + (-8 - -284) - -7. Which is bigger: m or -6?
m
Let f be 5 - (-19416)/39 - (3 + (-82)/26). Which is greater: f or 2508/5?
f
Suppose 2*m + 3*m + 4*t = 895, -4*m + t = -695. Suppose 2*u - 114 = -4*h, 4*u - m = u - 2*h. Let i = u + -63. Is -1 at least i?
True
Suppose -5*b + 35 = 0, -91 = w - b - 85. Which is greater: -6/307 or w?
w
Suppose -4*z + 271 = 3*p, -3*p - 52 = -z - 318. Let x = -116 + p. Is x greater than or equal to -25?
False
Let g = 212 + -146. Let n be (-12)/(-6) - g/6. Which is bigger: n or 3?
3
Let t = 20.4 - 19.4. Which is greater: t or -2205?
t
Let u be (-1420)/3 + (-4)/6. Let n be (-12)/4*(-2)/u. Let k = 1223 + -1224. Which is bigger: n or k?
n
Let z = 2755/58218 - -1/939. Let o = 37651 - 37650. Which is bigger: o or z?
o
Let s(n) = -29*n - 153. Let t be s(-8). Let h be 4/(-24)*3/t. Which is smaller: 0 or h?
h
Suppose 15 = d - 137*p + 141*p, 5*d + 21 = 4*p. Let s = -5107/13 + 391. Is s greater than d?
False
Let c be -1*(1 + -3) + 0. Let g = c - 0. Let r = 836/1141 - 3/163. Is g at most as big as r?
False
Let w(m) = -4*m**2 + 4*m + 87. Let t be w(5). Is t greater than -1?
True
Let w(d) = d + 9. Let c be w(-6). Let a(g) = -3*g**2 - 59*g + 159. Let y be a(-22). Suppose y*p + 9 = -c*n - 17, n = 3*p - 18. Is n equal to -12?
True
Suppose 0 = 5*w + 4*k + 2, 0 = 3*w - 2*k - 4 - 8. Suppose -w*r = -3*r - 13. Let t(f) = f**2 - 3*f - 9. Let v be t(5). Which is smaller: v or r?
r
Let o = -5392 + 5400. Let q = 1.5 - 1. Is q at least o?
False
Let x(h) = 3*h**2 - 45*h - 36. Let z be x(24). Suppose -7*k + z = -613. Are 174 and k unequal?
True
Let r = -204284143/3347 - -61035. Is 1 >= r?
True
Suppose 14*n = 23*n - 9. Let v be (n/(-1533))/((-5)/30). Is 0 bigger than v?
False
Let q = -1945 - -1998.868. Let p = 0.132 + q. Let a = p + -53.9. Which is smaller: a or 2?
a
Suppose -11*q + 10362 + 14377 = -154*q. Suppose 6*x + 522 = 3*x. Is 