/16). Suppose -5*r - 48 = a. Which is smaller: r or -21?
r
Suppose 97*g = -36*g + 1282 + 1112. Are 389/21 and g unequal?
True
Suppose x = 2*r + 11008, -2*r - 5*x - 16270 + 5298 = 0. Which is smaller: -5502 or r?
-5502
Let h be 6/7*(2758/42 - -2). Is 51 > h?
False
Let t = -2.16 + -0.64. Let c = 2.7 + t. Is c at most 25/9?
True
Let r(s) = 19*s - 428. Let y be r(20). Is y <= 0.05?
True
Suppose -2*b = 3*k + 2539, 5108 = -4*b - 85*k + 89*k. Which is bigger: b or -1275?
b
Let t(u) = 5*u - 62. Suppose 3*p + 4*k + 55 = 0, -5*k = -5*p - 7*k - 101. Let f be t(p). Is f not equal to -1?
True
Let u(i) = i**3 + 6*i**2 + 2*i - 12. Suppose 2*v - 3 = -13. Let q be u(v). Suppose 3*x - q*y - 5 = -x, -14 = -5*x - 4*y. Does x = -22?
False
Let m = -266 - -266. Suppose 7*t - 12*t + 4*k = -40, m = 4*t - 2*k - 26. Is t >= 52/11?
False
Let z be ((3 - -4) + 2)/((-2)/(-6)). Let c = 27 + z. Is 53 at most as big as c?
True
Let v be (4/(-3))/((-36)/(-270)). Let d(a) = -a**3 - 8*a**2 + 22*a + 25. Let m be d(v). Suppose -4 = -t, -m*t + 12 = 2*u - 2*t. Is u > 4/5?
False
Let h = 0 + 4. Let w = 980 + -958. Suppose -3*t - 27 = -k - 8*t, -w = -k - h*t. Is 36/11 less than k?
False
Let s be ((-645)/(-20))/((-8)/32). Which is smaller: s or -107?
s
Let q be 12/(-48)*0 + 5 + (-13081)/2. Is q at least -6537?
True
Let z(s) = s**2 + 10*s - 39. Let m be z(-19). Let c be (-5 - m/(-36))/(20/186). Which is bigger: c or -12?
-12
Let l = 30 + -53. Let j = l - -33. Suppose j = r + 1. Which is smaller: 8 or r?
8
Let q(l) be the first derivative of l**5/120 - 7*l**4/24 + 2*l**3 + 9. Let y(n) be the third derivative of q(n). Let r be y(-12). Which is greater: -21 or r?
r
Let f(v) be the third derivative of -13*v**5/60 + v**4/6 + 7*v**3/6 - 3*v**2 - 3*v. Let q be f(-2). Which is greater: -52 or q?
-52
Let n be 28/20 - ((-8)/(-4) - 0). Suppose 0 = 5*m + i + 5, 4*m + 3 + 1 = -3*i. Let s = n - m. Which is bigger: s or -8?
s
Suppose -4*l - 29 = -5*b, 2*b - 5*l - 25 = 7. Which is smaller: b or -2/7341?
-2/7341
Let c be (-11835)/150 + (-1)/3*(-6)/(-20). Is c less than or equal to -20?
True
Let x = 57/5243 - -15162129/57673. Which is greater: 262 or x?
x
Let u = -435.1 + 435. Let y = 14.77 + 0.23. Let x = -15.3 + y. Which is smaller: x or u?
x
Suppose 350 = -5*w + 4*p, 0 = 6*w + 11*p - 7*p + 420. Is -26 at most w?
False
Let w(d) = -d**2 - 9*d + 24. Let x be w(3). Let g = -41 + 49. Let b = g - 18. Is b equal to x?
False
Let k = -11615 - -11593. Let y = 0.6 + 0.4. Let f = -1.1 + y. Which is bigger: f or k?
f
Let b be -2*39/18 + 2/6. Let a be ((-216)/(-32))/(1/b). Let j = a - -26. Is -8/5 not equal to j?
True
Let y = -99 + 101. Let n be ((-6)/(-5))/y*(-21 - -26). Suppose w + 3*z - n = -z, -4*w + 3*z = 7. Which is smaller: 3/10 or w?
w
Let c(w) = 1. Let q(h) = 6*h - 39. Let f(j) = c(j) - q(j). Let z be f(7). Let d be (6/(-15))/(16/60). Which is smaller: z or d?
z
Let t(q) = q - 44. Let f be t(14). Let v be -2 - 2/(-10)*-134. Which is smaller: f or v?
f
Let t be 0/2 + (3 + 0)/(10/1). Which is smaller: 0 or t?
0
Let u be (-1242)/(-348588)*(1/(-3) - -1). Which is bigger: -1 or u?
u
Let t be (-21)/(-2)*(0 - -2). Let f(z) be the second derivative of 29*z**3/6 + 156*z**2 + 3*z + 37. Let l be f(-10). Which is smaller: l or t?
t
Let h = -1079 + 2149/2. Is h at most 0.3?
True
Let b(s) = -5*s - 30. Let q be b(-7). Suppose -c + 1 = 4*a, q*c - a + 91 = 3*a. Let i be 4/10 + (-9)/c. Which is smaller: i or 3/13?
3/13
Suppose 4*h + 25 = -10*s + 15*s, 3*s = 3*h + 18. Let k be (9 + -10 + (-10)/(-6))*6. Let v be 18/(-156)*k/(-3). Is v >= s?
False
Let w = -5957 - -5962. Which is smaller: 2/1939 or w?
2/1939
Let h(g) = -6*g + 19. Let z be h(3). Let j = -116 + 116.049. Let f = 0.749 - j. Is z != f?
True
Let n = -4440395/85274 - -4/6091. Let l = -105/2 - n. Which is smaller: l or 13?
l
Let j = -4.895 - -5.165. Is -2/155 >= j?
False
Let z(v) = 3*v**2 + 8*v - 7. Let l(o) = 4*o**2 + 7*o - 8. Let w(f) = 2*l(f) - 3*z(f). Let t be w(-14). Let k be 14/(-3) + (-34)/t. Which is bigger: k or -5?
k
Suppose -6*m + 18*m = -48120. Let x = 8594 + m. Let t = -41300/9 + x. Is -5 greater than or equal to t?
False
Let k be (-238)/(-4) + 6/(10 - -2). Let j be -105*(-7 + k/9). Do 35 and j have different values?
False
Let o = 2727.8 - 2740.751. Let m = o + -0.049. Let q = 13.1 + m. Which is bigger: -2.1 or q?
q
Let s be -3 + (-14 + 15 - (-7607)/(-9)). Let l = -849 - s. Which is smaller: -2 or l?
-2
Let b be 476/(-24) - (-3)/(-18). Let o = -21 - b. Which is bigger: o or -2/271?
-2/271
Let m(i) = i**3 - 9*i**2 + 18*i - 28. Let z be m(7). Let s = -29590 + 6036373/204. Let w = s - -1/51. Which is greater: w or z?
w
Let u be (120/45)/(-8)*(-57)/(-1). Which is smaller: -153 or u?
-153
Suppose 0 = -5*h + 31 + 659. Suppose o + a - h = 0, o - 92 = -2*a + 51. Which is smaller: o or 134?
o
Let u = -1535 + 1549. Which is greater: u or 324/25?
u
Let p = 4061.047 - 4061. Are 1/5 and p nonequal?
True
Let k = -42 - -44. Suppose -5 + k = -3*v. Suppose y - 3 = -1. Which is bigger: v or y?
y
Let i(n) = n**2 - 85*n + 1387. Let t be i(63). Are t and 1/453 equal?
False
Let y = 970 - 943. Let f = 64 - 39. Suppose f = d + y. Which is smaller: -5/6 or d?
d
Suppose -31*o = 8 - 39. Let s = -35/34 - -1293/1190. Which is smaller: s or o?
s
Let y = 46 - 43. Let c = y - 7/2. Let x = 207 + -266. Is x less than or equal to c?
True
Let v be (88/(-14))/(912/56*-1). Is 0 greater than v?
False
Let r(c) = -29*c - 23. Let y be r(-1). Let n(t) = -t**3 + 12*t**2 - 33*t - 18. Let x be n(y). Is 52.5 equal to x?
False
Let a be 0/14 + -1 + 4. Suppose 2*k - 24 = a*x, k + 0 = -5*x - 14. Suppose -i - 3*i + 6 = -r, 5*i = -r - k. Are r and -6 nonequal?
False
Let o be (-3 - 63/(-14))/((-6)/4). Let b(n) = 4*n + 2. Let x be b(-2). Let r = o - x. Is r less than or equal to 5?
True
Let a be 2 + -6 - (-81 + 95). Let x(n) = -18*n**2 + 9 - n**3 + 0 + 12. Let o be x(a). Is o bigger than 22?
False
Suppose 0 = 11*r - 19*r + 520. Suppose -r = -8*k - 297. Let j = -54 - -25. Is j at most k?
True
Let r = -5065 - -5097. Is r != 32?
False
Let l be (9/(-21))/((-90)/105). Does l = 0.358?
False
Let k be 78/(-273) + 2/5 + (-24348)/(-105). Are 229 and k nonequal?
True
Suppose -6*g + 5*g - 22708 = -15*g. Is g at most 1624?
True
Let v(u) = -u**2 - 13*u + 8. Let k be v(-10). Let a = 37 - k. Let o be a/3 - ((-24)/(-27) - 3). Which is greater: 2 or o?
2
Suppose -4*w = 31 - 23. Let s be (2/(-4))/(w - 258/(-132)). Which is bigger: s or 9?
s
Let q = -121 - -122. Suppose -2*u - q = -u. Let v = -871/28035 - -2/801. Is u > v?
False
Let d = -208 - -211. Let i be ((-4)/32)/(d/6). Which is smaller: 27.5 or i?
i
Suppose 54236 = -17*q - 68827. Are q and -7239 equal?
True
Let t = 483 + -319. Let l = t - 176. Which is smaller: -5 or l?
l
Let b = -1965 - -194527/99. Let h(v) = -v**2 + 5*v + 1. Let u be h(5). Is b smaller than u?
True
Let c(o) = 162*o**2 + 125*o + 124. Let k be c(-1). Which is bigger: 171 or k?
171
Let l = -1.0727 - 206.9273. Is -0.4 at most l?
False
Let f(o) = -o**3 - 5*o**2 + 6*o + 16. Let g be f(-4). Let i be ((-9)/(-6))/(g/2368) - 5. Is i at most -152?
True
Let f = -711 + -102. Let x = -808 - f. Is 25 != x?
True
Suppose -5*i + 95 = r, -5*i + 35 = -3*r - 60. Let x(v) = -i + 39 + 2*v - 7. Let b be x(-7). Which is smaller: 2 or b?
b
Let f(q) = 63*q - 310. Let i be f(11). Which is bigger: i or 381?
i
Let v = -1081.09 + 1086.09. Let m = 0.074 - 44.074. Is v at most m?
False
Suppose 33*f + 14240 + 321997 = 0. Is f != -10188?
True
Let s = -271 - 38. Let a = -317 - s. Is 0.2 not equal to a?
True
Let d = -18856.8 - -18856. Are -82 and d equal?
False
Suppose -4*c = 5*z + 10 - 11, -4*z = 5*c + 1. Let u be (4/4)/z*94. Let q = -133 + 226. Are q and u unequal?
True
Let g be 2*(15/(-2))/15. Which is smaller: -36/65 or g?
g
Let p be (-42)/(-12)*22/(-77). Which is bigger: p or -2/1155?
-2/1155
Let k be 6/(-54)*0 + (3 - 4). Which is smaller: k or 4/5515?
k
Let q be 54020/3700 - (-1 - (-6)/10). Let b = -26 - -40. Which is smaller: b or q?
b
Suppose -3*m + 3*u + 147 = 0, -5*m + 4*u + 144 = -2*m. Let x be (208/m)/((-44)/26 + 0). Let g = x + 34/33. Which is smaller: g or 0?
g
Let a(u) = u + 2. Let f be a(-2). Let g be 36/3206*-178 - (-34 - -32). Let c = g - 6442/24045. Which is smaller: c or f?
c
Let r be 1/(-18) + (-4496)/136800. Which is 