 -1 - 0.7. Let h = a - -2. Is -0.1 at most as big as h?
True
Let g = -28445 - -199649/7. Let t = 76 - g. Are 0 and t unequal?
True
Let f be -2 + -2*26/(-32). Is 1 bigger than f?
True
Let t = -141/112 + 27/16. Is t at least as big as -3/5?
True
Let i(b) = 29*b**3 - 2*b + 1. Let f be i(1). Is 27 >= f?
False
Let c = 16/89 + -902/2047. Which is smaller: c or 0?
c
Suppose 5 = -w - 1. Let k be ((-3)/9 - 0)*w. Let l be 3/5 + k/5. Are -3/7 and l nonequal?
True
Let x(h) = 5*h**3 + h**2 + 2*h + 2. Let v be x(-1). Is v equal to -1?
False
Let q = -13 + 17. Suppose 2*o + q = -2*c, 2*c - 3*c - 2*o = 2. Is 1 at least c?
True
Let k be 2/(-6) + 133/(-42). Which is smaller: k or 0.3?
k
Suppose 5*n + 10 = -5*q, n = -2*n + 6. Which is greater: q or -1?
-1
Let l be 10/75 - (-4)/(-10). Are l and 1 unequal?
True
Suppose 0 = -5*j - 4*g - 617, 0*g + 2*g = j + 115. Let h be (-8)/6*j/4. Let s = h + -475/12. Which is smaller: -0.1 or s?
-0.1
Let z be (-1 - 7/8) + 2. Let g be -1 + (1 - (-2 + 1)). Which is bigger: z or g?
g
Let z be (-6)/2 - -1 - -2. Is 1/46 smaller than z?
False
Suppose -o - 2 = -4*y - 3, 3*o - 3 = -3*y. Let t = o - 0. Which is smaller: t or -1/3?
-1/3
Let t = -14 + 14.1. Does t = 0?
False
Suppose 5*u + 678 = 173. Let x be ((-2)/10)/(2/1006). Let q = x - u. Which is bigger: 2 or q?
2
Let l be (-1)/(((-2)/3)/(12/18)). Do -2/81 and l have the same value?
False
Let o = -0.23 + 8.53. Let k = -8 + o. Let a = 1.7 + k. Is -3 at most as big as a?
True
Let u = -0.7 - -2.7. Let z = -1 + u. Which is greater: z or 2?
2
Suppose -80 = -4*p + l - 4*l, 2*p + 4*l - 30 = 0. Are p and 22 non-equal?
True
Let s = 1.44 + 0.56. Which is bigger: 2/19 or s?
s
Let j = -21 + 23. Which is greater: j or -1?
j
Let f be ((-2)/(-4))/(1/2). Let l be 3/(-9) - f/(-9). Suppose 0 = 18*z - 16*z. Which is smaller: l or z?
l
Suppose -3*a - 3*d - 96 = 0, -2*a + 5*d = 4*d + 55. Which is greater: a or -30?
a
Let v be (8/10)/((-2)/25). Let x be (-10)/(-35) - v/14. Let g = 1 - x. Are -1/7 and g nonequal?
True
Let g = 9 + -44/5. Which is smaller: 20 or g?
g
Let a = -138/29 + -151/145. Let y = a + 309/55. Do -1 and y have different values?
True
Let s be -2 - (5548/22 + -1). Let x = s + 253. Is 0 < x?
False
Let r be (-24)/(-11) - 6/33. Let n be r*(-4)/96*-1. Which is smaller: 1 or n?
n
Let r(t) = 2*t**2 + 6*t + 3. Let i be r(-6). Let h be 26/i - 19/15. Which is smaller: -1 or h?
-1
Suppose 5*c = 4*y + 155, c - 4*y = 3 + 12. Is 35 less than c?
False
Suppose -11 = i + 2*u, -2*u = -3*i - u - 12. Let d = i - 1. Let q be d/(-24) - 5/(-12). Is 0.4 equal to q?
False
Let i = 398/1017 - -6/113. Which is bigger: i or 2/3?
2/3
Let z = 11 - 20.8. Let w = z + 11. Let o = -0.2 + w. Is 0 at most o?
True
Let s be 15 + (-2 - -2) + 0. Let p = -14 + s. Are -3 and p equal?
False
Let y = 13.6 + 4.4. Let c = -8 + y. Which is bigger: 0.1 or c?
c
Suppose 0 = -18*a + 20*a - 46. Is a <= 71/3?
True
Suppose -4*j + 2*o = 218, 0 = j + 6*o - o + 71. Let p be j/8*(-4)/14. Which is smaller: p or 3/5?
3/5
Let d be (-14)/(-35) + 88/5. Let o be -1 + 1/(19/d). Let r = o - 16/57. Which is smaller: r or -0.1?
r
Suppose 6 = 2*a - 0*a. Suppose 7 = -5*g + a*m + 82, -5*g + m + 65 = 0. Suppose 2*x + g = -2*x. Is -2 equal to x?
False
Let q be -7 - ((-18)/(-3))/2. Is -10 < q?
False
Let u(q) = -q + 3. Let h be u(3). Let d = 2/223 + -11823/446. Let k = 27 + d. Is k >= h?
True
Let f be (-3)/18 + (-61)/(-6). Suppose -2*s - r - 8 = 2*r, 5*s + 5*r + f = 0. Let d = 1/26 + 23/78. Which is smaller: d or s?
d
Let y be 15*(-3 + (-17)/(-5)). Let k be (-140)/(-72) - (y + -4). Is k equal to 1?
False
Let o = 2 + -1. Let f = -5418/13 - -417. Which is greater: o or f?
o
Suppose 2*n = -3*r - 32, 2*r + 3*n + 0*n = -18. Let y = 6 + r. Which is smaller: -7 or y?
-7
Suppose 8 = -4*h, 4*v - 4*h = -8 - 16. Let p = 89/11 + v. Is -1 bigger than p?
False
Let r = 10 - 6. Suppose -r*m + a - 17 = 0, 0 = 3*m - 4*a + a + 24. Which is smaller: m or -1?
m
Let v(s) = s**3 + 13*s**2 - 14*s - 5. Let c be v(-14). Is -6 at most c?
True
Let g(l) = l**2 + 10*l + 10. Let d be g(-9). Suppose -4 = -3*f - d. Which is bigger: 4/3 or f?
4/3
Suppose q + 14 = 2*q. Let v = 1 + q. Suppose -4*c + 3*h + v = 0, 4*c + 5*h + 25 = c. Which is greater: c or -2?
c
Suppose -j + 8 = -2*d + j, 44 = -5*d - j. Is d at most as big as -7?
True
Let g be 6/(-3) + (-1 - -1). Let w = -101 - -809/8. Is w at least g?
True
Suppose 3*f + 4*n - 49 = 0, 6*f = 7*f - 5*n - 29. Let h = -17 - -36. Is h less than f?
False
Let n = 1497 + 449. Suppose i + 3*i = d + 1564, 0 = -5*i - d + n. Let c = -5852/15 + i. Is -1 at most c?
True
Let a = -16 - -17. Suppose 4*n + 4 = v, -n + 1 = 2*v - 7. Suppose -5*f + 1 = 5*c - 24, v*f - c = 0. Do a and f have different values?
False
Let x be (-4)/(-18) - (-47)/(-9). Let v = -17 - -13. Is x smaller than v?
True
Let v be -12 + (2 - (0 - -1)). Let x = -15 - v. Is -10/3 at least as big as x?
True
Let r be 5/(-3) + 0 + 0. Suppose -13*m + 15*m + 10 = 2*q, -3*m - 2*q = 0. Which is bigger: m or r?
r
Let g(p) be the second derivative of 0 - 3*p + 1/20*p**5 - 1/6*p**3 - 7/12*p**4 + 9/2*p**2. Let d be g(7). Which is bigger: 1 or d?
d
Let n be (-3567918)/(-1881)*2/22749. Let p = -348/7583 - n. Let m = p - 2/209. Is 1/3 bigger than m?
True
Suppose 2*c - 6 = -0. Suppose 12 = c*h - 12. Suppose h*f - 3*f = -10. Is f less than or equal to -4/5?
True
Suppose -9 = -3*t, 5*r - 7*t = -2*t. Let l = -14 - -17. Does r = l?
True
Let t = 188/273 - 2/91. Let z(y) = y + 2. Let k be z(0). Suppose -k*h = h. Which is smaller: t or h?
h
Let k = -52 + 49. Which is bigger: k or 1?
1
Suppose -3*t = -8*t - 120. Is t at most -26?
False
Let u be 2/(-5) + (-38)/(-171). Which is smaller: 0 or u?
u
Let p be 4 + -6 - 24/(-20). Are p and 0.2 equal?
False
Suppose -5*s = -s - 16. Suppose 8 - s = -4*o. Which is smaller: 3/7 or o?
o
Let v(t) = -9 + 4*t**3 + 9*t + 2 + 10*t**2 - 5*t**3 - 3*t**2. Let w be v(8). Is -1/3 greater than or equal to w?
False
Let o(l) = l**3 - 7*l**2 + 3*l + 14. Let b be o(6). Let d = 3.3 - 3. Let j = 0.1 - d. Which is greater: b or j?
j
Let r(o) = o - 3. Let k be r(6). Let d be -1 + k + (-5)/4. Which is smaller: 0 or d?
0
Suppose 0 = -5*m + 14 + 31. Let d be (m/15)/(12/(-16)). Which is bigger: -2 or d?
d
Let r be 11/(-30) - (4/3 - 2). Which is bigger: r or 1?
1
Let d = -491/70 + 18/35. Which is smaller: -8 or d?
-8
Let b = -53.8 - -54. Let k = -2 - -3. Let i be k*(2/6)/1. Is i at least b?
True
Let h be 7 - (-1 - -2 - -2). Suppose -h*w = -3*w - 4. Suppose 3*l = -2*l + 25. Which is smaller: w or l?
w
Let j be 39/26*(-2 + 0). Which is greater: j or -5?
j
Let f = -224 - -1571/7. Which is smaller: -1 or f?
-1
Let w(d) = -d**2 + 0*d**2 + 1 - d**3 + 4*d**2 + d - 2*d**2. Let l be w(-1). Suppose l*t = -0*t - m + 2, -m = 0. Is t >= -0.1?
True
Let m = -0.093 - -0.193. Is 0.04 > m?
False
Let j(w) = w**3 - 6*w**2 - 8*w + 6. Let n be j(7). Suppose -3 - 9 = -3*s. Suppose 3*l - 2*d = -8, d = -s*l - 0*d + 4. Is n bigger than l?
False
Let d(x) = 3*x**2 - x**2 - 3*x + 0*x**2 + 1 - x**2. Let s be d(3). Let t be s/(6/(-4) + 2). Which is smaller: t or 3?
t
Let x(p) = p**3 - 22*p**2 + 22*p - 19. Let h be x(21). Which is greater: h or 72?
72
Suppose q - 8 = -6. Suppose -q*f + 3 = 5. Which is bigger: f or -4?
f
Let p = 11 + -6. Is p <= -6?
False
Let z be (-2)/4*(0 - -4). Let i be z/(-7) + (-4)/(-35). Which is greater: i or 0?
i
Let g = -16 - -16. Let r = 3 + -2. Which is bigger: r or g?
r
Let n = 1.1 - 0.1. Let s = -10.1 - -12.13. Let u = s - 0.03. Which is greater: n or u?
u
Let x be (8/(-7) - -1)*-3. Is x smaller than -1/9?
False
Let w = -8/17 + 6/17. Suppose 3*z + 4 = -2. Are z and w non-equal?
True
Let g = 10 - 7. Suppose 2 + 4 = g*x. Which is smaller: 8/9 or x?
8/9
Suppose 0 = -7*k + 5*k - 28. Let w = -11 - k. Does 3 = w?
True
Suppose -4*l + 12 + 24 = 0. Let b = -11 + l. Is b less than or equal to -2?
True
Let w = -3/1708505 - 74101278833/15376545. Let v = 4775 + w. Let u = v + 44. Which is smaller: 0.1 or u?
u
Let i = -1/14 - -5/14. Let y = -129 - -127. Which is bigger: y or i?
i
Let u be (4/(-344))/(2/6). Which is bigger: 0 or u?
0
Let o(f) = f**2 - f - 2. Let m be o(2). Suppose -2*a + 10 = m, 2*a + 5 = 5*q + 6*a. Is q <= -3?
True
Suppose 3*n - 631 = 5*t, 3*n - 95 + 714 = -5*t. Let v = t + 2623/21. Which is bigger: 0 or v?
0
L