e 0 = -3*x + 3*a - 33, r*x - a - 31 = 4*x. Let i(n) = 2*n + 7. Let z be i(-10). Is z > x?
True
Suppose 0 = -4*m - 3*z - 17, 191*m = 196*m - 2*z + 50. Let k be ((-1 - -1)/2)/2. Is m at most k?
True
Suppose 48*k - 50*k - 196 = 0. Let r = -86 - k. Is r > 9?
True
Let x = -10020 + 10630. Which is smaller: 2 or x?
2
Suppose -u = 2*u - 18. Let t be 3/u - (-3 - (-5)/2). Let p be (7/(-5) + t)*(-21)/378. Which is greater: 0 or p?
p
Suppose 2*q + 0*q = 0. Let x = 265.973 + 31.037. Let i = -297 + x. Is i less than or equal to q?
False
Let f = 250 - 355. Let g = f + 106. Which is smaller: g or -11?
-11
Let x = 304.9 - -24.1. Is x at least as big as 2?
True
Let j(c) = -c**3 + 31*c**2 - 12*c + 12. Let m be j(31). Let h = m - -362. Which is greater: h or 159?
159
Let k = 5837 + -6558. Which is smaller: k or -0.03?
k
Suppose -196 = 5*c + 6*i + 91, 21 = -3*i. Which is smaller: c or -437/9?
c
Suppose d + 4*n + 25 = 0, -4*d - 35*n + 40*n + 26 = 0. Let l = -65 + 25. Let u be (-18)/l + 1/(-2). Which is greater: u or d?
u
Suppose -2*d = -5*d - 3*h - 18, -2*d = -5*h - 9. Let l(c) = -2*c**3 + 16*c**2 - 57*c + 196. Let g be l(6). Are g and d non-equal?
True
Let v be 210/84*16004/(-10). Which is smaller: -4003 or v?
-4003
Suppose o = -5*j - 6, -699*o + 57 = 2*j - 704*o. Let k be 493/(-735) + (-4)/(-6). Which is greater: k or j?
j
Let p = 285 + -284.767. Let i = 0.333 - p. Is i less than -1/408?
False
Let d = -0.113 - -0.213. Let k = 29.054 + -0.054. Let i = -6 - k. Which is bigger: i or d?
d
Let c = -711 - 652. Is -2/9 < c?
False
Let c(p) = p**2 + 4*p - 480. Let m be c(-24). Let n be (-34)/(-210) - 2/6. Is m not equal to n?
True
Let u = 3 + 3. Let c = u + -11/2. Let n = 105976 + -105976.05. Are n and c non-equal?
True
Let j = -380.9349 + -0.0651. Let v = 487 + j. Which is smaller: 1 or v?
1
Let s be 3/9 - 11/((-132)/8). Let x be 124/(-7) - (s - 30/42). Suppose -2 = -k - 21. Which is smaller: k or x?
k
Let v = -2888 + 3972. Is v greater than or equal to 1084?
True
Let r be 4984/534*(-12)/131474. Which is greater: 0 or r?
0
Let m be 12/2187 - 0 - (6 - (1 + 5)). Which is smaller: 2/5 or m?
m
Let m = 163 - 74. Let i(u) = -u**2 - 16*u - 36. Let o be i(-4). Let h(x) = 2*x**2 - 25*x + 100. Let y be h(o). Is y at least m?
False
Let c be -3 + (-171)/(-173) + 2. Let o be ((9 + -9)/(-6))/(-8 + 6). Is c greater than o?
False
Suppose 5*a - 2*h + 338 = 0, 4*a + 267 = -139*h + 144*h. Let n be -63 + 0 + -1 + 0. Which is greater: n or a?
n
Suppose 0*w - 114 = -w. Suppose w = -m + 113. Let k be 11/13 - (0 - -1). Which is smaller: k or m?
m
Let u = -668 + 961. Let c = u + -278. Is c at least -0.4?
True
Let t = -6525 + 8166. Which is greater: 0.02 or t?
t
Let u = 10 + -5. Let y = 4 - u. Let k = -273 - -551/2. Is k > y?
True
Suppose 4 = -n - 4. Let z be (-64)/(-6)*(-3)/(-2). Suppose 4*h + 9 + 52 = 5*w, -4*h = 4*w + z. Which is greater: h or n?
n
Let b = -0.01 - -0.23. Let k = b + 0.78. Is -27 bigger than k?
False
Let s = 17 - 53/3. Let b(i) = i**3 + i**2 - 3*i - 2. Let r be b(-2). Suppose 2*z + 2*z - 6*z = r. Is s less than z?
True
Suppose -4*a + 5*a - 2 = 0. Let w(i) = -3*i - 1 - 9*i**2 + 4*i**2 + 3*i**a. Let h be w(-2). Which is smaller: -2 or h?
h
Let i be ((-874272)/(-154))/(-12) - (-1)/11. Is i <= -472?
True
Let n be -14 - 786/(-4 + 1). Is 248 bigger than n?
False
Let q be (2/(-6))/((-2)/30). Suppose -5*z + 20 = -q*g, 2*z + 2*g = -2*z + 46. Let k be 14/6 + 3 - (0 + -3). Which is greater: z or k?
z
Suppose 0 = 26*k + 1073 - 345. Does k = 25?
False
Suppose 1437 = -46*q + 5164 + 4737. Which is bigger: 1296/7 or q?
1296/7
Let o = 798 + -797. Do -5/204 and o have the same value?
False
Let d be (-3)/(-12) + 129/(-4). Let x be (-15)/(-3) + (d - 1). Let z be x*(0 + (-2 - -1)). Which is greater: z or 29?
29
Let j = -1.7825 + -0.0175. Is j smaller than 11?
True
Let p = -71475/8 + 8923. Let f = -31/3 - p. Let g = -181/312 + f. Which is smaller: g or -1?
-1
Let f(i) = -i**3 - 83*i**2 - 84*i - 372. Let x be f(-82). Is -199 >= x?
True
Let k(c) = -c**3 - 4*c**2 + 26*c + 17. Let m be k(-7). Let b be ((-340)/5)/(-1 + -1). Suppose 0 = -2*s - 0*s - b. Is s >= m?
True
Let f be -18*(4/21)/(-2). Let b = 281 - 74. Let y = -205 + b. Is y equal to f?
False
Let f(m) = -m**2 - 8. Let r be 9/2*(-2 + 24/9). Suppose -5*h + 4 = -4*q, r*h = h + 2*q + 2. Let i be f(h). Which is bigger: i or -12?
i
Let a be 2/4*(-4 - -6). Let h(s) = 2*s**2 - 29*s - 19. Let v be h(17). Let z be -1 + 3 - (-12)/v*-10. Is a less than z?
False
Suppose -25 = -6*t - 1. Suppose 4*j + 8 = 5*z, -3*z + 3*j + 95 = 92. Is t greater than or equal to z?
True
Suppose 760*y - 743*y + 8823 = 0. Which is greater: y or -2071/4?
-2071/4
Let y = 0.094 - -67.206. Let x = y + 0.7. Let b be (-1)/(-4)*8/(-3). Is b greater than or equal to x?
False
Let r be (-2)/(-4)*172/(-2). Let b = 10575 - 10616. Which is greater: b or r?
b
Let y = -15 + 15.55. Let b = 150 - 150.742. Let j = 0.258 - b. Which is smaller: y or j?
y
Let j(f) be the first derivative of 3*f**3 - f**2/2 - f - 5. Let i be j(-1). Let l be 3/i + 39/(-63). Which is bigger: l or 2/65?
2/65
Suppose -8 = -190*g + 192*g. Let s(h) = 11*h**2 - 3*h + 3. Let t be s(g). Suppose 2*d = 4*q - 166, -4*q - 3*d + t = q. Is q at least 40?
True
Let w(b) be the first derivative of -1/3*b**3 + b + 8 - 5/2*b**2. Let d be w(-6). Which is smaller: -6 or d?
-6
Let m = -50261/2 - -25118. Is -1/71 at most m?
False
Let v(t) = -t**2 - 103*t + 885. Let r be v(41). Which is smaller: r or -5020?
-5020
Let g(l) = -l**2 + 7*l - 2. Let x be g(6). Let i = -3418 - -3378. Which is smaller: x or i?
i
Let z = 112789/4 - 28209. Suppose -36 = 3*x + 3. Which is smaller: x or z?
x
Suppose -3*v = 2 - 5. Let l = -64463 + 64135. Is v not equal to l?
True
Let q = 0.26102 - -0.12898. Which is bigger: -121 or q?
q
Let i = 5.1 + -5. Let c = 1.7 + i. Let k be 21/((-1029)/(-14)) - (-4)/(-14). Which is bigger: c or k?
c
Suppose 4*y - 616 = -9*n + 11*n, y - 172 = -4*n. Suppose 10*q - 5*q - y = -m, 5*m + q = 708. Is m at most as big as 141?
True
Let q(b) = 3*b**3 - 15*b**2 + 3*b - 13. Let u be q(5). Let l = -17 + 24. Let d(w) = w - 1. Let m be d(l). Which is smaller: u or m?
u
Let k be 1/(-4) + (-113525)/(-1140). Is 98 at most k?
True
Suppose -9*j + 1256 - 151 + 218 = 0. Is j at most as big as 152?
True
Let y = 0.555 + -0.255. Is y at most as big as -2/97?
False
Let j = 74 - 73. Is -25/301 <= j?
True
Let p be -11290 - ((-12)/16)/(6/24). Are p and -11287 unequal?
False
Let n = 552 + -218. Let a = 334 - n. Which is bigger: -10 or a?
a
Let i = 2 + -2. Suppose -338 = -6*y + 40. Let d be (((-28)/y)/((-6)/(-9)))/10. Is i != d?
True
Let l be ((-48)/(-26) - 46/(-299))*-1. Let g be (1 - l)*2/6 + -1. Is g bigger than 1/508?
False
Let g = -728 + 470. Let d = g + 256. Which is greater: 298 or d?
298
Let u be -3 + (3/(-3) - 48). Let d be (1/2)/(12/6360). Suppose -12*r + d = -17*r. Are r and u non-equal?
True
Let y(p) = p**3 - 15*p**2 + 17*p - 21. Let f be y(19). Let q be 1261/f - 2/9. Is q != -39?
True
Let j(h) = h**3 + 5*h**2 + 8*h + 8. Let c be j(-3). Let s be (-184)/(-3542) - c/14. Is 0.7 < s?
False
Let m(f) = -5*f**3 + 2*f**2 - 18*f - 38. Let j be m(-2). Is j smaller than 41?
False
Let n = -174041 + 29238973/168. Let w = n + -1/168. Is w <= 3/16?
False
Let c = -1968 - -1964. Which is smaller: c or 543?
c
Suppose 4*b - 4*t - 65 = -3*t, 2*b = -5*t + 27. Suppose -10*f = -b*f + f. Is f at least as big as -2/651?
True
Let p be -10 + 77/21*(-6)/(-2). Is 9/1817 smaller than p?
True
Let x be (113/((-6102)/72))/(2/6*2182). Suppose 0 = -5*f - 4*s - 5 + 1, -5*s = 5. Which is greater: x or f?
f
Let o be (-18)/8*(-168)/9. Let v be o*(-2 + (-64)/(-14)). Let j = -116 + v. Is j less than or equal to -8?
True
Suppose -2*o = 2*m + 22405 - 23697, 4*m + 1334 = 2*o. Suppose 0 = -3*d - 5*i + 1946, -2*i = -3*d + i + 1962. Which is smaller: d or o?
d
Let x be (93 + 10)/(-4*1/(-8)). Suppose -3*j - 248 = a, -2*j = 3*a + 971 - x. Do -256 and a have the same value?
False
Suppose 2*r = 4*c - 12, r = -2*r + 3*c - 9. Suppose -s + 34 - 84 = r. Is s at least as big as -352/7?
True
Let l = 546 + -543. Suppose -179*w + l = -180*w. Let f = 0.01 + 0.05. Which is greater: f or w?
f
Let z = -7.6 - -7.5. Which is bigger: -2.76 or z?
z
Let k(h) = -95*h - 5119. Let q be k(-52). Is -177 greater than q