 g be j(-5). Let v be b(g). Is -1 > v?
True
Let s = -0.45 - -72.95. Let n = -70 + s. Which is bigger: n or 2?
n
Let y = 233/28 - 60/7. Which is bigger: y or 8?
8
Suppose -t + 2*y + 75 - 18 = 0, -4*y = -3*t + 169. Which is greater: 490/9 or t?
t
Let c(s) = -15*s**2 - 49*s + 4. Let b be c(-6). Which is greater: -241 or b?
-241
Suppose -2*s = 4 - 0. Let i = 632 + -1861/3. Let l = i + -184/15. Are l and s unequal?
True
Let r = 3.41 + -3.01. Which is smaller: r or -50?
-50
Let a(n) = n**3 - 7*n**2 - 3*n + 3. Let z be a(7). Let t = -13 - z. Suppose -3*q - 2 = 3*r - t, 5*q - 5*r = -15. Which is bigger: q or -2/37?
-2/37
Let r be 3/9 - (-158)/(-6). Let o = -7 + -9. Let z be ((-3)/r)/(12/o). Is z at most -2/19?
True
Let g = -2422492676 + 479030969222700/197743. Let q = -2/3731 - g. Is q != 1?
True
Let b(m) = -m + 11. Let f be b(5). Let w be (6/(-20))/(f + 48/(-10)). Is w > 17?
False
Suppose c - 5*c + 20 = 0. Let n be 4/(5/(c/(-2))). Let u be (-9)/6*n/3. Which is smaller: -1 or u?
-1
Let x be (2/44)/((-28)/624). Let a = -8/11 - x. Let w = 41/20 - 9/4. Which is smaller: w or a?
w
Let w(t) = -t**2 - 3*t - 1. Suppose -4*s + 8 = -p, -13 = 3*p - 4*p - 3*s. Let r be (p/(-8))/((-5)/(-30)). Let f be w(r). Which is smaller: f or -1/9?
f
Let f = -658 - -682. Which is bigger: 21 or f?
f
Suppose 81*c + 50 - 26 = -57. Let o = 6 + 20. Let p be 10*o/252 - 1. Is p > c?
True
Let d = -25 + 24. Let x be d + -4*(2 + -2 + 1). Suppose a = -4*a - 35. Which is smaller: x or a?
a
Suppose 0 = 52*b - 0 + 52. Is -501 at most as big as b?
True
Let w = -0.03 + 0.073. Let k = 0.057 + w. Is k at least as big as -0.44?
True
Suppose -7*u + 20 = -2*u. Suppose u*c - 6 = 2*c. Let i be (-3 - (-676)/228)*c. Which is bigger: 1 or i?
1
Suppose -18 + 6 = -2*x. Let g(j) = -j**3 + 5*j**2 + 7*j - 6. Let c be g(x). Let w be c*(2/4 + -1). Are w and -2/5 equal?
False
Let o(q) = -16*q - 3*q**2 + 8*q**2 - 7 + 18*q - q**3. Let i be o(5). Suppose 2*r + i*r = 40. Is r bigger than 10?
False
Let y(s) = 2*s + 12. Let t be y(-6). Suppose -244 = -4*i - 0*i - 3*z, t = z - 4. Which is bigger: i or 57?
i
Let v = -38690257 + 2536107654492/65549. Let l = 3/649 + v. Are l and 1 unequal?
True
Suppose 0 = -5*v + 4*t + 142, 4*v + 4*t - 104 = -12. Which is bigger: 192/7 or v?
192/7
Let h(l) = 18*l + 51. Let c(a) = 19*a + 52. Let k(y) = -6*c(y) + 7*h(y). Let v be k(-4). Which is smaller: v or 0?
v
Let l = 843/50 - -66/25. Let p be (-10)/(-45) - (-169)/9. Do p and l have different values?
True
Let z be (-1 - -6) + 210/266. Are 6 and z nonequal?
True
Let c = 7.433 - 0.433. Which is bigger: 23 or c?
23
Suppose -2*o + 4*o = -18. Let y = o - -9. Let d = 5 + -2. Which is bigger: d or y?
d
Let f = -441 + 438. Let i = 6 + -20. Let b be i/2*(-2)/(-4). Which is smaller: f or b?
b
Let j = 23 + -19. Suppose 3*x = 3*q - 186, q - 294 = -j*q - 3*x. Let s be -4 - 2*q/(-32). Is s at most as big as -1?
False
Let y = 4.24 + 1.66. Is 7/3 smaller than y?
True
Let q = -309 + 308.9745. Which is bigger: q or -2/5?
q
Let c(k) = 9*k**2 - 9*k + 23. Let l be c(3). Is 78 >= l?
True
Let h be (-10 - -6)/(-4) + -1*1. Let j = 4140/13 - 318. Which is smaller: h or j?
h
Let o = -14.38 - -6.38. Suppose -3*x = -7*x + 4. Do o and x have the same value?
False
Let i = 14/117 - -1117/117. Let w = i + -148/15. Is 0 at most w?
False
Suppose -14*t = -12*t + 6. Let q be t/(-18)*(-3 - -6). Suppose -8 = -j + y, 5*j + 1 + 4 = -4*y. Which is bigger: j or q?
j
Let m be 2/6*1*-3. Let r(t) = 7*t**2 + t. Let i be r(m). Let w be (i + -7)*(-1)/1. Is w equal to 1?
True
Let t = -58 + 60. Suppose 0 = 4*r + 37 + 31. Is r smaller than t?
True
Let x(f) = -74*f**3 + f**2 - 1. Let q be x(2). Let b be (2/(-10) - 0) + q/155. Does b = -6?
False
Let f be 7/((-35)/(-10)) - (-1)/(-1). Let z = -6273/19 + 330. Which is bigger: f or z?
f
Let m(g) = -2*g**3 + 2*g**2 - 1. Let o = 25 + -24. Let j be m(o). Which is bigger: j or -7/3?
j
Suppose 5*h - 15 + 25 = 0, -k - 3*h + 71 = 0. Is k greater than or equal to 78?
False
Let q = -5/16 - 193/48. Suppose 0 = -m - 3, -v + 5*m + 6 + 5 = 0. Let t = v - 0. Which is smaller: q or t?
q
Let c(b) = -b**3 - 9*b**2 - 9*b - 12. Let u be c(-8). Which is smaller: -21/4 or u?
-21/4
Let s(z) = 2*z + 1. Let y be s(1). Let h be (-33)/(-12) - (-4)/16. Suppose 6*f = f - h*n + 10, f + 2*n - 2 = 0. Is f bigger than y?
False
Let h = 42 + -41.979. Let j = 2.321 - h. Let n = j - -0.7. Do n and 0 have different values?
True
Let p = 15.86 + -92.92. Let g = p + 77. Is g != 4?
True
Let v be -2 + -4 - 70/(-7). Is 0 less than v?
True
Let o(b) = -b**3 + 26*b**2 - 31*b + 156. Let v be o(25). Are v and 0 nonequal?
True
Let a(f) = 2*f**2 + 5*f - 4. Let m be a(-4). Let p(q) = -5 + 2*q**2 - 6 + 6 - 12*q. Let t be p(7). Which is smaller: m or t?
m
Let s(d) = -d + 9. Let h(p) = p**2 - 10*p + 26. Let t be h(8). Let l be s(t). Is l not equal to 1?
True
Let j be ((-5)/145)/((-2)/(-8)). Suppose 8*y = -3 + 11. Is j greater than y?
False
Let z = 0.03 + 0.17. Let q = -21.4 + 21. Which is bigger: z or q?
z
Suppose -9*y = u - 4*y - 25, 3*u = -3*y + 15. Suppose -6*b - 4 + 16 = u. Suppose -3 = -3*s, -4*s = w - 2 - 3. Which is smaller: b or w?
w
Suppose 5*r + 0*a + 3*a - 42 = 0, -r + 2 = -a. Let y be (3 - (-105)/(-36))*r/(-8). Which is smaller: y or 1?
y
Let l(c) = c**3 - 12*c**2 - 55*c - 30. Let q be l(18). Is 924 not equal to q?
False
Let m = 1 - 15. Let b(d) = -d**2 - 16*d - 13. Let h be b(m). Let i be (-5)/(h/(-6)) - -4. Is 6 less than i?
False
Suppose -4*i - 3*d = 28, 3 = i - 5*d - 13. Let w = 2 - i. Suppose 2*u + c = w, 4*u = -c + 2*c + 24. Is 5 smaller than u?
False
Let y = -93 + 20. Let c = y + 43. Let m = -29.9 - c. Which is smaller: -20 or m?
-20
Let r = -1116 - -1312. Which is smaller: r or 197?
r
Let f(d) be the first derivative of 3*d**2/2 - 11*d + 6. Let x be f(4). Are -1/14 and x equal?
False
Let c = 51 + -52. Is -0.229 <= c?
False
Let o be 9217/(-17366) + 8/16 - -1. Let s = o + -10/457. Is s > 2?
False
Let p(c) = -6 + 0*c + c**3 + c - 2*c. Let r be p(0). Let l(k) = -11*k - 282. Let i be l(-25). Which is bigger: i or r?
r
Let w = 1069 - 1091. Which is bigger: -21 or w?
-21
Let d(v) = -v**3 - 4*v**2 - v + 2. Let f be d(-4). Let b be f*1*44/(-33). Suppose s = -4*p - 14 - 9, p - 4*s - 7 = 0. Which is smaller: b or p?
b
Let f be (-12)/(-4) + 81/1. Let y = 29 - f. Is y != -55?
False
Let n be ((-6804)/(-30))/(7/35). Which is smaller: n or 1133?
1133
Let g be 3/(1 + (-10)/4). Let h = 5173/570 - 257/30. Let v = -3/19 - h. Which is bigger: g or v?
v
Let c(n) = 2*n + 8. Let x be c(-6). Let i be (-12)/(-9)*(-6)/x. Let l be 96/(-448)*(-4)/(-3). Which is smaller: i or l?
l
Let s = 0.215 - 0.015. Which is smaller: s or -29/12?
-29/12
Let n = -0.5 - -1.5. Suppose 3*c - 2*y - 591 = 0, -y - 793 = 2*c - 6*c. Let i = c - 1397/7. Which is greater: n or i?
n
Suppose 9 = -5*a + 8*a. Let g be (-8)/(-7 + 3) - a. Let r be -1*(-2 - (g + -1)). Are r and 1 equal?
False
Let s = -667.46 + 678. Let p = -11 + s. Which is bigger: p or -1/3?
-1/3
Suppose -10*g + 165 = 15. Which is greater: g or 0?
g
Suppose -46*c = 26*c + 72. Is c bigger than 1.74?
False
Let n = 3.2 - 3.1. Let c = 5.4 + 7.6. Which is smaller: c or n?
n
Let y be (0 - 2)*(-420)/(-24). Is -26 greater than y?
True
Let r(u) = -20*u - 241. Let g be r(-30). Is 361 != g?
True
Let c = -136 - -135. Which is smaller: 3/122 or c?
c
Let y be (-561)/(-44) + (-1)/(-4). Let k = 5779/12 + -1483/3. Let g = k + y. Which is smaller: g or 1?
g
Let y be -3 + (2 - 14037206/(-57405)). Let h = y + -10377/43. Let a = 1/267 - h. Is a at most -1?
True
Suppose -11*s - s + 192 = 0. Let b be -7 - -4 - (-3 + s). Which is smaller: b or -74/5?
b
Let f be 33/(-44) - (-1)/8*-2. Is f less than or equal to -2/739?
True
Let j = 1597 - 1742. Which is smaller: 2/5 or j?
j
Suppose 5 = -g + 2*g. Let a(s) = -s + 1. Let p be a(g). Suppose -3*j - 12 = -n, 12*j - 11*j - 4*n + 4 = 0. Are p and j equal?
True
Let f = 18 - 15. Let z(t) = t**3 - 4*t**2 + 5*t - 3. Let k be z(f). Suppose -w + r = 0, -3*r + 15 = w + k. Are 14/5 and w equal?
False
Suppose 0 = 4*r - 4*t - 88, 5*r - 57 = 4*t + 56. Which is smaller: 76/3 or r?
r
Let o be -3 + (2 - 1) + 27. Let r be 10/o - 18/(-5). Let m be (-4 + 0)/(12 + -10). Is r smaller than m?
False
Suppose -5*m - 216 = -m. Let t be (-2)/6 + (-12)/m*-3. Is t greate