104 = -17*f. Is -55 >= f?
False
Let s be (-3)/(-2)*2142/27. Is 119 bigger than s?
False
Let p be (2 - (-1302)/(-468)) + 4/6. Suppose c + 13*c - 14 = 0. Is p > c?
False
Let g be 2/(-7) + (-5)/(-14). Let l = -2.7 + 20.7. Let z = l + -18. Which is bigger: z or g?
g
Let s = 27 - 19. Let g = 61 - 56. Which is greater: s or g?
s
Let p = -43.6 - -43.44. Which is greater: -31 or p?
p
Let k(f) = 2*f + 4. Let o = -7 - -4. Let u be k(o). Let r = u + 2. Is 0 at most r?
True
Let a(b) = -b**2 + 3*b + 10. Let c be a(5). Suppose 4*q = -2*t - 18, c*q - 23 = 4*t - 5*q. Let y be (-9)/6 - (5 + t). Which is smaller: 10 or y?
y
Let i = -24577/10 - -2461. Which is smaller: 2 or i?
2
Suppose -2*a - a - 3 = 0. Let u be -6 - 4*a/2. Let n(h) = 3*h - 37. Let c be n(11). Are u and c equal?
True
Let v be (-40)/(-12)*18/(-15). Let b(u) = -u**2 - 4*u + 3. Let s be b(v). Suppose -5*q + s*q = -2. Which is bigger: 8 or q?
8
Let h = 374/5 - 75. Let m = h + 4/5. Which is greater: 0 or m?
m
Suppose -10*q = -q. Suppose q = n + 2*g - 4*g - 10, 3*n - 50 = 2*g. Let d = -0.3 - -0.2. Is n not equal to d?
True
Suppose 4*u + 4*h - 24 = -u, -3*u - 5*h = -4. Let s be (u/(-1976))/((-2)/2702). Let k = 67/13 - s. Which is smaller: k or 1?
k
Let m be (-20)/(-63) + (-14)/49. Let r = -48.9 - -49. Is m bigger than r?
False
Let n be (-16 + 17)*(192/(-100) + 2). Suppose 2*l = -2 - 0. Do l and n have the same value?
False
Suppose -70*q + 72*q - 188 = 0. Suppose -k - 5*n - 12 = 0, 0*k - 4*k - q = -3*n. Is -24 < k?
True
Let r(d) = d**2 + 6*d + 3. Let a be r(-12). Suppose -2*q - q - a = 0. Which is smaller: -77/3 or q?
-77/3
Let u = 52 - 22. Let x(l) = -l**2 + 35*l + 345. Let z be x(43). Which is smaller: z or u?
z
Suppose -2*r = 9*r + 77. Suppose -5*y + 58 = -42. Suppose -4*t = 12 + y. Are r and t equal?
False
Suppose -a + 4*y = 2*y - 10, -4*y - 20 = -a. Suppose 5*o - 4*o - 6 = 0. Which is smaller: a or o?
a
Let v be (1 - (-3 + 2)) + 539/(-275). Which is greater: v or 1?
1
Let x(c) = 2*c**3 + 19*c**2 - 10*c + 23. Let g be x(-10). Which is smaller: g or 68/3?
68/3
Let d = -7 + 19. Let g be d*(-4)/3 - 1. Is g >= -17?
True
Let w = 3 - 19. Let o = -14 - w. Let b = 0.03 - -2.97. Which is smaller: b or o?
o
Suppose 0 = -5*c + y - 3*y + 3, 2*c - 2*y + 10 = 0. Let o be 768/400 + -1 + c. Which is smaller: o or -1/3?
-1/3
Let y(s) = -497*s - 6. Let v be y(1). Is v smaller than -503?
False
Suppose -2*a + 100 = -0*a. Suppose 0 = 3*h + 5*m + 2, m = 3*h + 2*h + a. Let j be (h/15)/(-3)*2. Is j equal to 0?
False
Let m = 1 - 1. Let h be (-1)/5 + 4/(-5). Let u = m + h. Which is smaller: u or 1?
u
Let a be 1*-2234*(-43)/(-2). Let o = -2641623/55 - a. Let t = -12/11 + o. Is t equal to -4?
False
Let u(j) = -j + 1. Let m(o) = o**2 - 10*o - 12. Let x(s) = -m(s) + 4*u(s). Let y be x(8). Suppose -1 = -v - 2. Which is smaller: v or y?
v
Let h = 29 - 36. Suppose 0 = 3*n + 3*y - 3, -n - 3*y + 6 = -1. Let t be 10/(n*3/6). Do t and h have different values?
True
Let w = -9/68 + -2/17. Let t be (-1)/(-2)*(6 - -8). Is t equal to w?
False
Let w be 2/(-8) - (-2564)/16. Which is bigger: 161 or w?
161
Let y = 0.108 + -0.065. Let x = y + 1.957. Is x >= 18?
False
Let w be 6*-1*2/40. Suppose -16 = -8*c + 16. Suppose 4*g - r + 6 = 0, -c*g - 4*r + 4 = -0*g. Which is greater: w or g?
w
Let h = 0.0461 + -5.0461. Do -9 and h have the same value?
False
Let o be (-282 - -284)*(0 - (-1 + 2)). Which is smaller: -14.9 or o?
-14.9
Let t be (-778)/(-518)*-1 - 0. Let c be 9/(-6) + (-190)/(-148). Let l = c - t. Which is smaller: 0 or l?
0
Suppose 8 = -p + 5*p. Suppose -p*k + 12 = k. Suppose 5*h - 5*x + 15 = 0, k*h + 0*x + 4*x + 52 = 0. Is h > -8?
False
Let a = -75824 + 833023/11. Let u = 95 + a. Is u != -0.1?
True
Suppose -6 - 12 = 9*c. Let n(p) = -p**3 + 7*p**2 - p + 7. Let r be n(7). Which is smaller: r or c?
c
Let d be (-1)/2*0/(-18). Suppose 2*a - 4 = -d. Let i be (-2)/(-2) + (-2)/(-5). Is i at least as big as a?
False
Let h = 595 + -602. Which is greater: h or -70/9?
h
Let q = 40956 + -76628678/1871. Is 0 smaller than q?
False
Suppose -63 = -3*v - 3*o, 4*v - 21 - 28 = 3*o. Let l be (v/10)/(4/(-20)). Let n be l/6*(-4)/(-40). Which is greater: 1 or n?
1
Let y be 6 - (3 + (-165)/(-25)). Which is bigger: 1 or y?
1
Suppose 0 = -42*d + 49*d + 7. Which is smaller: d or -2/769?
d
Let v(k) = 105*k + 89. Let y be v(-6). Which is smaller: y or -542?
-542
Let c be (-2 - 4) + 0 + 2. Let k(v) = -v**3 - 2*v**2 + 5*v. Let l be k(c). Suppose -j - 4 = 4*f, l + 8 = 5*j. Is -2 at most as big as f?
True
Let n be 5/7*(-16)/(-40). Let c = 1/5 + 0. Which is greater: n or c?
n
Suppose 5*v + 5 = 20. Suppose 0 = 5*s - v*p + 16, -5*s + 2*p - 8 = 6. Let q = -0.3 + 0.5. Is s at least q?
False
Suppose -2*n + 15 - 5 = 0. Let l = 1275/239 + -1/717. Is l at most as big as n?
False
Let i = -34 + 30. Let p = i + 5. Which is smaller: -20 or p?
-20
Suppose -7*r + 10 = -2*r. Let o be r*(-1)/(-4)*0. Which is smaller: 1/7 or o?
o
Let r be -1 + 1688/(-6) - 224/(-96). Are -1/2 and r nonequal?
True
Suppose -8*k - k = 72. Let j(c) = c**3 + 9*c**2 + 11*c + 17. Let i be j(k). Is i greater than or equal to -8?
True
Let z(a) = 75*a**3 - 2*a**2 + 1. Let s be z(1). Suppose -12*r - s = 106. Suppose 3 = 3*u, 5*u - 61 = 4*x + 4. Is r smaller than x?
False
Let m = -3/70 + -17/70. Which is greater: m or 69?
69
Let h = -418 - -432. Let y = -145/3 - -48. Which is smaller: h or y?
y
Suppose -2*v - 74 = -288. Which is smaller: 109 or v?
v
Let z = 60 - 24. Let j(i) = -2*i**2 + 12*i - 6. Let o be j(5). Let t be o/(-22) - z/44. Which is greater: -12 or t?
t
Let t = -5.7 + 6. Let l = 2991 - 2998. Does l = t?
False
Let p(a) = -a**3 + 23*a**2 - 25*a + 48. Let b be p(22). Which is greater: -8 or b?
-8
Let h be ((-8)/12)/((-2)/3). Let t = -1/172 - -467/21156. Which is greater: t or h?
h
Let n be 9/(-6)*(-4)/3. Suppose w = -5*p - 4*w, 0 = n*p + 4*w. Let c = 57 + -1137/20. Is p != c?
True
Suppose 0 = 5*v - 4*t + 8, 0 = 2*v - 2*t + 6*t + 20. Let w be (0 + 2/v)*0. Is 10/11 less than or equal to w?
False
Let k = 39 - 22. Let n = 1697/102 - 7/51. Let i = k - n. Which is bigger: -0.2 or i?
i
Let j(f) = 12*f**3 + 7*f - 11. Let y be j(2). Is y bigger than 195/2?
True
Let k be 34/(-10) - (-17 + 14). Which is smaller: k or -14?
-14
Let d = 20 - -14. Let j = -34.56 + d. Let t = j - -0.6. Which is smaller: 1 or t?
t
Let c be 57/(13/10 - 1). Suppose 2*b + 3*b + c = 0. Is b less than or equal to -38?
True
Let k = 17285/3 + -5633. Which is smaller: 130 or k?
k
Let u(f) = -f**3 + 4*f**2 + 2. Let i = 23 - 20. Let b be u(i). Let x = b - 34/3. Is -4 smaller than x?
True
Let w be 2*(1 - 2)*(-3211)/38. Let f = -169 + w. Are f and 2/149 equal?
False
Suppose -o + 75 = z + 160, o + 2*z = -80. Which is smaller: o or -92?
-92
Let u(z) = 13*z + 10. Let h(p) = -13*p - 10. Let b(w) = 6*h(w) + 5*u(w). Let m be b(12). Let v = 502/3 + m. Is v less than or equal to 0?
False
Suppose h + 36 = 2*h. Let w be (-2 - h/(-8))*2. Suppose -w*m + q = -80, 10 - 60 = -5*m - 5*q. Do m and 16 have different values?
True
Let r be (-1)/12*(-4 - 336/(-108)). Which is smaller: -1 or r?
-1
Let m = 1173 - 1165. Is m bigger than 0.031?
True
Let u = 23 + -34. Let j = u - -15. Let v = -271 + 270.7. Which is bigger: v or j?
j
Let z(n) = 72*n - 81. Let v(b) = -b + 1. Let t(f) = -162*v(f) - 2*z(f). Let j be t(-2). Which is bigger: j or -37?
j
Let j be 4 + -20 + -4 + -1. Which is greater: j or -11?
-11
Let g = -216551/115 - -1883. Is g at least 0?
False
Let d = -1504 - -1392. Which is smaller: -102 or d?
d
Suppose -78*z - 3 = -75*z. Suppose 2*y = g - 2*y + 66, 3*y + 187 = -2*g. Let b be (4/10)/(g/(-10)). Which is smaller: b or z?
z
Let t be (620/8)/5*(-2)/(-1). Which is bigger: 2 or t?
t
Suppose -5*f - 3 = -4*y, 5 = -5*f + 5*y - 0. Does 6/31 = f?
False
Let z be -69*(-2 + 8 - (-207)/(-33)). Is z at most 18?
False
Let i = -31/63 + 5/7. Let a(y) = 7*y + 51. Let k be a(-5). Suppose 2*t = 5*d - 15, -3*t = 14*d - k*d + 17. Which is smaller: i or d?
i
Let s = 52 - 54. Let x be -7 + 7 - 125/76. Let z = x + -2/19. Is s less than or equal to z?
True
Let a = -32.5 + 33.6. Is 0.12 less than a?
True
Let j be 4/5*1266/800. Let p = j + -2/125. Suppose 7 + 1 = 2*q - 2*n, -5*q + 12 = -n. Is p < q?
True
Let w = -15.06 + 13.8. Let z = w + 0.26. Let b = 1.04 + z. Which is smaller: 0.1 or b?
b