ss than or equal to w?
True
Suppose -77 + 32 = -3*i. Suppose 3 = 4*p + i. Is p greater than -4?
True
Let q = -0.94 + -0.06. Let d = q + -1. Let l = -1.8 + 2. Is d < l?
True
Let n be 0/1 + (0 - 1). Let s = 8 + -1. Let g = 5 - s. Which is bigger: g or n?
n
Suppose 0 = -5*b - 6*j + 3*j - 21, -b = -j + 1. Is -13/4 at least as big as b?
False
Let j = -4053/13 + 312. Is j less than or equal to -1?
False
Let i = 72 + -3242/45. Is -1 at most as big as i?
True
Let a be (-152)/(-140) - (-4)/(-14). Which is greater: 0 or a?
a
Suppose -5*w + 19 = l, -5*w + 2*l + 21 + 1 = 0. Suppose 0*x - 14 = 2*x + w*h, -5*x - 11 = -2*h. Let n = -2/87 - -20/29. Which is smaller: x or n?
x
Let d = 22 + -21. Is d at least -0.3?
True
Suppose 4*s - 2*s = 16. Which is smaller: 7 or s?
7
Suppose -4*i + 0*i = 8. Is i at least as big as -5/4?
False
Let z = -55455518/173995 + 28370/89. Let f = 2/345 - z. Which is greater: f or 0?
0
Let n = -58411/1234558 + 45/922. Let w = n + -18752/4017. Which is smaller: w or -4?
w
Let a = 0.252 + -0.102. Which is bigger: -0.1 or a?
a
Let m = -18.014 - -0.014. Which is greater: m or 2?
2
Let m = 2 + 2. Suppose 15 = -m*a + 9*a. Let c be 0/((-2)/(a - 4)). Are c and 1/6 equal?
False
Let f(p) = 2*p - 8. Let t be f(6). Suppose y - 2*j = -24, 0*y = 3*y - t*j + 62. Let r be (-92)/y - 9/(-21). Which is greater: 6 or r?
r
Let v(b) = b - 2. Let c be v(3). Let q be 4*(c - 57/54). Is 1 at most q?
False
Let p be (-20)/(-8)*(-4)/(-10). Let s be (0 + 2)*1/(-16). Which is smaller: s or p?
s
Let r be (-1)/(27/(-12) + 2). Suppose -7*t = -3*t + r. Which is bigger: -2 or t?
t
Suppose -4*g - 10 = -2. Let n be 4 - (0 + g) - -1. Is -2/7 equal to n?
False
Suppose 7*r + 10 = 5*r. Let u(j) = -j**2 - 4*j + 6. Let i be u(-6). Which is bigger: r or i?
r
Let b(n) = n**3 + 5*n**2 - 14*n - 2. Let c be b(-7). Which is greater: c or 2?
2
Let v = -77/5 - -15. Let q = 5 + -4.96. Let m = q - 0.14. Is m >= v?
True
Suppose -p + 41 = 4*k - 3*k, -4*p + 162 = 3*k. Is 37 at most p?
True
Let m be 0/1 + (-2 - -4). Let i = m - -1. Which is bigger: 5 or i?
5
Let w = 5.9 + -7. Let f be 15 - 20 - -9 - (-36)/(-10). Do f and w have the same value?
False
Let w be (-3 - (-2 - 0)) + 0. Suppose 2 = -3*f - 4. Which is smaller: w or f?
f
Let i = 17 + -12. Suppose -2*r + 3*y + 5 = -4*r, -7 = 2*r + i*y. Let z be 2 + 3/(-5) - 1. Which is greater: r or z?
z
Let j(u) = -2*u**3 + 6*u**2 - 2*u + 8. Let t be j(3). Which is smaller: t or 1?
1
Suppose -o - 1 = 3*z - 0, -2*z + 1 = -o. Which is greater: -26 or o?
o
Let r = 3 - -6. Let i = -8 + r. Are i and 4/3 unequal?
True
Let y be ((-2)/3)/(-1 - 0). Let u(t) = 2*t - 16. Let x be u(11). Let r be -1*1 + (x - 3). Which is smaller: y or r?
y
Let i = -11 + 7. Let h = i + 5. Let l be (h/3)/(4/6). Which is smaller: l or 0.1?
0.1
Let p = 7 + -4. Let t = 106 + -108. Is t > p?
False
Suppose 4*m = 7 + 5. Suppose -2*x = m*x. Which is smaller: 2/5 or x?
x
Let b = -4 - -17. Which is greater: b or 3?
b
Let q be (-32)/12 - (-2 - 1). Let r = 0 - 0. Let v = r - 0.1. Is v smaller than q?
True
Let g = -0.05 - 0.05. Let b = g - -0.1. Which is bigger: 3 or b?
3
Suppose -6 = v - 3*v. Let d be (2 - 1)/(v/(-15)). Let w be ((-2)/12)/(d/20). Which is smaller: w or 0?
0
Suppose -3*c = -5*b - 15, 0*c - 25 = b - 5*c. Let q = -20 - -7. Let k(s) = s**2 + 12*s - 11. Let x be k(q). Which is smaller: b or x?
b
Let n = 0.12 + -0.02. Suppose -2*x - 4 = -0*x + 3*a, 4*a = 4*x - 12. Let z = -1/2 + x. Is n <= z?
True
Let j = -16.11 - -0.11. Let d = 16.06 + j. Which is greater: 2 or d?
2
Suppose 0 = -6*r + 2*r + 4. Let s be 2/(-19)*(-2201 - 2). Let h = s - 232. Which is bigger: r or h?
r
Suppose -t - 2*t + 5*y = 6, -t - 3*y - 16 = 0. Which is smaller: t or -8?
-8
Let g = 43 + -38. Let r be 2/(-3) + (-30)/9. Let i = r + g. Do 1 and i have the same value?
True
Let k(l) = l - 17. Let r be k(17). Is r at least as big as 4/3?
False
Suppose 2*f = 3*f + 3*x - 17, 2*x - 3 = f. Let k be (f/(15/(-48)))/(-2). Is k > 8?
False
Let b be 4/14 - (-40)/7. Suppose 2*k + 5*y = b, -5*k - 1 = -2*y + 13. Is k greater than or equal to -1?
False
Suppose 3*u - 4 = -1. Suppose -8 = 2*m - 0*m. Is u less than m?
False
Suppose i + 4*a = -14 - 11, 45 = -4*i - 5*a. Let c be -3*(15/(-9))/i. Is 3 bigger than c?
True
Let s be (-2)/9 + (-276)/(-27). Let o = -7 + s. Let h(u) = -u**2 + 6*u - 6. Let t be h(4). Which is bigger: t or o?
o
Let q = -43 + 42.79. Which is smaller: q or 1/4?
q
Let i be (-2)/3 - (-67)/87. Let y = -25/319 - i. Is 0 less than y?
False
Let o = -63 - -64. Which is smaller: 2/9 or o?
2/9
Let o(s) = -2*s**2 + s + 1. Let w be o(-3). Let z be (-12)/w - 4/(-10). Is z <= -1/5?
False
Suppose -t + 3*s + 2 = 0, 3*t - 6*t - 18 = 3*s. Let r(d) = -9*d**3 + 4*d**2 - 3*d**3 + 13*d**3. Let o be r(t). Is o at least 1/2?
False
Let d = -9 - -9. Do 0 and d have the same value?
True
Let j = 25.1 + -27. Let b = -2.1 - -2. Let q = j + b. Which is smaller: -0.2 or q?
q
Let o = 9 + -8. Which is smaller: o or 2/13?
2/13
Let g be (-2)/(-1) + 8/(-4). Is 2/53 at least g?
True
Let s = 16.3 + -16.1. Is 0.39 at least s?
True
Let f = -197/291 + 1/97. Is f greater than 53?
False
Suppose 3*f - 2 = 10. Let k = f + -8. Let b be (10/3)/(k/(-2)). Which is smaller: 3 or b?
b
Let j(r) = 16*r - 24. Let w be j(4). Is w <= 40?
True
Let t = -4 - -4. Let i = -5 + t. Let y = -0.3 - -1.3. Is i > y?
False
Let v = -45 - -17. Are -24 and v nonequal?
True
Suppose 3*m = 2*m + 3. Let w = m + -2. Suppose -w = y - 0. Are y and 0 non-equal?
True
Let q = 13 - 16. Which is bigger: q or 2?
2
Let a = 73 - 74.1. Is -0.07 less than a?
False
Let l(y) = y**2 + y - 7. Let s be l(0). Let m be s + (-1 - -4) - 3. Is -5 < m?
False
Let j = -83 - -83. Are -1/60 and j equal?
False
Let j be (-4)/(-2)*(-9)/(-6). Let f = -3 + j. Which is smaller: f or 2/13?
f
Let c(r) be the second derivative of r**5/20 + r**4/3 + r**3/2 - r**2 + 3*r. Let b be c(-3). Let y(q) = -q - 7. Let z be y(-6). Is z smaller than b?
False
Suppose 6*k + 13 = 13. Is 0 greater than k?
False
Let y = -0.1 + -0.4. Let a be 4/18 + (-21)/(-27). Is y equal to a?
False
Let r be ((-4)/(-12))/((-10)/66) - -2. Which is bigger: r or 2/3?
2/3
Let o be (0 + (-28)/(-10))/((-80)/(-200)). Which is smaller: o or 8?
o
Let l = -0.06 - 0.14. Which is smaller: l or -0.4?
-0.4
Let d be (-10)/40*(-2 - 30/(-9)). Suppose -3 + 1 = -b. Let k be ((b + -1)*-1)/1. Which is greater: k or d?
d
Let v = 112 - 105. Are v and 5 equal?
False
Let y = -4/25 - 13/75. Let j(i) = -i**3 + 2*i**2 + 3*i - 1. Let q be j(3). Which is smaller: y or q?
q
Let d = 17 - 14. Suppose d*t = t. Which is smaller: 1 or t?
t
Let p = 81 + -40. Are -1/4 and p equal?
False
Let q be (0 + (1 - 1))/(-1). Let g = -15165/7 + 2170. Let m = 27/7 - g. Does q = m?
False
Let r(c) = -c**3 + 11*c**2 - 14*c + 4. Let v be r(10). Which is smaller: v or -37?
-37
Let m be ((-3)/(-5))/(36/40). Which is smaller: m or 0?
0
Let s = -13 + 18. Suppose 3*z = w + 5, -2*z + s*z + 5 = -w. Let m be w/(75/(-9))*-5. Are m and -4 non-equal?
True
Let c = -878/575 - -36/25. Which is greater: 1 or c?
1
Suppose 1 = -0*c - c. Let g be 19/(-11) - (-8)/4. Which is smaller: c or g?
c
Let g be 76/(-66) - (-4)/(-22). Suppose 0*a + 23 = -4*o - 5*a, 2*o + 4*a = -16. Are o and g equal?
False
Let i(g) = -4*g. Let l be i(-1). Let x(z) = -z - 2. Let t be x(-7). Which is smaller: t or l?
l
Suppose -d = -3*x + 7*x - 23, -d - 5 = 0. Let q(k) = k**3 - 6*k**2 - 6*k - 6. Let j be q(x). Is 0.1 at most as big as j?
True
Let t(s) = -s**3 - s**2 + 2. Let b be t(0). Is b not equal to 2?
False
Suppose 72*u + 9 = 75*u. Suppose -3*j = -13 + 1. Which is bigger: j or u?
j
Suppose -3*s + 12 = 3*a, -4*s + a = -s + 4. Suppose s*n + 2*n = 4. Suppose -3*v + 12 = v. Which is smaller: n or v?
n
Let g be ((-12)/(-9))/((-14)/(-6)). Suppose 6*s = 7*s. Which is greater: s or g?
g
Suppose -7*m - 6 = -4*m. Let g = -7.4 - -0.4. Let i = g - -6. Do i and m have different values?
True
Let x be 2/4 + (-105)/(-14). Let o = x + -7. Which is smaller: o or 0?
0
Let x(o) = 3*o**2. Let y be x(-1). Suppose 0 = 5*t + 2*g, -y*g = t - 0*g + 13. Which is greater: t or 3/4?
t
Let n(i) = -2*i**2 - 7*i - 8. Let g be n(-4). Do -13 and g have the same value?
False
Let g be 10/(-2)*(-3 + -1). Suppose -2*a = g - 4. Is -7 at most as big as a?
False
Let g = -4/41 - 54/287. Whi