-4)*1)/(-1 - -2). Suppose -3*r - 153 = w, -203 = 4*r - t*w + w. Are -50 and r equal?
True
Let n = 407 - 406.9. Is n < -148?
False
Let i(n) = -n. Let z = -25 - -23. Let s be i(z). Let w(q) = q. Let a be w(s). Is 1 > a?
False
Let c = -87 + 295/4. Which is greater: c or -14?
c
Suppose 118*o + 14876 = 43786. Which is greater: o or 246?
246
Let g(m) = m**3 + 15*m**2 - 2*m - 234. Let u be g(-14). Let q be (-58)/6 - (-2)/3. Is u >= q?
False
Let v(h) = -170*h - 141. Let b be v(-5). Which is smaller: -0.1 or b?
-0.1
Let u = 955.59 - 891. Let d = 0.41 + u. Is -1 less than d?
True
Let g(m) = -m**3 - 2*m**2 - 4*m - 3. Let w be g(-2). Let i be 6/(-10)*(w/(-4))/(-1). Which is bigger: 2 or i?
2
Let j = 2 + -8. Let t be ((-36)/(-30))/(j/(-20)). Let m = -10 + 10.1. Is t greater than m?
True
Let h(w) = w**2 + 6*w - 3. Let g be h(-7). Suppose -g*q = -q - 18. Let y = q + -6. Which is bigger: 2/15 or y?
2/15
Let h = -2761 + 325. Let z be (144/h)/(2/(-7)). Is 1 greater than or equal to z?
True
Suppose 0 = 10*f + 48 - 28. Which is smaller: f or -13?
-13
Let p be ((-30)/55)/(4 - 5). Let r = 1 + -3. Are p and r non-equal?
True
Let i(q) = -50*q + 112. Let n be i(5). Is -138 greater than n?
False
Let s = 6.3 + -4.9. Let z = s - -0.8. Does z = 0?
False
Let y(b) = 14*b - 100. Let s be y(7). Do s and -28/17 have the same value?
False
Suppose -5 + 13 = -8*t. Which is smaller: -3/172 or t?
t
Suppose 2*z + 14 = 2*s - 6, 4*s - 10 = -2*z. Suppose 0*a - 4 = -y + 5*a, s*a = -5*y - 10. Let b be 9/(-42)*7*12/9. Which is bigger: b or y?
y
Let a(c) = -c**2 - 7*c - 9. Let d be a(-7). Let i be 280/450 + ((-4)/d)/(-2). Is 0.09 at most i?
True
Let x be 84/9 - 3 - (-2)/(-6). Suppose 1 - 37 = x*k. Which is smaller: k or -7?
-7
Suppose 4*i = 2*i + 8. Let h be (-1)/i - (-3 - -2). Suppose -5*b = 3*u + 5 - 30, -5*u - 5*b = -25. Is h at most u?
False
Suppose 0 = -2*t + 6 - 8. Is t bigger than 164?
False
Let u be 2/(-42) + (-1)/(-3). Let m = -8 + 9. Which is greater: m or u?
m
Let l(g) = -g**2 - 3*g + 4. Let x(u) = 2*u**2 + 5*u - 9. Let r(z) = -7*l(z) - 3*x(z). Let o be r(-6). Is o at least -3/5?
False
Let n(y) = 3*y**2 - 23*y. Let g be n(10). Suppose 5*w = -80 + g. Which is bigger: w or -9/5?
-9/5
Suppose 3*m = 2*m. Let u be (-5)/(-165)*(-90)/210. Is m > u?
True
Suppose c - 3*f + 26 = 78, 140 = 4*c + 5*f. Let a be ((-2)/(-1))/((-5)/c). Let u be a/6 + 6/9. Is u < -2?
False
Let a = 65.4 - 48. Let o = -0.4 + a. Let c = o - 20. Is -2/11 bigger than c?
True
Let y(w) = -w**3 - 4*w**2 + 4*w + 3. Let f be y(-5). Suppose f*m + 10 = -6. Is 3 > m?
True
Let r = -451 - -609. Which is smaller: 157 or r?
157
Let o = -6 - -4. Let s be -1 + o + 95/5. Let p be (-4)/s - (-7)/12. Is 0.8 at most as big as p?
False
Let f be ((-2)/1)/(10/(-20)) + -193. Let h be 8/(-10) + f/(-180). Are -3 and h equal?
False
Let f = -74 + 66. Let y(z) = z**2 + z + 11. Let b be y(f). Which is greater: b or 68?
68
Let r(c) = 20*c**3 + c**2 + c. Let q be r(-1). Suppose -100 = -7*f + 3*f. Let t = f + q. Is t <= 5?
True
Let m = 52 - -18. Suppose -6*l - m = -13*l. Which is bigger: 28/3 or l?
l
Let b = 3 - 0. Suppose -3*v - 2 = 4. Let l be ((-4)/(-5))/(v/(-10)). Which is bigger: b or l?
l
Let a be (-21)/(-28)*12*(-6)/(-27). Let j be a/3*(-312)/(-16). Are j and 11 equal?
False
Let l = 469 + -492. Which is smaller: -31 or l?
-31
Let c = 45 - 136/3. Let o = 1.1534 - 0.0534. Which is greater: o or c?
o
Let b = -11 + 14. Let i = 151 - 1051/7. Is b bigger than i?
True
Suppose -9*d + 13*d - 312 = 0. Let s = d + -703/9. Which is greater: 0 or s?
0
Let h = -80 + 79. Let r be ((-36)/26)/(-3) - 0/5. Which is smaller: h or r?
h
Let y(o) be the second derivative of o**3/6 + 5*o**2 + 2*o. Let w be y(-10). Suppose 4*f + 4*b - 16 = w, 4*b - 5*b = -f - 2. Which is bigger: f or 3/8?
f
Let y be 2034/12*2/3. Which is smaller: -2 or y?
-2
Let l(s) = -2*s - 3. Let q be (-20)/25*-5 - -3. Let k be l(q). Is -17 greater than or equal to k?
True
Let h = 1.7 - 1.5. Let d = 1.71 + -1.8. Let u = 0.01 - d. Which is greater: u or h?
h
Suppose -2*o + 16 = 2*o. Suppose 0 = 5*f - 3*t - 8, -o*f + 5*t - 4 = -13. Let j be 0 + 4/(f - -3). Which is greater: -1/14 or j?
j
Let a be 162/12 + (-1)/(-2). Let g = a - 20. Which is smaller: g or -8?
-8
Let b = -68 - -38. Let a be ((-5)/b)/(14/5 - 3). Is a not equal to -1?
True
Let r(o) = -o**3 + 3*o + 2. Let v be r(-2). Suppose 0 = -0*w - w - t + 3, 4*t + 20 = 0. Suppose -w = -v*d - 0. Which is smaller: d or 4?
d
Let h(v) = -v**2 - 10*v + 1. Let c be h(-10). Is 2 != c?
True
Let a be (-2)/7 - (-7 + (-12420)/(-140)). Is -83 bigger than a?
False
Suppose -f - f + 5*f = 0. Let i be f/((52/(-65))/(2/5)). Which is smaller: -1/50 or i?
-1/50
Let m = 2467/5 + -493. Which is smaller: m or 53?
m
Suppose 0 = -12*z - 3*z + 60. Suppose -z*d = 5*s - 47, 1 = s + d + 4*d. Which is greater: 2 or s?
s
Suppose 132 = 2*n + 3*d - 5*d, -2*n + 116 = 2*d. Is n >= 60?
True
Let k be (-4)/(-6)*(-172)/(-2). Let f = -57 + k. Let o = 9.9 + 0.1. Which is bigger: f or o?
o
Suppose -n + 11*k = 6*k - 42, -3*n = -3*k - 114. Which is greater: n or 1/8?
n
Let l(f) = f**2 + 6*f + 6. Suppose n + 4*t + 1 = -0*n, -4*n - t = 19. Let m be l(n). Which is smaller: 0 or m?
0
Let q(p) = -2*p**3 - 23*p**2 - 12*p. Let s be q(-11). Suppose 4*w + s - 29 = -2*z, w = 4. Is z bigger than 10?
False
Let u = 7 + -15/2. Suppose -5*f - 57 = -2*z - 10, f + 3 = 0. Suppose -z = -0*o + o. Is u not equal to o?
True
Let f = -19 + 21. Let h be (-3)/(-16)*f*3/36. Which is smaller: h or -1?
-1
Let u be (9/6)/((-153)/(-102)). Is u < 4/51?
False
Suppose 7498 = -57*z + 2596. Is -88 at least as big as z?
False
Let k be (0 + 14)/(1/2). Which is smaller: -0.2 or k?
-0.2
Let r = 38 + -35. Let c be 10/25 + 36/10. Suppose -35 = 5*v - 4*y, -3 + 0 = -c*v - r*y. Which is smaller: -13/6 or v?
v
Let n(i) = i**2 + i - 3. Let l be n(-3). Let h be 26/l + (-2)/(-6). Let z be 8/(-1 + 15/h). Which is smaller: z or 13?
z
Let z be (2/2)/3*153. Which is greater: 46 or z?
z
Let h(c) = -c**2 + 8*c - 8. Let r be h(6). Let a be (-1)/(-2 - -1)*r. Let j = 11 - 8. Which is smaller: a or j?
j
Let s be 16/4 + -6782*6/10170. Is 1 greater than or equal to s?
True
Let c = -61 + 64. Let s be 2*(15/10)/c. Which is bigger: s or 50?
50
Let m = -22 - -45/2. Let y = -24 - 13. Which is smaller: y or m?
y
Suppose -15 = 3*s + 5*q, 2*q = -4*s - 0*q - 20. Let a(b) = b - 8. Let z be a(7). Let c be (-3)/1 - (-1)/z. Which is smaller: s or c?
s
Suppose -16 = 4*d, -5*m + d - 31 = -60. Let c = -1 + 1. Suppose c = m*v - 4*v. Which is bigger: -1/4 or v?
v
Let l = -75317716/2851 + 26418. Which is smaller: 1 or l?
l
Let d = 99 - 95.44. Let b = d + 0.14. Let f = b + -4. Are f and 0 unequal?
True
Let j(r) = -11*r - 8. Let q be j(-1). Let z be (-3 - 9)*(-2)/q. Are 7 and z unequal?
True
Let d(y) = -y**2 - 8*y - 4. Let c be d(-7). Suppose -2*o - 10 = a + 3*o, -3*a + c*o = -24. Suppose -5*j = 5*z - 8*z - 30, 5 = 2*z + a*j. Is -5 < z?
False
Let m be ((-52)/182 - 454/28)*-2. Which is smaller: m or 4?
4
Let v = -253 - -120. Which is bigger: v or -132?
-132
Suppose -b + 2*b = 0. Let k be ((-126)/35)/((-3)/(-10)). Let i be k/(-102)*(-6)/4. Does i = b?
False
Let c = 1725 + -1712. Which is smaller: -9 or c?
-9
Let u be (-4 + -158 + 4)*13/13. Which is smaller: u or -159?
-159
Let r = 631.003 + -631. Is 9 less than r?
False
Let y = -10.7 + 211.7. Which is smaller: 2 or y?
2
Suppose 6*j - 259 = -67. Let m = j + -158/5. Which is greater: -0.2 or m?
m
Let z(h) = 1559*h**3 - h**2. Let k be z(-1). Let q be 6/(-21) + k/(-5705). Let p = q - 1298/489. Is -2 bigger than p?
True
Let m(i) = -i**2 + 4*i + 29. Let w be m(8). Let q be 4/6 - 145/60. Is w equal to q?
False
Let a be (-9)/(-3) + 1*2. Let q(k) = -k**3 + 5*k**2 - 2*k. Let o be q(a). Suppose y + 59 = -5*z, 0 = z - 327*y + 324*y - 1. Which is bigger: o or z?
o
Let q(z) = -11*z**3 - 25*z**2 + 21*z - 1. Let n(w) = 5*w**3 + 12*w**2 - 10*w + 1. Let x(b) = -13*n(b) - 6*q(b). Let u be x(4). Which is smaller: -22 or u?
u
Let c be (17 + -1)/((-94)/141). Which is greater: c or -27?
c
Suppose 3*a = 0, -189 = 4*i - 2*a - 1425. Let w = i + -211. Suppose -5*t - w - 2 = 0. Which is smaller: -19 or t?
t
Let t = -61 + 88. Let m = 1976 - 1949. Is m greater than t?
False
Let r = -158/3 + 1100/21. Which is smaller: 57 or r?
r
Let m = 5 - 2. Supp