0.09 - -0.39. Let q = -0.4 + 0. Let r = q + l. Which is smaller: r or -2?
-2
Let k = -2/859 + -663/84182. Is -1 > k?
False
Let r be (-5)/(-1 + 1 + 1). Let n = -23 - -18. Let k = n - r. Which is bigger: k or 0.4?
0.4
Let h = 17 - 14.9. Which is smaller: h or 0.1?
0.1
Let a = -25 + 13. Let o be (4/(-2))/(a + 11). Are o and 1/5 equal?
False
Let a(r) = r**2 - 2. Let f(z) be the third derivative of -z**5/60 + z**4/12 + z**3/6 - z**2. Let p be f(3). Let h be a(p). Is h bigger than 3?
False
Let k = -3 - -21. Let a = 0.34 - -12.66. Let y = k - a. Is 0 at most as big as y?
True
Suppose 2*m - m = 0. Suppose m = -5*k + 10, 0*a + k - 4 = 2*a. Which is greater: a or 1?
1
Suppose 0*b - 4*b + 4 = 0. Let c = -604/11 + 55. Which is bigger: b or c?
b
Let y = 6 + -6. Which is smaller: y or -0.2?
-0.2
Let k be ((-4)/6)/((-2)/3). Let f(g) = -27*g + 3. Let v be f(4). Let x = 523/5 + v. Are x and k nonequal?
True
Suppose 5*p + 0*v + 3*v - 25 = 0, 0 = -3*p + v + 15. Suppose -13 = -2*b + p*x, -2*b - 4*x = -b + 13. Which is smaller: 2 or b?
b
Let u = -4 - -5. Let i = u + -1. Is i <= 0.01?
True
Let b = -2575 - -59235/23. Let u = -5444/12627 + b. Let v = u - 2210/3843. Is v at most as big as -2?
False
Let g(m) = 11*m**3 + m**2 + 2*m + 1. Let x be g(-2). Let i = x + 345/4. Which is greater: i or -1?
i
Let x = -3 + 6. Which is greater: x or 12/7?
x
Let w be (-3)/((15/2)/(-5)). Let t be (-26)/6 - w/(-6). Let a be (-14)/18 + t/18. Is -1 < a?
False
Let n = 0.59 + 0.01. Let v = -0.7 + n. Let c = -0.2 - v. Is -2 greater than or equal to c?
False
Let m be (-142)/(0 - (-66)/57). Let v = -123 - m. Let y = -5/44 - v. Which is bigger: y or -1?
y
Suppose -d = -3*i - 92, -d + i = 3*i - 107. Let v = -20491/4 - -146269/28. Let n = v - d. Do n and 1 have the same value?
False
Let u = -3 - -4. Let k be -1 - (-2)/2*4. Suppose -4 = -k*p - z + 3, -3*p - 5 = -2*z. Is u not equal to p?
False
Suppose 3*i = 7*i - 48. Let t = i - 13. Which is bigger: t or 4/13?
4/13
Let z = -2 - -17/4. Is 1 less than or equal to z?
True
Let z = -3144/11 - -286. Let m = 1 + -1. Is z equal to m?
False
Suppose a + g = -8 + 1, -2*a + 4*g = -10. Which is bigger: -5 or a?
a
Let f be (2/(-2))/((-2)/44). Suppose -4*d + 30 = -f. Does d = 13?
True
Let w be ((-1)/(-2))/((-6)/(-48)). Let z be 2*(-1 + 2/w). Let f be (-2)/(-8) - (-13)/(-20). Which is bigger: f or z?
f
Let d be -2 + (-3)/(6/(-4)). Suppose 0 + 10 = 5*c. Suppose -2*q + c + 0 = 0. Is q greater than d?
True
Suppose 0 = 18*s - 20*s. Which is smaller: s or -1/25?
-1/25
Suppose 5*t + 17 = -2*p + 2, p = 5*t + 15. Is 4/9 equal to p?
False
Let b(d) = d - 10. Let l be b(9). Is 11 > l?
True
Let b(a) = a**3 + 2*a**2 - 2*a - 1. Let z be b(-2). Let n = 3 - z. Is n at least as big as -1?
True
Let r be (-1 - -5)*(9 + -5). Which is greater: 0 or r?
r
Let y(r) = -r - 1. Let b = 23 - 23. Let x be y(b). Is x <= -6/7?
True
Let u = -12 + 13. Is u at least as big as 2/39?
True
Suppose 0 = -4*u + 2*o + 14, -5*o = 4*u + 8 + 13. Let p = u + -1. Let c = 0.24 - -0.06. Is p bigger than c?
False
Suppose -11 + 29 = -3*x. Let v be ((-9)/6)/(x/16). Which is greater: 3 or v?
v
Let g be 0/(-1 + -2) + -1. Let q = -6 - g. Are -0.1 and q unequal?
True
Let w be 6*((-10)/(-3) + -3). Let o(j) = -5*j + 4. Let g(v) = 2*v - 1. Let p(n) = w*o(n) + 7*g(n). Let a be p(-1). Which is smaller: -3/2 or a?
a
Suppose 0 = 3*t - 5*b + 92, 4*t - 82 = -b - 243. Do t and -1 have the same value?
False
Let s be 1/(-4 + 4 + 1). Suppose 0 = 2*i + 6 - 0. Let n = i + 3. Are s and n equal?
False
Let g be (3 - 0) + 92/(-28). Which is smaller: g or -1?
-1
Let m be 6/24*4*-1. Is 13/10 bigger than m?
True
Let k = 69.22 + -70. Let s = k - 0.02. Let r = s + -0.2. Which is smaller: r or -2/9?
r
Let v(s) = -s**2 - 9*s + 10. Let a be v(-10). Suppose -2 = -g + 5*i, -4*g + 2*i = i - 84. Let w = g - 108/5. Which is bigger: a or w?
w
Suppose 0 = -3*k - k + 60. Suppose k = -2*y + 1. Is y greater than -6?
False
Let z(g) = -g - 13. Suppose -2*c + s - 22 = 0, 2*s = c + c + 22. Let i be z(c). Which is smaller: i or -4/7?
i
Let c = 43 + -36. Which is bigger: c or 6?
c
Let j = 0 + -52. Which is smaller: -53 or j?
-53
Let z be (2/(-2))/(7/84). Let o be (-4)/8*z/34. Is -1 smaller than o?
True
Let v be (-33)/(-15) - 2/10. Let k(n) = n**2 + 11*n - 5*n**2 + 6*n**2 - 15 - 3*n**v. Let l be k(10). Is l bigger than -5?
False
Let g = 0.4 - 0.3. Do 34 and g have different values?
True
Suppose 0 = 6*r - r - 30. Suppose -r + 2 = 4*a. Suppose -3*f - 5 = 2*f. Is f not equal to a?
False
Let p be (-31)/(-3) + 2/(-6). Suppose 0 = 4*f + 10 + p. Let o be 4/f*(3 - 8). Which is bigger: o or 5?
5
Let r = 48 + -47. Is r at most as big as -2/13?
False
Suppose 2*y = -223 + 43. Let r = -1529/17 - y. Which is smaller: r or -1?
-1
Let s = 56 + -61. Is s > -6?
True
Let z be 6/(-27)*3 + 80/102. Are z and 2 unequal?
True
Let q be (4*1)/(96 + -10). Which is smaller: q or 1?
q
Let i be (9/(-10))/((-9)/48). Let x = 5 - i. Let a be (0*2/4)/(-2). Is a less than x?
True
Suppose 2*q + 8 = 6*q. Suppose v + 3*h = -1, -5*h + q = -2*v - 0. Which is smaller: v or -2/13?
v
Suppose 5*q = 4*z + 170, 2*z - 30 = -4*q + 80. Let h = 59/2 - q. Let c = 1 + -2. Is c less than h?
True
Let i be (-58 - (-2)/(-2)) + -1. Let x be 0 - (-2 + (-134)/i). Let o = -1/10 + x. Does o = 1?
False
Let x = -86.9 - -95. Let q = -8 + x. Is q bigger than -0.11?
True
Let p = 14 - 17.2. Let x = p - -0.2. Let o = 199/764 + -2/191. Is o greater than or equal to x?
True
Let x be 120/(-40) + (-1)/(1/(-2)). Which is smaller: x or 1/207?
x
Let v be 2/9 + (-70)/72. Let w(z) = z**2 + 2*z - 2. Let t be w(0). Are t and v equal?
False
Suppose 2*v = 3*i - 8, -4*v - 16 = 2*i + 2*i. Which is greater: i or -4/11?
i
Suppose 20 = -2*w + 4*w. Let d be (-4)/w*5/(-6). Let p(b) = b**2 + 4*b + 1. Let j be p(-4). Which is bigger: j or d?
j
Let u be 3 + 125*1/(340/(-8)). Which is smaller: -2 or u?
-2
Let x = 2 - 1. Are 1/10 and x unequal?
True
Let k = 71 + -31. Which is smaller: 39 or k?
39
Let p = 14 - 11. Let x be (-6)/(-27)*p + 0. Suppose 2*m = -c + 7, -4*c = -c + 5*m - 18. Is x equal to c?
False
Let c = -33.9 - -34. Let r = 0 + 0.1. Let z = 0.2 - r. Is c at least as big as z?
True
Suppose 0 = -5*n - 2*z - 5, -n = -3*z + 1. Is n greater than -14/9?
True
Let v be -11*1/2*-2. Let n be (-2)/v + 70/22. Let u be (1/(-6))/((-1)/n). Which is greater: u or 1?
1
Let z = 348 + -5571/16. Is z at least as big as 1?
False
Suppose 0*q + 5*q + 5 = 2*n, -5*q - 5 = 0. Suppose n*c + 5 = 5*c. Is 4/7 at least as big as c?
False
Let k = 42 + -27. Let c = k - 22. Let b = -10 - c. Are b and -3 nonequal?
False
Let f = -3.1 - -3. Let h = -0.3 + 2.3. Let i = h - 2.2. Which is smaller: i or f?
i
Let b(m) = -2*m + 8. Suppose -2*g + 99 = o + 2*o, 0 = 3*g - 5*o - 139. Suppose 15 = -5*n - 3*c + g, 0 = -2*n - c + 13. Let x be b(n). Is x bigger than -3?
False
Let m = -49 - -145/3. Which is greater: m or 17?
17
Let c = -29/6 - -16/3. Let t(s) = -7*s**3 + 10*s**2 + 4*s + 11. Let v(i) = -i**3 + i**2 + 1. Let m(n) = t(n) - 6*v(n). Let r be m(5). Which is greater: c or r?
c
Let l(z) = 6*z**2 - 6 - 4*z + 6*z**2 - 4 - z**3 - 4*z**2. Let p be l(7). Is 12 >= p?
True
Suppose 5*d + 18 = 2*b, -5*b + 2 - 3 = -d. Let n be 4 - (-2 + 0 - d). Is 2 >= n?
True
Let x = -53 + 75. Which is bigger: x or 45/2?
45/2
Suppose 5*f - 2 = 18. Is 7/2 equal to f?
False
Let c = 0.3 - 0.3. Let l = -1 - c. Let s = -33 - -167/5. Which is smaller: l or s?
l
Let w(n) = n**3 + 3*n**2 + n + 2. Let o be w(-3). Let q be o*-1*3/3. Let t = q - -1. Is 2 at most as big as t?
True
Let f(t) = -t**2 - 3*t + 5. Suppose -5*m + 2 - 21 = 3*a, 5*a = -5*m - 15. Let p be f(m). Let l(n) = -n**2 - 3*n - 3. Let v be l(-3). Are v and p equal?
False
Let v(o) = -o**2 - 7*o - 1. Let k be v(-7). Suppose 0 = 4*u + c + 2, -3*u - 2*c + 6*c + 8 = 0. Is u at most as big as k?
False
Suppose 14*h = -1503 - 541. Is -147 less than h?
True
Suppose -2 = i + 2*g, 4*i + g - 12 = 3*g. Suppose 4*a + a = 5*q, 0 = -4*q + 2*a + 4. Let s be q/(-2 + 1)*-1. Are s and i equal?
True
Let u(m) = 2*m - 7. Let a be u(0). Let b = 4 - a. Which is smaller: 12 or b?
b
Suppose 2*m + 4 = 6*m. Which is smaller: -1/10 or m?
-1/10
Let m = -134.7 + 141. Let c = m - 0.3. Let b = 7 - c. Is b greater than -1/5?
True
Let n = 7.2 + -9. Let a = -0.5 + 2.5. Let l = a + n. W