. Let u = -93 - -645/7. Which is bigger: u or f?
u
Suppose -5*s = x + x + 18, 3*x - 2*s - 11 = 0. Is x equal to 0?
False
Let v = 0.07 + -3.07. Let m = -4 - v. Is m < -1?
False
Let i be -2*(-1)/2*1. Let w(j) = -j**2 + 2*j. Let x be w(2). Which is smaller: i or x?
x
Suppose -5*f = -v, 3*f + 0*f - 8 = -v. Let w = 8/7 - 17/14. Is w < f?
True
Let v = 2 + 1. Let j(k) = k**3 - 3*k**2 + 3*k - 4. Let f be j(v). Suppose 2*r + 3 = -3*q - r, f*q + 4*r + 4 = 0. Is q at least -1/2?
True
Let b be 14*(0 + (-1)/2). Is b bigger than -6?
False
Let h = -95 - -96. Is -34 less than or equal to h?
True
Let p be (-1)/5 + (-2)/(-24). Let d = 2/15 - p. Is -1 >= d?
False
Let p = 52.5 - 51. Is 1/3 less than p?
True
Let x = -25 - -25. Which is smaller: x or -1/3?
-1/3
Let a = 6.002 + -0.002. Which is smaller: 0.1 or a?
0.1
Let b = -7 + 5. Let c = -5 - b. Is c greater than or equal to 1?
False
Let r = 0.01 + 0.04. Let s = -0.05 - r. Let h be 0 - 2/(-12)*2. Which is smaller: h or s?
s
Let h(y) = -y**3 - 9*y**2 - 1. Let n be h(-9). Let k = 0.15 + 0.15. Are n and k non-equal?
True
Let j = 4 + -7. Let q = j + 8. Suppose -3 - 2 = q*d. Is 3/2 greater than d?
True
Let v be (5 - 1) + 15/(-4). Is 0 at most as big as v?
True
Suppose -5*c = 4*h - 72, -4*h + 52 - 8 = -2*c. Which is bigger: h or 2/3?
h
Let l be (-1)/2 + 197/(-4). Let n = l + 49. Is -1 less than or equal to n?
True
Suppose -3*q = -6*q. Suppose q = -0*z - 2*z + 4. Which is bigger: 3 or z?
3
Let z = -4 + 2. Let n = 1.8 + z. Let r = 0.1 + n. Which is bigger: -1 or r?
r
Let y = -12 + 10. Is y > -2/3?
False
Let h(k) = k - 5. Let d be h(8). Suppose d*s = -s. Which is smaller: s or 5?
s
Let a be 8/(-10) - -1*2. Suppose -4*n + 14 + 2 = 0, -v + 5*n = 50. Let t be (-4)/v + 26/30. Is t at least as big as a?
False
Suppose 0*i + 3 = 3*i. Let n be 2776/60 - 4/(-10). Let k = n + -46. Which is greater: i or k?
i
Let u be -80*(3/(-2))/(-1). Let v = u + 959/8. Are 5 and v equal?
False
Suppose r = -4*v + 4, -4*v + 3*r - 5*r = -4. Is v at least as big as 3/31?
True
Let g be (1/(-3) - 1)/((-35)/(-105)). Which is greater: 6 or g?
6
Let r(p) = p**2 + p. Let y be r(-5). Let d be (-40)/(-22) - y/(-110). Which is smaller: d or 4?
d
Let a = 4776/7 + -680. Is 3 > a?
True
Suppose -15 + 3 = 6*v. Is v at most as big as 2?
True
Let m = -678 - -672.22. Let d = m - 0.22. Is -1 less than d?
False
Let f = -0.8 + 2.8. Which is smaller: -1/3 or f?
-1/3
Suppose -17 - 15 = 4*i. Let w be (i/(-40))/((-2)/4). Let z(s) = s**2 + 3*s + 4. Let b be z(-3). Is w equal to b?
False
Let c = 98 + -99. Which is smaller: c or -1/42?
c
Let n = 6 - 10. Let s be 5/12 + n/6. Which is bigger: s or 1?
1
Let l = 3 + -3. Let s be (-3)/5 + (-4)/10. Is s smaller than l?
True
Let k = -19 - -8. Let p(t) = 2*t**3 + 3*t**2 - 6*t - 7. Let s be p(-2). Which is bigger: k or s?
s
Let y = 0.6 + 0.4. Does y = -1/4?
False
Let u be 1/(1 - (-16)/(-12)). Is u smaller than -2?
True
Let g(w) = w**2 + 5*w + 4. Let v be g(-4). Let i be 2 + -2 - -1 - v. Let c = 3 - 2. Does c = i?
True
Suppose 2*u + 0*u = 0. Let s = u - 0. Let f = -3.2 - -3. Is f <= s?
True
Let n = -1.8 + 3.7. Is -0.2 smaller than n?
True
Let a(p) = 6*p**2 + 9*p + 5. Let y(v) = 5*v**2 + 8*v + 4. Let r(k) = 4*a(k) - 5*y(k). Let l be r(-4). Is l smaller than -2/7?
False
Suppose -5*r = 5*f - 10*r - 30, 0 = r + 3. Which is greater: f or 2?
f
Suppose 4*d = 4*p - 4, 2*p - d + 4*d = -3. Suppose -x + p + 2 = 0. Let v = 65 - 65. Which is smaller: v or x?
v
Let s = -19 - -19. Suppose -2*g + 4 = -s*g. Suppose 3*d - 4*l = 8 + 2, -3*l - 3 = 0. Is d not equal to g?
False
Suppose 12 = -5*o + 27. Suppose -r = -5*a - 15, -4*r - 1 = -3*r + o*a. Suppose 3*n - 2*y = 10, -n - 5*y + 0*y = -26. Which is smaller: r or n?
r
Let l = 0.2 - -0.8. Let o be 18/5 + 6/15. Let m be 0 - ((-1)/o)/(-1). Is m less than or equal to l?
True
Let m(b) = b**3 - 9*b**2 - 9*b - 9. Let c be m(10). Suppose -14 = -2*u - 2. Let o be (-2)/((u/c)/(-2)). Is o >= 1?
False
Let o = -1 + 1. Let i(t) = t + 2. Let k = 2 - 4. Let h be i(k). Is h not equal to o?
False
Let m(i) = -i - 9. Let s be m(-8). Let w be -2*(-2)/(-8)*s. Is w != 1?
True
Suppose q = -5*h + 15, 5*q - 3 - 6 = -3*h. Let i be (-3)/2*16/(-12). Let a be (-77)/(-21) + i/6. Is a smaller than h?
False
Suppose -y + 3*y - 139 = -5*f, -5*f - 3*y + 136 = 0. Suppose 4*j = -f - 11. Which is greater: -19/2 or j?
-19/2
Let d be (-4)/10 - 55892/(-280). Let y = 199 - d. Is y at most -1?
False
Suppose -3*w + 16 = -4*g, -g = -0*w - 4*w + 17. Let k = 148/639 + -2/213. Is g bigger than k?
False
Let o = -5 - -3. Let x = -12 - -14. Let k = o + x. Which is smaller: -3 or k?
-3
Let c be (-18)/4*16/(-12). Suppose b - c = -4. Which is greater: 1 or b?
b
Let t = -0.3 - -0.3. Let f = -1 + t. Let k be (1 - -1)*10/(-10). Which is bigger: f or k?
f
Let h be 1 + -1 + (-6)/21. Suppose t + 5 = -4*b, 0 = -5*b - 3*t + 1 - 9. Do h and b have different values?
True
Let s(i) = -i**3 + i**2 + 3*i + 4. Let b be s(4). Let u be ((-8)/(-12))/(b/(-6)). Is u > 1?
False
Suppose -2*w + 2 + 7 = 3*n, -4*w - 2*n = -6. Let g = 6 + 5. Let x = g - 23/2. Is x at least w?
False
Let x = 19 + -18. Is x at least as big as 2/3?
True
Let p = -8 - -9. Let m = p - 0.9. Which is smaller: m or 0?
0
Let o be (12/18)/((-2)/3). Is o at most as big as -3?
False
Let r = 0.1 + 0.9. Let s = -654 + 6541/10. Is s bigger than r?
False
Suppose -5*s - 23 = -2*z, -4*z + 11 = -5*z - 5*s. Suppose 2*g + 6 = -5*v - 4, 0 = -z*v + 5*g + 25. Suppose -2*n + 0*n = 6. Which is greater: n or v?
v
Let a = 62 - 432/7. Let i be (-1)/(-3) - 8/6. Which is greater: i or a?
a
Let d(g) = g - 3. Let y be d(6). Suppose -y + 9 = k. Does 5 = k?
False
Suppose -n + 2*n + 2*h - 11 = 0, 0 = -3*n + 4*h - 7. Suppose -n*r + 515 = -8*r. Let g = 724/7 + r. Which is bigger: -1 or g?
g
Let i = 32 + -17. Suppose i = -6*g + 3*g. Is -4 not equal to g?
True
Let w = -19561/315 - -435/7. Is -1 bigger than w?
False
Suppose -4*v + 0*m - 3 = -m, -5*m - 25 = 0. Let i be (-1)/v + 1 + -3. Do i and -2 have the same value?
False
Let g = 1059/2210 - 3/170. Suppose -3*t = -5*f + 2*f, -3*f + 5*t = 0. Which is bigger: g or f?
g
Let u = -1 + -2. Suppose 0 = -4*g - 20 + 12. Which is smaller: g or u?
u
Let k(f) = -f - 7. Let m(c) = -c**2 - 6*c - 8. Let g be m(-6). Let v be k(g). Let t = 27 - 25. Is v > t?
False
Let x = -0.98 + -0.02. Is x less than -5?
False
Suppose -2*p + 6*p + 16 = 0. Suppose -d + l + 0*l = 7, 3*l + 7 = -4*d. Does d = p?
True
Let s = -0.6 + 0.8. Let n = s + 1.8. Is n not equal to -2/3?
True
Suppose -t - 40 = t - 2*l, -3*t - 60 = l. Is t > -19?
False
Let t = -81.5 + 82. Which is bigger: t or 1/4?
t
Suppose 5 = 5*j - 2*q, -5*q = -3*j - 9 - 7. Suppose -3*a + 7 = -2*n, a - 10 = 3*n - j*a. Let m be 2/(-4)*(-4)/n. Which is smaller: m or 1?
m
Let u be (-879)/15 + (-6)/15. Let q = u + 235/4. Which is bigger: -1 or q?
q
Let z = -177/5 - -5831/165. Which is smaller: z or 0?
z
Let q = 9 - -3. Let c = q - 11. Let k be -1*((-1 - -1) + -1). Are c and k equal?
True
Suppose -2*j - j = -6. Let o = j - 0. Suppose m = -0*d - 5*d + 25, 0 = o*m + d - 5. Is m equal to 2?
False
Let i = -47 - -86. Is i less than 40?
True
Let i = -28.04 - -28. Which is smaller: -3 or i?
-3
Let q(a) = a + 16. Let i = -38 - -27. Let f be q(i). Is f greater than or equal to 4?
True
Let c be 1 - ((-2562)/(-20) - 2). Let g = c - 1723/70. Let q = 150 + g. Is q at most -0.4?
False
Let a(n) = -n**3 + 6*n**2 - n + 7. Let r be a(6). Suppose -5 = -5*j - f, -r = -2*j - f + 1. Which is smaller: -2/7 or j?
-2/7
Let l = -0.1 - 0.1. Let j be ((-3)/(-3*2))/(-2). Is l greater than or equal to j?
True
Let d = 0 + 0. Let y = -8 + 15. Let s be y/6*(-15)/105. Is s bigger than d?
False
Let g(h) be the third derivative of 0 - 2*h**2 - 1/60*h**5 - 1/2*h**3 + 5/24*h**4 + 0*h. Let j be g(5). Do j and -3 have different values?
False
Let f = 15 + -9. Let s = 5.84 + -0.04. Let o = s - f. Is o greater than -3?
True
Let b = 8 + -2. Suppose 6*j = 3*j + 6. Suppose -2*a + j*g - b = 0, 3*g - 6*g + 21 = 3*a. Which is greater: a or 1?
a
Let t = -8 + 54/7. Let g be (-2)/(-6) - (-5)/(-15). Is g > t?
True
Suppose -37 - 134 = -9*d. Suppose -o + 3*v = -3*o + 26, -3*v - 69 = -3*o. Do d and o have the same value?
True
Suppose -4*v + 3*v + 1 = 0. Is -4/23 less than v?
True
Let a = 4.6 + -4.43. Let x = -7.03 - -7. Let t