 = h - 3*v + 23, 5*v = -h + z. Which is bigger: h or b?
b
Let h = 0.96 + 0.04. Which is bigger: h or 33?
33
Let k(a) = -a**2 - 7*a + 10. Let p be k(-7). Suppose -h = 2*h + 9, 0 = -5*f + 5*h + p. Let g be 4/(-6) - 1/(-6). Which is greater: g or f?
g
Let c = 0.22 - 0.12. Is c greater than 1?
False
Let b = -0.31 - -0.71. Let o = 1161 + -3421/3. Let t = o - 20. Which is smaller: b or t?
b
Let c be (1 - 2)/1*-5. Suppose -10 = 5*t + c. Is 1 greater than t?
True
Suppose -2*t = 2*q - 4, 3*t + 2*t = 5. Let b be (-1 - -3)/(28/q). Is b at most 1?
True
Let d = 6 - 5. Let j be 3/(-2)*(13 + -1). Let r be (3 + 50/j)*-1. Is r greater than d?
False
Let f = 0.43 + -25.43. Let n = f + 24. Is 1 not equal to n?
True
Let q be (3 - 2) + 18/(-22). Let j = 11 + -6. Suppose 3*n = 3*k, 0*n = -n - 4*k + j. Which is greater: q or n?
n
Suppose -3*j + 9 = -9*f + 4*f, -3*f = 4*j + 17. Is j != -12/13?
True
Suppose z + 12 = -3*r + 6*r, -z - 2*r = -8. Are 5/16 and z equal?
False
Let o = -34/21 + 2/7. Suppose -2*t = -31 + 25. Is t >= o?
True
Suppose q - 3*q + 8 = 4*t, q - t - 1 = 0. Suppose 2*m + 2 = -q*j - 6, -11 = -m + 4*j. Which is greater: m or -0.1?
-0.1
Let c = -2 + 2.21. Let v = c - 0.01. Is v equal to 1/3?
False
Let k = 32 - 46. Let t = -14 - k. Is t at least 3?
False
Let a(j) = -j**3 - j. Let f be a(-1). Suppose u + 1 = -0*u. Let t = u + f. Do t and 0 have different values?
True
Let z = 21/38 + -3347/6194. Let j = z - 503/1141. Which is smaller: 0 or j?
j
Let z = -1 + -3. Let o be 0/(-4 + (-2 - z)). Which is bigger: o or 1/5?
1/5
Let u = 15 + -15.1. Are 1 and u nonequal?
True
Let u(i) be the third derivative of i**6/120 - i**5/12 - 5*i**4/24 - i**3/3 - 3*i**2. Let v be u(6). Let p = 2 + 2. Are p and v unequal?
False
Suppose -4*g + 14 = -2. Suppose -2*q = -17 + 59. Let v be (q/(-63))/((-1)/(-9)). Which is bigger: v or g?
g
Let w = 0.156 + -0.086. Which is smaller: w or 3/5?
w
Let l = 4.2 - 4. Let c = 0 - -1. Let k = 2 - c. Is l at most k?
True
Let u = -4 + 6. Suppose -2*t + 5*t + 7 = u*d, -4*t = -5*d + 7. Is 1/3 equal to d?
False
Let w(o) = -2*o**2 - 7*o - 4. Let m be w(-6). Let k = m + 59. Suppose -4*y - 24 = -0*y - 2*p, -5*p = -3*y - k. Is y smaller than -2?
True
Suppose 4*z = -5*i - 88, 5*i + 2*z + 74 = -20. Let k be (-18)/12 - 146/i. Let y = k - 193/35. Which is smaller: -1 or y?
-1
Let h = -0.1 + 0.05. Let c = 0.45 + h. Let o = 45.9 - 46. Which is greater: c or o?
c
Let n = -0.056 - 0.044. Let z = 5 - 7. Are n and z nonequal?
True
Let r = 5 + 51. Which is greater: 55 or r?
r
Let q be (-68)/39 - (-22)/33. Is 0.3 greater than q?
True
Suppose 0 = 3*p + 3 - 0. Let c be (6/(-32))/((-4)/(-8)). Are c and p unequal?
True
Let f = 2 - 1.8. Let m = 6 + -9. Let z be 0*m/(-6)*-1. Which is bigger: z or f?
f
Let t = -41 + 40. Is t bigger than -0.4?
False
Let v = -13 + 0. Let i = 9 + v. Is i at most as big as 0.2?
True
Let a = 45 - 50. Does a = -1?
False
Let h = -0.09 - 10.91. Let z = -10.91 - h. Is -1/4 <= z?
True
Let k be (-2 + 5 + -3)/(-1). Let w be (22/(-16) + 1)/1. Do w and k have the same value?
False
Let j = 0.4 - 0. Let d = -0.3 + j. Let g be ((-3)/10)/(24/(-20)). Which is smaller: g or d?
d
Let p(q) = -q + 10. Let s be p(6). Suppose -3*a - 3*n + 9 = 0, 4*n + 2 = s*a - a. Let t be (a/(-18))/(3/(-9)). Is t less than -1?
False
Let i be ((-13)/1170)/((-1)/(-4)). Is 0 > i?
True
Let m = 26 + -26. Which is bigger: 1/34 or m?
1/34
Let v = 0 - -3. Suppose -l + v = -0*l. Is l at most 4?
True
Suppose -12*v + 15 - 3 = 0. Which is greater: -1 or v?
v
Let o(b) = -b + 18. Let k be o(7). Suppose -3 + k = 4*z. Is z > 1?
True
Let u be (-6)/(-7)*(-3 - 4). Let n be (-36)/(-28) - u/(-21). Which is smaller: n or 2?
n
Let f be (-2)/(-7) + (-9)/7. Let w be -54 + -3 - (-3)/9. Let g = -58 - w. Is g less than or equal to f?
True
Let z = 2019 + -10137/5. Which is greater: z or -8?
-8
Suppose -f + 3 = 6*h - h, 15 = 5*f - 5*h. Suppose 3*x + 2*x - 12 = t, 0 = 2*x - 6. Are t and f nonequal?
False
Let p be (1/(-3))/(2 - 1). Let a(q) = -q**3 - 8*q**2 - 11*q + 6. Let d be a(-6). Which is bigger: p or d?
d
Let o = -57 + 46. Which is smaller: o or -23/2?
-23/2
Suppose -5*t = t - 6. Is t at least as big as 0.5?
True
Let x = 17.39 - 0.39. Which is smaller: 0 or x?
0
Suppose 3*r = -5*g - 0*g - 2, 4*g = 2*r - 6. Let l = -11 - -10. Is r equal to l?
False
Suppose 3*b = 20 - 2. Which is smaller: b or 4?
4
Suppose 35 + 15 = 5*o. Is 9 at least o?
False
Let m = -182.8 - -183. Let v = 611529/154 - 3970. Let h = v - 15/22. Which is greater: h or m?
h
Let i be ((-2)/2)/(2/6). Suppose 0*f + 4*f = 5*b + 15, -2*b + 6 = -4*f. Let x(d) = d**2 + 6*d - 10. Let k be x(b). Is i greater than or equal to k?
True
Let h = 5 + -5. Suppose 2 + h = -2*i. Which is smaller: i or -3/4?
i
Let u = -17 + 17. Suppose -4*x - 4*m = -0*x + 12, -4*x + 5*m = -33. Let i be ((-9)/24)/(3/x). Is u at least as big as i?
True
Let b = -0.22 + -0.78. Is b > -10?
True
Let u = -116 + 111.3. Let t = 5 + u. Is 2/5 > t?
True
Let k(b) = b**2 + 2*b - 1. Let p be k(1). Suppose r + 2*g = -3, 4*r = -4*g - g - 6. Which is smaller: r or p?
r
Let x be (4/(-3))/((-8)/12). Suppose -d - 2*s - x = -5, 4*d - 5*s = -27. Let k = d - -3. Is 0 greater than k?
False
Let j = -2 - -6. Suppose -2*h - 20 = -5*v, 2*h + 2 + 6 = 2*v. Is v at most j?
True
Let p(a) = -2*a + 5. Let n = -10 + 15. Let f be p(n). Let x = -11 + 7. Which is smaller: f or x?
f
Let l = -33 + 29. Do -20/7 and l have the same value?
False
Suppose 0 = 3*k + 3 + 3. Which is smaller: k or -3?
-3
Suppose 0 = 4*c - 8*c. Suppose -4*z - 4 = 0, -5*i + 4 = -4*z - 0. Let p(l) = -l - 1. Let q be p(i). Which is bigger: q or c?
c
Let p(h) = -h**2 - 9*h + 8. Let l(z) = z**3 - 14*z**2 - z + 4. Let y be l(14). Let m be p(y). Is m greater than or equal to -1?
False
Suppose -2*d - 2*d + 28 = -3*u, 4*d = 2*u + 28. Let h = d - 8. Let l be (h - -3) + (2 - 3). Is -3/7 less than l?
True
Let d(w) = w + 6. Let x(u) = -u**2 + 2*u + 3. Let g be x(-2). Let s be d(g). Let i be s*(-1)/(-2)*2. Which is smaller: i or 5/3?
i
Let b = 17.07 - 17. Let a = b - -3.93. Let r = 5 - a. Which is smaller: -2/5 or r?
-2/5
Let x be (-38)/(-4) - 2/(-4). Suppose 0 + x = -5*t. Let o = 37/5 + -8. Is t at most o?
True
Let a = -0.01505 + -2.91795. Let k = a + 0.033. Let s = 3 + k. Is s at most as big as 2/3?
True
Let k be (-24)/21 + -1 + 16/14. Which is bigger: 0.028 or k?
0.028
Let w be (-18)/10 + (-3)/15. Let i be w/(-6) + (-63)/(-54). Is 1 at least i?
False
Let q = 0.2 - 0.09. Let c = -2.11 + q. Is c smaller than -2?
False
Let x(i) = 9*i**2 - 4*i - 3. Let t be x(-2). Suppose 35 = r - 2*s, 0 = -3*r - s + 29 + t. Let f be (-5)/r*(-30)/8. Is f greater than 0?
True
Let b(o) = 2*o - 1. Let y(v) = v. Let g(f) = 3*b(f) - 5*y(f). Let q be g(4). Is 0 greater than or equal to q?
False
Let z(a) = a**2 + 6*a - 7. Let x be z(-7). Suppose x = -c - 3*c. Let g be (2/3 - 1)/1. Does c = g?
False
Let w = 0 + 0. Suppose -4*b = -b + 3. Let o(m) = -m. Let f be o(b). Do w and f have different values?
True
Let o = 8 + -6. Suppose -a - 2*u + 1 - 3 = 0, -4*a = 5*u + o. Suppose 4*s = 4*h + 20, -s - 5 = -h - a*s. Do h and 0 have different values?
False
Let u be -1 - 2 - (-1692)/13. Let b = u + -127. Is b less than -1?
False
Let n be 2/3 + -4 + 4. Let m = -2/3 + -1/12. Does m = n?
False
Let h be ((-46)/(-3))/((-10)/(-15)). Suppose 5 = 5*x + 2*s, s - h = -2*x - 4*s. Do -1 and x have the same value?
True
Let j(i) = i**3 + i**2 + i + 4. Let h be j(0). Suppose -n = 2*m + 11, 2 = h*n + 22. Is m > -3?
False
Let g = -32.85 + 33. Which is smaller: 1/5 or g?
g
Let t = -19 - -22. Let h = 3/10 + 6/5. Which is smaller: h or t?
h
Let t(y) = 2*y**2 - 10*y + 1. Let k be t(5). Suppose 6 + 4 = 5*h. Suppose j = -h*j. Is k at least j?
True
Let m be 4/(-6) - 66/90. Are m and 0 equal?
False
Let o = 0.3 - 0.3. Let f(r) = 4*r - 1. Let x be f(-4). Is x at least as big as o?
False
Let p be -1*(10/(-2) + 2). Which is smaller: 6 or p?
p
Let y = -48 - -47.37. Are y and 0 non-equal?
True
Suppose -12*t = -8*t. Is -1/15 > t?
False
Let p = 2 + -2.13. Let l = -0.1 - p. Let x = l - -1.97. Is 2 equal to x?
True
Suppose -5*x + 5*i = -90, i + 26 = 2*x + 4*i. Let c be (6/9)/(2/9). Suppose 34 = -c*h - 5*q, -7*h + 5*q = -4*h - x. Does -10/3 = h?
False
Let k = 31.7 + -32. Let x = 7/8 + -5/8. Is x <= k?
False
Let x be (30/8)/(