5. Is 0 <= r?
True
Let o = 0 + 0. Let z = -24 - -25. Is o bigger than z?
False
Let j = 5.93 + -6. Let w = -0.07 - j. Do 0.2 and w have the same value?
False
Let f(p) = -p**2 - 6*p. Let w be f(-6). Is -2/17 >= w?
False
Let s = -6 + 3.9. Let w = s - -2. Is 2/3 at most w?
False
Suppose -4 = -3*t + 3*m + 11, -3*m = 15. Let f(c) = -c**3 - 8*c**2 + 9*c - 1. Let s be f(-9). Do t and s have the same value?
False
Suppose -3*v - v + 4 = 0. Let a = 1 - -1. Suppose v = -u + a. Which is smaller: u or 4?
u
Let c be (1020/99)/4 - 2. Let v = -1/11 - c. Which is smaller: -3 or v?
-3
Suppose -9*z = -12*z - 9. Which is greater: z or -13/6?
-13/6
Let o = 7 - 4. Let w be (-2)/o - 2/(-3). Which is smaller: -1 or w?
-1
Suppose -29 = 4*c - 25. Is c equal to -1/3?
False
Let h = -2.04 + 0.04. Let f = -29/30 + 7/6. Which is smaller: f or h?
h
Let c be 4/(-6) - 10/(-15). Let g be ((2 + -1)*1)/1. Which is smaller: g or c?
c
Let z = -6.7 + 6.4. Is z at most as big as -0.07?
True
Let h be 3*(-2)/(-6) - 4. Let c be h/(-6) - (-9)/2. Suppose -i + d + 3 = 0, 0 = -3*i + 2*d + 5 + 5. Is i >= c?
False
Suppose 4*y - 12 = -c, 4*y - 3*y + 22 = c. Do 20 and c have different values?
False
Suppose 5*w = -5*a + 2*w + 30, -10 = -2*w. Let r be a/4 + 17/4. Which is bigger: r or 6?
6
Let g be ((-2)/(-6) + 0)/(-1). Let q = 49 - 33. Suppose 3*d + 4*n + q = -d, 0 = 2*d - n - 1. Which is greater: d or g?
g
Let q be (0/3)/(3/3). Suppose z = -q*z. Is z less than -3?
False
Let m = -6 - -13. Let b(l) = -l**3 + 6*l**2 + 8*l - 1. Let g be b(m). Let q(y) = y - 5. Let n be q(g). Is 3/4 >= n?
False
Let f be 4/3*30/16. Let z = -29/10 + f. Does 2 = z?
False
Suppose 4*v + 3 = -3*h, 5*v + 5*h = 2*v + 6. Let b be -3*(-2)/v + 2. Let s be 8/12*3/(-7). Is s greater than b?
False
Let k = 144 + -1729/12. Which is smaller: 0 or k?
k
Let g = 201/515 - -1/103. Do g and -1 have different values?
True
Let t = -2 - -2. Suppose 4*x - 73 = i, 12 = -x - 2*i + 37. Let w = -19 + x. Is w less than t?
False
Let g(i) = i**2 - 5*i - 5. Let l be g(5). Let b(u) = 45*u**3 - 2*u + 2. Let t be b(1). Let q = -48 + t. Which is bigger: l or q?
q
Suppose 16 = r - 2. Suppose r = -m + 4*m. Let f = -12 + m. Which is smaller: f or -7?
-7
Suppose -2*t = -5*t - 3*r - 18, 5*r + 23 = 2*t. Suppose -16 = -3*a + 5*h, -5*a + h = -4*h - 10. Is a equal to t?
False
Let a be (-2)/(2/10*-2). Let x(c) = -c**3 - 6*c**2 - 7*c - 7. Let f be x(-5). Is a < f?
False
Let o = -1.9 - -2. Let q = o + -0.3. Let y = q + 0.3. Is -2 < y?
True
Suppose -4*h - 11 = c, h + 14 + 0 = -4*c. Let j = 0 - 0. Which is greater: j or h?
j
Let z be -1 - (-2)/(-2) - 1. Let m be ((-4)/2 - z)*3. Suppose -4*t + 3*t = -3*b + 10, 16 = m*b + 2*t. Are 5 and b nonequal?
True
Let s be 14/(-91) - 4/(-26). Is s > 1/4?
False
Let h be 5/2 - 3/6. Suppose -3*l - 3 = -3*k + 3, 0 = -k + 2*l. Which is greater: h or k?
k
Suppose 1 = -6*o - 5. Which is smaller: 3/28 or o?
o
Suppose 0 = 2*r - 6, 3*q + 11927 = q - r. Let o = q + 24001/4. Let j = o + -35. Which is bigger: j or 1?
1
Let r(y) = 7*y**2. Let i be r(1). Let z = i + -6. Let h be (1/3*3)/z. Which is greater: -2/9 or h?
h
Let c = -29 - -25. Is c bigger than -11?
True
Suppose 5*j - d - 5 = 0, -2*j + 0*d + 15 = -3*d. Which is smaller: j or -1?
-1
Let n = -4 + 7. Let k(u) = -u**3 - 4*u**2 - 2*u + 1. Let z be k(-3). Let v(i) = i + 4. Let m be v(z). Are n and m equal?
False
Let g be (-3)/10 + 2/4. Let w = -0.2 + 0.7. Let r = -0.6 + w. Is r at most as big as g?
True
Suppose -5*d = -5*l - 10, l - 2 = d - 2*l. Let i be (-4)/(-10) - (-198)/30. Let q = d - i. Which is smaller: 1 or q?
q
Let n(a) = a**2 - 6*a + 1. Let u be n(6). Let p be (-5 - (-78)/18)/(22/6). Which is smaller: p or u?
p
Suppose 3 - 15 = 3*o. Let g(x) = x + 5. Let s be g(-10). Is s != o?
True
Let a be 2/8 + 87/(-12). Are 0 and a non-equal?
True
Let m be (500/45)/5 + -2. Is 23 >= m?
True
Suppose 3*a = -2*a. Is a not equal to -3/7?
True
Let v = -3590154082886641/459 - -7821689516870. Let z = -3061777 + v. Let h = -40/17 + z. Which is smaller: 1 or h?
h
Let v be 35/10*8/(-6). Do -1/3 and v have different values?
True
Let b = -0.5 - -0.4. Let g = -0.1 - b. Is g less than 0?
False
Let i = -4 + 6. Let n be i/3*(-3)/2. Let z be (2 - (n - -1)) + 1. Which is bigger: z or 5?
5
Let l = -8/29 + 169/87. Let i = -7 + 10. Which is smaller: l or i?
l
Let b = -661 - -646.04. Let z = b - -14. Let v = 0.04 - z. Is 1/3 > v?
False
Let y = 29 - 28. Which is greater: -3 or y?
y
Let k be (-2)/5 - (-378)/420. Let w = -0.3 - 1.7. Let m = 2 + w. Which is smaller: k or m?
m
Let c = 3 + -4. Let r(l) = -l**2 - l - 1. Let a be r(c). Is a != -3/14?
True
Let u = 37 + -46. Are -8 and u non-equal?
True
Suppose -p = p + 32. Let d = p + 25. Suppose 2*y = 4*i + 6, -d*i - 5 = -4*i. Which is smaller: -0.1 or y?
-0.1
Suppose -6 = -a - 2, -4*x - 8 = -2*a. Which is bigger: x or 3?
3
Let i = -637/5 + 127. Which is smaller: -2/19 or i?
i
Let u = 2 + -8/5. Are u and 93 non-equal?
True
Suppose 12 = 2*j + j. Let k = j - 2. Let v be 2/(-6) - 22/(-12). Which is smaller: k or v?
v
Let z be 1/((-1)/(-1)*-1). Let p = -1.99 + -0.01. Is p not equal to z?
True
Let t = -11/344 + -4/43. Is t at most as big as -1?
False
Let l be ((-2)/6)/(2/(-6)). Let c = -319 - -3823/12. Which is greater: l or c?
l
Suppose -3*a - 4*s = -38, -4*a + 46 = 3*s - 0*s. Suppose -3*o + 1 = a. Is o at least as big as -3?
True
Let x = -86 - -58. Let t be 2 + x/12*1. Is t <= 0.4?
True
Let a = -45/2 + 22. Is 1/18 >= a?
True
Suppose -4*w = -16 + 4. Is 15/7 greater than w?
False
Suppose r = 2*r. Suppose -5*m + r*g - g = 18, 5*g = -2*m - 21. Which is smaller: -2 or m?
m
Let m(o) = 2*o - 6. Suppose -l = -2*l + 7. Let p be m(l). Which is smaller: 9 or p?
p
Let b(u) = u**3 + 2*u**2 - 2*u + 5. Let c be b(-3). Which is smaller: -2/3 or c?
-2/3
Let i = -60 - -119/2. Which is smaller: i or -2.1?
-2.1
Suppose 0 = -i + d - 5, -3*d - 35 = 5*i + 2*d. Let v(o) = -o**2 - 8*o - 6. Let q be v(i). Suppose q = 3*w - 0. Is 1 != w?
True
Let i(r) = 11*r - 7. Let u be i(5). Let p = u - 8. Let g be p/(-225) + (-2)/9. Is 0 less than or equal to g?
False
Let y = 18.1 + -0.1. Let v = y - 21. Do v and 0 have the same value?
False
Let k be (1/(-2))/(2/(-20)). Let f(c) = 5*c + 70. Let y be f(-13). Is y at most as big as k?
True
Let z = -4 + 6. Let y be (z - (-26)/(-14)) + 0. Is y at least as big as -1?
True
Let r(f) = 7*f + 6. Let s be r(-3). Let m = 16 + s. Is m less than 1/19?
False
Let l be 8 + -7 - 1/(-4). Let r = 27/28 - l. Which is bigger: 0 or r?
0
Let t be 262 - 1*(2 + 0). Suppose -2*o + 4*y = o + t, -255 = 3*o - 3*y. Let a be (-28)/o - 6/10. Which is smaller: -1 or a?
-1
Suppose 0 = 3*o - 4*o + 1. Suppose 15 = 3*r, 2*y + 5*r - 19 = -y. Let m = y + 4. Is o smaller than m?
True
Let p be 2/1 + 8/(-6). Suppose -3*d = -24 + 9. Suppose d*c + 0 = 10. Is p >= c?
False
Let o be (-134)/(-48) + 30/(-10). Is 0 smaller than o?
False
Suppose 3 = -2*v - v. Which is smaller: 8 or v?
v
Let d be (12/(-9))/(-1)*-15. Let m be (18/(-63))/(d/7). Do 0 and m have different values?
True
Let u(a) = -a**2 - 13*a - 11. Let h be 2 + (-2 + -11 - 1). Let p be u(h). Are 2 and p nonequal?
True
Let u be 4/(-2) - (-1 - 3). Suppose -2*h = u - 4. Is h smaller than 2/7?
False
Suppose 0*m - 4 = 4*m, m + 1 = -g. Is g at least 3/8?
False
Suppose 3*k = -0*k. Which is greater: -2/21 or k?
k
Let m = -0.4 - -0.3. Let j = m + 0.2. Let n = -83 + 169/2. Is j > n?
False
Let z be (-5150)/(-5456) + (-4)/22. Let t = z - 12/31. Which is greater: t or 0?
t
Let p = 16 + -9. Which is smaller: p or 8?
p
Suppose -n + 0*n - 1 = r, 5*r - 4*n = 22. Is 4/3 <= r?
True
Let b = 5 + -6. Suppose 16 = -3*p + t - 0*t, -2*t + 14 = -3*p. Let v = 6 + p. Is v <= b?
False
Let u = 0 + 4. Suppose 3*o + 2*m = o + 4, -2*o + u*m = 14. Is o greater than -2?
True
Let r = 38/31 - 4/155. Which is greater: r or -1?
r
Let a = -505/3 + 21209/126. Which is smaller: -1 or a?
-1
Let h = 3 - 1. Suppose -3*x + 8 = -4. Let a = -2 + x. Do a and h have the same value?
True
Let v be ((-2)/4)/(2/4). Which is bigger: -4/13 or v?
-4/13
Let n be (12/(-16))/((-15)/36). Is n less than or equal to -2?
False
Suppose 2*r + 8*y - 24 = 4*y, y - 8 = -r. Let k = r - -4. Suppose 4*h + 35 = 5*l, -k = 4*h + 5*l - l. Is -5 smaller than h?
False
Let g = 0.207 - 0.507. Let s be 1 + 3/(-2) - -1. Is s grea