be (-15)/(-12) - (0 - 1). Is 1 at most z?
True
Let z be -6 - (-3 + (1 - 2) + 1). Is z at least as big as 0.3?
False
Suppose -5*t - 64 = -4*g, 39 = -3*t + g + 2*g. Let w be t/30 - (-6)/(-10). Is -3 at most as big as w?
True
Suppose -4*m + 9 = -m. Suppose -5 = m*j + 10, -4*j - 20 = -2*v. Let l be 1 + (2 - 2 - v). Which is greater: l or 1/4?
l
Let l = 6.84 + -7. Let d = l - -0.06. Is 1 at most as big as d?
False
Let y = 22 + -21. Is y greater than or equal to -1/3?
True
Let m = -373/7 + 53. Suppose 2*g + 3 = 5*f, 0 = 2*f - 4*f + 3*g + 10. Which is bigger: f or m?
m
Suppose -4*x = -4*g - 20, -3*g = 5*x - 2*x + 3. Let y = -1 - g. Let j be (y - 4/38) + -2. Which is greater: j or 1?
1
Let x be (60/(-45))/((-1)/3). Is x not equal to 2?
True
Let k(y) = -2*y. Let w be k(-3). Let v(t) = t - 4. Let x be v(2). Let g be w/(-28) + x/7. Is g at least as big as 2?
False
Let l = 0.361 - 0.061. Which is smaller: l or -11?
-11
Let k = -0.4 - -12.4. Let z = k + -13. Are 0.1 and z equal?
False
Suppose -4*c - c = -45. Let s be (-2)/c + (-10)/(-18). Suppose 0 = -z + 2 - 1. Is s <= z?
True
Let t = -28.6 - -29. Let b = -0.4 - -0.3. Is b smaller than t?
True
Let s = 8 + -6. Let o be (-3)/((-7)/10 - -1). Let g be 4 - 1 - (-15)/o. Are g and s nonequal?
True
Suppose 5*f - 25 = -0. Let k = 6 - f. Is k equal to -2/23?
False
Let u = -19 - -15. Which is smaller: u or 11?
u
Let c = 73 + -67. Does 13/2 = c?
False
Let t = 1 + 2. Suppose -t*d = d. Let x = 121/28 + -32/7. Is x greater than d?
False
Let i(b) = -37*b + 2. Let v(q) = 74*q - 4. Let f(o) = 11*i(o) + 6*v(o). Let x be f(-4). Let y = x - -1048/7. Which is bigger: 1 or y?
1
Suppose 0 = -4*n + k + 20, 3*k - 25 = -5*n - 0*k. Suppose 4*u - 8*u - 2*t - 12 = 0, -6 = n*u - 2*t. Suppose -17*d + 13*d = 12. Is d bigger than u?
False
Let b be (-1 + 1)/1 - -2. Suppose -4*o - 2*j = -b*o, -3*o = -j - 8. Suppose -5*x = -2*g - 16, -g = -5*x - 0*g + 13. Are o and x equal?
True
Let u = 323 - 735/2. Let h = u - -42. Which is smaller: -3 or h?
-3
Let z = 14 - 8. Let c = -7 + z. Let p(w) = -w**3 - 2*w**2 + 3*w + 3. Let l be p(-3). Which is smaller: l or c?
c
Suppose j = 5*q + 7, -4*q + 2*j + 0*j = 2. Let u be -1 + q/(-4)*4. Let x = 1/11 - 15/44. Which is bigger: u or x?
u
Suppose -30*g + 10 = -25*g. Which is bigger: g or 4?
4
Let a(m) = m**3 + m**2 - m + 1. Let u(r) = 3*r**3 + 7*r**2 - 2*r + 3. Let c(o) = 2*a(o) - u(o). Let y be c(-5). Let q be -1 - 0*1/(-2). Are q and y unequal?
False
Let i = -26 - -43. Let s = i - 14. Let m be (-14)/(-8) - 0/(-1). Is m < s?
True
Let i = 4097/35 + -117. Does 1 = i?
False
Let q(g) = -3*g - 7. Let l be q(12). Which is smaller: l or 1?
l
Suppose -1 = 3*r + 3*h + 5, 0 = -4*r - 2*h - 2. Is r less than or equal to -1/20?
False
Let a be (-2 - (-1 + -2)) + -2. Is -2 bigger than a?
False
Let h = 2/23 + 32/161. Suppose -5 = -a - 3. Let z = a + -2. Do h and z have the same value?
False
Suppose -g + r + 10 + 4 = 0, -4*g - 5*r = -11. Let l = g + -4. Which is smaller: 7 or l?
l
Let r = 3 + -5/2. Which is smaller: -4 or r?
-4
Let i be ((-12)/8*2)/(-1). Let o = -4 + i. Which is smaller: o or 2/5?
o
Let k = -1 - 1. Let b = 157 + -157. Which is smaller: b or k?
k
Let s = 87 - 263/3. Which is bigger: s or 0.2?
0.2
Let q = -0.041 - 0.059. Let v = -0.1 + 0.1. Let n = q + v. Is -2/9 bigger than n?
False
Let s = -4.8 - -1.8. Which is bigger: s or -1?
-1
Let a = 3 - 2.7. Let z = -0.011 + 40.011. Let f = z + -40.2. Is f != a?
True
Let f = -0.4 + -0.2. Let v = -2.6 - f. Let b = 222 + -223. Which is smaller: v or b?
v
Suppose -z - 4*z = -2*f - 50, -f - 10 = -z. Let p be z/(-6)*(5 + -8). Are 8 and p equal?
False
Let f = -496 - -16366/33. Is -1 not equal to f?
True
Let f(z) = -1 + 3*z - 5 + 0*z. Let i be f(5). Suppose 0 = -6*w + 3*w + i. Which is bigger: 4 or w?
4
Let f = -0.964 + 1. Are f and -0.1 nonequal?
True
Let z(w) = w**2 + 4*w - 6. Let j be z(-6). Let c be 4/3*j/4. Let l be (3/3)/(0 + 2). Which is smaller: l or c?
l
Let u = 457/3 + -154. Suppose -p + 5*c = 13, 5*p - 4*p + 4*c = 14. Suppose 5*h = -p - 8. Which is smaller: u or h?
h
Let j be (-67)/18 + (-12)/(-54). Let t = 87/26 + j. Let x(d) = d**3 - 6*d**2 + 5*d - 1. Let s be x(5). Do t and s have different values?
True
Let m(z) = -z + 4. Let w be m(-6). Is 10 less than w?
False
Suppose -7 + 23 = -4*j, -3*i - 11 = 2*j. Let z(o) = -o**2 + 5*o + 8. Let m be z(7). Let d be (-1 + m/3)/2. Is d at most as big as i?
True
Let x = 152/11 - 14. Let f(o) = -o**3 + 5*o**2 - 1. Suppose -8 = -3*g + 7. Let q be f(g). Which is bigger: q or x?
x
Let x = -40 + 37. Is x not equal to -2?
True
Let q(s) = -s**2 + 7*s + 9. Let z be q(8). Let m(l) = l**3 - l**2 + l + 5. Let y be m(0). Let p be 2/(-30) - y/15. Which is smaller: z or p?
p
Let c be 8 - -5 - 2/(-2). Let f be (-36)/c*(-6)/(-9). Which is smaller: f or -3?
-3
Let b(v) = -v**3 + 7*v**2 - v - 7. Let j be b(7). Is -15 at most j?
True
Let y = 0.132 - 0.432. Is y less than -1?
False
Let h(x) = -39*x - 1. Let k be h(-4). Suppose 2*s = -0*f - 4*f + 124, 0 = -5*f + s + k. Let a = f - 59/2. Is 2 at most a?
False
Let l = 49 + -35. Let f = 7 - l. Let j = f + 7. Which is greater: -1/2 or j?
j
Let d be (6/5)/((-51)/(-15)). Which is smaller: 1 or d?
d
Let j(c) = -c + 5. Let f be j(11). Let g be 16/f - (-2 - 2). Which is smaller: g or 2?
g
Suppose -5*g = -0*g - 70. Suppose 0 = 5*n - 5*h - 5, h - 2*h + g = 4*n. Suppose n*p = -8 - 7. Which is greater: -4 or p?
-4
Let o = -156/11 - -7343/517. Is o less than or equal to -1?
False
Let d = -30 - -39. Is 0.1 > d?
False
Let z = -2 - -1.92. Let y = 4.08 + z. Let g = y - 6. Is g bigger than -1?
False
Let y be (-3)/2 - 39/(-26). Is -4/11 > y?
False
Let o = -16 + 17. Which is bigger: o or -2?
o
Let m be 11/3 + (-4 + 0)/(-2). Are m and 5 unequal?
True
Let m = -0.4 + 0.2. Which is smaller: -5 or m?
-5
Let h = -13 - -9. Let n = -3.4 - h. Let v = n + -0.5. Which is greater: v or 0.2?
0.2
Suppose 316 = -5*o - 484. Let q = 803/5 + o. Which is bigger: q or 0?
q
Suppose 0 = -4*z + 2*c - 10, -4 = -2*z - 2*c - 0*c. Let x be (-6)/(-9) + (-20)/(-6). Suppose -4*v + 4*f = 12, -v = x*v + 2*f + 1. Is v bigger than z?
False
Let y(x) = x**2 - 7*x + 5. Let l be y(7). Suppose -6*a + 5*a = l. Let i be (a/(-15))/(2/6). Are i and 1 non-equal?
False
Let b = -16 + 15.9. Is b smaller than 6/7?
True
Let r(n) = -3*n + 4. Let h be r(2). Which is smaller: h or -6?
-6
Let g be (4/6)/(6/(-9)). Let q = 15 + -5. Suppose q = p - 3*h, h = 5*p + 4*h + 4. Is g >= p?
False
Let x(o) = -o**3 - 9*o**2 + 9*o - 6. Let z be x(-10). Suppose -m = z*m + 5. Which is bigger: m or -2/19?
-2/19
Let i be (-15)/25 + (-3)/(-15). Which is smaller: i or -1?
-1
Suppose 5*h + 15 = 3*g, 3*h + 5*g = -h + 25. Which is smaller: h or -5/18?
-5/18
Suppose -5*a - t + 26 = 3, 15 = a - 5*t. Suppose a = 4*h + 21. Which is smaller: -5 or h?
-5
Let t be -1 - (-1 + 2 + 0). Let u be 3*((0 - -1) + t). Which is smaller: -4 or u?
-4
Let r = 18 + -30. Are -13 and r equal?
False
Let r = -2/3 - -1. Is 2 greater than r?
True
Let y be 0/(-4)*(-2)/(-4). Suppose 3*v + 12 = -y*v. Do v and -7 have the same value?
False
Let x = -17.1 + 17. Which is greater: x or 7/6?
7/6
Suppose 0 = -2*a + 22 - 34. Let m be 5/a + (-8)/48. Which is smaller: m or -5?
-5
Suppose 2*x + 8 = -2*h - 0, x + 4 = 0. Let i = -61 - -306/5. Which is greater: i or h?
i
Suppose 8*q = -45 - 51. Which is smaller: -14 or q?
-14
Suppose 5*j + 164 - 39 = 0. Let h = -20 - j. Is h bigger than 1?
True
Suppose 2*y - 4*y = 0. Suppose -n + 3 = -x, -3*n + 0*n - x + 1 = y. Let f = -22 - -68/3. Which is greater: n or f?
n
Suppose -5*b = d - 31, b - 3*d = d + 2. Is 6 not equal to b?
False
Let h be 1*(-44)/12 + 4. Is h less than -96?
False
Let q(s) = s**3 - 6*s**2 + 4*s + 7. Let g be q(5). Suppose -2*m = 4*y + 18, -y + 3*y + 10 = -g*m. Let z(b) = -b - 2. Let p be z(m). Is p != 1/5?
True
Suppose 5 = -4*o + 13. Let f be o/3 + 60/(-54). Which is bigger: f or 0?
0
Suppose -3*j + 2*u = -2*j + 24, 0 = -5*j - 3*u - 55. Is j bigger than -14?
False
Let g be ((-6)/176 + 0)/(3/2). Which is smaller: g or -1?
-1
Let q = 4 + -16. Are -14 and q equal?
False
Suppose 0 = -3*l - s + 17, 26 = 5*l + 2*s + 2*s. Suppose -l*j + 4 = -2*j. Are 8/5 and j equal?
False
Let v = -4475/76 - 185/38. Let i = 63 + v. Let q be 4/4 + -4 + 1. Is q less than or equal to i?
True
Suppo