18 - z. Let x = h - -0.08. Is -1 > x?
False
Suppose 5*b = 3*f + 4, 13 = -2*b - 4*f - 1. Which is smaller: b or -8/5?
-8/5
Let j = 5 + -5. Which is bigger: 3/19 or j?
3/19
Let k be ((-62)/(-98) - 2) + 1. Let x = k - 3/49. Let g = 26 - 53/2. Is g at least x?
False
Let m = 554 - 7759/14. Which is greater: m or 0?
0
Let d = -17 - -33. Let r = -15.5 + d. Is 1 > r?
True
Let s(r) = r + 2. Let b be s(0). Is -2/11 != b?
True
Suppose -2*g - 3*y + 4 = -g, -16 = -4*g - 5*y. Suppose -g*j = -j. Is -3/10 not equal to j?
True
Suppose -5*a = q + 37 - 7, a = -q - 2. Let c(v) = -v - 5. Let x be c(3). Which is smaller: x or a?
x
Suppose 4*q - 18 + 50 = 0. Suppose -2*g = -3*b + 28, -4 = g + g. Let o = b + q. Is o equal to 0?
True
Let c(j) = 21*j**2 + 1. Let b be c(1). Let w be (-3)/b*(-2)/6. Let y = -25/66 + w. Which is smaller: y or -1?
-1
Suppose 9 = -4*y + 5. Are -2/11 and y unequal?
True
Let j be -3 + 0*1/3. Let q be j/(-6) + (-6)/(-4). Are 9 and q non-equal?
True
Let v be ((-2)/(-3))/((-4)/(-18)). Which is bigger: 4 or v?
4
Let z be 3 - ((-7)/(-4) - -1). Is 1/7 < z?
True
Suppose -2*b - 5 = -3. Let n be (-18)/7 - -2 - b. Is 1 greater than or equal to n?
True
Let d = -47 + 68. Are 21 and d equal?
True
Let g(n) = -16*n + 13. Let c be g(2). Which is greater: c or -39/2?
c
Suppose -8 - 14 = h. Let q = h - -31. Let c be ((-2)/9)/((-6)/q). Which is greater: c or 1?
1
Let n = 768/2737 + 2/391. Let l = -5 + 5.4. Let z = -1.4 + l. Do n and z have the same value?
False
Suppose 8*f - 3*f = 75. Suppose 10*i - 7*i = f. Let s = i + -3. Is 2/3 >= s?
False
Let f = 1.9 + -2. Let k = 2.1 + f. Let m be (2*2/12)/(-1). Is m >= k?
False
Let g = -0.08 - -0.08. Suppose -16 = 3*s + 4*x, 5*x + 10 = -5*s - 10. Let f = s - -3. Which is greater: f or g?
f
Let w = 124 + -110. Which is greater: 12 or w?
w
Let o be (-44)/(-4)*(-2)/(-14). Are 3 and o nonequal?
True
Let n(h) = h**2 + 7*h - 11. Let x be n(-6). Let c = x + 18. Is c at least as big as -1/25?
True
Let i = -4 - -1. Let x(p) = -p**2 - 2*p + 3. Let l be x(i). Which is smaller: -4/13 or l?
-4/13
Let z = -21.9 + 22. Which is smaller: z or 28/5?
z
Suppose 0 = 2*o + 3*o + 4*h + 659, 5*o = 5*h - 695. Which is bigger: -134 or o?
-134
Let o = 4 + -5. Let m(k) = k**2 + 13*k. Let u be m(-13). Which is smaller: o or u?
o
Let d(u) = -u. Let y be d(-3). Suppose -2*k - n - 4 + 2 = 0, 3*k = y*n + 6. Let o be 1 - 1 - 4/7. Do o and k have different values?
True
Let f = -0.01 - -14.01. Let g = 13 - f. Let i = 1 - 3. Does g = i?
False
Let m = -29334 - -2552026/87. Let b = -1/29 - m. Is -1 less than b?
True
Let u = -0.16 + 0.01. Let o = u + 0.2. Let v = o - -0.05. Is -2/5 less than or equal to v?
True
Let p(q) = q**3 - 11*q**2 + 8*q + 4. Let c be p(10). Which is greater: c or 0?
0
Let h = -27 + 23. Are -3 and h nonequal?
True
Let o = 7 + -5. Let l be (-8)/6*-2*(-1)/(-2). Which is bigger: o or l?
o
Let j = -21/5 + 4. Which is bigger: 0 or j?
0
Let k(t) = -t + 15. Let v be k(6). Is 6 > v?
False
Let q = -0.87 - 1.13. Which is greater: -10 or q?
q
Let t = 1188 - 112858/95. Which is smaller: t or -1?
-1
Let u be -1 - (-7)/((-7)/(-6)). Let n = u + -1. Are 4 and n non-equal?
False
Let r(y) = y**3 - 4*y**2 + 4*y + 1. Let i be r(3). Is i at most as big as 3?
False
Let z = -16.59 + -0.41. Let c = -8 - z. Which is smaller: c or 0?
0
Let u(p) = -p + 5. Let x(d) = -3*d - 6. Let s be x(-4). Let n be u(s). Let g = 41/132 + -2/33. Is g >= n?
True
Suppose w = 5*w. Suppose 3*f + 11 = 2*j, 2*j + w*j + 4*f + 24 = 0. Let t = 8 + -9. Which is bigger: t or j?
t
Suppose -125 = -3*m - 20. Let z be ((-28)/m)/(1/(-10)). Suppose -3 = -z*b + 5*b. Which is smaller: 3 or b?
b
Let y be (0 - 3)/(24/(-16)). Let s = y + 0. Let f be 10/(-45) + (-106)/(-72). Is s bigger than f?
True
Let b be (-3*2 - -4) + -1. Let z = -17 - -15.9. Let a = 0.1 + z. Which is smaller: b or a?
b
Let g = -52 - -78. Which is smaller: g or 0?
0
Suppose 6*f = -3*v + 4*f - 3, 2*v + 2 = -3*f. Let n = 1 + v. Let s = -9 - -6. Is n at most s?
False
Let i = 7 - 10. Suppose 0*f - 1 = -f. Let p = f + i. Which is bigger: -1 or p?
-1
Let d = 8 - 9. Let z = -4 - -2. Let u = z - 2. Which is smaller: d or u?
u
Let i = 6 - 5.6. Let x = 0.3 + i. Let d = x + 0.3. Are -2/9 and d equal?
False
Let z = -1049/29049 + 3/421. Is z at most as big as -1?
False
Let d be (-2)/(-8) + 1/(-2). Let y(s) = -s**3 - 7*s**2 + 3. Let h be y(-7). Suppose 0 = m + h*m. Which is greater: d or m?
m
Let z be 30/(-4)*(-6)/5. Let u = z - 7. Let s be 34/(-7) + u + 2. Which is smaller: -2 or s?
-2
Let h be 4/2 - 75/35. Which is smaller: -5 or h?
-5
Let a be (-5 + 0)*(-2 + 1). Suppose -n - 6 = -2*n. Is a not equal to n?
True
Let k(i) = i**2 - i + 1. Let n be (0*3/(-9))/2. Let a be k(n). Is 1 greater than a?
False
Suppose -4*v + 3*v = 11. Are v and -8 equal?
False
Let k(f) = -f**2 - f - 1. Let v(a) = a**3 - 5*a - 7. Let h(z) = 5*k(z) - v(z). Let l be h(-4). Let x be 6/(-9) + l/(-12). Does 0 = x?
False
Let z = -0.02 + 0.03. Let v = z - -0.99. Is v less than or equal to 0.1?
False
Suppose -4*r = -0*l + 5*l + 45, 5*l = 5*r. Let d(i) = -i**2 + 29*i - 5. Let s be d(0). Is s not equal to l?
False
Let k = 0.038 - -15.962. Which is smaller: -2 or k?
-2
Let a = -4.3 - -4. Let n = a - 0.4. Let s = -0.5 - n. Which is bigger: s or -1?
s
Let m(l) = l**2 - 4*l + 1. Let i be m(4). Suppose -5*r = 2*a - i - 2, 2*r + 10 = 2*a. Let h be (1 - r)*3/(-9). Is h at least 0.3?
False
Let x = 2.4 + -4.4. Is x != 1?
True
Let i be 10/(-16)*24/60. Which is smaller: -4 or i?
-4
Suppose 10 = -8*y + 3*y. Let a(c) = c. Let v be a(y). Let w be 20/(-6)*3 - v. Do -9 and w have the same value?
False
Let f be 4*-1 + 200/32. Do f and 2 have the same value?
False
Let t(g) = -g**3 - g**2 - g + 4. Let x be t(0). Suppose -y = -5*s + 25, y + x*y + 21 = -s. Is s <= 4?
True
Let g(b) = b**2 - b - 7. Let r be g(3). Is -8/5 equal to r?
False
Let r = -196 + 200.94. Let z = -5 + r. Which is bigger: z or 0?
0
Suppose 4*u + m + 1 = -1, 2*u + m = 0. Which is smaller: 21 or u?
u
Suppose 2*z - 3 - 2 = i, -i = -3*z + 6. Which is smaller: -1/8 or z?
-1/8
Let p(b) = -b - 2. Let m be p(-4). Are m and 3/2 equal?
False
Let c = -19 + 10. Is c equal to -9?
True
Let k(l) = -l. Let p be k(-2). Let c be 51/(-12) + 5/20. Let x = c - -3. Which is smaller: x or p?
x
Suppose -2*j + 2*z = 0, -4*j - 20 = 4*z - 52. Suppose j*i - 48 = y + 2*y, 5*i - 60 = -y. Is i smaller than 11?
False
Let x = -2/925 + 5588/17575. Which is bigger: x or 0?
x
Let n be (3/2 - 1)*0. Suppose n = 4*c - 9*c. Which is greater: c or -1/3?
c
Let v = -7/25 + 276/1075. Let y = -194/1597 + -179033/274684. Let r = y - v. Is -2 at most as big as r?
True
Suppose 3*l - 4*c - 13 = -5*c, -4*l = -5*c - 30. Suppose -3*a - 2*a - l = 0. Do a and -1/5 have the same value?
False
Let r(h) = 1 + 1 - 3 - 3*h + 0. Let j be r(1). Are j and -3 unequal?
True
Let g be 1*(2/(-5) - (-321)/15). Is 61/3 != g?
True
Suppose 2*n = -3*n + 25. Let z = 8 - n. Let w = 2 + 1. Do z and w have the same value?
True
Let c be -17 + (-6)/2 + 2. Let j = 16 + c. Which is smaller: j or -3?
-3
Let g = -71 + 66. Is -5 != g?
False
Let f(r) = -5*r - 4. Let t be f(-3). Which is bigger: 12 or t?
12
Let y = 11 + -6. Suppose u - 77 = 4*x + 3, y*x + 20 = 0. Let q be (4 - 2) + u/(-28). Is 1 bigger than q?
True
Suppose -5*c - q + 13 = 0, 3 - 5 = -4*c + 2*q. Suppose m = -0*m - c. Which is smaller: m or 0.3?
m
Suppose -4*b + 26 - 10 = 0. Let k be ((-46)/b)/(10 + -4). Let t = -599/300 - k. Which is bigger: t or 1?
1
Suppose -5*z + 0 = 5. Is z smaller than -3/19?
True
Let h be -3 + (-1)/(-90)*277. Let k = h - 313/1710. Which is bigger: 0 or k?
0
Suppose 0 = -15*m + 10*m. Which is greater: 2/15 or m?
2/15
Suppose 4*z - 15 = 2*l + 3*l, -17 = -3*z - 2*l. Suppose 0 = 4*n - z*m + 17, -n + 5 = m + 16. Let y = n + 8. Is -3/8 at least as big as y?
False
Let z = -168.1 + 160.77. Let m = 3.32 + z. Let t = -0.01 - m. Is t >= 2/3?
True
Let o = -1 + 2. Suppose 3*k - o = -4. Which is smaller: k or -2/5?
k
Let a be 2/5*(-1 + 11). Suppose -15 + 4 = a*j + t, -5*t = -2*j - 33. Let g = j + 4. Is g < -1/4?
False
Let x = -0.17 - 4.83. Which is smaller: 1/4 or x?
x
Let w = 45 - 95/2. Let c be 10/(-45) + 130/18. Suppose c = -h + 4. Is h smaller than w?
True
Let t = -6 - -10. Let q = 4 - t. Which is greater: 2 or q?
2
Let o = 1 + -2. Let 