alse
Let a = -59 - 46. Let f = a - -28. Let z be (-1)/(-2) + f/132. Is z greater than 0?
False
Suppose 227*x - 108*x = 117*x. Is x smaller than -3?
False
Let k = 6 - -36. Suppose 4*q + 2*q + k = 0. Is q != 3?
True
Let u(z) = 47*z - 38. Let g be u(8). Which is smaller: 339 or g?
g
Suppose -5*s + 6 = 2*v - 3, 7 = -3*s + 5*v. Suppose 0 = -3*a, 4*d + 2*a = 5*d. Is d >= s?
False
Let z be 9/((-9)/(-73))*(1 + -2). Let h = -89 - z. Let m(f) = f**3 + 6*f**2 + 2*f - 3. Let w be m(-6). Is w <= h?
False
Let y(a) = -a. Let p be -2 + 5/((-5)/(-16)). Suppose 4*w = 5*n + 7, n + n + 4*w - p = 0. Let i be y(n). Which is smaller: 0 or i?
i
Let j = -1022 - -487. Is j <= -534?
True
Let f be 1*-4 + (-399)/84. Let u = 9 + -17. Which is bigger: u or f?
u
Suppose 12*c - 11*c = 0. Let b be c*(-10)/5*2/(-4). Is 2/65 bigger than b?
True
Let d(g) = 5*g - 2. Let j be d(2). Let t = -8 - j. Which is smaller: t or -18?
-18
Let r be 2/((-4 - 1045/(-145)) + -3). Is 11 at most r?
False
Let m = -9 - -8. Let c be (10/(-8))/((-148)/(-464)) - -4. Which is bigger: m or c?
c
Let p be ((-123)/15)/((-2)/6). Which is greater: 24 or p?
p
Let u = -39 - -41. Suppose -2*j = 4 - u. Let g = -1/26 + -47/130. Is g at most j?
False
Let j be -34*(-3 + (0 - 57/(-6))). Do j and -219 have the same value?
False
Suppose 2*i + 2*i - 2*d - 8 = 0, 0 = -i - 2*d - 8. Let f(r) = -r**2 + 8*r - 3. Let s be f(5). Let o be (s/(-8))/((-3)/2). Is i < o?
True
Let d = 7 - 6.1. Let m = 4.3 - d. Let u = 3.6 + m. Which is smaller: 3/4 or u?
3/4
Suppose 0 = 3*q + 17 + 1. Let s(o) = -5*o + 9. Let g be s(3). Is q less than or equal to g?
True
Let a be (-20)/6*(-2 + 15/3). Suppose -3*x - 39 = -0*x. Is x greater than a?
False
Suppose -4*d + 0*f = f + 37, -6 = d - 3*f. Let s = d - -44/5. Which is smaller: s or 3?
s
Let r = -360/47 + -56935/329. Let b = 181 + r. Is 57 equal to b?
False
Let g be (-3 + 4/(-8))/(5/(-20)). Suppose w + g = 9. Are 6 and w equal?
False
Let t = 80 - 86.7. Let a = t + 2.7. Let y = -0.1 + -0.1. Which is greater: y or a?
y
Let z = -28 + -19. Let q = 35 + z. Is q bigger than 0.2?
False
Let k be (4/30)/(56/(-42) - -1). Let x = 2 - 3. Let c(v) = v**3 + v**2 + 2*v + 1. Let o be c(x). Is k > o?
True
Let c = 578 - 578. Do c and 2/381 have the same value?
False
Suppose 2*y - 5 = 13. Let a = 5 - y. Let o be 1 + (-10)/(3/6*4). Is a at least o?
True
Let i = 72 - 57. Suppose -m = -5*j - 23, -i = -2*m + 4*j + 1. Which is greater: -7/5 or m?
-7/5
Let j(f) = -f + 11. Let p be j(14). Let l be (-26)/(-18) - (4 + p). Is l at least 1?
False
Let i be (54/(-45))/(2/30). Let u be (4 + -2 + 0)*9/i. Let j be 3/14*(-32)/(-72). Which is greater: j or u?
j
Let k(n) = 2*n**2 - 15*n + 14. Let l be k(1). Is 2/217 > l?
False
Let y = 4 + 1. Suppose -y = c + 11. Let b = c + 15. Which is smaller: b or -2/69?
b
Let k = -55 - -64. Which is bigger: k or -0.2?
k
Suppose -4508 = -161*f + 175*f. Which is smaller: 0 or f?
f
Let t = -49.6 - -54. Let s = 4 - t. Is s smaller than -0.4?
False
Let t be (-3 + 3)/(-2)*-1. Which is smaller: 4/53 or t?
t
Suppose 5*m = 3*w + 57 - 14, 5*w = 4*m - 63. Let s be 614/w + 0 - (-40)/(-220). Which is smaller: -57 or s?
-57
Let b = 27.87 - -1.13. Is b at most as big as 2?
False
Let a = -22 - -19. Let g = a - -32. Is -1 equal to g?
False
Suppose -2*v = 13*v - 15. Is v < 4/113?
False
Let c be (-15)/20 + 51/(-12). Let o be 4/(-14) - 47/7. Is o != c?
True
Let u = -37 + 30. Let w = u - -7. Is w at most as big as -0.07?
False
Let u = 24 + 2. Suppose -5*x - 5*z = -70, 2*x + 3*z - u = 2*z. Which is greater: 11 or x?
x
Let v = 21 + -105. Let w = -1598/19 - v. Which is greater: -1/3 or w?
w
Let u(r) = r**3 - 2*r**2 + 4. Let d be u(-2). Let o be (-2)/d - 60/(-504). Do o and -8/7 have different values?
True
Let k(f) = 4*f + 1. Let z be k(2). Let h(n) = -n**3 + 8*n**2 + 8*n + 10. Let x be h(z). Let p be -6*1/(x + -4). Is 5/3 at least p?
False
Let h be ((-36)/(-10) - -2)/((-2)/(-5)). Let o be (-3)/(-21) + ((-24)/h - -2). Is 1 at most o?
False
Let q(m) = -m - 3. Let k be q(3). Let b(d) = 4*d + 170. Let i be b(-44). Let a = k - i. Is 2/9 greater than a?
True
Suppose 0 = n - 2 - 1. Let s be n/(-12) + (-1149)/(-36). Let x = s + -33. Which is smaller: 2/5 or x?
x
Let n = 5.53 - 4.53. Which is greater: 6.3 or n?
6.3
Let k(g) = g**3 - 13*g**2 - 46*g - 31. Let l be k(16). Which is bigger: 2/17 or l?
l
Let z = -6612.9 - -6613. Let d = 0.02 + -0.32. Let k = -0.4 - d. Is z < k?
False
Let a be (-1)/(1/((-3117)/30)). Let b = -213 - -109. Let c = b + a. Which is smaller: c or 0?
c
Suppose r - 17 = -4*h, 4*r + 2*h + h - 29 = 0. Suppose -6*p + 3*p = -2*m + 18, 0 = -5*m + 2*p + 56. Suppose -s - r = -m. Is 7 equal to s?
True
Let g = -138521828/95 - -1458106. Let x = g - -92/5. Which is bigger: 0 or x?
0
Let g = -1963/9 + 218. Let w be 12/10*(-5)/(-2). Let h be 3/((7 + 2)/w). Which is smaller: h or g?
g
Let z = -5.1 - 18.9. Let c = z + 24.2. Let s = -0.1 + c. Is -6 < s?
True
Let f = -2.9 - -3. Let o = 137 + -136.3. Let c = f - o. Which is bigger: c or -0.1?
-0.1
Let l(s) = s**2 + 8*s - 2. Suppose 16 = -7*z + 5*z. Let b be l(z). Let x be (b/(-3))/((-140)/(-42)). Which is bigger: x or 0?
x
Suppose 0 = -2*h + 2, 25*h + 131 = j + 22*h. Does 131 = j?
False
Suppose -3*p + 27 = -4*j + 4, 5*p - 31 = 3*j. Let o be j/(-7) - (-66)/14. Suppose -1 + 16 = 3*v. Is o at most as big as v?
True
Let r be 534/33 - (-15)/(-6)*4/55. Let w(o) = -18*o**3 + o. Let i be w(-1). Is i <= r?
False
Suppose 5*i - p - 625 = -0*p, -4*p = -2*i + 268. Suppose 25*x = 29*x + i. Which is smaller: x or -32?
-32
Suppose 3*o - 4 = -10. Let t(y) = -y + 26. Let h be t(14). Let a be ((-6)/h)/(o/4). Is 2/3 <= a?
True
Let f(x) = -x**2 - 11 - 29*x + 12 + 39*x - 23. Let g be f(7). Let t be 1/2 + 5/(-2). Which is greater: t or g?
g
Suppose -2*m + 12 = -k + 3, -3*m = -3*k - 18. Let f = 70 - 66. Which is bigger: f or m?
f
Let t = 1.14 - -9.86. Suppose -a = 5*b + 2*a - 3, -2*a + 2 = -2*b. Which is bigger: t or b?
t
Let a = -1632 - -1533.1. Let j = -99 - a. Which is greater: j or 0.47?
0.47
Suppose 5*g + 53 = 4*g. Suppose -150 = 2*l - 46. Which is greater: l or g?
l
Let j = 291 - 277. Is j equal to 13?
False
Suppose 5*u - 4*u = 3*n - 13, -4*n - 4 = 4*u. Suppose -n*x - 2*x = 5*b - 35, -3*b - 2*x = -16. Let a be b/2 - (-2 - -3). Which is greater: a or 2/31?
2/31
Let w(l) = -l**3 + 5*l**2 + 4*l - 11. Let y be w(6). Let p(h) = -h**2 + 12. Let o be p(-6). Do o and y have the same value?
False
Suppose 0 = 2*l - 0*l + k + 20, 5*k = -3*l - 16. Let v be 8/l*(-18)/(-34). Let w = -1 + 1. Is w greater than or equal to v?
True
Let j = 75 + -73. Let z be j - 226/(-440)*-4. Do z and 0.1 have different values?
True
Suppose -64 = 2*j - 0*j. Let t = -63/2 - j. Are t and -1.3 equal?
False
Suppose 4*m = 420 - 384. Let o be (1/(-3))/((-1)/25). Which is smaller: o or m?
o
Suppose 0 = 4*k - 10 + 14. Which is smaller: -3/56 or k?
k
Let x(l) = -l**2 + 19*l - 44. Let z be x(16). Suppose z*c + 3*s + 5 - 20 = 0, -2*s = c - 10. Let w be ((0 - 3)/1)/13. Is w at most as big as c?
True
Let q(h) = -2*h**3 + 19*h**2 - 9*h + 13. Let g be q(9). Suppose 0 = -4*t + g - 9. Is 53 <= t?
False
Let q = 3 + -3. Suppose q = -2*b + 3*b. Let w(x) = x + 7. Let t be w(-5). Which is smaller: b or t?
b
Let c = 5 - 2. Let h = -3.01 + c. Let x = h + 1.01. Are 0.2 and x nonequal?
True
Let w = 125 - 212. Let y = 69 + w. Which is greater: y or 0.1?
0.1
Let w = 611 - 611. Which is greater: 2/341 or w?
2/341
Let w = 1416 - 1422. Let c(f) = f**2 + 5*f - 5. Let s be c(-5). Which is smaller: s or w?
w
Let l(m) = -m**2 - 3*m - 2. Let a be l(-2). Suppose a = 12*s - 11*s - 9. Is s <= 19/2?
True
Let y be (-3)/(9/(-15)) + -6. Are 10/33 and y unequal?
True
Let x = 0.9 + -2.9. Let f = x + 2.01. Let m = f + -0.11. Are -6 and m unequal?
True
Let h be (1 - 9*-1)*(-1 + 3). Let k(g) = -g**3 + 20*g**2 - g + 20. Let l be k(h). Is l at least as big as 0?
True
Let q = 1427131/17 + -83923. Which is smaller: 26 or q?
q
Suppose 2*c = 779 - 281. Let m = c + -1241/5. Let i(d) = -d**3 + 3*d**2 - 2*d + 7. Let f be i(3). Which is smaller: m or f?
m
Let a = -38.1 - -38. Let y = -2.96 - 0.04. Is a at least y?
True
Let w = -19 - -27. Let l be (w/24)/((-1)/(-15)). Let m = 13 - 8. Is m at most as big as l?
True
Let o(g) = -5*g**2 + 41*g - 20. Let a(u) = u**2 + 17*u + 8. Let t be 