 = -4*a + 4*l + 116. Let r = a + v. Is -2 equal to r?
False
Let i be (-1)/3 + (-198)/54. Which is smaller: i or 1?
i
Suppose -4 = -4*p + 32. Suppose 9*m - 12*m = -p. Let l = -1 - 0. Which is greater: l or m?
m
Let x = 74/5 + -1396/95. Suppose -2*p + r + 10 = -4*p, 0 = r. Let c = -4 - p. Which is smaller: c or x?
x
Suppose -4*d + 3*c = -149, -4*c = 2*d - 103 + 23. Is d at most 20?
False
Let o = 14119/9206035 + -6/3191. Is o greater than or equal to 0?
False
Let l(v) = 2*v - 8. Let p(u) = -u + 7. Let w(n) = -2*l(n) - 3*p(n). Let b be w(-5). Which is smaller: b or -2/9?
-2/9
Let x = -1 - -5. Suppose -x*k = k. Let n = -2194 + 6586/3. Which is smaller: n or k?
k
Suppose 25*a - 20*a = 2*l - 175, 3*l - a = 243. Is 80 equal to l?
True
Let d = 2 - 1. Let p = 2951 - 47207/16. Is p less than d?
True
Let u(c) = c**2 + 5*c + 7. Let r be u(-3). Let o = r + 3. Suppose y = o*y + 6. Which is smaller: -3 or y?
-3
Let b = -48 - -128. Is 1 at least as big as b?
False
Let i(b) = b**2 + 15*b - 50. Let w be i(-9). Does w = -104?
True
Suppose -4*n + 12 = 4*k, 3*n = 8*n - 4*k - 33. Suppose 5*b + j - 373 = -27, -4*b + n*j = -271. Let d be b/(-6) - (-3)/(-6). Which is smaller: -11 or d?
d
Let f be (-1 + 3)*(135/18 + -1). Is f greater than or equal to 47/4?
True
Let x = 62 + -9. Let r = x + -45. Is r at most as big as 7?
False
Suppose -39 - 1 = -10*z. Let f be (-246)/135 - z/(-18)*1. Is -1 > f?
True
Let l be ((-555)/(-74))/(10/24). Let t be 122/(-6) + 4/(-6). Let y be ((-1)/t)/(l/21). Is 0 > y?
False
Suppose -2 + 3 = 3*x - g, -5*x = -5*g - 5. Suppose -2*y + 122 = -4*d - 4*y, x = -5*y + 25. Is -33 < d?
False
Let m = -28 - -22. Let j be (m/(-5))/(5/(-25)). Is -5 smaller than j?
False
Let x = 31/42 - 1/14. Let m = 8 - 80. Let i be (-71)/m + (-13)/(-104). Is x bigger than i?
False
Let a(v) = 2*v**2 - v + 1. Let u be a(1). Let t be (-100)/(-30)*(-6)/(-4). Suppose -3 + t = u*q. Which is smaller: 7/9 or q?
7/9
Let x = 2.26 + -1.96. Which is greater: x or 12?
12
Let k be (-441)/(-291) - 3 - 9/(-6). Let i = -2397/4462 + k. Which is greater: i or -2?
i
Suppose -3*u = -4*q + 797, -5*u - q + 3*q = 1333. Let g be 1/6 - u/18. Let r = g + -14. Is r less than 7?
True
Suppose 3*x - i = 5, -5*x + 9 = 13*i - 15*i. Which is smaller: 18/35 or x?
18/35
Let z = 59 - 57. Suppose b + 34 = -4*w - z*b, -3*w - 28 = b. Which is greater: -9 or w?
-9
Let c be (-5 - (-2 - -47))*8/(-20). Are c and 0 non-equal?
True
Suppose 5 - 6 = -4*o - a, -2*o + 3*a - 3 = 0. Are o and -2/1371 unequal?
True
Let w(o) = 2*o**2 + 13*o - 28. Let c(i) = 3*i**2 + 26*i - 56. Let g(m) = 3*c(m) - 5*w(m). Let x be g(8). Is 12 less than or equal to x?
True
Let m = -280/4023 + -2/447. Suppose 5*g - c + 2*c - 1 = 0, g - 3*c + 3 = 0. Which is greater: m or g?
g
Let a = -65 - -71. Let z be 10/(-6) - (a - 7). Which is bigger: -10 or z?
z
Let q = -2.73 - 46.07. Let u = -49 - q. Which is bigger: u or -20?
u
Let w be (-3)/(-8)*(-74)/111. Which is smaller: w or -0.043?
w
Let f(l) = -2*l**3 - 4*l**2 - 8*l - 7. Let t be f(-4). Is t < -1/3?
False
Suppose 236*p - 242*p = -24. Is p greater than 18?
False
Let q = -0.5 - -0.6. Let y = q + -1.1. Let w = -14 + 14.3. Which is smaller: y or w?
y
Let o be 8 + (8 - -2) + 735. Which is bigger: 752 or o?
o
Let f be (-98)/(-42) + 0 + 2. Suppose 0 = -5*r + r + 60. Let x = -10 + r. Which is greater: f or x?
x
Let q be -8 - -10 - (-39 - 0). Suppose -5*c - 1 = -q. Suppose -5*d - 48 = -c*d. Is d smaller than 16?
False
Let m = -0.132 + -0.568. Let n = 5.1 + -5. Which is smaller: m or n?
m
Let d = -11 + 12.1. Let r = d + -2.2. Let v = -1 - r. Does 1/2 = v?
False
Let c be (-70)/(-84)*(-17)/(-25). Which is smaller: 2 or c?
c
Let h be -1 + (3 - (-3 - -30)). Let s be (-32)/(-63) - 56/196. Which is bigger: s or h?
s
Let d = -569 - -518. Is d at least as big as 3?
False
Let l(u) be the first derivative of 20*u**3/3 - u**2 + u + 5. Let f be l(1). Which is greater: f or 20?
20
Let o(y) = y**3 + 9*y**2 + 21*y - 5. Let m be o(-5). Is 3 at most m?
False
Let x = -0.3 - -1.3. Suppose 4*q - 225 = 131. Is q less than x?
False
Let t = -112032391005998/52717 - -2125166284. Let o = t + -2/3101. Let g = o - 111/34. Which is smaller: g or -4?
-4
Let a = -5122 + 15653/3. Which is greater: a or 95?
a
Let g = -1133 + 1133.2. Is -0.177 <= g?
True
Let j = -868 + 868. Which is greater: 42 or j?
42
Let x = -4 - 20. Let t be x/9*45/(-4). Suppose c - 3*j - t = -2*c, 0 = 3*c - 5*j - 38. Is c greater than or equal to 6?
True
Let v = 6 - 2. Let m = 1 - -4. Suppose 0 = m*l + 5. Which is smaller: l or v?
l
Suppose -1 = 5*a + 14. Let r be (a/(-2))/1*2/(-6). Which is smaller: 0.9 or r?
r
Suppose -28*w - 190 = -33*w. Let y = w + -32. Are y and 7 nonequal?
True
Let q = 14 + -30. Let h(m) = 3*m + 26. Let x be h(-2). Let p = x + q. Which is greater: 3 or p?
p
Let m = -57 + 55.4. Let s = m - -2.5. Let f = -5/23 - -81/161. Is f at most as big as s?
True
Suppose 336 = 21*r + 27*r. Which is smaller: r or 13/2?
13/2
Suppose -7*a - 258 = 596. Let k = 181 + a. Is 59 smaller than k?
False
Let l = -27 - -50. Suppose l = 2*a + 3*i, -17 = -2*a + i - 2*i. Which is smaller: a or 6?
6
Let i be (-3)/198*(-358)/(-8). Let k = i + 1/88. Does k = -26?
False
Let m be (-2 + 5)*(-4)/(-2). Suppose -m*i = -168 - 114. Is i greater than 47?
False
Suppose -4*j + 20 = -2*r, 12 = r + r + 4*j. Suppose 5*g = 3*a - 0*a + 145, -4*a + 4*g - 188 = 0. Let n be (-3)/(-2)*66/a. Which is smaller: n or r?
n
Suppose 2*v - 5 = 3. Suppose 0 = v*d - y - 2*y - 23, -5*d + 26 = -y. Let f(l) = l**3 - 4*l**2 + 2*l - 4. Let a be f(4). Which is smaller: a or d?
a
Let a = -3.6 + 3.4. Let l = -11.8 + a. Is l >= 2/5?
False
Let l = 16 - 28. Let p be l/(-7 + 3) + 4. Let t = 11 - p. Do 5 and t have the same value?
False
Let o = 0.18 - -0.72. Let q = 127 + -125.9. Let w = o + q. Is w less than -0.1?
False
Let f = -2 - -5. Suppose -d - 15 = -f*b, d = 2*b + 3*b - 23. Suppose -4*p + 0*p - 2*u = -24, 3*p - 16 = -u. Is b equal to p?
True
Suppose 2*n - 3*y - 16 = 0, 3*n - 14 = n + 4*y. Let w = -0.261 + 0.051. Let d = 1.79 - w. Is d < n?
True
Let p = -2.12 + 1.9. Let d = -1.18 + p. Is 1/3 > d?
True
Let k = -23.97 + 23.98. Suppose 2*p = 2*o + 22, 0 = -p + 4*p + 4*o - 40. Suppose x = -4*z + 2*z - 8, 2*z + p = -2*x. Is z > k?
False
Let g be (177/45 - 4)*-10. Is g smaller than -0.13?
False
Let i be (1/(-2))/((-4)/48). Suppose -172 = -i*x + 38. Let j = 38 - x. Is 3 greater than or equal to j?
True
Let v = 2924/21 + -422/3. Suppose -6*q = -11*q. Suppose q*r = -r. Which is bigger: r or v?
r
Let r = 0.32 + 11.68. Let p = r + -14. Is -2/7 bigger than p?
True
Let b = -7 + 18. Let k = b - 10.82. Let a = 7.18 - k. Which is greater: a or 0?
a
Let y = -421.05 - -421. Which is bigger: -0.08 or y?
y
Let b be 0 - 6/((-540)/531). Is 7 at most b?
False
Let v = 6 - 8.4. Let o = -3.7 - v. Let g = -1.3 - o. Is 4 at least g?
True
Let p = -218 + 213. Is p > 1/33?
False
Let b be ((3 - 1)*-1)/(-2). Suppose 0 = -w + 4 - 0. Which is smaller: b or w?
b
Suppose 0 = -2*r + r. Let x = -2105/594 + 92/27. Which is greater: x or r?
r
Let z(k) = -k**2 + k - 1. Let w be z(1). Let j be w*2 + (-12)/8 + 3. Which is smaller: 20 or j?
j
Suppose 4*r = 6*r - 4. Suppose r*c + 45 = 7*c. Let b = -15 + c. Is b >= -4?
False
Suppose 5 + 4 = 3*o. Suppose 0 = o*m - 2*c - 4 + 3, -4*c + 1 = -5*m. Let v be (m/(-372))/(1/(-4)). Which is greater: 0 or v?
v
Suppose u + 4*f + f = -19, -2*f = 4*u + 4. Suppose -v + 2*v + 14 = 0. Let c be ((-7)/v)/((-5)/(20/(-6))). Are c and u equal?
False
Suppose -56 = -4*g + 24. Suppose -51 = 9*w - 231. Is g smaller than w?
False
Let m = -5647 + 321838/57. Let t = m - -13/19. Which is greater: t or 0?
0
Let q be (-8 + 16)/((-45)/(-885)). Which is smaller: q or 156?
156
Let v = 1 - 7. Let d be (-4 + 2)/(3 - (-202)/(-74)). Which is greater: v or d?
v
Let k be ((-3)/2)/(15/740). Is -74 >= k?
True
Suppose s - 90 = 6*s. Let w be 4/((-20)/(-15)) + 15*3. Let h = w - 67. Is s at most h?
False
Let y = -902 + 4134/5. Which is smaller: -74 or y?
y
Let i = -0.73 + -69.27. Which is smaller: i or 0?
i
Suppose -c + 5*c = -3*j - 2, 4*j + 4*c = -4. Let f be 8*j/32*-2. Are f and -1/17 equal?
False
Let n(u) = -34*u - 12. Let r(i) = -2*i. Let g(v) = 2*n(v) - 36*r(v). Let c be (-5)/(17 + 3) - 29/(-4). Let t be g(c). Which is greater: t or 2?
t
Let v = 2/3