 Is -547/8 equal to b?
False
Let z be -2 + 2160/(-716)*-421. Let c = 1268 - z. Let v = c + 928/10203. Which is smaller: v or -1?
-1
Let j(h) = 2*h**2 - 4*h + 7. Let w be j(3). Suppose 0 = -w*f - 0. Let k(a) = 2*a - 1. Let c be k(1). Which is smaller: c or f?
f
Suppose 0*g - 7*g = -84. Suppose r - g = -42. Is -30 at least as big as r?
True
Let c be 388/(-1455)*10/1012. Which is smaller: 1 or c?
c
Let s = -1343/63 + 150/7. Is s >= 1?
False
Let q be (0 - (-4)/14)/(-1). Let v = -12.5 - -12.497. Let t = -4.997 + v. Is t at most q?
True
Let p be 14/(-6) - 2/(-6). Let k(v) = -v**2 - 3*v - 2. Let l be k(p). Let q be (-732)/480 - (-3 + 24/15). Which is smaller: q or l?
q
Let o be 4*(30/(-8))/1. Let z = -62 + 62. Suppose 2*d + 37 = 5*a, -5*d + 5*a + z*a = 85. Which is smaller: d or o?
d
Let h = 38141/38681443 + -3/15271. Is -1 > h?
False
Suppose 0 = 4*m - 5*m + 3. Suppose -5*s - 37 = m. Let g be s - -6 - 1*-2. Is g <= -4?
False
Suppose -3*o = -18 + 39. Which is greater: -67/9 or o?
o
Let j be (2/(-4))/((-8)/(-176)). Let u be (9 - (9 + -4)) + -7*2. Which is smaller: u or j?
j
Suppose -2*b - 2*f - 3*f + 312 = 0, -f = -5*b + 753. Which is bigger: b or 303/2?
303/2
Let v be (10 - -4) + -1 - (0 + 1). Suppose y = 24 - v. Is y < 0.3?
False
Let o be 140*((-2)/(-15) - (-406)/(-420)). Is -117 greater than or equal to o?
False
Let v(o) = o + 23. Let u be v(-15). Which is bigger: 3 or u?
u
Suppose -2*m + y + 28 - 11 = 0, 4*y = -m - 5. Let a(l) = -l**2 - l - 3. Let q be a(0). Let h = q - -12. Is h greater than m?
True
Let p(r) = -r**3 - 16*r**2 + r + 21. Let a be 36 + 1 + (4 - 5). Suppose 0 = -u + 5*y - 6, -2*u + 2*y + a = -4*u. Let m be p(u). Is m at most 3?
False
Let m = -3 - -5. Suppose -m*k + 0*k - 12 = 0. Let f be ((-20)/12 + -3)/(78/117). Which is greater: k or f?
k
Let m = 28 + -30. Let f be 2/(-4)*((-8)/2)/m. Is 4 greater than f?
True
Let m(h) = 117*h + 4091. Let p be m(-35). Let i = -17 - -11. Which is bigger: p or i?
p
Let j = -610.2 - -533. Let z = 77 + j. Is 2 < z?
False
Suppose -3*t - 4 = -f + 11, -4*t - 20 = 4*f. Suppose f = d - 0*d - r + 5, -3*d + 5*r - 21 = 0. Which is smaller: d or -19?
-19
Let i = -170 - -322. Which is greater: 153 or i?
153
Let o be (-45)/(-27) + 21/(-3). Which is bigger: o or -6?
o
Let f be -1*(6 + (2 - 4)). Let c(n) = -13 - 6*n**2 + 5*n + 3*n + 11 + n**3. Let b be c(4). Is b at least f?
True
Let g be 9/6*(-4)/3. Suppose 0 = 3*v, 6 - 3 = -f + 4*v. Is f smaller than g?
True
Let k = 2194/163175 - -8/1525. Let v(b) = -b. Let c be v(1). Which is smaller: c or k?
c
Let m = -15.21 + 15.9. Let a = m - -0.01. Which is smaller: -2/3 or a?
-2/3
Let m be 1 + (4 + 0)/2 + 1. Suppose -2*a = a - s - 23, -4*s + m = 4*a. Let u = 18 - 12. Is a at least as big as u?
True
Let z(p) = 26*p**2 - 9*p - 28. Let d be z(-3). Which is smaller: d or 229?
229
Let l(d) = -3*d**3 - 12*d**2 + 4*d + 7. Let b be l(-4). Which is smaller: b or 3?
b
Suppose 58*d + 35 = 23*d. Is d less than 7/43?
True
Let w = -7 - -13.1. Let f = w - 6.2. Is 3 greater than or equal to f?
True
Let a = 734/1265 - 4/115. Suppose 0 = 3*l + 4*f - 113, -5*l + 6*f - 7*f = -177. Let c be 80/l + (-6)/21. Is a at most as big as c?
True
Let b = 631 - 743. Which is bigger: b or -1?
-1
Suppose -2*h - 3*m - 12 = 0, 0*h + 4*h - m = 4. Suppose -1 = -h*f + 2*f + s, -5*f = -s - 1. Are f and -2/27 unequal?
True
Suppose 25 = -2*m - 3. Suppose -k = -0 + 13. Are m and k non-equal?
True
Let b = 1.2 + 14.8. Let v = 254.07 + -238. Let u = b - v. Is u equal to -0.1?
False
Let o = 453/5 - 10041/110. Which is greater: -1 or o?
o
Suppose -4*a = 2*u - 747 - 755, -a + 2*u = -368. Which is smaller: a or 1121/3?
1121/3
Let t = 15 - 12. Let i = 2 - t. Let s be 1*(-3 - (i - 2)). Is -2/3 > s?
False
Suppose 0 = v + 2*a + 4, -3*a = -4*a - 2. Let t = 0 - v. Let n = 11 - t. Which is bigger: n or 12?
12
Let k = 1789 - 1779. Which is smaller: k or -71?
-71
Let a = -5/72 - 121/72. Let y = 1 - 1. Suppose -2*n - 4*p - 18 = y, 5*n + 4*p + 4 + 17 = 0. Which is bigger: a or n?
n
Let z = -1114/7 + 14524/91. Suppose -5*k + 4 = -0*p + 4*p, -4*k = 0. Is p bigger than z?
True
Let n be 60/(-39)*(-1)/6. Which is greater: n or 0?
n
Let a(h) = 7*h**2 + 5*h**3 - 9*h - 3 - 7 - 4*h**3. Let z be a(-8). Let s be 0/(2 + (z - 1)). Is 3/10 <= s?
False
Let f(a) = -a**3 - 6*a**2 - a - 8. Let i(v) = 5*v + 4. Let z be i(-2). Let m be f(z). Suppose 3*s = 5*w - 12 - 14, 2*w - 10 = s. Are m and s non-equal?
False
Let j = 19 - 96. Let o = -11678 - -11678.1. Which is smaller: o or j?
j
Let q(u) = -u**2 + 31*u + 103. Let y be q(35). Which is smaller: y or -39?
-39
Let b(f) = 2*f**2 - 29*f - 138. Let w be b(-6). Which is bigger: 107 or w?
w
Let t be 8*(-5)/(-140) + (3 - 3). Do -6 and t have the same value?
False
Let p be (-36)/(-27) - (12/9 + -1). Which is smaller: 0.36 or p?
0.36
Let l be (2/(-1))/(1/2). Let z be (-2 - 0) + l/(-4). Let t = 8.469 + -18.469. Which is bigger: z or t?
z
Let c be 1 - 6*116/(-8). Which is smaller: 89 or c?
c
Let b be (-1021)/(-15)*2*-1. Let r = b - -136. Suppose -12*o = -6 + 18. Which is smaller: o or r?
o
Let c(d) = -d**2 - 2*d - 3. Suppose 0 = -s + 5*t - 21, -2*s - 20 = 2*s - 4*t. Let p be c(s). Let b be p + ((-1272)/(-100))/6. Which is bigger: 1 or b?
1
Let t(p) = 6*p - p**3 - 10*p**2 - 3*p + 3 - 2*p + 3*p**2. Let x be t(-6). Let s be 1/((-4)/(36/x)). Is 0 at most s?
True
Let x be 611/(-30) + 3*2/6. Let j = -56/3 - x. Let v be -2 + 3 + (-3)/3. Which is smaller: j or v?
v
Suppose -3*d + 5*r = 24, 3*d + 13 = 4*r - 8. Is d smaller than 74?
True
Let a = -1/40194 - -1915931/683298. Let x = 42/17 - a. Which is bigger: 1.6 or x?
1.6
Let f = 2386/23517 - -2/1809. Which is smaller: 0 or f?
0
Suppose -3*v - o + 4 = 0, 3*v = -2*v - 2*o + 7. Let f = -362/45 + 48/5. Is v < f?
True
Let j be (-4)/10 + (-67)/(-5). Let p(u) be the third derivative of u**5/20 + u**3/3 + 23*u**2. Let a be p(2). Which is smaller: j or a?
j
Let v = 3 - -18. Let i = v + -21. Which is smaller: -6/5 or i?
-6/5
Suppose 60 = -7*g + 13*g. Suppose -3 - g = f. Which is bigger: f or 0?
0
Let n be -7 + (-225)/(-35) - 122/7. Which is smaller: n or -20?
-20
Let h(x) = x - 12. Let k be h(15). Suppose -k*o + 25 = -101. Is o < 43?
True
Suppose q - 3*o + 2 = -5*o, 0 = 2*q + 3*o + 3. Let z = 6982/15 + -466. Which is greater: q or z?
q
Let r = -0.6 + 0.54. Let y = 1/709 - -14881/5672. Let t = 163/56 - y. Is r < t?
True
Let m = -2.1 - -2. Let z = -795 - -791. Do m and z have the same value?
False
Let t = -9 - -13. Suppose -t*j + 9 - 5 = 0. Is -5/16 > j?
False
Let a = -13.4 + 14.4. Let b = -1.25 - -0.15. Let w = 2.9 - b. Is w greater than or equal to a?
True
Let k be (-108)/(-8)*(-4)/93. Let h = 21/124 - k. Let r be -1 + 50/(-10) + 8. Which is smaller: h or r?
h
Suppose 3*y + 2*r - r = -56, -2*y = -2*r + 40. Is y at least -22?
True
Suppose 2*w - 3 + 1 = 0. Suppose -k = -6 + w. Suppose 25 = 3*n + 4*z, -2*n + k*z = 9 + 5. Do n and 4 have different values?
True
Let m be -5 - -5*(-12)/15. Let r be (4 - 3)/(1/6). Let s = m + r. Is s < -1?
True
Let c = -0.3 - -0.2. Suppose f = -2*r + 244, -r + 154 - 46 = 4*f. Let m be -6*(3 + r/(-40)). Is c bigger than m?
False
Let b = -0.12 - -0.02. Suppose 13 = 3*k + 2*j, 2*k + 0*j + j - 7 = 0. Is b greater than k?
False
Let v = -24 - -27. Suppose 2*l - 18 = 3*y + 3, -v*y + 3 = 2*l. Let a(t) = -t**2 + 10*t - 9. Let p be a(l). Are 16 and p equal?
False
Let g = 94 - 46. Suppose g = -l + 5*l. Let o = 7 - l. Is o at least -6?
True
Suppose -7 + 31 = 8*y. Is y at most as big as -15?
False
Let l be (-6)/(-2) - (3 + -9 + 4). Let d be ((-2)/l)/((-16)/(-40)). Which is bigger: -14 or d?
d
Let s be ((-35)/10)/((-1)/(-2)). Let d(f) = -f**2 + 10*f + 16. Let c be d(12). Which is smaller: c or s?
c
Let a = 600 - 602. Is 0.79 smaller than a?
False
Let j = -91 + 459/5. Let q = -19.4 + 15.4. Which is smaller: j or q?
q
Suppose -5*m + 4 = 2*y, -64 = -4*y + 4*m - 0*m. Let c be 10/y*(3 - -3). Suppose -4*o + 0*o = 5*t + 29, 4*o - 5*t = 21. Which is bigger: o or c?
c
Let m be (2/5)/((-24)/(-15)). Let u = -494 - -494. Which is smaller: u or m?
u
Let v(f) = 16*f + 161. Let t be v(-10). Let h be 12/33*(-2)/(-20). Are h and t equal?
False
Let c(o) = -o**3 + 6*o**2 + 4*o - 4. Suppose 11 + 1 = 2*v. Let w be c(v). Let g be ((-6)/45)/((-44)/w). Which is smaller: g or -1?
-1
Let m = 