se 4 = -s + y. Is s < h?
False
Suppose -s + 26 = 68. Let r be 23/138*(s/2 + -1). Is 1/5 < r?
False
Let w be (-5 + 6)/(-1 - 0). Let v be w*(10/6)/5. Is -1 != v?
True
Let x be 3 + (-66)/77*(-21)/(-6). Which is greater: x or -193?
x
Let u(x) = 8*x**3 - x**2 - x + 2. Let a be u(1). Is a > 3?
True
Let v be (-480)/7 + (-6)/14. Is 0.1 less than v?
False
Let v be (-9)/(27/(-24)) - (-2226)/(-280). Let r(u) = -2*u - 3. Let h be r(-2). Is v less than h?
True
Let n = 14651/5 + -2883. Which is greater: n or 47?
n
Let d(x) = -x**3 - 5*x**2 + 4*x + 5. Let t be d(-5). Let l be (6/9)/((-10)/t). Suppose 2*h - 5 = l. Is 0 >= h?
False
Let k = -64.5 + 92.8. Let v = k + 7.7. Let h = v + -35.97. Are h and 2/7 non-equal?
True
Let t(o) = -3*o + 1. Let m be t(1). Let v = -3 - -8. Suppose -3*d + 9 = -0*d - 3*b, 0 = -v*d + 2*b + 3. Which is greater: d or m?
d
Let u be 1 - (1 - 1) - 1008/(-42). Is u > -11?
True
Let y be 6/81*27/(-36). Are -1 and y equal?
False
Suppose -5*g + 4 = 2*h + 11, -h = 4*g + 8. Suppose -h*q - 12 = 4*w, 2*w = 4*q - 9*q - 12. Which is bigger: -5/4 or w?
w
Let o = -509 - -507. Is 0.153 at most o?
False
Let v(z) = -z**3 - 12*z**2 - 8*z + 23. Let w be v(-11). Let a be (-10)/(-15) + w/4. Is -2 at least as big as a?
False
Let s(t) = -2*t**2 + 33*t - 62. Let q be s(15). Is -3 >= q?
True
Suppose 98 = -30*j + 38. Are 273 and j unequal?
True
Let m be (-5)/(-1*4/(-12)). Let n be 94/(-15) - (-6)/m. Let t = n - -7. Is t smaller than -0.2?
False
Let c(p) = p + 14. Let j be c(-8). Suppose j*i = -2*i + 16. Which is smaller: 16 or i?
i
Let a(r) = -r**3 + 6*r**2 - 2*r + 4. Let t be a(5). Let w = t - 9. Is w <= 10?
True
Suppose -5*r - 29 = 81. Suppose -179*f = -177*f + 102. Let m = f - -30. Which is greater: r or m?
m
Suppose 8 = 4*z, -30 = 4*t + z + 4*z. Suppose 0 = -8*w + 349 - 461. Is t at most w?
False
Let h = 739/5 + -9599/65. Which is greater: 1 or h?
1
Let y(m) = -m**3 - 5*m**2 - 6*m - 1. Let p be y(-4). Let o be p/(-28) + 0/3. Is o at least as big as 37?
False
Suppose -5*t - 1 = -11, -146 = 3*y + 2*t. Is -50 >= y?
True
Suppose 4*d = 2*r + 14, 22*d + 29 = 26*d - 5*r. Which is bigger: d or -6/509?
d
Suppose 2*s - 11 = -2*o - 3*o, 2*o = 4*s - 10. Suppose -n = -o - 1, -3*n = -4*u - 6. Suppose u = -4*l - 0*l - 4. Is -3/5 not equal to l?
True
Let z be ((-282)/(-9))/(30/(-45)). Is -44 smaller than z?
False
Let v be (0 + 0)/(0 - 4). Suppose -4*j - 8 = -v*j. Are -1.6 and j unequal?
True
Let h = 255 - 249. Which is bigger: h or 8/7?
h
Suppose -2*w + 954 = -8*w. Let y = w - -3. Let a be 3*4/y*3. Which is smaller: a or 1?
a
Suppose -3*g = -4*g + 11. Let j = 15 - g. Let w be (-68)/153*5/j. Which is bigger: w or 0?
0
Let i = -756545/259 + 2921. Which is smaller: i or 1?
i
Let o = 1231 - 855. Which is smaller: o or 377?
o
Let b = -172 + 862/5. Does b = -45?
False
Let g = 1649 + -858. Which is bigger: g or 789?
g
Let i = -0.077 - 37.923. Let h = -38 - i. Let z = 3 - -1. Which is bigger: z or h?
z
Let g = 60289/63 + -957. Suppose 4*j = 3 + 1. Which is smaller: g or j?
g
Suppose -c = -0*c + 2. Let f be 1 + c/28*6. Which is smaller: 2 or f?
f
Suppose 258 = 3*i - 3*h, 4*i - 2*i = -h + 175. Is 85 >= i?
False
Let x be (-14)/(-18) + 4/18. Let m be (0 + 1)*x*-1. Suppose -2*w = -4*w - 3*c - 15, -4*w + 2*c + 10 = 0. Is m bigger than w?
False
Let z(l) = -l**3 + 3. Let h be z(0). Let a be (2/12)/(h/12). Let w = 53 + -53. Is a greater than or equal to w?
True
Let g be -1 + 1 - 0 - 39/(-247). Which is smaller: g or 1?
g
Suppose 0 = -3*v - a - 3*a + 11, -2*a = -4. Let o be ((-1)/(3/15))/(-1). Let y be (o/(-45))/(6/4). Do y and v have the same value?
False
Let g(s) = 13*s. Let v(y) = -y + 1. Let n(o) = -g(o) - 4*v(o). Let b be n(-2). Which is bigger: 0 or b?
b
Let s = -1.564 - 76.536. Let f = s - -78. Which is smaller: -0.83 or f?
-0.83
Suppose 3*c + 60 = 4*h, -5*h - 2*c = 17 - 92. Suppose 37 = 4*q - 23. Let z be 342/q + (-12)/h. Is 22 != z?
False
Let v = 63 + 36. Let q = v - 889/9. Suppose r + 1 = 3. Which is greater: r or q?
r
Suppose -4*p = -2*k - 488, -k + 5*k - 512 = -4*p. Let l be p/9 - (-4)/18. Let n = 2 - -13. Do n and l have different values?
True
Let m = 44 - 38. Suppose 0 = -4*i - 4, -2*f - 13 = -m*f + 5*i. Is 0 less than f?
True
Let g = -26.94 - -26. Let t = 0.04 + g. Let k = 0.9 + t. Which is bigger: k or -7?
k
Let i = -12 - -15. Suppose g - i*g = 0. Let x = -2/87 + -334/609. Which is smaller: g or x?
x
Let w = 1.38 - 1.31. Is w <= -7?
False
Let o = 114.0456 - 0.0456. Is o less than 0?
False
Suppose 0 = -3*z - 268 + 265. Which is bigger: z or 8/47?
8/47
Let l(j) = -j**3 + 9*j**2 - 17*j + 12. Let n be l(7). Suppose -3*k - 8 - 28 = 0. Let x = n - k. Which is greater: x or 4?
4
Let b = -87 + 125. Let x = b + -39. Which is bigger: x or -2/53?
-2/53
Let g be (6 + (1 - 6))*4. Let a = 10 - 15. Let u = a - -10. Is u at least as big as g?
True
Let s = -103 + 105. Which is smaller: 19/9 or s?
s
Let g be 1/(3/(0 - 27) + 0). Let z be 9*(15/g + 2). Let f be 88/(-16)*2/(-3). Is z at most as big as f?
True
Suppose -3*s + 2*s = -3*g + 7, 0 = -3*g - 3*s + 27. Let z(a) = a**2 - 2*a - 9. Let x be z(g). Is -2/5 > x?
True
Suppose 0 = 4*j - 3*l - 5748, 5*j + 290*l = 289*l + 7204. Is j at least as big as 1441?
False
Let u = 25 + -20.7. Let l = u + -3.3. Which is greater: l or -2?
l
Let f = 10325140 + -144119505/14. Let g = f - 30866. Let d = -47/2 + g. Which is smaller: -1 or d?
-1
Suppose -5 + 3 = -b, 2*q - 10 = -b. Suppose q*y = 28 - 8. Let a be (1 + y)*12/(-8). Is -8 less than or equal to a?
False
Let i be 3/7 + (-319)/(-203). Is -101 less than i?
True
Let s = 1448/1781 + -6/137. Which is greater: 2 or s?
2
Suppose -4*s - 5*q = 145 - 129, 0 = -5*s - q + 1. Is s less than 4/1175?
False
Let q = -2.18 - -2.4. Let f = -12 + 11.88. Let i = f + q. Is i != 12?
True
Let h be 6030/21*(-6)/65. Let i = 378/13 + h. Suppose f - 7*l + 3*l = 4, 4*l - 16 = -4*f. Which is greater: i or f?
f
Let m be 768/24*(2 + -1 - -1). Is m >= -5?
True
Let y = -0.43 + 0.13. Let h = 3.5 - 0.5. Which is greater: h or y?
h
Let v = 0.199 - 0.17. Let y = 0.071 + v. Let z = -2 + 1. Is y != z?
True
Let v = 0.115 - 1.115. Is v <= -8?
False
Let u = -16 - -92. Let j = -106 + u. Let x = j + 27. Are x and -0.4 nonequal?
True
Suppose 6*g - 20 = g. Suppose v = 5*r + 2*v + 17, 4*r + 28 = g*v. Suppose 4*x + 28 - 8 = 0. Is r less than x?
False
Let u = 20159658/37 - 6562875505/12062. Let o = 1521/2 - u. Which is bigger: 0 or o?
o
Suppose 3 - 3 = -7*p. Let y be (2 + p)/2*1. Do y and 2/29 have the same value?
False
Let z be (1 + -1)/((-6)/(-2)). Suppose -l - 43 = 4*l + 3*s, z = -4*s - 4. Let u = 21 + l. Are 13 and u non-equal?
False
Let f = -1.09 + -53.91. Let i = f - -45. Is i smaller than -2?
True
Suppose 0 = 2*q - 5*y - 19, -16 + 1 = 5*y. Suppose -2*n - 13 = 3*n - q*x, -4*n + 5*x - 7 = 0. Is n at least as big as -7?
True
Let o = 49 - 48.967. Let l = 0.027 + o. Which is smaller: l or 0.3?
l
Let x = -4.66 - -23.36. Let y = -19 + x. Is 0.1 != y?
True
Let l(q) = -4*q**3 - q**3 + 13*q**2 + 8 + 6*q**3 + q + 0*q**3. Let a be l(-13). Which is greater: a or -4?
-4
Let v = 0.15 + -12.1. Let y = v + 12. Which is smaller: 0.4 or y?
y
Let z be 2/((-3)/6 - 3/(-12)). Which is greater: -87/10 or z?
z
Let y(d) = -d**3 + d**2 + d + 1. Let n(q) = 3*q**3 + 3*q**2 + 14*q + 3. Let m(a) = n(a) + 4*y(a). Let i be m(9). Which is bigger: 3 or i?
i
Suppose -3*l - 40 = 3*z - 34, 2*z = 2*l. Which is bigger: z or -1035?
z
Suppose 180*s = 181*s + 21. Is s greater than 3?
False
Let l = 0.0494 + -3.0494. Is -2/47 <= l?
False
Let n be (-10 + 224/21)*6/(-4). Which is greater: -1/99 or n?
-1/99
Let a = -599 + 448. Which is smaller: a or -150?
a
Let x = -32 + 32. Let n = -37.9 - -36. Which is smaller: n or x?
n
Let g = 5 + -4. Let k(u) = 2*u**2 + 0*u**2 + 3 - 3 - u**3. Let p be k(g). Which is bigger: -4 or p?
p
Let g = 13.937 + 0.063. Which is smaller: g or -4?
-4
Let g = -18.89 + -0.11. Let u = -18.85 - g. Let n = -0.15 + u. Which is greater: -1 or n?
n
Suppose 3*m - 3*n + 26 = 83, 78 = 4*m - 5*n. Is m at most as big as 27?
True
Let y(a) = -a - 12. Let d be y(-6). Let m = d + 8. Suppose -3*i - 1 = -4. Is i less than m?
True
Let f = -20 - -11. Let q = 11 + f. Let k be (3/(-9))/(q/(-3)). Are k and -0.5 unequal?
True
Let z = 16 + -35. Let q = -13 - z. Suppose -5*h = -31 + q. Is 