e x(6). Let z be 140/v + (-4)/18. Is 2/7 > z?
False
Suppose -9 = -0*o + 3*o + 3*t, -2*o + 9 = -3*t. Suppose u + u = o. Is u greater than 1?
False
Let s = 6.8 - 8. Let o = s + 1. Let m = -6.9 + 7. Which is bigger: o or m?
m
Let m = 0.76 - 0.7. Let x = m - 0.26. Is x at least as big as 0.2?
False
Let o = -0.7 + 0.8. Is 0.7 greater than o?
True
Let c = 24 + -10. Let v = 10 - c. Let a = v - -6. Is a bigger than 0?
True
Let f be (-10 + 4)*(-2)/28. Is f at most -1?
False
Suppose 0*p = p + 15. Let m = -318238/13 + 24495. Let r = p + m. Is 1 at most r?
False
Let g be 2*(-4)/24 + 0. Let i(b) = -2*b - 2. Let z be i(-6). Is z at least g?
True
Let l(z) = -10*z**3 - 2*z**2 - z. Let m be l(-1). Let g be 2/(-4) + 3/m. Which is greater: -1 or g?
g
Suppose 5*u = 10, t - 2 = -4*u + 2*u. Suppose 0*i - 2*d - 11 = -i, 0 = 5*d + 15. Let c = 3 - i. Is t less than or equal to c?
True
Suppose -3*g + 0*j = 2*j - 28, 4*g - 32 = -4*j. Suppose -7*b + 40 = g. Which is smaller: -2 or b?
-2
Suppose -7 = 3*d - 1, 3 = 5*j + d. Let b be (0 - 1)/2*0. Is b <= j?
True
Let r(l) = -2*l - 24. Let z be r(-14). Is z at most 16/3?
True
Let o be (-8)/(-6)*15/10. Let n = o + 0. Suppose 0 = -3*x + 2*p + 6, -p = -n*x + x + 2. Is 1 at most as big as x?
True
Suppose -5*x - 45 = -3*o - 0*x, -112 = -5*o - 4*x. Let h be (-10)/o + (-9)/(-10). Suppose -3*b = -2*b + 1. Do b and h have different values?
True
Suppose 0 = -4*u + 5 - 1. Let j be 4/(12/(-15))*u. Is j at least as big as -6?
True
Let b = -561/5 - -110. Let s = b - -9/5. Let a = -0.4 + 0.3. Which is bigger: a or s?
a
Let c(d) = 2*d - 6. Let h be c(6). Let n(g) = -1 - 6 + 7*g + 0*g**2 - g**2. Let u be n(h). Is 1/4 not equal to u?
True
Suppose 0 = -5*b - 2*z - 43, 4*b - 3*z - 4 = -20. Suppose 55*u - 18 = 58*u. Which is smaller: u or b?
b
Let l = -86 + 65. Which is smaller: -19 or l?
l
Let v be -8 - (2 + -6 + 1). Suppose -g = -6*g - 25. Is v less than g?
False
Suppose 3*r - 3 = 3. Let y be -1 + 2/16*r. Let x(d) = -d**2 - 5*d + 12. Let p be x(-7). Is p less than or equal to y?
True
Let q(f) = -2*f**2 - f. Let o = 25 + -27. Let w be q(o). Is 0.2 > w?
True
Let y = 116743/20 - 5836. Let b = y + -3/4. Which is smaller: -1 or b?
-1
Let v be 2/(-1)*6/(-4). Let m be (2/(-6))/(1/v). Let d be (2/(-4))/((-5)/(-2)). Which is bigger: d or m?
d
Let g = 15 + -9. Which is smaller: g or 5?
5
Let p = 16 + -11. Suppose -r - 6 = -3*t, t - 3*t = -5*r + 22. Is r greater than p?
True
Let b(m) be the first derivative of m**3/3 + m + 5. Let f be b(0). Which is greater: 3/7 or f?
f
Let d = 5.1 - 1.1. Which is greater: d or 0?
d
Let g be (-1404)/(-143) + (-2)/(-22)*2. Let k be 8/12*66/4. Which is smaller: k or g?
g
Let w = -1 - -4. Let p be (w + 40/(-12))/(-1). Are -1 and p nonequal?
True
Suppose -20 + 105 = 5*v. Which is greater: v or 16?
v
Let w = -44 + 131/3. Is 0 less than or equal to w?
False
Let w = 14 + -7. Let x be (2 + w)/(6/4). Suppose -n - n - x = 2*j, 6 = -3*j. Which is smaller: 0 or n?
n
Let t be (-1)/(-2*1/2). Let v be 1*-3 - 9/(-1). Let x be 5/4*v/10. Which is greater: x or t?
t
Suppose -3*c = 3, 3*q - 4*q = 3*c - 2. Suppose 4*x + 6 + 6 = -3*z, -x = z + q. Which is smaller: -9 or z?
-9
Let f = 1 - 3. Let d be 2*(-2 - 8/f). Which is greater: d or 3?
d
Let u = 12.27 - 6.69. Let y = u + 0.22. Let f = -6 + y. Is f less than 2/7?
True
Let r = 9.3 + -10. Let u = r - -0.78. Which is greater: u or -1?
u
Let z = 8.06 + -8. Let m = -0.04 + z. Which is smaller: m or -0.1?
-0.1
Let u be 6/16*(-1 + (-4)/(-12)). Which is smaller: u or -1/2?
-1/2
Let l = 5/11 + -13/77. Let w = 8 + -5. Is l > w?
False
Suppose -3*w - 48 = -153. Let j be w/50*(0 - -1). Let x = 31/30 - j. Is x < -2?
False
Suppose 0 = q - 1 + 5. Let x(h) = -h**2 - 10*h - 5. Let o be x(-10). Are q and o equal?
False
Suppose -i = 3*i - 4. Which is bigger: 3/4 or i?
i
Let r(s) = -s**2 - s - 1. Let l be r(-1). Let i be 1/(-4) + 4363/(-52). Let w = i - -84. Is l greater than w?
False
Suppose 4*u - 4 = -0. Let t be 4 - (1 - (0 + -1)). Suppose 2*d + t*r - 2 = 0, d + d + 5*r + 1 = 0. Which is greater: u or d?
d
Let h(m) = -2*m**2 - 9*m. Let t be h(-7). Let l be (-7)/t*(-10)/(-4). Which is greater: l or 2?
2
Suppose -25 = 5*p - 4*y - y, y + 7 = -5*p. Suppose -2*x = -4*x + 12. Let r = x + -6. Which is smaller: r or p?
p
Let b = -14 - -17. Let z be (4/b)/((-16)/(-24)). Let l = -6 + 8. Is z at least as big as l?
True
Let r = -8 + 42/5. Is r less than or equal to -6?
False
Let j = 2216710/111 + -19971. Let k = j + -1/37. Is -1 less than k?
True
Let x(n) = -n**3 + 5*n**2 - 3*n - 4. Let b be x(4). Let c = b - 1. Is -1/4 < c?
False
Let h = 23 + -20. Let w be -21*28/(-204) - h. Are 1 and w equal?
False
Let y = -113 + 115. Is 0.5 less than or equal to y?
True
Let u be 0 + -1 - (1 + -1). Suppose -5*b + 50 = -3*q, 7*q - 2*q + 1 = 2*b. Suppose b*z = 19*z + 6. Is u equal to z?
True
Let p be 0 - (1 - -1 - -1). Let j be ((2 + p)/6)/1. Which is smaller: j or 0?
j
Suppose -q + 16 = q. Suppose -2 = -q*k + 7*k. Let p be 2/5 - 3/(-5). Are k and p unequal?
True
Let p = -0.62 - -0.61. Are 0.2 and p nonequal?
True
Suppose -1 = -5*p + 9. Let w be (-6)/(-2 - 1) - p. Let y = -4 + 3. Are y and w unequal?
True
Let u = 6 + -9. Let z(k) = -3*k**2 - 1. Let d be z(1). Which is smaller: u or d?
d
Let m be (-40517)/143 - (-2)/11. Let l = 283 + m. Is l greater than or equal to 1?
False
Let v = -0.3 + 0.4. Let t(m) = -m**3 - m + 6. Let f be t(0). Suppose -j = -2*y - f, 3*j - 2*j - 10 = 3*y. Which is smaller: v or j?
j
Suppose n + 4*n + 3 = -4*y, 0 = 3*y + n + 16. Let o be 4*((-3)/6 - 3). Let l = -20 - o. Which is greater: l or y?
l
Let g = 2 + -1. Let o be (-4)/18 - (-11)/495. Which is smaller: g or o?
o
Let g = 47.5 + -7.5. Which is bigger: g or -0.1?
g
Suppose -5*r - 25 = -10. Let m = 8 + r. Let v be m + -6 - (-2)/2. Is v equal to -0.2?
False
Let i be (4/(-6))/(4/(-6)). Let u be (474/27)/(-1) - 2. Let p = -1954/99 - u. Is i less than p?
False
Suppose 1 = 3*x + 2*i - 0, 4*i - 9 = x. Let g be -1 - (-3)/6*2. Let v = g - x. Are v and 6/11 unequal?
True
Let o = -0.05 + 16.05. Let l = 16.1 - o. Which is bigger: 1.5 or l?
1.5
Let c(y) = -3*y**3 + 3*y**2 - y. Let b be c(2). Let q = -12 - b. Which is bigger: 2/3 or q?
q
Let y(h) = h**3 - h**2 - 5*h + 3. Let k be y(3). Suppose k*p = p - 5. Is -1 < p?
False
Let s = -225/7 - -2648/63. Let y = s + -29/3. Is y bigger than 1?
False
Let l be (2 + -4)/(7/1). Suppose 0*x = 4*b - 2*x + 18, -3*x = -9. Is b greater than l?
False
Suppose s - 5 = -r, 3*s = -5*r + s + 10. Suppose 3*o + 28 - 1 = r. Let m = o + 7. Do m and -3 have different values?
True
Suppose 5*z - 2*f - 1 = 0, 7*f = 2*z + 11*f + 14. Which is greater: z or -5/17?
-5/17
Let k be (3/(-1))/((-6)/(-8)). Let f be 2*(1 - (-6)/k). Let m be ((-1)/5)/(12/(-10)). Is m smaller than f?
False
Let s = 24 + -23.91. Let w = 0.11 + s. Is w >= 12?
False
Suppose 0*n - 45 = -3*n - x, 2*x + 30 = 2*n. Let d be (-16)/10 + 9/n. Let j be (-5)/((-110)/4)*d. Which is smaller: 0 or j?
j
Let k(j) = -6 + 3*j - 5*j + j**2 + 0 - 2*j. Let d be k(5). Which is greater: 2/7 or d?
2/7
Suppose 4*n + 2*r - 10 = 0, 5*r - 12 = -5*n + 2*r. Suppose m - 5 + n = 0. Let c = m - 7/4. Is -1 <= c?
True
Suppose -5*n + 0*n + 2*j - 2 = 0, -4*j + 4 = 5*n. Suppose 5*l + 3*g + 4 = n, 2*l - 7*g - 14 = -3*g. Suppose 3*z - 14 + 2 = 0. Which is greater: z or l?
z
Let x(f) = -f**2 - 6*f + 7. Suppose 0 = -0*m - m - 8. Let b = 1 + m. Let q be x(b). Which is bigger: 4 or q?
4
Let r = 72 - 19. Which is greater: 54 or r?
54
Let v = -1 + -7. Let w = v + 16. Let i be (2 + 0)*(-4)/w. Which is smaller: 2/7 or i?
i
Let w(o) = -o**2 + 4*o - 2. Suppose 0 = -0*v + v + 3. Let m be ((-16)/(-12))/((-2)/v). Let c be w(m). Which is greater: 1 or c?
c
Suppose 3*k + 13 = -5*a, -5*a + 22 = -2*k + 5. Let c(p) = p**3 + p**2 + p - 12. Let b be c(0). Let w = k - b. Do w and 5 have different values?
True
Suppose -l - 2 = -2*l, 30 = 2*u - 2*l. Let a be (12/(-102) - 140/(-34)) + 12. Is a at most as big as u?
True
Suppose 2*r - 3*t + 15 = 3*r, 5*r = t + 123. Let l be ((-2)/r)/((-50)/(-80)). Which is greater: l or -1?
l
Let a = -0.15 + 0.16. Is a at most -1?
False
Let v(c) = -c**2 - 6*c + 17. Let o be v(-8). Does -0.1 = o?
False
Let q be (-3)/(24/(-4))*-2. Which is bigger: -3/2 or q?
q
Suppose 3*r = -5*b + 29, -4*b + 28 = -0*r + 4*r. Suppo