0 - -2. Suppose g + 3*j = 2*g - 13, -2*g + 3*j = -14. Is h < g?
True
Let r be ((-1)/2)/(15/(-730)). Let m = -25 + r. Which is bigger: 11 or m?
11
Let r be 75/27 + 4/18. Which is bigger: r or 2?
r
Suppose -u = -4*n - 3 - 12, 4*n = -12. Suppose -5*c + 3 = -2*j + 14, u*c - 4*j = -1. Do c and -3 have the same value?
True
Suppose -2*x = 3*x + 3*f + 37, 4*x = 5*f. Is -4 not equal to x?
True
Suppose 4*b - 23 = 5*n - 2, b + 1 = -5*n. Let a = -1/45 + -8/45. Is n > a?
False
Suppose 0 = 2*c - 0*c. Suppose -b + 5 = -c. Let m = 3 - b. Is m at most as big as -1?
True
Let d = 11/9 - 10/9. Which is greater: 0 or d?
d
Suppose 0 = -9*l + 4*l. Suppose r + 2 = 4. Suppose -r*c - 2*c = l. Is -2/3 at most c?
True
Let r = -1102089 - -968736823/879. Let b = -2/293 + r. Is 0 at least b?
False
Suppose -2*d - 2*d + 8 = 0. Suppose 2 = -3*l + d*l. Let y be 1 - ((-5)/(-3) + 0). Are y and l unequal?
True
Let z = -22 - -22.1. Is z less than -18?
False
Let c be 186/231 + 6/21. Let k = -302/297 + c. Are -1 and k unequal?
True
Let d be (-8)/14*84/(-8). Let q = -72/11 + d. Is q at least as big as 0?
False
Let m = 3.7 + 0.3. Let a = m + -7. Do a and 0.2 have different values?
True
Let t be (-3)/(-1) - (6 - 2). Let b = -5 - -5.4. Which is bigger: b or t?
b
Suppose -c = -0*c - 2. Suppose -c = -4*j - 2*u, j - 5*u = 4*j + 2. Which is smaller: 4/3 or j?
j
Let c be 10/(-5) + (96 - 0). Let z be c/30 + 18/(-6). Are z and 1 equal?
False
Suppose 0 = f - 0*f + 1. Let o = 4 + f. Suppose o*w = 4*w + 1, r + 3*w + 3 = 0. Which is greater: -3/7 or r?
r
Let v = 0.2 + -8.2. Is 0.3 < v?
False
Let m be 2/(((-7)/5)/(8/(-40))). Is m less than or equal to 0.23?
False
Let y(d) = d**2 - 3*d - 3. Let k be y(3). Let j be (-4)/(-3)*k/2. Let x be -3 - (6/3)/j. Do -1 and x have the same value?
False
Let k = -215 + 191. Which is greater: k or -23?
-23
Suppose 0 = 4*n - n + 72. Let i = n - -47/2. Which is bigger: i or 1?
1
Let b(p) = 2*p**2 - 11*p + 4. Suppose s - 18 = -2*s. Let d be b(s). Is d less than 11?
True
Let a be (2/2 - 0)*0. Which is smaller: -10 or a?
-10
Let b = -38 - -48. Are 8 and b non-equal?
True
Let n = 3 - 3.2. Let c be 4/6*(-3)/(-2). Is c at most as big as n?
False
Let j(y) be the second derivative of -y**3/6 - 13*y**2/2 - 17*y. Suppose 0 = -o - 8 - 1. Let x be j(o). Which is bigger: x or -5?
x
Let a = 7.67 + 0.23. Let i = a + 0.1. Which is smaller: 0 or i?
0
Let z = -5 - -7. Which is smaller: 1/12 or z?
1/12
Suppose 37 = 5*a + 2*n, -5*n - 31 = 5*a - 71. Let r(f) = -f + 0*f + a + 3*f. Let u be r(-5). Is u not equal to -2?
True
Let a = -1 + 5. Let g be a/(-9)*(-2)/(-4). Is g greater than -1?
True
Let x(j) = -j**2 + 13*j + 5. Let o be x(13). Let l = o + 2. Let k = -9 + l. Which is smaller: k or -3/4?
k
Let j(t) = 6*t**2 - 3*t - 2. Let g be j(-4). Let z be 0 - ((-210)/g - -2). Let a = z + -50/159. Which is bigger: a or 0?
0
Let s(c) = 3*c**2 - 7*c - 4. Let b be s(4). Is 15 equal to b?
False
Let u be 2/(-1 - 4/(-2)). Let z = 33 + -33. Which is smaller: u or z?
z
Let g = 74 + -69. Let t = -52411 - -17767436/339. Let a = -2/113 - t. Is g less than or equal to a?
False
Suppose 0 = -0*l + 2*l. Suppose l*n - 12 = -3*n. Suppose 4*t - 3*t = 4. Is t at least as big as n?
True
Let p(y) = -4*y + 17. Let v be p(-9). Which is smaller: 51 or v?
51
Let d = 0.29 + -0.39. Which is bigger: d or 21?
21
Let m = -61.27 + 61. Let w = -2.27 - m. Which is smaller: w or -7?
-7
Let d = -116 + 115. Is -1/3 smaller than d?
False
Let y = -1627/1155 + 2/231. Which is greater: y or -2?
y
Let u = -35 - -39. Is 0 less than u?
True
Suppose 3*m - 4 = -5*k, -k + 5*m - 7 - 9 = 0. Let a be (-1 + 11)/(-1 - -3). Let j = -5 + a. Which is bigger: j or k?
j
Let w = -8 + 5. Let q(d) = -d**2 - d + 4. Suppose 0 = 3*k - 0*k + 9. Let i be q(k). Which is greater: i or w?
i
Let t(o) = -o**3 - o**2 + 3*o - 2. Let n be t(1). Let w = -163/437 + 11/23. Is n <= w?
True
Let h(s) = -s**2 - 3*s + 1. Let j be h(-2). Suppose 2*k + 3 + 7 = -w, -5*k = -w + 18. Let x = w + j. Which is smaller: x or 0?
0
Let b = 54 - 57. Is b less than or equal to -2?
True
Let a be (-9)/((-1)/((-3)/3)). Do a and -9 have different values?
False
Let v = -6 + 5.7. Let r = -0.1 - v. Let n = r - 0.2. Which is bigger: n or 2?
2
Let f = 2 + -1. Suppose -2*r = 4*b + 14, 2*b - 48 = 5*r - b. Let m = r + 11. Is m less than or equal to f?
False
Let l be (2/(-6))/((-6)/36). Let v be -4*(-2)/24*l. Which is smaller: v or 1/4?
1/4
Let n be 2/(-3) + (-5)/15. Is -1 > n?
False
Let g be 2 - 2 - (-1 - 1). Suppose 0*a + g = a. Let r be (2 - 4) + (a - 1). Which is smaller: r or 0?
r
Suppose 0 = 4*m - 5*w - 25, -2*m - 2*w + 2 = 12. Let d = 436/735 + 1/147. Which is smaller: d or m?
m
Let k = 0.2 - -0.8. Let f(z) = -z**3 + 2*z**2 + z - 1. Let t be f(2). Is t >= k?
True
Let b(n) = n + 18. Let a be b(-19). Are -1/14 and a nonequal?
True
Suppose -4*i = -26 + 6, t + 17 = 4*i. Which is bigger: -1 or t?
t
Suppose 2 = o - 0. Suppose -5 = -o*w - 3. Let f be ((-2)/w)/((-6)/9). Is f less than or equal to 4?
True
Let i = -5261/4 - -289389/220. Let g = 2/165 + i. Is g < -1?
False
Let t = -1.06 - -1. Let l = 0.44 - t. Let f = l + -0.4. Which is smaller: 0 or f?
0
Let u be 1*-2*(-2)/4. Which is smaller: 1/9 or u?
1/9
Suppose 3 = 5*k - 12. Suppose 22 = 5*p - 38. Suppose k*q + q = p. Do q and 2 have the same value?
False
Suppose 0 = -r + 4*r. Suppose -3*k = -5*k + 4*w + 8, r = -k + w + 1. Which is greater: -11/5 or k?
k
Let q = 5 + -1. Let l = 6 - q. Suppose -1 = d - l. Do d and 1 have different values?
False
Suppose 0*h = 4*h - 160. Suppose -4*d = -4*l - 9 + 65, -4*d = 4*l + h. Let z be (-4)/d - (-5)/3. Which is smaller: -1 or z?
-1
Suppose -3*g + 2*w = -2*w + 5, 5*g - w = -14. Let k be ((-4)/(-10))/(g/(-15)). Which is greater: 3 or k?
3
Let t be 8/(-2)*3/6. Let i be 22/t - (4 + 0). Is i less than -16?
False
Let q(r) = -r**2 - 3*r - 3. Let i be q(-2). Suppose 2*k - 9*k = 2*k. Do k and i have the same value?
False
Let h = -2/249 - -29/166. Which is greater: 0 or h?
h
Let n(u) = u - 5. Let b be n(6). Which is bigger: 2/7 or b?
b
Let b(p) = -3*p - 38. Let w be b(-13). Let g = -11 + 5. Let h(q) = -q**3 - 7*q**2 - 6*q + 2. Let d be h(g). Are d and w equal?
False
Let r = -0.69 + 0.89. Is r bigger than 2/13?
True
Suppose -2*m = -3*c - 2 + 17, c + 5*m = 5. Let t be 4/18 + 884/234. Is c at least t?
True
Let z be (-6 + 287/42)*(-1 + -1). Is z <= -2?
False
Let k(q) be the first derivative of -q**4/4 + 4*q**3/3 - 2*q**2 + 4*q + 4. Let v be k(3). Do 2/37 and v have different values?
True
Suppose -4*h + 5*y = -0*y - 285, 372 = 5*h - y. Let p be ((-3)/h)/((-1)/3). Which is greater: p or 0?
p
Let a(r) = -r**3 - 22*r**2 - 24*r - 73. Let x be a(-21). Is x < -17?
False
Let h be 9 - 7 - (-2 + 3). Are 13/12 and h nonequal?
True
Let q be (12/88)/(4/8). Which is smaller: 0 or q?
0
Suppose -5*l + 10 - 10 = 0. Is 8/11 at least l?
True
Let u be -2 + 104/150*3. Let n be (-6)/(-12) + 2/(-4). Which is bigger: u or n?
u
Let f be 0/(-4 - (-6 - 1)). Let r be 4/10 - 7/30. Is r > f?
True
Let k(r) = -2*r**2 - 10*r - 7. Let y be k(-8). Is y bigger than -56?
True
Let o = 2173 + 623. Let x be -2 - 5/((-70)/o). Let z = x - 198. Are z and -4 unequal?
True
Let l(g) = -g**2 + 10*g - 9. Let o be l(9). Let c be 2/((-4 - -5) + 25). Is c bigger than o?
True
Suppose -5*g + 388 = -w, -3*g = 2*w - 96 - 129. Is 77 greater than g?
False
Let w(l) = -l**3 - 5*l**2 - 2*l - 7. Let d be w(-5). Suppose d*n + 0*n = 0. Is n smaller than 2/7?
True
Suppose 0 - 10 = -5*m. Suppose -2*r - m = -0. Let u be (-2)/7 - (-4)/14. Which is smaller: r or u?
r
Let q = 11 - 11.13. Which is smaller: -1/3 or q?
-1/3
Suppose 0 = 4*f + 4*g - 8, f + 2*g - 18 = 6*f. Let x = f - -2. Which is bigger: x or -2/23?
x
Let f be (-24)/36*1/(-2). Is f < -3?
False
Let t(z) = -5*z**2 + 14*z + 6. Let v(j) = -4*j**2 + 13*j + 6. Let u(c) = -5*t(c) + 6*v(c). Suppose 4*g + 13 = -15. Let s be u(g). Does -1 = s?
True
Let l be (9/(-30))/((-12)/25). Let h = l - 3/4. Let g(a) = a**3 - a. Let z be g(1). Is z at most h?
False
Let z be 14/(-10) - 8/(-20). Let s be 3 + (-2)/2 + z. Is s not equal to 1?
False
Let m(n) = -n - 2. Let h be m(0). Let d be (-5)/(-3)*(-1 + 0). Is d equal to h?
False
Let h be (0 - -1)*5/20. Let o = -7 + 10. Let k be (-4)/6 + (-1)/o. Which is bigger: h or k?
h
Suppose 2*v = -0*v + 4. Suppos