 + -111.048. Let a = 0.048 + l. Do a and 65 have different values?
True
Let x be 7 + -1 + -1 + -2. Let t be (x/1 - 3)/(-2). Let w = 2/27 - 145/1593. Which is smaller: t or w?
w
Let x = -32 - -40. Let p be (-37)/(-116) - 2/x. Are 0 and p equal?
False
Suppose -2*j + 30 = 3*j + 5*f, -f = 2*j - 16. Suppose -5*i - 40 = 4*r, 3*r - 5*i = j - 5. Which is bigger: -7 or r?
r
Let u = -0.0007 - 0.0993. Which is greater: u or -3.5?
u
Let m = 24 + -9. Let p = 14 + -37. Let a = p + m. Which is smaller: a or -7?
a
Suppose -488*h + 476*h + 1440 = 0. Is h smaller than 120?
False
Suppose m - 75 = 4*v - 4*m, 0 = 2*v + m + 41. Is 0 smaller than v?
False
Suppose 188 + 120 = -4*q. Let b = 125 + q. Let s = b - 25. Is s equal to 22?
False
Let n = 459 - 161. Let a be 3/2 - n/204. Let b(t) = -t**2 + 12*t - 10. Let k be b(11). Does a = k?
False
Let o be (6/5)/((-2)/10). Let u be (15/9)/(8/(-24)). Is u at least as big as o?
True
Let q be (-1 - -2)*(-8 - -5). Let d be 1*(-2 - q) - 1. Suppose d*l = 3*l - 48. Is l greater than or equal to 17?
False
Suppose -3*x = -x - 52. Suppose 5*u - 2*c - 17 = 104, 0 = -c + 2. Which is greater: x or u?
x
Suppose 5*g - 64 = 1. Suppose -g = -q - 2*z, -2*q = -q + 5*z - 28. Suppose -4*b - 8 = l + q, -3*b + 5*l - 14 = 0. Which is bigger: -1 or b?
-1
Let f = -1/647 - 1880/39467. Is 0.03 bigger than f?
True
Let m be (-112)/91*7/4. Which is bigger: -3 or m?
m
Suppose 0*h - 2*h - 2*d = -22, -4*h - 1 = -5*d. Suppose 2*r - 3*f - h - 6 = 0, -4*r - 8 = 2*f. Is r smaller than -1?
False
Let p be -3*((-207)/(-135) - (-2)/(-10)). Suppose 1 = 5*f - 4. Let b be (-15 - f)/p + -5. Is b > -2/9?
False
Let h be 4/46*560/(-448). Is h > 0?
False
Let t be (-61445)/(-20) - (-1)/4. Let q = 3016 - t. Which is smaller: q or -57?
-57
Let u = 1426 + -1419.4. Is -3 bigger than u?
False
Let s(g) = g**3 - 7*g**2 + 2*g + 2. Let x be s(4). Let l = -40 - x. Which is greater: 2 or l?
2
Let i = 3.53 - 5.31. Let y = -1.82 - -1.6. Let s = i + y. Which is smaller: s or -2/5?
s
Let u = -22.9 + 4. Let o = -21.39 + 2.39. Let f = o - u. Which is bigger: f or 1?
1
Let h = -0.75 + 1.18. Let r = 0.17 + h. Which is smaller: 0.1 or r?
0.1
Let z be 478/(-6) + 0 + (-19)/57. Is -79 >= z?
True
Let z = 0.06 - 0.16. Let m = z - -1.1. Let g be ((-1)/(-3))/(4/(-60)). Which is smaller: m or g?
g
Suppose 5*y + 2*w - 11 + 3 = 0, -2*w - 10 = -4*y. Suppose -y*m + 2 = 0, 4*m = -5*n + m + 8. Which is smaller: 15/14 or n?
n
Suppose -3*g + 2*y = 4, 5*y + 7 = -37*g + 36*g. Which is smaller: g or -13/20?
g
Suppose -2*b + 42 = -0*b. Let i be (-2)/(-12) + b/252. Which is greater: 1/10 or i?
i
Let c(w) = -59*w**2 - 2*w - 2. Let r be c(-2). Let p be 3802/(-16) + (6 - 2). Let y = r - p. Is y greater than or equal to -1?
True
Suppose 4 = 2*y - 0*y. Let j be y + -3 - 1*3. Let i be (-4692)/(-1449)*(-3)/2 + 2. Which is bigger: j or i?
i
Let m be 532/22 - 4/22. Which is smaller: m or 23?
23
Suppose 1 = y - 2*y. Let t(p) = -30*p - 40. Let u be t(-1). Are u and y non-equal?
True
Suppose -10*t + 12*t - 46 = 0. Let j = -31 + t. Which is smaller: -9 or j?
-9
Let u(c) = -c**3 - 4*c**2 - 3*c + 2. Let z be u(-3). Suppose -o = -l - 7, 5*o + z*l - 28 = -0*o. Let d be (4/7)/(o/42). Is -0.3 > d?
False
Suppose 3*s + 5*l + 8 = 0, -s - 2*s + 3*l = 0. Suppose -g = -14 + 3. Let w = 8 - g. Which is bigger: w or s?
s
Let y = 1 + 0. Let w = -1.46 - -2.23. Let s = w - 0.6. Which is smaller: s or y?
s
Let r = 178 + -891/5. Is -1/41 not equal to r?
True
Let y = 249 + -254. Which is smaller: y or -3/2?
y
Let v(q) = 4*q + 10. Let i be v(-4). Let s be (-1)/i + 9/(-18). Which is bigger: -1.9 or s?
s
Let p = 2.6 - 0.9. Which is greater: p or -5?
p
Let v = 55.09 - 0.09. Let h = v - 69. Which is bigger: -2 or h?
-2
Suppose -143 = 9*u + 55. Let l = u + 16. Which is smaller: l or -9?
-9
Suppose -3*h = -6, 5*r + 39*h = 36*h + 6. Which is bigger: r or -736?
r
Let v be ((-2)/8)/((-10)/8). Let d = 89 + -54. Let j = d + -34.9. Do j and v have the same value?
False
Let l = 20 - 20.22. Let h = l + 0.32. Is h < -9/2?
False
Let s = 694 - 153. Do 540 and s have different values?
True
Let v = -10 - 1. Let l = -12 - v. Let i = 0.035 - -0.035. Which is greater: i or l?
i
Let a = -4132 - -37190/9. Let w = -0.2 - 0.3. Let h = w + -2.5. Which is greater: h or a?
a
Let a = 2577 + -43819/17. Suppose 0 = w + s + 6, 0 = w + 4*s + 7 + 14. Is a greater than w?
True
Let a be -4 + (11 - (-4132)/(-584)). Is a >= -1?
True
Let s(v) be the first derivative of 2*v**2 - v + 11. Let n be s(-2). Let p be 6/n - 16/(-6). Is p < 3?
True
Let l(y) = -2*y**2 - 127*y - 89. Let s be l(-62). Which is bigger: 99 or s?
99
Let u be (7 + -8)/(-2 - -1)*-13. Which is bigger: u or -12?
-12
Let d = 0.875 + 14.205. Let o = d - 15. Let q = o + -0.11. Which is greater: 1 or q?
1
Suppose 10*u - 126 = 304. Let a = -61 + u. Suppose 69 = -4*t - 7. Which is smaller: t or a?
t
Let l be -7*40/(-28)*(-3)/(-5). Suppose -2*f = -5*i - 7 - 0, 0 = -3*i + 3*f - l. Is -1/5 <= i?
False
Let i be 1/4 + 54/(-152). Let v = -5 - -5. Suppose y - z - 2 = 0, 5*y + z = -2 - v. Which is smaller: y or i?
i
Let u = 307 + -340. Let t be 68*((-2)/(-4) + -1). Are u and t nonequal?
True
Let d be (-85)/20 - -4 - (-901)/3636. Which is greater: d or 0?
0
Let p(x) = x**3 + 6*x**2 - 4*x + 5. Let q be p(-7). Let v = 16 + q. Let u be -1 - ((-1)/7 - v). Which is bigger: -1 or u?
u
Let o = -985.25 + 984. Which is smaller: 1/2 or o?
o
Let o = -1 + -2. Let r = 287 + -292. Is o at most r?
False
Let w(l) = -3*l**3 + 2*l**2 - 2*l + 1. Suppose 0 = -i - 4*i + 5. Let z be w(i). Let h be z + (-18)/(-8) + 0. Do h and 3/7 have the same value?
False
Let n = -14 + 12. Suppose 20 = -2*a + a. Let l be ((-38)/a + n)*-2. Which is bigger: l or -4?
l
Let n be (-4 - -1)/(-6 - (-3 - 6)). Is 27/143 smaller than n?
False
Let q = -30 + 55. Suppose -5*p = -q, -d + 5*p = d - 1. Let k = d + -12. Is -2/5 not equal to k?
True
Let x be -2 - 14/(3 - 5). Suppose -g + 3*g = -3*c + 27, x*g + c = 35. Suppose 0 = -2*t - 0*h + 5*h - 21, t - h = -g. Are t and -0.2 unequal?
True
Let u be ((-2706)/676 + 4)/(72/(-16)). Which is smaller: u or 0.1?
u
Let b = -5.29 - -6.89. Which is smaller: -1/3 or b?
-1/3
Suppose 4*q + 5*r + 52 = 72, -2*q = 5*r. Let v = -48 - -103. Suppose -3*n = 5*m - v, 0*n + n = 4*m - 10. Is q > n?
False
Let s(u) = 7*u + 15. Let k be s(-6). Let y be (9/24)/(k/(-18)). Which is bigger: y or -110?
y
Let b = -10.67 + -23.81. Let w = -18.5 - b. Let q = w + -16. Do q and 0 have different values?
True
Suppose 2*l - 28 = 4*g, -7*l + 2*l = 0. Let r be (-34)/9 + (-3 - g). Which is bigger: r or 1?
1
Suppose 3*q + 4 = -l + 7, 4*l = -q + 67. Let v = -6 + 6. Which is bigger: l or v?
l
Let x = -43 - -43.023. Let q = x - -0.077. Is q greater than or equal to -0.01?
True
Let h(a) = a**3 + 18*a**2 + 9*a - 32. Let f be h(-17). Suppose -f = -x - x. Is 51 <= x?
True
Let v be (-15)/(-537)*(168/20)/(-7). Is v at least 0?
False
Let b be (-207)/6*(-48)/(-36). Are -45 and b equal?
False
Suppose -3*w = -4*m + 38, -m - 2*m - 5*w + 14 = 0. Let u be m*(-5)/(-10) + -3. Is u not equal to 1/14?
True
Suppose -2*h + 2*k - 4 = -k, h - 3 = -k. Let f = 4 + 0. Which is smaller: f or h?
h
Let v = 7 + -6. Which is bigger: v or -9/10?
v
Let b(g) = -g**2 + 12*g - 8. Let o be b(8). Let r be (4/3)/(16/o). Let j be (-21)/(-11) + (0 - r). Which is smaller: j or -2/5?
-2/5
Let v(o) = -o - 4 + 13 + 19 + 3*o. Let g be v(-18). Is g bigger than -9?
True
Suppose -64*o = -42*o - 660. Which is bigger: 45 or o?
45
Let f be (-1)/(-1) - 22/8. Let p = -2808 - -33721/12. Let r = f + p. Is 0 <= r?
True
Let s be 2/8 - (5 + -4). Let v = 0 + -8. Let b(u) = -u**2 - 7*u + 6. Let n be b(v). Is n < s?
True
Let g = 2.9 + -3. Let d = 19.8 - 20. Let x = d + 0.16. Are x and g equal?
False
Let q = 20 - -76. Let h = -65 + q. Suppose 589 = 40*o - 21*o. Are o and h nonequal?
False
Let j = -0.0325 + -17.1675. Which is smaller: j or 2/3?
j
Let n(o) = -3*o - 52. Let u be n(16). Let f = u - -205/2. Which is smaller: f or 2?
2
Let v be (-2 + 10)/(10/88*-4). Which is smaller: v or 1/4?
v
Let q be 3114/1032 + 1 + -4. Which is bigger: q or 0?
q
Let j = -3293/28980 - -29/252. Is j at most -1?
False
Let y = 1696 + -1653. Is 44 >= y?
True
Suppose 3*l - 39 = 6. Let q = -36 + l. Is q at least -20?
False
Let p = 533 + -534. Which is greater: -2.4