 = 11*t + 26. Suppose -5*x = t - 28. Is x greater than -1/443?
True
Suppose 0 = -4*b + 5*b - 4. Let q be b*9/(-324)*(-18)/2. Which is bigger: -1/14 or q?
q
Let x be (5/((-45)/48))/(6/240615). Let u = x - -1920779/9. Let o = u - -459. Which is greater: 0 or o?
0
Let l = 120 - 80. Suppose 18*c = l*c - 990. Suppose -5*g + 4*a + 255 = -a, 5*g - a - 235 = 0. Which is bigger: c or g?
g
Let g = 403 + -1599/4. Let h = 1853 + -1852. Does g = h?
False
Let w be 0 + 5 - 1216/208. Let m be -6 + (-132)/(-11) - 6. Which is bigger: w or m?
m
Let x(t) = -t**2 + t - 124. Let i be x(-12). Let j be i/245 + 442/7. Suppose 5*f - 305 = 4*d, f + 3*d = -3*f + 244. Is j >= f?
True
Suppose -3*d + 0*d + 286 = -5*u, 4*d = 8. Let i = u - -60. Let j be ((-8)/i)/((-4)/1). Which is smaller: j or -46?
-46
Let d be ((-21)/14)/((-2)/(-4)) - (13 - 579). Is 563 >= d?
True
Let o = 0 + 2. Let y = -136.034 - -136. Let u = y + 0.334. Is o >= u?
True
Suppose 19 = r + 20. Let f be (r/(-3))/(26/10386). Let z = f + -133. Which is smaller: 0 or z?
0
Suppose 56925 = 51*j - 10395. Is j > 1321?
False
Let y = -44389/3 + 22150085/1497. Is y smaller than 0?
True
Suppose 1 + 5 = -2*s, 3*r = s + 489. Let v = -153 + r. Which is smaller: v or 7?
7
Let z be 32/20*-5 - -3499. Which is smaller: 3490 or z?
3490
Suppose 2*v - 6*v = -2778 - 4802. Is 1893 bigger than v?
False
Let b = -9 + 5. Let y(m) = 0*m + 1 + 2*m**3 - m + 7*m**2 + 0*m**3 - 2*m + m. Let h be y(b). Which is greater: -6 or h?
-6
Suppose -2*r + 10 = -4. Let s be (-8)/(-2)*2/4. Suppose 4 = s*q - 12. Do r and q have different values?
True
Let i = -83 - 118. Let n = -201 - i. Which is bigger: 1/5 or n?
1/5
Let v = 109 - 114.85. Let o = v + -0.15. Do o and 12 have the same value?
False
Let n be (27/126)/((-2)/21) + 2. Let i = 63 - 76. Is n at most as big as i?
False
Let m = -5/9 - 1/9. Let z = -1584.8 + 1904.8. Is z less than m?
False
Let r = 0.2751 - 0.2151. Let t = 10.8 + -8.6. Which is bigger: r or t?
t
Let c be ((-5)/(-4))/((-12)/48 + 0). Is -14 >= c?
False
Let l be 259 - 256 - 4*(-2)/4. Let h = 1 - 1. Let t be (-3)/1 - -1 - h. Which is smaller: t or l?
t
Let x be 3*34/(-98) + 1 + 0. Which is bigger: x or -11?
x
Let x = -3533 + 3536. Which is smaller: 7/85 or x?
7/85
Suppose -848*o + 29 = -872*o + 5. Do o and 9/163 have different values?
True
Let u = -41.16 - -39.18. Is 2/5 less than u?
False
Let z(i) = -9*i - 37. Let r be z(-6). Suppose 0 = -5*p + 552 - 452. Is p at least as big as r?
True
Suppose -2*f + 2*b = -4060, -2*f + 8128 = 2*f - 2*b. Is f less than 2034?
False
Let v = 2981031/145 + -20559. Which is greater: -1 or v?
v
Let f = -20 + 20.1. Let d = 306/29 + 384/145. Is d bigger than f?
True
Suppose -a - 8*a = -45. Suppose -l + 6*d = 4*d + 12, a*d = -5*l. Let g be 26/6 - l/6. Is 5 greater than g?
False
Let v be (-5)/(-23)*10/(-25). Let q(d) = -d**2 - 5*d + 15. Let w be q(-7). Let c(m) = -m**2 + m - 1. Let j be c(w). Is v != j?
True
Suppose 0 = -5*c - 4*t - 20, 25*c - 22*c + 9 = -3*t. Is 1 < c?
False
Suppose 0 = -3*k + u - 6, k + 0*k = 3*u - 10. Suppose 2*l - 154 = -x, 3*x = 6*x - 4*l - 422. Let a = x - 144. Do k and a have the same value?
False
Let t(f) be the second derivative of f**6/72 - 11*f**5/120 - f**4/4 + 19*f. Let a(c) be the third derivative of t(c). Let j be a(2). Which is greater: 3 or j?
j
Suppose -6 = -2*x, 5*f + 2*x = -6 + 32. Suppose 40 = 5*y - f*v - 15, -2*y - 4*v = -22. Suppose 0 = -d - d + 18. Which is greater: y or d?
y
Let p = 153 - 252. Let z = 89 + p. Let m be z/(-15) - 30/18. Which is bigger: m or -2/79?
-2/79
Let i be ((-6)/2 - -4)*(-2)/(-2). Let l be (14 + -15)/(1/i). Is l at least 4/45?
False
Let d(k) = 9*k + 86. Let j be d(-15). Let s = -42 - j. Is 7 at most s?
True
Let b be (4/16)/(4303/208 + 5). Which is smaller: b or -0.03?
-0.03
Let l = 201 + -199. Let m be l - (12/(-7))/(21/(-28)). Which is smaller: m or -4.5?
-4.5
Let r = -418809/13 + 32217. Which is bigger: 164 or r?
164
Let d = -8.95 + 9. Let r = -136 - -138. Suppose -11*s = -r*s - s. Which is bigger: d or s?
d
Let b be (-3022)/(-5) - (0 + -1). Let h be (-3*(-1)/(-2))/((-20)/8040). Let a = b - h. Which is smaller: a or 2?
2
Let l = -19329.6 + 19569.601. Let w = l + -240. Is 1 at least as big as w?
True
Let h = 2517/5 - 2518/5. Is -1.9 greater than h?
False
Let b be 56/48 + 226/12. Is 101 < b?
False
Let q(n) = n**3 - 27*n**2 + 19*n - 197. Let c be q(24). Is c equal to -1467?
False
Let x = -16978.1 + 16978. Are x and 0.13111 equal?
False
Suppose 3*q - 106 = 8*q - v, 82 = -3*q - 4*v. Let c(o) = -o**3 - 23*o**2 - 24*o - 44. Let w be c(q). Which is bigger: w or 13/18?
13/18
Let c = -33 + 51. Suppose c + 16 = b. Suppose 0 = 234*w - 232*w - 68. Is b not equal to w?
False
Let h = 0.6053 + -0.6053. Let b = -4719/20 + 236. Which is smaller: h or b?
h
Suppose j = u + u + 1426, 0 = -4*j + 5*u + 5683. Are 1413 and j unequal?
True
Let d be (-6)/(-7 + 12088/1728). Suppose -79*y + d = -87*y. Does y = -1?
False
Let q be ((1 - -81)*-2)/(127/254). Are -328 and q nonequal?
False
Suppose -b = -2*d + 11, 0 = 2*b + 2*d - 591 + 583. Let v = 5/138 + -853/19734. Is b at least as big as v?
False
Let i = 584 - 828. Let s = i + 242. Is -8 less than s?
True
Let m(a) = -18*a - 59. Let x(k) = -18*k - 56. Let l(j) = 5*m(j) - 4*x(j). Let i be l(-4). Which is smaller: 1/52 or i?
1/52
Let j = -7 - -4. Let c be ((-2 + 2)/(5 + j))/2. Suppose 2*n + c + 42 = 0. Which is smaller: n or -41/2?
n
Suppose -5*d - 155 = -v - 2*d, d = v - 163. Which is greater: v or 1514/9?
1514/9
Suppose -3*t + 12 = t. Suppose -3*y - m = m + 9, t*y - 12 = 5*m. Let u be -1 + (6 + -3 + 13 - y). Are u and 17 non-equal?
True
Let z = -4392 + 12158. Which is greater: 23296/3 or z?
z
Suppose 0*z = z + 2*o, 0 = z - 3*o - 15. Let l be 4/z - (-420)/45. Which is greater: 5 or l?
l
Let p(w) = w**3 - 18*w**2 - 20*w + 22. Let y be p(19). Let x = -602 + 863. Let o be y/(2/((-12)/x)). Do 1/4 and o have the same value?
False
Let q = -5.29 - -5.39. Let l be (1 + 197/(-190))*-4. Let u = l + 578/1235. Is u bigger than q?
True
Let i = 970025397/3638 + -266637. Are i and -1 non-equal?
True
Let y(o) = -171*o**3 + 5*o**2 - 3*o - 2. Let i(h) = -343*h**3 + 11*h**2 - 7*h - 4. Let d(g) = -6*i(g) + 13*y(g). Let r be d(1). Are r and -165 unequal?
False
Let h = -301 + 300. Let z(t) = -2*t - 7. Let y(u) = -6*u - 20. Let k(o) = 6*y(o) - 17*z(o). Let n be k(-1). Is n at most h?
False
Let r = -106 + 123. Suppose 0 = -7*h + 11*h - 72. Is h greater than or equal to r?
True
Let z be 14/(-35) - 78/5. Let u(s) = 3*s + 14. Let b be u(z). Let x = 43 - 76. Is x <= b?
False
Let r(t) be the first derivative of -2*t**3/3 - 19*t**2/2 + 5*t + 7. Let x be r(-10). Let c = -0.15 + -0.05. Which is smaller: c or x?
x
Let g = -2325 + 3254. Which is bigger: 0 or g?
g
Let i be 3/(-30) - (-2)/4. Let c be 195/(-30)*(-16)/52 + 7. Is i at most as big as c?
True
Let f = -1574327/29020 + -2/7255. Which is greater: -54 or f?
-54
Let p(z) = 8*z**2 - 2*z + 2. Let i be p(1). Suppose 0 = i*v - 5*v. Suppose -g + 8 - 1 = v. Is 5 >= g?
False
Let u(f) = -f + 3. Let b be u(6). Suppose 5*s = -h - 31, 3*s - 6 - 3 = 0. Let p be (11/132)/(1/h). Is p at least b?
False
Suppose 117 = 3*w - 15. Let n be (4 - 3) + w - -3. Suppose 51 = -3*o + n. Which is bigger: 1 or o?
1
Suppose -3*n + 555 = 5*g, 0 = 6*n - n. Let k be (4*1/6)/(52*(-62)/(-536796)). Is k greater than g?
False
Let v = -31148 + 31624. Are v and -1/3 non-equal?
True
Let v(a) = -a**3 - 17*a**2 - 6*a - 115. Let j be v(-17). Are 100 and j unequal?
True
Let g = 2.06992 + 0.14008. Is -4 smaller than g?
True
Suppose 0 = a - o - 56, -5*a - 2*o + 153 + 162 = 0. Is a < 61?
False
Let o(x) = x**3 - 7*x**2 + 62*x. Let r be o(8). Suppose -r = -5*u + 3*p, -13*u + p + 340 = -10*u. Which is greater: 114 or u?
u
Suppose -3474 = 30*o + 756. Let z = o - -146. Let p = 8805/7 + -1254. Are z and p equal?
False
Suppose 3*v + 2*b = 783, 2*v + b - 432 - 91 = 0. Let m(o) = -833*o + 11091. Let y be m(13). Is v < y?
False
Let r(p) = -2*p**2 + 89*p + 1363. Let c be r(-12). Is c less than -232?
False
Let b = 411 + -257. Let y = b - 155. Do 2/541 and y have different values?
True
Let k be 355/14*(-2)/40*-6. Let z = k - 13/28. Suppose -3*v - 4 = -25. Which is smaller: v or z?
v
Let f be 14/(-119) + 709/6460. Which is greater: f or 0?
0
Let k be (2/10 - 627/