-o - 5. Let u be f(n). Do u and 1 have different values?
True
Suppose d = -2 + 1. Let r = -369/104 - -29/8. Which is smaller: r or d?
d
Let d be 104/24 + 4/6. Let h = 7 - d. Suppose -u = -h*u. Which is smaller: u or 2?
u
Let y = 10 - 19. Does y = 2?
False
Let v be (1 - 2) + 8 + -8. Let u be (v + -2)*(-2)/45. Suppose 3*d = -0*d - 3. Is d bigger than u?
False
Let j be ((-2)/(-3))/((-4)/(-6)). Suppose -5*z = -36 + j. Let t be 0 + -2 + 7/z. Which is smaller: -1/8 or t?
t
Let h(i) = -i**3 - 3*i**2 - 2*i - 2. Let n be h(-3). Suppose 0 = -n*l - 2 - 2. Which is greater: 3/8 or l?
3/8
Let u be 2 + -1 + (10 - 2). Is 9 equal to u?
True
Let h be 2/(-3) - (-16)/6. Let v be 1/(12594/4202 + -3). Let n = 351 + v. Is h smaller than n?
False
Let d be (-160)/(-275) - 6/15. Let j = 0.4 + 1.6. Which is greater: j or d?
j
Let n be (-5)/(240/42) - (-1)/2. Which is greater: n or 2?
2
Let n = -47 - -55. Do n and 5 have the same value?
False
Suppose -5*t + 10 = -0. Let z(i) = i**3 - 5*i**2 - 5*i - 5. Let o be z(6). Which is bigger: t or o?
t
Let n(d) = -d**3 + 2*d**2 + 3*d + 4. Let g be n(3). Suppose g = -h - 2*f, 2*h - 5*f = -0*h + 1. Is h smaller than -3?
False
Let v(w) = -w - 3. Suppose -4*g = g + 25. Let x be v(g). Is x at least 3?
False
Let n be ((-16)/(-10))/((-2)/(-10)). Let j = -2 - -9. Let z = n - j. Is 2/7 smaller than z?
True
Let d = 1073/9 + -119. Is d at least -1?
True
Let j(z) = z + 2. Let h be j(4). Let o be 1/((10/h)/5). Is o less than 4?
True
Let s = -17/99 + 5/22. Are -1 and s non-equal?
True
Let y = 0.3 + -1.3. Is y at least -0.19?
False
Let q be (-23)/7 - (-10)/35. Suppose -y + 10 = 4*s - 11, 0 = 4*s - 20. Let f be -2 - (1 + 0)/y. Is f smaller than q?
False
Let t be -3 - ((-552)/(-294) + -5). Is t equal to -1?
False
Let g = 6070/23 - 264. Which is bigger: g or 0?
0
Let d = -18 + 18. Is 3/7 <= d?
False
Suppose 2*a + 0*a - j = 21, -3*j = a - 7. Let u be (20/(-450))/((-2)/a). Are 0 and u equal?
False
Suppose -r = 3, -5*n + 0*r = 5*r + 20. Let v = 0.4 + -0.9. Let p = -0.7 - v. Is p greater than n?
True
Suppose -1 = 2*x - 3*x. Let y be x - (-7)/((-7)/(-2)). Is y at most 1?
False
Let n(r) = -r**2 - 5*r. Let s be n(-5). Which is smaller: s or -3/5?
-3/5
Let y(f) = -f - 3. Let i be y(-7). Suppose 0 = k - i*k. Let r be (k + (-2 - -2))*1. Which is bigger: 2 or r?
2
Let h(x) = x + 1. Let t be h(0). Suppose 3 = -f - t. Which is greater: -3 or f?
-3
Let m be -1*2/(-3)*9. Let p be (2/m)/(2/6). Suppose 5*a = 7 + 18. Which is smaller: a or p?
p
Let g be (-64)/(-126) + 4/(-18). Let i = 0.08 - -0.22. Let k = i - 0.5. Is k less than g?
True
Suppose 6 = -0*m + 2*m, -2*m + 1 = -5*u. Let v = u + 4. Which is smaller: 4 or v?
4
Let j = -0.21 + 0.31. Do j and 1/18 have the same value?
False
Let h = -99 + 77. Which is bigger: h or -21?
-21
Let y = 5 + -6. Let n = -0.03 + -0.17. Is n > y?
True
Suppose 2*z = -4*g - 3*z + 2, -g + 4*z = 10. Is g != -4?
True
Let n = -1.966 + -0.034. Is n at most as big as 1.6?
True
Suppose -8 - 6 = 2*j. Which is smaller: j or -8?
-8
Let r(m) = m**3 - 5*m**2 - 4*m - 8. Let z be r(6). Suppose -4*v = 4*b - 16, 3*b + 5 + 4 = z*v. Suppose 0 = v*a + 6. Is a != -2?
False
Let q = 0.66 + 0.34. Which is smaller: -0.1 or q?
-0.1
Let s = 28 - 28. Let x(a) = a. Let z be x(3). Which is bigger: z or s?
z
Let l = 5.4 - 5. Let p = -0.2 + l. Is -0.2 > p?
False
Let d(y) = y - 1. Let a be d(0). Which is smaller: 1 or a?
a
Let i = 19.56 + -19. Let m = i - 0.5. Do m and 1 have different values?
True
Let x = -0.31 + 19.31. Let f = x + -25. Which is smaller: 0 or f?
f
Suppose -6*v - 104 = -2*v. Let l = v + 20. Is -0.2 at most l?
False
Suppose t = 4*j - 53, -2*j + 0*t - 4*t = -40. Which is bigger: j or 15?
15
Let c be 2/(-2 - 162/(-165)*2). Are c and -54 non-equal?
True
Let c(l) = -l**3 + 5*l**2 + 5*l + 7. Let w(k) = k**2 - 3*k + 2. Let v be w(4). Let b be c(v). Is b smaller than -2/19?
False
Suppose 4*f = -5*l + 71, 2*l - 4*f - 14 = -2*f. Let v = l - 21/2. Let r = -0.1 - -0.1. Is r not equal to v?
True
Let x(v) = -v**2 + 2*v - 1. Let p be x(2). Do -2 and p have different values?
True
Let q be ((-4)/(-66))/((-8)/(-72)). Let o = -12 + 12. Is o at most as big as q?
True
Suppose -5*z - 3*a + 8 + 14 = 0, 2*a = -5*z + 18. Which is bigger: -2 or z?
z
Let d be 2*25*(-5)/10. Is d at most as big as -2?
True
Let p = -0.06 - -3.06. Is p > -7?
True
Let b = 3 - 4. Let i be 0 - b - 8*1. Let w = -20/3 - i. Is 0 at least as big as w?
False
Let r(f) = -f - 1. Let v be r(6). Suppose -j - d = -0*d + 9, 2*d + 2 = 0. Which is bigger: v or j?
v
Let i = 78 + -161/2. Let t(s) = s**3 - 6*s**2 + 7*s - 13. Let u be t(5). Is u at least as big as i?
False
Let m = -24 - -10. Let v be 4/m + 60/14. Suppose 5*b - 20 = -0*b. Is b greater than or equal to v?
True
Suppose -4*w - 19 + 1 = -2*m, -3*w - 4*m = -14. Which is smaller: -24/13 or w?
w
Let j(u) = -u**3 - 8*u**2 + 2*u - 4. Let d be j(-8). Let v = -19 - d. Is v > 2/5?
True
Let r = 26 - 23. Let p(n) = -n**2 + 3*n + 1. Let y be p(3). Suppose -2*c = r + y. Is c > -1?
False
Let b = -7.5 + 1.2. Let g = b - -6. Let z = -3/38 + 91/190. Which is smaller: g or z?
g
Suppose -3*i = 7 + 2. Suppose -4*b - 1 = 11. Let x be (b/2)/(12/32). Which is smaller: x or i?
x
Let g be (-19)/2 - 1/(-2). Let w = 9 + g. Let x be ((-6)/(-40))/(12/10). Which is smaller: w or x?
w
Let y = 26/5 - 23/5. Which is bigger: y or -0.6?
y
Suppose 0 = 3*j + 13 - 109. Which is smaller: j or 33?
j
Let n(q) = -q**2 + 8*q - 1. Let s be n(8). Which is bigger: s or -9/5?
s
Let v be (-16)/48 + 2/(-18). Do v and -1 have the same value?
False
Let j(o) = o + 7. Let g be j(-5). Suppose v = -g*v + 9. Suppose 5*y + 9 = 3*h, 3*y + 9 = v*h + 4*y. Is 2 greater than or equal to h?
False
Suppose 17 = 4*a - 2*a + 5*w, -4*w + 10 = -2*a. Which is smaller: a or 2/179?
2/179
Suppose 0*w = 3*w + 15. Suppose -7 = 7*k + 28. Are k and w non-equal?
False
Let x be 1/4 - 2665/(-66780). Let q = x + -2/477. Let y = 3 - 2. Which is smaller: q or y?
q
Suppose -n + 4*x - 19 = 0, 0 = 3*n - 2*x + 5*x - 18. Suppose 0 = -t + 1 - 0. Is t at least as big as n?
True
Suppose -3*k - 3 = -8*k - j, -3*j - 6 = 0. Which is smaller: 1/62 or k?
1/62
Suppose 0 = -4*a + 4*i - 24, 3*a - 6*i + 21 = -4*i. Let n be 5/20 - a/(-12). Are -4 and n nonequal?
True
Let n(v) = -5*v - 4. Let t be n(-4). Which is smaller: t or 15?
15
Let n = -433268/15 - -45493517/1575. Let v = n + -3/175. Let f = 20 + -20. Which is smaller: v or f?
f
Let m be (-2)/12 - 4/24. Which is bigger: m or 0.04?
0.04
Let v be 0*(-3)/(-9) - 5. Is v equal to -5?
True
Suppose 5*c - c = 3*t + 44, -2*c + 32 = -2*t. Let k = 23 - 16. Let x be (-3)/(-4) + k/t. Which is bigger: x or -1?
x
Let f be ((-200)/(-78))/(-5) + 1. Let i = f + -2/13. Are 1 and i non-equal?
True
Suppose -5 = -a, -5*g = -4*g - 3*a + 15. Which is greater: g or 1/133?
1/133
Let m = 2 + 5. Suppose 5*c = m*c. Let h = 34 - 141/4. Which is greater: c or h?
c
Suppose 3*x = 5*x - 4. Let l = x + -4. Let f = 0.2 + -1.2. Is f < l?
False
Let l be 4*((-12)/18 + (-233)/(-354)). Is 1 not equal to l?
True
Let x be 3*1/3 - (53 - -2). Are -56 and x unequal?
True
Suppose -7 = t - 2*v, 3*t + 2*t - 4*v + 17 = 0. Let s be (-32)/(-30) - 14/21. Which is greater: t or s?
s
Let x = -0.3 - 1.7. Let t = 0 + x. Is 0.1 equal to t?
False
Suppose -4*y = 0, 8 + 19 = -3*x + y. Let w(n) = -n - 8. Let q be w(0). Are x and q equal?
False
Let j be -7 + 6 - (0 + -2). Which is smaller: j or 3?
j
Let q = 6 - 1. Suppose 0 = -q*z - 11 - 19. Let t be (2 - (-13)/(-3))*3. Is t > z?
False
Let m be 6 + 5/(15/(-6)). Suppose 7 = -m*i + 3*l, 3*i - 3*l = -0*l - 9. Suppose -i*p = -2 - 0. Are p and 1 nonequal?
False
Let j be -1*3 + (-105)/(-33). Is j greater than or equal to -1?
True
Let y be 0/4 + 0 + 4. Suppose 3*s = 7*s - y. Let b = 1 - 2. Which is smaller: s or b?
b
Let a = 1 + -3. Let n(m) = m**3 + 6*m**2 + 5*m. Let x be n(-5). Which is smaller: a or x?
a
Let j = 57 - 59. Are 0.01 and j nonequal?
True
Let y = -4 - -3. Let t = -1 + y. Let n be 1/(-3 - t*1). Does -1/4 = n?
False
Let d = 6 - 13. Which is smaller: d or -9?
-9
Let b be ((-77)/(-14))/(10/14 - 1). Which is bigger: b or -18?
-18
Let o be 5 - 1*(0 + 3). Let w be -8*(-2)/6 - o. Is w > -0.7?
True
Suppose 0*r - r = -2332. Let v = 23301/10 - r. Let w = -12/5 - v. Which is smaller: -2 or w?
-2
Let x = -4/59