620/11 - 162451/2882. Is 1 less than s?
False
Let y be 464/2*(-2)/530. Let c = 4/53 + y. Is c at most 0.1?
True
Let f = 45/7 + -142/21. Let m = -3 + -5. Let y = m - -5. Do f and y have the same value?
False
Suppose 0 = -5*x + 3 - 23. Let h = -2366/9 - -1105/18. Let r = h - -197. Is x greater than r?
True
Let j = 959/3 + -321. Is j less than or equal to 1/10?
True
Suppose -d = p + 1 + 3, -3*p = -3. Let b be (d/12)/((-5)/40). Suppose 364*g - 1 = 365*g. Is g > b?
False
Let k = 4201/8 - 2325/8. Which is smaller: k or 235?
k
Let a(i) = 2*i - 14. Let z be a(7). Let r be (-2 + z)/(6/(-36)). Let n = r - 13. Does 0 = n?
False
Let m(v) = v**3 - 9*v**2 - 9*v + 12. Let s be m(7). Which is bigger: -150 or s?
s
Let s = 10 + -10. Suppose -7*c + 9*c = s. Let q be (6 + 5/(-1))/((-3)/(-2)). Is q smaller than c?
False
Suppose -13*a = -0*a + 520. Let n be 732/26 - a/(-260). Let m be 3/(-12) - (-234)/8. Is n >= m?
False
Let z = 35 - 35. Does z = -4/191?
False
Let h = 30 - 26. Let u = h + 7. Suppose -2*o + 3 = -u. Which is bigger: o or 8?
8
Suppose 5*s - 102 - 98 = 0. Let q be 4/(-2)*20/s. Is -1/15 less than or equal to q?
False
Suppose c - 4 = -c. Suppose -1 = 3*g + c. Let b = 0.087 + 0.013. Which is greater: b or g?
b
Let l be ((40/3)/(-10))/((-1)/3). Suppose 0 = l*j + 6*j. Is j >= 2/27?
False
Let u(k) = -k**2 + 12*k - 17. Let o be u(10). Suppose -f - 3*i = -16 - 4, 49 = 2*f + o*i. Is 30 bigger than f?
True
Suppose 0*c = -c + 3*t + 11, -2*t = -2. Suppose -c*z + 7*z = -6*z. Which is smaller: -55 or z?
-55
Let x be (-64)/28 + 2 - 25/35. Let g be (12/22)/((-1)/x). Is 1 at most as big as g?
False
Let b = -85 + 73. Which is smaller: b or 0?
b
Let p be -37 - (-7 - 5) - -4. Let n(f) = 0*f**3 - 3 - 4*f - f**3 + f - 6*f**2. Let m be n(-3). Is m greater than p?
False
Let h = -2809 + 2809. Is 17 equal to h?
False
Let l(b) = 3*b**2 - 2 - 33*b + 2*b**3 + 35*b - 6*b**2. Let p be l(2). Is p > 4?
True
Suppose 28 = 4*n + 8. Suppose -m = n - 7. Let g be ((-4)/(-14))/((-3)/(-7)). Is g at least as big as m?
False
Let l = 1041 + -1032. Which is bigger: 168/19 or l?
l
Suppose 2*q - 2 = a, -3*q + 5*a + 4 - 1 = 0. Let p(t) = q - 2 + t - 2*t + 0*t. Let u be p(3). Does u = -5?
False
Let f = -39 + 40. Let l = -4.28 - -4.38. Which is smaller: l or f?
l
Let n be 27/(-5)*14/21 - -4. Which is smaller: n or -13?
-13
Let d(t) = t**3 - 8*t**2 + 6*t + 7. Let u be d(7). Let a = -493 - -4442/9. Which is smaller: a or u?
u
Suppose -4*f = -f + 6. Let d be (f/(-3))/((18/15)/(-3)). Is -3 >= d?
False
Let u be 20/(-70) + ((-4)/(-7) - 0). Let t = 1 - -1. Let k = -3 + t. Are u and k equal?
False
Let h = -58/11 - -631/176. Let v = 1885/1136 + h. Is v equal to 0?
False
Let n = 71 - 92. Suppose 3*u = -u - 4*l + 96, 4*l = -5*u + 119. Let h = u + n. Which is greater: 4 or h?
4
Let g = -2.02 - -0.12. Let h = g + 2. Let b = 0 - h. Which is greater: b or -6?
b
Suppose -91*p + 17 = -1803. Is 6.5 < p?
True
Let a = -866 - -848. Is a > -13?
False
Let o = 7/67 + -445/3618. Let y = 157/270 - o. Let a = -70 + 349/5. Which is bigger: y or a?
y
Let p be (-102)/8 + 3/(-12). Let n(x) = x**3 + 12*x**2 - 4*x + 20. Let u be n(p). Which is greater: -96 or u?
-96
Suppose 0 = 14*g + 4 + 24. Suppose -q = 4 - 10. Let w be g*(3 + (-15)/q). Does 0 = w?
False
Let n be 26/(-3)*-3 + 2. Suppose -3*u - 3*a + 24 = 0, -3*u - 4*a - 1 = -n. Which is greater: 4 or u?
u
Let p be ((50/45)/(-5)*3)/135. Which is smaller: -1 or p?
-1
Suppose 31 = 3*q - 0*s + 4*s, 3*s - 21 = -2*q. Suppose q + 1 = -d. Let i = d - -6. Which is greater: i or -1?
-1
Let b = -262 - -317.3. Let o = 61 - b. Let r = -6 + o. Which is bigger: 1 or r?
1
Let g = 25 - 19. Suppose 0*s = g*s. Which is greater: s or 1?
1
Let v be (-1)/(4/(-10))*(-52)/195. Are v and 11 unequal?
True
Let u = -6 + 3. Let a = u - -2.9. Let m = 11.5 + -8.5. Which is smaller: a or m?
a
Let t = 65 - 41. Let g = t - 39. Let j be -1 - -2 - 10/15. Is j bigger than g?
True
Let v be 538/14*(1 + -4). Suppose -3*u - 2*w = 339, -5*u = -w + 5*w + 565. Let b = u - v. Which is bigger: b or 1?
b
Suppose -5*b = -5*u - 35, -u - 25*b - 15 = -22*b. Does -15/2 = u?
False
Suppose 2*z - 4*z = -3*i + 120, -z + 4*i = 55. Let d be 12/z*5 - 3/9. Which is smaller: -1 or d?
d
Suppose 0 = -6*a + 15*a + 72. Which is smaller: -180/19 or a?
-180/19
Let l(b) = 5*b - 9. Let d be l(6). Let r be ((-2)/(-5))/(d/15). Let g = -23811/8 + 2977. Do g and r have the same value?
False
Let v = 660 - 1268. Which is bigger: v or 0.1?
0.1
Let x = 2/7541 - -90458/128197. Which is greater: x or 1?
1
Let p be (30/(-9))/((-2)/3). Suppose -w + 6 = -r + w, -3*r = -3*w + 9. Suppose r = -o - 3*s + 11, -5*o = -s - s - 4. Which is smaller: o or p?
o
Suppose -y + 4*i + 14 = 0, 24 = 5*y - 5*i - 16. Let a = y + -1. Let w(l) = l**2 - 3*l - 10. Let v be w(a). Is -10/11 at most as big as v?
True
Let p(m) = 5*m - 1. Let k be p(1). Suppose -k*z = -9 - 11. Suppose 42 = w + 2*c, 0*w + z*c - 156 = -4*w. Which is smaller: 35 or w?
w
Let t be 1 - 4/(-8)*-2. Suppose 4*o = 3*i - 10 - 2, -12 = -3*i - 5*o. Let h be i/(-2) - 90/(-51). Is h smaller than t?
True
Suppose 0*u = -17*u + 51. Let p = 4 - -1. Suppose -u*z - 6 = -p*z. Is 1 greater than or equal to z?
False
Let h = 14.09 - 14. Let o = h - 0.21. Which is bigger: -0.2 or o?
o
Let h = -1711/6 - -284. Let g be (-3)/((-1)/(-4) + (-25)/(-20)). Which is greater: h or g?
h
Let d = -4 - -2. Suppose 510 - 520 = 2*x. Which is smaller: x or d?
x
Let o(a) = -a + 2. Let n be o(7). Let u = 1030 + -1031. Is u at least n?
True
Let c = -34 + 11.8. Let q = 22 + c. Let k(v) = -v**2 - 2*v + 4. Let o be k(-3). Which is bigger: q or o?
o
Let f = -7771/17 + 457. Which is bigger: f or 16?
16
Suppose 585 = -11*b - 251. Is -76 at least b?
True
Suppose 8 = -4*z + 6*z. Let i be (z/(-3))/((-8)/36). Suppose 8*m - i*m = -6. Which is smaller: m or -1?
m
Let i = -95 + 99.8. Which is bigger: i or 4?
i
Let w be ((-1020)/(-24))/17*(-2)/(-35). Which is bigger: w or 194?
194
Let i(u) = u**2 + u + 3. Let q be i(0). Suppose -4*w + 15 = q. Suppose 2 = -w*t + t. Is t greater than 3?
False
Let z = -0.176 + -3.824. Are -5 and z unequal?
True
Let k = 10 - 8. Suppose -d - 2 = -0, 2*t - k*d = 4. Suppose t = -6*y + 3*y + 15. Which is greater: y or 2/13?
y
Let k = 170 + -119. Let y = -50 + k. Is -3 not equal to y?
True
Let g(j) = 5*j + 73. Let p be g(-9). Which is bigger: 23 or p?
p
Let b = 1589.13 + -1587. Are 3/4 and b equal?
False
Suppose -32 = 5*c - c. Let o = 8 + c. Let h = o + 3. Which is smaller: h or 0?
0
Let g be -5*(0 + (-6)/(-5)). Suppose 8*a = 10*a + 8. Let w be 51/68 + 19/a. Is w > g?
True
Let n = 2 + 5. Suppose 4*z - 2*f - 14 = 0, 18 + n = 5*z - 5*f. Let c be z + 1*(2 + -8). Is c less than or equal to -2?
True
Let u be (-16)/(-360)*35/(1/1). Which is bigger: 3 or u?
3
Let j = -83/87 - -18/29. Let f = 4 + -3.87. Let o = -0.05 + f. Which is smaller: j or o?
j
Let p be -2 + (2 - 1) + 2. Let l = 2052/11 + -186. Which is smaller: l or p?
l
Let p = -0.1 - -0.1. Let f = 39 - 9. Let d = f - 20. Is p != d?
True
Let x be (-1)/(-3) - (-4)/(-6). Let n = 12.7 - 13. Which is greater: x or n?
n
Suppose -4*g = -3*g - h, 0 = g - 2*h - 2. Which is smaller: g or 113?
g
Let i = -48/5 + 149/15. Let v = 169 - 1862/11. Let w = 17/22 + v. Which is greater: i or w?
w
Let n(u) = u**3 - 7*u**2 - 5*u + 11. Let h be n(-5). Which is smaller: h or -263?
h
Let b = 326 - 326.204. Is b > 1?
False
Let v = -360 + 12959/36. Let b be (-14)/28 - 2/4. Is b smaller than v?
True
Let m(x) = 6*x + 3. Let a be m(1). Suppose -a = -3*d - 0*d. Let h be (d/(-4))/(39/(-12)). Is 0 greater than h?
False
Let o(g) = -2*g + 1. Suppose 2*i + 3*i + 5 = 0. Let y be o(i). Let p = 796/3 - 263. Which is greater: y or p?
y
Let k be (-1 - -5)/((-10)/(-20)). Let q be k/(6*1/15) - 2. Is 15 != q?
True
Let l be ((-3)/2)/(3/28). Let j = l + 25. Is 11 <= j?
True
Let f be ((-9)/4230)/((-2)/8). Let m be (0/1)/(4 + -6). Which is smaller: f or m?
m
Let r(g) = -1 + 1 - 4*g + 49*g**2 - 50*g**2. Let s be r(-4). Suppose s = -0*z + 5*z. Is 11 <= z?
False
Let g = 169 + -171.82. Let j = g + -0.18. Is j greater than -7?
True
Let z = 158 - 158.12. Let j = -19.88 - -12. Let c = z + j. Is c bigger than 2?
False
Suppose 6*v = 3*v + 9. Let d be 4 + 222/(-33) + v. Suppose 4 = 5*r - 4*k, 2*r + 9*k + 5 = 4*k. Which is bigger: r or d?
d
Sup